Missed Optimization: For positive integers x and y, `x%y==0` implies `x>=y`.
Open
llvm:optimizations
missed-optimization
- Dominant language
- LLVM
- Stars
- 40.5k
- Forks
- 18.7k
- PR merge metrics
- PR metrics pending
Description
For positive integers x and y, `(x%y==0)` implies `x>=y`, so `(x%y==0)&(x
Contributor guide
Assessment
This issue has not been assessed yet.