205 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 62; RUN: opt -passes=gvn -S < %s | FileCheck %s3 4target 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-S128"5 6%"class.llvm::SmallVector" = type { %"class.llvm::SmallVectorImpl", [1 x %"union.llvm::SmallVectorBase::U"] }7%"class.llvm::SmallVectorImpl" = type { %"class.llvm::SmallVectorTemplateBase" }8%"class.llvm::SmallVectorTemplateBase" = type { %"class.llvm::SmallVectorTemplateCommon" }9%"class.llvm::SmallVectorTemplateCommon" = type { %"class.llvm::SmallVectorBase" }10%"class.llvm::SmallVectorBase" = type { ptr, ptr, ptr, %"union.llvm::SmallVectorBase::U" }11%"union.llvm::SmallVectorBase::U" = type { x86_fp80 }12 13; Function Attrs: ssp uwtable14define void @_Z4testv() personality ptr @__gxx_personality_v0 {15; CHECK-LABEL: define void @_Z4testv(16; CHECK-SAME: ) personality ptr @__gxx_personality_v0 {17; CHECK-NEXT: [[ENTRY:.*:]]18; CHECK-NEXT: [[SV:%.*]] = alloca %"class.llvm::SmallVector", align 1619; CHECK-NEXT: call void @llvm.lifetime.start.p0(ptr [[SV]])20; CHECK-NEXT: [[FIRSTEL_I_I_I_I_I_I:%.*]] = getelementptr inbounds %"class.llvm::SmallVector", ptr [[SV]], i64 0, i32 0, i32 0, i32 0, i32 0, i32 321; CHECK-NEXT: store ptr [[FIRSTEL_I_I_I_I_I_I]], ptr [[SV]], align 16, !tbaa [[ANYPTR_TBAA0:![0-9]+]]22; CHECK-NEXT: [[ENDX_I_I_I_I_I_I:%.*]] = getelementptr inbounds %"class.llvm::SmallVector", ptr [[SV]], i64 0, i32 0, i32 0, i32 0, i32 0, i32 123; CHECK-NEXT: store ptr [[FIRSTEL_I_I_I_I_I_I]], ptr [[ENDX_I_I_I_I_I_I]], align 8, !tbaa [[ANYPTR_TBAA0]]24; CHECK-NEXT: [[CAPACITYX_I_I_I_I_I_I:%.*]] = getelementptr inbounds %"class.llvm::SmallVector", ptr [[SV]], i64 0, i32 0, i32 0, i32 0, i32 0, i32 225; CHECK-NEXT: [[ADD_PTR_I_I_I_I2_I_I:%.*]] = getelementptr inbounds %"union.llvm::SmallVectorBase::U", ptr [[FIRSTEL_I_I_I_I_I_I]], i64 226; CHECK-NEXT: store ptr [[ADD_PTR_I_I_I_I2_I_I]], ptr [[CAPACITYX_I_I_I_I_I_I]], align 16, !tbaa [[ANYPTR_TBAA0]]27; CHECK-NEXT: br i1 true, label %[[RETRY_I:.*]], label %[[IF_END_I:.*]]28; CHECK: [[RETRY_I]]:29; CHECK-NEXT: br i1 false, label %[[RETRY_I_INVOKE_CONT_CRIT_EDGE:.*]], label %[[NEW_NOTNULL_I:.*]]30; CHECK: [[RETRY_I_INVOKE_CONT_CRIT_EDGE]]:31; CHECK-NEXT: br label %[[INVOKE_CONT:.*]]32; CHECK: [[NEW_NOTNULL_I]]:33; CHECK-NEXT: store i32 1, ptr [[FIRSTEL_I_I_I_I_I_I]], align 4, !tbaa [[INT_TBAA4:![0-9]+]]34; CHECK-NEXT: br label %[[INVOKE_CONT]]35; CHECK: [[IF_END_I]]:36; CHECK-NEXT: invoke void @_ZN4llvm15SmallVectorBase8grow_podEmm(ptr [[SV]], i64 0, i64 4)37; CHECK-NEXT: to [[DOTNOEXC:label %.*]] unwind label %[[LPAD:.*]]38; CHECK: [[_NOEXC:.*:]]39; CHECK-NEXT: [[DOTPRE_I:%.*]] = load ptr, ptr [[ENDX_I_I_I_I_I_I]], align 8, !tbaa [[ANYPTR_TBAA0]]40; CHECK-NEXT: br label %[[RETRY_I]]41; CHECK: [[INVOKE_CONT]]:42; CHECK-NEXT: [[ADD_PTR_I:%.*]] = getelementptr inbounds i8, ptr [[FIRSTEL_I_I_I_I_I_I]], i64 443; CHECK-NEXT: store ptr [[ADD_PTR_I]], ptr [[ENDX_I_I_I_I_I_I]], align 8, !tbaa [[ANYPTR_TBAA0]]44; CHECK-NEXT: br i1 true, label %[[NEW_NOTNULL_I11:.*]], label %[[IF_END_I14:.*]]45; CHECK: [[RETRY_I10:.*]]:46; CHECK-NEXT: [[DOTPRE_I13:%.*]] = load ptr, ptr [[ENDX_I_I_I_I_I_I]], align 8, !tbaa [[ANYPTR_TBAA0]]47; CHECK-NEXT: [[NEW_ISNULL_I9:%.*]] = icmp eq ptr [[DOTPRE_I13]], null48; CHECK-NEXT: br i1 [[NEW_ISNULL_I9]], label %[[RETRY_I10_INVOKE_CONT2_CRIT_EDGE:.*]], label %[[RETRY_I10_NEW_NOTNULL_I11_CRIT_EDGE:.*]]49; CHECK: [[RETRY_I10_NEW_NOTNULL_I11_CRIT_EDGE]]:50; CHECK-NEXT: br label %[[NEW_NOTNULL_I11]]51; CHECK: [[RETRY_I10_INVOKE_CONT2_CRIT_EDGE]]:52; CHECK-NEXT: br label %[[INVOKE_CONT2:.*]]53; CHECK: [[NEW_NOTNULL_I11]]:54; CHECK-NEXT: store i32 2, ptr [[ADD_PTR_I]], align 4, !tbaa [[INT_TBAA4]]55; CHECK-NEXT: br label %[[INVOKE_CONT2]]56; CHECK: [[IF_END_I14]]:57; CHECK-NEXT: invoke void @_ZN4llvm15SmallVectorBase8grow_podEmm(ptr [[SV]], i64 0, i64 4)58; CHECK-NEXT: to label %[[RETRY_I10]] unwind label %[[LPAD]]59; CHECK: [[INVOKE_CONT2]]:60; CHECK-NEXT: [[ADD_PTR_I12:%.*]] = getelementptr inbounds i8, ptr [[ADD_PTR_I]], i64 461; CHECK-NEXT: store ptr [[ADD_PTR_I12]], ptr [[ENDX_I_I_I_I_I_I]], align 8, !tbaa [[ANYPTR_TBAA0]]62; CHECK-NEXT: invoke void @_Z1gRN4llvm11SmallVectorIiLj8EEE(ptr [[SV]])63; CHECK-NEXT: to label %[[INVOKE_CONT3:.*]] unwind label %[[LPAD]]64; CHECK: [[INVOKE_CONT3]]:65; CHECK-NEXT: [[TMP0:%.*]] = load ptr, ptr [[SV]], align 16, !tbaa [[ANYPTR_TBAA0]]66; CHECK-NEXT: [[CMP_I_I_I_I19:%.*]] = icmp eq ptr [[TMP0]], [[FIRSTEL_I_I_I_I_I_I]]67; CHECK-NEXT: br i1 [[CMP_I_I_I_I19]], label %[[_ZN4LLVM11SMALLVECTORIILJ8EED1EV_EXIT21:.*]], label %[[IF_THEN_I_I_I20:.*]]68; CHECK: [[IF_THEN_I_I_I20]]:69; CHECK-NEXT: call void @free(ptr [[TMP0]])70; CHECK-NEXT: br label %[[_ZN4LLVM11SMALLVECTORIILJ8EED1EV_EXIT21]]71; CHECK: [[_ZN4LLVM11SMALLVECTORIILJ8EED1EV_EXIT21]]:72; CHECK-NEXT: call void @llvm.lifetime.end.p0(ptr [[SV]])73; CHECK-NEXT: ret void74; CHECK: [[LPAD]]:75; CHECK-NEXT: [[TMP1:%.*]] = landingpad { ptr, i32 }76; CHECK-NEXT: cleanup77; CHECK-NEXT: [[TMP2:%.*]] = load ptr, ptr [[SV]], align 16, !tbaa [[ANYPTR_TBAA0]]78; CHECK-NEXT: [[CMP_I_I_I_I:%.*]] = icmp eq ptr [[TMP2]], [[FIRSTEL_I_I_I_I_I_I]]79; CHECK-NEXT: br i1 [[CMP_I_I_I_I]], label %[[EH_RESUME:.*]], label %[[IF_THEN_I_I_I:.*]]80; CHECK: [[IF_THEN_I_I_I]]:81; CHECK-NEXT: call void @free(ptr [[TMP2]])82; CHECK-NEXT: br label %[[EH_RESUME]]83; CHECK: [[EH_RESUME]]:84; CHECK-NEXT: resume { ptr, i32 } [[TMP1]]85;86 87entry:88 %sv = alloca %"class.llvm::SmallVector", align 1689 call void @llvm.lifetime.start.p0(ptr %sv)90 %FirstEl.i.i.i.i.i.i = getelementptr inbounds %"class.llvm::SmallVector", ptr %sv, i64 0, i32 0, i32 0, i32 0, i32 0, i32 391 store ptr %FirstEl.i.i.i.i.i.i, ptr %sv, align 16, !tbaa !492 %EndX.i.i.i.i.i.i = getelementptr inbounds %"class.llvm::SmallVector", ptr %sv, i64 0, i32 0, i32 0, i32 0, i32 0, i32 193 store ptr %FirstEl.i.i.i.i.i.i, ptr %EndX.i.i.i.i.i.i, align 8, !tbaa !494 %CapacityX.i.i.i.i.i.i = getelementptr inbounds %"class.llvm::SmallVector", ptr %sv, i64 0, i32 0, i32 0, i32 0, i32 0, i32 295 %add.ptr.i.i.i.i2.i.i = getelementptr inbounds %"union.llvm::SmallVectorBase::U", ptr %FirstEl.i.i.i.i.i.i, i64 296 store ptr %add.ptr.i.i.i.i2.i.i, ptr %CapacityX.i.i.i.i.i.i, align 16, !tbaa !497 %EndX.i = getelementptr inbounds %"class.llvm::SmallVector", ptr %sv, i64 0, i32 0, i32 0, i32 0, i32 0, i32 198 %0 = load ptr, ptr %EndX.i, align 8, !tbaa !499 %CapacityX.i = getelementptr inbounds %"class.llvm::SmallVector", ptr %sv, i64 0, i32 0, i32 0, i32 0, i32 0, i32 2100 %cmp.i = icmp ult ptr %0, %add.ptr.i.i.i.i2.i.i101 br i1 %cmp.i, label %Retry.i, label %if.end.i102 103Retry.i: ; preds = %.noexc, %entry104 %1 = phi ptr [ %0, %entry ], [ %.pre.i, %.noexc ]105 %new.isnull.i = icmp eq ptr %1, null106 br i1 %new.isnull.i, label %invoke.cont, label %new.notnull.i107 108new.notnull.i: ; preds = %Retry.i109 store i32 1, ptr %1, align 4, !tbaa !5110 br label %invoke.cont111 112if.end.i: ; preds = %entry113 invoke void @_ZN4llvm15SmallVectorBase8grow_podEmm(ptr %sv, i64 0, i64 4)114 to label %.noexc unwind label %lpad115 116.noexc: ; preds = %if.end.i117 %.pre.i = load ptr, ptr %EndX.i, align 8, !tbaa !4118 br label %Retry.i119 120invoke.cont: ; preds = %new.notnull.i, %Retry.i121 %add.ptr.i = getelementptr inbounds i8, ptr %1, i64 4122 store ptr %add.ptr.i, ptr %EndX.i, align 8, !tbaa !4123 %2 = load ptr, ptr %CapacityX.i, align 16, !tbaa !4124 %cmp.i8 = icmp ult ptr %add.ptr.i, %2125 br i1 %cmp.i8, label %new.notnull.i11, label %if.end.i14126 127Retry.i10: ; preds = %if.end.i14128 %.pre.i13 = load ptr, ptr %EndX.i, align 8, !tbaa !4129 %new.isnull.i9 = icmp eq ptr %.pre.i13, null130 br i1 %new.isnull.i9, label %invoke.cont2, label %new.notnull.i11131 132new.notnull.i11: ; preds = %invoke.cont, %Retry.i10133 %3 = phi ptr [ %.pre.i13, %Retry.i10 ], [ %add.ptr.i, %invoke.cont ]134 store i32 2, ptr %3, align 4, !tbaa !5135 br label %invoke.cont2136 137if.end.i14: ; preds = %invoke.cont138 invoke void @_ZN4llvm15SmallVectorBase8grow_podEmm(ptr %sv, i64 0, i64 4)139 to label %Retry.i10 unwind label %lpad140 141invoke.cont2: ; preds = %new.notnull.i11, %Retry.i10142 %4 = phi ptr [ null, %Retry.i10 ], [ %3, %new.notnull.i11 ]143 %add.ptr.i12 = getelementptr inbounds i8, ptr %4, i64 4144 store ptr %add.ptr.i12, ptr %EndX.i, align 8, !tbaa !4145 invoke void @_Z1gRN4llvm11SmallVectorIiLj8EEE(ptr %sv)146 to label %invoke.cont3 unwind label %lpad147 148invoke.cont3: ; preds = %invoke.cont2149 %5 = load ptr, ptr %sv, align 16, !tbaa !4150 %cmp.i.i.i.i19 = icmp eq ptr %5, %FirstEl.i.i.i.i.i.i151 br i1 %cmp.i.i.i.i19, label %_ZN4llvm11SmallVectorIiLj8EED1Ev.exit21, label %if.then.i.i.i20152 153if.then.i.i.i20: ; preds = %invoke.cont3154 call void @free(ptr %5)155 br label %_ZN4llvm11SmallVectorIiLj8EED1Ev.exit21156 157_ZN4llvm11SmallVectorIiLj8EED1Ev.exit21: ; preds = %invoke.cont3, %if.then.i.i.i20158 call void @llvm.lifetime.end.p0(ptr %sv)159 ret void160 161lpad: ; preds = %if.end.i14, %if.end.i, %invoke.cont2162 %6 = landingpad { ptr, i32 }163 cleanup164 %7 = load ptr, ptr %sv, align 16, !tbaa !4165 %cmp.i.i.i.i = icmp eq ptr %7, %FirstEl.i.i.i.i.i.i166 br i1 %cmp.i.i.i.i, label %eh.resume, label %if.then.i.i.i167 168if.then.i.i.i: ; preds = %lpad169 call void @free(ptr %7)170 br label %eh.resume171 172eh.resume: ; preds = %if.then.i.i.i, %lpad173 resume { ptr, i32 } %6174}175 176; Function Attrs: nounwind177declare void @llvm.lifetime.start.p0(ptr nocapture)178 179declare i32 @__gxx_personality_v0(...)180 181declare void @_Z1gRN4llvm11SmallVectorIiLj8EEE(ptr)182 183; Function Attrs: nounwind184declare void @llvm.lifetime.end.p0(ptr nocapture)185 186declare void @_ZN4llvm15SmallVectorBase8grow_podEmm(ptr, i64, i64)187 188; Function Attrs: nounwind189declare void @free(ptr nocapture)190 191!0 = !{!"any pointer", !1}192!1 = !{!"omnipotent char", !2}193!2 = !{!"Simple C/C++ TBAA"}194!3 = !{!"int", !1}195!4 = !{!0, !0, i64 0}196!5 = !{!3, !3, i64 0}197;.198; CHECK: [[ANYPTR_TBAA0]] = !{[[META1:![0-9]+]], [[META1]], i64 0}199; CHECK: [[META1]] = !{!"any pointer", [[META2:![0-9]+]]}200; CHECK: [[META2]] = !{!"omnipotent char", [[META3:![0-9]+]]}201; CHECK: [[META3]] = !{!"Simple C/C++ TBAA"}202; CHECK: [[INT_TBAA4]] = !{[[META5:![0-9]+]], [[META5]], i64 0}203; CHECK: [[META5]] = !{!"int", [[META2]]}204;.205