Paste: testcase

Author: slava
Mode: factor
Date: Wed, 22 Jul 2009 09:35:26
Plain Text | 
       1
      / \
     /   \
    2     \
   / \     \
  3   4     6
   \ /     /
    5     /
     \   / 
      \ /
       7

DF(3) = {5}
DF(4) = {5}
DF(5) = {7}
DF(6) = {7}

Suppose a value is defined in 3 and 4

According to the notes, we insert phi nodes at 5 and 7, but that's wrong,
no phi node is needed at 7

New Annotation

Summary:
Author:
Mode:
Body: