X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firop.c;h=d4318f0fd7143ce42eb660a48b449bfaa2728bf4;hb=4f92e524762e0febc361676111b3b5b79addd03a;hp=82d2f144d66be28168cab7c6d2fbdad013ca230d;hpb=0df5e0ea5d4d6a566339ac4b93a73719858e81e1;p=libfirm

diff --git a/ir/ir/irop.c b/ir/ir/irop.c
index 82d2f144d..d4318f0fd 100644
--- a/ir/ir/irop.c
+++ b/ir/ir/irop.c
@@ -86,10 +86,11 @@ static void block_copy_attr(ir_graph *irg, const ir_node *old_node,
 	new_node->attr.block.block_visited = 0;
 	memset(&new_node->attr.block.dom, 0, sizeof(new_node->attr.block.dom));
 	memset(&new_node->attr.block.pdom, 0, sizeof(new_node->attr.block.pdom));
-	/* TODO: we should probably create a new entity. But we somehow have to
-	 * patch the stuff at the same time */
-	new_node->attr.block.entity            = NULL;
-	new_node->attr.block.phis              = NULL;
+	/* It should be safe to copy the entity here, as it has no back-link to the old block.
+	 * It serves just as a label number, so copying a labeled block results in an exact copy.
+	 * This is at least what we need for DCE to work. */
+	new_node->attr.block.entity         = old_node->attr.block.entity;
+	new_node->attr.block.phis           = NULL;
 	INIT_LIST_HEAD(&new_node->attr.block.succ_head);
 }