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-ipsccp1.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-ipsccp1.ll')
| -rw-r--r-- | test/Transforms/SCCP/apint-ipsccp1.ll | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/test/Transforms/SCCP/apint-ipsccp1.ll b/test/Transforms/SCCP/apint-ipsccp1.ll new file mode 100644 index 0000000..348725e --- /dev/null +++ b/test/Transforms/SCCP/apint-ipsccp1.ll @@ -0,0 +1,23 @@ +; RUN: llvm-as < %s | opt -ipsccp | llvm-dis | grep -v 'ret i512 undef' | grep 'ret i8 2' + +define internal i512 @test(i1 %B) { + br i1 %B, label %BB1, label %BB2 +BB1: + %Val = add i512 0, 1 + br label %BB3 +BB2: + br label %BB3 +BB3: + %Ret = phi i512 [%Val, %BB1], [2, %BB2] + ret i512 %Ret +} + +define i8 @caller() +{ + %t1 = and i2 2, 1 + %t11 = trunc i2 %t1 to i1 + %t2 = call i512 @test(i1 %t11) + %t3 = trunc i512 %t2 to i8 + ret i8 %t3 +} + |