1; RUN: opt -basicaa -dse -S < %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-LABEL: 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