Home | History | Annotate | Download | only in exp-dhat

Lines Matching refs:mkexpr

767 #define mkexpr(_tmp)             IRExpr_RdTmp((_tmp))
791 IRStmt* st2 = assign(t2, binop(Iop_Add64, mkexpr(t1), mkU64(n)));
792 IRStmt* st3 = IRStmt_Store(END, counter_addr, mkexpr(t2));
846 ? binop(Iop_Sub32, mkexpr(sp), mkU32(rz_szB))
847 : binop(Iop_Sub64, mkexpr(sp), mkU64(rz_szB)))
855 ? binop(Iop_Sub32, addr, mkexpr(sp_minus_rz))
856 : binop(Iop_Sub64, addr, mkexpr(sp_minus_rz)))
864 ? binop(Iop_CmpLT32U, mkU32(THRESH), mkexpr(diff))
865 : binop(Iop_CmpLT64U, mkU64(THRESH), mkexpr(diff)))
867 di->guard = mkexpr(guard);
1020 #undef mkexpr