mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-12-16 11:30:51 +00:00
df4fd4fc4e
This makes it possible to use the same representation of llvm.eh.actions
in outlined handlers as we use in the parent function because i32's are
just constants that can be copied freely between functions.
I had to add a sentinel alloca to the list of child allocas so that we
don't try to sink the catch object into the handler. Normally, one would
use nullptr for this kind of thing, but TinyPtrVector doesn't support
null elements. More than that, it's elements have to have a suitable
alignment. Therefore, I settled on this for my sentinel:
AllocaInst *getCatchObjectSentinel() {
return static_cast<AllocaInst *>(nullptr) + 1;
}
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@233947 91177308-0d34-0410-b5e6-96231b3b80d8
127 lines
4.5 KiB
LLVM
127 lines
4.5 KiB
LLVM
; RUN: opt -mtriple=x86_64-pc-windows-msvc -winehprepare -S -o - < %s | FileCheck %s
|
|
|
|
; This test is based on the following code:
|
|
;
|
|
; void test()
|
|
; {
|
|
; try {
|
|
; may_throw();
|
|
; } catch (int i) {
|
|
; handle_int(i);
|
|
; }
|
|
; }
|
|
;
|
|
; Parts of the IR have been hand-edited to simplify the test case.
|
|
; The full IR will be restored when Windows C++ EH support is complete.
|
|
|
|
;ModuleID = 'cppeh-catch-scalar.cpp'
|
|
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
|
|
target triple = "x86_64-pc-windows-msvc"
|
|
|
|
@_ZTIi = external constant i8*
|
|
|
|
; The function entry will be rewritten like this.
|
|
; CHECK: define void @_Z4testv()
|
|
; CHECK: entry:
|
|
; CHECK: [[I_PTR:\%.+]] = alloca i32, align 4
|
|
; CHECK: call void (...)* @llvm.frameescape(i32* [[I_PTR]])
|
|
; CHECK: invoke void @_Z9may_throwv()
|
|
; CHECK: to label %invoke.cont unwind label %[[LPAD_LABEL:lpad[0-9]+]]
|
|
|
|
; Function Attrs: uwtable
|
|
define void @_Z4testv() #0 {
|
|
entry:
|
|
%exn.slot = alloca i8*
|
|
%ehselector.slot = alloca i32
|
|
%i = alloca i32, align 4
|
|
invoke void @_Z9may_throwv()
|
|
to label %invoke.cont unwind label %lpad
|
|
|
|
invoke.cont: ; preds = %entry
|
|
br label %try.cont
|
|
|
|
; CHECK: [[LPAD_LABEL]]:{{[ ]+}}; preds = %entry
|
|
; CHECK: landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__CxxFrameHandler3 to i8*)
|
|
; CHECK-NEXT: catch i8* bitcast (i8** @_ZTIi to i8*)
|
|
; CHECK-NEXT: [[RECOVER:\%.+]] = call i8* (...)* @llvm.eh.actions(i32 1, i8* bitcast (i8** @_ZTIi to i8*), i32 0, i8* (i8*, i8*)* @_Z4testv.catch)
|
|
; CHECK-NEXT: indirectbr i8* [[RECOVER]], [label %try.cont]
|
|
|
|
lpad: ; preds = %entry
|
|
%tmp = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__CxxFrameHandler3 to i8*)
|
|
catch i8* bitcast (i8** @_ZTIi to i8*)
|
|
%tmp1 = extractvalue { i8*, i32 } %tmp, 0
|
|
store i8* %tmp1, i8** %exn.slot
|
|
%tmp2 = extractvalue { i8*, i32 } %tmp, 1
|
|
store i32 %tmp2, i32* %ehselector.slot
|
|
br label %catch.dispatch
|
|
|
|
; CHECK-NOT: catch-dispatch:
|
|
|
|
catch.dispatch: ; preds = %lpad
|
|
%sel = load i32, i32* %ehselector.slot
|
|
%tmp3 = call i32 @llvm.eh.typeid.for(i8* bitcast (i8** @_ZTIi to i8*)) #3
|
|
%matches = icmp eq i32 %sel, %tmp3
|
|
br i1 %matches, label %catch, label %eh.resume
|
|
|
|
; CHECK-NOT: catch:
|
|
|
|
catch: ; preds = %catch.dispatch
|
|
%exn11 = load i8*, i8** %exn.slot
|
|
%i.i8 = bitcast i32* %i to i8*
|
|
call void @llvm.eh.begincatch(i8* %exn11, i8* %i.i8) #3
|
|
%tmp7 = load i32, i32* %i, align 4
|
|
call void @_Z10handle_inti(i32 %tmp7)
|
|
br label %invoke.cont2
|
|
|
|
; CHECK-NOT: invoke.cont2:
|
|
|
|
invoke.cont2: ; preds = %catch
|
|
call void @llvm.eh.endcatch() #3
|
|
br label %try.cont
|
|
|
|
try.cont: ; preds = %invoke.cont2, %invoke.cont
|
|
ret void
|
|
|
|
; CHECK-NOT: eh.resume:
|
|
|
|
eh.resume: ; preds = %catch.dispatch
|
|
%exn3 = load i8*, i8** %exn.slot
|
|
%sel4 = load i32, i32* %ehselector.slot
|
|
%lpad.val = insertvalue { i8*, i32 } undef, i8* %exn3, 0
|
|
%lpad.val5 = insertvalue { i8*, i32 } %lpad.val, i32 %sel4, 1
|
|
resume { i8*, i32 } %lpad.val5
|
|
|
|
; CHECK: }
|
|
}
|
|
|
|
; CHECK: define internal i8* @_Z4testv.catch(i8*, i8*)
|
|
; CHECK: entry:
|
|
; CHECK: [[RECOVER_I:\%.+]] = call i8* @llvm.framerecover(i8* bitcast (void ()* @_Z4testv to i8*), i8* %1, i32 0)
|
|
; CHECK: [[I_PTR1:\%.+]] = bitcast i8* [[RECOVER_I]] to i32*
|
|
; CHECK: [[TMP:\%.+]] = load i32, i32* [[I_PTR1]], align 4
|
|
; CHECK: call void @_Z10handle_inti(i32 [[TMP]])
|
|
; CHECK: ret i8* blockaddress(@_Z4testv, %try.cont)
|
|
; CHECK: }
|
|
|
|
declare void @_Z9may_throwv() #1
|
|
|
|
declare i32 @__CxxFrameHandler3(...)
|
|
|
|
; Function Attrs: nounwind readnone
|
|
declare i32 @llvm.eh.typeid.for(i8*) #2
|
|
|
|
declare void @llvm.eh.begincatch(i8*, i8*)
|
|
|
|
declare void @llvm.eh.endcatch()
|
|
|
|
declare void @_Z10handle_inti(i32) #1
|
|
|
|
attributes #0 = { uwtable "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
|
|
attributes #1 = { "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
|
|
attributes #2 = { nounwind readnone }
|
|
attributes #3 = { nounwind }
|
|
|
|
!llvm.ident = !{!0}
|
|
|
|
!0 = !{!"clang version 3.7.0 (trunk 227474) (llvm/trunk 227508)"}
|