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