spec: complete PTO 0.58.6 TileOp macro assembly - #271
Merged
Merged
Conversation
This was referenced Sep 11, 2026
zhoubot
force-pushed
the
codex/pto-0586-tileop-row-col-macros
branch
6 times, most recently
from
September 12, 2026 10:30
03ff237 to
9109439
Compare
zhoubot
changed the base branch from
main
to
codex/pto-0586-dim-default-one
September 12, 2026 10:30
zhoubot
force-pushed
the
codex/pto-0586-dim-default-one
branch
from
September 12, 2026 13:52
a1ab471 to
4f98618
Compare
Signed-off-by: zhoubot <637081+zhoubot@users.noreply.github.com>
Define all 117 PTO 0.58.6 TileOps and 142 forms as single-line macro instructions with explicit destination sizes and compact range modifiers. Canonical disassembly computes every recoverable Derived value and omits exact selected-form defaults. B.DATR and B.FPATR fields share the angle-bracket attribute list: enabled FP booleans use bare names, valued FP fields use assignments, and no FPAttrs wrapper exists. Require each canonical macro mnemonic to equal its TileOp mnemonic; configuration and typed operands select Shared, CUBE-layout, and weight forms without mnemonic suffixes. Map each public FP field to its exact physical B.FPATR owner slot and validate conditional operand closure.
zhoubot
force-pushed
the
codex/pto-0586-tileop-row-col-macros
branch
from
September 12, 2026 13:57
eb2b4f8 to
d81d2ad
Compare
zhoubot
enabled auto-merge (squash)
September 12, 2026 13:58
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Depends on #275. Closes #269.\n\nDefines the complete PTO 0.58.6 TileOp macro assembly for all 117 operations and 142 source forms. Every complete physical bundle now disassembles as a macro without runtime descriptor state: 138 distinct physical schemas have canonical forms, and four PredicateTile/PredicateCell alias pairs use deterministic first-form canonicalization. Runtime-derived unencoded Row is omitted rather than invented or emitted as physical assembly.\n\nValidation:
make pr-check10/10; Tile macro generator tests 21/21; downstream LLVM exhaustive 142/142 macro folds with byte-identical round trip.