Lines Matching defs:sux_state
136 // check if at least one word was pushed on sux_state
139 ValueStack* sux_state = sux->state();
140 if (if_state->scope()->level() > sux_state->scope()->level()) {
141 while (sux_state->scope() != if_state->scope()) {
145 } else if (if_state->scope()->level() < sux_state->scope()->level()) {
146 while (sux_state->scope() != if_state->scope()) {
147 sux_state = sux_state->caller_state();
148 assert(sux_state != NULL, "states do not match up");
152 if (sux_state->stack_size() <= if_state->stack_size()) return;
156 Value sux_phi = sux_state->stack_at(if_state->stack_size());
158 if (sux_phi->type()->size() != sux_state->stack_size() - if_state->stack_size()) return;
212 assert(goto_state->is_same(sux_state), "states must match now");
351 ValueStack* sux_state = sux->state();
354 assert(end_state->scope() == sux_state->scope(), "scopes must match");
355 assert(end_state->stack_size() == sux_state->stack_size(), "stack not equal");
356 assert(end_state->locals_size() == sux_state->locals_size(), "locals not equal");
360 for_each_stack_value(sux_state, index, sux_value) {
363 for_each_local_value(sux_state, index, sux_value) {
366 assert(sux_state->caller_state() == end_state->caller_state(), "caller not equal");