From d1ab0a32adf366f2254e05235efbf88b20a0e3a1 Mon Sep 17 00:00:00 2001 From: Claudiu Zissulescu Date: Tue, 28 Mar 2017 10:56:33 +0200 Subject: [PATCH] [ARC] Update ARC SIMD patterns. vec_select expects in selection a list of subparts. The old ARC SIMD extension instructions were not up-to-date. gcc/ 2017-03-28 Claudiu Zissulescu * config/arc/simdext.md (vst64_insn): Update pattern. (vld32wh_insn): Likewise. (vld32wl_insn): Likewise. (vld64_insn): Likewise. (vld32_insn): Likewise. From-SVN: r246523 --- gcc/ChangeLog | 8 ++++ gcc/config/arc/simdext.md | 98 ++++++++++++++++++++++++++++++++--------------- 2 files changed, 75 insertions(+), 31 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 6917859..732ad50 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,11 @@ +2017-03-28 Claudiu Zissulescu + + * config/arc/simdext.md (vst64_insn): Update pattern. + (vld32wh_insn): Likewise. + (vld32wl_insn): Likewise. + (vld64_insn): Likewise. + (vld32_insn): Likewise. + 2017-03-28 Marek Polacek PR sanitizer/80067 diff --git a/gcc/config/arc/simdext.md b/gcc/config/arc/simdext.md index c9ec5f4..33bb330 100644 --- a/gcc/config/arc/simdext.md +++ b/gcc/config/arc/simdext.md @@ -193,11 +193,16 @@ ) (define_insn "vst64_insn" - [(set (mem:V4HI (plus:SI (zero_extend:SI (vec_select:HI (match_operand:V8HI 0 "vector_register_operand" "v") - (parallel [(match_operand:SI 1 "immediate_operand" "L")]))) - (match_operand:SI 2 "immediate_operand" "P"))) - (vec_select:V4HI (match_operand:V8HI 3 "vector_register_operand" "=v") - (parallel [(const_int 0)])))] + [(set (mem:V4HI + (plus:SI + (zero_extend:SI + (vec_select:HI (match_operand:V8HI 0 "vector_register_operand" "v") + (parallel + [(match_operand:SI 1 "immediate_operand" "L")]))) + (match_operand:SI 2 "immediate_operand" "P"))) + (vec_select:V4HI + (match_operand:V8HI 3 "vector_register_operand" "=v") + (parallel [(const_int 0) (const_int 1) (const_int 2) (const_int 3)])))] "TARGET_SIMD_SET" "vst64 %3, [i%1, %2]" [(set_attr "type" "simd_vstore") @@ -1191,12 +1196,20 @@ (set_attr "cond" "nocond")]) (define_insn "vld32wh_insn" - [(set (match_operand:V8HI 0 "vector_register_operand" "=v") - (vec_concat:V8HI (zero_extend:V4HI (mem:V4QI (plus:SI (match_operand:SI 1 "immediate_operand" "P") - (zero_extend: SI (vec_select:HI (match_operand:V8HI 2 "vector_register_operand" "v") - (parallel [(match_operand:SI 3 "immediate_operand" "L")])))))) - (vec_select:V4HI (match_dup 0) - (parallel [(const_int 0)]))))] + [(set (match_operand:V8HI 0 "vector_register_operand" "=v") + (vec_concat:V8HI + (zero_extend:V4HI + (mem:V4QI + (plus:SI + (match_operand:SI 1 "immediate_operand" "P") + (zero_extend:SI + (vec_select:HI + (match_operand:V8HI 2 "vector_register_operand" "v") + (parallel [(match_operand:SI 3 "immediate_operand" "L")])))))) + (vec_select:V4HI + (match_dup 0) + (parallel [(const_int 0) (const_int 1) (const_int 2) (const_int 3)]) + )))] "TARGET_SIMD_SET" "vld32wh %0, [i%3,%1]" [(set_attr "type" "simd_vload") @@ -1204,12 +1217,20 @@ (set_attr "cond" "nocond")]) (define_insn "vld32wl_insn" - [(set (match_operand:V8HI 0 "vector_register_operand" "=v") - (vec_concat:V8HI (vec_select:V4HI (match_dup 0) - (parallel [(const_int 1)])) - (zero_extend:V4HI (mem:V4QI (plus:SI (match_operand:SI 1 "immediate_operand" "P") - (zero_extend: SI (vec_select:HI (match_operand:V8HI 2 "vector_register_operand" "v") - (parallel [(match_operand:SI 3 "immediate_operand" "L")])))))) ))] + [(set (match_operand:V8HI 0 "vector_register_operand" "=v") + (vec_concat:V8HI + (vec_select:V4HI + (match_dup 0) + (parallel [(const_int 4) (const_int 5) (const_int 6) (const_int 7)])) + (zero_extend:V4HI + (mem:V4QI + (plus:SI + (match_operand:SI 1 "immediate_operand" "P") + (zero_extend:SI + (vec_select:HI (match_operand:V8HI 2 "vector_register_operand" "v") + (parallel + [(match_operand:SI 3 "immediate_operand" "L")])) + ))))))] "TARGET_SIMD_SET" "vld32wl %0, [i%3,%1]" [(set_attr "type" "simd_vload") @@ -1229,12 +1250,19 @@ ) (define_insn "vld64_insn" - [(set (match_operand:V8HI 0 "vector_register_operand" "=v") - (vec_concat:V8HI (vec_select:V4HI (match_dup 0) - (parallel [(const_int 1)])) - (mem:V4HI (plus:SI (match_operand:SI 1 "immediate_operand" "P") - (zero_extend: SI (vec_select:HI (match_operand:V8HI 2 "vector_register_operand" "v") - (parallel [(match_operand:SI 3 "immediate_operand" "L")]))))) ))] + [(set (match_operand:V8HI 0 "vector_register_operand" "=v") + (vec_concat:V8HI + (vec_select:V4HI + (match_dup 0) + (parallel [(const_int 4) (const_int 5) (const_int 6) (const_int 7)])) + (mem:V4HI + (plus:SI + (match_operand:SI 1 "immediate_operand" "P") + (zero_extend:SI + (vec_select:HI + (match_operand:V8HI 2 "vector_register_operand" "v") + (parallel [(match_operand:SI 3 "immediate_operand" "L")])) + )))))] "TARGET_SIMD_SET" "vld64 %0, [i%3,%1]" [(set_attr "type" "simd_vload") @@ -1242,14 +1270,22 @@ (set_attr "cond" "nocond")]) (define_insn "vld32_insn" - [(set (match_operand:V8HI 0 "vector_register_operand" "=v") - (vec_concat:V8HI (vec_select:V4HI (match_dup 0) - (parallel [(const_int 1)])) - (vec_concat:V4HI (vec_select:V2HI (match_dup 0) - (parallel [(const_int 1)])) - (mem:V2HI (plus:SI (match_operand:SI 1 "immediate_operand" "P") - (zero_extend: SI (vec_select:HI (match_operand:V8HI 2 "vector_register_operand" "v") - (parallel [(match_operand:SI 3 "immediate_operand" "L")])))))) ))] + [(set (match_operand:V8HI 0 "vector_register_operand" "=v") + (vec_concat:V8HI + (vec_select:V4HI + (match_dup 0) + (parallel [(const_int 4) (const_int 5) (const_int 6) (const_int 7)])) + (vec_concat:V4HI + (vec_select:V2HI + (match_dup 0) + (parallel [(const_int 2) (const_int 3)])) + (mem:V2HI + (plus:SI + (match_operand:SI 1 "immediate_operand" "P") + (zero_extend:SI + (vec_select:HI + (match_operand:V8HI 2 "vector_register_operand" "v") + (parallel [(match_operand:SI 3 "immediate_operand" "L")]))))))))] "TARGET_SIMD_SET" "vld32 %0, [i%3,%1]" [(set_attr "type" "simd_vload") -- 2.7.4