Skip to content

Conversation

a4lg
Copy link

@a4lg a4lg commented Sep 17, 2025

This PR updates documentation links and fixes minor issues:

  1. Non-existent zb is removed (b exists but not stabilized yet).
  2. Wrong link for the zbkc target feature is fixed.
  3. Implication from the zbc target feature is updated (reflects the behavior of rustc_target: Adjust RISC-V feature implication rust#140139).

Note that this PR itself does not attempt to stabilize any of new extensions (target features) but makes the documentation more solid.

@rustbot rustbot added the S-waiting-on-review Status: The marked PR is awaiting review from a maintainer label Sep 17, 2025
@a4lg
Copy link
Author

a4lg commented Sep 17, 2025

Note that, this PR is separated from #1987 (which includes stabilization of new extensions) for early adoption of the non-stabilization part.
The next submission of #1987 will be is now based on this PR.

The `Zb` extension does not exist and we instead have the `B` extension
which is a superset of the three subextensions: `Zba`, `Zbb` and `Zbs`.

For now (since `B` extension is not stabilized on Rust),
this commit just removes `Zb`.
This is the latest ratified ISA Manual version and more importantly,
some individual documents are merged into this.

So, this commit consistently use this Manual (this version) where possible.

Along with this, this commit substitutes link IDs from `rv-zb-*` to `rv-*`
because `rv-zb-*` will look like the different document (bit-manipulation)
is referenced.
rust-lang/rust#140139 changed the target feature implication without
updating the Reference.  That change is came from the fact that the Zbc
extension is a functional superset of the Zbkc extension.

This commit fixes this issue.

Appendix - List of all Zbkc / Zbc instructions:

*   `clmul`  (Zbkc / Zbc)
*   `clmulh` (Zbkc / Zbc)
*   `clmulr` (Zbc only)
@a4lg a4lg force-pushed the riscv-extension-ref-update-2025.1 branch from d1fcd20 to 0752505 Compare September 18, 2025 01:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: The marked PR is awaiting review from a maintainer
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants