git
/
gcc
mirror of git://gcc.gnu.org/git/gcc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

re PR tree-optimization/52589 (VRP missed optimization) 

2012-06-29  Richard Guenther  <rguenther@suse.de>

	PR tree-optimization/52589
	* gcc.dg/tree-ssa/vrp70.c: New testcase.

From-SVN: r189073
This commit is contained in:
Richard Guenther 2012-06-29 13:17:44 +00:00 committed by Richard Biener
parent 8a8b3779de
commit a1ebcd97b8
2 changed files with 33 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2012-06-29 Richard Guenther <rguenther@suse.de>
PR tree-optimization/52589
* gcc.dg/tree-ssa/vrp70.c: New testcase.
2012-06-28 Janis Johnson <janisjo@codesourcery.com> 2012-06-28 Janis Johnson <janisjo@codesourcery.com>
* g++.dg/cpp0x/nullptr19.c: Remove exta directives on same line. * g++.dg/cpp0x/nullptr19.c: Remove exta directives on same line.

28
gcc/testsuite/gcc.dg/tree-ssa/vrp70.c Normal file
View File

@ -0,0 +1,28 @@
/* { dg-do compile } */
/* { dg-require-effective-target int32plus } */
/* { dg-options "-O2 -fdump-tree-vrp1" } */
extern void link_error (void);
void
foo (unsigned int s)
{
if (s + 0x70000000 < 0xf0000000U)
{
if (s >= 0x80000000U && s < 0x90000000U)
link_error ();
}
}
void
bar (unsigned int s)
{
if (s + 0x70000000 >= 0xf0000000U)
{
if (s < 0x80000000U || s >= 0x90000000U)
link_error ();
}
}
/* { dg-final { scan-tree-dump-not "link_error" "vrp1" } } */
/* { dg-final { cleanup-tree-dump "vrp1" } } */