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