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
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
|
; RUN: llc < %s -march=avr -filetype=asm | FileCheck %s -check-prefix=CHECK-ASM
; RUN: llc < %s -march=avr -filetype=obj | llvm-objdump -Dr - \
; RUN: | FileCheck %s -check-prefix=CHECK-OBJ
; Somewhat pruned test case from rustc using trait objects
%TraitObjectA = type {}
; CHECK-ASM-LABEL: vtable.0:
; CHECK-ASM-NEXT: .short pm(drop_in_place2)
; CHECK-ASM-NEXT: .short 0
; CHECK-ASM-NEXT: .short 1
; CHECK-ASM-NEXT: .short pm(trait_fn2)
; CHECK-OBJ-LABEL: <vtable.0>:
; CHECK-OBJ-NEXT: 00 00
; CHECK-OBJ-NEXT: R_AVR_16_PM .text
; CHECK-OBJ-NEXT: 00 00
; CHECK-OBJ-NEXT: 01 00 00 00
; CHECK-OBJ-NEXT: R_AVR_16_PM .text
@vtable.0 = private constant {
void (%TraitObjectA*) addrspace(1)*,
i16,
i16,
i8 (%TraitObjectA*) addrspace(1)*
} {
void (%TraitObjectA*) addrspace(1)*
@drop_in_place2,
i16 0,
i16 1,
i8 (%TraitObjectA*) addrspace(1)*
@trait_fn2
}, align 1
; CHECK-ASM-LABEL: vtable.1:
; CHECK-ASM-NEXT: .short pm(drop_in_place1)
; CHECK-ASM-NEXT: .short 0
; CHECK-ASM-NEXT: .short 1
; CHECK-ASM-NEXT: .short pm(trait_fn1)
; CHECK-OBJ-LABEL: <vtable.1>:
; CHECK-OBJ-NEXT: 00 00
; CHECK-OBJ-NEXT: R_AVR_16_PM .text
; CHECK-OBJ-NEXT: 00 00
; CHECK-OBJ-NEXT: 01 00 00 00
; CHECK-OBJ-NEXT: R_AVR_16_PM .text
@vtable.1 = private constant {
void (%TraitObjectA*) addrspace(1)*,
i16,
i16,
i8 (%TraitObjectA*) addrspace(1)*
} {
void (%TraitObjectA*) addrspace(1)*
@drop_in_place1,
i16 0,
i16 1,
i8 (%TraitObjectA*) addrspace(1)*
@trait_fn1
}, align 1
define internal fastcc i8 @TraitObjectA_method(i1 zeroext %choice) addrspace(1) {
start:
%b = alloca %TraitObjectA, align 1
%c = select i1 %choice, [3 x i16]* bitcast ({
void (%TraitObjectA*) addrspace(1)*,
i16,
i16,
i8 (%TraitObjectA*) addrspace(1)*
}* @vtable.0 to [3 x i16]*),
[3 x i16]* bitcast ({
void (%TraitObjectA*) addrspace(1)*,
i16,
i16,
i8 (%TraitObjectA*) addrspace(1)*
}* @vtable.1 to [3 x i16]*)
%b2 = bitcast %TraitObjectA* %b to {}*
%res = call fastcc addrspace(1) i8 @call_trait_object({}* nonnull align 1 %b2, [3 x i16]* noalias readonly align 1 dereferenceable(6) %c)
ret i8 %res
}
define internal fastcc i8 @call_trait_object({}* nonnull align 1 %a, [3 x i16]* noalias nocapture readonly align 1 dereferenceable(6) %b) addrspace(1) {
start:
%b2 = getelementptr inbounds [3 x i16], [3 x i16]* %b, i16 0, i16 3
%c = bitcast i16* %b2 to i8 ({}*) addrspace(1)**
%d = load i8 ({}*) addrspace(1)*, i8 ({}*) addrspace(1)** %c, align 1, !invariant.load !1, !nonnull !1
%res = tail call addrspace(1) i8 %d({}* nonnull align 1 %a)
ret i8 %res
}
define internal void @drop_in_place1(%TraitObjectA* nocapture %a) addrspace(1) {
start:
ret void
}
define internal i8 @trait_fn1(%TraitObjectA* noalias nocapture nonnull readonly align 1 %self) addrspace(1) {
start:
ret i8 89
}
define internal void @drop_in_place2(%TraitObjectA* nocapture %a) addrspace(1) {
start:
ret void
}
define internal i8 @trait_fn2(%TraitObjectA* noalias nocapture nonnull readonly align 1 %self) addrspace(1) {
start:
ret i8 79
}
!1 = !{}
|
