1; RUN: llvm-as < %s -disable-output 2>&1 | FileCheck %s -allow-empty
2; CHECK-NOT: error
3; CHECK-NOT: warning
4; RUN: verify-uselistorder < %s
5
6define void @f1(i1 %cmp) {
7entry:
8 br i1 %cmp, label %branch, label %branch
9branch:
10 unreachable
11}
12