diff options
author | Chris Lattner <sabre@nondot.org> | 2004-12-10 20:10:23 +0000 |
---|---|---|
committer | Chris Lattner <sabre@nondot.org> | 2004-12-10 20:10:23 +0000 |
commit | 6e5fcf18987022f1e54f0c0f06042fe59cc6d2a2 (patch) | |
tree | aa14e8a98a98440d761ed96025ec07395e61d4f4 /test/Transforms/SCCP | |
parent | c2ef8cd93400999161028a363cb314d9597a708b (diff) | |
download | llvm-6e5fcf18987022f1e54f0c0f06042fe59cc6d2a2.tar.gz llvm-6e5fcf18987022f1e54f0c0f06042fe59cc6d2a2.tar.bz2 llvm-6e5fcf18987022f1e54f0c0f06042fe59cc6d2a2.tar.xz |
New testcase that SCCP miscompiles. Luckily this is extremely unlikely to
happen in practice, but IP-SCCP can trigger it.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@18773 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/SCCP')
-rw-r--r-- | test/Transforms/SCCP/2004-12-10-UndefBranchBug.ll | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/test/Transforms/SCCP/2004-12-10-UndefBranchBug.ll b/test/Transforms/SCCP/2004-12-10-UndefBranchBug.ll new file mode 100644 index 0000000000..be6944ce00 --- /dev/null +++ b/test/Transforms/SCCP/2004-12-10-UndefBranchBug.ll @@ -0,0 +1,11 @@ +; RUN: llvm-as < %s | opt -sccp | llvm-dis | grep 'ret int 1' + +; This function definitely returns 1, even if we don't know the direction +; of the branch. + +int %foo() { + br bool undef, label %T, label %T +T: + %X = add int 0, 1 + ret int %X +} |