1 ; RUN: llvm-upgrade < %s | llvm-as | opt -condprop | llvm-dis | not grep phi
6 %Val = call bool %foo()
7 switch uint %C, label %T1 [
22 ;; PHI becomes dead after threading T2
23 %C2 = phi bool [%Val, %T1], [true, %T2], [%Val, %T3]
24 br bool %C2, label %L2, label %F2