1 /* Machine description patterns for PowerPC running Darwin (Mac OS X).
2 Copyright (C)
2004-
2018 Free Software Foundation, Inc.
3 Contributed by Apple Computer Inc.
5 This file is part of GCC.
7 GNU CC is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version
3, or (at your option)
12 GNU CC is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 ;; along with GCC; see the file COPYING3. If not see
19 ;; <http://www.gnu.org/licenses/>. */
21 (define_insn "adddi3_high"
22 [(set (match_operand:DI
0 "gpc_reg_operand" "=b")
23 (plus:DI (match_operand:DI
1 "gpc_reg_operand" "b")
24 (high:DI (match_operand
2 "" ""))))]
25 "TARGET_MACHO && TARGET_64BIT"
26 "addis %
0,%
1,ha16(%
2)")
28 (define_insn "movdf_low_si"
29 [(set (match_operand:DF
0 "gpc_reg_operand" "=f,!r")
30 (mem:DF (lo_sum:SI (match_operand:SI
1 "gpc_reg_operand" "b,b")
31 (match_operand
2 "" ""))))]
32 "TARGET_MACHO && TARGET_HARD_FLOAT && !TARGET_64BIT"
34 switch (which_alternative)
37 return "lfd %
0,lo16(%
2)(%
1)";
40 if (TARGET_POWERPC64 && TARGET_32BIT)
41 /* Note, old assemblers didn't support relocation here. */
42 return "ld %
0,lo16(%
2)(%
1)";
45 output_asm_insn ("la %
0,lo16(%
2)(%
1)", operands);
46 output_asm_insn ("lwz %L0,
4(%
0)", operands);
47 return ("lwz %
0,
0(%
0)");
54 [(set_attr "type" "load")
55 (set_attr "length" "
4,
12")])
58 (define_insn "movdf_low_di"
59 [(set (match_operand:DF
0 "gpc_reg_operand" "=f,!r")
60 (mem:DF (lo_sum:DI (match_operand:DI
1 "gpc_reg_operand" "b,b")
61 (match_operand
2 "" ""))))]
62 "TARGET_MACHO && TARGET_HARD_FLOAT && TARGET_64BIT"
66 [(set_attr "type" "load")])
68 (define_insn "movdf_low_st_si"
69 [(set (mem:DF (lo_sum:SI (match_operand:SI
1 "gpc_reg_operand" "b")
70 (match_operand
2 "" "")))
71 (match_operand:DF
0 "gpc_reg_operand" "f"))]
72 "TARGET_MACHO && TARGET_HARD_FLOAT && ! TARGET_64BIT"
73 "stfd %
0,lo16(%
2)(%
1)"
74 [(set_attr "type" "store")])
76 (define_insn "movdf_low_st_di"
77 [(set (mem:DF (lo_sum:DI (match_operand:DI
1 "gpc_reg_operand" "b")
78 (match_operand
2 "" "")))
79 (match_operand:DF
0 "gpc_reg_operand" "f"))]
80 "TARGET_MACHO && TARGET_HARD_FLOAT && TARGET_64BIT"
81 "stfd %
0,lo16(%
2)(%
1)"
82 [(set_attr "type" "store")])
84 (define_insn "movsf_low_si"
85 [(set (match_operand:SF
0 "gpc_reg_operand" "=f,!r")
86 (mem:SF (lo_sum:SI (match_operand:SI
1 "gpc_reg_operand" "b,b")
87 (match_operand
2 "" ""))))]
88 "TARGET_MACHO && TARGET_HARD_FLOAT && ! TARGET_64BIT"
92 [(set_attr "type" "load")])
94 (define_insn "movsf_low_di"
95 [(set (match_operand:SF
0 "gpc_reg_operand" "=f,!r")
96 (mem:SF (lo_sum:DI (match_operand:DI
1 "gpc_reg_operand" "b,b")
97 (match_operand
2 "" ""))))]
98 "TARGET_MACHO && TARGET_HARD_FLOAT && TARGET_64BIT"
102 [(set_attr "type" "load")])
104 (define_insn "movsf_low_st_si"
105 [(set (mem:SF (lo_sum:SI (match_operand:SI
1 "gpc_reg_operand" "b,b")
106 (match_operand
2 "" "")))
107 (match_operand:SF
0 "gpc_reg_operand" "f,!r"))]
108 "TARGET_MACHO && TARGET_HARD_FLOAT && ! TARGET_64BIT"
112 [(set_attr "type" "store")])
114 (define_insn "movsf_low_st_di"
115 [(set (mem:SF (lo_sum:DI (match_operand:DI
1 "gpc_reg_operand" "b,b")
116 (match_operand
2 "" "")))
117 (match_operand:SF
0 "gpc_reg_operand" "f,!r"))]
118 "TARGET_MACHO && TARGET_HARD_FLOAT && TARGET_64BIT"
122 [(set_attr "type" "store")])
124 ;;
64-bit MachO load/store support
125 (define_insn "movdi_low"
126 [(set (match_operand:DI
0 "gpc_reg_operand" "=r,*!d")
127 (mem:DI (lo_sum:DI (match_operand:DI
1 "gpc_reg_operand" "b,b")
128 (match_operand
2 "" ""))))]
129 "TARGET_MACHO && TARGET_64BIT"
133 [(set_attr "type" "load")])
135 (define_insn "movsi_low_st"
136 [(set (mem:SI (lo_sum:SI (match_operand:SI
1 "gpc_reg_operand" "b")
137 (match_operand
2 "" "")))
138 (match_operand:SI
0 "gpc_reg_operand" "r"))]
139 "TARGET_MACHO && ! TARGET_64BIT"
140 "stw %
0,lo16(%
2)(%
1)"
141 [(set_attr "type" "store")])
143 (define_insn "movdi_low_st"
144 [(set (mem:DI (lo_sum:DI (match_operand:DI
1 "gpc_reg_operand" "b,b")
145 (match_operand
2 "" "")))
146 (match_operand:DI
0 "gpc_reg_operand" "r,*!d"))]
147 "TARGET_MACHO && TARGET_64BIT"
150 stfd %
0,lo16(%
2)(%
1)"
151 [(set_attr "type" "store")])
153 ;; Mach-O PIC trickery.
154 (define_expand "macho_high"
155 [(set (match_operand
0 "")
156 (high (match_operand
1 "")))]
160 emit_insn (gen_macho_high_di (operands[
0], operands[
1]));
162 emit_insn (gen_macho_high_si (operands[
0], operands[
1]));
167 (define_insn "macho_high_si"
168 [(set (match_operand:SI
0 "gpc_reg_operand" "=b*r")
169 (high:SI (match_operand
1 "" "")))]
170 "TARGET_MACHO && ! TARGET_64BIT"
174 (define_insn "macho_high_di"
175 [(set (match_operand:DI
0 "gpc_reg_operand" "=b*r")
176 (high:DI (match_operand
1 "" "")))]
177 "TARGET_MACHO && TARGET_64BIT"
180 (define_expand "macho_low"
181 [(set (match_operand
0 "")
182 (lo_sum (match_operand
1 "")
183 (match_operand
2 "")))]
187 emit_insn (gen_macho_low_di (operands[
0], operands[
1], operands[
2]));
189 emit_insn (gen_macho_low_si (operands[
0], operands[
1], operands[
2]));
194 (define_insn "macho_low_si"
195 [(set (match_operand:SI
0 "gpc_reg_operand" "=r")
196 (lo_sum:SI (match_operand:SI
1 "gpc_reg_operand" "b")
197 (match_operand
2 "" "")))]
198 "TARGET_MACHO && ! TARGET_64BIT"
199 "la %
0,lo16(%
2)(%
1)")
201 (define_insn "macho_low_di"
202 [(set (match_operand:DI
0 "gpc_reg_operand" "=r")
203 (lo_sum:DI (match_operand:DI
1 "gpc_reg_operand" "b")
204 (match_operand
2 "" "")))]
205 "TARGET_MACHO && TARGET_64BIT"
206 "la %
0,lo16(%
2)(%
1)")
209 [(set (mem:V4SI (plus:DI (match_operand:DI
0 "gpc_reg_operand")
210 (match_operand:DI
1 "short_cint_operand")))
211 (match_operand:V4SI
2 "register_operand"))
212 (clobber (match_operand:DI
3 "gpc_reg_operand"))]
213 "TARGET_MACHO && TARGET_64BIT"
214 [(set (match_dup
3) (plus:DI (match_dup
0) (match_dup
1)))
215 (set (mem:V4SI (match_dup
3))
219 (define_expand "load_macho_picbase"
220 [(set (reg:SI LR_REGNO)
221 (unspec [(match_operand
0 "")]
223 "(DEFAULT_ABI == ABI_DARWIN) && flag_pic"
226 emit_insn (gen_load_macho_picbase_si (operands[
0]));
228 emit_insn (gen_load_macho_picbase_di (operands[
0]));
233 (define_insn "load_macho_picbase_si"
234 [(set (reg:SI LR_REGNO)
235 (unspec:SI [(match_operand:SI
0 "immediate_operand" "s")
236 (pc)] UNSPEC_LD_MPIC))]
237 "(DEFAULT_ABI == ABI_DARWIN) && flag_pic"
240 machopic_should_output_picbase_label (); /* Update for new func. */
244 return "bcl
20,
31,%
0\n%
0:";
246 [(set_attr "type" "branch")
247 (set_attr "cannot_copy" "yes")])
249 (define_insn "load_macho_picbase_di"
250 [(set (reg:DI LR_REGNO)
251 (unspec:DI [(match_operand:DI
0 "immediate_operand" "s")
252 (pc)] UNSPEC_LD_MPIC))]
253 "(DEFAULT_ABI == ABI_DARWIN) && flag_pic && TARGET_64BIT"
256 machopic_should_output_picbase_label (); /* Update for new func. */
260 return "bcl
20,
31,%
0\n%
0:";
262 [(set_attr "type" "branch")
263 (set_attr "cannot_copy" "yes")])
265 (define_expand "macho_correct_pic"
266 [(set (match_operand
0 "")
267 (plus (match_operand
1 "")
268 (unspec [(match_operand
2 "")
269 (match_operand
3 "")]
270 UNSPEC_MPIC_CORRECT)))]
271 "DEFAULT_ABI == ABI_DARWIN"
274 emit_insn (gen_macho_correct_pic_si (operands[
0], operands[
1], operands[
2],
277 emit_insn (gen_macho_correct_pic_di (operands[
0], operands[
1], operands[
2],
283 (define_insn "macho_correct_pic_si"
284 [(set (match_operand:SI
0 "gpc_reg_operand" "=r")
285 (plus:SI (match_operand:SI
1 "gpc_reg_operand" "r")
286 (unspec:SI [(match_operand:SI
2 "immediate_operand" "s")
287 (match_operand:SI
3 "immediate_operand" "s")]
288 UNSPEC_MPIC_CORRECT)))]
289 "DEFAULT_ABI == ABI_DARWIN"
290 "addis %
0,%
1,ha16(%
2-%
3)
\n\taddi %
0,%
0,lo16(%
2-%
3)"
291 [(set_attr "length" "
8")])
293 (define_insn "macho_correct_pic_di"
294 [(set (match_operand:DI
0 "gpc_reg_operand" "=r")
295 (plus:DI (match_operand:DI
1 "gpc_reg_operand" "r")
296 (unspec:DI [(match_operand:DI
2 "immediate_operand" "s")
297 (match_operand:DI
3 "immediate_operand" "s")]
299 "DEFAULT_ABI == ABI_DARWIN && TARGET_64BIT"
300 "addis %
0,%
1,ha16(%
2-%
3)
\n\taddi %
0,%
0,lo16(%
2-%
3)"
301 [(set_attr "length" "
8")])
303 (define_insn "*call_indirect_nonlocal_darwin64"
304 [(call (mem:SI (match_operand:DI
0 "register_operand" "c,*l,c,*l"))
305 (match_operand
1 "" "g,g,g,g"))
306 (use (match_operand:SI
2 "immediate_operand" "O,O,n,n"))
307 (clobber (reg:SI LR_REGNO))]
308 "DEFAULT_ABI == ABI_DARWIN && TARGET_64BIT"
312 [(set_attr "type" "jmpreg,jmpreg,jmpreg,jmpreg")
313 (set_attr "length" "
4,
4,
8,
8")])
315 (define_insn "*call_nonlocal_darwin64"
316 [(call (mem:SI (match_operand:DI
0 "symbol_ref_operand" "s,s"))
317 (match_operand
1 "" "g,g"))
318 (use (match_operand:SI
2 "immediate_operand" "O,n"))
319 (clobber (reg:SI LR_REGNO))]
320 "(DEFAULT_ABI == ABI_DARWIN)
321 && (INTVAL (operands[
2]) & CALL_LONG) ==
0"
324 return output_call(insn, operands,
0,
2);
329 [(set_attr "type" "branch,branch")
330 (set_attr "length" "
4,
8")])
332 (define_insn "*call_value_indirect_nonlocal_darwin64"
333 [(set (match_operand
0 "" "")
334 (call (mem:SI (match_operand:DI
1 "register_operand" "c,*l,c,*l"))
335 (match_operand
2 "" "g,g,g,g")))
336 (use (match_operand:SI
3 "immediate_operand" "O,O,n,n"))
337 (clobber (reg:SI LR_REGNO))]
338 "DEFAULT_ABI == ABI_DARWIN"
342 [(set_attr "type" "jmpreg,jmpreg,jmpreg,jmpreg")
343 (set_attr "length" "
4,
4,
8,
8")])
345 (define_insn "*call_value_nonlocal_darwin64"
346 [(set (match_operand
0 "" "")
347 (call (mem:SI (match_operand:DI
1 "symbol_ref_operand" "s,s"))
348 (match_operand
2 "" "g,g")))
349 (use (match_operand:SI
3 "immediate_operand" "O,n"))
350 (clobber (reg:SI LR_REGNO))]
351 "(DEFAULT_ABI == ABI_DARWIN)
352 && (INTVAL (operands[
3]) & CALL_LONG) ==
0"
355 return output_call(insn, operands,
1,
3);
360 [(set_attr "type" "branch,branch")
361 (set_attr "length" "
4,
8")])
363 (define_expand "reload_macho_picbase"
364 [(set (reg:SI LR_REGNO)
365 (unspec [(match_operand
0 "")]
367 "(DEFAULT_ABI == ABI_DARWIN) && flag_pic"
370 emit_insn (gen_reload_macho_picbase_si (operands[
0]));
372 emit_insn (gen_reload_macho_picbase_di (operands[
0]));
377 (define_insn "reload_macho_picbase_si"
378 [(set (reg:SI LR_REGNO)
379 (unspec:SI [(match_operand:SI
0 "immediate_operand" "s")
380 (pc)] UNSPEC_RELD_MPIC))]
381 "(DEFAULT_ABI == ABI_DARWIN) && flag_pic"
384 if (machopic_should_output_picbase_label ())
387 const char *cnam = machopic_get_function_picbase ();
388 snprintf (tmp,
64, "bcl
20,
31,%s
\n%s:
\n%%
0:", cnam, cnam);
395 return "bcl
20,
31,%
0\n%
0:";
397 [(set_attr "type" "branch")
398 (set_attr "cannot_copy" "yes")])
400 (define_insn "reload_macho_picbase_di"
401 [(set (reg:DI LR_REGNO)
402 (unspec:DI [(match_operand:DI
0 "immediate_operand" "s")
403 (pc)] UNSPEC_RELD_MPIC))]
404 "(DEFAULT_ABI == ABI_DARWIN) && flag_pic && TARGET_64BIT"
407 if (machopic_should_output_picbase_label ())
410 const char *cnam = machopic_get_function_picbase ();
411 snprintf (tmp,
64, "bcl
20,
31,%s
\n%s:
\n%%
0:", cnam, cnam);
418 return "bcl
20,
31,%
0\n%
0:";
420 [(set_attr "type" "branch")
421 (set_attr "cannot_copy" "yes")])
423 ;; We need to restore the PIC register, at the site of nonlocal label.
425 (define_insn_and_split "nonlocal_goto_receiver"
426 [(unspec_volatile [(const_int
0)] UNSPECV_NLGR)]
427 "TARGET_MACHO && flag_pic"
429 "&& reload_completed"
433 if (crtl->uses_pic_offset_table)
435 static unsigned n =
0;
436 rtx picrtx = gen_rtx_SYMBOL_REF (Pmode, MACHOPIC_FUNCTION_BASE_NAME);
437 rtx picreg = gen_rtx_REG (Pmode, RS6000_PIC_OFFSET_TABLE_REGNUM);
441 ASM_GENERATE_INTERNAL_LABEL(tmplab, "Lnlgr", ++n);
442 tmplrtx = gen_rtx_SYMBOL_REF (Pmode, ggc_strdup (tmplab));
444 emit_insn (gen_reload_macho_picbase (tmplrtx));
445 emit_move_insn (picreg, gen_rtx_REG (Pmode, LR_REGNO));
446 emit_insn (gen_macho_correct_pic (picreg, picreg, picrtx, tmplrtx));
449 /* Not using PIC reg, no reload needed. */
450 emit_note (NOTE_INSN_DELETED);