forked from OSchip/llvm-project
37 lines
1.0 KiB
LLVM
37 lines
1.0 KiB
LLVM
; RUN: opt < %s -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: @test
|
|
; CHECK-NOT: load
|
|
; CHECK: ret i8
|
|
entry:
|
|
store i8 1, i8* %P
|
|
%0 = call {}* @llvm.invariant.start(i64 32, i8* %P)
|
|
%1 = tail call i32 @foo(i8* %P)
|
|
call void @llvm.invariant.end({}* %0, i64 32, i8* %P)
|
|
%2 = load i8* %P
|
|
ret i8 %2
|
|
}
|
|
|
|
define i8 @test2(i8* %P) nounwind {
|
|
; CHECK: @test2
|
|
; CHECK: store i8 1
|
|
; CHECK: store i8 2
|
|
; CHECK: ret i8 0
|
|
entry:
|
|
store i8 1, i8* %P
|
|
%0 = call {}* @llvm.invariant.start(i64 32, i8* %P)
|
|
%1 = tail call i32 @bar(i8* %P)
|
|
call void @llvm.invariant.end({}* %0, i64 32, i8* %P)
|
|
store i8 2, i8* %P
|
|
ret i8 0
|
|
}
|
|
|
|
declare i32 @foo(i8*) nounwind
|
|
declare i32 @bar(i8*) nounwind readonly
|
|
declare {}* @llvm.invariant.start(i64 %S, i8* nocapture %P) readonly
|
|
declare void @llvm.invariant.end({}* %S, i64 %SS, i8* nocapture %P)
|