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

Lines Matching refs:IRStmt

790    IRStmt* st1 = assign(t1, IRExpr_Load(END, Ity_I64, counter_addr));
791    IRStmt* st2 = assign(t2, binop(Iop_Add64, mkexpr(t1), mkU64(n)));
792    IRStmt* st3 = IRStmt_Store(END, counter_addr, mkexpr(t2));
900       IRStmt* st = sbIn->stmts[i];