Lines Matching refs:IRExpr_ITE
599 IRExpr_ITE( binop(Iop_CmpNE32, mkexpr(guardT), mkU32(0)),
632 IRExpr_ITE( binop(Iop_CmpNE32, mkexpr(guardT), mkU32(0)),
727 IRExpr_ITE( binop(Iop_CmpNE32, mkexpr(guardT), mkU32(0)),
770 IRExpr_ITE( binop(Iop_CmpNE32, mkexpr(guardT), mkU32(0)),
836 IRExpr_ITE( binop(Iop_CmpNE32, mkexpr(guardT), mkU32(0)),
895 IRExpr_ITE( binop(Iop_CmpNE32, mkexpr(guardT), mkU32(0)),
924 IRExpr_ITE( binop(Iop_CmpNE32, mkexpr(guardT), mkU32(0)),
1332 IRExpr_ITE( mkexpr(c1),
1337 IRExpr_ITE( mkexpr(c1),
1342 IRExpr_ITE( mkexpr(c1),
1347 IRExpr_ITE( mkexpr(c1),
1615 assign( nd3, IRExpr_ITE(mkexpr(nd2), mkexpr(nd1), mkexpr(nd0)) );
1618 assign( nd6, IRExpr_ITE(mkexpr(nd5), mkexpr(nd4), mkexpr(nd3)) );
1659 assign( nd3, IRExpr_ITE( mkexpr(nd2), mkexpr(nd1), mkexpr(nd0) ) );
1662 assign( nd6, IRExpr_ITE( mkexpr(nd5), mkexpr(nd4), mkexpr(nd3) ) );
1787 IRExpr_ITE(
1790 IRExpr_ITE(
1897 IRExpr_ITE(
1900 IRExpr_ITE(
2007 IRExpr_ITE(
2010 IRExpr_ITE(
2045 IRExpr_ITE(
2074 IRExpr_ITE(
2097 IRExpr_ITE(
11607 assign( ge10, IRExpr_ITE( binop( Iop_CmpLE32U,
11688 assign( ge32, IRExpr_ITE( binop( Iop_CmpLE32U,
15631 assign(res, IRExpr_ITE(
17676 // assign(condT, IRExpr_ITE(
17757 assign(condT, IRExpr_ITE(
21178 assign(res, IRExpr_ITE(