Searched refs:loaded_data64 (Results 1 – 1 of 1) sorted by relevance
6516 IRTemp loaded_data64 = newTemp(Ity_I64); in dis_ARM64_load_store() local6517 assign(loaded_data64, widenUto64(ty, loadLE(ty, mkexpr(ea)))); in dis_ARM64_load_store()6518 stmt( IRStmt_Put( OFFB_LLSC_DATA, mkexpr(loaded_data64) )); in dis_ARM64_load_store()6521 putIReg64orZR(tt, mkexpr(loaded_data64)); in dis_ARM64_load_store()