1 |
282 |
jeremybenn |
;; -*- Mode: Scheme -*-
|
2 |
|
|
;; Machine description for GNU compiler,
|
3 |
|
|
;; for ATMEL AVR micro controllers.
|
4 |
|
|
;; Copyright (C) 1998, 1999, 2000, 2001, 2002, 2004, 2005, 2006, 2007, 2008,
|
5 |
|
|
;; 2009, 2010 Free Software Foundation, Inc.
|
6 |
|
|
;; Contributed by Denis Chertykov (chertykov@gmail.com)
|
7 |
|
|
|
8 |
|
|
;; This file is part of GCC.
|
9 |
|
|
|
10 |
|
|
;; GCC is free software; you can redistribute it and/or modify
|
11 |
|
|
;; it under the terms of the GNU General Public License as published by
|
12 |
|
|
;; the Free Software Foundation; either version 3, or (at your option)
|
13 |
|
|
;; any later version.
|
14 |
|
|
|
15 |
|
|
;; GCC is distributed in the hope that it will be useful,
|
16 |
|
|
;; but WITHOUT ANY WARRANTY; without even the implied warranty of
|
17 |
|
|
;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
18 |
|
|
;; GNU General Public License for more details.
|
19 |
|
|
|
20 |
|
|
;; You should have received a copy of the GNU General Public License
|
21 |
|
|
;; along with GCC; see the file COPYING3. If not see
|
22 |
|
|
;; .
|
23 |
|
|
|
24 |
|
|
;; Special characters after '%':
|
25 |
|
|
;; A No effect (add 0).
|
26 |
|
|
;; B Add 1 to REG number, MEM address or CONST_INT.
|
27 |
|
|
;; C Add 2.
|
28 |
|
|
;; D Add 3.
|
29 |
|
|
;; j Branch condition.
|
30 |
|
|
;; k Reverse branch condition.
|
31 |
|
|
;;..m..Constant Direct Data memory address.
|
32 |
|
|
;; o Displacement for (mem (plus (reg) (const_int))) operands.
|
33 |
|
|
;; p POST_INC or PRE_DEC address as a pointer (X, Y, Z)
|
34 |
|
|
;; r POST_INC or PRE_DEC address as a register (r26, r28, r30)
|
35 |
|
|
;;..x..Constant Direct Program memory address.
|
36 |
|
|
;; ~ Output 'r' if not AVR_HAVE_JMP_CALL.
|
37 |
|
|
;; ! Output 'e' if AVR_HAVE_EIJMP_EICALL.
|
38 |
|
|
|
39 |
|
|
;; UNSPEC usage:
|
40 |
|
|
;; 0 Length of a string, see "strlenhi".
|
41 |
|
|
;; 1 Jump by register pair Z or by table addressed by Z, see "casesi".
|
42 |
|
|
|
43 |
|
|
(define_constants
|
44 |
|
|
[(REG_X 26)
|
45 |
|
|
(REG_Y 28)
|
46 |
|
|
(REG_Z 30)
|
47 |
|
|
(REG_W 24)
|
48 |
|
|
(REG_SP 32)
|
49 |
|
|
(TMP_REGNO 0) ; temporary register r0
|
50 |
|
|
(ZERO_REGNO 1) ; zero register r1
|
51 |
|
|
|
52 |
|
|
(SREG_ADDR 0x5F)
|
53 |
|
|
(RAMPZ_ADDR 0x5B)
|
54 |
|
|
|
55 |
|
|
(UNSPEC_STRLEN 0)
|
56 |
|
|
(UNSPEC_INDEX_JMP 1)
|
57 |
|
|
(UNSPEC_SEI 2)
|
58 |
|
|
(UNSPEC_CLI 3)
|
59 |
|
|
|
60 |
|
|
(UNSPECV_PROLOGUE_SAVES 0)
|
61 |
|
|
(UNSPECV_EPILOGUE_RESTORES 1)
|
62 |
|
|
(UNSPECV_WRITE_SP_IRQ_ON 2)
|
63 |
|
|
(UNSPECV_WRITE_SP_IRQ_OFF 3)
|
64 |
|
|
(UNSPECV_GOTO_RECEIVER 4)])
|
65 |
|
|
|
66 |
|
|
(include "predicates.md")
|
67 |
|
|
(include "constraints.md")
|
68 |
|
|
|
69 |
|
|
;; Condition code settings.
|
70 |
|
|
(define_attr "cc" "none,set_czn,set_zn,set_n,compare,clobber"
|
71 |
|
|
(const_string "none"))
|
72 |
|
|
|
73 |
|
|
(define_attr "type" "branch,branch1,arith,xcall"
|
74 |
|
|
(const_string "arith"))
|
75 |
|
|
|
76 |
|
|
(define_attr "mcu_have_movw" "yes,no"
|
77 |
|
|
(const (if_then_else (symbol_ref "AVR_HAVE_MOVW")
|
78 |
|
|
(const_string "yes")
|
79 |
|
|
(const_string "no"))))
|
80 |
|
|
|
81 |
|
|
(define_attr "mcu_mega" "yes,no"
|
82 |
|
|
(const (if_then_else (symbol_ref "AVR_HAVE_JMP_CALL")
|
83 |
|
|
(const_string "yes")
|
84 |
|
|
(const_string "no"))))
|
85 |
|
|
|
86 |
|
|
|
87 |
|
|
;; The size of instructions in bytes.
|
88 |
|
|
;; XXX may depend from "cc"
|
89 |
|
|
|
90 |
|
|
(define_attr "length" ""
|
91 |
|
|
(cond [(eq_attr "type" "branch")
|
92 |
|
|
(if_then_else (and (ge (minus (pc) (match_dup 0))
|
93 |
|
|
(const_int -63))
|
94 |
|
|
(le (minus (pc) (match_dup 0))
|
95 |
|
|
(const_int 62)))
|
96 |
|
|
(const_int 1)
|
97 |
|
|
(if_then_else (and (ge (minus (pc) (match_dup 0))
|
98 |
|
|
(const_int -2045))
|
99 |
|
|
(le (minus (pc) (match_dup 0))
|
100 |
|
|
(const_int 2045)))
|
101 |
|
|
(const_int 2)
|
102 |
|
|
(const_int 3)))
|
103 |
|
|
(eq_attr "type" "branch1")
|
104 |
|
|
(if_then_else (and (ge (minus (pc) (match_dup 0))
|
105 |
|
|
(const_int -62))
|
106 |
|
|
(le (minus (pc) (match_dup 0))
|
107 |
|
|
(const_int 61)))
|
108 |
|
|
(const_int 2)
|
109 |
|
|
(if_then_else (and (ge (minus (pc) (match_dup 0))
|
110 |
|
|
(const_int -2044))
|
111 |
|
|
(le (minus (pc) (match_dup 0))
|
112 |
|
|
(const_int 2043)))
|
113 |
|
|
(const_int 3)
|
114 |
|
|
(const_int 4)))
|
115 |
|
|
(eq_attr "type" "xcall")
|
116 |
|
|
(if_then_else (eq_attr "mcu_mega" "no")
|
117 |
|
|
(const_int 1)
|
118 |
|
|
(const_int 2))]
|
119 |
|
|
(const_int 2)))
|
120 |
|
|
|
121 |
|
|
;; Define mode iterator
|
122 |
|
|
(define_mode_iterator QISI [(QI "") (HI "") (SI "")])
|
123 |
|
|
(define_mode_iterator QIDI [(QI "") (HI "") (SI "") (DI "")])
|
124 |
|
|
(define_mode_iterator HIDI [(HI "") (SI "") (DI "")])
|
125 |
|
|
(define_mode_iterator HISI [(HI "") (SI "")])
|
126 |
|
|
|
127 |
|
|
;;========================================================================
|
128 |
|
|
;; The following is used by nonlocal_goto and setjmp.
|
129 |
|
|
;; The receiver pattern will create no instructions since internally
|
130 |
|
|
;; virtual_stack_vars = hard_frame_pointer + 1 so the RTL become R28=R28
|
131 |
|
|
;; This avoids creating add/sub offsets in frame_pointer save/resore.
|
132 |
|
|
;; The 'null' receiver also avoids problems with optimisation
|
133 |
|
|
;; not recognising incoming jmp and removing code that resets frame_pointer.
|
134 |
|
|
;; The code derived from builtins.c.
|
135 |
|
|
|
136 |
|
|
(define_expand "nonlocal_goto_receiver"
|
137 |
|
|
[(set (reg:HI REG_Y)
|
138 |
|
|
(unspec_volatile:HI [(const_int 0)] UNSPECV_GOTO_RECEIVER))]
|
139 |
|
|
""
|
140 |
|
|
{
|
141 |
|
|
emit_move_insn (virtual_stack_vars_rtx,
|
142 |
|
|
gen_rtx_PLUS (Pmode, hard_frame_pointer_rtx,
|
143 |
|
|
gen_int_mode (STARTING_FRAME_OFFSET,
|
144 |
|
|
Pmode)));
|
145 |
|
|
/* This might change the hard frame pointer in ways that aren't
|
146 |
|
|
apparent to early optimization passes, so force a clobber. */
|
147 |
|
|
emit_clobber (hard_frame_pointer_rtx);
|
148 |
|
|
DONE;
|
149 |
|
|
})
|
150 |
|
|
|
151 |
|
|
|
152 |
|
|
;; Defining nonlocal_goto_receiver means we must also define this.
|
153 |
|
|
;; even though its function is identical to that in builtins.c
|
154 |
|
|
|
155 |
|
|
(define_expand "nonlocal_goto"
|
156 |
|
|
[
|
157 |
|
|
(use (match_operand 0 "general_operand"))
|
158 |
|
|
(use (match_operand 1 "general_operand"))
|
159 |
|
|
(use (match_operand 2 "general_operand"))
|
160 |
|
|
(use (match_operand 3 "general_operand"))
|
161 |
|
|
]
|
162 |
|
|
""
|
163 |
|
|
{
|
164 |
|
|
rtx r_label = copy_to_reg (operands[1]);
|
165 |
|
|
rtx r_fp = operands[3];
|
166 |
|
|
rtx r_sp = operands[2];
|
167 |
|
|
|
168 |
|
|
emit_clobber (gen_rtx_MEM (BLKmode, gen_rtx_SCRATCH (VOIDmode)));
|
169 |
|
|
|
170 |
|
|
emit_clobber (gen_rtx_MEM (BLKmode, hard_frame_pointer_rtx));
|
171 |
|
|
|
172 |
|
|
emit_move_insn (hard_frame_pointer_rtx, r_fp);
|
173 |
|
|
emit_stack_restore (SAVE_NONLOCAL, r_sp, NULL_RTX);
|
174 |
|
|
|
175 |
|
|
emit_use (hard_frame_pointer_rtx);
|
176 |
|
|
emit_use (stack_pointer_rtx);
|
177 |
|
|
|
178 |
|
|
emit_indirect_jump (r_label);
|
179 |
|
|
|
180 |
|
|
DONE;
|
181 |
|
|
})
|
182 |
|
|
|
183 |
|
|
|
184 |
|
|
(define_insn "*pushqi"
|
185 |
|
|
[(set (mem:QI (post_dec (reg:HI REG_SP)))
|
186 |
|
|
(match_operand:QI 0 "reg_or_0_operand" "r,L"))]
|
187 |
|
|
""
|
188 |
|
|
"@
|
189 |
|
|
push %0
|
190 |
|
|
push __zero_reg__"
|
191 |
|
|
[(set_attr "length" "1,1")])
|
192 |
|
|
|
193 |
|
|
|
194 |
|
|
(define_insn "*pushhi"
|
195 |
|
|
[(set (mem:HI (post_dec (reg:HI REG_SP)))
|
196 |
|
|
(match_operand:HI 0 "reg_or_0_operand" "r,L"))]
|
197 |
|
|
""
|
198 |
|
|
"@
|
199 |
|
|
push %B0\;push %A0
|
200 |
|
|
push __zero_reg__\;push __zero_reg__"
|
201 |
|
|
[(set_attr "length" "2,2")])
|
202 |
|
|
|
203 |
|
|
(define_insn "*pushsi"
|
204 |
|
|
[(set (mem:SI (post_dec (reg:HI REG_SP)))
|
205 |
|
|
(match_operand:SI 0 "reg_or_0_operand" "r,L"))]
|
206 |
|
|
""
|
207 |
|
|
"@
|
208 |
|
|
push %D0\;push %C0\;push %B0\;push %A0
|
209 |
|
|
push __zero_reg__\;push __zero_reg__\;push __zero_reg__\;push __zero_reg__"
|
210 |
|
|
[(set_attr "length" "4,4")])
|
211 |
|
|
|
212 |
|
|
(define_insn "*pushsf"
|
213 |
|
|
[(set (mem:SF (post_dec (reg:HI REG_SP)))
|
214 |
|
|
(match_operand:SF 0 "register_operand" "r"))]
|
215 |
|
|
""
|
216 |
|
|
"push %D0
|
217 |
|
|
push %C0
|
218 |
|
|
push %B0
|
219 |
|
|
push %A0"
|
220 |
|
|
[(set_attr "length" "4")])
|
221 |
|
|
|
222 |
|
|
;;========================================================================
|
223 |
|
|
;; move byte
|
224 |
|
|
;; The last alternative (any immediate constant to any register) is
|
225 |
|
|
;; very expensive. It should be optimized by peephole2 if a scratch
|
226 |
|
|
;; register is available, but then that register could just as well be
|
227 |
|
|
;; allocated for the variable we are loading. But, most of NO_LD_REGS
|
228 |
|
|
;; are call-saved registers, and most of LD_REGS are call-used registers,
|
229 |
|
|
;; so this may still be a win for registers live across function calls.
|
230 |
|
|
|
231 |
|
|
(define_expand "movqi"
|
232 |
|
|
[(set (match_operand:QI 0 "nonimmediate_operand" "")
|
233 |
|
|
(match_operand:QI 1 "general_operand" ""))]
|
234 |
|
|
""
|
235 |
|
|
"/* One of the ops has to be in a register. */
|
236 |
|
|
if (!register_operand(operand0, QImode)
|
237 |
|
|
&& ! (register_operand(operand1, QImode) || const0_rtx == operand1))
|
238 |
|
|
operands[1] = copy_to_mode_reg(QImode, operand1);
|
239 |
|
|
")
|
240 |
|
|
|
241 |
|
|
(define_insn "*movqi"
|
242 |
|
|
[(set (match_operand:QI 0 "nonimmediate_operand" "=r,d,Qm,r,q,r,*r")
|
243 |
|
|
(match_operand:QI 1 "general_operand" "rL,i,rL,Qm,r,q,i"))]
|
244 |
|
|
"(register_operand (operands[0],QImode)
|
245 |
|
|
|| register_operand (operands[1], QImode) || const0_rtx == operands[1])"
|
246 |
|
|
"* return output_movqi (insn, operands, NULL);"
|
247 |
|
|
[(set_attr "length" "1,1,5,5,1,1,4")
|
248 |
|
|
(set_attr "cc" "none,none,clobber,clobber,none,none,clobber")])
|
249 |
|
|
|
250 |
|
|
;; This is used in peephole2 to optimize loading immediate constants
|
251 |
|
|
;; if a scratch register from LD_REGS happens to be available.
|
252 |
|
|
|
253 |
|
|
(define_insn "*reload_inqi"
|
254 |
|
|
[(set (match_operand:QI 0 "register_operand" "=l")
|
255 |
|
|
(match_operand:QI 1 "immediate_operand" "i"))
|
256 |
|
|
(clobber (match_operand:QI 2 "register_operand" "=&d"))]
|
257 |
|
|
"reload_completed"
|
258 |
|
|
"ldi %2,lo8(%1)
|
259 |
|
|
mov %0,%2"
|
260 |
|
|
[(set_attr "length" "2")
|
261 |
|
|
(set_attr "cc" "none")])
|
262 |
|
|
|
263 |
|
|
(define_peephole2
|
264 |
|
|
[(match_scratch:QI 2 "d")
|
265 |
|
|
(set (match_operand:QI 0 "l_register_operand" "")
|
266 |
|
|
(match_operand:QI 1 "immediate_operand" ""))]
|
267 |
|
|
"(operands[1] != const0_rtx
|
268 |
|
|
&& operands[1] != const1_rtx
|
269 |
|
|
&& operands[1] != constm1_rtx)"
|
270 |
|
|
[(parallel [(set (match_dup 0) (match_dup 1))
|
271 |
|
|
(clobber (match_dup 2))])]
|
272 |
|
|
"")
|
273 |
|
|
|
274 |
|
|
;;============================================================================
|
275 |
|
|
;; move word (16 bit)
|
276 |
|
|
|
277 |
|
|
(define_expand "movhi"
|
278 |
|
|
[(set (match_operand:HI 0 "nonimmediate_operand" "")
|
279 |
|
|
(match_operand:HI 1 "general_operand" ""))]
|
280 |
|
|
""
|
281 |
|
|
"
|
282 |
|
|
{
|
283 |
|
|
/* One of the ops has to be in a register. */
|
284 |
|
|
if (!register_operand(operand0, HImode)
|
285 |
|
|
&& !(register_operand(operand1, HImode) || const0_rtx == operands[1]))
|
286 |
|
|
{
|
287 |
|
|
operands[1] = copy_to_mode_reg(HImode, operand1);
|
288 |
|
|
}
|
289 |
|
|
}")
|
290 |
|
|
|
291 |
|
|
(define_insn "*movhi_sp"
|
292 |
|
|
[(set (match_operand:HI 0 "register_operand" "=q,r")
|
293 |
|
|
(match_operand:HI 1 "register_operand" "r,q"))]
|
294 |
|
|
"((stack_register_operand(operands[0], HImode) && register_operand (operands[1], HImode))
|
295 |
|
|
|| (register_operand (operands[0], HImode) && stack_register_operand(operands[1], HImode)))"
|
296 |
|
|
"* return output_movhi (insn, operands, NULL);"
|
297 |
|
|
[(set_attr "length" "5,2")
|
298 |
|
|
(set_attr "cc" "none,none")])
|
299 |
|
|
|
300 |
|
|
(define_insn "movhi_sp_r_irq_off"
|
301 |
|
|
[(set (match_operand:HI 0 "stack_register_operand" "=q")
|
302 |
|
|
(unspec_volatile:HI [(match_operand:HI 1 "register_operand" "r")]
|
303 |
|
|
UNSPECV_WRITE_SP_IRQ_OFF))]
|
304 |
|
|
""
|
305 |
|
|
"out __SP_H__, %B1
|
306 |
|
|
out __SP_L__, %A1"
|
307 |
|
|
[(set_attr "length" "2")
|
308 |
|
|
(set_attr "cc" "none")])
|
309 |
|
|
|
310 |
|
|
(define_insn "movhi_sp_r_irq_on"
|
311 |
|
|
[(set (match_operand:HI 0 "stack_register_operand" "=q")
|
312 |
|
|
(unspec_volatile:HI [(match_operand:HI 1 "register_operand" "r")]
|
313 |
|
|
UNSPECV_WRITE_SP_IRQ_ON))]
|
314 |
|
|
""
|
315 |
|
|
"cli
|
316 |
|
|
out __SP_H__, %B1
|
317 |
|
|
sei
|
318 |
|
|
out __SP_L__, %A1"
|
319 |
|
|
[(set_attr "length" "4")
|
320 |
|
|
(set_attr "cc" "none")])
|
321 |
|
|
|
322 |
|
|
(define_peephole2
|
323 |
|
|
[(match_scratch:QI 2 "d")
|
324 |
|
|
(set (match_operand:HI 0 "l_register_operand" "")
|
325 |
|
|
(match_operand:HI 1 "immediate_operand" ""))]
|
326 |
|
|
"(operands[1] != const0_rtx
|
327 |
|
|
&& operands[1] != constm1_rtx)"
|
328 |
|
|
[(parallel [(set (match_dup 0) (match_dup 1))
|
329 |
|
|
(clobber (match_dup 2))])]
|
330 |
|
|
"")
|
331 |
|
|
|
332 |
|
|
;; '*' because it is not used in rtl generation, only in above peephole
|
333 |
|
|
(define_insn "*reload_inhi"
|
334 |
|
|
[(set (match_operand:HI 0 "register_operand" "=r")
|
335 |
|
|
(match_operand:HI 1 "immediate_operand" "i"))
|
336 |
|
|
(clobber (match_operand:QI 2 "register_operand" "=&d"))]
|
337 |
|
|
"reload_completed"
|
338 |
|
|
"* return output_reload_inhi (insn, operands, NULL);"
|
339 |
|
|
[(set_attr "length" "4")
|
340 |
|
|
(set_attr "cc" "none")])
|
341 |
|
|
|
342 |
|
|
(define_insn "*movhi"
|
343 |
|
|
[(set (match_operand:HI 0 "nonimmediate_operand" "=r,r,m,d,*r,q,r")
|
344 |
|
|
(match_operand:HI 1 "general_operand" "rL,m,rL,i,i,r,q"))]
|
345 |
|
|
"(register_operand (operands[0],HImode)
|
346 |
|
|
|| register_operand (operands[1],HImode) || const0_rtx == operands[1])"
|
347 |
|
|
"* return output_movhi (insn, operands, NULL);"
|
348 |
|
|
[(set_attr "length" "2,6,7,2,6,5,2")
|
349 |
|
|
(set_attr "cc" "none,clobber,clobber,none,clobber,none,none")])
|
350 |
|
|
|
351 |
|
|
(define_peephole2 ; movw
|
352 |
|
|
[(set (match_operand:QI 0 "even_register_operand" "")
|
353 |
|
|
(match_operand:QI 1 "even_register_operand" ""))
|
354 |
|
|
(set (match_operand:QI 2 "odd_register_operand" "")
|
355 |
|
|
(match_operand:QI 3 "odd_register_operand" ""))]
|
356 |
|
|
"(AVR_HAVE_MOVW
|
357 |
|
|
&& REGNO (operands[0]) == REGNO (operands[2]) - 1
|
358 |
|
|
&& REGNO (operands[1]) == REGNO (operands[3]) - 1)"
|
359 |
|
|
[(set (match_dup 4) (match_dup 5))]
|
360 |
|
|
{
|
361 |
|
|
operands[4] = gen_rtx_REG (HImode, REGNO (operands[0]));
|
362 |
|
|
operands[5] = gen_rtx_REG (HImode, REGNO (operands[1]));
|
363 |
|
|
})
|
364 |
|
|
|
365 |
|
|
(define_peephole2 ; movw_r
|
366 |
|
|
[(set (match_operand:QI 0 "odd_register_operand" "")
|
367 |
|
|
(match_operand:QI 1 "odd_register_operand" ""))
|
368 |
|
|
(set (match_operand:QI 2 "even_register_operand" "")
|
369 |
|
|
(match_operand:QI 3 "even_register_operand" ""))]
|
370 |
|
|
"(AVR_HAVE_MOVW
|
371 |
|
|
&& REGNO (operands[2]) == REGNO (operands[0]) - 1
|
372 |
|
|
&& REGNO (operands[3]) == REGNO (operands[1]) - 1)"
|
373 |
|
|
[(set (match_dup 4) (match_dup 5))]
|
374 |
|
|
{
|
375 |
|
|
operands[4] = gen_rtx_REG (HImode, REGNO (operands[2]));
|
376 |
|
|
operands[5] = gen_rtx_REG (HImode, REGNO (operands[3]));
|
377 |
|
|
})
|
378 |
|
|
|
379 |
|
|
;;==========================================================================
|
380 |
|
|
;; move double word (32 bit)
|
381 |
|
|
|
382 |
|
|
(define_expand "movsi"
|
383 |
|
|
[(set (match_operand:SI 0 "nonimmediate_operand" "")
|
384 |
|
|
(match_operand:SI 1 "general_operand" ""))]
|
385 |
|
|
""
|
386 |
|
|
"
|
387 |
|
|
{
|
388 |
|
|
/* One of the ops has to be in a register. */
|
389 |
|
|
if (!register_operand (operand0, SImode)
|
390 |
|
|
&& !(register_operand (operand1, SImode) || const0_rtx == operand1))
|
391 |
|
|
{
|
392 |
|
|
operands[1] = copy_to_mode_reg (SImode, operand1);
|
393 |
|
|
}
|
394 |
|
|
}")
|
395 |
|
|
|
396 |
|
|
|
397 |
|
|
|
398 |
|
|
(define_peephole2 ; movsi_lreg_const
|
399 |
|
|
[(match_scratch:QI 2 "d")
|
400 |
|
|
(set (match_operand:SI 0 "l_register_operand" "")
|
401 |
|
|
(match_operand:SI 1 "immediate_operand" ""))
|
402 |
|
|
(match_dup 2)]
|
403 |
|
|
"(operands[1] != const0_rtx
|
404 |
|
|
&& operands[1] != constm1_rtx)"
|
405 |
|
|
[(parallel [(set (match_dup 0) (match_dup 1))
|
406 |
|
|
(clobber (match_dup 2))])]
|
407 |
|
|
"")
|
408 |
|
|
|
409 |
|
|
;; '*' because it is not used in rtl generation.
|
410 |
|
|
(define_insn "*reload_insi"
|
411 |
|
|
[(set (match_operand:SI 0 "register_operand" "=r")
|
412 |
|
|
(match_operand:SI 1 "immediate_operand" "i"))
|
413 |
|
|
(clobber (match_operand:QI 2 "register_operand" "=&d"))]
|
414 |
|
|
"reload_completed"
|
415 |
|
|
"* return output_reload_insisf (insn, operands, NULL);"
|
416 |
|
|
[(set_attr "length" "8")
|
417 |
|
|
(set_attr "cc" "none")])
|
418 |
|
|
|
419 |
|
|
|
420 |
|
|
(define_insn "*movsi"
|
421 |
|
|
[(set (match_operand:SI 0 "nonimmediate_operand" "=r,r,r,Qm,!d,r")
|
422 |
|
|
(match_operand:SI 1 "general_operand" "r,L,Qm,rL,i,i"))]
|
423 |
|
|
"(register_operand (operands[0],SImode)
|
424 |
|
|
|| register_operand (operands[1],SImode) || const0_rtx == operands[1])"
|
425 |
|
|
"* return output_movsisf (insn, operands, NULL);"
|
426 |
|
|
[(set_attr "length" "4,4,8,9,4,10")
|
427 |
|
|
(set_attr "cc" "none,set_zn,clobber,clobber,none,clobber")])
|
428 |
|
|
|
429 |
|
|
;; fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
|
430 |
|
|
;; move floating point numbers (32 bit)
|
431 |
|
|
|
432 |
|
|
(define_expand "movsf"
|
433 |
|
|
[(set (match_operand:SF 0 "nonimmediate_operand" "")
|
434 |
|
|
(match_operand:SF 1 "general_operand" ""))]
|
435 |
|
|
""
|
436 |
|
|
"
|
437 |
|
|
{
|
438 |
|
|
/* One of the ops has to be in a register. */
|
439 |
|
|
if (!register_operand (operand1, SFmode)
|
440 |
|
|
&& !register_operand (operand0, SFmode))
|
441 |
|
|
{
|
442 |
|
|
operands[1] = copy_to_mode_reg (SFmode, operand1);
|
443 |
|
|
}
|
444 |
|
|
}")
|
445 |
|
|
|
446 |
|
|
(define_insn "*movsf"
|
447 |
|
|
[(set (match_operand:SF 0 "nonimmediate_operand" "=r,r,r,Qm,!d,r")
|
448 |
|
|
(match_operand:SF 1 "general_operand" "r,G,Qm,r,F,F"))]
|
449 |
|
|
"register_operand (operands[0], SFmode)
|
450 |
|
|
|| register_operand (operands[1], SFmode)"
|
451 |
|
|
"* return output_movsisf (insn, operands, NULL);"
|
452 |
|
|
[(set_attr "length" "4,4,8,9,4,10")
|
453 |
|
|
(set_attr "cc" "none,set_zn,clobber,clobber,none,clobber")])
|
454 |
|
|
|
455 |
|
|
;;=========================================================================
|
456 |
|
|
;; move string (like memcpy)
|
457 |
|
|
;; implement as RTL loop
|
458 |
|
|
|
459 |
|
|
(define_expand "movmemhi"
|
460 |
|
|
[(parallel [(set (match_operand:BLK 0 "memory_operand" "")
|
461 |
|
|
(match_operand:BLK 1 "memory_operand" ""))
|
462 |
|
|
(use (match_operand:HI 2 "const_int_operand" ""))
|
463 |
|
|
(use (match_operand:HI 3 "const_int_operand" ""))])]
|
464 |
|
|
""
|
465 |
|
|
"{
|
466 |
|
|
int prob;
|
467 |
|
|
HOST_WIDE_INT count;
|
468 |
|
|
enum machine_mode mode;
|
469 |
|
|
rtx label = gen_label_rtx ();
|
470 |
|
|
rtx loop_reg;
|
471 |
|
|
rtx jump;
|
472 |
|
|
|
473 |
|
|
/* Copy pointers into new psuedos - they will be changed. */
|
474 |
|
|
rtx addr0 = copy_to_mode_reg (Pmode, XEXP (operands[0], 0));
|
475 |
|
|
rtx addr1 = copy_to_mode_reg (Pmode, XEXP (operands[1], 0));
|
476 |
|
|
|
477 |
|
|
/* Create rtx for tmp register - we use this as scratch. */
|
478 |
|
|
rtx tmp_reg_rtx = gen_rtx_REG (QImode, TMP_REGNO);
|
479 |
|
|
|
480 |
|
|
if (GET_CODE (operands[2]) != CONST_INT)
|
481 |
|
|
FAIL;
|
482 |
|
|
|
483 |
|
|
count = INTVAL (operands[2]);
|
484 |
|
|
if (count <= 0)
|
485 |
|
|
FAIL;
|
486 |
|
|
|
487 |
|
|
/* Work out branch probability for latter use. */
|
488 |
|
|
prob = REG_BR_PROB_BASE - REG_BR_PROB_BASE / count;
|
489 |
|
|
|
490 |
|
|
/* See if constant fit 8 bits. */
|
491 |
|
|
mode = (count < 0x100) ? QImode : HImode;
|
492 |
|
|
/* Create loop counter register. */
|
493 |
|
|
loop_reg = copy_to_mode_reg (mode, gen_int_mode (count, mode));
|
494 |
|
|
|
495 |
|
|
/* Now create RTL code for move loop. */
|
496 |
|
|
/* Label at top of loop. */
|
497 |
|
|
emit_label (label);
|
498 |
|
|
|
499 |
|
|
/* Move one byte into scratch and inc pointer. */
|
500 |
|
|
emit_move_insn (tmp_reg_rtx, gen_rtx_MEM (QImode, addr1));
|
501 |
|
|
emit_move_insn (addr1, gen_rtx_PLUS (Pmode, addr1, const1_rtx));
|
502 |
|
|
|
503 |
|
|
/* Move to mem and inc pointer. */
|
504 |
|
|
emit_move_insn (gen_rtx_MEM (QImode, addr0), tmp_reg_rtx);
|
505 |
|
|
emit_move_insn (addr0, gen_rtx_PLUS (Pmode, addr0, const1_rtx));
|
506 |
|
|
|
507 |
|
|
/* Decrement count. */
|
508 |
|
|
emit_move_insn (loop_reg, gen_rtx_PLUS (mode, loop_reg, constm1_rtx));
|
509 |
|
|
|
510 |
|
|
/* Compare with zero and jump if not equal. */
|
511 |
|
|
emit_cmp_and_jump_insns (loop_reg, const0_rtx, NE, NULL_RTX, mode, 1,
|
512 |
|
|
label);
|
513 |
|
|
/* Set jump probability based on loop count. */
|
514 |
|
|
jump = get_last_insn ();
|
515 |
|
|
add_reg_note (jump, REG_BR_PROB, GEN_INT (prob));
|
516 |
|
|
DONE;
|
517 |
|
|
}")
|
518 |
|
|
|
519 |
|
|
;; =%2 =%2 =%2 =%2 =%2 =%2 =%2 =%2 =%2 =%2 =%2 =%2 =%2 =%2 =%2 =%2 =%2 =%2 =%2 =%2 =%2
|
520 |
|
|
;; memset (%0, %2, %1)
|
521 |
|
|
|
522 |
|
|
(define_expand "setmemhi"
|
523 |
|
|
[(parallel [(set (match_operand:BLK 0 "memory_operand" "")
|
524 |
|
|
(match_operand 2 "const_int_operand" ""))
|
525 |
|
|
(use (match_operand:HI 1 "const_int_operand" ""))
|
526 |
|
|
(use (match_operand:HI 3 "const_int_operand" "n"))
|
527 |
|
|
(clobber (match_scratch:HI 4 ""))
|
528 |
|
|
(clobber (match_dup 5))])]
|
529 |
|
|
""
|
530 |
|
|
"{
|
531 |
|
|
rtx addr0;
|
532 |
|
|
int cnt8;
|
533 |
|
|
enum machine_mode mode;
|
534 |
|
|
|
535 |
|
|
/* If value to set is not zero, use the library routine. */
|
536 |
|
|
if (operands[2] != const0_rtx)
|
537 |
|
|
FAIL;
|
538 |
|
|
|
539 |
|
|
if (GET_CODE (operands[1]) != CONST_INT)
|
540 |
|
|
FAIL;
|
541 |
|
|
|
542 |
|
|
cnt8 = byte_immediate_operand (operands[1], GET_MODE (operands[1]));
|
543 |
|
|
mode = cnt8 ? QImode : HImode;
|
544 |
|
|
operands[5] = gen_rtx_SCRATCH (mode);
|
545 |
|
|
operands[1] = copy_to_mode_reg (mode,
|
546 |
|
|
gen_int_mode (INTVAL (operands[1]), mode));
|
547 |
|
|
addr0 = copy_to_mode_reg (Pmode, XEXP (operands[0], 0));
|
548 |
|
|
operands[0] = gen_rtx_MEM (BLKmode, addr0);
|
549 |
|
|
}")
|
550 |
|
|
|
551 |
|
|
(define_insn "*clrmemqi"
|
552 |
|
|
[(set (mem:BLK (match_operand:HI 0 "register_operand" "e"))
|
553 |
|
|
(const_int 0))
|
554 |
|
|
(use (match_operand:QI 1 "register_operand" "r"))
|
555 |
|
|
(use (match_operand:QI 2 "const_int_operand" "n"))
|
556 |
|
|
(clobber (match_scratch:HI 3 "=0"))
|
557 |
|
|
(clobber (match_scratch:QI 4 "=&1"))]
|
558 |
|
|
""
|
559 |
|
|
"st %a0+,__zero_reg__
|
560 |
|
|
dec %1
|
561 |
|
|
brne .-6"
|
562 |
|
|
[(set_attr "length" "3")
|
563 |
|
|
(set_attr "cc" "clobber")])
|
564 |
|
|
|
565 |
|
|
(define_insn "*clrmemhi"
|
566 |
|
|
[(set (mem:BLK (match_operand:HI 0 "register_operand" "e,e"))
|
567 |
|
|
(const_int 0))
|
568 |
|
|
(use (match_operand:HI 1 "register_operand" "!w,d"))
|
569 |
|
|
(use (match_operand:HI 2 "const_int_operand" "n,n"))
|
570 |
|
|
(clobber (match_scratch:HI 3 "=0,0"))
|
571 |
|
|
(clobber (match_scratch:HI 4 "=&1,&1"))]
|
572 |
|
|
""
|
573 |
|
|
"*{
|
574 |
|
|
if (which_alternative==0)
|
575 |
|
|
return (AS2 (st,%a0+,__zero_reg__) CR_TAB
|
576 |
|
|
AS2 (sbiw,%A1,1) CR_TAB
|
577 |
|
|
AS1 (brne,.-6));
|
578 |
|
|
else
|
579 |
|
|
return (AS2 (st,%a0+,__zero_reg__) CR_TAB
|
580 |
|
|
AS2 (subi,%A1,1) CR_TAB
|
581 |
|
|
AS2 (sbci,%B1,0) CR_TAB
|
582 |
|
|
AS1 (brne,.-8));
|
583 |
|
|
}"
|
584 |
|
|
[(set_attr "length" "3,4")
|
585 |
|
|
(set_attr "cc" "clobber,clobber")])
|
586 |
|
|
|
587 |
|
|
(define_expand "strlenhi"
|
588 |
|
|
[(set (match_dup 4)
|
589 |
|
|
(unspec:HI [(match_operand:BLK 1 "memory_operand" "")
|
590 |
|
|
(match_operand:QI 2 "const_int_operand" "")
|
591 |
|
|
(match_operand:HI 3 "immediate_operand" "")]
|
592 |
|
|
UNSPEC_STRLEN))
|
593 |
|
|
(set (match_dup 4) (plus:HI (match_dup 4)
|
594 |
|
|
(const_int -1)))
|
595 |
|
|
(set (match_operand:HI 0 "register_operand" "")
|
596 |
|
|
(minus:HI (match_dup 4)
|
597 |
|
|
(match_dup 5)))]
|
598 |
|
|
""
|
599 |
|
|
"{
|
600 |
|
|
rtx addr;
|
601 |
|
|
if (! (GET_CODE (operands[2]) == CONST_INT && INTVAL (operands[2]) == 0))
|
602 |
|
|
FAIL;
|
603 |
|
|
addr = copy_to_mode_reg (Pmode, XEXP (operands[1],0));
|
604 |
|
|
operands[1] = gen_rtx_MEM (BLKmode, addr);
|
605 |
|
|
operands[5] = addr;
|
606 |
|
|
operands[4] = gen_reg_rtx (HImode);
|
607 |
|
|
}")
|
608 |
|
|
|
609 |
|
|
(define_insn "*strlenhi"
|
610 |
|
|
[(set (match_operand:HI 0 "register_operand" "=e")
|
611 |
|
|
(unspec:HI [(mem:BLK (match_operand:HI 1 "register_operand" "%0"))
|
612 |
|
|
(const_int 0)
|
613 |
|
|
(match_operand:HI 2 "immediate_operand" "i")]
|
614 |
|
|
UNSPEC_STRLEN))]
|
615 |
|
|
""
|
616 |
|
|
"ld __tmp_reg__,%a0+
|
617 |
|
|
tst __tmp_reg__
|
618 |
|
|
brne .-6"
|
619 |
|
|
[(set_attr "length" "3")
|
620 |
|
|
(set_attr "cc" "clobber")])
|
621 |
|
|
|
622 |
|
|
;+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
|
623 |
|
|
; add bytes
|
624 |
|
|
|
625 |
|
|
(define_insn "addqi3"
|
626 |
|
|
[(set (match_operand:QI 0 "register_operand" "=r,d,r,r")
|
627 |
|
|
(plus:QI (match_operand:QI 1 "register_operand" "%0,0,0,0")
|
628 |
|
|
(match_operand:QI 2 "nonmemory_operand" "r,i,P,N")))]
|
629 |
|
|
""
|
630 |
|
|
"@
|
631 |
|
|
add %0,%2
|
632 |
|
|
subi %0,lo8(-(%2))
|
633 |
|
|
inc %0
|
634 |
|
|
dec %0"
|
635 |
|
|
[(set_attr "length" "1,1,1,1")
|
636 |
|
|
(set_attr "cc" "set_czn,set_czn,set_zn,set_zn")])
|
637 |
|
|
|
638 |
|
|
|
639 |
|
|
(define_expand "addhi3"
|
640 |
|
|
[(set (match_operand:HI 0 "register_operand" "")
|
641 |
|
|
(plus:HI (match_operand:HI 1 "register_operand" "")
|
642 |
|
|
(match_operand:HI 2 "nonmemory_operand" "")))]
|
643 |
|
|
""
|
644 |
|
|
"
|
645 |
|
|
{
|
646 |
|
|
if (GET_CODE (operands[2]) == CONST_INT)
|
647 |
|
|
{
|
648 |
|
|
short tmp = INTVAL (operands[2]);
|
649 |
|
|
operands[2] = GEN_INT(tmp);
|
650 |
|
|
}
|
651 |
|
|
}")
|
652 |
|
|
|
653 |
|
|
|
654 |
|
|
(define_insn "*addhi3_zero_extend"
|
655 |
|
|
[(set (match_operand:HI 0 "register_operand" "=r")
|
656 |
|
|
(plus:HI (zero_extend:HI
|
657 |
|
|
(match_operand:QI 1 "register_operand" "r"))
|
658 |
|
|
(match_operand:HI 2 "register_operand" "0")))]
|
659 |
|
|
""
|
660 |
|
|
"add %A0,%1
|
661 |
|
|
adc %B0,__zero_reg__"
|
662 |
|
|
[(set_attr "length" "2")
|
663 |
|
|
(set_attr "cc" "set_n")])
|
664 |
|
|
|
665 |
|
|
(define_insn "*addhi3_zero_extend1"
|
666 |
|
|
[(set (match_operand:HI 0 "register_operand" "=r")
|
667 |
|
|
(plus:HI (match_operand:HI 1 "register_operand" "%0")
|
668 |
|
|
(zero_extend:HI
|
669 |
|
|
(match_operand:QI 2 "register_operand" "r"))))]
|
670 |
|
|
""
|
671 |
|
|
"add %A0,%2
|
672 |
|
|
adc %B0,__zero_reg__"
|
673 |
|
|
[(set_attr "length" "2")
|
674 |
|
|
(set_attr "cc" "set_n")])
|
675 |
|
|
|
676 |
|
|
(define_insn "*addhi3_sp_R_pc2"
|
677 |
|
|
[(set (match_operand:HI 1 "stack_register_operand" "=q")
|
678 |
|
|
(plus:HI (match_operand:HI 2 "stack_register_operand" "q")
|
679 |
|
|
(match_operand:HI 0 "avr_sp_immediate_operand" "R")))]
|
680 |
|
|
"AVR_2_BYTE_PC"
|
681 |
|
|
"*{
|
682 |
|
|
if (CONST_INT_P (operands[0]))
|
683 |
|
|
{
|
684 |
|
|
switch(INTVAL (operands[0]))
|
685 |
|
|
{
|
686 |
|
|
case -6:
|
687 |
|
|
return \"rcall .\" CR_TAB
|
688 |
|
|
\"rcall .\" CR_TAB
|
689 |
|
|
\"rcall .\";
|
690 |
|
|
case -5:
|
691 |
|
|
return \"rcall .\" CR_TAB
|
692 |
|
|
\"rcall .\" CR_TAB
|
693 |
|
|
\"push __tmp_reg__\";
|
694 |
|
|
case -4:
|
695 |
|
|
return \"rcall .\" CR_TAB
|
696 |
|
|
\"rcall .\";
|
697 |
|
|
case -3:
|
698 |
|
|
return \"rcall .\" CR_TAB
|
699 |
|
|
\"push __tmp_reg__\";
|
700 |
|
|
case -2:
|
701 |
|
|
return \"rcall .\";
|
702 |
|
|
case -1:
|
703 |
|
|
return \"push __tmp_reg__\";
|
704 |
|
|
case 0:
|
705 |
|
|
return \"\";
|
706 |
|
|
case 1:
|
707 |
|
|
return \"pop __tmp_reg__\";
|
708 |
|
|
case 2:
|
709 |
|
|
return \"pop __tmp_reg__\" CR_TAB
|
710 |
|
|
\"pop __tmp_reg__\";
|
711 |
|
|
case 3:
|
712 |
|
|
return \"pop __tmp_reg__\" CR_TAB
|
713 |
|
|
\"pop __tmp_reg__\" CR_TAB
|
714 |
|
|
\"pop __tmp_reg__\";
|
715 |
|
|
case 4:
|
716 |
|
|
return \"pop __tmp_reg__\" CR_TAB
|
717 |
|
|
\"pop __tmp_reg__\" CR_TAB
|
718 |
|
|
\"pop __tmp_reg__\" CR_TAB
|
719 |
|
|
\"pop __tmp_reg__\";
|
720 |
|
|
case 5:
|
721 |
|
|
return \"pop __tmp_reg__\" CR_TAB
|
722 |
|
|
\"pop __tmp_reg__\" CR_TAB
|
723 |
|
|
\"pop __tmp_reg__\" CR_TAB
|
724 |
|
|
\"pop __tmp_reg__\" CR_TAB
|
725 |
|
|
\"pop __tmp_reg__\";
|
726 |
|
|
}
|
727 |
|
|
}
|
728 |
|
|
return \"bug\";
|
729 |
|
|
}"
|
730 |
|
|
[(set (attr "length")
|
731 |
|
|
(cond [(eq (const_int -6) (symbol_ref "INTVAL (operands[0])")) (const_int 3)
|
732 |
|
|
(eq (const_int -5) (symbol_ref "INTVAL (operands[0])")) (const_int 3)
|
733 |
|
|
(eq (const_int -4) (symbol_ref "INTVAL (operands[0])")) (const_int 2)
|
734 |
|
|
(eq (const_int -3) (symbol_ref "INTVAL (operands[0])")) (const_int 2)
|
735 |
|
|
(eq (const_int -2) (symbol_ref "INTVAL (operands[0])")) (const_int 1)
|
736 |
|
|
(eq (const_int -1) (symbol_ref "INTVAL (operands[0])")) (const_int 1)
|
737 |
|
|
(eq (const_int 0) (symbol_ref "INTVAL (operands[0])")) (const_int 0)
|
738 |
|
|
(eq (const_int 1) (symbol_ref "INTVAL (operands[0])")) (const_int 1)
|
739 |
|
|
(eq (const_int 2) (symbol_ref "INTVAL (operands[0])")) (const_int 2)
|
740 |
|
|
(eq (const_int 3) (symbol_ref "INTVAL (operands[0])")) (const_int 3)
|
741 |
|
|
(eq (const_int 4) (symbol_ref "INTVAL (operands[0])")) (const_int 4)
|
742 |
|
|
(eq (const_int 5) (symbol_ref "INTVAL (operands[0])")) (const_int 5)]
|
743 |
|
|
(const_int 0)))])
|
744 |
|
|
|
745 |
|
|
(define_insn "*addhi3_sp_R_pc3"
|
746 |
|
|
[(set (match_operand:HI 1 "stack_register_operand" "=q")
|
747 |
|
|
(plus:HI (match_operand:HI 2 "stack_register_operand" "q")
|
748 |
|
|
(match_operand:QI 0 "avr_sp_immediate_operand" "R")))]
|
749 |
|
|
"AVR_3_BYTE_PC"
|
750 |
|
|
"*{
|
751 |
|
|
if (CONST_INT_P (operands[0]))
|
752 |
|
|
{
|
753 |
|
|
switch(INTVAL (operands[0]))
|
754 |
|
|
{
|
755 |
|
|
case -6:
|
756 |
|
|
return \"rcall .\" CR_TAB
|
757 |
|
|
\"rcall .\";
|
758 |
|
|
case -5:
|
759 |
|
|
return \"rcall .\" CR_TAB
|
760 |
|
|
\"push __tmp_reg__\" CR_TAB
|
761 |
|
|
\"push __tmp_reg__\";
|
762 |
|
|
case -4:
|
763 |
|
|
return \"rcall .\" CR_TAB
|
764 |
|
|
\"push __tmp_reg__\";
|
765 |
|
|
case -3:
|
766 |
|
|
return \"rcall .\";
|
767 |
|
|
case -2:
|
768 |
|
|
return \"push __tmp_reg__\" CR_TAB
|
769 |
|
|
\"push __tmp_reg__\";
|
770 |
|
|
case -1:
|
771 |
|
|
return \"push __tmp_reg__\";
|
772 |
|
|
case 0:
|
773 |
|
|
return \"\";
|
774 |
|
|
case 1:
|
775 |
|
|
return \"pop __tmp_reg__\";
|
776 |
|
|
case 2:
|
777 |
|
|
return \"pop __tmp_reg__\" CR_TAB
|
778 |
|
|
\"pop __tmp_reg__\";
|
779 |
|
|
case 3:
|
780 |
|
|
return \"pop __tmp_reg__\" CR_TAB
|
781 |
|
|
\"pop __tmp_reg__\" CR_TAB
|
782 |
|
|
\"pop __tmp_reg__\";
|
783 |
|
|
case 4:
|
784 |
|
|
return \"pop __tmp_reg__\" CR_TAB
|
785 |
|
|
\"pop __tmp_reg__\" CR_TAB
|
786 |
|
|
\"pop __tmp_reg__\" CR_TAB
|
787 |
|
|
\"pop __tmp_reg__\";
|
788 |
|
|
case 5:
|
789 |
|
|
return \"pop __tmp_reg__\" CR_TAB
|
790 |
|
|
\"pop __tmp_reg__\" CR_TAB
|
791 |
|
|
\"pop __tmp_reg__\" CR_TAB
|
792 |
|
|
\"pop __tmp_reg__\" CR_TAB
|
793 |
|
|
\"pop __tmp_reg__\";
|
794 |
|
|
}
|
795 |
|
|
}
|
796 |
|
|
return \"bug\";
|
797 |
|
|
}"
|
798 |
|
|
[(set (attr "length")
|
799 |
|
|
(cond [(eq (const_int -6) (symbol_ref "INTVAL (operands[0])")) (const_int 2)
|
800 |
|
|
(eq (const_int -5) (symbol_ref "INTVAL (operands[0])")) (const_int 3)
|
801 |
|
|
(eq (const_int -4) (symbol_ref "INTVAL (operands[0])")) (const_int 2)
|
802 |
|
|
(eq (const_int -3) (symbol_ref "INTVAL (operands[0])")) (const_int 1)
|
803 |
|
|
(eq (const_int -2) (symbol_ref "INTVAL (operands[0])")) (const_int 2)
|
804 |
|
|
(eq (const_int -1) (symbol_ref "INTVAL (operands[0])")) (const_int 1)
|
805 |
|
|
(eq (const_int 0) (symbol_ref "INTVAL (operands[0])")) (const_int 0)
|
806 |
|
|
(eq (const_int 1) (symbol_ref "INTVAL (operands[0])")) (const_int 1)
|
807 |
|
|
(eq (const_int 2) (symbol_ref "INTVAL (operands[0])")) (const_int 2)
|
808 |
|
|
(eq (const_int 3) (symbol_ref "INTVAL (operands[0])")) (const_int 3)
|
809 |
|
|
(eq (const_int 4) (symbol_ref "INTVAL (operands[0])")) (const_int 4)
|
810 |
|
|
(eq (const_int 5) (symbol_ref "INTVAL (operands[0])")) (const_int 5)]
|
811 |
|
|
(const_int 0)))])
|
812 |
|
|
|
813 |
|
|
(define_insn "*addhi3"
|
814 |
|
|
[(set (match_operand:HI 0 "register_operand" "=r,!w,!w,d,r,r")
|
815 |
|
|
(plus:HI
|
816 |
|
|
(match_operand:HI 1 "register_operand" "%0,0,0,0,0,0")
|
817 |
|
|
(match_operand:HI 2 "nonmemory_operand" "r,I,J,i,P,N")))]
|
818 |
|
|
""
|
819 |
|
|
"@
|
820 |
|
|
add %A0,%A2\;adc %B0,%B2
|
821 |
|
|
adiw %A0,%2
|
822 |
|
|
sbiw %A0,%n2
|
823 |
|
|
subi %A0,lo8(-(%2))\;sbci %B0,hi8(-(%2))
|
824 |
|
|
sec\;adc %A0,__zero_reg__\;adc %B0,__zero_reg__
|
825 |
|
|
sec\;sbc %A0,__zero_reg__\;sbc %B0,__zero_reg__"
|
826 |
|
|
[(set_attr "length" "2,1,1,2,3,3")
|
827 |
|
|
(set_attr "cc" "set_n,set_czn,set_czn,set_czn,set_n,set_n")])
|
828 |
|
|
|
829 |
|
|
(define_insn "addsi3"
|
830 |
|
|
[(set (match_operand:SI 0 "register_operand" "=r,!w,!w,d,r,r")
|
831 |
|
|
(plus:SI
|
832 |
|
|
(match_operand:SI 1 "register_operand" "%0,0,0,0,0,0")
|
833 |
|
|
(match_operand:SI 2 "nonmemory_operand" "r,I,J,i,P,N")))]
|
834 |
|
|
""
|
835 |
|
|
"@
|
836 |
|
|
add %A0,%A2\;adc %B0,%B2\;adc %C0,%C2\;adc %D0,%D2
|
837 |
|
|
adiw %0,%2\;adc %C0,__zero_reg__\;adc %D0,__zero_reg__
|
838 |
|
|
sbiw %0,%n2\;sbc %C0,__zero_reg__\;sbc %D0,__zero_reg__
|
839 |
|
|
subi %0,lo8(-(%2))\;sbci %B0,hi8(-(%2))\;sbci %C0,hlo8(-(%2))\;sbci %D0,hhi8(-(%2))
|
840 |
|
|
sec\;adc %A0,__zero_reg__\;adc %B0,__zero_reg__\;adc %C0,__zero_reg__\;adc %D0,__zero_reg__
|
841 |
|
|
sec\;sbc %A0,__zero_reg__\;sbc %B0,__zero_reg__\;sbc %C0,__zero_reg__\;sbc %D0,__zero_reg__"
|
842 |
|
|
[(set_attr "length" "4,3,3,4,5,5")
|
843 |
|
|
(set_attr "cc" "set_n,set_n,set_czn,set_czn,set_n,set_n")])
|
844 |
|
|
|
845 |
|
|
(define_insn "*addsi3_zero_extend"
|
846 |
|
|
[(set (match_operand:SI 0 "register_operand" "=r")
|
847 |
|
|
(plus:SI (zero_extend:SI
|
848 |
|
|
(match_operand:QI 1 "register_operand" "r"))
|
849 |
|
|
(match_operand:SI 2 "register_operand" "0")))]
|
850 |
|
|
""
|
851 |
|
|
"add %A0,%1
|
852 |
|
|
adc %B0,__zero_reg__
|
853 |
|
|
adc %C0,__zero_reg__
|
854 |
|
|
adc %D0,__zero_reg__"
|
855 |
|
|
[(set_attr "length" "4")
|
856 |
|
|
(set_attr "cc" "set_n")])
|
857 |
|
|
|
858 |
|
|
;-----------------------------------------------------------------------------
|
859 |
|
|
; sub bytes
|
860 |
|
|
(define_insn "subqi3"
|
861 |
|
|
[(set (match_operand:QI 0 "register_operand" "=r,d")
|
862 |
|
|
(minus:QI (match_operand:QI 1 "register_operand" "0,0")
|
863 |
|
|
(match_operand:QI 2 "nonmemory_operand" "r,i")))]
|
864 |
|
|
""
|
865 |
|
|
"@
|
866 |
|
|
sub %0,%2
|
867 |
|
|
subi %0,lo8(%2)"
|
868 |
|
|
[(set_attr "length" "1,1")
|
869 |
|
|
(set_attr "cc" "set_czn,set_czn")])
|
870 |
|
|
|
871 |
|
|
(define_insn "subhi3"
|
872 |
|
|
[(set (match_operand:HI 0 "register_operand" "=r,d")
|
873 |
|
|
(minus:HI (match_operand:HI 1 "register_operand" "0,0")
|
874 |
|
|
(match_operand:HI 2 "nonmemory_operand" "r,i")))]
|
875 |
|
|
""
|
876 |
|
|
"@
|
877 |
|
|
sub %A0,%A2\;sbc %B0,%B2
|
878 |
|
|
subi %A0,lo8(%2)\;sbci %B0,hi8(%2)"
|
879 |
|
|
[(set_attr "length" "2,2")
|
880 |
|
|
(set_attr "cc" "set_czn,set_czn")])
|
881 |
|
|
|
882 |
|
|
(define_insn "*subhi3_zero_extend1"
|
883 |
|
|
[(set (match_operand:HI 0 "register_operand" "=r")
|
884 |
|
|
(minus:HI (match_operand:HI 1 "register_operand" "0")
|
885 |
|
|
(zero_extend:HI
|
886 |
|
|
(match_operand:QI 2 "register_operand" "r"))))]
|
887 |
|
|
""
|
888 |
|
|
"sub %A0,%2
|
889 |
|
|
sbc %B0,__zero_reg__"
|
890 |
|
|
[(set_attr "length" "2")
|
891 |
|
|
(set_attr "cc" "set_n")])
|
892 |
|
|
|
893 |
|
|
(define_insn "subsi3"
|
894 |
|
|
[(set (match_operand:SI 0 "register_operand" "=r,d")
|
895 |
|
|
(minus:SI (match_operand:SI 1 "register_operand" "0,0")
|
896 |
|
|
(match_operand:SI 2 "nonmemory_operand" "r,i")))]
|
897 |
|
|
""
|
898 |
|
|
"@
|
899 |
|
|
sub %0,%2\;sbc %B0,%B2\;sbc %C0,%C2\;sbc %D0,%D2
|
900 |
|
|
subi %A0,lo8(%2)\;sbci %B0,hi8(%2)\;sbci %C0,hlo8(%2)\;sbci %D0,hhi8(%2)"
|
901 |
|
|
[(set_attr "length" "4,4")
|
902 |
|
|
(set_attr "cc" "set_czn,set_czn")])
|
903 |
|
|
|
904 |
|
|
(define_insn "*subsi3_zero_extend"
|
905 |
|
|
[(set (match_operand:SI 0 "register_operand" "=r")
|
906 |
|
|
(minus:SI (match_operand:SI 1 "register_operand" "0")
|
907 |
|
|
(zero_extend:SI
|
908 |
|
|
(match_operand:QI 2 "register_operand" "r"))))]
|
909 |
|
|
""
|
910 |
|
|
"sub %A0,%2
|
911 |
|
|
sbc %B0,__zero_reg__
|
912 |
|
|
sbc %C0,__zero_reg__
|
913 |
|
|
sbc %D0,__zero_reg__"
|
914 |
|
|
[(set_attr "length" "4")
|
915 |
|
|
(set_attr "cc" "set_n")])
|
916 |
|
|
|
917 |
|
|
;******************************************************************************
|
918 |
|
|
; mul
|
919 |
|
|
|
920 |
|
|
(define_expand "mulqi3"
|
921 |
|
|
[(set (match_operand:QI 0 "register_operand" "")
|
922 |
|
|
(mult:QI (match_operand:QI 1 "register_operand" "")
|
923 |
|
|
(match_operand:QI 2 "register_operand" "")))]
|
924 |
|
|
""
|
925 |
|
|
"{
|
926 |
|
|
if (!AVR_HAVE_MUL)
|
927 |
|
|
{
|
928 |
|
|
emit_insn (gen_mulqi3_call (operands[0], operands[1], operands[2]));
|
929 |
|
|
DONE;
|
930 |
|
|
}
|
931 |
|
|
}")
|
932 |
|
|
|
933 |
|
|
(define_insn "*mulqi3_enh"
|
934 |
|
|
[(set (match_operand:QI 0 "register_operand" "=r")
|
935 |
|
|
(mult:QI (match_operand:QI 1 "register_operand" "r")
|
936 |
|
|
(match_operand:QI 2 "register_operand" "r")))]
|
937 |
|
|
"AVR_HAVE_MUL"
|
938 |
|
|
"mul %1,%2
|
939 |
|
|
mov %0,r0
|
940 |
|
|
clr r1"
|
941 |
|
|
[(set_attr "length" "3")
|
942 |
|
|
(set_attr "cc" "clobber")])
|
943 |
|
|
|
944 |
|
|
(define_expand "mulqi3_call"
|
945 |
|
|
[(set (reg:QI 24) (match_operand:QI 1 "register_operand" ""))
|
946 |
|
|
(set (reg:QI 22) (match_operand:QI 2 "register_operand" ""))
|
947 |
|
|
(parallel [(set (reg:QI 24) (mult:QI (reg:QI 24) (reg:QI 22)))
|
948 |
|
|
(clobber (reg:QI 22))])
|
949 |
|
|
(set (match_operand:QI 0 "register_operand" "") (reg:QI 24))]
|
950 |
|
|
""
|
951 |
|
|
"")
|
952 |
|
|
|
953 |
|
|
(define_insn "*mulqi3_call"
|
954 |
|
|
[(set (reg:QI 24) (mult:QI (reg:QI 24) (reg:QI 22)))
|
955 |
|
|
(clobber (reg:QI 22))]
|
956 |
|
|
"!AVR_HAVE_MUL"
|
957 |
|
|
"%~call __mulqi3"
|
958 |
|
|
[(set_attr "type" "xcall")
|
959 |
|
|
(set_attr "cc" "clobber")])
|
960 |
|
|
|
961 |
|
|
(define_insn "mulqihi3"
|
962 |
|
|
[(set (match_operand:HI 0 "register_operand" "=r")
|
963 |
|
|
(mult:HI (sign_extend:HI (match_operand:QI 1 "register_operand" "d"))
|
964 |
|
|
(sign_extend:HI (match_operand:QI 2 "register_operand" "d"))))]
|
965 |
|
|
"AVR_HAVE_MUL"
|
966 |
|
|
"muls %1,%2
|
967 |
|
|
movw %0,r0
|
968 |
|
|
clr r1"
|
969 |
|
|
[(set_attr "length" "3")
|
970 |
|
|
(set_attr "cc" "clobber")])
|
971 |
|
|
|
972 |
|
|
(define_insn "umulqihi3"
|
973 |
|
|
[(set (match_operand:HI 0 "register_operand" "=r")
|
974 |
|
|
(mult:HI (zero_extend:HI (match_operand:QI 1 "register_operand" "r"))
|
975 |
|
|
(zero_extend:HI (match_operand:QI 2 "register_operand" "r"))))]
|
976 |
|
|
"AVR_HAVE_MUL"
|
977 |
|
|
"mul %1,%2
|
978 |
|
|
movw %0,r0
|
979 |
|
|
clr r1"
|
980 |
|
|
[(set_attr "length" "3")
|
981 |
|
|
(set_attr "cc" "clobber")])
|
982 |
|
|
|
983 |
|
|
(define_expand "mulhi3"
|
984 |
|
|
[(set (match_operand:HI 0 "register_operand" "")
|
985 |
|
|
(mult:HI (match_operand:HI 1 "register_operand" "")
|
986 |
|
|
(match_operand:HI 2 "register_operand" "")))]
|
987 |
|
|
""
|
988 |
|
|
"
|
989 |
|
|
{
|
990 |
|
|
if (!AVR_HAVE_MUL)
|
991 |
|
|
{
|
992 |
|
|
emit_insn (gen_mulhi3_call (operands[0], operands[1], operands[2]));
|
993 |
|
|
DONE;
|
994 |
|
|
}
|
995 |
|
|
}")
|
996 |
|
|
|
997 |
|
|
(define_insn "*mulhi3_enh"
|
998 |
|
|
[(set (match_operand:HI 0 "register_operand" "=&r")
|
999 |
|
|
(mult:HI (match_operand:HI 1 "register_operand" "r")
|
1000 |
|
|
(match_operand:HI 2 "register_operand" "r")))]
|
1001 |
|
|
"AVR_HAVE_MUL"
|
1002 |
|
|
"mul %A1,%A2
|
1003 |
|
|
movw %0,r0
|
1004 |
|
|
mul %A1,%B2
|
1005 |
|
|
add %B0,r0
|
1006 |
|
|
mul %B1,%A2
|
1007 |
|
|
add %B0,r0
|
1008 |
|
|
clr r1"
|
1009 |
|
|
[(set_attr "length" "7")
|
1010 |
|
|
(set_attr "cc" "clobber")])
|
1011 |
|
|
|
1012 |
|
|
(define_expand "mulhi3_call"
|
1013 |
|
|
[(set (reg:HI 24) (match_operand:HI 1 "register_operand" ""))
|
1014 |
|
|
(set (reg:HI 22) (match_operand:HI 2 "register_operand" ""))
|
1015 |
|
|
(parallel [(set (reg:HI 24) (mult:HI (reg:HI 24) (reg:HI 22)))
|
1016 |
|
|
(clobber (reg:HI 22))
|
1017 |
|
|
(clobber (reg:QI 21))])
|
1018 |
|
|
(set (match_operand:HI 0 "register_operand" "") (reg:HI 24))]
|
1019 |
|
|
""
|
1020 |
|
|
"")
|
1021 |
|
|
|
1022 |
|
|
(define_insn "*mulhi3_call"
|
1023 |
|
|
[(set (reg:HI 24) (mult:HI (reg:HI 24) (reg:HI 22)))
|
1024 |
|
|
(clobber (reg:HI 22))
|
1025 |
|
|
(clobber (reg:QI 21))]
|
1026 |
|
|
"!AVR_HAVE_MUL"
|
1027 |
|
|
"%~call __mulhi3"
|
1028 |
|
|
[(set_attr "type" "xcall")
|
1029 |
|
|
(set_attr "cc" "clobber")])
|
1030 |
|
|
|
1031 |
|
|
;; Operand 2 (reg:SI 18) not clobbered on the enhanced core.
|
1032 |
|
|
;; All call-used registers clobbered otherwise - normal library call.
|
1033 |
|
|
(define_expand "mulsi3"
|
1034 |
|
|
[(set (reg:SI 22) (match_operand:SI 1 "register_operand" ""))
|
1035 |
|
|
(set (reg:SI 18) (match_operand:SI 2 "register_operand" ""))
|
1036 |
|
|
(parallel [(set (reg:SI 22) (mult:SI (reg:SI 22) (reg:SI 18)))
|
1037 |
|
|
(clobber (reg:HI 26))
|
1038 |
|
|
(clobber (reg:HI 30))])
|
1039 |
|
|
(set (match_operand:SI 0 "register_operand" "") (reg:SI 22))]
|
1040 |
|
|
"AVR_HAVE_MUL"
|
1041 |
|
|
"")
|
1042 |
|
|
|
1043 |
|
|
(define_insn "*mulsi3_call"
|
1044 |
|
|
[(set (reg:SI 22) (mult:SI (reg:SI 22) (reg:SI 18)))
|
1045 |
|
|
(clobber (reg:HI 26))
|
1046 |
|
|
(clobber (reg:HI 30))]
|
1047 |
|
|
"AVR_HAVE_MUL"
|
1048 |
|
|
"%~call __mulsi3"
|
1049 |
|
|
[(set_attr "type" "xcall")
|
1050 |
|
|
(set_attr "cc" "clobber")])
|
1051 |
|
|
|
1052 |
|
|
; / % / % / % / % / % / % / % / % / % / % / % / % / % / % / % / % / % / % / %
|
1053 |
|
|
; divmod
|
1054 |
|
|
|
1055 |
|
|
;; Generate libgcc.S calls ourselves, because:
|
1056 |
|
|
;; - we know exactly which registers are clobbered (for QI and HI
|
1057 |
|
|
;; modes, some of the call-used registers are preserved)
|
1058 |
|
|
;; - we get both the quotient and the remainder at no extra cost
|
1059 |
|
|
;; - we split the patterns only after the first CSE passes because
|
1060 |
|
|
;; CSE has problems to operate on hard regs.
|
1061 |
|
|
;;
|
1062 |
|
|
(define_insn_and_split "divmodqi4"
|
1063 |
|
|
[(parallel [(set (match_operand:QI 0 "pseudo_register_operand" "")
|
1064 |
|
|
(div:QI (match_operand:QI 1 "pseudo_register_operand" "")
|
1065 |
|
|
(match_operand:QI 2 "pseudo_register_operand" "")))
|
1066 |
|
|
(set (match_operand:QI 3 "pseudo_register_operand" "")
|
1067 |
|
|
(mod:QI (match_dup 1) (match_dup 2)))
|
1068 |
|
|
(clobber (reg:QI 22))
|
1069 |
|
|
(clobber (reg:QI 23))
|
1070 |
|
|
(clobber (reg:QI 24))
|
1071 |
|
|
(clobber (reg:QI 25))])]
|
1072 |
|
|
""
|
1073 |
|
|
"this divmodqi4 pattern should have been splitted;"
|
1074 |
|
|
""
|
1075 |
|
|
[(set (reg:QI 24) (match_dup 1))
|
1076 |
|
|
(set (reg:QI 22) (match_dup 2))
|
1077 |
|
|
(parallel [(set (reg:QI 24) (div:QI (reg:QI 24) (reg:QI 22)))
|
1078 |
|
|
(set (reg:QI 25) (mod:QI (reg:QI 24) (reg:QI 22)))
|
1079 |
|
|
(clobber (reg:QI 22))
|
1080 |
|
|
(clobber (reg:QI 23))])
|
1081 |
|
|
(set (match_dup 0) (reg:QI 24))
|
1082 |
|
|
(set (match_dup 3) (reg:QI 25))]
|
1083 |
|
|
"")
|
1084 |
|
|
|
1085 |
|
|
(define_insn "*divmodqi4_call"
|
1086 |
|
|
[(set (reg:QI 24) (div:QI (reg:QI 24) (reg:QI 22)))
|
1087 |
|
|
(set (reg:QI 25) (mod:QI (reg:QI 24) (reg:QI 22)))
|
1088 |
|
|
(clobber (reg:QI 22))
|
1089 |
|
|
(clobber (reg:QI 23))]
|
1090 |
|
|
""
|
1091 |
|
|
"%~call __divmodqi4"
|
1092 |
|
|
[(set_attr "type" "xcall")
|
1093 |
|
|
(set_attr "cc" "clobber")])
|
1094 |
|
|
|
1095 |
|
|
(define_insn_and_split "udivmodqi4"
|
1096 |
|
|
[(parallel [(set (match_operand:QI 0 "pseudo_register_operand" "")
|
1097 |
|
|
(udiv:QI (match_operand:QI 1 "pseudo_register_operand" "")
|
1098 |
|
|
(match_operand:QI 2 "pseudo_register_operand" "")))
|
1099 |
|
|
(set (match_operand:QI 3 "pseudo_register_operand" "")
|
1100 |
|
|
(umod:QI (match_dup 1) (match_dup 2)))
|
1101 |
|
|
(clobber (reg:QI 22))
|
1102 |
|
|
(clobber (reg:QI 23))
|
1103 |
|
|
(clobber (reg:QI 24))
|
1104 |
|
|
(clobber (reg:QI 25))])]
|
1105 |
|
|
""
|
1106 |
|
|
"this udivmodqi4 pattern should have been splitted;"
|
1107 |
|
|
""
|
1108 |
|
|
[(set (reg:QI 24) (match_dup 1))
|
1109 |
|
|
(set (reg:QI 22) (match_dup 2))
|
1110 |
|
|
(parallel [(set (reg:QI 24) (udiv:QI (reg:QI 24) (reg:QI 22)))
|
1111 |
|
|
(set (reg:QI 25) (umod:QI (reg:QI 24) (reg:QI 22)))
|
1112 |
|
|
(clobber (reg:QI 23))])
|
1113 |
|
|
(set (match_dup 0) (reg:QI 24))
|
1114 |
|
|
(set (match_dup 3) (reg:QI 25))]
|
1115 |
|
|
"")
|
1116 |
|
|
|
1117 |
|
|
(define_insn "*udivmodqi4_call"
|
1118 |
|
|
[(set (reg:QI 24) (udiv:QI (reg:QI 24) (reg:QI 22)))
|
1119 |
|
|
(set (reg:QI 25) (umod:QI (reg:QI 24) (reg:QI 22)))
|
1120 |
|
|
(clobber (reg:QI 23))]
|
1121 |
|
|
""
|
1122 |
|
|
"%~call __udivmodqi4"
|
1123 |
|
|
[(set_attr "type" "xcall")
|
1124 |
|
|
(set_attr "cc" "clobber")])
|
1125 |
|
|
|
1126 |
|
|
(define_insn_and_split "divmodhi4"
|
1127 |
|
|
[(parallel [(set (match_operand:HI 0 "pseudo_register_operand" "")
|
1128 |
|
|
(div:HI (match_operand:HI 1 "pseudo_register_operand" "")
|
1129 |
|
|
(match_operand:HI 2 "pseudo_register_operand" "")))
|
1130 |
|
|
(set (match_operand:HI 3 "pseudo_register_operand" "")
|
1131 |
|
|
(mod:HI (match_dup 1) (match_dup 2)))
|
1132 |
|
|
(clobber (reg:QI 21))
|
1133 |
|
|
(clobber (reg:HI 22))
|
1134 |
|
|
(clobber (reg:HI 24))
|
1135 |
|
|
(clobber (reg:HI 26))])]
|
1136 |
|
|
""
|
1137 |
|
|
"this should have been splitted;"
|
1138 |
|
|
""
|
1139 |
|
|
[(set (reg:HI 24) (match_dup 1))
|
1140 |
|
|
(set (reg:HI 22) (match_dup 2))
|
1141 |
|
|
(parallel [(set (reg:HI 22) (div:HI (reg:HI 24) (reg:HI 22)))
|
1142 |
|
|
(set (reg:HI 24) (mod:HI (reg:HI 24) (reg:HI 22)))
|
1143 |
|
|
(clobber (reg:HI 26))
|
1144 |
|
|
(clobber (reg:QI 21))])
|
1145 |
|
|
(set (match_dup 0) (reg:HI 22))
|
1146 |
|
|
(set (match_dup 3) (reg:HI 24))]
|
1147 |
|
|
"")
|
1148 |
|
|
|
1149 |
|
|
(define_insn "*divmodhi4_call"
|
1150 |
|
|
[(set (reg:HI 22) (div:HI (reg:HI 24) (reg:HI 22)))
|
1151 |
|
|
(set (reg:HI 24) (mod:HI (reg:HI 24) (reg:HI 22)))
|
1152 |
|
|
(clobber (reg:HI 26))
|
1153 |
|
|
(clobber (reg:QI 21))]
|
1154 |
|
|
""
|
1155 |
|
|
"%~call __divmodhi4"
|
1156 |
|
|
[(set_attr "type" "xcall")
|
1157 |
|
|
(set_attr "cc" "clobber")])
|
1158 |
|
|
|
1159 |
|
|
(define_insn_and_split "udivmodhi4"
|
1160 |
|
|
[(parallel [(set (match_operand:HI 0 "pseudo_register_operand" "")
|
1161 |
|
|
(udiv:HI (match_operand:HI 1 "pseudo_register_operand" "")
|
1162 |
|
|
(match_operand:HI 2 "pseudo_register_operand" "")))
|
1163 |
|
|
(set (match_operand:HI 3 "pseudo_register_operand" "")
|
1164 |
|
|
(umod:HI (match_dup 1) (match_dup 2)))
|
1165 |
|
|
(clobber (reg:QI 21))
|
1166 |
|
|
(clobber (reg:HI 22))
|
1167 |
|
|
(clobber (reg:HI 24))
|
1168 |
|
|
(clobber (reg:HI 26))])]
|
1169 |
|
|
""
|
1170 |
|
|
"this udivmodhi4 pattern should have been splitted.;"
|
1171 |
|
|
""
|
1172 |
|
|
[(set (reg:HI 24) (match_dup 1))
|
1173 |
|
|
(set (reg:HI 22) (match_dup 2))
|
1174 |
|
|
(parallel [(set (reg:HI 22) (udiv:HI (reg:HI 24) (reg:HI 22)))
|
1175 |
|
|
(set (reg:HI 24) (umod:HI (reg:HI 24) (reg:HI 22)))
|
1176 |
|
|
(clobber (reg:HI 26))
|
1177 |
|
|
(clobber (reg:QI 21))])
|
1178 |
|
|
(set (match_dup 0) (reg:HI 22))
|
1179 |
|
|
(set (match_dup 3) (reg:HI 24))]
|
1180 |
|
|
"")
|
1181 |
|
|
|
1182 |
|
|
(define_insn "*udivmodhi4_call"
|
1183 |
|
|
[(set (reg:HI 22) (udiv:HI (reg:HI 24) (reg:HI 22)))
|
1184 |
|
|
(set (reg:HI 24) (umod:HI (reg:HI 24) (reg:HI 22)))
|
1185 |
|
|
(clobber (reg:HI 26))
|
1186 |
|
|
(clobber (reg:QI 21))]
|
1187 |
|
|
""
|
1188 |
|
|
"%~call __udivmodhi4"
|
1189 |
|
|
[(set_attr "type" "xcall")
|
1190 |
|
|
(set_attr "cc" "clobber")])
|
1191 |
|
|
|
1192 |
|
|
(define_insn_and_split "divmodsi4"
|
1193 |
|
|
[(parallel [(set (match_operand:SI 0 "pseudo_register_operand" "")
|
1194 |
|
|
(div:SI (match_operand:SI 1 "pseudo_register_operand" "")
|
1195 |
|
|
(match_operand:SI 2 "pseudo_register_operand" "")))
|
1196 |
|
|
(set (match_operand:SI 3 "pseudo_register_operand" "")
|
1197 |
|
|
(mod:SI (match_dup 1) (match_dup 2)))
|
1198 |
|
|
(clobber (reg:SI 18))
|
1199 |
|
|
(clobber (reg:SI 22))
|
1200 |
|
|
(clobber (reg:HI 26))
|
1201 |
|
|
(clobber (reg:HI 30))])]
|
1202 |
|
|
""
|
1203 |
|
|
"this divmodsi4 pattern should have been splitted;"
|
1204 |
|
|
""
|
1205 |
|
|
[(set (reg:SI 22) (match_dup 1))
|
1206 |
|
|
(set (reg:SI 18) (match_dup 2))
|
1207 |
|
|
(parallel [(set (reg:SI 18) (div:SI (reg:SI 22) (reg:SI 18)))
|
1208 |
|
|
(set (reg:SI 22) (mod:SI (reg:SI 22) (reg:SI 18)))
|
1209 |
|
|
(clobber (reg:HI 26))
|
1210 |
|
|
(clobber (reg:HI 30))])
|
1211 |
|
|
(set (match_dup 0) (reg:SI 18))
|
1212 |
|
|
(set (match_dup 3) (reg:SI 22))]
|
1213 |
|
|
"")
|
1214 |
|
|
|
1215 |
|
|
(define_insn "*divmodsi4_call"
|
1216 |
|
|
[(set (reg:SI 18) (div:SI (reg:SI 22) (reg:SI 18)))
|
1217 |
|
|
(set (reg:SI 22) (mod:SI (reg:SI 22) (reg:SI 18)))
|
1218 |
|
|
(clobber (reg:HI 26))
|
1219 |
|
|
(clobber (reg:HI 30))]
|
1220 |
|
|
""
|
1221 |
|
|
"%~call __divmodsi4"
|
1222 |
|
|
[(set_attr "type" "xcall")
|
1223 |
|
|
(set_attr "cc" "clobber")])
|
1224 |
|
|
|
1225 |
|
|
(define_insn_and_split "udivmodsi4"
|
1226 |
|
|
[(parallel [(set (match_operand:SI 0 "pseudo_register_operand" "")
|
1227 |
|
|
(udiv:SI (match_operand:SI 1 "pseudo_register_operand" "")
|
1228 |
|
|
(match_operand:SI 2 "pseudo_register_operand" "")))
|
1229 |
|
|
(set (match_operand:SI 3 "pseudo_register_operand" "")
|
1230 |
|
|
(umod:SI (match_dup 1) (match_dup 2)))
|
1231 |
|
|
(clobber (reg:SI 18))
|
1232 |
|
|
(clobber (reg:SI 22))
|
1233 |
|
|
(clobber (reg:HI 26))
|
1234 |
|
|
(clobber (reg:HI 30))])]
|
1235 |
|
|
""
|
1236 |
|
|
"this udivmodsi4 pattern should have been splitted;"
|
1237 |
|
|
""
|
1238 |
|
|
[(set (reg:SI 22) (match_dup 1))
|
1239 |
|
|
(set (reg:SI 18) (match_dup 2))
|
1240 |
|
|
(parallel [(set (reg:SI 18) (udiv:SI (reg:SI 22) (reg:SI 18)))
|
1241 |
|
|
(set (reg:SI 22) (umod:SI (reg:SI 22) (reg:SI 18)))
|
1242 |
|
|
(clobber (reg:HI 26))
|
1243 |
|
|
(clobber (reg:HI 30))])
|
1244 |
|
|
(set (match_dup 0) (reg:SI 18))
|
1245 |
|
|
(set (match_dup 3) (reg:SI 22))]
|
1246 |
|
|
"")
|
1247 |
|
|
|
1248 |
|
|
(define_insn "*udivmodsi4_call"
|
1249 |
|
|
[(set (reg:SI 18) (udiv:SI (reg:SI 22) (reg:SI 18)))
|
1250 |
|
|
(set (reg:SI 22) (umod:SI (reg:SI 22) (reg:SI 18)))
|
1251 |
|
|
(clobber (reg:HI 26))
|
1252 |
|
|
(clobber (reg:HI 30))]
|
1253 |
|
|
""
|
1254 |
|
|
"%~call __udivmodsi4"
|
1255 |
|
|
[(set_attr "type" "xcall")
|
1256 |
|
|
(set_attr "cc" "clobber")])
|
1257 |
|
|
|
1258 |
|
|
;&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&
|
1259 |
|
|
; and
|
1260 |
|
|
|
1261 |
|
|
(define_insn "andqi3"
|
1262 |
|
|
[(set (match_operand:QI 0 "register_operand" "=r,d")
|
1263 |
|
|
(and:QI (match_operand:QI 1 "register_operand" "%0,0")
|
1264 |
|
|
(match_operand:QI 2 "nonmemory_operand" "r,i")))]
|
1265 |
|
|
""
|
1266 |
|
|
"@
|
1267 |
|
|
and %0,%2
|
1268 |
|
|
andi %0,lo8(%2)"
|
1269 |
|
|
[(set_attr "length" "1,1")
|
1270 |
|
|
(set_attr "cc" "set_zn,set_zn")])
|
1271 |
|
|
|
1272 |
|
|
(define_insn "andhi3"
|
1273 |
|
|
[(set (match_operand:HI 0 "register_operand" "=r,d,r")
|
1274 |
|
|
(and:HI (match_operand:HI 1 "register_operand" "%0,0,0")
|
1275 |
|
|
(match_operand:HI 2 "nonmemory_operand" "r,i,M")))
|
1276 |
|
|
(clobber (match_scratch:QI 3 "=X,X,&d"))]
|
1277 |
|
|
""
|
1278 |
|
|
{
|
1279 |
|
|
if (which_alternative==0)
|
1280 |
|
|
return ("and %A0,%A2" CR_TAB
|
1281 |
|
|
"and %B0,%B2");
|
1282 |
|
|
else if (which_alternative==1)
|
1283 |
|
|
{
|
1284 |
|
|
if (GET_CODE (operands[2]) == CONST_INT)
|
1285 |
|
|
{
|
1286 |
|
|
int mask = INTVAL (operands[2]);
|
1287 |
|
|
if ((mask & 0xff) != 0xff)
|
1288 |
|
|
output_asm_insn (AS2 (andi,%A0,lo8(%2)), operands);
|
1289 |
|
|
if ((mask & 0xff00) != 0xff00)
|
1290 |
|
|
output_asm_insn (AS2 (andi,%B0,hi8(%2)), operands);
|
1291 |
|
|
return "";
|
1292 |
|
|
}
|
1293 |
|
|
return (AS2 (andi,%A0,lo8(%2)) CR_TAB
|
1294 |
|
|
AS2 (andi,%B0,hi8(%2)));
|
1295 |
|
|
}
|
1296 |
|
|
return (AS2 (ldi,%3,lo8(%2)) CR_TAB
|
1297 |
|
|
"and %A0,%3" CR_TAB
|
1298 |
|
|
AS1 (clr,%B0));
|
1299 |
|
|
}
|
1300 |
|
|
[(set_attr "length" "2,2,3")
|
1301 |
|
|
(set_attr "cc" "set_n,clobber,set_n")])
|
1302 |
|
|
|
1303 |
|
|
(define_insn "andsi3"
|
1304 |
|
|
[(set (match_operand:SI 0 "register_operand" "=r,d")
|
1305 |
|
|
(and:SI (match_operand:SI 1 "register_operand" "%0,0")
|
1306 |
|
|
(match_operand:SI 2 "nonmemory_operand" "r,i")))]
|
1307 |
|
|
""
|
1308 |
|
|
{
|
1309 |
|
|
if (which_alternative==0)
|
1310 |
|
|
return ("and %0,%2" CR_TAB
|
1311 |
|
|
"and %B0,%B2" CR_TAB
|
1312 |
|
|
"and %C0,%C2" CR_TAB
|
1313 |
|
|
"and %D0,%D2");
|
1314 |
|
|
else if (which_alternative==1)
|
1315 |
|
|
{
|
1316 |
|
|
if (GET_CODE (operands[2]) == CONST_INT)
|
1317 |
|
|
{
|
1318 |
|
|
HOST_WIDE_INT mask = INTVAL (operands[2]);
|
1319 |
|
|
if ((mask & 0xff) != 0xff)
|
1320 |
|
|
output_asm_insn (AS2 (andi,%A0,lo8(%2)), operands);
|
1321 |
|
|
if ((mask & 0xff00) != 0xff00)
|
1322 |
|
|
output_asm_insn (AS2 (andi,%B0,hi8(%2)), operands);
|
1323 |
|
|
if ((mask & 0xff0000L) != 0xff0000L)
|
1324 |
|
|
output_asm_insn (AS2 (andi,%C0,hlo8(%2)), operands);
|
1325 |
|
|
if ((mask & 0xff000000L) != 0xff000000L)
|
1326 |
|
|
output_asm_insn (AS2 (andi,%D0,hhi8(%2)), operands);
|
1327 |
|
|
return "";
|
1328 |
|
|
}
|
1329 |
|
|
return (AS2 (andi, %A0,lo8(%2)) CR_TAB
|
1330 |
|
|
AS2 (andi, %B0,hi8(%2)) CR_TAB
|
1331 |
|
|
AS2 (andi, %C0,hlo8(%2)) CR_TAB
|
1332 |
|
|
AS2 (andi, %D0,hhi8(%2)));
|
1333 |
|
|
}
|
1334 |
|
|
return "bug";
|
1335 |
|
|
}
|
1336 |
|
|
[(set_attr "length" "4,4")
|
1337 |
|
|
(set_attr "cc" "set_n,clobber")])
|
1338 |
|
|
|
1339 |
|
|
(define_peephole2 ; andi
|
1340 |
|
|
[(set (match_operand:QI 0 "d_register_operand" "")
|
1341 |
|
|
(and:QI (match_dup 0)
|
1342 |
|
|
(match_operand:QI 1 "const_int_operand" "")))
|
1343 |
|
|
(set (match_dup 0)
|
1344 |
|
|
(and:QI (match_dup 0)
|
1345 |
|
|
(match_operand:QI 2 "const_int_operand" "")))]
|
1346 |
|
|
""
|
1347 |
|
|
[(set (match_dup 0) (and:QI (match_dup 0) (match_dup 1)))]
|
1348 |
|
|
{
|
1349 |
|
|
operands[1] = GEN_INT (INTVAL (operands[1]) & INTVAL (operands[2]));
|
1350 |
|
|
})
|
1351 |
|
|
|
1352 |
|
|
;;|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
1353 |
|
|
;; ior
|
1354 |
|
|
|
1355 |
|
|
(define_insn "iorqi3"
|
1356 |
|
|
[(set (match_operand:QI 0 "register_operand" "=r,d")
|
1357 |
|
|
(ior:QI (match_operand:QI 1 "register_operand" "%0,0")
|
1358 |
|
|
(match_operand:QI 2 "nonmemory_operand" "r,i")))]
|
1359 |
|
|
""
|
1360 |
|
|
"@
|
1361 |
|
|
or %0,%2
|
1362 |
|
|
ori %0,lo8(%2)"
|
1363 |
|
|
[(set_attr "length" "1,1")
|
1364 |
|
|
(set_attr "cc" "set_zn,set_zn")])
|
1365 |
|
|
|
1366 |
|
|
(define_insn "iorhi3"
|
1367 |
|
|
[(set (match_operand:HI 0 "register_operand" "=r,d")
|
1368 |
|
|
(ior:HI (match_operand:HI 1 "register_operand" "%0,0")
|
1369 |
|
|
(match_operand:HI 2 "nonmemory_operand" "r,i")))]
|
1370 |
|
|
""
|
1371 |
|
|
{
|
1372 |
|
|
if (which_alternative==0)
|
1373 |
|
|
return ("or %A0,%A2" CR_TAB
|
1374 |
|
|
"or %B0,%B2");
|
1375 |
|
|
if (GET_CODE (operands[2]) == CONST_INT)
|
1376 |
|
|
{
|
1377 |
|
|
int mask = INTVAL (operands[2]);
|
1378 |
|
|
if (mask & 0xff)
|
1379 |
|
|
output_asm_insn (AS2 (ori,%A0,lo8(%2)), operands);
|
1380 |
|
|
if (mask & 0xff00)
|
1381 |
|
|
output_asm_insn (AS2 (ori,%B0,hi8(%2)), operands);
|
1382 |
|
|
return "";
|
1383 |
|
|
}
|
1384 |
|
|
return (AS2 (ori,%0,lo8(%2)) CR_TAB
|
1385 |
|
|
AS2 (ori,%B0,hi8(%2)));
|
1386 |
|
|
}
|
1387 |
|
|
[(set_attr "length" "2,2")
|
1388 |
|
|
(set_attr "cc" "set_n,clobber")])
|
1389 |
|
|
|
1390 |
|
|
(define_insn "*iorhi3_clobber"
|
1391 |
|
|
[(set (match_operand:HI 0 "register_operand" "=r,r")
|
1392 |
|
|
(ior:HI (match_operand:HI 1 "register_operand" "%0,0")
|
1393 |
|
|
(match_operand:HI 2 "immediate_operand" "M,i")))
|
1394 |
|
|
(clobber (match_scratch:QI 3 "=&d,&d"))]
|
1395 |
|
|
""
|
1396 |
|
|
"@
|
1397 |
|
|
ldi %3,lo8(%2)\;or %A0,%3
|
1398 |
|
|
ldi %3,lo8(%2)\;or %A0,%3\;ldi %3,hi8(%2)\;or %B0,%3"
|
1399 |
|
|
[(set_attr "length" "2,4")
|
1400 |
|
|
(set_attr "cc" "clobber,set_n")])
|
1401 |
|
|
|
1402 |
|
|
(define_insn "iorsi3"
|
1403 |
|
|
[(set (match_operand:SI 0 "register_operand" "=r,d")
|
1404 |
|
|
(ior:SI (match_operand:SI 1 "register_operand" "%0,0")
|
1405 |
|
|
(match_operand:SI 2 "nonmemory_operand" "r,i")))]
|
1406 |
|
|
""
|
1407 |
|
|
{
|
1408 |
|
|
if (which_alternative==0)
|
1409 |
|
|
return ("or %0,%2" CR_TAB
|
1410 |
|
|
"or %B0,%B2" CR_TAB
|
1411 |
|
|
"or %C0,%C2" CR_TAB
|
1412 |
|
|
"or %D0,%D2");
|
1413 |
|
|
if (GET_CODE (operands[2]) == CONST_INT)
|
1414 |
|
|
{
|
1415 |
|
|
HOST_WIDE_INT mask = INTVAL (operands[2]);
|
1416 |
|
|
if (mask & 0xff)
|
1417 |
|
|
output_asm_insn (AS2 (ori,%A0,lo8(%2)), operands);
|
1418 |
|
|
if (mask & 0xff00)
|
1419 |
|
|
output_asm_insn (AS2 (ori,%B0,hi8(%2)), operands);
|
1420 |
|
|
if (mask & 0xff0000L)
|
1421 |
|
|
output_asm_insn (AS2 (ori,%C0,hlo8(%2)), operands);
|
1422 |
|
|
if (mask & 0xff000000L)
|
1423 |
|
|
output_asm_insn (AS2 (ori,%D0,hhi8(%2)), operands);
|
1424 |
|
|
return "";
|
1425 |
|
|
}
|
1426 |
|
|
return (AS2 (ori, %A0,lo8(%2)) CR_TAB
|
1427 |
|
|
AS2 (ori, %B0,hi8(%2)) CR_TAB
|
1428 |
|
|
AS2 (ori, %C0,hlo8(%2)) CR_TAB
|
1429 |
|
|
AS2 (ori, %D0,hhi8(%2)));
|
1430 |
|
|
}
|
1431 |
|
|
[(set_attr "length" "4,4")
|
1432 |
|
|
(set_attr "cc" "set_n,clobber")])
|
1433 |
|
|
|
1434 |
|
|
(define_insn "*iorsi3_clobber"
|
1435 |
|
|
[(set (match_operand:SI 0 "register_operand" "=r,r")
|
1436 |
|
|
(ior:SI (match_operand:SI 1 "register_operand" "%0,0")
|
1437 |
|
|
(match_operand:SI 2 "immediate_operand" "M,i")))
|
1438 |
|
|
(clobber (match_scratch:QI 3 "=&d,&d"))]
|
1439 |
|
|
""
|
1440 |
|
|
"@
|
1441 |
|
|
ldi %3,lo8(%2)\;or %A0,%3
|
1442 |
|
|
ldi %3,lo8(%2)\;or %A0,%3\;ldi %3,hi8(%2)\;or %B0,%3\;ldi %3,hlo8(%2)\;or %C0,%3\;ldi %3,hhi8(%2)\;or %D0,%3"
|
1443 |
|
|
[(set_attr "length" "2,8")
|
1444 |
|
|
(set_attr "cc" "clobber,set_n")])
|
1445 |
|
|
|
1446 |
|
|
;;^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
1447 |
|
|
;; xor
|
1448 |
|
|
|
1449 |
|
|
(define_insn "xorqi3"
|
1450 |
|
|
[(set (match_operand:QI 0 "register_operand" "=r")
|
1451 |
|
|
(xor:QI (match_operand:QI 1 "register_operand" "%0")
|
1452 |
|
|
(match_operand:QI 2 "register_operand" "r")))]
|
1453 |
|
|
""
|
1454 |
|
|
"eor %0,%2"
|
1455 |
|
|
[(set_attr "length" "1")
|
1456 |
|
|
(set_attr "cc" "set_zn")])
|
1457 |
|
|
|
1458 |
|
|
(define_insn "xorhi3"
|
1459 |
|
|
[(set (match_operand:HI 0 "register_operand" "=r")
|
1460 |
|
|
(xor:HI (match_operand:HI 1 "register_operand" "%0")
|
1461 |
|
|
(match_operand:HI 2 "register_operand" "r")))]
|
1462 |
|
|
""
|
1463 |
|
|
"eor %0,%2
|
1464 |
|
|
eor %B0,%B2"
|
1465 |
|
|
[(set_attr "length" "2")
|
1466 |
|
|
(set_attr "cc" "set_n")])
|
1467 |
|
|
|
1468 |
|
|
(define_insn "xorsi3"
|
1469 |
|
|
[(set (match_operand:SI 0 "register_operand" "=r")
|
1470 |
|
|
(xor:SI (match_operand:SI 1 "register_operand" "%0")
|
1471 |
|
|
(match_operand:SI 2 "register_operand" "r")))]
|
1472 |
|
|
""
|
1473 |
|
|
"eor %0,%2
|
1474 |
|
|
eor %B0,%B2
|
1475 |
|
|
eor %C0,%C2
|
1476 |
|
|
eor %D0,%D2"
|
1477 |
|
|
[(set_attr "length" "4")
|
1478 |
|
|
(set_attr "cc" "set_n")])
|
1479 |
|
|
|
1480 |
|
|
;; swap swap swap swap swap swap swap swap swap swap swap swap swap swap swap
|
1481 |
|
|
;; swap
|
1482 |
|
|
|
1483 |
|
|
(define_expand "rotlqi3"
|
1484 |
|
|
[(set (match_operand:QI 0 "register_operand" "")
|
1485 |
|
|
(rotate:QI (match_operand:QI 1 "register_operand" "")
|
1486 |
|
|
(match_operand:QI 2 "const_int_operand" "")))]
|
1487 |
|
|
""
|
1488 |
|
|
"
|
1489 |
|
|
{
|
1490 |
|
|
if (!CONST_INT_P (operands[2]) || (INTVAL (operands[2]) != 4))
|
1491 |
|
|
FAIL;
|
1492 |
|
|
}")
|
1493 |
|
|
|
1494 |
|
|
(define_insn "*rotlqi3_4"
|
1495 |
|
|
[(set (match_operand:QI 0 "register_operand" "=r")
|
1496 |
|
|
(rotate:QI (match_operand:QI 1 "register_operand" "0")
|
1497 |
|
|
(const_int 4)))]
|
1498 |
|
|
""
|
1499 |
|
|
"swap %0"
|
1500 |
|
|
[(set_attr "length" "1")
|
1501 |
|
|
(set_attr "cc" "none")])
|
1502 |
|
|
|
1503 |
|
|
;; Split all rotates of HI,SI and DImode registers where rotation is by
|
1504 |
|
|
;; a whole number of bytes. The split creates the appropriate moves and
|
1505 |
|
|
;; considers all overlap situations. DImode is split before reload.
|
1506 |
|
|
|
1507 |
|
|
;; HImode does not need scratch. Use attribute for this constraint.
|
1508 |
|
|
;; Use QI scratch for DI mode as this is often split into byte sized operands.
|
1509 |
|
|
|
1510 |
|
|
(define_mode_attr rotx [(DI "&r,&r,X") (SI "&r,&r,X") (HI "X,X,X")])
|
1511 |
|
|
(define_mode_attr rotsmode [(DI "QI") (SI "HI") (HI "QI")])
|
1512 |
|
|
|
1513 |
|
|
(define_expand "rotl3"
|
1514 |
|
|
[(parallel [(set (match_operand:HIDI 0 "register_operand" "")
|
1515 |
|
|
(rotate:HIDI (match_operand:HIDI 1 "register_operand" "")
|
1516 |
|
|
(match_operand:VOID 2 "const_int_operand" "")))
|
1517 |
|
|
(clobber (match_operand 3 ""))])]
|
1518 |
|
|
""
|
1519 |
|
|
"
|
1520 |
|
|
{
|
1521 |
|
|
if (CONST_INT_P (operands[2]) && 0 == (INTVAL (operands[2]) % 8))
|
1522 |
|
|
{
|
1523 |
|
|
if (AVR_HAVE_MOVW && 0 == INTVAL (operands[2]) % 16)
|
1524 |
|
|
operands[3] = gen_reg_rtx (mode);
|
1525 |
|
|
else
|
1526 |
|
|
operands[3] = gen_reg_rtx (QImode);
|
1527 |
|
|
}
|
1528 |
|
|
else
|
1529 |
|
|
FAIL;
|
1530 |
|
|
}")
|
1531 |
|
|
|
1532 |
|
|
|
1533 |
|
|
;; Overlapping non-HImode registers often (but not always) need a scratch.
|
1534 |
|
|
;; The best we can do is use early clobber alternative "#&r" so that
|
1535 |
|
|
;; completely non-overlapping operands dont get a scratch but # so register
|
1536 |
|
|
;; allocation does not prefer non-overlapping.
|
1537 |
|
|
|
1538 |
|
|
|
1539 |
|
|
; Split word aligned rotates using scratch that is mode dependent.
|
1540 |
|
|
(define_insn_and_split "*rotw"
|
1541 |
|
|
[(set (match_operand:HIDI 0 "register_operand" "=r,r,#&r")
|
1542 |
|
|
(rotate:HIDI (match_operand:HIDI 1 "register_operand" "0,r,r")
|
1543 |
|
|
(match_operand 2 "immediate_operand" "n,n,n")))
|
1544 |
|
|
(clobber (match_operand: 3 "register_operand" "=" ))]
|
1545 |
|
|
"(CONST_INT_P (operands[2]) &&
|
1546 |
|
|
(0 == (INTVAL (operands[2]) % 16) && AVR_HAVE_MOVW))"
|
1547 |
|
|
"#"
|
1548 |
|
|
"&& (reload_completed || mode == DImode)"
|
1549 |
|
|
[(const_int 0)]
|
1550 |
|
|
"avr_rotate_bytes (operands);
|
1551 |
|
|
DONE;"
|
1552 |
|
|
)
|
1553 |
|
|
|
1554 |
|
|
|
1555 |
|
|
; Split byte aligned rotates using scratch that is always QI mode.
|
1556 |
|
|
(define_insn_and_split "*rotb"
|
1557 |
|
|
[(set (match_operand:HIDI 0 "register_operand" "=r,r,#&r")
|
1558 |
|
|
(rotate:HIDI (match_operand:HIDI 1 "register_operand" "0,r,r")
|
1559 |
|
|
(match_operand 2 "immediate_operand" "n,n,n")))
|
1560 |
|
|
(clobber (match_operand:QI 3 "register_operand" "=" ))]
|
1561 |
|
|
"(CONST_INT_P (operands[2]) &&
|
1562 |
|
|
(8 == (INTVAL (operands[2]) % 16)
|
1563 |
|
|
|| (!AVR_HAVE_MOVW && 0 == (INTVAL (operands[2]) % 16))))"
|
1564 |
|
|
"#"
|
1565 |
|
|
"&& (reload_completed || mode == DImode)"
|
1566 |
|
|
[(const_int 0)]
|
1567 |
|
|
"avr_rotate_bytes (operands);
|
1568 |
|
|
DONE;"
|
1569 |
|
|
)
|
1570 |
|
|
|
1571 |
|
|
|
1572 |
|
|
;;<< << << << << << << << << << << << << << << << << << << << << << << << << <<
|
1573 |
|
|
;; arithmetic shift left
|
1574 |
|
|
|
1575 |
|
|
(define_expand "ashlqi3"
|
1576 |
|
|
[(set (match_operand:QI 0 "register_operand" "")
|
1577 |
|
|
(ashift:QI (match_operand:QI 1 "register_operand" "")
|
1578 |
|
|
(match_operand:QI 2 "general_operand" "")))]
|
1579 |
|
|
""
|
1580 |
|
|
"")
|
1581 |
|
|
|
1582 |
|
|
(define_split ; ashlqi3_const4
|
1583 |
|
|
[(set (match_operand:QI 0 "d_register_operand" "")
|
1584 |
|
|
(ashift:QI (match_dup 0)
|
1585 |
|
|
(const_int 4)))]
|
1586 |
|
|
""
|
1587 |
|
|
[(set (match_dup 0) (rotate:QI (match_dup 0) (const_int 4)))
|
1588 |
|
|
(set (match_dup 0) (and:QI (match_dup 0) (const_int -16)))]
|
1589 |
|
|
"")
|
1590 |
|
|
|
1591 |
|
|
(define_split ; ashlqi3_const5
|
1592 |
|
|
[(set (match_operand:QI 0 "d_register_operand" "")
|
1593 |
|
|
(ashift:QI (match_dup 0)
|
1594 |
|
|
(const_int 5)))]
|
1595 |
|
|
""
|
1596 |
|
|
[(set (match_dup 0) (rotate:QI (match_dup 0) (const_int 4)))
|
1597 |
|
|
(set (match_dup 0) (ashift:QI (match_dup 0) (const_int 1)))
|
1598 |
|
|
(set (match_dup 0) (and:QI (match_dup 0) (const_int -32)))]
|
1599 |
|
|
"")
|
1600 |
|
|
|
1601 |
|
|
(define_split ; ashlqi3_const6
|
1602 |
|
|
[(set (match_operand:QI 0 "d_register_operand" "")
|
1603 |
|
|
(ashift:QI (match_dup 0)
|
1604 |
|
|
(const_int 6)))]
|
1605 |
|
|
""
|
1606 |
|
|
[(set (match_dup 0) (rotate:QI (match_dup 0) (const_int 4)))
|
1607 |
|
|
(set (match_dup 0) (ashift:QI (match_dup 0) (const_int 2)))
|
1608 |
|
|
(set (match_dup 0) (and:QI (match_dup 0) (const_int -64)))]
|
1609 |
|
|
"")
|
1610 |
|
|
|
1611 |
|
|
(define_insn "*ashlqi3"
|
1612 |
|
|
[(set (match_operand:QI 0 "register_operand" "=r,r,r,r,!d,r,r")
|
1613 |
|
|
(ashift:QI (match_operand:QI 1 "register_operand" "0,0,0,0,0,0,0")
|
1614 |
|
|
(match_operand:QI 2 "general_operand" "r,L,P,K,n,n,Qm")))]
|
1615 |
|
|
""
|
1616 |
|
|
"* return ashlqi3_out (insn, operands, NULL);"
|
1617 |
|
|
[(set_attr "length" "5,0,1,2,4,6,9")
|
1618 |
|
|
(set_attr "cc" "clobber,none,set_czn,set_czn,set_czn,set_czn,clobber")])
|
1619 |
|
|
|
1620 |
|
|
(define_insn "ashlhi3"
|
1621 |
|
|
[(set (match_operand:HI 0 "register_operand" "=r,r,r,r,r,r,r")
|
1622 |
|
|
(ashift:HI (match_operand:HI 1 "register_operand" "0,0,0,r,0,0,0")
|
1623 |
|
|
(match_operand:QI 2 "general_operand" "r,L,P,O,K,n,Qm")))]
|
1624 |
|
|
""
|
1625 |
|
|
"* return ashlhi3_out (insn, operands, NULL);"
|
1626 |
|
|
[(set_attr "length" "6,0,2,2,4,10,10")
|
1627 |
|
|
(set_attr "cc" "clobber,none,set_n,clobber,set_n,clobber,clobber")])
|
1628 |
|
|
|
1629 |
|
|
(define_insn "ashlsi3"
|
1630 |
|
|
[(set (match_operand:SI 0 "register_operand" "=r,r,r,r,r,r,r")
|
1631 |
|
|
(ashift:SI (match_operand:SI 1 "register_operand" "0,0,0,r,0,0,0")
|
1632 |
|
|
(match_operand:QI 2 "general_operand" "r,L,P,O,K,n,Qm")))]
|
1633 |
|
|
""
|
1634 |
|
|
"* return ashlsi3_out (insn, operands, NULL);"
|
1635 |
|
|
[(set_attr "length" "8,0,4,4,8,10,12")
|
1636 |
|
|
(set_attr "cc" "clobber,none,set_n,clobber,set_n,clobber,clobber")])
|
1637 |
|
|
|
1638 |
|
|
;; Optimize if a scratch register from LD_REGS happens to be available.
|
1639 |
|
|
|
1640 |
|
|
(define_peephole2 ; ashlqi3_l_const4
|
1641 |
|
|
[(set (match_operand:QI 0 "l_register_operand" "")
|
1642 |
|
|
(ashift:QI (match_dup 0)
|
1643 |
|
|
(const_int 4)))
|
1644 |
|
|
(match_scratch:QI 1 "d")]
|
1645 |
|
|
""
|
1646 |
|
|
[(set (match_dup 0) (rotate:QI (match_dup 0) (const_int 4)))
|
1647 |
|
|
(set (match_dup 1) (const_int -16))
|
1648 |
|
|
(set (match_dup 0) (and:QI (match_dup 0) (match_dup 1)))]
|
1649 |
|
|
"")
|
1650 |
|
|
|
1651 |
|
|
(define_peephole2 ; ashlqi3_l_const5
|
1652 |
|
|
[(set (match_operand:QI 0 "l_register_operand" "")
|
1653 |
|
|
(ashift:QI (match_dup 0)
|
1654 |
|
|
(const_int 5)))
|
1655 |
|
|
(match_scratch:QI 1 "d")]
|
1656 |
|
|
""
|
1657 |
|
|
[(set (match_dup 0) (rotate:QI (match_dup 0) (const_int 4)))
|
1658 |
|
|
(set (match_dup 0) (ashift:QI (match_dup 0) (const_int 1)))
|
1659 |
|
|
(set (match_dup 1) (const_int -32))
|
1660 |
|
|
(set (match_dup 0) (and:QI (match_dup 0) (match_dup 1)))]
|
1661 |
|
|
"")
|
1662 |
|
|
|
1663 |
|
|
(define_peephole2 ; ashlqi3_l_const6
|
1664 |
|
|
[(set (match_operand:QI 0 "l_register_operand" "")
|
1665 |
|
|
(ashift:QI (match_dup 0)
|
1666 |
|
|
(const_int 6)))
|
1667 |
|
|
(match_scratch:QI 1 "d")]
|
1668 |
|
|
""
|
1669 |
|
|
[(set (match_dup 0) (rotate:QI (match_dup 0) (const_int 4)))
|
1670 |
|
|
(set (match_dup 0) (ashift:QI (match_dup 0) (const_int 2)))
|
1671 |
|
|
(set (match_dup 1) (const_int -64))
|
1672 |
|
|
(set (match_dup 0) (and:QI (match_dup 0) (match_dup 1)))]
|
1673 |
|
|
"")
|
1674 |
|
|
|
1675 |
|
|
(define_peephole2
|
1676 |
|
|
[(match_scratch:QI 3 "d")
|
1677 |
|
|
(set (match_operand:HI 0 "register_operand" "")
|
1678 |
|
|
(ashift:HI (match_operand:HI 1 "register_operand" "")
|
1679 |
|
|
(match_operand:QI 2 "const_int_operand" "")))]
|
1680 |
|
|
""
|
1681 |
|
|
[(parallel [(set (match_dup 0) (ashift:HI (match_dup 1) (match_dup 2)))
|
1682 |
|
|
(clobber (match_dup 3))])]
|
1683 |
|
|
"")
|
1684 |
|
|
|
1685 |
|
|
(define_insn "*ashlhi3_const"
|
1686 |
|
|
[(set (match_operand:HI 0 "register_operand" "=r,r,r,r,r")
|
1687 |
|
|
(ashift:HI (match_operand:HI 1 "register_operand" "0,0,r,0,0")
|
1688 |
|
|
(match_operand:QI 2 "const_int_operand" "L,P,O,K,n")))
|
1689 |
|
|
(clobber (match_scratch:QI 3 "=X,X,X,X,&d"))]
|
1690 |
|
|
"reload_completed"
|
1691 |
|
|
"* return ashlhi3_out (insn, operands, NULL);"
|
1692 |
|
|
[(set_attr "length" "0,2,2,4,10")
|
1693 |
|
|
(set_attr "cc" "none,set_n,clobber,set_n,clobber")])
|
1694 |
|
|
|
1695 |
|
|
(define_peephole2
|
1696 |
|
|
[(match_scratch:QI 3 "d")
|
1697 |
|
|
(set (match_operand:SI 0 "register_operand" "")
|
1698 |
|
|
(ashift:SI (match_operand:SI 1 "register_operand" "")
|
1699 |
|
|
(match_operand:QI 2 "const_int_operand" "")))]
|
1700 |
|
|
""
|
1701 |
|
|
[(parallel [(set (match_dup 0) (ashift:SI (match_dup 1) (match_dup 2)))
|
1702 |
|
|
(clobber (match_dup 3))])]
|
1703 |
|
|
"")
|
1704 |
|
|
|
1705 |
|
|
(define_insn "*ashlsi3_const"
|
1706 |
|
|
[(set (match_operand:SI 0 "register_operand" "=r,r,r,r")
|
1707 |
|
|
(ashift:SI (match_operand:SI 1 "register_operand" "0,0,r,0")
|
1708 |
|
|
(match_operand:QI 2 "const_int_operand" "L,P,O,n")))
|
1709 |
|
|
(clobber (match_scratch:QI 3 "=X,X,X,&d"))]
|
1710 |
|
|
"reload_completed"
|
1711 |
|
|
"* return ashlsi3_out (insn, operands, NULL);"
|
1712 |
|
|
[(set_attr "length" "0,4,4,10")
|
1713 |
|
|
(set_attr "cc" "none,set_n,clobber,clobber")])
|
1714 |
|
|
|
1715 |
|
|
;; >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >>
|
1716 |
|
|
;; arithmetic shift right
|
1717 |
|
|
|
1718 |
|
|
(define_insn "ashrqi3"
|
1719 |
|
|
[(set (match_operand:QI 0 "register_operand" "=r,r,r,r,r,r")
|
1720 |
|
|
(ashiftrt:QI (match_operand:QI 1 "register_operand" "0,0,0,0,0,0")
|
1721 |
|
|
(match_operand:QI 2 "general_operand" "r,L,P,K,n,Qm")))]
|
1722 |
|
|
""
|
1723 |
|
|
"* return ashrqi3_out (insn, operands, NULL);"
|
1724 |
|
|
[(set_attr "length" "5,0,1,2,5,9")
|
1725 |
|
|
(set_attr "cc" "clobber,none,clobber,clobber,clobber,clobber")])
|
1726 |
|
|
|
1727 |
|
|
(define_insn "ashrhi3"
|
1728 |
|
|
[(set (match_operand:HI 0 "register_operand" "=r,r,r,r,r,r,r")
|
1729 |
|
|
(ashiftrt:HI (match_operand:HI 1 "register_operand" "0,0,0,r,0,0,0")
|
1730 |
|
|
(match_operand:QI 2 "general_operand" "r,L,P,O,K,n,Qm")))]
|
1731 |
|
|
""
|
1732 |
|
|
"* return ashrhi3_out (insn, operands, NULL);"
|
1733 |
|
|
[(set_attr "length" "6,0,2,4,4,10,10")
|
1734 |
|
|
(set_attr "cc" "clobber,none,clobber,set_n,clobber,clobber,clobber")])
|
1735 |
|
|
|
1736 |
|
|
(define_insn "ashrsi3"
|
1737 |
|
|
[(set (match_operand:SI 0 "register_operand" "=r,r,r,r,r,r,r")
|
1738 |
|
|
(ashiftrt:SI (match_operand:SI 1 "register_operand" "0,0,0,r,0,0,0")
|
1739 |
|
|
(match_operand:QI 2 "general_operand" "r,L,P,O,K,n,Qm")))]
|
1740 |
|
|
""
|
1741 |
|
|
"* return ashrsi3_out (insn, operands, NULL);"
|
1742 |
|
|
[(set_attr "length" "8,0,4,6,8,10,12")
|
1743 |
|
|
(set_attr "cc" "clobber,none,clobber,set_n,clobber,clobber,clobber")])
|
1744 |
|
|
|
1745 |
|
|
;; Optimize if a scratch register from LD_REGS happens to be available.
|
1746 |
|
|
|
1747 |
|
|
(define_peephole2
|
1748 |
|
|
[(match_scratch:QI 3 "d")
|
1749 |
|
|
(set (match_operand:HI 0 "register_operand" "")
|
1750 |
|
|
(ashiftrt:HI (match_operand:HI 1 "register_operand" "")
|
1751 |
|
|
(match_operand:QI 2 "const_int_operand" "")))]
|
1752 |
|
|
""
|
1753 |
|
|
[(parallel [(set (match_dup 0) (ashiftrt:HI (match_dup 1) (match_dup 2)))
|
1754 |
|
|
(clobber (match_dup 3))])]
|
1755 |
|
|
"")
|
1756 |
|
|
|
1757 |
|
|
(define_insn "*ashrhi3_const"
|
1758 |
|
|
[(set (match_operand:HI 0 "register_operand" "=r,r,r,r,r")
|
1759 |
|
|
(ashiftrt:HI (match_operand:HI 1 "register_operand" "0,0,r,0,0")
|
1760 |
|
|
(match_operand:QI 2 "const_int_operand" "L,P,O,K,n")))
|
1761 |
|
|
(clobber (match_scratch:QI 3 "=X,X,X,X,&d"))]
|
1762 |
|
|
"reload_completed"
|
1763 |
|
|
"* return ashrhi3_out (insn, operands, NULL);"
|
1764 |
|
|
[(set_attr "length" "0,2,4,4,10")
|
1765 |
|
|
(set_attr "cc" "none,clobber,set_n,clobber,clobber")])
|
1766 |
|
|
|
1767 |
|
|
(define_peephole2
|
1768 |
|
|
[(match_scratch:QI 3 "d")
|
1769 |
|
|
(set (match_operand:SI 0 "register_operand" "")
|
1770 |
|
|
(ashiftrt:SI (match_operand:SI 1 "register_operand" "")
|
1771 |
|
|
(match_operand:QI 2 "const_int_operand" "")))]
|
1772 |
|
|
""
|
1773 |
|
|
[(parallel [(set (match_dup 0) (ashiftrt:SI (match_dup 1) (match_dup 2)))
|
1774 |
|
|
(clobber (match_dup 3))])]
|
1775 |
|
|
"")
|
1776 |
|
|
|
1777 |
|
|
(define_insn "*ashrsi3_const"
|
1778 |
|
|
[(set (match_operand:SI 0 "register_operand" "=r,r,r,r")
|
1779 |
|
|
(ashiftrt:SI (match_operand:SI 1 "register_operand" "0,0,r,0")
|
1780 |
|
|
(match_operand:QI 2 "const_int_operand" "L,P,O,n")))
|
1781 |
|
|
(clobber (match_scratch:QI 3 "=X,X,X,&d"))]
|
1782 |
|
|
"reload_completed"
|
1783 |
|
|
"* return ashrsi3_out (insn, operands, NULL);"
|
1784 |
|
|
[(set_attr "length" "0,4,4,10")
|
1785 |
|
|
(set_attr "cc" "none,clobber,set_n,clobber")])
|
1786 |
|
|
|
1787 |
|
|
;; >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >>
|
1788 |
|
|
;; logical shift right
|
1789 |
|
|
|
1790 |
|
|
(define_expand "lshrqi3"
|
1791 |
|
|
[(set (match_operand:QI 0 "register_operand" "")
|
1792 |
|
|
(lshiftrt:QI (match_operand:QI 1 "register_operand" "")
|
1793 |
|
|
(match_operand:QI 2 "general_operand" "")))]
|
1794 |
|
|
""
|
1795 |
|
|
"")
|
1796 |
|
|
|
1797 |
|
|
(define_split ; lshrqi3_const4
|
1798 |
|
|
[(set (match_operand:QI 0 "d_register_operand" "")
|
1799 |
|
|
(lshiftrt:QI (match_dup 0)
|
1800 |
|
|
(const_int 4)))]
|
1801 |
|
|
""
|
1802 |
|
|
[(set (match_dup 0) (rotate:QI (match_dup 0) (const_int 4)))
|
1803 |
|
|
(set (match_dup 0) (and:QI (match_dup 0) (const_int 15)))]
|
1804 |
|
|
"")
|
1805 |
|
|
|
1806 |
|
|
(define_split ; lshrqi3_const5
|
1807 |
|
|
[(set (match_operand:QI 0 "d_register_operand" "")
|
1808 |
|
|
(lshiftrt:QI (match_dup 0)
|
1809 |
|
|
(const_int 5)))]
|
1810 |
|
|
""
|
1811 |
|
|
[(set (match_dup 0) (rotate:QI (match_dup 0) (const_int 4)))
|
1812 |
|
|
(set (match_dup 0) (lshiftrt:QI (match_dup 0) (const_int 1)))
|
1813 |
|
|
(set (match_dup 0) (and:QI (match_dup 0) (const_int 7)))]
|
1814 |
|
|
"")
|
1815 |
|
|
|
1816 |
|
|
(define_split ; lshrqi3_const6
|
1817 |
|
|
[(set (match_operand:QI 0 "d_register_operand" "")
|
1818 |
|
|
(lshiftrt:QI (match_dup 0)
|
1819 |
|
|
(const_int 6)))]
|
1820 |
|
|
""
|
1821 |
|
|
[(set (match_dup 0) (rotate:QI (match_dup 0) (const_int 4)))
|
1822 |
|
|
(set (match_dup 0) (lshiftrt:QI (match_dup 0) (const_int 2)))
|
1823 |
|
|
(set (match_dup 0) (and:QI (match_dup 0) (const_int 3)))]
|
1824 |
|
|
"")
|
1825 |
|
|
|
1826 |
|
|
(define_insn "*lshrqi3"
|
1827 |
|
|
[(set (match_operand:QI 0 "register_operand" "=r,r,r,r,!d,r,r")
|
1828 |
|
|
(lshiftrt:QI (match_operand:QI 1 "register_operand" "0,0,0,0,0,0,0")
|
1829 |
|
|
(match_operand:QI 2 "general_operand" "r,L,P,K,n,n,Qm")))]
|
1830 |
|
|
""
|
1831 |
|
|
"* return lshrqi3_out (insn, operands, NULL);"
|
1832 |
|
|
[(set_attr "length" "5,0,1,2,4,6,9")
|
1833 |
|
|
(set_attr "cc" "clobber,none,set_czn,set_czn,set_czn,set_czn,clobber")])
|
1834 |
|
|
|
1835 |
|
|
(define_insn "lshrhi3"
|
1836 |
|
|
[(set (match_operand:HI 0 "register_operand" "=r,r,r,r,r,r,r")
|
1837 |
|
|
(lshiftrt:HI (match_operand:HI 1 "register_operand" "0,0,0,r,0,0,0")
|
1838 |
|
|
(match_operand:QI 2 "general_operand" "r,L,P,O,K,n,Qm")))]
|
1839 |
|
|
""
|
1840 |
|
|
"* return lshrhi3_out (insn, operands, NULL);"
|
1841 |
|
|
[(set_attr "length" "6,0,2,2,4,10,10")
|
1842 |
|
|
(set_attr "cc" "clobber,none,clobber,clobber,clobber,clobber,clobber")])
|
1843 |
|
|
|
1844 |
|
|
(define_insn "lshrsi3"
|
1845 |
|
|
[(set (match_operand:SI 0 "register_operand" "=r,r,r,r,r,r,r")
|
1846 |
|
|
(lshiftrt:SI (match_operand:SI 1 "register_operand" "0,0,0,r,0,0,0")
|
1847 |
|
|
(match_operand:QI 2 "general_operand" "r,L,P,O,K,n,Qm")))]
|
1848 |
|
|
""
|
1849 |
|
|
"* return lshrsi3_out (insn, operands, NULL);"
|
1850 |
|
|
[(set_attr "length" "8,0,4,4,8,10,12")
|
1851 |
|
|
(set_attr "cc" "clobber,none,clobber,clobber,clobber,clobber,clobber")])
|
1852 |
|
|
|
1853 |
|
|
;; Optimize if a scratch register from LD_REGS happens to be available.
|
1854 |
|
|
|
1855 |
|
|
(define_peephole2 ; lshrqi3_l_const4
|
1856 |
|
|
[(set (match_operand:QI 0 "l_register_operand" "")
|
1857 |
|
|
(lshiftrt:QI (match_dup 0)
|
1858 |
|
|
(const_int 4)))
|
1859 |
|
|
(match_scratch:QI 1 "d")]
|
1860 |
|
|
""
|
1861 |
|
|
[(set (match_dup 0) (rotate:QI (match_dup 0) (const_int 4)))
|
1862 |
|
|
(set (match_dup 1) (const_int 15))
|
1863 |
|
|
(set (match_dup 0) (and:QI (match_dup 0) (match_dup 1)))]
|
1864 |
|
|
"")
|
1865 |
|
|
|
1866 |
|
|
(define_peephole2 ; lshrqi3_l_const5
|
1867 |
|
|
[(set (match_operand:QI 0 "l_register_operand" "")
|
1868 |
|
|
(lshiftrt:QI (match_dup 0)
|
1869 |
|
|
(const_int 5)))
|
1870 |
|
|
(match_scratch:QI 1 "d")]
|
1871 |
|
|
""
|
1872 |
|
|
[(set (match_dup 0) (rotate:QI (match_dup 0) (const_int 4)))
|
1873 |
|
|
(set (match_dup 0) (lshiftrt:QI (match_dup 0) (const_int 1)))
|
1874 |
|
|
(set (match_dup 1) (const_int 7))
|
1875 |
|
|
(set (match_dup 0) (and:QI (match_dup 0) (match_dup 1)))]
|
1876 |
|
|
"")
|
1877 |
|
|
|
1878 |
|
|
(define_peephole2 ; lshrqi3_l_const6
|
1879 |
|
|
[(set (match_operand:QI 0 "l_register_operand" "")
|
1880 |
|
|
(lshiftrt:QI (match_dup 0)
|
1881 |
|
|
(const_int 6)))
|
1882 |
|
|
(match_scratch:QI 1 "d")]
|
1883 |
|
|
""
|
1884 |
|
|
[(set (match_dup 0) (rotate:QI (match_dup 0) (const_int 4)))
|
1885 |
|
|
(set (match_dup 0) (lshiftrt:QI (match_dup 0) (const_int 2)))
|
1886 |
|
|
(set (match_dup 1) (const_int 3))
|
1887 |
|
|
(set (match_dup 0) (and:QI (match_dup 0) (match_dup 1)))]
|
1888 |
|
|
"")
|
1889 |
|
|
|
1890 |
|
|
(define_peephole2
|
1891 |
|
|
[(match_scratch:QI 3 "d")
|
1892 |
|
|
(set (match_operand:HI 0 "register_operand" "")
|
1893 |
|
|
(lshiftrt:HI (match_operand:HI 1 "register_operand" "")
|
1894 |
|
|
(match_operand:QI 2 "const_int_operand" "")))]
|
1895 |
|
|
""
|
1896 |
|
|
[(parallel [(set (match_dup 0) (lshiftrt:HI (match_dup 1) (match_dup 2)))
|
1897 |
|
|
(clobber (match_dup 3))])]
|
1898 |
|
|
"")
|
1899 |
|
|
|
1900 |
|
|
(define_insn "*lshrhi3_const"
|
1901 |
|
|
[(set (match_operand:HI 0 "register_operand" "=r,r,r,r,r")
|
1902 |
|
|
(lshiftrt:HI (match_operand:HI 1 "register_operand" "0,0,r,0,0")
|
1903 |
|
|
(match_operand:QI 2 "const_int_operand" "L,P,O,K,n")))
|
1904 |
|
|
(clobber (match_scratch:QI 3 "=X,X,X,X,&d"))]
|
1905 |
|
|
"reload_completed"
|
1906 |
|
|
"* return lshrhi3_out (insn, operands, NULL);"
|
1907 |
|
|
[(set_attr "length" "0,2,2,4,10")
|
1908 |
|
|
(set_attr "cc" "none,clobber,clobber,clobber,clobber")])
|
1909 |
|
|
|
1910 |
|
|
(define_peephole2
|
1911 |
|
|
[(match_scratch:QI 3 "d")
|
1912 |
|
|
(set (match_operand:SI 0 "register_operand" "")
|
1913 |
|
|
(lshiftrt:SI (match_operand:SI 1 "register_operand" "")
|
1914 |
|
|
(match_operand:QI 2 "const_int_operand" "")))]
|
1915 |
|
|
""
|
1916 |
|
|
[(parallel [(set (match_dup 0) (lshiftrt:SI (match_dup 1) (match_dup 2)))
|
1917 |
|
|
(clobber (match_dup 3))])]
|
1918 |
|
|
"")
|
1919 |
|
|
|
1920 |
|
|
(define_insn "*lshrsi3_const"
|
1921 |
|
|
[(set (match_operand:SI 0 "register_operand" "=r,r,r,r")
|
1922 |
|
|
(lshiftrt:SI (match_operand:SI 1 "register_operand" "0,0,r,0")
|
1923 |
|
|
(match_operand:QI 2 "const_int_operand" "L,P,O,n")))
|
1924 |
|
|
(clobber (match_scratch:QI 3 "=X,X,X,&d"))]
|
1925 |
|
|
"reload_completed"
|
1926 |
|
|
"* return lshrsi3_out (insn, operands, NULL);"
|
1927 |
|
|
[(set_attr "length" "0,4,4,10")
|
1928 |
|
|
(set_attr "cc" "none,clobber,clobber,clobber")])
|
1929 |
|
|
|
1930 |
|
|
;; abs(x) abs(x) abs(x) abs(x) abs(x) abs(x) abs(x) abs(x) abs(x) abs(x) abs(x)
|
1931 |
|
|
;; abs
|
1932 |
|
|
|
1933 |
|
|
(define_insn "absqi2"
|
1934 |
|
|
[(set (match_operand:QI 0 "register_operand" "=r")
|
1935 |
|
|
(abs:QI (match_operand:QI 1 "register_operand" "0")))]
|
1936 |
|
|
""
|
1937 |
|
|
"sbrc %0,7
|
1938 |
|
|
neg %0"
|
1939 |
|
|
[(set_attr "length" "2")
|
1940 |
|
|
(set_attr "cc" "clobber")])
|
1941 |
|
|
|
1942 |
|
|
|
1943 |
|
|
(define_insn "abssf2"
|
1944 |
|
|
[(set (match_operand:SF 0 "register_operand" "=d,r")
|
1945 |
|
|
(abs:SF (match_operand:SF 1 "register_operand" "0,0")))]
|
1946 |
|
|
""
|
1947 |
|
|
"@
|
1948 |
|
|
andi %D0,0x7f
|
1949 |
|
|
clt\;bld %D0,7"
|
1950 |
|
|
[(set_attr "length" "1,2")
|
1951 |
|
|
(set_attr "cc" "set_n,clobber")])
|
1952 |
|
|
|
1953 |
|
|
;; 0 - x 0 - x 0 - x 0 - x 0 - x 0 - x 0 - x 0 - x 0 - x 0 - x 0 - x
|
1954 |
|
|
;; neg
|
1955 |
|
|
|
1956 |
|
|
(define_insn "negqi2"
|
1957 |
|
|
[(set (match_operand:QI 0 "register_operand" "=r")
|
1958 |
|
|
(neg:QI (match_operand:QI 1 "register_operand" "0")))]
|
1959 |
|
|
""
|
1960 |
|
|
"neg %0"
|
1961 |
|
|
[(set_attr "length" "1")
|
1962 |
|
|
(set_attr "cc" "set_zn")])
|
1963 |
|
|
|
1964 |
|
|
(define_insn "neghi2"
|
1965 |
|
|
[(set (match_operand:HI 0 "register_operand" "=!d,r,&r")
|
1966 |
|
|
(neg:HI (match_operand:HI 1 "register_operand" "0,0,r")))]
|
1967 |
|
|
""
|
1968 |
|
|
"@
|
1969 |
|
|
com %B0\;neg %A0\;sbci %B0,lo8(-1)
|
1970 |
|
|
com %B0\;neg %A0\;sbc %B0,__zero_reg__\;inc %B0
|
1971 |
|
|
clr %A0\;clr %B0\;sub %A0,%A1\;sbc %B0,%B1"
|
1972 |
|
|
[(set_attr "length" "3,4,4")
|
1973 |
|
|
(set_attr "cc" "set_czn,set_n,set_czn")])
|
1974 |
|
|
|
1975 |
|
|
(define_insn "negsi2"
|
1976 |
|
|
[(set (match_operand:SI 0 "register_operand" "=!d,r,&r")
|
1977 |
|
|
(neg:SI (match_operand:SI 1 "register_operand" "0,0,r")))]
|
1978 |
|
|
""
|
1979 |
|
|
"@
|
1980 |
|
|
com %D0\;com %C0\;com %B0\;neg %A0\;sbci %B0,lo8(-1)\;sbci %C0,lo8(-1)\;sbci %D0,lo8(-1)
|
1981 |
|
|
com %D0\;com %C0\;com %B0\;com %A0\;adc %A0,__zero_reg__\;adc %B0,__zero_reg__\;adc %C0,__zero_reg__\;adc %D0,__zero_reg__
|
1982 |
|
|
clr %A0\;clr %B0\;{clr %C0\;clr %D0|movw %C0,%A0}\;sub %A0,%A1\;sbc %B0,%B1\;sbc %C0,%C1\;sbc %D0,%D1"
|
1983 |
|
|
[(set_attr_alternative "length"
|
1984 |
|
|
[(const_int 7)
|
1985 |
|
|
(const_int 8)
|
1986 |
|
|
(if_then_else (eq_attr "mcu_have_movw" "yes")
|
1987 |
|
|
(const_int 7)
|
1988 |
|
|
(const_int 8))])
|
1989 |
|
|
(set_attr "cc" "set_czn,set_n,set_czn")])
|
1990 |
|
|
|
1991 |
|
|
(define_insn "negsf2"
|
1992 |
|
|
[(set (match_operand:SF 0 "register_operand" "=d,r")
|
1993 |
|
|
(neg:SF (match_operand:SF 1 "register_operand" "0,0")))]
|
1994 |
|
|
""
|
1995 |
|
|
"@
|
1996 |
|
|
subi %D0,0x80
|
1997 |
|
|
bst %D0,7\;com %D0\;bld %D0,7\;com %D0"
|
1998 |
|
|
[(set_attr "length" "1,4")
|
1999 |
|
|
(set_attr "cc" "set_n,set_n")])
|
2000 |
|
|
|
2001 |
|
|
;; !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
|
2002 |
|
|
;; not
|
2003 |
|
|
|
2004 |
|
|
(define_insn "one_cmplqi2"
|
2005 |
|
|
[(set (match_operand:QI 0 "register_operand" "=r")
|
2006 |
|
|
(not:QI (match_operand:QI 1 "register_operand" "0")))]
|
2007 |
|
|
""
|
2008 |
|
|
"com %0"
|
2009 |
|
|
[(set_attr "length" "1")
|
2010 |
|
|
(set_attr "cc" "set_czn")])
|
2011 |
|
|
|
2012 |
|
|
(define_insn "one_cmplhi2"
|
2013 |
|
|
[(set (match_operand:HI 0 "register_operand" "=r")
|
2014 |
|
|
(not:HI (match_operand:HI 1 "register_operand" "0")))]
|
2015 |
|
|
""
|
2016 |
|
|
"com %0
|
2017 |
|
|
com %B0"
|
2018 |
|
|
[(set_attr "length" "2")
|
2019 |
|
|
(set_attr "cc" "set_n")])
|
2020 |
|
|
|
2021 |
|
|
(define_insn "one_cmplsi2"
|
2022 |
|
|
[(set (match_operand:SI 0 "register_operand" "=r")
|
2023 |
|
|
(not:SI (match_operand:SI 1 "register_operand" "0")))]
|
2024 |
|
|
""
|
2025 |
|
|
"com %0
|
2026 |
|
|
com %B0
|
2027 |
|
|
com %C0
|
2028 |
|
|
com %D0"
|
2029 |
|
|
[(set_attr "length" "4")
|
2030 |
|
|
(set_attr "cc" "set_n")])
|
2031 |
|
|
|
2032 |
|
|
;; xx<---x xx<---x xx<---x xx<---x xx<---x xx<---x xx<---x xx<---x xx<---x
|
2033 |
|
|
;; sign extend
|
2034 |
|
|
|
2035 |
|
|
(define_insn "extendqihi2"
|
2036 |
|
|
[(set (match_operand:HI 0 "register_operand" "=r,r")
|
2037 |
|
|
(sign_extend:HI (match_operand:QI 1 "register_operand" "0,*r")))]
|
2038 |
|
|
""
|
2039 |
|
|
"@
|
2040 |
|
|
clr %B0\;sbrc %0,7\;com %B0
|
2041 |
|
|
mov %A0,%A1\;clr %B0\;sbrc %A0,7\;com %B0"
|
2042 |
|
|
[(set_attr "length" "3,4")
|
2043 |
|
|
(set_attr "cc" "set_n,set_n")])
|
2044 |
|
|
|
2045 |
|
|
(define_insn "extendqisi2"
|
2046 |
|
|
[(set (match_operand:SI 0 "register_operand" "=r,r")
|
2047 |
|
|
(sign_extend:SI (match_operand:QI 1 "register_operand" "0,*r")))]
|
2048 |
|
|
""
|
2049 |
|
|
"@
|
2050 |
|
|
clr %B0\;sbrc %A0,7\;com %B0\;mov %C0,%B0\;mov %D0,%B0
|
2051 |
|
|
mov %A0,%A1\;clr %B0\;sbrc %A0,7\;com %B0\;mov %C0,%B0\;mov %D0,%B0"
|
2052 |
|
|
[(set_attr "length" "5,6")
|
2053 |
|
|
(set_attr "cc" "set_n,set_n")])
|
2054 |
|
|
|
2055 |
|
|
(define_insn "extendhisi2"
|
2056 |
|
|
[(set (match_operand:SI 0 "register_operand" "=r,&r")
|
2057 |
|
|
(sign_extend:SI (match_operand:HI 1 "register_operand" "0,*r")))]
|
2058 |
|
|
""
|
2059 |
|
|
"@
|
2060 |
|
|
clr %C0\;sbrc %B0,7\;com %C0\;mov %D0,%C0
|
2061 |
|
|
{mov %A0,%A1\;mov %B0,%B1|movw %A0,%A1}\;clr %C0\;sbrc %B0,7\;com %C0\;mov %D0,%C0"
|
2062 |
|
|
[(set_attr_alternative "length"
|
2063 |
|
|
[(const_int 4)
|
2064 |
|
|
(if_then_else (eq_attr "mcu_have_movw" "yes")
|
2065 |
|
|
(const_int 5)
|
2066 |
|
|
(const_int 6))])
|
2067 |
|
|
(set_attr "cc" "set_n,set_n")])
|
2068 |
|
|
|
2069 |
|
|
;; xx<---x xx<---x xx<---x xx<---x xx<---x xx<---x xx<---x xx<---x xx<---x
|
2070 |
|
|
;; zero extend
|
2071 |
|
|
|
2072 |
|
|
(define_insn_and_split "zero_extendqihi2"
|
2073 |
|
|
[(set (match_operand:HI 0 "register_operand" "=r")
|
2074 |
|
|
(zero_extend:HI (match_operand:QI 1 "register_operand" "r")))]
|
2075 |
|
|
""
|
2076 |
|
|
"#"
|
2077 |
|
|
"reload_completed"
|
2078 |
|
|
[(set (match_dup 2) (match_dup 1))
|
2079 |
|
|
(set (match_dup 3) (const_int 0))]
|
2080 |
|
|
"unsigned int low_off = subreg_lowpart_offset (QImode, HImode);
|
2081 |
|
|
unsigned int high_off = subreg_highpart_offset (QImode, HImode);
|
2082 |
|
|
|
2083 |
|
|
operands[2] = simplify_gen_subreg (QImode, operands[0], HImode, low_off);
|
2084 |
|
|
operands[3] = simplify_gen_subreg (QImode, operands[0], HImode, high_off);
|
2085 |
|
|
")
|
2086 |
|
|
|
2087 |
|
|
(define_insn_and_split "zero_extendqisi2"
|
2088 |
|
|
[(set (match_operand:SI 0 "register_operand" "=r")
|
2089 |
|
|
(zero_extend:SI (match_operand:QI 1 "register_operand" "r")))]
|
2090 |
|
|
""
|
2091 |
|
|
"#"
|
2092 |
|
|
"reload_completed"
|
2093 |
|
|
[(set (match_dup 2) (zero_extend:HI (match_dup 1)))
|
2094 |
|
|
(set (match_dup 3) (const_int 0))]
|
2095 |
|
|
"unsigned int low_off = subreg_lowpart_offset (HImode, SImode);
|
2096 |
|
|
unsigned int high_off = subreg_highpart_offset (HImode, SImode);
|
2097 |
|
|
|
2098 |
|
|
operands[2] = simplify_gen_subreg (HImode, operands[0], SImode, low_off);
|
2099 |
|
|
operands[3] = simplify_gen_subreg (HImode, operands[0], SImode, high_off);
|
2100 |
|
|
")
|
2101 |
|
|
|
2102 |
|
|
(define_insn_and_split "zero_extendhisi2"
|
2103 |
|
|
[(set (match_operand:SI 0 "register_operand" "=r")
|
2104 |
|
|
(zero_extend:SI (match_operand:HI 1 "register_operand" "r")))]
|
2105 |
|
|
""
|
2106 |
|
|
"#"
|
2107 |
|
|
"reload_completed"
|
2108 |
|
|
[(set (match_dup 2) (match_dup 1))
|
2109 |
|
|
(set (match_dup 3) (const_int 0))]
|
2110 |
|
|
"unsigned int low_off = subreg_lowpart_offset (HImode, SImode);
|
2111 |
|
|
unsigned int high_off = subreg_highpart_offset (HImode, SImode);
|
2112 |
|
|
|
2113 |
|
|
operands[2] = simplify_gen_subreg (HImode, operands[0], SImode, low_off);
|
2114 |
|
|
operands[3] = simplify_gen_subreg (HImode, operands[0], SImode, high_off);
|
2115 |
|
|
")
|
2116 |
|
|
|
2117 |
|
|
(define_insn_and_split "zero_extendqidi2"
|
2118 |
|
|
[(set (match_operand:DI 0 "register_operand" "=r")
|
2119 |
|
|
(zero_extend:DI (match_operand:QI 1 "register_operand" "r")))]
|
2120 |
|
|
""
|
2121 |
|
|
"#"
|
2122 |
|
|
"reload_completed"
|
2123 |
|
|
[(set (match_dup 2) (zero_extend:SI (match_dup 1)))
|
2124 |
|
|
(set (match_dup 3) (const_int 0))]
|
2125 |
|
|
"unsigned int low_off = subreg_lowpart_offset (SImode, DImode);
|
2126 |
|
|
unsigned int high_off = subreg_highpart_offset (SImode, DImode);
|
2127 |
|
|
|
2128 |
|
|
operands[2] = simplify_gen_subreg (SImode, operands[0], DImode, low_off);
|
2129 |
|
|
operands[3] = simplify_gen_subreg (SImode, operands[0], DImode, high_off);
|
2130 |
|
|
")
|
2131 |
|
|
|
2132 |
|
|
(define_insn_and_split "zero_extendhidi2"
|
2133 |
|
|
[(set (match_operand:DI 0 "register_operand" "=r")
|
2134 |
|
|
(zero_extend:DI (match_operand:HI 1 "register_operand" "r")))]
|
2135 |
|
|
""
|
2136 |
|
|
"#"
|
2137 |
|
|
"reload_completed"
|
2138 |
|
|
[(set (match_dup 2) (zero_extend:SI (match_dup 1)))
|
2139 |
|
|
(set (match_dup 3) (const_int 0))]
|
2140 |
|
|
"unsigned int low_off = subreg_lowpart_offset (SImode, DImode);
|
2141 |
|
|
unsigned int high_off = subreg_highpart_offset (SImode, DImode);
|
2142 |
|
|
|
2143 |
|
|
operands[2] = simplify_gen_subreg (SImode, operands[0], DImode, low_off);
|
2144 |
|
|
operands[3] = simplify_gen_subreg (SImode, operands[0], DImode, high_off);
|
2145 |
|
|
")
|
2146 |
|
|
|
2147 |
|
|
(define_insn_and_split "zero_extendsidi2"
|
2148 |
|
|
[(set (match_operand:DI 0 "register_operand" "=r")
|
2149 |
|
|
(zero_extend:DI (match_operand:SI 1 "register_operand" "r")))]
|
2150 |
|
|
""
|
2151 |
|
|
"#"
|
2152 |
|
|
"reload_completed"
|
2153 |
|
|
[(set (match_dup 2) (match_dup 1))
|
2154 |
|
|
(set (match_dup 3) (const_int 0))]
|
2155 |
|
|
"unsigned int low_off = subreg_lowpart_offset (SImode, DImode);
|
2156 |
|
|
unsigned int high_off = subreg_highpart_offset (SImode, DImode);
|
2157 |
|
|
|
2158 |
|
|
operands[2] = simplify_gen_subreg (SImode, operands[0], DImode, low_off);
|
2159 |
|
|
operands[3] = simplify_gen_subreg (SImode, operands[0], DImode, high_off);
|
2160 |
|
|
")
|
2161 |
|
|
|
2162 |
|
|
;;<=><=><=><=><=><=><=><=><=><=><=><=><=><=><=><=><=><=><=><=><=><=><=><=><=>
|
2163 |
|
|
;; compare
|
2164 |
|
|
|
2165 |
|
|
; Optimize negated tests into reverse compare if overflow is undefined.
|
2166 |
|
|
(define_insn "*negated_tstqi"
|
2167 |
|
|
[(set (cc0)
|
2168 |
|
|
(compare (neg:QI (match_operand:QI 0 "register_operand" "r"))
|
2169 |
|
|
(const_int 0)))]
|
2170 |
|
|
"(!flag_wrapv && !flag_trapv && flag_strict_overflow)"
|
2171 |
|
|
"cp __zero_reg__,%0"
|
2172 |
|
|
[(set_attr "cc" "compare")
|
2173 |
|
|
(set_attr "length" "1")])
|
2174 |
|
|
|
2175 |
|
|
(define_insn "*reversed_tstqi"
|
2176 |
|
|
[(set (cc0)
|
2177 |
|
|
(compare (const_int 0)
|
2178 |
|
|
(match_operand:QI 0 "register_operand" "r")))]
|
2179 |
|
|
""
|
2180 |
|
|
"cp __zero_reg__,%0"
|
2181 |
|
|
[(set_attr "cc" "compare")
|
2182 |
|
|
(set_attr "length" "2")])
|
2183 |
|
|
|
2184 |
|
|
(define_insn "*negated_tsthi"
|
2185 |
|
|
[(set (cc0)
|
2186 |
|
|
(compare (neg:HI (match_operand:HI 0 "register_operand" "r"))
|
2187 |
|
|
(const_int 0)))]
|
2188 |
|
|
"(!flag_wrapv && !flag_trapv && flag_strict_overflow)"
|
2189 |
|
|
"cp __zero_reg__,%A0
|
2190 |
|
|
cpc __zero_reg__,%B0"
|
2191 |
|
|
[(set_attr "cc" "compare")
|
2192 |
|
|
(set_attr "length" "2")])
|
2193 |
|
|
|
2194 |
|
|
;; Leave here the clobber used by the cmphi pattern for simplicity, even
|
2195 |
|
|
;; though it is unused, because this pattern is synthesized by avr_reorg.
|
2196 |
|
|
(define_insn "*reversed_tsthi"
|
2197 |
|
|
[(set (cc0)
|
2198 |
|
|
(compare (const_int 0)
|
2199 |
|
|
(match_operand:HI 0 "register_operand" "r")))
|
2200 |
|
|
(clobber (match_scratch:QI 1 "=X"))]
|
2201 |
|
|
""
|
2202 |
|
|
"cp __zero_reg__,%A0
|
2203 |
|
|
cpc __zero_reg__,%B0"
|
2204 |
|
|
[(set_attr "cc" "compare")
|
2205 |
|
|
(set_attr "length" "2")])
|
2206 |
|
|
|
2207 |
|
|
(define_insn "*negated_tstsi"
|
2208 |
|
|
[(set (cc0)
|
2209 |
|
|
(compare (neg:SI (match_operand:SI 0 "register_operand" "r"))
|
2210 |
|
|
(const_int 0)))]
|
2211 |
|
|
"(!flag_wrapv && !flag_trapv && flag_strict_overflow)"
|
2212 |
|
|
"cp __zero_reg__,%A0
|
2213 |
|
|
cpc __zero_reg__,%B0
|
2214 |
|
|
cpc __zero_reg__,%C0
|
2215 |
|
|
cpc __zero_reg__,%D0"
|
2216 |
|
|
[(set_attr "cc" "compare")
|
2217 |
|
|
(set_attr "length" "4")])
|
2218 |
|
|
|
2219 |
|
|
(define_insn "*reversed_tstsi"
|
2220 |
|
|
[(set (cc0)
|
2221 |
|
|
(compare (const_int 0)
|
2222 |
|
|
(match_operand:SI 0 "register_operand" "r")))
|
2223 |
|
|
(clobber (match_scratch:QI 1 "=X"))]
|
2224 |
|
|
""
|
2225 |
|
|
"cp __zero_reg__,%A0
|
2226 |
|
|
cpc __zero_reg__,%B0
|
2227 |
|
|
cpc __zero_reg__,%C0
|
2228 |
|
|
cpc __zero_reg__,%D0"
|
2229 |
|
|
[(set_attr "cc" "compare")
|
2230 |
|
|
(set_attr "length" "4")])
|
2231 |
|
|
|
2232 |
|
|
|
2233 |
|
|
(define_insn "*cmpqi"
|
2234 |
|
|
[(set (cc0)
|
2235 |
|
|
(compare (match_operand:QI 0 "register_operand" "r,r,d")
|
2236 |
|
|
(match_operand:QI 1 "nonmemory_operand" "L,r,i")))]
|
2237 |
|
|
""
|
2238 |
|
|
"@
|
2239 |
|
|
tst %0
|
2240 |
|
|
cp %0,%1
|
2241 |
|
|
cpi %0,lo8(%1)"
|
2242 |
|
|
[(set_attr "cc" "compare,compare,compare")
|
2243 |
|
|
(set_attr "length" "1,1,1")])
|
2244 |
|
|
|
2245 |
|
|
(define_insn "*cmpqi_sign_extend"
|
2246 |
|
|
[(set (cc0)
|
2247 |
|
|
(compare (sign_extend:HI
|
2248 |
|
|
(match_operand:QI 0 "register_operand" "d"))
|
2249 |
|
|
(match_operand:HI 1 "const_int_operand" "n")))]
|
2250 |
|
|
"INTVAL (operands[1]) >= -128 && INTVAL (operands[1]) <= 127"
|
2251 |
|
|
"cpi %0,lo8(%1)"
|
2252 |
|
|
[(set_attr "cc" "compare")
|
2253 |
|
|
(set_attr "length" "1")])
|
2254 |
|
|
|
2255 |
|
|
(define_insn "*cmphi"
|
2256 |
|
|
[(set (cc0)
|
2257 |
|
|
(compare (match_operand:HI 0 "register_operand" "!w,r,r,d,d,r,r")
|
2258 |
|
|
(match_operand:HI 1 "nonmemory_operand" "L,L,r,M,i,M,i")))
|
2259 |
|
|
(clobber (match_scratch:QI 2 "=X,X,X,X,&d,&d,&d"))]
|
2260 |
|
|
""
|
2261 |
|
|
"*{
|
2262 |
|
|
switch (which_alternative)
|
2263 |
|
|
{
|
2264 |
|
|
case 0: case 1:
|
2265 |
|
|
return out_tsthi (insn, operands[0], NULL);
|
2266 |
|
|
|
2267 |
|
|
case 2:
|
2268 |
|
|
return (AS2 (cp,%A0,%A1) CR_TAB
|
2269 |
|
|
AS2 (cpc,%B0,%B1));
|
2270 |
|
|
case 3:
|
2271 |
|
|
if (reg_unused_after (insn, operands[0])
|
2272 |
|
|
&& INTVAL (operands[1]) >= 0 && INTVAL (operands[1]) <= 63
|
2273 |
|
|
&& test_hard_reg_class (ADDW_REGS, operands[0]))
|
2274 |
|
|
return AS2 (sbiw,%0,%1);
|
2275 |
|
|
else
|
2276 |
|
|
return (AS2 (cpi,%0,%1) CR_TAB
|
2277 |
|
|
AS2 (cpc,%B0,__zero_reg__));
|
2278 |
|
|
case 4:
|
2279 |
|
|
if (reg_unused_after (insn, operands[0]))
|
2280 |
|
|
return (AS2 (subi,%0,lo8(%1)) CR_TAB
|
2281 |
|
|
AS2 (sbci,%B0,hi8(%1)));
|
2282 |
|
|
else
|
2283 |
|
|
return (AS2 (ldi, %2,hi8(%1)) CR_TAB
|
2284 |
|
|
AS2 (cpi, %A0,lo8(%1)) CR_TAB
|
2285 |
|
|
AS2 (cpc, %B0,%2));
|
2286 |
|
|
case 5:
|
2287 |
|
|
return (AS2 (ldi, %2,lo8(%1)) CR_TAB
|
2288 |
|
|
AS2 (cp, %A0,%2) CR_TAB
|
2289 |
|
|
AS2 (cpc, %B0,__zero_reg__));
|
2290 |
|
|
|
2291 |
|
|
case 6:
|
2292 |
|
|
return (AS2 (ldi, %2,lo8(%1)) CR_TAB
|
2293 |
|
|
AS2 (cp, %A0,%2) CR_TAB
|
2294 |
|
|
AS2 (ldi, %2,hi8(%1)) CR_TAB
|
2295 |
|
|
AS2 (cpc, %B0,%2));
|
2296 |
|
|
}
|
2297 |
|
|
return \"bug\";
|
2298 |
|
|
}"
|
2299 |
|
|
[(set_attr "cc" "compare,compare,compare,compare,compare,compare,compare")
|
2300 |
|
|
(set_attr "length" "1,2,2,2,3,3,4")])
|
2301 |
|
|
|
2302 |
|
|
|
2303 |
|
|
(define_insn "*cmpsi"
|
2304 |
|
|
[(set (cc0)
|
2305 |
|
|
(compare (match_operand:SI 0 "register_operand" "r,r,d,d,r,r")
|
2306 |
|
|
(match_operand:SI 1 "nonmemory_operand" "L,r,M,i,M,i")))
|
2307 |
|
|
(clobber (match_scratch:QI 2 "=X,X,X,&d,&d,&d"))]
|
2308 |
|
|
""
|
2309 |
|
|
"*{
|
2310 |
|
|
switch (which_alternative)
|
2311 |
|
|
{
|
2312 |
|
|
case 0:
|
2313 |
|
|
return out_tstsi (insn, operands[0], NULL);
|
2314 |
|
|
|
2315 |
|
|
case 1:
|
2316 |
|
|
return (AS2 (cp,%A0,%A1) CR_TAB
|
2317 |
|
|
AS2 (cpc,%B0,%B1) CR_TAB
|
2318 |
|
|
AS2 (cpc,%C0,%C1) CR_TAB
|
2319 |
|
|
AS2 (cpc,%D0,%D1));
|
2320 |
|
|
case 2:
|
2321 |
|
|
if (reg_unused_after (insn, operands[0])
|
2322 |
|
|
&& INTVAL (operands[1]) >= 0 && INTVAL (operands[1]) <= 63
|
2323 |
|
|
&& test_hard_reg_class (ADDW_REGS, operands[0]))
|
2324 |
|
|
return (AS2 (sbiw,%0,%1) CR_TAB
|
2325 |
|
|
AS2 (cpc,%C0,__zero_reg__) CR_TAB
|
2326 |
|
|
AS2 (cpc,%D0,__zero_reg__));
|
2327 |
|
|
else
|
2328 |
|
|
return (AS2 (cpi,%A0,lo8(%1)) CR_TAB
|
2329 |
|
|
AS2 (cpc,%B0,__zero_reg__) CR_TAB
|
2330 |
|
|
AS2 (cpc,%C0,__zero_reg__) CR_TAB
|
2331 |
|
|
AS2 (cpc,%D0,__zero_reg__));
|
2332 |
|
|
case 3:
|
2333 |
|
|
if (reg_unused_after (insn, operands[0]))
|
2334 |
|
|
return (AS2 (subi,%A0,lo8(%1)) CR_TAB
|
2335 |
|
|
AS2 (sbci,%B0,hi8(%1)) CR_TAB
|
2336 |
|
|
AS2 (sbci,%C0,hlo8(%1)) CR_TAB
|
2337 |
|
|
AS2 (sbci,%D0,hhi8(%1)));
|
2338 |
|
|
else
|
2339 |
|
|
return (AS2 (cpi, %A0,lo8(%1)) CR_TAB
|
2340 |
|
|
AS2 (ldi, %2,hi8(%1)) CR_TAB
|
2341 |
|
|
AS2 (cpc, %B0,%2) CR_TAB
|
2342 |
|
|
AS2 (ldi, %2,hlo8(%1)) CR_TAB
|
2343 |
|
|
AS2 (cpc, %C0,%2) CR_TAB
|
2344 |
|
|
AS2 (ldi, %2,hhi8(%1)) CR_TAB
|
2345 |
|
|
AS2 (cpc, %D0,%2));
|
2346 |
|
|
case 4:
|
2347 |
|
|
return (AS2 (ldi,%2,lo8(%1)) CR_TAB
|
2348 |
|
|
AS2 (cp,%A0,%2) CR_TAB
|
2349 |
|
|
AS2 (cpc,%B0,__zero_reg__) CR_TAB
|
2350 |
|
|
AS2 (cpc,%C0,__zero_reg__) CR_TAB
|
2351 |
|
|
AS2 (cpc,%D0,__zero_reg__));
|
2352 |
|
|
case 5:
|
2353 |
|
|
return (AS2 (ldi, %2,lo8(%1)) CR_TAB
|
2354 |
|
|
AS2 (cp, %A0,%2) CR_TAB
|
2355 |
|
|
AS2 (ldi, %2,hi8(%1)) CR_TAB
|
2356 |
|
|
AS2 (cpc, %B0,%2) CR_TAB
|
2357 |
|
|
AS2 (ldi, %2,hlo8(%1)) CR_TAB
|
2358 |
|
|
AS2 (cpc, %C0,%2) CR_TAB
|
2359 |
|
|
AS2 (ldi, %2,hhi8(%1)) CR_TAB
|
2360 |
|
|
AS2 (cpc, %D0,%2));
|
2361 |
|
|
}
|
2362 |
|
|
return \"bug\";
|
2363 |
|
|
}"
|
2364 |
|
|
[(set_attr "cc" "compare,compare,compare,compare,compare,compare")
|
2365 |
|
|
(set_attr "length" "4,4,4,7,5,8")])
|
2366 |
|
|
|
2367 |
|
|
|
2368 |
|
|
;; ----------------------------------------------------------------------
|
2369 |
|
|
;; JUMP INSTRUCTIONS
|
2370 |
|
|
;; ----------------------------------------------------------------------
|
2371 |
|
|
;; Conditional jump instructions
|
2372 |
|
|
|
2373 |
|
|
(define_expand "cbranchsi4"
|
2374 |
|
|
[(parallel [(set (cc0)
|
2375 |
|
|
(compare (match_operand:SI 1 "register_operand" "")
|
2376 |
|
|
(match_operand:SI 2 "nonmemory_operand" "")))
|
2377 |
|
|
(clobber (match_scratch:QI 4 ""))])
|
2378 |
|
|
(set (pc)
|
2379 |
|
|
(if_then_else
|
2380 |
|
|
(match_operator 0 "ordered_comparison_operator" [(cc0)
|
2381 |
|
|
(const_int 0)])
|
2382 |
|
|
(label_ref (match_operand 3 "" ""))
|
2383 |
|
|
(pc)))]
|
2384 |
|
|
"")
|
2385 |
|
|
|
2386 |
|
|
(define_expand "cbranchhi4"
|
2387 |
|
|
[(parallel [(set (cc0)
|
2388 |
|
|
(compare (match_operand:HI 1 "register_operand" "")
|
2389 |
|
|
(match_operand:HI 2 "nonmemory_operand" "")))
|
2390 |
|
|
(clobber (match_scratch:QI 4 ""))])
|
2391 |
|
|
(set (pc)
|
2392 |
|
|
(if_then_else
|
2393 |
|
|
(match_operator 0 "ordered_comparison_operator" [(cc0)
|
2394 |
|
|
(const_int 0)])
|
2395 |
|
|
(label_ref (match_operand 3 "" ""))
|
2396 |
|
|
(pc)))]
|
2397 |
|
|
"")
|
2398 |
|
|
|
2399 |
|
|
(define_expand "cbranchqi4"
|
2400 |
|
|
[(set (cc0)
|
2401 |
|
|
(compare (match_operand:QI 1 "register_operand" "")
|
2402 |
|
|
(match_operand:QI 2 "nonmemory_operand" "")))
|
2403 |
|
|
(set (pc)
|
2404 |
|
|
(if_then_else
|
2405 |
|
|
(match_operator 0 "ordered_comparison_operator" [(cc0)
|
2406 |
|
|
(const_int 0)])
|
2407 |
|
|
(label_ref (match_operand 3 "" ""))
|
2408 |
|
|
(pc)))]
|
2409 |
|
|
"")
|
2410 |
|
|
|
2411 |
|
|
|
2412 |
|
|
;; Test a single bit in a QI/HI/SImode register.
|
2413 |
|
|
;; Combine will create zero extract patterns for single bit tests.
|
2414 |
|
|
;; permit any mode in source pattern by using VOIDmode.
|
2415 |
|
|
|
2416 |
|
|
(define_insn "*sbrx_branch"
|
2417 |
|
|
[(set (pc)
|
2418 |
|
|
(if_then_else
|
2419 |
|
|
(match_operator 0 "eqne_operator"
|
2420 |
|
|
[(zero_extract:QIDI
|
2421 |
|
|
(match_operand:VOID 1 "register_operand" "r")
|
2422 |
|
|
(const_int 1)
|
2423 |
|
|
(match_operand 2 "const_int_operand" "n"))
|
2424 |
|
|
(const_int 0)])
|
2425 |
|
|
(label_ref (match_operand 3 "" ""))
|
2426 |
|
|
(pc)))]
|
2427 |
|
|
""
|
2428 |
|
|
"* return avr_out_sbxx_branch (insn, operands);"
|
2429 |
|
|
[(set (attr "length")
|
2430 |
|
|
(if_then_else (and (ge (minus (pc) (match_dup 3)) (const_int -2046))
|
2431 |
|
|
(le (minus (pc) (match_dup 3)) (const_int 2046)))
|
2432 |
|
|
(const_int 2)
|
2433 |
|
|
(if_then_else (eq_attr "mcu_mega" "no")
|
2434 |
|
|
(const_int 2)
|
2435 |
|
|
(const_int 4))))
|
2436 |
|
|
(set_attr "cc" "clobber")])
|
2437 |
|
|
|
2438 |
|
|
;; Same test based on Bitwise AND RTL. Keep this incase gcc changes patterns.
|
2439 |
|
|
;; or for old peepholes.
|
2440 |
|
|
;; Fixme - bitwise Mask will not work for DImode
|
2441 |
|
|
|
2442 |
|
|
(define_insn "*sbrx_and_branch"
|
2443 |
|
|
[(set (pc)
|
2444 |
|
|
(if_then_else
|
2445 |
|
|
(match_operator 0 "eqne_operator"
|
2446 |
|
|
[(and:QISI
|
2447 |
|
|
(match_operand:QISI 1 "register_operand" "r")
|
2448 |
|
|
(match_operand:QISI 2 "single_one_operand" "n"))
|
2449 |
|
|
(const_int 0)])
|
2450 |
|
|
(label_ref (match_operand 3 "" ""))
|
2451 |
|
|
(pc)))]
|
2452 |
|
|
""
|
2453 |
|
|
{
|
2454 |
|
|
HOST_WIDE_INT bitnumber;
|
2455 |
|
|
bitnumber = exact_log2 (GET_MODE_MASK (mode) & INTVAL (operands[2]));
|
2456 |
|
|
operands[2] = GEN_INT (bitnumber);
|
2457 |
|
|
return avr_out_sbxx_branch (insn, operands);
|
2458 |
|
|
}
|
2459 |
|
|
[(set (attr "length")
|
2460 |
|
|
(if_then_else (and (ge (minus (pc) (match_dup 3)) (const_int -2046))
|
2461 |
|
|
(le (minus (pc) (match_dup 3)) (const_int 2046)))
|
2462 |
|
|
(const_int 2)
|
2463 |
|
|
(if_then_else (eq_attr "mcu_mega" "no")
|
2464 |
|
|
(const_int 2)
|
2465 |
|
|
(const_int 4))))
|
2466 |
|
|
(set_attr "cc" "clobber")])
|
2467 |
|
|
|
2468 |
|
|
;; Convert sign tests to bit 7/15/31 tests that match the above insns.
|
2469 |
|
|
(define_peephole2
|
2470 |
|
|
[(set (cc0) (compare (match_operand:QI 0 "register_operand" "")
|
2471 |
|
|
(const_int 0)))
|
2472 |
|
|
(set (pc) (if_then_else (ge (cc0) (const_int 0))
|
2473 |
|
|
(label_ref (match_operand 1 "" ""))
|
2474 |
|
|
(pc)))]
|
2475 |
|
|
""
|
2476 |
|
|
[(set (pc) (if_then_else (eq (zero_extract:HI (match_dup 0)
|
2477 |
|
|
(const_int 1)
|
2478 |
|
|
(const_int 7))
|
2479 |
|
|
(const_int 0))
|
2480 |
|
|
(label_ref (match_dup 1))
|
2481 |
|
|
(pc)))]
|
2482 |
|
|
"")
|
2483 |
|
|
|
2484 |
|
|
(define_peephole2
|
2485 |
|
|
[(set (cc0) (compare (match_operand:QI 0 "register_operand" "")
|
2486 |
|
|
(const_int 0)))
|
2487 |
|
|
(set (pc) (if_then_else (lt (cc0) (const_int 0))
|
2488 |
|
|
(label_ref (match_operand 1 "" ""))
|
2489 |
|
|
(pc)))]
|
2490 |
|
|
""
|
2491 |
|
|
[(set (pc) (if_then_else (ne (zero_extract:HI (match_dup 0)
|
2492 |
|
|
(const_int 1)
|
2493 |
|
|
(const_int 7))
|
2494 |
|
|
(const_int 0))
|
2495 |
|
|
(label_ref (match_dup 1))
|
2496 |
|
|
(pc)))]
|
2497 |
|
|
"")
|
2498 |
|
|
|
2499 |
|
|
(define_peephole2
|
2500 |
|
|
[(parallel [(set (cc0) (compare (match_operand:HI 0 "register_operand" "")
|
2501 |
|
|
(const_int 0)))
|
2502 |
|
|
(clobber (match_operand:HI 2 ""))])
|
2503 |
|
|
(set (pc) (if_then_else (ge (cc0) (const_int 0))
|
2504 |
|
|
(label_ref (match_operand 1 "" ""))
|
2505 |
|
|
(pc)))]
|
2506 |
|
|
""
|
2507 |
|
|
[(set (pc) (if_then_else (eq (and:HI (match_dup 0) (const_int -32768))
|
2508 |
|
|
(const_int 0))
|
2509 |
|
|
(label_ref (match_dup 1))
|
2510 |
|
|
(pc)))]
|
2511 |
|
|
"")
|
2512 |
|
|
|
2513 |
|
|
(define_peephole2
|
2514 |
|
|
[(parallel [(set (cc0) (compare (match_operand:HI 0 "register_operand" "")
|
2515 |
|
|
(const_int 0)))
|
2516 |
|
|
(clobber (match_operand:HI 2 ""))])
|
2517 |
|
|
(set (pc) (if_then_else (lt (cc0) (const_int 0))
|
2518 |
|
|
(label_ref (match_operand 1 "" ""))
|
2519 |
|
|
(pc)))]
|
2520 |
|
|
""
|
2521 |
|
|
[(set (pc) (if_then_else (ne (and:HI (match_dup 0) (const_int -32768))
|
2522 |
|
|
(const_int 0))
|
2523 |
|
|
(label_ref (match_dup 1))
|
2524 |
|
|
(pc)))]
|
2525 |
|
|
"")
|
2526 |
|
|
|
2527 |
|
|
(define_peephole2
|
2528 |
|
|
[(parallel [(set (cc0) (compare (match_operand:SI 0 "register_operand" "")
|
2529 |
|
|
(const_int 0)))
|
2530 |
|
|
(clobber (match_operand:SI 2 ""))])
|
2531 |
|
|
(set (pc) (if_then_else (ge (cc0) (const_int 0))
|
2532 |
|
|
(label_ref (match_operand 1 "" ""))
|
2533 |
|
|
(pc)))]
|
2534 |
|
|
""
|
2535 |
|
|
[(set (pc) (if_then_else (eq (and:SI (match_dup 0) (match_dup 2))
|
2536 |
|
|
(const_int 0))
|
2537 |
|
|
(label_ref (match_dup 1))
|
2538 |
|
|
(pc)))]
|
2539 |
|
|
"operands[2] = GEN_INT (-2147483647 - 1);")
|
2540 |
|
|
|
2541 |
|
|
(define_peephole2
|
2542 |
|
|
[(parallel [(set (cc0) (compare (match_operand:SI 0 "register_operand" "")
|
2543 |
|
|
(const_int 0)))
|
2544 |
|
|
(clobber (match_operand:SI 2 ""))])
|
2545 |
|
|
(set (pc) (if_then_else (lt (cc0) (const_int 0))
|
2546 |
|
|
(label_ref (match_operand 1 "" ""))
|
2547 |
|
|
(pc)))]
|
2548 |
|
|
""
|
2549 |
|
|
[(set (pc) (if_then_else (ne (and:SI (match_dup 0) (match_dup 2))
|
2550 |
|
|
(const_int 0))
|
2551 |
|
|
(label_ref (match_dup 1))
|
2552 |
|
|
(pc)))]
|
2553 |
|
|
"operands[2] = GEN_INT (-2147483647 - 1);")
|
2554 |
|
|
|
2555 |
|
|
;; ************************************************************************
|
2556 |
|
|
;; Implementation of conditional jumps here.
|
2557 |
|
|
;; Compare with 0 (test) jumps
|
2558 |
|
|
;; ************************************************************************
|
2559 |
|
|
|
2560 |
|
|
(define_insn "branch"
|
2561 |
|
|
[(set (pc)
|
2562 |
|
|
(if_then_else (match_operator 1 "simple_comparison_operator"
|
2563 |
|
|
[(cc0)
|
2564 |
|
|
(const_int 0)])
|
2565 |
|
|
(label_ref (match_operand 0 "" ""))
|
2566 |
|
|
(pc)))]
|
2567 |
|
|
""
|
2568 |
|
|
"*
|
2569 |
|
|
return ret_cond_branch (operands[1], avr_jump_mode (operands[0],insn), 0);"
|
2570 |
|
|
[(set_attr "type" "branch")
|
2571 |
|
|
(set_attr "cc" "clobber")])
|
2572 |
|
|
|
2573 |
|
|
;; ****************************************************************
|
2574 |
|
|
;; AVR does not have following conditional jumps: LE,LEU,GT,GTU.
|
2575 |
|
|
;; Convert them all to proper jumps.
|
2576 |
|
|
;; ****************************************************************/
|
2577 |
|
|
|
2578 |
|
|
(define_insn "difficult_branch"
|
2579 |
|
|
[(set (pc)
|
2580 |
|
|
(if_then_else (match_operator 1 "difficult_comparison_operator"
|
2581 |
|
|
[(cc0)
|
2582 |
|
|
(const_int 0)])
|
2583 |
|
|
(label_ref (match_operand 0 "" ""))
|
2584 |
|
|
(pc)))]
|
2585 |
|
|
""
|
2586 |
|
|
"*
|
2587 |
|
|
return ret_cond_branch (operands[1], avr_jump_mode (operands[0],insn), 0);"
|
2588 |
|
|
[(set_attr "type" "branch1")
|
2589 |
|
|
(set_attr "cc" "clobber")])
|
2590 |
|
|
|
2591 |
|
|
;; revers branch
|
2592 |
|
|
|
2593 |
|
|
(define_insn "rvbranch"
|
2594 |
|
|
[(set (pc)
|
2595 |
|
|
(if_then_else (match_operator 1 "simple_comparison_operator"
|
2596 |
|
|
[(cc0)
|
2597 |
|
|
(const_int 0)])
|
2598 |
|
|
(pc)
|
2599 |
|
|
(label_ref (match_operand 0 "" ""))))]
|
2600 |
|
|
""
|
2601 |
|
|
"*
|
2602 |
|
|
return ret_cond_branch (operands[1], avr_jump_mode (operands[0], insn), 1);"
|
2603 |
|
|
[(set_attr "type" "branch1")
|
2604 |
|
|
(set_attr "cc" "clobber")])
|
2605 |
|
|
|
2606 |
|
|
(define_insn "difficult_rvbranch"
|
2607 |
|
|
[(set (pc)
|
2608 |
|
|
(if_then_else (match_operator 1 "difficult_comparison_operator"
|
2609 |
|
|
[(cc0)
|
2610 |
|
|
(const_int 0)])
|
2611 |
|
|
(pc)
|
2612 |
|
|
(label_ref (match_operand 0 "" ""))))]
|
2613 |
|
|
""
|
2614 |
|
|
"*
|
2615 |
|
|
return ret_cond_branch (operands[1], avr_jump_mode (operands[0], insn), 1);"
|
2616 |
|
|
[(set_attr "type" "branch")
|
2617 |
|
|
(set_attr "cc" "clobber")])
|
2618 |
|
|
|
2619 |
|
|
;; **************************************************************************
|
2620 |
|
|
;; Unconditional and other jump instructions.
|
2621 |
|
|
|
2622 |
|
|
(define_insn "jump"
|
2623 |
|
|
[(set (pc)
|
2624 |
|
|
(label_ref (match_operand 0 "" "")))]
|
2625 |
|
|
""
|
2626 |
|
|
"*{
|
2627 |
|
|
if (AVR_HAVE_JMP_CALL && get_attr_length (insn) != 1)
|
2628 |
|
|
return AS1 (jmp,%x0);
|
2629 |
|
|
return AS1 (rjmp,%x0);
|
2630 |
|
|
}"
|
2631 |
|
|
[(set (attr "length")
|
2632 |
|
|
(if_then_else (match_operand 0 "symbol_ref_operand" "")
|
2633 |
|
|
(if_then_else (eq_attr "mcu_mega" "no")
|
2634 |
|
|
(const_int 1)
|
2635 |
|
|
(const_int 2))
|
2636 |
|
|
(if_then_else (and (ge (minus (pc) (match_dup 0)) (const_int -2047))
|
2637 |
|
|
(le (minus (pc) (match_dup 0)) (const_int 2047)))
|
2638 |
|
|
(const_int 1)
|
2639 |
|
|
(const_int 2))))
|
2640 |
|
|
(set_attr "cc" "none")])
|
2641 |
|
|
|
2642 |
|
|
;; call
|
2643 |
|
|
|
2644 |
|
|
(define_expand "call"
|
2645 |
|
|
[(call (match_operand:HI 0 "call_insn_operand" "")
|
2646 |
|
|
(match_operand:HI 1 "general_operand" ""))]
|
2647 |
|
|
;; Operand 1 not used on the AVR.
|
2648 |
|
|
""
|
2649 |
|
|
"")
|
2650 |
|
|
|
2651 |
|
|
;; call value
|
2652 |
|
|
|
2653 |
|
|
(define_expand "call_value"
|
2654 |
|
|
[(set (match_operand 0 "register_operand" "")
|
2655 |
|
|
(call (match_operand:HI 1 "call_insn_operand" "")
|
2656 |
|
|
(match_operand:HI 2 "general_operand" "")))]
|
2657 |
|
|
;; Operand 2 not used on the AVR.
|
2658 |
|
|
""
|
2659 |
|
|
"")
|
2660 |
|
|
|
2661 |
|
|
(define_insn "call_insn"
|
2662 |
|
|
[(call (mem:HI (match_operand:HI 0 "nonmemory_operand" "!z,*r,s,n"))
|
2663 |
|
|
(match_operand:HI 1 "general_operand" "X,X,X,X"))]
|
2664 |
|
|
;; We don't need in saving Z register because r30,r31 is a call used registers
|
2665 |
|
|
;; Operand 1 not used on the AVR.
|
2666 |
|
|
"(register_operand (operands[0], HImode) || CONSTANT_P (operands[0]))"
|
2667 |
|
|
"*{
|
2668 |
|
|
if (which_alternative==0)
|
2669 |
|
|
return \"%!icall\";
|
2670 |
|
|
else if (which_alternative==1)
|
2671 |
|
|
{
|
2672 |
|
|
if (AVR_HAVE_MOVW)
|
2673 |
|
|
return (AS2 (movw, r30, %0) CR_TAB
|
2674 |
|
|
\"%!icall\");
|
2675 |
|
|
else
|
2676 |
|
|
return (AS2 (mov, r30, %A0) CR_TAB
|
2677 |
|
|
AS2 (mov, r31, %B0) CR_TAB
|
2678 |
|
|
\"%!icall\");
|
2679 |
|
|
}
|
2680 |
|
|
else if (which_alternative==2)
|
2681 |
|
|
return AS1(%~call,%x0);
|
2682 |
|
|
return (AS2 (ldi,r30,lo8(%0)) CR_TAB
|
2683 |
|
|
AS2 (ldi,r31,hi8(%0)) CR_TAB
|
2684 |
|
|
\"%!icall\");
|
2685 |
|
|
}"
|
2686 |
|
|
[(set_attr "cc" "clobber,clobber,clobber,clobber")
|
2687 |
|
|
(set_attr_alternative "length"
|
2688 |
|
|
[(const_int 1)
|
2689 |
|
|
(if_then_else (eq_attr "mcu_have_movw" "yes")
|
2690 |
|
|
(const_int 2)
|
2691 |
|
|
(const_int 3))
|
2692 |
|
|
(if_then_else (eq_attr "mcu_mega" "yes")
|
2693 |
|
|
(const_int 2)
|
2694 |
|
|
(const_int 1))
|
2695 |
|
|
(const_int 3)])])
|
2696 |
|
|
|
2697 |
|
|
(define_insn "call_value_insn"
|
2698 |
|
|
[(set (match_operand 0 "register_operand" "=r,r,r,r")
|
2699 |
|
|
(call (mem:HI (match_operand:HI 1 "nonmemory_operand" "!z,*r,s,n"))
|
2700 |
|
|
;; We don't need in saving Z register because r30,r31 is a call used registers
|
2701 |
|
|
(match_operand:HI 2 "general_operand" "X,X,X,X")))]
|
2702 |
|
|
;; Operand 2 not used on the AVR.
|
2703 |
|
|
"(register_operand (operands[0], VOIDmode) || CONSTANT_P (operands[0]))"
|
2704 |
|
|
"*{
|
2705 |
|
|
if (which_alternative==0)
|
2706 |
|
|
return \"%!icall\";
|
2707 |
|
|
else if (which_alternative==1)
|
2708 |
|
|
{
|
2709 |
|
|
if (AVR_HAVE_MOVW)
|
2710 |
|
|
return (AS2 (movw, r30, %1) CR_TAB
|
2711 |
|
|
\"%!icall\");
|
2712 |
|
|
else
|
2713 |
|
|
return (AS2 (mov, r30, %A1) CR_TAB
|
2714 |
|
|
AS2 (mov, r31, %B1) CR_TAB
|
2715 |
|
|
\"%!icall\");
|
2716 |
|
|
}
|
2717 |
|
|
else if (which_alternative==2)
|
2718 |
|
|
return AS1(%~call,%x1);
|
2719 |
|
|
return (AS2 (ldi, r30, lo8(%1)) CR_TAB
|
2720 |
|
|
AS2 (ldi, r31, hi8(%1)) CR_TAB
|
2721 |
|
|
\"%!icall\");
|
2722 |
|
|
}"
|
2723 |
|
|
[(set_attr "cc" "clobber,clobber,clobber,clobber")
|
2724 |
|
|
(set_attr_alternative "length"
|
2725 |
|
|
[(const_int 1)
|
2726 |
|
|
(if_then_else (eq_attr "mcu_have_movw" "yes")
|
2727 |
|
|
(const_int 2)
|
2728 |
|
|
(const_int 3))
|
2729 |
|
|
(if_then_else (eq_attr "mcu_mega" "yes")
|
2730 |
|
|
(const_int 2)
|
2731 |
|
|
(const_int 1))
|
2732 |
|
|
(const_int 3)])])
|
2733 |
|
|
|
2734 |
|
|
(define_insn "nop"
|
2735 |
|
|
[(const_int 0)]
|
2736 |
|
|
""
|
2737 |
|
|
"nop"
|
2738 |
|
|
[(set_attr "cc" "none")
|
2739 |
|
|
(set_attr "length" "1")])
|
2740 |
|
|
|
2741 |
|
|
; indirect jump
|
2742 |
|
|
|
2743 |
|
|
(define_expand "indirect_jump"
|
2744 |
|
|
[(set (pc) (match_operand:HI 0 "nonmemory_operand" ""))]
|
2745 |
|
|
""
|
2746 |
|
|
" if ((!AVR_HAVE_JMP_CALL) && !register_operand(operand0, HImode))
|
2747 |
|
|
{
|
2748 |
|
|
operands[0] = copy_to_mode_reg(HImode, operand0);
|
2749 |
|
|
}"
|
2750 |
|
|
)
|
2751 |
|
|
|
2752 |
|
|
; indirect jump
|
2753 |
|
|
(define_insn "*jcindirect_jump"
|
2754 |
|
|
[(set (pc) (match_operand:HI 0 "immediate_operand" "i"))]
|
2755 |
|
|
""
|
2756 |
|
|
"@
|
2757 |
|
|
%~jmp %x0"
|
2758 |
|
|
[(set_attr "length" "2")
|
2759 |
|
|
(set_attr "cc" "none")])
|
2760 |
|
|
|
2761 |
|
|
;;
|
2762 |
|
|
(define_insn "*njcindirect_jump"
|
2763 |
|
|
[(set (pc) (match_operand:HI 0 "register_operand" "!z,*r"))]
|
2764 |
|
|
"!AVR_HAVE_EIJMP_EICALL"
|
2765 |
|
|
"@
|
2766 |
|
|
ijmp
|
2767 |
|
|
push %A0\;push %B0\;ret"
|
2768 |
|
|
[(set_attr "length" "1,3")
|
2769 |
|
|
(set_attr "cc" "none,none")])
|
2770 |
|
|
|
2771 |
|
|
(define_insn "*indirect_jump_avr6"
|
2772 |
|
|
[(set (pc) (match_operand:HI 0 "register_operand" "z"))]
|
2773 |
|
|
"AVR_HAVE_EIJMP_EICALL"
|
2774 |
|
|
"eijmp"
|
2775 |
|
|
[(set_attr "length" "1")
|
2776 |
|
|
(set_attr "cc" "none")])
|
2777 |
|
|
|
2778 |
|
|
;; table jump
|
2779 |
|
|
|
2780 |
|
|
;; Table made from "rjmp" instructions for <=8K devices.
|
2781 |
|
|
(define_insn "*tablejump_rjmp"
|
2782 |
|
|
[(set (pc) (unspec:HI [(match_operand:HI 0 "register_operand" "!z,*r")]
|
2783 |
|
|
UNSPEC_INDEX_JMP))
|
2784 |
|
|
(use (label_ref (match_operand 1 "" "")))
|
2785 |
|
|
(clobber (match_dup 0))]
|
2786 |
|
|
"(!AVR_HAVE_JMP_CALL) && (!AVR_HAVE_EIJMP_EICALL)"
|
2787 |
|
|
"@
|
2788 |
|
|
ijmp
|
2789 |
|
|
push %A0\;push %B0\;ret"
|
2790 |
|
|
[(set_attr "length" "1,3")
|
2791 |
|
|
(set_attr "cc" "none,none")])
|
2792 |
|
|
|
2793 |
|
|
;; Not a prologue, but similar idea - move the common piece of code to libgcc.
|
2794 |
|
|
(define_insn "*tablejump_lib"
|
2795 |
|
|
[(set (pc) (unspec:HI [(match_operand:HI 0 "register_operand" "z")]
|
2796 |
|
|
UNSPEC_INDEX_JMP))
|
2797 |
|
|
(use (label_ref (match_operand 1 "" "")))
|
2798 |
|
|
(clobber (match_dup 0))]
|
2799 |
|
|
"AVR_HAVE_JMP_CALL && TARGET_CALL_PROLOGUES"
|
2800 |
|
|
"%~jmp __tablejump2__"
|
2801 |
|
|
[(set_attr "length" "2")
|
2802 |
|
|
(set_attr "cc" "clobber")])
|
2803 |
|
|
|
2804 |
|
|
(define_insn "*tablejump_enh"
|
2805 |
|
|
[(set (pc) (unspec:HI [(match_operand:HI 0 "register_operand" "z")]
|
2806 |
|
|
UNSPEC_INDEX_JMP))
|
2807 |
|
|
(use (label_ref (match_operand 1 "" "")))
|
2808 |
|
|
(clobber (match_dup 0))]
|
2809 |
|
|
"AVR_HAVE_JMP_CALL && AVR_HAVE_LPMX"
|
2810 |
|
|
"lsl r30
|
2811 |
|
|
rol r31
|
2812 |
|
|
lpm __tmp_reg__,Z+
|
2813 |
|
|
lpm r31,Z
|
2814 |
|
|
mov r30,__tmp_reg__
|
2815 |
|
|
%!ijmp"
|
2816 |
|
|
[(set_attr "length" "6")
|
2817 |
|
|
(set_attr "cc" "clobber")])
|
2818 |
|
|
|
2819 |
|
|
(define_insn "*tablejump"
|
2820 |
|
|
[(set (pc) (unspec:HI [(match_operand:HI 0 "register_operand" "z")]
|
2821 |
|
|
UNSPEC_INDEX_JMP))
|
2822 |
|
|
(use (label_ref (match_operand 1 "" "")))
|
2823 |
|
|
(clobber (match_dup 0))]
|
2824 |
|
|
"AVR_HAVE_JMP_CALL && !AVR_HAVE_EIJMP_EICALL"
|
2825 |
|
|
"lsl r30
|
2826 |
|
|
rol r31
|
2827 |
|
|
lpm
|
2828 |
|
|
inc r30
|
2829 |
|
|
push r0
|
2830 |
|
|
lpm
|
2831 |
|
|
push r0
|
2832 |
|
|
ret"
|
2833 |
|
|
[(set_attr "length" "8")
|
2834 |
|
|
(set_attr "cc" "clobber")])
|
2835 |
|
|
|
2836 |
|
|
(define_expand "casesi"
|
2837 |
|
|
[(set (match_dup 6)
|
2838 |
|
|
(minus:HI (subreg:HI (match_operand:SI 0 "register_operand" "") 0)
|
2839 |
|
|
(match_operand:HI 1 "register_operand" "")))
|
2840 |
|
|
(parallel [(set (cc0)
|
2841 |
|
|
(compare (match_dup 6)
|
2842 |
|
|
(match_operand:HI 2 "register_operand" "")))
|
2843 |
|
|
(clobber (match_scratch:QI 9 ""))])
|
2844 |
|
|
|
2845 |
|
|
(set (pc)
|
2846 |
|
|
(if_then_else (gtu (cc0)
|
2847 |
|
|
(const_int 0))
|
2848 |
|
|
(label_ref (match_operand 4 "" ""))
|
2849 |
|
|
(pc)))
|
2850 |
|
|
|
2851 |
|
|
(set (match_dup 6)
|
2852 |
|
|
(plus:HI (match_dup 6) (label_ref (match_operand:HI 3 "" ""))))
|
2853 |
|
|
|
2854 |
|
|
(parallel [(set (pc) (unspec:HI [(match_dup 6)] UNSPEC_INDEX_JMP))
|
2855 |
|
|
(use (label_ref (match_dup 3)))
|
2856 |
|
|
(clobber (match_dup 6))])]
|
2857 |
|
|
""
|
2858 |
|
|
"
|
2859 |
|
|
{
|
2860 |
|
|
operands[6] = gen_reg_rtx (HImode);
|
2861 |
|
|
}")
|
2862 |
|
|
|
2863 |
|
|
|
2864 |
|
|
;; ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
2865 |
|
|
;; This instruction sets Z flag
|
2866 |
|
|
|
2867 |
|
|
(define_insn "sez"
|
2868 |
|
|
[(set (cc0) (const_int 0))]
|
2869 |
|
|
""
|
2870 |
|
|
"sez"
|
2871 |
|
|
[(set_attr "length" "1")
|
2872 |
|
|
(set_attr "cc" "compare")])
|
2873 |
|
|
|
2874 |
|
|
;; Clear/set/test a single bit in I/O address space.
|
2875 |
|
|
|
2876 |
|
|
(define_insn "*cbi"
|
2877 |
|
|
[(set (mem:QI (match_operand 0 "low_io_address_operand" "n"))
|
2878 |
|
|
(and:QI (mem:QI (match_dup 0))
|
2879 |
|
|
(match_operand:QI 1 "single_zero_operand" "n")))]
|
2880 |
|
|
"(optimize > 0)"
|
2881 |
|
|
{
|
2882 |
|
|
operands[2] = GEN_INT (exact_log2 (~INTVAL (operands[1]) & 0xff));
|
2883 |
|
|
return AS2 (cbi,%m0-0x20,%2);
|
2884 |
|
|
}
|
2885 |
|
|
[(set_attr "length" "1")
|
2886 |
|
|
(set_attr "cc" "none")])
|
2887 |
|
|
|
2888 |
|
|
(define_insn "*sbi"
|
2889 |
|
|
[(set (mem:QI (match_operand 0 "low_io_address_operand" "n"))
|
2890 |
|
|
(ior:QI (mem:QI (match_dup 0))
|
2891 |
|
|
(match_operand:QI 1 "single_one_operand" "n")))]
|
2892 |
|
|
"(optimize > 0)"
|
2893 |
|
|
{
|
2894 |
|
|
operands[2] = GEN_INT (exact_log2 (INTVAL (operands[1]) & 0xff));
|
2895 |
|
|
return AS2 (sbi,%m0-0x20,%2);
|
2896 |
|
|
}
|
2897 |
|
|
[(set_attr "length" "1")
|
2898 |
|
|
(set_attr "cc" "none")])
|
2899 |
|
|
|
2900 |
|
|
;; Lower half of the I/O space - use sbic/sbis directly.
|
2901 |
|
|
(define_insn "*sbix_branch"
|
2902 |
|
|
[(set (pc)
|
2903 |
|
|
(if_then_else
|
2904 |
|
|
(match_operator 0 "eqne_operator"
|
2905 |
|
|
[(zero_extract:HI
|
2906 |
|
|
(mem:QI (match_operand 1 "low_io_address_operand" "n"))
|
2907 |
|
|
(const_int 1)
|
2908 |
|
|
(match_operand 2 "const_int_operand" "n"))
|
2909 |
|
|
(const_int 0)])
|
2910 |
|
|
(label_ref (match_operand 3 "" ""))
|
2911 |
|
|
(pc)))]
|
2912 |
|
|
"(optimize > 0)"
|
2913 |
|
|
"* return avr_out_sbxx_branch (insn, operands);"
|
2914 |
|
|
[(set (attr "length")
|
2915 |
|
|
(if_then_else (and (ge (minus (pc) (match_dup 3)) (const_int -2046))
|
2916 |
|
|
(le (minus (pc) (match_dup 3)) (const_int 2046)))
|
2917 |
|
|
(const_int 2)
|
2918 |
|
|
(if_then_else (eq_attr "mcu_mega" "no")
|
2919 |
|
|
(const_int 2)
|
2920 |
|
|
(const_int 4))))
|
2921 |
|
|
(set_attr "cc" "clobber")])
|
2922 |
|
|
|
2923 |
|
|
;; Tests of bit 7 are pessimized to sign tests, so we need this too...
|
2924 |
|
|
(define_insn "*sbix_branch_bit7"
|
2925 |
|
|
[(set (pc)
|
2926 |
|
|
(if_then_else
|
2927 |
|
|
(match_operator 0 "gelt_operator"
|
2928 |
|
|
[(mem:QI (match_operand 1 "low_io_address_operand" "n"))
|
2929 |
|
|
(const_int 0)])
|
2930 |
|
|
(label_ref (match_operand 2 "" ""))
|
2931 |
|
|
(pc)))]
|
2932 |
|
|
"(optimize > 0)"
|
2933 |
|
|
{
|
2934 |
|
|
operands[3] = operands[2];
|
2935 |
|
|
operands[2] = GEN_INT (7);
|
2936 |
|
|
return avr_out_sbxx_branch (insn, operands);
|
2937 |
|
|
}
|
2938 |
|
|
[(set (attr "length")
|
2939 |
|
|
(if_then_else (and (ge (minus (pc) (match_dup 2)) (const_int -2046))
|
2940 |
|
|
(le (minus (pc) (match_dup 2)) (const_int 2046)))
|
2941 |
|
|
(const_int 2)
|
2942 |
|
|
(if_then_else (eq_attr "mcu_mega" "no")
|
2943 |
|
|
(const_int 2)
|
2944 |
|
|
(const_int 4))))
|
2945 |
|
|
(set_attr "cc" "clobber")])
|
2946 |
|
|
|
2947 |
|
|
;; Upper half of the I/O space - read port to __tmp_reg__ and use sbrc/sbrs.
|
2948 |
|
|
(define_insn "*sbix_branch_tmp"
|
2949 |
|
|
[(set (pc)
|
2950 |
|
|
(if_then_else
|
2951 |
|
|
(match_operator 0 "eqne_operator"
|
2952 |
|
|
[(zero_extract:HI
|
2953 |
|
|
(mem:QI (match_operand 1 "high_io_address_operand" "n"))
|
2954 |
|
|
(const_int 1)
|
2955 |
|
|
(match_operand 2 "const_int_operand" "n"))
|
2956 |
|
|
(const_int 0)])
|
2957 |
|
|
(label_ref (match_operand 3 "" ""))
|
2958 |
|
|
(pc)))]
|
2959 |
|
|
"(optimize > 0)"
|
2960 |
|
|
"* return avr_out_sbxx_branch (insn, operands);"
|
2961 |
|
|
[(set (attr "length")
|
2962 |
|
|
(if_then_else (and (ge (minus (pc) (match_dup 3)) (const_int -2046))
|
2963 |
|
|
(le (minus (pc) (match_dup 3)) (const_int 2045)))
|
2964 |
|
|
(const_int 3)
|
2965 |
|
|
(if_then_else (eq_attr "mcu_mega" "no")
|
2966 |
|
|
(const_int 3)
|
2967 |
|
|
(const_int 5))))
|
2968 |
|
|
(set_attr "cc" "clobber")])
|
2969 |
|
|
|
2970 |
|
|
(define_insn "*sbix_branch_tmp_bit7"
|
2971 |
|
|
[(set (pc)
|
2972 |
|
|
(if_then_else
|
2973 |
|
|
(match_operator 0 "gelt_operator"
|
2974 |
|
|
[(mem:QI (match_operand 1 "high_io_address_operand" "n"))
|
2975 |
|
|
(const_int 0)])
|
2976 |
|
|
(label_ref (match_operand 2 "" ""))
|
2977 |
|
|
(pc)))]
|
2978 |
|
|
"(optimize > 0)"
|
2979 |
|
|
{
|
2980 |
|
|
operands[3] = operands[2];
|
2981 |
|
|
operands[2] = GEN_INT (7);
|
2982 |
|
|
return avr_out_sbxx_branch (insn, operands);
|
2983 |
|
|
}
|
2984 |
|
|
[(set (attr "length")
|
2985 |
|
|
(if_then_else (and (ge (minus (pc) (match_dup 2)) (const_int -2046))
|
2986 |
|
|
(le (minus (pc) (match_dup 2)) (const_int 2045)))
|
2987 |
|
|
(const_int 3)
|
2988 |
|
|
(if_then_else (eq_attr "mcu_mega" "no")
|
2989 |
|
|
(const_int 3)
|
2990 |
|
|
(const_int 5))))
|
2991 |
|
|
(set_attr "cc" "clobber")])
|
2992 |
|
|
|
2993 |
|
|
;; ************************* Peepholes ********************************
|
2994 |
|
|
|
2995 |
|
|
(define_peephole
|
2996 |
|
|
[(set (match_operand:SI 0 "d_register_operand" "")
|
2997 |
|
|
(plus:SI (match_dup 0)
|
2998 |
|
|
(const_int -1)))
|
2999 |
|
|
(parallel
|
3000 |
|
|
[(set (cc0)
|
3001 |
|
|
(compare (match_dup 0)
|
3002 |
|
|
(const_int -1)))
|
3003 |
|
|
(clobber (match_operand:QI 1 "d_register_operand" ""))])
|
3004 |
|
|
(set (pc)
|
3005 |
|
|
(if_then_else (ne (cc0) (const_int 0))
|
3006 |
|
|
(label_ref (match_operand 2 "" ""))
|
3007 |
|
|
(pc)))]
|
3008 |
|
|
""
|
3009 |
|
|
"*
|
3010 |
|
|
{
|
3011 |
|
|
CC_STATUS_INIT;
|
3012 |
|
|
if (test_hard_reg_class (ADDW_REGS, operands[0]))
|
3013 |
|
|
output_asm_insn (AS2 (sbiw,%0,1) CR_TAB
|
3014 |
|
|
AS2 (sbc,%C0,__zero_reg__) CR_TAB
|
3015 |
|
|
AS2 (sbc,%D0,__zero_reg__) \"\\n\", operands);
|
3016 |
|
|
else
|
3017 |
|
|
output_asm_insn (AS2 (subi,%A0,1) CR_TAB
|
3018 |
|
|
AS2 (sbc,%B0,__zero_reg__) CR_TAB
|
3019 |
|
|
AS2 (sbc,%C0,__zero_reg__) CR_TAB
|
3020 |
|
|
AS2 (sbc,%D0,__zero_reg__) \"\\n\", operands);
|
3021 |
|
|
switch (avr_jump_mode (operands[2],insn))
|
3022 |
|
|
{
|
3023 |
|
|
case 1:
|
3024 |
|
|
return AS1 (brcc,%2);
|
3025 |
|
|
case 2:
|
3026 |
|
|
return (AS1 (brcs,.+2) CR_TAB
|
3027 |
|
|
AS1 (rjmp,%2));
|
3028 |
|
|
}
|
3029 |
|
|
return (AS1 (brcs,.+4) CR_TAB
|
3030 |
|
|
AS1 (jmp,%2));
|
3031 |
|
|
}")
|
3032 |
|
|
|
3033 |
|
|
(define_peephole
|
3034 |
|
|
[(set (match_operand:HI 0 "d_register_operand" "")
|
3035 |
|
|
(plus:HI (match_dup 0)
|
3036 |
|
|
(const_int -1)))
|
3037 |
|
|
(parallel
|
3038 |
|
|
[(set (cc0)
|
3039 |
|
|
(compare (match_dup 0)
|
3040 |
|
|
(const_int 65535)))
|
3041 |
|
|
(clobber (match_operand:QI 1 "d_register_operand" ""))])
|
3042 |
|
|
(set (pc)
|
3043 |
|
|
(if_then_else (ne (cc0) (const_int 0))
|
3044 |
|
|
(label_ref (match_operand 2 "" ""))
|
3045 |
|
|
(pc)))]
|
3046 |
|
|
""
|
3047 |
|
|
"*
|
3048 |
|
|
{
|
3049 |
|
|
CC_STATUS_INIT;
|
3050 |
|
|
if (test_hard_reg_class (ADDW_REGS, operands[0]))
|
3051 |
|
|
output_asm_insn (AS2 (sbiw,%0,1), operands);
|
3052 |
|
|
else
|
3053 |
|
|
output_asm_insn (AS2 (subi,%A0,1) CR_TAB
|
3054 |
|
|
AS2 (sbc,%B0,__zero_reg__) \"\\n\", operands);
|
3055 |
|
|
switch (avr_jump_mode (operands[2],insn))
|
3056 |
|
|
{
|
3057 |
|
|
case 1:
|
3058 |
|
|
return AS1 (brcc,%2);
|
3059 |
|
|
case 2:
|
3060 |
|
|
return (AS1 (brcs,.+2) CR_TAB
|
3061 |
|
|
AS1 (rjmp,%2));
|
3062 |
|
|
}
|
3063 |
|
|
return (AS1 (brcs,.+4) CR_TAB
|
3064 |
|
|
AS1 (jmp,%2));
|
3065 |
|
|
}")
|
3066 |
|
|
|
3067 |
|
|
(define_peephole
|
3068 |
|
|
[(set (match_operand:QI 0 "d_register_operand" "")
|
3069 |
|
|
(plus:QI (match_dup 0)
|
3070 |
|
|
(const_int -1)))
|
3071 |
|
|
(set (cc0)
|
3072 |
|
|
(compare (match_dup 0)
|
3073 |
|
|
(const_int -1)))
|
3074 |
|
|
(set (pc)
|
3075 |
|
|
(if_then_else (ne (cc0) (const_int 0))
|
3076 |
|
|
(label_ref (match_operand 1 "" ""))
|
3077 |
|
|
(pc)))]
|
3078 |
|
|
""
|
3079 |
|
|
"*
|
3080 |
|
|
{
|
3081 |
|
|
CC_STATUS_INIT;
|
3082 |
|
|
cc_status.value1 = operands[0];
|
3083 |
|
|
cc_status.flags |= CC_OVERFLOW_UNUSABLE;
|
3084 |
|
|
output_asm_insn (AS2 (subi,%A0,1), operands);
|
3085 |
|
|
switch (avr_jump_mode (operands[1],insn))
|
3086 |
|
|
{
|
3087 |
|
|
case 1:
|
3088 |
|
|
return AS1 (brcc,%1);
|
3089 |
|
|
case 2:
|
3090 |
|
|
return (AS1 (brcs,.+2) CR_TAB
|
3091 |
|
|
AS1 (rjmp,%1));
|
3092 |
|
|
}
|
3093 |
|
|
return (AS1 (brcs,.+4) CR_TAB
|
3094 |
|
|
AS1 (jmp,%1));
|
3095 |
|
|
}")
|
3096 |
|
|
|
3097 |
|
|
(define_peephole
|
3098 |
|
|
[(set (cc0)
|
3099 |
|
|
(compare (match_operand:QI 0 "register_operand" "")
|
3100 |
|
|
(const_int 0)))
|
3101 |
|
|
(set (pc)
|
3102 |
|
|
(if_then_else (eq (cc0) (const_int 0))
|
3103 |
|
|
(label_ref (match_operand 1 "" ""))
|
3104 |
|
|
(pc)))]
|
3105 |
|
|
"jump_over_one_insn_p (insn, operands[1])"
|
3106 |
|
|
"cpse %0,__zero_reg__")
|
3107 |
|
|
|
3108 |
|
|
(define_peephole
|
3109 |
|
|
[(set (cc0)
|
3110 |
|
|
(compare (match_operand:QI 0 "register_operand" "")
|
3111 |
|
|
(match_operand:QI 1 "register_operand" "")))
|
3112 |
|
|
(set (pc)
|
3113 |
|
|
(if_then_else (eq (cc0) (const_int 0))
|
3114 |
|
|
(label_ref (match_operand 2 "" ""))
|
3115 |
|
|
(pc)))]
|
3116 |
|
|
"jump_over_one_insn_p (insn, operands[2])"
|
3117 |
|
|
"cpse %0,%1")
|
3118 |
|
|
|
3119 |
|
|
;;pppppppppppppppppppppppppppppppppppppppppppppppppppp
|
3120 |
|
|
;;prologue/epilogue support instructions
|
3121 |
|
|
|
3122 |
|
|
(define_insn "popqi"
|
3123 |
|
|
[(set (match_operand:QI 0 "register_operand" "=r")
|
3124 |
|
|
(mem:QI (post_inc (reg:HI REG_SP))))]
|
3125 |
|
|
""
|
3126 |
|
|
"pop %0"
|
3127 |
|
|
[(set_attr "cc" "none")
|
3128 |
|
|
(set_attr "length" "1")])
|
3129 |
|
|
|
3130 |
|
|
(define_insn "pophi"
|
3131 |
|
|
[(set (match_operand:HI 0 "register_operand" "=r")
|
3132 |
|
|
(mem:HI (post_inc (reg:HI REG_SP))))]
|
3133 |
|
|
""
|
3134 |
|
|
"pop %A0\;pop %B0"
|
3135 |
|
|
[(set_attr "cc" "none")
|
3136 |
|
|
(set_attr "length" "2")])
|
3137 |
|
|
|
3138 |
|
|
;; Enable Interrupts
|
3139 |
|
|
(define_insn "enable_interrupt"
|
3140 |
|
|
[(unspec [(const_int 0)] UNSPEC_SEI)]
|
3141 |
|
|
""
|
3142 |
|
|
"sei"
|
3143 |
|
|
[(set_attr "length" "1")
|
3144 |
|
|
(set_attr "cc" "none")
|
3145 |
|
|
])
|
3146 |
|
|
|
3147 |
|
|
;; Disable Interrupts
|
3148 |
|
|
(define_insn "disable_interrupt"
|
3149 |
|
|
[(unspec [(const_int 0)] UNSPEC_CLI)]
|
3150 |
|
|
""
|
3151 |
|
|
"cli"
|
3152 |
|
|
[(set_attr "length" "1")
|
3153 |
|
|
(set_attr "cc" "none")
|
3154 |
|
|
])
|
3155 |
|
|
|
3156 |
|
|
;; Library prologue saves
|
3157 |
|
|
(define_insn "call_prologue_saves"
|
3158 |
|
|
[(unspec_volatile:HI [(const_int 0)] UNSPECV_PROLOGUE_SAVES)
|
3159 |
|
|
(match_operand:HI 0 "immediate_operand" "")
|
3160 |
|
|
(set (reg:HI REG_SP) (minus:HI
|
3161 |
|
|
(reg:HI REG_SP)
|
3162 |
|
|
(match_operand:HI 1 "immediate_operand" "")))
|
3163 |
|
|
(use (reg:HI REG_X))
|
3164 |
|
|
(clobber (reg:HI REG_Z))]
|
3165 |
|
|
""
|
3166 |
|
|
"ldi r30,lo8(gs(1f))
|
3167 |
|
|
ldi r31,hi8(gs(1f))
|
3168 |
|
|
%~jmp __prologue_saves__+((18 - %0) * 2)
|
3169 |
|
|
1:"
|
3170 |
|
|
[(set_attr_alternative "length"
|
3171 |
|
|
[(if_then_else (eq_attr "mcu_mega" "yes")
|
3172 |
|
|
(const_int 6)
|
3173 |
|
|
(const_int 5))])
|
3174 |
|
|
(set_attr "cc" "clobber")
|
3175 |
|
|
])
|
3176 |
|
|
|
3177 |
|
|
; epilogue restores using library
|
3178 |
|
|
(define_insn "epilogue_restores"
|
3179 |
|
|
[(unspec_volatile:QI [(const_int 0)] UNSPECV_EPILOGUE_RESTORES)
|
3180 |
|
|
(set (reg:HI REG_Y ) (plus:HI
|
3181 |
|
|
(reg:HI REG_Y)
|
3182 |
|
|
(match_operand:HI 0 "immediate_operand" "")))
|
3183 |
|
|
(set (reg:HI REG_SP) (reg:HI REG_Y))
|
3184 |
|
|
(clobber (reg:QI REG_Z))]
|
3185 |
|
|
""
|
3186 |
|
|
"ldi r30, lo8(%0)
|
3187 |
|
|
%~jmp __epilogue_restores__ + ((18 - %0) * 2)"
|
3188 |
|
|
[(set_attr_alternative "length"
|
3189 |
|
|
[(if_then_else (eq_attr "mcu_mega" "yes")
|
3190 |
|
|
(const_int 3)
|
3191 |
|
|
(const_int 2))])
|
3192 |
|
|
(set_attr "cc" "clobber")
|
3193 |
|
|
])
|
3194 |
|
|
|
3195 |
|
|
; return
|
3196 |
|
|
(define_insn "return"
|
3197 |
|
|
[(return)]
|
3198 |
|
|
"reload_completed && avr_simple_epilogue ()"
|
3199 |
|
|
"ret"
|
3200 |
|
|
[(set_attr "cc" "none")
|
3201 |
|
|
(set_attr "length" "1")])
|
3202 |
|
|
|
3203 |
|
|
(define_insn "return_from_epilogue"
|
3204 |
|
|
[(return)]
|
3205 |
|
|
"(reload_completed
|
3206 |
|
|
&& cfun->machine
|
3207 |
|
|
&& !(cfun->machine->is_interrupt || cfun->machine->is_signal)
|
3208 |
|
|
&& !cfun->machine->is_naked)"
|
3209 |
|
|
"ret"
|
3210 |
|
|
[(set_attr "cc" "none")
|
3211 |
|
|
(set_attr "length" "1")])
|
3212 |
|
|
|
3213 |
|
|
(define_insn "return_from_interrupt_epilogue"
|
3214 |
|
|
[(return)]
|
3215 |
|
|
"(reload_completed
|
3216 |
|
|
&& cfun->machine
|
3217 |
|
|
&& (cfun->machine->is_interrupt || cfun->machine->is_signal)
|
3218 |
|
|
&& !cfun->machine->is_naked)"
|
3219 |
|
|
"reti"
|
3220 |
|
|
[(set_attr "cc" "none")
|
3221 |
|
|
(set_attr "length" "1")])
|
3222 |
|
|
|
3223 |
|
|
(define_insn "return_from_naked_epilogue"
|
3224 |
|
|
[(return)]
|
3225 |
|
|
"(reload_completed
|
3226 |
|
|
&& cfun->machine
|
3227 |
|
|
&& cfun->machine->is_naked)"
|
3228 |
|
|
""
|
3229 |
|
|
[(set_attr "cc" "none")
|
3230 |
|
|
(set_attr "length" "0")])
|
3231 |
|
|
|
3232 |
|
|
(define_expand "prologue"
|
3233 |
|
|
[(const_int 0)]
|
3234 |
|
|
""
|
3235 |
|
|
"
|
3236 |
|
|
{
|
3237 |
|
|
expand_prologue ();
|
3238 |
|
|
DONE;
|
3239 |
|
|
}")
|
3240 |
|
|
|
3241 |
|
|
(define_expand "epilogue"
|
3242 |
|
|
[(const_int 0)]
|
3243 |
|
|
""
|
3244 |
|
|
"
|
3245 |
|
|
{
|
3246 |
|
|
expand_epilogue ();
|
3247 |
|
|
DONE;
|
3248 |
|
|
}")
|