1; RUN: opt -S -simple-loop-unswitch -disable-basic-aa -verify-memoryssa < %s | FileCheck %s
2; REQUIRES: asserts
3
4target triple = "x86_64-unknown-linux-gnu"
5
6; CHECK-LABEL:  @foo()
7; Function Attrs: readnone speculatable
8declare i32 @foo() #0
9
10define void @main() {
11entry:
12  br label %for.cond2682
13
14for.cond2682:                                     ; preds = %if.then2712, %entry
15  %mul2708 = call i32 @foo()
16  %tobool2709 = icmp ne i32 %mul2708, 0
17  br i1 %tobool2709, label %if.then2712, label %lor.lhs.false2710
18
19lor.lhs.false2710:                                ; preds = %for.cond2682
20  unreachable
21
22if.then2712:                                      ; preds = %for.cond2682
23  br label %for.cond2682
24}
25
26attributes #0 = { readnone speculatable }
27