Hi.
I'm sending patch for situation where we create a bit-test for
entire switch. In that case split BB must be redirected so that
the original switch is a dead code.
Patch can bootstrap on ppc64le-redhat-linux and survives regression tests.
Ready to be installed?
Martin
gcc/ChangeLog:
2018-06-28 Martin Liska <[email protected]>
PR tree-optimization/86263
* tree-switch-conversion.c (switch_decision_tree::try_switch_expansion):
Make edge redirection.
---
gcc/tree-switch-conversion.c | 8 ++++++--
1 file changed, 6 insertions(+), 2 deletions(-)
diff --git a/gcc/tree-switch-conversion.c b/gcc/tree-switch-conversion.c
index b79f2fdb6e6..4c9e7b9436b 100644
--- a/gcc/tree-switch-conversion.c
+++ b/gcc/tree-switch-conversion.c
@@ -1732,8 +1732,12 @@ switch_decision_tree::try_switch_expansion (vec<cluster *> &clusters)
/* Do not do an extra work for a single cluster. */
if (clusters.length () == 1
&& clusters[0]->get_type () != SIMPLE_CASE)
- clusters[0]->emit (index_expr, index_type,
- gimple_switch_default_label (m_switch), m_default_bb);
+ {
+ cluster *c = clusters[0];
+ c->emit (index_expr, index_type,
+ gimple_switch_default_label (m_switch), m_default_bb);
+ redirect_edge_succ (single_succ_edge (bb), c->m_case_bb);
+ }
else
{
emit (bb, index_expr, default_edge->probability, index_type);