OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

re PR tree-optimization/89536 (wrong code at -Os and above on x86_64-linux-gnu)

Browse Source 
PR tree-optimization/89536
	* tree-ssa-dom.c (edge_info::derive_equivalences) <BIT_NOT_EXPR>: Test
	only whether bit #0 of the value is 0 instead of the entire value.

From-SVN: r269289
This commit is contained in:
Eric Botcazou 2019-02-28 23:03:01 +00:00 committed by Eric Botcazou
parent cc284d9cf7
commit 85222504cc
4 changed files with 27 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/ChangeLog
View File

@ -1,3 +1,9 @@
2019-02-28 Eric Botcazou <ebotcazou@adacore.com>
PR tree-optimization/89536
* tree-ssa-dom.c (edge_info::derive_equivalences) <BIT_NOT_EXPR>: Test
only whether bit #0 of the value is 0 instead of the entire value.
2019-02-28 Marek Polacek <polacek@redhat.com>
PR c++/87068 - missing diagnostic with fallthrough statement.

4
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,7 @@
2019-02-28 Eric Botcazou <ebotcazou@adacore.com>
* gcc.c-torture/execute/20190228-1.c: New test.
2019-02-28 Marek Polacek <polacek@redhat.com>
PR c++/87068 - missing diagnostic with fallthrough statement.

16
gcc/testsuite/gcc.c-torture/execute/20190228-1.c Normal file
View File

@ -0,0 +1,16 @@
/* PR tree-optimization/89536 */
/* Testcase by Zhendong Su <su@cs.ucdavis.edu> */
int a = 1;
int main (void)
{
a = ~(a && 1);
if (a < -1)
a = ~a;
if (!a)
__builtin_abort ();
return 0;
}

2
gcc/tree-ssa-dom.c
View File

@ -348,7 +348,7 @@ edge_info::derive_equivalences (tree name, tree value, int recursion_limit)
&& TREE_CODE (rhs) == SSA_NAME
&& ssa_name_has_boolean_range (rhs))
{
if (integer_zerop (value))
if ((TREE_INT_CST_LOW (value) & 1) == 0)
res = build_one_cst (TREE_TYPE (rhs));
else
res = build_zero_cst (TREE_TYPE (rhs));