2008-02-14 06:56:27 +00:00
|
|
|
; This testcase ensures that redundant loads are preserved when they are not
|
2002-05-16 01:03:12 +00:00
|
|
|
; allowed to be eliminated.
|
2008-02-14 06:56:27 +00:00
|
|
|
; RUN: llvm-as < %s | opt -load-vn -gcse | llvm-dis | grep sub
|
2002-05-16 01:03:12 +00:00
|
|
|
;
|
2008-02-14 06:56:27 +00:00
|
|
|
|
|
|
|
define i32 @test1(i32* %P) {
|
|
|
|
%A = load i32* %P ; <i32> [#uses=1]
|
|
|
|
store i32 1, i32* %P
|
|
|
|
%B = load i32* %P ; <i32> [#uses=1]
|
|
|
|
%C = sub i32 %A, %B ; <i32> [#uses=1]
|
|
|
|
ret i32 %C
|
2002-05-16 01:03:12 +00:00
|
|
|
}
|
|
|
|
|
2008-02-14 06:56:27 +00:00
|
|
|
define i32 @test2(i32* %P) {
|
|
|
|
%A = load i32* %P ; <i32> [#uses=1]
|
2002-05-16 01:03:12 +00:00
|
|
|
br label %BB2
|
|
|
|
|
2008-02-14 06:56:27 +00:00
|
|
|
BB2: ; preds = %0
|
|
|
|
store i32 5, i32* %P
|
|
|
|
br label %BB3
|
2002-05-16 01:03:12 +00:00
|
|
|
|
2008-02-14 06:56:27 +00:00
|
|
|
BB3: ; preds = %BB2
|
|
|
|
%B = load i32* %P ; <i32> [#uses=1]
|
|
|
|
%C = sub i32 %A, %B ; <i32> [#uses=1]
|
|
|
|
ret i32 %C
|
|
|
|
}
|