Lines Matching defs:b3
7511 IRTemp b3, b2, b1, b0;
7516 b3 = b2 = b1 = b0 = IRTemp_INVALID;
7810 breakV128to4x64U( mkexpr(vB), &b3, &b2, &b1, &b0 );
7813 assign( z3, binop(Iop_Add64, mkexpr(b3),
7850 breakV128to4x64S( mkexpr(vB), &b3, &b2, &b1, &b0 );
7853 assign( z3, binop(Iop_Add64, mkexpr(b3),
7884 breakV128to4x64S( mkexpr(vB), &b3, &b2, &b1, &b0 );
7887 assign( z3, binop(Iop_Add64, mkexpr(b3),
7906 breakV128to4x64S( mkexpr(vB), &b3, &b2, &b1, &b0 );
7924 breakV128to4x64S( mkexpr(vB), &b3, &b2, &b1, &b0 );
8788 IRTemp b3 = newTemp(Ity_V128);
8809 assign( b3, binop(Iop_ShrN16x8,
8813 binop(Iop_OrV128, mkexpr(b2), mkexpr(b3))) );