[Bug tree-optimization/70317] [6 Regression] folding x<=x to true for large vectors, ignoring nans

2016-03-21 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70317 Jakub Jelinek changed: What|Removed |Added Status|NEW |RESOLVED Resolution|---

[Bug tree-optimization/70317] [6 Regression] folding x<=x to true for large vectors, ignoring nans

2016-03-21 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70317 --- Comment #8 from Jakub Jelinek --- Author: jakub Date: Mon Mar 21 21:03:44 2016 New Revision: 234382 URL: https://gcc.gnu.org/viewcvs?rev=234382&root=gcc&view=rev Log: PR tree-optimization/70317 * match.pd (cmp @0 @0): Pass @0

[Bug tree-optimization/70317] [6 Regression] folding x<=x to true for large vectors, ignoring nans

2016-03-21 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70317 --- Comment #7 from Jakub Jelinek --- I'll use typedef __typeof ((V) {} < (V) {}) T;

[Bug tree-optimization/70317] [6 Regression] folding x<=x to true for large vectors, ignoring nans

2016-03-21 Thread glisse at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70317 --- Comment #6 from Marc Glisse --- (In reply to Marc Glisse from comment #5) > Do double and long long always have the same size? Ah, it doesn't matter since the result of <= is an opaque vector type and can thus be implicitly cast even to a ve

[Bug tree-optimization/70317] [6 Regression] folding x<=x to true for large vectors, ignoring nans

2016-03-21 Thread glisse at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70317 --- Comment #5 from Marc Glisse --- Yes, that looks good, thanks. Do double and long long always have the same size (on platforms that support NaN)?

[Bug tree-optimization/70317] [6 Regression] folding x<=x to true for large vectors, ignoring nans

2016-03-21 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70317 --- Comment #4 from Jakub Jelinek --- Created attachment 38048 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=38048&action=edit gcc6-pr70317.patch As this is a P1, if you meant something like this, I can test it tonight.

[Bug tree-optimization/70317] [6 Regression] folding x<=x to true for large vectors, ignoring nans

2016-03-21 Thread glisse at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70317 --- Comment #3 from Marc Glisse --- I'll get to it, but it may take a few days (hard to predict).

[Bug tree-optimization/70317] [6 Regression] folding x<=x to true for large vectors, ignoring nans

2016-03-21 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70317 Jakub Jelinek changed: What|Removed |Added CC||jakub at gcc dot gnu.org --- Comment #2

[Bug tree-optimization/70317] [6 Regression] folding x<=x to true for large vectors, ignoring nans

2016-03-21 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70317 Richard Biener changed: What|Removed |Added Priority|P3 |P1 Status|UNCONFIRMED