diff options
| author | Olivier Hainque <hainque@adacore.com> | 2019-08-13 11:04:52 +0000 |
|---|---|---|
| committer | Olivier Hainque <hainque@gcc.gnu.org> | 2019-08-13 11:04:52 +0000 |
| commit | 3010ee5514a16902c1c31fd8afbbd0285d0134c0 (patch) | |
| tree | a86ebb4ea1de27932e3f5b6d6b3446334d6e4f1e /gcc/cfgrtl.c | |
| parent | fb802d91461a2d65e9618abb6298c6ca7d39e7d7 (diff) | |
| download | gcc-3010ee5514a16902c1c31fd8afbbd0285d0134c0.zip gcc-3010ee5514a16902c1c31fd8afbbd0285d0134c0.tar.gz gcc-3010ee5514a16902c1c31fd8afbbd0285d0134c0.tar.bz2 | |
Handle casesi dispatch tablejumps in create_trace_edges (as well)
* rtlanal.c (tablejump_casesi_pattern): New function, to
determine if a tablejump insn is a casesi dispatcher. Extracted
from patch_jump_insn.
* rtl.h (tablejump_casesi_pattern): Declare.
* cfgrtl.c (patch_jump_insn): Use it.
* dwarf2cfi.c (create_trace_edges): Use it.
testsuite/
* gnat.dg/casesi.ad[bs], test_casesi.adb: New test.
From-SVN: r274377
Diffstat (limited to 'gcc/cfgrtl.c')
| -rw-r--r-- | gcc/cfgrtl.c | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/gcc/cfgrtl.c b/gcc/cfgrtl.c index 1f222ae..39fc7aa 100644 --- a/gcc/cfgrtl.c +++ b/gcc/cfgrtl.c @@ -1214,10 +1214,7 @@ patch_jump_insn (rtx_insn *insn, rtx_insn *old_label, basic_block new_bb) } /* Handle casesi dispatch insns. */ - if ((tmp = single_set (insn)) != NULL - && SET_DEST (tmp) == pc_rtx - && GET_CODE (SET_SRC (tmp)) == IF_THEN_ELSE - && GET_CODE (XEXP (SET_SRC (tmp), 2)) == LABEL_REF + if ((tmp = tablejump_casesi_pattern (insn)) != NULL_RTX && label_ref_label (XEXP (SET_SRC (tmp), 2)) == old_label) { XEXP (SET_SRC (tmp), 2) = gen_rtx_LABEL_REF (Pmode, |