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

Subversion Repositories scarts

[/] [scarts/] [trunk/] [toolchain/] [scarts-gcc/] [gcc-4.1.1/] [gcc/] [testsuite/] [gcc.dg/] [tree-ssa/] [vrp01.c] - Blame information for rev 12

Details | Compare with Previous | View Log


/* { dg-do compile } */
/* { dg-options "-O2 -fdump-tree-vrp" } */
 
foo (int *p, int i)
{
  int x;
 
  if (i > 10)
    {
      if (p)
        {
          x = *p;
          p = 0;
        }
    }
  else
    p = 0;
 
  /* This should be folded to if (1), but only if we insert an
     assertion on the ELSE edge from the inner 'if (p)'.  */
  if (p == 0)
    return x + 1;
 
  return i;
}
 
/* { dg-final { scan-tree-dump-times "Folding predicate p_.*to 1" 1 "vrp" } } */
/* { dg-final { cleanup-tree-dump "vrp" } } */

Line No.	Rev	Author	Line
1	12	jlechner	`/* { dg-do compile } */`
2			`/* { dg-options "-O2 -fdump-tree-vrp" } */`
3
4			`foo (int *p, int i)`
5			`{`
6			`int x;`
7
8			`if (i > 10)`
9			`{`
10			`if (p)`
11			`{`
12			`x = *p;`
13			`p = 0;`
14			`}`
15			`}`
16			`else`
17			`p = 0;`
18
19			`/* This should be folded to if (1), but only if we insert an`
20			`assertion on the ELSE edge from the inner 'if (p)'. */`
21			`if (p == 0)`
22			`return x + 1;`
23
24			`return i;`
25			`}`
26
27			`/* { dg-final { scan-tree-dump-times "Folding predicate p_.to 1" 1 "vrp" } } /`
28			`/* { dg-final { cleanup-tree-dump "vrp" } } */`

Browse

Tools

Subversion Repositories scarts

[/] [scarts/] [trunk/] [toolchain/] [scarts-gcc/] [gcc-4.1.1/] [gcc/] [testsuite/] [gcc.dg/] [tree-ssa/] [vrp01.c] - Blame information for rev 12