45 lines · plain
1; RUN: opt -S -passes="loop-mssa(simple-loop-unswitch)" -verify-memoryssa < %s | FileCheck %s2target triple = "x86_64-pc-win32"3 4define void @f(i32 %doit, i1 %x, i1 %y) personality ptr @__CxxFrameHandler3 {5entry:6 %tobool = icmp eq i32 %doit, 07 br label %for.cond8 9for.cond: ; preds = %for.inc, %entry10 br i1 %x, label %for.body, label %for.end11 12for.body: ; preds = %for.cond13 br i1 %tobool, label %if.then, label %for.inc14 15if.then: ; preds = %for.body16 br i1 %y, label %for.inc, label %delete.notnull17 18delete.notnull: ; preds = %if.then19 invoke void @g()20 to label %invoke.cont unwind label %lpad21 22invoke.cont: ; preds = %delete.notnull23 br label %for.inc24 25lpad: ; preds = %delete.notnull26 %cp = cleanuppad within none []27 cleanupret from %cp unwind to caller28 29for.inc: ; preds = %invoke.cont, %if.then, %for.body30 br label %for.cond31 32for.end: ; preds = %for.cond33 ret void34}35 36declare void @g()37 38declare i32 @__CxxFrameHandler3(...)39 40; CHECK-LABEL: define void @f(41; CHECK: cleanuppad within none []42; CHECK-NOT: cleanuppad43 44attributes #0 = { ssp uwtable }45