; RUN: llvm-as < %s | opt -basicaa -licm | llvm-dis | %prcontext strlen 1 | grep Out:

declare i32 @strlen(i8*) readonly

declare void @foo()

define i32 @test(i8* %P) {
	br label %Loop

Loop:		; preds = %Loop, %0
	%A = call i32 @strlen( i8* %P ) readonly		; <i32> [#uses=1]
	br i1 false, label %Loop, label %Out

Out:		; preds = %Loop
	ret i32 %A
}