predicates.md (register_sse4nonimm_operand): New predicate.

	* config/i386/predicates.md (register_sse4nonimm_operand): New
	predicate.
	* config/i386/sse.md (PEXTR_MODE12): New mode iterator.
	(*vec_extract<mode>): Use PEXTR_MODE12 instead of VI12_128 mode.
	Use register_sse4nonimm_operand as operand 0 predicate.
	(*vec_extractv8hi_sse2): Remove insn pattern.
	(*vec_extract<PEXTR_MODE12:mode>_zext): Merge insn pattern from
	*vec_extractv8hi_zext and *vec_extractv16qi_zext patterns.

From-SVN: r228178

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 9734b08547e405193a4357058d5b4dfc30510f10..5c956045c86681bc3091deca611ae9f604add1ab 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,14 @@
+2015-09-27  Uros Bizjak  <ubizjak@gmail.com>
+
+       * config/i386/predicates.md (register_sse4nonimm_operand): New
+       predicate.
+       * config/i386/sse.md (PEXTR_MODE12): New mode iterator.
+       (*vec_extract<mode>): Use PEXTR_MODE12 instead of VI12_128 mode.
+       Use register_sse4nonimm_operand as operand 0 predicate.
+       (*vec_extractv8hi_sse2): Remove insn pattern.
+       (*vec_extract<PEXTR_MODE12:mode>_zext): Merge insn pattern from
+       *vec_extractv8hi_zext and *vec_extractv16qi_zext patterns.
+
 2015-09-27  Oleg Endo  <olegendo@gcc.gnu.org>
            Kaz Kojima  <kkojima@gcc.gnu.org>
 

diff --git a/gcc/config/i386/predicates.md b/gcc/config/i386/predicates.md
index bc76a5b7ceea5d488dde3e29ae05480d4c28122c..042b9494a2bf46593694cb2b3c901062adb2bb4c 100644 (file)
--- a/gcc/config/i386/predicates.md
+++ b/gcc/config/i386/predicates.md
@@ -127,6 +127,12 @@
     (match_operand 0 "nonimmediate_operand")
     (match_operand 0 "register_operand")))
 
+;; Match register operands, include memory operand for TARGET_SSE4_1.
+(define_predicate "register_sse4nonimm_operand"
+  (if_then_else (match_test "TARGET_SSE4_1")
+    (match_operand 0 "nonimmediate_operand")
+    (match_operand 0 "register_operand")))
+
 ;; Return true if VALUE is symbol reference
 (define_predicate "symbol_operand"
   (match_code "symbol_ref"))

diff --git a/gcc/config/i386/sse.md b/gcc/config/i386/sse.md
index 0a57db001c85eba0e60f074de00969817077de77..4eefb4529b87980e2bf231117fda2b448d10ddb8 100644 (file)
--- a/gcc/config/i386/sse.md
+++ b/gcc/config/i386/sse.md
@@ -12864,23 +12864,21 @@
    (set_attr "prefix" "maybe_vex,maybe_vex,orig,orig,vex")
    (set_attr "mode" "TI,TI,V4SF,SF,SF")])
 
+;; QI and HI modes handled by pextr patterns.
+(define_mode_iterator PEXTR_MODE12
+  [(V16QI "TARGET_SSE4_1") V8HI])
+
 (define_insn "*vec_extract<mode>"
-  [(set (match_operand:<ssescalarmode> 0 "nonimmediate_operand" "=r,m")
+  [(set (match_operand:<ssescalarmode> 0 "register_sse4nonimm_operand" "=r,m")
        (vec_select:<ssescalarmode>
-         (match_operand:VI12_128 1 "register_operand" "x,x")
+         (match_operand:PEXTR_MODE12 1 "register_operand" "x,x")
          (parallel
            [(match_operand:SI 2 "const_0_to_<ssescalarnummask>_operand")])))]
-  "TARGET_SSE4_1"
-  "@
-   %vpextr<ssemodesuffix>\t{%2, %1, %k0|%k0, %1, %2}
-   %vpextr<ssemodesuffix>\t{%2, %1, %0|%0, %1, %2}"
-  [(set_attr "type" "sselog1")
-   (set (attr "prefix_data16")
-     (if_then_else
-       (and (eq_attr "alternative" "0")
-           (eq (const_string "<MODE>mode") (const_string "V8HImode")))
-       (const_string "1")
-       (const_string "*")))
+  "TARGET_SSE2"
+  "%vpextr<ssemodesuffix>\t{%2, %1, %k0|%k0, %1, %2}"
+  [(set_attr "isa" "*,sse4")
+   (set_attr "type" "sselog1")
+   (set_attr "prefix_data16" "1")
    (set (attr "prefix_extra")
      (if_then_else
        (and (eq_attr "alternative" "0")
@@ -12891,45 +12889,23 @@
    (set_attr "prefix" "maybe_vex")
    (set_attr "mode" "TI")])
 
-(define_insn "*vec_extractv8hi_sse2"
-  [(set (match_operand:HI 0 "register_operand" "=r")
-       (vec_select:HI
-         (match_operand:V8HI 1 "register_operand" "x")
-         (parallel
-           [(match_operand:SI 2 "const_0_to_7_operand")])))]
-  "TARGET_SSE2 && !TARGET_SSE4_1"
-  "pextrw\t{%2, %1, %k0|%k0, %1, %2}"
-  [(set_attr "type" "sselog1")
-   (set_attr "prefix_data16" "1")
-   (set_attr "length_immediate" "1")
-   (set_attr "mode" "TI")])
-
-(define_insn "*vec_extractv16qi_zext"
-  [(set (match_operand:SWI48 0 "register_operand" "=r")
-       (zero_extend:SWI48
-         (vec_select:QI
-           (match_operand:V16QI 1 "register_operand" "x")
-           (parallel
-             [(match_operand:SI 2 "const_0_to_15_operand")]))))]
-  "TARGET_SSE4_1"
-  "%vpextrb\t{%2, %1, %k0|%k0, %1, %2}"
-  [(set_attr "type" "sselog1")
-   (set_attr "prefix_extra" "1")
-   (set_attr "length_immediate" "1")
-   (set_attr "prefix" "maybe_vex")
-   (set_attr "mode" "TI")])
-
-(define_insn "*vec_extractv8hi_zext"
+(define_insn "*vec_extract<PEXTR_MODE12:mode>_zext"
   [(set (match_operand:SWI48 0 "register_operand" "=r")
        (zero_extend:SWI48
-         (vec_select:HI
-           (match_operand:V8HI 1 "register_operand" "x")
+         (vec_select:<PEXTR_MODE12:ssescalarmode>
+           (match_operand:PEXTR_MODE12 1 "register_operand" "x")
            (parallel
-             [(match_operand:SI 2 "const_0_to_7_operand")]))))]
+             [(match_operand:SI 2
+               "const_0_to_<PEXTR_MODE12:ssescalarnummask>_operand")]))))]
   "TARGET_SSE2"
-  "%vpextrw\t{%2, %1, %k0|%k0, %1, %2}"
+  "%vpextr<PEXTR_MODE12:ssemodesuffix>\t{%2, %1, %k0|%k0, %1, %2}"
   [(set_attr "type" "sselog1")
    (set_attr "prefix_data16" "1")
+   (set (attr "prefix_extra")
+     (if_then_else
+       (eq (const_string "<PEXTR_MODE12:MODE>mode") (const_string "V8HImode"))
+       (const_string "*")
+       (const_string "1")))
    (set_attr "length_immediate" "1")
    (set_attr "prefix" "maybe_vex")
    (set_attr "mode" "TI")])
@@ -18347,8 +18323,7 @@
                              3 "register_operand")
                           (match_operand:SI 5 "const1248_operand ")]))
                      (mem:BLK (scratch))
-                     (match_operand:<VEC_GATHER_SRCDI>
-                       4 "register_operand")]
+                     (match_operand:<VEC_GATHER_SRCDI> 4 "register_operand")]
                     UNSPEC_GATHER))
              (clobber (match_scratch:VEC_GATHER_MODE 6))])]
   "TARGET_AVX2"