[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / NewGVN / lifetime-simple.ll
blob382c7da2b3fba24c6346c932480a11eaf48b9e50
1 ; RUN: opt < %s -basicaa -newgvn -S | FileCheck %s
3 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
4 target triple = "i386-apple-darwin7"
6 define i8 @test(i8* %P) nounwind {
7 ; CHECK: lifetime.start
8 ; CHECK-NOT: load
9 ; CHECK: lifetime.end
10 entry:
11   call void @llvm.lifetime.start.p0i8(i64 32, i8* %P)
12   %0 = load i8, i8* %P
13   store i8 1, i8* %P
14   call void @llvm.lifetime.end.p0i8(i64 32, i8* %P)
15   %1 = load i8, i8* %P
16   ret i8 %1
19 declare void @llvm.lifetime.start.p0i8(i64 %S, i8* nocapture %P) readonly
20 declare void @llvm.lifetime.end.p0i8(i64 %S, i8* nocapture %P)