[LLVMdev] SwitchInstr::removeCase() doesn't remove PHINodes' predecessors

[Nuno Lopes]

Hi,

I've been writing an optimization pass (described on the ML previously). 
Sometimes this pass removes some case entries from switch instructions, 
which cause an abort because removeCase() doesn't fix the PHINodes 
predecessors when needed.

e.g.:

define i32 @foo() nounwind {
ifthen:
 %call = call i32 @bar()

 switch i32 %call, label %myphi [
  i32 0, label %ifelse
  i32 1, label %ifelse
 ]

ifelse:
 br label %myphi

myphi:
 %ret.0 = phi i32 [ 0, %ifthen ], [ 1, %ifelse ]
 ret i32 %ret.0
}

Suppose I remove the default target (i.e. replace it with other target BB). 
I get the following error:

PHINode should have one entry for each predecessor of its parent basic 
block!
        %ret.0 = phi i32 [ 0, %ifthen ], [ 1, %ifelse ]         ; <i32> 
[#uses=1]
Broken module found, compilation aborted!

This is because myphi is not reachable from ifthen anymore. My question is: 
is this a bug (or missing feature) or do I need to take care of the PHI 
Nodes myself? If it is the later what's the best way to handle that? (from 
what I could see I would need to iterate over all the instructions in the 
target BB and fix PHI Nodes if the target block becomes unreachable).


Thanks,
Nuno