summaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
authorIlya Leoshkevich <iii@linux.ibm.com>2022-07-29 16:14:10 +0200
committerIlya Leoshkevich <iii@linux.ibm.com>2022-08-04 12:28:43 +0200
commit2f17f489de47d46626ed85804c3b810547ef550e (patch)
tree8f6bc4586dd4e152573baed053c80474a24c93a1 /gcc
parent4c23b534d472c2b22860180868d7cf65d4d8cf31 (diff)
PR106342 - IBM zSystems: Provide vsel for all vector modes
dg.exp=pr104612.c fails with an ICE on s390x, because copysignv2sf3 produces an insn that vsel<mode> is supposed to recognize, but can't, because it's not defined for V2SF. Fix by defining it for all vector modes supported by copysign<mode>3. gcc/ChangeLog: * config/s390/vector.md (V_HW_FT): New iterator. * config/s390/vx-builtins.md (vsel<mode>): Use V_HW_FT instead of V_HW.
Diffstat (limited to 'gcc')
-rw-r--r--gcc/config/s390/vector.md6
-rw-r--r--gcc/config/s390/vx-builtins.md12
2 files changed, 12 insertions, 6 deletions
diff --git a/gcc/config/s390/vector.md b/gcc/config/s390/vector.md
index a6c4b4eb974..624729814af 100644
--- a/gcc/config/s390/vector.md
+++ b/gcc/config/s390/vector.md
@@ -63,6 +63,12 @@
V1DF V2DF
(V1TF "TARGET_VXE") (TF "TARGET_VXE")])
+; All modes present in V_HW and VFT.
+(define_mode_iterator V_HW_FT [V16QI V8HI V4SI V2DI (V1TI "TARGET_VXE") V1DF
+ V2DF (V1SF "TARGET_VXE") (V2SF "TARGET_VXE")
+ (V4SF "TARGET_VXE") (V1TF "TARGET_VXE")
+ (TF "TARGET_VXE")])
+
; FP vector modes directly supported by the HW. This does not include
; vector modes using only part of a vector register and should be used
; for instructions which might trigger IEEE exceptions.
diff --git a/gcc/config/s390/vx-builtins.md b/gcc/config/s390/vx-builtins.md
index d5130799804..98ee08b2683 100644
--- a/gcc/config/s390/vx-builtins.md
+++ b/gcc/config/s390/vx-builtins.md
@@ -517,12 +517,12 @@
; swapped in s390-c.cc when we get here.
(define_insn "vsel<mode>"
- [(set (match_operand:V_HW 0 "register_operand" "=v")
- (ior:V_HW
- (and:V_HW (match_operand:V_HW 1 "register_operand" "v")
- (match_operand:V_HW 3 "register_operand" "v"))
- (and:V_HW (not:V_HW (match_dup 3))
- (match_operand:V_HW 2 "register_operand" "v"))))]
+ [(set (match_operand:V_HW_FT 0 "register_operand" "=v")
+ (ior:V_HW_FT
+ (and:V_HW_FT (match_operand:V_HW_FT 1 "register_operand" "v")
+ (match_operand:V_HW_FT 3 "register_operand" "v"))
+ (and:V_HW_FT (not:V_HW_FT (match_dup 3))
+ (match_operand:V_HW_FT 2 "register_operand" "v"))))]
"TARGET_VX"
"vsel\t%v0,%1,%2,%3"
[(set_attr "op_type" "VRR")])