Skip to content

Align matrix and expand emission with PTO model - #44

Open
zhoubot wants to merge 1 commit into
linxfrom
codex/pto-relative-generation-conformance
Open

Align matrix and expand emission with PTO model#44
zhoubot wants to merge 1 commit into
linxfrom
codex/pto-relative-generation-conformance

Conversation

@zhoubot

@zhoubot zhoubot commented Sep 1, 2026

Copy link
Copy Markdown
Collaborator

Summary

  • emit explicit zero padding for Matrix B.DATR so PTO CUBE legality accepts generated bundles
  • describe TROWEXPAND/TCOLEXPAND with destination geometry while preserving relative source bindings
  • add contract and compile fixture coverage for the corrected forms

Evidence

  • python3 test/test_v058_engine_contract.py (36 passed)
  • python3 tools/generate_engine_docs.py --check
  • real SuperNPUBench FP32 TROWEXPAND/TCOLEXPAND ELFs pass the ASL model
  • real TMATMUL ELF disassembles as B.IOT t#1, m#1, ... ->u and B.DATR FP32, byte0, Zero

Dependency

The four-operand B.DATR spelling requires the companion LLVM change in LinxISA/llvm-project#78. This PR is intentionally not merged yet.

@zhoubot
zhoubot force-pushed the codex/pto-relative-generation-conformance branch from 5ba84c7 to 3b42e3e Compare September 2, 2026 03:49
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