aboutsummaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)AuthorFilesLines
2019-02-19Describe page-table walk speculation and SFENCE use casessfence-asidAndrew Waterman1-0/+47
2019-02-19tweak A/D bit wordingAndrew Waterman1-1/+1
2019-02-13Fix typos. (#340)Josh Scheid1-2/+2
2019-02-08Clarify behavior of LR.rl and SC.aq (#339)Andrew Waterman1-3/+6
Resolves #338
2019-02-07Fix typos. (#337)Josh Scheid2-4/+4
2019-02-01Make the mcause table easier to find.Prashanth Mundkur1-2/+2
2019-01-31Operational memory model and litmus tests are in GitHub (#335)Shaked Flur2-7/+34
* Fixed the litmus tests URL. * Now that the rmem source is available in github, give a short description of the tool and where to find it.
2019-01-29Fix a couple of typos and inconsistencies. (#334)Prashanth Mundkur1-6/+6
2019-01-28Forgot to indicate that mstatus.FS is a WARL field.Andrew Waterman1-1/+1
2019-01-22Nest mstatus subsectionsAndrew Waterman2-5/+8
h/t Dan Hopper
2019-01-21Add tentative HFENCE.BVMA and HFENCE.GVMA encodingsAndrew Waterman1-1/+28
2019-01-21Add hypervisor CSR listingAndrew Waterman1-43/+42
2019-01-21A/D updates are globally orderedAndrew Waterman1-1/+4
2019-01-21Fix typo. (#326)Prashanth Mundkur1-1/+1
2019-01-18Clarify that FMV.X.W doesn't canonicalize NaN payloadsAndrew Waterman2-1/+7
We said this explicitly for FMV.W.X, but not the other way around.
2019-01-17JALR is not allowed within LR/SC sequencesAndrew Waterman1-1/+1
This used to be the case, until an editing error several years ago.
2018-12-27Clarify that writing pmpcfg does not alter pmpaddr's underlying valueAndrew Waterman1-0/+4
Closes #320.
2018-12-26Rephrase NA4 restrictionAndrew Waterman1-1/+1
Closes #321
2018-12-21tweaksAndrew Waterman2-4/+3
2018-12-21Address space is circularAndrew Waterman1-1/+7
Closes #40
2018-12-21Add extension dependences to tableAndrew Waterman1-32/+34
Closes #317
2018-12-21Specify ordering of privileged and non-standard extensionsAndrew Waterman1-16/+45
Closes #319
2018-12-20Specify ordering of Z extensionsAndrew Waterman1-0/+7
Closes #273
2018-12-20Clean up naming and define G = IMAFDZicsr_ZifenceiAndrew Waterman3-22/+18
Closes #266.
2018-12-20tweaksAndrew Waterman1-4/+5
2018-12-20Merge pull request #311 from brucehoult/ra-sp-cleanupKrste Asanovic1-6/+22
Clean up description of x registers. Add commentary about ABI
2018-12-20Improve description of IEEE exception-flag settingAndrew Waterman1-10/+9
This makes the distinction between RISC-V exceptions and IEEE exceptions clearer.
2018-12-20Add contributorAndrew Waterman1-1/+1
2018-12-20Clarify that PTE updates aren't atomic w.r.t. the ultimate access (#308)Andrew Waterman1-3/+9
I claim that this follows from the text in the following section, but it is clearly deserving of clarification. https://groups.google.com/a/groups.riscv.org/forum/?utm_medium=email&utm_source=footer#!msg/isa-dev/EQQGObY1bQM/xm6imw-aCwAJ
2018-12-20Clarify sign extension of W and D instructions (#313)Bruce Hoult1-5/+7
2018-12-20Add contributor (#314)Bruce Hoult1-1/+1
2018-12-20ABIs could dedicate other JALR base registersAndrew Waterman1-1/+3
Closes #309
2018-12-20Clean up description of x registers. Add commentary about ABIBruce Hoult1-6/+22
2018-12-19Update commentary to reflect MIPS r6 conditional branchesBruce Hoult1-2/+2
2018-12-19Improve description of C opcode mapAndrew Waterman1-1/+3
2018-12-19Improve rd'/rs1'/rs2' typesettingAndrew Waterman2-118/+122
2018-12-14Disambiguate P extension in ISA stringsAndrew Waterman1-0/+5
Closes #305
2018-12-14ISA extension dependences can be assumed in ISA name stringsAndrew Waterman2-10/+4
2018-12-14cleanupAndrew Waterman1-2/+2
2018-12-13Make branch immediate description more similar to jumpsAndrew Waterman1-2/+3
Closes #306 h/t @wdc-pnl
2018-12-12Fix some incorrect references to RV32IF (as opposed to RV32IFZicsr)Andrew Waterman2-4/+4
2018-12-11Restate that conditional branches can raise misaligned exceptions in RVIAndrew Waterman1-0/+12
This is a bit redundant, since we state this at the front of the chapter. But since we also restate it for JAL/JALR, it's better to maintain symmetry and restate it for branches, too. Closes #303 h/t @benjaminselfridge
2018-12-10Remark that F depends on ZicsrAndrew Waterman1-6/+7
2018-12-10ISA strings can't leverage extension-dependence propertiesAndrew Waterman1-0/+10
Resolves #290
2018-12-10subset -> extensionAndrew Waterman5-21/+21
2018-12-10X*/S*/Z* names must be fully alphabeticalAndrew Waterman1-6/+6
Resolves #294
2018-12-10fix typosAndrew Waterman1-2/+2
2018-12-04Debug registers 7A0-7AF are accessible to M-modeAndrew Waterman1-3/+5
Resolves #295
2018-12-04Re-version priv specAndrew Waterman1-1/+1
2018-12-04Version of priv spec ready for ratification processAndrew Waterman3-8/+22