diff options
| author | Andrew Waterman <andrew@sifive.com> | 2019-09-28 16:47:53 +0200 |
|---|---|---|
| committer | Andrew Waterman <andrew@sifive.com> | 2019-10-02 17:25:50 +0200 |
| commit | 9a1fe02e8a435dc5742b0f590df2576cb55a1676 (patch) | |
| tree | 1cb59e9e078a56989be3582b298607c495f8a1a0 /src/a.tex | |
| parent | 25d283cd35f1d6e804b70590722f3f7e2c30980f (diff) | |
| download | riscv-isa-manual-9a1fe02e8a435dc5742b0f590df2576cb55a1676.zip riscv-isa-manual-9a1fe02e8a435dc5742b0f590df2576cb55a1676.tar.gz riscv-isa-manual-9a1fe02e8a435dc5742b0f590df2576cb55a1676.tar.bz2 | |
Fix editing error that allowed FENCE.I in LR/SC sequences
Diffstat (limited to 'src/a.tex')
| -rw-r--r-- | src/a.tex | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -309,8 +309,9 @@ the following properties: \item An LR/SC sequence begins with an LR instruction and ends with an SC instruction. The dynamic code executed between the LR and SC instructions can only contain instructions from the base ``I'' instruction set, excluding - loads, stores, backward jumps or taken backward branches, JALR, FENCE, and - SYSTEM instructions. If the ``C'' extension is supported, then compressed + loads, stores, backward jumps or taken backward branches, JALR, FENCE, + FENCE.I, and SYSTEM instructions. + If the ``C'' extension is supported, then compressed forms of the aforementioned ``I'' instructions are also permitted. \item The code to retry a failing LR/SC sequence can contain backwards jumps and/or branches to repeat the LR/SC sequence, but otherwise has the same |