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

Subversion Repositories openrisc

[/] [openrisc/] [trunk/] [gnu-stable/] [gcc-4.5.1/] [gcc/] [testsuite/] [gcc.dg/] [tree-ssa/] [vrp09.c] - Diff between revs 816 and 826

Rev 816	Rev 826
`/* { dg-do compile } */`	`/* { dg-do compile } */`
`/* { dg-options "-O2 -fdump-tree-vrp1" } */`	`/* { dg-options "-O2 -fdump-tree-vrp1" } */`

`foo (int *p)`	`foo (int *p)`
`{`	`{`
`int x = baz ();`	`int x = baz ();`

`if (p == 0)`	`if (p == 0)`
`goto L78;`	`goto L78;`
`else`	`else`
`{`	`{`
`x = *p;`	`x = *p;`
`/* This should be folded to if (1). */`	`/* This should be folded to if (1). */`
`if (p)`	`if (p)`
`x = x + 1;`	`x = x + 1;`
`L78:`	`L78:`
`/* This should not be folded to if (1). */`	`/* This should not be folded to if (1). */`
`if (p)`	`if (p)`
`{`	`{`
`x = baz (*p);`	`x = baz (*p);`
`/* This should be folded to if (1). */`	`/* This should be folded to if (1). */`
`if (p)`	`if (p)`
`return x + 3;`	`return x + 3;`
`}`	`}`

`return x - 3;`	`return x - 3;`
`}`	`}`
`}`	`}`

`/* { dg-final { scan-tree-dump-times "Folding predicate p_.. != 0B to 1" 2 "vrp1" } } */`	`/* { dg-final { scan-tree-dump-times "Folding predicate p_.. != 0B to 1" 2 "vrp1" } } */`
`/* { dg-final { cleanup-tree-dump "vrp1" } } */`	`/* { dg-final { cleanup-tree-dump "vrp1" } } */`