Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / llvm / 09b51c348c9966bb6472f509bcf790ca98f8150c / . / test / Integer / unreachable_bt.ll
blob: cb65d4b9ec8a46029579e08198e5dc0a8711d6d7 [file] [log] [blame]
Reid Spencerc0948362007-01-16 18:08:22 +0000[diff] [blame]1; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
2; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
3; RUN: diff %t1.ll %t2.ll
4
5
Reid Spencerc0948362007-01-16 18:08:22 +0000[diff] [blame]6
Reid Spencere3ff5ad2007-01-26 08:25:06 +0000[diff] [blame]7declare void @bar()
Reid Spencerc0948362007-01-16 18:08:22 +0000[diff] [blame]8
Reid Spencere3ff5ad2007-01-26 08:25:06 +0000[diff] [blame]9define i9 @foo() { ;; Calling this function has undefined behavior
Reid Spencerc0948362007-01-16 18:08:22 +0000[diff] [blame]10 unreachable
11}
12
Reid Spencere3ff5ad2007-01-26 08:25:06 +0000[diff] [blame]13define double @xyz() {
14 call void @bar()
Reid Spencerc0948362007-01-16 18:08:22 +0000[diff] [blame]15 unreachable ;; Bar must not return.
16}