mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-25 14:02:52 +02:00
8011644f25
The incoming EBP value established by the runtime is actually a pointer to the end of the EH registration object, and not the true parent function frame pointer. Clang doesn't need llvm.x86.seh.exceptioninfo anymore because we know that the exception info pointer is at a fixed offset from this incoming EBP. The llvm.x86.seh.recoverfp intrinsic takes an EBP value provided by the EH runtime and returns a pointer that is usable with llvm.framerecover. The llvm.x86.seh.restoreframe intrinsic is inserted by the 32-bit specific preparation pass in blocks targetted by the EH runtime. It re-establishes any physical registers used by the parent function to address the stack, such as the frame, base, and stack pointers. Neither of these intrinsics correctly handle stack realignment prologues yet, but it's possible to add that later. Reviewers: majnemer Differential Revision: http://reviews.llvm.org/D10848 llvm-svn: 241125
177 lines
5.4 KiB
LLVM
177 lines
5.4 KiB
LLVM
; RUN: llc -mtriple i686-pc-windows-msvc < %s | FileCheck %s
|
|
|
|
; This test case is also intended to be run manually as a complete functional
|
|
; test. It should link, print something, and exit zero rather than crashing.
|
|
; It is the hypothetical lowering of a C source program that looks like:
|
|
;
|
|
; int safe_div(int *n, int *d) {
|
|
; int r;
|
|
; __try {
|
|
; __try {
|
|
; r = *n / *d;
|
|
; } __except(GetExceptionCode() == EXCEPTION_ACCESS_VIOLATION) {
|
|
; puts("EXCEPTION_ACCESS_VIOLATION");
|
|
; r = -1;
|
|
; }
|
|
; } __except(GetExceptionCode() == EXCEPTION_INT_DIVIDE_BY_ZERO) {
|
|
; puts("EXCEPTION_INT_DIVIDE_BY_ZERO");
|
|
; r = -2;
|
|
; }
|
|
; return r;
|
|
; }
|
|
|
|
@str1 = internal constant [27 x i8] c"EXCEPTION_ACCESS_VIOLATION\00"
|
|
@str2 = internal constant [29 x i8] c"EXCEPTION_INT_DIVIDE_BY_ZERO\00"
|
|
|
|
define i32 @safe_div(i32* %n, i32* %d) personality i8* bitcast (i32 (...)* @_except_handler3 to i8*) {
|
|
entry:
|
|
%r = alloca i32, align 4
|
|
store i32 42, i32* %r
|
|
invoke void @try_body(i32* %r, i32* %n, i32* %d)
|
|
to label %__try.cont unwind label %lpad
|
|
|
|
lpad:
|
|
%vals = landingpad { i8*, i32 }
|
|
catch i8* bitcast (i32 ()* @safe_div_filt0 to i8*)
|
|
catch i8* bitcast (i32 ()* @safe_div_filt1 to i8*)
|
|
%ehptr = extractvalue { i8*, i32 } %vals, 0
|
|
%sel = extractvalue { i8*, i32 } %vals, 1
|
|
%filt0_val = call i32 @llvm.eh.typeid.for(i8* bitcast (i32 ()* @safe_div_filt0 to i8*))
|
|
%is_filt0 = icmp eq i32 %sel, %filt0_val
|
|
br i1 %is_filt0, label %handler0, label %eh.dispatch1
|
|
|
|
eh.dispatch1:
|
|
%filt1_val = call i32 @llvm.eh.typeid.for(i8* bitcast (i32 ()* @safe_div_filt1 to i8*))
|
|
%is_filt1 = icmp eq i32 %sel, %filt1_val
|
|
br i1 %is_filt1, label %handler1, label %eh.resume
|
|
|
|
handler0:
|
|
call void @puts(i8* getelementptr ([27 x i8], [27 x i8]* @str1, i32 0, i32 0))
|
|
store i32 -1, i32* %r, align 4
|
|
br label %__try.cont
|
|
|
|
handler1:
|
|
call void @puts(i8* getelementptr ([29 x i8], [29 x i8]* @str2, i32 0, i32 0))
|
|
store i32 -2, i32* %r, align 4
|
|
br label %__try.cont
|
|
|
|
eh.resume:
|
|
resume { i8*, i32 } %vals
|
|
|
|
__try.cont:
|
|
%safe_ret = load i32, i32* %r, align 4
|
|
ret i32 %safe_ret
|
|
}
|
|
|
|
; Normal path code
|
|
|
|
; CHECK: {{^}}_safe_div:
|
|
; CHECK: movl $42, [[rloc:.*\(%ebp\)]]
|
|
; CHECK: leal [[rloc]],
|
|
; CHECK: calll _try_body
|
|
; CHECK: [[cont_bb:LBB0_[0-9]+]]:
|
|
; CHECK: movl [[rloc]], %eax
|
|
; CHECK: retl
|
|
|
|
; Landing pad code
|
|
|
|
; CHECK: [[handler0:Ltmp[0-9]+]]: # Block address taken
|
|
; CHECK: # %handler0
|
|
; Restore SP
|
|
; CHECK: movl {{.*}}(%ebp), %esp
|
|
; CHECK: calll _puts
|
|
; CHECK: jmp [[cont_bb]]
|
|
|
|
; CHECK: [[handler1:Ltmp[0-9]+]]: # Block address taken
|
|
; CHECK: # %handler1
|
|
; Restore SP
|
|
; CHECK: movl {{.*}}(%ebp), %esp
|
|
; CHECK: calll _puts
|
|
; CHECK: jmp [[cont_bb]]
|
|
|
|
; CHECK: .section .xdata,"dr"
|
|
; CHECK: L__ehtable$safe_div:
|
|
; CHECK-NEXT: .long -1
|
|
; CHECK-NEXT: .long _safe_div_filt1
|
|
; CHECK-NEXT: .long [[handler1]]
|
|
; CHECK-NEXT: .long 0
|
|
; CHECK-NEXT: .long _safe_div_filt0
|
|
; CHECK-NEXT: .long [[handler0]]
|
|
|
|
define void @try_body(i32* %r, i32* %n, i32* %d) {
|
|
entry:
|
|
%0 = load i32, i32* %n, align 4
|
|
%1 = load i32, i32* %d, align 4
|
|
%div = sdiv i32 %0, %1
|
|
store i32 %div, i32* %r, align 4
|
|
ret void
|
|
}
|
|
|
|
; The prototype of these filter functions is:
|
|
; int filter(EXCEPTION_POINTERS *eh_ptrs, void *rbp);
|
|
|
|
; The definition of EXCEPTION_POINTERS is:
|
|
; typedef struct _EXCEPTION_POINTERS {
|
|
; EXCEPTION_RECORD *ExceptionRecord;
|
|
; CONTEXT *ContextRecord;
|
|
; } EXCEPTION_POINTERS;
|
|
|
|
; The definition of EXCEPTION_RECORD is:
|
|
; typedef struct _EXCEPTION_RECORD {
|
|
; DWORD ExceptionCode;
|
|
; ...
|
|
; } EXCEPTION_RECORD;
|
|
|
|
define i32 @safe_div_filt0() {
|
|
%ebp = call i8* @llvm.frameaddress(i32 1)
|
|
%eh_ptrs.addr.i8 = getelementptr inbounds i8, i8* %ebp, i32 -20
|
|
%eh_ptrs.addr = bitcast i8* %eh_ptrs.addr.i8 to i32***
|
|
%eh_ptrs = load i32**, i32*** %eh_ptrs.addr
|
|
%eh_rec = load i32*, i32** %eh_ptrs
|
|
%eh_code = load i32, i32* %eh_rec
|
|
; EXCEPTION_ACCESS_VIOLATION = 0xC0000005
|
|
%cmp = icmp eq i32 %eh_code, 3221225477
|
|
%filt.res = zext i1 %cmp to i32
|
|
ret i32 %filt.res
|
|
}
|
|
define i32 @safe_div_filt1() {
|
|
%ebp = call i8* @llvm.frameaddress(i32 1)
|
|
%eh_ptrs.addr.i8 = getelementptr inbounds i8, i8* %ebp, i32 -20
|
|
%eh_ptrs.addr = bitcast i8* %eh_ptrs.addr.i8 to i32***
|
|
%eh_ptrs = load i32**, i32*** %eh_ptrs.addr
|
|
%eh_rec = load i32*, i32** %eh_ptrs
|
|
%eh_code = load i32, i32* %eh_rec
|
|
; EXCEPTION_INT_DIVIDE_BY_ZERO = 0xC0000094
|
|
%cmp = icmp eq i32 %eh_code, 3221225620
|
|
%filt.res = zext i1 %cmp to i32
|
|
ret i32 %filt.res
|
|
}
|
|
|
|
@str_result = internal constant [21 x i8] c"safe_div result: %d\0A\00"
|
|
|
|
define i32 @main() {
|
|
%d.addr = alloca i32, align 4
|
|
%n.addr = alloca i32, align 4
|
|
|
|
store i32 10, i32* %n.addr, align 4
|
|
store i32 2, i32* %d.addr, align 4
|
|
%r1 = call i32 @safe_div(i32* %n.addr, i32* %d.addr)
|
|
call void (i8*, ...) @printf(i8* getelementptr ([21 x i8], [21 x i8]* @str_result, i32 0, i32 0), i32 %r1)
|
|
|
|
store i32 10, i32* %n.addr, align 4
|
|
store i32 0, i32* %d.addr, align 4
|
|
%r2 = call i32 @safe_div(i32* %n.addr, i32* %d.addr)
|
|
call void (i8*, ...) @printf(i8* getelementptr ([21 x i8], [21 x i8]* @str_result, i32 0, i32 0), i32 %r2)
|
|
|
|
%r3 = call i32 @safe_div(i32* %n.addr, i32* null)
|
|
call void (i8*, ...) @printf(i8* getelementptr ([21 x i8], [21 x i8]* @str_result, i32 0, i32 0), i32 %r3)
|
|
ret i32 0
|
|
}
|
|
|
|
declare i32 @_except_handler3(...)
|
|
declare i32 @llvm.eh.typeid.for(i8*) readnone nounwind
|
|
declare void @puts(i8*)
|
|
declare void @printf(i8*, ...)
|
|
declare void @abort()
|
|
declare i8* @llvm.frameaddress(i32)
|