Merge lp:~uweigand/gcc-linaro/vect-patches-4.7 into lp:gcc-linaro/4.7

[Ulrich Weigand]

Ported Linaro GCC 4.6 vectorizer patches:
- Handle non-constants in mixed size condition
- Support pattern detection for basic blocks

[Michael Hope (michaelh1)]

cbuild has taken a snapshot of this branch at r114967 and queued it for build.

The diff against the ancestor r114966 is available at:
 http://builds.linaro.org/toolchain/snapshots/gcc-linaro-4.7+bzr114967~uweigand~vect-patches-4.7.diff

and will be built on the following builders:
 a9-builder armv5-builder i686 x86_64

You can track the build queue at:
 http://ex.seabright.co.nz/helpers/scheduler

cbuild-snapshot: gcc-linaro-4.7+bzr114967~uweigand~vect-patches-4.7
cbuild-ancestor: lp:gcc-linaro/4.7+bzr114966
cbuild-state: check

[Michael Hope (michaelh1)]

cbuild had trouble building this on armv7l-natty-cbuild250-tcpanda03-armv5r2.

See the *failed.txt logs under the build results at:
 http://ex.seabright.co.nz/build/gcc-linaro-4.7+bzr114967~uweigand~vect-patches-4.7/logs/armv7l-natty-cbuild250-tcpanda03-armv5r2

The test suite results were not checked.

cbuild-checked: armv7l-natty-cbuild250-tcpanda03-armv5r2

review: Needs Fixing

[Michael Hope (michaelh1)]

cbuild had trouble building this on armv7l-natty-cbuild250-tcpanda04-cortexa9r1.

See the *failed.txt logs under the build results at:
 http://ex.seabright.co.nz/build/gcc-linaro-4.7+bzr114967~uweigand~vect-patches-4.7/logs/armv7l-natty-cbuild250-tcpanda04-cortexa9r1

The test suite results were not checked.

cbuild-checked: armv7l-natty-cbuild250-tcpanda04-cortexa9r1

review: Needs Fixing

[Michael Hope (michaelh1)]

cbuild successfully built this on i686-natty-cbuild250-oort2-i686r1.

The build results are available at:
 http://ex.seabright.co.nz/build/gcc-linaro-4.7+bzr114967~uweigand~vect-patches-4.7/logs/i686-natty-cbuild250-oort2-i686r1

+PASS: gcc.dg/vect/bb-slp-pattern-1.c (test for excess errors)
+PASS: gcc.dg/vect/bb-slp-pattern-1.c -flto (test for excess errors)
+PASS: gcc.dg/vect/bb-slp-pattern-1.c -flto execution test
+PASS: gcc.dg/vect/bb-slp-pattern-1.c -flto scan-tree-dump-times slp "pattern recognized" 8
+PASS: gcc.dg/vect/bb-slp-pattern-1.c -flto scan-tree-dump-times slp "vect_recog_widen_mult_pattern: detected" 8
+PASS: gcc.dg/vect/bb-slp-pattern-1.c -flto scan-tree-dump-times slp "vectorizing stmts using SLP" 1
+PASS: gcc.dg/vect/bb-slp-pattern-1.c execution test
+PASS: gcc.dg/vect/bb-slp-pattern-1.c scan-tree-dump-times slp "pattern recognized" 8
+PASS: gcc.dg/vect/bb-slp-pattern-1.c scan-tree-dump-times slp "vect_recog_widen_mult_pattern: detected" 8
+PASS: gcc.dg/vect/bb-slp-pattern-1.c scan-tree-dump-times slp "vectorizing stmts using SLP" 1
+PASS: gcc.dg/vect/bb-slp-pattern-2.c (test for excess errors)
+PASS: gcc.dg/vect/bb-slp-pattern-2.c -flto (test for excess errors)
+PASS: gcc.dg/vect/bb-slp-pattern-2.c -flto execution test
+PASS: gcc.dg/vect/bb-slp-pattern-2.c -flto scan-tree-dump-times slp "basic block vectorized using SLP" 1
+PASS: gcc.dg/vect/bb-slp-pattern-2.c execution test
+PASS: gcc.dg/vect/bb-slp-pattern-2.c scan-tree-dump-times slp "basic block vectorized using SLP" 1
+PASS: gcc.dg/vect/slp-cond-3.c (test for excess errors)
+PASS: gcc.dg/vect/slp-cond-3.c -flto (test for excess errors)
+PASS: gcc.dg/vect/slp-cond-3.c -flto execution test
+PASS: gcc.dg/vect/slp-cond-3.c -flto scan-tree-dump-times vect "vectorizing stmts using SLP" 1
+PASS: gcc.dg/vect/slp-cond-3.c execution test
+PASS: gcc.dg/vect/slp-cond-3.c scan-tree-dump-times vect "vectorizing stmts using SLP" 1
+PASS: gcc.dg/vect/slp-cond-4.c (test for excess errors)
+PASS: gcc.dg/vect/slp-cond-4.c -flto (test for excess errors)
+PASS: gcc.dg/vect/slp-cond-4.c -flto execution test
+PASS: gcc.dg/vect/slp-cond-4.c -flto scan-tree-dump-times vect "vectorizing stmts using SLP" 1
+PASS: gcc.dg/vect/slp-cond-4.c execution test
+PASS: gcc.dg/vect/slp-cond-4.c scan-tree-dump-times vect "vectorizing stmts using SLP" 1

The full diff is at:
 http://ex.seabright.co.nz/build/gcc-linaro-4.7+bzr114967~uweigand~vect-patches-4.7/logs/i686-natty-cbuild250-oort2-i686r1/testsuite-diff.txt

The full testsuite results are at:
 http://ex.seabright.co.nz/build/gcc-linaro-4.7+bzr114967~uweigand~vect-patches-4.7/logs/i686-natty-cbuild250-oort2-i686r1/gcc-testsuite.txt

cbuild-checked: i686-natty-cbuild250-oort2-i686r1

[Michael Hope (michaelh1)]

cbuild successfully built this on x86_64-natty-cbuild250-oort1-x86_64r1.

The build results are available at:
 http://ex.seabright.co.nz/build/gcc-linaro-4.7+bzr114967~uweigand~vect-patches-4.7/logs/x86_64-natty-cbuild250-oort1-x86_64r1

+PASS: gcc.dg/vect/bb-slp-pattern-1.c (test for excess errors)
+PASS: gcc.dg/vect/bb-slp-pattern-1.c -flto (test for excess errors)
+PASS: gcc.dg/vect/bb-slp-pattern-1.c -flto execution test
+PASS: gcc.dg/vect/bb-slp-pattern-1.c -flto scan-tree-dump-times slp "pattern recognized" 8
+PASS: gcc.dg/vect/bb-slp-pattern-1.c -flto scan-tree-dump-times slp "vect_recog_widen_mult_pattern: detected" 8
+PASS: gcc.dg/vect/bb-slp-pattern-1.c -flto scan-tree-dump-times slp "vectorizing stmts using SLP" 1
+PASS: gcc.dg/vect/bb-slp-pattern-1.c execution test
+PASS: gcc.dg/vect/bb-slp-pattern-1.c scan-tree-dump-times slp "pattern recognized" 8
+PASS: gcc.dg/vect/bb-slp-pattern-1.c scan-tree-dump-times slp "vect_recog_widen_mult_pattern: detected" 8
+PASS: gcc.dg/vect/bb-slp-pattern-1.c scan-tree-dump-times slp "vectorizing stmts using SLP" 1
+PASS: gcc.dg/vect/bb-slp-pattern-2.c (test for excess errors)
+PASS: gcc.dg/vect/bb-slp-pattern-2.c -flto (test for excess errors)
+PASS: gcc.dg/vect/bb-slp-pattern-2.c -flto execution test
+PASS: gcc.dg/vect/bb-slp-pattern-2.c -flto scan-tree-dump-times slp "basic block vectorized using SLP" 1
+PASS: gcc.dg/vect/bb-slp-pattern-2.c execution test
+PASS: gcc.dg/vect/bb-slp-pattern-2.c scan-tree-dump-times slp "basic block vectorized using SLP" 1
+PASS: gcc.dg/vect/slp-cond-3.c (test for excess errors)
+PASS: gcc.dg/vect/slp-cond-3.c -flto (test for excess errors)
+PASS: gcc.dg/vect/slp-cond-3.c -flto execution test
+PASS: gcc.dg/vect/slp-cond-3.c -flto scan-tree-dump-times vect "vectorizing stmts using SLP" 1
+PASS: gcc.dg/vect/slp-cond-3.c execution test
+PASS: gcc.dg/vect/slp-cond-3.c scan-tree-dump-times vect "vectorizing stmts using SLP" 1
+PASS: gcc.dg/vect/slp-cond-4.c (test for excess errors)
+PASS: gcc.dg/vect/slp-cond-4.c -flto (test for excess errors)
+PASS: gcc.dg/vect/slp-cond-4.c -flto execution test
+PASS: gcc.dg/vect/slp-cond-4.c -flto scan-tree-dump-times vect "vectorizing stmts using SLP" 1
+PASS: gcc.dg/vect/slp-cond-4.c execution test
+PASS: gcc.dg/vect/slp-cond-4.c scan-tree-dump-times vect "vectorizing stmts using SLP" 1

The full diff is at:
 http://ex.seabright.co.nz/build/gcc-linaro-4.7+bzr114967~uweigand~vect-patches-4.7/logs/x86_64-natty-cbuild250-oort1-x86_64r1/testsuite-diff.txt

The full testsuite results are at:
 http://ex.seabright.co.nz/build/gcc-linaro-4.7+bzr114967~uweigand~vect-patches-4.7/logs/x86_64-natty-cbuild250-oort1-x86_64r1/gcc-testsuite.txt

cbuild-checked: x86_64-natty-cbuild250-oort1-x86_64r1

[Michael Hope (michaelh1)]

cbuild successfully built this on armv7l-natty-cbuild250-tcpanda03-cortexa9r1.

The build results are available at:
 http://ex.seabright.co.nz/build/gcc-linaro-4.7+bzr114967~uweigand~vect-patches-4.7/logs/armv7l-natty-cbuild250-tcpanda03-cortexa9r1

+PASS: gcc.dg/vect/bb-slp-pattern-1.c (test for excess errors)
+PASS: gcc.dg/vect/bb-slp-pattern-1.c -flto (test for excess errors)
+PASS: gcc.dg/vect/bb-slp-pattern-1.c -flto execution test
+PASS: gcc.dg/vect/bb-slp-pattern-1.c -flto scan-tree-dump-times slp "pattern recognized" 8
+PASS: gcc.dg/vect/bb-slp-pattern-1.c -flto scan-tree-dump-times slp "vect_recog_widen_mult_pattern: detected" 8
+PASS: gcc.dg/vect/bb-slp-pattern-1.c -flto scan-tree-dump-times slp "vectorizing stmts using SLP" 1
+PASS: gcc.dg/vect/bb-slp-pattern-1.c execution test
+PASS: gcc.dg/vect/bb-slp-pattern-1.c scan-tree-dump-times slp "pattern recognized" 8
+PASS: gcc.dg/vect/bb-slp-pattern-1.c scan-tree-dump-times slp "vect_recog_widen_mult_pattern: detected" 8
+PASS: gcc.dg/vect/bb-slp-pattern-1.c scan-tree-dump-times slp "vectorizing stmts using SLP" 1
+UNSUPPORTED: gcc.dg/vect/bb-slp-pattern-2.c
+UNSUPPORTED: gcc.dg/vect/bb-slp-pattern-2.c -flto
+UNSUPPORTED: gcc.dg/vect/slp-cond-3.c
+UNSUPPORTED: gcc.dg/vect/slp-cond-3.c -flto
+UNSUPPORTED: gcc.dg/vect/slp-cond-4.c
+UNSUPPORTED: gcc.dg/vect/slp-cond-4.c -flto

The full diff is at:
 http://ex.seabright.co.nz/build/gcc-linaro-4.7+bzr114967~uweigand~vect-patches-4.7/logs/armv7l-natty-cbuild250-tcpanda03-cortexa9r1/testsuite-diff.txt

The full testsuite results are at:
 http://ex.seabright.co.nz/build/gcc-linaro-4.7+bzr114967~uweigand~vect-patches-4.7/logs/armv7l-natty-cbuild250-tcpanda03-cortexa9r1/gcc-testsuite.txt

cbuild-checked: armv7l-natty-cbuild250-tcpanda03-cortexa9r1

[Michael Hope (michaelh1)]

cbuild successfully built this on armv7l-natty-cbuild250-tcpanda06-armv5r2.

The build results are available at:
 http://ex.seabright.co.nz/build/gcc-linaro-4.7+bzr114967~uweigand~vect-patches-4.7/logs/armv7l-natty-cbuild250-tcpanda06-armv5r2

+PASS: gcc.dg/vect/bb-slp-pattern-1.c (test for excess errors)
+PASS: gcc.dg/vect/bb-slp-pattern-1.c -flto (test for excess errors)
+PASS: gcc.dg/vect/bb-slp-pattern-1.c -flto execution test
+PASS: gcc.dg/vect/bb-slp-pattern-1.c execution test
+UNSUPPORTED: gcc.dg/vect/bb-slp-pattern-2.c
+UNSUPPORTED: gcc.dg/vect/bb-slp-pattern-2.c -flto
+UNSUPPORTED: gcc.dg/vect/slp-cond-3.c
+UNSUPPORTED: gcc.dg/vect/slp-cond-3.c -flto
+UNSUPPORTED: gcc.dg/vect/slp-cond-4.c
+UNSUPPORTED: gcc.dg/vect/slp-cond-4.c -flto

The full diff is at:
 http://ex.seabright.co.nz/build/gcc-linaro-4.7+bzr114967~uweigand~vect-patches-4.7/logs/armv7l-natty-cbuild250-tcpanda06-armv5r2/testsuite-diff.txt

The full testsuite results are at:
 http://ex.seabright.co.nz/build/gcc-linaro-4.7+bzr114967~uweigand~vect-patches-4.7/logs/armv7l-natty-cbuild250-tcpanda06-armv5r2/gcc-testsuite.txt

cbuild-checked: armv7l-natty-cbuild250-tcpanda06-armv5r2

[Ulrich Weigand (uweigand)]

The newly added testcases were skipped because check_effective_target_vect_condition erroneously returns false on ARM/NEON. I'll update the merge request to fix this.