Lines Matching defs:input_state

3407   IntervalList* copy(IntervalList* input_state);
3408 void state_put(IntervalList* input_state, int reg, Interval* interval);
3409 bool check_state(IntervalList* input_state, int reg, Interval* interval);
3412 void process_xhandler(XHandler* xhandler, IntervalList* input_state);
3413 void process_successor(BlockBegin* block, IntervalList* input_state);
3414 void process_operations(LIR_List* ops, IntervalList* input_state);
3436 IntervalList* input_state = new IntervalList(state_size(), NULL);
3444 input_state->at_put(interval->assigned_reg(), interval);
3447 input_state->at_put(interval->assigned_regHi(), interval);
3452 set_state_for_block(start, input_state);
3468 IntervalList* input_state = copy(state_for_block(block));
3474 if (input_state->at(i) != NULL) {
3475 tty->print(" %4d", input_state->at(i)->reg_num());
3485 process_operations(block->lir(), input_state);
3489 process_successor(block->sux_at(i), input_state);
3493 void RegisterVerifier::process_xhandler(XHandler* xhandler, IntervalList* input_state) {
3497 input_state = copy(input_state);
3500 process_operations(xhandler->entry_code(), input_state);
3502 process_successor(xhandler->entry_block(), input_state);
3505 void RegisterVerifier::process_successor(BlockBegin* block, IntervalList* input_state) {
3510 // check if new input_state is consistent with saved_state
3514 if (input_state->at(i) != saved_state->at(i)) {
3515 // current input_state and previous saved_state assume a different
3530 // already processed block with correct input_state
3539 // block was not processed before, so set initial input_state
3542 set_state_for_block(block, copy(input_state));
3548 IntervalList* RegisterVerifier::copy(IntervalList* input_state) {
3549 IntervalList* copy_state = new IntervalList(input_state->length());
3550 copy_state->push_all(input_state);
3554 void RegisterVerifier::state_put(IntervalList* input_state, int reg, Interval* interval) {
3558 } else if (input_state->at(reg) != NULL) {
3562 input_state->at_put(reg, interval);
3566 bool RegisterVerifier::check_state(IntervalList* input_state, int reg, Interval* interval) {
3568 if (input_state->at(reg) != interval) {
3576 void RegisterVerifier::process_operations(LIR_List* ops, IntervalList* input_state) {
3598 has_error |= check_state(input_state, interval->assigned_reg(), interval->split_parent());
3599 has_error |= check_state(input_state, interval->assigned_regHi(), interval->split_parent());
3604 state_put(input_state, interval->assigned_reg(), NULL);
3605 state_put(input_state, interval->assigned_regHi(), NULL);
3613 state_put(input_state, reg_num(FrameMap::caller_save_cpu_reg_at(j)), NULL);
3616 state_put(input_state, reg_num(FrameMap::caller_save_fpu_reg_at(j)), NULL);
3621 state_put(input_state, reg_num(FrameMap::caller_save_xmm_reg_at(j)), NULL);
3630 process_xhandler(xhandlers->handler_at(k), input_state);
3643 state_put(input_state, interval->assigned_reg(), interval->split_parent());
3644 state_put(input_state, interval->assigned_regHi(), interval->split_parent());
3658 state_put(input_state, interval->assigned_reg(), interval->split_parent());
3659 state_put(input_state, interval->assigned_regHi(), interval->split_parent());