https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84321
Jeffrey A. Law changed:
What|Removed |Added
Status|ASSIGNED|RESOLVED
CC|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84321
--- Comment #14 from Jeffrey A. Law ---
Author: law
Date: Tue Feb 13 15:48:38 2018
New Revision: 257629
URL: https://gcc.gnu.org/viewcvs?rev=257629&root=gcc&view=rev
Log:
2018-02-12 Richard Sandiford
gcc/
PR tree-optimization/84321
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84321
Richard Biener changed:
What|Removed |Added
Priority|P3 |P1
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84321
--- Comment #13 from rsandifo at gcc dot gnu.org
---
Testing a patch. The VR_ANTI_RANGE code was wrong in a few ways. :-(
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84321
--- Comment #12 from rsandifo at gcc dot gnu.org
---
(In reply to Jakub Jelinek from comment #11)
> (In reply to rsand...@gcc.gnu.org from comment #10)
> > I'd tried doing this in set_nonzero_bits first, before adding
> > intersect_range_with_no
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84321
--- Comment #11 from Jakub Jelinek ---
(In reply to rsand...@gcc.gnu.org from comment #10)
> I'd tried doing this in set_nonzero_bits first, before adding
> intersect_range_with_nonzero_bits. See
> https://gcc.gnu.org/ml/gcc-patches/2018-02/msg0
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84321
--- Comment #10 from rsandifo at gcc dot gnu.org
---
(In reply to Jakub Jelinek from comment #8)
> This seems to fix it. But as I said, the asserts still need to go.
>
> --- gcc/tree-ssanames.c.jj2018-01-30 12:30:27.678359900 +0100
> +++ g
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84321
--- Comment #9 from Jakub Jelinek ---
Perhaps we can handle anti range similarly and then not to
intersect_range_with_nonzero_bits at all.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84321
--- Comment #7 from Jakub Jelinek ---
int c;
void
foo (int *a, int b)
{
int e;
if (b == 1)
return;
for (e = 0; e < (b & ~7); e += 8)
;
for (++e; e < b;)
c = a[e];
}
actually.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84321
Jakub Jelinek changed:
What|Removed |Added
Status|SUSPENDED |ASSIGNED
--- Comment #8 from Jakub Jelin
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84321
rsandifo at gcc dot gnu.org changed:
What|Removed |Added
Status|UNCONFIRMED |SUSPENDED
Last reconfirm
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84321
--- Comment #5 from Jakub Jelinek ---
Note, we have in set_range_info_raw:
/* If it is a range, try to improve nonzero_bits from the min/max. */
if (range_type == VR_RANGE)
{
wide_int xorv = ri->get_min () ^ ri->get_max ();
i
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84321
Jakub Jelinek changed:
What|Removed |Added
CC||jakub at gcc dot gnu.org
--- Comment #4
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84321
Andrew Pinski changed:
What|Removed |Added
Keywords||ice-on-valid-code
Component|c
14 matches
Mail list logo