Skip to content

sail: complete remaining scalar load/store coverage#80

Open
zhoubot wants to merge 3 commits intomainfrom
codex/sail-coverage-loadstore-all
Open

sail: complete remaining scalar load/store coverage#80
zhoubot wants to merge 3 commits intomainfrom
codex/sail-coverage-loadstore-all

Conversation

@zhoubot
Copy link
Collaborator

@zhoubot zhoubot commented Mar 2, 2026

Completes all remaining scalar load/store coverage gaps in Sail:

  1. HL unscaled pre/post-index stores:
  • HL.SH.UPR / HL.SH.UPO
  • HL.SW.UPR / HL.SW.UPO
  • HL.SD.UPR / HL.SD.UPO
  1. Base immediate-offset unscaled loads (execution semantics already existed):
  • LHI.U / LHUI.U / LWI.U / LWUI.U

User-confirmed principle: HL vs normal vs C encodings have identical execute semantics; differences are encoding width only.

Coverage: implemented_forms 495 -> 505 (+10 forms).

NOTE: this PR supersedes earlier partial PRs (#78, #79); we can close them after this lands.

@zhoubot zhoubot requested a review from a team as a code owner March 2, 2026 03:29
@zhoubot zhoubot requested a review from a team as a code owner March 2, 2026 03:36
@zhoubot
Copy link
Collaborator Author

zhoubot commented Mar 2, 2026

Update: added ISA manual load/store matrix table.

  • New chapter: docs/architecture/isa-manual/src/chapters/10b_load_store_matrix.adoc
  • Included after AGU in linxisa-isa-manual.adoc
  • Table lists load/store/AMO/prefetch mnemonics with multiple dimensions (Encoding/Kind/Addressing/Width/Ext/Writeback/Unscaled/Pair) derived mechanically from mnemonic spelling; intended as informative coverage tracking.

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.

1 participant