diff options
| -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 +} |