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);