Identify compiler miscompiles across backend
nvptx-find-miscompilesworkflowsetup L3★38
SemiAnalysisAI/FuzzX ↗What it does
Find correctness bugs via code-reading agents
Best for
Hunting for LLVM backend miscompiles through multi-agent code-reading.
Outputs
- · findings array with severity/mechanism
- · candidate implementations or solutions
Preconditions
LLVM/NVPTX source tree; optional llc compiler for verification
Failure modes
- · input file not found or unreadable
- · trigger condition logic bug skips valid cases
- · agent role/specialist unavailable
Trust signals
- · stored in repo: SemiAnalysisAI/FuzzX
- · cross-validation methodology documented