diff options
| author | Jon French | 2018-07-11 18:13:15 +0100 |
|---|---|---|
| committer | Jon French | 2018-07-11 18:16:56 +0100 |
| commit | 2a89faec667fdf24b93360d3da5f14eab161983b (patch) | |
| tree | d9f1fba3e03f0429a4b13b1ce6d597861d4375b2 /riscv/riscv_analysis.sail | |
| parent | ae83a6c62fa0794215f78cd75c8020805f5d9c0a (diff) | |
RISC-V model fixes for RMEM
Diffstat (limited to 'riscv/riscv_analysis.sail')
| -rw-r--r-- | riscv/riscv_analysis.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/riscv/riscv_analysis.sail b/riscv/riscv_analysis.sail index 84934a25..e374933a 100644 --- a/riscv/riscv_analysis.sail +++ b/riscv/riscv_analysis.sail @@ -2,7 +2,7 @@ $include <regfp.sail> /* in reverse order because inc vectors don't seem to work (bug) */ let GPRstr : vector(32, dec, string) = [ "x31", "x30", "x29", "x28", "x27", "x26", "x25", "x24", "x23", "x22", "x21", - "x20", "x19", "x18", "x17", "x16", "x15", "x14", "x13", "x12", "x21", + "x20", "x19", "x18", "x17", "x16", "x15", "x14", "x13", "x12", "x11", "x10", "x9", "x8", "x7", "x6", "x5", "x4", "x3", "x2", "x1", "x0" ] @@ -133,7 +133,7 @@ function initial_analysis (instr:ast) -> (regfps,regfps,regfps,niafps,diafp,inst }; }, FENCEI() => { - ik = IK_barrier (Barrier_RISCV_i); + ik = IK_simple (); // for RMEM, should morally be Barrier_RISCV_i }, LOADRES(aq, rl, rs1, width, rd) => { if (rs1 == 0) then () else iR = RFull(GPRstr[rs1]) :: iR; |