1 ; RUN: opt < %s -basicaa -gvn -S | FileCheck %s
3 @last = external global [65 x i32*]
5 define i32 @NextRootMove(i32 %wtm) {
8 %tmp17618 = load i32** getelementptr ([65 x i32*]* @last, i32 0, i32 1), align 4
9 store i32* %tmp17618, i32** %A
11 ; CHECK-NEXT: alloca i32
12 ; CHECK-NEXT: %tmp17618 = load
15 br label %cond_true116
18 br i1 false, label %cond_true128, label %cond_true145
21 %tmp17625 = load i32** getelementptr ([65 x i32*]* @last, i32 0, i32 1), align 4
22 store i32* %tmp17625, i32** %A
23 br i1 false, label %bb98.backedge, label %return.loopexit
26 br label %cond_true116
29 %tmp17631 = load i32** getelementptr ([65 x i32*]* @last, i32 0, i32 1), align 4
30 store i32* %tmp17631, i32** %A
31 br i1 false, label %bb98.backedge, label %return.loopexit