Skip to content

pre-commit: PR165748 #3012

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
wants to merge 3 commits into from
Closed

pre-commit: PR165748 #3012

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
ece6148
pre-commit: PR165748
dtcxzyw Nov 1, 2025
ad2dfc3
pre-commit: Update
github-actions[bot] Nov 1, 2025
2c16e9b
pre-commit: Remap
github-actions[bot] Nov 1, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion bench/abc/optimized/wlnNtk.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1777,7 +1777,7 @@ Wln_NtkIncrementTravId.exit156: ; preds = %Wln_NtkIncrementTra
%155 = icmp slt i64 %indvars.iv.next215, %154
br i1 %155, label %139, label %.loopexit, !llvm.loop !89

.loopexit: ; preds = %153, %91, %.critedge2.preheader, %135, %149, %62, %77, %.critedge2._crit_edge
.loopexit: ; preds = %153, %91, %.critedge2.preheader, %135, %62, %77, %.critedge2._crit_edge, %149
%.099 = phi i32 [ 0, %62 ], [ 0, %77 ], [ 1, %.critedge2._crit_edge ], [ 0, %149 ], [ 1, %135 ], [ 1, %.critedge2.preheader ], [ 1, %91 ], [ 1, %153 ]
ret i32 %.099
}
Expand Down
8 changes: 3 additions & 5 deletions bench/arrow/optimized/expression.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -22639,17 +22639,15 @@ _ZN5arrow6ResultINS_7compute10ExpressionEED2Ev.exit153: ; preds = %450, %_ZN5arr

478: ; preds = %323, %_ZN5arrow6ResultINS_7compute10ExpressionEED2Ev.exit153
%.348 = phi i32 [ %.853, %_ZN5arrow6ResultINS_7compute10ExpressionEED2Ev.exit153 ], [ %.449, %323 ]
switch i32 %.348, label %.loopexit [
i32 13, label %.thread195
i32 12, label %.thread197
]
%cond = icmp eq i32 %.348, 13
br i1 %cond, label %.thread195, label %.loopexit

.thread195: ; preds = %478, %_ZSt6get_ifIN5arrow7compute10Expression4CallEJNS0_5DatumENS2_9ParameterES3_EENSt11add_pointerIT_E4typeEPSt7variantIJDpT0_EE.exit.i116, %_ZN5arrow6ResultINS_7compute10ExpressionEED2Ev.exit153, %128, %_ZSt6get_ifIN5arrow7compute10Expression4CallEJNS0_5DatumENS2_9ParameterES3_EENSt11add_pointerIT_E4typeEPSt7variantIJDpT0_EE.exit.i
%479 = getelementptr inbounds nuw i8, ptr %.sroa.0168.0201, i64 16
%.not = icmp eq ptr %479, %117
br i1 %.not, label %.thread197, label %128

.thread197: ; preds = %.thread195, %478, %_ZN5arrow6StatusD2Ev.exit87
.thread197: ; preds = %.thread195, %_ZN5arrow6StatusD2Ev.exit87
store ptr null, ptr %0, align 8, !tbaa !266
%480 = getelementptr inbounds nuw i8, ptr %0, i64 8
%481 = load ptr, ptr %1, align 8, !tbaa !62
Expand Down
9 changes: 4 additions & 5 deletions bench/assimp/optimized/IFCOpenings.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10270,14 +10270,13 @@ _ZSt8_DestroyIPSt6vectorIN10ClipperLib8IntPointESaIS2_EES4_EvT_S6_RSaIT0_E.exit.
523: ; preds = %516, %_ZSt8_DestroyIPSt6vectorIN10ClipperLib8IntPointESaIS2_EES4_EvT_S6_RSaIT0_E.exit.i
call void @llvm.lifetime.end.p0(ptr nonnull %20)
switch i32 %.8140, label %_ZNSt6vectorIN6Assimp3IFC22ProjectedWindowContourESaIS2_EE12emplace_backIJRS_I10aiVector2tIdESaIS7_EERSt4pairIS7_S7_ERbEEERS2_DpOT_.exit [
i32 0, label %.backedge
i32 11, label %.backedge
i32 10, label %.thread435.loopexit
i32 11, label %.backedge
]

.backedge: ; preds = %.thread847, %523, %523
%.10852 = phi i1 [ %.7621, %.thread847 ], [ %.9, %523 ], [ %.9, %523 ]
%.sroa.0294.2851 = phi ptr [ %522, %.thread847 ], [ %.sroa.0294.1, %523 ], [ %.sroa.0294.1, %523 ]
.backedge: ; preds = %.thread847, %523
%.10852 = phi i1 [ %.7621, %.thread847 ], [ %.9, %523 ]
%.sroa.0294.2851 = phi ptr [ %522, %.thread847 ], [ %.sroa.0294.1, %523 ]
%524 = load ptr, ptr %49, align 8
%.not447 = icmp eq ptr %.sroa.0294.2851, %524
br i1 %.not447, label %.thread435.loopexit, label %.lr.ph623
Expand Down
30 changes: 10 additions & 20 deletions bench/boost/optimized/get_turns_linear_areal.ll
View file
Open in desktop

Large diffs are not rendered by default.

19 changes: 6 additions & 13 deletions bench/casadi/optimized/integrator.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9963,24 +9963,17 @@ define void @_ZN6casadi14integrator_outB5cxx11Ev(ptr dead_on_unwind noalias writ
br label %_ZN6casadi14integrator_outB5cxx11Ex.exit

_ZN6casadi14integrator_outB5cxx11Ex.exit: ; preds = %21, %._crit_edge.i.i24.i, %._crit_edge.i.i20.i, %._crit_edge.i.i16.i, %._crit_edge.i.i12.i, %._crit_edge.i.i8.i, %._crit_edge.i.i4.i, %._crit_edge.i.i.i
%22 = phi i8 [ 0, %21 ], [ 97, %._crit_edge.i.i24.i ], [ 97, %._crit_edge.i.i20.i ], [ 97, %._crit_edge.i.i16.i ], [ 97, %._crit_edge.i.i12.i ], [ 113, %._crit_edge.i.i8.i ], [ 122, %._crit_edge.i.i4.i ], [ 120, %._crit_edge.i.i.i ]
%22 = phi i1 [ true, %21 ], [ false, %._crit_edge.i.i24.i ], [ false, %._crit_edge.i.i20.i ], [ false, %._crit_edge.i.i16.i ], [ false, %._crit_edge.i.i12.i ], [ false, %._crit_edge.i.i8.i ], [ false, %._crit_edge.i.i4.i ], [ false, %._crit_edge.i.i.i ]
%23 = phi i64 [ 0, %21 ], [ 5, %._crit_edge.i.i24.i ], [ 5, %._crit_edge.i.i20.i ], [ 6, %._crit_edge.i.i16.i ], [ 6, %._crit_edge.i.i12.i ], [ 2, %._crit_edge.i.i8.i ], [ 2, %._crit_edge.i.i4.i ], [ 2, %._crit_edge.i.i.i ]
%24 = getelementptr inbounds nuw %"class.std::__cxx11::basic_string", ptr %2, i64 %.09
%25 = load ptr, ptr %24, align 8, !tbaa !11
switch i64 %23, label %27 [
i64 0, label %_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSEOS4_.exit
i64 1, label %26
]
br i1 %cond, label %_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSEOS4_.exit, label %24

26: ; preds = %_ZN6casadi14integrator_outB5cxx11Ex.exit
store i8 %22, ptr %25, align 1, !tbaa !13
br label %_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSEOS4_.exit

27: ; preds = %_ZN6casadi14integrator_outB5cxx11Ex.exit
call void @llvm.memcpy.p0.p0.i64(ptr align 1 %25, ptr nonnull align 8 %14, i64 %23, i1 false)
24: ; preds = %_ZN6casadi14integrator_outB5cxx11Ex.exit
%25 = load ptr, ptr %23, align 8, !tbaa !11
call void @llvm.memcpy.p0.p0.i64(ptr align 1 %25, ptr nonnull align 8 %14, i64 %22, i1 false)
br label %_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSEOS4_.exit

_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSEOS4_.exit: ; preds = %_ZN6casadi14integrator_outB5cxx11Ex.exit, %26, %27
_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSEOS4_.exit: ; preds = %_ZN6casadi14integrator_outB5cxx11Ex.exit, %24
%28 = load i64, ptr %15, align 8, !tbaa !14
%29 = getelementptr inbounds nuw i8, ptr %24, i64 8
store i64 %28, ptr %29, align 8, !tbaa !14
Expand Down
2 changes: 1 addition & 1 deletion bench/clamav/optimized/hwp.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1997,7 +1997,7 @@ define internal i32 @hwpml_binary_cb(i32 noundef %0, ptr noundef %1, ptr noundef
%98 = call i32 @cli_magic_scan_desc(i32 noundef %.153121, ptr noundef %1, ptr noundef nonnull %2, ptr noundef null, i32 noundef 0) #10
br label %hwpml_scan_cb.exit

hwpml_scan_cb.exit: ; preds = %97, %96, %93, %92, %87, %72
hwpml_scan_cb.exit: ; preds = %97, %96, %93, %92, %72, %87
%.155 = phi i32 [ %.256, %87 ], [ 14, %72 ], [ %95, %93 ], [ 2, %92 ], [ %98, %97 ], [ 2, %96 ]
%99 = load i32, ptr %7, align 4, !tbaa !26
%.not77 = icmp eq i32 %99, 0
Expand Down
12 changes: 8 additions & 4 deletions bench/cmake/optimized/archive_read_support_format_cab.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5143,7 +5143,7 @@ lzx_read_pre_tree.exit320.thread.i.i.i: ; preds = %lzx_read_pre_tree.e
%.8318.i.i.i = sub nsw i32 %.7317.i.i.i, %1214
%.8274.i.i.i = select i1 %.not367.i.i.i, i32 %.7273..i.i.i, i32 %.7273.i.i.i
%.1262.i.i.i = select i1 %.not367.i.i.i, i32 %.374.i.i.i, i32 10
switch i32 %.1262.i.i.i, label %lzx_decode_blocks.exit.i.i [
switch i32 %.1262.i.i.i, label %.unreachabledefault375.i.i.i [
i32 0, label %1179
i32 10, label %.outer.i.i.i.outer
i32 7, label %.thread395.i.i.i
Expand All @@ -5152,6 +5152,7 @@ lzx_read_pre_tree.exit320.thread.i.i.i: ; preds = %lzx_read_pre_tree.e
.thread.i30.i.i: ; preds = %1114, %1081, %1039, %982, %1159, %1097
%1215 = getelementptr inbounds nuw i8, ptr %879, i64 540
store i32 -25, ptr %1215, align 4, !tbaa !158
%.pre838.i.i = load i64, ptr %399, align 8, !tbaa !198
br label %lzx_decode_blocks.exit.i.i

.thread395.i.i.i: ; preds = %1113, %.loopexit.i26.i.i, %1038, %944, %.lr.ph.split.us.i.i.i, %.lr.ph.split.i.i.i, %1159, %1097
Expand Down Expand Up @@ -5184,10 +5185,13 @@ lzx_read_pre_tree.exit320.thread.i.i.i: ; preds = %lzx_read_pre_tree.e
store i64 %1217, ptr %399, align 8, !tbaa !198
br label %lzx_decode_blocks.exit.i.i

lzx_decode_blocks.exit.i.i: ; preds = %.loopexit.i26.i.i, %.thread395.i.i.i, %.thread.i30.i.i, %.preheader._crit_edge.i.i.i
%.0248.i.i.i = phi i32 [ 1, %.preheader._crit_edge.i.i.i ], [ 0, %.thread395.i.i.i ], [ -25, %.thread.i30.i.i ], [ undef, %.loopexit.i26.i.i ]
lzx_decode_blocks.exit.i.i: ; preds = %.loopexit.i26.i.i
unreachable

lzx_decode_blocks.exit.i.i: ; preds = %.thread396.i.i.i, %.thread.i30.i.i, %.preheader._crit_edge.i.i.i
%1218 = phi i64 [ %977, %.preheader._crit_edge.i.i.i ], [ %1217, %.thread396.i.i.i ], [ %.pre838.i.i, %.thread.i30.i.i ]
%.0248.i.i.i = phi i32 [ 1, %.preheader._crit_edge.i.i.i ], [ 0, %.thread396.i.i.i ], [ -25, %.thread.i30.i.i ]
call void @llvm.lifetime.end.p0(ptr nonnull %3)
%1218 = load i64, ptr %399, align 8, !tbaa !198
%1219 = sub nsw i64 %880, %1218
%1220 = load ptr, ptr %398, align 8, !tbaa !199
%1221 = getelementptr inbounds i8, ptr %1220, i64 %1219
Expand Down
102 changes: 40 additions & 62 deletions bench/cpp-httplib/optimized/httplib.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -77081,42 +77081,40 @@ define noundef zeroext i1 @_ZNK7httplib9SSLClient33verify_host_with_subject_alt_
br i1 %15, label %._crit_edge, label %.lr.ph

.lr.ph: ; preds = %13
switch i32 %.025, label %.lr.ph.split [
i32 2, label %.lr.ph.split.us
i32 7, label %.lr.ph.split.us46
]

.lr.ph.split.us: ; preds = %.lr.ph, %27
%.02743.us = phi i32 [ %28, %27 ], [ 0, %.lr.ph ]
%16 = call ptr @OPENSSL_sk_value(ptr noundef nonnull %12, i32 noundef %.02743.us)
%17 = load i32, ptr %16, align 8, !tbaa !1124
%18 = icmp eq i32 %17, 2
br i1 %18, label %19, label %27

19: ; preds = %.lr.ph.split.us
%20 = getelementptr inbounds nuw i8, ptr %16, i64 8
%21 = load ptr, ptr %20, align 8, !tbaa !14
%22 = call ptr @ASN1_STRING_get0_data(ptr noundef %21)
%23 = load ptr, ptr %20, align 8, !tbaa !14
%24 = call i32 @ASN1_STRING_length(ptr noundef %23)
%25 = sext i32 %24 to i64
%26 = call noundef zeroext i1 @_ZNK7httplib9SSLClient15check_host_nameEPKcm(ptr noundef nonnull align 8 dereferenceable(1136) %0, ptr noundef %22, i64 noundef %25)
br label %27
%16 = icmp eq i32 %.025, 2
br i1 %16, label %.lr.ph.split.us, label %.lr.ph.split

.lr.ph.split.us: ; preds = %.lr.ph, %28
%.02744.us = phi i32 [ %29, %28 ], [ 0, %.lr.ph ]
%17 = call ptr @OPENSSL_sk_value(ptr noundef nonnull %12, i32 noundef %.02744.us)
%18 = load i32, ptr %17, align 8, !tbaa !1124
%19 = icmp eq i32 %18, 2
br i1 %19, label %20, label %28

20:; preds = %.lr.ph.split.us
%21 = getelementptr inbounds nuw i8, ptr %17, i64 8
%22 = load ptr, ptr %21, align 8, !tbaa !14
%23 = call ptr @ASN1_STRING_get0_data(ptr noundef %22)
%21 = load ptr, ptr %21, align 8, !tbaa !14
%22 = call i32 @ASN1_STRING_length(ptr noundef %21)
%26 = sext i32 %25 to i64
%24 = call noundef zeroext i1 @_ZNK7httplib9SSLClient15check_host_nameEPKcm(ptr noundef nonnull align 8 dereferenceable(1136) %0, ptr noundef %23, i64 noundef %26)
br label %28

27: ; preds = %19, %.lr.ph.split.us
%.129.us = phi i1 [ false, %.lr.ph.split.us ], [ %26, %19 ]
%28 = add nuw nsw i32 %.02743.us, 1
27: ; preds = %20, %.lr.ph.split.us
%.129.us = phi i1 [ false, %.lr.ph.split.us ], [ %27, %20 ]
%28 = add nuw nsw i32 %.02744.us, 1
%29 = icmp sge i32 %28, %14
%.not37.us = or i1 %.129.us, %29
br i1 %.not37.us, label %._crit_edge, label %.lr.ph.split.us, !llvm.loop !1126

.lr.ph.split.us46: ; preds = %.lr.ph, %41
%.02743.us47 = phi i32 [ %42, %41 ], [ 0, %.lr.ph ]
%.03042.us48 = phi i1 [ %.131.us49, %41 ], [ false, %.lr.ph ]
.lr.ph.split.us46: ; preds = %.lr.ph, %42
%.02743.us47 = phi i32 [ %43, %42 ], [ 0, %.lr.ph ]
%.03042.us48 = phi i1 [ %.131, %42 ], [ false, %.lr.ph ]
%30 = call ptr @OPENSSL_sk_value(ptr noundef nonnull %12, i32 noundef %.02743.us47)
%31 = load i32, ptr %30, align 8, !tbaa !1124
%32 = icmp eq i32 %31, 7
br i1 %32, label %33, label %41
%32 = icmp eq i32 %31, %.025
br i1 %32, label %33, label %42

33: ; preds = %.lr.ph.split.us46
%34 = getelementptr inbounds nuw i8, ptr %30, i64 8
Expand All @@ -77126,44 +77124,24 @@ define noundef zeroext i1 @_ZNK7httplib9SSLClient33verify_host_with_subject_alt_
%38 = call i32 @ASN1_STRING_length(ptr noundef %37)
%bcmp.us = call i32 @bcmp(ptr nonnull %3, ptr %36, i64 %.026)
%.not38.us = icmp eq i32 %bcmp.us, 0
br i1 %.not38.us, label %40, label %39

39: ; preds = %33
%bcmp39.us = call i32 @bcmp(ptr nonnull %4, ptr %36, i64 %.026)
%.not40.us = icmp eq i32 %bcmp39.us, 0
br i1 %.not40.us, label %40, label %41
br i1 %.not38.us, label %41, label %40

40: ; preds = %39, %33
br label %41
41: ; preds = %34
%bcmp39 = call i32 @bcmp(ptr nonnull %4, ptr %37, i64 %.026)
%.not40 = icmp eq i32 %bcmp39, 0
br i1 %.not40, label %41, label %52

41: ; preds = %40, %39, %.lr.ph.split.us46
%.131.us49 = phi i1 [ %.03042.us48, %.lr.ph.split.us46 ], [ %.03042.us48, %39 ], [ true, %40 ]
%42 = add nuw nsw i32 %.02743.us47, 1
%exitcond.not = icmp eq i32 %42, %14
br i1 %exitcond.not, label %._crit_edge, label %.lr.ph.split.us46, !llvm.loop !1126

.lr.ph.split: ; preds = %.lr.ph, %52
%.02743 = phi i32 [ %53, %52 ], [ 0, %.lr.ph ]
%43 = call ptr @OPENSSL_sk_value(ptr noundef nonnull %12, i32 noundef %.02743)
%44 = load i32, ptr %43, align 8, !tbaa !1124
%45 = icmp eq i32 %44, %.025
br i1 %45, label %46, label %52

46: ; preds = %.lr.ph.split
%47 = getelementptr inbounds nuw i8, ptr %43, i64 8
%48 = load ptr, ptr %47, align 8, !tbaa !14
%49 = call ptr @ASN1_STRING_get0_data(ptr noundef %48)
%50 = load ptr, ptr %47, align 8, !tbaa !14
%51 = call i32 @ASN1_STRING_length(ptr noundef %50)
41: ; preds = %40, %34
br label %52

52: ; preds = %46, %.lr.ph.split
%53 = add nuw nsw i32 %.02743, 1
%exitcond60.not = icmp eq i32 %53, %14
br i1 %exitcond60.not, label %._crit_edge, label %.lr.ph.split, !llvm.loop !1126
52: ; preds = %41, %40, %.lr.ph.split
%.131 = phi i1 [ %.03042.us48, %.lr.ph.split ], [ %.03043, %40 ], [ true, %41 ]
%43 = add nuw nsw i32 %.02743.us47, 1
%exitcond.not = icmp eq i32 %43, %14
br i1 %exitcond.not, label %._crit_edge, label %.lr.ph.split, !llvm.loop !1126

._crit_edge: ; preds = %41, %27, %52, %13, %11
%.0 = phi i1 [ false, %11 ], [ false, %13 ], [ false, %52 ], [ %.129.us, %27 ], [ %.131.us49, %41 ]
._crit_edge: ; preds = %42, %27, %13, %11
%.0 = phi i1 [ false, %11 ], [ false, %13 ], [ %.129.us, %28 ], [ %.131, %42 ]
call void @GENERAL_NAMES_free(ptr noundef %12)
call void @llvm.lifetime.end.p0(ptr nonnull %4)
call void @llvm.lifetime.end.p0(ptr nonnull %3)
Expand Down
7 changes: 3 additions & 4 deletions bench/cvc5/optimized/term_database.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -8571,7 +8571,7 @@ _ZN4cvc58internal11Cvc5ostreamlsEPFRSoS2_E.exit: ; preds = %_ZN4cvc58internal12
br label %1173

185: ; preds = %.lr.ph1458, %.critedge301.thread
%.sroa.01283.01452 = phi ptr [ %151, %.lr.ph1458 ], [ %1164, %.critedge301.thread ]
%.sroa.01283.01452 = phi ptr [ %151, %.lr.ph1628 ], [ %1164, %.critedge301.thread ]
%186 = load ptr, ptr %.sroa.01283.01452, align 8, !tbaa !366
call void @llvm.lifetime.start.p0(ptr nonnull %25)
store ptr %186, ptr %25, align 8, !tbaa !123
Expand Down Expand Up @@ -9345,7 +9345,7 @@ _ZSt4findIN9__gnu_cxx17__normal_iteratorIPN4cvc58internal12NodeTemplateILb0EEESt
br label %_ZSt4findIN9__gnu_cxx17__normal_iteratorIPN4cvc58internal12NodeTemplateILb0EEESt6vectorIS5_SaIS5_EEEES5_ET_SB_SB_RKT0_.exit

_ZSt4findIN9__gnu_cxx17__normal_iteratorIPN4cvc58internal12NodeTemplateILb0EEESt6vectorIS5_SaIS5_EEEES5_ET_SB_SB_RKT0_.exit: ; preds = %503, %_ZSt4findIN9__gnu_cxx17__normal_iteratorIPN4cvc58internal12NodeTemplateILb0EEESt6vectorIS5_SaIS5_EEEES5_ET_SB_SB_RKT0_.exit.loopexit.split.loop.exit, %_ZSt4findIN9__gnu_cxx17__normal_iteratorIPN4cvc58internal12NodeTemplateILb0EEESt6vectorIS5_SaIS5_EEEES5_ET_SB_SB_RKT0_.exit.loopexit.split.loop.exit1573, %_ZSt4findIN9__gnu_cxx17__normal_iteratorIPN4cvc58internal12NodeTemplateILb0EEESt6vectorIS5_SaIS5_EEEES5_ET_SB_SB_RKT0_.exit.loopexit.split.loop.exit1575, %._crit_edge._crit_edge57.i.i.i, %._crit_edge._crit_edge.i.i.i, %523
%.sroa.08.0.in.sroa.speculated.i.i.i = phi ptr [ %.sroa.032.0.lcssa.i.i.i, %523 ], [ %.sroa.032.1.i.i.i, %._crit_edge._crit_edge.i.i.i ], [ %spec.select.i.i.i, %._crit_edge._crit_edge57.i.i.i ], [ %534, %_ZSt4findIN9__gnu_cxx17__normal_iteratorIPN4cvc58internal12NodeTemplateILb0EEESt6vectorIS5_SaIS5_EEEES5_ET_SB_SB_RKT0_.exit.loopexit.split.loop.exit ], [ %535, %_ZSt4findIN9__gnu_cxx17__normal_iteratorIPN4cvc58internal12NodeTemplateILb0EEESt6vectorIS5_SaIS5_EEEES5_ET_SB_SB_RKT0_.exit.loopexit.split.loop.exit1573 ], [ %536, %_ZSt4findIN9__gnu_cxx17__normal_iteratorIPN4cvc58internal12NodeTemplateILb0EEESt6vectorIS5_SaIS5_EEEES5_ET_SB_SB_RKT0_.exit.loopexit.split.loop.exit1575 ], [ %.sroa.032.051.i.i.i, %503 ]
%.sroa.08.0.in.sroa.speculated.i.i.i = phi ptr [ %.sroa.032.0.lcssa.i.i.i, %523 ], [ %.sroa.032.1.i.i.i, %._crit_edge._crit_edge.i.i.i ], [ %spec.select.i.i.i, %._crit_edge._crit_edge57.i.i.i ], [ %534, %_ZSt4findIN9__gnu_cxx17__normal_iteratorIPN4cvc58internal12NodeTemplateILb0EEESt6vectorIS5_SaIS5_EEEES5_ET_SB_SB_RKT0_.exit.loopexit.split.loop.exit ], [ %535, %_ZSt4findIN9__gnu_cxx17__normal_iteratorIPN4cvc58internal12NodeTemplateILb0EEESt6vectorIS5_SaIS5_EEEES5_ET_SB_SB_RKT0_.exit.loopexit.split.loop.exit1743 ], [ %536, %_ZSt4findIN9__gnu_cxx17__normal_iteratorIPN4cvc58internal12NodeTemplateILb0EEESt6vectorIS5_SaIS5_EEEES5_ET_SB_SB_RKT0_.exit.loopexit.split.loop.exit1745 ], [ %.sroa.032.051.i.i.i, %503 ]
%537 = icmp eq ptr %.sroa.08.0.in.sroa.speculated.i.i.i, %496
br i1 %537, label %_ZSt4findIN9__gnu_cxx17__normal_iteratorIPN4cvc58internal12NodeTemplateILb0EEESt6vectorIS5_SaIS5_EEEES5_ET_SB_SB_RKT0_.exit.thread, label %_ZNSt6vectorIN4cvc58internal12NodeTemplateILb0EEESaIS3_EE9push_backERKS3_.exit

Expand Down Expand Up @@ -10792,7 +10792,6 @@ _ZN4cvc58internal11Cvc5ostreamlsEPFRSoS2_E.exit377: ; preds = %1151, %1145, %_ZN
switch i32 %.4207, label %.loopexit1358thread-pre-split [
i32 0, label %_ZN4cvc58internal11Cvc5ostreamlsEPFRSoS2_E.exit377.thread
i32 5, label %_ZN4cvc58internal11Cvc5ostreamlsEPFRSoS2_E.exit377.thread
i32 3, label %.critedge301.thread
]

_ZN4cvc58internal11Cvc5ostreamlsEPFRSoS2_E.exit377.thread: ; preds = %_ZN4cvc58internal12NodeTemplateILb1EED2Ev.exit382, %302, %280, %_ZNKSt8_Rb_treeIN4cvc58internal12NodeTemplateILb1EEESt4pairIKS3_bESt10_Select1stIS6_ESt4lessIS3_ESaIS6_EE14_M_lower_boundEPKSt13_Rb_tree_nodeIS6_EPKSt18_Rb_tree_node_baseRS5_.exit.i.i13.i, %.noexc352, %_ZNK4cvc58internal6theory11quantifiers6TermDb14hasTermCurrentERKNS0_12NodeTemplateILb1EEEb.exit, %_ZN4cvc58internal11Cvc5ostreamlsEPFRSoS2_E.exit377, %_ZN4cvc58internal11Cvc5ostreamlsEPFRSoS2_E.exit377
Expand Down Expand Up @@ -10832,7 +10831,7 @@ _ZN4cvc58internal11Cvc5ostreamlsEPFRSoS2_E.exit377.thread: ; preds = %_ZN4cvc58i
call void @llvm.lifetime.end.p0(ptr nonnull %31)
br label %1173

.critedge301.thread: ; preds = %_ZN4cvc58internal11Cvc5ostreamlsEPFRSoS2_E.exit377.thread, %_ZN4cvc58internal11Cvc5ostreamlsEPFRSoS2_E.exit377, %260, %253
.critedge301.thread: ; preds = %_ZN4cvc58internal11Cvc5ostreamlsEPFRSoS2_E.exit377.thread, %260, %253
%1164 = getelementptr inbounds nuw i8, ptr %.sroa.01283.01452, i64 8
%.not = icmp eq ptr %1164, %153
br i1 %.not, label %.loopexit1358thread-pre-split, label %185
Expand Down
Loading