1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
|
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -passes="default<O3>" < %s | FileCheck %s --check-prefixes=CHECK,DEFAULT
; RUN: opt -S -passes='lto<O3>' < %s | FileCheck %s --check-prefixes=CHECK,LTO
declare void @llvm.trap()
define void @do_trap(ptr %ptr) {
; CHECK-LABEL: @do_trap(
; CHECK-NEXT: tail call void @llvm.trap()
; CHECK-NEXT: unreachable
;
call void @llvm.trap()
unreachable
}
define internal void @capture_and_trap(ptr %ptr) noinline {
; CHECK-LABEL: @capture_and_trap(
; CHECK-NEXT: tail call void @llvm.trap()
; CHECK-NEXT: unreachable
;
%alloca = alloca ptr, align 4
store ptr %ptr, ptr %alloca, align 4
call void @do_trap(ptr noundef nonnull %alloca)
unreachable
}
define internal void @dead_fn1() {
ret void
}
define internal void @dead_fn2() {
ret void
}
define void @test(i1 %c) {
; CHECK-LABEL: @test(
; CHECK-NEXT: tail call fastcc void @capture_and_trap()
; CHECK-NEXT: unreachable
;
br i1 %c, label %if, label %else
if:
call void @capture_and_trap(ptr @dead_fn1)
unreachable
else:
call void @capture_and_trap(ptr @dead_fn2)
unreachable
}
;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
; DEFAULT: {{.*}}
; LTO: {{.*}}
|
