xref: /llvm-project/llvm/test/CodeGen/X86/inalloca-invoke.ll (revision 2f448bf509432c1a19ec46ab8cbc7353c03c6280)
1; RUN: llc < %s -mtriple=i686-pc-win32 | FileCheck %s
2
3%Iter = type { i32, i32, i32 }
4
5%frame.reverse = type { %Iter, %Iter }
6
7declare i32 @pers(...)
8declare void @llvm.stackrestore(ptr)
9declare ptr @llvm.stacksave()
10declare void @begin(ptr sret(%Iter))
11declare void @plus(ptr sret(%Iter), ptr, i32)
12declare void @reverse(ptr inalloca(%frame.reverse) align 4)
13
14define i32 @main() personality ptr @pers {
15  %temp.lvalue = alloca %Iter
16  br label %blah
17
18blah:
19  %inalloca.save = call ptr @llvm.stacksave()
20  %rev_args = alloca inalloca %frame.reverse, align 4
21  %end = getelementptr %frame.reverse, ptr %rev_args, i32 0, i32 1
22
23; CHECK:  pushl   %eax
24; CHECK:  subl    $20, %esp
25; CHECK:  movl %esp, %[[beg:[^ ]*]]
26; CHECK:  leal 12(%[[beg]]), %[[end:[^ ]*]]
27
28  call void @begin(ptr sret(%Iter) %temp.lvalue)
29; CHECK:  calll _begin
30
31  invoke void @plus(ptr sret(%Iter) %end, ptr %temp.lvalue, i32 4)
32          to label %invoke.cont unwind label %lpad
33
34;  Uses end as sret param.
35; CHECK:  pushl %[[end]]
36; CHECK:  calll _plus
37
38invoke.cont:
39  call void @begin(ptr sret(%Iter) %rev_args)
40
41; CHECK:  pushl %[[beg]]
42; CHECK:  calll _begin
43
44  invoke void @reverse(ptr inalloca(%frame.reverse) align 4 %rev_args)
45          to label %invoke.cont5 unwind label %lpad
46
47invoke.cont5:                                     ; preds = %invoke.cont
48  call void @llvm.stackrestore(ptr %inalloca.save)
49  ret i32 0
50
51lpad:                                             ; preds = %invoke.cont, %entry
52  %lp = landingpad { ptr, i32 }
53          cleanup
54  unreachable
55}
56