Lines Matching defs:h1
8022 IRTemp h1 = newTemp(Ity_I64);
8033 assign(h1, binop(Iop_InterleaveHI8x8,
8047 assign(w0, binop(Iop_InterleaveHI16x4, mkexpr(h1), mkexpr(h0)));
18256 UInt h1 = INSN0(7,7);
18259 UInt rD = (h1 << 3) | INSN0(2,0);
18260 //if (h1 == 0 && h2 == 0) { // Original T1 was more restrictive
18288 UInt h1 = INSN0(7,7);
18291 UInt rN = (h1 << 3) | INSN0(2,0);
18292 if (h1 != 0 || h2 != 0) {
18307 UInt h1 = INSN0(7,7);
18310 UInt rD = (h1 << 3) | INSN0(2,0);
18313 if (1 /*h1 != 0 || h2 != 0*/) {