| ; RUN: opt -S -passes="loop-mssa(simple-loop-unswitch)" -disable-basic-aa -verify-memoryssa < %s | FileCheck %s | |
| ; REQUIRES: asserts | |
| target triple = "x86_64-unknown-linux-gnu" | |
| ; CHECK-LABEL: @foo() | |
| ; Function Attrs: readnone speculatable | |
| declare i32 @foo() #0 | |
| define void @main() { | |
| entry: | |
| br label %for.cond2682 | |
| for.cond2682: ; preds = %if.then2712, %entry | |
| %mul2708 = call i32 @foo() | |
| %tobool2709 = icmp ne i32 %mul2708, 0 | |
| br i1 %tobool2709, label %if.then2712, label %lor.lhs.false2710 | |
| lor.lhs.false2710: ; preds = %for.cond2682 | |
| unreachable | |
| if.then2712: ; preds = %for.cond2682 | |
| br label %for.cond2682 | |
| } | |
| attributes #0 = { readnone speculatable } |