blob: de7beb93aeb52caed9e80beca3065bb3b403e3c6 (
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()
int %foo() { ;; Calling this function has undefined behavior
unreachable
}
double %xyz() {
call void %bar()
unreachable ;; Bar must not return.
}
|
