From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 25044 invoked by alias); 10 Dec 2002 23:46:02 -0000 Mailing-List: contact gcc-prs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-prs-owner@gcc.gnu.org Received: (qmail 24996 invoked by uid 71); 10 Dec 2002 23:46:01 -0000 Resent-Date: 10 Dec 2002 23:46:01 -0000 Resent-Message-ID: <20021210234601.24995.qmail@sources.redhat.com> Resent-From: gcc-gnats@gcc.gnu.org (GNATS Filer) Resent-Cc: gcc-prs@gcc.gnu.org, gcc-bugs@gcc.gnu.org Resent-Reply-To: gcc-gnats@gcc.gnu.org, enrico.scholz@informatik.tu-chemnitz.de Received: (qmail 23728 invoked by uid 61); 10 Dec 2002 23:39:37 -0000 Message-Id: <20021210233937.23727.qmail@sources.redhat.com> Date: Tue, 10 Dec 2002 15:46:00 -0000 From: enrico.scholz@informatik.tu-chemnitz.de Reply-To: enrico.scholz@informatik.tu-chemnitz.de To: gcc-gnats@gcc.gnu.org X-Send-Pr-Version: gnatsweb-2.9.3 (1.1.1.1.2.31) Subject: optimization/8896: '-mcpu=xscale -fno-strict-aliasing -O2' generates wrong code X-SW-Source: 2002-12/txt/msg00602.txt.bz2 List-Id: >Number: 8896 >Category: optimization >Synopsis: '-mcpu=xscale -fno-strict-aliasing -O2' generates wrong code >Confidential: no >Severity: serious >Priority: medium >Responsible: unassigned >State: open >Class: wrong-code >Submitter-Id: net >Arrival-Date: Tue Dec 10 15:46:01 PST 2002 >Closed-Date: >Last-Modified: >Originator: Enrico Scholz >Release: gcc-3.2.1 >Organization: >Environment: Reading specs from /usr/lib/gcc-lib/arm-linux/3.2.1/specs Configured with: ../configure --host=i386-redhat-linux --target=arm-linux --prefix=/usr --mandir=/usr/share/man --disable-checking --with-cpu=strongarm1100 --enable-languages=c Thread model: posix gcc version 3.2.1 >Description: The arm-linux-gcc miscompiles XScale linux-kernels (the attached testcase is derived from fs/binfmt_elf.c of linux-2.5.49 + various ARM patches). Because of other environment-problems, I do not have a complete test-program, but the miscompilation is visible in the disassembled .o-file. The interesting code is: ---- objdump -d binfmt_elf.o 70: e3a04002 mov r4, #2 ; 0x2 7c: e0844004 add r4, r4, r4 84: e1a0e004 mov lr, r4 e0: e50be0b0 str lr, [fp, -#176] These statements are the result of: | 60 elf_info[ei_index++] = 3; ... which is wrong. Other ELF-tags are incorrect too, but this is the most obvious one. >How-To-Repeat: Compile the testprogram with | arm-linux-gcc -O2 -fno-strict-aliasing -mcpu=xscale -c binfmt_elf.c Watch the output with 'objdump -d binfmt_elf.o' >Fix: >Release-Note: >Audit-Trail: >Unformatted: ----gnatsweb-attachment---- Content-Type: application/octet-stream; name="binfmt_elf.c" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="binfmt_elf.c" dHlwZWRlZiBzdHJ1Y3QgZWxmMzJfaGRyewogIHVuc2lnbmVkIGludCBlX2VudHJ5OwogIHVuc2ln bmVkIGludCBlX3Bob2ZmOwogIHVuc2lnbmVkIHNob3J0IGVfcGhudW07Cn0gRWxmMzJfRWhkcjsK CmV4dGVybiB1bnNpZ25lZCBpbnQgZWxmX2h3Y2FwOwpleHRlcm4gY2hhciBlbGZfcGxhdGZvcm1b XTsKCnN0cnVjdCBsaW51eF9iaW5wcm17CiAgICAgICAgdW5zaWduZWQgbG9uZyBwOwogICAgICAg IGludCBhcmdjLCBlbnZjOwp9OwoKc3RydWN0IHRhc2tfc3RydWN0IHsKICAgICAgICB1bnNpZ25l ZCBpbnQgdWlkLGV1aWQ7CiAgICAgICAgdW5zaWduZWQgaW50IGdpZCxlZ2lkOwp9OwoKc3RydWN0 IHRocmVhZF9pbmZvIHsKICAgICAgICBzdHJ1Y3QgdGFza19zdHJ1Y3QgKnRhc2s7Cn07CgpzdGF0 aWMgaW5saW5lIHN0cnVjdCB0aHJlYWRfaW5mbyAqY3VycmVudF90aHJlYWRfaW5mbyh2b2lkKQp7 CiAgICAgICAgcmVnaXN0ZXIgdW5zaWduZWQgbG9uZyBzcCBhc20gKCJzcCIpOwogICAgICAgIHJl dHVybiAoc3RydWN0IHRocmVhZF9pbmZvICopKHNwICYgfjB4MWZmZik7Cn0KCnN0YXRpYyBpbmxp bmUgc3RydWN0IHRhc2tfc3RydWN0ICpnZXRfY3VycmVudCh2b2lkKQp7IAogICAgICAgIHJldHVy biBjdXJyZW50X3RocmVhZF9pbmZvKCktPnRhc2s7Cn0gCgpleHRlcm4gdm9pZApkb2l0KHVuc2ln bmVkIGxvbmcgKik7Cgp2b2lkCmNyZWF0ZV9lbGZfdGFibGVzKHN0cnVjdCBsaW51eF9iaW5wcm0g KmJwcm0sIHN0cnVjdCBlbGYzMl9oZHIgKiBleGVjLAogICAgICAgICAgICAgICAgaW50IGludGVy cF9hb3V0LCB1bnNpZ25lZCBsb25nIGxvYWRfYWRkciwKICAgICAgICAgICAgICAgIHVuc2lnbmVk IGxvbmcgaW50ZXJwX2xvYWRfYWRkcikKewogICAgICAgIHVuc2lnbmVkIGxvbmcgcCA9IGJwcm0t PnA7CiAgICAgICAgaW50IGFyZ2MgPSBicHJtLT5hcmdjOwogICAgICAgIGludCBlbnZjID0gYnBy bS0+ZW52YzsKICAgICAgICB1bnNpZ25lZCBsb25nICpzcCwgKnVfcGxhdGZvcm07CiAgICAgICAg Y29uc3QgY2hhciAqa19wbGF0Zm9ybSA9IChlbGZfcGxhdGZvcm0pOwogICAgICAgIGludCBpdGVt czsKICAgICAgICB1bnNpZ25lZCBsb25nIGVsZl9pbmZvWzQwXTsKICAgICAgICBpbnQgZWlfaW5k ZXggPSAwOwogICAgICAgIHVfcGxhdGZvcm0gPSAoKHZvaWQgKikwKTsKCiAgICAgICAgaWYgKGtf cGxhdGZvcm0pIHsKICAgICAgICAgICAgICAgIHVfcGxhdGZvcm0gPSAodW5zaWduZWQgbG9uZyAq KSBwIC09IDE7CiAgICAgICAgfQoKICAgICAgICBlbGZfaW5mb1tlaV9pbmRleCsrXSA9IDE2OyBl bGZfaW5mb1tlaV9pbmRleCsrXSA9IChlbGZfaHdjYXApOwogICAgICAgIGVsZl9pbmZvW2VpX2lu ZGV4KytdID0gIDY7IGVsZl9pbmZvW2VpX2luZGV4KytdID0gNDA5NjsKICAgICAgICBlbGZfaW5m b1tlaV9pbmRleCsrXSA9IDE3OyBlbGZfaW5mb1tlaV9pbmRleCsrXSA9ICgxMDApOwogICAgICAg IGVsZl9pbmZvW2VpX2luZGV4KytdID0gIDM7IGVsZl9pbmZvW2VpX2luZGV4KytdID0gbG9hZF9h ZGRyICsgZXhlYy0+ZV9waG9mZjsKICAgICAgICBlbGZfaW5mb1tlaV9pbmRleCsrXSA9ICA0OyBl bGZfaW5mb1tlaV9pbmRleCsrXSA9IDMyOwogICAgICAgIGVsZl9pbmZvW2VpX2luZGV4KytdID0g IDU7IGVsZl9pbmZvW2VpX2luZGV4KytdID0gZXhlYy0+ZV9waG51bTsKICAgICAgICBlbGZfaW5m b1tlaV9pbmRleCsrXSA9ICA3OyBlbGZfaW5mb1tlaV9pbmRleCsrXSA9IGludGVycF9sb2FkX2Fk ZHI7CiAgICAgICAgZWxmX2luZm9bZWlfaW5kZXgrK10gPSAgODsgZWxmX2luZm9bZWlfaW5kZXgr K10gPSAwOwogICAgICAgIGVsZl9pbmZvW2VpX2luZGV4KytdID0gIDk7IGVsZl9pbmZvW2VpX2lu ZGV4KytdID0gZXhlYy0+ZV9lbnRyeTsKICAgICAgICBlbGZfaW5mb1tlaV9pbmRleCsrXSA9IDEx OyBlbGZfaW5mb1tlaV9pbmRleCsrXSA9ICh1bnNpZ25lZCBsb25nKSAoZ2V0X2N1cnJlbnQoKSkt PnVpZDsKICAgICAgICBlbGZfaW5mb1tlaV9pbmRleCsrXSA9IDEyOyBlbGZfaW5mb1tlaV9pbmRl eCsrXSA9ICh1bnNpZ25lZCBsb25nKSAoZ2V0X2N1cnJlbnQoKSktPmV1aWQ7CiAgICAgICAgZWxm X2luZm9bZWlfaW5kZXgrK10gPSAxMzsgZWxmX2luZm9bZWlfaW5kZXgrK10gPSAodW5zaWduZWQg bG9uZykgKGdldF9jdXJyZW50KCkpLT5naWQ7CiAgICAgICAgZWxmX2luZm9bZWlfaW5kZXgrK10g PSAxNDsgZWxmX2luZm9bZWlfaW5kZXgrK10gPSAodW5zaWduZWQgbG9uZykgKGdldF9jdXJyZW50 KCkpLT5lZ2lkOwogICAgICAgIGlmIChrX3BsYXRmb3JtKSB7CiAgICAgICAgICAgICAgICBlbGZf aW5mb1tlaV9pbmRleCsrXSA9IDE1OyBlbGZfaW5mb1tlaV9pbmRleCsrXSA9ICh1bnNpZ25lZCBs b25nKShsb25nKXVfcGxhdGZvcm07CiAgICAgICAgfQogICAgICAgIGVsZl9pbmZvW2VpX2luZGV4 KytdID0gIDA7IGVsZl9pbmZvW2VpX2luZGV4KytdID0gMDsKCiAgICAgICAgc3AgPSAoKHVuc2ln bmVkIGxvbmcgKikocCkgLSAoZWlfaW5kZXgpKTsKCiAgICAgICAgaXRlbXMgPSAoYXJnYyArIDEp ICsgKGVudmMgKyAxKTsKICAgICAgICBpZiAoaW50ZXJwX2FvdXQpIHsKICAgICAgICAgICAgICAg IGl0ZW1zICs9IDM7CiAgICAgICAgfSBlbHNlIHsKICAgICAgICAgICAgICAgIGl0ZW1zICs9IDE7 CiAgICAgICAgfQogICAgICAgIGJwcm0tPnAgPSAoKCh1bnNpZ25lZCBsb25nKSAoc3AgLSBpdGVt cykpICZ+IDE1VUwpOwoKCWRvaXQoZWxmX2luZm8pOwp9Cg==