diff options
| -rw-r--r-- | src/compiler/nir/nir.h | 1 | ||||
| -rw-r--r-- | src/compiler/nir/nir_dominance.c | 14 |
2 files changed, 15 insertions, 0 deletions
diff --git a/src/compiler/nir/nir.h b/src/compiler/nir/nir.h index ab1aab774a0..1bfea2b2143 100644 --- a/src/compiler/nir/nir.h +++ b/src/compiler/nir/nir.h @@ -3373,6 +3373,7 @@ void nir_calc_dominance(nir_shader *shader); nir_block *nir_dominance_lca(nir_block *b1, nir_block *b2); bool nir_block_dominates(nir_block *parent, nir_block *child); +bool nir_block_is_unreachable(nir_block *block); void nir_dump_dom_tree_impl(nir_function_impl *impl, FILE *fp); void nir_dump_dom_tree(nir_shader *shader, FILE *fp); diff --git a/src/compiler/nir/nir_dominance.c b/src/compiler/nir/nir_dominance.c index c678727b471..8369c28984d 100644 --- a/src/compiler/nir/nir_dominance.c +++ b/src/compiler/nir/nir_dominance.c @@ -239,6 +239,20 @@ nir_block_dominates(nir_block *parent, nir_block *child) child->dom_post_index <= parent->dom_post_index; } +bool +nir_block_is_unreachable(nir_block *block) +{ + assert(nir_cf_node_get_function(&block->cf_node)->valid_metadata & + nir_metadata_dominance); + assert(nir_cf_node_get_function(&block->cf_node)->valid_metadata & + nir_metadata_block_index); + + /* Unreachable blocks have no dominator. The only reachable block with no + * dominator is the start block which has index 0. + */ + return block->index > 0 && block->imm_dom == NULL; +} + void nir_dump_dom_tree_impl(nir_function_impl *impl, FILE *fp) { |