llvm/test/Analysis/BasicAA/pr35843.ll

   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
   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
  14 }