1 ; RUN: opt -S -Os < %s | FileCheck %s 2 target 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" 3 target triple = "x86_64-apple-darwin10.0.0" 4 5 6 ; Simple devirt testcase, requires iteration between inliner and GVN. 7 ; rdar://6295824 8 define i32 @foo(i32 ()** noalias %p, i64* noalias %q) nounwind ssp { 9 entry: 10 store i32 ()* @bar, i32 ()** %p 11 store i64 0, i64* %q 12 %tmp3 = load 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 24 define internal i32 @bar() nounwind ssp { 25 entry: 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** @_ZTVN10__cxxabiv117__class_type_infoE, i64 2) to i8*), i8* getelementptr inbounds ([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** @_ZTVN10__cxxabiv117__class_type_infoE, i64 2) to i8*), i8* getelementptr inbounds ([3 x i8]* @_ZTS1B, i32 0, i32 0) } ; <%0*> [#uses=1] 53 @_ZTI1C = linkonce_odr constant %1 { i8* bitcast (i8** getelementptr inbounds (i8** @_ZTVN10__cxxabiv121__vmi_class_type_infoE, i64 2) to i8*), i8* getelementptr inbounds ([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** @_ZTVN10__cxxabiv120__si_class_type_infoE, i64 2) to i8*), i8* getelementptr inbounds ([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 59 define i32 @_Z1gv() ssp { 60 entry: 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 68 define linkonce_odr void @_ZN1DC1Ev(%struct.C* %this) inlinehint ssp align 2 { 69 entry: 70 call void @_ZN1DC2Ev(%struct.C* %this) 71 ret void 72 } 73 74 define internal i32 @_Z1fP1D(%struct.C* %d) ssp { 75 entry: 76 %0 = icmp eq %struct.C* %d, null ; <i1> [#uses=1] 77 br i1 %0, label %cast.end, label %cast.notnull 78 79 cast.notnull: ; preds = %entry 80 %1 = bitcast %struct.C* %d to i8* ; <i8*> [#uses=1] 81 %add.ptr = getelementptr 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 85 cast.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*)*** %4 ; <i32 (%struct.A*)**> [#uses=1] 89 %vfn = getelementptr inbounds i32 (%struct.A*)** %5, i64 0 ; <i32 (%struct.A*)**> [#uses=1] 90 %6 = load 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 95 define linkonce_odr i32 @_ZN1D1fEv(%struct.C* %this) ssp align 2 { 96 entry: 97 ret i32 4 98 } 99 100 define linkonce_odr i32 @_ZThn8_N1D1fEv(%struct.C* %this) { 101 entry: 102 %0 = bitcast %struct.C* %this to i8* ; <i8*> [#uses=1] 103 %1 = getelementptr inbounds 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 109 define linkonce_odr void @_ZN1DC2Ev(%struct.C* %this) inlinehint ssp align 2 { 110 entry: 111 call void @_ZN1CC2Ev(%struct.C* %this) 112 %0 = bitcast %struct.C* %this to i8* ; <i8*> [#uses=1] 113 %1 = getelementptr inbounds 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*]* @_ZTV1D, i64 0, i64 2), i8*** %2 116 %3 = bitcast %struct.C* %this to i8* ; <i8*> [#uses=1] 117 %4 = getelementptr inbounds 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*]* @_ZTV1D, i64 0, i64 5), i8*** %5 120 ret void 121 } 122 123 define linkonce_odr void @_ZN1CC2Ev(%struct.C* %this) inlinehint ssp align 2 { 124 entry: 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* %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* %4, i64 0 ; <i8*> [#uses=1] 133 %6 = bitcast i8* %5 to i8*** ; <i8***> [#uses=1] 134 store i8** getelementptr inbounds ([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* %7, i64 8 ; <i8*> [#uses=1] 137 %9 = bitcast i8* %8 to i8*** ; <i8***> [#uses=1] 138 store i8** getelementptr inbounds ([6 x i8*]* @_ZTV1C, i64 0, i64 5), i8*** %9 139 ret void 140 } 141 142 define linkonce_odr i32 @_ZN1C1fEv(%struct.C* %this) ssp align 2 { 143 entry: 144 ret i32 3 145 } 146 147 define linkonce_odr i32 @_ZThn8_N1C1fEv(%struct.C* %this) { 148 entry: 149 %0 = bitcast %struct.C* %this to i8* ; <i8*> [#uses=1] 150 %1 = getelementptr inbounds 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 156 define linkonce_odr void @_ZN1AC2Ev(%struct.A* %this) inlinehint ssp align 2 { 157 entry: 158 %0 = bitcast %struct.A* %this to i8* ; <i8*> [#uses=1] 159 %1 = getelementptr inbounds 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*]* @_ZTV1A, i64 0, i64 2), i8*** %2 162 ret void 163 } 164 165 define linkonce_odr void @_ZN1BC2Ev(%struct.A* %this) inlinehint ssp align 2 { 166 entry: 167 %0 = bitcast %struct.A* %this to i8* ; <i8*> [#uses=1] 168 %1 = getelementptr inbounds 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*]* @_ZTV1B, i64 0, i64 2), i8*** %2 171 ret void 172 } 173 174 define linkonce_odr i32 @_ZN1B1fEv(%struct.A* %this) ssp align 2 { 175 entry: 176 ret i32 2 177 } 178 179 define linkonce_odr i32 @_ZN1A1fEv(%struct.A* %this) ssp align 2 { 180 entry: 181 ret i32 1 182 } 183
