27 lines · plain
1; RUN: opt -S -passes="loop-mssa(simple-loop-unswitch)" -disable-basic-aa -verify-memoryssa < %s | FileCheck %s2; REQUIRES: asserts3 4target triple = "x86_64-unknown-linux-gnu"5 6; CHECK-LABEL: @foo()7; Function Attrs: readnone speculatable8declare i32 @foo() #09 10define void @main() {11entry:12 br label %for.cond268213 14for.cond2682: ; preds = %if.then2712, %entry15 %mul2708 = call i32 @foo()16 %tobool2709 = icmp ne i32 %mul2708, 017 br i1 %tobool2709, label %if.then2712, label %lor.lhs.false271018 19lor.lhs.false2710: ; preds = %for.cond268220 unreachable21 22if.then2712: ; preds = %for.cond268223 br label %for.cond268224}25 26attributes #0 = { readnone speculatable }27