+2017-02-02 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
+
+ * config/s390/s390.md: Add missing comments with the expanded
+ mnemonics.
+ * config/s390/vector.md: Likewise.
+ * config/s390/vx-builtins.md: Likewise.
+
2017-02-02 Jakub Jelinek <jakub@redhat.com>
PR target/79197
operands[6] = operands[0];
})
+; rosbg, rxsbg
(define_insn "*r<noxa>sbg_<mode>_noshift"
[(set (match_operand:GPR 0 "nonimmediate_operand" "=d")
(IXOR:GPR
"r<noxa>sbg\t%0,%1,%<bfstart>2,%<bfend>2,0"
[(set_attr "op_type" "RIE")])
+; rosbg, rxsbg
(define_insn "*r<noxa>sbg_di_rotl"
[(set (match_operand:DI 0 "nonimmediate_operand" "=d")
(IXOR:DI
"r<noxa>sbg\t%0,%1,%<bfstart>2,%<bfend>2,%b3"
[(set_attr "op_type" "RIE")])
+; rosbg, rxsbg
(define_insn "*r<noxa>sbg_<mode>_srl_bitmask"
[(set (match_operand:GPR 0 "nonimmediate_operand" "=d")
(IXOR:GPR
"r<noxa>sbg\t%0,%1,%<bfstart>2,%<bfend>2,64-%3"
[(set_attr "op_type" "RIE")])
+; rosbg, rxsbg
(define_insn "*r<noxa>sbg_<mode>_sll_bitmask"
[(set (match_operand:GPR 0 "nonimmediate_operand" "=d")
(IXOR:GPR
;; unsigned {int,long} a, b
;; a = a | (b << const_int)
;; a = a ^ (b << const_int)
+; rosbg, rxsbg
(define_insn "*r<noxa>sbg_<mode>_sll"
[(set (match_operand:GPR 0 "nonimmediate_operand" "=d")
(IXOR:GPR
;; unsigned {int,long} a, b
;; a = a | (b >> const_int)
;; a = a ^ (b >> const_int)
+; rosbg, rxsbg
(define_insn "*r<noxa>sbg_<mode>_srl"
[(set (match_operand:GPR 0 "nonimmediate_operand" "=d")
(IXOR:GPR
; FIXME: There is also mvcin but we cannot use it since src and target
; may overlap.
+; lrvr, lrv, strv, lrvgr, lrvg, strvg
(define_insn "bswap<mode>2"
[(set (match_operand:GPR 0 "nonimmediate_operand" "=d,d,T")
(bswap:GPR (match_operand:GPR 1 "nonimmediate_operand" " d,T,d")))]
(include "vx-builtins.md")
; Full HW vector size moves
+; vgmb, vgmh, vgmf, vgmg, vrepib, vrepih, vrepif, vrepig
(define_insn "mov<mode>"
[(set (match_operand:V_128 0 "nonimmediate_operand" "=v,v,R, v, v, v, v, v,v,d")
(match_operand:V_128 1 "general_operand" " v,R,v,j00,jm1,jyy,jxx,jKK,d,v"))]
; FIXME: A target memory operand seems to be useful otherwise we end
; up with vl vlvgg vst. Shouldn't the middle-end be able to handle
; that itself?
+; vlvgb, vlvgh, vlvgf, vlvgg, vleb, vleh, vlef, vleg, vleib, vleih, vleif, vleig
(define_insn "*vec_set<mode>"
[(set (match_operand:V 0 "register_operand" "=v,v,v")
(unspec:V [(match_operand:<non_vec> 1 "general_operand" "d,R,K")
vlei<bhfgq>\t%v0,%1,%2"
[(set_attr "op_type" "VRS,VRX,VRI")])
+; vlvgb, vlvgh, vlvgf, vlvgg
(define_insn "*vec_set<mode>_plus"
[(set (match_operand:V 0 "register_operand" "=v")
(unspec:V [(match_operand:<non_vec> 1 "general_operand" "d")
UNSPEC_VEC_EXTRACT))]
"TARGET_VX")
+; vlgvb, vlgvh, vlgvf, vlgvg, vsteb, vsteh, vstef, vsteg
(define_insn "*vec_extract<mode>"
[(set (match_operand:<non_vec> 0 "nonimmediate_operand" "=d,R")
(unspec:<non_vec> [(match_operand:V 1 "register_operand" "v,v")
vste<bhfgq>\t%v1,%0,%2"
[(set_attr "op_type" "VRS,VRX")])
+; vlgvb, vlgvh, vlgvf, vlgvg
(define_insn "*vec_extract<mode>_plus"
[(set (match_operand:<non_vec> 0 "nonimmediate_operand" "=d")
(unspec:<non_vec> [(match_operand:V 1 "register_operand" "v")
})
; Replicate from vector element
+; vrepb, vreph, vrepf, vrepg
(define_insn "*vec_splat<mode>"
[(set (match_operand:V_HW 0 "register_operand" "=v")
(vec_duplicate:V_HW
"vrep<bhfgq>\t%v0,%v1,%2"
[(set_attr "op_type" "VRI")])
+; vlrepb, vlreph, vlrepf, vlrepg, vrepib, vrepih, vrepif, vrepig, vrepb, vreph, vrepf, vrepg
(define_insn "*vec_splats<mode>"
[(set (match_operand:V_HW 0 "register_operand" "=v,v,v,v")
(vec_duplicate:V_HW (match_operand:<non_vec> 1 "general_operand" " R,K,v,d")))]
})
; Count leading zeros
+; vclzb, vclzh, vclzf, vclzg
(define_insn "clz<mode>2"
[(set (match_operand:V 0 "register_operand" "=v")
(clz:V (match_operand:V 1 "register_operand" "v")))]
[(set_attr "op_type" "VRR")])
; Count trailing zeros
+; vctzb, vctzh, vctzf, vctzg
(define_insn "ctz<mode>2"
[(set (match_operand:V 0 "register_operand" "=v")
(ctz:V (match_operand:V 1 "register_operand" "v")))]
; Vector gather element
+; vgef, vgeg
(define_insn "vec_gather_element<mode>"
[(set (match_operand:V_HW_32_64 0 "register_operand" "=v")
(unspec:V_HW_32_64 [(match_operand:V_HW_32_64 1 "register_operand" "0")
; vec_extract is also an RTL standard name -> vector.md
+; vllezb, vllezh, vllezf, vllezg
(define_insn "vec_insert_and_zero<mode>"
[(set (match_operand:V_HW 0 "register_operand" "=v")
(unspec:V_HW [(match_operand:<non_vec> 1 "memory_operand" "R")]
; FIXME: The following two patterns might using vec_merge. But what is
; the canonical form: (vec_select (vec_merge op0 op1)) or (vec_merge
; (vec_select op0) (vec_select op1)
+; vmrhb, vmrhh, vmrhf, vmrhg
(define_insn "vec_mergeh<mode>"
[(set (match_operand:V_HW 0 "register_operand" "=v")
(unspec:V_HW [(match_operand:V_HW 1 "register_operand" "v")
"vmrh<bhfgq>\t%v0,%1,%2"
[(set_attr "op_type" "VRR")])
+; vmrlb, vmrlh, vmrlf, vmrlg
(define_insn "vec_mergel<mode>"
[(set (match_operand:V_HW 0 "register_operand" "=v")
(unspec:V_HW [(match_operand:V_HW 1 "register_operand" "v")
; Vector pack
+; vpkh, vpkf, vpkg
(define_insn "vec_pack<mode>"
[(set (match_operand:<vec_half> 0 "register_operand" "=v")
(unspec:<vec_half> [(match_operand:VI_HW_HSD 1 "register_operand" "v")
; Vector pack saturate
+; vpksh, vpksf, vpksg
(define_insn "vec_packs<mode>"
[(set (match_operand:<vec_half> 0 "register_operand" "=v")
(unspec:<vec_half> [(match_operand:VI_HW_HSD 1 "register_operand" "v")
operands[4] = gen_reg_rtx (SImode);
})
+; vpksh, vpksf, vpksg
(define_insn "*vec_packs_cc<mode>"
[(set (reg:CCRAW CC_REGNUM)
(unspec:CCRAW [(match_operand:VI_HW_HSD 1 "register_operand" "v")
; Vector pack logical saturate
+; vpklsh, vpklsf, vpklsg
(define_insn "vec_packsu<mode>"
[(set (match_operand:<vec_half> 0 "register_operand" "=v")
(unspec:<vec_half> [(match_operand:VI_HW_HSD 1 "register_operand" "v")
operands[4] = gen_reg_rtx (SImode);
})
+; vpklsh, vpklsf, vpklsg
(define_insn "*vec_packsu_cc<mode>"
[(set (reg:CCRAW CC_REGNUM)
(unspec:CCRAW [(match_operand:VI_HW_HSD 1 "register_operand" "v")
[(set_attr "op_type" "VRV")])
; A 31 bit target address is generated from 64 bit elements
+; vsceg
(define_insn "vec_scatter_element<V_HW_64:mode>_SI"
[(set (mem:<non_vec>
(plus:SI (subreg:SI
[(set_attr "op_type" "VRV")])
; Element size and target address size is the same
+; vscef, vsceg
(define_insn "vec_scatter_element<mode>_<non_vec_int>"
[(set (mem:<non_vec>
(plus:<non_vec_int> (unspec:<non_vec_int>
; Vector sign extend to doubleword
; Sign extend of right most vector element to respective double-word
+; vsegb, vsegh, vsegf
(define_insn "vec_extend<mode>"
[(set (match_operand:VI_HW_QHS 0 "register_operand" "=v")
(unspec:VI_HW_QHS [(match_operand:VI_HW_QHS 1 "register_operand" "v")]
; Vector add compute carry
+; vaccb, vacch, vaccf, vaccg, vaccq
(define_insn "vacc<bhfgq>_<mode>"
[(set (match_operand:VIT_HW 0 "register_operand" "=v")
(unspec:VIT_HW [(match_operand:VIT_HW 1 "register_operand" "%v")
; Vector average
+; vavgb, vavgh, vavgf, vavgg
(define_insn "vec_avg<mode>"
[(set (match_operand:VI_HW 0 "register_operand" "=v")
(unspec:VI_HW [(match_operand:VI_HW 1 "register_operand" "%v")
; Vector average logical
+; vavglb, vavglh, vavglf, vavglg
(define_insn "vec_avgu<mode>"
[(set (match_operand:VI_HW 0 "register_operand" "=v")
(unspec:VI_HW [(match_operand:VI_HW 1 "register_operand" "%v")
; Vector Galois field multiply sum
+; vgfmb, vgfmh, vgfmf
(define_insn "vec_gfmsum<mode>"
[(set (match_operand:VI_HW_QHS 0 "register_operand" "=v")
(unspec:VI_HW_QHS [(match_operand:VI_HW_QHS 1 "register_operand" "v")
"vgfmg\t%v0,%v1,%v2"
[(set_attr "op_type" "VRR")])
+; vgfmab, vgfmah, vgfmaf
(define_insn "vec_gfmsum_accum<mode>"
[(set (match_operand:<vec_double> 0 "register_operand" "=v")
(unspec:<vec_double> [(match_operand:VI_HW_QHS 1 "register_operand" "v")
; Vector subtract compute borrow indication
+; vscbib, vscbih, vscbif, vscbig, vscbiq
(define_insn "vscbi<bhfgq>_<mode>"
[(set (match_operand:VIT_HW 0 "register_operand" "=v")
(unspec:VIT_HW [(match_operand:VIT_HW 1 "register_operand" "v")