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

test/cctest/interpreter/bytecode_expectations/Generators.golden

 #
 # Autogenerated by generate-bytecode-expectations.
 #
 
 ---
 wrap: no
 test function name: f
 
 ---
 snippet: "
@@ skipping 248 matching lines @@
   [48, 233, 239],
 ]
 
 ---
 snippet: "
   function* f() { for (let x of [42]) yield x }
   f();
 "
 frame size: 18
 parameter count: 1
-bytecode array length: 805
+bytecode array length: 793
 bytecodes: [
                 B(Ldar), R(new_target),
                 B(JumpIfUndefined), U8(28),
                 B(ResumeGenerator), R(new_target),
                 B(Star), R(4),
                 B(LdaZero),
                 B(TestEqualStrict), R(4), U8(0),
                 B(JumpIfTrue), U8(68),
                 B(LdaSmi), U8(1),
                 B(TestEqualStrict), R(4), U8(0),
@@ skipping 33 matching lines @@
                 B(TestEqualStrict), R(11), U8(0),
                 B(JumpIfTrue), U8(22),
                 B(Jump), U8(2),
                 B(LdaTrue),
                 B(Star), R(13),
                 B(Mov), R(10), R(12),
                 B(CallRuntime), U16(Runtime::k_CreateIterResultObject), R(12), U8(2),
                 B(Star), R(6),
                 B(LdaZero),
                 B(Star), R(5),
-                B(JumpConstant), U8(20),
+                B(JumpConstant), U8(18),
                 B(Ldar), R(10),
   /*   11 E> */ B(Throw),
                 B(Ldar), R(closure),
                 B(CreateBlockContext), U8(0),
                 B(PushContext), R(1),
                 B(LdaTheHole),
                 B(StaContextSlot), R(context), U8(4), U8(0),
                 B(LdaZero),
                 B(StaContextSlot), R(1), U8(9), U8(0),
                 B(Mov), R(context), R(10),
                 B(Mov), R(context), R(11),
   /*   30 S> */ B(CreateArrayLiteral), U8(1), U8(0), U8(9),
                 B(Star), R(13),
                 B(LdaConstant), U8(2),
   /*   30 E> */ B(LdrKeyedProperty), R(13), U8(4), R(12),
   /*   30 E> */ B(Call), R(12), R(13), U8(1), U8(2),
   /*   30 E> */ B(StaContextSlot), R(1), U8(7), U8(0),
                 B(LdaSmi), U8(-2),
                 B(TestEqual), R(4), U8(0),
                 B(JumpIfTrue), U8(18),
                 B(LdaSmi), U8(1),
                 B(TestEqualStrict), R(4), U8(0),
-                B(JumpIfTrueConstant), U8(9),
+                B(JumpIfTrueConstant), U8(8),
                 B(LdaSmi), U8(77),
                 B(Star), R(12),
                 B(CallRuntime), U16(Runtime::kAbort), R(12), U8(1),
   /*   27 S> */ B(LdrContextSlot), R(1), U8(7), U8(0), R(14),
                 B(LdrNamedProperty), R(14), U8(4), U8(8), R(13),
   /*   27 E> */ B(Call), R(13), R(14), U8(1), U8(6),
   /*   27 E> */ B(StaContextSlot), R(1), U8(8), U8(0),
                 B(Star), R(12),
                 B(InvokeIntrinsic), U8(Runtime::k_IsJSReceiver), R(12), U8(1),
                 B(ToBooleanLogicalNot),
                 B(JumpIfFalse), U8(12),
                 B(LdrContextSlot), R(1), U8(8), U8(0), R(12),
                 B(CallRuntime), U16(Runtime::kThrowIteratorResultNotAnObject), R(12), U8(1),
                 B(LdrContextSlot), R(1), U8(8), U8(0), R(12),
                 B(LdaNamedProperty), R(12), U8(5), U8(10),
-                B(JumpIfToBooleanTrueConstant), U8(10),
+                B(JumpIfToBooleanTrueConstant), U8(9),
                 B(LdrContextSlot), R(1), U8(8), U8(0), R(12),
                 B(LdaNamedProperty), R(12), U8(6), U8(12),
                 B(StaContextSlot), R(1), U8(10), U8(0),
                 B(LdaSmi), U8(2),
                 B(StaContextSlot), R(1), U8(9), U8(0),
                 B(LdaContextSlot), R(1), U8(10), U8(0),
                 B(StaContextSlot), R(1), U8(6), U8(0),
   /*   16 E> */ B(StackCheck),
                 B(Ldar), R(closure),
                 B(CreateBlockContext), U8(7),
                 B(PushContext), R(2),
                 B(LdaTheHole),
                 B(StaContextSlot), R(context), U8(4), U8(0),
                 B(LdaContextSlot), R(1), U8(6), U8(0),
                 B(StaContextSlot), R(context), U8(4), U8(0),
-  /*   36 S> */ B(LdaContextSlot), R(context), U8(4), U8(0),
-                B(JumpIfNotHole), U8(11),
-                B(LdaConstant), U8(8),
-                B(Star), R(14),
-                B(CallRuntime), U16(Runtime::kThrowReferenceError), R(14), U8(1),
-                B(Star), R(12),
+  /*   36 S> */ B(LdrContextSlot), R(context), U8(4), U8(0), R(12),
                 B(LdaFalse),
                 B(Star), R(13),
                 B(CallRuntime), U16(Runtime::k_CreateIterResultObject), R(12), U8(2),
                 B(Star), R(12),
                 B(LdrContextSlot), R(1), U8(5), U8(0), R(13),
                 B(LdaSmi), U8(1),
                 B(SuspendGenerator), R(13),
                 B(Ldar), R(12),
   /*   44 S> */ B(Return),
                 B(LdaSmi), U8(-2),
@@ skipping 21 matching lines @@
                 B(PopContext), R(2),
                 B(Star), R(9),
                 B(LdaZero),
                 B(Star), R(8),
                 B(Jump), U8(74),
                 B(Ldar), R(14),
   /*   36 E> */ B(Throw),
                 B(PopContext), R(2),
                 B(LdaZero),
                 B(StaContextSlot), R(1), U8(9), U8(0),
-                B(Wide), B(JumpLoop), U16(-232), U16(0),
+                B(Wide), B(JumpLoop), U16(-220), U16(0),
                 B(Jump), U8(44),
                 B(Star), R(12),
                 B(Ldar), R(closure),
-                B(CreateCatchContext), R(12), U8(11), U8(12),
+                B(CreateCatchContext), R(12), U8(10), U8(11),
                 B(Star), R(11),
                 B(PushContext), R(2),
                 B(LdrContextSlot), R(0), U8(9), U8(0), R(12),
                 B(LdaSmi), U8(2),
                 B(TestEqualStrict), R(12), U8(14),
                 B(JumpIfFalse), U8(8),
                 B(LdaSmi), U8(1),
                 B(StaContextSlot), R(0), U8(9), U8(0),
                 B(LdrContextSlot), R(context), U8(4), U8(0), R(12),
                 B(CallRuntime), U16(Runtime::kReThrow), R(12), U8(1),
                 B(PopContext), R(2),
                 B(LdaSmi), U8(-1),
                 B(Star), R(8),
                 B(Jump), U8(8),
                 B(Star), R(9),
                 B(LdaSmi), U8(1),
                 B(Star), R(8),
                 B(CallRuntime), U16(Runtime::kInterpreterClearPendingMessage), R(0), U8(0),
                 B(Star), R(10),
                 B(LdrContextSlot), R(1), U8(9), U8(0), R(11),
                 B(LdaZero),
                 B(TestEqualStrict), R(11), U8(15),
-                B(JumpIfTrueConstant), U8(18),
+                B(JumpIfTrueConstant), U8(17),
                 B(LdrContextSlot), R(1), U8(7), U8(0), R(11),
                 B(LdaUndefined),
                 B(TestEqualStrict), R(11), U8(16),
-                B(JumpIfTrueConstant), U8(19),
+                B(JumpIfTrueConstant), U8(9),
                 B(LdrContextSlot), R(1), U8(7), U8(0), R(11),
-                B(LdaNamedProperty), R(11), U8(13), U8(17),
+                B(LdaNamedProperty), R(11), U8(12), U8(17),
                 B(StaContextSlot), R(1), U8(11), U8(0),
                 B(LdrContextSlot), R(1), U8(11), U8(0), R(11),
                 B(LdaNull),
                 B(TestEqual), R(11), U8(19),
                 B(JumpIfFalse), U8(4),
-                B(JumpConstant), U8(17),
+                B(JumpConstant), U8(16),
                 B(LdrContextSlot), R(1), U8(9), U8(0), R(11),
                 B(LdaSmi), U8(1),
                 B(TestEqualStrict), R(11), U8(20),
                 B(JumpIfFalse), U8(76),
                 B(LdaContextSlot), R(1), U8(11), U8(0),
                 B(TypeOf),
                 B(Star), R(11),
-                B(LdaConstant), U8(14),
+                B(LdaConstant), U8(13),
                 B(TestEqualStrict), R(11), U8(21),
                 B(JumpIfFalse), U8(4),
                 B(Jump), U8(18),
                 B(Wide), B(LdaSmi), U16(130),
                 B(Star), R(11),
-                B(LdaConstant), U8(15),
+                B(LdaConstant), U8(14),
                 B(Star), R(12),
                 B(CallRuntime), U16(Runtime::kNewTypeError), R(11), U8(2),
                 B(Throw),
                 B(Mov), R(context), R(11),
                 B(LdrContextSlot), R(1), U8(11), U8(0), R(12),
                 B(LdrContextSlot), R(1), U8(7), U8(0), R(13),
                 B(InvokeIntrinsic), U8(Runtime::k_Call), R(12), U8(2),
                 B(Jump), U8(23),
                 B(Star), R(12),
                 B(Ldar), R(closure),
-                B(CreateCatchContext), R(12), U8(11), U8(16),
+                B(CreateCatchContext), R(12), U8(10), U8(15),
                 B(Star), R(11),
                 B(CallRuntime), U16(Runtime::kInterpreterClearPendingMessage), R(0), U8(0),
                 B(Ldar), R(11),
                 B(PushContext), R(2),
                 B(PopContext), R(2),
                 B(Jump), U8(43),
                 B(LdrContextSlot), R(1), U8(11), U8(0), R(11),
                 B(LdrContextSlot), R(1), U8(7), U8(0), R(12),
                 B(InvokeIntrinsic), U8(Runtime::k_Call), R(11), U8(2),
                 B(StaContextSlot), R(1), U8(12), U8(0),
@@ skipping 74 matching lines @@
 ]
 constant pool: [
   FIXED_ARRAY_TYPE,
   FIXED_ARRAY_TYPE,
   SYMBOL_TYPE,
   Smi [158],
   ONE_BYTE_INTERNALIZED_STRING_TYPE ["next"],
   ONE_BYTE_INTERNALIZED_STRING_TYPE ["done"],
   ONE_BYTE_INTERNALIZED_STRING_TYPE ["value"],
   FIXED_ARRAY_TYPE,
-  ONE_BYTE_INTERNALIZED_STRING_TYPE ["x"],
-  Smi [146],
-  Smi [167],
+  Smi [134],
+  Smi [155],
   ONE_BYTE_INTERNALIZED_STRING_TYPE [".catch"],
   FIXED_ARRAY_TYPE,
   ONE_BYTE_INTERNALIZED_STRING_TYPE ["return"],
   ONE_BYTE_INTERNALIZED_STRING_TYPE ["function"],
   ONE_BYTE_INTERNALIZED_STRING_TYPE [""],
   FIXED_ARRAY_TYPE,
   Smi [129],
   Smi [166],
-  Smi [155],
-  Smi [601],
+  Smi [589],
 ]
 handlers: [
-  [48, 718, 724],
-  [153, 458, 464],
-  [156, 414, 416],
-  [572, 586, 588],
+  [48, 706, 712],
+  [153, 446, 452],
+  [156, 402, 404],
+  [560, 574, 576],
 ]