Lines Matching defs:h3
8022 IRTemp h3 = newTemp(Ity_I64);8029 assign(h3, binop(Iop_InterleaveHI8x8,8043 // Now h3..h0 are 64 bit vectors with useful information only8048 assign(w1, binop(Iop_InterleaveHI16x4, mkexpr(h3), mkexpr(h2)));