From fd9ee5972eb7ceb1e8da07b854431f1c7375ef53 Mon Sep 17 00:00:00 2001 From: Uros Bizjak Date: Sun, 20 Nov 2011 23:26:14 +0100 Subject: re PR target/51235 (ICE: in extract_insn, at recog.c:2137 (unrecognizable insn) with -O -ftree-vectorize -mavx2 -mxop) PR target/51235 * config/i386/i386.c (ix86_expand_vcond): Generate TARGET_XOP patterns for supported mode only. PR target/51236 * config/i386/i386.c (ix86_expand_builtin) : Use CODE_FOR_avx2_gathersiv4di. testsuite/ChangeLog: PR target/51235 * gcc.target/i386/pr51235.c: New test. PR target/51236 * gcc.target/i386/pr51236.c: New test. From-SVN: r181537 --- gcc/ChangeLog | 10 ++++++++++ gcc/config/i386/i386.c | 10 +++++++--- gcc/testsuite/ChangeLog | 8 ++++++++ gcc/testsuite/gcc.target/i386/pr51235.c | 17 +++++++++++++++++ gcc/testsuite/gcc.target/i386/pr51236.c | 12 ++++++++++++ 5 files changed, 54 insertions(+), 3 deletions(-) create mode 100644 gcc/testsuite/gcc.target/i386/pr51235.c create mode 100644 gcc/testsuite/gcc.target/i386/pr51236.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index d2ed66a..9bef97d 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,15 @@ 2011-11-20 Uros Bizjak + PR target/51235 + * config/i386/i386.c (ix86_expand_vcond): Generate TARGET_XOP + patterns for supported mode only. + + PR target/51236 + * config/i386/i386.c (ix86_expand_builtin) + : Use CODE_FOR_avx2_gathersiv4di. + +2011-11-20 Uros Bizjak + * config/i386/i386.md (UNSPEC_MOVNTI): Remove. (UNSPEC_MOVNTQ): New unspec. * config/i386/mmx.md (sse_movntq): Rename from sse_movntdi. diff --git a/gcc/config/i386/i386.c b/gcc/config/i386/i386.c index d92f8e2..3436820 100644 --- a/gcc/config/i386/i386.c +++ b/gcc/config/i386/i386.c @@ -19619,8 +19619,12 @@ ix86_expand_int_vcond (rtx operands[]) cop0 = operands[4]; cop1 = operands[5]; - /* XOP supports all of the comparisons on all vector int types. */ - if (!TARGET_XOP) + /* XOP supports all of the comparisons on all 128-bit vector int types. */ + if (TARGET_XOP + && (mode == V16QImode || mode == V8HImode + || mode == V4SImode || mode == V2DImode)) + ; + else { /* Canonicalize the comparison to EQ, GT, GTU. */ switch (code) @@ -30013,7 +30017,7 @@ rdrand_step: icode = CODE_FOR_avx2_gatherdiv8sf; goto gather_gen; case IX86_BUILTIN_GATHERALTSIV4DI: - icode = CODE_FOR_avx2_gathersiv4df; + icode = CODE_FOR_avx2_gathersiv4di; goto gather_gen; case IX86_BUILTIN_GATHERALTDIV8SI: icode = CODE_FOR_avx2_gatherdiv8si; diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 6c85640..2a9c6d1 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,11 @@ +2011-11-20 Uros Bizjak + + PR target/51235 + * gcc.target/i386/pr51235.c: New test. + + PR target/51236 + * gcc.target/i386/pr51236.c: New test. + 2011-11-20 Eric Botcazou * gnat.dg/discr32.adb: New test. diff --git a/gcc/testsuite/gcc.target/i386/pr51235.c b/gcc/testsuite/gcc.target/i386/pr51235.c new file mode 100644 index 0000000..c99d5c0 --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/pr51235.c @@ -0,0 +1,17 @@ +/* { dg-do compile } */ +/* { dg-options "-O -ftree-vectorize -mxop -mavx2" } */ + +void *foo (int count, void **list) +{ + void *minaddr = list[0]; + int i; + + for (i = 1; i < count; i++) + { + void *addr = list[i]; + if (addr < minaddr) + minaddr = addr; + } + + return minaddr; +} diff --git a/gcc/testsuite/gcc.target/i386/pr51236.c b/gcc/testsuite/gcc.target/i386/pr51236.c new file mode 100644 index 0000000..63bfaee --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/pr51236.c @@ -0,0 +1,12 @@ +/* { dg-do compile } */ +/* { dg-options "-O -ftree-vectorize -mavx2" } */ + +long foo (long *p, int i) +{ + long x = 0; + + while (--i) + x ^= p[i]; + + return x; +} -- cgit v1.1