1 ;; Machine Description for Renesas RL78 processors
2 ;; Copyright (C) 2011 Free Software Foundation, Inc.
3 ;; Contributed by Red Hat.
5 ;; This file is part of GCC.
7 ;; GCC is free software; you can redistribute it and/or modify
8 ;; it under the terms of the GNU General Public License as published by
9 ;; the Free Software Foundation; either version 3, or (at your option)
12 ;; GCC is distributed in the hope that it will be useful,
13 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
14 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 ;; GNU General Public License for more details.
17 ;; You should have received a copy of the GNU General Public License
18 ;; along with GCC; see the file COPYING3. If not see
19 ;; <http://www.gnu.org/licenses/>.
21 ;;---------- Moving ------------------------
23 (define_expand "movqi"
24 [(set (match_operand:QI 0 "nonimmediate_operand")
25 (match_operand:QI 1 "general_operand"))]
28 if (MEM_P (operand0) && MEM_P (operand1))
29 operands[1] = copy_to_mode_reg (QImode, operand1);
30 if (rl78_far_p (operand0) && rl78_far_p (operand1))
31 operands[1] = copy_to_mode_reg (QImode, operand1);
33 /* FIXME: Not sure how GCC can generate (SUBREG (SYMBOL_REF)),
34 but it does. Since this makes no sense, reject it here. */
35 if (GET_CODE (operand1) == SUBREG
36 && GET_CODE (XEXP (operand1, 0)) == SYMBOL_REF)
39 if (CONST_INT_P (operand1) && ! IN_RANGE (INTVAL (operand1), (-1 << 8) + 1, (1 << 8) - 1))
44 (define_expand "movhi"
45 [(set (match_operand:HI 0 "nonimmediate_operand")
46 (match_operand:HI 1 "general_operand"))]
49 if (MEM_P (operand0) && MEM_P (operand1))
50 operands[1] = copy_to_mode_reg (HImode, operand1);
51 if (rl78_far_p (operand0) && rl78_far_p (operand1))
52 operands[1] = copy_to_mode_reg (HImode, operand1);
54 /* FIXME: Not sure how GCC can generate (SUBREG (SYMBOL_REF)),
55 but it does. Since this makes no sense, reject it here. */
56 if (GET_CODE (operand1) == SUBREG
57 && GET_CODE (XEXP (operand1, 0)) == SYMBOL_REF)
62 (define_expand "movsi"
63 [(set (match_operand:SI 0 "nonimmediate_operand")
64 (match_operand:SI 1 "general_operand"))]
67 rl78_expand_movsi (operands);
72 ;;---------- Conversions ------------------------
74 (define_expand "zero_extendqihi2"
75 [(set (match_operand:HI 0 "nonimmediate_operand")
76 (zero_extend:HI (match_operand:QI 1 "general_operand")))]
78 "if (rl78_force_nonfar_2 (operands, gen_zero_extendqihi2))
82 (define_expand "extendqihi2"
83 [(set (match_operand:HI 0 "nonimmediate_operand")
84 (sign_extend:HI (match_operand:QI 1 "general_operand")))]
86 "if (rl78_force_nonfar_2 (operands, gen_extendqihi2))
90 ;;---------- Arithmetic ------------------------
92 (define_expand "add<mode>3"
93 [(set (match_operand:QHI 0 "nonimmediate_operand")
94 (plus:QHI (match_operand:QHI 1 "general_operand")
95 (match_operand:QHI 2 "general_operand")))
98 "if (rl78_force_nonfar_3 (operands, gen_add<mode>3))
102 (define_expand "sub<mode>3"
103 [(set (match_operand:QHI 0 "nonimmediate_operand")
104 (minus:QHI (match_operand:QHI 1 "general_operand")
105 (match_operand:QHI 2 "general_operand")))
108 "if (rl78_force_nonfar_3 (operands, gen_sub<mode>3))
112 (define_expand "neg<mode>2"
113 [(set (match_operand:QHI 0 "nonimmediate_operand")
114 (minus:QHI (const_int 0)
115 (match_operand:QHI 1 "general_operand")))
118 "if (rl78_force_nonfar_2 (operands, gen_neg<mode>2))
122 (define_expand "umulqihi3"
123 [(set (match_operand:HI 0 "register_operand")
124 (mult:HI (zero_extend:HI (match_operand:QI 1 "register_operand"))
125 (zero_extend:HI (match_operand:QI 2 "register_operand"))))]
130 (define_expand "andqi3"
131 [(set (match_operand:QI 0 "nonimmediate_operand")
132 (and:QI (match_operand:QI 1 "general_operand")
133 (match_operand:QI 2 "general_operand")))
136 "if (rl78_force_nonfar_3 (operands, gen_andqi3))
140 (define_expand "iorqi3"
141 [(set (match_operand:QI 0 "nonimmediate_operand")
142 (ior:QI (match_operand:QI 1 "general_operand")
143 (match_operand:QI 2 "general_operand")))
146 "if (rl78_force_nonfar_3 (operands, gen_iorqi3))
150 (define_expand "xorqi3"
151 [(set (match_operand:QI 0 "nonimmediate_operand")
152 (xor:QI (match_operand:QI 1 "general_operand")
153 (match_operand:QI 2 "general_operand")))
156 "if (rl78_force_nonfar_3 (operands, gen_xorqi3))
160 (define_expand "one_cmplqi2"
161 [(set (match_operand:QI 0 "nonimmediate_operand")
162 (xor:QI (match_operand:QI 1 "general_operand")
166 "if (rl78_force_nonfar_2 (operands, gen_one_cmplqi2))
170 ;;---------- Shifts ------------------------
172 (define_expand "ashl<mode>3"
173 [(set (match_operand:QHI 0 "nonimmediate_operand")
174 (ashift:QHI (match_operand:QHI 1 "general_operand")
175 (match_operand:QI 2 "general_operand")))
178 "if (rl78_force_nonfar_3 (operands, gen_ashl<mode>3))
182 (define_expand "ashr<mode>3"
183 [(set (match_operand:QHI 0 "nonimmediate_operand")
184 (ashiftrt:QHI (match_operand:QHI 1 "general_operand")
185 (match_operand:QI 2 "general_operand")))
188 "if (rl78_force_nonfar_3 (operands, gen_ashr<mode>3))
192 (define_expand "lshr<mode>3"
193 [(set (match_operand:QHI 0 "nonimmediate_operand")
194 (lshiftrt:QHI (match_operand:QHI 1 "general_operand")
195 (match_operand:QI 2 "general_operand")))
198 "if (rl78_force_nonfar_3 (operands, gen_lshr<mode>3))
202 (define_expand "ashrsi3"
203 [(set (match_operand:SI 0 "register_operand")
204 (ashiftrt:SI (match_operand:SI 1 "register_operand")
205 (match_operand:SI 2 "immediate_operand")))
208 "if (GET_CODE (operands[2]) != CONST_INT)
212 ;;---------- Branching ------------------------
214 (define_expand "indirect_jump"
216 (match_operand:HI 0 "nonimmediate_operand"))]
221 (define_expand "call"
222 [(call (match_operand:HI 0 "memory_operand")
223 (match_operand 1 ""))]
228 (define_expand "call_value"
229 [(set (match_operand 0 "register_operand")
230 (call (match_operand:HI 1 "memory_operand")
231 (match_operand 2 "")))]
236 (define_expand "cbranchqi4"
237 [(set (pc) (if_then_else
238 (match_operator 0 "rl78_cmp_operator"
239 [(match_operand:QI 1 "general_operand")
240 (match_operand:QI 2 "general_operand")])
241 (label_ref (match_operand 3 "" ""))
244 "rl78_expand_compare (operands);"
247 (define_expand "cbranchhi4"
248 [(set (pc) (if_then_else
249 (match_operator 0 "rl78_cmp_operator"
250 [(match_operand:HI 1 "general_operand")
251 (match_operand:HI 2 "general_operand")])
252 (label_ref (match_operand 3 "" ""))
255 "rl78_expand_compare (operands);"