1; RUN: opt -S -passes=mem2reg <%s | FileCheck %s 2; RUN: opt -S -passes=mem2reg <%s --try-experimental-debuginfo-iterators | FileCheck %s 3 4declare void @llvm.dbg.declare(metadata, metadata, metadata) nounwind readnone 5 6declare void @foo(i32, i64, ptr) 7 8define void @baz(i32 %a) nounwind ssp !dbg !1 { 9; CHECK-LABEL: entry: 10; CHECK-NEXT: %"alloca point" = bitcast i32 0 to i32{{$}} 11; CHECK-NEXT: #dbg_value(i32 %a,{{.*}}, 12; CHECK-NEXT: #dbg_value(i32 %a,{{.*}}, 13; CHECK-NEXT: #dbg_value(i64 55,{{.*}}, 14; CHECK-NEXT: #dbg_value(ptr @baz,{{.*}}, 15; CHECK-NEXT: call void @foo({{.*}}, !dbg 16; CHECK-NEXT: br label %return, !dbg 17entry: 18 %x_addr.i = alloca i32 ; <ptr> [#uses=2] 19 %y_addr.i = alloca i64 ; <ptr> [#uses=2] 20 %z_addr.i = alloca ptr ; <ptr> [#uses=2] 21 %a_addr = alloca i32 ; <ptr> [#uses=2] 22 %"alloca point" = bitcast i32 0 to i32 ; <i32> [#uses=0] 23 call void @llvm.dbg.declare(metadata ptr %a_addr, metadata !0, metadata !DIExpression()), !dbg !7 24 store i32 %a, ptr %a_addr 25 %0 = load i32, ptr %a_addr, align 4, !dbg !8 ; <i32> [#uses=1] 26 call void @llvm.dbg.declare(metadata ptr %x_addr.i, metadata !9, metadata !DIExpression()) nounwind, !dbg !15 27 store i32 %0, ptr %x_addr.i 28 call void @llvm.dbg.declare(metadata ptr %y_addr.i, metadata !16, metadata !DIExpression()) nounwind, !dbg !15 29 store i64 55, ptr %y_addr.i 30 call void @llvm.dbg.declare(metadata ptr %z_addr.i, metadata !17, metadata !DIExpression()) nounwind, !dbg !15 31 store ptr @baz, ptr %z_addr.i 32 %1 = load i32, ptr %x_addr.i, align 4, !dbg !18 ; <i32> [#uses=1] 33 %2 = load i64, ptr %y_addr.i, align 8, !dbg !18 ; <i64> [#uses=1] 34 %3 = load ptr, ptr %z_addr.i, align 8, !dbg !18 ; <ptr> [#uses=1] 35 call void @foo(i32 %1, i64 %2, ptr %3) nounwind, !dbg !18 36 br label %return, !dbg !19 37 38; CHECK-LABEL: return: 39; CHECK-NEXT: ret void, !dbg 40return: ; preds = %entry 41 ret void, !dbg !19 42} 43 44!llvm.dbg.cu = !{!3} 45!llvm.module.flags = !{!22} 46!0 = !DILocalVariable(name: "a", line: 8, arg: 1, scope: !1, file: !2, type: !6) 47!1 = distinct !DISubprogram(name: "baz", linkageName: "baz", line: 8, isLocal: false, isDefinition: true, virtualIndex: 6, isOptimized: false, unit: !3, scopeLine: 8, file: !20, scope: !2, type: !4) 48!2 = !DIFile(filename: "bar.c", directory: "/tmp/") 49!3 = distinct !DICompileUnit(language: DW_LANG_C89, producer: "4.2.1 (Based on Apple Inc. build 5658) (LLVM build)", isOptimized: true, emissionKind: FullDebug, file: !20, enums: !21, retainedTypes: !21) 50!4 = !DISubroutineType(types: !5) 51!5 = !{null, !6} 52!6 = !DIBasicType(tag: DW_TAG_base_type, name: "int", size: 32, align: 32, encoding: DW_ATE_signed) 53!7 = !DILocation(line: 8, scope: !1) 54!8 = !DILocation(line: 9, scope: !1) 55!9 = !DILocalVariable(name: "x", line: 4, arg: 1, scope: !10, file: !2, type: !6) 56!10 = distinct !DISubprogram(name: "bar", linkageName: "bar", line: 4, isLocal: true, isDefinition: true, virtualIndex: 6, isOptimized: false, unit: !3, scopeLine: 4, file: !20, scope: !2, type: !11) 57!11 = !DISubroutineType(types: !12) 58!12 = !{null, !6, !13, !14} 59!13 = !DIBasicType(tag: DW_TAG_base_type, name: "long int", size: 64, align: 64, encoding: DW_ATE_signed) 60!14 = !DIDerivedType(tag: DW_TAG_pointer_type, size: 64, align: 64, file: !20, scope: !2, baseType: null) 61!15 = !DILocation(line: 4, scope: !10, inlinedAt: !8) 62!16 = !DILocalVariable(name: "y", line: 4, arg: 2, scope: !10, file: !2, type: !13) 63!17 = !DILocalVariable(name: "z", line: 4, arg: 3, scope: !10, file: !2, type: !14) 64!18 = !DILocation(line: 5, scope: !10, inlinedAt: !8) 65!19 = !DILocation(line: 10, scope: !1) 66!20 = !DIFile(filename: "bar.c", directory: "/tmp/") 67!21 = !{} 68!22 = !{i32 1, !"Debug Info Version", i32 3} 69