1; RUN: opt %s -aa-pipeline=basic-aa -passes=aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s 2 3target datalayout = "p:64:64:64" 4 5; CHECK-LABEL: Function: pr69096 6; %p == %scevgep.i when %a == -1. 7; CHECK: MayAlias: i8* %p, i16* %scevgep.i 8 9define i32 @pr69096(i16 %a, ptr %p) { 10entry: 11 %0 = load i8, ptr %p, align 2 12 %dec.i = add i8 %0, -1 13 %cmp636.i = icmp eq i16 %a, -1 14 br i1 %cmp636.i, label %for.cond2.for.inc29_crit_edge.i, label %n.exit 15 16for.cond2.for.inc29_crit_edge.i: 17 %conv3.i = zext i16 %a to i64 18 %sub.i.i = shl i64 %conv3.i, 56 19 %sub21.i = shl nuw nsw i64 %conv3.i, 2 20 %1 = getelementptr i8, ptr %p, i64 %sub21.i 21 %2 = getelementptr i8, ptr %1, i64 -262140 22 %3 = getelementptr i8, ptr %2, i64 %sub.i.i 23 %scevgep.i = getelementptr i8, ptr %3, i64 72057594037927936 24 store i16 1285, ptr %scevgep.i, align 2 25 br label %n.exit 26 27n.exit: 28 %4 = load i8, ptr %p, align 2 29 %conv = sext i8 %4 to i32 30 ret i32 %conv 31} 32