127     /* 2 : skip 8 bits of opcode and 8 bits of low bits */  in ReadInstSigned16_0()
130     GateRef currentInst2 = Int32LSL(currentInst1, Int32(8));  // 8 : set as high 8 bits  in ReadInstSigned16_0()
140     /* 4 : skip 8 bits of opcode and 24 bits of low bits */  in ReadInstSigned32_0()
143     GateRef currentInst1 = Int32LSL(currentInst, Int32(8));  // 8 : set as high 8 bits  in ReadInstSigned32_0()
145     GateRef currentInst3 = Int32LSL(currentInst2, Int32(8));  // 8 : set as high 8 bits  in ReadInstSigned32_0()
147     GateRef currentInst5 = Int32LSL(currentInst4, Int32(8));  // 8 : set as high 8 bits  in ReadInstSigned32_0()
156     /* 2 : skip 8 bits of opcode and 8 bits of low bits */  in ReadInst16_0()
158     GateRef currentInst2 = Int16LSL(currentInst1, Int16(8));  // 8 : set as high 8 bits  in ReadInst16_0()
167     /* 3 : skip 8 bits of opcode, 8 bits of prefix and 8 bits of low bits */  in ReadInst16_1()
169     GateRef currentInst2 = Int16LSL(currentInst1, Int16(8));  // 8 : set as high 8 bits  in ReadInst16_1()
170     /* 2 : skip 8 bits of opcode and 8 bits of prefix */  in ReadInst16_1()
179     /* 4 : skip 8 bits of opcode, first parameter of 16 bits and 8 bits of low bits */  in ReadInst16_2()
181     GateRef currentInst2 = Int16LSL(currentInst1, Int16(8));  // 8 : set as high 8 bits  in ReadInst16_2()
182     /* 3 : skip 8 bits of opcode and first parameter of 16 bits */  in ReadInst16_2()
191 …/* 5 : skip 8 bits of opcode, 8 bits of prefix, first parameter of 16 bits and 8 bits of low bits …  in ReadInst16_3()
193     GateRef currentInst2 = Int16LSL(currentInst1, Int16(8));  // 8 : set as high 8 bits  in ReadInst16_3()
194     /* 4 : skip 8 bits of opcode, 8 bits of prefix and first parameter of 16 bits */  in ReadInst16_3()
203 …/* 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()
205     GateRef currentInst2 = Int16LSL(currentInst1, Int16(8));  // 8 : set as high 8 bits  in ReadInst16_4()
206     /* 6 : skip 8 bits of opcode, 8 bits of prefix and first 2 parameters of 16 bits */  in ReadInst16_4()
215 …/* 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()
217     GateRef currentInst2 = Int16LSL(currentInst1, Int16(8));  // 8 : set as high 8 bits  in ReadInst16_5()
218     /* 6 : skip 8 bits of opcode, 8 bits of prefix and first 2 parameters of 16 bits */  in ReadInst16_5()
227 …/* 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()
229     GateRef currentInst2 = Int16LSL(currentInst1, Int16(8));  // 8 : set as high 8 bits  in ReadInst16_6()
230     /* 6 : skip 8 bits of opcode, 8 bits of prefix and first 2 parameters of 16 bits */  in ReadInst16_6()
239 …/* 7 : skip 8 bits of opcode, 8 bits of prefix, first 2 parameters of 16 bits and 8 bits of low bi…  in ReadInst16_7()
241     GateRef currentInst2 = Int16LSL(currentInst1, Int16(8));  // 8 : set as high 8 bits  in ReadInst16_7()
242     /* 6 : skip 8 bits of opcode, 8 bits of prefix and first 2 parameters of 16 bits */  in ReadInst16_7()
464     i = Int32Add(*i, Int32(1));  // 1 : set as high 1 bits  in PushUndefined()
488     i = Int32Sub(*i, Int32(1));  // 1 : set as high 1 bits  in PushRange()
552     // 32: high 32 bits = startIdx, low 32 bits = numArgs  in GetStartIdxAndNumArgs()
611     GateRef currentInst1 = Int32LSL(currentInst, Int32(8));  // 8 : set as high 8 bits  in ReadInst32_0()
613     GateRef currentInst3 = Int32LSL(currentInst2, Int32(8));  // 8 : set as high 8 bits  in ReadInst32_0()
615     GateRef currentInst5 = Int32LSL(currentInst4, Int32(8));  // 8 : set as high 8 bits  in ReadInst32_0()
625     GateRef currentInst1 = Int32LSL(currentInst, Int32(8));  // 8 : set as high 8 bits  in ReadInst32_1()
627     GateRef currentInst3 = Int32LSL(currentInst2, Int32(8));  // 8 : set as high 8 bits  in ReadInst32_1()
629     GateRef currentInst5 = Int32LSL(currentInst4, Int32(8));  // 8 : set as high 8 bits  in ReadInst32_1()
639     GateRef currentInst1 = Int32LSL(currentInst, Int32(8));  // 8 : set as high 8 bits  in ReadInst32_2()
641     GateRef currentInst3 = Int32LSL(currentInst2, Int32(8));  // 8 : set as high 8 bits  in ReadInst32_2()
643     GateRef currentInst5 = Int32LSL(currentInst4, Int32(8));  // 8 : set as high 8 bits  in ReadInst32_2()
653     GateRef currentInst1 = Int64LSL(currentInst, Int64(8));  // 8 : set as high 8 bits  in ReadInst64_0()
655     GateRef currentInst3 = Int64LSL(currentInst2, Int64(8));  // 8 : set as high 8 bits  in ReadInst64_0()
657     GateRef currentInst5 = Int64LSL(currentInst4, Int64(8));  // 8 : set as high 8 bits  in ReadInst64_0()
659     GateRef currentInst7 = Int64LSL(currentInst6, Int64(8));  // 8 : set as high 8 bits  in ReadInst64_0()
661     GateRef currentInst9 = Int64LSL(currentInst8, Int64(8));  // 8 : set as high 8 bits  in ReadInst64_0()
663     GateRef currentInst11 = Int64LSL(currentInst10, Int64(8));  // 8 : set as high 8 bits  in ReadInst64_0()
665     GateRef currentInst13 = Int64LSL(currentInst12, Int64(8));  // 8 : set as high 8 bits  in ReadInst64_0()