blob: cf20e139a6e4e6a2d04c949e8cf1482754432493 [file] [log] [blame]
//===- subzero/src/IceCfgNode.h - Control flow graph node -------*- C++ -*-===//
//
// The Subzero Code Generator
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
///
/// \file
/// \brief Declares the CfgNode class, which represents a single basic block as
/// its instruction list, in-edge list, and out-edge list.
///
//===----------------------------------------------------------------------===//
#ifndef SUBZERO_SRC_ICECFGNODE_H
#define SUBZERO_SRC_ICECFGNODE_H
#include "IceDefs.h"
#include "IceInst.h" // InstList traits
#include "IceStringPool.h"
namespace Ice {
class CfgNode {
CfgNode() = delete;
CfgNode(const CfgNode &) = delete;
CfgNode &operator=(const CfgNode &) = delete;
public:
static CfgNode *create(Cfg *Func, SizeT Number) {
return new (Func->allocate<CfgNode>()) CfgNode(Func, Number);
}
Cfg *getCfg() const { return Func; }
/// Access the label number and name for this node.
SizeT getIndex() const { return Number; }
void resetIndex(SizeT NewNumber) { Number = NewNumber; }
std::string getName() const {
if (Name.hasStdString())
return Name.toString();
return "__" + std::to_string(NumberOrig);
}
void setName(const std::string &NewName) {
if (NewName.empty())
return;
Name = NodeString::createWithString(Func, NewName);
}
std::string getAsmName() const {
return ".L" + Func->getFunctionName() + "$" + getName();
}
void incrementLoopNestDepth() { ++LoopNestDepth; }
void setLoopNestDepth(SizeT NewDepth) { LoopNestDepth = NewDepth; }
SizeT getLoopNestDepth() const { return LoopNestDepth; }
/// The HasReturn flag indicates that this node contains a return instruction
/// and therefore needs an epilog.
void setHasReturn() { HasReturn = true; }
bool getHasReturn() const { return HasReturn; }
void setNeedsPlacement(bool Value) { NeedsPlacement = Value; }
bool needsPlacement() const { return NeedsPlacement; }
void setNeedsAlignment() { NeedsAlignment = true; }
bool needsAlignment() const { return NeedsAlignment; }
/// \name Access predecessor and successor edge lists.
/// @{
const NodeList &getInEdges() const { return InEdges; }
const NodeList &getOutEdges() const { return OutEdges; }
/// @}
/// \name Manage the instruction list.
/// @{
InstList &getInsts() { return Insts; }
PhiList &getPhis() { return Phis; }
const InstList &getInsts() const { return Insts; }
const PhiList &getPhis() const { return Phis; }
void appendInst(Inst *Instr);
void renumberInstructions();
/// Rough and generally conservative estimate of the number of instructions in
/// the block. It is updated when an instruction is added, but not when
/// deleted. It is recomputed during renumberInstructions().
InstNumberT getInstCountEstimate() const { return InstCountEstimate; }
/// @}
/// \name Manage predecessors and successors.
/// @{
/// Add a predecessor edge to the InEdges list for each of this node's
/// successors.
void computePredecessors();
void computeSuccessors();
CfgNode *splitIncomingEdge(CfgNode *Pred, SizeT InEdgeIndex);
/// @}
void enforcePhiConsistency();
void placePhiLoads();
void placePhiStores();
void deletePhis();
void advancedPhiLowering();
void doAddressOpt();
void doNopInsertion(RandomNumberGenerator &RNG);
void genCode();
void livenessLightweight();
bool liveness(Liveness *Liveness);
void livenessAddIntervals(Liveness *Liveness, InstNumberT FirstInstNum,
InstNumberT LastInstNum);
void contractIfEmpty();
void doBranchOpt(const CfgNode *NextNode);
void emit(Cfg *Func) const;
void emitIAS(Cfg *Func) const;
void dump(Cfg *Func) const;
void profileExecutionCount(VariableDeclaration *Var);
void addOutEdge(CfgNode *Out) { OutEdges.push_back(Out); }
void addInEdge(CfgNode *In) { InEdges.push_back(In); }
void replaceInEdge(CfgNode *Old, CfgNode *New);
void removeAllOutEdges() { OutEdges.clear(); }
void removeInEdge(CfgNode *In);
bool hasSingleOutEdge() const {
return (getOutEdges().size() == 1 || getOutEdges()[0] == getOutEdges()[1]);
}
CfgNode *shortCircuit();
private:
CfgNode(Cfg *Func, SizeT Number)
: Func(Func), Number(Number), NumberOrig(Number),
Name(NodeString::createWithoutString(Func)) {}
bool livenessValidateIntervals(Liveness *Liveness) const;
Cfg *const Func;
SizeT Number; /// invariant: Func->Nodes[Number]==this
const SizeT NumberOrig; /// used for name auto-generation
NodeString Name;
SizeT LoopNestDepth = 0; /// the loop nest depth of this node
bool HasReturn = false; /// does this block need an epilog?
bool NeedsPlacement = false;
bool NeedsAlignment = false; /// is sandboxing required?
InstNumberT InstCountEstimate = 0; /// rough instruction count estimate
NodeList InEdges; /// in no particular order
NodeList OutEdges; /// in no particular order
PhiList Phis; /// unordered set of phi instructions
InstList Insts; /// ordered list of non-phi instructions
};
} // end of namespace Ice
#endif // SUBZERO_SRC_ICECFGNODE_H