1; Test remark output for stack-frame-layout 2 3; ensure basic output works 4; RUN: llc -mtriple=arm-eabi -O1 -pass-remarks-analysis=stack-frame-layout < %s 2>&1 >/dev/null | FileCheck %s 5 6; check additional slots are displayed when stack is not optimized 7; RUN: llc -mtriple=arm-eabi -O0 -pass-remarks-analysis=stack-frame-layout < %s 2>&1 >/dev/null | FileCheck %s --check-prefix=NO_COLORING 8 9; check more complex cases 10; RUN: llc %s -pass-remarks-analysis=stack-frame-layout -o /dev/null --mtriple=arm -mcpu=cortex-m1 2>&1 | FileCheck %s --check-prefix=BOTH --check-prefix=DEBUG 11 12; check output without debug info 13; RUN: opt %s -passes=strip -S | llc -pass-remarks-analysis=stack-frame-layout -o /dev/null --mtriple=arm -mcpu=cortex-m1 2>&1 | FileCheck %s --check-prefix=BOTH --check-prefix=STRIPPED 14 15target triple = "x86_64-unknown-linux-gnu" 16 17@.str = private unnamed_addr constant [4 x i8] c"%s\0A\00", align 1 18declare i32 @printf(ptr, ...) 19 20; CHECK: Function: stackSizeWarning 21; CHECK: [SP-4]{{.*}}Spill{{.*}}4{{.*}}4 22; CHECK: [SP-96]{{.*}}16{{.*}}80 23; CHECK: buffer @ frame-diags.c:30 24; NO_COLORING: [SP-176]{{.*}}16{{.*}}80 25; CHECK: buffer2 @ frame-diags.c:33 26 27; BOTH: Function: stackSizeWarning 28; BOTH: [SP-4]{{.*}}Spill{{.*}}4{{.*}}4 29; BOTH: [SP-8]{{.*}}Spill{{.*}}4{{.*}}4 30; BOTH: [SP-12]{{.*}}Spill{{.*}}4{{.*}}4 31; BOTH: [SP-16]{{.*}}Spill{{.*}}4{{.*}}4 32; BOTH: [SP-96]{{.*}}16{{.*}}80 33; DEBUG: buffer @ frame-diags.c:30 34; STRIPPED-NOT: buffer @ frame-diags.c:30 35; BOTH: [SP-176]{{.*}}16{{.*}}80 36; DEBUG: buffer2 @ frame-diags.c:33 37; STRIPPED-NOT: buffer2 @ frame-diags.c:33 38define void @stackSizeWarning() { 39entry: 40 %buffer = alloca [80 x i8], align 16 41 %buffer2 = alloca [80 x i8], align 16 42 call void @llvm.dbg.declare(metadata ptr %buffer, metadata !25, metadata !DIExpression()), !dbg !39 43 call void @llvm.dbg.declare(metadata ptr %buffer2, metadata !31, metadata !DIExpression()), !dbg !40 44 ret void 45} 46 47; Function Attrs: nocallback nofree nosync nounwind readnone speculatable willreturn 48declare void @llvm.dbg.declare(metadata, metadata, metadata) #0 49 50; BOTH: Function: cleanup_array 51; BOTH: [SP-8]{{.+}}8{{.+}}4 52; DEBUG: a @ dot.c:13 53; STRIPPED-NOT: a @ dot.c:13 54define void @cleanup_array(ptr %0) #3 { 55 %2 = alloca ptr, align 8 56 store ptr %0, ptr %2, align 8 57 call void @llvm.dbg.declare(metadata ptr %2, metadata !41, metadata !DIExpression()), !dbg !46 58 ret void 59} 60 61; BOTH: Function: cleanup_result 62; BOTH: [SP-8]{{.+}}8{{.+}}4 63; DEBUG: res @ dot.c:21 64; STRIPPED-NOT: res @ dot.c:21 65define void @cleanup_result(ptr %0) #3 { 66 %2 = alloca ptr, align 8 67 store ptr %0, ptr %2, align 8 68 call void @llvm.dbg.declare(metadata ptr %2, metadata !47, metadata !DIExpression()), !dbg !51 69 ret void 70} 71 72; BOTH: Function: do_work 73; BOTH: [SP-4]{{.+}}4{{.+}}4 74; BOTH: [SP-8]{{.+}}8{{.+}}4 75; DEBUG: A @ dot.c:32 76; STRIPPED-NOT: A @ dot.c:32 77; BOTH: [SP-16]{{.+}}8{{.+}}4 78; DEBUG: B @ dot.c:32 79; STRIPPED-NOT: B @ dot.c:32 80; BOTH: [SP-24]{{.+}}8{{.+}}4 81; DEBUG: out @ dot.c:32 82; STRIPPED-NOT: out @ dot.c:32 83; BOTH: [SP-28]{{.+}}4{{.+}}4 84; DEBUG: len @ dot.c:37 85; STRIPPED-NOT: len @ dot.c:37 86; BOTH: [SP-32]{{.+}}8{{.+}}4 87; DEBUG: AB @ dot.c:38 88; STRIPPED-NOT: AB @ dot.c:38 89; BOTH: [SP-36]{{.+}}4{{.+}}4 90; DEBUG: sum @ dot.c:54 91; STRIPPED-NOT: sum @ dot.c:54 92; BOTH: [SP-40]{{.+}}4{{.+}}4 93; DEBUG: i @ dot.c:55 94; STRIPPED-NOT: i @ dot.c:55 95define i32 @do_work(ptr %0, ptr %1, ptr %2) #3 { 96 %4 = alloca i32, align 4 97 %5 = alloca ptr, align 8 98 %6 = alloca ptr, align 8 99 %7 = alloca ptr, align 8 100 %8 = alloca i32, align 4 101 %9 = alloca ptr, align 8 102 %10 = alloca i32, align 4 103 %11 = alloca i32, align 4 104 store ptr %0, ptr %5, align 8 105 call void @llvm.dbg.declare(metadata ptr %5, metadata !52, metadata !DIExpression()), !dbg !56 106 call void @llvm.dbg.declare(metadata ptr %6, metadata !57, metadata !DIExpression()), !dbg !58 107 store ptr %2, ptr %7, align 8 108 call void @llvm.dbg.declare(metadata ptr %7, metadata !59, metadata !DIExpression()), !dbg !60 109 call void @llvm.dbg.declare(metadata ptr %8, metadata !61, metadata !DIExpression()), !dbg !63 110 call void @llvm.dbg.declare(metadata ptr %9, metadata !64, metadata !DIExpression()), !dbg !65 111 store ptr null, ptr %9, align 8 112 store ptr null, ptr null, align 8 113 store i32 0, ptr %9, align 8 114 %12 = load i32, ptr %8, align 4 115 store i32 %12, ptr null, align 8 116 call void @llvm.dbg.declare(metadata ptr %10, metadata !66, metadata !DIExpression()), !dbg !67 117 call void @llvm.dbg.declare(metadata ptr %11, metadata !68, metadata !DIExpression()), !dbg !70 118 store i32 0, ptr %11, align 4 119 br label %13 120 12113: ; preds = %16, %3 122 %14 = load i32, ptr %11, align 4 123 %15 = icmp slt i32 %14, 0 124 br i1 %15, label %16, label %18 125 12616: ; preds = %13 127 %17 = load i32, ptr %6, align 4 128 store i32 %17, ptr null, align 4 129 br label %13 130 13118: ; preds = %13 132 store i32 0, ptr %4, align 4 133 ret i32 0 134} 135 136; BOTH: Function: gen_array 137; BOTH: [SP-8]{{.+}}8{{.+}}4 138; BOTH: [SP-12]{{.+}}4{{.+}}4 139; DEBUG: size @ dot.c:62 140; STRIPPED-NOT: size @ dot.c:65 141; BOTH: [SP-16]{{.+}}8{{.+}}4 142; DEBUG: res @ dot.c:65 143; STRIPPED-NOT: res @ dot.c:65 144; BOTH: [SP-20]{{.+}}4{{.*}}4 145; DEBUG: i @ dot.c:69 146; STRIPPED-NOT: i @ dot.c:69 147define ptr @gen_array(i32 %0) #3 { 148 %2 = alloca ptr, align 8 149 %3 = alloca i32, align 4 150 %4 = alloca ptr, align 8 151 %5 = alloca i32, align 4 152 store i32 %0, ptr %3, align 4 153 call void @llvm.dbg.declare(metadata ptr %3, metadata !71, metadata !DIExpression()), !dbg !75 154 call void @llvm.dbg.declare(metadata ptr %4, metadata !76, metadata !DIExpression()), !dbg !77 155 store ptr null, ptr %4, align 8 156 call void @llvm.dbg.declare(metadata ptr %5, metadata !78, metadata !DIExpression()), !dbg !80 157 store i32 0, ptr %5, align 4 158 ret ptr null 159} 160 161 162; BOTH: Function: caller 163; BOTH: [SP-4]{{.*}}Spill{{.*}}4{{.*}}4 164; BOTH: [SP-8]{{.*}}Spill{{.*}}4{{.*}}4 165; BOTH: [SP-12]{{.*}}Spill{{.*}}4{{.*}}4 166; BOTH: [SP-16]{{.*}}Spill{{.*}}4{{.*}}4 167; BOTH: [SP-20]{{.*}}4{{.*}}4 168; BOTH: [SP-24]{{.*}}4{{.*}}4 169; DEBUG: size @ dot.c:77 170; STRIPPED-NOT: size @ dot.c:77 171; BOTH: [SP-32]{{.*}}8{{.*}}4 172; DEBUG: A @ dot.c:78 173; STRIPPED-NOT: A @ dot.c:78 174; BOTH: [SP-40]{{.*}}8{{.*}}4 175; DEBUG: B @ dot.c:79 176; STRIPPED-NOT: B @ dot.c:79 177; BOTH: [SP-48]{{.*}}8{{.*}}4 178; DEBUG: res @ dot.c:80 179; STRIPPED-NOT: res @ dot.c:80 180; BOTH: [SP-52]{{.*}}4{{.*}}4 181; DEBUG: ret @ dot.c:81 182; STRIPPED-NOT: ret @ dot.c:81 183; BOTH: [SP-56]{{.*}}4{{.*}}4 184; DEBUG: err @ dot.c:83 185; STRIPPED-NOT: err @ dot.c:83 186define i32 @caller() #1 { 187 %1 = alloca i32, align 4 188 %2 = alloca i32, align 4 189 %3 = alloca ptr, align 8 190 %4 = alloca ptr, align 8 191 %5 = alloca ptr, align 8 192 %6 = alloca i32, align 4 193 %7 = alloca i32, align 4 194 call void @llvm.dbg.declare(metadata ptr %2, metadata !81, metadata !DIExpression()), !dbg !85 195 call void @llvm.dbg.declare(metadata ptr %3, metadata !86, metadata !DIExpression()), !dbg !87 196 call void @llvm.dbg.declare(metadata ptr %4, metadata !88, metadata !DIExpression()), !dbg !89 197 store ptr null, ptr %4, align 8 198 call void @llvm.dbg.declare(metadata ptr %5, metadata !90, metadata !DIExpression()), !dbg !91 199 call void @llvm.dbg.declare(metadata ptr %6, metadata !92, metadata !DIExpression()), !dbg !93 200 call void @llvm.dbg.declare(metadata ptr %7, metadata !94, metadata !DIExpression()), !dbg !95 201 %8 = call i32 @do_work(ptr %3, ptr null, ptr null) 202 store i32 0, ptr %6, align 4 203 store i32 0, ptr %1, align 4 204 call void @cleanup_result(ptr %5) 205 ret i32 0 206} 207 208; test29b: An array of [5 x i8] and a requested ssp-buffer-size of 5. 209; Requires protector. 210; Function Attrs: ssp stack-protector-buffer-size=5 211; BOTH: Function: test29b 212; BOTH: [SP-4]{{.+}}Spill{{.*}}4{{.+}}4 213; BOTH: [SP-8]{{.+}}Spill{{.*}}4{{.+}}4 214; BOTH: [SP-12]{{.+}}Protector{{.*}}4{{.+}}4 215; BOTH: [SP-20]{{.+}}4{{.+}}5 216define i32 @test29b() #2 { 217entry: 218 %test = alloca [5 x i8], align 1 219 %call = call i32 (ptr, ...) @printf(ptr @.str, ptr %test) 220 ret i32 %call 221} 222 223 224; uselistorder directives 225uselistorder ptr @llvm.dbg.declare, { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 19, 18 } 226 227attributes #0 = { nocallback nofree nosync nounwind readnone speculatable willreturn } 228attributes #1 = { "frame-pointer"="all" } 229attributes #2 = { ssp "stack-protector-buffer-size"="5" "frame-pointer"="all" } 230attributes #3 = { "frame-pointer"="none" } 231 232!llvm.dbg.cu = !{!0, !2} 233!llvm.module.flags = !{!18, !19, !20, !21, !22, !23, !24} 234 235!0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, splitDebugInlining: false, nameTableKind: None) 236!1 = !DIFile(filename: "frame-diags.c", directory: "") 237!2 = distinct !DICompileUnit(language: DW_LANG_C99, file: !3, isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, retainedTypes: !4, splitDebugInlining: false, nameTableKind: None) 238!3 = !DIFile(filename: "dot.c", directory: "") 239!4 = !{!5, !6, !10, !13} 240!5 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: null, size: 64) 241!6 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !7, size: 64) 242!7 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "Array", file: !3, line: 3, size: 128, elements: !8) 243!8 = !{!9, !12} 244!9 = !DIDerivedType(tag: DW_TAG_member, name: "data", scope: !7, file: !3, line: 4, baseType: !10, size: 64) 245!10 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !11, size: 64) 246!11 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed) 247!12 = !DIDerivedType(tag: DW_TAG_member, name: "size", scope: !7, file: !3, line: 5, baseType: !11, size: 32, offset: 64) 248!13 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !14, size: 64) 249!14 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "Result", file: !3, line: 8, size: 128, elements: !15) 250!15 = !{!16, !17} 251!16 = !DIDerivedType(tag: DW_TAG_member, name: "data", scope: !14, file: !3, line: 9, baseType: !6, size: 64) 252!17 = !DIDerivedType(tag: DW_TAG_member, name: "sum", scope: !14, file: !3, line: 10, baseType: !11, size: 32, offset: 64) 253!18 = !{i32 7, !"Dwarf Version", i32 5} 254!19 = !{i32 2, !"Debug Info Version", i32 3} 255!20 = !{i32 1, !"wchar_size", i32 4} 256!21 = !{i32 8, !"PIC Level", i32 2} 257!22 = !{i32 7, !"PIE Level", i32 2} 258!23 = !{i32 7, !"uwtable", i32 2} 259!24 = !{i32 7, !"frame-pointer", i32 2} 260!25 = !DILocalVariable(name: "buffer", scope: !26, file: !1, line: 30, type: !32) 261!26 = distinct !DILexicalBlock(scope: !27, file: !1, line: 29, column: 3) 262!27 = distinct !DISubprogram(name: "stackSizeWarning", scope: !1, file: !1, line: 28, type: !28, scopeLine: 28, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !30) 263!28 = !DISubroutineType(types: !29) 264!29 = !{null} 265!30 = !{!25, !31, !36, !37} 266!31 = !DILocalVariable(name: "buffer2", scope: !27, file: !1, line: 33, type: !32) 267!32 = !DICompositeType(tag: DW_TAG_array_type, baseType: !33, size: 640, elements: !34) 268!33 = !DIBasicType(name: "char", size: 8, encoding: DW_ATE_signed_char) 269!34 = !{!35} 270!35 = !DISubrange(count: 80) 271!36 = !DILocalVariable(name: "a", scope: !27, file: !1, line: 34, type: !11) 272!37 = !DILocalVariable(name: "b", scope: !27, file: !1, line: 35, type: !38) 273!38 = !DIBasicType(name: "long", size: 64, encoding: DW_ATE_signed) 274!39 = !DILocation(line: 30, column: 10, scope: !26) 275!40 = !DILocation(line: 33, column: 8, scope: !27) 276!41 = !DILocalVariable(name: "a", arg: 1, scope: !42, file: !3, line: 13, type: !6) 277!42 = distinct !DISubprogram(name: "cleanup_array", scope: !3, file: !3, line: 13, type: !43, scopeLine: 13, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !2, retainedNodes: !45) 278!43 = !DISubroutineType(types: !44) 279!44 = !{null, !6} 280!45 = !{} 281!46 = !DILocation(line: 13, column: 34, scope: !42) 282!47 = !DILocalVariable(name: "res", arg: 1, scope: !48, file: !3, line: 21, type: !13) 283!48 = distinct !DISubprogram(name: "cleanup_result", scope: !3, file: !3, line: 21, type: !49, scopeLine: 21, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !2, retainedNodes: !45) 284!49 = !DISubroutineType(types: !50) 285!50 = !{null, !13} 286!51 = !DILocation(line: 21, column: 36, scope: !48) 287!52 = !DILocalVariable(name: "A", arg: 1, scope: !53, file: !3, line: 32, type: !6) 288!53 = distinct !DISubprogram(name: "do_work", scope: !3, file: !3, line: 32, type: !54, scopeLine: 32, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !2, retainedNodes: !45) 289!54 = !DISubroutineType(types: !55) 290!55 = !{!11, !6, !6, !13} 291!56 = !DILocation(line: 32, column: 27, scope: !53) 292!57 = !DILocalVariable(name: "B", arg: 2, scope: !53, file: !3, line: 32, type: !6) 293!58 = !DILocation(line: 32, column: 44, scope: !53) 294!59 = !DILocalVariable(name: "out", arg: 3, scope: !53, file: !3, line: 32, type: !13) 295!60 = !DILocation(line: 32, column: 62, scope: !53) 296!61 = !DILocalVariable(name: "len", scope: !53, file: !3, line: 37, type: !62) 297!62 = !DIDerivedType(tag: DW_TAG_const_type, baseType: !11) 298!63 = !DILocation(line: 37, column: 13, scope: !53) 299!64 = !DILocalVariable(name: "AB", scope: !53, file: !3, line: 38, type: !6) 300!65 = !DILocation(line: 38, column: 17, scope: !53) 301!66 = !DILocalVariable(name: "sum", scope: !53, file: !3, line: 54, type: !11) 302!67 = !DILocation(line: 54, column: 7, scope: !53) 303!68 = !DILocalVariable(name: "i", scope: !69, file: !3, line: 55, type: !11) 304!69 = distinct !DILexicalBlock(scope: !53, file: !3, line: 55, column: 3) 305!70 = !DILocation(line: 55, column: 12, scope: !69) 306!71 = !DILocalVariable(name: "size", arg: 1, scope: !72, file: !3, line: 62, type: !11) 307!72 = distinct !DISubprogram(name: "gen_array", scope: !3, file: !3, line: 62, type: !73, scopeLine: 62, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !2, retainedNodes: !45) 308!73 = !DISubroutineType(types: !74) 309!74 = !{!6, !11} 310!75 = !DILocation(line: 62, column: 29, scope: !72) 311!76 = !DILocalVariable(name: "res", scope: !72, file: !3, line: 65, type: !6) 312!77 = !DILocation(line: 65, column: 17, scope: !72) 313!78 = !DILocalVariable(name: "i", scope: !79, file: !3, line: 69, type: !11) 314!79 = distinct !DILexicalBlock(scope: !72, file: !3, line: 69, column: 3) 315!80 = !DILocation(line: 69, column: 12, scope: !79) 316!81 = !DILocalVariable(name: "size", scope: !82, file: !3, line: 77, type: !62) 317!82 = distinct !DISubprogram(name: "caller", scope: !3, file: !3, line: 76, type: !83, scopeLine: 76, spFlags: DISPFlagDefinition, unit: !2, retainedNodes: !45) 318!83 = !DISubroutineType(types: !84) 319!84 = !{!11} 320!85 = !DILocation(line: 77, column: 13, scope: !82) 321!86 = !DILocalVariable(name: "A", scope: !82, file: !3, line: 78, type: !6) 322!87 = !DILocation(line: 78, column: 17, scope: !82) 323!88 = !DILocalVariable(name: "B", scope: !82, file: !3, line: 79, type: !6) 324!89 = !DILocation(line: 79, column: 17, scope: !82) 325!90 = !DILocalVariable(name: "res", scope: !82, file: !3, line: 80, type: !13) 326!91 = !DILocation(line: 80, column: 18, scope: !82) 327!92 = !DILocalVariable(name: "ret", scope: !82, file: !3, line: 81, type: !11) 328!93 = !DILocation(line: 81, column: 7, scope: !82) 329!94 = !DILocalVariable(name: "err", scope: !82, file: !3, line: 83, type: !11) 330!95 = !DILocation(line: 83, column: 7, scope: !82) 331