diff options
Diffstat (limited to 'gcc/testsuite/gcc.dg/tree-ssa')
| -rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/forwprop-6.c | 9 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/fre-vce-1.c | 5 |
2 files changed, 10 insertions, 4 deletions
diff --git a/gcc/testsuite/gcc.dg/tree-ssa/forwprop-6.c b/gcc/testsuite/gcc.dg/tree-ssa/forwprop-6.c index 987f8a3909a..54e51097e4c 100644 --- a/gcc/testsuite/gcc.dg/tree-ssa/forwprop-6.c +++ b/gcc/testsuite/gcc.dg/tree-ssa/forwprop-6.c @@ -17,6 +17,11 @@ void f(void) } /* We should be able to convert the cast to a VCE in forwprop1, - even if there is an aliasing violation. */ -/* { dg-final { scan-tree-dump-times "VIEW_CONVERT_EXPR" 1 "forwprop1"} } */ + even if there is an aliasing violation. + ??? While this would be useful and nice to our users in this + particular situation before doing this transformation we have to + assure that a is killed by a dominating store via type float for + it to be valid. Then we might as well handle the situation by + value-numbering, removing the load alltogether. */ +/* { dg-final { scan-tree-dump-times "VIEW_CONVERT_EXPR" 1 "forwprop1" { xfail *-*-* } } } */ /* { dg-final { cleanup-tree-dump "forwprop1" } } */ diff --git a/gcc/testsuite/gcc.dg/tree-ssa/fre-vce-1.c b/gcc/testsuite/gcc.dg/tree-ssa/fre-vce-1.c index 2bc6da33235..340f56893ca 100644 --- a/gcc/testsuite/gcc.dg/tree-ssa/fre-vce-1.c +++ b/gcc/testsuite/gcc.dg/tree-ssa/fre-vce-1.c @@ -32,6 +32,7 @@ void a2 (struct s1 sv, int i) } /* { dg-final { scan-tree-dump-times "sv_\[0-9\]\\\(D\\\)->i" 2 "fre" } } */ -/* { dg-final { scan-tree-dump-times "sv.i" 2 "fre" } } */ - +/* We can't value-number *(float *)&sv.i as VIEW_CONVERT_EXPR of the + value of sv.i. */ +/* { dg-final { scan-tree-dump-times "sv.i" 2 "fre" { xfail *-*-* } } } */ /* { dg-final { cleanup-tree-dump "fre" } } */ |