blob: 9a02ea7334c1c5400f4d5a0791d2c981ded2c587 [file] [log] [blame]
; RUN: opt -S -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 }