Teach the inliner to emit llvm.lifetime.start/end, to scope the local variables
[llvm/stm8.git] / test / Transforms / DeadStoreElimination / no-targetdata.ll
blob6c7f940316a0042c8f2fb885e7975746be297f97
1 ; RUN: opt %s -basicaa -dse -S | FileCheck %s
3 declare void @test1f()
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