10573          IRTemp vD = newTemp(Ity_V128);  in dis_vvec_cmp()  local
10577          assign( vD, binop(Iop_CmpEQ32Fx4, mkexpr(vA), mkexpr(vB)) );  in dis_vvec_cmp()
10578          putVSReg( XT, mkexpr(vD) );  in dis_vvec_cmp()
10580             set_AV_CR6( mkexpr(vD), True );  in dis_vvec_cmp()
10587          IRTemp vD = newTemp(Ity_V128);  in dis_vvec_cmp()  local
10591          assign( vD, binop(Iop_CmpGE32Fx4, mkexpr(vA), mkexpr(vB)) );  in dis_vvec_cmp()
10592          putVSReg( XT, mkexpr(vD) );  in dis_vvec_cmp()
10594             set_AV_CR6( mkexpr(vD), True );  in dis_vvec_cmp()
10601          IRTemp vD = newTemp(Ity_V128);  in dis_vvec_cmp()  local
10605          assign( vD, binop(Iop_CmpGT32Fx4, mkexpr(vA), mkexpr(vB)) );  in dis_vvec_cmp()
10606          putVSReg( XT, mkexpr(vD) );  in dis_vvec_cmp()
10608             set_AV_CR6( mkexpr(vD), True );  in dis_vvec_cmp()
11864    IRTemp vD = newTemp(Ity_V128);  in dis_av_cmp()  local
11877       assign( vD, binop(Iop_CmpEQ8x16, mkexpr(vA), mkexpr(vB)) );  in dis_av_cmp()
11883       assign( vD, binop(Iop_CmpEQ16x8, mkexpr(vA), mkexpr(vB)) );  in dis_av_cmp()
11889       assign( vD, binop(Iop_CmpEQ32x4, mkexpr(vA), mkexpr(vB)) );  in dis_av_cmp()
11895       assign( vD, binop(Iop_CmpGT8Ux16, mkexpr(vA), mkexpr(vB)) );  in dis_av_cmp()
11901       assign( vD, binop(Iop_CmpGT16Ux8, mkexpr(vA), mkexpr(vB)) );  in dis_av_cmp()
11907       assign( vD, binop(Iop_CmpGT32Ux4, mkexpr(vA), mkexpr(vB)) );  in dis_av_cmp()
11913       assign( vD, binop(Iop_CmpGT8Sx16, mkexpr(vA), mkexpr(vB)) );  in dis_av_cmp()
11919       assign( vD, binop(Iop_CmpGT16Sx8, mkexpr(vA), mkexpr(vB)) );  in dis_av_cmp()
11925       assign( vD, binop(Iop_CmpGT32Sx4, mkexpr(vA), mkexpr(vB)) );  in dis_av_cmp()
11933    putVReg( vD_addr, mkexpr(vD) );  in dis_av_cmp()
11936       set_AV_CR6( mkexpr(vD), True );  in dis_av_cmp()
12917    IRTemp vD = newTemp(Ity_V128);  in dis_av_fp_cmp()  local
12930       assign( vD, binop(Iop_CmpEQ32Fx4, mkexpr(vA), mkexpr(vB)) );  in dis_av_fp_cmp()
12936       assign( vD, binop(Iop_CmpGE32Fx4, mkexpr(vA), mkexpr(vB)) );  in dis_av_fp_cmp()
12942       assign( vD, binop(Iop_CmpGT32Fx4, mkexpr(vA), mkexpr(vB)) );  in dis_av_fp_cmp()
12970       assign( vD, binop(Iop_ShlN32x4,  in dis_av_fp_cmp()
12985    putVReg( vD_addr, mkexpr(vD) );  in dis_av_fp_cmp()
12988       set_AV_CR6( mkexpr(vD), !cmp_bounds );  in dis_av_fp_cmp()