903    return IRExpr_ITE(  in mkQNarrow64Sto32()
925    return IRExpr_ITE(  in mkQNarrow64Uto32()
1663    return IRExpr_ITE( binop(Iop_CmpNE8, mask, mkU8(0)),  in ROTL()
2458          = IRExpr_ITE(  in set_XER_CA_32()
2578          = IRExpr_ITE(  in set_XER_CA_64()
2632          = IRExpr_ITE(  in set_XER_CA_64()
4326                          IRExpr_ITE( irx,  in dis_int_logic()
4433          assign(rA, IRExpr_ITE( irx,  in dis_int_logic()
6843                               IRExpr_ITE( mkexpr(outofrange),   in dis_int_shift()
6941                               IRExpr_ITE( mkexpr(outofrange),   in dis_int_shift()
8299                  IRExpr_ITE(  in dis_fp_arith()
9184       assign(frD, IRExpr_ITE(  in dis_fp_round()
9192                      IRExpr_ITE(  in dis_fp_round()
12854          b3_result = IRExpr_ITE(is_NaN_32(b3),  in dis_vx_conv()
12859          b2_result = IRExpr_ITE(is_NaN_32(b2),  in dis_vx_conv()
12864          b1_result = IRExpr_ITE(is_NaN_32(b1),  in dis_vx_conv()
12869          b0_result = IRExpr_ITE(is_NaN_32(b0),  in dis_vx_conv()
13991    IRExpr_ITE(mkexpr(frA_isSNaN),  in _get_maxmin_fp_NaN()
13995               IRExpr_ITE(mkexpr(frB_isSNaN),  in _get_maxmin_fp_NaN()
13999                          IRExpr_ITE(mkexpr(frB_isQNaN),  in _get_maxmin_fp_NaN()
14017    return IRExpr_ITE( binop( Iop_CmpEQ32,  in _get_maxmin_fp_cmp()
14050    return IRExpr_ITE( /* If both arguments are zero . . . */  in get_max_min_fp()
14055                      IRExpr_ITE( binop( Iop_CmpEQ32,  in get_max_min_fp()
14062                      IRExpr_ITE( mkexpr( anyNaN ),  in get_max_min_fp()
14134            IRExpr_ITE(  in _do_vsx_fp_roundToInt()
14142               IRExpr_ITE(  in _do_vsx_fp_roundToInt()
14172    return IRExpr_ITE( mkexpr( is_SNAN ),  in _do_vsx_fp_roundToInt()
20107                IRExpr_ITE( binop(Iop_CmpNE32, getCRbit( bi ), mkU32(0)),  in disInstr_PPC_WRK()