1 ; RUN: llc -mtriple=x86_64-windows-msvc < %s | FileCheck %s --check-prefix=ASM 2 3 ; Make sure variables come out in the right order. windbg builds the prototype 4 ; from the order of these records. 5 6 ; C++ source to regenerate: 7 ; $ cat t.cpp 8 ; int f(int a, int b, int c) { 9 ; int d = 4; 10 ; int e = 5; 11 ; return a + b + c + d + e; 12 ; } 13 ; $ clang t.cpp -S -emit-llvm -g -gcodeview -o t.ll 14 15 ; ASM: .short 4414 # Record kind: S_LOCAL 16 ; ASM: .long 116 # TypeIndex 17 ; ASM: .short 1 # Flags 18 ; ASM: .asciz "a" 19 ; ASM: .cv_def_range 20 21 ; ASM: .short 4414 # Record kind: S_LOCAL 22 ; ASM: .long 116 # TypeIndex 23 ; ASM: .short 1 # Flags 24 ; ASM: .asciz "b" 25 ; ASM: .cv_def_range 26 27 ; ASM: .short 4414 # Record kind: S_LOCAL 28 ; ASM: .long 116 # TypeIndex 29 ; ASM: .short 1 # Flags 30 ; ASM: .asciz "c" 31 ; ASM: .cv_def_range 32 33 ; ASM: .short 4414 # Record kind: S_LOCAL 34 ; ASM: .long 116 # TypeIndex 35 ; ASM: .short 0 # Flags 36 ; ASM: .asciz "d" 37 ; ASM: .cv_def_range 38 39 ; ASM: .short 4414 # Record kind: S_LOCAL 40 ; ASM: .long 116 # TypeIndex 41 ; ASM: .short 0 # Flags 42 ; ASM: .asciz "e" 43 ; ASM: .cv_def_range 44 45 46 ; ModuleID = 't.cpp' 47 source_filename = "t.cpp" 48 target datalayout = "e-m:w-i64:64-f80:128-n8:16:32:64-S128" 49 target triple = "x86_64-pc-windows-msvc19.0.23918" 50 51 ; Function Attrs: nounwind uwtable 52 define i32 @"\01?f@@YAHHHH@Z"(i32 %a, i32 %b, i32 %c) #0 !dbg !7 { 53 entry: 54 %c.addr = alloca i32, align 4 55 %b.addr = alloca i32, align 4 56 %a.addr = alloca i32, align 4 57 %d = alloca i32, align 4 58 %e = alloca i32, align 4 59 store i32 %c, i32* %c.addr, align 4 60 call void @llvm.dbg.declare(metadata i32* %c.addr, metadata !11, metadata !12), !dbg !13 61 store i32 %b, i32* %b.addr, align 4 62 call void @llvm.dbg.declare(metadata i32* %b.addr, metadata !14, metadata !12), !dbg !15 63 store i32 %a, i32* %a.addr, align 4 64 call void @llvm.dbg.declare(metadata i32* %a.addr, metadata !16, metadata !12), !dbg !17 65 call void @llvm.dbg.declare(metadata i32* %d, metadata !18, metadata !12), !dbg !19 66 store i32 4, i32* %d, align 4, !dbg !19 67 call void @llvm.dbg.declare(metadata i32* %e, metadata !20, metadata !12), !dbg !21 68 store i32 5, i32* %e, align 4, !dbg !21 69 %0 = load i32, i32* %a.addr, align 4, !dbg !22 70 %1 = load i32, i32* %b.addr, align 4, !dbg !23 71 %add = add nsw i32 %0, %1, !dbg !24 72 %2 = load i32, i32* %c.addr, align 4, !dbg !25 73 %add1 = add nsw i32 %add, %2, !dbg !26 74 %3 = load i32, i32* %d, align 4, !dbg !27 75 %add2 = add nsw i32 %add1, %3, !dbg !28 76 %4 = load i32, i32* %e, align 4, !dbg !29 77 %add3 = add nsw i32 %add2, %4, !dbg !30 78 ret i32 %add3, !dbg !31 79 } 80 81 ; Function Attrs: nounwind readnone 82 declare void @llvm.dbg.declare(metadata, metadata, metadata) #1 83 84 attributes #0 = { nounwind uwtable "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+fxsr,+mmx,+sse,+sse2,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" } 85 attributes #1 = { nounwind readnone } 86 87 !llvm.dbg.cu = !{!0} 88 !llvm.module.flags = !{!3, !4, !5} 89 !llvm.ident = !{!6} 90 91 !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, producer: "clang version 3.9.0 (trunk 273683) (llvm/trunk 273691)", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, enums: !2) 92 !1 = !DIFile(filename: "t.cpp", directory: "D:\5Csrc\5Cllvm\5Cbuild") 93 !2 = !{} 94 !3 = !{i32 2, !"CodeView", i32 1} 95 !4 = !{i32 2, !"Debug Info Version", i32 3} 96 !5 = !{i32 1, !"PIC Level", i32 2} 97 !6 = !{!"clang version 3.9.0 (trunk 273683) (llvm/trunk 273691)"} 98 !7 = distinct !DISubprogram(name: "f", linkageName: "\01?f@@YAHHHH@Z", scope: !1, file: !1, line: 1, type: !8, isLocal: false, isDefinition: true, scopeLine: 1, flags: DIFlagPrototyped, isOptimized: false, unit: !0, retainedNodes: !2) 99 !8 = !DISubroutineType(types: !9) 100 !9 = !{!10, !10, !10, !10} 101 !10 = !DIBasicType(name: "int", size: 32, align: 32, encoding: DW_ATE_signed) 102 !11 = !DILocalVariable(name: "c", arg: 3, scope: !7, file: !1, line: 1, type: !10) 103 !12 = !DIExpression() 104 !13 = !DILocation(line: 1, column: 25, scope: !7) 105 !14 = !DILocalVariable(name: "b", arg: 2, scope: !7, file: !1, line: 1, type: !10) 106 !15 = !DILocation(line: 1, column: 18, scope: !7) 107 !16 = !DILocalVariable(name: "a", arg: 1, scope: !7, file: !1, line: 1, type: !10) 108 !17 = !DILocation(line: 1, column: 11, scope: !7) 109 !18 = !DILocalVariable(name: "d", scope: !7, file: !1, line: 2, type: !10) 110 !19 = !DILocation(line: 2, column: 7, scope: !7) 111 !20 = !DILocalVariable(name: "e", scope: !7, file: !1, line: 3, type: !10) 112 !21 = !DILocation(line: 3, column: 7, scope: !7) 113 !22 = !DILocation(line: 4, column: 10, scope: !7) 114 !23 = !DILocation(line: 4, column: 14, scope: !7) 115 !24 = !DILocation(line: 4, column: 12, scope: !7) 116 !25 = !DILocation(line: 4, column: 18, scope: !7) 117 !26 = !DILocation(line: 4, column: 16, scope: !7) 118 !27 = !DILocation(line: 4, column: 22, scope: !7) 119 !28 = !DILocation(line: 4, column: 20, scope: !7) 120 !29 = !DILocation(line: 4, column: 26, scope: !7) 121 !30 = !DILocation(line: 4, column: 24, scope: !7) 122 !31 = !DILocation(line: 4, column: 3, scope: !7) 123
