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/params.def | |
| 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/params.def')
| -rw-r--r-- | gcc/params.def | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/gcc/params.def b/gcc/params.def index 9b21c07..edf3f53 100644 --- a/gcc/params.def +++ b/gcc/params.def @@ -1140,6 +1140,21 @@ DEFPARAM (PARAM_CHKP_MAX_CTOR_SIZE, "Maximum number of statements to be included into a single static " "constructor generated by Pointer Bounds Checker", 5000, 100, 0) + +DEFPARAM (PARAM_MAX_FSM_THREAD_PATH_INSNS, + "max-fsm-thread-path-insns", + "Maximum number of instructions to copy when duplicating blocks on a finite state automaton jump thread path", + 100, 1, 999999) + +DEFPARAM (PARAM_MAX_FSM_THREAD_LENGTH, + "max-fsm-thread-length", + "Maximum number of basic blocks on a finite state automaton jump thread path", + 10, 1, 999999) + +DEFPARAM (PARAM_MAX_FSM_THREAD_PATHS, + "max-fsm-thread-paths", + "Maximum number of new jump thread paths to create for a finite state automaton", + 50, 1, 999999) /* Local variables: |