1; RUN: opt -basicaa -gvn -disable-output < %s
2
3target triple = "x86_64-unknown-linux-gnu"
4
5define i64 @foo(i64** %arrayidx) {
6entry:
7  %p = load i64*, i64** %arrayidx, align 8
8  %cmpnull = icmp eq i64* %p, null
9  br label %BB2
10
11entry2:                                           ; No predecessors!
12  br label %BB2
13
14BB2:                                              ; preds = %entry2, %entry
15  %bc = bitcast i64** %arrayidx to i64*
16  %load = load i64, i64* %bc, align 8
17  ret i64 %load
18}
19