1; RUN: opt -S -wholeprogramdevirt %s | FileCheck %s
2
3target datalayout = "e-p:64:64"
4target triple = "x86_64-unknown-linux-gnu"
5
6; CHECK: [[VT1DATA:@[^ ]*]] = private constant { [8 x i8], [3 x i8*], [0 x i8] } { [8 x i8] c"\00\00\00\01\01\00\00\00", [3 x i8*] [i8* bitcast (i1 (i8*)* @vf0i1 to i8*), i8* bitcast (i1 (i8*)* @vf1i1 to i8*), i8* bitcast (i32 (i8*)* @vf1i32 to i8*)], [0 x i8] zeroinitializer }, section "vt1sec"
7@vt1 = constant [3 x i8*] [
8i8* bitcast (i1 (i8*)* @vf0i1 to i8*),
9i8* bitcast (i1 (i8*)* @vf1i1 to i8*),
10i8* bitcast (i32 (i8*)* @vf1i32 to i8*)
11], section "vt1sec"
12
13; CHECK: [[VT2DATA:@[^ ]*]] = private constant { [8 x i8], [3 x i8*], [0 x i8] } { [8 x i8] c"\00\00\00\02\02\00\00\00", [3 x i8*] [i8* bitcast (i1 (i8*)* @vf1i1 to i8*), i8* bitcast (i1 (i8*)* @vf0i1 to i8*), i8* bitcast (i32 (i8*)* @vf2i32 to i8*)], [0 x i8] zeroinitializer }{{$}}
14@vt2 = constant [3 x i8*] [
15i8* bitcast (i1 (i8*)* @vf1i1 to i8*),
16i8* bitcast (i1 (i8*)* @vf0i1 to i8*),
17i8* bitcast (i32 (i8*)* @vf2i32 to i8*)
18]
19
20; CHECK: [[VT3DATA:@[^ ]*]] = private constant { [8 x i8], [3 x i8*], [0 x i8] } { [8 x i8] c"\00\00\00\01\03\00\00\00", [3 x i8*] [i8* bitcast (i1 (i8*)* @vf0i1 to i8*), i8* bitcast (i1 (i8*)* @vf1i1 to i8*), i8* bitcast (i32 (i8*)* @vf3i32 to i8*)], [0 x i8] zeroinitializer }{{$}}
21@vt3 = constant [3 x i8*] [
22i8* bitcast (i1 (i8*)* @vf0i1 to i8*),
23i8* bitcast (i1 (i8*)* @vf1i1 to i8*),
24i8* bitcast (i32 (i8*)* @vf3i32 to i8*)
25]
26
27; CHECK: [[VT4DATA:@[^ ]*]] = private constant { [8 x i8], [3 x i8*], [0 x i8] } { [8 x i8] c"\00\00\00\02\04\00\00\00", [3 x i8*] [i8* bitcast (i1 (i8*)* @vf1i1 to i8*), i8* bitcast (i1 (i8*)* @vf0i1 to i8*), i8* bitcast (i32 (i8*)* @vf4i32 to i8*)], [0 x i8] zeroinitializer }{{$}}
28@vt4 = constant [3 x i8*] [
29i8* bitcast (i1 (i8*)* @vf1i1 to i8*),
30i8* bitcast (i1 (i8*)* @vf0i1 to i8*),
31i8* bitcast (i32 (i8*)* @vf4i32 to i8*)
32]
33
34@vt5 = constant [3 x i8*] [
35i8* bitcast (void ()* @__cxa_pure_virtual to i8*),
36i8* bitcast (void ()* @__cxa_pure_virtual to i8*),
37i8* bitcast (void ()* @__cxa_pure_virtual to i8*)
38]
39
40; CHECK: @vt1 = alias [3 x i8*], getelementptr inbounds ({ [8 x i8], [3 x i8*], [0 x i8] }, { [8 x i8], [3 x i8*], [0 x i8] }* [[VT1DATA]], i32 0, i32 1)
41; CHECK: @vt2 = alias [3 x i8*], getelementptr inbounds ({ [8 x i8], [3 x i8*], [0 x i8] }, { [8 x i8], [3 x i8*], [0 x i8] }* [[VT2DATA]], i32 0, i32 1)
42; CHECK: @vt3 = alias [3 x i8*], getelementptr inbounds ({ [8 x i8], [3 x i8*], [0 x i8] }, { [8 x i8], [3 x i8*], [0 x i8] }* [[VT3DATA]], i32 0, i32 1)
43; CHECK: @vt4 = alias [3 x i8*], getelementptr inbounds ({ [8 x i8], [3 x i8*], [0 x i8] }, { [8 x i8], [3 x i8*], [0 x i8] }* [[VT4DATA]], i32 0, i32 1)
44
45define i1 @vf0i1(i8* %this) readnone {
46  ret i1 0
47}
48
49define i1 @vf1i1(i8* %this) readnone {
50  ret i1 1
51}
52
53define i32 @vf1i32(i8* %this) readnone {
54  ret i32 1
55}
56
57define i32 @vf2i32(i8* %this) readnone {
58  ret i32 2
59}
60
61define i32 @vf3i32(i8* %this) readnone {
62  ret i32 3
63}
64
65define i32 @vf4i32(i8* %this) readnone {
66  ret i32 4
67}
68
69; CHECK: define i1 @call1(
70define i1 @call1(i8* %obj) {
71  %vtableptr = bitcast i8* %obj to [3 x i8*]**
72  %vtable = load [3 x i8*]*, [3 x i8*]** %vtableptr
73  ; CHECK: [[VT1:%[^ ]*]] = bitcast [3 x i8*]* {{.*}} to i8*
74  %vtablei8 = bitcast [3 x i8*]* %vtable to i8*
75  %p = call i1 @llvm.bitset.test(i8* %vtablei8, metadata !"bitset")
76  call void @llvm.assume(i1 %p)
77  %fptrptr = getelementptr [3 x i8*], [3 x i8*]* %vtable, i32 0, i32 0
78  %fptr = load i8*, i8** %fptrptr
79  %fptr_casted = bitcast i8* %fptr to i1 (i8*)*
80  ; CHECK: [[VTGEP1:%[^ ]*]] = getelementptr i8, i8* [[VT1]], i64 -5
81  ; CHECK: [[VTLOAD1:%[^ ]*]] = load i8, i8* [[VTGEP1]]
82  ; CHECK: [[VTAND1:%[^ ]*]] = and i8 [[VTLOAD1]], 2
83  ; CHECK: [[VTCMP1:%[^ ]*]] = icmp ne i8 [[VTAND1]], 0
84  %result = call i1 %fptr_casted(i8* %obj)
85  ; CHECK: ret i1 [[VTCMP1]]
86  ret i1 %result
87}
88
89; CHECK: define i1 @call2(
90define i1 @call2(i8* %obj) {
91  %vtableptr = bitcast i8* %obj to [3 x i8*]**
92  %vtable = load [3 x i8*]*, [3 x i8*]** %vtableptr
93  ; CHECK: [[VT2:%[^ ]*]] = bitcast [3 x i8*]* {{.*}} to i8*
94  %vtablei8 = bitcast [3 x i8*]* %vtable to i8*
95  %p = call i1 @llvm.bitset.test(i8* %vtablei8, metadata !"bitset")
96  call void @llvm.assume(i1 %p)
97  %fptrptr = getelementptr [3 x i8*], [3 x i8*]* %vtable, i32 0, i32 1
98  %fptr = load i8*, i8** %fptrptr
99  %fptr_casted = bitcast i8* %fptr to i1 (i8*)*
100  ; CHECK: [[VTGEP2:%[^ ]*]] = getelementptr i8, i8* [[VT2]], i64 -5
101  ; CHECK: [[VTLOAD2:%[^ ]*]] = load i8, i8* [[VTGEP2]]
102  ; CHECK: [[VTAND2:%[^ ]*]] = and i8 [[VTLOAD2]], 1
103  ; CHECK: [[VTCMP2:%[^ ]*]] = icmp ne i8 [[VTAND2]], 0
104  %result = call i1 %fptr_casted(i8* %obj)
105  ; CHECK: ret i1 [[VTCMP2]]
106  ret i1 %result
107}
108
109; CHECK: define i32 @call3(
110define i32 @call3(i8* %obj) {
111  %vtableptr = bitcast i8* %obj to [3 x i8*]**
112  %vtable = load [3 x i8*]*, [3 x i8*]** %vtableptr
113  ; CHECK: [[VT3:%[^ ]*]] = bitcast [3 x i8*]* {{.*}} to i8*
114  %vtablei8 = bitcast [3 x i8*]* %vtable to i8*
115  %p = call i1 @llvm.bitset.test(i8* %vtablei8, metadata !"bitset")
116  call void @llvm.assume(i1 %p)
117  %fptrptr = getelementptr [3 x i8*], [3 x i8*]* %vtable, i32 0, i32 2
118  %fptr = load i8*, i8** %fptrptr
119  %fptr_casted = bitcast i8* %fptr to i32 (i8*)*
120  ; CHECK: [[VTGEP3:%[^ ]*]] = getelementptr i8, i8* [[VT3]], i64 -4
121  ; CHECK: [[VTBC3:%[^ ]*]] = bitcast i8* [[VTGEP3]] to i32*
122  ; CHECK: [[VTLOAD3:%[^ ]*]] = load i32, i32* [[VTBC3]]
123  %result = call i32 %fptr_casted(i8* %obj)
124  ; CHECK: ret i32 [[VTLOAD3]]
125  ret i32 %result
126}
127
128declare i1 @llvm.bitset.test(i8*, metadata)
129declare void @llvm.assume(i1)
130declare void @__cxa_pure_virtual()
131
132!0 = !{!"bitset", [3 x i8*]* @vt1, i32 0}
133!1 = !{!"bitset", [3 x i8*]* @vt2, i32 0}
134!2 = !{!"bitset", [3 x i8*]* @vt3, i32 0}
135!3 = !{!"bitset", [3 x i8*]* @vt4, i32 0}
136!4 = !{!"bitset", [3 x i8*]* @vt5, i32 0}
137!llvm.bitsets = !{!0, !1, !2, !3, !4}
138