URL https://opencores.org/ocsvn/openrisc_2011-10-31/openrisc_2011-10-31/trunk

Subversion Repositories openrisc_2011-10-31

[/] [openrisc/] [tags/] [gnu-src/] [gcc-4.5.1/] [gcc-4.5.1-or32-1.0rc2/] [gcc/] [testsuite/] [gcc.dg/] [tree-ssa/] [vrp20.c] - Diff between revs 298 and 384

Rev 298	Rev 384
`/* { dg-do compile } */`	`/* { dg-do compile } */`
`/* { dg-options "-fwrapv -O1 -ftree-vrp -fdump-tree-vrp1" } */`	`/* { dg-options "-fwrapv -O1 -ftree-vrp -fdump-tree-vrp1" } */`

`extern void abort ();`	`extern void abort ();`
`extern void exit (int);`	`extern void exit (int);`

`int f (int a) {`	`int f (int a) {`
`if (a != 0) {`	`if (a != 0) {`
`a = a > 0 ? a : -a;`	`a = a > 0 ? a : -a;`
`if (a == 0)`	`if (a == 0)`
`return 1;`	`return 1;`
`return 0;`	`return 0;`
`}`	`}`
`return 0;`	`return 0;`
`}`	`}`

`int g (int b) {`	`int g (int b) {`
`if (b != 0) {`	`if (b != 0) {`
`b = b > 0 ? b : -b;`	`b = b > 0 ? b : -b;`
`if (b != 0)`	`if (b != 0)`
`return 0;`	`return 0;`
`}`	`}`
`return 1;`	`return 1;`
`}`	`}`

`/* { dg-final { scan-tree-dump "Folding predicate a_. == 0 to 0" "vrp1" } } */`	`/* { dg-final { scan-tree-dump "Folding predicate a_. == 0 to 0" "vrp1" } } */`
`/* { dg-final { scan-tree-dump "Folding predicate b_. != 0 to 1" "vrp1" } } */`	`/* { dg-final { scan-tree-dump "Folding predicate b_. != 0 to 1" "vrp1" } } */`
`/* { dg-final { cleanup-tree-dump "vrp1" } } */`	`/* { dg-final { cleanup-tree-dump "vrp1" } } */`