1; RUN: opt %s -basicaa -dse -S | FileCheck %s 2 3declare void @test1f() 4 5define void @test1(i32* noalias %p) { 6 store i32 1, i32* %p 7 call void @test1f() 8 store i32 2, i32 *%p 9 ret void 10; CHECK: define void @test1 11; CHECK-NOT: store 12; CHECK-NEXT: call void 13; CHECK-NEXT: store i32 2 14; CHECK-NEXT: ret void 15} 16