diff options
| author | Peter Bergner <bergner@linux.ibm.com> | 2021-12-01 13:17:52 -0600 |
|---|---|---|
| committer | Peter Bergner <bergner@linux.ibm.com> | 2021-12-01 13:22:36 -0600 |
| commit | 5b1ef8b9db964ec2375df29a73d2b1651afe7ea9 (patch) | |
| tree | e6bb5f142821dbd5bfb2edebcb3643358b99446f | |
| parent | 185b307b03db20bfc7105a519ef19e2cafea7196 (diff) | |
| download | gcc-5b1ef8b9db964ec2375df29a73d2b1651afe7ea9.zip gcc-5b1ef8b9db964ec2375df29a73d2b1651afe7ea9.tar.gz gcc-5b1ef8b9db964ec2375df29a73d2b1651afe7ea9.tar.bz2 | |
middle-end: Skip initialization of opaque type variables [PR103127]
For -ftrivial-auto-var-init=*, skip initializing the variable if it is an
opaque type, because CONST0_RTX(mode) is not defined for opaque modes.
2021-12-01 Peter Bergner <bergner@linux.ibm.com>
gcc/
PR middle-end/103127
* gimplify.c (is_var_need_auto_init): Handle opaque types.
gcc/testsuite/
PR middle-end/103127
* gcc.target/powerpc/pr103127.c: New test.
| -rw-r--r-- | gcc/gimplify.c | 1 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.target/powerpc/pr103127.c | 19 |
2 files changed, 20 insertions, 0 deletions
diff --git a/gcc/gimplify.c b/gcc/gimplify.c index 8624f82..326476f 100644 --- a/gcc/gimplify.c +++ b/gcc/gimplify.c @@ -1829,6 +1829,7 @@ is_var_need_auto_init (tree decl) || !DECL_HARD_REGISTER (decl)) && (flag_auto_var_init > AUTO_INIT_UNINITIALIZED) && (!lookup_attribute ("uninitialized", DECL_ATTRIBUTES (decl))) + && !OPAQUE_TYPE_P (TREE_TYPE (decl)) && !is_empty_type (TREE_TYPE (decl))) return true; return false; diff --git a/gcc/testsuite/gcc.target/powerpc/pr103127.c b/gcc/testsuite/gcc.target/powerpc/pr103127.c new file mode 100644 index 0000000..801fc0a --- /dev/null +++ b/gcc/testsuite/gcc.target/powerpc/pr103127.c @@ -0,0 +1,19 @@ +/* PR target/103127 */ +/* { dg-require-effective-target power10_ok } */ +/* { dg-options "-O2 -mdejagnu-cpu=power10 -ftrivial-auto-var-init=zero" } */ + +/* Verify we do not ICE on the following tests. */ + +void +foo (__vector_quad *dst) +{ + __vector_quad acc; + *dst = acc; +} + +void +bar (__vector_pair *dst) +{ + __vector_pair pair; + *dst = pair; +} |