[LLVM][IR] Use splat syntax when printing ConstantExpr based splats. (#116856)
[llvm-project.git] / llvm / test / Analysis / BasicAA / pr69096.ll
blobfe8504a0308ad719117f4b6556be93e7b7b09b95
1 ; RUN: opt %s -aa-pipeline=basic-aa -passes=aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s
3 target datalayout = "p:64:64:64"
5 ; CHECK-LABEL: Function: pr69096
6 ; %p == %scevgep.i when %a == -1.
7 ; CHECK: MayAlias:     i8* %p, i16* %scevgep.i
9 define i32 @pr69096(i16 %a, ptr %p) {
10 entry:
11   %0 = load i8, ptr %p, align 2
12   %dec.i = add i8 %0, -1
13   %cmp636.i = icmp eq i16 %a, -1
14   br i1 %cmp636.i, label %for.cond2.for.inc29_crit_edge.i, label %n.exit
16 for.cond2.for.inc29_crit_edge.i:
17   %conv3.i = zext i16 %a to i64
18   %sub.i.i = shl i64 %conv3.i, 56
19   %sub21.i = shl nuw nsw i64 %conv3.i, 2
20   %1 = getelementptr i8, ptr %p, i64 %sub21.i
21   %2 = getelementptr i8, ptr %1, i64 -262140
22   %3 = getelementptr i8, ptr %2, i64 %sub.i.i
23   %scevgep.i = getelementptr i8, ptr %3, i64 72057594037927936
24   store i16 1285, ptr %scevgep.i, align 2
25   br label %n.exit
27 n.exit:
28   %4 = load i8, ptr %p, align 2
29   %conv = sext i8 %4 to i32
30   ret i32 %conv