| ; 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 | |
| } |