test/Feature/md_on_instruction.ll

   1 ; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis | FileCheck %s
   2
   3 define i32 @foo() nounwind ssp {
   4 entry:
   5   ; CHECK: %retval = alloca i32
   6   ; CHECK: store i32 42, i32* %retval, !md !0
   7   ; CHECK: br label %0, !md !1
   8   %retval = alloca i32
   9   store i32 42, i32* %retval, !md !0
  10   br label %0, !md !1
  11
  12 ; <label:0>
  13   ; CHECK: %1 = load i32, i32* %retval, !md !2
  14   ; CHECK: ret i32 %1, !md !3
  15   %1 = load i32, i32* %retval, !md !2
  16   ret i32 %1, !md !3
  17 }
  18
  19 ; CHECK: !0 = !{}
  20 ; CHECK: !1 = distinct !{}
  21 ; CHECK: !2 = !{!0}
  22 ; CHECK: !3 = !{!4}
  23 ; CHECK: !4 = !{!0, !2}
  24 !0 = !{}
  25 !1 = distinct !{}
  26 !2 = !{!0}
  27 !3 = !{!4}
  28 !4 = !{!0, !2}