From a86689f5e9b939a4fc020b873fd9fca6ed98f1e5 Mon Sep 17 00:00:00 2001 From: Martin Liska Date: Tue, 7 Jan 2020 10:12:35 +0100 Subject: [PATCH] Mark -free as Optimization option. From-SVN: r279946 --- gcc/ChangeLog | 12 ++++++-- gcc/common.opt | 2 +- gcc/testsuite/ChangeLog | 5 ++++ gcc/testsuite/gcc.dg/pr92860.c | 53 ++++++++++++++++++++++++++++++++++ 4 files changed, 68 insertions(+), 4 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/pr92860.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 6c39e1ef5a8..288c0e25598 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,8 +1,14 @@ 2020-01-07 Martin Liska - PR optimization/92860 - * params.opt: Mark param_min_crossjump_insns with Optimization - keyword. + PR tree-optimization/92860 + * common.opt: Make flag_ree as optimization + attribute. + +2020-01-07 Martin Liska + + PR optimization/92860 + * params.opt: Mark param_min_crossjump_insns with Optimization + keyword. 2020-01-07 Luo Xiong Hu diff --git a/gcc/common.opt b/gcc/common.opt index a22ab004d65..02c7cddbb26 100644 --- a/gcc/common.opt +++ b/gcc/common.opt @@ -2426,7 +2426,7 @@ Common Ignore Does nothing. Preserved for backward compatibility. free -Common Report Var(flag_ree) Init(0) +Common Report Var(flag_ree) Init(0) Optimization Turn on Redundant Extensions Elimination pass. fshow-column diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 517c851869a..dabc9d2e322 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2020-01-07 Martin Liska + + PR tree-optimization/92860 + * gcc.dg/pr92860.c: New test. + 2020-01-07 Jakub Jelinek PR c++/91369 diff --git a/gcc/testsuite/gcc.dg/pr92860.c b/gcc/testsuite/gcc.dg/pr92860.c new file mode 100644 index 00000000000..74207a9d53c --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr92860.c @@ -0,0 +1,53 @@ +/* PR tree-optimization/92860. */ +/* Testcase derived from 20111227-1.c to ensure that REE is combining + redundant zero extends with zero extend to wider mode. */ +/* { dg-do compile { target i?86-*-* x86_64-*-* } } */ +/* { dg-options "-fdump-rtl-ree" } */ + +extern void abort (void); + +unsigned short s; +unsigned int i; +unsigned long l; +unsigned char v = -1; + +void +__attribute__ ((optimize("-O2"))) +baz() +{ +} + +void __attribute__((noinline,noclone)) +bar (int t) +{ + if (t == 2 && s != 0xff) + abort (); + if (t == 1 && i != 0xff) + abort (); + if (t == 0 && l != 0xff) + abort (); +} + +void __attribute__((noinline,noclone)) +foo (unsigned char *a, int t) +{ + unsigned char r = v; + + if (t == 2) + s = (unsigned short) r; + else if (t == 1) + i = (unsigned int) r; + else if (t == 0) + l = (unsigned long) r; + bar (t); +} + +int main(void) +{ + foo (&v, 0); + foo (&v, 1); + foo (&v, 2); + return 0; +} + +/* { dg-final { scan-rtl-dump-not "Elimination opportunities" "ree" } } */ -- 2.30.2