diff options
| author | Kathy Gray | 2015-06-24 15:34:14 +0100 |
|---|---|---|
| committer | Kathy Gray | 2015-06-24 15:34:14 +0100 |
| commit | 44290b8b62f118bfd6f1b6da01f850cfc2816cbb (patch) | |
| tree | 54d685a281ee23d005e9f0ddd83004e2af0a5b8c /src/parser.mly | |
| parent | a947fe25f647fe83f6ec24599173c61eaa342ea1 (diff) | |
Support new memory write events in the sail front end and pretty printer
Events are eamem to signal the memory address to write to and wmv to pass the value to write
Diffstat (limited to 'src/parser.mly')
| -rw-r--r-- | src/parser.mly | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/parser.mly b/src/parser.mly index eb2ba153..733bb83c 100644 --- a/src/parser.mly +++ b/src/parser.mly @@ -135,7 +135,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 Scattered Struct Switch Then True TwoStarStar Type TYPE Typedef %token Undefined Union With Val -%token Barr Depend Rreg Wreg Rmem Wmem Undef Unspec Nondet +%token Barr Depend Rreg Wreg Rmem Wmem Wmv Eamem Undef Unspec Nondet /* Avoid shift/reduce conflict - see right_atomic_exp rule */ @@ -316,6 +316,10 @@ effect: { efl BE_rmem } | Wmem { efl BE_wmem } + | Wmv + { efl BE_wmv } + | Eamem + { efl BE_eamem } | Undef { efl BE_undef } | Unspec |