20 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:e-i64:64-f80:128-n8:16:32:64-S128"3target triple = "x86_64-unknown-linux-gnu"4 5@c = external global i326 7; CHECK-LABEL: f8; CHECK: MayAlias: i32* %arrayidx, i32* %arrayidx69define void @f() {10 %idxprom = zext i32 undef to i6411 %add4 = add i32 0, 112 %idxprom5 = zext i32 %add4 to i6413 %arrayidx6 = getelementptr inbounds i32, ptr @c, i64 %idxprom514 %arrayidx = getelementptr inbounds i32, ptr @c, i64 %idxprom15 load i32, ptr %arrayidx16 load i32, ptr %arrayidx617 ret void18}19 20