Home | History | Annotate | Download | only in massif

Lines Matching refs:Ity_I64

2050    IRTemp t1 = newIRTemp(sbOut->tyenv, Ity_I64);
2051    IRTemp t2 = newIRTemp(sbOut->tyenv, Ity_I64);
2054    IRStmt* st1 = IRStmt_WrTmp(t1, IRExpr_Load(END, Ity_I64, counter_addr));