Lines Matching refs:IRExpr_ITE
822 return IRExpr_ITE(
844 return IRExpr_ITE(
1545 return IRExpr_ITE( binop(Iop_CmpNE8, mask, mkU8(0)),
2340 = IRExpr_ITE(
2460 = IRExpr_ITE(
2514 = IRExpr_ITE(
4062 IRExpr_ITE( irx,
4169 assign(rA, IRExpr_ITE( irx,
6442 IRExpr_ITE( mkexpr(outofrange),
6540 IRExpr_ITE( mkexpr(outofrange),
7869 IRExpr_ITE(
8754 assign(frD, IRExpr_ITE(
8762 IRExpr_ITE(
12424 b3_result = IRExpr_ITE(is_NaN_32(b3),
12429 b2_result = IRExpr_ITE(is_NaN_32(b2),
12434 b1_result = IRExpr_ITE(is_NaN_32(b1),
12439 b0_result = IRExpr_ITE(is_NaN_32(b0),
13561 IRExpr_ITE(mkexpr(frA_isSNaN),
13565 IRExpr_ITE(mkexpr(frB_isSNaN),
13569 IRExpr_ITE(mkexpr(frB_isQNaN),
13587 return IRExpr_ITE( binop( Iop_CmpEQ32,
13620 return IRExpr_ITE( /* If both arguments are zero . . . */
13625 IRExpr_ITE( binop( Iop_CmpEQ32,
13632 IRExpr_ITE( mkexpr( anyNaN ),
13704 IRExpr_ITE(
13712 IRExpr_ITE(
13742 return IRExpr_ITE( mkexpr( is_SNAN ),
19573 IRExpr_ITE( binop(Iop_CmpNE32, getCRbit( bi ), mkU32(0)),