https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96433
--- Comment #6 from Andrew Pinski ---
Note what LLVM detects/matches is exactly:
(for unsigned types)
(A % B) <= A -> true
(A % B) > A -> true
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96433
Andrew Pinski changed:
What|Removed |Added
Status|NEW |ASSIGNED
Assignee|unassigned
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96433
Andrew Pinski changed:
What|Removed |Added
CC||jmuizelaar at mozilla dot com
---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96433
Jakub Jelinek changed:
What|Removed |Added
CC||aldyh at gcc dot gnu.org,
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96433
Marc Glisse changed:
What|Removed |Added
Component|c |tree-optimization
Last reconfirmed|