diff options
| author | Andrew Waterman <andrew@sifive.com> | 2018-11-09 00:05:49 -0800 |
|---|---|---|
| committer | Andrew Waterman <andrew@sifive.com> | 2018-11-09 00:05:49 -0800 |
| commit | ccf4b94c4ba1930c8084406b2b7899491051be91 (patch) | |
| tree | 80caf87a533fc4bcd06af3f33b58cd650ac3a12d | |
| parent | fd1917cf04f14453e32e4e536027a9ed38b3f676 (diff) | |
| download | riscv-isa-manual-ccf4b94c4ba1930c8084406b2b7899491051be91.zip riscv-isa-manual-ccf4b94c4ba1930c8084406b2b7899491051be91.tar.gz riscv-isa-manual-ccf4b94c4ba1930c8084406b2b7899491051be91.tar.bz2 | |
WFI is not a HINT
| -rw-r--r-- | src/machine.tex | 4 | ||||
| -rw-r--r-- | src/rv32.tex | 3 |
2 files changed, 3 insertions, 4 deletions
diff --git a/src/machine.tex b/src/machine.tex index 6de2495..c3edd9f 100644 --- a/src/machine.tex +++ b/src/machine.tex @@ -2122,8 +2122,8 @@ that a simple return from the trap handler will execute code after the WFI instruction. \end{commentary} -The WFI instruction is just a hint, and a legal implementation is to -implement WFI as a NOP. +The purpose of the WFI instruction is to provide a hint to the implementation, +and so a legal implementation is to simply implement WFI as a NOP. \begin{commentary} If the implementation does not stall the hart on execution of the diff --git a/src/rv32.tex b/src/rv32.tex index 51c5c03..01accc1 100644 --- a/src/rv32.tex +++ b/src/rv32.tex @@ -1328,8 +1328,7 @@ remainder of the HINT space is reserved for custom HINTs: no standard HINTs will ever be defined in this subspace. \begin{commentary} -No standard hints are presently defined (except the privileged WFI -instruction which uses a separately reserved encoding). We anticipate +No standard hints are presently defined. We anticipate standard hints to eventually include memory-system spatial and temporal locality hints, branch prediction hints, thread-scheduling hints, security tags, and instrumentation flags for |