Skip to content

riscv: accept dual-owner bitmanip instructions with either extension - #37

Open
carlosqwqqwq wants to merge 1 commit into
antmicro:masterfrom
carlosqwqqwq:959-zbkb-dual-owner-gate
Open

riscv: accept dual-owner bitmanip instructions with either extension#37
carlosqwqqwq wants to merge 1 commit into
antmicro:masterfrom
carlosqwqqwq:959-zbkb-dual-owner-gate

Conversation

@carlosqwqqwq

@carlosqwqqwq carlosqwqqwq commented Aug 11, 2026

Copy link
Copy Markdown

Summary

The first ensure_additional_extension(ZBB) call raises the illegal-instruction exception before the Zbkb alternative is tested. Use a non-raising any-extension check for the dual-owner instruction family, preserving the illegal-instruction path when neither extension is enabled.

Validation

  • All ten dual-owner instructions retire on the Zbkb-only profile after the fix; legal controls remain valid.
  • QEMU and native RISC-V hardware references are consistent.
  • The patch changes the shared gate helper and its call sites.

Fixes renode/renode#959

Public reproduction and integration

The corresponding public Robot reproduction is available at
https://github.com/carlosqwqqwq/renode-issue-reproduction-template/tree/main.
The focused change is also included in the combined integration branch in
tlib #44, followed by
renode-infrastructure #245
and Renode #989.

@carlosqwqqwq
carlosqwqqwq force-pushed the 959-zbkb-dual-owner-gate branch from dce3e6d to a003c4b Compare September 7, 2026 16:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Zbkb-only CPUs reject all dual-owner Zbb/Zbkb instructions

1 participant