Add test

Author: jacob-shops

zjit/src/hir/tests.rs

@@ -6808,6 +6808,74 @@ pub(crate) mod hir_build_tests {
           Return v39
         ");
     }
+
+    #[test]
+    fn test_global_load_elimination() {
+        set_call_threshold(3);
+        eval(r#"
+           class TestObj
+             def initialize(value)
+               @value = value
+             end
+
+             def read(val)
+               even = val.even?
+               a = @value
+               even ? a : @value + 1
+             end
+           end
+
+           obj = TestObj.new(5)
+           obj.read(1)
+           obj.read(2)
+        "#);
+
+        assert_snapshot!(
+           hir_string_proc("TestObj.instance_method(:read)"),
+           @"
+        fn read@<compiled>:8:
+        bb1():
+          EntryPoint interpreter
+          v1:BasicObject = LoadSelf
+          v2:CPtr = LoadSP
+          v3:BasicObject = LoadField v2, :val@0x1000
+          v4:NilClass = Const Value(nil)
+          v5:NilClass = Const Value(nil)
+          Jump bb3(v1, v3, v4, v5)
+        bb2():
+          EntryPoint JIT(0)
+          v8:BasicObject = LoadArg :self@0
+          v9:BasicObject = LoadArg :val@1
+          v10:NilClass = Const Value(nil)
+          v11:NilClass = Const Value(nil)
+          Jump bb3(v8, v9, v10, v11)
+        bb3(v13:BasicObject, v14:BasicObject, v15:NilClass, v16:NilClass):
+          v21:BasicObject = Send v14, :even? # SendFallbackReason: Uncategorized(opt_send_without_block)
+          PatchPoint NoEPEscape(read)
+          v27:HeapBasicObject = GuardType v13, HeapBasicObject
+          v28:CShape = LoadField v27, :shape_id@0x1001
+          v29:CShape[0x1002] = GuardBitEquals v28, CShape(0x1002) recompile
+          v30:BasicObject = LoadField v27, :@value@0x1003
+          PatchPoint NoEPEscape(read)
+          v37:CBool = Test v21
+          v38:Falsy = RefineType v21, Falsy
+          CondBranch v37, bb5(), bb4(v13, v14, v38, v30)
+        bb5():
+          v40:Truthy = RefineType v21, Truthy
+          CheckInterrupts
+          Return v30
+        bb4(v46:BasicObject, v47:BasicObject, v48:Falsy, v49:BasicObject):
+          v52:HeapBasicObject = GuardType v46, HeapBasicObject
+          v53:CShape = LoadField v52, :shape_id@0x1001
+          v54:CShape[0x1002] = GuardBitEquals v53, CShape(0x1002) recompile
+          v55:BasicObject = LoadField v52, :@value@0x1003
+          v57:Fixnum[1] = Const Value(1)
+          v60:BasicObject = Send v55, :+, v57 # SendFallbackReason: Uncategorized(opt_plus)
+          CheckInterrupts
+          Return v60
+        "
+        );
+    }
 }
 
  /// Test successor and predecessor set computations.