diff options
author | Reid Spencer <rspencer@reidspencer.com> | 2007-04-13 22:33:10 +0000 |
---|---|---|
committer | Reid Spencer <rspencer@reidspencer.com> | 2007-04-13 22:33:10 +0000 |
commit | c6b9efabee934041f6461c4af255db9a0fd4a5d1 (patch) | |
tree | 514104dfaa098e795ef0856b95ad63ad4629e644 /test/Transforms/SCCP/apint-basictest3.ll | |
parent | 4dcedf1e8505a094b031d3a72033a886c0e53da1 (diff) | |
download | external_llvm-c6b9efabee934041f6461c4af255db9a0fd4a5d1.zip external_llvm-c6b9efabee934041f6461c4af255db9a0fd4a5d1.tar.gz external_llvm-c6b9efabee934041f6461c4af255db9a0fd4a5d1.tar.bz2 |
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
Diffstat (limited to 'test/Transforms/SCCP/apint-basictest3.ll')
-rw-r--r-- | test/Transforms/SCCP/apint-basictest3.ll | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/test/Transforms/SCCP/apint-basictest3.ll b/test/Transforms/SCCP/apint-basictest3.ll new file mode 100644 index 0000000..144f646 --- /dev/null +++ b/test/Transforms/SCCP/apint-basictest3.ll @@ -0,0 +1,24 @@ +; 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 +} |