15 lines · plain
1; RUN: opt < %s -aa-pipeline=basic-aa -passes=gvn -S | FileCheck %s2 3declare noalias ptr @noalias()4 5define i32 @test(i32 %x) {6; CHECK: load i32, ptr %a7 %a = call ptr @noalias()8 store i32 1, ptr %a9 %b = getelementptr i32, ptr %a, i32 %x10 store i32 2, ptr %b11 12 %c = load i32, ptr %a13 ret i32 %c14}15