diff options
| author | Reid Spencer <rspencer@reidspencer.com> | 2007-01-16 18:08:22 +0000 |
|---|---|---|
| committer | Reid Spencer <rspencer@reidspencer.com> | 2007-01-16 18:08:22 +0000 |
| commit | c0948366f6cbec12d2c87f9cb4a1cea1435cf02a (patch) | |
| tree | 5b7576753297038f1b9434f916c513132b9f5f3e /test/Integer/unreachable_bt.ll | |
| parent | a80cc93f103a3033f90a47d5e316c32d5e5a8826 (diff) | |
| download | llvm-c0948366f6cbec12d2c87f9cb4a1cea1435cf02a.tar.gz llvm-c0948366f6cbec12d2c87f9cb4a1cea1435cf02a.tar.bz2 llvm-c0948366f6cbec12d2c87f9cb4a1cea1435cf02a.tar.xz | |
New test cases for bit accurate integers developed by Guoling Han.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@33259 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Integer/unreachable_bt.ll')
| -rw-r--r-- | test/Integer/unreachable_bt.ll | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/test/Integer/unreachable_bt.ll b/test/Integer/unreachable_bt.ll new file mode 100644 index 0000000000..1ab4e8e47a --- /dev/null +++ b/test/Integer/unreachable_bt.ll @@ -0,0 +1,17 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t1.ll +; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll +; RUN: diff %t1.ll %t2.ll + + +implementation + +declare void %bar() + +define i9 %foo() { ;; Calling this function has undefined behavior + unreachable +} + +define double %xyz() { + call void %bar() + unreachable ;; Bar must not return. +} |