blob: 471fe3646ca282d952b38f5d6c5a26912bed23cf (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
; RUN: opt %s -passes=aa-eval -disable-output -print-all-alias-modref-info 2>&1 | FileCheck %s
; CHECK-LABEL: Function: patatino
; CHECK: NoAlias: ptr* %G22, ptr* %G45
define void @patatino() {
BB:
%G22 = getelementptr ptr, ptr undef, i8 -1
%B1 = mul i66 undef, 9223372036854775808
%G45 = getelementptr ptr, ptr undef, i66 %B1
load ptr, ptr %G22
load ptr, ptr %G45
ret void
}
|