Files
linux-packaging-mono/external/llvm/test/Integer/unreachable_bt.ll
Xamarin Public Jenkins (auto-signing) f32dbaf0b2 Imported Upstream version 5.18.0.225
Former-commit-id: 10196d987d5fc5564b9d3b33b1fdf13190f4d0b5
2018-12-21 19:01:49 +00:00

17 lines
313 B
LLVM

; 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
declare void @bar()
define i9 @foo() { ;; Calling this function has undefined behavior
unreachable
}
define double @xyz() {
call void @bar()
unreachable ;; Bar must not return.
}