https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110131
--- Comment #10 from Andrew Pinski ---
(In reply to Andrew Pinski from comment #8)
> With https://gcc.gnu.org/pipermail/gcc-patches/2023-September/629128.html we
> get:
> _34 = (int) _13;
> _30 = (unsigned int) _13;
> _22 = _30 ==
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110131
--- Comment #9 from Andrew Pinski ---
(In reply to Andrew Pinski from comment #4)
> So maybe:
> ```
> (simplify
> (cond
> (eq:c@3 (convert1? @0) INTEGER_CST@1)
> (convert2? @0)
> INTEGER_CST@2
> )
> (if (INTEGRAL_TYPE_P (type))
>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110131
Andrew Pinski changed:
What|Removed |Added
See Also||https://gcc.gnu.org/bugzill
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110131
--- Comment #7 from Andrew Pinski ---
(In reply to Andrew Macleod from comment #6)
> poking around for a minute, it looks like simplify_using_ranges from
> vr_values calls a routine called test_for_singularity which has never been
> converted
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110131
--- Comment #6 from Andrew Macleod ---
(In reply to Andrew Pinski from comment #5)
> (In reply to Andrew Pinski from comment #4)
> > So I have a VRP patch which gets us to:
>
> /* If the value range is defined by more than one pair,
>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110131
--- Comment #5 from Andrew Pinski ---
(In reply to Andrew Pinski from comment #4)
> So I have a VRP patch which gets us to:
/* If the value range is defined by more than one pair,
try to optimize to a singularity if either
the
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110131
Andrew Pinski changed:
What|Removed |Added
Status|NEW |ASSIGNED
Assignee|unassigned
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110131
Richard Biener changed:
What|Removed |Added
CC||amacleod at redhat dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110131
--- Comment #3 from Andrew Pinski ---
So the biggest issue here is:
Global Exported: _37 = [irange] unsigned int [0, 0][3, 32768][4294934529, +INF]
Not folded
Folding statement: _21 = _37 <= 2;
_21 not being folded into _21 = _37 == 0
That is
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110131
--- Comment #2 from Andrew Pinski ---
(In reply to Andrew Pinski from comment #1)
> _33 = (intD.6) _13;
> # RANGE [irange] unsigned int [2, 32767][4294934528, +INF]
> _29 = (unsigned int) _13;
> # RANGE [irange] unsigned int [0, 0][3,
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110131
Andrew Pinski changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Last reconfirmed|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110131
Andrew Pinski changed:
What|Removed |Added
Target Milestone|--- |12.4
12 matches
Mail list logo
