Lines Matching refs:vD
14720 IRTemp vD = newTemp(Ity_V128);
14724 assign( vD, binop(Iop_CmpEQ32Fx4, mkexpr(vA), mkexpr(vB)) );
14725 putVSReg( XT, mkexpr(vD) );
14727 set_AV_CR6( mkexpr(vD), True );
14734 IRTemp vD = newTemp(Ity_V128);
14738 assign( vD, binop(Iop_CmpGE32Fx4, mkexpr(vA), mkexpr(vB)) );
14739 putVSReg( XT, mkexpr(vD) );
14741 set_AV_CR6( mkexpr(vD), True );
14748 IRTemp vD = newTemp(Ity_V128);
14752 assign( vD, binop(Iop_CmpGT32Fx4, mkexpr(vA), mkexpr(vB)) );
14753 putVSReg( XT, mkexpr(vD) );
14755 set_AV_CR6( mkexpr(vD), True );
15376 /* vD = (vA & ~vC) | (vB & vC) */
16219 IRTemp vD = newTemp(Ity_V128);
16232 assign( vD, binop(Iop_CmpEQ8x16, mkexpr(vA), mkexpr(vB)) );
16238 assign( vD, binop(Iop_CmpEQ16x8, mkexpr(vA), mkexpr(vB)) );
16244 assign( vD, binop(Iop_CmpEQ32x4, mkexpr(vA), mkexpr(vB)) );
16250 assign( vD, binop(Iop_CmpEQ64x2, mkexpr(vA), mkexpr(vB)) );
16256 assign( vD, binop(Iop_CmpGT8Ux16, mkexpr(vA), mkexpr(vB)) );
16262 assign( vD, binop(Iop_CmpGT16Ux8, mkexpr(vA), mkexpr(vB)) );
16268 assign( vD, binop(Iop_CmpGT32Ux4, mkexpr(vA), mkexpr(vB)) );
16274 assign( vD, binop(Iop_CmpGT64Ux2, mkexpr(vA), mkexpr(vB)) );
16280 assign( vD, binop(Iop_CmpGT8Sx16, mkexpr(vA), mkexpr(vB)) );
16286 assign( vD, binop(Iop_CmpGT16Sx8, mkexpr(vA), mkexpr(vB)) );
16292 assign( vD, binop(Iop_CmpGT32Sx4, mkexpr(vA), mkexpr(vB)) );
16298 assign( vD, binop(Iop_CmpGT64Sx2, mkexpr(vA), mkexpr(vB)) );
16306 putVReg( vD_addr, mkexpr(vD) );
16309 set_AV_CR6( mkexpr(vD), True );
16825 /* vD = (vA & ~vC) | (vB & vC) */
16942 /* vD = Dup8x16( vB[UIMM_5] ) */
16959 /* vD = Dup32x4( vB[UIMM_5] ) */
16986 /* VD[0] <- VA[1]
16987 VD[1] <- VB[1]
16988 VD[2] <- VA[3]
16989 VD[3] <- VB[3]
16997 /* VD[0] <- VA[0]
16998 VD[1] <- VB[0]
16999 VD[2] <- VA[2]
17000 VD[3] <- VB[2]
17899 IRTemp vD = newTemp(Ity_V128);
17912 assign( vD, binop(Iop_CmpEQ32Fx4, mkexpr(vA), mkexpr(vB)) );
17918 assign( vD, binop(Iop_CmpGE32Fx4, mkexpr(vA), mkexpr(vB)) );
17924 assign( vD, binop(Iop_CmpGT32Fx4, mkexpr(vA), mkexpr(vB)) );
17953 assign( vD, binop(Iop_ShlN32x4,
17968 putVReg( vD_addr, mkexpr(vD) );
17971 set_AV_CR6( mkexpr(vD), !cmp_bounds );
