subject:"\[Bug tree\-optimization\/71026\] Missing division optimizations"

[Bug tree-optimization/71026] Missing division optimizations

2019-06-17 Thread clyon at gcc dot gnu.org

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71026 Christophe Lyon changed: What|Removed |Added CC||clyon at gcc dot gnu.org --- Comment #

[Bug tree-optimization/71026] Missing division optimizations

2018-11-14 Thread wilco at gcc dot gnu.org

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71026 --- Comment #12 from Wilco --- It looks the only case left to do is f5: x * C <= 0.0 -> x <= 0.0 if C >= 1.0 x * C <= 0.0 -> x < FLT_MIN/C if C < 1.0

[Bug tree-optimization/71026] Missing division optimizations

2018-11-14 Thread wilco at gcc dot gnu.org

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71026 --- Comment #11 from Wilco --- Author: wilco Date: Wed Nov 14 12:45:29 2018 New Revision: 266142 URL: https://gcc.gnu.org/viewcvs?rev=266142&root=gcc&view=rev Log: Simplify floating point comparisons This patch implements some of the optimizati

[Bug tree-optimization/71026] Missing division optimizations

2017-11-24 Thread wilco at gcc dot gnu.org

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71026 --- Comment #10 from Wilco --- Author: wilco Date: Fri Nov 24 16:03:13 2017 New Revision: 255141 URL: https://gcc.gnu.org/viewcvs?rev=255141&root=gcc&view=rev Log: Factor out division by squares This patch implements the some of the division op

[Bug tree-optimization/71026] Missing division optimizations

2017-11-16 Thread wilco at gcc dot gnu.org

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71026 --- Comment #9 from Wilco --- Author: wilco Date: Thu Nov 16 11:54:49 2017 New Revision: 254816 URL: https://gcc.gnu.org/viewcvs?rev=254816&root=gcc&view=rev Log: Canonicalize constant multiplies in division This patch implements some of the op

[Bug tree-optimization/71026] Missing division optimizations

2017-11-07 Thread wilco at gcc dot gnu.org

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71026 --- Comment #8 from Wilco --- Author: wilco Date: Tue Nov 7 12:38:55 2017 New Revision: 254497 URL: https://gcc.gnu.org/viewcvs?rev=254497&root=gcc&view=rev Log: PR71026: Canonicalize negates in division Canonicalize x / (- y) into (-x) / y.

[Bug tree-optimization/71026] Missing division optimizations

2017-10-17 Thread wilco at gcc dot gnu.org

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71026 --- Comment #7 from Wilco --- Author: wilco Date: Tue Oct 17 13:22:48 2017 New Revision: 253812 URL: https://gcc.gnu.org/viewcvs?rev=253812&root=gcc&view=rev Log: Factor out division by squares and remove division around comparisons (0/2) Commi

[Bug tree-optimization/71026] Missing division optimizations

2017-09-15 Thread wilco at gcc dot gnu.org

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71026 Wilco changed: What|Removed |Added CC||wilco at gcc dot gnu.org --- Comment #6 from Wil

[Bug tree-optimization/71026] Missing division optimizations

2017-09-15 Thread law at gcc dot gnu.org

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71026 --- Comment #5 from Jeffrey A. Law --- Author: law Date: Fri Sep 15 16:17:55 2017 New Revision: 252827 URL: https://gcc.gnu.org/viewcvs?rev=252827&root=gcc&view=rev Log: 2017-09-15 Jackson Woodruff PR tree-optimization/71026

[Bug tree-optimization/71026] Missing division optimizations

2016-08-24 Thread joseph at codesourcery dot com

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71026 --- Comment #4 from joseph at codesourcery dot com --- On Wed, 24 Aug 2016, ktkachov at gcc dot gnu.org wrote: > int f4(float x) { return (1.0f / x) < 0.0f; } // -> x < 0.0f Requires -fno-trapping-math, as this could lose an overflow or

[Bug tree-optimization/71026] Missing division optimizations

2016-08-24 Thread wdijkstr at arm dot com

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71026 --- Comment #3 from Wilco --- (In reply to ktkachov from comment #2) > The transforms > > int f4(float x) { return (1.0f / x) < 0.0f; } // -> x < 0.0f > int f5(float x) { return (x / 2.0f) <= 0.0f; }// -> x <= 0.0f > > can be do