From ce25177f505ea75b3c0833c3f3f0072b97ee1b44 Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Wed, 26 Feb 2020 10:58:13 +0100 Subject: [PATCH] testsuite: Add a -O2 -fgimple testcase next to the -O2 -fno-tree-dse one [PR93820] 2020-02-26 Jakub Jelinek PR tree-optimization/93820 * gcc.dg/pr93820-2.c: New test. --- gcc/testsuite/ChangeLog | 3 +++ gcc/testsuite/gcc.dg/pr93820-2.c | 30 ++++++++++++++++++++++++++++++ 2 files changed, 33 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/pr93820-2.c diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 53a2a4ca976..35715adbe52 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,8 @@ 2020-02-26 Jakub Jelinek + PR tree-optimization/93820 + * gcc.dg/pr93820-2.c: New test. + PR tree-optimization/93820 * gcc.dg/pr93820.c: New test. diff --git a/gcc/testsuite/gcc.dg/pr93820-2.c b/gcc/testsuite/gcc.dg/pr93820-2.c new file mode 100644 index 00000000000..be5d36898f1 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr93820-2.c @@ -0,0 +1,30 @@ +/* PR tree-optimization/93820 */ +/* { dg-do run } */ +/* { dg-options "-O2 -fgimple" } */ + +typedef int v4si __attribute__((vector_size(4 * sizeof (int)))); +int a[10]; + +void __GIMPLE (ssa,startwith("store-merging")) +foo (int *p) +{ + int _2; + __BB(2): + _2 = *p_1(D); + a[6] = _2; + a[4] = 1; + __MEM ((int *)&a + _Literal (int *) 16) = _Literal (v4si) { 0, 0, 0, 0 }; + a[3] = 0; + return; +} + +int +main () +{ + int i = 0; + foo (&i); + for (i = 0; i < 10; i++) + if (a[i]) + __builtin_abort (); + return 0; +} -- 2.30.2