mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-24 19:52:54 +01:00
cb38af30a0
feature, either build the JIT in debug mode to enable it by default or pass -jit-emit-debug to lli. Right now, the only debug information that this communicates to GDB is call frame information, since it's already being generated to support exceptions in the JIT. Eventually, when DWARF generation isn't tied so tightly to AsmPrinter, it will be easy to push that information to GDB through this interface. Here's a step-by-step breakdown of how the feature works: - The JIT generates the machine code and DWARF call frame info (.eh_frame/.debug_frame) for a function into memory. - The JIT copies that info into an in-memory ELF file with a symbol for the function. - The JIT creates a code entry pointing to the ELF buffer and adds it to a linked list hanging off of a global descriptor at a special symbol that GDB knows about. - The JIT calls a function marked noinline that GDB knows about and has put an internal breakpoint in. - GDB catches the breakpoint and reads the global descriptor to look for new code. - When sees there is new code, it reads the ELF from the inferior's memory and adds it to itself as an object file. - The JIT continues, and the next time we stop the program, we are able to produce a proper backtrace. Consider running the following program through the JIT: #include <stdio.h> void baz(short z) { long w = z + 1; printf("%d, %x\n", w, *((int*)NULL)); // SEGFAULT here } void bar(short y) { int z = y + 1; baz(z); } void foo(char x) { short y = x + 1; bar(y); } int main(int argc, char** argv) { char x = 1; foo(x); } Here is a backtrace before this patch: Program received signal SIGSEGV, Segmentation fault. [Switching to Thread 0x2aaaabdfbd10 (LWP 25476)] 0x00002aaaabe7d1a8 in ?? () (gdb) bt #0 0x00002aaaabe7d1a8 in ?? () #1 0x0000000000000003 in ?? () #2 0x0000000000000004 in ?? () #3 0x00032aaaabe7cfd0 in ?? () #4 0x00002aaaabe7d12c in ?? () #5 0x00022aaa00000003 in ?? () #6 0x00002aaaabe7d0aa in ?? () #7 0x01000002abe7cff0 in ?? () #8 0x00002aaaabe7d02c in ?? () #9 0x0100000000000001 in ?? () #10 0x00000000014388e0 in ?? () #11 0x00007fff00000001 in ?? () #12 0x0000000000b870a2 in llvm::JIT::runFunction (this=0x1405b70, F=0x14024e0, ArgValues=@0x7fffffffe050) at /home/rnk/llvm-gdb/lib/ExecutionEngine/JIT/JIT.cpp:395 #13 0x0000000000baa4c5 in llvm::ExecutionEngine::runFunctionAsMain (this=0x1405b70, Fn=0x14024e0, argv=@0x13f06f8, envp=0x7fffffffe3b0) at /home/rnk/llvm-gdb/lib/ExecutionEngine/ExecutionEngine.cpp:377 #14 0x00000000007ebd52 in main (argc=2, argv=0x7fffffffe398, envp=0x7fffffffe3b0) at /home/rnk/llvm-gdb/tools/lli/lli.cpp:208 And a backtrace after this patch: Program received signal SIGSEGV, Segmentation fault. 0x00002aaaabe7d1a8 in baz () (gdb) bt #0 0x00002aaaabe7d1a8 in baz () #1 0x00002aaaabe7d12c in bar () #2 0x00002aaaabe7d0aa in foo () #3 0x00002aaaabe7d02c in main () #4 0x0000000000b870a2 in llvm::JIT::runFunction (this=0x1405b70, F=0x14024e0, ArgValues=...) at /home/rnk/llvm-gdb/lib/ExecutionEngine/JIT/JIT.cpp:395 #5 0x0000000000baa4c5 in llvm::ExecutionEngine::runFunctionAsMain (this=0x1405b70, Fn=0x14024e0, argv=..., envp=0x7fffffffe3c0) at /home/rnk/llvm-gdb/lib/ExecutionEngine/ExecutionEngine.cpp:377 #6 0x00000000007ebd52 in main (argc=2, argv=0x7fffffffe3a8, envp=0x7fffffffe3c0) at /home/rnk/llvm-gdb/tools/lli/lli.cpp:208 llvm-svn: 82418
266 lines
9.0 KiB
C++
266 lines
9.0 KiB
C++
//===-- TargetMachine.cpp - General Target Information ---------------------==//
|
|
//
|
|
// The LLVM Compiler Infrastructure
|
|
//
|
|
// This file is distributed under the University of Illinois Open Source
|
|
// License. See LICENSE.TXT for details.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
//
|
|
// This file describes the general parts of a Target machine.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#include "llvm/MC/MCAsmInfo.h"
|
|
#include "llvm/Target/TargetMachine.h"
|
|
#include "llvm/Target/TargetOptions.h"
|
|
#include "llvm/Support/CommandLine.h"
|
|
using namespace llvm;
|
|
|
|
//---------------------------------------------------------------------------
|
|
// Command-line options that tend to be useful on more than one back-end.
|
|
//
|
|
|
|
namespace llvm {
|
|
bool LessPreciseFPMADOption;
|
|
bool PrintMachineCode;
|
|
bool NoFramePointerElim;
|
|
bool NoExcessFPPrecision;
|
|
bool UnsafeFPMath;
|
|
bool FiniteOnlyFPMathOption;
|
|
bool HonorSignDependentRoundingFPMathOption;
|
|
bool UseSoftFloat;
|
|
FloatABI::ABIType FloatABIType;
|
|
bool NoImplicitFloat;
|
|
bool NoZerosInBSS;
|
|
bool DwarfExceptionHandling;
|
|
bool SjLjExceptionHandling;
|
|
bool JITEmitDebugInfo;
|
|
bool JITEmitDebugInfoToDisk;
|
|
bool UnwindTablesMandatory;
|
|
Reloc::Model RelocationModel;
|
|
CodeModel::Model CMModel;
|
|
bool PerformTailCallOpt;
|
|
unsigned StackAlignment;
|
|
bool RealignStack;
|
|
bool DisableJumpTables;
|
|
bool StrongPHIElim;
|
|
bool AsmVerbosityDefault(false);
|
|
}
|
|
|
|
static cl::opt<bool, true>
|
|
PrintCode("print-machineinstrs",
|
|
cl::desc("Print generated machine code"),
|
|
cl::location(PrintMachineCode), cl::init(false));
|
|
static cl::opt<bool, true>
|
|
DisableFPElim("disable-fp-elim",
|
|
cl::desc("Disable frame pointer elimination optimization"),
|
|
cl::location(NoFramePointerElim),
|
|
cl::init(false));
|
|
static cl::opt<bool, true>
|
|
DisableExcessPrecision("disable-excess-fp-precision",
|
|
cl::desc("Disable optimizations that may increase FP precision"),
|
|
cl::location(NoExcessFPPrecision),
|
|
cl::init(false));
|
|
static cl::opt<bool, true>
|
|
EnableFPMAD("enable-fp-mad",
|
|
cl::desc("Enable less precise MAD instructions to be generated"),
|
|
cl::location(LessPreciseFPMADOption),
|
|
cl::init(false));
|
|
static cl::opt<bool, true>
|
|
EnableUnsafeFPMath("enable-unsafe-fp-math",
|
|
cl::desc("Enable optimizations that may decrease FP precision"),
|
|
cl::location(UnsafeFPMath),
|
|
cl::init(false));
|
|
static cl::opt<bool, true>
|
|
EnableFiniteOnlyFPMath("enable-finite-only-fp-math",
|
|
cl::desc("Enable optimizations that assumes non- NaNs / +-Infs"),
|
|
cl::location(FiniteOnlyFPMathOption),
|
|
cl::init(false));
|
|
static cl::opt<bool, true>
|
|
EnableHonorSignDependentRoundingFPMath("enable-sign-dependent-rounding-fp-math",
|
|
cl::Hidden,
|
|
cl::desc("Force codegen to assume rounding mode can change dynamically"),
|
|
cl::location(HonorSignDependentRoundingFPMathOption),
|
|
cl::init(false));
|
|
static cl::opt<bool, true>
|
|
GenerateSoftFloatCalls("soft-float",
|
|
cl::desc("Generate software floating point library calls"),
|
|
cl::location(UseSoftFloat),
|
|
cl::init(false));
|
|
static cl::opt<llvm::FloatABI::ABIType, true>
|
|
FloatABIForCalls("float-abi",
|
|
cl::desc("Choose float ABI type"),
|
|
cl::location(FloatABIType),
|
|
cl::init(FloatABI::Default),
|
|
cl::values(
|
|
clEnumValN(FloatABI::Default, "default",
|
|
"Target default float ABI type"),
|
|
clEnumValN(FloatABI::Soft, "soft",
|
|
"Soft float ABI (implied by -soft-float)"),
|
|
clEnumValN(FloatABI::Hard, "hard",
|
|
"Hard float ABI (uses FP registers)"),
|
|
clEnumValEnd));
|
|
static cl::opt<bool, true>
|
|
DontPlaceZerosInBSS("nozero-initialized-in-bss",
|
|
cl::desc("Don't place zero-initialized symbols into bss section"),
|
|
cl::location(NoZerosInBSS),
|
|
cl::init(false));
|
|
static cl::opt<bool, true>
|
|
EnableDwarfExceptionHandling("enable-eh",
|
|
cl::desc("Emit DWARF exception handling (default if target supports)"),
|
|
cl::location(DwarfExceptionHandling),
|
|
cl::init(false));
|
|
static cl::opt<bool, true>
|
|
EnableSjLjExceptionHandling("enable-sjlj-eh",
|
|
cl::desc("Emit SJLJ exception handling (default if target supports)"),
|
|
cl::location(SjLjExceptionHandling),
|
|
cl::init(false));
|
|
// In debug builds, make this default to true.
|
|
#ifdef NDEBUG
|
|
#define EMIT_DEBUG false
|
|
#else
|
|
#define EMIT_DEBUG true
|
|
#endif
|
|
static cl::opt<bool, true>
|
|
EmitJitDebugInfo("jit-emit-debug",
|
|
cl::desc("Emit debug information to debugger"),
|
|
cl::location(JITEmitDebugInfo),
|
|
cl::init(EMIT_DEBUG));
|
|
#undef EMIT_DEBUG
|
|
static cl::opt<bool, true>
|
|
EmitJitDebugInfoToDisk("jit-emit-debug-to-disk",
|
|
cl::Hidden,
|
|
cl::desc("Emit debug info objfiles to disk"),
|
|
cl::location(JITEmitDebugInfoToDisk),
|
|
cl::init(false));
|
|
static cl::opt<bool, true>
|
|
EnableUnwindTables("unwind-tables",
|
|
cl::desc("Generate unwinding tables for all functions"),
|
|
cl::location(UnwindTablesMandatory),
|
|
cl::init(false));
|
|
|
|
static cl::opt<llvm::Reloc::Model, true>
|
|
DefRelocationModel("relocation-model",
|
|
cl::desc("Choose relocation model"),
|
|
cl::location(RelocationModel),
|
|
cl::init(Reloc::Default),
|
|
cl::values(
|
|
clEnumValN(Reloc::Default, "default",
|
|
"Target default relocation model"),
|
|
clEnumValN(Reloc::Static, "static",
|
|
"Non-relocatable code"),
|
|
clEnumValN(Reloc::PIC_, "pic",
|
|
"Fully relocatable, position independent code"),
|
|
clEnumValN(Reloc::DynamicNoPIC, "dynamic-no-pic",
|
|
"Relocatable external references, non-relocatable code"),
|
|
clEnumValEnd));
|
|
static cl::opt<llvm::CodeModel::Model, true>
|
|
DefCodeModel("code-model",
|
|
cl::desc("Choose code model"),
|
|
cl::location(CMModel),
|
|
cl::init(CodeModel::Default),
|
|
cl::values(
|
|
clEnumValN(CodeModel::Default, "default",
|
|
"Target default code model"),
|
|
clEnumValN(CodeModel::Small, "small",
|
|
"Small code model"),
|
|
clEnumValN(CodeModel::Kernel, "kernel",
|
|
"Kernel code model"),
|
|
clEnumValN(CodeModel::Medium, "medium",
|
|
"Medium code model"),
|
|
clEnumValN(CodeModel::Large, "large",
|
|
"Large code model"),
|
|
clEnumValEnd));
|
|
static cl::opt<bool, true>
|
|
EnablePerformTailCallOpt("tailcallopt",
|
|
cl::desc("Turn on tail call optimization."),
|
|
cl::location(PerformTailCallOpt),
|
|
cl::init(false));
|
|
static cl::opt<unsigned, true>
|
|
OverrideStackAlignment("stack-alignment",
|
|
cl::desc("Override default stack alignment"),
|
|
cl::location(StackAlignment),
|
|
cl::init(0));
|
|
static cl::opt<bool, true>
|
|
EnableRealignStack("realign-stack",
|
|
cl::desc("Realign stack if needed"),
|
|
cl::location(RealignStack),
|
|
cl::init(true));
|
|
static cl::opt<bool, true>
|
|
DisableSwitchTables(cl::Hidden, "disable-jump-tables",
|
|
cl::desc("Do not generate jump tables."),
|
|
cl::location(DisableJumpTables),
|
|
cl::init(false));
|
|
static cl::opt<bool, true>
|
|
EnableStrongPHIElim(cl::Hidden, "strong-phi-elim",
|
|
cl::desc("Use strong PHI elimination."),
|
|
cl::location(StrongPHIElim),
|
|
cl::init(false));
|
|
|
|
//---------------------------------------------------------------------------
|
|
// TargetMachine Class
|
|
//
|
|
|
|
TargetMachine::TargetMachine(const Target &T)
|
|
: TheTarget(T), AsmInfo(0) {
|
|
// Typically it will be subtargets that will adjust FloatABIType from Default
|
|
// to Soft or Hard.
|
|
if (UseSoftFloat)
|
|
FloatABIType = FloatABI::Soft;
|
|
}
|
|
|
|
TargetMachine::~TargetMachine() {
|
|
delete AsmInfo;
|
|
}
|
|
|
|
/// getRelocationModel - Returns the code generation relocation model. The
|
|
/// choices are static, PIC, and dynamic-no-pic, and target default.
|
|
Reloc::Model TargetMachine::getRelocationModel() {
|
|
return RelocationModel;
|
|
}
|
|
|
|
/// setRelocationModel - Sets the code generation relocation model.
|
|
void TargetMachine::setRelocationModel(Reloc::Model Model) {
|
|
RelocationModel = Model;
|
|
}
|
|
|
|
/// getCodeModel - Returns the code model. The choices are small, kernel,
|
|
/// medium, large, and target default.
|
|
CodeModel::Model TargetMachine::getCodeModel() {
|
|
return CMModel;
|
|
}
|
|
|
|
/// setCodeModel - Sets the code model.
|
|
void TargetMachine::setCodeModel(CodeModel::Model Model) {
|
|
CMModel = Model;
|
|
}
|
|
|
|
bool TargetMachine::getAsmVerbosityDefault() {
|
|
return AsmVerbosityDefault;
|
|
}
|
|
|
|
void TargetMachine::setAsmVerbosityDefault(bool V) {
|
|
AsmVerbosityDefault = V;
|
|
}
|
|
|
|
namespace llvm {
|
|
/// LessPreciseFPMAD - This flag return true when -enable-fp-mad option
|
|
/// is specified on the command line. When this flag is off(default), the
|
|
/// code generator is not allowed to generate mad (multiply add) if the
|
|
/// result is "less precise" than doing those operations individually.
|
|
bool LessPreciseFPMAD() { return UnsafeFPMath || LessPreciseFPMADOption; }
|
|
|
|
/// FiniteOnlyFPMath - This returns true when the -enable-finite-only-fp-math
|
|
/// option is specified on the command line. If this returns false (default),
|
|
/// the code generator is not allowed to assume that FP arithmetic arguments
|
|
/// and results are never NaNs or +-Infs.
|
|
bool FiniteOnlyFPMath() { return UnsafeFPMath || FiniteOnlyFPMathOption; }
|
|
|
|
/// HonorSignDependentRoundingFPMath - Return true if the codegen must assume
|
|
/// that the rounding mode of the FPU can change from its default.
|
|
bool HonorSignDependentRoundingFPMath() {
|
|
return !UnsafeFPMath && HonorSignDependentRoundingFPMathOption;
|
|
}
|
|
}
|