; RUN: opt -loop-rotate -verify-memoryssa -S %s | FileCheck %s ; REQUIRES: asserts ; CHECK-LABEL: @func_35() define void @func_35() { entry: br i1 undef, label %for.cond1704.preheader, label %return for.cond1704.preheader: ; preds = %entry br label %for.cond1704 for.cond1704: ; preds = %for.cond1704.preheader, %for.body1707 br i1 false, label %for.body1707, label %return.loopexit for.body1707: ; preds = %for.cond1704 store i32 1712, i32* undef, align 1 br label %for.cond1704 for.body1102: ; preds = %for.body1102 br i1 undef, label %for.body1102, label %return return.loopexit: ; preds = %for.cond1704 br label %return return: ; preds = %return.loopexit, %for.body1102, %entry ret void }