Skip to content
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.

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

pre-commit: PR123518 #1982

Open
wants to merge 2 commits into
base: main
Choose a base branch
from
Open
Show file tree
Hide file tree
Changes from all commits
Commits
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
4 changes: 2 additions & 2 deletions bench/abc/optimized/ac_wrapper.cpp.ll
Original file line number Diff line number Diff line change
Expand Up @@ -1243,7 +1243,7 @@ define linkonce_odr noundef zeroext i1 @_ZN3acd21ac_decomposition_impl18find_dec
%138 = phi ptr [ %136, %135 ], [ %139, %_ZNSt8functionIFjRKN5kitty18static_truth_tableILj10EEEEED2Ev.exit ]
%139 = getelementptr inbounds i8, ptr %138, i64 -32
%140 = getelementptr inbounds i8, ptr %138, i64 -16
%141 = load ptr, ptr %140, align 8
%141 = load ptr, ptr %140, align 16
%.not.i.i = icmp eq ptr %141, null
br i1 %.not.i.i, label %_ZNSt8functionIFjRKN5kitty18static_truth_tableILj10EEEEED2Ev.exit, label %142

Expand All @@ -1269,7 +1269,7 @@ _ZNSt8functionIFjRKN5kitty18static_truth_tableILj10EEEEED2Ev.exit: ; preds = %13
%150 = phi ptr [ %65, %64 ], [ %151, %_ZNSt8functionIFjRKN5kitty18static_truth_tableILj10EEEEED2Ev.exit66 ]
%151 = getelementptr inbounds i8, ptr %150, i64 -32
%152 = getelementptr inbounds i8, ptr %150, i64 -16
%153 = load ptr, ptr %152, align 8
%153 = load ptr, ptr %152, align 16
%.not.i.i65 = icmp eq ptr %153, null
br i1 %.not.i.i65, label %_ZNSt8functionIFjRKN5kitty18static_truth_tableILj10EEEEED2Ev.exit66, label %154

Expand Down
60 changes: 30 additions & 30 deletions bench/abc/optimized/giaMf.c.ll
Original file line number Diff line number Diff line change
Expand Up @@ -4520,14 +4520,14 @@ Gia_ObjSiblObj.exit: ; preds = %._crit_edge
%.032.val.i = load i32, ptr %.032.i, align 4
%88 = lshr i32 %.032.val.i, 5
%89 = getelementptr inbounds nuw i8, ptr %.03444.i, i64 16
%90 = load i32, ptr %89, align 8
%90 = load i32, ptr %89, align 16
%91 = and i32 %90, -134217728
%92 = or disjoint i32 %91, %88
store i32 %92, ptr %89, align 8
store i32 %92, ptr %89, align 16
%.032.val42.i = load i32, ptr %.032.i, align 4
%93 = shl i32 %.032.val42.i, 27
%94 = or disjoint i32 %93, %88
store i32 %94, ptr %89, align 8
store i32 %94, ptr %89, align 16
%95 = getelementptr inbounds nuw i8, ptr %.pn46.i, i64 8
%.032.val41.i = load i32, ptr %.032.i, align 4
%96 = and i32 %.032.val41.i, 31
Expand All @@ -4553,7 +4553,7 @@ Gia_ObjSiblObj.exit: ; preds = %._crit_edge

Mf_CutGetSign.exit.i: ; preds = %.lr.ph.i.i, %.lr.ph.i
%.06.lcssa.i.i = phi i64 [ 0, %.lr.ph.i ], [ %102, %.lr.ph.i.i ]
store i64 %.06.lcssa.i.i, ptr %.03444.i, align 8
store i64 %.06.lcssa.i.i, ptr %.03444.i, align 16
%103 = getelementptr inbounds nuw i8, ptr %.03444.i, i64 20
%.032.val40.i = load i32, ptr %.032.i, align 4
%104 = shl i32 %.032.val40.i, 2
Expand Down Expand Up @@ -4604,7 +4604,7 @@ Mf_ManPrepareCuts.exit: ; preds = %Mf_CutGetSign.exit.
%129 = sext i32 %.1146737 to i64
%130 = getelementptr inbounds [16 x ptr], ptr %21, i64 0, i64 %129
%131 = load ptr, ptr %130, align 8
call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(64) %131, ptr noundef nonnull align 8 dereferenceable(64) %.0147736, i64 64, i1 false)
call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(64) %131, ptr noundef nonnull align 16 dereferenceable(64) %.0147736, i64 64, i1 false)
%132 = getelementptr inbounds nuw i8, ptr %131, i64 16
%133 = load i32, ptr %132, align 8
%.masked = and i32 %133, 134217727
Expand Down Expand Up @@ -4796,10 +4796,10 @@ Gia_ObjFaninC2.exit: ; preds = %Gia_ObjFaninId2.exi
237: ; preds = %Mf_SetAddCut.exit.us.us.us, %.preheader691.us.us.us
%.0143740.us.us.us = phi ptr [ %23, %.preheader691.us.us.us ], [ %1350, %Mf_SetAddCut.exit.us.us.us ]
%.4739.us.us.us = phi i32 [ %.3744.us.us.us, %.preheader691.us.us.us ], [ %.5.us.us.us, %Mf_SetAddCut.exit.us.us.us ]
%238 = load i64, ptr %.0749.us.us, align 8
%239 = load i64, ptr %.0141745.us.us.us, align 8
%238 = load i64, ptr %.0749.us.us, align 16
%239 = load i64, ptr %.0141745.us.us.us, align 16
%240 = or i64 %239, %238
%241 = load i64, ptr %.0143740.us.us.us, align 8
%241 = load i64, ptr %.0143740.us.us.us, align 16
%242 = or i64 %240, %241
%243 = call range(i64 0, 65) i64 @llvm.ctpop.i64(i64 %242)
%244 = trunc nuw nsw i64 %243 to i32
Expand All @@ -4813,12 +4813,12 @@ Gia_ObjFaninC2.exit: ; preds = %Gia_ObjFaninId2.exi
%249 = sext i32 %.4739.us.us.us to i64
%250 = getelementptr inbounds [16 x ptr], ptr %21, i64 0, i64 %249
%251 = load ptr, ptr %250, align 8
%252 = load i32, ptr %233, align 8
%252 = load i32, ptr %233, align 16
%253 = lshr i32 %252, 27
%254 = load i32, ptr %235, align 8
%254 = load i32, ptr %235, align 16
%255 = lshr i32 %254, 27
%256 = getelementptr inbounds nuw i8, ptr %.0143740.us.us.us, i64 16
%257 = load i32, ptr %256, align 8
%257 = load i32, ptr %256, align 16
%258 = lshr i32 %257, 27
%259 = getelementptr inbounds nuw i8, ptr %.0143740.us.us.us, i64 20
%260 = getelementptr inbounds nuw i8, ptr %251, i64 20
Expand Down Expand Up @@ -4892,10 +4892,10 @@ Gia_ObjFaninC2.exit: ; preds = %Gia_ObjFaninId2.exi
%298 = shl i32 %296, 27
%299 = or disjoint i32 %298, 134217727
store i32 %299, ptr %297, align 8
%300 = load i64, ptr %.0749.us.us, align 8
%301 = load i64, ptr %.0141745.us.us.us, align 8
%300 = load i64, ptr %.0749.us.us, align 16
%301 = load i64, ptr %.0141745.us.us.us, align 16
%302 = or i64 %301, %300
%303 = load i64, ptr %.0143740.us.us.us, align 8
%303 = load i64, ptr %.0143740.us.us.us, align 16
%304 = or i64 %302, %303
store i64 %304, ptr %251, align 8
%305 = icmp sgt i32 %.4739.us.us.us, 0
Expand Down Expand Up @@ -5037,7 +5037,7 @@ Mf_SetLastCutIsContained.exit.us.us.us: ; preds = %Mf_SetCutIsContaine
%365 = add nsw i32 %360, -6
%366 = shl nuw i32 1, %365
%367 = load ptr, ptr %220, align 8
%368 = load i32, ptr %233, align 8
%368 = load i32, ptr %233, align 16
%369 = lshr i32 %368, 1
%370 = and i32 %369, 67108863
%371 = getelementptr inbounds nuw i8, ptr %367, i64 24
Expand All @@ -5055,7 +5055,7 @@ Mf_SetLastCutIsContained.exit.us.us.us: ; preds = %Mf_SetCutIsContaine
%383 = mul nsw i32 %382, %379
%384 = sext i32 %383 to i64
%385 = getelementptr inbounds i64, ptr %378, i64 %384
%386 = load i32, ptr %235, align 8
%386 = load i32, ptr %235, align 16
%387 = lshr i32 %386, 1
%388 = and i32 %387, 67108863
%389 = lshr i32 %388, %374
Expand All @@ -5066,7 +5066,7 @@ Mf_SetLastCutIsContained.exit.us.us.us: ; preds = %Mf_SetCutIsContaine
%394 = mul nsw i32 %393, %379
%395 = sext i32 %394 to i64
%396 = getelementptr inbounds i64, ptr %392, i64 %395
%397 = load i32, ptr %256, align 8
%397 = load i32, ptr %256, align 16
%398 = lshr i32 %397, 1
%399 = and i32 %398, 67108863
%400 = lshr i32 %399, %374
Expand Down Expand Up @@ -6168,7 +6168,7 @@ Vec_IntPush.exit.i.us.us.us: ; preds = %Vec_IntGrow.exit.i.
call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %13)
%914 = load i32, ptr %297, align 8
%915 = load ptr, ptr %220, align 8
%916 = load i32, ptr %233, align 8
%916 = load i32, ptr %233, align 16
%917 = lshr i32 %916, 1
%918 = and i32 %917, 67108863
%919 = getelementptr inbounds nuw i8, ptr %915, i64 24
Expand All @@ -6187,7 +6187,7 @@ Vec_IntPush.exit.i.us.us.us: ; preds = %Vec_IntGrow.exit.i.
%932 = sext i32 %931 to i64
%933 = getelementptr inbounds i64, ptr %926, i64 %932
%934 = load i64, ptr %933, align 8
%935 = load i32, ptr %235, align 8
%935 = load i32, ptr %235, align 16
%936 = lshr i32 %935, 1
%937 = and i32 %936, 67108863
%938 = lshr i32 %937, %922
Expand All @@ -6199,7 +6199,7 @@ Vec_IntPush.exit.i.us.us.us: ; preds = %Vec_IntGrow.exit.i.
%944 = sext i32 %943 to i64
%945 = getelementptr inbounds i64, ptr %941, i64 %944
%946 = load i64, ptr %945, align 8
%947 = load i32, ptr %256, align 8
%947 = load i32, ptr %256, align 16
%948 = lshr i32 %947, 1
%949 = and i32 %948, 67108863
%950 = lshr i32 %949, %922
Expand Down Expand Up @@ -7059,18 +7059,18 @@ Gia_ObjIsXor.exit: ; preds = %Gia_ObjIsMuxId.exit
1390: ; preds = %.preheader.us, %Mf_SetAddCut.exit450.us
%.1142761.us = phi ptr [ %19, %.preheader.us ], [ %2303, %Mf_SetAddCut.exit450.us ]
%.8757.us = phi i32 [ %.7765.us, %.preheader.us ], [ %.9.us, %Mf_SetAddCut.exit450.us ]
%1391 = load i32, ptr %1388, align 8
%1391 = load i32, ptr %1388, align 16
%1392 = lshr i32 %1391, 27
%1393 = getelementptr inbounds nuw i8, ptr %.1142761.us, i64 16
%1394 = load i32, ptr %1393, align 8
%1394 = load i32, ptr %1393, align 16
%1395 = lshr i32 %1394, 27
%1396 = add nuw nsw i32 %1395, %1392
%1397 = icmp sgt i32 %1396, %33
br i1 %1397, label %1398, label %1405

1398: ; preds = %1390
%1399 = load i64, ptr %.1766.us, align 8
%1400 = load i64, ptr %.1142761.us, align 8
%1399 = load i64, ptr %.1766.us, align 16
%1400 = load i64, ptr %.1142761.us, align 16
%1401 = or i64 %1400, %1399
%1402 = call range(i64 0, 65) i64 @llvm.ctpop.i64(i64 %1401)
%1403 = trunc nuw nsw i64 %1402 to i32
Expand Down Expand Up @@ -7254,8 +7254,8 @@ Gia_ObjIsXor.exit: ; preds = %Gia_ObjIsMuxId.exit
%1467 = shl i32 %.5.lcssa.sink.i.us.fr, 27
%1468 = or disjoint i32 %1467, 134217727
store i32 %1468, ptr %1466, align 8
%1469 = load i64, ptr %.1766.us, align 8
%1470 = load i64, ptr %.1142761.us, align 8
%1469 = load i64, ptr %.1766.us, align 16
%1470 = load i64, ptr %.1142761.us, align 16
%1471 = or i64 %1470, %1469
store i64 %1471, ptr %1410, align 8
%1472 = icmp sgt i32 %.8757.us, 0
Expand Down Expand Up @@ -7396,7 +7396,7 @@ Mf_SetLastCutIsContained.exit285.us: ; preds = %Mf_SetCutIsContaine
%1532 = add nsw i32 %1527, -6
%1533 = shl nuw i32 1, %1532
%1534 = load ptr, ptr %1376, align 8
%1535 = load i32, ptr %1388, align 8
%1535 = load i32, ptr %1388, align 16
%1536 = lshr i32 %1535, 1
%1537 = and i32 %1536, 67108863
%1538 = getelementptr inbounds nuw i8, ptr %1534, i64 24
Expand All @@ -7414,7 +7414,7 @@ Mf_SetLastCutIsContained.exit285.us: ; preds = %Mf_SetCutIsContaine
%1550 = mul nsw i32 %1549, %1546
%1551 = sext i32 %1550 to i64
%1552 = getelementptr inbounds i64, ptr %1545, i64 %1551
%1553 = load i32, ptr %1393, align 8
%1553 = load i32, ptr %1393, align 16
%1554 = lshr i32 %1553, 1
%1555 = and i32 %1554, 67108863
%1556 = lshr i32 %1555, %1541
Expand Down Expand Up @@ -8223,7 +8223,7 @@ Vec_IntPush.exit.i317.us: ; preds = %Vec_IntGrow.exit.i.
call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %6)
%1914 = load i32, ptr %1466, align 8
%1915 = load ptr, ptr %1376, align 8
%1916 = load i32, ptr %1388, align 8
%1916 = load i32, ptr %1388, align 16
%1917 = lshr i32 %1916, 1
%1918 = and i32 %1917, 67108863
%1919 = getelementptr inbounds nuw i8, ptr %1915, i64 24
Expand All @@ -8242,7 +8242,7 @@ Vec_IntPush.exit.i317.us: ; preds = %Vec_IntGrow.exit.i.
%1932 = sext i32 %1931 to i64
%1933 = getelementptr inbounds i64, ptr %1926, i64 %1932
%1934 = load i64, ptr %1933, align 8
%1935 = load i32, ptr %1393, align 8
%1935 = load i32, ptr %1393, align 16
%1936 = lshr i32 %1935, 1
%1937 = and i32 %1936, 67108863
%1938 = lshr i32 %1937, %1922
Expand Down
42 changes: 21 additions & 21 deletions bench/abc/optimized/giaNf.c.ll
Original file line number Diff line number Diff line change
Expand Up @@ -2616,7 +2616,7 @@ Gia_ObjSiblObj.exit: ; preds = %._crit_edge
%73 = sext i32 %.1156396 to i64
%74 = getelementptr inbounds [32 x ptr], ptr %8, i64 0, i64 %73
%75 = load ptr, ptr %74, align 8
call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(48) %75, ptr noundef nonnull align 8 dereferenceable(48) %.0157395, i64 48, i1 false)
call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(48) %75, ptr noundef nonnull align 16 dereferenceable(48) %.0157395, i64 48, i1 false)
%76 = getelementptr inbounds nuw i8, ptr %75, i64 16
%77 = load i32, ptr %76, align 8
%78 = and i32 %77, 67108863
Expand Down Expand Up @@ -2766,10 +2766,10 @@ Gia_ObjFaninC2.exit: ; preds = %Gia_ObjFaninId2.exi
156: ; preds = %Nf_CutMergeOrderMux.exit.thread.us.us.us, %.preheader377.us.us.us
%.0153399.us.us.us = phi ptr [ %10, %.preheader377.us.us.us ], [ %537, %Nf_CutMergeOrderMux.exit.thread.us.us.us ]
%.4398.us.us.us = phi i32 [ %.3403.us.us.us, %.preheader377.us.us.us ], [ %.5.us.us.us, %Nf_CutMergeOrderMux.exit.thread.us.us.us ]
%157 = load i64, ptr %.0408.us.us, align 8
%158 = load i64, ptr %.0151404.us.us.us, align 8
%157 = load i64, ptr %.0408.us.us, align 16
%158 = load i64, ptr %.0151404.us.us.us, align 16
%159 = or i64 %158, %157
%160 = load i64, ptr %.0153399.us.us.us, align 8
%160 = load i64, ptr %.0153399.us.us.us, align 16
%161 = or i64 %159, %160
%162 = call range(i64 0, 65) i64 @llvm.ctpop.i64(i64 %161)
%163 = trunc nuw nsw i64 %162 to i32
Expand All @@ -2783,12 +2783,12 @@ Gia_ObjFaninC2.exit: ; preds = %Gia_ObjFaninId2.exi
%168 = sext i32 %.4398.us.us.us to i64
%169 = getelementptr inbounds [32 x ptr], ptr %8, i64 0, i64 %168
%170 = load ptr, ptr %169, align 8
%171 = load i32, ptr %152, align 8
%171 = load i32, ptr %152, align 16
%172 = lshr i32 %171, 27
%173 = load i32, ptr %154, align 8
%173 = load i32, ptr %154, align 16
%174 = lshr i32 %173, 27
%175 = getelementptr inbounds nuw i8, ptr %.0153399.us.us.us, i64 16
%176 = load i32, ptr %175, align 8
%176 = load i32, ptr %175, align 16
%177 = lshr i32 %176, 27
%178 = getelementptr inbounds nuw i8, ptr %.0153399.us.us.us, i64 20
%179 = getelementptr inbounds nuw i8, ptr %170, i64 20
Expand Down Expand Up @@ -2866,10 +2866,10 @@ Gia_ObjFaninC2.exit: ; preds = %Gia_ObjFaninId2.exi
%.fr = freeze i32 %220
%221 = or i32 %.fr, 67108863
store i32 %221, ptr %216, align 8
%222 = load i64, ptr %.0408.us.us, align 8
%223 = load i64, ptr %.0151404.us.us.us, align 8
%222 = load i64, ptr %.0408.us.us, align 16
%223 = load i64, ptr %.0151404.us.us.us, align 16
%224 = or i64 %223, %222
%225 = load i64, ptr %.0153399.us.us.us, align 8
%225 = load i64, ptr %.0153399.us.us.us, align 16
%226 = or i64 %224, %225
store i64 %226, ptr %170, align 8
%227 = icmp sgt i32 %.4398.us.us.us, 0
Expand Down Expand Up @@ -2993,7 +2993,7 @@ Nf_SetLastCutIsContained.exit.us.us.us: ; preds = %Nf_SetCutIsContaine
call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %4)
%278 = load i32, ptr %216, align 8
%279 = load ptr, ptr %147, align 8
%280 = load i32, ptr %152, align 8
%280 = load i32, ptr %152, align 16
%281 = lshr i32 %280, 1
%282 = and i32 %281, 33554431
%283 = getelementptr inbounds nuw i8, ptr %279, i64 24
Expand All @@ -3012,7 +3012,7 @@ Nf_SetLastCutIsContained.exit.us.us.us: ; preds = %Nf_SetCutIsContaine
%296 = sext i32 %295 to i64
%297 = getelementptr inbounds i64, ptr %290, i64 %296
%298 = load i64, ptr %297, align 8
%299 = load i32, ptr %154, align 8
%299 = load i32, ptr %154, align 16
%300 = lshr i32 %299, 1
%301 = and i32 %300, 33554431
%302 = lshr i32 %301, %286
Expand All @@ -3024,7 +3024,7 @@ Nf_SetLastCutIsContained.exit.us.us.us: ; preds = %Nf_SetCutIsContaine
%308 = sext i32 %307 to i64
%309 = getelementptr inbounds i64, ptr %305, i64 %308
%310 = load i64, ptr %309, align 8
%311 = load i32, ptr %175, align 8
%311 = load i32, ptr %175, align 16
%312 = lshr i32 %311, 1
%313 = and i32 %312, 33554431
%314 = lshr i32 %313, %286
Expand Down Expand Up @@ -3501,18 +3501,18 @@ Gia_ObjIsXor.exit: ; preds = %Gia_ObjIsMuxId.exit
569: ; preds = %.preheader.us, %Nf_CutMergeOrder.exit.thread.us
%.1152420.us = phi ptr [ %6, %.preheader.us ], [ %912, %Nf_CutMergeOrder.exit.thread.us ]
%.8416.us = phi i32 [ %.7424.us, %.preheader.us ], [ %.9.us, %Nf_CutMergeOrder.exit.thread.us ]
%570 = load i32, ptr %567, align 8
%570 = load i32, ptr %567, align 16
%571 = lshr i32 %570, 27
%572 = getelementptr inbounds nuw i8, ptr %.1152420.us, i64 16
%573 = load i32, ptr %572, align 8
%573 = load i32, ptr %572, align 16
%574 = lshr i32 %573, 27
%575 = add nuw nsw i32 %574, %571
%576 = icmp sgt i32 %575, %27
br i1 %576, label %577, label %584

577: ; preds = %569
%578 = load i64, ptr %.1425.us, align 8
%579 = load i64, ptr %.1152420.us, align 8
%578 = load i64, ptr %.1425.us, align 16
%579 = load i64, ptr %.1152420.us, align 16
%580 = or i64 %579, %578
%581 = call range(i64 0, 65) i64 @llvm.ctpop.i64(i64 %580)
%582 = trunc nuw nsw i64 %581 to i32
Expand Down Expand Up @@ -3699,8 +3699,8 @@ Gia_ObjIsXor.exit: ; preds = %Gia_ObjIsMuxId.exit
%.fr469 = freeze i32 %649
%650 = or i32 %.fr469, 67108863
store i32 %650, ptr %645, align 8
%651 = load i64, ptr %.1425.us, align 8
%652 = load i64, ptr %.1152420.us, align 8
%651 = load i64, ptr %.1425.us, align 16
%652 = load i64, ptr %.1152420.us, align 16
%653 = or i64 %652, %651
store i64 %653, ptr %589, align 8
%654 = icmp sgt i32 %.8416.us, 0
Expand Down Expand Up @@ -3824,7 +3824,7 @@ Nf_SetLastCutIsContained.exit267.us: ; preds = %Nf_SetCutIsContaine
call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %3)
%705 = load i32, ptr %645, align 8
%706 = load ptr, ptr %563, align 8
%707 = load i32, ptr %567, align 8
%707 = load i32, ptr %567, align 16
%708 = lshr i32 %707, 1
%709 = and i32 %708, 33554431
%710 = getelementptr inbounds nuw i8, ptr %706, i64 24
Expand All @@ -3843,7 +3843,7 @@ Nf_SetLastCutIsContained.exit267.us: ; preds = %Nf_SetCutIsContaine
%723 = sext i32 %722 to i64
%724 = getelementptr inbounds i64, ptr %717, i64 %723
%725 = load i64, ptr %724, align 8
%726 = load i32, ptr %572, align 8
%726 = load i32, ptr %572, align 16
%727 = lshr i32 %726, 1
%728 = and i32 %727, 33554431
%729 = lshr i32 %728, %713
Expand Down
Loading