procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

match.pd (~x | x): Don't use tree_nop_conversion_p.

Browse source 
* match.pd (~x | x): Don't use tree_nop_conversion_p.  Build
	the final expression with the operand's type and then convert
	it to the type of the expression.

	* gcc.dg/fold-ior-3.c: New test.

From-SVN: r225196
This commit is contained in:
Marek Polacek 2015-06-30 16:36:44 +00:00 • committed by Marek Polacek
parent d3bc1d1b65
commit 3db55b2b6d
4 changed files with 42 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
gcc/ChangeLog
View file

@ -3,6 +3,10 @@
* match.pd (X - (X / Y) * Y): Use convert1 and convert2. Convert
both operands of the resulting expression.
* match.pd (~x | x): Don't use tree_nop_conversion_p. Build
the final expression with the operand's type and then convert
it to the type of the expression.
2015-06-30 Richard Biener <rguenther@suse.de>
* fold-const.c (fold_binary_loc): Move ~x & ~y -> ~(x | y) and

3
gcc/match.pd
View file

@ -286,8 +286,7 @@ along with GCC; see the file COPYING3. If not see
/* ~x | x -> -1 */
(simplify
(bit_ior:c (convert? @0) (convert? (bit_not @0)))
(if (tree_nop_conversion_p (type, TREE_TYPE (@0)))
{ build_all_ones_cst (type); }))
(convert { build_all_ones_cst (TREE_TYPE (@0)); }))
/* x ^ x -> 0 */
(simplify

2
gcc/testsuite/ChangeLog
View file

@ -2,6 +2,8 @@
* gcc.dg/fold-minus-6.c: New test.
* gcc.dg/fold-ior-3.c: New test.
2015-06-30 Edward Smith-Rowland <3dw4rd@verizon.net>
Implement N4197 - Adding u8 character literals

35
gcc/testsuite/gcc.dg/fold-ior-3.c Normal file
View file

@ -0,0 +1,35 @@
/* { dg-do compile } */
/* { dg-options "-O -fdump-tree-cddce1" } */
int
fn1 (_Bool a)
{
return ((int) a) | ((int) ~a);
}
int
fn2 (unsigned char a)
{
return ((int) a) | ((int) ~a);
}
int
fn3 (unsigned short a)
{
return ((int) a) | ((int) ~a);
}
int
fn4 (signed char a)
{
return ((int) a) | ((int) ~a);
}
int
fn5 (signed short a)
{
return ((int) a) | ((int) ~a);
}
/* { dg-final { scan-tree-dump-not "~" "cddce1" } } */
/* { dg-final { scan-tree-dump-not " \\| " "cddce1" } } */