1; RUN: opt -S -Os < %s | FileCheck %s
2target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
3target triple = "x86_64-apple-darwin10.0.0"
4
5
6; Simple devirt testcase, requires iteration between inliner and GVN.
7;  rdar://6295824
8define i32 @foo(i32 ()** noalias %p, i64* noalias %q) nounwind ssp {
9entry:
10  store i32 ()* @bar, i32 ()** %p
11  store i64 0, i64* %q
12  %tmp3 = load i32 ()*, i32 ()** %p                        ; <i32 ()*> [#uses=1]
13  %call = call i32 %tmp3()                        ; <i32> [#uses=1]
14  %X = add i32 %call, 4
15  ret i32 %X
16
17; CHECK-LABEL: @foo(
18; CHECK-NEXT: entry:
19; CHECK-NEXT: store
20; CHECK-NEXT: store
21; CHECK-NEXT: ret i32 11
22}
23
24define internal i32 @bar() nounwind ssp {
25entry:
26  ret i32 7
27}
28
29
30;; More complex devirt case, from PR6724
31; CHECK: @_Z1gv()
32; CHECK-NEXT: entry:
33; CHECK-NEXT: ret i32 7
34
35%0 = type { i8*, i8* }
36%1 = type { i8*, i8*, i32, i32, i8*, i64, i8*, i64 }
37%2 = type { i8*, i8*, i8* }
38%struct.A = type { i8** }
39%struct.B = type { i8** }
40%struct.C = type { [16 x i8] }
41%struct.D = type { [16 x i8] }
42
43@_ZTV1D = linkonce_odr constant [6 x i8*] [i8* null, i8* bitcast (%2* @_ZTI1D to i8*), i8* bitcast (i32 (%struct.C*)* @_ZN1D1fEv to i8*), i8* inttoptr (i64 -8 to i8*), i8* bitcast (%2* @_ZTI1D to i8*), i8* bitcast (i32 (%struct.C*)* @_ZThn8_N1D1fEv to i8*)] ; <[6 x i8*]*> [#uses=2]
44@_ZTVN10__cxxabiv120__si_class_type_infoE = external global i8* ; <i8**> [#uses=1]
45@_ZTS1D = linkonce_odr constant [3 x i8] c"1D\00"     ; <[3 x i8]*> [#uses=1]
46@_ZTVN10__cxxabiv121__vmi_class_type_infoE = external global i8* ; <i8**> [#uses=1]
47@_ZTS1C = linkonce_odr constant [3 x i8] c"1C\00"     ; <[3 x i8]*> [#uses=1]
48@_ZTVN10__cxxabiv117__class_type_infoE = external global i8* ; <i8**> [#uses=1]
49@_ZTS1A = linkonce_odr constant [3 x i8] c"1A\00"     ; <[3 x i8]*> [#uses=1]
50@_ZTI1A = linkonce_odr constant %0 { i8* bitcast (i8** getelementptr inbounds (i8*, i8** @_ZTVN10__cxxabiv117__class_type_infoE, i64 2) to i8*), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @_ZTS1A, i32 0, i32 0) } ; <%0*> [#uses=1]
51@_ZTS1B = linkonce_odr constant [3 x i8] c"1B\00"     ; <[3 x i8]*> [#uses=1]
52@_ZTI1B = linkonce_odr constant %0 { i8* bitcast (i8** getelementptr inbounds (i8*, i8** @_ZTVN10__cxxabiv117__class_type_infoE, i64 2) to i8*), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @_ZTS1B, i32 0, i32 0) } ; <%0*> [#uses=1]
53@_ZTI1C = linkonce_odr constant %1 { i8* bitcast (i8** getelementptr inbounds (i8*, i8** @_ZTVN10__cxxabiv121__vmi_class_type_infoE, i64 2) to i8*), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @_ZTS1C, i32 0, i32 0), i32 0, i32 2, i8* bitcast (%0* @_ZTI1A to i8*), i64 2, i8* bitcast (%0* @_ZTI1B to i8*), i64 2050 } ; <%1*> [#uses=1]
54@_ZTI1D = linkonce_odr constant %2 { i8* bitcast (i8** getelementptr inbounds (i8*, i8** @_ZTVN10__cxxabiv120__si_class_type_infoE, i64 2) to i8*), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @_ZTS1D, i32 0, i32 0), i8* bitcast (%1* @_ZTI1C to i8*) } ; <%2*> [#uses=1]
55@_ZTV1C = linkonce_odr constant [6 x i8*] [i8* null, i8* bitcast (%1* @_ZTI1C to i8*), i8* bitcast (i32 (%struct.C*)* @_ZN1C1fEv to i8*), i8* inttoptr (i64 -8 to i8*), i8* bitcast (%1* @_ZTI1C to i8*), i8* bitcast (i32 (%struct.C*)* @_ZThn8_N1C1fEv to i8*)] ; <[6 x i8*]*> [#uses=2]
56@_ZTV1B = linkonce_odr constant [3 x i8*] [i8* null, i8* bitcast (%0* @_ZTI1B to i8*), i8* bitcast (i32 (%struct.A*)* @_ZN1B1fEv to i8*)] ; <[3 x i8*]*> [#uses=1]
57@_ZTV1A = linkonce_odr constant [3 x i8*] [i8* null, i8* bitcast (%0* @_ZTI1A to i8*), i8* bitcast (i32 (%struct.A*)* @_ZN1A1fEv to i8*)] ; <[3 x i8*]*> [#uses=1]
58
59define i32 @_Z1gv() ssp {
60entry:
61  %d = alloca %struct.C, align 8                  ; <%struct.C*> [#uses=2]
62  call void @_ZN1DC1Ev(%struct.C* %d)
63  %call = call i32 @_Z1fP1D(%struct.C* %d)        ; <i32> [#uses=1]
64  %X = add i32 %call, 3
65  ret i32 %X
66}
67
68define linkonce_odr void @_ZN1DC1Ev(%struct.C* %this) inlinehint ssp align 2 {
69entry:
70  call void @_ZN1DC2Ev(%struct.C* %this)
71  ret void
72}
73
74define internal i32 @_Z1fP1D(%struct.C* %d) ssp {
75entry:
76  %0 = icmp eq %struct.C* %d, null                ; <i1> [#uses=1]
77  br i1 %0, label %cast.end, label %cast.notnull
78
79cast.notnull:                                     ; preds = %entry
80  %1 = bitcast %struct.C* %d to i8*               ; <i8*> [#uses=1]
81  %add.ptr = getelementptr i8, i8* %1, i64 8          ; <i8*> [#uses=1]
82  %2 = bitcast i8* %add.ptr to %struct.A*         ; <%struct.A*> [#uses=1]
83  br label %cast.end
84
85cast.end:                                         ; preds = %entry, %cast.notnull
86  %3 = phi %struct.A* [ %2, %cast.notnull ], [ null, %entry ] ; <%struct.A*> [#uses=2]
87  %4 = bitcast %struct.A* %3 to i32 (%struct.A*)*** ; <i32 (%struct.A*)***> [#uses=1]
88  %5 = load i32 (%struct.A*)**, i32 (%struct.A*)*** %4                ; <i32 (%struct.A*)**> [#uses=1]
89  %vfn = getelementptr inbounds i32 (%struct.A*)*, i32 (%struct.A*)** %5, i64 0 ; <i32 (%struct.A*)**> [#uses=1]
90  %6 = load i32 (%struct.A*)*, i32 (%struct.A*)** %vfn               ; <i32 (%struct.A*)*> [#uses=1]
91  %call = call i32 %6(%struct.A* %3)              ; <i32> [#uses=1]
92  ret i32 %call
93}
94
95define linkonce_odr i32 @_ZN1D1fEv(%struct.C* %this) ssp align 2 {
96entry:
97  ret i32 4
98}
99
100define linkonce_odr i32 @_ZThn8_N1D1fEv(%struct.C* %this) {
101entry:
102  %0 = bitcast %struct.C* %this to i8*            ; <i8*> [#uses=1]
103  %1 = getelementptr inbounds i8, i8* %0, i64 -8      ; <i8*> [#uses=1]
104  %2 = bitcast i8* %1 to %struct.C*               ; <%struct.C*> [#uses=1]
105  %call = call i32 @_ZN1D1fEv(%struct.C* %2)      ; <i32> [#uses=1]
106  ret i32 %call
107}
108
109define linkonce_odr void @_ZN1DC2Ev(%struct.C* %this) inlinehint ssp align 2 {
110entry:
111  call void @_ZN1CC2Ev(%struct.C* %this)
112  %0 = bitcast %struct.C* %this to i8*            ; <i8*> [#uses=1]
113  %1 = getelementptr inbounds i8, i8* %0, i64 0       ; <i8*> [#uses=1]
114  %2 = bitcast i8* %1 to i8***                    ; <i8***> [#uses=1]
115  store i8** getelementptr inbounds ([6 x i8*], [6 x i8*]* @_ZTV1D, i64 0, i64 2), i8*** %2
116  %3 = bitcast %struct.C* %this to i8*            ; <i8*> [#uses=1]
117  %4 = getelementptr inbounds i8, i8* %3, i64 8       ; <i8*> [#uses=1]
118  %5 = bitcast i8* %4 to i8***                    ; <i8***> [#uses=1]
119  store i8** getelementptr inbounds ([6 x i8*], [6 x i8*]* @_ZTV1D, i64 0, i64 5), i8*** %5
120  ret void
121}
122
123define linkonce_odr void @_ZN1CC2Ev(%struct.C* %this) inlinehint ssp align 2 {
124entry:
125  %0 = bitcast %struct.C* %this to %struct.A*     ; <%struct.A*> [#uses=1]
126  call void @_ZN1AC2Ev(%struct.A* %0)
127  %1 = bitcast %struct.C* %this to i8*            ; <i8*> [#uses=1]
128  %2 = getelementptr inbounds i8, i8* %1, i64 8       ; <i8*> [#uses=1]
129  %3 = bitcast i8* %2 to %struct.A*               ; <%struct.A*> [#uses=1]
130  call void @_ZN1BC2Ev(%struct.A* %3)
131  %4 = bitcast %struct.C* %this to i8*            ; <i8*> [#uses=1]
132  %5 = getelementptr inbounds i8, i8* %4, i64 0       ; <i8*> [#uses=1]
133  %6 = bitcast i8* %5 to i8***                    ; <i8***> [#uses=1]
134  store i8** getelementptr inbounds ([6 x i8*], [6 x i8*]* @_ZTV1C, i64 0, i64 2), i8*** %6
135  %7 = bitcast %struct.C* %this to i8*            ; <i8*> [#uses=1]
136  %8 = getelementptr inbounds i8, i8* %7, i64 8       ; <i8*> [#uses=1]
137  %9 = bitcast i8* %8 to i8***                    ; <i8***> [#uses=1]
138  store i8** getelementptr inbounds ([6 x i8*], [6 x i8*]* @_ZTV1C, i64 0, i64 5), i8*** %9
139  ret void
140}
141
142define linkonce_odr i32 @_ZN1C1fEv(%struct.C* %this) ssp align 2 {
143entry:
144  ret i32 3
145}
146
147define linkonce_odr i32 @_ZThn8_N1C1fEv(%struct.C* %this) {
148entry:
149  %0 = bitcast %struct.C* %this to i8*            ; <i8*> [#uses=1]
150  %1 = getelementptr inbounds i8, i8* %0, i64 -8      ; <i8*> [#uses=1]
151  %2 = bitcast i8* %1 to %struct.C*               ; <%struct.C*> [#uses=1]
152  %call = call i32 @_ZN1C1fEv(%struct.C* %2)      ; <i32> [#uses=1]
153  ret i32 %call
154}
155
156define linkonce_odr void @_ZN1AC2Ev(%struct.A* %this) inlinehint ssp align 2 {
157entry:
158  %0 = bitcast %struct.A* %this to i8*            ; <i8*> [#uses=1]
159  %1 = getelementptr inbounds i8, i8* %0, i64 0       ; <i8*> [#uses=1]
160  %2 = bitcast i8* %1 to i8***                    ; <i8***> [#uses=1]
161  store i8** getelementptr inbounds ([3 x i8*], [3 x i8*]* @_ZTV1A, i64 0, i64 2), i8*** %2
162  ret void
163}
164
165define linkonce_odr void @_ZN1BC2Ev(%struct.A* %this) inlinehint ssp align 2 {
166entry:
167  %0 = bitcast %struct.A* %this to i8*            ; <i8*> [#uses=1]
168  %1 = getelementptr inbounds i8, i8* %0, i64 0       ; <i8*> [#uses=1]
169  %2 = bitcast i8* %1 to i8***                    ; <i8***> [#uses=1]
170  store i8** getelementptr inbounds ([3 x i8*], [3 x i8*]* @_ZTV1B, i64 0, i64 2), i8*** %2
171  ret void
172}
173
174define linkonce_odr i32 @_ZN1B1fEv(%struct.A* %this) ssp align 2 {
175entry:
176  ret i32 2
177}
178
179define linkonce_odr i32 @_ZN1A1fEv(%struct.A* %this) ssp align 2 {
180entry:
181  ret i32 1
182}
183