10  * distributed under the License is distributed on an "AS IS" BASIS,
118     GateRef currentInst2 = Int32LSL(currentInst1, Int32(8));  // 8 : set as high 8 bits  in ReadInstSigned16_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()
139     GateRef currentInst2 = Int16LSL(currentInst1, Int16(8));  // 8 : set as high 8 bits  in ReadInst16_0()
147     GateRef currentInst2 = Int16LSL(currentInst1, Int16(8));  // 8 : set as high 8 bits  in ReadInst16_1()
156     GateRef currentInst2 = Int16LSL(currentInst1, Int16(8));  // 8 : set as high 8 bits  in ReadInst16_2()
165     GateRef currentInst2 = Int16LSL(currentInst1, Int16(8));  // 8 : set as high 8 bits  in ReadInst16_3()
174     GateRef currentInst2 = Int16LSL(currentInst1, Int16(8));  // 8 : set as high 8 bits  in ReadInst16_4()
183     GateRef currentInst2 = Int16LSL(currentInst1, Int16(8));  // 8 : set as high 8 bits  in ReadInst16_5()
192     GateRef currentInst2 = Int16LSL(currentInst1, Int16(8));  // 8 : set as high 8 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()
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()