llvm/test/Analysis/BasicAA/pr35821.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: i1* %G26, ptr* %G47
   5
   6 define void @patatino() {
   7   %G26 = getelementptr i1, ptr undef, i1 undef
   8   %B20 = shl i8 -128, 16
   9   %G47 = getelementptr ptr, ptr undef, i8 %B20
  10   load i1, ptr %G26
  11   load ptr, ptr %G47
  12   ret void
  13 }