mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2025-02-22 13:29:44 +00:00
ecc4595ce4
Inlining such intrinsics is very difficult, since you need to simultaneously transform many calls to llvm.framerecover and potentially duplicate the functions containing them. Normally this intrinsic isn't added until EH preparation, which is part of the backend pass pipeline after inlining. However, if it were to get fed through the inliner, this change will ensure that it doesn't break the code. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@234937 91177308-0d34-0410-b5e6-96231b3b80d8
45 lines
1.0 KiB
LLVM
45 lines
1.0 KiB
LLVM
; RUN: opt -inline -S < %s | FileCheck %s
|
|
|
|
; PR23216: We can't inline functions using llvm.frameescape.
|
|
|
|
declare void @llvm.frameescape(...)
|
|
declare i8* @llvm.frameaddress(i32)
|
|
declare i8* @llvm.framerecover(i8*, i8*, i32)
|
|
|
|
define internal void @foo(i8* %fp) {
|
|
%a.i8 = call i8* @llvm.framerecover(i8* bitcast (i32 ()* @bar to i8*), i8* %fp, i32 0)
|
|
%a = bitcast i8* %a.i8 to i32*
|
|
store i32 42, i32* %a
|
|
ret void
|
|
}
|
|
|
|
define internal i32 @bar() {
|
|
entry:
|
|
%a = alloca i32
|
|
call void (...)* @llvm.frameescape(i32* %a)
|
|
%fp = call i8* @llvm.frameaddress(i32 0)
|
|
tail call void @foo(i8* %fp)
|
|
%r = load i32, i32* %a
|
|
ret i32 %r
|
|
}
|
|
|
|
; We even bail when someone marks it alwaysinline.
|
|
define internal i32 @bar_alwaysinline() alwaysinline {
|
|
entry:
|
|
%a = alloca i32
|
|
call void (...)* @llvm.frameescape(i32* %a)
|
|
tail call void @foo(i8* null)
|
|
ret i32 0
|
|
}
|
|
|
|
define i32 @bazz() {
|
|
entry:
|
|
%r = tail call i32 @bar()
|
|
%r1 = tail call i32 @bar_alwaysinline()
|
|
ret i32 %r
|
|
}
|
|
|
|
; CHECK: define i32 @bazz()
|
|
; CHECK: call i32 @bar()
|
|
; CHECK: call i32 @bar_alwaysinline()
|