1 ; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis | FileCheck %s 2 ; RUN: verify-uselistorder %s 3 4 ; CHECK-LABEL: @test 5 ; CHECK: ret void, !bar !1, !foo !0 6 define void @test() { 7 add i32 2, 1, !bar !0 8 add i32 1, 2, !foo !1 9 call void @llvm.dbg.func.start(metadata !"foo") 10 extractvalue {{i32, i32}, i32} undef, 0, 1, !foo !0 11 ret void, !foo !0, !bar !1 12 } 13 14 ; CHECK-LABEL: define void @test2() !foo !2 !baz !3 15 define void @test2() !foo !2 !baz !3 { 16 unreachable 17 } 18 19 ; CHECK-LABEL: define void @test3() !bar !3 20 ; CHECK: unreachable, !bar !4 21 define void @test3() !bar !3 { 22 unreachable, !bar !4 23 } 24 25 ; CHECK-LABEL: define void @test_attachment_name() { 26 ; CHECK: unreachable, !\342abc !4 27 define void @test_attachment_name() { 28 ;; Escape the first character when printing text IR, since it's a digit 29 unreachable, !\34\32abc !4 30 } 31 32 !0 = !DILocation(line: 662302, column: 26, scope: !1) 33 !1 = distinct !DISubprogram(name: "foo") 34 !2 = distinct !{} 35 !3 = distinct !{} 36 !4 = distinct !{} 37 38 declare void @llvm.dbg.func.start(metadata) nounwind readnone 39 40 !foo = !{ !0 } 41 !bar = !{ !1 } 42
