1/* Communication between registering jump thread requests and 2 updating the SSA/CFG for jump threading. 3 Copyright (C) 2013-2020 Free Software Foundation, Inc. 4 5This file is part of GCC. 6 7GCC is free software; you can redistribute it and/or modify 8it under the terms of the GNU General Public License as published by 9the Free Software Foundation; either version 3, or (at your option) 10any later version. 11 12GCC is distributed in the hope that it will be useful, 13but WITHOUT ANY WARRANTY; without even the implied warranty of 14MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 15GNU General Public License for more details. 16 17You should have received a copy of the GNU General Public License 18along with GCC; see the file COPYING3. If not see 19<http://www.gnu.org/licenses/>. */ 20 21#ifndef _TREE_SSA_THREADUPDATE_H 22#define _TREE_SSA_THREADUPDATE_H 1 23 24/* In tree-ssa-threadupdate.c. */ 25extern bool thread_through_all_blocks (bool); 26enum jump_thread_edge_type 27{ 28 EDGE_START_JUMP_THREAD, 29 EDGE_FSM_THREAD, 30 EDGE_COPY_SRC_BLOCK, 31 EDGE_COPY_SRC_JOINER_BLOCK, 32 EDGE_NO_COPY_SRC_BLOCK 33}; 34 35class jump_thread_edge 36{ 37public: 38 jump_thread_edge (edge e, enum jump_thread_edge_type type) 39 : e (e), type (type) {} 40 41 edge e; 42 enum jump_thread_edge_type type; 43}; 44 45extern void register_jump_thread (vec <class jump_thread_edge *> *); 46extern void remove_jump_threads_including (edge); 47extern void delete_jump_thread_path (vec <class jump_thread_edge *> *); 48extern void remove_ctrl_stmt_and_useless_edges (basic_block, basic_block); 49extern void free_dom_edge_info (edge); 50extern unsigned int estimate_threading_killed_stmts (basic_block); 51 52enum bb_dom_status 53{ 54 /* BB does not dominate latch of the LOOP. */ 55 DOMST_NONDOMINATING, 56 /* The LOOP is broken (there is no path from the header to its latch. */ 57 DOMST_LOOP_BROKEN, 58 /* BB dominates the latch of the LOOP. */ 59 DOMST_DOMINATING 60}; 61 62enum bb_dom_status determine_bb_domination_status (class loop *, basic_block); 63 64#endif 65