Re: optimization/7810: "gcc-3.2 -Wall -funroll-loops -mcpu=k6 -O1 -c bug.c" causes ICE in extract_insn

Re: optimization/7810: "gcc-3.2 -Wall -funroll-loops -mcpu=k6 -O1 -c bug.c" causes ICE in extract_insn

[hubicka]

Synopsis: "gcc-3.2 -Wall -funroll-loops -mcpu=k6  -O1 -c bug.c" causes ICE in extract_insn

State-Changed-From-To: open->closed
State-Changed-By: hubicka
State-Changed-When: Thu Oct  3 10:10:53 2002
State-Changed-Why:
    no longer reproduces in the 3.2 branch

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=7810

optimization/7810: "gcc-3.2 -Wall -funroll-loops -mcpu=k6 -O1 -c bug.c" causes ICE in extract_insn

[bunk]

>Number:         7810
>Category:       optimization
>Synopsis:       "gcc-3.2 -Wall -funroll-loops -mcpu=k6  -O1 -c bug.c" causes ICE in extract_insn
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Mon Sep 02 08:56:00 PDT 2002
>Closed-Date:
>Last-Modified:
>Originator:     bunk@fs.tum.de
>Release:        3.2
>Organization:
>Environment:
Debian unstable on Linux/i386
>Description:
$ gcc -Wall -funroll-loops  -mcpu=k6  -O1   -c bug.c
bug.c: In function `seq_write':
bug.c:196: unrecognizable insn:
(insn 698 720 702 (set (reg:SI 210)
        (neg:SI (reg/v:SI 61))) -1 (nil)
    (nil))
bug.c:196: Internal compiler error in extract_insn, at recog.c:2148
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://www.gnu.org/software/gcc/bugs.html> for instructions.
$ 


It compiles as soon as I remove _one_ of the following options:
  -funroll-loops
  -mcpu=k6
  -O1

The file bug.c is a stripped down version (some things removed and some definitions copied from header files) 
of the file import/seqinfo.c in (the GPL'ed) transcode-0.6.0 
(http://www.theorie.physik.uni-goettingen.de/~ostreich/transcode).

The bug is reproducible with the following compilers:

Debian unstable:

Reading specs from /usr/lib/gcc-lib/i386-linux/3.2.1/specs
Configured with: /mnt/data/gcc-3.1/gcc-3.2-3.2.1ds0/src/configure -v --enable-languages=c,c++,java,f77,proto,objc,ada --prefix=/usr --mandir=/usr/share/man --infodir=/usr/share/info --with-gxx-include-dir=/usr/include/c++/3.2 --enable-shared --with-system-zlib --enable-nls --without-included-gettext --enable-__cxa_atexit --enable-java-gc=boehm --enable-objc-gc i386-linux
Thread model: posix
gcc version 3.2.1 20020830 (Debian prerelease)


self-compiled:

Reading specs from ./gcc-3.2/bin/../lib/gcc-lib/i586-pc-linux-gnu/3.2/specs
Configured with: ../configure --enable-languages=c --prefix=/tmp/gcc-3.2
Thread model: posix
gcc version 3.2
>How-To-Repeat:
gcc -Wall -funroll-loops  -mcpu=k6  -O1   -c bug.c
>Fix:

>Release-Note:
>Audit-Trail:
>Unformatted:
----gnatsweb-attachment----
Content-Type: text/x-csrc; name="bug.c"
Content-Transfer-Encoding: base64
Content-Disposition: attachment; filename="bug.c"

CiNpbmNsdWRlIDxzdGRpby5oPgoKc3RhdGljIGludCB2ZXJib3NlOwoKc3RhdGljIGRvdWJsZSBm
cHM7CnN0YXRpYyBpbnQgdmVyYm9zZTsKc3RhdGljIGludCBkcm9wX2N0cj0wOwoKCnN0YXRpYyBs
b25nIGZyYW1lX2N0cj0wOwpzdGF0aWMgbG9uZyBjaGVja19jdHI9MDsKCnR5cGVkZWYgc3RydWN0
IHN5bmNfaW5mb19zIHsKCiAgbG9uZyBpbnQgZW5jX2ZyYW1lOwogIGxvbmcgaW50IGFkal9mcmFt
ZTsKICAKICBsb25nIGludCBzZXF1ZW5jZTsKCiAgZG91YmxlIGRlY19mcHM7CiAgZG91YmxlIGVu
Y19mcHM7CgogIGRvdWJsZSBwdHM7CgogIGludCBwdWxsZG93bjsKICBpbnQgZHJvcF9zZXE7CiAg
Cn0gc3luY19pbmZvX3Q7Cgp0eXBlZGVmIHN0cnVjdCBzZXFfbGlzdF9zIHsKCiAgaW50IGlkOyAg
ICAgICAgICAvL3NlcXVlbmNlIGlkCiAgaW50IHRhZzsgIAoKICBpbnQgc3RhdHVzOwoKICBsb25n
IHB0czsgICAgICAgIC8vc2VxdWVuY2UgcHRzCiAgbG9uZyBkdHM7ICAgICAgICAvL3NlcXVlbmNl
IGR0cwoKICBpbnQgZW5jX3BpY3M7ICAgIC8vZW5jb2RlZCBmcmFtZXMgIAogIGludCBzZXFfcGlj
czsgICAgLy9lZmZlY3RpdmUgZnJhbWVzCiAgaW50IGFkal9waWNzOyAgICAvL2ZyYW1lIGNvcnJl
Y3Rpb24KCiAgaW50IHRvdF9lbmNfcGljczsgICAgLy90b3RhbCBzdHJlYW0gKGVuY29kZWQpIG51
bWJlciBvZiBmcmFtZXMKICBpbnQgdG90X2RlY19waWNzOyAgICAvL3RvdGFsIGVmZmVjdGl2ZSAo
ZGVjb2RlZCkgbnVtYmVyIG9mIGZyYW1lcwoKICBpbnQgcGljc19maXJzdF9wYWNrZXQ7CgogIGRv
dWJsZSBhdl9zeW5jOyAgLy9lbmNvZGVyIGF2IHN5bmMKCiAgaW50IHRvdF9wdHM7ICAgICAvL3Jl
bGF0aXZlIHNlcXVlbmNlIFBUUwoKICBpbnQgcGFja2V0X2N0cjsgICAgICAgLy8gc2VxIHBhY2tl
dHMKICBpbnQgdG90X3BhY2tldF9jdHI7ICAgLy8gc3RyZWFtIHBhY2tldHMKCiAgbG9uZyBwdGlt
ZTsgICAgICAgICAgIC8vZW5jb2RlZCBzZXF1ZW5jZSBwcmVzZW50YXRpb24gdGltZQogIAogIGlu
dCBzeW5jX3Jlc2V0OwogIGludCBzeW5jX2FjdGl2ZTsKCiAgaW50IHB1bGxkb3duOwoKICBzdHJ1
Y3Qgc2VxX2xpc3RfcyAqbmV4dDsKICBzdHJ1Y3Qgc2VxX2xpc3RfcyAqcHJldjsKCn0gc2VxX2xp
c3RfdDsKCgoKc3luY19pbmZvX3Qgc3luY19pbmZvOwoKCgpzZXFfbGlzdF90ICpzZXFfbGlzdF9o
ZWFkPU5VTEw7CnNlcV9saXN0X3QgKnNlcV9saXN0X3RhaWw9TlVMTDsKCgp2b2lkIHNlcV93cml0
ZShzZXFfbGlzdF90ICpwdHIpCnsKCiAgaW50IGksIGssIGNsb25lWzI1Nl07CgogIHN5bmNfaW5m
b190IHN5bmNfaW5mbzsKCiAgaW50IHRtcDsKCiAgaW50IGluYz0wOwoKICBkb3VibGUgZnRvdF9w
dHM9MC4wZjsKCiAgLy8gLS0tLS0tLS0tLS0tLS0tLS0KICAvLwogIC8vIHdyaXRlIHRvIGxvZyBm
aWxlCiAgLy8KICAvLyAtLS0tLS0tLS0tLS0tLS0tLQoKICAvLyBzZXQgY2xvbmUgZmxhZyBmb3Ig
ZWFjaCBmcmFtZToKICAvLyAwID0gZHJvcCB0aGlzIGZyYW1lCiAgLy8gMSA9IHVuaXF1ZSBmcmFt
ZQogIC8vIE4gPSB1c2UgTiBjb3BpZXMgb2YgdGhpcyBmcmFtZQoKICAKICAvL2RlZmF1bHQKICBm
b3IoaT0wOyBpPHB0ci0+ZW5jX3BpY3M7ICsraSkgY2xvbmVbaV09MTsKCiAgaWYocHRyLT5hZGpf
cGljczwwKSB7IAoKICAgICAgdG1wID0gIHB0ci0+YWRqX3BpY3M7CiAgICAgIGluYyA9IC1wdHIt
PmVuY19waWNzL3B0ci0+YWRqX3BpY3M7CgogICAgICB3aGlsZSgtdG1wPjApIHsKCWs9KC10bXAq
aW5jKSVwdHItPmVuY19waWNzOwogICAgICAgIGNsb25lW2tdPTA7CgoJKyt0bXA7CiAgICAgIH0K
ICB9CiAgaWYocHRyLT5hZGpfcGljcz4wKSB7IAogICAgICAKICAgICAgdG1wID0gIHB0ci0+YWRq
X3BpY3M7CiAgICAgIGluYyA9IChwdHItPmFkal9waWNzPHB0ci0+ZW5jX3BpY3MpID8gKGludCkg
cHRyLT5lbmNfcGljcy9wdHItPmFkal9waWNzIDogMTsKCiAgICAgIHdoaWxlKHRtcD4wKSB7CgoJ
ICBrPSh0bXAqaW5jKSVwdHItPmVuY19waWNzOwoJICArK2Nsb25lW2tdOwoJICAtLXRtcDsKICAg
ICAgfQogIH0KCiAgLy93cml0ZSBvdXQKCiAgZm9yKGk9MDsgaTxwdHItPmVuY19waWNzOyArK2kp
IHsKCiAgICAgLy9jaGVjayBmb3IgcHVsbGRvd24gZmxhZwogICAgICBzeW5jX2luZm8ucHVsbGRv
d24gPSBwdHItPnB1bGxkb3duOwogIAogICAgICAvL21hc3RlciBmbGFnIG1ha2VzIGZpbmFsIGRl
Y2lzaW9uCiAgICAgIGlmKHB0ci0+c3luY19hY3RpdmUgPT0gMCkgewoJICBjbG9uZVtpXT0wOwoJ
ICBzeW5jX2luZm8uZHJvcF9zZXE9MTsKCSAgc3luY19pbmZvLnB1bGxkb3duPTA7CiAgICAgIH0g
ZWxzZSAKCSAgc3luY19pbmZvLmRyb3Bfc2VxPTA7CgogICAgICBpZih2ZXJib3NlICYgMjU2KSBm
cHJpbnRmKHN0ZGVyciwgIlslbGRdICVkICVkICVkICVsZFxuIiwgZnJhbWVfY3RyLCBwdHItPmlk
LCBpLCBjbG9uZVtpXSwgY2hlY2tfY3RyKTsKICAgICAgCiAgICAgIGRyb3BfY3RyICs9IChpbnQp
IChjbG9uZVtpXS0xKTsKICAgICAgCiAgICAgIHN5bmNfaW5mby5zZXF1ZW5jZSA9IHB0ci0+aWQ7
CgogICAgICBzeW5jX2luZm8uZW5jX2ZyYW1lID0gKGxvbmcpIGZyYW1lX2N0cisrOwogICAgICBz
eW5jX2luZm8uYWRqX2ZyYW1lID0gKGxvbmcpIGNsb25lW2ldOwoKICAgICAgZnRvdF9wdHM9KGRv
dWJsZSkgcHRyLT50b3RfcHRzLzkwMDAwOwogICAgICBzeW5jX2luZm8uZGVjX2ZwcyA9IChkb3Vi
bGUpIChwdHItPnRvdF9kZWNfcGljcykvZnRvdF9wdHM7CiAgICAgIHN5bmNfaW5mby5lbmNfZnBz
ID0gKHB0ci0+cHRpbWUpID8gKGRvdWJsZSkgKHB0ci0+ZW5jX3BpY3MqOTAwMDApL3B0ci0+cHRp
bWU6MC4wZjsKCiAgICAgIHN5bmNfaW5mby5wdHMgPSAoZG91YmxlKSBwdHItPnRvdF9wdHMvOTAw
MDA7CgogICAgICBjaGVja19jdHIgKz0gY2xvbmVbaV07CgogICAgICBpZih2ZXJib3NlICYgNjQg
JiYgaT09cHRyLT5lbmNfcGljcy0xKSBmcHJpbnRmKHN0ZGVyciwiKCVzKSBzeW5jIGRhdGEgZm9y
IHNlcXVlbmNlICVkIGZsdXNoZWQgWyVsZF1cbiIsIF9fRklMRV9fLCBwdHItPmlkLCBzeW5jX2lu
Zm8uZW5jX2ZyYW1lKTsKICB9CgogIGlmKHZlcmJvc2UgJiAyNTYpIHsKICAgICAgZnByaW50Zihz
dGRlcnIsICJmcmFtZXM9JTZsZCBzZXE9JTRsZCBhZGo9JTRkIEFWPSU4LjRmIFtmcHNdIHJhdGlv
PSAlLjRmIFBUUz0gJS4yZlxuIiwgc3luY19pbmZvLmVuY19mcmFtZSwgc3luY19pbmZvLnNlcXVl
bmNlLCBkcm9wX2N0ciwgc3luY19pbmZvLmRlY19mcHMtZnBzLCBzeW5jX2luZm8uZW5jX2Zwcy9m
cHMsIHN5bmNfaW5mby5wdHMpOwogIH0KICAKICByZXR1cm47Cgp9CgoK