diff options
author | Andrew Waterman <andrew@sifive.com> | 2019-12-27 18:37:27 -0600 |
---|---|---|
committer | Andrew Waterman <andrew@sifive.com> | 2019-12-27 18:37:27 -0600 |
commit | 5aa7d7dd27d080a9822f588835ed88ced697dee8 (patch) | |
tree | d8cd5c00243136e54dbe6200ef11fe903becccf9 /src/a.tex | |
parent | 7a68bdc56a97b225088c40ea576876a03e3cae90 (diff) | |
download | riscv-isa-manual-5aa7d7dd27d080a9822f588835ed88ced697dee8.zip riscv-isa-manual-5aa7d7dd27d080a9822f588835ed88ced697dee8.tar.gz riscv-isa-manual-5aa7d7dd27d080a9822f588835ed88ced697dee8.tar.bz2 |
FENCE.I isn't in the I base
FENCE.I is, of course, not allowed in LR/SC sequences. But we don't need
to explicitly exclude it, since it's now in Zifencei, rather than I.
Diffstat (limited to 'src/a.tex')
-rw-r--r-- | src/a.tex | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -299,7 +299,7 @@ the following properties: 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, taken backward branches, JALR, FENCE, - FENCE.I, and SYSTEM instructions. + 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 |