blob: a2504a581cad89b2f41a22072ccd24c65f5a4bd2 [file] [log] [blame]
; 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
}