224 lines · plain
1; RUN: llc < %s -filetype=obj -o %t2; RUN: llvm-dwarfdump -v -debug-info %t | FileCheck %s3;4; use core::hint::black_box;5;6; #[inline(never)]7; fn callee(8; s1: &(),9; s2: &(),10; s3: &(),11; s4: &(),12; s5: &(),13; s6: &(),14; s7: &(),15; s8: &(),16; s9: &mut (),17; ) {18; black_box(s1);19; black_box(s2);20; black_box(s3);21; black_box(s4);22; black_box(s5);23; black_box(s6);24; black_box(s7);25; black_box(s8);26; black_box(s9);27; }28;29; pub fn caller() {30; let s = ();31; let mut t = ();32; callee(&s, &s, &s, &s, &s, &s, &s, &s, &mut t);33; }34;35; Test that if a call requires fiddling with the stack pointer we switch to36; using a CFA-based DW_AT_frame_base37 38; CHECK: DW_AT_frame_base [DW_FORM_exprloc] (DW_OP_call_frame_cfa, DW_OP_consts -{{[0-9]+}}, DW_OP_plus)39; CHECK-NOT: DW_TAG40; CHECK: _ZN10playground6caller41 42; ModuleID = 'playground.71f4e8b5-cgu.0'43source_filename = "playground.71f4e8b5-cgu.0"44target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"45target triple = "x86_64-unknown-linux-gnu"46 47; core::hint::black_box48define align 1 ptr @_ZN4core4hint9black_box17h9f9a3aab786d67e0E(ptr align 1 %dummy) unnamed_addr !dbg !6 {49start:50 %0 = alloca ptr, align 851 %dummy.dbg.spill = alloca ptr, align 852 store ptr %dummy, ptr %dummy.dbg.spill, align 853 call void @llvm.dbg.declare(metadata ptr %dummy.dbg.spill, metadata !15, metadata !DIExpression()), !dbg !1854 store ptr %dummy, ptr %0, align 8, !dbg !1955 call void asm sideeffect "", "r,~{memory}"(ptr %0), !dbg !19, !srcloc !2056 %1 = load ptr, ptr %0, align 8, !dbg !19, !nonnull !21, !align !22, !noundef !2157 ret ptr %1, !dbg !2358}59 60; core::hint::black_box61define align 1 ptr @_ZN4core4hint9black_box17hff24a8f6cdc261d0E(ptr align 1 %dummy) unnamed_addr !dbg !24 {62start:63 %0 = alloca ptr, align 864 %dummy.dbg.spill = alloca ptr, align 865 store ptr %dummy, ptr %dummy.dbg.spill, align 866 call void @llvm.dbg.declare(metadata ptr %dummy.dbg.spill, metadata !29, metadata !DIExpression()), !dbg !3267 store ptr %dummy, ptr %0, align 8, !dbg !3368 call void asm sideeffect "", "r,~{memory}"(ptr %0), !dbg !33, !srcloc !2069 %1 = load ptr, ptr %0, align 8, !dbg !33, !nonnull !21, !align !22, !noundef !2170 ret ptr %1, !dbg !3471}72 73; playground::callee74define internal void @_ZN10playground6callee17hf55947d3dfc887f4E(ptr align 1 %s1, ptr align 1 %s2, ptr align 1 %s3, ptr align 1 %s4, ptr align 1 %s5, ptr align 1 %s6, ptr align 1 %s7, ptr align 1 %s8, ptr align 1 %s9) unnamed_addr !dbg !35 {75start:76 %s9.dbg.spill = alloca ptr, align 877 %s8.dbg.spill = alloca ptr, align 878 %s7.dbg.spill = alloca ptr, align 879 %s6.dbg.spill = alloca ptr, align 880 %s5.dbg.spill = alloca ptr, align 881 %s4.dbg.spill = alloca ptr, align 882 %s3.dbg.spill = alloca ptr, align 883 %s2.dbg.spill = alloca ptr, align 884 %s1.dbg.spill = alloca ptr, align 885 store ptr %s1, ptr %s1.dbg.spill, align 886 call void @llvm.dbg.declare(metadata ptr %s1.dbg.spill, metadata !41, metadata !DIExpression()), !dbg !5087 store ptr %s2, ptr %s2.dbg.spill, align 888 call void @llvm.dbg.declare(metadata ptr %s2.dbg.spill, metadata !42, metadata !DIExpression()), !dbg !5189 store ptr %s3, ptr %s3.dbg.spill, align 890 call void @llvm.dbg.declare(metadata ptr %s3.dbg.spill, metadata !43, metadata !DIExpression()), !dbg !5291 store ptr %s4, ptr %s4.dbg.spill, align 892 call void @llvm.dbg.declare(metadata ptr %s4.dbg.spill, metadata !44, metadata !DIExpression()), !dbg !5393 store ptr %s5, ptr %s5.dbg.spill, align 894 call void @llvm.dbg.declare(metadata ptr %s5.dbg.spill, metadata !45, metadata !DIExpression()), !dbg !5495 store ptr %s6, ptr %s6.dbg.spill, align 896 call void @llvm.dbg.declare(metadata ptr %s6.dbg.spill, metadata !46, metadata !DIExpression()), !dbg !5597 store ptr %s7, ptr %s7.dbg.spill, align 898 call void @llvm.dbg.declare(metadata ptr %s7.dbg.spill, metadata !47, metadata !DIExpression()), !dbg !5699 store ptr %s8, ptr %s8.dbg.spill, align 8100 call void @llvm.dbg.declare(metadata ptr %s8.dbg.spill, metadata !48, metadata !DIExpression()), !dbg !57101 store ptr %s9, ptr %s9.dbg.spill, align 8102 call void @llvm.dbg.declare(metadata ptr %s9.dbg.spill, metadata !49, metadata !DIExpression()), !dbg !58103; call core::hint::black_box104 %_10 = call align 1 ptr @_ZN4core4hint9black_box17h9f9a3aab786d67e0E(ptr align 1 %s1), !dbg !59105; call core::hint::black_box106 %_12 = call align 1 ptr @_ZN4core4hint9black_box17h9f9a3aab786d67e0E(ptr align 1 %s2), !dbg !60107; call core::hint::black_box108 %_14 = call align 1 ptr @_ZN4core4hint9black_box17h9f9a3aab786d67e0E(ptr align 1 %s3), !dbg !61109; call core::hint::black_box110 %_16 = call align 1 ptr @_ZN4core4hint9black_box17h9f9a3aab786d67e0E(ptr align 1 %s4), !dbg !62111; call core::hint::black_box112 %_18 = call align 1 ptr @_ZN4core4hint9black_box17h9f9a3aab786d67e0E(ptr align 1 %s5), !dbg !63113; call core::hint::black_box114 %_20 = call align 1 ptr @_ZN4core4hint9black_box17h9f9a3aab786d67e0E(ptr align 1 %s6), !dbg !64115; call core::hint::black_box116 %_22 = call align 1 ptr @_ZN4core4hint9black_box17h9f9a3aab786d67e0E(ptr align 1 %s7), !dbg !65117; call core::hint::black_box118 %_24 = call align 1 ptr @_ZN4core4hint9black_box17h9f9a3aab786d67e0E(ptr align 1 %s8), !dbg !66119; call core::hint::black_box120 %_26 = call align 1 ptr @_ZN4core4hint9black_box17hff24a8f6cdc261d0E(ptr align 1 %s9), !dbg !67121 ret void, !dbg !68122}123 124; playground::caller125define void @_ZN10playground6caller17h0397b5030166733dE() unnamed_addr !dbg !69 {126start:127 %t = alloca {}, align 1128 %s = alloca {}, align 1129 call void @llvm.dbg.declare(metadata ptr %s, metadata !73, metadata !DIExpression()), !dbg !77130 call void @llvm.dbg.declare(metadata ptr %t, metadata !75, metadata !DIExpression()), !dbg !78131; call playground::callee132 call void @_ZN10playground6callee17hf55947d3dfc887f4E(ptr align 1 %s, ptr align 1 %s, ptr align 1 %s, ptr align 1 %s, ptr align 1 %s, ptr align 1 %s, ptr align 1 %s, ptr align 1 %s, ptr align 1 %t), !dbg !79133 ret void, !dbg !80134}135 136declare void @llvm.dbg.declare(metadata, metadata, metadata)137 138!llvm.module.flags = !{!0, !1, !2, !3}139!llvm.dbg.cu = !{!4}140 141!0 = !{i32 7, !"PIC Level", i32 2}142!1 = !{i32 2, !"RtLibUseGOT", i32 1}143!2 = !{i32 2, !"Dwarf Version", i32 4}144!3 = !{i32 2, !"Debug Info Version", i32 3}145!4 = distinct !DICompileUnit(language: DW_LANG_Rust, file: !5, producer: "clang LLVM (rustc version 1.69.0-nightly (e1eaa2d5d 2023-02-06))", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, splitDebugInlining: false)146!5 = !DIFile(filename: "src/lib.rs/@/playground.71f4e8b5-cgu.0", directory: "/playground")147!6 = distinct !DISubprogram(name: "black_box<&()>", linkageName: "_ZN4core4hint9black_box17h9f9a3aab786d67e0E", scope: !8, file: !7, line: 294, type: !10, scopeLine: 294, flags: DIFlagPrototyped, spFlags: DISPFlagLocalToUnit | DISPFlagDefinition, unit: !4, templateParams: !16, retainedNodes: !14)148!7 = !DIFile(filename: "/rustc/e1eaa2d5d4d1f5b7b89561a940718058d414e89c/library/core/src/hint.rs", directory: "", checksumkind: CSK_MD5, checksum: "2eba1ee5b9c26bf5eea6ed3dac7a7b79")149!8 = !DINamespace(name: "hint", scope: !9)150!9 = !DINamespace(name: "core", scope: null)151!10 = !DISubroutineType(types: !11)152!11 = !{!12, !12}153!12 = !DIDerivedType(tag: DW_TAG_pointer_type, name: "&()", baseType: !13, size: 64, align: 64, dwarfAddressSpace: 0)154!13 = !DIBasicType(name: "()", encoding: DW_ATE_unsigned)155!14 = !{!15}156!15 = !DILocalVariable(name: "dummy", arg: 1, scope: !6, file: !7, line: 294, type: !12)157!16 = !{!17}158!17 = !DITemplateTypeParameter(name: "T", type: !12)159!18 = !DILocation(line: 294, column: 27, scope: !6)160!19 = !DILocation(line: 295, column: 5, scope: !6)161!20 = !{i32 382361}162!21 = !{}163!22 = !{i64 1}164!23 = !DILocation(line: 296, column: 2, scope: !6)165!24 = distinct !DISubprogram(name: "black_box<&mut ()>", linkageName: "_ZN4core4hint9black_box17hff24a8f6cdc261d0E", scope: !8, file: !7, line: 294, type: !25, scopeLine: 294, flags: DIFlagPrototyped, spFlags: DISPFlagLocalToUnit | DISPFlagDefinition, unit: !4, templateParams: !30, retainedNodes: !28)166!25 = !DISubroutineType(types: !26)167!26 = !{!27, !27}168!27 = !DIDerivedType(tag: DW_TAG_pointer_type, name: "&mut ()", baseType: !13, size: 64, align: 64, dwarfAddressSpace: 0)169!28 = !{!29}170!29 = !DILocalVariable(name: "dummy", arg: 1, scope: !24, file: !7, line: 294, type: !27)171!30 = !{!31}172!31 = !DITemplateTypeParameter(name: "T", type: !27)173!32 = !DILocation(line: 294, column: 27, scope: !24)174!33 = !DILocation(line: 295, column: 5, scope: !24)175!34 = !DILocation(line: 296, column: 2, scope: !24)176!35 = distinct !DISubprogram(name: "callee", linkageName: "_ZN10playground6callee17hf55947d3dfc887f4E", scope: !37, file: !36, line: 4, type: !38, scopeLine: 4, flags: DIFlagPrototyped, spFlags: DISPFlagLocalToUnit | DISPFlagDefinition, unit: !4, templateParams: !21, retainedNodes: !40)177!36 = !DIFile(filename: "src/lib.rs", directory: "/playground", checksumkind: CSK_MD5, checksum: "bb1df4ba7c42e8987c349ab2cbe5f6b6")178!37 = !DINamespace(name: "playground", scope: null)179!38 = !DISubroutineType(types: !39)180!39 = !{null, !12, !12, !12, !12, !12, !12, !12, !12, !27}181!40 = !{!41, !42, !43, !44, !45, !46, !47, !48, !49}182!41 = !DILocalVariable(name: "s1", arg: 1, scope: !35, file: !36, line: 5, type: !12)183!42 = !DILocalVariable(name: "s2", arg: 2, scope: !35, file: !36, line: 6, type: !12)184!43 = !DILocalVariable(name: "s3", arg: 3, scope: !35, file: !36, line: 7, type: !12)185!44 = !DILocalVariable(name: "s4", arg: 4, scope: !35, file: !36, line: 8, type: !12)186!45 = !DILocalVariable(name: "s5", arg: 5, scope: !35, file: !36, line: 9, type: !12)187!46 = !DILocalVariable(name: "s6", arg: 6, scope: !35, file: !36, line: 10, type: !12)188!47 = !DILocalVariable(name: "s7", arg: 7, scope: !35, file: !36, line: 11, type: !12)189!48 = !DILocalVariable(name: "s8", arg: 8, scope: !35, file: !36, line: 12, type: !12)190!49 = !DILocalVariable(name: "s9", arg: 9, scope: !35, file: !36, line: 13, type: !27)191!50 = !DILocation(line: 5, column: 5, scope: !35)192!51 = !DILocation(line: 6, column: 5, scope: !35)193!52 = !DILocation(line: 7, column: 5, scope: !35)194!53 = !DILocation(line: 8, column: 5, scope: !35)195!54 = !DILocation(line: 9, column: 5, scope: !35)196!55 = !DILocation(line: 10, column: 5, scope: !35)197!56 = !DILocation(line: 11, column: 5, scope: !35)198!57 = !DILocation(line: 12, column: 5, scope: !35)199!58 = !DILocation(line: 13, column: 5, scope: !35)200!59 = !DILocation(line: 15, column: 5, scope: !35)201!60 = !DILocation(line: 16, column: 5, scope: !35)202!61 = !DILocation(line: 17, column: 5, scope: !35)203!62 = !DILocation(line: 18, column: 5, scope: !35)204!63 = !DILocation(line: 19, column: 5, scope: !35)205!64 = !DILocation(line: 20, column: 5, scope: !35)206!65 = !DILocation(line: 21, column: 5, scope: !35)207!66 = !DILocation(line: 22, column: 5, scope: !35)208!67 = !DILocation(line: 23, column: 5, scope: !35)209!68 = !DILocation(line: 24, column: 2, scope: !35)210!69 = distinct !DISubprogram(name: "caller", linkageName: "_ZN10playground6caller17h0397b5030166733dE", scope: !37, file: !36, line: 26, type: !70, scopeLine: 26, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !4, templateParams: !21, retainedNodes: !72)211!70 = !DISubroutineType(types: !71)212!71 = !{null}213!72 = !{!73, !75}214!73 = !DILocalVariable(name: "s", scope: !74, file: !36, line: 27, type: !13, align: 1)215!74 = distinct !DILexicalBlock(scope: !69, file: !36, line: 27, column: 5)216!75 = !DILocalVariable(name: "t", scope: !76, file: !36, line: 28, type: !13, align: 1)217!76 = distinct !DILexicalBlock(scope: !74, file: !36, line: 28, column: 5)218!77 = !DILocation(line: 27, column: 9, scope: !74)219!78 = !DILocation(line: 28, column: 9, scope: !76)220!79 = !DILocation(line: 29, column: 5, scope: !76)221!80 = !DILocation(line: 30, column: 2, scope: !81)222!81 = !DILexicalBlockFile(scope: !69, file: !36, discriminator: 0)223 224