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

test/cctest/interpreter/bytecode_expectations/Modules.golden

 #
 # Autogenerated by generate-bytecode-expectations.
 #
 
 ---
 wrap: no
 module: yes
 top level: yes
 
 ---
@@ skipping 135 matching lines @@
 ]
 
 ---
 snippet: "
   import {foo as goo} from \"bar\";
   goo(42);
   { let x; { goo(42) } };
 "
 frame size: 9
 parameter count: 2
-bytecode array length: 223
+bytecode array length: 201
 bytecodes: [
                 B(Ldar), R(new_target),
                 B(JumpIfUndefined), U8(21),
                 B(ResumeGenerator), R(new_target),
                 B(Star), R(2),
                 B(LdaZero),
                 B(TestEqualStrict), R(2), U8(0),
                 B(JumpIfTrue), U8(71),
                 B(LdaSmi), U8(76),
                 B(Star), R(3),
@@ skipping 39 matching lines @@
                 B(CallRuntime), U16(Runtime::k_CreateIterResultObject), R(7), U8(2),
   /*   64 S> */ B(Return),
                 B(Ldar), R(5),
   /*    0 E> */ B(Throw),
   /*   32 S> */ B(LdrUndefined), R(4),
                 B(LdaConstant), U8(1),
                 B(Star), R(6),
                 B(LdaZero),
                 B(Star), R(7),
   /*   32 E> */ B(CallRuntime), U16(Runtime::kLoadModuleImport), R(6), U8(2),
-                B(JumpIfNotHole), U8(11),
-                B(LdaConstant), U8(2),
-                B(Star), R(8),
-                B(CallRuntime), U16(Runtime::kThrowReferenceError), R(8), U8(1),
                 B(Star), R(3),
                 B(LdaSmi), U8(42),
                 B(Star), R(5),
   /*   32 E> */ B(Call), R(3), R(4), U8(2), U8(2),
                 B(Ldar), R(closure),
-                B(CreateBlockContext), U8(3),
+                B(CreateBlockContext), U8(2),
                 B(PushContext), R(1),
                 B(LdaTheHole),
                 B(StaContextSlot), R(context), U8(4), U8(0),
   /*   47 S> */ B(LdaUndefined),
   /*   47 E> */ B(StaContextSlot), R(context), U8(4), U8(0),
   /*   52 S> */ B(LdrUndefined), R(4),
                 B(LdaConstant), U8(1),
                 B(Star), R(6),
                 B(LdaZero),
                 B(Star), R(7),
   /*   52 E> */ B(CallRuntime), U16(Runtime::kLoadModuleImport), R(6), U8(2),
-                B(JumpIfNotHole), U8(11),
-                B(LdaConstant), U8(2),
-                B(Star), R(8),
-                B(CallRuntime), U16(Runtime::kThrowReferenceError), R(8), U8(1),
                 B(Star), R(3),
                 B(LdaSmi), U8(42),
                 B(Star), R(5),
   /*   52 E> */ B(Call), R(3), R(4), U8(2), U8(4),
                 B(PopContext), R(1),
                 B(LdaUndefined),
   /*   64 S> */ B(Return),
 ]
 constant pool: [
   FIXED_ARRAY_TYPE,
   ONE_BYTE_INTERNALIZED_STRING_TYPE ["foo"],
-  ONE_BYTE_INTERNALIZED_STRING_TYPE ["goo"],
   FIXED_ARRAY_TYPE,
 ]
 handlers: [
 ]
 
 ---
 snippet: "
   export var foo = 42;
   foo++;
   { let x; { foo++ } };
@@ skipping 95 matching lines @@
 ]
 
 ---
 snippet: "
   export let foo = 42;
   foo++;
   { let x; { foo++ } };
 "
 frame size: 9
 parameter count: 2
-bytecode array length: 242
+bytecode array length: 220
 bytecodes: [
                 B(Ldar), R(new_target),
                 B(JumpIfUndefined), U8(21),
                 B(ResumeGenerator), R(new_target),
                 B(Star), R(2),
                 B(LdaZero),
                 B(TestEqualStrict), R(2), U8(0),
                 B(JumpIfTrue), U8(83),
                 B(LdaSmi), U8(76),
                 B(Star), R(3),
@@ skipping 46 matching lines @@
                 B(Ldar), R(5),
   /*    0 E> */ B(Throw),
   /*   17 S> */ B(LdaSmi), U8(42),
                 B(Star), R(4),
                 B(LdaConstant), U8(1),
                 B(Star), R(3),
   /*   17 E> */ B(CallRuntime), U16(Runtime::kStoreModuleExport), R(3), U8(2),
   /*   21 S> */ B(LdaConstant), U8(1),
                 B(Star), R(3),
                 B(CallRuntime), U16(Runtime::kLoadModuleExport), R(3), U8(1),
-                B(JumpIfNotHole), U8(11),
-                B(LdaConstant), U8(1),
-                B(Star), R(4),
-                B(CallRuntime), U16(Runtime::kThrowReferenceError), R(4), U8(1),
                 B(Inc), U8(2),
                 B(Star), R(4),
                 B(LdaConstant), U8(1),
                 B(Star), R(3),
   /*   24 E> */ B(CallRuntime), U16(Runtime::kStoreModuleExport), R(3), U8(2),
                 B(Ldar), R(closure),
                 B(CreateBlockContext), U8(2),
                 B(PushContext), R(1),
                 B(LdaTheHole),
                 B(StaContextSlot), R(context), U8(4), U8(0),
   /*   34 S> */ B(LdaUndefined),
   /*   34 E> */ B(StaContextSlot), R(context), U8(4), U8(0),
   /*   39 S> */ B(LdaConstant), U8(1),
                 B(Star), R(3),
                 B(CallRuntime), U16(Runtime::kLoadModuleExport), R(3), U8(1),
-                B(JumpIfNotHole), U8(11),
-                B(LdaConstant), U8(1),
-                B(Star), R(4),
-                B(CallRuntime), U16(Runtime::kThrowReferenceError), R(4), U8(1),
                 B(Inc), U8(3),
                 B(Star), R(4),
                 B(LdaConstant), U8(1),
                 B(Star), R(3),
   /*   42 E> */ B(CallRuntime), U16(Runtime::kStoreModuleExport), R(3), U8(2),
                 B(PopContext), R(1),
                 B(LdaUndefined),
   /*   49 S> */ B(Return),
 ]
 constant pool: [
   FIXED_ARRAY_TYPE,
   ONE_BYTE_INTERNALIZED_STRING_TYPE ["foo"],
   FIXED_ARRAY_TYPE,
 ]
 handlers: [
 ]
 
 ---
 snippet: "
   export const foo = 42;
   foo++;
   { let x; { foo++ } };
 "
 frame size: 9
 parameter count: 2
-bytecode array length: 230
+bytecode array length: 208
 bytecodes: [
                 B(Ldar), R(new_target),
                 B(JumpIfUndefined), U8(21),
                 B(ResumeGenerator), R(new_target),
                 B(Star), R(2),
                 B(LdaZero),
                 B(TestEqualStrict), R(2), U8(0),
                 B(JumpIfTrue), U8(83),
                 B(LdaSmi), U8(76),
                 B(Star), R(3),
@@ skipping 46 matching lines @@
                 B(Ldar), R(5),
   /*    0 E> */ B(Throw),
   /*   19 S> */ B(LdaSmi), U8(42),
                 B(Star), R(4),
                 B(LdaConstant), U8(1),
                 B(Star), R(3),
   /*   19 E> */ B(CallRuntime), U16(Runtime::kStoreModuleExport), R(3), U8(2),
   /*   23 S> */ B(LdaConstant), U8(1),
                 B(Star), R(3),
                 B(CallRuntime), U16(Runtime::kLoadModuleExport), R(3), U8(1),
-                B(JumpIfNotHole), U8(11),
-                B(LdaConstant), U8(1),
-                B(Star), R(4),
-                B(CallRuntime), U16(Runtime::kThrowReferenceError), R(4), U8(1),
                 B(Inc), U8(2),
   /*   26 E> */ B(CallRuntime), U16(Runtime::kThrowConstAssignError), R(0), U8(0),
                 B(Ldar), R(closure),
                 B(CreateBlockContext), U8(2),
                 B(PushContext), R(1),
                 B(LdaTheHole),
                 B(StaContextSlot), R(context), U8(4), U8(0),
   /*   36 S> */ B(LdaUndefined),
   /*   36 E> */ B(StaContextSlot), R(context), U8(4), U8(0),
   /*   41 S> */ B(LdaConstant), U8(1),
                 B(Star), R(3),
                 B(CallRuntime), U16(Runtime::kLoadModuleExport), R(3), U8(1),
-                B(JumpIfNotHole), U8(11),
-                B(LdaConstant), U8(1),
-                B(Star), R(4),
-                B(CallRuntime), U16(Runtime::kThrowReferenceError), R(4), U8(1),
                 B(Inc), U8(3),
   /*   44 E> */ B(CallRuntime), U16(Runtime::kThrowConstAssignError), R(0), U8(0),
                 B(PopContext), R(1),
                 B(LdaUndefined),
   /*   51 S> */ B(Return),
 ]
 constant pool: [
   FIXED_ARRAY_TYPE,
   ONE_BYTE_INTERNALIZED_STRING_TYPE ["foo"],
   FIXED_ARRAY_TYPE,
@@ skipping 307 matching lines @@
   /*    0 E> */ B(Throw),
                 B(LdaUndefined),
   /*   19 S> */ B(Return),
 ]
 constant pool: [
   FIXED_ARRAY_TYPE,
 ]
 handlers: [
 ]