llvm/test/tools/llvm-diff/callbr.ll

   1 ; RUN: not llvm-diff %s %s 2>&1 | FileCheck %s
   2
   3 define void @foo() {
   4 entry:
   5   callbr void asm sideeffect "", "X,X,~{dirflag},~{fpsr},~{flags}"(i8* blockaddress(@foo, %return), i8* blockaddress(@foo, %t_no))
   6           to label %asm.fallthrough [label %return, label %t_no]
   7
   8 asm.fallthrough:
   9   br label %return
  10
  11 t_no:
  12   br label %return
  13
  14 return:
  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 "", "X,X,~{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 "", "X,X,~{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
  26 define void @bar() {
  27 entry:
  28   callbr void asm sideeffect "", "X,X,~{dirflag},~{fpsr},~{flags}"(i8* blockaddress(@foo, %t_no), i8* blockaddress(@foo, %return))
  29           to label %asm.fallthrough [label %return, label %t_no]
  30
  31 asm.fallthrough:
  32   br label %return
  33
  34 t_no:
  35   br label %return
  36
  37 return:
  38   ret void
  39 }