| ; RUN: opt < %s -basicaa -gvn -S | FileCheck %s | |
| 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" | |
| target triple = "i386-apple-darwin7" | |
| define i8 @test(i8* %P) nounwind { | |
| ; CHECK: lifetime.start | |
| ; CHECK-NOT: load | |
| ; CHECK: lifetime.end | |
| entry: | |
| call void @llvm.lifetime.start(i64 32, i8* %P) | |
| %0 = load i8, i8* %P | |
| store i8 1, i8* %P | |
| call void @llvm.lifetime.end(i64 32, i8* %P) | |
| %1 = load i8, i8* %P | |
| ret i8 %1 | |
| } | |
| declare void @llvm.lifetime.start(i64 %S, i8* nocapture %P) readonly | |
| declare void @llvm.lifetime.end(i64 %S, i8* nocapture %P) |