[Bug tree-optimization/77921] [7 Regression] tree-ssanames.c miscompiled during PGO bootstrap

2016-10-11 Thread trippels at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77921

Markus Trippelsdorf  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution|--- |INVALID

--- Comment #6 from Markus Trippelsdorf  ---
I think the transformation to an endless loop is OK.
So lets close this bug.

[Bug tree-optimization/77921] [7 Regression] tree-ssanames.c miscompiled during PGO bootstrap

2016-10-10 Thread trippels at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77921

--- Comment #5 from Markus Trippelsdorf  ---
(In reply to kugan from comment #4)
> Sorry about the breakage. I will try to reproduce it.
> 
> (In reply to Markus Trippelsdorf from comment #1)
> > gcc version 7.0.0 20161007 was fine
> Are you saying that this is issue is gone latent? 20161007 should have
> early-vrp and ipa-vrp.

Since r240865 PGO bootstrapped gcc spins when compiling crafty.
So the question is if the endless loop is legitimate or not.
If not, then r240291 is causing wrong code.
If OK, then Richi's r240865 is the cause and this bug is a dup of PR77920.

[Bug tree-optimization/77921] [7 Regression] tree-ssanames.c miscompiled during PGO bootstrap

2016-10-10 Thread kugan at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77921

--- Comment #4 from kugan at gcc dot gnu.org ---
Sorry about the breakage. I will try to reproduce it.

(In reply to Markus Trippelsdorf from comment #1)
> gcc version 7.0.0 20161007 was fine
Are you saying that this is issue is gone latent? 20161007 should have
early-vrp and ipa-vrp.

[Bug tree-optimization/77921] [7 Regression] tree-ssanames.c miscompiled during PGO bootstrap

2016-10-10 Thread trippels at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77921

--- Comment #3 from Markus Trippelsdorf  ---
markus@x4 crafty % gcc -Wall -Wno-array-bounds -pipe -O3 -pthread -DSYZYGY
-DTEST -DCPUS=4 -DUNIX -c crafty.c

  61.88%  cc1 [.] release_defs
   2.01%  libc-2.24.90.so [.] strcmp
   1.83%  libc-2.24.90.so [.] _int_malloc

   │Disassembly of section .text:
   │
   │00897897 :
   │_Z12release_defsP6gimple.cold.41():
   │  movstderr,%rdi
   │  mov%r15,%rsi
   │→ callq  verify_imm_links(_IO_FILE*, tree_node*)
   │↓ jmpq   120
   │  mov0x8(%rsp),%edx
   │  shl$0x3,%rdx
   │1c:   mov0x8(%rsp),%r15d
   │  mov0x4(%rsp),%esi
   │  cmp%esi,%r15d
   │↓ je 248
   │  inc%r15d
   │  lea(%rbx,%rdx,1),%rdi
   │  add$0x8,%rdx
   │  mov%r15d,0x8(%rsp)
   │  mov(%rdi,%r8,1),%r15
   │  test   %r15,%r15
   │↓ jne3c3
   │↑ jmp1c
   │  movzbl 0x49(%rdi),%edx
   │  mov0x30(%rdi),%r15
   │  test   %r15,%r15
   │  mov%edx,0x4(%rsp)
   │↑ je 3f
   │  movl   $0x0,0x8(%rsp)
   │  movl   $0x2,0xc(%rsp)
   │↓ jmpq   419
100.00 │77:└─→jmp77
   │  mov0x30(%rdi),%r15
   │  test   %r15,%r15
   │↓ je 248
   │  movl   $0x0,0x4(%rsp)
   │  movl   $0x0,0x8(%rsp)
   │  movl   $0x0,0xc(%rsp)
   │↓ jmpq   419
   │  mov0x8(%rsp),%edx
   │↑ jmpq   41
   │  mov%ebp,0x8(%rsp)
   │↓ jmpq   1cb
   │  mov0x20(%r15),%r15
   │  movzwl (%r15),%r11d
   │↓ jmpq   220
   │  mov%ebp,%r10d
   │  shl$0x3,%r10
   │c9:   cmp0x4(%rsp),%ebp
   │↓ je e8
   │  lea(%rbx,%r10,1),%r15
   │  inc%ebp
   │  add$0x8,%r10
   │  mov(%r15,%r12,1),%r15
   │  test   %r15,%r15
   │↓ jne211
   │↑ jmpc9
   │e8: ↓ jmpq   248