diff options
| author | Thomas Bauereiss | 2018-11-29 17:58:15 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-11-29 17:58:15 +0000 |
| commit | 17334803f125e3b839fdb7a780989d8eba555555 (patch) | |
| tree | 8a0d389b96c5a778e53f0e162fca8b744b63675c /src/gen_lib/sail2_values.lem | |
| parent | c0f8dd2e676c4ce987c73392506dff8872a364ef (diff) | |
Add separate outcome/event for tagged memory loads
Lets one distinguish in a trace whether an instruction tried to read
tagged memory or just read data without caring about the tag; this is
useful for formulating predicates on traces.
Diffstat (limited to 'src/gen_lib/sail2_values.lem')
0 files changed, 0 insertions, 0 deletions