From 66787d4fb278e88a3ed279cc4f6fe95751f4286b Mon Sep 17 00:00:00 2001 From: pinskia Date: Wed, 4 May 2005 01:52:06 +0000 Subject: 2004-05-03 Andrew Pinski PR middle-end/15618 * fold-const.c (fold_widened_comparison): Treat BOOLEAN_TYPE the same as INTEGER_TYPE. (fold_binary): Fold "bool_var != 0" to bool_var. Fold "bool_var == 1" to bool_var. 2005-05-03 Andrew Pinski PR middle-end/15618 * gcc.dg/tree-ssa/bool-[1-9].c: New tests. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@99207 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/testsuite/gcc.dg/tree-ssa/bool-2.c | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/tree-ssa/bool-2.c (limited to 'gcc/testsuite/gcc.dg/tree-ssa/bool-2.c') diff --git a/gcc/testsuite/gcc.dg/tree-ssa/bool-2.c b/gcc/testsuite/gcc.dg/tree-ssa/bool-2.c new file mode 100644 index 00000000000..e46189ad9f2 --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/bool-2.c @@ -0,0 +1,22 @@ +/* { dg-do compile } */ +/* { dg-options "-O1 -fdump-tree-optimized" } */ + +int f(_Bool x) +{ + int y; + if (x) + y = 1; + else + y = 0; + return y; +} + +/* There should be no != 0 which is produced by the front-end as + bool_var != 0 is the same as bool_var. */ +/* { dg-final { scan-tree-dump-times "!= 0" 0 "optimized"} } */ + +/* There should be no adde for powerpc. Checking if we actually optimizated + away the comparision. */ +/* { dg-final { scan-assembler-times "adde" 0 { target powerpc-*-* } } } */ + +/* { dg-final { cleanup-tree-dump "optimized" } } */ -- cgit v1.2.1