1 ; RUN: opt %s -basicaa -dse -S | FileCheck %s 2 3 declare void @test1f() 4 5 define 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
