Lines Matching refs:IRExpr_ITE
357 IRExpr_ITE(guard, value, IRExpr_Get(gstOffB, ty))) );
1868 IRExpr_ITE( mkexpr(guardB),
1872 IRExpr_ITE( mkexpr(guardB),
1876 IRExpr_ITE( mkexpr(guardB),
3739 IRExpr_ITE( mkexpr(rot_amt64b),
3743 IRExpr_ITE( mkexpr(rot_amt64b),
3747 IRExpr_ITE( mkexpr(rot_amt64b),
3751 IRExpr_ITE( mkexpr(rot_amt64b),
4879 IRExpr_ITE(
4907 IRExpr_ITE(
5049 IRExpr_ITE( binop(Iop_CmpNE8, get_ST_TAG(i), mkU8(0)),
5075 IRExpr_ITE( binop(Iop_CmpNE8, get_ST_TAG(i), mkU8(0)),
5099 IRExpr_ITE(mkexpr(cond), mkU8(1)/*FULL*/, mkexpr(old_tag)));
5105 IRExpr_ITE(mkexpr(cond),
5106 IRExpr_ITE(binop(Iop_CmpNE8, mkexpr(old_tag), mkU8(0)),
5378 IRExpr_ITE(
5870 IRExpr_ITE(
6009 IRExpr_ITE(
6054 IRExpr_ITE(
6151 IRExpr_ITE(
6160 IRExpr_ITE(
6169 IRExpr_ITE(
6178 IRExpr_ITE(
6316 IRExpr_ITE(
6326 IRExpr_ITE(
6339 IRExpr_ITE(
6352 IRExpr_ITE(
7261 IRExpr_ITE(
7271 IRExpr_ITE(
7748 IRExpr_ITE(
7769 IRExpr_ITE(
8195 IRExpr_ITE( mkexpr(srcB),
8234 IRExpr_ITE(
8400 assign( dest2, IRExpr_ITE(mkexpr(cond), mkexpr(src), mkexpr(dest)) );
8401 assign( acc2, IRExpr_ITE(mkexpr(cond), mkexpr(acc), mkexpr(dest)) );
8417 assign( dest2, IRExpr_ITE(mkexpr(cond), mkexpr(src), mkexpr(dest)) );
8418 assign( acc2, IRExpr_ITE(mkexpr(cond), mkexpr(acc), mkexpr(dest)) );
8440 assign( acc2, IRExpr_ITE(mkexpr(cond), mkexpr(acc), mkexpr(dest)) );
8489 IRExpr_ITE( mk_amd64g_calculate_condition(cond),
8506 IRExpr_ITE( mk_amd64g_calculate_condition(cond),
9341 IRExpr_ITE(
9351 IRExpr_ITE(
18527 IRExpr_ITE(mkexpr(zmaskL_zero),
18538 IRExpr_ITE(mkexpr(zmaskR_zero),
18580 IRExpr *c_bit = IRExpr_ITE( binop(Iop_ExpCmpNE32, mkexpr(intRes2),
18585 IRExpr *z_bit = IRExpr_ITE( mkexpr(zmaskL_zero),
18589 IRExpr *s_bit = IRExpr_ITE( mkexpr(zmaskR_zero),
20605 IRExpr_ITE(
20617 IRExpr_ITE(
20629 IRExpr_ITE(
22254 IRExpr_ITE( mkexpr(success),
22260 IRExpr_ITE( mkexpr(success),
22758 IRExpr_ITE(
22768 IRExpr_ITE(
22832 IRExpr_ITE(
22842 IRExpr_ITE(
22940 IRExpr_ITE(
27452 = IRExpr_ITE( unop(Iop_64to1,
27456 = IRExpr_ITE( unop(Iop_64to1,
27853 addr_expr = IRExpr_ITE(mkexpr(cond), addr_expr, getIReg64(R_RSP));
27854 expr = IRExpr_ITE(mkexpr(cond), loadLE(ty, addr_expr), expr);
29840 IRExpr_ITE(
29842 IRExpr_ITE(
30038 IRExpr_ITE(
30044 IRExpr_ITE(
30056 IRExpr_ITE(
