Release with changes addressing Architecture Review Committee (ARC) feedback following v0.9.9-ar20260810
All semantic changes in this release address ARC review comments:
- #1211: Reassigned CSR numbers to ARC suggested values.
- #1250: Replaced SRLIY with YHIR as a dedicated 2-operand R-type instruction
- #1251: Dropped the PACKY alias to standardize on YHIW so all RVY instruction mnemonics start with Y.
- #1246: Removed the irregular reserved encodings for BEQ/BNE (rs1 ≤ rs2), restoring regular branch encodings identical to RVI/RVE.
- #1221: Named privileged RVY extensions (Smy, Ssy, Smyhybrid, Ssyhybrid, Svyrg)
- #1217: Renamed the 2-level local/global capability information flow control extension from Zylevels1 to Zylg since extension names ending in a number are illegal
- #1199: Marked compressed arithmetic encodings with rd ≠ x0 and a zero immediate or shift amount (C.ADDI, C.SLLI, C.SRLI, C.SRAI) as reserved instead of HINTs, since RVY integer writes clear metadata and CTag.
- #1214: Explicitly zero permissions (AP, SDP, and P) on YPERMC (ACPERM) when {cs1} fails capability integrity checks.
- #1232: Renamed sentry and seal/unseal mnemonics to YSEALE, YUNSEALS, YSEALT, and YUNSEALT.
All other changes are non-functional (grammar, formatting, terminology alignment, and wording clarifications).
Full autogenerated PR changelog:
- Bump docs-resources from
2aef34eto121444fby @dependabot[bot] in #1193 - Removes dco check workflow by @wmat in #1196
- Bump docs-resources from
50d4c15to121444fby @dependabot[bot] in #1197 - Bump docs-resources from
121444fto91a2488by @wmat in #1205 - Consistently use 'set to one/zero' by @arichardson in #1219
- Minor updates - ready to merge by @tariqkurd-repo in #1192
- Put VM translation process into standalone spec - ready to merge - need to inform ARC by @tariqkurd-repo in #1200
- Update to ARC proposed CSR numbers by @tariqkurd-repo in #1211
- Clarify C.YMV expansion by @tariqkurd-repo in #1213
- CT -> CTag in register diagrams - and specify endianness by @tariqkurd-repo in #1212
- floating point -> floating-point by @tariqkurd-repo in #1225
- Update rep space to rep range in figures by @PeterRugg in #1226
- Remove Zabhlrsc, it has been submitted separately by @tariqkurd-repo in #1222
- stop the PCC from being a mutable variable (non-ARC review content) - ready for review by @tariqkurd-repo in #1215
- Arc review feedback 20260902 - Non-normative changes only by @arichardson in #1209
- remove outdated note by @tariqkurd-repo in #1231
- extended CSRs -> widened CSRs by @tariqkurd-repo in #1223
- fix integrity check sentence by @tariqkurd-repo in #1233
- Clarify that in-bounds addresses are always representable by @arichardson in #1220
- Consistent use of capability-encoding format by @arichardson in #1242
- Add rationale for how top > 2^XLEN is handled by @arichardson in #1227
- Remove xycfg text that is not part of the document by @arichardson in #1243
- Addresses ARC review comment on encoding map section by @arichardson in #1244
- Second round of ARC feedback by @tariqkurd-repo in #1238
- Remove redundant generic load/store permissions in LY/SY section by @arichardson in #1245
- Capitalise headings, remove inline :leveloffset: directives by @tariqkurd-repo in #1247
- Clarify that reserved metadata values depend on implemented extensions by @arichardson in #1252
- remove irregular behaviour of BNE, BEQ by @tariqkurd-repo in #1246
- Consolidate duplicate capability check lists flagged by ARC by @arichardson in #1249
- Simplify the optional integrity check wording by @arichardson in #1253
- Bump NEXT_VERSION to v0.9.10 by @arichardson in #1257
- Make YHIR a real instruction and remove SRLIY by @arichardson in #1250
- Clean up definition of root capabilities by @tariqkurd-repo in #1254
- confirm that a failed SC doesn't clear the tag by @tariqkurd-repo in #1255
- Improve integrity check text. by @tariqkurd-repo in #1256
- Explicitly zero permissions on YPERMC on integrity check failure by @tariqkurd-repo in #1214
- Drop PACKY, just keep YHIW by @arichardson in #1251
- Proposed seal/unseal mnemonic renaming by @tariqkurd-repo in #1232
- Rename Zylevels1 to Zylg for local/global - need to confirm name by @tariqkurd-repo in #1217
- Apply ARC review wording suggestions for integrity checks by @arichardson in #1263
- Clarify capability CSR WARL behaviour by @tariqkurd-repo in #1208
- Use U-mode, S-mode, M-mode consistently across the spec by @arichardson in #1265
- Name privileged RVY extensions and specify when they are mandatory by @arichardson in #1221
- Fix Zca HINT text to make metadata-clearing operations reserved by @tariqkurd-repo in #1199
- X/YLEN-wide to X/YLEN-bit by @tariqkurd-repo in #1266
- Fix creg_list attribute-missing warning in Zcmp CHERI mnemonics by @wmat in #1269
- add note about [SH]FENCE.* and [SH]INVAL.* by @tariqkurd-repo in #1260
- Consistently use "YLEN-bit CSR" terminology across chapters by @arichardson in #1268
- Bump docs-resources from
91a2488toa1ec3edby @dependabot[bot] in #1270 - Simplify pointer masking spec by @tariqkurd-repo in #1259
- Combine widened CSRS and YLEN-bit CSRs by @tariqkurd-repo in #1248
- A few more grammar and wording cleanups by @arichardson in #1271
- Clarify YPERMC for hardwired permissions. by @tariqkurd-repo in #1273
- Encoding chapter cleanup by @arichardson in #1272
Full Changelog: v0.9.9-ar20260810...v0.9.10-ar20260929