Lines Matching defs:addV
11139 IRTemp addV = newTemp(Ity_V128);
11146 assign( addV, triop(Iop_Add64Fx2, mkexpr(rm), mkexpr(dV), mkexpr(sV)) );
11149 assign( a1, unop(Iop_V128HIto64, mkexpr(addV) ));
11161 IRTemp addV = newTemp(Ity_V256);
11167 assign( addV, triop(Iop_Add64Fx4, mkexpr(rm), mkexpr(dV), mkexpr(sV)) );
11170 breakupV256to64s( addV, &a3, &a2, &a1, &a0 );
11182 IRTemp addV = newTemp(Ity_V128);
11188 assign( addV, triop(Iop_Add32Fx4, mkexpr(rm), mkexpr(dV), mkexpr(sV)) );
11191 breakupV128to32s( addV, &a3, &a2, &a1, &a0 );
11204 IRTemp addV = newTemp(Ity_V256);
11211 assign( addV, triop(Iop_Add32Fx8, mkexpr(rm), mkexpr(dV), mkexpr(sV)) );
11214 breakupV256to32s( addV, &a7, &a6, &a5, &a4, &a3, &a2, &a1, &a0 );