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

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

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

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

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

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

if.then8:
  unreachable
}