38 lines · plain
1; RUN: opt < %s -aa-pipeline=basic-aa -passes=aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s2target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"3target triple = "x86_64-apple-darwin13.4.0"4 5; CHECK-LABEL: compute16; CHECK: MayAlias: i32* %arrayidx8, i32* %out7; CHECK: NoAlias: i32* %arrayidx11, i32* %out8; CHECK: MayAlias: i32* %arrayidx11, i32* %arrayidx89; CHECK: NoAlias: i32* %arrayidx14, i32* %out10; CHECK: MayAlias: i32* %arrayidx14, i32* %arrayidx811; CHECK: MayAlias: i32* %arrayidx11, i32* %arrayidx1412define void @compute1(i32 %num.0.lcssa, ptr %out) {13 %idxprom = zext i32 %num.0.lcssa to i6414 %arrayidx8 = getelementptr inbounds i32, ptr %out, i64 %idxprom15 %add9 = or i32 %num.0.lcssa, 116 %idxprom10 = zext i32 %add9 to i6417 %arrayidx11 = getelementptr inbounds i32, ptr %out, i64 %idxprom1018 %add12 = or i32 %num.0.lcssa, 219 %idxprom13 = zext i32 %add12 to i6420 %arrayidx14 = getelementptr inbounds i32, ptr %out, i64 %idxprom1321 load i32, ptr %out22 load i32, ptr %arrayidx823 load i32, ptr %arrayidx1124 load i32, ptr %arrayidx1425 ret void26}27 28; CHECK-LABEL: compute229; CHECK: MayAlias: i32* %arrayidx11, i32* %out.addr30define void @compute2(i32 %num, ptr %out.addr) {31 %add9 = add i32 %num, 132 %idxprom10 = zext i32 %add9 to i6433 %arrayidx11 = getelementptr inbounds i32, ptr %out.addr, i64 %idxprom1034 load i32, ptr %out.addr35 load i32, ptr %arrayidx1136 ret void37}38