14 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: i1* %G26, ptr* %G475 6define void @patatino() {7 %G26 = getelementptr i1, ptr undef, i1 undef8 %B20 = shl i8 -128, 169 %G47 = getelementptr ptr, ptr undef, i8 %B2010 load i1, ptr %G2611 load ptr, ptr %G4712 ret void13}14