115     /* 2 : skip 8 bits of opcode and 8 bits of low bits */  in ReadInstSigned16_0()
118     GateRef currentInst2 = Int32LSL(currentInst1, Int32(8));  // 8 : set as high 8 bits  in ReadInstSigned16_0()
124     /* 4 : skip 8 bits of opcode and 24 bits of low bits */  in ReadInstSigned32_0()
127     GateRef currentInst1 = Int32LSL(currentInst, Int32(8));  // 8 : set as high 8 bits  in ReadInstSigned32_0()
129     GateRef currentInst3 = Int32LSL(currentInst2, Int32(8));  // 8 : set as high 8 bits  in ReadInstSigned32_0()
131     GateRef currentInst5 = Int32LSL(currentInst4, Int32(8));  // 8 : set as high 8 bits  in ReadInstSigned32_0()
137     /* 2 : skip 8 bits of opcode and 8 bits of low bits */  in ReadInst16_0()
139     GateRef currentInst2 = Int16LSL(currentInst1, Int16(8));  // 8 : set as high 8 bits  in ReadInst16_0()
145     /* 3 : skip 8 bits of opcode, 8 bits of prefix and 8 bits of low bits */  in ReadInst16_1()
147     GateRef currentInst2 = Int16LSL(currentInst1, Int16(8));  // 8 : set as high 8 bits  in ReadInst16_1()
148     /* 2 : skip 8 bits of opcode and 8 bits of prefix */  in ReadInst16_1()
154     /* 4 : skip 8 bits of opcode, first parameter of 16 bits and 8 bits of low bits */  in ReadInst16_2()
156     GateRef currentInst2 = Int16LSL(currentInst1, Int16(8));  // 8 : set as high 8 bits  in ReadInst16_2()
157     /* 3 : skip 8 bits of opcode and first parameter of 16 bits */  in ReadInst16_2()
163 …/* 5 : skip 8 bits of opcode, 8 bits of prefix, first parameter of 16 bits and 8 bits of low bits …  in ReadInst16_3()
165     GateRef currentInst2 = Int16LSL(currentInst1, Int16(8));  // 8 : set as high 8 bits  in ReadInst16_3()
166     /* 4 : skip 8 bits of opcode, 8 bits of prefix and first parameter of 16 bits */  in ReadInst16_3()
172 …/* 7 : skip 8 bits of opcode, 8 bits of prefix, first 2 parameters of 16 bits and 8 bits of low bi…  in ReadInst16_4()
174     GateRef currentInst2 = Int16LSL(currentInst1, Int16(8));  // 8 : set as high 8 bits  in ReadInst16_4()
175     /* 6 : skip 8 bits of opcode, 8 bits of prefix and first 2 parameters of 16 bits */  in ReadInst16_4()
181 …/* 7 : skip 8 bits of opcode, 8 bits of prefix, first 2 parameters of 16 bits and 8 bits of low bi…  in ReadInst16_5()
183     GateRef currentInst2 = Int16LSL(currentInst1, Int16(8));  // 8 : set as high 8 bits  in ReadInst16_5()
184     /* 6 : skip 8 bits of opcode, 8 bits of prefix and first 2 parameters of 16 bits */  in ReadInst16_5()
190 …/* 7 : skip 8 bits of opcode, 8 bits of prefix, first 2 parameters of 16 bits and 8 bits of low bi…  in ReadInst16_6()
192     GateRef currentInst2 = Int16LSL(currentInst1, Int16(8));  // 8 : set as high 8 bits  in ReadInst16_6()
193     /* 6 : skip 8 bits of opcode, 8 bits of prefix and first 2 parameters of 16 bits */  in ReadInst16_6()
393     i = Int32Add(*i, Int32(1));  // 1 : set as high 1 bits  in PushUndefined()
417     i = Int32Sub(*i, Int32(1));  // 1 : set as high 1 bits  in PushRange()
481     // 32: high 32 bits = startIdx, low 32 bits = numArgs  in GetStartIdxAndNumArgs()
495     GateRef currentInst1 = Int32LSL(currentInst, Int32(8));  // 8 : set as high 8 bits  in ReadInst32_0()
497     GateRef currentInst3 = Int32LSL(currentInst2, Int32(8));  // 8 : set as high 8 bits  in ReadInst32_0()
499     GateRef currentInst5 = Int32LSL(currentInst4, Int32(8));  // 8 : set as high 8 bits  in ReadInst32_0()
506     GateRef currentInst1 = Int32LSL(currentInst, Int32(8));  // 8 : set as high 8 bits  in ReadInst32_1()
508     GateRef currentInst3 = Int32LSL(currentInst2, Int32(8));  // 8 : set as high 8 bits  in ReadInst32_1()
510     GateRef currentInst5 = Int32LSL(currentInst4, Int32(8));  // 8 : set as high 8 bits  in ReadInst32_1()
517     GateRef currentInst1 = Int32LSL(currentInst, Int32(8));  // 8 : set as high 8 bits  in ReadInst32_2()
519     GateRef currentInst3 = Int32LSL(currentInst2, Int32(8));  // 8 : set as high 8 bits  in ReadInst32_2()
521     GateRef currentInst5 = Int32LSL(currentInst4, Int32(8));  // 8 : set as high 8 bits  in ReadInst32_2()
528     GateRef currentInst1 = Int64LSL(currentInst, Int64(8));  // 8 : set as high 8 bits  in ReadInst64_0()
530     GateRef currentInst3 = Int64LSL(currentInst2, Int64(8));  // 8 : set as high 8 bits  in ReadInst64_0()
532     GateRef currentInst5 = Int64LSL(currentInst4, Int64(8));  // 8 : set as high 8 bits  in ReadInst64_0()
534     GateRef currentInst7 = Int64LSL(currentInst6, Int64(8));  // 8 : set as high 8 bits  in ReadInst64_0()
536     GateRef currentInst9 = Int64LSL(currentInst8, Int64(8));  // 8 : set as high 8 bits  in ReadInst64_0()
538     GateRef currentInst11 = Int64LSL(currentInst10, Int64(8));  // 8 : set as high 8 bits  in ReadInst64_0()
540     GateRef currentInst13 = Int64LSL(currentInst12, Int64(8));  // 8 : set as high 8 bits  in ReadInst64_0()