Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / llvm / e3ff5ada8a8f6cc166ecc45147da0d63c3683026 / . / test / Integer / unreachable_bt.ll
blob: 60b7bf8eb92c734c8fc4f5057019b4f439c85de2 [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
6implementation
7
Reid Spencere3ff5ad2007-01-26 08:25:06 +0000[diff] [blame^]8declare void @bar()
Reid Spencerc0948362007-01-16 18:08:22 +0000[diff] [blame]9
Reid Spencere3ff5ad2007-01-26 08:25:06 +0000[diff] [blame^]10define i9 @foo() { ;; Calling this function has undefined behavior
Reid Spencerc0948362007-01-16 18:08:22 +0000[diff] [blame]11 unreachable
12}
13
Reid Spencere3ff5ad2007-01-26 08:25:06 +0000[diff] [blame^]14define double @xyz() {
15 call void @bar()
Reid Spencerc0948362007-01-16 18:08:22 +0000[diff] [blame]16 unreachable ;; Bar must not return.
17}