diff options
| author | Jon French | 2018-07-05 14:01:08 +0100 |
|---|---|---|
| committer | Jon French | 2018-07-05 14:01:08 +0100 |
| commit | 35ecc1210857dc9e3791483910be4c6e47325b76 (patch) | |
| tree | e9adfbc164825ee5044d10e54d30474d963450fb /riscv | |
| parent | 0f0824741374ace62915eace4a91c77ba1bf3b33 (diff) | |
support acquire/release loads/stores in RISCV initial_analysis
Diffstat (limited to 'riscv')
| -rw-r--r-- | riscv/riscv.sail | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/riscv/riscv.sail b/riscv/riscv.sail index b50c9225..d97b99c6 100644 --- a/riscv/riscv.sail +++ b/riscv/riscv.sail @@ -1899,8 +1899,8 @@ function initial_analysis (instr:ast) -> (regfps,regfps,regfps,niafps,diafp,inst ik = match (aq, rl) { (false, false) => IK_mem_read (Read_plain), - //(true, false) -> IK_mem_read (Read_RISCV_acquire_RCpc) - //(true, true) -> IK_mem_read (Read_RISCV_acquire_RCsc) + (true, false) => IK_mem_read (Read_RISCV_acquire), + (true, true) => IK_mem_read (Read_RISCV_strong_acquire), _ => internal_error("LOAD type not implemented in initial_analysis") } @@ -1912,8 +1912,8 @@ function initial_analysis (instr:ast) -> (regfps,regfps,regfps,niafps,diafp,inst ik = match (aq, rl) { (false, false) => IK_mem_write (Write_plain), - //case (false, true) -> IK_mem_write (Write_RISCV_release_RCpc) - //case (true, true) -> IK_mem_write (Write_RISCV_release_RCsc) + (false, true) => IK_mem_write (Write_RISCV_release), + (true, true) => IK_mem_write (Write_RISCV_strong_release), _ => internal_error("STORE type not implemented in initial_analysis") } |