RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2025-01-31 20:51:52 +01:00
Code Issues Projects Releases Wiki Activity

Reland D73534: [DebugInfo] Enable the debug entry values feature by default

Browse Source 
The issue that was causing the build failures was fixed with the D76164.
This commit is contained in:
Djordje Todorovic 2020-03-19 12:13:18 +01:00
parent e3161d760e
commit 39a83a112e
44 changed files with 196 additions and 68 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
include/llvm/Target/TargetMachine.h
View File

@ -237,6 +237,9 @@ public:
void setSupportsDefaultOutlining(bool Enable) { void setSupportsDefaultOutlining(bool Enable) {
Options.SupportsDefaultOutlining = Enable; Options.SupportsDefaultOutlining = Enable;
} }
void setSupportsDebugEntryValues(bool Enable) {
Options.SupportsDebugEntryValues = Enable;
}
bool shouldPrintMachineCode() const { return Options.PrintMachineCode; } bool shouldPrintMachineCode() const { return Options.PrintMachineCode; }

16
include/llvm/Target/TargetOptions.h
View File

@ -134,8 +134,8 @@ namespace llvm {
EmulatedTLS(false), ExplicitEmulatedTLS(false), EnableIPRA(false), EmulatedTLS(false), ExplicitEmulatedTLS(false), EnableIPRA(false),
EmitStackSizeSection(false), EnableMachineOutliner(false), EmitStackSizeSection(false), EnableMachineOutliner(false),
SupportsDefaultOutlining(false), EmitAddrsig(false), SupportsDefaultOutlining(false), EmitAddrsig(false),
EmitCallSiteInfo(false), EnableDebugEntryValues(false), EmitCallSiteInfo(false), SupportsDebugEntryValues(false),
ForceDwarfFrameSection(false) {} EnableDebugEntryValues(false), ForceDwarfFrameSection(false) {}
/// PrintMachineCode - This flag is enabled when the -print-machineinstrs /// PrintMachineCode - This flag is enabled when the -print-machineinstrs
/// option is specified on the command line, and should enable debugging /// option is specified on the command line, and should enable debugging
@ -286,8 +286,16 @@ namespace llvm {
/// info, and it is restricted only to optimized code. This can be used for /// info, and it is restricted only to optimized code. This can be used for
/// something else, so that should be controlled in the frontend. /// something else, so that should be controlled in the frontend.
unsigned EmitCallSiteInfo : 1; unsigned EmitCallSiteInfo : 1;
/// Emit debug info about parameter's entry values. /// Set if the target supports the debug entry values by default.
unsigned EnableDebugEntryValues : 1; unsigned SupportsDebugEntryValues : 1;
/// When set to true, the EnableDebugEntryValues option forces production
/// of debug entry values even if the target does not officially support
/// it. Useful for testing purposes only. This flag should never be checked
/// directly, always use \ref ShouldEmitDebugEntryValues instead.
unsigned EnableDebugEntryValues : 1;
/// NOTE: There are targets that still do not support the debug entry values
/// production.
bool ShouldEmitDebugEntryValues() const;
/// Emit DWARF debug frame section. /// Emit DWARF debug frame section.
unsigned ForceDwarfFrameSection : 1; unsigned ForceDwarfFrameSection : 1;

15
lib/CodeGen/AsmPrinter/DwarfDebug.cpp
View File

@ -95,6 +95,10 @@ static cl::opt<bool> UseDwarfRangesBaseAddressSpecifier(
"use-dwarf-ranges-base-address-specifier", cl::Hidden, "use-dwarf-ranges-base-address-specifier", cl::Hidden,
cl::desc("Use base address specifiers in debug_ranges"), cl::init(false)); cl::desc("Use base address specifiers in debug_ranges"), cl::init(false));
static cl::opt<bool> EmitDwarfDebugEntryValues(
"emit-debug-entry-values", cl::Hidden,
cl::desc("Emit the debug entry values"), cl::init(false));
static cl::opt<bool> GenerateARangeSection("generate-arange-section", static cl::opt<bool> GenerateARangeSection("generate-arange-section",
cl::Hidden, cl::Hidden,
cl::desc("Generate dwarf aranges"), cl::desc("Generate dwarf aranges"),
@ -419,6 +423,12 @@ DwarfDebug::DwarfDebug(AsmPrinter *A, Module *M)
// a monolithic string offsets table without any header. // a monolithic string offsets table without any header.
UseSegmentedStringOffsetsTable = DwarfVersion >= 5; UseSegmentedStringOffsetsTable = DwarfVersion >= 5;
// Emit call-site-param debug info for GDB and LLDB, if the target supports
// the debug entry values feature. It can also be enabled explicitly.
EmitDebugEntryValues = (Asm->TM.Options.ShouldEmitDebugEntryValues() &&
(tuneForGDB() || tuneForLLDB())) ||
EmitDwarfDebugEntryValues;
Asm->OutStreamer->getContext().setDwarfVersion(DwarfVersion); Asm->OutStreamer->getContext().setDwarfVersion(DwarfVersion);
} }
@ -886,9 +896,8 @@ void DwarfDebug::constructCallSiteEntryDIEs(const DISubprogram &SP,
DIE &CallSiteDIE = CU.constructCallSiteEntryDIE(ScopeDIE, CalleeDIE, DIE &CallSiteDIE = CU.constructCallSiteEntryDIE(ScopeDIE, CalleeDIE,
IsTail, PCAddr, CallReg); IsTail, PCAddr, CallReg);
// GDB and LLDB support call site parameter debug info. // Optionally emit call-site-param debug info.
if (Asm->TM.Options.EnableDebugEntryValues && if (emitDebugEntryValues()) {
(tuneForGDB() || tuneForLLDB())) {
ParamSet Params; ParamSet Params;
// Try to interpret values of call site parameters. // Try to interpret values of call site parameters.
collectCallSiteParameters(&MI, Params); collectCallSiteParameters(&MI, Params);

9
lib/CodeGen/AsmPrinter/DwarfDebug.h
View File

@ -386,6 +386,11 @@ class DwarfDebug : public DebugHandlerBase {
/// a monolithic sequence of string offsets. /// a monolithic sequence of string offsets.
bool UseSegmentedStringOffsetsTable; bool UseSegmentedStringOffsetsTable;
/// Enable production of call site parameters needed to print the debug entry
/// values. Useful for testing purposes when a debugger does not support the
/// feature yet.
bool EmitDebugEntryValues;
/// Separated Dwarf Variables /// Separated Dwarf Variables
/// In general these will all be for bits that are left in the /// In general these will all be for bits that are left in the
/// original object file, rather than things that are meant /// original object file, rather than things that are meant
@ -708,6 +713,10 @@ public:
return UseSegmentedStringOffsetsTable; return UseSegmentedStringOffsetsTable;
} }
bool emitDebugEntryValues() const {
return EmitDebugEntryValues;
}
bool shareAcrossDWOCUs() const; bool shareAcrossDWOCUs() const;
/// Returns the Dwarf Version. /// Returns the Dwarf Version.

2
lib/CodeGen/CommandFlags.cpp
View File

@ -380,7 +380,7 @@ codegen::RegisterCodeGenFlags::RegisterCodeGenFlags() {
static cl::opt<bool> EnableDebugEntryValues( static cl::opt<bool> EnableDebugEntryValues(
"debug-entry-values", "debug-entry-values",
cl::desc("Emit debug info about parameter's entry values"), cl::desc("Enable debug info for the debug entry values."),
cl::init(false)); cl::init(false));
CGBINDOPT(EnableDebugEntryValues); CGBINDOPT(EnableDebugEntryValues);

4
lib/CodeGen/LiveDebugValues.cpp
View File

@ -1125,7 +1125,7 @@ void LiveDebugValues::transferRegisterDef(
if (auto *TPC = getAnalysisIfAvailable<TargetPassConfig>()) { if (auto *TPC = getAnalysisIfAvailable<TargetPassConfig>()) {
auto &TM = TPC->getTM<TargetMachine>(); auto &TM = TPC->getTM<TargetMachine>();
if (TM.Options.EnableDebugEntryValues) if (TM.Options.ShouldEmitDebugEntryValues())
emitEntryValues(MI, OpenRanges, VarLocIDs, Transfers, KillSet); emitEntryValues(MI, OpenRanges, VarLocIDs, Transfers, KillSet);
} }
} }
@ -1630,7 +1630,7 @@ void LiveDebugValues::recordEntryValue(const MachineInstr &MI,
VarLocMap &VarLocIDs) { VarLocMap &VarLocIDs) {
if (auto *TPC = getAnalysisIfAvailable<TargetPassConfig>()) { if (auto *TPC = getAnalysisIfAvailable<TargetPassConfig>()) {
auto &TM = TPC->getTM<TargetMachine>(); auto &TM = TPC->getTM<TargetMachine>();
if (!TM.Options.EnableDebugEntryValues) if (!TM.Options.ShouldEmitDebugEntryValues())
return; return;
} }

6
lib/CodeGen/TargetOptionsImpl.cpp
View File

@ -45,3 +45,9 @@ bool TargetOptions::DisableFramePointerElim(const MachineFunction &MF) const {
bool TargetOptions::HonorSignDependentRoundingFPMath() const { bool TargetOptions::HonorSignDependentRoundingFPMath() const {
return !UnsafeFPMath && HonorSignDependentRoundingFPMathOption; return !UnsafeFPMath && HonorSignDependentRoundingFPMathOption;
} }
/// NOTE: There are targets that still do not support the debug entry values
/// production.
bool TargetOptions::ShouldEmitDebugEntryValues() const {
return SupportsDebugEntryValues || EnableDebugEntryValues;
}

3
lib/Target/AArch64/AArch64TargetMachine.cpp
View File

@ -309,6 +309,9 @@ AArch64TargetMachine::AArch64TargetMachine(const Target &T, const Triple &TT,
// AArch64 supports default outlining behaviour. // AArch64 supports default outlining behaviour.
setSupportsDefaultOutlining(true); setSupportsDefaultOutlining(true);
// AArch64 supports the debug entry values.
setSupportsDebugEntryValues(true);
} }
AArch64TargetMachine::~AArch64TargetMachine() = default; AArch64TargetMachine::~AArch64TargetMachine() = default;

3
lib/Target/ARM/ARMTargetMachine.cpp
View File

@ -243,6 +243,9 @@ ARMBaseTargetMachine::ARMBaseTargetMachine(const Target &T, const Triple &TT,
this->Options.NoTrapAfterNoreturn = true; this->Options.NoTrapAfterNoreturn = true;
} }
// ARM supports the debug entry values.
setSupportsDebugEntryValues(true);
initAsmInfo(); initAsmInfo();
} }

3
lib/Target/X86/X86TargetMachine.cpp
View File

@ -232,6 +232,9 @@ X86TargetMachine::X86TargetMachine(const Target &T, const Triple &TT,
setMachineOutliner(true); setMachineOutliner(true);
// x86 supports the debug entry values.
setSupportsDebugEntryValues(true);
initAsmInfo(); initAsmInfo();
} }

2
test/CodeGen/MIR/Hexagon/bundled-call-site-info.mir
View File

@ -1,3 +1,5 @@
# We do not support the call site info for the target now, so we use the experimental option (-emit-call-site-info -debug-entry-values).
# RUN: llc -emit-call-site-info -debug-entry-values -run-pass=none -verify-machineinstrs -o - %s | FileCheck %s # RUN: llc -emit-call-site-info -debug-entry-values -run-pass=none -verify-machineinstrs -o - %s | FileCheck %s
# Verify that it is possible to read and write MIR where a callSites entry # Verify that it is possible to read and write MIR where a callSites entry

4
test/CodeGen/MIR/X86/call-site-info-error4.mir
View File

@ -1,5 +1,5 @@
# RUN: not llc -mtriple=x86_64-- -run-pass none %s -o - 2>&1 | FileCheck %s # RUN: llc -emit-call-site-info -mtriple=x86_64-- -run-pass none %s -o - 2>&1 | FileCheck %s
# CHECK: Call site info provided but not used # CHECK-NOT: Call site info provided but not used
--- | --- |
define dso_local i32 @baa(i32 %a) local_unnamed_addr { define dso_local i32 @baa(i32 %a) local_unnamed_addr {
entry: entry:

4
test/CodeGen/X86/call-site-info-output.ll
View File

@ -1,6 +1,6 @@
; Test call site info MIR printer and parser.Parser assertions and machine ; Test call site info MIR printer and parser.Parser assertions and machine
; verifier will check the rest; ; verifier will check the rest;
; RUN: llc -emit-call-site-info -debug-entry-values %s -stop-before=finalize-isel -o %t.mir ; RUN: llc -emit-call-site-info %s -stop-before=finalize-isel -o %t.mir
; RUN: cat %t.mir | FileCheck %s ; RUN: cat %t.mir | FileCheck %s
; CHECK: name: fn2 ; CHECK: name: fn2
; CHECK: callSites: ; CHECK: callSites:
@ -10,7 +10,7 @@
; CHECK-NEXT: arg: 0, reg: '$edi' ; CHECK-NEXT: arg: 0, reg: '$edi'
; CHECK-NEXT: arg: 1, reg: '$esi' ; CHECK-NEXT: arg: 1, reg: '$esi'
; CHECK-NEXT: arg: 2, reg: '$edx' ; CHECK-NEXT: arg: 2, reg: '$edx'
; RUN: llc -emit-call-site-info -debug-entry-values %t.mir -run-pass=finalize-isel -o -| FileCheck %s --check-prefix=PARSER ; RUN: llc -emit-call-site-info %t.mir -run-pass=finalize-isel -o -| FileCheck %s --check-prefix=PARSER
; Verify that we are able to parse output mir and that we are getting the same result. ; Verify that we are able to parse output mir and that we are getting the same result.
; PARSER: name: fn2 ; PARSER: name: fn2
; PARSER: callSites: ; PARSER: callSites:

2
test/DebugInfo/AArch64/dbgcall-site-float-entry-value.ll
View File

@ -1,4 +1,4 @@
; RUN: llc -mtriple aarch64-linux-gnu -emit-call-site-info -debug-entry-values -filetype=obj -o - %s | llvm-dwarfdump - | FileCheck %s ; RUN: llc -mtriple aarch64-linux-gnu -emit-call-site-info -filetype=obj -o - %s | llvm-dwarfdump - | FileCheck %s
; Based on the following C reproducer: ; Based on the following C reproducer:
; ;

2
test/DebugInfo/MIR/AArch64/dbgcall-site-orr-moves.mir
View File

@ -1,4 +1,4 @@
# RUN: llc -emit-call-site-info -debug-entry-values -start-after=livedebugvalues -filetype=obj -o - %s | llvm-dwarfdump - | FileCheck %s # RUN: llc -emit-call-site-info -start-after=livedebugvalues -filetype=obj -o - %s | llvm-dwarfdump - | FileCheck %s
# Based on the following C reproducer: # Based on the following C reproducer:
# #

2
test/DebugInfo/MIR/ARM/call-site-info-vmovd.mir
View File

@ -1,4 +1,4 @@
# RUN: llc -O1 -emit-call-site-info -debug-entry-values -filetype=obj -mtriple thumbv7em-apple-unknown-macho -start-after=machineverifier %s -o %t.o # RUN: llc -O1 -emit-call-site-info -filetype=obj -mtriple thumbv7em-apple-unknown-macho -start-after=machineverifier %s -o %t.o
# RUN: llvm-dwarfdump %t.o | FileCheck %s # RUN: llvm-dwarfdump %t.o | FileCheck %s
# Crash test, reduced from: # Crash test, reduced from:

2
test/DebugInfo/MIR/ARM/call-site-info-vmovs.mir
View File

@ -1,4 +1,4 @@
# RUN: llc -O1 -emit-call-site-info -debug-entry-values -filetype=obj -mtriple thumbv7em-apple-unknown-macho -start-after=machineverifier %s -o %t.o # RUN: llc -O1 -emit-call-site-info -filetype=obj -mtriple thumbv7em-apple-unknown-macho -start-after=machineverifier %s -o %t.o
# RUN: llvm-dwarfdump %t.o | FileCheck %s # RUN: llvm-dwarfdump %t.o | FileCheck %s
# Crash test, reduced from: # Crash test, reduced from:

6
test/DebugInfo/MIR/ARM/dbgcall-site-propagated-value.mir
View File

@ -1,4 +1,4 @@
# RUN: llc -emit-call-site-info -debug-entry-values -run-pass=livedebugvalues -o - %s | FileCheck %s # RUN: llc -run-pass=livedebugvalues -o - %s | FileCheck %s
# Based on the following C reproducer: # Based on the following C reproducer:
# #
@ -106,10 +106,6 @@
name: caller name: caller
alignment: 4 alignment: 4
tracksRegLiveness: true tracksRegLiveness: true
callSites:
- { bb: 0, offset: 6 }
- { bb: 0, offset: 9, fwdArgRegs:
- { arg: 0, reg: '$r0' } }
body: | body: |
bb.0: bb.0:
liveins: $lr liveins: $lr

4
test/DebugInfo/MIR/Hexagon/dbgcall-site-instr-before-bundled-call.mir
View File

@ -1,4 +1,6 @@
# RUN: llc -mtriple hexagon -emit-call-site-info -debug-entry-values -start-after=machineverifier -filetype=obj %s -o - | llvm-dwarfdump - | FileCheck %s # We do not support the call site info for the target now, so we use the experimental option (-emit-call-site-info -debug-entry-values).
# RUN: llc -emit-call-site-info -debug-entry-values -mtriple hexagon -start-after=machineverifier -filetype=obj %s -o - | llvm-dwarfdump - | FileCheck %s
# Based on the following C reproducer: # Based on the following C reproducer:
# #

2
test/DebugInfo/MIR/Hexagon/live-debug-values-bundled-entry-values.mir
View File

@ -1,3 +1,5 @@
# We do not support the call site info for the target now, so we use the experimental option (-emit-call-site-info -debug-entry-values).
# RUN: llc -emit-call-site-info -debug-entry-values -run-pass=livedebugvalues -o - %s | FileCheck %s # RUN: llc -emit-call-site-info -debug-entry-values -run-pass=livedebugvalues -o - %s | FileCheck %s
# Verify that the entry values for the input parameters are inserted after the # Verify that the entry values for the input parameters are inserted after the

2
test/DebugInfo/MIR/SystemZ/call-site-lzer.mir
View File

@ -1,3 +1,5 @@
# We do not support the call site info for the target now, so we use the experimental option (-emit-call-site-info -debug-entry-values).
# RUN: llc -emit-call-site-info -debug-entry-values -start-after=livedebugvalues -o - %s | FileCheck %s # RUN: llc -emit-call-site-info -debug-entry-values -start-after=livedebugvalues -o - %s | FileCheck %s
# This test would previously trigger an assertion when trying to describe the # This test would previously trigger an assertion when trying to describe the

2
test/DebugInfo/MIR/X86/DW_OP_entry_value.mir
View File

@ -1,4 +1,4 @@
# RUN: llc -emit-call-site-info -debug-entry-values -start-before=livedebugvalues -mtriple=x86_64-apple-darwin -o %t %s -filetype=obj # RUN: llc -start-before=livedebugvalues -mtriple=x86_64-apple-darwin -o %t %s -filetype=obj
# RUN: llvm-dwarfdump %t | FileCheck %s # RUN: llvm-dwarfdump %t | FileCheck %s
# #
# int global; # int global;

10
test/DebugInfo/MIR/X86/call-site-gnu-vs-dwarf5-attrs.mir
View File

@ -1,17 +1,21 @@
# Test the call site encoding in DWARF5 vs GNU extensions. # Test the call site encoding in DWARF5 vs GNU extensions.
# #
# RUN: llc -dwarf-version 4 -debugger-tune=gdb -emit-call-site-info -debug-entry-values -filetype=obj \ # RUN: llc -emit-call-site-info -dwarf-version 4 -debugger-tune=gdb -filetype=obj \
# RUN: -mtriple=x86_64-unknown-unknown -start-after=machineverifier -o - %s \ # RUN: -mtriple=x86_64-unknown-unknown -start-after=machineverifier -o - %s \
# RUN: | llvm-dwarfdump - | FileCheck %s -check-prefixes=CHECK-GNU # RUN: | llvm-dwarfdump - | FileCheck %s -check-prefixes=CHECK-GNU
# #
# RUN: llc -dwarf-version 5 -debugger-tune=lldb -emit-call-site-info -debug-entry-values -filetype=obj \ # RUN: llc -emit-call-site-info -dwarf-version 5 -debugger-tune=lldb -filetype=obj \
# RUN: -mtriple=x86_64-unknown-unknown -start-after=machineverifier -o - %s \ # RUN: -mtriple=x86_64-unknown-unknown -start-after=machineverifier -o - %s \
# RUN: | llvm-dwarfdump - | FileCheck %s -check-prefixes=CHECK-DWARF5 # RUN: | llvm-dwarfdump - | FileCheck %s -check-prefixes=CHECK-DWARF5
# #
# RUN: llc -dwarf-version 5 -emit-call-site-info -debug-entry-values -filetype=obj \ # RUN: llc -emit-call-site-info -dwarf-version 5 -filetype=obj \
# RUN: -mtriple=x86_64-unknown-unknown -start-after=machineverifier -o - %s \ # RUN: -mtriple=x86_64-unknown-unknown -start-after=machineverifier -o - %s \
# RUN: | llvm-dwarfdump - | FileCheck %s -check-prefixes=CHECK-DWARF5 # RUN: | llvm-dwarfdump - | FileCheck %s -check-prefixes=CHECK-DWARF5
# #
# RUN: llc -emit-call-site-info -dwarf-version 5 -filetype=obj -debugger-tune=sce \
# RUN: -emit-debug-entry-values -debug-entry-values -mtriple=x86_64-unknown-unknown \
# RUN: -start-after=machineverifier -o - %s | llvm-dwarfdump - | FileCheck %s -check-prefixes=CHECK-DWARF5
#
# This is based on the following reproducer: # This is based on the following reproducer:
# #
# extern void fn(); # extern void fn();

2
test/DebugInfo/MIR/X86/callsite-stack-value.mir
View File

@ -1,5 +1,5 @@
# RUN: llc -start-after=livedebugvalues -mtriple=x86_64-apple-darwin -o - %s -filetype=obj \ # RUN: llc -start-after=livedebugvalues -mtriple=x86_64-apple-darwin -o - %s -filetype=obj \
# RUN: -emit-call-site-info -debug-entry-values | llvm-dwarfdump - | FileCheck %s -implicit-check-not=call_site_parameter # RUN: -emit-call-site-info | llvm-dwarfdump - | FileCheck %s -implicit-check-not=call_site_parameter
# CHECK: DW_TAG_formal_parameter # CHECK: DW_TAG_formal_parameter
# CHECK-NEXT: DW_AT_location # CHECK-NEXT: DW_AT_location

2
test/DebugInfo/MIR/X86/dbgcall-site-copy-super-sub.mir
View File

@ -1,4 +1,4 @@
# RUN: llc -emit-call-site-info -debug-entry-values -start-after=livedebugvalues -filetype=obj %s -o -| llvm-dwarfdump -| FileCheck %s # RUN: llc -emit-call-site-info -start-after=livedebugvalues -filetype=obj %s -o -| llvm-dwarfdump -| FileCheck %s
# Based on the following reproducer: # Based on the following reproducer:
# #

2
test/DebugInfo/MIR/X86/dbgcall-site-interpretation.mir
View File

@ -1,4 +1,4 @@
# RUN: llc -emit-call-site-info -debug-entry-values -start-after=machineverifier -filetype=obj %s -o -| llvm-dwarfdump -| FileCheck %s # RUN: llc -emit-call-site-info -start-after=machineverifier -filetype=obj %s -o -| llvm-dwarfdump -| FileCheck %s
# #
# CHECK: DW_TAG_GNU_call_site # CHECK: DW_TAG_GNU_call_site
# CHECK-NEXT: DW_AT_abstract_origin {{.*}} "foo" # CHECK-NEXT: DW_AT_abstract_origin {{.*}} "foo"

2
test/DebugInfo/MIR/X86/dbgcall-site-lea-interpretation.mir
View File

@ -1,4 +1,4 @@
# RUN: llc -emit-call-site-info -debug-entry-values -start-after=machineverifier -filetype=obj %s -o -| llvm-dwarfdump -| FileCheck %s # RUN: llc -emit-call-site-info -start-after=machineverifier -filetype=obj %s -o -| llvm-dwarfdump -| FileCheck %s
# CHECK: DW_TAG_GNU_call_site # CHECK: DW_TAG_GNU_call_site
# CHECK-NEXT: DW_AT_abstract_origin {{.*}} "foo") # CHECK-NEXT: DW_AT_abstract_origin {{.*}} "foo")
# CHECK-NEXT: DW_AT_low_pc {{.*}} # CHECK-NEXT: DW_AT_low_pc {{.*}}

2
test/DebugInfo/MIR/X86/dbgcall-site-partial-describe.mir
View File

@ -1,4 +1,4 @@
# RUN: llc -emit-call-site-info -debug-entry-values -start-before=livedebugvalues -filetype=obj -o - %s \ # RUN: llc -emit-call-site-info -start-before=livedebugvalues -filetype=obj -o - %s \
# RUN: | llvm-dwarfdump - | FileCheck %s --implicit-check-not=DW_TAG_GNU_call_site_parameter # RUN: | llvm-dwarfdump - | FileCheck %s --implicit-check-not=DW_TAG_GNU_call_site_parameter
--- | --- |

2
test/DebugInfo/MIR/X86/dbgcall-site-reference.mir
View File

@ -1,4 +1,4 @@
# RUN: llc -emit-call-site-info -debug-entry-values -start-before=livedebugvalues -filetype=obj -o - %s | llvm-dwarfdump - | FileCheck %s # RUN: llc -start-before=livedebugvalues -filetype=obj -o - %s | llvm-dwarfdump - | FileCheck %s
# Based on the following C++ code: # Based on the following C++ code:
# struct A { A(A &) {} }; # struct A { A(A &) {} };

2
test/DebugInfo/MIR/X86/dbgcall-site-reg-shuffle.mir
View File

@ -1,4 +1,4 @@
# RUN: llc -emit-call-site-info -debug-entry-values -start-before=livedebugvalues -filetype=obj -o - %s \ # RUN: llc -emit-call-site-info -start-before=livedebugvalues -filetype=obj -o - %s \
# RUN: | llvm-dwarfdump - | FileCheck %s --implicit-check-not=DW_TAG_GNU_call_site_parameter # RUN: | llvm-dwarfdump - | FileCheck %s --implicit-check-not=DW_TAG_GNU_call_site_parameter
--- | --- |

2
test/DebugInfo/MIR/X86/dbgcall-site-two-fwd-reg-defs.mir
View File

@ -1,4 +1,4 @@
# RUN: llc -O1 -emit-call-site-info -debug-entry-values -start-after=livedebugvalues -filetype=obj %s -o - | llvm-dwarfdump - | FileCheck %s # RUN: llc -O1 -emit-call-site-info -start-after=livedebugvalues -filetype=obj %s -o - | llvm-dwarfdump - | FileCheck %s
# Based on the following C reproducer: # Based on the following C reproducer:
# #

2
test/DebugInfo/MIR/X86/dbginfo-entryvals.mir
View File

@ -1,4 +1,4 @@
# RUN: llc -emit-call-site-info -debug-entry-values -run-pass=livedebugvalues -verify-machineinstrs -march=x86-64 -o - %s | FileCheck %s # RUN: llc -run-pass=livedebugvalues -verify-machineinstrs -march=x86-64 -o - %s | FileCheck %s
# #
#extern void fn2(int); #extern void fn2(int);
# #

4
test/DebugInfo/MIR/X86/debug-call-site-param.mir
View File

@ -2,8 +2,8 @@
# When the debugger tuning is set to gdb, use GNU opcodes. # When the debugger tuning is set to gdb, use GNU opcodes.
# For lldb, use the standard DWARF5 opcodes. # For lldb, use the standard DWARF5 opcodes.
# RUN: llc -emit-call-site-info -debug-entry-values -debugger-tune=gdb -filetype=obj -mtriple=x86_64-unknown-unknown -start-after=machineverifier -o - %s | llvm-dwarfdump - | FileCheck %s -check-prefixes=CHECK-GNU # RUN: llc -emit-call-site-info -debugger-tune=gdb -filetype=obj -mtriple=x86_64-unknown-unknown -start-after=machineverifier -o - %s | llvm-dwarfdump - | FileCheck %s -check-prefixes=CHECK-GNU
# RUN: llc -emit-call-site-info -debug-entry-values -debugger-tune=lldb -filetype=obj -mtriple=x86_64-unknown-unknown -start-after=machineverifier -o - %s | llvm-dwarfdump - | FileCheck %s -check-prefixes=CHECK-DWARF5 # RUN: llc -emit-call-site-info -debugger-tune=lldb -filetype=obj -mtriple=x86_64-unknown-unknown -start-after=machineverifier -o - %s | llvm-dwarfdump - | FileCheck %s -check-prefixes=CHECK-DWARF5
# #
# extern void foo(int *a, int b, int c, int d, int e, int f); # extern void foo(int *a, int b, int c, int d, int e, int f);
# extern int getVal(); # extern int getVal();

7
test/DebugInfo/MIR/X86/entry-value-of-modified-param.mir
View File

@ -1,4 +1,4 @@
# RUN: llc -emit-call-site-info -debug-entry-values -run-pass=livedebugvalues -march=x86-64 -o - %s | FileCheck %s # RUN: llc -run-pass=livedebugvalues -march=x86-64 -o - %s | FileCheck %s
# #
#extern void fn1 (int, int, int); #extern void fn1 (int, int, int);
# #
@ -85,11 +85,6 @@
--- ---
name: fn2 name: fn2
alignment: 16 alignment: 16
callSites:
- { bb: 0, offset: 14, fwdArgRegs:
- { arg: 0, reg: '$edi' }
- { arg: 1, reg: '$esi' }
- { arg: 2, reg: '$edx' } }
body: | body: |
bb.0.entry: bb.0.entry:
liveins: $edi, $esi, $rbx liveins: $edi, $esi, $rbx

2
test/DebugInfo/MIR/X86/entry-values-diamond-bbs.mir
View File

@ -1,4 +1,4 @@
# RUN: llc -emit-call-site-info -debug-entry-values -run-pass=livedebugvalues -march=x86-64 -o - %s | FileCheck %s # RUN: llc -run-pass=livedebugvalues -march=x86-64 -o - %s | FileCheck %s
# #
# The test case was artificially adjusted, in order to make proper diamond basic # The test case was artificially adjusted, in order to make proper diamond basic
# block structure relevant to the debug entry values propagation. # block structure relevant to the debug entry values propagation.

11
test/DebugInfo/MIR/X86/propagate-entry-value-cross-bbs.mir
View File

@ -1,4 +1,4 @@
# RUN: llc -emit-call-site-info -debug-entry-values -run-pass=livedebugvalues -march=x86-64 -o - %s | FileCheck %s # RUN: llc -run-pass=livedebugvalues -march=x86-64 -o - %s | FileCheck %s
# #
#extern void fn1 (int, int, int); #extern void fn1 (int, int, int);
#__attribute__((noinline)) #__attribute__((noinline))
@ -110,15 +110,6 @@
--- ---
name: fn2 name: fn2
alignment: 16 alignment: 16
callSites:
- { bb: 0, offset: 20, fwdArgRegs:
- { arg: 0, reg: '$edi' }
- { arg: 1, reg: '$esi' }
- { arg: 2, reg: '$edx' } }
- { bb: 3, offset: 2, fwdArgRegs:
- { arg: 0, reg: '$edi' }
- { arg: 1, reg: '$esi' }
- { arg: 2, reg: '$edx' } }
body: | body: |
bb.0.entry: bb.0.entry:
successors: %bb.1(0x40000000), %bb.2(0x40000000) successors: %bb.1(0x40000000), %bb.2(0x40000000)

2
test/DebugInfo/MIR/X86/unreachable-block-call-site.mir
View File

@ -1,4 +1,4 @@
# RUN: llc -mtriple=x86_64-pc-linux -emit-call-site-info -debug-entry-values -run-pass=unreachable-mbb-elimination -o - %s | FileCheck %s # RUN: llc -emit-call-site-info -mtriple=x86_64-pc-linux -run-pass=unreachable-mbb-elimination -o - %s | FileCheck %s
# Verify that the call site information for the call residing in the eliminated # Verify that the call site information for the call residing in the eliminated
# block is removed. This test case would previously trigger an assertion when # block is removed. This test case would previously trigger an assertion when

2
test/DebugInfo/X86/dbg-value-range.ll
View File

@ -56,6 +56,6 @@ declare void @llvm.dbg.value(metadata, metadata, metadata) nounwind readnone
;CHECK-NEXT: .quad [[CLOBBER_OFF]] ;CHECK-NEXT: .quad [[CLOBBER_OFF]]
;CHECK-NEXT: .short 1 ## Loc expr size ;CHECK-NEXT: .short 1 ## Loc expr size
;CHECK-NEXT: .byte 85 ## DW_OP_reg ;CHECK-NEXT: .byte 85 ## DW_OP_reg
;CHECK-NEXT: .quad 0 ;CHECK: .quad 0
;CHECK-NEXT: .quad 0 ;CHECK-NEXT: .quad 0
!24 = !{i32 1, !"Debug Info Version", i32 3} !24 = !{i32 1, !"Debug Info Version", i32 3}

6
test/DebugInfo/X86/dbg-value-regmask-clobber.ll
View File

@ -9,8 +9,7 @@
; ASM: movl $1, x(%rip) ; ASM: movl $1, x(%rip)
; ASM: callq clobber ; ASM: callq clobber
; ASM-NEXT: [[argc_range_end:.Ltmp[0-9]+]]: ; ASM-NEXT: [[argc_range_end:.Ltmp[0-9]+]]:
; Previously LiveDebugValues would claim argc was still in ecx after the call. ; ASM: #DEBUG_VALUE: main:argc <- [DW_OP_LLVM_entry_value 1] $ecx
; ASM-NOT: #DEBUG_VALUE: main:argc
; argc is the first debug location. ; argc is the first debug location.
; ASM: .Ldebug_loc1: ; ASM: .Ldebug_loc1:
@ -23,7 +22,8 @@
; DWARF: .debug_info contents: ; DWARF: .debug_info contents:
; DWARF: DW_TAG_formal_parameter ; DWARF: DW_TAG_formal_parameter
; DWARF-NEXT: DW_AT_location ({{0x.*}} ; DWARF-NEXT: DW_AT_location ({{0x.*}}
; DWARF-NEXT: [0x0000000000000000, 0x0000000000000013): DW_OP_reg2 RCX) ; DWARF-NEXT: [0x0000000000000000, 0x0000000000000013): DW_OP_reg2 RCX
; DWARF-NEXT: [0x0000000000000013, 0x0000000000000043): DW_OP_GNU_entry_value(DW_OP_reg2 RCX), DW_OP_stack_value
; DWARF-NEXT: DW_AT_name ("argc") ; DWARF-NEXT: DW_AT_name ("argc")
; ModuleID = 't.cpp' ; ModuleID = 't.cpp'

2
test/DebugInfo/X86/dbgcall-site-64-bit-imms.ll
View File

@ -1,4 +1,4 @@
; RUN: llc -O1 -emit-call-site-info -debug-entry-values -filetype=obj -o - %s | llvm-dwarfdump - | FileCheck %s ; RUN: llc -emit-call-site-info -O1 -filetype=obj -o - %s | llvm-dwarfdump - | FileCheck %s
; Verify that the 64-bit call site immediates are not truncated. ; Verify that the 64-bit call site immediates are not truncated.
; ;

2
test/DebugInfo/X86/dbgcall-site-zero-valued-imms.ll
View File

@ -1,4 +1,4 @@
; RUN: llc -O3 -emit-call-site-info -debug-entry-values -filetype=obj -o - %s | llvm-dwarfdump - | FileCheck %s ; RUN: llc -emit-call-site-info -O3 -filetype=obj -o - %s | llvm-dwarfdump - | FileCheck %s
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"

6
test/DebugInfo/X86/loclists-dwp.ll
View File

@ -19,10 +19,12 @@
; void b(int i) { asm("" : : : "rdi"); } ; void b(int i) { asm("" : : : "rdi"); }
; CHECK: DW_AT_location [DW_FORM_sec_offset] (0x00000000 ; CHECK: DW_AT_location [DW_FORM_sec_offset] (0x00000000
; CHECK-NEXT: DW_LLE_startx_length (0x0000000000000000, 0x0000000000000006): DW_OP_reg5 RDI) ; CHECK-NEXT: DW_LLE_startx_length (0x0000000000000000, 0x0000000000000006): DW_OP_reg5 RDI
; CHECK-NEXT: DW_LLE_startx_length (0x0000000000000001, 0x0000000000000002): DW_OP_GNU_entry_value(DW_OP_reg5 RDI), DW_OP_stack_value)
; CHECK: DW_AT_location [DW_FORM_sec_offset] (0x00000000 ; CHECK: DW_AT_location [DW_FORM_sec_offset] (0x00000000
; CHECK-NEXT: DW_LLE_startx_length (0x0000000000000000, 0x0000000000000000): DW_OP_reg5 RDI) ; CHECK-NEXT: DW_LLE_startx_length (0x0000000000000000, 0x0000000000000000): DW_OP_reg5 RDI
; CHECK-NEXT: DW_LLE_startx_length (0x0000000000000001, 0x0000000000000001): DW_OP_GNU_entry_value(DW_OP_reg5 RDI), DW_OP_stack_value)
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"

88
test/DebugInfo/X86/no-entry-values-with-O0.ll Normal file
View File

@ -0,0 +1,88 @@
; RUN: llc -O0 -dwarf-version=5 -debugger-tune=lldb -march=x86-64 -filetype=obj < %s \
; RUN: | llvm-dwarfdump - | FileCheck --implicit-check-not=DW_OP_entry_value %s
; RUN: llc -O0 -dwarf-version=5 -debugger-tune=gdb -march=x86-64 -filetype=obj < %s \
; RUN: | llvm-dwarfdump - | FileCheck --implicit-check-not=DW_OP_entry_value %s
; The call-site-params are created iff corresponding DISubprogram contains
; the AllCallsDescribed DIFlag.
; CHECK-NOT: DW_TAG_call_site_param
; Genarated with:
; clang -gdwarf-5 -O0 test.c -S -emit-llvm
;
; ModuleID = 'test.c'
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"
; Function Attrs: noinline nounwind optnone uwtable
define dso_local void @fn1(i32 %x, i32 %y) !dbg !7 {
entry:
%x.addr = alloca i32, align 4
%y.addr = alloca i32, align 4
%u = alloca i32, align 4
%a = alloca i32, align 4
store i32 %x, i32* %x.addr, align 4
call void @llvm.dbg.declare(metadata i32* %x.addr, metadata !11, metadata !DIExpression()), !dbg !12
store i32 %y, i32* %y.addr, align 4
call void @llvm.dbg.declare(metadata i32* %y.addr, metadata !13, metadata !DIExpression()), !dbg !14
call void @llvm.dbg.declare(metadata i32* %u, metadata !15, metadata !DIExpression()), !dbg !16
%0 = load i32, i32* %x.addr, align 4, !dbg !16
%1 = load i32, i32* %y.addr, align 4, !dbg !16
%add = add nsw i32 %0, %1, !dbg !16
store i32 %add, i32* %u, align 4, !dbg !16
%2 = load i32, i32* %x.addr, align 4, !dbg !17
%cmp = icmp sgt i32 %2, 1, !dbg !17
br i1 %cmp, label %if.then, label %if.else, !dbg !16
if.then: ; preds = %entry
%3 = load i32, i32* %u, align 4, !dbg !17
%add1 = add nsw i32 %3, 1, !dbg !17
store i32 %add1, i32* %u, align 4, !dbg !17
br label %if.end, !dbg !17
if.else: ; preds = %entry
%4 = load i32, i32* %u, align 4, !dbg !17
%add2 = add nsw i32 %4, 2, !dbg !17
store i32 %add2, i32* %u, align 4, !dbg !17
br label %if.end
if.end: ; preds = %if.else, %if.then
call void @llvm.dbg.declare(metadata i32* %a, metadata !19, metadata !DIExpression()), !dbg !16
store i32 7, i32* %a, align 4, !dbg !16
%5 = load i32, i32* %a, align 4, !dbg !16
call void @fn2(i32 %5), !dbg !16
%6 = load i32, i32* %u, align 4, !dbg !16
%dec = add nsw i32 %6, -1, !dbg !16
store i32 %dec, i32* %u, align 4, !dbg !16
ret void, !dbg !16
}
; Function Attrs: nounwind readnone speculatable willreturn
declare void @llvm.dbg.declare(metadata, metadata, metadata)
declare dso_local void @fn2(i32)
!llvm.dbg.cu = !{!0}
!llvm.module.flags = !{!3, !4, !5}
!llvm.ident = !{!6}
!0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, producer: "clang version 11.0.0", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, splitDebugInlining: false, nameTableKind: None)
!1 = !DIFile(filename: "test.c", directory: "/")
!2 = !{}
!3 = !{i32 7, !"Dwarf Version", i32 5}
!4 = !{i32 2, !"Debug Info Version", i32 3}
!5 = !{i32 1, !"wchar_size", i32 4}
!6 = !{!"clang version 11.0.0"}
!7 = distinct !DISubprogram(name: "fn1", scope: !1, file: !1, line: 5, type: !8, scopeLine: 5, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !0, retainedNodes: !2)
!8 = !DISubroutineType(types: !9)
!9 = !{null, !10, !10}
!10 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
!11 = !DILocalVariable(name: "x", arg: 1, scope: !7, file: !1, line: 5, type: !10)
!12 = !DILocation(line: 5, column: 10, scope: !7)
!13 = !DILocalVariable(name: "y", arg: 2, scope: !7, file: !1, line: 5, type: !10)
!14 = !DILocation(line: 5, column: 17, scope: !7)
!15 = !DILocalVariable(name: "u", scope: !7, file: !1, line: 6, type: !10)
!16 = !DILocation(line: 6, column: 7, scope: !7)
!17 = !DILocation(line: 7, column: 7, scope: !18)
!18 = distinct !DILexicalBlock(scope: !7, file: !1, line: 7, column: 7)
!19 = !DILocalVariable(name: "a", scope: !7, file: !1, line: 11, type: !10)

6
test/tools/llvm-locstats/locstats.ll
View File

@ -9,9 +9,9 @@
; LOCSTATS: [10%,20%) 0 0% ; LOCSTATS: [10%,20%) 0 0%
; LOCSTATS: [20%,30%) 1 11% ; LOCSTATS: [20%,30%) 1 11%
; LOCSTATS: [30%,40%) 0 0% ; LOCSTATS: [30%,40%) 0 0%
; LOCSTATS: [40%,50%) 1 11% ; LOCSTATS: [40%,50%) 0 0%
; LOCSTATS: [50%,60%) 1 11% ; LOCSTATS: [50%,60%) 0 0%
; LOCSTATS: [60%,70%) 1 11% ; LOCSTATS: [60%,70%) 3 33%
; LOCSTATS: [70%,80%) 0 0% ; LOCSTATS: [70%,80%) 0 0%
; LOCSTATS: [80%,90%) 2 22% ; LOCSTATS: [80%,90%) 2 22%
; LOCSTATS: [90%,100%) 1 11% ; LOCSTATS: [90%,100%) 1 11%