llvm/test/Bitcode/nocfivalue.ll

   1 ; RUN: llvm-as < %s | llvm-dis | FileCheck %s
   2 ; RUN: verify-uselistorder %s
   3
   4 ; CHECK: @a = global [4 x void ()*] [void ()* no_cfi @f1, void ()* @f1, void ()* @f2, void ()* no_cfi @f2]
   5 @a = global [4 x void ()*] [void ()* no_cfi @f1, void ()* @f1, void ()* @f2, void ()* no_cfi @f2]
   6 ; CHECK: @b = constant void ()* no_cfi @f3
   7 @b = constant void ()* no_cfi @f3
   8 ; CHECK: @c = constant void ()* @f3
   9 @c = constant void ()* @f3
  10
  11 ; CHECK: declare void @f1()
  12 declare void @f1()
  13
  14 ; CHECK: declare void @f2()
  15 declare void @f2()
  16
  17 ; CHECK: define void @f3()
  18 define void @f3() {
  19   ; CHECK: call void no_cfi @f4()
  20   call void no_cfi @f4()
  21   ; CHECK: call void @f4()
  22   call void @f4()
  23   ; CHECK: call void no_cfi @f5()
  24   call void no_cfi @f5()
  25   ; CHECK: call void @f5()
  26   call void @f5()
  27   ret void
  28 }
  29
  30 ; CHECK: declare void @f4()
  31 declare void @f4()
  32
  33 ; CHECK: declare void @f5()
  34 declare void @f5()
  35
  36 define void @g() {
  37   %n = alloca void ()*, align 8
  38   ; CHECK: store void ()* no_cfi @f5, void ()** %n, align 8
  39   store void ()* no_cfi @f5, void ()** %n, align 8
  40   %1 = load void ()*, void ()** %n
  41   call void %1()
  42   ret void
  43 }