1 ; RUN: opt < %s -basicaa -gvn -S | FileCheck %s 2 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" 5 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(i64 32, i8* %P) 12 %0 = load i8, i8* %P 13 store i8 1, i8* %P 14 call void @llvm.lifetime.end(i64 32, i8* %P) 15 %1 = load i8, i8* %P 16 ret i8 %1 17 } 18 19 declare void @llvm.lifetime.start(i64 %S, i8* nocapture %P) readonly 20 declare void @llvm.lifetime.end(i64 %S, i8* nocapture %P) 21
