1 /* Expand builtin functions.
2 Copyright (C) 1988, 1992, 1993, 1994, 1995, 1996, 1997, 1998,
3 1999, 2000, 2001 Free Software Foundation, Inc.
5 This file is part of GNU CC.
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 2, 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 GNU CC; see the file COPYING. If not, write to
19 the Free Software Foundation, 59 Temple Place - Suite 330,
20 Boston, MA 02111-1307, USA. */
30 #include "hard-reg-set.h"
33 #include "insn-config.h"
39 #include "typeclass.h"
45 #define CALLED_AS_BUILT_IN(NODE) \
46 (!strncmp (IDENTIFIER_POINTER (DECL_NAME (NODE)), "__builtin_", 10))
48 /* Register mappings for target machines without register windows. */
49 #ifndef INCOMING_REGNO
50 #define INCOMING_REGNO(OUT) (OUT)
52 #ifndef OUTGOING_REGNO
53 #define OUTGOING_REGNO(IN) (IN)
56 #ifndef PAD_VARARGS_DOWN
57 #define PAD_VARARGS_DOWN BYTES_BIG_ENDIAN
60 /* Define the names of the builtin function types and codes. */
61 const char *const built_in_class_names
[4]
62 = {"NOT_BUILT_IN", "BUILT_IN_FRONTEND", "BUILT_IN_MD", "BUILT_IN_NORMAL"};
64 #define DEF_BUILTIN(X, N, C, T, LT, B, F, NA) STRINGX(X),
65 const char *const built_in_names
[(int) END_BUILTINS
] =
67 #include "builtins.def"
71 /* Setup an array of _DECL trees, make sure each element is
72 initialized to NULL_TREE. */
73 tree built_in_decls
[(int) END_BUILTINS
];
75 tree (*lang_type_promotes_to
) PARAMS ((tree
));
77 static int get_pointer_alignment
PARAMS ((tree
, unsigned));
78 static tree c_strlen
PARAMS ((tree
));
79 static const char *c_getstr
PARAMS ((tree
));
80 static rtx c_readstr
PARAMS ((const char *,
82 static int target_char_cast
PARAMS ((tree
, char *));
83 static rtx get_memory_rtx
PARAMS ((tree
));
84 static int apply_args_size
PARAMS ((void));
85 static int apply_result_size
PARAMS ((void));
86 #if defined (HAVE_untyped_call) || defined (HAVE_untyped_return)
87 static rtx result_vector
PARAMS ((int, rtx
));
89 static rtx expand_builtin_setjmp
PARAMS ((tree
, rtx
));
90 static rtx expand_builtin_apply_args
PARAMS ((void));
91 static rtx expand_builtin_apply_args_1
PARAMS ((void));
92 static rtx expand_builtin_apply
PARAMS ((rtx
, rtx
, rtx
));
93 static void expand_builtin_return
PARAMS ((rtx
));
94 static rtx expand_builtin_classify_type
PARAMS ((tree
));
95 static rtx expand_builtin_mathfn
PARAMS ((tree
, rtx
, rtx
));
96 static rtx expand_builtin_constant_p
PARAMS ((tree
));
97 static rtx expand_builtin_args_info
PARAMS ((tree
));
98 static rtx expand_builtin_next_arg
PARAMS ((tree
));
99 static rtx expand_builtin_va_start
PARAMS ((int, tree
));
100 static rtx expand_builtin_va_end
PARAMS ((tree
));
101 static rtx expand_builtin_va_copy
PARAMS ((tree
));
103 static rtx expand_builtin_memcmp
PARAMS ((tree
, tree
, rtx
));
105 static rtx expand_builtin_strcmp
PARAMS ((tree
, rtx
,
107 static rtx expand_builtin_strncmp
PARAMS ((tree
, rtx
,
109 static rtx builtin_memcpy_read_str
PARAMS ((PTR
, HOST_WIDE_INT
,
111 static rtx expand_builtin_strcat
PARAMS ((tree
, rtx
,
113 static rtx expand_builtin_strncat
PARAMS ((tree
, rtx
,
115 static rtx expand_builtin_strspn
PARAMS ((tree
, rtx
,
117 static rtx expand_builtin_strcspn
PARAMS ((tree
, rtx
,
119 static rtx expand_builtin_memcpy
PARAMS ((tree
));
120 static rtx expand_builtin_strcpy
PARAMS ((tree
));
121 static rtx builtin_strncpy_read_str
PARAMS ((PTR
, HOST_WIDE_INT
,
123 static rtx expand_builtin_strncpy
PARAMS ((tree
, rtx
,
125 static rtx builtin_memset_read_str
PARAMS ((PTR
, HOST_WIDE_INT
,
127 static rtx expand_builtin_memset
PARAMS ((tree
));
128 static rtx expand_builtin_bzero
PARAMS ((tree
));
129 static rtx expand_builtin_strlen
PARAMS ((tree
, rtx
));
130 static rtx expand_builtin_strstr
PARAMS ((tree
, rtx
,
132 static rtx expand_builtin_strpbrk
PARAMS ((tree
, rtx
,
134 static rtx expand_builtin_strchr
PARAMS ((tree
, rtx
,
136 static rtx expand_builtin_strrchr
PARAMS ((tree
, rtx
,
138 static rtx expand_builtin_alloca
PARAMS ((tree
, rtx
));
139 static rtx expand_builtin_ffs
PARAMS ((tree
, rtx
, rtx
));
140 static rtx expand_builtin_frame_address
PARAMS ((tree
));
141 static rtx expand_builtin_fputs
PARAMS ((tree
, int));
142 static tree stabilize_va_list
PARAMS ((tree
, int));
143 static rtx expand_builtin_expect
PARAMS ((tree
, rtx
));
144 static tree fold_builtin_constant_p
PARAMS ((tree
));
145 static tree build_function_call_expr
PARAMS ((tree
, tree
));
146 static int validate_arglist
PARAMS ((tree
, ...));
148 /* Return the alignment in bits of EXP, a pointer valued expression.
149 But don't return more than MAX_ALIGN no matter what.
150 The alignment returned is, by default, the alignment of the thing that
151 EXP points to (if it is not a POINTER_TYPE, 0 is returned).
153 Otherwise, look at the expression to see if we can do better, i.e., if the
154 expression is actually pointing at an object whose alignment is tighter. */
157 get_pointer_alignment (exp
, max_align
)
161 unsigned align
, inner
;
163 if (TREE_CODE (TREE_TYPE (exp
)) != POINTER_TYPE
)
166 align
= TYPE_ALIGN (TREE_TYPE (TREE_TYPE (exp
)));
167 align
= MIN (align
, max_align
);
171 switch (TREE_CODE (exp
))
175 case NON_LVALUE_EXPR
:
176 exp
= TREE_OPERAND (exp
, 0);
177 if (TREE_CODE (TREE_TYPE (exp
)) != POINTER_TYPE
)
180 inner
= TYPE_ALIGN (TREE_TYPE (TREE_TYPE (exp
)));
181 align
= MIN (inner
, max_align
);
185 /* If sum of pointer + int, restrict our maximum alignment to that
186 imposed by the integer. If not, we can't do any better than
188 if (! host_integerp (TREE_OPERAND (exp
, 1), 1))
191 while (((tree_low_cst (TREE_OPERAND (exp
, 1), 1))
192 & (max_align
/ BITS_PER_UNIT
- 1))
196 exp
= TREE_OPERAND (exp
, 0);
200 /* See what we are pointing at and look at its alignment. */
201 exp
= TREE_OPERAND (exp
, 0);
202 if (TREE_CODE (exp
) == FUNCTION_DECL
)
203 align
= FUNCTION_BOUNDARY
;
204 else if (DECL_P (exp
))
205 align
= DECL_ALIGN (exp
);
206 #ifdef CONSTANT_ALIGNMENT
207 else if (TREE_CODE_CLASS (TREE_CODE (exp
)) == 'c')
208 align
= CONSTANT_ALIGNMENT (exp
, align
);
210 return MIN (align
, max_align
);
218 /* Compute the length of a C string. TREE_STRING_LENGTH is not the right
219 way, because it could contain a zero byte in the middle.
220 TREE_STRING_LENGTH is the size of the character array, not the string.
222 The value returned is of type `ssizetype'.
224 Unfortunately, string_constant can't access the values of const char
225 arrays with initializers, so neither can we do so here. */
235 src
= string_constant (src
, &offset_node
);
239 max
= TREE_STRING_LENGTH (src
) - 1;
240 ptr
= TREE_STRING_POINTER (src
);
242 if (offset_node
&& TREE_CODE (offset_node
) != INTEGER_CST
)
244 /* If the string has an internal zero byte (e.g., "foo\0bar"), we can't
245 compute the offset to the following null if we don't know where to
246 start searching for it. */
249 for (i
= 0; i
< max
; i
++)
253 /* We don't know the starting offset, but we do know that the string
254 has no internal zero bytes. We can assume that the offset falls
255 within the bounds of the string; otherwise, the programmer deserves
256 what he gets. Subtract the offset from the length of the string,
257 and return that. This would perhaps not be valid if we were dealing
258 with named arrays in addition to literal string constants. */
260 return size_diffop (size_int (max
), offset_node
);
263 /* We have a known offset into the string. Start searching there for
265 if (offset_node
== 0)
269 /* Did we get a long long offset? If so, punt. */
270 if (TREE_INT_CST_HIGH (offset_node
) != 0)
272 offset
= TREE_INT_CST_LOW (offset_node
);
275 /* If the offset is known to be out of bounds, warn, and call strlen at
277 if (offset
< 0 || offset
> max
)
279 warning ("offset outside bounds of constant string");
283 /* Use strlen to search for the first zero byte. Since any strings
284 constructed with build_string will have nulls appended, we win even
285 if we get handed something like (char[4])"abcd".
287 Since OFFSET is our starting index into the string, no further
288 calculation is needed. */
289 return ssize_int (strlen (ptr
+ offset
));
292 /* Return a char pointer for a C string if it is a string constant
293 or sum of string constant and integer constant. */
303 src
= string_constant (src
, &offset_node
);
307 max
= TREE_STRING_LENGTH (src
) - 1;
308 ptr
= TREE_STRING_POINTER (src
);
312 else if (TREE_CODE (offset_node
) != INTEGER_CST
)
316 /* Did we get a long long offset? If so, punt. */
317 if (TREE_INT_CST_HIGH (offset_node
) != 0)
319 offset
= TREE_INT_CST_LOW (offset_node
);
320 if (offset
< 0 || offset
> max
)
327 /* Return a CONST_INT or CONST_DOUBLE corresponding to target
328 reading GET_MODE_BITSIZE (MODE) bits from string constant
332 c_readstr (str
, mode
)
334 enum machine_mode mode
;
340 if (GET_MODE_CLASS (mode
) != MODE_INT
)
345 for (i
= 0; i
< GET_MODE_SIZE (mode
); i
++)
348 if (WORDS_BIG_ENDIAN
)
349 j
= GET_MODE_SIZE (mode
) - i
- 1;
350 if (BYTES_BIG_ENDIAN
!= WORDS_BIG_ENDIAN
351 && GET_MODE_SIZE (mode
) > UNITS_PER_WORD
)
352 j
= j
+ UNITS_PER_WORD
- 2 * (j
% UNITS_PER_WORD
) - 1;
354 if (j
> 2 * HOST_BITS_PER_WIDE_INT
)
357 ch
= (unsigned char) str
[i
];
358 c
[j
/ HOST_BITS_PER_WIDE_INT
] |= ch
<< (j
% HOST_BITS_PER_WIDE_INT
);
360 return immed_double_const (c
[0], c
[1], mode
);
363 /* Cast a target constant CST to target CHAR and if that value fits into
364 host char type, return zero and put that value into variable pointed by
368 target_char_cast (cst
, p
)
372 unsigned HOST_WIDE_INT val
, hostval
;
374 if (TREE_CODE (cst
) != INTEGER_CST
375 || CHAR_TYPE_SIZE
> HOST_BITS_PER_WIDE_INT
)
378 val
= TREE_INT_CST_LOW (cst
);
379 if (CHAR_TYPE_SIZE
< HOST_BITS_PER_WIDE_INT
)
380 val
&= (((unsigned HOST_WIDE_INT
) 1) << CHAR_TYPE_SIZE
) - 1;
383 if (HOST_BITS_PER_CHAR
< HOST_BITS_PER_WIDE_INT
)
384 hostval
&= (((unsigned HOST_WIDE_INT
) 1) << HOST_BITS_PER_CHAR
) - 1;
393 /* Given TEM, a pointer to a stack frame, follow the dynamic chain COUNT
394 times to get the address of either a higher stack frame, or a return
395 address located within it (depending on FNDECL_CODE). */
398 expand_builtin_return_addr (fndecl_code
, count
, tem
)
399 enum built_in_function fndecl_code
;
405 /* Some machines need special handling before we can access
406 arbitrary frames. For example, on the sparc, we must first flush
407 all register windows to the stack. */
408 #ifdef SETUP_FRAME_ADDRESSES
410 SETUP_FRAME_ADDRESSES ();
413 /* On the sparc, the return address is not in the frame, it is in a
414 register. There is no way to access it off of the current frame
415 pointer, but it can be accessed off the previous frame pointer by
416 reading the value from the register window save area. */
417 #ifdef RETURN_ADDR_IN_PREVIOUS_FRAME
418 if (fndecl_code
== BUILT_IN_RETURN_ADDRESS
)
422 /* Scan back COUNT frames to the specified frame. */
423 for (i
= 0; i
< count
; i
++)
425 /* Assume the dynamic chain pointer is in the word that the
426 frame address points to, unless otherwise specified. */
427 #ifdef DYNAMIC_CHAIN_ADDRESS
428 tem
= DYNAMIC_CHAIN_ADDRESS (tem
);
430 tem
= memory_address (Pmode
, tem
);
431 tem
= gen_rtx_MEM (Pmode
, tem
);
432 set_mem_alias_set (tem
, get_frame_alias_set ());
433 tem
= copy_to_reg (tem
);
436 /* For __builtin_frame_address, return what we've got. */
437 if (fndecl_code
== BUILT_IN_FRAME_ADDRESS
)
440 /* For __builtin_return_address, Get the return address from that
442 #ifdef RETURN_ADDR_RTX
443 tem
= RETURN_ADDR_RTX (count
, tem
);
445 tem
= memory_address (Pmode
,
446 plus_constant (tem
, GET_MODE_SIZE (Pmode
)));
447 tem
= gen_rtx_MEM (Pmode
, tem
);
448 set_mem_alias_set (tem
, get_frame_alias_set ());
453 /* Alias set used for setjmp buffer. */
454 static HOST_WIDE_INT setjmp_alias_set
= -1;
456 /* Construct the leading half of a __builtin_setjmp call. Control will
457 return to RECEIVER_LABEL. This is used directly by sjlj exception
461 expand_builtin_setjmp_setup (buf_addr
, receiver_label
)
465 enum machine_mode sa_mode
= STACK_SAVEAREA_MODE (SAVE_NONLOCAL
);
469 if (setjmp_alias_set
== -1)
470 setjmp_alias_set
= new_alias_set ();
472 #ifdef POINTERS_EXTEND_UNSIGNED
473 buf_addr
= convert_memory_address (Pmode
, buf_addr
);
476 buf_addr
= force_reg (Pmode
, force_operand (buf_addr
, NULL_RTX
));
480 /* We store the frame pointer and the address of receiver_label in
481 the buffer and use the rest of it for the stack save area, which
482 is machine-dependent. */
484 #ifndef BUILTIN_SETJMP_FRAME_VALUE
485 #define BUILTIN_SETJMP_FRAME_VALUE virtual_stack_vars_rtx
488 mem
= gen_rtx_MEM (Pmode
, buf_addr
);
489 set_mem_alias_set (mem
, setjmp_alias_set
);
490 emit_move_insn (mem
, BUILTIN_SETJMP_FRAME_VALUE
);
492 mem
= gen_rtx_MEM (Pmode
, plus_constant (buf_addr
, GET_MODE_SIZE (Pmode
))),
493 set_mem_alias_set (mem
, setjmp_alias_set
);
495 emit_move_insn (validize_mem (mem
),
496 force_reg (Pmode
, gen_rtx_LABEL_REF (Pmode
, receiver_label
)));
498 stack_save
= gen_rtx_MEM (sa_mode
,
499 plus_constant (buf_addr
,
500 2 * GET_MODE_SIZE (Pmode
)));
501 set_mem_alias_set (stack_save
, setjmp_alias_set
);
502 emit_stack_save (SAVE_NONLOCAL
, &stack_save
, NULL_RTX
);
504 /* If there is further processing to do, do it. */
505 #ifdef HAVE_builtin_setjmp_setup
506 if (HAVE_builtin_setjmp_setup
)
507 emit_insn (gen_builtin_setjmp_setup (buf_addr
));
510 /* Tell optimize_save_area_alloca that extra work is going to
511 need to go on during alloca. */
512 current_function_calls_setjmp
= 1;
514 /* Set this so all the registers get saved in our frame; we need to be
515 able to copy the saved values for any registers from frames we unwind. */
516 current_function_has_nonlocal_label
= 1;
519 /* Construct the trailing part of a __builtin_setjmp call.
520 This is used directly by sjlj exception handling code. */
523 expand_builtin_setjmp_receiver (receiver_label
)
524 rtx receiver_label ATTRIBUTE_UNUSED
;
526 /* Clobber the FP when we get here, so we have to make sure it's
527 marked as used by this function. */
528 emit_insn (gen_rtx_USE (VOIDmode
, hard_frame_pointer_rtx
));
530 /* Mark the static chain as clobbered here so life information
531 doesn't get messed up for it. */
532 emit_insn (gen_rtx_CLOBBER (VOIDmode
, static_chain_rtx
));
534 /* Now put in the code to restore the frame pointer, and argument
535 pointer, if needed. The code below is from expand_end_bindings
536 in stmt.c; see detailed documentation there. */
537 #ifdef HAVE_nonlocal_goto
538 if (! HAVE_nonlocal_goto
)
540 emit_move_insn (virtual_stack_vars_rtx
, hard_frame_pointer_rtx
);
542 #if ARG_POINTER_REGNUM != HARD_FRAME_POINTER_REGNUM
543 if (fixed_regs
[ARG_POINTER_REGNUM
])
545 #ifdef ELIMINABLE_REGS
547 static struct elims
{int from
, to
;} elim_regs
[] = ELIMINABLE_REGS
;
549 for (i
= 0; i
< ARRAY_SIZE (elim_regs
); i
++)
550 if (elim_regs
[i
].from
== ARG_POINTER_REGNUM
551 && elim_regs
[i
].to
== HARD_FRAME_POINTER_REGNUM
)
554 if (i
== ARRAY_SIZE (elim_regs
))
557 /* Now restore our arg pointer from the address at which it
558 was saved in our stack frame.
559 If there hasn't be space allocated for it yet, make
561 if (arg_pointer_save_area
== 0)
562 arg_pointer_save_area
563 = assign_stack_local (Pmode
, GET_MODE_SIZE (Pmode
), 0);
564 emit_move_insn (virtual_incoming_args_rtx
,
565 copy_to_reg (arg_pointer_save_area
));
570 #ifdef HAVE_builtin_setjmp_receiver
571 if (HAVE_builtin_setjmp_receiver
)
572 emit_insn (gen_builtin_setjmp_receiver (receiver_label
));
575 #ifdef HAVE_nonlocal_goto_receiver
576 if (HAVE_nonlocal_goto_receiver
)
577 emit_insn (gen_nonlocal_goto_receiver ());
582 /* @@@ This is a kludge. Not all machine descriptions define a blockage
583 insn, but we must not allow the code we just generated to be reordered
584 by scheduling. Specifically, the update of the frame pointer must
585 happen immediately, not later. So emit an ASM_INPUT to act as blockage
587 emit_insn (gen_rtx_ASM_INPUT (VOIDmode
, ""));
590 /* __builtin_setjmp is passed a pointer to an array of five words (not
591 all will be used on all machines). It operates similarly to the C
592 library function of the same name, but is more efficient. Much of
593 the code below (and for longjmp) is copied from the handling of
596 NOTE: This is intended for use by GNAT and the exception handling
597 scheme in the compiler and will only work in the method used by
601 expand_builtin_setjmp (arglist
, target
)
605 rtx buf_addr
, next_lab
, cont_lab
;
607 if (!validate_arglist (arglist
, POINTER_TYPE
, VOID_TYPE
))
610 if (target
== 0 || GET_CODE (target
) != REG
611 || REGNO (target
) < FIRST_PSEUDO_REGISTER
)
612 target
= gen_reg_rtx (TYPE_MODE (integer_type_node
));
614 buf_addr
= expand_expr (TREE_VALUE (arglist
), NULL_RTX
, VOIDmode
, 0);
616 next_lab
= gen_label_rtx ();
617 cont_lab
= gen_label_rtx ();
619 expand_builtin_setjmp_setup (buf_addr
, next_lab
);
621 /* Set TARGET to zero and branch to the continue label. */
622 emit_move_insn (target
, const0_rtx
);
623 emit_jump_insn (gen_jump (cont_lab
));
625 emit_label (next_lab
);
627 expand_builtin_setjmp_receiver (next_lab
);
629 /* Set TARGET to one. */
630 emit_move_insn (target
, const1_rtx
);
631 emit_label (cont_lab
);
633 /* Tell flow about the strange goings on. Putting `next_lab' on
634 `nonlocal_goto_handler_labels' to indicates that function
635 calls may traverse the arc back to this label. */
637 current_function_has_nonlocal_label
= 1;
638 nonlocal_goto_handler_labels
639 = gen_rtx_EXPR_LIST (VOIDmode
, next_lab
, nonlocal_goto_handler_labels
);
644 /* __builtin_longjmp is passed a pointer to an array of five words (not
645 all will be used on all machines). It operates similarly to the C
646 library function of the same name, but is more efficient. Much of
647 the code below is copied from the handling of non-local gotos.
649 NOTE: This is intended for use by GNAT and the exception handling
650 scheme in the compiler and will only work in the method used by
654 expand_builtin_longjmp (buf_addr
, value
)
657 rtx fp
, lab
, stack
, insn
;
658 enum machine_mode sa_mode
= STACK_SAVEAREA_MODE (SAVE_NONLOCAL
);
660 if (setjmp_alias_set
== -1)
661 setjmp_alias_set
= new_alias_set ();
663 #ifdef POINTERS_EXTEND_UNSIGNED
664 buf_addr
= convert_memory_address (Pmode
, buf_addr
);
666 buf_addr
= force_reg (Pmode
, buf_addr
);
668 /* We used to store value in static_chain_rtx, but that fails if pointers
669 are smaller than integers. We instead require that the user must pass
670 a second argument of 1, because that is what builtin_setjmp will
671 return. This also makes EH slightly more efficient, since we are no
672 longer copying around a value that we don't care about. */
673 if (value
!= const1_rtx
)
676 current_function_calls_longjmp
= 1;
678 #ifdef HAVE_builtin_longjmp
679 if (HAVE_builtin_longjmp
)
680 emit_insn (gen_builtin_longjmp (buf_addr
));
684 fp
= gen_rtx_MEM (Pmode
, buf_addr
);
685 lab
= gen_rtx_MEM (Pmode
, plus_constant (buf_addr
,
686 GET_MODE_SIZE (Pmode
)));
688 stack
= gen_rtx_MEM (sa_mode
, plus_constant (buf_addr
,
689 2 * GET_MODE_SIZE (Pmode
)));
690 set_mem_alias_set (fp
, setjmp_alias_set
);
691 set_mem_alias_set (lab
, setjmp_alias_set
);
692 set_mem_alias_set (stack
, setjmp_alias_set
);
694 /* Pick up FP, label, and SP from the block and jump. This code is
695 from expand_goto in stmt.c; see there for detailed comments. */
696 #if HAVE_nonlocal_goto
697 if (HAVE_nonlocal_goto
)
698 /* We have to pass a value to the nonlocal_goto pattern that will
699 get copied into the static_chain pointer, but it does not matter
700 what that value is, because builtin_setjmp does not use it. */
701 emit_insn (gen_nonlocal_goto (value
, lab
, stack
, fp
));
705 lab
= copy_to_reg (lab
);
707 emit_move_insn (hard_frame_pointer_rtx
, fp
);
708 emit_stack_restore (SAVE_NONLOCAL
, stack
, NULL_RTX
);
710 emit_insn (gen_rtx_USE (VOIDmode
, hard_frame_pointer_rtx
));
711 emit_insn (gen_rtx_USE (VOIDmode
, stack_pointer_rtx
));
712 emit_indirect_jump (lab
);
716 /* Search backwards and mark the jump insn as a non-local goto.
717 Note that this precludes the use of __builtin_longjmp to a
718 __builtin_setjmp target in the same function. However, we've
719 already cautioned the user that these functions are for
720 internal exception handling use only. */
721 for (insn
= get_last_insn (); insn
; insn
= PREV_INSN (insn
))
723 if (GET_CODE (insn
) == JUMP_INSN
)
725 REG_NOTES (insn
) = alloc_EXPR_LIST (REG_NON_LOCAL_GOTO
, const0_rtx
,
729 else if (GET_CODE (insn
) == CALL_INSN
)
734 /* Get a MEM rtx for expression EXP which is the address of an operand
735 to be used to be used in a string instruction (cmpstrsi, movstrsi, ..). */
741 rtx mem
= gen_rtx_MEM (BLKmode
,
742 memory_address (BLKmode
,
743 expand_expr (exp
, NULL_RTX
,
744 ptr_mode
, EXPAND_SUM
)));
746 /* Get an expression we can use to find the attributes to assign to MEM.
747 If it is an ADDR_EXPR, use the operand. Otherwise, dereference it if
748 we can. First remove any nops. */
749 while ((TREE_CODE (exp
) == NOP_EXPR
|| TREE_CODE (exp
) == CONVERT_EXPR
750 || TREE_CODE (exp
) == NON_LVALUE_EXPR
)
751 && POINTER_TYPE_P (TREE_TYPE (TREE_OPERAND (exp
, 0))))
752 exp
= TREE_OPERAND (exp
, 0);
754 if (TREE_CODE (exp
) == ADDR_EXPR
)
755 exp
= TREE_OPERAND (exp
, 0);
756 else if (POINTER_TYPE_P (TREE_TYPE (exp
)))
757 exp
= build1 (INDIRECT_REF
, TREE_TYPE (TREE_TYPE (exp
)), exp
);
761 set_mem_attributes (mem
, exp
, 0);
762 /* memcpy, memset and other builtin stringops can alias with anything. */
763 set_mem_alias_set (mem
, 0);
767 /* Built-in functions to perform an untyped call and return. */
769 /* For each register that may be used for calling a function, this
770 gives a mode used to copy the register's value. VOIDmode indicates
771 the register is not used for calling a function. If the machine
772 has register windows, this gives only the outbound registers.
773 INCOMING_REGNO gives the corresponding inbound register. */
774 static enum machine_mode apply_args_mode
[FIRST_PSEUDO_REGISTER
];
776 /* For each register that may be used for returning values, this gives
777 a mode used to copy the register's value. VOIDmode indicates the
778 register is not used for returning values. If the machine has
779 register windows, this gives only the outbound registers.
780 INCOMING_REGNO gives the corresponding inbound register. */
781 static enum machine_mode apply_result_mode
[FIRST_PSEUDO_REGISTER
];
783 /* For each register that may be used for calling a function, this
784 gives the offset of that register into the block returned by
785 __builtin_apply_args. 0 indicates that the register is not
786 used for calling a function. */
787 static int apply_args_reg_offset
[FIRST_PSEUDO_REGISTER
];
789 /* Return the offset of register REGNO into the block returned by
790 __builtin_apply_args. This is not declared static, since it is
791 needed in objc-act.c. */
794 apply_args_register_offset (regno
)
799 /* Arguments are always put in outgoing registers (in the argument
800 block) if such make sense. */
801 #ifdef OUTGOING_REGNO
802 regno
= OUTGOING_REGNO(regno
);
804 return apply_args_reg_offset
[regno
];
807 /* Return the size required for the block returned by __builtin_apply_args,
808 and initialize apply_args_mode. */
813 static int size
= -1;
815 enum machine_mode mode
;
817 /* The values computed by this function never change. */
820 /* The first value is the incoming arg-pointer. */
821 size
= GET_MODE_SIZE (Pmode
);
823 /* The second value is the structure value address unless this is
824 passed as an "invisible" first argument. */
825 if (struct_value_rtx
)
826 size
+= GET_MODE_SIZE (Pmode
);
828 for (regno
= 0; regno
< FIRST_PSEUDO_REGISTER
; regno
++)
829 if (FUNCTION_ARG_REGNO_P (regno
))
831 /* Search for the proper mode for copying this register's
832 value. I'm not sure this is right, but it works so far. */
833 enum machine_mode best_mode
= VOIDmode
;
835 for (mode
= GET_CLASS_NARROWEST_MODE (MODE_INT
);
837 mode
= GET_MODE_WIDER_MODE (mode
))
838 if (HARD_REGNO_MODE_OK (regno
, mode
)
839 && HARD_REGNO_NREGS (regno
, mode
) == 1)
842 if (best_mode
== VOIDmode
)
843 for (mode
= GET_CLASS_NARROWEST_MODE (MODE_FLOAT
);
845 mode
= GET_MODE_WIDER_MODE (mode
))
846 if (HARD_REGNO_MODE_OK (regno
, mode
)
847 && (mov_optab
->handlers
[(int) mode
].insn_code
848 != CODE_FOR_nothing
))
852 if (mode
== VOIDmode
)
855 align
= GET_MODE_ALIGNMENT (mode
) / BITS_PER_UNIT
;
856 if (size
% align
!= 0)
857 size
= CEIL (size
, align
) * align
;
858 apply_args_reg_offset
[regno
] = size
;
859 size
+= GET_MODE_SIZE (mode
);
860 apply_args_mode
[regno
] = mode
;
864 apply_args_mode
[regno
] = VOIDmode
;
865 apply_args_reg_offset
[regno
] = 0;
871 /* Return the size required for the block returned by __builtin_apply,
872 and initialize apply_result_mode. */
877 static int size
= -1;
879 enum machine_mode mode
;
881 /* The values computed by this function never change. */
886 for (regno
= 0; regno
< FIRST_PSEUDO_REGISTER
; regno
++)
887 if (FUNCTION_VALUE_REGNO_P (regno
))
889 /* Search for the proper mode for copying this register's
890 value. I'm not sure this is right, but it works so far. */
891 enum machine_mode best_mode
= VOIDmode
;
893 for (mode
= GET_CLASS_NARROWEST_MODE (MODE_INT
);
895 mode
= GET_MODE_WIDER_MODE (mode
))
896 if (HARD_REGNO_MODE_OK (regno
, mode
))
899 if (best_mode
== VOIDmode
)
900 for (mode
= GET_CLASS_NARROWEST_MODE (MODE_FLOAT
);
902 mode
= GET_MODE_WIDER_MODE (mode
))
903 if (HARD_REGNO_MODE_OK (regno
, mode
)
904 && (mov_optab
->handlers
[(int) mode
].insn_code
905 != CODE_FOR_nothing
))
909 if (mode
== VOIDmode
)
912 align
= GET_MODE_ALIGNMENT (mode
) / BITS_PER_UNIT
;
913 if (size
% align
!= 0)
914 size
= CEIL (size
, align
) * align
;
915 size
+= GET_MODE_SIZE (mode
);
916 apply_result_mode
[regno
] = mode
;
919 apply_result_mode
[regno
] = VOIDmode
;
921 /* Allow targets that use untyped_call and untyped_return to override
922 the size so that machine-specific information can be stored here. */
923 #ifdef APPLY_RESULT_SIZE
924 size
= APPLY_RESULT_SIZE
;
930 #if defined (HAVE_untyped_call) || defined (HAVE_untyped_return)
931 /* Create a vector describing the result block RESULT. If SAVEP is true,
932 the result block is used to save the values; otherwise it is used to
933 restore the values. */
936 result_vector (savep
, result
)
940 int regno
, size
, align
, nelts
;
941 enum machine_mode mode
;
943 rtx
*savevec
= (rtx
*) alloca (FIRST_PSEUDO_REGISTER
* sizeof (rtx
));
946 for (regno
= 0; regno
< FIRST_PSEUDO_REGISTER
; regno
++)
947 if ((mode
= apply_result_mode
[regno
]) != VOIDmode
)
949 align
= GET_MODE_ALIGNMENT (mode
) / BITS_PER_UNIT
;
950 if (size
% align
!= 0)
951 size
= CEIL (size
, align
) * align
;
952 reg
= gen_rtx_REG (mode
, savep
? regno
: INCOMING_REGNO (regno
));
953 mem
= adjust_address (result
, mode
, size
);
954 savevec
[nelts
++] = (savep
955 ? gen_rtx_SET (VOIDmode
, mem
, reg
)
956 : gen_rtx_SET (VOIDmode
, reg
, mem
));
957 size
+= GET_MODE_SIZE (mode
);
959 return gen_rtx_PARALLEL (VOIDmode
, gen_rtvec_v (nelts
, savevec
));
961 #endif /* HAVE_untyped_call or HAVE_untyped_return */
963 /* Save the state required to perform an untyped call with the same
964 arguments as were passed to the current function. */
967 expand_builtin_apply_args_1 ()
970 int size
, align
, regno
;
971 enum machine_mode mode
;
973 /* Create a block where the arg-pointer, structure value address,
974 and argument registers can be saved. */
975 registers
= assign_stack_local (BLKmode
, apply_args_size (), -1);
977 /* Walk past the arg-pointer and structure value address. */
978 size
= GET_MODE_SIZE (Pmode
);
979 if (struct_value_rtx
)
980 size
+= GET_MODE_SIZE (Pmode
);
982 /* Save each register used in calling a function to the block. */
983 for (regno
= 0; regno
< FIRST_PSEUDO_REGISTER
; regno
++)
984 if ((mode
= apply_args_mode
[regno
]) != VOIDmode
)
988 align
= GET_MODE_ALIGNMENT (mode
) / BITS_PER_UNIT
;
989 if (size
% align
!= 0)
990 size
= CEIL (size
, align
) * align
;
992 tem
= gen_rtx_REG (mode
, INCOMING_REGNO (regno
));
994 emit_move_insn (adjust_address (registers
, mode
, size
), tem
);
995 size
+= GET_MODE_SIZE (mode
);
998 /* Save the arg pointer to the block. */
999 emit_move_insn (adjust_address (registers
, Pmode
, 0),
1000 copy_to_reg (virtual_incoming_args_rtx
));
1001 size
= GET_MODE_SIZE (Pmode
);
1003 /* Save the structure value address unless this is passed as an
1004 "invisible" first argument. */
1005 if (struct_value_incoming_rtx
)
1007 emit_move_insn (adjust_address (registers
, Pmode
, size
),
1008 copy_to_reg (struct_value_incoming_rtx
));
1009 size
+= GET_MODE_SIZE (Pmode
);
1012 /* Return the address of the block. */
1013 return copy_addr_to_reg (XEXP (registers
, 0));
1016 /* __builtin_apply_args returns block of memory allocated on
1017 the stack into which is stored the arg pointer, structure
1018 value address, static chain, and all the registers that might
1019 possibly be used in performing a function call. The code is
1020 moved to the start of the function so the incoming values are
1023 expand_builtin_apply_args ()
1025 /* Don't do __builtin_apply_args more than once in a function.
1026 Save the result of the first call and reuse it. */
1027 if (apply_args_value
!= 0)
1028 return apply_args_value
;
1030 /* When this function is called, it means that registers must be
1031 saved on entry to this function. So we migrate the
1032 call to the first insn of this function. */
1037 temp
= expand_builtin_apply_args_1 ();
1041 apply_args_value
= temp
;
1043 /* Put the sequence after the NOTE that starts the function.
1044 If this is inside a SEQUENCE, make the outer-level insn
1045 chain current, so the code is placed at the start of the
1047 push_topmost_sequence ();
1048 emit_insns_before (seq
, NEXT_INSN (get_insns ()));
1049 pop_topmost_sequence ();
1054 /* Perform an untyped call and save the state required to perform an
1055 untyped return of whatever value was returned by the given function. */
1058 expand_builtin_apply (function
, arguments
, argsize
)
1059 rtx function
, arguments
, argsize
;
1061 int size
, align
, regno
;
1062 enum machine_mode mode
;
1063 rtx incoming_args
, result
, reg
, dest
, call_insn
;
1064 rtx old_stack_level
= 0;
1065 rtx call_fusage
= 0;
1067 /* Create a block where the return registers can be saved. */
1068 result
= assign_stack_local (BLKmode
, apply_result_size (), -1);
1070 /* Fetch the arg pointer from the ARGUMENTS block. */
1071 incoming_args
= gen_reg_rtx (Pmode
);
1072 emit_move_insn (incoming_args
,
1073 gen_rtx_MEM (Pmode
, arguments
));
1074 #ifndef STACK_GROWS_DOWNWARD
1075 incoming_args
= expand_binop (Pmode
, sub_optab
, incoming_args
, argsize
,
1076 incoming_args
, 0, OPTAB_LIB_WIDEN
);
1079 /* Perform postincrements before actually calling the function. */
1082 /* Push a new argument block and copy the arguments. Do not allow
1083 the (potential) memcpy call below to interfere with our stack
1085 do_pending_stack_adjust ();
1088 /* Save the stack with nonlocal if available */
1089 #ifdef HAVE_save_stack_nonlocal
1090 if (HAVE_save_stack_nonlocal
)
1091 emit_stack_save (SAVE_NONLOCAL
, &old_stack_level
, NULL_RTX
);
1094 emit_stack_save (SAVE_BLOCK
, &old_stack_level
, NULL_RTX
);
1096 /* Push a block of memory onto the stack to store the memory arguments.
1097 Save the address in a register, and copy the memory arguments. ??? I
1098 haven't figured out how the calling convention macros effect this,
1099 but it's likely that the source and/or destination addresses in
1100 the block copy will need updating in machine specific ways. */
1101 dest
= allocate_dynamic_stack_space (argsize
, 0, BITS_PER_UNIT
);
1102 emit_block_move (gen_rtx_MEM (BLKmode
, dest
),
1103 gen_rtx_MEM (BLKmode
, incoming_args
),
1104 argsize
, PARM_BOUNDARY
);
1106 /* Refer to the argument block. */
1108 arguments
= gen_rtx_MEM (BLKmode
, arguments
);
1110 /* Walk past the arg-pointer and structure value address. */
1111 size
= GET_MODE_SIZE (Pmode
);
1112 if (struct_value_rtx
)
1113 size
+= GET_MODE_SIZE (Pmode
);
1115 /* Restore each of the registers previously saved. Make USE insns
1116 for each of these registers for use in making the call. */
1117 for (regno
= 0; regno
< FIRST_PSEUDO_REGISTER
; regno
++)
1118 if ((mode
= apply_args_mode
[regno
]) != VOIDmode
)
1120 align
= GET_MODE_ALIGNMENT (mode
) / BITS_PER_UNIT
;
1121 if (size
% align
!= 0)
1122 size
= CEIL (size
, align
) * align
;
1123 reg
= gen_rtx_REG (mode
, regno
);
1124 emit_move_insn (reg
, adjust_address (arguments
, mode
, size
));
1125 use_reg (&call_fusage
, reg
);
1126 size
+= GET_MODE_SIZE (mode
);
1129 /* Restore the structure value address unless this is passed as an
1130 "invisible" first argument. */
1131 size
= GET_MODE_SIZE (Pmode
);
1132 if (struct_value_rtx
)
1134 rtx value
= gen_reg_rtx (Pmode
);
1135 emit_move_insn (value
, adjust_address (arguments
, Pmode
, size
));
1136 emit_move_insn (struct_value_rtx
, value
);
1137 if (GET_CODE (struct_value_rtx
) == REG
)
1138 use_reg (&call_fusage
, struct_value_rtx
);
1139 size
+= GET_MODE_SIZE (Pmode
);
1142 /* All arguments and registers used for the call are set up by now! */
1143 function
= prepare_call_address (function
, NULL_TREE
, &call_fusage
, 0, 0);
1145 /* Ensure address is valid. SYMBOL_REF is already valid, so no need,
1146 and we don't want to load it into a register as an optimization,
1147 because prepare_call_address already did it if it should be done. */
1148 if (GET_CODE (function
) != SYMBOL_REF
)
1149 function
= memory_address (FUNCTION_MODE
, function
);
1151 /* Generate the actual call instruction and save the return value. */
1152 #ifdef HAVE_untyped_call
1153 if (HAVE_untyped_call
)
1154 emit_call_insn (gen_untyped_call (gen_rtx_MEM (FUNCTION_MODE
, function
),
1155 result
, result_vector (1, result
)));
1158 #ifdef HAVE_call_value
1159 if (HAVE_call_value
)
1163 /* Locate the unique return register. It is not possible to
1164 express a call that sets more than one return register using
1165 call_value; use untyped_call for that. In fact, untyped_call
1166 only needs to save the return registers in the given block. */
1167 for (regno
= 0; regno
< FIRST_PSEUDO_REGISTER
; regno
++)
1168 if ((mode
= apply_result_mode
[regno
]) != VOIDmode
)
1171 abort (); /* HAVE_untyped_call required. */
1172 valreg
= gen_rtx_REG (mode
, regno
);
1175 emit_call_insn (GEN_CALL_VALUE (valreg
,
1176 gen_rtx_MEM (FUNCTION_MODE
, function
),
1177 const0_rtx
, NULL_RTX
, const0_rtx
));
1179 emit_move_insn (adjust_address (result
, GET_MODE (valreg
), 0), valreg
);
1185 /* Find the CALL insn we just emitted. */
1186 for (call_insn
= get_last_insn ();
1187 call_insn
&& GET_CODE (call_insn
) != CALL_INSN
;
1188 call_insn
= PREV_INSN (call_insn
))
1194 /* Put the register usage information on the CALL. If there is already
1195 some usage information, put ours at the end. */
1196 if (CALL_INSN_FUNCTION_USAGE (call_insn
))
1200 for (link
= CALL_INSN_FUNCTION_USAGE (call_insn
); XEXP (link
, 1) != 0;
1201 link
= XEXP (link
, 1))
1204 XEXP (link
, 1) = call_fusage
;
1207 CALL_INSN_FUNCTION_USAGE (call_insn
) = call_fusage
;
1209 /* Restore the stack. */
1210 #ifdef HAVE_save_stack_nonlocal
1211 if (HAVE_save_stack_nonlocal
)
1212 emit_stack_restore (SAVE_NONLOCAL
, old_stack_level
, NULL_RTX
);
1215 emit_stack_restore (SAVE_BLOCK
, old_stack_level
, NULL_RTX
);
1219 /* Return the address of the result block. */
1220 return copy_addr_to_reg (XEXP (result
, 0));
1223 /* Perform an untyped return. */
1226 expand_builtin_return (result
)
1229 int size
, align
, regno
;
1230 enum machine_mode mode
;
1232 rtx call_fusage
= 0;
1234 apply_result_size ();
1235 result
= gen_rtx_MEM (BLKmode
, result
);
1237 #ifdef HAVE_untyped_return
1238 if (HAVE_untyped_return
)
1240 emit_jump_insn (gen_untyped_return (result
, result_vector (0, result
)));
1246 /* Restore the return value and note that each value is used. */
1248 for (regno
= 0; regno
< FIRST_PSEUDO_REGISTER
; regno
++)
1249 if ((mode
= apply_result_mode
[regno
]) != VOIDmode
)
1251 align
= GET_MODE_ALIGNMENT (mode
) / BITS_PER_UNIT
;
1252 if (size
% align
!= 0)
1253 size
= CEIL (size
, align
) * align
;
1254 reg
= gen_rtx_REG (mode
, INCOMING_REGNO (regno
));
1255 emit_move_insn (reg
, adjust_address (result
, mode
, size
));
1257 push_to_sequence (call_fusage
);
1258 emit_insn (gen_rtx_USE (VOIDmode
, reg
));
1259 call_fusage
= get_insns ();
1261 size
+= GET_MODE_SIZE (mode
);
1264 /* Put the USE insns before the return. */
1265 emit_insns (call_fusage
);
1267 /* Return whatever values was restored by jumping directly to the end
1269 expand_null_return ();
1272 /* Expand a call to __builtin_classify_type with arguments found in
1275 expand_builtin_classify_type (arglist
)
1280 tree type
= TREE_TYPE (TREE_VALUE (arglist
));
1281 enum tree_code code
= TREE_CODE (type
);
1282 if (code
== VOID_TYPE
)
1283 return GEN_INT (void_type_class
);
1284 if (code
== INTEGER_TYPE
)
1285 return GEN_INT (integer_type_class
);
1286 if (code
== CHAR_TYPE
)
1287 return GEN_INT (char_type_class
);
1288 if (code
== ENUMERAL_TYPE
)
1289 return GEN_INT (enumeral_type_class
);
1290 if (code
== BOOLEAN_TYPE
)
1291 return GEN_INT (boolean_type_class
);
1292 if (code
== POINTER_TYPE
)
1293 return GEN_INT (pointer_type_class
);
1294 if (code
== REFERENCE_TYPE
)
1295 return GEN_INT (reference_type_class
);
1296 if (code
== OFFSET_TYPE
)
1297 return GEN_INT (offset_type_class
);
1298 if (code
== REAL_TYPE
)
1299 return GEN_INT (real_type_class
);
1300 if (code
== COMPLEX_TYPE
)
1301 return GEN_INT (complex_type_class
);
1302 if (code
== FUNCTION_TYPE
)
1303 return GEN_INT (function_type_class
);
1304 if (code
== METHOD_TYPE
)
1305 return GEN_INT (method_type_class
);
1306 if (code
== RECORD_TYPE
)
1307 return GEN_INT (record_type_class
);
1308 if (code
== UNION_TYPE
|| code
== QUAL_UNION_TYPE
)
1309 return GEN_INT (union_type_class
);
1310 if (code
== ARRAY_TYPE
)
1312 if (TYPE_STRING_FLAG (type
))
1313 return GEN_INT (string_type_class
);
1315 return GEN_INT (array_type_class
);
1317 if (code
== SET_TYPE
)
1318 return GEN_INT (set_type_class
);
1319 if (code
== FILE_TYPE
)
1320 return GEN_INT (file_type_class
);
1321 if (code
== LANG_TYPE
)
1322 return GEN_INT (lang_type_class
);
1324 return GEN_INT (no_type_class
);
1327 /* Expand expression EXP, which is a call to __builtin_constant_p. */
1329 expand_builtin_constant_p (exp
)
1332 tree arglist
= TREE_OPERAND (exp
, 1);
1333 enum machine_mode value_mode
= TYPE_MODE (TREE_TYPE (exp
));
1338 arglist
= TREE_VALUE (arglist
);
1340 /* We have taken care of the easy cases during constant folding. This
1341 case is not obvious, so emit (constant_p_rtx (ARGLIST)) and let CSE get a
1342 chance to see if it can deduce whether ARGLIST is constant. */
1344 tmp
= expand_expr (arglist
, NULL_RTX
, VOIDmode
, 0);
1345 tmp
= gen_rtx_CONSTANT_P_RTX (value_mode
, tmp
);
1349 /* Expand a call to one of the builtin math functions (sin, cos, or sqrt).
1350 Return 0 if a normal call should be emitted rather than expanding the
1351 function in-line. EXP is the expression that is a call to the builtin
1352 function; if convenient, the result should be placed in TARGET.
1353 SUBTARGET may be used as the target for computing one of EXP's operands. */
1355 expand_builtin_mathfn (exp
, target
, subtarget
)
1357 rtx target
, subtarget
;
1359 optab builtin_optab
;
1361 tree fndecl
= TREE_OPERAND (TREE_OPERAND (exp
, 0), 0);
1362 tree arglist
= TREE_OPERAND (exp
, 1);
1364 if (!validate_arglist (arglist
, REAL_TYPE
, VOID_TYPE
))
1367 /* Stabilize and compute the argument. */
1368 if (TREE_CODE (TREE_VALUE (arglist
)) != VAR_DECL
1369 && TREE_CODE (TREE_VALUE (arglist
)) != PARM_DECL
)
1371 exp
= copy_node (exp
);
1372 TREE_OPERAND (exp
, 1) = arglist
;
1373 /* Wrap the computation of the argument in a SAVE_EXPR. That
1374 way, if we need to expand the argument again (as in the
1375 flag_errno_math case below where we cannot directly set
1376 errno), we will not perform side-effects more than once.
1377 Note that here we're mutating the original EXP as well as the
1378 copy; that's the right thing to do in case the original EXP
1379 is expanded later. */
1380 TREE_VALUE (arglist
) = save_expr (TREE_VALUE (arglist
));
1381 arglist
= copy_node (arglist
);
1383 op0
= expand_expr (TREE_VALUE (arglist
), subtarget
, VOIDmode
, 0);
1385 /* Make a suitable register to place result in. */
1386 target
= gen_reg_rtx (TYPE_MODE (TREE_TYPE (exp
)));
1391 switch (DECL_FUNCTION_CODE (fndecl
))
1396 builtin_optab
= sin_optab
; break;
1400 builtin_optab
= cos_optab
; break;
1401 case BUILT_IN_FSQRT
:
1402 case BUILT_IN_SQRTF
:
1403 case BUILT_IN_SQRTL
:
1404 builtin_optab
= sqrt_optab
; break;
1409 /* Compute into TARGET.
1410 Set TARGET to wherever the result comes back. */
1411 target
= expand_unop (TYPE_MODE (TREE_TYPE (TREE_VALUE (arglist
))),
1412 builtin_optab
, op0
, target
, 0);
1414 /* If we were unable to expand via the builtin, stop the
1415 sequence (without outputting the insns) and return 0, causing
1416 a call to the library function. */
1423 /* If errno must be maintained and if we are not allowing unsafe
1424 math optimizations, check the result. */
1426 if (flag_errno_math
&& ! flag_unsafe_math_optimizations
)
1430 /* Don't define the builtin FP instructions
1431 if your machine is not IEEE. */
1432 if (TARGET_FLOAT_FORMAT
!= IEEE_FLOAT_FORMAT
)
1435 lab1
= gen_label_rtx ();
1437 /* Test the result; if it is NaN, set errno=EDOM because
1438 the argument was not in the domain. */
1439 emit_cmp_and_jump_insns (target
, target
, EQ
, 0, GET_MODE (target
),
1444 #ifdef GEN_ERRNO_RTX
1445 rtx errno_rtx
= GEN_ERRNO_RTX
;
1448 = gen_rtx_MEM (word_mode
, gen_rtx_SYMBOL_REF (Pmode
, "errno"));
1451 emit_move_insn (errno_rtx
, GEN_INT (TARGET_EDOM
));
1454 /* We can't set errno=EDOM directly; let the library call do it.
1455 Pop the arguments right away in case the call gets deleted. */
1457 expand_call (exp
, target
, 0);
1464 /* Output the entire sequence. */
1465 insns
= get_insns ();
1472 /* Expand expression EXP which is a call to the strlen builtin. Return 0
1473 if we failed the caller should emit a normal call, otherwise
1474 try to get the result in TARGET, if convenient. */
1477 expand_builtin_strlen (exp
, target
)
1481 tree arglist
= TREE_OPERAND (exp
, 1);
1482 enum machine_mode value_mode
= TYPE_MODE (TREE_TYPE (exp
));
1484 if (!validate_arglist (arglist
, POINTER_TYPE
, VOID_TYPE
))
1489 tree src
= TREE_VALUE (arglist
);
1492 = get_pointer_alignment (src
, BIGGEST_ALIGNMENT
) / BITS_PER_UNIT
;
1494 rtx result
, src_reg
, char_rtx
, before_strlen
;
1495 enum machine_mode insn_mode
= value_mode
, char_mode
;
1496 enum insn_code icode
= CODE_FOR_nothing
;
1498 /* If SRC is not a pointer type, don't do this operation inline. */
1502 /* Bail out if we can't compute strlen in the right mode. */
1503 while (insn_mode
!= VOIDmode
)
1505 icode
= strlen_optab
->handlers
[(int) insn_mode
].insn_code
;
1506 if (icode
!= CODE_FOR_nothing
)
1509 insn_mode
= GET_MODE_WIDER_MODE (insn_mode
);
1511 if (insn_mode
== VOIDmode
)
1514 /* Make a place to write the result of the instruction. */
1517 && GET_CODE (result
) == REG
1518 && GET_MODE (result
) == insn_mode
1519 && REGNO (result
) >= FIRST_PSEUDO_REGISTER
))
1520 result
= gen_reg_rtx (insn_mode
);
1522 /* Make a place to hold the source address. We will not expand
1523 the actual source until we are sure that the expansion will
1524 not fail -- there are trees that cannot be expanded twice. */
1525 src_reg
= gen_reg_rtx (Pmode
);
1527 /* Mark the beginning of the strlen sequence so we can emit the
1528 source operand later. */
1529 before_strlen
= get_last_insn();
1531 /* Check the string is readable and has an end. */
1532 if (current_function_check_memory_usage
)
1533 emit_library_call (chkr_check_str_libfunc
, LCT_CONST_MAKE_BLOCK
,
1534 VOIDmode
, 2, src_reg
, Pmode
,
1535 GEN_INT (MEMORY_USE_RO
),
1536 TYPE_MODE (integer_type_node
));
1538 char_rtx
= const0_rtx
;
1539 char_mode
= insn_data
[(int) icode
].operand
[2].mode
;
1540 if (! (*insn_data
[(int) icode
].operand
[2].predicate
) (char_rtx
,
1542 char_rtx
= copy_to_mode_reg (char_mode
, char_rtx
);
1544 pat
= GEN_FCN (icode
) (result
, gen_rtx_MEM (BLKmode
, src_reg
),
1545 char_rtx
, GEN_INT (align
));
1550 /* Now that we are assured of success, expand the source. */
1552 pat
= memory_address (BLKmode
,
1553 expand_expr (src
, src_reg
, ptr_mode
, EXPAND_SUM
));
1555 emit_move_insn (src_reg
, pat
);
1556 pat
= gen_sequence ();
1560 emit_insn_after (pat
, before_strlen
);
1562 emit_insn_before (pat
, get_insns ());
1564 /* Return the value in the proper mode for this function. */
1565 if (GET_MODE (result
) == value_mode
)
1567 else if (target
!= 0)
1568 convert_move (target
, result
, 0);
1570 target
= convert_to_mode (value_mode
, result
, 0);
1576 /* Expand a call to the strstr builtin. Return 0 if we failed the
1577 caller should emit a normal call, otherwise try to get the result
1578 in TARGET, if convenient (and in mode MODE if that's convenient). */
1581 expand_builtin_strstr (arglist
, target
, mode
)
1584 enum machine_mode mode
;
1586 if (!validate_arglist (arglist
, POINTER_TYPE
, POINTER_TYPE
, VOID_TYPE
)
1587 || current_function_check_memory_usage
)
1591 tree s1
= TREE_VALUE (arglist
), s2
= TREE_VALUE (TREE_CHAIN (arglist
));
1593 const char *p1
, *p2
;
1602 const char *r
= strstr (p1
, p2
);
1607 /* Return an offset into the constant string argument. */
1608 return expand_expr (fold (build (PLUS_EXPR
, TREE_TYPE (s1
),
1609 s1
, ssize_int (r
- p1
))),
1610 target
, mode
, EXPAND_NORMAL
);
1614 return expand_expr (s1
, target
, mode
, EXPAND_NORMAL
);
1619 fn
= built_in_decls
[BUILT_IN_STRCHR
];
1623 /* New argument list transforming strstr(s1, s2) to
1624 strchr(s1, s2[0]). */
1626 build_tree_list (NULL_TREE
, build_int_2 (p2
[0], 0));
1627 arglist
= tree_cons (NULL_TREE
, s1
, arglist
);
1628 return expand_expr (build_function_call_expr (fn
, arglist
),
1629 target
, mode
, EXPAND_NORMAL
);
1633 /* Expand a call to the strchr builtin. Return 0 if we failed the
1634 caller should emit a normal call, otherwise try to get the result
1635 in TARGET, if convenient (and in mode MODE if that's convenient). */
1638 expand_builtin_strchr (arglist
, target
, mode
)
1641 enum machine_mode mode
;
1643 if (!validate_arglist (arglist
, POINTER_TYPE
, INTEGER_TYPE
, VOID_TYPE
)
1644 || current_function_check_memory_usage
)
1648 tree s1
= TREE_VALUE (arglist
), s2
= TREE_VALUE (TREE_CHAIN (arglist
));
1651 if (TREE_CODE (s2
) != INTEGER_CST
)
1660 if (target_char_cast (s2
, &c
))
1668 /* Return an offset into the constant string argument. */
1669 return expand_expr (fold (build (PLUS_EXPR
, TREE_TYPE (s1
),
1670 s1
, ssize_int (r
- p1
))),
1671 target
, mode
, EXPAND_NORMAL
);
1674 /* FIXME: Should use here strchrM optab so that ports can optimize
1680 /* Expand a call to the strrchr builtin. Return 0 if we failed the
1681 caller should emit a normal call, otherwise try to get the result
1682 in TARGET, if convenient (and in mode MODE if that's convenient). */
1685 expand_builtin_strrchr (arglist
, target
, mode
)
1688 enum machine_mode mode
;
1690 if (!validate_arglist (arglist
, POINTER_TYPE
, INTEGER_TYPE
, VOID_TYPE
)
1691 || current_function_check_memory_usage
)
1695 tree s1
= TREE_VALUE (arglist
), s2
= TREE_VALUE (TREE_CHAIN (arglist
));
1699 if (TREE_CODE (s2
) != INTEGER_CST
)
1708 if (target_char_cast (s2
, &c
))
1711 r
= strrchr (p1
, c
);
1716 /* Return an offset into the constant string argument. */
1717 return expand_expr (fold (build (PLUS_EXPR
, TREE_TYPE (s1
),
1718 s1
, ssize_int (r
- p1
))),
1719 target
, mode
, EXPAND_NORMAL
);
1722 if (! integer_zerop (s2
))
1725 fn
= built_in_decls
[BUILT_IN_STRCHR
];
1729 /* Transform strrchr(s1, '\0') to strchr(s1, '\0'). */
1730 return expand_expr (build_function_call_expr (fn
, arglist
),
1731 target
, mode
, EXPAND_NORMAL
);
1735 /* Expand a call to the strpbrk builtin. Return 0 if we failed the
1736 caller should emit a normal call, otherwise try to get the result
1737 in TARGET, if convenient (and in mode MODE if that's convenient). */
1740 expand_builtin_strpbrk (arglist
, target
, mode
)
1743 enum machine_mode mode
;
1745 if (!validate_arglist (arglist
, POINTER_TYPE
, POINTER_TYPE
, VOID_TYPE
)
1746 || current_function_check_memory_usage
)
1750 tree s1
= TREE_VALUE (arglist
), s2
= TREE_VALUE (TREE_CHAIN (arglist
));
1752 const char *p1
, *p2
;
1761 const char *r
= strpbrk (p1
, p2
);
1766 /* Return an offset into the constant string argument. */
1767 return expand_expr (fold (build (PLUS_EXPR
, TREE_TYPE (s1
),
1768 s1
, ssize_int (r
- p1
))),
1769 target
, mode
, EXPAND_NORMAL
);
1774 /* strpbrk(x, "") == NULL.
1775 Evaluate and ignore the arguments in case they had
1777 expand_expr (s1
, const0_rtx
, VOIDmode
, EXPAND_NORMAL
);
1782 return 0; /* Really call strpbrk. */
1784 fn
= built_in_decls
[BUILT_IN_STRCHR
];
1788 /* New argument list transforming strpbrk(s1, s2) to
1789 strchr(s1, s2[0]). */
1791 build_tree_list (NULL_TREE
, build_int_2 (p2
[0], 0));
1792 arglist
= tree_cons (NULL_TREE
, s1
, arglist
);
1793 return expand_expr (build_function_call_expr (fn
, arglist
),
1794 target
, mode
, EXPAND_NORMAL
);
1798 /* Callback routine for store_by_pieces. Read GET_MODE_BITSIZE (MODE)
1799 bytes from constant string DATA + OFFSET and return it as target
1803 builtin_memcpy_read_str (data
, offset
, mode
)
1805 HOST_WIDE_INT offset
;
1806 enum machine_mode mode
;
1808 const char *str
= (const char *) data
;
1810 if (offset
+ GET_MODE_SIZE (mode
) > strlen (str
) + 1)
1811 abort (); /* Attempt to read past the end of constant string. */
1813 return c_readstr (str
+ offset
, mode
);
1816 /* Expand a call to the memcpy builtin, with arguments in ARGLIST. */
1818 expand_builtin_memcpy (arglist
)
1821 if (!validate_arglist (arglist
,
1822 POINTER_TYPE
, POINTER_TYPE
, INTEGER_TYPE
, VOID_TYPE
))
1826 tree dest
= TREE_VALUE (arglist
);
1827 tree src
= TREE_VALUE (TREE_CHAIN (arglist
));
1828 tree len
= TREE_VALUE (TREE_CHAIN (TREE_CHAIN (arglist
)));
1829 const char *src_str
;
1831 int src_align
= get_pointer_alignment (src
, BIGGEST_ALIGNMENT
);
1832 int dest_align
= get_pointer_alignment (dest
, BIGGEST_ALIGNMENT
);
1833 rtx dest_mem
, src_mem
, dest_addr
, len_rtx
;
1835 /* If either SRC or DEST is not a pointer type, don't do
1836 this operation in-line. */
1837 if (src_align
== 0 || dest_align
== 0)
1840 dest_mem
= get_memory_rtx (dest
);
1841 len_rtx
= expand_expr (len
, NULL_RTX
, VOIDmode
, 0);
1842 src_str
= c_getstr (src
);
1844 /* If SRC is a string constant and block move would be done
1845 by pieces, we can avoid loading the string from memory
1846 and only stored the computed constants. */
1848 && !current_function_check_memory_usage
1849 && GET_CODE (len_rtx
) == CONST_INT
1850 && (unsigned HOST_WIDE_INT
) INTVAL (len_rtx
) <= strlen (src_str
) + 1
1851 && can_store_by_pieces (INTVAL (len_rtx
), builtin_memcpy_read_str
,
1852 (PTR
) src_str
, dest_align
))
1854 store_by_pieces (dest_mem
, INTVAL (len_rtx
),
1855 builtin_memcpy_read_str
,
1856 (PTR
) src_str
, dest_align
);
1857 return force_operand (XEXP (dest_mem
, 0), NULL_RTX
);
1860 src_mem
= get_memory_rtx (src
);
1862 /* Just copy the rights of SRC to the rights of DEST. */
1863 if (current_function_check_memory_usage
)
1864 emit_library_call (chkr_copy_bitmap_libfunc
, LCT_CONST_MAKE_BLOCK
,
1865 VOIDmode
, 3, XEXP (dest_mem
, 0), Pmode
,
1866 XEXP (src_mem
, 0), Pmode
,
1867 len_rtx
, TYPE_MODE (sizetype
));
1869 /* Copy word part most expediently. */
1871 = emit_block_move (dest_mem
, src_mem
, len_rtx
,
1872 MIN (src_align
, dest_align
));
1875 dest_addr
= force_operand (XEXP (dest_mem
, 0), NULL_RTX
);
1881 /* Expand expression EXP, which is a call to the strcpy builtin. Return 0
1882 if we failed the caller should emit a normal call. */
1885 expand_builtin_strcpy (exp
)
1888 tree arglist
= TREE_OPERAND (exp
, 1);
1891 if (!validate_arglist (arglist
, POINTER_TYPE
, POINTER_TYPE
, VOID_TYPE
))
1895 tree len
= c_strlen (TREE_VALUE (TREE_CHAIN (arglist
)));
1900 len
= size_binop (PLUS_EXPR
, len
, ssize_int (1));
1901 chainon (arglist
, build_tree_list (NULL_TREE
, len
));
1904 result
= expand_builtin_memcpy (arglist
);
1907 TREE_CHAIN (TREE_CHAIN (arglist
)) = 0;
1911 /* Callback routine for store_by_pieces. Read GET_MODE_BITSIZE (MODE)
1912 bytes from constant string DATA + OFFSET and return it as target
1916 builtin_strncpy_read_str (data
, offset
, mode
)
1918 HOST_WIDE_INT offset
;
1919 enum machine_mode mode
;
1921 const char *str
= (const char *) data
;
1923 if ((unsigned HOST_WIDE_INT
) offset
> strlen (str
))
1926 return c_readstr (str
+ offset
, mode
);
1929 /* Expand expression EXP, which is a call to the strncpy builtin. Return 0
1930 if we failed the caller should emit a normal call. */
1933 expand_builtin_strncpy (arglist
, target
, mode
)
1936 enum machine_mode mode
;
1938 if (!validate_arglist (arglist
,
1939 POINTER_TYPE
, POINTER_TYPE
, INTEGER_TYPE
, VOID_TYPE
))
1943 tree slen
= c_strlen (TREE_VALUE (TREE_CHAIN (arglist
)));
1944 tree len
= TREE_VALUE (TREE_CHAIN (TREE_CHAIN (arglist
)));
1946 /* We must be passed a constant len parameter. */
1947 if (TREE_CODE (len
) != INTEGER_CST
)
1950 /* If the len parameter is zero, return the dst parameter. */
1951 if (compare_tree_int (len
, 0) == 0)
1953 /* Evaluate and ignore the src argument in case it has
1955 expand_expr (TREE_VALUE (TREE_CHAIN (arglist
)), const0_rtx
,
1956 VOIDmode
, EXPAND_NORMAL
);
1957 /* Return the dst parameter. */
1958 return expand_expr (TREE_VALUE (arglist
), target
, mode
,
1962 /* Now, we must be passed a constant src ptr parameter. */
1963 if (slen
== 0 || TREE_CODE (slen
) != INTEGER_CST
)
1966 slen
= size_binop (PLUS_EXPR
, slen
, ssize_int (1));
1968 /* We're required to pad with trailing zeros if the requested
1969 len is greater than strlen(s2)+1. In that case try to
1970 use store_by_pieces, if it fails, punt. */
1971 if (tree_int_cst_lt (slen
, len
))
1973 tree dest
= TREE_VALUE (arglist
);
1974 int dest_align
= get_pointer_alignment (dest
, BIGGEST_ALIGNMENT
);
1975 const char *p
= c_getstr (TREE_VALUE (TREE_CHAIN (arglist
)));
1978 if (!p
|| !dest_align
|| TREE_INT_CST_HIGH (len
)
1979 || !can_store_by_pieces (TREE_INT_CST_LOW (len
),
1980 builtin_strncpy_read_str
,
1981 (PTR
) p
, dest_align
))
1984 dest_mem
= get_memory_rtx (dest
);
1985 store_by_pieces (dest_mem
, TREE_INT_CST_LOW (len
),
1986 builtin_strncpy_read_str
,
1987 (PTR
) p
, dest_align
);
1988 return force_operand (XEXP (dest_mem
, 0), NULL_RTX
);
1991 /* OK transform into builtin memcpy. */
1992 return expand_builtin_memcpy (arglist
);
1996 /* Callback routine for store_by_pieces. Read GET_MODE_BITSIZE (MODE)
1997 bytes from constant string DATA + OFFSET and return it as target
2001 builtin_memset_read_str (data
, offset
, mode
)
2003 HOST_WIDE_INT offset ATTRIBUTE_UNUSED
;
2004 enum machine_mode mode
;
2006 const char *c
= (const char *) data
;
2007 char *p
= alloca (GET_MODE_SIZE (mode
));
2009 memset (p
, *c
, GET_MODE_SIZE (mode
));
2011 return c_readstr (p
, mode
);
2014 /* Expand expression EXP, which is a call to the memset builtin. Return 0
2015 if we failed the caller should emit a normal call. */
2018 expand_builtin_memset (exp
)
2021 tree arglist
= TREE_OPERAND (exp
, 1);
2023 if (!validate_arglist (arglist
,
2024 POINTER_TYPE
, INTEGER_TYPE
, INTEGER_TYPE
, VOID_TYPE
))
2028 tree dest
= TREE_VALUE (arglist
);
2029 tree val
= TREE_VALUE (TREE_CHAIN (arglist
));
2030 tree len
= TREE_VALUE (TREE_CHAIN (TREE_CHAIN (arglist
)));
2033 int dest_align
= get_pointer_alignment (dest
, BIGGEST_ALIGNMENT
);
2034 rtx dest_mem
, dest_addr
, len_rtx
;
2036 /* If DEST is not a pointer type, don't do this
2037 operation in-line. */
2038 if (dest_align
== 0)
2041 if (TREE_CODE (val
) != INTEGER_CST
)
2044 if (target_char_cast (val
, &c
))
2049 if (TREE_CODE (len
) != INTEGER_CST
|| TREE_INT_CST_HIGH (len
))
2051 if (current_function_check_memory_usage
2052 || !can_store_by_pieces (TREE_INT_CST_LOW (len
),
2053 builtin_memset_read_str
,
2054 (PTR
) &c
, dest_align
))
2057 dest_mem
= get_memory_rtx (dest
);
2058 store_by_pieces (dest_mem
, TREE_INT_CST_LOW (len
),
2059 builtin_memset_read_str
,
2060 (PTR
) &c
, dest_align
);
2061 return force_operand (XEXP (dest_mem
, 0), NULL_RTX
);
2064 len_rtx
= expand_expr (len
, NULL_RTX
, VOIDmode
, 0);
2066 dest_mem
= get_memory_rtx (dest
);
2068 /* Just check DST is writable and mark it as readable. */
2069 if (current_function_check_memory_usage
)
2070 emit_library_call (chkr_check_addr_libfunc
, LCT_CONST_MAKE_BLOCK
,
2071 VOIDmode
, 3, XEXP (dest_mem
, 0), Pmode
,
2072 len_rtx
, TYPE_MODE (sizetype
),
2073 GEN_INT (MEMORY_USE_WO
),
2074 TYPE_MODE (integer_type_node
));
2077 dest_addr
= clear_storage (dest_mem
, len_rtx
, dest_align
);
2080 dest_addr
= force_operand (XEXP (dest_mem
, 0), NULL_RTX
);
2086 /* Expand expression EXP, which is a call to the bzero builtin. Return 0
2087 if we failed the caller should emit a normal call. */
2089 expand_builtin_bzero (exp
)
2092 tree arglist
= TREE_OPERAND (exp
, 1);
2093 tree dest
, size
, newarglist
;
2096 if (!validate_arglist (arglist
, POINTER_TYPE
, INTEGER_TYPE
, VOID_TYPE
))
2099 dest
= TREE_VALUE (arglist
);
2100 size
= TREE_VALUE (TREE_CHAIN (arglist
));
2102 /* New argument list transforming bzero(ptr x, int y) to
2103 memset(ptr x, int 0, size_t y). */
2105 newarglist
= build_tree_list (NULL_TREE
, convert (sizetype
, size
));
2106 newarglist
= tree_cons (NULL_TREE
, integer_zero_node
, newarglist
);
2107 newarglist
= tree_cons (NULL_TREE
, dest
, newarglist
);
2109 TREE_OPERAND (exp
, 1) = newarglist
;
2110 result
= expand_builtin_memset(exp
);
2112 /* Always restore the original arguments. */
2113 TREE_OPERAND (exp
, 1) = arglist
;
2118 #ifdef HAVE_cmpstrsi
2119 /* Expand expression EXP, which is a call to the memcmp or the strcmp builtin.
2120 ARGLIST is the argument list for this call. Return 0 if we failed and the
2121 caller should emit a normal call, otherwise try to get the result in
2122 TARGET, if convenient. */
2124 expand_builtin_memcmp (exp
, arglist
, target
)
2129 /* If we need to check memory accesses, call the library function. */
2130 if (current_function_check_memory_usage
)
2133 if (!validate_arglist (arglist
,
2134 POINTER_TYPE
, POINTER_TYPE
, INTEGER_TYPE
, VOID_TYPE
))
2138 enum machine_mode mode
;
2139 tree arg1
= TREE_VALUE (arglist
);
2140 tree arg2
= TREE_VALUE (TREE_CHAIN (arglist
));
2141 tree len
= TREE_VALUE (TREE_CHAIN (TREE_CHAIN (arglist
)));
2142 rtx arg1_rtx
, arg2_rtx
, arg3_rtx
;
2147 = get_pointer_alignment (arg1
, BIGGEST_ALIGNMENT
) / BITS_PER_UNIT
;
2149 = get_pointer_alignment (arg2
, BIGGEST_ALIGNMENT
) / BITS_PER_UNIT
;
2150 enum machine_mode insn_mode
2151 = insn_data
[(int) CODE_FOR_cmpstrsi
].operand
[0].mode
;
2153 /* If we don't have POINTER_TYPE, call the function. */
2154 if (arg1_align
== 0 || arg2_align
== 0)
2157 /* Make a place to write the result of the instruction. */
2160 && GET_CODE (result
) == REG
&& GET_MODE (result
) == insn_mode
2161 && REGNO (result
) >= FIRST_PSEUDO_REGISTER
))
2162 result
= gen_reg_rtx (insn_mode
);
2164 arg1_rtx
= get_memory_rtx (arg1
);
2165 arg2_rtx
= get_memory_rtx (arg2
);
2166 arg3_rtx
= expand_expr (len
, NULL_RTX
, VOIDmode
, 0);
2170 insn
= gen_cmpstrsi (result
, arg1_rtx
, arg2_rtx
, arg3_rtx
,
2171 GEN_INT (MIN (arg1_align
, arg2_align
)));
2176 emit_library_call_value (memcmp_libfunc
, result
, LCT_PURE_MAKE_BLOCK
,
2177 TYPE_MODE (integer_type_node
), 3,
2178 XEXP (arg1_rtx
, 0), Pmode
,
2179 XEXP (arg2_rtx
, 0), Pmode
,
2180 convert_to_mode (TYPE_MODE (sizetype
), arg3_rtx
,
2181 TREE_UNSIGNED (sizetype
)),
2182 TYPE_MODE (sizetype
));
2184 /* Return the value in the proper mode for this function. */
2185 mode
= TYPE_MODE (TREE_TYPE (exp
));
2186 if (GET_MODE (result
) == mode
)
2188 else if (target
!= 0)
2190 convert_move (target
, result
, 0);
2194 return convert_to_mode (mode
, result
, 0);
2199 /* Expand expression EXP, which is a call to the strcmp builtin. Return 0
2200 if we failed the caller should emit a normal call, otherwise try to get
2201 the result in TARGET, if convenient. */
2204 expand_builtin_strcmp (exp
, target
, mode
)
2207 enum machine_mode mode
;
2209 tree arglist
= TREE_OPERAND (exp
, 1);
2211 const char *p1
, *p2
;
2213 /* If we need to check memory accesses, call the library function. */
2214 if (current_function_check_memory_usage
)
2217 if (!validate_arglist (arglist
, POINTER_TYPE
, POINTER_TYPE
, VOID_TYPE
))
2220 arg1
= TREE_VALUE (arglist
);
2221 arg2
= TREE_VALUE (TREE_CHAIN (arglist
));
2223 p1
= c_getstr (arg1
);
2224 p2
= c_getstr (arg2
);
2228 const int i
= strcmp (p1
, p2
);
2229 return (i
< 0 ? constm1_rtx
: (i
> 0 ? const1_rtx
: const0_rtx
));
2232 /* If either arg is "", return an expression corresponding to
2233 (*(const unsigned char*)arg1 - (const unsigned char*)arg2). */
2234 if ((p1
&& *p1
== '\0') || (p2
&& *p2
== '\0'))
2236 tree cst_uchar_node
= build_type_variant (unsigned_char_type_node
, 1, 0);
2237 tree cst_uchar_ptr_node
= build_pointer_type (cst_uchar_node
);
2239 fold (build1 (CONVERT_EXPR
, integer_type_node
,
2240 build1 (INDIRECT_REF
, cst_uchar_node
,
2241 build1 (NOP_EXPR
, cst_uchar_ptr_node
, arg1
))));
2243 fold (build1 (CONVERT_EXPR
, integer_type_node
,
2244 build1 (INDIRECT_REF
, cst_uchar_node
,
2245 build1 (NOP_EXPR
, cst_uchar_ptr_node
, arg2
))));
2246 tree result
= fold (build (MINUS_EXPR
, integer_type_node
, ind1
, ind2
));
2247 return expand_expr (result
, target
, mode
, EXPAND_NORMAL
);
2250 #ifdef HAVE_cmpstrsi
2251 if (! HAVE_cmpstrsi
)
2255 tree len
= c_strlen (arg1
);
2256 tree len2
= c_strlen (arg2
);
2260 len
= size_binop (PLUS_EXPR
, ssize_int (1), len
);
2263 len2
= size_binop (PLUS_EXPR
, ssize_int (1), len2
);
2265 /* If we don't have a constant length for the first, use the length
2266 of the second, if we know it. We don't require a constant for
2267 this case; some cost analysis could be done if both are available
2268 but neither is constant. For now, assume they're equally cheap
2269 unless one has side effects.
2271 If both strings have constant lengths, use the smaller. This
2272 could arise if optimization results in strcpy being called with
2273 two fixed strings, or if the code was machine-generated. We should
2274 add some code to the `memcmp' handler below to deal with such
2275 situations, someday. */
2277 if (!len
|| TREE_CODE (len
) != INTEGER_CST
)
2279 if (len2
&& !TREE_SIDE_EFFECTS (len2
))
2284 else if (len2
&& TREE_CODE (len2
) == INTEGER_CST
2285 && tree_int_cst_lt (len2
, len
))
2288 /* If both arguments have side effects, we cannot optimize. */
2289 if (TREE_SIDE_EFFECTS (len
))
2292 chainon (arglist
, build_tree_list (NULL_TREE
, len
));
2293 result
= expand_builtin_memcmp (exp
, arglist
, target
);
2295 TREE_CHAIN (TREE_CHAIN (arglist
)) = 0;
2304 /* Expand expression EXP, which is a call to the strncmp builtin. Return 0
2305 if we failed the caller should emit a normal call, otherwise try to get
2306 the result in TARGET, if convenient. */
2308 expand_builtin_strncmp (exp
, target
, mode
)
2311 enum machine_mode mode
;
2313 tree arglist
= TREE_OPERAND (exp
, 1);
2314 tree arg1
, arg2
, arg3
;
2315 const char *p1
, *p2
;
2317 /* If we need to check memory accesses, call the library function. */
2318 if (current_function_check_memory_usage
)
2321 if (!validate_arglist (arglist
,
2322 POINTER_TYPE
, POINTER_TYPE
, INTEGER_TYPE
, VOID_TYPE
))
2325 arg1
= TREE_VALUE (arglist
);
2326 arg2
= TREE_VALUE (TREE_CHAIN (arglist
));
2327 arg3
= TREE_VALUE (TREE_CHAIN (TREE_CHAIN (arglist
)));
2329 /* If the len parameter is zero, return zero. */
2330 if (host_integerp (arg3
, 1) && tree_low_cst (arg3
, 1) == 0)
2332 /* Evaluate and ignore arg1 and arg2 in case they have
2334 expand_expr (arg1
, const0_rtx
, VOIDmode
, EXPAND_NORMAL
);
2335 expand_expr (arg2
, const0_rtx
, VOIDmode
, EXPAND_NORMAL
);
2339 p1
= c_getstr (arg1
);
2340 p2
= c_getstr (arg2
);
2342 /* If all arguments are constant, evaluate at compile-time. */
2343 if (host_integerp (arg3
, 1) && p1
&& p2
)
2345 const int r
= strncmp (p1
, p2
, tree_low_cst (arg3
, 1));
2346 return (r
< 0 ? constm1_rtx
: (r
> 0 ? const1_rtx
: const0_rtx
));
2349 /* If len == 1 or (either string parameter is "" and (len >= 1)),
2350 return (*(const u_char*)arg1 - *(const u_char*)arg2). */
2351 if (host_integerp (arg3
, 1)
2352 && (tree_low_cst (arg3
, 1) == 1
2353 || (tree_low_cst (arg3
, 1) > 1
2354 && ((p1
&& *p1
== '\0') || (p2
&& *p2
== '\0')))))
2356 tree cst_uchar_node
= build_type_variant (unsigned_char_type_node
, 1, 0);
2357 tree cst_uchar_ptr_node
= build_pointer_type (cst_uchar_node
);
2359 fold (build1 (CONVERT_EXPR
, integer_type_node
,
2360 build1 (INDIRECT_REF
, cst_uchar_node
,
2361 build1 (NOP_EXPR
, cst_uchar_ptr_node
, arg1
))));
2363 fold (build1 (CONVERT_EXPR
, integer_type_node
,
2364 build1 (INDIRECT_REF
, cst_uchar_node
,
2365 build1 (NOP_EXPR
, cst_uchar_ptr_node
, arg2
))));
2366 tree result
= fold (build (MINUS_EXPR
, integer_type_node
, ind1
, ind2
));
2367 return expand_expr (result
, target
, mode
, EXPAND_NORMAL
);
2370 #ifdef HAVE_cmpstrsi
2371 /* If c_strlen can determine an expression for one of the string
2372 lengths, and it doesn't have side effects, then call
2373 expand_builtin_memcmp() using length MIN(strlen(string)+1, arg3). */
2376 tree newarglist
, len
= 0;
2378 /* Perhaps one of the strings is really constant, if so prefer
2379 that constant length over the other string's length. */
2381 len
= c_strlen (arg1
);
2383 len
= c_strlen (arg2
);
2385 /* If we still don't have a len, try either string arg as long
2386 as they don't have side effects. */
2387 if (!len
&& !TREE_SIDE_EFFECTS (arg1
))
2388 len
= c_strlen (arg1
);
2389 if (!len
&& !TREE_SIDE_EFFECTS (arg2
))
2390 len
= c_strlen (arg2
);
2391 /* If we still don't have a length, punt. */
2395 /* Add one to the string length. */
2396 len
= fold (size_binop (PLUS_EXPR
, len
, ssize_int (1)));
2398 /* The actual new length parameter is MIN(len,arg3). */
2399 len
= fold (build (MIN_EXPR
, TREE_TYPE (len
), len
, arg3
));
2401 newarglist
= build_tree_list (NULL_TREE
, len
);
2402 newarglist
= tree_cons (NULL_TREE
, arg2
, newarglist
);
2403 newarglist
= tree_cons (NULL_TREE
, arg1
, newarglist
);
2404 return expand_builtin_memcmp (exp
, newarglist
, target
);
2411 /* Expand expression EXP, which is a call to the strcat builtin.
2412 Return 0 if we failed the caller should emit a normal call,
2413 otherwise try to get the result in TARGET, if convenient. */
2415 expand_builtin_strcat (arglist
, target
, mode
)
2418 enum machine_mode mode
;
2420 /* If we need to check memory accesses, call the library function. */
2421 if (current_function_check_memory_usage
)
2424 if (!validate_arglist (arglist
, POINTER_TYPE
, POINTER_TYPE
, VOID_TYPE
))
2428 tree dst
= TREE_VALUE (arglist
),
2429 src
= TREE_VALUE (TREE_CHAIN (arglist
));
2430 const char *p
= c_getstr (src
);
2432 /* If the string length is zero, return the dst parameter. */
2433 if (p
&& *p
== '\0')
2434 return expand_expr (dst
, target
, mode
, EXPAND_NORMAL
);
2440 /* Expand expression EXP, which is a call to the strncat builtin.
2441 Return 0 if we failed the caller should emit a normal call,
2442 otherwise try to get the result in TARGET, if convenient. */
2444 expand_builtin_strncat (arglist
, target
, mode
)
2447 enum machine_mode mode
;
2449 /* If we need to check memory accesses, call the library function. */
2450 if (current_function_check_memory_usage
)
2453 if (!validate_arglist (arglist
,
2454 POINTER_TYPE
, POINTER_TYPE
, INTEGER_TYPE
, VOID_TYPE
))
2458 tree dst
= TREE_VALUE (arglist
),
2459 src
= TREE_VALUE (TREE_CHAIN (arglist
)),
2460 len
= TREE_VALUE (TREE_CHAIN (TREE_CHAIN (arglist
)));
2461 const char *p
= c_getstr (src
);
2463 /* If the requested length is zero, or the src parameter string
2464 length is zero, return the dst parameter. */
2465 if ((TREE_CODE (len
) == INTEGER_CST
&& compare_tree_int (len
, 0) == 0)
2466 || (p
&& *p
== '\0'))
2468 /* Evaluate and ignore the src and len parameters in case
2469 they have side-effects. */
2470 expand_expr (src
, const0_rtx
, VOIDmode
, EXPAND_NORMAL
);
2471 expand_expr (len
, const0_rtx
, VOIDmode
, EXPAND_NORMAL
);
2472 return expand_expr (dst
, target
, mode
, EXPAND_NORMAL
);
2475 /* If the requested len is greater than or equal to the string
2476 length, call strcat. */
2477 if (TREE_CODE (len
) == INTEGER_CST
&& p
2478 && compare_tree_int (len
, strlen (p
)) >= 0)
2481 tree_cons (NULL_TREE
, dst
, build_tree_list (NULL_TREE
, src
)),
2482 fn
= built_in_decls
[BUILT_IN_STRCAT
];
2484 /* If the replacement _DECL isn't initialized, don't do the
2489 return expand_expr (build_function_call_expr (fn
, newarglist
),
2490 target
, mode
, EXPAND_NORMAL
);
2496 /* Expand expression EXP, which is a call to the strspn builtin.
2497 Return 0 if we failed the caller should emit a normal call,
2498 otherwise try to get the result in TARGET, if convenient. */
2500 expand_builtin_strspn (arglist
, target
, mode
)
2503 enum machine_mode mode
;
2505 /* If we need to check memory accesses, call the library function. */
2506 if (current_function_check_memory_usage
)
2509 if (!validate_arglist (arglist
, POINTER_TYPE
, POINTER_TYPE
, VOID_TYPE
))
2513 tree s1
= TREE_VALUE (arglist
), s2
= TREE_VALUE (TREE_CHAIN (arglist
));
2514 const char *p1
= c_getstr (s1
), *p2
= c_getstr (s2
);
2516 /* If both arguments are constants, evaluate at compile-time. */
2519 const size_t r
= strspn (p1
, p2
);
2520 return expand_expr (size_int (r
), target
, mode
, EXPAND_NORMAL
);
2523 /* If either argument is "", return 0. */
2524 if ((p1
&& *p1
== '\0') || (p2
&& *p2
== '\0'))
2526 /* Evaluate and ignore both arguments in case either one has
2528 expand_expr (s1
, const0_rtx
, VOIDmode
, EXPAND_NORMAL
);
2529 expand_expr (s2
, const0_rtx
, VOIDmode
, EXPAND_NORMAL
);
2536 /* Expand expression EXP, which is a call to the strcspn builtin.
2537 Return 0 if we failed the caller should emit a normal call,
2538 otherwise try to get the result in TARGET, if convenient. */
2540 expand_builtin_strcspn (arglist
, target
, mode
)
2543 enum machine_mode mode
;
2545 /* If we need to check memory accesses, call the library function. */
2546 if (current_function_check_memory_usage
)
2549 if (!validate_arglist (arglist
, POINTER_TYPE
, POINTER_TYPE
, VOID_TYPE
))
2553 tree s1
= TREE_VALUE (arglist
), s2
= TREE_VALUE (TREE_CHAIN (arglist
));
2554 const char *p1
= c_getstr (s1
), *p2
= c_getstr (s2
);
2556 /* If both arguments are constants, evaluate at compile-time. */
2559 const size_t r
= strcspn (p1
, p2
);
2560 return expand_expr (size_int (r
), target
, mode
, EXPAND_NORMAL
);
2563 /* If the first argument is "", return 0. */
2564 if (p1
&& *p1
== '\0')
2566 /* Evaluate and ignore argument s2 in case it has
2568 expand_expr (s2
, const0_rtx
, VOIDmode
, EXPAND_NORMAL
);
2572 /* If the second argument is "", return __builtin_strlen(s1). */
2573 if (p2
&& *p2
== '\0')
2575 tree newarglist
= build_tree_list (NULL_TREE
, s1
),
2576 fn
= built_in_decls
[BUILT_IN_STRLEN
];
2578 /* If the replacement _DECL isn't initialized, don't do the
2583 return expand_expr (build_function_call_expr (fn
, newarglist
),
2584 target
, mode
, EXPAND_NORMAL
);
2590 /* Expand a call to __builtin_saveregs, generating the result in TARGET,
2591 if that's convenient. */
2594 expand_builtin_saveregs ()
2598 /* Don't do __builtin_saveregs more than once in a function.
2599 Save the result of the first call and reuse it. */
2600 if (saveregs_value
!= 0)
2601 return saveregs_value
;
2603 /* When this function is called, it means that registers must be
2604 saved on entry to this function. So we migrate the call to the
2605 first insn of this function. */
2609 #ifdef EXPAND_BUILTIN_SAVEREGS
2610 /* Do whatever the machine needs done in this case. */
2611 val
= EXPAND_BUILTIN_SAVEREGS ();
2613 /* ??? We used to try and build up a call to the out of line function,
2614 guessing about what registers needed saving etc. This became much
2615 harder with __builtin_va_start, since we don't have a tree for a
2616 call to __builtin_saveregs to fall back on. There was exactly one
2617 port (i860) that used this code, and I'm unconvinced it could actually
2618 handle the general case. So we no longer try to handle anything
2619 weird and make the backend absorb the evil. */
2621 error ("__builtin_saveregs not supported by this target");
2628 saveregs_value
= val
;
2630 /* Put the sequence after the NOTE that starts the function. If this
2631 is inside a SEQUENCE, make the outer-level insn chain current, so
2632 the code is placed at the start of the function. */
2633 push_topmost_sequence ();
2634 emit_insns_after (seq
, get_insns ());
2635 pop_topmost_sequence ();
2640 /* __builtin_args_info (N) returns word N of the arg space info
2641 for the current function. The number and meanings of words
2642 is controlled by the definition of CUMULATIVE_ARGS. */
2645 expand_builtin_args_info (exp
)
2648 tree arglist
= TREE_OPERAND (exp
, 1);
2649 int nwords
= sizeof (CUMULATIVE_ARGS
) / sizeof (int);
2650 int *word_ptr
= (int *) ¤t_function_args_info
;
2652 /* These are used by the code below that is if 0'ed away */
2654 tree type
, elts
, result
;
2657 if (sizeof (CUMULATIVE_ARGS
) % sizeof (int) != 0)
2662 tree arg
= TREE_VALUE (arglist
);
2663 if (TREE_CODE (arg
) != INTEGER_CST
)
2664 error ("argument of `__builtin_args_info' must be constant");
2667 int wordnum
= TREE_INT_CST_LOW (arg
);
2669 if (wordnum
< 0 || wordnum
>= nwords
|| TREE_INT_CST_HIGH (arg
))
2670 error ("argument of `__builtin_args_info' out of range");
2672 return GEN_INT (word_ptr
[wordnum
]);
2676 error ("missing argument in `__builtin_args_info'");
2681 for (i
= 0; i
< nwords
; i
++)
2682 elts
= tree_cons (NULL_TREE
, build_int_2 (word_ptr
[i
], 0));
2684 type
= build_array_type (integer_type_node
,
2685 build_index_type (build_int_2 (nwords
, 0)));
2686 result
= build (CONSTRUCTOR
, type
, NULL_TREE
, nreverse (elts
));
2687 TREE_CONSTANT (result
) = 1;
2688 TREE_STATIC (result
) = 1;
2689 result
= build1 (INDIRECT_REF
, build_pointer_type (type
), result
);
2690 TREE_CONSTANT (result
) = 1;
2691 return expand_expr (result
, NULL_RTX
, VOIDmode
, EXPAND_MEMORY_USE_BAD
);
2695 /* Expand ARGLIST, from a call to __builtin_next_arg. */
2697 expand_builtin_next_arg (arglist
)
2700 tree fntype
= TREE_TYPE (current_function_decl
);
2702 if ((TYPE_ARG_TYPES (fntype
) == 0
2703 || (TREE_VALUE (tree_last (TYPE_ARG_TYPES (fntype
)))
2705 && ! current_function_varargs
)
2707 error ("`va_start' used in function with fixed args");
2713 tree last_parm
= tree_last (DECL_ARGUMENTS (current_function_decl
));
2714 tree arg
= TREE_VALUE (arglist
);
2716 /* Strip off all nops for the sake of the comparison. This
2717 is not quite the same as STRIP_NOPS. It does more.
2718 We must also strip off INDIRECT_EXPR for C++ reference
2720 while (TREE_CODE (arg
) == NOP_EXPR
2721 || TREE_CODE (arg
) == CONVERT_EXPR
2722 || TREE_CODE (arg
) == NON_LVALUE_EXPR
2723 || TREE_CODE (arg
) == INDIRECT_REF
)
2724 arg
= TREE_OPERAND (arg
, 0);
2725 if (arg
!= last_parm
)
2726 warning ("second parameter of `va_start' not last named argument");
2728 else if (! current_function_varargs
)
2729 /* Evidently an out of date version of <stdarg.h>; can't validate
2730 va_start's second argument, but can still work as intended. */
2731 warning ("`__builtin_next_arg' called without an argument");
2733 return expand_binop (Pmode
, add_optab
,
2734 current_function_internal_arg_pointer
,
2735 current_function_arg_offset_rtx
,
2736 NULL_RTX
, 0, OPTAB_LIB_WIDEN
);
2739 /* Make it easier for the backends by protecting the valist argument
2740 from multiple evaluations. */
2743 stabilize_va_list (valist
, needs_lvalue
)
2747 if (TREE_CODE (va_list_type_node
) == ARRAY_TYPE
)
2749 if (TREE_SIDE_EFFECTS (valist
))
2750 valist
= save_expr (valist
);
2752 /* For this case, the backends will be expecting a pointer to
2753 TREE_TYPE (va_list_type_node), but it's possible we've
2754 actually been given an array (an actual va_list_type_node).
2756 if (TREE_CODE (TREE_TYPE (valist
)) == ARRAY_TYPE
)
2758 tree p1
= build_pointer_type (TREE_TYPE (va_list_type_node
));
2759 tree p2
= build_pointer_type (va_list_type_node
);
2761 valist
= build1 (ADDR_EXPR
, p2
, valist
);
2762 valist
= fold (build1 (NOP_EXPR
, p1
, valist
));
2771 if (! TREE_SIDE_EFFECTS (valist
))
2774 pt
= build_pointer_type (va_list_type_node
);
2775 valist
= fold (build1 (ADDR_EXPR
, pt
, valist
));
2776 TREE_SIDE_EFFECTS (valist
) = 1;
2779 if (TREE_SIDE_EFFECTS (valist
))
2780 valist
= save_expr (valist
);
2781 valist
= fold (build1 (INDIRECT_REF
, TREE_TYPE (TREE_TYPE (valist
)),
2788 /* The "standard" implementation of va_start: just assign `nextarg' to
2791 std_expand_builtin_va_start (stdarg_p
, valist
, nextarg
)
2800 /* The dummy named parameter is declared as a 'word' sized
2801 object, but if a 'word' is smaller than an 'int', it would
2802 have been promoted to int when it was added to the arglist. */
2803 int align
= PARM_BOUNDARY
/ BITS_PER_UNIT
;
2804 int size
= MAX (UNITS_PER_WORD
,
2805 GET_MODE_SIZE (TYPE_MODE (integer_type_node
)));
2806 int offset
= ((size
+ align
- 1) / align
) * align
;
2807 nextarg
= plus_constant (nextarg
, -offset
);
2810 t
= build (MODIFY_EXPR
, TREE_TYPE (valist
), valist
,
2811 make_tree (ptr_type_node
, nextarg
));
2812 TREE_SIDE_EFFECTS (t
) = 1;
2814 expand_expr (t
, const0_rtx
, VOIDmode
, EXPAND_NORMAL
);
2817 /* Expand ARGLIST, which from a call to __builtin_stdarg_va_start or
2818 __builtin_varargs_va_start, depending on STDARG_P. */
2820 expand_builtin_va_start (stdarg_p
, arglist
)
2825 tree chain
= arglist
, valist
;
2828 nextarg
= expand_builtin_next_arg (chain
= TREE_CHAIN (arglist
));
2830 nextarg
= expand_builtin_next_arg (NULL_TREE
);
2832 if (TREE_CHAIN (chain
))
2833 error ("too many arguments to function `va_start'");
2835 valist
= stabilize_va_list (TREE_VALUE (arglist
), 1);
2837 #ifdef EXPAND_BUILTIN_VA_START
2838 EXPAND_BUILTIN_VA_START (stdarg_p
, valist
, nextarg
);
2840 std_expand_builtin_va_start (stdarg_p
, valist
, nextarg
);
2846 /* The "standard" implementation of va_arg: read the value from the
2847 current (padded) address and increment by the (padded) size. */
2850 std_expand_builtin_va_arg (valist
, type
)
2854 HOST_WIDE_INT align
;
2855 HOST_WIDE_INT rounded_size
;
2858 /* Compute the rounded size of the type. */
2859 align
= PARM_BOUNDARY
/ BITS_PER_UNIT
;
2860 rounded_size
= (((int_size_in_bytes (type
) + align
- 1) / align
) * align
);
2864 if (PAD_VARARGS_DOWN
)
2866 /* Small args are padded downward. */
2869 adj
= TREE_INT_CST_LOW (TYPE_SIZE (type
)) / BITS_PER_UNIT
;
2870 if (rounded_size
> align
)
2873 addr_tree
= build (PLUS_EXPR
, TREE_TYPE (addr_tree
), addr_tree
,
2874 build_int_2 (rounded_size
- adj
, 0));
2877 addr
= expand_expr (addr_tree
, NULL_RTX
, Pmode
, EXPAND_NORMAL
);
2878 addr
= copy_to_reg (addr
);
2880 /* Compute new value for AP. */
2881 t
= build (MODIFY_EXPR
, TREE_TYPE (valist
), valist
,
2882 build (PLUS_EXPR
, TREE_TYPE (valist
), valist
,
2883 build_int_2 (rounded_size
, 0)));
2884 TREE_SIDE_EFFECTS (t
) = 1;
2885 expand_expr (t
, const0_rtx
, VOIDmode
, EXPAND_NORMAL
);
2890 /* Expand __builtin_va_arg, which is not really a builtin function, but
2891 a very special sort of operator. */
2894 expand_builtin_va_arg (valist
, type
)
2898 tree promoted_type
, want_va_type
, have_va_type
;
2900 /* Verify that valist is of the proper type. */
2902 want_va_type
= va_list_type_node
;
2903 have_va_type
= TREE_TYPE (valist
);
2904 if (TREE_CODE (want_va_type
) == ARRAY_TYPE
)
2906 /* If va_list is an array type, the argument may have decayed
2907 to a pointer type, e.g. by being passed to another function.
2908 In that case, unwrap both types so that we can compare the
2909 underlying records. */
2910 if (TREE_CODE (have_va_type
) == ARRAY_TYPE
2911 || TREE_CODE (have_va_type
) == POINTER_TYPE
)
2913 want_va_type
= TREE_TYPE (want_va_type
);
2914 have_va_type
= TREE_TYPE (have_va_type
);
2917 if (TYPE_MAIN_VARIANT (want_va_type
) != TYPE_MAIN_VARIANT (have_va_type
))
2919 error ("first argument to `va_arg' not of type `va_list'");
2923 /* Generate a diagnostic for requesting data of a type that cannot
2924 be passed through `...' due to type promotion at the call site. */
2925 else if ((promoted_type
= (*lang_type_promotes_to
) (type
)) != NULL_TREE
)
2927 const char *name
= "<anonymous type>", *pname
= 0;
2928 static int gave_help
;
2930 if (TYPE_NAME (type
))
2932 if (TREE_CODE (TYPE_NAME (type
)) == IDENTIFIER_NODE
)
2933 name
= IDENTIFIER_POINTER (TYPE_NAME (type
));
2934 else if (TREE_CODE (TYPE_NAME (type
)) == TYPE_DECL
2935 && DECL_NAME (TYPE_NAME (type
)))
2936 name
= IDENTIFIER_POINTER (DECL_NAME (TYPE_NAME (type
)));
2938 if (TYPE_NAME (promoted_type
))
2940 if (TREE_CODE (TYPE_NAME (promoted_type
)) == IDENTIFIER_NODE
)
2941 pname
= IDENTIFIER_POINTER (TYPE_NAME (promoted_type
));
2942 else if (TREE_CODE (TYPE_NAME (promoted_type
)) == TYPE_DECL
2943 && DECL_NAME (TYPE_NAME (promoted_type
)))
2944 pname
= IDENTIFIER_POINTER (DECL_NAME (TYPE_NAME (promoted_type
)));
2947 error ("`%s' is promoted to `%s' when passed through `...'", name
, pname
);
2951 error ("(so you should pass `%s' not `%s' to `va_arg')", pname
, name
);
2958 /* Make it easier for the backends by protecting the valist argument
2959 from multiple evaluations. */
2960 valist
= stabilize_va_list (valist
, 0);
2962 #ifdef EXPAND_BUILTIN_VA_ARG
2963 addr
= EXPAND_BUILTIN_VA_ARG (valist
, type
);
2965 addr
= std_expand_builtin_va_arg (valist
, type
);
2969 result
= gen_rtx_MEM (TYPE_MODE (type
), addr
);
2970 set_mem_alias_set (result
, get_varargs_alias_set ());
2975 /* Expand ARGLIST, from a call to __builtin_va_end. */
2978 expand_builtin_va_end (arglist
)
2981 tree valist
= TREE_VALUE (arglist
);
2983 #ifdef EXPAND_BUILTIN_VA_END
2984 valist
= stabilize_va_list (valist
, 0);
2985 EXPAND_BUILTIN_VA_END(arglist
);
2987 /* Evaluate for side effects, if needed. I hate macros that don't
2989 if (TREE_SIDE_EFFECTS (valist
))
2990 expand_expr (valist
, const0_rtx
, VOIDmode
, EXPAND_NORMAL
);
2996 /* Expand ARGLIST, from a call to __builtin_va_copy. We do this as a
2997 builtin rather than just as an assignment in stdarg.h because of the
2998 nastiness of array-type va_list types. */
3001 expand_builtin_va_copy (arglist
)
3006 dst
= TREE_VALUE (arglist
);
3007 src
= TREE_VALUE (TREE_CHAIN (arglist
));
3009 dst
= stabilize_va_list (dst
, 1);
3010 src
= stabilize_va_list (src
, 0);
3012 if (TREE_CODE (va_list_type_node
) != ARRAY_TYPE
)
3014 t
= build (MODIFY_EXPR
, va_list_type_node
, dst
, src
);
3015 TREE_SIDE_EFFECTS (t
) = 1;
3016 expand_expr (t
, const0_rtx
, VOIDmode
, EXPAND_NORMAL
);
3020 rtx dstb
, srcb
, size
;
3022 /* Evaluate to pointers. */
3023 dstb
= expand_expr (dst
, NULL_RTX
, Pmode
, EXPAND_NORMAL
);
3024 srcb
= expand_expr (src
, NULL_RTX
, Pmode
, EXPAND_NORMAL
);
3025 size
= expand_expr (TYPE_SIZE_UNIT (va_list_type_node
), NULL_RTX
,
3026 VOIDmode
, EXPAND_NORMAL
);
3028 /* "Dereference" to BLKmode memories. */
3029 dstb
= gen_rtx_MEM (BLKmode
, dstb
);
3030 set_mem_alias_set (dstb
, get_alias_set (TREE_TYPE (TREE_TYPE (dst
))));
3031 srcb
= gen_rtx_MEM (BLKmode
, srcb
);
3032 set_mem_alias_set (srcb
, get_alias_set (TREE_TYPE (TREE_TYPE (src
))));
3035 emit_block_move (dstb
, srcb
, size
, TYPE_ALIGN (va_list_type_node
));
3041 /* Expand a call to one of the builtin functions __builtin_frame_address or
3042 __builtin_return_address. */
3044 expand_builtin_frame_address (exp
)
3047 tree fndecl
= TREE_OPERAND (TREE_OPERAND (exp
, 0), 0);
3048 tree arglist
= TREE_OPERAND (exp
, 1);
3050 /* The argument must be a nonnegative integer constant.
3051 It counts the number of frames to scan up the stack.
3052 The value is the return address saved in that frame. */
3054 /* Warning about missing arg was already issued. */
3056 else if (TREE_CODE (TREE_VALUE (arglist
)) != INTEGER_CST
3057 || tree_int_cst_sgn (TREE_VALUE (arglist
)) < 0)
3059 if (DECL_FUNCTION_CODE (fndecl
) == BUILT_IN_FRAME_ADDRESS
)
3060 error ("invalid arg to `__builtin_frame_address'");
3062 error ("invalid arg to `__builtin_return_address'");
3067 rtx tem
= expand_builtin_return_addr (DECL_FUNCTION_CODE (fndecl
),
3068 TREE_INT_CST_LOW (TREE_VALUE (arglist
)),
3069 hard_frame_pointer_rtx
);
3071 /* Some ports cannot access arbitrary stack frames. */
3074 if (DECL_FUNCTION_CODE (fndecl
) == BUILT_IN_FRAME_ADDRESS
)
3075 warning ("unsupported arg to `__builtin_frame_address'");
3077 warning ("unsupported arg to `__builtin_return_address'");
3081 /* For __builtin_frame_address, return what we've got. */
3082 if (DECL_FUNCTION_CODE (fndecl
) == BUILT_IN_FRAME_ADDRESS
)
3085 if (GET_CODE (tem
) != REG
3086 && ! CONSTANT_P (tem
))
3087 tem
= copy_to_mode_reg (Pmode
, tem
);
3092 /* Expand a call to the alloca builtin, with arguments ARGLIST. Return 0 if
3093 we failed and the caller should emit a normal call, otherwise try to get
3094 the result in TARGET, if convenient. */
3097 expand_builtin_alloca (arglist
, target
)
3104 if (!validate_arglist (arglist
, INTEGER_TYPE
, VOID_TYPE
))
3107 /* Compute the argument. */
3108 op0
= expand_expr (TREE_VALUE (arglist
), NULL_RTX
, VOIDmode
, 0);
3110 /* Allocate the desired space. */
3111 result
= allocate_dynamic_stack_space (op0
, target
, BITS_PER_UNIT
);
3113 #ifdef POINTERS_EXTEND_UNSIGNED
3114 result
= convert_memory_address (ptr_mode
, result
);
3120 /* Expand a call to the ffs builtin. The arguments are in ARGLIST.
3121 Return 0 if a normal call should be emitted rather than expanding the
3122 function in-line. If convenient, the result should be placed in TARGET.
3123 SUBTARGET may be used as the target for computing one of EXP's operands. */
3126 expand_builtin_ffs (arglist
, target
, subtarget
)
3128 rtx target
, subtarget
;
3131 if (!validate_arglist (arglist
, INTEGER_TYPE
, VOID_TYPE
))
3134 /* Compute the argument. */
3135 op0
= expand_expr (TREE_VALUE (arglist
), subtarget
, VOIDmode
, 0);
3136 /* Compute ffs, into TARGET if possible.
3137 Set TARGET to wherever the result comes back. */
3138 target
= expand_unop (TYPE_MODE (TREE_TYPE (TREE_VALUE (arglist
))),
3139 ffs_optab
, op0
, target
, 1);
3145 /* If the string passed to fputs is a constant and is one character
3146 long, we attempt to transform this call into __builtin_fputc(). */
3149 expand_builtin_fputs (arglist
, ignore
)
3153 tree len
, fn
, fn_fputc
= built_in_decls
[BUILT_IN_FPUTC
],
3154 fn_fwrite
= built_in_decls
[BUILT_IN_FWRITE
];
3156 /* If the return value is used, or the replacement _DECL isn't
3157 initialized, don't do the transformation. */
3158 if (!ignore
|| !fn_fputc
|| !fn_fwrite
)
3161 /* Verify the arguments in the original call. */
3162 if (!validate_arglist (arglist
, POINTER_TYPE
, POINTER_TYPE
, VOID_TYPE
)
3163 || current_function_check_memory_usage
)
3166 /* Get the length of the string passed to fputs. If the length
3167 can't be determined, punt. */
3168 if (!(len
= c_strlen (TREE_VALUE (arglist
)))
3169 || TREE_CODE (len
) != INTEGER_CST
)
3172 switch (compare_tree_int (len
, 1))
3174 case -1: /* length is 0, delete the call entirely . */
3176 /* Evaluate and ignore the argument in case it has
3178 expand_expr (TREE_VALUE (TREE_CHAIN (arglist
)), const0_rtx
,
3179 VOIDmode
, EXPAND_NORMAL
);
3182 case 0: /* length is 1, call fputc. */
3184 const char *p
= c_getstr (TREE_VALUE (arglist
));
3188 /* New argument list transforming fputs(string, stream) to
3189 fputc(string[0], stream). */
3191 build_tree_list (NULL_TREE
, TREE_VALUE (TREE_CHAIN (arglist
)));
3193 tree_cons (NULL_TREE
, build_int_2 (p
[0], 0), arglist
);
3199 case 1: /* length is greater than 1, call fwrite. */
3201 tree string_arg
= TREE_VALUE (arglist
);
3203 /* New argument list transforming fputs(string, stream) to
3204 fwrite(string, 1, len, stream). */
3205 arglist
= build_tree_list (NULL_TREE
, TREE_VALUE (TREE_CHAIN (arglist
)));
3206 arglist
= tree_cons (NULL_TREE
, len
, arglist
);
3207 arglist
= tree_cons (NULL_TREE
, size_one_node
, arglist
);
3208 arglist
= tree_cons (NULL_TREE
, string_arg
, arglist
);
3216 return expand_expr (build_function_call_expr (fn
, arglist
),
3217 (ignore
? const0_rtx
: NULL_RTX
),
3218 VOIDmode
, EXPAND_NORMAL
);
3221 /* Expand a call to __builtin_expect. We return our argument and emit a
3222 NOTE_INSN_EXPECTED_VALUE note. This is the expansion of __builtin_expect in
3223 a non-jump context. */
3226 expand_builtin_expect (arglist
, target
)
3233 if (arglist
== NULL_TREE
3234 || TREE_CHAIN (arglist
) == NULL_TREE
)
3236 exp
= TREE_VALUE (arglist
);
3237 c
= TREE_VALUE (TREE_CHAIN (arglist
));
3239 if (TREE_CODE (c
) != INTEGER_CST
)
3241 error ("second arg to `__builtin_expect' must be a constant");
3242 c
= integer_zero_node
;
3245 target
= expand_expr (exp
, target
, VOIDmode
, EXPAND_NORMAL
);
3247 /* Don't bother with expected value notes for integral constants. */
3248 if (GET_CODE (target
) != CONST_INT
)
3250 /* We do need to force this into a register so that we can be
3251 moderately sure to be able to correctly interpret the branch
3253 target
= force_reg (GET_MODE (target
), target
);
3255 rtx_c
= expand_expr (c
, NULL_RTX
, GET_MODE (target
), EXPAND_NORMAL
);
3257 note
= emit_note (NULL
, NOTE_INSN_EXPECTED_VALUE
);
3258 NOTE_EXPECTED_VALUE (note
) = gen_rtx_EQ (VOIDmode
, target
, rtx_c
);
3264 /* Like expand_builtin_expect, except do this in a jump context. This is
3265 called from do_jump if the conditional is a __builtin_expect. Return either
3266 a SEQUENCE of insns to emit the jump or NULL if we cannot optimize
3267 __builtin_expect. We need to optimize this at jump time so that machines
3268 like the PowerPC don't turn the test into a SCC operation, and then jump
3269 based on the test being 0/1. */
3272 expand_builtin_expect_jump (exp
, if_false_label
, if_true_label
)
3277 tree arglist
= TREE_OPERAND (exp
, 1);
3278 tree arg0
= TREE_VALUE (arglist
);
3279 tree arg1
= TREE_VALUE (TREE_CHAIN (arglist
));
3282 /* Only handle __builtin_expect (test, 0) and
3283 __builtin_expect (test, 1). */
3284 if (TREE_CODE (TREE_TYPE (arg1
)) == INTEGER_TYPE
3285 && TREE_CODE (arg1
) == INTEGER_CST
3286 && (TREE_INT_CST_LOW (arg1
) == 0 || TREE_INT_CST_LOW (arg1
) == 1)
3287 && TREE_INT_CST_HIGH (arg1
) == 0)
3292 /* If we fail to locate an appropriate conditional jump, we'll
3293 fall back to normal evaluation. Ensure that the expression
3294 can be re-evaluated. */
3295 switch (unsafe_for_reeval (arg0
))
3300 case 1: /* Mildly unsafe. */
3301 arg0
= unsave_expr (arg0
);
3304 case 2: /* Wildly unsafe. */
3308 /* Expand the jump insns. */
3310 do_jump (arg0
, if_false_label
, if_true_label
);
3311 ret
= gen_sequence ();
3314 /* Now that the __builtin_expect has been validated, go through and add
3315 the expect's to each of the conditional jumps. If we run into an
3316 error, just give up and generate the 'safe' code of doing a SCC
3317 operation and then doing a branch on that. */
3318 for (j
= 0; j
< XVECLEN (ret
, 0); j
++)
3320 rtx insn
= XVECEXP (ret
, 0, j
);
3323 if (GET_CODE (insn
) == JUMP_INSN
&& any_condjump_p (insn
)
3324 && (pattern
= pc_set (insn
)) != NULL_RTX
)
3326 rtx ifelse
= SET_SRC (pattern
);
3330 if (GET_CODE (ifelse
) != IF_THEN_ELSE
)
3333 if (GET_CODE (XEXP (ifelse
, 1)) == LABEL_REF
)
3336 label
= XEXP (XEXP (ifelse
, 1), 0);
3338 /* An inverted jump reverses the probabilities. */
3339 else if (GET_CODE (XEXP (ifelse
, 2)) == LABEL_REF
)
3342 label
= XEXP (XEXP (ifelse
, 2), 0);
3344 /* We shouldn't have to worry about conditional returns during
3345 the expansion stage, but handle it gracefully anyway. */
3346 else if (GET_CODE (XEXP (ifelse
, 1)) == RETURN
)
3351 /* An inverted return reverses the probabilities. */
3352 else if (GET_CODE (XEXP (ifelse
, 2)) == RETURN
)
3360 /* If the test is expected to fail, reverse the
3362 if (TREE_INT_CST_LOW (arg1
) == 0)
3365 /* If we are jumping to the false label, reverse the
3367 if (label
== NULL_RTX
)
3368 ; /* conditional return */
3369 else if (label
== if_false_label
)
3371 else if (label
!= if_true_label
)
3375 predict_insn_def (insn
, PRED_BUILTIN_EXPECT
, taken
);
3379 /* If no jumps were modified, fail and do __builtin_expect the normal
3389 /* Expand an expression EXP that calls a built-in function,
3390 with result going to TARGET if that's convenient
3391 (and in mode MODE if that's convenient).
3392 SUBTARGET may be used as the target for computing one of EXP's operands.
3393 IGNORE is nonzero if the value is to be ignored. */
3396 expand_builtin (exp
, target
, subtarget
, mode
, ignore
)
3400 enum machine_mode mode
;
3403 tree fndecl
= TREE_OPERAND (TREE_OPERAND (exp
, 0), 0);
3404 tree arglist
= TREE_OPERAND (exp
, 1);
3405 enum built_in_function fcode
= DECL_FUNCTION_CODE (fndecl
);
3407 if (DECL_BUILT_IN_CLASS (fndecl
) == BUILT_IN_MD
)
3408 return (*targetm
.expand_builtin
) (exp
, target
, subtarget
, mode
, ignore
);
3410 /* When not optimizing, generate calls to library functions for a certain
3412 if (! optimize
&& ! CALLED_AS_BUILT_IN (fndecl
)
3413 && (fcode
== BUILT_IN_SIN
|| fcode
== BUILT_IN_COS
3414 || fcode
== BUILT_IN_FSQRT
|| fcode
== BUILT_IN_SQRTF
3415 || fcode
== BUILT_IN_SQRTL
|| fcode
== BUILT_IN_MEMSET
3416 || fcode
== BUILT_IN_MEMCPY
|| fcode
== BUILT_IN_MEMCMP
3417 || fcode
== BUILT_IN_BCMP
|| fcode
== BUILT_IN_BZERO
3418 || fcode
== BUILT_IN_INDEX
|| fcode
== BUILT_IN_RINDEX
3419 || fcode
== BUILT_IN_STRCHR
|| fcode
== BUILT_IN_STRRCHR
3420 || fcode
== BUILT_IN_STRLEN
|| fcode
== BUILT_IN_STRCPY
3421 || fcode
== BUILT_IN_STRNCPY
|| fcode
== BUILT_IN_STRNCMP
3422 || fcode
== BUILT_IN_STRSTR
|| fcode
== BUILT_IN_STRPBRK
3423 || fcode
== BUILT_IN_STRCAT
|| fcode
== BUILT_IN_STRNCAT
3424 || fcode
== BUILT_IN_STRSPN
|| fcode
== BUILT_IN_STRCSPN
3425 || fcode
== BUILT_IN_STRCMP
|| fcode
== BUILT_IN_FFS
3426 || fcode
== BUILT_IN_PUTCHAR
|| fcode
== BUILT_IN_PUTS
3427 || fcode
== BUILT_IN_PRINTF
|| fcode
== BUILT_IN_FPUTC
3428 || fcode
== BUILT_IN_FPUTS
|| fcode
== BUILT_IN_FWRITE
))
3429 return expand_call (exp
, target
, ignore
);
3435 case BUILT_IN_LLABS
:
3436 case BUILT_IN_IMAXABS
:
3438 case BUILT_IN_FABSF
:
3439 case BUILT_IN_FABSL
:
3440 /* build_function_call changes these into ABS_EXPR. */
3444 case BUILT_IN_CONJF
:
3445 case BUILT_IN_CONJL
:
3446 case BUILT_IN_CREAL
:
3447 case BUILT_IN_CREALF
:
3448 case BUILT_IN_CREALL
:
3449 case BUILT_IN_CIMAG
:
3450 case BUILT_IN_CIMAGF
:
3451 case BUILT_IN_CIMAGL
:
3452 /* expand_tree_builtin changes these into CONJ_EXPR, REALPART_EXPR
3453 and IMAGPART_EXPR. */
3462 /* Treat these like sqrt only if unsafe math optimizations are allowed,
3463 because of possible accuracy problems. */
3464 if (! flag_unsafe_math_optimizations
)
3466 case BUILT_IN_FSQRT
:
3467 case BUILT_IN_SQRTF
:
3468 case BUILT_IN_SQRTL
:
3469 target
= expand_builtin_mathfn (exp
, target
, subtarget
);
3477 case BUILT_IN_APPLY_ARGS
:
3478 return expand_builtin_apply_args ();
3480 /* __builtin_apply (FUNCTION, ARGUMENTS, ARGSIZE) invokes
3481 FUNCTION with a copy of the parameters described by
3482 ARGUMENTS, and ARGSIZE. It returns a block of memory
3483 allocated on the stack into which is stored all the registers
3484 that might possibly be used for returning the result of a
3485 function. ARGUMENTS is the value returned by
3486 __builtin_apply_args. ARGSIZE is the number of bytes of
3487 arguments that must be copied. ??? How should this value be
3488 computed? We'll also need a safe worst case value for varargs
3490 case BUILT_IN_APPLY
:
3491 if (!validate_arglist (arglist
, POINTER_TYPE
,
3492 POINTER_TYPE
, INTEGER_TYPE
, VOID_TYPE
)
3493 && !validate_arglist (arglist
, REFERENCE_TYPE
,
3494 POINTER_TYPE
, INTEGER_TYPE
, VOID_TYPE
))
3502 for (t
= arglist
, i
= 0; t
; t
= TREE_CHAIN (t
), i
++)
3503 ops
[i
] = expand_expr (TREE_VALUE (t
), NULL_RTX
, VOIDmode
, 0);
3505 return expand_builtin_apply (ops
[0], ops
[1], ops
[2]);
3508 /* __builtin_return (RESULT) causes the function to return the
3509 value described by RESULT. RESULT is address of the block of
3510 memory returned by __builtin_apply. */
3511 case BUILT_IN_RETURN
:
3512 if (validate_arglist (arglist
, POINTER_TYPE
, VOID_TYPE
))
3513 expand_builtin_return (expand_expr (TREE_VALUE (arglist
),
3514 NULL_RTX
, VOIDmode
, 0));
3517 case BUILT_IN_SAVEREGS
:
3518 return expand_builtin_saveregs ();
3520 case BUILT_IN_ARGS_INFO
:
3521 return expand_builtin_args_info (exp
);
3523 /* Return the address of the first anonymous stack arg. */
3524 case BUILT_IN_NEXT_ARG
:
3525 return expand_builtin_next_arg (arglist
);
3527 case BUILT_IN_CLASSIFY_TYPE
:
3528 return expand_builtin_classify_type (arglist
);
3530 case BUILT_IN_CONSTANT_P
:
3531 return expand_builtin_constant_p (exp
);
3533 case BUILT_IN_FRAME_ADDRESS
:
3534 case BUILT_IN_RETURN_ADDRESS
:
3535 return expand_builtin_frame_address (exp
);
3537 /* Returns the address of the area where the structure is returned.
3539 case BUILT_IN_AGGREGATE_INCOMING_ADDRESS
:
3541 || ! AGGREGATE_TYPE_P (TREE_TYPE (TREE_TYPE (current_function_decl
)))
3542 || GET_CODE (DECL_RTL (DECL_RESULT (current_function_decl
))) != MEM
)
3545 return XEXP (DECL_RTL (DECL_RESULT (current_function_decl
)), 0);
3547 case BUILT_IN_ALLOCA
:
3548 target
= expand_builtin_alloca (arglist
, target
);
3554 target
= expand_builtin_ffs (arglist
, target
, subtarget
);
3559 case BUILT_IN_STRLEN
:
3560 target
= expand_builtin_strlen (exp
, target
);
3565 case BUILT_IN_STRCPY
:
3566 target
= expand_builtin_strcpy (exp
);
3571 case BUILT_IN_STRNCPY
:
3572 target
= expand_builtin_strncpy (arglist
, target
, mode
);
3577 case BUILT_IN_STRCAT
:
3578 target
= expand_builtin_strcat (arglist
, target
, mode
);
3583 case BUILT_IN_STRNCAT
:
3584 target
= expand_builtin_strncat (arglist
, target
, mode
);
3589 case BUILT_IN_STRSPN
:
3590 target
= expand_builtin_strspn (arglist
, target
, mode
);
3595 case BUILT_IN_STRCSPN
:
3596 target
= expand_builtin_strcspn (arglist
, target
, mode
);
3601 case BUILT_IN_STRSTR
:
3602 target
= expand_builtin_strstr (arglist
, target
, mode
);
3607 case BUILT_IN_STRPBRK
:
3608 target
= expand_builtin_strpbrk (arglist
, target
, mode
);
3613 case BUILT_IN_INDEX
:
3614 case BUILT_IN_STRCHR
:
3615 target
= expand_builtin_strchr (arglist
, target
, mode
);
3620 case BUILT_IN_RINDEX
:
3621 case BUILT_IN_STRRCHR
:
3622 target
= expand_builtin_strrchr (arglist
, target
, mode
);
3627 case BUILT_IN_MEMCPY
:
3628 target
= expand_builtin_memcpy (arglist
);
3633 case BUILT_IN_MEMSET
:
3634 target
= expand_builtin_memset (exp
);
3639 case BUILT_IN_BZERO
:
3640 target
= expand_builtin_bzero (exp
);
3645 case BUILT_IN_STRCMP
:
3646 target
= expand_builtin_strcmp (exp
, target
, mode
);
3651 case BUILT_IN_STRNCMP
:
3652 target
= expand_builtin_strncmp (exp
, target
, mode
);
3657 /* These comparison functions need an instruction that returns an actual
3658 index. An ordinary compare that just sets the condition codes
3660 #ifdef HAVE_cmpstrsi
3662 case BUILT_IN_MEMCMP
:
3663 target
= expand_builtin_memcmp (exp
, arglist
, target
);
3669 case BUILT_IN_MEMCMP
:
3673 case BUILT_IN_SETJMP
:
3674 target
= expand_builtin_setjmp (arglist
, target
);
3679 /* __builtin_longjmp is passed a pointer to an array of five words.
3680 It's similar to the C library longjmp function but works with
3681 __builtin_setjmp above. */
3682 case BUILT_IN_LONGJMP
:
3683 if (!validate_arglist (arglist
, POINTER_TYPE
, INTEGER_TYPE
, VOID_TYPE
))
3687 rtx buf_addr
= expand_expr (TREE_VALUE (arglist
), subtarget
,
3689 rtx value
= expand_expr (TREE_VALUE (TREE_CHAIN (arglist
)),
3690 NULL_RTX
, VOIDmode
, 0);
3692 if (value
!= const1_rtx
)
3694 error ("__builtin_longjmp second argument must be 1");
3698 expand_builtin_longjmp (buf_addr
, value
);
3705 emit_insn (gen_trap ());
3708 error ("__builtin_trap not supported by this target");
3712 case BUILT_IN_PUTCHAR
:
3714 case BUILT_IN_FPUTC
:
3715 case BUILT_IN_FWRITE
:
3717 case BUILT_IN_FPUTS
:
3718 target
= expand_builtin_fputs (arglist
, ignore
);
3723 /* Various hooks for the DWARF 2 __throw routine. */
3724 case BUILT_IN_UNWIND_INIT
:
3725 expand_builtin_unwind_init ();
3727 case BUILT_IN_DWARF_CFA
:
3728 return virtual_cfa_rtx
;
3729 #ifdef DWARF2_UNWIND_INFO
3730 case BUILT_IN_DWARF_FP_REGNUM
:
3731 return expand_builtin_dwarf_fp_regnum ();
3732 case BUILT_IN_INIT_DWARF_REG_SIZES
:
3733 expand_builtin_init_dwarf_reg_sizes (TREE_VALUE (arglist
));
3736 case BUILT_IN_FROB_RETURN_ADDR
:
3737 return expand_builtin_frob_return_addr (TREE_VALUE (arglist
));
3738 case BUILT_IN_EXTRACT_RETURN_ADDR
:
3739 return expand_builtin_extract_return_addr (TREE_VALUE (arglist
));
3740 case BUILT_IN_EH_RETURN
:
3741 expand_builtin_eh_return (TREE_VALUE (arglist
),
3742 TREE_VALUE (TREE_CHAIN (arglist
)));
3744 #ifdef EH_RETURN_DATA_REGNO
3745 case BUILT_IN_EH_RETURN_DATA_REGNO
:
3746 return expand_builtin_eh_return_data_regno (arglist
);
3748 case BUILT_IN_VARARGS_START
:
3749 return expand_builtin_va_start (0, arglist
);
3750 case BUILT_IN_STDARG_START
:
3751 return expand_builtin_va_start (1, arglist
);
3752 case BUILT_IN_VA_END
:
3753 return expand_builtin_va_end (arglist
);
3754 case BUILT_IN_VA_COPY
:
3755 return expand_builtin_va_copy (arglist
);
3756 case BUILT_IN_EXPECT
:
3757 return expand_builtin_expect (arglist
, target
);
3759 default: /* just do library call, if unknown builtin */
3760 error ("built-in function `%s' not currently supported",
3761 IDENTIFIER_POINTER (DECL_NAME (fndecl
)));
3764 /* The switch statement above can drop through to cause the function
3765 to be called normally. */
3766 return expand_call (exp
, target
, ignore
);
3769 /* Fold a call to __builtin_constant_p, if we know it will evaluate to a
3770 constant. ARGLIST is the argument list of the call. */
3773 fold_builtin_constant_p (arglist
)
3779 arglist
= TREE_VALUE (arglist
);
3781 /* We return 1 for a numeric type that's known to be a constant
3782 value at compile-time or for an aggregate type that's a
3783 literal constant. */
3784 STRIP_NOPS (arglist
);
3786 /* If we know this is a constant, emit the constant of one. */
3787 if (TREE_CODE_CLASS (TREE_CODE (arglist
)) == 'c'
3788 || (TREE_CODE (arglist
) == CONSTRUCTOR
3789 && TREE_CONSTANT (arglist
))
3790 || (TREE_CODE (arglist
) == ADDR_EXPR
3791 && TREE_CODE (TREE_OPERAND (arglist
, 0)) == STRING_CST
))
3792 return integer_one_node
;
3794 /* If we aren't going to be running CSE or this expression
3795 has side effects, show we don't know it to be a constant.
3796 Likewise if it's a pointer or aggregate type since in those
3797 case we only want literals, since those are only optimized
3798 when generating RTL, not later.
3799 And finally, if we are compiling an initializer, not code, we
3800 need to return a definite result now; there's not going to be any
3801 more optimization done. */
3802 if (TREE_SIDE_EFFECTS (arglist
) || cse_not_expected
3803 || AGGREGATE_TYPE_P (TREE_TYPE (arglist
))
3804 || POINTER_TYPE_P (TREE_TYPE (arglist
))
3806 return integer_zero_node
;
3811 /* Used by constant folding to eliminate some builtin calls early. EXP is
3812 the CALL_EXPR of a call to a builtin function. */
3818 tree fndecl
= TREE_OPERAND (TREE_OPERAND (exp
, 0), 0);
3819 tree arglist
= TREE_OPERAND (exp
, 1);
3820 enum built_in_function fcode
= DECL_FUNCTION_CODE (fndecl
);
3822 if (DECL_BUILT_IN_CLASS (fndecl
) == BUILT_IN_MD
)
3827 case BUILT_IN_CONSTANT_P
:
3828 return fold_builtin_constant_p (arglist
);
3830 case BUILT_IN_STRLEN
:
3831 if (validate_arglist (arglist
, POINTER_TYPE
, VOID_TYPE
))
3833 tree len
= c_strlen (TREE_VALUE (arglist
));
3847 build_function_call_expr (fn
, arglist
)
3852 call_expr
= build1 (ADDR_EXPR
, build_pointer_type (TREE_TYPE (fn
)), fn
);
3853 call_expr
= build (CALL_EXPR
, TREE_TYPE (TREE_TYPE (fn
)),
3854 call_expr
, arglist
);
3855 TREE_SIDE_EFFECTS (call_expr
) = 1;
3856 return fold (call_expr
);
3859 /* This function validates the types of a function call argument list
3860 represented as a tree chain of parameters against a specified list
3861 of tree_codes. If the last specifier is a 0, that represents an
3862 ellipses, otherwise the last specifier must be a VOID_TYPE. */
3864 validate_arglist
VPARAMS ((tree arglist
, ...))
3866 #ifndef ANSI_PROTOTYPES
3869 enum tree_code code
;
3872 VA_START (ap
, arglist
);
3874 #ifndef ANSI_PROTOTYPES
3875 arglist
= va_arg (ap
, tree
);
3879 code
= va_arg (ap
, enum tree_code
);
3883 /* This signifies an ellipses, any further arguments are all ok. */
3887 /* This signifies an endlink, if no arguments remain, return
3888 true, otherwise return false. */
3890 return arglist
== 0;
3892 /* If no parameters remain or the parameter's code does not
3893 match the specified code, return false. Otherwise continue
3894 checking any remaining arguments. */
3895 if (arglist
== 0 || code
!= TREE_CODE (TREE_TYPE (TREE_VALUE (arglist
))))
3902 arglist
= TREE_CHAIN (arglist
);
3906 /* Default version of target-specific builtin setup that does nothing. */
3909 default_init_builtins ()
3913 /* Default target-specific builtin expander that does nothing. */
3916 default_expand_builtin (exp
, target
, subtarget
, mode
, ignore
)
3917 tree exp ATTRIBUTE_UNUSED
;
3918 rtx target ATTRIBUTE_UNUSED
;
3919 rtx subtarget ATTRIBUTE_UNUSED
;
3920 enum machine_mode mode ATTRIBUTE_UNUSED
;
3921 int ignore ATTRIBUTE_UNUSED
;