Lines Matching defs:vD
13726 IRTemp vD = newTemp(Ity_V128);
13730 assign( vD, binop(Iop_CmpEQ32Fx4, mkexpr(vA), mkexpr(vB)) );
13731 putVSReg( XT, mkexpr(vD) );
13733 set_AV_CR6( mkexpr(vD), True );
13740 IRTemp vD = newTemp(Ity_V128);
13744 assign( vD, binop(Iop_CmpGE32Fx4, mkexpr(vA), mkexpr(vB)) );
13745 putVSReg( XT, mkexpr(vD) );
13747 set_AV_CR6( mkexpr(vD), True );
13754 IRTemp vD = newTemp(Ity_V128);
13758 assign( vD, binop(Iop_CmpGT32Fx4, mkexpr(vA), mkexpr(vB)) );
13759 putVSReg( XT, mkexpr(vD) );
13761 set_AV_CR6( mkexpr(vD), True );
14250 /* vD = (vA & ~vC) | (vB & vC) */
15019 IRTemp vD = newTemp(Ity_V128);
15032 assign( vD, binop(Iop_CmpEQ8x16, mkexpr(vA), mkexpr(vB)) );
15038 assign( vD, binop(Iop_CmpEQ16x8, mkexpr(vA), mkexpr(vB)) );
15044 assign( vD, binop(Iop_CmpEQ32x4, mkexpr(vA), mkexpr(vB)) );
15050 assign( vD, binop(Iop_CmpGT8Ux16, mkexpr(vA), mkexpr(vB)) );
15056 assign( vD, binop(Iop_CmpGT16Ux8, mkexpr(vA), mkexpr(vB)) );
15062 assign( vD, binop(Iop_CmpGT32Ux4, mkexpr(vA), mkexpr(vB)) );
15068 assign( vD, binop(Iop_CmpGT8Sx16, mkexpr(vA), mkexpr(vB)) );
15074 assign( vD, binop(Iop_CmpGT16Sx8, mkexpr(vA), mkexpr(vB)) );
15080 assign( vD, binop(Iop_CmpGT32Sx4, mkexpr(vA), mkexpr(vB)) );
15088 putVReg( vD_addr, mkexpr(vD) );
15091 set_AV_CR6( mkexpr(vD), True );
15532 /* vD = (vA & ~vC) | (vB & vC) */
15631 /* vD = Dup8x16( vB[UIMM_5] ) */
15648 /* vD = Dup32x4( vB[UIMM_5] ) */
16072 IRTemp vD = newTemp(Ity_V128);
16085 assign( vD, binop(Iop_CmpEQ32Fx4, mkexpr(vA), mkexpr(vB)) );
16091 assign( vD, binop(Iop_CmpGE32Fx4, mkexpr(vA), mkexpr(vB)) );
16097 assign( vD, binop(Iop_CmpGT32Fx4, mkexpr(vA), mkexpr(vB)) );
16125 assign( vD, binop(Iop_ShlN32x4,
16140 putVReg( vD_addr, mkexpr(vD) );
16143 set_AV_CR6( mkexpr(vD), !cmp_bounds );
