llvm-6502/test/Transforms/SCCP/apint-ipsccp4.ll
Reid Spencer c6b9efabee Add the SCCP regression tests for APInt expressions. These test cases
turned up some regressions that have since been fixed. We don't want to
loose the regression tests.

Test cases by Guoling Han.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@35974 91177308-0d34-0410-b5e6-96231b3b80d8
2007-04-13 22:33:10 +00:00

52 lines
1.1 KiB
LLVM

; This test makes sure that these instructions are properly constant propagated.
;
; RUN: llvm-as < %s | opt -ipsccp | llvm-dis -o /dev/null -f &&
; RUN: llvm-as < %s | opt -ipsccp | llvm-dis | not grep load
; RUN: llvm-as < %s | opt -ipsccp | llvm-dis | not grep add
; RUN: llvm-as < %s | opt -ipsccp | llvm-dis | not grep phi
@Y = constant [2 x { i212, float }] [ { i212, float } { i212 12, float 1.0 },
{ i212, float } { i212 37, float 2.0 } ]
define internal float @test2() {
%A = getelementptr [2 x { i212, float}]* @Y, i32 0, i32 1, i32 1
%B = load float* %A
ret float %B
}
define internal float @test3() {
%A = getelementptr [2 x { i212, float}]* @Y, i32 0, i32 0, i32 1
%B = load float* %A
ret float %B
}
define internal float @test()
{
%A = call float @test2()
%B = call float @test3()
%E = fdiv float %B, %A
ret float %E
}
define float @All()
{
%A = call float @test()
%B = fcmp oge float %A, 1.0
br i1 %B, label %T, label %F
T:
%C = add float %A, 1.0
br label %exit
F:
%D = add float %A, 2.0
br label %exit
exit:
%E = phi float [%C, %T], [%D, %F]
ret float %E
}