1; RUN: llc < %s -mtriple=arm -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