xref: /llvm-project/llvm/test/Analysis/BasicAA/pr35843.ll (revision 303c308e452c703c3d47940383ded3b2d3eefd56) 
1; RUN: opt %s -passes=aa-eval -disable-output -print-all-alias-modref-info 2>&1 | FileCheck %s
2
3; CHECK-LABEL: Function: patatino
4; CHECK: NoAlias: ptr* %G22, ptr* %G45
5
6define void @patatino() {
7BB:
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
14}
15