Skip to content

linx: reject PTO 0.58.5 retired TEPL selectors - #79

Closed
zhoubot wants to merge 1 commit into
masterfrom
codex/pto-0585-remove-tepl
Closed

zhoubot wants to merge 1 commit into
masterfrom
codex/pto-0585-remove-tepl

Conversation

@zhoubot

@zhoubot zhoubot commented Aug 31, 2026

Copy link
Copy Markdown
Collaborator

Closes #78.

Summary

  • removes six retired TEPL forms from decodetree, translation, and opcode metadata
  • removes their architectural selector mappings while leaving unreachable private helpers untouched
  • documents the former selector values as reserved
  • adds a regression preventing decode or reachability from returning

Verification

  • retired-selector source regression: 3/3 passed
  • existing PTO 0.58.3 contract: 14/14 passed
  • existing decode metadata tests: 8/8 passed
  • clean linx64-softmmu build: passed
  • superproject opcode metadata audit: passed

Integration chain

Draft only; do not merge before the producer chain is accepted.

@zhoubot

zhoubot commented Aug 31, 2026

Copy link
Copy Markdown
Collaborator Author

Integration chain: PTO-ISA/pto-spec#188 -> PTO-ISA/asl-model#2 -> LinxISA/SuperScalarModel#428 -> LinxISA/linx-model#19 -> LinxISA/linx-isa#191. The superproject TEPL selector gate passes with this exact QEMU commit; this remains a Draft and must not be merged independently of the chain.

@zhoubot

zhoubot commented Sep 5, 2026

Copy link
Copy Markdown
Collaborator Author

Superseded by merged PR #80, which includes this retired-selector cleanup in the complete PTO 0.58.6 QEMU update.

@zhoubot zhoubot closed this Sep 5, 2026
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.

[linx] Reject PTO 0.58.5 retired TEPL selectors

1 participant