[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Transforms / GVN / pr24397.ll
blobdb43964e2e4ce4a30947ae6a8c86cefcf3bc1cd5
1 ; RUN: opt -basicaa -gvn -disable-output < %s
3 target triple = "x86_64-unknown-linux-gnu"
5 define i64 @foo(i64** %arrayidx) {
6 entry:
7   %p = load i64*, i64** %arrayidx, align 8
8   %cmpnull = icmp eq i64* %p, null
9   br label %BB2
11 entry2:                                           ; No predecessors!
12   br label %BB2
14 BB2:                                              ; preds = %entry2, %entry
15   %bc = bitcast i64** %arrayidx to i64*
16   %load = load i64, i64* %bc, align 8
17   ret i64 %load