56 lines · plain
1; RUN: llc < %s -mtriple=i686-pc-win32 | FileCheck %s2 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 %Iter16 br label %blah17 18blah:19 %inalloca.save = call ptr @llvm.stacksave()20 %rev_args = alloca inalloca %frame.reverse, align 421 %end = getelementptr %frame.reverse, ptr %rev_args, i32 0, i32 122 23; CHECK: pushl %eax24; CHECK: subl $20, %esp25; CHECK: movl %esp, %[[beg:[^ ]*]]26 27 call void @begin(ptr sret(%Iter) %temp.lvalue)28; CHECK: calll _begin29 30 invoke void @plus(ptr sret(%Iter) %end, ptr %temp.lvalue, i32 4)31 to label %invoke.cont unwind label %lpad32 33; Uses end as sret param.34; CHECK: leal 12(%[[beg]]), %[[end:[^ ]*]]35; CHECK: pushl %[[end]]36; CHECK: calll _plus37 38invoke.cont:39 call void @begin(ptr sret(%Iter) %rev_args)40 41; CHECK: pushl %[[beg]]42; CHECK: calll _begin43 44 invoke void @reverse(ptr inalloca(%frame.reverse) align 4 %rev_args)45 to label %invoke.cont5 unwind label %lpad46 47invoke.cont5: ; preds = %invoke.cont48 call void @llvm.stackrestore(ptr %inalloca.save)49 ret i32 050 51lpad: ; preds = %invoke.cont, %entry52 %lp = landingpad { ptr, i32 }53 cleanup54 unreachable55}56