Home | History | Annotate | Download | only in priv

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 only
8048    assign(w1, binop(Iop_InterleaveHI16x4, mkexpr(h3), mkexpr(h2)));