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

Lines Matching refs:Ity_I64

786    IRTemp t1 = newIRTemp(sbOut->tyenv, Ity_I64);
787    IRTemp t2 = newIRTemp(sbOut->tyenv, Ity_I64);
790    IRStmt* st1 = assign(t1, IRExpr_Load(END, Ity_I64, counter_addr));
813    tl_assert(tyAddr == Ity_I32 || tyAddr == Ity_I64);