1; RUN: llc < %s -mtriple=aarch64 -o - | FileCheck %s
2
3define void @foo(i32 %i) {
4entry:
5  switch i32 %i, label %if.end3 [
6    i32 5, label %if.then
7    i32 7, label %if.then2
8  ]
9
10if.then:
11  tail call void @bar() #0
12  br label %if.end3
13
14if.then2:
15  tail call void @bar() #0
16  br label %if.end3
17
18if.end3:
19  tail call void @bar() #0
20  ret void
21}
22
23declare void @bar()
24
25attributes #0 = { nomerge }
26
27; CHECK-LABEL: foo:
28; CHECK: // %bb.0: // %entry
29; CHECK: // %bb.1: // %entry
30; CHECK: // %bb.2: // %if.then
31; CHECK-NEXT: bl bar
32; CHECK: b bar
33; CHECK: .LBB0_3: // %if.then2
34; CHECK-NEXT: bl bar
35; CHECK: .LBB0_4: // %if.end3
36; CHECK: b bar
37