aboutsummaryrefslogtreecommitdiff
path: root/test/CodeGen/X86/seh-safe-div-win32.ll
diff options
context:
space:
mode:
Diffstat (limited to 'test/CodeGen/X86/seh-safe-div-win32.ll')
-rw-r--r--test/CodeGen/X86/seh-safe-div-win32.ll164
1 files changed, 0 insertions, 164 deletions
diff --git a/test/CodeGen/X86/seh-safe-div-win32.ll b/test/CodeGen/X86/seh-safe-div-win32.ll
deleted file mode 100644
index 3d46e3867625..000000000000
--- a/test/CodeGen/X86/seh-safe-div-win32.ll
+++ /dev/null
@@ -1,164 +0,0 @@
-; 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 %lpad0
-
-lpad0:
- %cs0 = catchswitch within none [label %handler0] unwind label %lpad1
-
-handler0:
- %p0 = catchpad within %cs0 [i8* bitcast (i32 ()* @safe_div_filt0 to i8*)]
- call void @puts(i8* getelementptr ([27 x i8], [27 x i8]* @str1, i32 0, i32 0)) [ "funclet"(token %p0) ]
- store i32 -1, i32* %r, align 4
- catchret from %p0 to label %__try.cont
-
-lpad1:
- %cs1 = catchswitch within none [label %handler1] unwind to caller
-
-handler1:
- %p1 = catchpad within %cs1 [i8* bitcast (i32 ()* @safe_div_filt1 to i8*)]
- call void @puts(i8* getelementptr ([29 x i8], [29 x i8]* @str2, i32 0, i32 0)) [ "funclet"(token %p1) ]
- store i32 -2, i32* %r, align 4
- catchret from %p1 to label %__try.cont
-
-__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: [[handler1:LBB0_[0-9]+]]: # %handler1
-; Restore SP
-; CHECK: movl {{.*}}(%ebp), %esp
-; CHECK: calll _puts
-; CHECK: jmp [[cont_bb]]
-
-; CHECK: [[handler0:LBB0_[0-9]+]]: # %handler0
-; 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)