https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71289
Kang-Che Sung changed:
What|Removed |Added
CC||Explorer09 at gmail dot com
--- Comment
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71289
Alexander Monakov changed:
What|Removed |Added
Status|UNCONFIRMED |RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71289
--- Comment #4 from Alexander Monakov ---
Author: amonakov
Date: Mon May 30 14:37:02 2016
New Revision: 236882
URL: https://gcc.gnu.org/viewcvs?rev=236882=gcc=rev
Log:
match.pd: optimize unsigned mul overflow check
gcc/
2016-05-28 Alexander
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71289
--- Comment #3 from Marc Glisse ---
I think genmatch can handle calls to internal functions, the issue is with
guessing the return type. Maybe we could have a specific heuristic for these
functions in the case where the type is not explicitly
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71289
--- Comment #2 from Alexander Monakov ---
> What do the dumps look like? Gcc is likely to change things to -1 / B < A,
> which you don't handle...
The dumps didn't help much, but you're right that normally the order is
opposite, thanks (I
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71289
--- Comment #1 from Marc Glisse ---
(In reply to Alexander Monakov from comment #0)
> I've tried to add the corresponding transform to match.pd, but it seems
> something else needs to be wired up as well, because it doesn't trigger.
> What am I