Skip to content

fix(test): the f32 planar assertion must mirror planar_on() exactly - #1089

Merged
JustVugg merged 1 commit into
devfrom
fix/exactness-avx512-gate
Aug 18, 2026
Merged

JustVugg merged 1 commit into
devfrom
fix/exactness-avx512-gate

Conversation

@JustVugg

Copy link
Copy Markdown
Owner

Fixes the red dev push CI (Efficiency suite, 53s).

FAIL matmul_i4p f32 ... (avx512-vnni): the push run landed on an AVX-512-VNNI runner, where matmul_i4 takes the dot_i4f_avx512 arm (different accumulation order) — while the engine's planar gate deliberately keeps planar off on AVX-512F builds (#1086). The test asserted the f32 equality under plain __AVX2__, i.e. a claim the engine never makes on that hardware. The PR run had passed because it drew an AVX2-only runner: runner lottery, not a code change, flipped the result.

The comparison is now gated __AVX2__ && !(__AVX512F__ && __AVX512BW__)planar_on() to the letter — with a comment telling the story so the next gate change updates both places. 2,944 checks, 0 failures locally.

Merge order note: this goes in before #1088 (K2), which is green by the same lottery and would stay exposed otherwise.

🤖 Generated with Claude Code

The dev push CI failed on an AVX-512-VNNI runner: matmul_i4 takes the
dot_i4f_avx512 arm there (different accumulation order), while the
engine's planar gate deliberately keeps planar OFF on AVX-512F builds
(#1086) — so the test asserted a claim the engine never makes. The PR
run had passed on an AVX2-only runner: runner lottery, not a code
change, flipped the result.

The f32 comparison is now gated __AVX2__ && !(__AVX512F__&&__AVX512BW__),
matching planar_on() to the letter, with a comment telling the story so
the next gate change updates both places.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
@JustVugg
JustVugg merged commit 4da41bf into dev Aug 18, 2026
21 checks passed
@JustVugg
JustVugg deleted the fix/exactness-avx512-gate branch August 20, 2026 00:57
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