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