Lines Matching refs:IRExpr_ITE
991 IRExpr_ITE( mkexpr(guardB),
995 IRExpr_ITE( mkexpr(guardB),
999 IRExpr_ITE( mkexpr(guardB),
1005 IRExpr_ITE( mkexpr(guardB),
2580 IRExpr_ITE( mkexpr(rot_amt32b),
2584 IRExpr_ITE( mkexpr(rot_amt32b),
2588 IRExpr_ITE( mkexpr(rot_amt32b),
2592 IRExpr_ITE( mkexpr(rot_amt32b),
3428 IRExpr_ITE(
3568 IRExpr_ITE( binop(Iop_CmpNE8, get_ST_TAG(i), mkU8(0)),
3594 IRExpr_ITE( binop(Iop_CmpNE8, get_ST_TAG(i), mkU8(0)),
3618 IRExpr_ITE(mkexpr(cond), mkU8(1)/*FULL*/, mkexpr(old_tag)));
3624 IRExpr_ITE(mkexpr(cond),
3625 IRExpr_ITE(binop(Iop_CmpNE8, mkexpr(old_tag), mkU8(0)),
4332 IRExpr_ITE(
4469 IRExpr_ITE(
4514 IRExpr_ITE(
4641 IRExpr_ITE(
4650 IRExpr_ITE(
4659 IRExpr_ITE(
4668 IRExpr_ITE(
4802 IRExpr_ITE(
4811 IRExpr_ITE(
4820 IRExpr_ITE(
4829 IRExpr_ITE(
5750 IRExpr_ITE(
5760 IRExpr_ITE(
6507 IRExpr_ITE( mkexpr(srcB),
6543 IRExpr_ITE(
6674 assign( dest2, IRExpr_ITE(mkexpr(cond), mkexpr(src), mkexpr(dest)) );
6675 assign( acc2, IRExpr_ITE(mkexpr(cond), mkexpr(acc), mkexpr(dest)) );
6691 assign( dest2, IRExpr_ITE(mkexpr(cond), mkexpr(src), mkexpr(dest)) );
6692 assign( acc2, IRExpr_ITE(mkexpr(cond), mkexpr(acc), mkexpr(dest)) );
6714 assign( acc2, IRExpr_ITE(mkexpr(cond), mkexpr(acc), mkexpr(dest)) );
6761 IRExpr_ITE( mk_x86g_calculate_condition(cond),
6779 IRExpr_ITE( mk_x86g_calculate_condition(cond),
7442 IRExpr_ITE(
7452 IRExpr_ITE(
7657 IRExpr_ITE(
7669 IRExpr_ITE(
7682 IRExpr_ITE(
14794 IRExpr_ITE( mkexpr(success),
14798 IRExpr_ITE( mkexpr(success),