diff options
| author | Shaked Flur | 2017-08-21 14:44:12 +0100 |
|---|---|---|
| committer | Shaked Flur | 2017-08-21 14:44:12 +0100 |
| commit | 56b661f4d0d4ef4aa5107f73efbee7d7e8df8fea (patch) | |
| tree | 0c640dbbc476bab4c7cfbfd91afe0f76f22e31ed /risc-v/hgen/parser.hgen | |
| parent | 9a26a0440f4d3c63ea19976c44cd39edb8149b2a (diff) | |
RISC-V load-reserved and store-conditional
Diffstat (limited to 'risc-v/hgen/parser.hgen')
| -rw-r--r-- | risc-v/hgen/parser.hgen | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/risc-v/hgen/parser.hgen b/risc-v/hgen/parser.hgen index cb31f5a9..d077c2df 100644 --- a/risc-v/hgen/parser.hgen +++ b/risc-v/hgen/parser.hgen @@ -34,3 +34,7 @@ | (Fence_W, Fence_R) -> failwith "'fence w,r' is not supported" | (Fence_W, Fence_W) -> failwith "'fence w,w' is not supported" } +| LOADRES reg COMMA LPAR reg RPAR + { `RISCVLoadRes($1.aq, $1.rl, $5, $1.width, $2) } +| STORECON reg COMMA reg COMMA LPAR reg RPAR + { `RISCVStoreCon($1.aq, $1.rl, $4, $7, $1.width, $2) } |