[Bug target/69416] [6 Regression] Nonsense rtl checking failure

2016-01-22 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69416 Jakub Jelinek changed: What|Removed |Added Status|NEW |RESOLVED CC|

[Bug target/69416] [6 Regression] Nonsense rtl checking failure

2016-01-22 Thread rth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69416 --- Comment #9 from Richard Henderson --- Author: rth Date: Fri Jan 22 17:21:41 2016 New Revision: 232737 URL: https://gcc.gnu.org/viewcvs?rev=232737&root=gcc&view=rev Log: PR target/69416 * config/aarch64/aarch64.md (UNSPEC_NZCV): New. (cc

[Bug target/69416] [6 Regression] Nonsense rtl checking failure

2016-01-22 Thread ktkachov at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69416 ktkachov at gcc dot gnu.org changed: What|Removed |Added CC||sch...@linux-m68k.org --- C

[Bug target/69416] [6 Regression] Nonsense rtl checking failure

2016-01-21 Thread wdijkstr at arm dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69416 --- Comment #7 from Wilco --- (In reply to Richard Henderson from comment #5) > Created attachment 37419 [details] > proposed patch > > I'm testing the following, but it does produce correct results > on a spot check of emit-rtl.c:1833. Yes, it

[Bug target/69416] [6 Regression] Nonsense rtl checking failure

2016-01-21 Thread wdijkstr at arm dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69416 --- Comment #6 from Wilco --- (In reply to Andrew Pinski from comment #4) > Actually I think the problem is (const_int 8 [0x8]) does that make sense > for CC mode? I don't think it does. It should make sense as a CCmode immediate. It relies on

[Bug target/69416] [6 Regression] Nonsense rtl checking failure

2016-01-21 Thread rth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69416 --- Comment #5 from Richard Henderson --- Created attachment 37419 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=37419&action=edit proposed patch I'm testing the following, but it does produce correct results on a spot check of emit-rtl.c

[Bug target/69416] [6 Regression] Nonsense rtl checking failure

2016-01-21 Thread pinskia at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69416 --- Comment #4 from Andrew Pinski --- Actually I think the problem is (const_int 8 [0x8]) does that make sense for CC mode? I don't think it does.

[Bug target/69416] [6 Regression] Nonsense rtl checking failure

2016-01-21 Thread rth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69416 --- Comment #3 from Richard Henderson --- (In reply to Wilco from comment #2) > It doesn't list the substitution before simplification, but it should be: > > (set (reg:SI 465) > (gtu:SI > (if_then_else:CC (ne (reg:SI 1002 [ ref_309(D)->

[Bug target/69416] [6 Regression] Nonsense rtl checking failure

2016-01-21 Thread wdijkstr at arm dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69416 --- Comment #2 from Wilco --- Started looking at this- it looks like line 1833 in emit-rtl.c gets miscompiled in combine: (insn 397 389 394 38 (set (reg:SI 462) (const_int 29 [0x1d])) ./emit-rtl.c:1833 49 {*movsi_aarch64} (nil)) (in

[Bug target/69416] [6 Regression] Nonsense rtl checking failure

2016-01-21 Thread rth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69416 Richard Henderson changed: What|Removed |Added Keywords||build, ice-checking,

[Bug target/69416] [6 Regression] Nonsense rtl checking failure

2016-01-21 Thread ktkachov at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69416 ktkachov at gcc dot gnu.org changed: What|Removed |Added Target||aarch64 Status|