1; RUN: not llvm-diff %s %s 2>&1 | FileCheck %s
2
3define void @foo() {
4entry:
5  callbr void asm sideeffect "", "i,i,~{dirflag},~{fpsr},~{flags}"(i8* blockaddress(@foo, %return), i8* blockaddress(@foo, %t_no))
6          to label %asm.fallthrough [label %return, label %t_no]
7
8asm.fallthrough:
9  br label %return
10
11t_no:
12  br label %return
13
14return:
15  ret void
16}
17
18; CHECK:      in function bar:
19; CHECK-NOT:  in function foo:
20; CHECK-NEXT:  in block %entry:
21; CHECK-NEXT:    >   callbr void asm sideeffect "", "i,i,~{dirflag},~{fpsr},~{flags}"(i8* blockaddress(@foo, %t_no), i8* blockaddress(@foo, %return))
22; CHECK-NEXT:          to label %asm.fallthrough [label %return, label %t_no]
23; CHECK-NEXT:    <   callbr void asm sideeffect "", "i,i,~{dirflag},~{fpsr},~{flags}"(i8* blockaddress(@foo, %t_no), i8* blockaddress(@foo, %return))
24; CHECK-NEXT:          to label %asm.fallthrough [label %return, label %t_no]
25
26define void @bar() {
27entry:
28  callbr void asm sideeffect "", "i,i,~{dirflag},~{fpsr},~{flags}"(i8* blockaddress(@foo, %t_no), i8* blockaddress(@foo, %return))
29          to label %asm.fallthrough [label %return, label %t_no]
30
31asm.fallthrough:
32  br label %return
33
34t_no:
35  br label %return
36
37return:
38  ret void
39}
40