132 lines · plain
1# RUN: llc %s -x mir -o - -mtriple=x86_64-unknown-unknown -run-pass=prologepilog | FileCheck %s2#3# Check when the DBG_VALUE on a stack slot below (for var "c") has its stack4# slot replaced with $rsp and a complex expression, it has DW_OP_stack_value5# added. A direct reference to the stack slot is considered to be the _address_6# of that stack slot, wheras its contents would be an indirect DBG_VALUE.7#8# Check too that for the same DBG_VALUE inst, with an indirect reference to9# the stack slot, we do _not_ get DW_OP_plus_uconst added. This expression10# should remain indirect, referring to the contents of the stack slot.11#12# CHECK: ![[VAR:[0-9]+]] = !DILocalVariable(name: "c"13# CHECK: ![[VAR2:[0-9]+]] = !DILocalVariable(name: "asdf"14# CHECK: ![[VAR3:[0-9]+]] = !DILocalVariable(name: "bees"15#16# CHECK: LEA64r $rsp17# CHECK-NEXT: DBG_VALUE $rsp, $noreg, ![[VAR]], !DIExpression(DW_OP_plus_uconst, {{[0-9]+}}, DW_OP_stack_value)18# CHECK-NEXT: DBG_VALUE $rsp, $noreg, ![[VAR2]], !DIExpression(DW_OP_plus_uconst, {{[0-9]+}}, DW_OP_stack_value, DW_OP_LLVM_fragment, 1, 2)19# CHECK-NEXT: DBG_VALUE $rsp, $noreg, ![[VAR3]], !DIExpression(DW_OP_plus_uconst, {{[0-9]+}}, DW_OP_LLVM_tag_offset, 0, DW_OP_stack_value)20# CHECK-NEXT: DBG_VALUE 183410452621# CHECK-NEXT: MOV64mr22# CHECK-NEXT: DBG_VALUE $rsp, 0, ![[VAR]], !DIExpression(DW_OP_plus_uconst, {{[0-9]+}})23 24--- |25 ; ModuleID = 'out.ll'26 source_filename = "abc.c"27 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"28 target triple = "x86_64-unknown-linux-gnu"29 30 @b = common dso_local local_unnamed_addr global ptr null, align 8, !dbg !031 @a = common dso_local local_unnamed_addr global i32 0, align 4, !dbg !632 33 ; Function Attrs: nounwind uwtable34 define dso_local i32 @main() local_unnamed_addr !dbg !14 {35 entry:36 %l_1081 = alloca i32, align 437 %0 = bitcast ptr %l_1081 to ptr, !dbg !2038 call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %0), !dbg !2039 call void @llvm.dbg.value(metadata i32 1834104526, metadata !18, metadata !DIExpression()), !dbg !2140 call void @llvm.dbg.value(metadata ptr %l_1081, metadata !19, metadata !DIExpression()), !dbg !2141 store ptr %l_1081, ptr @b, align 8, !dbg !22, !tbaa !2342 store i32 9, ptr @a, align 4, !dbg !27, !tbaa !2843 store i32 9, ptr %l_1081, align 4, !dbg !30, !tbaa !2844 %call = call i32 (...) @optimize_me_not(), !dbg !3145 call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %0), !dbg !3246 ret i32 0, !dbg !3247 }48 49 ; Function Attrs: argmemonly nounwind50 declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture)51 52 declare dso_local i32 @optimize_me_not(...) local_unnamed_addr53 54 ; Function Attrs: argmemonly nounwind55 declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture)56 57 ; Function Attrs: nounwind readnone speculatable58 declare void @llvm.dbg.value(metadata, metadata, metadata)59 60 !llvm.dbg.cu = !{!2}61 !llvm.module.flags = !{!10, !11, !12}62 !llvm.ident = !{!13}63 64 !0 = !DIGlobalVariableExpression(var: !1, expr: !DIExpression())65 !1 = distinct !DIGlobalVariable(name: "b", scope: !2, file: !3, line: 2, type: !9, isLocal: false, isDefinition: true)66 !2 = distinct !DICompileUnit(language: DW_LANG_C99, file: !3, producer: "clang", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !4, globals: !5, nameTableKind: None)67 !3 = !DIFile(filename: "abc.c", directory: ".")68 !4 = !{}69 !5 = !{!6, !0}70 !6 = !DIGlobalVariableExpression(var: !7, expr: !DIExpression())71 !7 = distinct !DIGlobalVariable(name: "a", scope: !2, file: !3, line: 1, type: !8, isLocal: false, isDefinition: true)72 !8 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)73 !9 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !8, size: 64)74 !10 = !{i32 2, !"Dwarf Version", i32 4}75 !11 = !{i32 2, !"Debug Info Version", i32 3}76 !12 = !{i32 1, !"wchar_size", i32 4}77 !13 = !{!"clang"}78 !14 = distinct !DISubprogram(name: "main", scope: !3, file: !3, line: 3, type: !15, scopeLine: 3, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !2, retainedNodes: !17)79 !15 = !DISubroutineType(types: !16)80 !16 = !{!8}81 !17 = !{!18, !19, !33, !34}82 !18 = !DILocalVariable(name: "l_1081", scope: !14, file: !3, line: 4, type: !8)83 !19 = !DILocalVariable(name: "c", scope: !14, file: !3, line: 5, type: !9)84 !20 = !DILocation(line: 4, column: 3, scope: !14)85 !21 = !DILocation(line: 0, scope: !14)86 !22 = !DILocation(line: 6, column: 5, scope: !14)87 !23 = !{!24, !24, i64 0}88 !24 = !{!"any pointer", !25, i64 0}89 !25 = !{!"omnipotent char", !26, i64 0}90 !26 = !{!"Simple C/C++ TBAA"}91 !27 = !DILocation(line: 7, column: 10, scope: !14)92 !28 = !{!29, !29, i64 0}93 !29 = !{!"int", !25, i64 0}94 !30 = !DILocation(line: 7, column: 6, scope: !14)95 !31 = !DILocation(line: 8, column: 3, scope: !14)96 !32 = !DILocation(line: 9, column: 1, scope: !14)97 !33 = !DILocalVariable(name: "asdf", scope: !14, file: !3, line: 4, type: !8)98 !34 = !DILocalVariable(name: "bees", scope: !14, file: !3, line: 4, type: !8)99 100...101---102name: main103alignment: 16104tracksRegLiveness: true105frameInfo: 106 maxAlignment: 4107 adjustsStack: true108 hasCalls: true109stack: 110 - { id: 0, name: l_1081, type: default, offset: 0, size: 4, alignment: 4, 111 callee-saved-register: '', callee-saved-restored: true, 112 debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }113body: |114 bb.0.entry:115 renamable $rax = LEA64r %stack.0.l_1081, 1, $noreg, 0, $noreg116 DBG_VALUE %stack.0.l_1081, $noreg, !19, !DIExpression(), debug-location !21117 DBG_VALUE %stack.0.l_1081, $noreg, !33, !DIExpression(DW_OP_LLVM_fragment, 1, 2), debug-location !21118 DBG_VALUE %stack.0.l_1081, $noreg, !34, !DIExpression(DW_OP_LLVM_tag_offset, 0), debug-location !21119 DBG_VALUE 1834104526, $noreg, !18, !DIExpression(), debug-location !21120 MOV64mr $rip, 1, $noreg, @b, $noreg, killed renamable $rax, debug-location !22 :: (store (s64) into @b, !tbaa !23)121 DBG_VALUE %stack.0.l_1081, 0, !19, !DIExpression(), debug-location !21122 MOV32mi $rip, 1, $noreg, @a, $noreg, 9, debug-location !27 :: (store (s32) into @a, !tbaa !28)123 MOV32mi %stack.0.l_1081, 1, $noreg, 0, $noreg, 9, debug-location !30 :: (store (s32) into %ir.l_1081, !tbaa !28)124 ADJCALLSTACKDOWN64 0, 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp, debug-location !31125 dead $eax = MOV32r0 implicit-def dead $eflags, implicit-def $al, debug-location !31126 CALL64pcrel32 @optimize_me_not, csr_64, implicit $rsp, implicit $ssp, implicit $al, implicit-def $rsp, implicit-def $ssp, implicit-def dead $eax, debug-location !31127 ADJCALLSTACKUP64 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp, debug-location !31128 $eax = MOV32r0 implicit-def dead $eflags, debug-location !32129 RET 0, $eax, debug-location !32130 131...132