diff options
author | Alexandre Oliva <oliva@adacore.com> | 2019-09-03 06:06:02 +0000 |
---|---|---|
committer | Alexandre Oliva <aoliva@gcc.gnu.org> | 2019-09-03 06:06:02 +0000 |
commit | e4a8d4a7ec496dbd6602e373dcfcb72c25c60f86 (patch) | |
tree | 1aaf91dc17af50f66d50dcf207aecf120365ef84 /gcc | |
parent | 97d6a7c80e63563390bda35b1e7126b48e3a51f3 (diff) | |
download | gcc-e4a8d4a7ec496dbd6602e373dcfcb72c25c60f86.zip gcc-e4a8d4a7ec496dbd6602e373dcfcb72c25c60f86.tar.gz gcc-e4a8d4a7ec496dbd6602e373dcfcb72c25c60f86.tar.bz2 |
[x86 testsuite] preserve full register across main
This test uses a call-saved register as a global variable. It
attempts to preserve its value across main, but only the lower int
part is preserved, which is not good enough for x86_64, when the
runtime that calls main() happens to hold something in the chosen
register that is not a zero-extension from the 32-bit value, and
rightfully expects the full register to remain unchanged when main()
returns.
for gcc/testsuite/ChangeLog
* gcc.target/i386/20020616-1.c: Preserve full register across
main.
From-SVN: r275329
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/testsuite/gcc.target/i386/20020616-1.c | 14 |
2 files changed, 14 insertions, 5 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 2f93d91..efb25df 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2019-09-03 Alexandre Oliva <oliva@adacore.com> + + * gcc.target/i386/20020616-1.c: Preserve full register across + main. + 2019-09-02 Paul Thomas <pault@gcc.gnu.org> PR fortran/91589 diff --git a/gcc/testsuite/gcc.target/i386/20020616-1.c b/gcc/testsuite/gcc.target/i386/20020616-1.c index 5641826..48dea27 100644 --- a/gcc/testsuite/gcc.target/i386/20020616-1.c +++ b/gcc/testsuite/gcc.target/i386/20020616-1.c @@ -2,12 +2,16 @@ /* { dg-do run } */ /* { dg-options "-O2" } */ +/* We need this type to be as wide as the register chosen below, so + that, when we preserve it across main, we preserve all of it. */ +typedef int __attribute__ ((mode (__word__))) reg_type; + #if !__PIC__ -register int k asm("%ebx"); +register reg_type k asm("%ebx"); #elif __amd64 -register int k asm("%r12"); +register reg_type k asm("%r12"); #else -register int k asm("%esi"); +register reg_type k asm("%esi"); #endif void __attribute__((noinline)) @@ -18,7 +22,7 @@ foo() void test() { - int i; + reg_type i; for (i = 0; i < 10; i += k) { k = 0; @@ -28,7 +32,7 @@ void test() int main() { - int old = k; + reg_type old = k; test(); k = old; return 0; |