6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-04-06 09:44:39 +00:00
Code Issues Projects Releases Wiki Activity

Define a new intrinsic, @llvm.debugger. It will be similar to __builtin_trap(),

Browse Source 
but it generates int3 on x86 instead of ud2.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@156593 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Dan Gohman 2012-05-11 00:19:32 +00:00
parent 61aef8bdf7
commit d4347e1af9
8 changed files with 56 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
docs/LangRef.html
View File

@ -307,6 +307,8 @@
'<tt>llvm.annotation.*</tt>' Intrinsic</a></li>
<li><a href="#int_trap">
'<tt>llvm.trap</tt>' Intrinsic</a></li>
<li><a href="#int_debugger">
'<tt>llvm.debugger</tt>' Intrinsic</a></li>
<li><a href="#int_stackprotector">
'<tt>llvm.stackprotector</tt>' Intrinsic</a></li>
<li><a href="#int_objectsize">
@ -8398,6 +8400,30 @@ LLVM</a>.</p>
</div>
<!-- _______________________________________________________________________ -->
<h4>
<a name="int_debugger">'<tt>llvm.debugger</tt>' Intrinsic</a>
</h4>
<div>
<h5>Syntax:</h5>
<pre>
declare void @llvm.debugger()
</pre>
<h5>Overview:</h5>
<p>The '<tt>llvm.debugger</tt>' intrinsic.</p>
<h5>Arguments:</h5>
<p>None.</p>
<h5>Semantics:</h5>
<p>This intrinsic is lowered to code which is intended to cause an execution
trap with the intention of requesting the attention of a debugger.</p>
</div>
<!-- _______________________________________________________________________ -->
<h4>
<a name="int_stackprotector">'<tt>llvm.stackprotector</tt>' Intrinsic</a>

3
include/llvm/CodeGen/ISDOpcodes.h
View File

@ -582,6 +582,9 @@ namespace ISD {
// TRAP - Trapping instruction
TRAP,
// DEBUGGER - Trap intented to get the attention of a debugger.
DEBUGGER,
// PREFETCH - This corresponds to a prefetch intrinsic. It takes chains are
// their first operand. The other operands are the address to prefetch,
// read / write specifier, locality specifier and instruction / data cache

2
include/llvm/Intrinsics.td
View File

@ -399,6 +399,8 @@ def int_flt_rounds : Intrinsic<[llvm_i32_ty]>,
GCCBuiltin<"__builtin_flt_rounds">;
def int_trap : Intrinsic<[]>,
GCCBuiltin<"__builtin_trap">;
def int_debugger : Intrinsic<[]>,
GCCBuiltin<"__builtin_debugger">;
// Intrisics to support half precision floating point format
let Properties = [IntrNoMem] in {

2
include/llvm/Target/TargetSelectionDAG.td
View File

@ -404,6 +404,8 @@ def brind : SDNode<"ISD::BRIND" , SDTBrind, [SDNPHasChain]>;
def br : SDNode<"ISD::BR" , SDTBr, [SDNPHasChain]>;
def trap : SDNode<"ISD::TRAP" , SDTNone,
[SDNPHasChain, SDNPSideEffect]>;
def debugger : SDNode<"ISD::DEBUGGER" , SDTNone,
[SDNPHasChain, SDNPSideEffect]>;
def prefetch : SDNode<"ISD::PREFETCH" , SDTPrefetch,
[SDNPHasChain, SDNPMayLoad, SDNPMayStore,

4
lib/CodeGen/SelectionDAG/SelectionDAGBuilder.cpp
View File

@ -5087,6 +5087,10 @@ SelectionDAGBuilder::visitIntrinsicCall(const CallInst &I, unsigned Intrinsic) {
DAG.setRoot(Result.second);
return 0;
}
case Intrinsic::debugger: {
DAG.setRoot(DAG.getNode(ISD::DEBUGGER, dl,MVT::Other, getRoot()));
return 0;
}
case Intrinsic::uadd_with_overflow:
case Intrinsic::sadd_with_overflow:
case Intrinsic::usub_with_overflow:

1
lib/CodeGen/SelectionDAG/SelectionDAGDumper.cpp
View File

@ -265,6 +265,7 @@ std::string SDNode::getOperationName(const SelectionDAG *G) const {
case ISD::STACKSAVE: return "stacksave";
case ISD::STACKRESTORE: return "stackrestore";
case ISD::TRAP: return "trap";
case ISD::DEBUGGER: return "debugger";
// Bit manipulation
case ISD::BSWAP: return "bswap";

3
lib/Target/X86/X86InstrSystem.td
View File

@ -36,6 +36,9 @@ let Uses = [EFLAGS] in
def INT3 : I<0xcc, RawFrm, (outs), (ins), "int3",
[(int_x86_int (i8 3))], IIC_INT3>;
def : Pat<(debugger),
(INT3)>;
// The long form of "int $3" turns into int3 as a size optimization.
// FIXME: This doesn't work because InstAlias can't match immediate constants.
//def : InstAlias<"int\t$3", (INT3)>;

18
test/CodeGen/X86/trap.ll
View File

@ -1,9 +1,21 @@
; RUN: llc < %s -march=x86 -mcpu=yonah | grep ud2
define i32 @test() noreturn nounwind {
; RUN: llc < %s -march=x86 -mcpu=yonah | FileCheck %s
; CHECK: test0:
; CHECK: ud2
define i32 @test0() noreturn nounwind {
entry:
tail call void @llvm.trap( )
unreachable
}
declare void @llvm.trap() nounwind
; CHECK: test1:
; CHECK: int3
define i32 @test1() noreturn nounwind {
entry:
tail call void @llvm.debugger( )
unreachable
}
declare void @llvm.trap() nounwind
declare void @llvm.debugger() nounwind