; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4
; RUN: opt < %s -passes=newgvn -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() nounwind {
; CHECK-LABEL: define i8 @test(
; CHECK-SAME: ) #[[ATTR0:[0-9]+]] {
; CHECK-NEXT:  entry:
; CHECK-NEXT:    [[P:%.*]] = alloca [32 x i8], align 1
; CHECK-NEXT:    call void @llvm.lifetime.start.p0(ptr [[P]])
; CHECK-NEXT:    store i8 1, ptr [[P]], align 1
; CHECK-NEXT:    call void @llvm.lifetime.end.p0(ptr [[P]])
; CHECK-NEXT:    [[TMP0:%.*]] = load i8, ptr [[P]], align 1
; CHECK-NEXT:    ret i8 [[TMP0]]
;
entry:
  %P = alloca [32 x i8]
  call void @llvm.lifetime.start.p0(ptr %P)
  %0 = load i8, ptr %P
  store i8 1, ptr %P
  call void @llvm.lifetime.end.p0(ptr %P)
  %1 = load i8, ptr %P
  ret i8 %1
}

declare void @llvm.lifetime.start.p0(ptr nocapture %P) readonly
declare void @llvm.lifetime.end.p0(ptr nocapture %P)