16 lines · plain
1; In this test, a local alloca cannot alias an incoming argument.2 3; RUN: opt < %s -aa-pipeline=basic-aa -passes=gvn,instcombine -S | FileCheck %s4 5; CHECK: define i32 @test6; CHECK-NEXT: ret i32 07 8define i32 @test(ptr %P) {9 %X = alloca i3210 %V1 = load i32, ptr %P11 store i32 0, ptr %X12 %V2 = load i32, ptr %P13 %Diff = sub i32 %V1, %V214 ret i32 %Diff15}16