diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2017-03-27 23:07:21 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2017-03-27 23:07:21 +0200 |
| commit | a9e4a1a56fb8e99594b65d6640432ba29c705f3e (patch) | |
| tree | 2a71ba738ce8094ef17accb652eb7b850caad814 /gcc/testsuite | |
| parent | aade772d8a2eeda4ea22f0ca648ebdf44d8d8c15 (diff) | |
| download | gcc-a9e4a1a56fb8e99594b65d6640432ba29c705f3e.zip gcc-a9e4a1a56fb8e99594b65d6640432ba29c705f3e.tar.gz gcc-a9e4a1a56fb8e99594b65d6640432ba29c705f3e.tar.bz2 | |
re PR target/80162 (ICE on invalid code (address of register variable))
PR middle-end/80162
c-family/
* c-common.c (c_common_mark_addressable_vec): Don't set
TREE_ADDRESSABLE on DECL_HARD_REGISTER.
c/
* c-tree.h (c_mark_addressable): Add array_ref_p argument.
* c-typeck.c (c_mark_addressable): Likewise. Look through
VIEW_CONVERT_EXPR unless array_ref_p and VCE is from VECTOR_TYPE
to ARRAY_TYPE.
(build_array_ref): Pass true as array_ref_p to c_mark_addressable.
cp/
* cp-tree.h (cxx_mark_addressable): Add array_ref_p argument.
* typeck.c (cxx_mark_addressable): Likewise. Look through
VIEW_CONVERT_EXPR unless array_ref_p and VCE is from VECTOR_TYPE
to ARRAY_TYPE.
(cp_build_array_ref): Pass true as array_ref_p to cxx_mark_addressable.
testsuite/
* c-c++-common/pr80162-1.c: New test.
* c-c++-common/pr80162-2.c: New test.
* c-c++-common/pr80162-3.c: New test.
From-SVN: r246512
Diffstat (limited to 'gcc/testsuite')
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/c-c++-common/pr80162-1.c | 13 | ||||
| -rw-r--r-- | gcc/testsuite/c-c++-common/pr80162-2.c | 18 | ||||
| -rw-r--r-- | gcc/testsuite/c-c++-common/pr80162-3.c | 18 |
4 files changed, 54 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 8146499..14f6d6b 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,10 @@ 2017-03-27 Jakub Jelinek <jakub@redhat.com> + PR middle-end/80162 + * c-c++-common/pr80162-1.c: New test. + * c-c++-common/pr80162-2.c: New test. + * c-c++-common/pr80162-3.c: New test. + PR target/80102 * g++.dg/opt/pr80102.C: New test. diff --git a/gcc/testsuite/c-c++-common/pr80162-1.c b/gcc/testsuite/c-c++-common/pr80162-1.c new file mode 100644 index 0000000..7d442b3 --- /dev/null +++ b/gcc/testsuite/c-c++-common/pr80162-1.c @@ -0,0 +1,13 @@ +/* PR middle-end/80162 */ +/* { dg-do compile { target { { i?86-*-* x86_64-*-* } && lp64 } } } */ +/* { dg-options "-msse2 -ffixed-xmm7" } */ + +typedef int v8 __attribute__ ((vector_size (8))); +struct U { v8 a; v8 b; }; +register struct U u asm ("xmm7"); + +int * +foo (int i) +{ + return &u.a[i]; /* { dg-error "address of \[^ \n\r]* register variable" } */ +} diff --git a/gcc/testsuite/c-c++-common/pr80162-2.c b/gcc/testsuite/c-c++-common/pr80162-2.c new file mode 100644 index 0000000..cb2c899 --- /dev/null +++ b/gcc/testsuite/c-c++-common/pr80162-2.c @@ -0,0 +1,18 @@ +/* PR middle-end/80162 */ +/* { dg-do compile { target { { i?86-*-* x86_64-*-* } && lp64 } } } */ +/* { dg-options "-mavx2 -ffixed-xmm7" } */ + +typedef int V __attribute__ ((vector_size (32))); +register V u asm ("xmm7"); + +int +foo (int i) +{ + return u[i]; +} + +int +bar (void) +{ + return u[5]; +} diff --git a/gcc/testsuite/c-c++-common/pr80162-3.c b/gcc/testsuite/c-c++-common/pr80162-3.c new file mode 100644 index 0000000..a600fde --- /dev/null +++ b/gcc/testsuite/c-c++-common/pr80162-3.c @@ -0,0 +1,18 @@ +/* PR middle-end/80162 */ +/* { dg-do compile { target { { i?86-*-* x86_64-*-* } && lp64 } } } */ +/* { dg-options "-mavx2 -ffixed-xmm7" } */ + +typedef int V __attribute__ ((vector_size (32))); +register V u asm ("xmm7"); + +int * +foo (int i) +{ + return &u[i]; /* { dg-error "address of \[^ \n\r]* register variable" } */ +} + +int * +bar (void) +{ + return &u[5]; /* { dg-error "address of \[^ \n\r]* register variable" } */ +} |