[ignition] Eliminate hole checks where statically possible for loads and stores

test/cctest/interpreter/bytecode_expectations/BasicLoops.golden

Index: test/cctest/interpreter/bytecode_expectations/BasicLoops.golden
diff --git a/test/cctest/interpreter/bytecode_expectations/BasicLoops.golden b/test/cctest/interpreter/bytecode_expectations/BasicLoops.golden
index 19d83661f0c6df77324e77b511dafa19bebe1a7f..4f0152b75008413157304cdd0453ef7d4beb6c90 100644
--- a/test/cctest/interpreter/bytecode_expectations/BasicLoops.golden
+++ b/test/cctest/interpreter/bytecode_expectations/BasicLoops.golden
@@ -677,15 +677,15 @@ snippet: "
     }
   }
 "
-frame size: 6
+frame size: 4
 parameter count: 1
-bytecode array length: 104
+bytecode array length: 63
 bytecodes: [
   /*   30 E> */ B(StackCheck),
   /*   42 S> */ B(LdaZero),
                 B(Star), R(1),
   /*   52 S> */ B(Ldar), R(1),
-                B(JumpIfToBooleanFalse), U8(96),
+                B(JumpIfToBooleanFalse), U8(55),
   /*   45 E> */ B(StackCheck),
                 B(Ldar), R(closure),
                 B(CreateBlockContext), U8(0),
@@ -698,37 +698,21 @@ bytecodes: [
   /*   73 E> */ B(StaContextSlot), R(context), U8(4), U8(0),
                 B(Mov), R(0), R(2),
   /*  106 S> */ B(LdaContextSlot), R(context), U8(4), U8(0),
-                B(JumpIfNotHole), U8(11),
-                B(LdaConstant), U8(2),
-                B(Star), R(4),
-                B(CallRuntime), U16(Runtime::kThrowReferenceError), R(4), U8(1),
                 B(JumpIfToBooleanFalse), U8(8),
   /*  113 S> */ B(PopContext), R(3),
                 B(PopContext), R(3),
-                B(Jump), U8(44),
+                B(Jump), U8(14),
   /*  126 S> */ B(LdaContextSlot), R(context), U8(4), U8(0),
-                B(JumpIfNotHole), U8(11),
-                B(LdaConstant), U8(2),
-                B(Star), R(4),
-                B(CallRuntime), U16(Runtime::kThrowReferenceError), R(4), U8(1),
                 B(Inc), U8(2),
-                B(Star), R(4),
-  /*  127 E> */ B(LdaContextSlot), R(context), U8(4), U8(0),
-                B(JumpIfNotHole), U8(11),
-                B(LdaConstant), U8(2),
-                B(Star), R(5),
-                B(CallRuntime), U16(Runtime::kThrowReferenceError), R(5), U8(1),
-                B(Ldar), R(4),
-                B(StaContextSlot), R(context), U8(4), U8(0),
+  /*  127 E> */ B(StaContextSlot), R(context), U8(4), U8(0),
                 B(PopContext), R(3),
-                B(JumpLoop), U8(-95), U8(0),
+                B(JumpLoop), U8(-54), U8(0),
                 B(LdaUndefined),
   /*  137 S> */ B(Return),
 ]
 constant pool: [
   FIXED_ARRAY_TYPE,
   SHARED_FUNCTION_INFO_TYPE,
-  ONE_BYTE_INTERNALIZED_STRING_TYPE ["z"],
 ]
 handlers: [
 ]