; RUN: opt < %s -passes=loop-rotate -verify-memoryssa -S | FileCheck %s

@a = external global i8, align 4
@tmp = global ptr @a

define void @f(i1 %arg) {
; CHECK-LABEL: define void @f(
; CHECK: getelementptr i8, ptr @a, i32 1
entry:
  br label %for.preheader

for.preheader:
  br i1 %arg, label %if.then8, label %for.body

for.body:
  br i1 %arg, label %if.end, label %if.then8

if.end:
  %arrayidx = getelementptr i8, ptr @a, i32 1
  br label %for.preheader

if.then8:
  unreachable
}