1 ; Mem2reg should not insert dead PHI nodes! The naive algorithm inserts a PHI
2 ; node in L3, even though there is no load of %A in anything dominated by L3.
4 ; RUN: llvm-upgrade < %s | llvm-as | opt -mem2reg | llvm-dis | not grep phi
6 void %test(int %B, bool %C) {
9 br bool %C, label %L1, label %L2
13 call void %test(int %D, bool false)
17 call void %test(int %E, bool true)