diff options
Diffstat (limited to 'src/parse_ast.ml')
| -rw-r--r-- | src/parse_ast.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/parse_ast.ml b/src/parse_ast.ml index 2e72761e..5b51439d 100644 --- a/src/parse_ast.ml +++ b/src/parse_ast.ml @@ -77,8 +77,10 @@ base_effect_aux = (* effect *) BE_rreg (* read register *) | BE_wreg (* write register *) | BE_rmem (* read memory *) + | BE_rmemt (* read memory tagged *) | BE_wmem (* write memory *) | BE_wmv (* write memory value *) + | BE_wmvt (* write memory value + tag *) | BE_eamem (* address for write signaled *) | BE_barr (* memory barrier *) | BE_depend (* dynmically dependent footprint *) |