llvm-6502/test/Transforms/SCCP/apint-basictest3.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

25 lines
626 B
LLVM

; This is a basic sanity check for constant propogation. It tests the basic
; arithmatic operations.
; RUN: llvm-as < %s | opt -sccp | llvm-dis -o /dev/null -f &&
; RUN: llvm-as < %s | opt -sccp | llvm-dis | not grep mul
; RUN: llvm-as < %s | opt -sccp | llvm-dis | not grep umod
define i128 @test(i1 %B) {
br i1 %B, label %BB1, label %BB2
BB1:
%t1 = add i128 0, 1
%t2 = sub i128 0, %t1
%t3 = mul i128 %t2, -1
br label %BB3
BB2:
%f1 = udiv i128 -1, 1
%f2 = add i128 %f1, 1
%f3 = umod i128 %f2, 2121
br label %BB3
BB3:
%Ret = phi i128 [%t3, %BB1], [%f3, %BB2]
ret i128 %Ret
}