diff options
| author | Martin Liska <mliska@suse.cz> | 2017-09-05 10:12:27 +0200 |
|---|---|---|
| committer | Martin Liska <marxin@gcc.gnu.org> | 2017-09-05 08:12:27 +0000 |
| commit | 02e637d86f9ecb6d0e368438291bb6f6f8feb3ab (patch) | |
| tree | 93af2d7dae66c7bb229217f75ae4b0d99853f7c7 /gcc/tree-cfg.c | |
| parent | b471c5c6cf2bfe51699b7fcbcffc34024ff7bfce (diff) | |
| download | gcc-02e637d86f9ecb6d0e368438291bb6f6f8feb3ab.zip gcc-02e637d86f9ecb6d0e368438291bb6f6f8feb3ab.tar.gz gcc-02e637d86f9ecb6d0e368438291bb6f6f8feb3ab.tar.bz2 | |
Learn CFG cleanup to transform single case switches to gcond.
2017-09-05 Martin Liska <mliska@suse.cz>
PR tree-optimization/82032
* tree-cfg.c (generate_range_test): New function.
* tree-cfg.h (generate_range_test): Declared here.
* tree-cfgcleanup.c (convert_single_case_switch): New function.
(cleanup_control_expr_graph): Use it.
* tree-switch-conversion.c (try_switch_expansion): Remove
assert.
(emit_case_nodes): Use generate_range_test.
2017-09-05 Martin Liska <mliska@suse.cz>
PR tree-optimization/82032
* g++.dg/other/pr82032.C: New test.
* gcc.dg/tree-ssa/pr68198.c: Update scanned pattern.
* gcc.dg/tree-ssa/vrp34.c: Likewise.
* gcc.dg/switch-10.c: Likewise.
From-SVN: r251690
Diffstat (limited to 'gcc/tree-cfg.c')
| -rw-r--r-- | gcc/tree-cfg.c | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c index b759306..b601012 100644 --- a/gcc/tree-cfg.c +++ b/gcc/tree-cfg.c @@ -8927,7 +8927,31 @@ extract_true_false_controlled_edges (basic_block dom, basic_block phiblock, return true; } +/* Generate a range test LHS CODE RHS that determines whether INDEX is in the + range [low, high]. Place associated stmts before *GSI. */ +void +generate_range_test (basic_block bb, tree index, tree low, tree high, + tree *lhs, tree *rhs) +{ + tree type = TREE_TYPE (index); + tree utype = unsigned_type_for (type); + + low = fold_convert (type, low); + high = fold_convert (type, high); + + tree tmp = make_ssa_name (type); + gassign *sub1 + = gimple_build_assign (tmp, MINUS_EXPR, index, low); + + *lhs = make_ssa_name (utype); + gassign *a = gimple_build_assign (*lhs, NOP_EXPR, tmp); + + *rhs = fold_build2 (MINUS_EXPR, utype, high, low); + gimple_stmt_iterator gsi = gsi_last_bb (bb); + gsi_insert_before (&gsi, sub1, GSI_SAME_STMT); + gsi_insert_before (&gsi, a, GSI_SAME_STMT); +} /* Emit return warnings. */ |