1 ; RUN: opt < %s -basicaa -gvn -S | FileCheck %s 2 3 declare noalias i32* @noalias() 4 5 define i32 @test(i32 %x) { 6 ; CHECK: load i32* %a 7 %a = call i32* @noalias() 8 store i32 1, i32* %a 9 %b = getelementptr i32* %a, i32 %x 10 store i32 2, i32* %b 11 12 %c = load i32* %a 13 ret i32 %c 14 } 15
