; RUN: opt %s -passes=aa-eval -disable-output -print-all-alias-modref-info 2>&1 | FileCheck %s | |
; CHECK-LABEL: Function: patatino | |
; CHECK: NoAlias: i1** %G22, i1*** %G45 | |
define void @patatino() { | |
BB: | |
%G22 = getelementptr i1*, i1** undef, i8 -1 | |
%B1 = mul i66 undef, 9223372036854775808 | |
%G45 = getelementptr i1**, i1*** undef, i66 %B1 | |
load i1*, i1** %G22 | |
load i1**, i1*** %G45 | |
ret void | |
} |