1 ; RUN: opt -deadargelim -S < %s | FileCheck %s 2 ; PR14016 3 4 ; Built with clang (then manually running -mem2reg with opt) from the following source: 5 ; static void f1(int, ...) { 6 ; } 7 ; 8 ; void f2() { 9 ; f1(1); 10 ; } 11 12 ; Test both varargs removal and removal of a traditional dead arg together, to 13 ; test both the basic functionality, and a particular wrinkle involving updating 14 ; the function->debug info mapping on update to ensure it's accurate when used 15 ; again for the next removal. 16 17 ; CHECK: !MDSubprogram(name: "f1",{{.*}} function: void ()* @_ZL2f1iz 18 19 ; Check that debug info metadata for subprograms stores pointers to 20 ; updated LLVM functions. 21 22 ; Function Attrs: uwtable 23 define void @_Z2f2v() #0 { 24 entry: 25 call void (i32, ...) @_ZL2f1iz(i32 1), !dbg !15 26 ret void, !dbg !16 27 } 28 29 ; Function Attrs: nounwind uwtable 30 define internal void @_ZL2f1iz(i32, ...) #1 { 31 entry: 32 call void @llvm.dbg.value(metadata i32 %0, i64 0, metadata !17, metadata !18), !dbg !19 33 ret void, !dbg !20 34 } 35 36 ; Function Attrs: nounwind readnone 37 declare void @llvm.dbg.declare(metadata, metadata, metadata) #2 38 39 ; Function Attrs: nounwind readnone 40 declare void @llvm.dbg.value(metadata, i64, metadata, metadata) #2 41 42 attributes #0 = { uwtable "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" } 43 attributes #1 = { nounwind uwtable "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" } 44 attributes #2 = { nounwind readnone } 45 46 !llvm.dbg.cu = !{!0} 47 !llvm.module.flags = !{!12, !13} 48 !llvm.ident = !{!14} 49 50 !0 = !MDCompileUnit(language: DW_LANG_C_plus_plus, producer: "clang version 3.6.0 ", isOptimized: false, emissionKind: 1, file: !1, enums: !2, retainedTypes: !2, subprograms: !3, globals: !2, imports: !2) 51 !1 = !MDFile(filename: "dbg.cpp", directory: "/tmp/dbginfo") 52 !2 = !{} 53 !3 = !{!4, !8} 54 !4 = !MDSubprogram(name: "f2", linkageName: "_Z2f2v", line: 4, isLocal: false, isDefinition: true, flags: DIFlagPrototyped, isOptimized: false, scopeLine: 4, file: !1, scope: !5, type: !6, function: void ()* @_Z2f2v, variables: !2) 55 !5 = !MDFile(filename: "dbg.cpp", directory: "/tmp/dbginfo") 56 !6 = !MDSubroutineType(types: !7) 57 !7 = !{null} 58 !8 = !MDSubprogram(name: "f1", linkageName: "_ZL2f1iz", line: 1, isLocal: true, isDefinition: true, flags: DIFlagPrototyped, isOptimized: false, scopeLine: 1, file: !1, scope: !5, type: !9, function: void (i32, ...)* @_ZL2f1iz, variables: !2) 59 !9 = !MDSubroutineType(types: !10) 60 !10 = !{null, !11, null} 61 !11 = !MDBasicType(tag: DW_TAG_base_type, name: "int", size: 32, align: 32, encoding: DW_ATE_signed) 62 !12 = !{i32 2, !"Dwarf Version", i32 4} 63 !13 = !{i32 2, !"Debug Info Version", i32 3} 64 !14 = !{!"clang version 3.6.0 "} 65 !15 = !MDLocation(line: 5, column: 3, scope: !4) 66 !16 = !MDLocation(line: 6, column: 1, scope: !4) 67 !17 = !MDLocalVariable(tag: DW_TAG_arg_variable, name: "", line: 1, arg: 1, scope: !8, file: !5, type: !11) 68 !18 = !MDExpression() 69 !19 = !MDLocation(line: 1, column: 19, scope: !8) 70 !20 = !MDLocation(line: 2, column: 1, scope: !8) 71
