[Bug tree-optimization/43716] [4.6/4.7/4.8 Regression] Revision 158105 miscompiles doduc.f90

[ubizjak at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43716

--- Comment #35 from Uros Bizjak <ubizjak at gmail dot com> 2012-07-21 12:35:17 UTC ---
Actually, exception happens at:

Starting program: /home/uros/pb11/lin/source/a.out 
 MAIN : FIN S00002
 MAIN : FIN S00001
 MAIN : FIN S00011
 MAIN : FIN S00022

Program received signal SIGFPE, Arithmetic exception.
s00017 () at doduc.f90:1852
1852             IF ( yy.GE.y ) qsec = qsec*y/yy

(gdb) bt
#0  s00017 () at doduc.f90:1852
#1  0x000000000041ba3a in doduc () at doduc.f90:186
#2  0x0000000000400ba7 in main (argc=argc@entry=1, argv=0x7fffffffe163) at
doduc.f90:199
#3  0x0000003c02e21735 in __libc_start_main (main=0x400b80 <main>, argc=1,
ubp_av=0x7fffffffdde8, init=<optimized out>, 
    fini=<optimized out>, rtld_fini=<optimized out>, stack_end=0x7fffffffddd8)
at libc-start.c:226
#4  0x0000000000400bd1 in _start ()

(gdb) disass $pc-20,+30
Dump of assembler code from 0x40a1f4 to 0x40a212:
   0x000000000040a1f4 <s00017_+6212>:   push   %rsp
   0x000000000040a1f5 <s00017_+6213>:   fisub  0x41(%rsi)
   0x000000000040a1f8 <s00017_+6216>:   mulps  %xmm1,%xmm0
   0x000000000040a1fb <s00017_+6219>:   maxpd  %xmm7,%xmm0
   0x000000000040a1ff <s00017_+6223>:   mulpd  %xmm0,%xmm1
   0x000000000040a203 <s00017_+6227>:   cmplepd %xmm3,%xmm0
=> 0x000000000040a208 <s00017_+6232>:   divpd  %xmm3,%xmm1
   0x000000000040a20c <s00017_+6236>:   andpd  %xmm0,%xmm1
   0x000000000040a210 <s00017_+6240>:   andnpd %xmm2,%xmm0
End of assembler dump.

(gdb) i r xmm3 xmm1
xmm3           ( (0x0, 0x0, 0x0, 0x2), (0x0, 0x6), (0x0, 0x0, 0x0, 0x0, 0x0,
0x0, 0x0, 0x0, 0xc4, 0x6b, 0x1b, 0xef, 0xc0, 0x60, 0x1b, 0x40), (0x0, 0x0, 0x0,
0x0, 0x6bc4, 0xef1b, 0x60c0, 0x401b), (0x0, 0x0, 0xef1b6bc4, 0x401b60c0), (0x0,
0x401b60c0ef1b6bc4), 0x401b60c0ef1b6bc40000000000000000 )
xmm1           ( (0x0, 0x0, 0x0, 0xfffffffe), (0x0, 0xfffffffffffffffe), (0x0,
0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0xea, 0x1e, 0x50, 0xb1, 0x21, 0xbd, 0x2,
0xc0), (0x0, 0x0, 0x0, 0x0, 0x1eea, 0xb150, 0xbd21, 0xc002), (0x0, 0x0,
0xb1501eea, 0xc002bd21), (0x0, 0xc002bd21b1501eea),
0xc002bd21b1501eea0000000000000000 )