test/Assembler/functionlocal-metadata.ll

   1 ; RUN: llvm-as < %s | llvm-dis | FileCheck %s
   2 ; RUN: verify-uselistorder %s
   3
   4 define void @Foo(i32 %a, i32 %b) {
   5 entry:
   6   call void @llvm.dbg.value(metadata i32* %1, i64 16, metadata !2, metadata !{!"0x102"})
   7 ; CHECK: call void @llvm.dbg.value(metadata i32* %1, i64 16, metadata ![[ID2:[0-9]+]], metadata {{.*}})
   8   %0 = add i32 %a, 1                              ; <i32> [#uses=1]
   9   %two = add i32 %b, %0                           ; <i32> [#uses=0]
  10   %1 = alloca i32                                 ; <i32*> [#uses=1]
  11
  12   call void @llvm.dbg.declare(metadata i32* %1, metadata i32* %1, metadata !{!"0x102"})
  13 ; CHECK: call void @llvm.dbg.declare(metadata i32* %1, metadata i32* %1, metadata {{.*}})
  14   call void @llvm.dbg.declare(metadata i32 %two, metadata i32 %0, metadata !{!"0x102"})
  15 ; CHECK: call void @llvm.dbg.declare(metadata i32 %two, metadata i32 %0, metadata {{.*}})
  16   call void @llvm.dbg.declare(metadata i32* %1, metadata i32 %b, metadata !{!"0x102"})
  17 ; CHECK: call void @llvm.dbg.declare(metadata i32* %1, metadata i32 %b, metadata {{.*}})
  18   call void @llvm.dbg.declare(metadata i32 %a, metadata i32 %a, metadata !{!"0x102"})
  19 ; CHECK: call void @llvm.dbg.declare(metadata i32 %a, metadata i32 %a, metadata {{.*}})
  20   call void @llvm.dbg.declare(metadata i32 %b, metadata i32 %two, metadata !{!"0x102"})
  21 ; CHECK: call void @llvm.dbg.declare(metadata i32 %b, metadata i32 %two, metadata {{.*}})
  22
  23   call void @llvm.dbg.value(metadata i32 %a, i64 0, metadata !1, metadata !{!"0x102"})
  24 ; CHECK: call void @llvm.dbg.value(metadata i32 %a, i64 0, metadata ![[ID1:[0-9]+]], metadata {{.*}})
  25   call void @llvm.dbg.value(metadata i32 %0, i64 25, metadata !0, metadata !{!"0x102"})
  26 ; CHECK: call void @llvm.dbg.value(metadata i32 %0, i64 25, metadata ![[ID0:[0-9]+]], metadata {{.*}})
  27   call void @llvm.dbg.value(metadata i32* %1, i64 16, metadata !3, metadata !{!"0x102"})
  28 ; CHECK: call void @llvm.dbg.value(metadata i32* %1, i64 16, metadata ![[ID3:[0-9]+]], metadata {{.*}})
  29   call void @llvm.dbg.value(metadata !3, i64 12, metadata !2, metadata !{!"0x102"})
  30 ; CHECK: call void @llvm.dbg.value(metadata ![[ID3]], i64 12, metadata ![[ID2]], metadata {{.*}})
  31
  32   ret void, !foo !0, !bar !1
  33 ; CHECK: ret void, !foo ![[FOO:[0-9]+]], !bar ![[BAR:[0-9]+]]
  34 }
  35
  36 !llvm.module.flags = !{!4}
  37
  38 !0 = !MDLocation(line: 662302, column: 26, scope: !1)
  39 !1 = !{i32 4, !"foo"}
  40 !2 = !{!"bar"}
  41 !3 = !{!"foo"}
  42 !4 = !{i32 1, !"Debug Info Version", i32 2}
  43
  44 declare void @llvm.dbg.declare(metadata, metadata, metadata) nounwind readnone
  45 declare void @llvm.dbg.value(metadata, i64, metadata, metadata) nounwind readnone
  46
  47 !foo = !{ !0 }
  48 !bar = !{ !1 }
  49
  50 ; CHECK: !foo = !{![[FOO]]}
  51 ; CHECK: !bar = !{![[BAR]]}
  52 ; CHECK: ![[ID0]] = !MDLocation(line: 662302, column: 26, scope: ![[ID1]])
  53 ; CHECK: ![[ID1]] = !{i32 4, !"foo"}
  54 ; CHECK: ![[ID2]] = !{!"bar"}
  55 ; CHECK: ![[ID3]] = !{!"foo"}