llvm/test/CodeGen/ARM/stack-frame-layout-remarks.ll

   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
  15 target triple = "x86_64-unknown-linux-gnu"
  16
  17 @.str = private unnamed_addr constant [4 x i8] c"%s\0A\00", align 1
  18 declare 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
  38 define void @stackSizeWarning() {
  39 entry:
  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
  48 declare 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
  54 define void @cleanup_array(ptr %0) #1 {
  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
  65 define void @cleanup_result(ptr %0) #1 {
  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
  95 define i32 @do_work(ptr %0, ptr %1, ptr %2) #1 {
  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
 121 13:                                               ; 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
 126 16:                                               ; preds = %13
 127   %17 = load i32, ptr %6, align 4
 128   store i32 %17, ptr null, align 4
 129   br label %13
 130
 131 18:                                               ; 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
 147 define ptr @gen_array(i32 %0) #1 {
 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
 186 define 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
 216 define i32 @test29b() #2 {
 217 entry:
 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
 225 uselistorder 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
 227 attributes #0 = { nocallback nofree nosync nounwind readnone speculatable willreturn }
 228 attributes #1 = { "frame-pointer"="all" }
 229 attributes #2 = { ssp "stack-protector-buffer-size"="5" "frame-pointer"="all" }
 230
 231 !llvm.dbg.cu = !{!0, !2}
 232 !llvm.module.flags = !{!18, !19, !20, !21, !22, !23, !24}
 233
 234 !0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, splitDebugInlining: false, nameTableKind: None)
 235 !1 = !DIFile(filename: "frame-diags.c", directory: "")
 236 !2 = distinct !DICompileUnit(language: DW_LANG_C99, file: !3, isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, retainedTypes: !4, splitDebugInlining: false, nameTableKind: None)
 237 !3 = !DIFile(filename: "dot.c", directory: "")
 238 !4 = !{!5, !6, !10, !13}
 239 !5 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: null, size: 64)
 240 !6 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !7, size: 64)
 241 !7 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "Array", file: !3, line: 3, size: 128, elements: !8)
 242 !8 = !{!9, !12}
 243 !9 = !DIDerivedType(tag: DW_TAG_member, name: "data", scope: !7, file: !3, line: 4, baseType: !10, size: 64)
 244 !10 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !11, size: 64)
 245 !11 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
 246 !12 = !DIDerivedType(tag: DW_TAG_member, name: "size", scope: !7, file: !3, line: 5, baseType: !11, size: 32, offset: 64)
 247 !13 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !14, size: 64)
 248 !14 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "Result", file: !3, line: 8, size: 128, elements: !15)
 249 !15 = !{!16, !17}
 250 !16 = !DIDerivedType(tag: DW_TAG_member, name: "data", scope: !14, file: !3, line: 9, baseType: !6, size: 64)
 251 !17 = !DIDerivedType(tag: DW_TAG_member, name: "sum", scope: !14, file: !3, line: 10, baseType: !11, size: 32, offset: 64)
 252 !18 = !{i32 7, !"Dwarf Version", i32 5}
 253 !19 = !{i32 2, !"Debug Info Version", i32 3}
 254 !20 = !{i32 1, !"wchar_size", i32 4}
 255 !21 = !{i32 8, !"PIC Level", i32 2}
 256 !22 = !{i32 7, !"PIE Level", i32 2}
 257 !23 = !{i32 7, !"uwtable", i32 2}
 258 !24 = !{i32 7, !"frame-pointer", i32 2}
 259 !25 = !DILocalVariable(name: "buffer", scope: !26, file: !1, line: 30, type: !32)
 260 !26 = distinct !DILexicalBlock(scope: !27, file: !1, line: 29, column: 3)
 261 !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)
 262 !28 = !DISubroutineType(types: !29)
 263 !29 = !{null}
 264 !30 = !{!25, !31, !36, !37}
 265 !31 = !DILocalVariable(name: "buffer2", scope: !27, file: !1, line: 33, type: !32)
 266 !32 = !DICompositeType(tag: DW_TAG_array_type, baseType: !33, size: 640, elements: !34)
 267 !33 = !DIBasicType(name: "char", size: 8, encoding: DW_ATE_signed_char)
 268 !34 = !{!35}
 269 !35 = !DISubrange(count: 80)
 270 !36 = !DILocalVariable(name: "a", scope: !27, file: !1, line: 34, type: !11)
 271 !37 = !DILocalVariable(name: "b", scope: !27, file: !1, line: 35, type: !38)
 272 !38 = !DIBasicType(name: "long", size: 64, encoding: DW_ATE_signed)
 273 !39 = !DILocation(line: 30, column: 10, scope: !26)
 274 !40 = !DILocation(line: 33, column: 8, scope: !27)
 275 !41 = !DILocalVariable(name: "a", arg: 1, scope: !42, file: !3, line: 13, type: !6)
 276 !42 = distinct !DISubprogram(name: "cleanup_array", scope: !3, file: !3, line: 13, type: !43, scopeLine: 13, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !2, retainedNodes: !45)
 277 !43 = !DISubroutineType(types: !44)
 278 !44 = !{null, !6}
 279 !45 = !{}
 280 !46 = !DILocation(line: 13, column: 34, scope: !42)
 281 !47 = !DILocalVariable(name: "res", arg: 1, scope: !48, file: !3, line: 21, type: !13)
 282 !48 = distinct !DISubprogram(name: "cleanup_result", scope: !3, file: !3, line: 21, type: !49, scopeLine: 21, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !2, retainedNodes: !45)
 283 !49 = !DISubroutineType(types: !50)
 284 !50 = !{null, !13}
 285 !51 = !DILocation(line: 21, column: 36, scope: !48)
 286 !52 = !DILocalVariable(name: "A", arg: 1, scope: !53, file: !3, line: 32, type: !6)
 287 !53 = distinct !DISubprogram(name: "do_work", scope: !3, file: !3, line: 32, type: !54, scopeLine: 32, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !2, retainedNodes: !45)
 288 !54 = !DISubroutineType(types: !55)
 289 !55 = !{!11, !6, !6, !13}
 290 !56 = !DILocation(line: 32, column: 27, scope: !53)
 291 !57 = !DILocalVariable(name: "B", arg: 2, scope: !53, file: !3, line: 32, type: !6)
 292 !58 = !DILocation(line: 32, column: 44, scope: !53)
 293 !59 = !DILocalVariable(name: "out", arg: 3, scope: !53, file: !3, line: 32, type: !13)
 294 !60 = !DILocation(line: 32, column: 62, scope: !53)
 295 !61 = !DILocalVariable(name: "len", scope: !53, file: !3, line: 37, type: !62)
 296 !62 = !DIDerivedType(tag: DW_TAG_const_type, baseType: !11)
 297 !63 = !DILocation(line: 37, column: 13, scope: !53)
 298 !64 = !DILocalVariable(name: "AB", scope: !53, file: !3, line: 38, type: !6)
 299 !65 = !DILocation(line: 38, column: 17, scope: !53)
 300 !66 = !DILocalVariable(name: "sum", scope: !53, file: !3, line: 54, type: !11)
 301 !67 = !DILocation(line: 54, column: 7, scope: !53)
 302 !68 = !DILocalVariable(name: "i", scope: !69, file: !3, line: 55, type: !11)
 303 !69 = distinct !DILexicalBlock(scope: !53, file: !3, line: 55, column: 3)
 304 !70 = !DILocation(line: 55, column: 12, scope: !69)
 305 !71 = !DILocalVariable(name: "size", arg: 1, scope: !72, file: !3, line: 62, type: !11)
 306 !72 = distinct !DISubprogram(name: "gen_array", scope: !3, file: !3, line: 62, type: !73, scopeLine: 62, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !2, retainedNodes: !45)
 307 !73 = !DISubroutineType(types: !74)
 308 !74 = !{!6, !11}
 309 !75 = !DILocation(line: 62, column: 29, scope: !72)
 310 !76 = !DILocalVariable(name: "res", scope: !72, file: !3, line: 65, type: !6)
 311 !77 = !DILocation(line: 65, column: 17, scope: !72)
 312 !78 = !DILocalVariable(name: "i", scope: !79, file: !3, line: 69, type: !11)
 313 !79 = distinct !DILexicalBlock(scope: !72, file: !3, line: 69, column: 3)
 314 !80 = !DILocation(line: 69, column: 12, scope: !79)
 315 !81 = !DILocalVariable(name: "size", scope: !82, file: !3, line: 77, type: !62)
 316 !82 = distinct !DISubprogram(name: "caller", scope: !3, file: !3, line: 76, type: !83, scopeLine: 76, spFlags: DISPFlagDefinition, unit: !2, retainedNodes: !45)
 317 !83 = !DISubroutineType(types: !84)
 318 !84 = !{!11}
 319 !85 = !DILocation(line: 77, column: 13, scope: !82)
 320 !86 = !DILocalVariable(name: "A", scope: !82, file: !3, line: 78, type: !6)
 321 !87 = !DILocation(line: 78, column: 17, scope: !82)
 322 !88 = !DILocalVariable(name: "B", scope: !82, file: !3, line: 79, type: !6)
 323 !89 = !DILocation(line: 79, column: 17, scope: !82)
 324 !90 = !DILocalVariable(name: "res", scope: !82, file: !3, line: 80, type: !13)
 325 !91 = !DILocation(line: 80, column: 18, scope: !82)
 326 !92 = !DILocalVariable(name: "ret", scope: !82, file: !3, line: 81, type: !11)
 327 !93 = !DILocation(line: 81, column: 7, scope: !82)
 328 !94 = !DILocalVariable(name: "err", scope: !82, file: !3, line: 83, type: !11)
 329 !95 = !DILocation(line: 83, column: 7, scope: !82)