Lines Matching refs:IRExpr_ITE
903 return IRExpr_ITE(
925 return IRExpr_ITE(
1663 return IRExpr_ITE( binop(Iop_CmpNE8, mask, mkU8(0)),
2458 = IRExpr_ITE(
2578 = IRExpr_ITE(
2632 = IRExpr_ITE(
4326 IRExpr_ITE( irx,
4433 assign(rA, IRExpr_ITE( irx,
6843 IRExpr_ITE( mkexpr(outofrange),
6941 IRExpr_ITE( mkexpr(outofrange),
8299 IRExpr_ITE(
9184 assign(frD, IRExpr_ITE(
9192 IRExpr_ITE(
12854 b3_result = IRExpr_ITE(is_NaN_32(b3),
12859 b2_result = IRExpr_ITE(is_NaN_32(b2),
12864 b1_result = IRExpr_ITE(is_NaN_32(b1),
12869 b0_result = IRExpr_ITE(is_NaN_32(b0),
13991 IRExpr_ITE(mkexpr(frA_isSNaN),
13995 IRExpr_ITE(mkexpr(frB_isSNaN),
13999 IRExpr_ITE(mkexpr(frB_isQNaN),
14017 return IRExpr_ITE( binop( Iop_CmpEQ32,
14050 return IRExpr_ITE( /* If both arguments are zero . . . */
14055 IRExpr_ITE( binop( Iop_CmpEQ32,
14062 IRExpr_ITE( mkexpr( anyNaN ),
14134 IRExpr_ITE(
14142 IRExpr_ITE(
14172 return IRExpr_ITE( mkexpr( is_SNAN ),
20107 IRExpr_ITE( binop(Iop_CmpNE32, getCRbit( bi ), mkU32(0)),
