; RUN: opt < %s -basic-aa -gvn -S | FileCheck %s | |
declare noalias i32* @noalias() | |
define i32 @test(i32 %x) { | |
; CHECK: load i32, i32* %a | |
%a = call i32* @noalias() | |
store i32 1, i32* %a | |
%b = getelementptr i32, i32* %a, i32 %x | |
store i32 2, i32* %b | |
%c = load i32, i32* %a | |
ret i32 %c | |
} |