Triton — GPU Compiler Correctness
I contribute to Triton, with a focus on GPU compiler correctness and reproducible regression tests.
Selected merged contribution
PR #11521 — FuseNestedLoops: only trust llvm.assume that dominates the loop · Merged September 8, 2026.
The nested-loop fusion pass could use an assumption from an unrelated branch to conclude that an inner loop must execute. This could remove the guard for a zero-iteration loop and produce incorrect results or unintended memory writes.
I added a dominance check so the pass only uses assumptions that hold before the loop executes, preserving the zero-trip guard when required. The contribution includes an MLIR regression test and verification of the reproducer on an NVIDIA H200 GPU.