Searched refs:argR0 (Results 1 – 1 of 1) sorted by relevance
8315 IRExpr* argL0, IRExpr* argR0, Addr64 cia ) in do_trap() argument8338 vassert( typeOfIRExpr(irsb->tyenv, argR0) == Ity_I32 ); in do_trap()8341 vassert( typeOfIRExpr(irsb->tyenv, argR0) == Ity_I64 ); in do_trap()8366 assign( argR, argR0 ); in do_trap()