15 lines · plain
1; RUN: opt %s -passes=aa-eval -disable-output -print-all-alias-modref-info 2>&1 | FileCheck %s2 3; CHECK-LABEL: Function: patatino4; CHECK: NoAlias: ptr* %G22, ptr* %G455 6define void @patatino() {7BB:8 %G22 = getelementptr ptr, ptr undef, i8 -19 %B1 = mul i66 undef, 922337203685477580810 %G45 = getelementptr ptr, ptr undef, i66 %B111 load ptr, ptr %G2212 load ptr, ptr %G4513 ret void14}15