Lines Matching defs:c3
16864 IRTemp c3, c2, c1, c0;
16867 c3 = c2 = c1 = c0 = IRTemp_INVALID;
17036 breakV128to4x64U( mkexpr(vC), &c3, &c2, &c1, &c0 );
17039 assign( z3, binop(Iop_Add64, mkexpr(c3),
17074 breakV128to4x64S( mkexpr(vC), &c3, &c2, &c1, &c0 );
17077 assign( z3, binop(Iop_Add64, mkexpr(c3),
