Skip to content

riscv: gate Zcb instructions on their required extensions - #38

Open
carlosqwqqwq wants to merge 1 commit into
antmicro:masterfrom
carlosqwqqwq:960-zcb-prerequisite-gate
Open

riscv: gate Zcb instructions on their required extensions#38
carlosqwqqwq wants to merge 1 commit into
antmicro:masterfrom
carlosqwqqwq:960-zcb-prerequisite-gate

Conversation

@carlosqwqqwq

@carlosqwqqwq carlosqwqqwq commented Aug 11, 2026

Copy link
Copy Markdown

Summary

The Zcb dispatcher checks only Zcb and then translates forms that additionally require Zbb, M or Zmmul. Add the per-instruction prerequisite checks before lowering those forms, preserving legal controls and illegal traps.

Validation

  • The four representative raw encodings trap in the missing-prerequisite profiles after the fix; legal controls remain valid.
  • The patch is limited to the Zcb dispatcher.

Fixes renode/renode#960

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.

Renode executes Zcb instructions when their required extension is absent

1 participant