| ; RUN: opt < %s -aa-pipeline=basic-aa -passes=aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s |
| target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" |
| target triple = "x86_64-apple-darwin13.4.0" |
| |
| ; CHECK-LABEL: compute1 |
| ; CHECK: MayAlias: i32* %arrayidx8, i32* %out |
| ; CHECK: NoAlias: i32* %arrayidx11, i32* %out |
| ; CHECK: MayAlias: i32* %arrayidx11, i32* %arrayidx8 |
| ; CHECK: NoAlias: i32* %arrayidx14, i32* %out |
| ; CHECK: MayAlias: i32* %arrayidx14, i32* %arrayidx8 |
| ; CHECK: MayAlias: i32* %arrayidx11, i32* %arrayidx14 |
| define void @compute1(i32 %num.0.lcssa, ptr %out) { |
| %idxprom = zext i32 %num.0.lcssa to i64 |
| %arrayidx8 = getelementptr inbounds i32, ptr %out, i64 %idxprom |
| %add9 = or i32 %num.0.lcssa, 1 |
| %idxprom10 = zext i32 %add9 to i64 |
| %arrayidx11 = getelementptr inbounds i32, ptr %out, i64 %idxprom10 |
| %add12 = or i32 %num.0.lcssa, 2 |
| %idxprom13 = zext i32 %add12 to i64 |
| %arrayidx14 = getelementptr inbounds i32, ptr %out, i64 %idxprom13 |
| load i32, ptr %out |
| load i32, ptr %arrayidx8 |
| load i32, ptr %arrayidx11 |
| load i32, ptr %arrayidx14 |
| ret void |
| } |
| |
| ; CHECK-LABEL: compute2 |
| ; CHECK: MayAlias: i32* %arrayidx11, i32* %out.addr |
| define void @compute2(i32 %num, ptr %out.addr) { |
| %add9 = add i32 %num, 1 |
| %idxprom10 = zext i32 %add9 to i64 |
| %arrayidx11 = getelementptr inbounds i32, ptr %out.addr, i64 %idxprom10 |
| load i32, ptr %out.addr |
| load i32, ptr %arrayidx11 |
| ret void |
| } |
