[Bug target/63897] [5.0 regression] gcc.dg/torture/vector-2.c fails at on x86_64-apple-darwin14
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63897 --- Comment #8 from Vladimir Makarov vmakarov at gcc dot gnu.org --- Author: vmakarov Date: Fri Nov 21 21:29:54 2014 New Revision: 217947 URL: https://gcc.gnu.org/viewcvs?rev=217947root=gccview=rev Log: 2014-11-21 Vladimir Makarov vmaka...@redhat.com PR target/63897 * lra-lives.c (mark_regno_live, mark_regno_dead): Remove last argument. (process_bb_lives): Rename dead_insn_p on remove_p and global_live_info_p on dead_insn_p. Calculate local live info unconditionally. Remove last argument in calls mark_regno_live and mark_regno_dead. Reorganize body of EXECUTE_IF_SET_IN_BITMAP. (lra_create_live_ranges): Rename to lra_create_live_ranges_1. Return bool. Rename global_live_info_p on dead_insn_p. Return flag of live info change. (lra_create_live_ranges): New. Modified: trunk/gcc/ChangeLog trunk/gcc/lra-lives.c
[Bug target/63897] [5.0 regression] gcc.dg/torture/vector-2.c fails at on x86_64-apple-darwin14
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63897 Vladimir Makarov vmakarov at gcc dot gnu.org changed: What|Removed |Added CC||vmakarov at gcc dot gnu.org --- Comment #7 from Vladimir Makarov vmakarov at gcc dot gnu.org --- I've reproduced this bug too. The problem is that although global live info was updated, other important information (like hard registers conflicts, calls crossed, live ranges) was not. It needs to rerun live range again after changing global live info. I am working on it. It needs some time, especially when some solutions would have a big impact on compiler time. I hope the fix will be ready on Friday (if I am very lucky) or at the beginning of the next week.
[Bug target/63897] [5.0 regression] gcc.dg/torture/vector-2.c fails at on x86_64-apple-darwin14
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63897 Richard Biener rguenth at gcc dot gnu.org changed: What|Removed |Added Priority|P3 |P1 Target Milestone|--- |5.0
[Bug target/63897] [5.0 regression] gcc.dg/torture/vector-2.c fails at on x86_64-apple-darwin14
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63897
Igor Zamyatin izamyatin at gmail dot com changed:
What|Removed |Added
CC||vmakarov at redhat dot com
--- Comment #5 from Igor Zamyatin izamyatin at gmail dot com ---
This again looks like RA issue (similar to the issue discussed in PR63620)
After ira we have
(insn/f 64 3 2 2 (parallel [
(set (reg:SI 94)
(unspec:SI [
(const_int 0 [0])
] UNSPEC_SET_GOT))
(clobber (reg:CC 17 flags))
]) 683 {set_got}
(expr_list:REG_UNUSED (reg:CC 17 flags)
(expr_list:REG_EQUIV (unspec:SI [
(const_int 0 [0])
] UNSPEC_SET_GOT)
(expr_list:REG_CFA_FLUSH_QUEUE (nil)
(nil)
.
(insn 36 32 37 4 (set (reg/v:V4SI 92 [ t ])
(vec_merge:V4SI (vec_duplicate:V4SI (const_int 1 [0x1]))
(const_vector:V4SI [
(const_int 0 [0])
(const_int 0 [0])
(const_int 0 [0])
(const_int 0 [0])
])
(const_int 1 [0x1]))) /nfs/ims/home/izamyati/test_63897.c:11 2456
{vec_setv4si_0}
(expr_list:REG_EQUAL (const_vector:V4SI [
(const_int 1 [0x1])
(const_int 0 [0])
(const_int 0 [0])
(const_int 0 [0])
])
(nil)))
and after RA
(insn/f 64 3 2 2 (parallel [
(set (reg:SI 0 ax [94]) got is in ax
(unspec:SI [
(const_int 0 [0])
] UNSPEC_SET_GOT))
(clobber (reg:CC 17 flags))
]) 683 {set_got}
(expr_list:REG_EQUIV (unspec:SI [
(const_int 0 [0])
] UNSPEC_SET_GOT)
(expr_list:REG_CFA_FLUSH_QUEUE (nil)
(nil
...
(call_insn/i 21 20 22 2 (set (reg:SI 0 ax) --- ax is changed
(call (mem:QI (symbol_ref:SI (memcmp) [flags 0x41] function_decl
0x141d86bd0 __builtin_memcmp) [0 __builtin_memcmp S1 A8])
(const_int 16 [0x10]))) /nfs/ims/home/izamyati/test_63897.c:21 664
{*call_value}
(expr_list:REG_EH_REGION (const_int 0 [0])
(nil))
(nil))
(insn 22 21 23 2 (parallel [
(set (reg/f:SI 7 sp)
(plus:SI (reg/f:SI 7 sp)
(const_int 16 [0x10])))
(clobber (reg:CC 17 flags))
]) /nfs/ims/home/izamyati/test_63897.c:21 220 {*addsi_1}
(expr_list:REG_ARGS_SIZE (const_int 0 [0])
(nil)))
(insn 23 22 26 2 (set (reg:SI 0 ax [102])
(reg:SI 0 ax)) /nfs/ims/home/izamyati/test_63897.c:21 90
{*movsi_internal}
(nil))
.
(insn 72 32 36 4 (set (reg:SI 0 ax [116]) --- ax is again used as got
(plus:SI (reg:SI 0 ax [94])
(const:SI (unspec:SI [
(symbol_ref/u:SI (*LC0) [flags 0x2])
] UNSPEC_MACHOPIC_OFFSET
/nfs/ims/home/izamyati/test_63897.c:11 213 {*leasi}
(expr_list:REG_EQUAL (symbol_ref/u:SI (*LC0) [flags 0x2])
(nil)))
(insn 36 72 37 4 (set (reg/v:V4SI 21 xmm0 [orig:92 t ] [92])
(vec_merge:V4SI (vec_duplicate:V4SI (mem/u/c:SI (reg:SI 0 ax [116]) [0
S4 A32]))
(const_vector:V4SI [
(const_int 0 [0])
(const_int 0 [0])
(const_int 0 [0])
(const_int 0 [0])
])
(const_int 1 [0x1]))) /nfs/ims/home/izamyati/test_63897.c:11 2456
{vec_setv4si_0}
(expr_list:REG_EQUAL (const_vector:V4SI [
(const_int 1 [0x1])
(const_int 0 [0])
(const_int 0 [0])
(const_int 0 [0])
])
(nil)))
[Bug target/63897] [5.0 regression] gcc.dg/torture/vector-2.c fails at on x86_64-apple-darwin14
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63897 --- Comment #6 from Igor Zamyatin izamyatin at gmail dot com --- after RA=after reload
[Bug target/63897] [5.0 regression] gcc.dg/torture/vector-2.c fails at on x86_64-apple-darwin14
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63897 Francois-Xavier Coudert fxcoudert at gcc dot gnu.org changed: What|Removed |Added Keywords||wrong-code Target||x86_64-apple-darwin14 Status|UNCONFIRMED |NEW Last reconfirmed||2014-11-15 Host||x86_64-apple-darwin14 Ever confirmed|0 |1 Build||x86_64-apple-darwin14
[Bug target/63897] [5.0 regression] gcc.dg/torture/vector-2.c fails at on x86_64-apple-darwin14
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63897 --- Comment #1 from Dominique d'Humieres dominiq at lps dot ens.fr --- I don't see it on my builds. [Book15] f90/bug% gcc410 -msse -O1 -m32 /opt/gcc/work/gcc/testsuite/gcc.dg/torture/vector-2.c [Book15] f90/bug% a.out [Book15] f90/bug% gcc410 -msse -O1 -m32 pr63897.c [Book15] f90/bug% a.out [Book15] f90/bug% gcc410 -v Using built-in specs. COLLECT_GCC=gcc410 COLLECT_LTO_WRAPPER=/opt/gcc/gcc4.10w/libexec/gcc/x86_64-apple-darwin14.0.0/5.0.0/lto-wrapper Target: x86_64-apple-darwin14.0.0 Configured with: ../work/configure --prefix=/opt/gcc/gcc4.10w --enable-languages=c,c++,fortran,objc,obj-c++,ada,java,lto --with-gmp=/opt/mp --with-system-zlib --with-isl=/opt/mp --enable-lto --enable-plugin --with-arch=corei7 --with-cpu=corei7 Thread model: posix gcc version 5.0.0 20141115 (experimental) [trunk revision 217602p25] (GCC)
[Bug target/63897] [5.0 regression] gcc.dg/torture/vector-2.c fails at on x86_64-apple-darwin14
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63897 --- Comment #2 from Francois-Xavier Coudert fxcoudert at gcc dot gnu.org --- (In reply to Dominique d'Humieres from comment #1) Configured with: ../work/configure --prefix=/opt/gcc/gcc4.10w --enable-languages=c,c++,fortran,objc,obj-c++,ada,java,lto --with-gmp=/opt/mp --with-system-zlib --with-isl=/opt/mp --enable-lto --enable-plugin --with-arch=corei7 --with-cpu=corei7 Apparently, it's because you configure --with-arch=corei7. If I compile with -march=corei7, it generates good code (well, it doesn't segfault, at least). Try compiling with -march=core2, you should see it.
[Bug target/63897] [5.0 regression] gcc.dg/torture/vector-2.c fails at on x86_64-apple-darwin14
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63897 --- Comment #3 from Dominique d'Humieres dominiq at lps dot ens.fr --- Try compiling with -march=core2, you should see it. Confirmed.
[Bug target/63897] [5.0 regression] gcc.dg/torture/vector-2.c fails at on x86_64-apple-darwin14
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63897 Dominique d'Humieres dominiq at lps dot ens.fr changed: What|Removed |Added CC||kyukhin at gcc dot gnu.org --- Comment #4 from Dominique d'Humieres dominiq at lps dot ens.fr --- This due to r216154.
