Lines Matching refs:state
49 // We can go memory state free or else we need the entire memory state
74 assert((state() & (BlockS|LoopS|IfThenS|ElseS)), "bad state for new If");
103 assert(state() == IfThenS, "bad state for new Else");
115 // The if_then() pushed a copy of the current state for later use
116 // as the initial state for a future "else" clause. The
117 // current state then became the initial state for the
119 // pop the top state and use it for it's initial state.
120 // It will also push the current state (the state at the end of
124 // 1) else exists a) current state is end of "else" clause
125 // b) top stack state is end of "then" clause
127 // 2) no else: a) current state is end of "then" clause
128 // b) top stack state is from the "if_then" which
129 // would have been the initial state of the else.
133 // 2) terminate the current state with a goto to the label
134 // 3) pop the top state from the stack and make it the
135 // current state
136 // 4) bind the label at the current state. Binding a label
137 // terminates the current state with a goto to the
138 // label and makes the label's state the current state.
141 assert(state() & (IfThenS|ElseS), "bad state for new Endif");
166 assert((state() & (BlockS|LoopS|IfThenS|ElseS)), "bad state for new loop");
180 if_then(value(iv), relop, limit, prob, cnt, false /* no new state */);
191 assert((state() == LoopS), "bad state for new end_loop");
267 // Record in the phi, the var's value from the current state
411 // can just copy the state from the merging cvstate
416 // Get the region for the join state
526 // Set the RawPtr memory state only.
573 // Set the RawPtr memory state only.