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