; RUN: llvm-upgrade < %s | llvm-as | opt -extract-blocks -disable-output

implementation

void %test1() {
no_exit.0.i:
        br bool false, label %yylex.entry, label %yylex.entry

yylex.entry:
	%tmp.1027 = phi int  [ 0, %no_exit.0.i ], [ 0, %no_exit.0.i ]
	ret void
}

void %test2() {
no_exit.0.i:
        switch uint 0, label %yylex.entry [
            uint 0, label %yylex.entry
            uint 1, label %foo
        ]

yylex.entry:
        %tmp.1027 = phi int  [ 0, %no_exit.0.i ], [ 0, %no_exit.0.i ]
        ret void
foo:
        ret void
}

