;;- Machine description for GNU compiler -- S/390 / zSeries version. ;; Subst patterns. ;; Copyright (C) 2016-2018 Free Software Foundation, Inc. ;; Contributed by Andreas Krebbel (Andreas.Krebbel@de.ibm.com)
;; This file is part of GCC.
;; GCC is free software; you can redistribute it and/or modify it under ;; the terms of the GNU General Public License as published by the Free ;; Software Foundation; either version 3, or (at your option) any later ;; version.
;; GCC is distributed in the hope that it will be useful, but WITHOUT ANY ;; WARRANTY; without even the implied warranty of MERCHANTABILITY or ;; FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License ;; for more details.
;; You should have received a copy of the GNU General Public License ;; along with GCC; see the file COPYING3. If not see ;; http://www.gnu.org/licenses/.
(define_code_iterator SUBST [rotate ashift lshiftrt ashiftrt]) (define_mode_iterator DSI_VI [SI DI V2QI V4QI V8QI V16QI V2HI V4HI V8HI V2SI V4SI V2DI])
; This expands an register/immediate operand to a register+immediate ; operand to draw advantage of the address style operand format ; providing a addition for free. (define_subst “addr_style_op_subst” [(set (match_operand:DSI_VI 0 "" "") (SUBST:DSI_VI (match_operand:DSI_VI 1 "" "") (match_operand:SI 2 "" "")))] "" [(set (match_dup 0) (SUBST:DSI_VI (match_dup 1) (plus:SI (match_operand:SI 2 “register_operand” “a”) (match_operand 3 “const_int_operand” “n”))))])
; Use this in the insn name. (define_subst_attr “addr_style_op” “addr_style_op_subst” "" “_plus”)
; In the subst pattern the additional const int operand will be used ; as displacement. In the normal version %Y is able to print the ; operand either as displacement or as base register. (define_subst_attr “addr_style_op_ops” “addr_style_op_subst” “%Y2” “%Y3(%2)”)
; This substitution adds an explicit AND operation to the second ; operand. This way previous operations on the now masked out bits ; might get optimized away. (define_subst “masked_op_subst” [(set (match_operand:DSI 0 "" "") (SUBST:DSI (match_operand:DSI 1 "" "") (match_operand:SI 2 "" "")))] "" [(set (match_dup 0) (SUBST:DSI (match_dup 1) (and:SI (match_dup 2) (match_operand:SI 3 “const_int_6bitset_operand” “jm6”))))])
; Use this in the insn name. (define_subst_attr “masked_op” “masked_op_subst” "" “_and”)
; This is like the addr_style_op substitution above but with a CC clobber. (define_subst “addr_style_op_cc_subst” [(set (match_operand:DSI 0 "" "") (ashiftrt:DSI (match_operand:DSI 1 "" "") (match_operand:SI 2 "" ""))) (clobber (reg:CC CC_REGNUM))] “REG_P (operands[2])” [(set (match_dup 0) (ashiftrt:DSI (match_dup 1) (plus:SI (match_dup 2) (match_operand 3 “const_int_operand” “n”)))) (clobber (reg:CC CC_REGNUM))])
(define_subst_attr “addr_style_op_cc” “addr_style_op_cc_subst” "" “_plus”) (define_subst_attr “addr_style_op_cc_ops” “addr_style_op_cc_subst” “%Y2” “%Y3(%2)”)
; This is like the masked_op substitution but with a CC clobber. (define_subst “masked_op_cc_subst” [(set (match_operand:DSI 0 "" "") (ashiftrt:DSI (match_operand:DSI 1 "" "") (match_operand:SI 2 "" ""))) (clobber (reg:CC CC_REGNUM))] "" [(set (match_dup 0) (ashiftrt:DSI (match_dup 1) (and:SI (match_dup 2) (match_operand:SI 3 “const_int_6bitset_operand” "")))) (clobber (reg:CC CC_REGNUM))]) (define_subst_attr “masked_op_cc” “masked_op_cc_subst” "" “_and”)
; This adds an explicit CC reg set to an operation while keeping the ; set for the operation result as well. (define_subst “setcc_subst” [(set (match_operand:DSI 0 "" "") (match_operand:DSI 1 "" "")) (clobber (reg:CC CC_REGNUM))] “s390_match_ccmode(insn, CCSmode)” [(set (reg CC_REGNUM) (compare (match_dup 1) (const_int 0))) (set (match_dup 0) (match_dup 1))])
; Use this in the insn name. (define_subst_attr “setcc” “setcc_subst” "" “_cc”)
; This adds an explicit CC reg set to an operation while dropping the ; result of the operation. (define_subst “cconly_subst” [(set (match_operand:DSI 0 "" "") (match_operand:DSI 1 "" "")) (clobber (reg:CC CC_REGNUM))] “s390_match_ccmode(insn, CCSmode)” [(set (reg CC_REGNUM) (compare (match_dup 1) (const_int 0))) (clobber (match_scratch:DSI 0 “=d,d”))])
(define_subst_attr “cconly” “cconly_subst” "" “_cconly”)
; Does transformations to switch between patterns unsing risbg + ; clobber CC (z10) and risbgn without clobber (zEC12). (define_subst “clobbercc_or_nocc_subst” [(set (match_operand 0 "" "") (match_operand 1 "" ""))] "" [(set (match_dup 0) (match_dup 1)) (clobber (reg:CC CC_REGNUM))])
; Use this in the insn name to add the target suffix. (define_subst_attr “clobbercc_or_nocc” “clobbercc_or_nocc_subst” “_nocc” “_clobbercc”)
; Use this in the condition. (define_subst_attr “z10_or_zEC12_cond” “clobbercc_or_nocc_subst” “TARGET_ZEC12” “TARGET_Z10 && ! TARGET_ZEC12”)
; Use this instead of the risbg instruction. (define_subst_attr “risbg_n” “clobbercc_or_nocc_subst” “risbgn” “risbg”)