; RUN: opt %s -passes=aa-eval -disable-output -print-all-alias-modref-info 2>&1 | FileCheck %s | |
; CHECK-LABEL: Function: patatino | |
; CHECK: NoAlias: i1* %G26, ptr* %G47 | |
define void @patatino() { | |
%G26 = getelementptr i1, ptr undef, i1 undef | |
%B20 = shl i8 -128, 16 | |
%G47 = getelementptr ptr, ptr undef, i8 %B20 | |
load i1, ptr %G26 | |
load ptr, ptr %G47 | |
ret void | |
} |