From 9cb221d9794701cbfa6e802eab6daa2e631cd669 Mon Sep 17 00:00:00 2001 From: Matthias Braun Date: Wed, 27 Apr 2011 13:22:31 +0200 Subject: [PATCH] verify that the predecessor of a block is a cfop --- ir/ir/irverify.c | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/ir/ir/irverify.c b/ir/ir/irverify.c index c093b921c..c0b8baba2 100644 --- a/ir/ir/irverify.c +++ b/ir/ir/irverify.c @@ -768,13 +768,14 @@ static int verify_node_Block(ir_node *n, ir_graph *irg) ASSERT_AND_RET( is_Bad(pred) || (get_irn_mode(pred) == mode_X), "Block node must have a mode_X predecessor", 0); + ASSERT_AND_RET(is_cfop(skip_Proj(pred)), "Block predecessor must be a cfop", 0); } if (n == get_irg_start_block(irg)) { ASSERT_AND_RET(get_Block_n_cfgpreds(n) == 0, "Start Block node", 0); } - if (n == get_irg_end_block(irg) && get_irg_phase_state(irg) != phase_backend) + if (n == get_irg_end_block(irg) && get_irg_phase_state(irg) != phase_backend) { /* End block may only have Return, Raise or fragile ops as preds. */ for (i = get_Block_n_cfgpreds(n) - 1; i >= 0; --i) { ir_node *pred = skip_Proj(get_Block_cfgpred(n, i)); @@ -789,9 +790,10 @@ static int verify_node_Block(ir_node *n, ir_graph *irg) ), "End Block node", 0); } - /* irg attr must == graph we are in. */ - ASSERT_AND_RET(((get_irn_irg(n) && get_irn_irg(n) == irg)), "Block node has wrong irg attribute", 0); - return 1; + } + /* irg attr must == graph we are in. */ + ASSERT_AND_RET(((get_irn_irg(n) && get_irn_irg(n) == irg)), "Block node has wrong irg attribute", 0); + return 1; } /** -- 2.20.1