URL https://opencores.org/ocsvn/openrisc/openrisc/trunk

Subversion Repositories openrisc

[/] [openrisc/] [trunk/] [gnu-old/] [gcc-4.2.2/] [gcc/] [testsuite/] [gcc.dg/] [tree-ssa/] [pr21294.c] - Blame information for rev 816

Details | Compare with Previous | View Log


/* PR tree-optimization/21294
   VRP did not notice that an address of the form &p->i is nonnull
   when p is known to be nonnull.  In this testcase, noticing that
   allows us to eliminate the second "if" statement.  */
 
/* { dg-do compile } */
/* { dg-options "-O2 -fno-tree-dominator-opts -fdump-tree-vrp1-details" } */
 
struct f {
  int i;
};
 
int
foo (struct f *p)
{
  if (p != 0)
    if (&p->i != 0)
      return 123;
  return 0;
}
 
/* { dg-final { scan-tree-dump-times "Folding predicate" 1 "vrp1"} } */
/* { dg-final { cleanup-tree-dump "vrp1" } } */

Line No.	Rev	Author	Line
1	149	jeremybenn	`/* PR tree-optimization/21294`
2			`VRP did not notice that an address of the form &p->i is nonnull`
3			`when p is known to be nonnull. In this testcase, noticing that`
4			`allows us to eliminate the second "if" statement. */`
5
6			`/* { dg-do compile } */`
7			`/* { dg-options "-O2 -fno-tree-dominator-opts -fdump-tree-vrp1-details" } */`
8
9			`struct f {`
10			`int i;`
11			`};`
12
13			`int`
14			`foo (struct f *p)`
15			`{`
16			`if (p != 0)`
17			`if (&p->i != 0)`
18			`return 123;`
19			`return 0;`
20			`}`
21
22			`/* { dg-final { scan-tree-dump-times "Folding predicate" 1 "vrp1"} } */`
23			`/* { dg-final { cleanup-tree-dump "vrp1" } } */`

Browse

Tools

Subversion Repositories openrisc

[/] [openrisc/] [trunk/] [gnu-old/] [gcc-4.2.2/] [gcc/] [testsuite/] [gcc.dg/] [tree-ssa/] [pr21294.c] - Blame information for rev 816