132     /* 2 : skip 8 bits of opcode and 8 bits of low bits */  in ReadInstSigned16_0()
135     GateRef currentInst2 = Int32LSL(currentInst1, Int32(8));  // 8 : set as high 8 bits  in ReadInstSigned16_0()
145     /* 4 : skip 8 bits of opcode and 24 bits of low bits */  in ReadInstSigned32_0()
148     GateRef currentInst1 = Int32LSL(currentInst, Int32(8));  // 8 : set as high 8 bits  in ReadInstSigned32_0()
150     GateRef currentInst3 = Int32LSL(currentInst2, Int32(8));  // 8 : set as high 8 bits  in ReadInstSigned32_0()
152     GateRef currentInst5 = Int32LSL(currentInst4, Int32(8));  // 8 : set as high 8 bits  in ReadInstSigned32_0()
161     /* 2 : skip 8 bits of opcode and 8 bits of low bits */  in ReadInst16_0()
163     GateRef currentInst2 = Int16LSL(currentInst1, Int16(8));  // 8 : set as high 8 bits  in ReadInst16_0()
172     /* 3 : skip 8 bits of opcode, 8 bits of prefix and 8 bits of low bits */  in ReadInst16_1()
174     GateRef currentInst2 = Int16LSL(currentInst1, Int16(8));  // 8 : set as high 8 bits  in ReadInst16_1()
175     /* 2 : skip 8 bits of opcode and 8 bits of prefix */  in ReadInst16_1()
184     /* 4 : skip 8 bits of opcode, first parameter of 16 bits and 8 bits of low bits */  in ReadInst16_2()
186     GateRef currentInst2 = Int16LSL(currentInst1, Int16(8));  // 8 : set as high 8 bits  in ReadInst16_2()
187     /* 3 : skip 8 bits of opcode and first parameter of 16 bits */  in ReadInst16_2()
196 …/* 5 : skip 8 bits of opcode, 8 bits of prefix, first parameter of 16 bits and 8 bits of low bits …  in ReadInst16_3()
198     GateRef currentInst2 = Int16LSL(currentInst1, Int16(8));  // 8 : set as high 8 bits  in ReadInst16_3()
199     /* 4 : skip 8 bits of opcode, 8 bits of prefix and first parameter of 16 bits */  in ReadInst16_3()
208 …/* 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()
210     GateRef currentInst2 = Int16LSL(currentInst1, Int16(8));  // 8 : set as high 8 bits  in ReadInst16_4()
211     /* 6 : skip 8 bits of opcode, 8 bits of prefix and first 2 parameters of 16 bits */  in ReadInst16_4()
220 …/* 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()
222     GateRef currentInst2 = Int16LSL(currentInst1, Int16(8));  // 8 : set as high 8 bits  in ReadInst16_5()
223     /* 6 : skip 8 bits of opcode, 8 bits of prefix and first 2 parameters of 16 bits */  in ReadInst16_5()
232 …/* 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()
234     GateRef currentInst2 = Int16LSL(currentInst1, Int16(8));  // 8 : set as high 8 bits  in ReadInst16_6()
235     /* 6 : skip 8 bits of opcode, 8 bits of prefix and first 2 parameters of 16 bits */  in ReadInst16_6()
244 …/* 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()
246     GateRef currentInst2 = Int16LSL(currentInst1, Int16(8));  // 8 : set as high 8 bits  in ReadInst16_7()
247     /* 6 : skip 8 bits of opcode, 8 bits of prefix and first 2 parameters of 16 bits */  in ReadInst16_7()
469     i = Int32Add(*i, Int32(1));  // 1 : set as high 1 bits  in PushUndefined()
493     i = Int32Sub(*i, Int32(1));  // 1 : set as high 1 bits  in PushRange()
557     // 32: high 32 bits = startIdx, low 32 bits = numArgs  in GetStartIdxAndNumArgs()
616     GateRef currentInst1 = Int32LSL(currentInst, Int32(8));  // 8 : set as high 8 bits  in ReadInst32_0()
618     GateRef currentInst3 = Int32LSL(currentInst2, Int32(8));  // 8 : set as high 8 bits  in ReadInst32_0()
620     GateRef currentInst5 = Int32LSL(currentInst4, Int32(8));  // 8 : set as high 8 bits  in ReadInst32_0()
630     GateRef currentInst1 = Int32LSL(currentInst, Int32(8));  // 8 : set as high 8 bits  in ReadInst32_1()
632     GateRef currentInst3 = Int32LSL(currentInst2, Int32(8));  // 8 : set as high 8 bits  in ReadInst32_1()
634     GateRef currentInst5 = Int32LSL(currentInst4, Int32(8));  // 8 : set as high 8 bits  in ReadInst32_1()
644     GateRef currentInst1 = Int32LSL(currentInst, Int32(8));  // 8 : set as high 8 bits  in ReadInst32_2()
646     GateRef currentInst3 = Int32LSL(currentInst2, Int32(8));  // 8 : set as high 8 bits  in ReadInst32_2()
648     GateRef currentInst5 = Int32LSL(currentInst4, Int32(8));  // 8 : set as high 8 bits  in ReadInst32_2()
658     GateRef currentInst1 = Int64LSL(currentInst, Int64(8));  // 8 : set as high 8 bits  in ReadInst64_0()
660     GateRef currentInst3 = Int64LSL(currentInst2, Int64(8));  // 8 : set as high 8 bits  in ReadInst64_0()
662     GateRef currentInst5 = Int64LSL(currentInst4, Int64(8));  // 8 : set as high 8 bits  in ReadInst64_0()
664     GateRef currentInst7 = Int64LSL(currentInst6, Int64(8));  // 8 : set as high 8 bits  in ReadInst64_0()
666     GateRef currentInst9 = Int64LSL(currentInst8, Int64(8));  // 8 : set as high 8 bits  in ReadInst64_0()
668     GateRef currentInst11 = Int64LSL(currentInst10, Int64(8));  // 8 : set as high 8 bits  in ReadInst64_0()
670     GateRef currentInst13 = Int64LSL(currentInst12, Int64(8));  // 8 : set as high 8 bits  in ReadInst64_0()