Lines Matching refs:IRStmt_WrTmp
2039 IRStmt* st1 = IRStmt_WrTmp(t1, IRExpr_Load(END, Ity_I64, counter_addr));2041 IRStmt_WrTmp(t2,