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 | 9e8141fb3e6a91e6f9f827b70a30c1080cd5716a (patch) | |
| tree | 4dfba2d151f94c7f5a06301af9e51ce9a5178780 | |
| parent | 993b95e796eda3757d28d65c6dc58b78aae1b897 (diff) | |
| download | bcm5719-llvm-9e8141fb3e6a91e6f9f827b70a30c1080cd5716a.tar.gz bcm5719-llvm-9e8141fb3e6a91e6f9f827b70a30c1080cd5716a.zip | |
New testcase that SCCP miscompiles. Luckily this is extremely unlikely to
happen in practice, but IP-SCCP can trigger it.
llvm-svn: 18773
| -rw-r--r-- | llvm/test/Regression/Transforms/SCCP/2004-12-10-UndefBranchBug.ll | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/llvm/test/Regression/Transforms/SCCP/2004-12-10-UndefBranchBug.ll b/llvm/test/Regression/Transforms/SCCP/2004-12-10-UndefBranchBug.ll new file mode 100644 index 00000000000..be6944ce002 --- /dev/null +++ b/llvm/test/Regression/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 +} |
