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

Handle POINTER_TYPE_P in EVRP 

Handle POINTER_TYPE_P in EVRP
gcc/ChangeLog:

2016-10-06  Kugan Vivekanandarajah  <kuganv@linaro.org>

	* tree-vrp.c (evrp_dom_walker::before_dom_children): Handle
	  POINTER_TYPE_P.


gcc/testsuite/ChangeLog:

2016-10-06  Kugan Vivekanandarajah  <kuganv@linaro.org>

	* gcc.dg/tree-ssa/evrp4.c: New test.

From-SVN: r240841
This commit is contained in:
Kugan Vivekanandarajah 2016-10-06 19:55:14 +00:00 committed by Kugan Vivekanandarajah
parent 4c4430e390
commit 65b25c9b43
4 changed files with 31 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/ChangeLog
View File

@ -1,3 +1,8 @@
2016-10-06 Kugan Vivekanandarajah <kuganv@linaro.org>
* tree-vrp.c (evrp_dom_walker::before_dom_children): Handle
POINTER_TYPE_P.
2016-10-05 Jeff Law <law@redhat.com> 2016-10-05 Jeff Law <law@redhat.com>
PR tree-optimization/71661 PR tree-optimization/71661

4
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,7 @@
2016-10-06 Kugan Vivekanandarajah <kuganv@linaro.org>
* gcc.dg/tree-ssa/evrp4.c: New test.
2016-10-06 Jeff Law <law@redhat.com> 2016-10-06 Jeff Law <law@redhat.com>
PR tree-optimization/71661 PR tree-optimization/71661

20
gcc/testsuite/gcc.dg/tree-ssa/evrp4.c Normal file
View File

@ -0,0 +1,20 @@
/* { dg-do compile } */
/* { dg-options "-O2 -fdump-tree-evrp" } */
int foo (int *p);
struct st
{
int a;
int b;
};
int bar (struct st *s)
{
if (!s)
return 0;
foo (&s->a);
}
/* { dg-final { scan-tree-dump "\~\\\[0B, 0B\\\]" "evrp" } } */

3
gcc/tree-vrp.c
View File

@ -10666,7 +10666,8 @@ evrp_dom_walker::before_dom_children (basic_block bb)
&& gimple_code (stmt) == GIMPLE_COND && gimple_code (stmt) == GIMPLE_COND
&& (op0 = gimple_cond_lhs (stmt)) && (op0 = gimple_cond_lhs (stmt))
&& TREE_CODE (op0) == SSA_NAME && TREE_CODE (op0) == SSA_NAME
&& INTEGRAL_TYPE_P (TREE_TYPE (gimple_cond_lhs (stmt)))) && (INTEGRAL_TYPE_P (TREE_TYPE (gimple_cond_lhs (stmt)))
|| POINTER_TYPE_P (TREE_TYPE (gimple_cond_lhs (stmt)))))
{ {
/* Entering a new scope. Try to see if we can find a VR /* Entering a new scope. Try to see if we can find a VR
here. */ here. */