diff options
| author | Shaked Flur | 2017-05-24 16:19:27 +0100 |
|---|---|---|
| committer | Shaked Flur | 2017-05-24 16:19:27 +0100 |
| commit | 9cffd54c6170f8a5cdcc6e54cb9077b62bf6a284 (patch) | |
| tree | 3c94e563409844e8685714cbe331748c9ddd0fe6 /src/parser.mly | |
| parent | fffcaaa390eaf03db689d0f108cc00653a41885d (diff) | |
added the exmem effect for AArch64 store-exclusive
Diffstat (limited to 'src/parser.mly')
| -rw-r--r-- | src/parser.mly | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/parser.mly b/src/parser.mly index d172f61b..fce6ff9d 100644 --- a/src/parser.mly +++ b/src/parser.mly @@ -132,7 +132,7 @@ let make_vector_sugar order_set is_inc typ typ1 = %token Enumerate Else Exit Extern False Forall Foreach Function_ If_ In IN Inc Let_ Member Nat Order %token Pure Rec Register Return Scattered Sizeof Struct Switch Then True TwoStarStar Type TYPE Typedef %token Undefined Union With Val -%token Barr Depend Rreg Wreg Rmem Wmem Wmv Eamem Undef Unspec Nondet Escape +%token Barr Depend Rreg Wreg Rmem Wmem Wmv Eamem Exmem Undef Unspec Nondet Escape /* Avoid shift/reduce conflict - see right_atomic_exp rule */ @@ -315,6 +315,8 @@ effect: { efl BE_wmv } | Eamem { efl BE_eamem } + | Exmem + { efl BE_exmem } | Undef { efl BE_undef } | Unspec |