41 lines · plain
1; RUN: opt -S -passes=loop-unroll %s | FileCheck %s2target datalayout = "e-m:w-i64:64-f80:128-n8:16:32:64-S128"3target triple = "x86_64-pc-windows-msvc18.0.0"4 5define void @test1() personality ptr @__CxxFrameHandler3 {6entry:7 br label %for.body8 9for.body: ; preds = %entry, %for.inc10 %phi = phi i32 [ 0, %entry ], [ %inc, %for.inc ]11 invoke void @callee(i32 %phi)12 to label %for.inc unwind label %ehcleanup13 14for.inc: ; preds = %for.body15 %inc = add nuw nsw i32 %phi, 116 %cmp = icmp slt i32 %inc, 317 br i1 %cmp, label %for.body, label %for.cond.cleanup18 19for.cond.cleanup: ; preds = %for.inc20 call void @dtor()21 ret void22 23ehcleanup: ; preds = %for.body24 %cp = cleanuppad within none []25 call void @dtor() [ "funclet"(token %cp) ]26 cleanupret from %cp unwind to caller27}28 29; CHECK-LABEL: define void @test1(30; CHECK: invoke void @callee(i32 031 32; CHECK: invoke void @callee(i32 133 34; CHECK: invoke void @callee(i32 235 36declare void @callee(i32)37 38declare i32 @__CxxFrameHandler3(...)39 40declare void @dtor()41