[LLVM][IR] Use splat syntax when printing ConstantExpr based splats. (#116856)
[llvm-project.git] / llvm / test / Analysis / BasicAA / pr35843.ll
blob471fe3646ca282d952b38f5d6c5a26912bed23cf
1 ; RUN: opt %s -passes=aa-eval -disable-output -print-all-alias-modref-info 2>&1 | FileCheck %s
3 ; CHECK-LABEL: Function: patatino
4 ; CHECK: NoAlias: ptr* %G22, ptr* %G45
6 define void @patatino() {
7 BB:
8   %G22 = getelementptr ptr, ptr undef, i8 -1
9   %B1 = mul i66 undef, 9223372036854775808
10   %G45 = getelementptr ptr, ptr undef, i66 %B1
11   load ptr, ptr %G22
12   load ptr, ptr %G45
13   ret void