2001                     binop(Iop_AndV128,  in set_AV_CR6()
2002                           binop(Iop_AndV128, mkexpr(v0), mkexpr(v1)),  in set_AV_CR6()
2003                           binop(Iop_AndV128, mkexpr(v2), mkexpr(v3)))  in set_AV_CR6()
15480          putVSReg( XT, binop( Iop_AndV128, mkexpr( vA ), mkexpr( vB ) ) );  in dis_vx_logic()
15484          putVSReg( XT, binop( Iop_AndV128, mkexpr( vA ), unop( Iop_NotV128,  in dis_vx_logic()
15496                              binop( Iop_AndV128, mkexpr( vA ),  in dis_vx_logic()
15853             binop(Iop_AndV128, mkexpr(vA), unop(Iop_NotV128, mkexpr(vC))),  in dis_vx_permute_misc()
15854             binop(Iop_AndV128, mkexpr(vB), mkexpr(vC))) );  in dis_vx_permute_misc()
16669       putVReg( vD_addr, binop(Iop_AndV128, mkexpr(vA), mkexpr(vB)) );  in dis_av_logic()
16674       putVReg( vD_addr, binop(Iop_AndV128, mkexpr(vA),  in dis_av_logic()
16704                               binop(Iop_AndV128, mkexpr( vA ),  in dis_av_logic()
17345          binop(Iop_AndV128, mkexpr(vA), unop(Iop_NotV128, mkexpr(vC))),  in dis_av_permute()
17346          binop(Iop_AndV128, mkexpr(vB), mkexpr(vC))) );  in dis_av_permute()
17361               binop(Iop_AndV128, mkexpr(vC),  in dis_av_permute()
17373                               binop(Iop_AndV128, mkexpr(a_perm),  in dis_av_permute()
17375                               binop(Iop_AndV128, mkexpr(b_perm),  in dis_av_permute()
17401       assign( vrc_b, binop( Iop_AndV128, mkexpr( vC ),  in dis_av_permute()
17404                             binop( Iop_AndV128, mkexpr( vC ),  in dis_av_permute()
17589       assign( vA_tmp, binop(Iop_AndV128, mkexpr(vA),  in dis_av_pack()
17593       assign( vB_tmp, binop(Iop_AndV128, mkexpr(vB),  in dis_av_pack()
17609       assign( vA_tmp, binop(Iop_AndV128, mkexpr(vA),  in dis_av_pack()
17613       assign( vB_tmp, binop(Iop_AndV128, mkexpr(vB),  in dis_av_pack()
17699       assign( vA_tmp, binop(Iop_AndV128, mkexpr(vA),  in dis_av_pack()
17703       assign( vB_tmp, binop(Iop_AndV128, mkexpr(vB),  in dis_av_pack()
18095       IRExpr * res = binop(Iop_AndV128, mkV128(0), mkV128(0));  in dis_av_quad()
18105                  binop( Iop_AndV128,  in dis_av_quad()
18134                  binop( Iop_AndV128,  in dis_av_quad()
18137                                binop( Iop_AndV128,  in dis_av_quad()
18473                               binop(Iop_AndV128, mkexpr(gt),  in dis_av_fp_cmp()
18475                               binop(Iop_AndV128, mkexpr(lt),  in dis_av_fp_cmp()