diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 8c7f7e0c8ec..f9fd9f1dd98 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,18 @@ +Sun Jul 25 23:51:59 1999 Richard Henderson + + * i860.h (EXPAND_BUILTIN_SAVEREGS): New. + (BUILD_VA_LIST_TYPE): New. + (EXPAND_BUILTIN_VA_START): New. + (EXPAND_BUILTIN_VA_ARG): New. + * i860.c (output_delayed_branch): Disable. + (output_delay_insn): Likewise. + (i860_saveregs): New. + (i860_build_va_list): New. + (i860_va_start): New. + (i860_va_arg): New. + * i860.md: Disable all peepholes using output_delayed_branch. + * i860/sysv4.h (I860_SVR4_VA_LIST): New. + Sun Jul 25 23:44:13 1999 Richard Henderson * clipper.h (EXPAND_BUILTIN_SAVEREGS): Remove argument. diff --git a/gcc/config/i860/i860.c b/gcc/config/i860/i860.c index 4b3498da7c9..08e2db7f739 100644 --- a/gcc/config/i860/i860.c +++ b/gcc/config/i860/i860.c @@ -29,6 +29,7 @@ Boston, MA 02111-1307, USA. */ #include #include "flags.h" #include "rtl.h" +#include "tree.h" #include "regs.h" #include "hard-reg-set.h" #include "real.h" @@ -38,6 +39,7 @@ Boston, MA 02111-1307, USA. */ #include "output.h" #include "recog.h" #include "insn-attr.h" +#include "expr.h" static rtx find_addr_reg (); @@ -1323,6 +1325,7 @@ output_block_move (operands) return ""; } +#if 0 /* Output a delayed branch insn with the delay insn in its branch slot. The delayed branch insn template is in TEMPLATE, with operands OPERANDS. The insn in its delay slot is INSN. @@ -1343,6 +1346,9 @@ output_block_move (operands) or l%x,%0,%1 */ +/* ??? Disabled because this re-recognition is incomplete and causes + constrain_operands to segfault. Anyone who cares should fix up + the code to use the DBR pass. */ char * output_delayed_branch (template, operands, insn) @@ -1512,6 +1518,7 @@ output_delay_insn (delay_insn) output_asm_insn (template, recog_operand); return ""; } +#endif /* Special routine to convert an SFmode value represented as a CONST_DOUBLE into its equivalent unsigned long bit pattern. @@ -2095,3 +2102,250 @@ function_epilogue (asm_file, local_bytes) text_section(); #endif } + + +/* Expand a library call to __builtin_saveregs. */ +rtx +i860_saveregs () +{ + rtx fn = gen_rtx_SYMBOL_REF (Pmode, "__builtin_saveregs"); + rtx save = gen_reg_rtx (Pmode); + rtx valreg = LIBCALL_VALUE (Pmode); + rtx ret; + + /* The return value register overlaps the first argument register. + Save and restore it around the call. */ + emit_move_insn (save, valreg); + ret = emit_library_call_value (fn, NULL_RTX, 1, Pmode, 0); + if (GET_CODE (ret) != REG || REGNO (ret) < FIRST_PSEUDO_REGISTER) + ret = copy_to_reg (ret); + emit_move_insn (valreg, save); + + return ret; +} + +tree +i860_build_va_list () +{ + tree field_ireg_used, field_freg_used, field_reg_base, field_mem_ptr; + tree record; + + record = make_node (RECORD_TYPE); + + field_ireg_used = build_decl (FIELD_DECL, get_identifier ("__ireg_used"), + unsigned_type_node); + field_freg_used = build_decl (FIELD_DECL, get_identifier ("__freg_used"), + unsigned_type_node); + field_reg_base = build_decl (FIELD_DECL, get_identifier ("__reg_base"), + ptr_type_node); + field_mem_ptr = build_decl (FIELD_DECL, get_identifier ("__mem_ptr"), + ptr_type_node); + + DECL_FIELD_CONTEXT (field_ireg_used) = record; + DECL_FIELD_CONTEXT (field_freg_used) = record; + DECL_FIELD_CONTEXT (field_reg_base) = record; + DECL_FIELD_CONTEXT (field_mem_ptr) = record; + +#ifdef I860_SVR4_VA_LIST + TYPE_FIELDS (record) = field_ireg_used; + TREE_CHAIN (field_ireg_used) = field_freg_used; + TREE_CHAIN (field_freg_used) = field_reg_base; + TREE_CHAIN (field_reg_base) = field_mem_ptr; +#else + TYPE_FIELDS (record) = field_reg_base; + TREE_CHAIN (field_reg_base) = field_mem_ptr; + TREE_CHAIN (field_mem_ptr) = field_ireg_used; + TREE_CHAIN (field_ireg_used) = field_freg_used; +#endif + + layout_type (record); + return record; +} + +void +i860_va_start (stdarg_p, valist, nextarg) + int stdarg_p; + tree valist; + rtx nextarg; +{ + tree saveregs, t; + + saveregs = make_tree (build_pointer_type (va_list_type_node), + expand_builtin_saveregs ()); + saveregs = build1 (INDIRECT_REF, va_list_type_node, saveregs); + + if (stdarg_p) + { + tree field_ireg_used, field_freg_used, field_reg_base, field_mem_ptr; + tree ireg_used, freg_used, reg_base, mem_ptr; + +#ifdef I860_SVR4_VA_LIST + field_ireg_used = TYPE_FIELDS (va_list_type_node); + field_freg_used = TREE_CHAIN (field_ireg_used); + field_reg_base = TREE_CHAIN (field_freg_used); + field_mem_ptr = TREE_CHAIN (field_reg_base); +#else + field_reg_base = TYPE_FIELDS (va_list_type_node); + field_mem_ptr = TREE_CHAIN (field_reg_base); + field_ireg_used = TREE_CHAIN (field_mem_ptr); + field_freg_used = TREE_CHAIN (field_ireg_used); +#endif + + ireg_used = build (COMPONENT_REF, TREE_TYPE (field_ireg_used), + valist, field_ireg_used); + freg_used = build (COMPONENT_REF, TREE_TYPE (field_freg_used), + valist, field_freg_used); + reg_base = build (COMPONENT_REF, TREE_TYPE (field_reg_base), + valist, field_reg_base); + mem_ptr = build (COMPONENT_REF, TREE_TYPE (field_mem_ptr), + valist, field_mem_ptr); + + t = build_int_2 (current_function_args_info.ints, 0); + t = build (MODIFY_EXPR, TREE_TYPE (ireg_used), ireg_used, t); + TREE_SIDE_EFFECTS (t) = 1; + expand_expr (t, const0_rtx, VOIDmode, EXPAND_NORMAL); + + t = build_int_2 (ROUNDUP (current_function_args_info.floats, 8), 0); + t = build (MODIFY_EXPR, TREE_TYPE (freg_used), freg_used, t); + TREE_SIDE_EFFECTS (t) = 1; + expand_expr (t, const0_rtx, VOIDmode, EXPAND_NORMAL); + + t = build (COMPONENT_REF, TREE_TYPE (field_reg_base), + saveregs, field_reg_base); + t = build (MODIFY_EXPR, TREE_TYPE (reg_base), reg_base, t); + TREE_SIDE_EFFECTS (t) = 1; + expand_expr (t, const0_rtx, VOIDmode, EXPAND_NORMAL); + + t = make_tree (ptr_type_node, nextarg); + t = build (MODIFY_EXPR, TREE_TYPE (mem_ptr), mem_ptr, t); + TREE_SIDE_EFFECTS (t) = 1; + expand_expr (t, const0_rtx, VOIDmode, EXPAND_NORMAL); + } + else + { + t = build (MODIFY_EXPR, va_list_type_node, valist, saveregs); + TREE_SIDE_EFFECTS (t) = 1; + expand_expr (t, const0_rtx, VOIDmode, EXPAND_NORMAL); + } +} + +#define NUM_PARM_FREGS 8 +#define NUM_PARM_IREGS 12 +#ifdef I860_SVR4_VARARGS +#define FREG_OFFSET 0 +#define IREG_OFFSET (NUM_PARM_FREGS * UNITS_PER_WORD) +#else +#define FREG_OFFSET (NUM_PARM_IREGS * UNITS_PER_WORD) +#define IREG_OFFSET 0 +#endif + +rtx +i860_va_arg (valist, type) + tree valist, type; +{ + tree field_ireg_used, field_freg_used, field_reg_base, field_mem_ptr; + tree type_ptr_node, t; + rtx lab_over = NULL_RTX; + rtx ret, val; + HOST_WIDE_INT align; + +#ifdef I860_SVR4_VA_LIST + field_ireg_used = TYPE_FIELDS (va_list_type_node); + field_freg_used = TREE_CHAIN (field_ireg_used); + field_reg_base = TREE_CHAIN (field_freg_used); + field_mem_ptr = TREE_CHAIN (field_reg_base); +#else + field_reg_base = TYPE_FIELDS (va_list_type_node); + field_mem_ptr = TREE_CHAIN (field_reg_base); + field_ireg_used = TREE_CHAIN (field_mem_ptr); + field_freg_used = TREE_CHAIN (field_ireg_used); +#endif + + field_ireg_used = build (COMPONENT_REF, TREE_TYPE (field_ireg_used), + valist, field_ireg_used); + field_freg_used = build (COMPONENT_REF, TREE_TYPE (field_freg_used), + valist, field_freg_used); + field_reg_base = build (COMPONENT_REF, TREE_TYPE (field_reg_base), + valist, field_reg_base); + field_mem_ptr = build (COMPONENT_REF, TREE_TYPE (field_mem_ptr), + valist, field_mem_ptr); + + ret = gen_reg_rtx (Pmode); + type_ptr_node = build_pointer_type (type); + + if (! AGGREGATE_TYPE_P (type)) + { + int nparm, incr, ofs; + tree field; + rtx lab_false; + + if (FLOAT_TYPE_P (type)) + { + field = field_freg_used; + nparm = NUM_PARM_FREGS; + incr = 2; + ofs = FREG_OFFSET; + } + else + { + field = field_ireg_used; + nparm = NUM_PARM_IREGS; + incr = int_size_in_bytes (type) / UNITS_PER_WORD; + ofs = IREG_OFFSET; + } + + lab_false = gen_label_rtx (); + lab_over = gen_label_rtx (); + + emit_cmp_and_jump_insns (expand_expr (field, NULL_RTX, 0, 0), + GEN_INT (nparm - incr), GT, const0_rtx, + TYPE_MODE (TREE_TYPE (field)), + TREE_UNSIGNED (field), 0, lab_false); + + t = fold (build (POSTINCREMENT_EXPR, TREE_TYPE (field), field, + build_int_2 (incr, 0))); + TREE_SIDE_EFFECTS (t) = 1; + + t = fold (build (MULT_EXPR, TREE_TYPE (field), field, + build_int_2 (UNITS_PER_WORD, 0))); + TREE_SIDE_EFFECTS (t) = 1; + + t = fold (build (PLUS_EXPR, ptr_type_node, field_reg_base, + fold (build (PLUS_EXPR, TREE_TYPE (field), t, + build_int_2 (ofs, 0))))); + TREE_SIDE_EFFECTS (t) = 1; + + val = expand_expr (t, ret, VOIDmode, EXPAND_NORMAL); + if (val != ret) + emit_move_insn (ret, val); + + emit_jump_insn (gen_jump (lab_over)); + emit_barrier (); + emit_label (lab_false); + } + + align = TYPE_ALIGN (type); + if (align < BITS_PER_WORD) + align = BITS_PER_WORD; + align /= BITS_PER_UNIT; + + t = build (PLUS_EXPR, ptr_type_node, field_mem_ptr, + build_int_2 (align - 1, 0)); + t = build (BIT_AND_EXPR, ptr_type_node, t, build_int_2 (-align, -1)); + + val = expand_expr (t, ret, VOIDmode, EXPAND_NORMAL); + if (val != ret) + emit_move_insn (ret, val); + + t = fold (build (PLUS_EXPR, ptr_type_node, + make_tree (ptr_type_node, ret), + build_int_2 (int_size_in_bytes (type), 0))); + t = build (MODIFY_EXPR, ptr_type_node, field_mem_ptr, t); + TREE_SIDE_EFFECTS (t) = 1; + expand_expr (t, const0_rtx, VOIDmode, EXPAND_NORMAL); + + if (lab_over) + emit_label (lab_over); + + return ret; +} diff --git a/gcc/config/i860/i860.h b/gcc/config/i860/i860.h index 0b0d3659e25..a95eccfc842 100644 --- a/gcc/config/i860/i860.h +++ b/gcc/config/i860/i860.h @@ -596,6 +596,22 @@ struct cumulative_args { int ints, floats; }; #define FUNCTION_EPILOGUE(FILE, SIZE) function_epilogue ((FILE), (SIZE)) +/* Generate necessary RTL for __builtin_saveregs(). */ +#define EXPAND_BUILTIN_SAVEREGS() \ + i860_saveregs() + +/* Define the `__builtin_va_list' type for the ABI. */ +#define BUILD_VA_LIST_TYPE(VALIST) \ + (VALIST) = i860_build_va_list () + +/* Implement `va_start' for varargs and stdarg. */ +#define EXPAND_BUILTIN_VA_START(stdarg, valist, nextarg) \ + i860_va_start (stdarg, valist, nextarg) + +/* Implement `va_arg'. */ +#define EXPAND_BUILTIN_VA_ARG(valist, type) \ + i860_va_arg (valist, type) + /* Store in the variable DEPTH the initial difference between the frame pointer reg contents and the stack pointer reg contents, as of the start of the function body. This depends on the layout @@ -1428,5 +1444,7 @@ extern char *output_move_double (); extern char *output_fp_move_double (); extern char *output_block_move (); extern char *output_delay_insn (); +#if 0 extern char *output_delayed_branch (); +#endif extern void output_load_address (); diff --git a/gcc/config/i860/i860.md b/gcc/config/i860/i860.md index 48e0c35a396..3b1fc32822c 100644 --- a/gcc/config/i860/i860.md +++ b/gcc/config/i860/i860.md @@ -2072,20 +2072,24 @@ fmul.ss %1,%0,%4\;fmul.ss %3,%4,%0\"; ;; Here are two simple peepholes which fill the delay slot of ;; an unconditional branch. - -(define_peephole - [(set (match_operand:SI 0 "register_operand" "=rf") - (match_operand:SI 1 "single_insn_src_p" "gfG")) - (set (pc) (label_ref (match_operand 2 "" "")))] - "" - "* return output_delayed_branch (\"br %l2\", operands, insn);") - -(define_peephole - [(set (match_operand:SI 0 "memory_operand" "=m") - (match_operand:SI 1 "reg_or_0_operand" "rfJ")) - (set (pc) (label_ref (match_operand 2 "" "")))] - "" - "* return output_delayed_branch (\"br %l2\", operands, insn);") +; +;; ??? All disabled, because output_delayed_branch is a crock +;; that will reliably segfault. This should be using the dbr +;; pass in any case. Anyone who cares is welcome to fix it. +; +;(define_peephole +; [(set (match_operand:SI 0 "register_operand" "=rf") +; (match_operand:SI 1 "single_insn_src_p" "gfG")) +; (set (pc) (label_ref (match_operand 2 "" "")))] +; "" +; "* return output_delayed_branch (\"br %l2\", operands, insn);") +; +;(define_peephole +; [(set (match_operand:SI 0 "memory_operand" "=m") +; (match_operand:SI 1 "reg_or_0_operand" "rfJ")) +; (set (pc) (label_ref (match_operand 2 "" "")))] +; "" +; "* return output_delayed_branch (\"br %l2\", operands, insn);") (define_insn "tablejump" [(set (pc) (match_operand:SI 0 "register_operand" "r")) @@ -2093,13 +2097,13 @@ fmul.ss %1,%0,%4\;fmul.ss %3,%4,%0\"; "" "bri %0\;nop") -(define_peephole - [(set (match_operand:SI 0 "memory_operand" "=m") - (match_operand:SI 1 "reg_or_0_operand" "rfJ")) - (set (pc) (match_operand:SI 2 "register_operand" "r")) - (use (label_ref (match_operand 3 "" "")))] - "" - "* return output_delayed_branch (\"bri %2\", operands, insn);") +;(define_peephole +; [(set (match_operand:SI 0 "memory_operand" "=m") +; (match_operand:SI 1 "reg_or_0_operand" "rfJ")) +; (set (pc) (match_operand:SI 2 "register_operand" "r")) +; (use (label_ref (match_operand 3 "" "")))] +; "" +; "* return output_delayed_branch (\"bri %2\", operands, insn);") ;;- jump to subroutine (define_expand "call" @@ -2137,37 +2141,37 @@ fmul.ss %1,%0,%4\;fmul.ss %3,%4,%0\"; return \"call %0\;nop\"; }") -(define_peephole - [(set (match_operand:SI 0 "register_operand" "=rf") - (match_operand:SI 1 "single_insn_src_p" "gfG")) - (call (match_operand:SI 2 "memory_operand" "m") - (match_operand 3 "" "i"))] - ;;- Don't use operand 1 for most machines. - "! reg_mentioned_p (operands[0], operands[2])" - "* -{ - /* strip the MEM. */ - operands[2] = XEXP (operands[2], 0); - if (GET_CODE (operands[2]) == REG) - return output_delayed_branch (\"calli %2\", operands, insn); - return output_delayed_branch (\"call %2\", operands, insn); -}") +;(define_peephole +; [(set (match_operand:SI 0 "register_operand" "=rf") +; (match_operand:SI 1 "single_insn_src_p" "gfG")) +; (call (match_operand:SI 2 "memory_operand" "m") +; (match_operand 3 "" "i"))] +; ;;- Don't use operand 1 for most machines. +; "! reg_mentioned_p (operands[0], operands[2])" +; "* +;{ +; /* strip the MEM. */ +; operands[2] = XEXP (operands[2], 0); +; if (GET_CODE (operands[2]) == REG) +; return output_delayed_branch (\"calli %2\", operands, insn); +; return output_delayed_branch (\"call %2\", operands, insn); +;}") -(define_peephole - [(set (match_operand:SI 0 "memory_operand" "=m") - (match_operand:SI 1 "reg_or_0_operand" "rfJ")) - (call (match_operand:SI 2 "call_insn_operand" "m") - (match_operand 3 "" "i"))] - ;;- Don't use operand 1 for most machines. - "" - "* -{ - /* strip the MEM. */ - operands[2] = XEXP (operands[2], 0); - if (GET_CODE (operands[2]) == REG) - return output_delayed_branch (\"calli %2\", operands, insn); - return output_delayed_branch (\"call %2\", operands, insn); -}") +;(define_peephole +; [(set (match_operand:SI 0 "memory_operand" "=m") +; (match_operand:SI 1 "reg_or_0_operand" "rfJ")) +; (call (match_operand:SI 2 "call_insn_operand" "m") +; (match_operand 3 "" "i"))] +; ;;- Don't use operand 1 for most machines. +; "" +; "* +;{ +; /* strip the MEM. */ +; operands[2] = XEXP (operands[2], 0); +; if (GET_CODE (operands[2]) == REG) +; return output_delayed_branch (\"calli %2\", operands, insn); +; return output_delayed_branch (\"call %2\", operands, insn); +;}") (define_expand "call_value" [(set (match_operand 0 "register_operand" "=rf") @@ -2205,39 +2209,39 @@ fmul.ss %1,%0,%4\;fmul.ss %3,%4,%0\"; return \"call %1\;nop\"; }") -(define_peephole - [(set (match_operand:SI 0 "register_operand" "=rf") - (match_operand:SI 1 "single_insn_src_p" "gfG")) - (set (match_operand 2 "" "=rf") - (call (match_operand:SI 3 "call_insn_operand" "m") - (match_operand 4 "" "i")))] - ;;- Don't use operand 4 for most machines. - "! reg_mentioned_p (operands[0], operands[3])" - "* -{ - /* strip the MEM. */ - operands[3] = XEXP (operands[3], 0); - if (GET_CODE (operands[3]) == REG) - return output_delayed_branch (\"calli %3\", operands, insn); - return output_delayed_branch (\"call %3\", operands, insn); -}") +;(define_peephole +; [(set (match_operand:SI 0 "register_operand" "=rf") +; (match_operand:SI 1 "single_insn_src_p" "gfG")) +; (set (match_operand 2 "" "=rf") +; (call (match_operand:SI 3 "call_insn_operand" "m") +; (match_operand 4 "" "i")))] +; ;;- Don't use operand 4 for most machines. +; "! reg_mentioned_p (operands[0], operands[3])" +; "* +;{ +; /* strip the MEM. */ +; operands[3] = XEXP (operands[3], 0); +; if (GET_CODE (operands[3]) == REG) +; return output_delayed_branch (\"calli %3\", operands, insn); +; return output_delayed_branch (\"call %3\", operands, insn); +;}") -(define_peephole - [(set (match_operand:SI 0 "memory_operand" "=m") - (match_operand:SI 1 "reg_or_0_operand" "rJf")) - (set (match_operand 2 "" "=rf") - (call (match_operand:SI 3 "call_insn_operand" "m") - (match_operand 4 "" "i")))] - ;;- Don't use operand 4 for most machines. - "" - "* -{ - /* strip the MEM. */ - operands[3] = XEXP (operands[3], 0); - if (GET_CODE (operands[3]) == REG) - return output_delayed_branch (\"calli %3\", operands, insn); - return output_delayed_branch (\"call %3\", operands, insn); -}") +;(define_peephole +; [(set (match_operand:SI 0 "memory_operand" "=m") +; (match_operand:SI 1 "reg_or_0_operand" "rJf")) +; (set (match_operand 2 "" "=rf") +; (call (match_operand:SI 3 "call_insn_operand" "m") +; (match_operand 4 "" "i")))] +; ;;- Don't use operand 4 for most machines. +; "" +; "* +;{ +; /* strip the MEM. */ +; operands[3] = XEXP (operands[3], 0); +; if (GET_CODE (operands[3]) == REG) +; return output_delayed_branch (\"calli %3\", operands, insn); +; return output_delayed_branch (\"call %3\", operands, insn); +;}") ;; Call subroutine returning any type. @@ -2301,10 +2305,10 @@ fmul.ss %1,%0,%4\;fmul.ss %3,%4,%0\"; return \"orh %H2,%?r0,%?r31\;or %L2,%?r31,%?r31\;ld.l %?r31(%1),%0\"; }") -(define_peephole - [(set (match_operand:SI 0 "register_operand" "=rf") - (match_operand:SI 1 "single_insn_src_p" "gfG")) - (set (pc) (match_operand:SI 2 "register_operand" "r")) - (use (label_ref (match_operand 3 "" "")))] - "REGNO (operands[0]) != REGNO (operands[2])" - "* return output_delayed_branch (\"bri %2\", operands, insn);") +;(define_peephole +; [(set (match_operand:SI 0 "register_operand" "=rf") +; (match_operand:SI 1 "single_insn_src_p" "gfG")) +; (set (pc) (match_operand:SI 2 "register_operand" "r")) +; (use (label_ref (match_operand 3 "" "")))] +; "REGNO (operands[0]) != REGNO (operands[2])" +; "* return output_delayed_branch (\"bri %2\", operands, insn);") diff --git a/gcc/config/i860/sysv4.h b/gcc/config/i860/sysv4.h index eca6b79ce2e..08d1112b28c 100644 --- a/gcc/config/i860/sysv4.h +++ b/gcc/config/i860/sysv4.h @@ -34,6 +34,10 @@ Boston, MA 02111-1307, USA. */ #define CPP_PREDEFINES \ "-Di860 -Dunix -DSVR4 -D__svr4__ -Asystem(unix) -Asystem(svr4) -Acpu(i860) -Amachine(i860)" +/* For the benefit of i860_va_arg, flag it this way too. */ + +#define I860_SVR4_VA_LIST 1 + /* The prefix to be used in assembler output for all names of registers. This string gets prepended to all i860 register names (svr4 only). */