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