@@ -7791,22 +7791,23 @@ mod hir_opt_tests {
77917791 v26:CInt64 = IntAnd v12, v23
77927792 v27:CBool = IsBitEqual v26, v25
77937793 IfTrue v27, bb6()
7794- v31 :BasicObject = GetIvar v11, :@foo
7795- Jump bb4(v31 )
7794+ v32 :BasicObject = GetIvar v11, :@foo
7795+ Jump bb4(v32 )
77967796 bb5():
77977797 v20:CPtr = LoadField v11, :_as_heap@0x1003
77987798 v21:BasicObject = LoadField v20, :@foo@0x1004
77997799 Jump bb4(v21)
78007800 bb6():
7801- v29:BasicObject = LoadField v11, :@foo@0x1003
7802- Jump bb4(v29)
7801+ v29:CPtr = LoadField v11, :_as_heap@0x1003
7802+ v30:BasicObject = LoadField v29, :@foo@0x1000
7803+ Jump bb4(v30)
78037804 bb4(v13:BasicObject):
7804- v34 :Fixnum[1] = Const Value(1)
7805+ v35 :Fixnum[1] = Const Value(1)
78057806 PatchPoint MethodRedefined(Integer@0x1008, +@0x1010, cme:0x1018)
7806- v45 :Fixnum = GuardType v13, Fixnum
7807- v46 :Fixnum = FixnumAdd v45, v34
7807+ v46 :Fixnum = GuardType v13, Fixnum
7808+ v47 :Fixnum = FixnumAdd v46, v35
78087809 CheckInterrupts
7809- Return v46
7810+ Return v47
78107811 " ) ;
78117812 }
78127813
@@ -7861,30 +7862,32 @@ mod hir_opt_tests {
78617862 v17:CInt64 = IntAnd v12, v14
78627863 v18:CBool = IsBitEqual v17, v16
78637864 IfTrue v18, bb5()
7864- v22:CUInt64[0xffffffff0000001f] = Const CUInt64(0xffffffff0000001f)
7865- v23:CPtr[CPtr(0x1002)] = Const CPtr(0x1002)
7866- v24 = RefineType v23, CUInt64
7867- v25:CInt64 = IntAnd v12, v22
7868- v26:CBool = IsBitEqual v25, v24
7869- IfTrue v26, bb6()
7870- v44:CShape = LoadField v11, :_shape_id@0x1003
7871- v45:CShape[0x1004] = GuardBitEquals v44, CShape(0x1004)
7872- v46:BasicObject = LoadField v11, :@foo@0x1005
7873- Jump bb4(v46)
7865+ v23:CUInt64[0xffffffff0000001f] = Const CUInt64(0xffffffff0000001f)
7866+ v24:CPtr[CPtr(0x1002)] = Const CPtr(0x1002)
7867+ v25 = RefineType v24, CUInt64
7868+ v26:CInt64 = IntAnd v12, v23
7869+ v27:CBool = IsBitEqual v26, v25
7870+ IfTrue v27, bb6()
7871+ v45:CShape = LoadField v11, :_shape_id@0x1003
7872+ v46:CShape[0x1004] = GuardBitEquals v45, CShape(0x1004)
7873+ v47:CPtr = LoadField v11, :_as_heap@0x1005
7874+ v48:BasicObject = LoadField v47, :@foo@0x1000
7875+ Jump bb4(v48)
78747876 bb5():
7875- v20:BasicObject = LoadField v11, :@foo@0x1005
7876- Jump bb4(v20)
7877+ v20:CPtr = LoadField v11, :_as_heap@0x1005
7878+ v21:BasicObject = LoadField v20, :@foo@0x1000
7879+ Jump bb4(v21)
78777880 bb6():
7878- v28 :CPtr = LoadField v11, :_as_heap@0x1005
7879- v29 :BasicObject = LoadField v28 , :@foo@0x1006
7880- Jump bb4(v29 )
7881+ v29 :CPtr = LoadField v11, :_as_heap@0x1005
7882+ v30 :BasicObject = LoadField v29 , :@foo@0x1006
7883+ Jump bb4(v30 )
78817884 bb4(v13:BasicObject):
7882- v34 :Fixnum[1] = Const Value(1)
7885+ v35 :Fixnum[1] = Const Value(1)
78837886 PatchPoint MethodRedefined(Integer@0x1008, +@0x1010, cme:0x1018)
7884- v49 :Fixnum = GuardType v13, Fixnum
7885- v50 :Fixnum = FixnumAdd v49, v34
7887+ v51 :Fixnum = GuardType v13, Fixnum
7888+ v52 :Fixnum = FixnumAdd v51, v35
78867889 CheckInterrupts
7887- Return v50
7890+ Return v52
78887891 " ) ;
78897892 }
78907893
0 commit comments