1; Just run it through opt, no passes needed. 2; This tests debug intrinsics, so we must explicitly disable records. 3; RUN: opt < %s -S --write-experimental-debuginfo=false | FileCheck %s 4 5; ModuleID = 'various_ir_values.c' 6source_filename = "various_ir_values.c" 7target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128" 8target triple = "x86_64-unknown-linux-gnu" 9 10; Function Attrs: nounwind uwtable 11define dso_local void @foo(ptr %A) #0 !dbg !7 { 12entry: 13 %A.addr = alloca ptr, align 8, !DIAssignID !62 14 %i = alloca i32, align 4 15 tail call void @llvm.dbg.assign(metadata i1 undef, metadata !13, metadata !DIExpression(), metadata !62, metadata ptr %A.addr, metadata !DIExpression()), !dbg !20 16 store ptr %A, ptr %A.addr, align 8, !tbaa !16 17 tail call void @llvm.dbg.declare(metadata ptr %A.addr, metadata !13, metadata !DIExpression()), !dbg !20 18 call void @llvm.lifetime.start.p0(i64 4, ptr %i) #3, !dbg !21 19 tail call void @llvm.dbg.declare(metadata ptr %i, metadata !14, metadata !DIExpression()), !dbg !22 20 store i32 0, ptr %i, align 4, !dbg !22, !tbaa !23 21 br label %for.cond, !dbg !21 22 23for.cond: ; preds = %for.inc, %entry 24 %0 = load i32, ptr %i, align 4, !dbg !25, !tbaa !23 25 %1 = load ptr, ptr %A.addr, align 8, !dbg !27, !tbaa !16 26 %2 = load i32, ptr %1, align 4, !dbg !28, !tbaa !23 27 %cmp = icmp slt i32 %0, %2, !dbg !29 28 br i1 %cmp, label %for.body, label %for.cond.cleanup, !dbg !30, !prof !61 29 30for.cond.cleanup: ; preds = %for.cond 31 call void @llvm.lifetime.end.p0(i64 4, ptr %i) #3, !dbg !31 32 br label %for.end 33 34for.body: ; preds = %for.cond 35 %3 = load ptr, ptr %A.addr, align 8, !dbg !32, !tbaa !16 36 %4 = load i32, ptr %i, align 4, !dbg !33, !tbaa !23 37 %idxprom = sext i32 %4 to i64, !dbg !32 38 %arrayidx = getelementptr inbounds i32, ptr %3, i64 %idxprom, !dbg !32 39 store i32 0, ptr %arrayidx, align 4, !dbg !34, !tbaa !23 40 br label %for.inc, !dbg !32 41 42for.inc: ; preds = %for.body 43 %5 = load i32, ptr %i, align 4, !dbg !35, !tbaa !23 44 %inc = add nsw i32 %5, 1, !dbg !35 45 store i32 %inc, ptr %i, align 4, !dbg !35, !tbaa !23 46 br label %for.cond, !dbg !31, !llvm.loop !36 47 48for.end: ; preds = %for.cond.cleanup 49 ret void, !dbg !38 50} 51 52; Function Attrs: nounwind readnone speculatable willreturn 53declare void @llvm.dbg.declare(metadata, metadata, metadata) #1 54 55; Function Attrs: argmemonly nounwind willreturn 56declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #2 57 58; Function Attrs: argmemonly nounwind willreturn 59declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #2 60 61; Function Attrs: nounwind uwtable 62define dso_local void @bar(ptr %A) #0 !dbg !39 { 63entry: 64 %A.addr = alloca ptr, align 8 65 %i = alloca i32, align 4 66 store ptr %A, ptr %A.addr, align 8, !tbaa !16 67 tail call void @llvm.dbg.declare(metadata ptr %A.addr, metadata !41, metadata !DIExpression()), !dbg !44 68 call void @llvm.lifetime.start.p0(i64 4, ptr %i) #3, !dbg !45 69 tail call void @llvm.dbg.declare(metadata ptr %i, metadata !42, metadata !DIExpression()), !dbg !46 70 store i32 0, ptr %i, align 4, !dbg !46, !tbaa !23 71 br label %for.cond, !dbg !45 72 73for.cond: ; preds = %for.inc, %entry 74 %0 = load i32, ptr %i, align 4, !dbg !47, !tbaa !23 75 %1 = load ptr, ptr %A.addr, align 8, !dbg !49, !tbaa !16 76 %2 = load i32, ptr %1, align 4, !dbg !50, !tbaa !23 77 %cmp = icmp slt i32 %0, %2, !dbg !51 78 br i1 %cmp, label %for.body, label %for.cond.cleanup, !dbg !52 79 80for.cond.cleanup: ; preds = %for.cond 81 call void @llvm.lifetime.end.p0(i64 4, ptr %i) #3, !dbg !53 82 br label %for.end 83 84for.body: ; preds = %for.cond 85 %3 = load ptr, ptr %A.addr, align 8, !dbg !54, !tbaa !16 86 %4 = load i32, ptr %i, align 4, !dbg !55, !tbaa !23 87 %idxprom = sext i32 %4 to i64, !dbg !54 88 %arrayidx = getelementptr inbounds i32, ptr %3, i64 %idxprom, !dbg !54 89 store i32 0, ptr %arrayidx, align 4, !dbg !56, !tbaa !23 90 br label %for.inc, !dbg !54 91 92for.inc: ; preds = %for.body 93 %5 = load i32, ptr %i, align 4, !dbg !57, !tbaa !23 94 %inc = add nsw i32 %5, 1, !dbg !57 95 store i32 %inc, ptr %i, align 4, !dbg !57, !tbaa !23 96 br label %for.cond, !dbg !53, !llvm.loop !58 97 98for.end: ; preds = %for.cond.cleanup 99 ret void, !dbg !60 100} 101 102declare void @llvm.dbg.assign(metadata, metadata, metadata, metadata, metadata, metadata) 103 104attributes #0 = { nounwind uwtable "correctly-rounded-divide-sqrt-fp-math"="false" "denormal-fp-math"="ieee,ieee" "denormal-fp-math-f32"="ieee,ieee" "disable-tail-calls"="false" "frame-pointer"="none" "less-precise-fpmad"="false" "min-legal-vector-width"="0" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" } 105attributes #1 = { nounwind readnone speculatable willreturn } 106attributes #2 = { argmemonly nounwind willreturn } 107attributes #3 = { nounwind } 108 109!llvm.dbg.cu = !{!0} 110!llvm.module.flags = !{!3, !4, !5} 111!llvm.ident = !{!6} 112 113!0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, producer: "clang version 11.0.0 (git@github.com:llvm/llvm-project.git 1d5da8cd30fce1c0a2c2fa6ba656dbfaa36192c8)", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, splitDebugInlining: false, nameTableKind: None) 114!1 = !DIFile(filename: "various_ir_values.c", directory: "/data/build/llvm-project") 115!2 = !{} 116!3 = !{i32 7, !"Dwarf Version", i32 4} 117!4 = !{i32 2, !"Debug Info Version", i32 3} 118!5 = !{i32 1, !"wchar_size", i32 4} 119!6 = !{!"clang version 11.0.0 (git@github.com:llvm/llvm-project.git 1d5da8cd30fce1c0a2c2fa6ba656dbfaa36192c8)"} 120!7 = distinct !DISubprogram(name: "foo", scope: !1, file: !1, line: 1, type: !8, scopeLine: 1, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !12) 121!8 = !DISubroutineType(types: !9) 122!9 = !{null, !10} 123!10 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !11, size: 64) 124!11 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed) 125!12 = !{!13, !14} 126!13 = !DILocalVariable(name: "A", arg: 1, scope: !7, file: !1, line: 1, type: !10) 127!14 = !DILocalVariable(name: "i", scope: !15, file: !1, line: 3, type: !11) 128!15 = distinct !DILexicalBlock(scope: !7, file: !1, line: 3, column: 3) 129!16 = !{!17, !17, i64 0} 130!17 = !{!"any pointer", !18, i64 0} 131!18 = !{!"omnipotent char", !19, i64 0} 132!19 = !{!"Simple C/C++ TBAA"} 133!20 = !DILocation(line: 1, column: 15, scope: !7) 134!21 = !DILocation(line: 3, column: 8, scope: !15) 135!22 = !DILocation(line: 3, column: 12, scope: !15) 136!23 = !{!24, !24, i64 0} 137!24 = !{!"int", !18, i64 0} 138!25 = !DILocation(line: 3, column: 19, scope: !26) 139!26 = distinct !DILexicalBlock(scope: !15, file: !1, line: 3, column: 3) 140!27 = !DILocation(line: 3, column: 24, scope: !26) 141!28 = !DILocation(line: 3, column: 23, scope: !26) 142!29 = !DILocation(line: 3, column: 21, scope: !26) 143!30 = !DILocation(line: 3, column: 3, scope: !15) 144!31 = !DILocation(line: 3, column: 3, scope: !26) 145!32 = !DILocation(line: 4, column: 5, scope: !26) 146!33 = !DILocation(line: 4, column: 7, scope: !26) 147!34 = !DILocation(line: 4, column: 10, scope: !26) 148!35 = !DILocation(line: 3, column: 27, scope: !26) 149!36 = distinct !{!36, !30, !37} 150!37 = !DILocation(line: 4, column: 12, scope: !15) 151!38 = !DILocation(line: 5, column: 1, scope: !7) 152!39 = distinct !DISubprogram(name: "bar", scope: !1, file: !1, line: 7, type: !8, scopeLine: 7, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !40) 153!40 = !{!41, !42} 154!41 = !DILocalVariable(name: "A", arg: 1, scope: !39, file: !1, line: 7, type: !10) 155!42 = !DILocalVariable(name: "i", scope: !43, file: !1, line: 9, type: !11) 156!43 = distinct !DILexicalBlock(scope: !39, file: !1, line: 9, column: 3) 157!44 = !DILocation(line: 7, column: 15, scope: !39) 158!45 = !DILocation(line: 9, column: 8, scope: !43) 159!46 = !DILocation(line: 9, column: 12, scope: !43) 160!47 = !DILocation(line: 9, column: 19, scope: !48) 161!48 = distinct !DILexicalBlock(scope: !43, file: !1, line: 9, column: 3) 162!49 = !DILocation(line: 9, column: 24, scope: !48) 163!50 = !DILocation(line: 9, column: 23, scope: !48) 164!51 = !DILocation(line: 9, column: 21, scope: !48) 165!52 = !DILocation(line: 9, column: 3, scope: !43) 166!53 = !DILocation(line: 9, column: 3, scope: !48) 167!54 = !DILocation(line: 10, column: 5, scope: !48) 168!55 = !DILocation(line: 10, column: 7, scope: !48) 169!56 = !DILocation(line: 10, column: 10, scope: !48) 170!57 = !DILocation(line: 9, column: 27, scope: !48) 171!58 = distinct !{!58, !52, !59} 172!59 = !DILocation(line: 10, column: 12, scope: !43) 173!60 = !DILocation(line: 11, column: 1, scope: !39) 174!61 = !{!"branch_weights", i32 1, i32 1048575} 175!62 = distinct !DIAssignID() 176