15 lines · plain
1; RUN: opt < %s -aa-pipeline=basic-aa -passes=gvn,instcombine -S | FileCheck %s2 3; BasicAA was incorrectly concluding that P1 and P2 didn't conflict!4 5define i32 @test(ptr %Ptr, i64 %V) {6; CHECK: sub i32 %X, %Y7 %P2 = getelementptr i32, ptr %Ptr, i64 18 %P1 = getelementptr i32, ptr %Ptr, i64 %V9 %X = load i32, ptr %P110 store i32 5, ptr %P211 %Y = load i32, ptr %P112 %Z = sub i32 %X, %Y13 ret i32 %Z14}15