mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-02-10 23:20:08 +08:00
Code Issues Packages Projects Releases Wiki Activity

[multiple changes]

Browse Source 
2004-05-03  Andrew Pinski  <pinskia@physics.uc.edu>

        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  <pinskia@physics.uc.edu>

        PR middle-end/15618
        * gcc.dg/tree-ssa/bool-[1-9].c: New tests.

From-SVN: r99207
This commit is contained in:
Andrew Pinski 2005-05-04 01:52:06 +00:00 committed by Andrew Pinski
parent d8be0aabf7
commit a7e1c9287c
12 changed files with 195 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
gcc/ChangeLog
View File

@ -1,3 +1,11 @@
2004-05-03 Andrew Pinski <pinskia@physics.uc.edu>
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.
2004-05-03 Richard Henderson <rth@redhat.com>
PR middle-end/21318

15
gcc/fold-const.c
View File

@ -6149,7 +6149,8 @@ fold_widened_comparison (enum tree_code code, tree type, tree arg0, tree arg1)
|| TYPE_UNSIGNED (TREE_TYPE (arg0)) == TYPE_UNSIGNED (shorter_type))
&& (TREE_TYPE (arg1_unw) == shorter_type
|| (TREE_CODE (arg1_unw) == INTEGER_CST
&& TREE_CODE (shorter_type) == INTEGER_TYPE
&& (TREE_CODE (shorter_type) == INTEGER_TYPE
|| TREE_CODE (shorter_type) == BOOLEAN_TYPE)
&& int_fits_type_p (arg1_unw, shorter_type))))
return fold_build2 (code, type, arg0_unw,
fold_convert (shorter_type, arg1_unw));
@ -8856,10 +8857,20 @@ fold_binary (enum tree_code code, tree type, tree op0, tree op1)
case LT_EXPR:
case GT_EXPR:
case LE_EXPR:
case GE_EXPR:
case GE_EXPR:
/* If one arg is a real or integer constant, put it last. */
if (tree_swap_operands_p (arg0, arg1, true))
return fold_build2 (swap_tree_comparison (code), type, op1, op0);
/* bool_var != 0 becomes bool_var. */
if (TREE_CODE (TREE_TYPE (arg0)) == BOOLEAN_TYPE && integer_zerop (arg1)
&& code == NE_EXPR)
return non_lvalue (fold_convert (type, arg0));
/* bool_var == 1 becomes bool_var. */
if (TREE_CODE (TREE_TYPE (arg0)) == BOOLEAN_TYPE && integer_onep (arg1)
&& code == EQ_EXPR)
return non_lvalue (fold_convert (type, arg0));
/* If this is an equality comparison of the address of a non-weak
object against zero, then we know the result. */

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2005-05-03 Andrew Pinski <pinskia@physics.uc.edu>
PR middle-end/15618
* gcc.dg/tree-ssa/bool-[1-9].c: New tests.
2005-05-04 Jakub Jelinek <jakub@redhat.com>
PR middle-end/21265

19
gcc/testsuite/gcc.dg/tree-ssa/bool-1.c Normal file
View File

@ -0,0 +1,19 @@
/* { dg-do compile } */
/* { dg-options "-O1 -fdump-tree-optimized" } */
int f(_Bool x)
{
if (x != 0)
return 1;
return 0;
}
/* 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" } } */

22
gcc/testsuite/gcc.dg/tree-ssa/bool-2.c Normal file
View File

@ -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" } } */

18
gcc/testsuite/gcc.dg/tree-ssa/bool-3.c Normal file
View File

@ -0,0 +1,18 @@
/* { dg-do compile } */
/* { dg-options "-O1 -fdump-tree-optimized" } */
int f(_Bool x)
{
int y;
if (!x)
y = 0;
else
y = 1;
return y;
}
/* There should be no == 0. Though PHI-OPT or invert_truth does not
fold its tree. */
/* { dg-final { scan-tree-dump-times "== 0" 0 "optimized" { xfail *-*-* } } } */
/* { dg-final { cleanup-tree-dump "optimized" } } */

17
gcc/testsuite/gcc.dg/tree-ssa/bool-4.c Normal file
View File

@ -0,0 +1,17 @@
/* { dg-do compile } */
/* { dg-options "-O1 -fdump-tree-optimized" } */
int f(_Bool x)
{
return (x != 0);
}
/* 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" } } */

19
gcc/testsuite/gcc.dg/tree-ssa/bool-5.c Normal file
View File

@ -0,0 +1,19 @@
/* { dg-do compile } */
/* { dg-options "-O1 -fdump-tree-optimized" } */
int f(_Bool x)
{
if (x == 1)
return 1;
return 0;
}
/* There should be no == 1 which is produced by the front-end as
bool_var == 1 is the same as bool_var. */
/* { dg-final { scan-tree-dump-times "== 1" 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" } } */

22
gcc/testsuite/gcc.dg/tree-ssa/bool-6.c Normal file
View File

@ -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 == 1 which is produced by the front-end as
bool_var == 1 is the same as bool_var. */
/* { dg-final { scan-tree-dump-times "== 1" 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" } } */

18
gcc/testsuite/gcc.dg/tree-ssa/bool-7.c Normal file
View File

@ -0,0 +1,18 @@
/* { dg-do compile } */
/* { dg-options "-O1 -fdump-tree-optimized" } */
int f(_Bool x)
{
int y;
if (x != 1)
y = 0;
else
y = 1;
return y;
}
/* There should be no != 1. Though PHI-OPT or invert_truth does not
fold its tree. */
/* { dg-final { scan-tree-dump-times "!= 1" 0 "optimized" { xfail *-*-* } } }*/
/* { dg-final { cleanup-tree-dump "optimized" } } */

17
gcc/testsuite/gcc.dg/tree-ssa/bool-8.c Normal file
View File

@ -0,0 +1,17 @@
/* { dg-do compile } */
/* { dg-options "-O1 -fdump-tree-optimized" } */
int f(_Bool x)
{
return (x == 1);
}
/* There should be no == 1 which is produced by the front-end as
bool_var == 1 is the same as bool_var. */
/* { dg-final { scan-tree-dump-times "== 1" 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" } } */

17
gcc/testsuite/gcc.dg/tree-ssa/bool-9.c Normal file
View File

@ -0,0 +1,17 @@
/* { dg-do compile } */
/* { dg-options "-O1 -fdump-tree-optimized" } */
_Bool f1(_Bool x)
{
return !!x;
}
/* 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 subfe for powerpc. Checking if we actually optimizated
away the comparision. */
/* { dg-final { scan-assembler-times "subfe" 0 { target powerpc-*-* } } } */
/* { dg-final { cleanup-tree-dump "optimized" } } */