1;;- Machine description for GNU compiler -- S/390 / zSeries version. 2;; Subst patterns. 3;; Copyright (C) 2016-2018 Free Software Foundation, Inc. 4;; Contributed by Andreas Krebbel (Andreas.Krebbel@de.ibm.com) 5 6;; This file is part of GCC. 7 8;; GCC is free software; you can redistribute it and/or modify it under 9;; the terms of the GNU General Public License as published by the Free 10;; Software Foundation; either version 3, or (at your option) any later 11;; version. 12 13;; GCC is distributed in the hope that it will be useful, but WITHOUT ANY 14;; WARRANTY; without even the implied warranty of MERCHANTABILITY or 15;; FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 16;; for more details. 17 18;; You should have received a copy of the GNU General Public License 19;; along with GCC; see the file COPYING3. If not see 20;; <http://www.gnu.org/licenses/>. 21 22(define_code_iterator SUBST [rotate ashift lshiftrt ashiftrt]) 23(define_mode_iterator DSI_VI [SI DI V2QI V4QI V8QI V16QI V2HI V4HI V8HI V2SI V4SI V2DI]) 24 25; This expands an register/immediate operand to a register+immediate 26; operand to draw advantage of the address style operand format 27; providing a addition for free. 28(define_subst "addr_style_op_subst" 29 [(set (match_operand:DSI_VI 0 "" "") 30 (SUBST:DSI_VI (match_operand:DSI_VI 1 "" "") 31 (match_operand:SI 2 "" "")))] 32 "" 33 [(set (match_dup 0) 34 (SUBST:DSI_VI (match_dup 1) 35 (plus:SI (match_operand:SI 2 "register_operand" "a") 36 (match_operand 3 "const_int_operand" "n"))))]) 37 38; Use this in the insn name. 39(define_subst_attr "addr_style_op" "addr_style_op_subst" "" "_plus") 40 41; In the subst pattern the additional const int operand will be used 42; as displacement. In the normal version %Y is able to print the 43; operand either as displacement or as base register. 44(define_subst_attr "addr_style_op_ops" "addr_style_op_subst" "%Y2" "%Y3(%2)") 45 46 47; This substitution adds an explicit AND operation to the second 48; operand. This way previous operations on the now masked out bits 49; might get optimized away. 50(define_subst "masked_op_subst" 51 [(set (match_operand:DSI 0 "" "") 52 (SUBST:DSI (match_operand:DSI 1 "" "") 53 (match_operand:SI 2 "" "")))] 54 "" 55 [(set (match_dup 0) 56 (SUBST:DSI (match_dup 1) 57 (and:SI (match_dup 2) 58 (match_operand:SI 3 "const_int_6bitset_operand" "jm6"))))]) 59 60; Use this in the insn name. 61(define_subst_attr "masked_op" "masked_op_subst" "" "_and") 62 63 64 65; This is like the addr_style_op substitution above but with a CC clobber. 66(define_subst "addr_style_op_cc_subst" 67 [(set (match_operand:DSI 0 "" "") 68 (ashiftrt:DSI (match_operand:DSI 1 "" "") 69 (match_operand:SI 2 "" ""))) 70 (clobber (reg:CC CC_REGNUM))] 71 "REG_P (operands[2])" 72 [(set (match_dup 0) 73 (ashiftrt:DSI (match_dup 1) 74 (plus:SI (match_dup 2) 75 (match_operand 3 "const_int_operand" "n")))) 76 (clobber (reg:CC CC_REGNUM))]) 77 78(define_subst_attr "addr_style_op_cc" "addr_style_op_cc_subst" "" "_plus") 79(define_subst_attr "addr_style_op_cc_ops" "addr_style_op_cc_subst" "%Y2" "%Y3(%2)") 80 81 82; This is like the masked_op substitution but with a CC clobber. 83(define_subst "masked_op_cc_subst" 84 [(set (match_operand:DSI 0 "" "") 85 (ashiftrt:DSI (match_operand:DSI 1 "" "") 86 (match_operand:SI 2 "" ""))) 87 (clobber (reg:CC CC_REGNUM))] 88 "" 89 [(set (match_dup 0) 90 (ashiftrt:DSI (match_dup 1) 91 (and:SI (match_dup 2) 92 (match_operand:SI 3 "const_int_6bitset_operand" "")))) 93 (clobber (reg:CC CC_REGNUM))]) 94(define_subst_attr "masked_op_cc" "masked_op_cc_subst" "" "_and") 95 96 97; This adds an explicit CC reg set to an operation while keeping the 98; set for the operation result as well. 99(define_subst "setcc_subst" 100 [(set (match_operand:DSI 0 "" "") 101 (match_operand:DSI 1 "" "")) 102 (clobber (reg:CC CC_REGNUM))] 103 "s390_match_ccmode(insn, CCSmode)" 104 [(set (reg CC_REGNUM) 105 (compare (match_dup 1) (const_int 0))) 106 (set (match_dup 0) (match_dup 1))]) 107 108; Use this in the insn name. 109(define_subst_attr "setcc" "setcc_subst" "" "_cc") 110 111; This adds an explicit CC reg set to an operation while dropping the 112; result of the operation. 113(define_subst "cconly_subst" 114 [(set (match_operand:DSI 0 "" "") 115 (match_operand:DSI 1 "" "")) 116 (clobber (reg:CC CC_REGNUM))] 117 "s390_match_ccmode(insn, CCSmode)" 118 [(set (reg CC_REGNUM) 119 (compare (match_dup 1) (const_int 0))) 120 (clobber (match_scratch:DSI 0 "=d,d"))]) 121 122(define_subst_attr "cconly" "cconly_subst" "" "_cconly") 123 124 125; Does transformations to switch between patterns unsing risbg + 126; clobber CC (z10) and risbgn without clobber (zEC12). 127(define_subst "clobbercc_or_nocc_subst" 128 [(set (match_operand 0 "" "") (match_operand 1 "" ""))] 129 "" 130 [(set (match_dup 0) (match_dup 1)) 131 (clobber (reg:CC CC_REGNUM))]) 132 133; Use this in the insn name to add the target suffix. 134(define_subst_attr "clobbercc_or_nocc" "clobbercc_or_nocc_subst" 135 "_nocc" "_clobbercc") 136 137; Use this in the condition. 138(define_subst_attr "z10_or_zEC12_cond" "clobbercc_or_nocc_subst" 139 "TARGET_ZEC12" "TARGET_Z10 && ! TARGET_ZEC12") 140 141; Use this instead of the risbg instruction. 142(define_subst_attr "risbg_n" "clobbercc_or_nocc_subst" 143 "risbgn" "risbg") 144