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