diff options
| author | James Greenhalgh <james.greenhalgh@arm.com> | 2014-12-06 19:19:37 +0000 |
|---|---|---|
| committer | Sebastian Pop <spop@gcc.gnu.org> | 2014-12-06 19:19:37 +0000 |
| commit | 50e9ff8378be0c7353d3f3fb6fa4e4dc3c3367e6 (patch) | |
| tree | be99cdc2f4eabd845c85ec93cd7cf3a54a99d5e3 /gcc/tree-ssa-threadupdate.h | |
| parent | b5a9fd3e94138512e2f999316baff7790e971174 (diff) | |
| download | gcc-50e9ff8378be0c7353d3f3fb6fa4e4dc3c3367e6.zip gcc-50e9ff8378be0c7353d3f3fb6fa4e4dc3c3367e6.tar.gz gcc-50e9ff8378be0c7353d3f3fb6fa4e4dc3c3367e6.tar.bz2 | |
extend jump thread for finite state automata
PR tree-optimization/54742
* params.def (max-fsm-thread-path-insns, max-fsm-thread-length,
max-fsm-thread-paths): New.
* doc/invoke.texi (max-fsm-thread-path-insns, max-fsm-thread-length,
max-fsm-thread-paths): Documented.
* tree-cfg.c (split_edge_bb_loc): Export.
* tree-cfg.h (split_edge_bb_loc): Declared extern.
* tree-ssa-threadedge.c (simplify_control_stmt_condition): Restore the
original value of cond when simplification fails.
(fsm_find_thread_path): New.
(fsm_find_control_statement_thread_paths): New.
(thread_through_normal_block): Call find_control_statement_thread_paths.
* tree-ssa-threadupdate.c (dump_jump_thread_path): Pretty print
EDGE_FSM_THREAD.
(verify_seme): New.
(duplicate_seme_region): New.
(thread_through_all_blocks): Generate code for EDGE_FSM_THREAD edges
calling duplicate_seme_region.
* tree-ssa-threadupdate.h (jump_thread_edge_type): Add EDGE_FSM_THREAD.
* testsuite/gcc.dg/tree-ssa/ssa-dom-thread-6.c: New test.
* testsuite/gcc.dg/tree-ssa/ssa-dom-thread-7.c: New test.
Co-Authored-By: Brian Rzycki <b.rzycki@samsung.com>
Co-Authored-By: Sebastian Pop <s.pop@samsung.com>
From-SVN: r218451
Diffstat (limited to 'gcc/tree-ssa-threadupdate.h')
| -rw-r--r-- | gcc/tree-ssa-threadupdate.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/tree-ssa-threadupdate.h b/gcc/tree-ssa-threadupdate.h index 426aca5..22c5bce 100644 --- a/gcc/tree-ssa-threadupdate.h +++ b/gcc/tree-ssa-threadupdate.h @@ -26,6 +26,7 @@ extern bool thread_through_all_blocks (bool); enum jump_thread_edge_type { EDGE_START_JUMP_THREAD, + EDGE_FSM_THREAD, EDGE_COPY_SRC_BLOCK, EDGE_COPY_SRC_JOINER_BLOCK, EDGE_NO_COPY_SRC_BLOCK |