Lines Matching refs:IRExpr_ITE
1861 IRExpr_ITE( mkexpr(guardB),
1865 IRExpr_ITE( mkexpr(guardB),
1869 IRExpr_ITE( mkexpr(guardB),
3732 IRExpr_ITE( mkexpr(rot_amt64b),
3736 IRExpr_ITE( mkexpr(rot_amt64b),
3740 IRExpr_ITE( mkexpr(rot_amt64b),
3744 IRExpr_ITE( mkexpr(rot_amt64b),
4872 IRExpr_ITE(
4900 IRExpr_ITE(
5042 IRExpr_ITE( binop(Iop_CmpNE8, get_ST_TAG(i), mkU8(0)),
5068 IRExpr_ITE( binop(Iop_CmpNE8, get_ST_TAG(i), mkU8(0)),
5092 IRExpr_ITE(mkexpr(cond), mkU8(1)/*FULL*/, mkexpr(old_tag)));
5098 IRExpr_ITE(mkexpr(cond),
5099 IRExpr_ITE(binop(Iop_CmpNE8, mkexpr(old_tag), mkU8(0)),
5325 IRExpr_ITE(
5815 IRExpr_ITE(
5954 IRExpr_ITE(
5999 IRExpr_ITE(
6095 IRExpr_ITE(
6104 IRExpr_ITE(
6113 IRExpr_ITE(
6122 IRExpr_ITE(
6259 IRExpr_ITE(
6269 IRExpr_ITE(
6282 IRExpr_ITE(
6295 IRExpr_ITE(
7234 IRExpr_ITE(
7244 IRExpr_ITE(
7721 IRExpr_ITE(
7742 IRExpr_ITE(
8168 IRExpr_ITE( mkexpr(srcB),
8207 IRExpr_ITE(
8373 assign( dest2, IRExpr_ITE(mkexpr(cond), mkexpr(src), mkexpr(dest)) );
8374 assign( acc2, IRExpr_ITE(mkexpr(cond), mkexpr(acc), mkexpr(dest)) );
8390 assign( dest2, IRExpr_ITE(mkexpr(cond), mkexpr(src), mkexpr(dest)) );
8391 assign( acc2, IRExpr_ITE(mkexpr(cond), mkexpr(acc), mkexpr(dest)) );
8413 assign( acc2, IRExpr_ITE(mkexpr(cond), mkexpr(acc), mkexpr(dest)) );
8462 IRExpr_ITE( mk_amd64g_calculate_condition(cond),
8479 IRExpr_ITE( mk_amd64g_calculate_condition(cond),
9243 IRExpr_ITE(
9253 IRExpr_ITE(
18060 IRExpr_ITE(mkexpr(zmaskL_zero),
18071 IRExpr_ITE(mkexpr(zmaskR_zero),
18113 IRExpr *c_bit = IRExpr_ITE( binop(Iop_ExpCmpNE32, mkexpr(intRes2),
18118 IRExpr *z_bit = IRExpr_ITE( mkexpr(zmaskL_zero),
18122 IRExpr *s_bit = IRExpr_ITE( mkexpr(zmaskR_zero),
20132 IRExpr_ITE(
20144 IRExpr_ITE(
20156 IRExpr_ITE(
21747 IRExpr_ITE( mkexpr(success),
21753 IRExpr_ITE( mkexpr(success),
22250 IRExpr_ITE(
22260 IRExpr_ITE(
22324 IRExpr_ITE(
22334 IRExpr_ITE(
22432 IRExpr_ITE(
26937 = IRExpr_ITE( unop(Iop_64to1,
26941 = IRExpr_ITE( unop(Iop_64to1,
27228 IRExpr_ITE(
27230 loadLE(ty, IRExpr_ITE(
27329 addr_expr = IRExpr_ITE(mkexpr(cond), addr_expr, getIReg64(R_RSP));
27330 expr = IRExpr_ITE(mkexpr(cond), loadLE(ty, addr_expr), expr);
29239 IRExpr_ITE(
29241 IRExpr_ITE(
29437 IRExpr_ITE(
29443 IRExpr_ITE(
29455 IRExpr_ITE(