diff options
| author | Jan Hubicka <hubicka@ucw.cz> | 2014-03-26 03:11:57 +0100 |
|---|---|---|
| committer | Jan Hubicka <hubicka@gcc.gnu.org> | 2014-03-26 02:11:57 +0000 |
| commit | 9de6f6c3eed463e8c41b95a28ad7f2186e379fff (patch) | |
| tree | 58c27722a6391d91e8bbfcb902c1edc28e754d14 /gcc/cif-code.def | |
| parent | d7636f5609dc4325d145b82adc9dd977d079303e (diff) | |
| download | gcc-9de6f6c3eed463e8c41b95a28ad7f2186e379fff.zip gcc-9de6f6c3eed463e8c41b95a28ad7f2186e379fff.tar.gz gcc-9de6f6c3eed463e8c41b95a28ad7f2186e379fff.tar.bz2 | |
re PR ipa/60315 (template constructor switch optimization)
PR ipa/60315
* cif-code.def (UNREACHABLE) New code.
* ipa-inline.c (inline_small_functions): Skip edges to __builtlin_unreachable.
(estimate_edge_growth): Allow edges to __builtlin_unreachable.
* ipa-inline-analysis.c (edge_set_predicate): Redirect edges with false
predicate to __bulitin_unreachable.
(set_cond_stmt_execution_predicate): Fix issue when invert_tree_comparison
returns ERROR_MARK.
* ipa-pure-const.c (propagate_pure_const, propagate_nothrow): Do not
propagate to inline clones.
* cgraph.c (verify_edge_corresponds_to_fndecl): Allow redirection
to unreachable.
* ipa-cp.c (create_specialized_node): Be ready for new node to appear.
* cgraphclones.c (cgraph_clone_node): If call destination is already
ureachable, do not redirect it back.
* tree-inline.c (fold_marked_statements): Hanlde calls becoming
unreachable.
From-SVN: r208831
Diffstat (limited to 'gcc/cif-code.def')
| -rw-r--r-- | gcc/cif-code.def | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/cif-code.def b/gcc/cif-code.def index 71f3e39a..ce64d96 100644 --- a/gcc/cif-code.def +++ b/gcc/cif-code.def @@ -127,3 +127,7 @@ DEFCIFCODE(USES_COMDAT_LOCAL, CIF_FINAL_NORMAL, /* We can't inline because of mismatched caller/callee attributes. */ DEFCIFCODE(ATTRIBUTE_MISMATCH, CIF_FINAL_NORMAL, N_("function attribute mismatch")) + +/* We proved that the call is unreachable. */ +DEFCIFCODE(UNREACHABLE, CIF_FINAL_NORMAL, + N_("unreachable")) |