[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

[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

[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

[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

[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

[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

[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

[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

[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

[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

[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

[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

[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

[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

[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

[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

[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

[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

[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

[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

[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

[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

[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

[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

[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

[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|

[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, |