Home | History | Annotate | Download | only in val

Lines Matching refs:Construct

44   ///  continue construct
47 /// set of blocks dominated by the OpSwitch's merge block (this construct is
56 class Construct {
58 Construct(ConstructType type, BasicBlock* dominator,
60 std::vector<Construct*> constructs = std::vector<Construct*>());
62 /// Returns the type of the construct
65 const std::vector<Construct*>& corresponding_constructs() const;
66 std::vector<Construct*>& corresponding_constructs();
67 void set_corresponding_constructs(std::vector<Construct*> constructs);
69 /// Returns the dominator block of the construct.
71 /// This is usually the header block or the first block of the construct.
74 /// Returns the dominator block of the construct.
76 /// This is usually the header block or the first block of the construct.
79 /// Returns the exit block of the construct.
81 /// For a continue construct it is the backedge block of the corresponding
82 /// loop construct. For the case construct it is the block that branches to
87 /// Returns the exit block of the construct.
89 /// For a continue construct it is the backedge block of the corresponding
90 /// loop construct. For the case construct it is the block that branches to
95 /// Sets the exit block for this construct. This is useful for continue
99 // Returns whether the exit block of this construct is the merge block
107 // Returns the basic blocks in this construct. This function should not
113 /// The type of the construct
116 /// These are the constructs that are related to this construct. These
117 /// constructs can be the continue construct, for the corresponding loop
118 /// construct, the case construct that are part of the same OpSwitch
123 /// | this construct | corresponding construct |
131 std::vector<Construct*> corresponding_constructs_;
133 /// @brief Dominator block for the construct
135 /// The dominator block for the construct. Depending on the construct this may
140 /// @brief Exiting block for the construct
142 /// The exit block for the construct. This can be a merge block for the loop
143 /// and selection constructs, a back-edge block for a continue construct, or
144 /// the branching block for the case construct