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
6
7declare void @bar()
8
9define i9 @foo() {  ;; Calling this function has undefined behavior
10	unreachable
11}
12
13define double @xyz() {
14	call void @bar()
15	unreachable          ;; Bar must not return.
16}
17