diff options
| author | Robert Norton | 2017-09-19 15:15:48 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-09-19 15:15:48 +0100 |
| commit | 0ad438b129de243fd573bbf2472858bf853d44c2 (patch) | |
| tree | 35d9b91a4f547a4c7db629f66960dc042af546db /src/lem_interp/sail_impl_base.lem | |
| parent | 1722a7eeedb68d65c732cc1e5808d9434340fd11 (diff) | |
According to Shaked NIAFP_register can be used to indicate that we don't know the possible destination of an instruction for memory indirect jumps (the register name is not used).
Diffstat (limited to 'src/lem_interp/sail_impl_base.lem')
0 files changed, 0 insertions, 0 deletions