From c88b2e07f220c810ee66677f6ff0216b17428598 Mon Sep 17 00:00:00 2001 From: rth Date: Fri, 15 Jan 1999 09:19:18 +0000 Subject: Revert mistaken commit from the wrong tree. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@24678 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/integrate.c | 117 ++++++-------------------------------------------------- 1 file changed, 12 insertions(+), 105 deletions(-) (limited to 'gcc/integrate.c') diff --git a/gcc/integrate.c b/gcc/integrate.c index 841989fa003..32dacfa4556 100644 --- a/gcc/integrate.c +++ b/gcc/integrate.c @@ -1778,12 +1778,12 @@ expand_inline_function (fndecl, parms, target, ignore, type, /* Machine mode function was declared to return. */ enum machine_mode departing_mode = TYPE_MODE (type); - /* (Possibly wider) machine mode it actually computes (for the sake of callers that fail to declare it right). We have to use the mode of the result's RTL, rather than its type, since expand_function_start may have promoted it. */ - enum machine_mode arriving_mode = GET_MODE (loc); + enum machine_mode arriving_mode + = GET_MODE (DECL_RTL (DECL_RESULT (fndecl))); rtx reg_to_map; /* Don't use MEMs as direct targets because on some machines @@ -1797,11 +1797,16 @@ expand_inline_function (fndecl, parms, target, ignore, type, the mode from that, otherwise abort. */ if (departing_mode == BLKmode) { - departing_mode = GET_MODE (loc); - arriving_mode = departing_mode; + if (REG == GET_CODE (DECL_RTL (DECL_RESULT (fndecl)))) + { + departing_mode = GET_MODE (DECL_RTL (DECL_RESULT (fndecl))); + arriving_mode = departing_mode; + } + else + abort(); } - target = gen_reg_rtx (departing_mode); + target = gen_reg_rtx (departing_mode); } /* If function's value was promoted before return, @@ -1833,86 +1838,6 @@ expand_inline_function (fndecl, parms, target, ignore, type, else map->reg_map[REGNO (loc)] = reg_to_map; } - else if (GET_CODE (loc) == CONCAT) - { - /* The function returns an object in a pair of registers and we use - the return value. Set up our target for remapping. */ - - /* Machine mode function was declared to return. */ - enum machine_mode departing_mode = TYPE_MODE (type); - - /* (Possibly wider) machine mode it actually computes - (for the sake of callers that fail to declare it right). - We have to use the mode of the result's RTL, rather than - its type, since expand_function_start may have promoted it. */ - enum machine_mode arriving_mode = GET_MODE (loc); - rtx reg_to_map; - - /* Don't use MEMs as direct targets because on some machines - substituting a MEM for a REG makes invalid insns. - Let the combiner substitute the MEM if that is valid. */ - if (target == 0 || GET_CODE (target) != REG - || GET_MODE (target) != departing_mode) - { - /* Don't make BLKmode registers. If this looks like - a BLKmode object being returned in a register, get - the mode from that, otherwise abort. */ - if (departing_mode == BLKmode) - { - departing_mode = GET_MODE (DECL_RTL (DECL_RESULT (fndecl))); - arriving_mode = departing_mode; - } - - target = gen_reg_rtx (departing_mode); - } - - /* If function's value was promoted before return, - avoid machine mode mismatch when we substitute INLINE_TARGET. - But TARGET is what we will return to the caller. */ - if (arriving_mode != departing_mode) - { - enum machine_mode submode; - - /* Avoid creating a paradoxical subreg wider than - BITS_PER_WORD, since that is illegal. */ - if (GET_MODE_UNIT_SIZE (arriving_mode) > UNITS_PER_WORD) - { - if (!(TRULY_NOOP_TRUNCATION - (GET_MODE_SIZE (departing_mode) * BITS_PER_UNIT, - GET_MODE_SIZE (arriving_mode) * BITS_PER_UNIT))) - /* Maybe could be handled by using convert_move () ? */ - abort (); - - reg_to_map = gen_reg_rtx (arriving_mode); - - submode = TOGGLE_COMPLEX_MODE (departing_mode); - target - = gen_rtx_CONCAT (departing_mode, - gen_lowpart (submode, XEXP (reg_to_map, 0)), - gen_lowpart (submode, XEXP (reg_to_map, 1))); - } - else - { - submode = TOGGLE_COMPLEX_MODE (arriving_mode); - reg_to_map - = gen_rtx_CONCAT (arriving_mode, - gen_lowpart (submode, XEXP (target, 0)), - gen_lowpart (submode, XEXP (target, 1))); - } - } - else - reg_to_map = target; - - /* Usually, the result value is the machine's return register. - Sometimes it may be a pseudo. Handle both cases. */ - if (REG_FUNCTION_VALUE_P (XEXP (loc, 0))) - map->inline_target = reg_to_map; - else - { - map->reg_map[REGNO (XEXP (loc, 0))] = XEXP (reg_to_map, 0); - map->reg_map[REGNO (XEXP (loc, 1))] = XEXP (reg_to_map, 1); - } - } else abort (); @@ -2512,26 +2437,8 @@ copy_rtx_and_substitute (orig, map) /* Must be unrolling loops or replicating code if we reach here, so return the register unchanged. */ return orig; - else if (GET_MODE (map->inline_target) == BLKmode) - return map->inline_target; - else if (GET_CODE (map->inline_target) == CONCAT) - { - rtx ret; - - /* ??? Assume that the real part of a concat is in the - first function value register. */ - if (REGNO (orig) == 0 - || ! FUNCTION_VALUE_REGNO_P (REGNO (orig) - 1)) - ret = XEXP (map->inline_target, 0); - else - ret = XEXP (map->inline_target, 1); - - if (mode != GET_MODE (ret)) - ret = gen_lowpart (mode, ret); - - return ret; - } - else if (mode != GET_MODE (map->inline_target)) + else if (GET_MODE (map->inline_target) != BLKmode + && mode != GET_MODE (map->inline_target)) return gen_lowpart (mode, map->inline_target); else return map->inline_target; -- cgit v1.2.1