1 ; RUN: llvm-upgrade < %s | llvm-as | opt -condprop | llvm-dis | not grep phi
3 int %test(uint %C, bool %Val) {
4 switch uint %C, label %T1 [
19 ;; PHI becomes dead after threading T2
20 %C2 = phi bool [%Val, %T1], [true, %T2], [%Val, %T3]
21 br bool %C2, label %L2, label %F2