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