Skip to content

Sync TileOP API with PTO 0.58.7 development golden - #279

Merged
zhoubot merged 1 commit into
linxfrom
codex/pto-0587-golden-sync
Oct 17, 2026
Merged

zhoubot merged 1 commit into
linxfrom
codex/pto-0587-golden-sync

Conversation

@zhoubot

@zhoubot zhoubot commented Oct 17, 2026 •

Copy link
Copy Markdown
Collaborator

PTO-SPEC development commit f0a876e449a95d26841c5ee7affb4c905ebc5f5b is the golden source for the current 0.58.7 candidate. TileOP still carried the published 118-operation snapshot, the historical 0.58.3 engine projection, implicit last-use binders, and legacy TLSU/CUBE start spellings.

This change pins the exact LinxISA f77a8960f61f97c264a90b7aee757f99891b0943 and PTO development golden identities, imports the 119-operation catalog, and regenerates the 32 VEC / 47 SFU / 28 TLSU / 12 CUBE projection. It marks TLEA as having no wrapper; the other 118 operation names are source-referenced, which is inventory evidence rather than semantic-completeness evidence.

All source-bearing B.IOT/B.IOS emissions in the jcore and region inline-assembly headers now use explicit .reuse, preserving existing source payloads under the golden rule that omission means last-use. TLSU/CUBE wrappers use canonical BSTART.<operation> <dtype> syntax. The associated TCONCAT_ASS and TTRANS_ASS paths now reject instead of emitting retired raw selectors 96 and 110, and retired-operation pages no longer advertise executable bundles.

Validation:

  • make check — pass
  • exact golden regeneration/check against LinxISA f77a8960... and PTO f0a876e... — pass
  • verify_pto0583_asm.sh with the companion LLVM PR docs: align range modifiers with pto-spec semantics #126 candidate — pass, including retained one-source/two-source/Shared binders, disassembly, invalid forms, and all 40 named TLSU/CUBE starts
  • exhaustive golden alias oracle with LLVM candidate edb65a7681de90874d0c1fe4e6098f9e55ff8a00 — 119/119 pass in llvm-mc, linx32 Clang IAS, and linx64 Clang IAS

The target C++ object gate was not run locally because no Linx musl C++ sysroot is installed. The existing hosted required gate resolves LLVM branch dev-llvm15_56, whereas companion LLVM PR #126 targets main. Its result therefore cannot establish target C++ object compatibility with the exact edb65a7 candidate used in the local MC/IAS checks. That exact-candidate sysroot-backed C++ lane remains unverified and is a promotion dependency.

@zhoubot
zhoubot marked this pull request as ready for review October 17, 2026 11:10
@zhoubot
zhoubot enabled auto-merge (squash) October 17, 2026 11:10
@zhoubot
zhoubot merged commit b270ac2 into linx Oct 17, 2026
2 checks passed
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