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/] [vrp09.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 x = baz ();
 
  if (p == 0)
    goto L78;
  else
    {
      x = *p;
      /* This should be folded to if (1).  */
      if (p)
        x = x + 1;
L78:
      /* This should not be folded to if (1).  */
      if (p)
        {
          x = baz (*p);
          /* This should be folded to if (1).  */
          if (p)
            return x + 3;
        }
 
      return x - 3;
    }
}
 
/* { dg-final { scan-tree-dump-times "Folding predicate p_.. != 0B to 1" 2 "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)`
5			`{`
6			`int x = baz ();`
7
8			`if (p == 0)`
9			`goto L78;`
10			`else`
11			`{`
12			`x = *p;`
13			`/* This should be folded to if (1). */`
14			`if (p)`
15			`x = x + 1;`
16			`L78:`
17			`/* This should not be folded to if (1). */`
18			`if (p)`
19			`{`
20			`x = baz (*p);`
21			`/* This should be folded to if (1). */`
22			`if (p)`
23			`return x + 3;`
24			`}`
25
26			`return x - 3;`
27			`}`
28			`}`
29
30			`/* { dg-final { scan-tree-dump-times "Folding predicate p_.. != 0B to 1" 2 "vrp" } } */`
31			`/* { 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/] [vrp09.c] - Blame information for rev 12