mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-05 19:51:34 +08:00
Code Issues Packages Projects Releases Wiki Activity

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

Browse Source 
PR tree-optimization/59014
	* tree-vrp.c (register_edge_assert_for_1): Don't look
	through conversions from non-integral types or through
	narrowing conversions.

	* gcc.c-torture/execute/pr59014.c: New test.

From-SVN: r205417
This commit is contained in:
Jakub Jelinek 2013-11-26 22:29:30 +01:00 committed by Jakub Jelinek
parent 70ec86ee18
commit b168a8dfcc
4 changed files with 40 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/ChangeLog
View File

@ -1,5 +1,10 @@
2013-11-26 Jakub Jelinek <jakub@redhat.com>
PR tree-optimization/59014
* tree-vrp.c (register_edge_assert_for_1): Don't look
through conversions from non-integral types or through
narrowing conversions.
PR target/59229
* config/i386/i386.c (device_alg): Fix up formatting.
(ix86_expand_set_or_movmem): Handle max_size < epilogue_size_needed

3
gcc/testsuite/ChangeLog
View File

@ -1,5 +1,8 @@
2013-11-26 Jakub Jelinek <jakub@redhat.com>
PR tree-optimization/59014
* gcc.c-torture/execute/pr59014.c: New test.
PR target/59229
* gcc.c-torture/execute/pr59229.c: New test.

25
gcc/testsuite/gcc.c-torture/execute/pr59014.c Normal file
View File

@ -0,0 +1,25 @@
/* PR tree-optimization/59014 */
int a = 2, b, c, d;
int
foo ()
{
for (;; c++)
if ((b > 0) | (a & 1))
;
else
{
d = a;
return 0;
}
}
int
main ()
{
foo ();
if (d != 2)
__builtin_abort ();
return 0;
}

10
gcc/tree-vrp.c
View File

@ -5438,9 +5438,13 @@ register_edge_assert_for_1 (tree op, enum tree_code code,
}
else if (CONVERT_EXPR_CODE_P (gimple_assign_rhs_code (op_def)))
{
/* Recurse through the type conversion. */
retval |= register_edge_assert_for_1 (gimple_assign_rhs1 (op_def),
code, e, bsi);
/* Recurse through the type conversion, unless it is a narrowing
conversion or conversion from non-integral type. */
tree rhs = gimple_assign_rhs1 (op_def);
if (INTEGRAL_TYPE_P (TREE_TYPE (rhs))
&& (TYPE_PRECISION (TREE_TYPE (rhs))
<= TYPE_PRECISION (TREE_TYPE (op))))
retval |= register_edge_assert_for_1 (rhs, code, e, bsi);
}
return retval;