Hi, For nvptx we have: ... FAIL: gcc.dg/tree-ssa/ssa-dom-cse-2.c scan-tree-dump optimized "return 28;" ...
The test-case is compiled with -O3, which implies -ftree-loop-vectorize and -ftree-slp-vectorize.
I've investigated the test-case on x86_64, and there the test-case fails when specifying -fno-tree-loop-vectorize, but passes again when adding -fno-tree-slp-vectorize.
For nvptx, loop vectorization does nothing but slp vectorization manages to do a transformation, which matches the failing scenario on x86_64, and with similar gimple code.
So, I think we expect this scan test to fail for nvptx. Tested on nvptx and committed. Thanks, - Tom
Xfail ssa-dom-cse-2.c for nvptx 2018-01-08 Tom de Vries <t...@codesourcery.com> * gcc.dg/tree-ssa/ssa-dom-cse-2.c: Xfail scan for nvptx. --- gcc/testsuite/gcc.dg/tree-ssa/ssa-dom-cse-2.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gcc/testsuite/gcc.dg/tree-ssa/ssa-dom-cse-2.c b/gcc/testsuite/gcc.dg/tree-ssa/ssa-dom-cse-2.c index a660e82..7e88516 100644 --- a/gcc/testsuite/gcc.dg/tree-ssa/ssa-dom-cse-2.c +++ b/gcc/testsuite/gcc.dg/tree-ssa/ssa-dom-cse-2.c @@ -25,4 +25,4 @@ foo () but the loop reads only one element at a time, and DOM cannot resolve these. The same happens on powerpc depending on the SIMD support available. */ -/* { dg-final { scan-tree-dump "return 28;" "optimized" { xfail { { alpha*-*-* hppa*64*-*-* } || { lp64 && { powerpc*-*-* sparc*-*-* riscv*-*-* } } } } } } */ +/* { dg-final { scan-tree-dump "return 28;" "optimized" { xfail { { alpha*-*-* hppa*64*-*-* nvptx*-*-* } || { lp64 && { powerpc*-*-* sparc*-*-* riscv*-*-* } } } } } } */