[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2024-07-19 Thread sjames at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 115951, which changed state.

Bug 115951 Summary: [15 Regression] pgo+lto enabled bootstrap fails building 
gnat (ICE in fold_stmt, at gimple-range-fold.cc:701)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115951

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2024-06-20 Thread pinskia at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 11, which changed state.

Bug 11 Summary: [Ranger] deduce 'a >= 0' from  'b << a'
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=11

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution|--- |DUPLICATE

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2024-03-15 Thread jakub at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 114009, which changed state.

Bug 114009 Summary: [11/12/13/14 Regression] Missed optimization: (!a) * a => 0 
when a=(a/2)*2
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114009

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2023-08-08 Thread pinskia at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 107822, which changed state.

Bug 107822 Summary: [13/14/14 Regression] Dead Code Elimination Regression at 
-Os (trunk vs. 12.2.0)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107822

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2022-11-17 Thread aldyh at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 68097, which changed state.

Bug 68097 Summary: We should track ranges for floating-point values too
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68097

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2022-11-08 Thread aldyh at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 24021, which changed state.

Bug 24021 Summary: VRP does not work with floating points
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=24021

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2022-11-03 Thread amacleod at redhat dot com via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 93917, which changed state.

Bug 93917 Summary: VRP forgets range of value read from memory
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93917

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2022-11-03 Thread amacleod at redhat dot com via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 99966, which changed state.

Bug 99966 Summary: Bounds check not eliminated by assert
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99966

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2022-10-13 Thread amacleod at redhat dot com via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 102540, which changed state.

Bug 102540 Summary: [12/13 Regression] Dead Code Elimination Regression at -O3 
since r12-476-gd846f225c25c5885
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102540

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2022-01-13 Thread amacleod at redhat dot com via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 97909, which changed state.

Bug 97909 Summary: expr_not_equal_to (mainly in match.pd) vs. ranger
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97909

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2022-01-13 Thread amacleod at redhat dot com via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 83073, which changed state.

Bug 83073 Summary: Range for VR_VARYING | [1, 1]
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83073

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2022-01-13 Thread amacleod at redhat dot com via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 83072, which changed state.

Bug 83072 Summary: Late VRP optimization
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83072

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2022-01-12 Thread rguenth at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 42436, which changed state.

Bug 42436 Summary: VRP should mark non-trapping integer divisions
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=42436

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2022-01-11 Thread amacleod at redhat dot com via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 68561, which changed state.

Bug 68561 Summary: get_integer_range () that handles symbolical ranges
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68561

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2022-01-11 Thread amacleod at redhat dot com via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 76174, which changed state.

Bug 76174 Summary: Missed VRP optimization
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=76174

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2021-11-15 Thread pinskia at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 60669, which changed state.

Bug 60669 Summary: VRP misses asserts for some already defined statements
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60669

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2021-11-05 Thread amacleod at redhat dot com via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 100802, which changed state.

Bug 100802 Summary: VRP fails to fold comparison using known value orders
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100802

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2021-09-04 Thread pinskia at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 98357, which changed state.

Bug 98357 Summary: Bounds check not eliminated
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98357

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2021-09-04 Thread pinskia at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 85375, which changed state.

Bug 85375 Summary: possible missed optimisation / regression from 6.3 with 
while (__builtin_ffs(x) && x)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85375

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2021-07-28 Thread pinskia at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 97967, which changed state.

Bug 97967 Summary: Missed optimization opportunity for VRP
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97967

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2021-07-15 Thread amacleod at redhat dot com via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 71690, which changed state.

Bug 71690 Summary: some integer conversions defeat memcpy optimizaton
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71690

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2021-07-13 Thread amacleod at redhat dot com via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 93781, which changed state.

Bug 93781 Summary: Optimizer produces suboptimal code related to -ftree-vrp
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93781

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2021-03-02 Thread jakub at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 95757, which changed state.

Bug 95757 Summary: [11 regression] missing warning in 
gcc.dg/Wstringop-overflow-25.c since r11-1517
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95757

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2021-01-12 Thread rguenth at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 98513, which changed state.

Bug 98513 Summary: [10 Regression] Wrong code with -O3 since 
r10-2804-gbf05a3bbb58b3558
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98513

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2020-11-24 Thread jakub at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 97964, which changed state.

Bug 97964 Summary: Missed optimization opportunity for VRP
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97964

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2020-11-17 Thread amacleod at redhat dot com via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 91029, which changed state.

Bug 91029 Summary: missed optimization regarding value of modulo operation
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91029

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2020-01-28 Thread jakub at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
Bug 85316 depends on bug 91326, which changed state.

Bug 91326 Summary: VRP does not handle array value range
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91326

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |DUPLICATE

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2019-02-14 Thread egallager at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316

--- Comment #2 from Eric Gallager  ---
There's probably a lot more bugs that should fall under this meta-bug than
currently do; I'll leave finding them all for another day though (or for
someone else to do)

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2018-05-07 Thread pinskia at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316

Andrew Pinski  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2018-05-07
 CC||pinskia at gcc dot gnu.org
 Ever confirmed|0   |1

--- Comment #1 from Andrew Pinski  ---
.

[Bug tree-optimization/85316] [meta-bug] VRP range propagation missed cases

2018-04-10 Thread rguenth at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316

Richard Biener  changed:

   What|Removed |Added

   Keywords||meta-bug,
   ||missed-optimization
   Severity|normal  |enhancement