vm/c1/c1_Instruction.hpp

412   Instruction(ValueType* type, ValueStack* state_before = NULL, bool type_is_constant = false)
424   , _state_before(state_before)
427     check_state(state_before);
457   ValueStack* state_before() const               { return _state_before; }
734   Constant(ValueType* type, ValueStack* state_before):
735     Instruction(type, state_before, /*type_is_constant*/ true)
737     assert(state_before != NULL, "only used for constants which need patching");
744   virtual bool can_trap() const                  { return state_before() != NULL; }
782               ValueStack* state_before, bool needs_patching)
783   : Instruction(as_ValueType(field->type()->basic_type()), state_before)
830             ValueStack* state_before, bool needs_patching)
831   : AccessField(obj, offset, field, is_static, state_before, needs_patching)
848              ValueStack* state_before, bool needs_patching)
849   : AccessField(obj, offset, field, is_static, state_before, needs_patching)
872   AccessArray(ValueType* type, Value array, ValueStack* state_before)
873   : Instruction(type, state_before)
895   ArrayLength(Value array, ValueStack* state_before)
896   : AccessArray(intType, array, state_before)
920   AccessIndexed(Value array, Value index, Value length, BasicType elt_type, ValueStack* state_before, bool mismatched)
921   : AccessArray(as_ValueType(elt_type), array, state_before)
952   LoadIndexed(Value array, Value index, Value length, BasicType elt_type, ValueStack* state_before, bool mismatched = false)
953   : AccessIndexed(array, index, length, elt_type, state_before, mismatched)
981   StoreIndexed(Value array, Value index, Value length, BasicType elt_type, Value value, ValueStack* state_before,
983   : AccessIndexed(array, index, length, elt_type, state_before, mismatched)
1035   Op2(ValueType* type, Bytecodes::Code op, Value x, Value y, ValueStack* state_before = NULL)
1036   : Instruction(type, state_before)
1064   ArithmeticOp(Bytecodes::Code op, Value x, Value y, bool is_strictfp, ValueStack* state_before)
1065   : Op2(x->type()->meet(y->type()), op, x, y, state_before)
1105   CompareOp(Bytecodes::Code op, Value x, Value y, ValueStack* state_before)
1106   : Op2(intType, op, x, y, state_before)
1169   NullCheck(Value obj, ValueStack* state_before)
1170   : Instruction(obj->type()->base(), state_before)
1201   TypeCast(ciType* type, Value obj, ValueStack* state_before)
1202   : Instruction(obj->type(), state_before, obj->type()->is_constant()),
1224   StateSplit(ValueType* type, ValueStack* state_before = NULL)
1225   : Instruction(type, state_before)
1256          int vtable_index, ciMethod* target, ValueStack* state_before);
1300   NewInstance(ciInstanceKlass* klass, ValueStack* state_before, bool is_unresolved)
1301   : StateSplit(instanceType, state_before)
1324   NewArray(Value length, ValueStack* state_before)
1325   : StateSplit(objectType, state_before)
1351   NewTypeArray(Value length, BasicType elt_type, ValueStack* state_before)
1352   : NewArray(length, state_before)
1368   NewObjectArray(ciKlass* klass, Value length, ValueStack* state_before) : NewArray(length, state_before), _klass(klass) {}
1383   NewMultiArray(ciKlass* klass, Values* dims, ValueStack* state_before) : NewArray(NULL, state_before), _klass(klass), _dims(dims) {
1416   TypeCheck(ciKlass* klass, Value obj, ValueType* type, ValueStack* state_before)
1417   : StateSplit(type, state_before), _klass(klass), _obj(obj),
1449   CheckCast(ciKlass* klass, Value obj, ValueStack* state_before)
1450   : TypeCheck(klass, obj, objectType, state_before) {}
1476   InstanceOf(ciKlass* klass, Value obj, ValueStack* state_before) : TypeCheck(klass, obj, intType, state_before) {}
1489   AccessMonitor(Value obj, int monitor_no, ValueStack* state_before = NULL)
1490   : StateSplit(illegalType, state_before)
1510   MonitorEnter(Value obj, int monitor_no, ValueStack* state_before)
1511   : AccessMonitor(obj, monitor_no, state_before)
1551             ValueStack* state_before,
1554   : StateSplit(type, state_before)
1836   BlockEnd(ValueType* type, ValueStack* state_before, bool is_safepoint)
1837   : StateSplit(type, state_before)
1873   Goto(BlockBegin* sux, ValueStack* state_before, bool is_safepoint = false)
1874     : BlockEnd(illegalType, state_before, is_safepoint)
1984   If(Value x, Condition cond, bool unordered_is_true, Value y, BlockBegin* tsux, BlockBegin* fsux, ValueStack* state_before, bool is_safepoint)
1985     : BlockEnd(illegalType, state_before, is_safepoint)
2099   Switch(Value tag, BlockList* sux, ValueStack* state_before, bool is_safepoint)
2100   : BlockEnd(illegalType, state_before, is_safepoint)
2123   TableSwitch(Value tag, BlockList* sux, int lo_key, ValueStack* state_before, bool is_safepoint)
2124     : Switch(tag, sux, state_before, is_safepoint)
2139   LookupSwitch(Value tag, BlockList* sux, intArray* keys, ValueStack* state_before, bool is_safepoint)
2140   : Switch(tag, sux, state_before, is_safepoint)
2179   Throw(Value exception, ValueStack* state_before) : BlockEnd(illegalType, state_before, true), _exception(exception) {