diff options
| author | Segher Boessenkool <segher@kernel.crashing.org> | 2017-05-22 23:20:51 +0200 |
|---|---|---|
| committer | Segher Boessenkool <segher@gcc.gnu.org> | 2017-05-22 23:20:51 +0200 |
| commit | 2ea0d750147582b5d7bf405dce36f864618eacbd (patch) | |
| tree | 34cc1dd5be60d131c6db256516f0ff7f4e71c648 /gcc/cfgcleanup.c | |
| parent | 25b8168681bb5d1bc5e74c54b8f4cad635636ff1 (diff) | |
| download | gcc-2ea0d750147582b5d7bf405dce36f864618eacbd.zip gcc-2ea0d750147582b5d7bf405dce36f864618eacbd.tar.gz gcc-2ea0d750147582b5d7bf405dce36f864618eacbd.tar.bz2 | |
cfgcleanup: Ignore clobbers in bb_is_just_return
The function bb_is_just_return finds if the BB it is asked about does
just a return and nothing else. It currently does not allow clobbers
in the block either, which we of course can allow just fine.
This patch changes that.
* cfgcleanup.c (bb_is_just_return): Allow CLOBBERs.
gcc/testsuite/
From-SVN: r248351
Diffstat (limited to 'gcc/cfgcleanup.c')
| -rw-r--r-- | gcc/cfgcleanup.c | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/gcc/cfgcleanup.c b/gcc/cfgcleanup.c index f68a964..3e1406c 100644 --- a/gcc/cfgcleanup.c +++ b/gcc/cfgcleanup.c @@ -2666,7 +2666,7 @@ trivially_empty_bb_p (basic_block bb) /* Return true if BB contains just a return and possibly a USE of the return value. Fill in *RET and *USE with the return and use insns - if any found, otherwise NULL. */ + if any found, otherwise NULL. All CLOBBERs are ignored. */ static bool bb_is_just_return (basic_block bb, rtx_insn **ret, rtx_insn **use) @@ -2680,13 +2680,15 @@ bb_is_just_return (basic_block bb, rtx_insn **ret, rtx_insn **use) FOR_BB_INSNS (bb, insn) if (NONDEBUG_INSN_P (insn)) { - if (!*ret && ANY_RETURN_P (PATTERN (insn))) + rtx pat = PATTERN (insn); + + if (!*ret && ANY_RETURN_P (pat)) *ret = insn; - else if (!*ret && !*use && GET_CODE (PATTERN (insn)) == USE - && REG_P (XEXP (PATTERN (insn), 0)) - && REG_FUNCTION_VALUE_P (XEXP (PATTERN (insn), 0))) + else if (!*ret && !*use && GET_CODE (pat) == USE + && REG_P (XEXP (pat, 0)) + && REG_FUNCTION_VALUE_P (XEXP (pat, 0))) *use = insn; - else + else if (GET_CODE (pat) != CLOBBER) return false; } |