LLVM Chapter 10 reductions
No strong scalar x86_64 bug-report candidate was found in this pass.
What was checked:
sdivby small positive constantsudivby small positive constantssrem/uremby constants- quotient/remainder pairs by the same constant
- several even divisors
- several odd divisors
- negative signed divisors
Observed result:
- Current-head LLVM consistently lowered these to shifts, biased shifts, and magic-multiply sequences.
- No cases in this sweep fell back to
div/idiv. - No obvious missed combine stood out as clearly suboptimal on x86_64.