1 ; RUN: opt < %s -passes=loop-rotate -verify-memoryssa -S | FileCheck %s
3 @a = external global i8, align 4
6 define void @f(i1 %arg) {
7 ; CHECK-LABEL: define void @f(
8 ; CHECK: getelementptr i8, ptr @a, i32 1
10 br label %for.preheader
13 br i1 %arg, label %if.then8, label %for.body
16 br i1 %arg, label %if.end, label %if.then8
19 %arrayidx = getelementptr i8, ptr @a, i32 1
20 br label %for.preheader