Skip to content

IMMA (8-bit integer mma) translates (chain change) - #2056

Open
Know-It-All-Brother wants to merge 3 commits into
seedds:mainfrom
Know-It-All-Brother:ampere-imma
Open

Know-It-All-Brother wants to merge 3 commits into
seedds:mainfrom
Know-It-All-Brother:ampere-imma

Conversation

@Know-It-All-Brother

@Know-It-All-Brother Know-It-All-Brother commented Nov 9, 2026 •

Copy link
Copy Markdown
Contributor

Part of the Ampere accuracy series (#2040). It depends on #2041 for the test: the commits before this PR's own are #2041's and drop out once it lands, so this PR's own change is the last commit.

What and why

IMMA is HMMA's 8-bit integer twin (mma.sync.m16n8k32.s32.s8.s8.s32, opcode 0x237). The translator had no emitter for it, so a shader with one failed to translate.

AImma works per lane, like the translator's HMMA. Each lane gathers the A rows and B columns it needs from the lanes that hold them, with subgroup shuffles in PTX's documented fragment layout, then unpacks the bytes (signed or unsigned per the encoding) and sums the products in int32 onto C with wraparound (.SAT clamps that add). The products can't overflow, so the result is exact integer arithmetic and bit-exact. The fields come from Mesa NAK's IMMA: the shape from bit 75 and bits 85–86 (m8n8k16, m16n8k16, m16n8k32), A signed at bit 76, B signed at bit 78, and .SAT at bit 82. The 4-bit shapes still fail the shader.

An m16n8k32 IMMA costs each lane about 32 shuffles and 128 byte extracts, multiplies and adds. It's a heavy instruction, as it is on the GPU.

Reference entry: "IMMA, the 8-bit integer matrix multiply" in docs/reference/shaders.md.

How to verify

DMSH_TEST_XLATE=dm/gfx/tools/dmsh_xlate_bin/dmsh_xlate AMPERE_ORIN_ONLY=imma_16832_s8 python3 dm/gfx/tests/test_dmsh_ampere_orin.py

imma_16832_s8 failed to translate on main and now matches the Orin in all 4,096 output words, so it comes out of KNOWN. Not checked against the GPU: the m16n8k16 and m8n8k16 shapes, unsigned bytes and .SAT, which share the code but aren't in the fixture.

Checked

  • Tests: test_dmsh_ampere_orin.py, test_dmsh_hmma.py; every other test_dmsh_* gives the same result as on main (test_dmsh_ampere_mem.py, test_dmsh_meshstage.py and test_dmsh_pairs.py fail on main the same way); test_nsp_chain.py, test_xlate_anycpu.py, test_docs.py.
  • Translator: the dlls are rebuilt from this tree with .NET 10; tool_lock.py --update-lock and dmsh_chain.py --header were run (chain a10a4bd270b8).
  • Devices and OS: MacBook Pro M5 Max, macOS 27.
  • regress.py: not run. My only local Switch 2 build's shader package comes from an older shader split than main's map, so main's chain can't build it. Ocarina of Time's build already translates every shader, so it can't contain this instruction.
  • Games run: none.

Docs

  • docs/reference/shaders.md has the entry, and python3 dm/tools/docs_symptoms.py was run
  • A chain tool changed: dmsh_chain.py --header was run, and dmsh_chain.h, the translator dlls and the lock are part of the change
  • No game files, keys or data extracted from a game

lint_python.py shows no new findings.

…re_orin.py runs about 190 operations, each the GPU compiler's own machine code for one PTX operation, through the translator, spirv-cross, the chain's MSL rewrites and Metal on this Mac's GPU, and compares every output word with what a Jetson Orin (sm_87) computed from the same 1,024 input rows. The translator tests checked the MSL a few encodings give, not the values; this one finds the FSETP.NE, SHFL lane, F2FP, rounding-mode and signed-zero differences the tracking issue lists, which KNOWN names until each fix takes its entry out. dm/gfx/tools/ampere_orin/capture.py records the fixture on any Linux machine with an Ampere GPU and NVIDIA's driver, with no toolkit or compiler on either side
…ules with its functions, so a rewrite that uses one (struct in PR seedds#1902's hfma_msl) runs as it does in a build instead of raising NameError
…bit accumulator) is translated and gives the Ampere GPU's results bit for bit, where the translator used to stop with "Ampere instruction 237". It had HMMA but not its integer twin. InstEmitAmpereTensor.cs now translates IMMA per thread as it does HMMA: each lane fetches the bytes of A and B it needs from the lanes that hold them with subgroup shuffles, in PTX's layouts for m16n8k32, m16n8k16 and m8n8k16, and sums the products onto C in 32-bit integers that wrap, or clamp with .SAT, with signed or unsigned bytes and the shape read where Mesa NAK's OpImma puts them; the 4-bit shapes still stop the translator. test_dmsh_ampere_orin.py's imma_16832_s8 went from not translating to 0 of 4,096 output words differing and leaves KNOWN; the other shapes, unsigned bytes and .SAT share the code but aren't in the fixture; chain a10a4bd270b8
@github-actions github-actions Bot added nvn NVN on Metal and its tests (dm/gfx/nvn, dm/gfx/tests) docs Documentation shader chain The shader translation chain (DMSH_CHAIN): a change rebuilds every game's shaders labels Nov 9, 2026
Know-It-All-Brother added a commit to Know-It-All-Brother/nxnative that referenced this pull request Nov 9, 2026
…h's translator rebuilt from its own source; chain 8bee24f0d0e2
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

docs Documentation nvn NVN on Metal and its tests (dm/gfx/nvn, dm/gfx/tests) shader chain The shader translation chain (DMSH_CHAIN): a change rebuilds every game's shaders

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant