Skip to content

pre-commit: PR131869 #2217

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

Open
wants to merge 3 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
82 changes: 39 additions & 43 deletions bench/c3c/optimized/sema_expr.ll
Original file line number Diff line number Diff line change
Expand Up @@ -11581,7 +11581,6 @@ type_flatten.exit: ; preds = %29
.critedge: ; preds = %54, %62
%66 = load i32, ptr %4, align 4
%67 = add i32 %66, 1
store i32 %67, ptr %4, align 4
%68 = getelementptr inbounds nuw i8, ptr %0, i64 200
%69 = load ptr, ptr %68, align 8
%.not214 = icmp eq ptr %69, null
Expand Down Expand Up @@ -11784,7 +11783,6 @@ type_flatten.exit: ; preds = %29
.critedge6: ; preds = %155, %163
%167 = load i32, ptr %5, align 4
%168 = add i32 %167, 1
store i32 %168, ptr %5, align 4
%169 = getelementptr inbounds nuw i8, ptr %0, i64 200
%170 = load ptr, ptr %169, align 8
%.not207 = icmp eq ptr %170, null
Expand Down Expand Up @@ -19656,14 +19654,13 @@ type_flatten.exit: ; preds = %120
%328 = sdiv exact i64 %327, 56
%329 = trunc i64 %328 to i32
store i32 %329, ptr %80, align 8
%330 = load ptr, ptr %4, align 8
%331 = load ptr, ptr @decl_arena, align 8
%330 = load ptr, ptr @decl_arena, align 8
%331 = ptrtoint ptr %236 to i64
%332 = ptrtoint ptr %330 to i64
%333 = ptrtoint ptr %331 to i64
%334 = sub i64 %332, %333
%335 = sdiv exact i64 %334, 136
%336 = trunc i64 %335 to i32
store i32 %336, ptr %79, align 4
%333 = sub i64 %331, %332
%334 = sdiv exact i64 %333, 136
%335 = trunc i64 %334 to i32
store i32 %335, ptr %79, align 4
br label %sema_analyse_expr_lvalue_fold_const.exit

.split267: ; preds = %314
Expand All @@ -19674,8 +19671,7 @@ type_flatten.exit: ; preds = %120
%341 = zext i32 %340 to i64
%342 = getelementptr inbounds nuw ptr, ptr %337, i64 %341
store ptr %84, ptr %342, align 8
%343 = load ptr, ptr %4, align 8
%344 = tail call zeroext i1 @sema_insert_method_call(ptr noundef %0, ptr noundef %1, ptr noundef %343, ptr noundef %234, ptr noundef nonnull %337)
%342 = tail call zeroext i1 @sema_insert_method_call(ptr noundef %0, ptr noundef %1, ptr noundef nonnull %236, ptr noundef %234, ptr noundef nonnull %336)
br label %sema_analyse_expr_lvalue_fold_const.exit

345: ; preds = %253
Expand All @@ -19685,30 +19681,30 @@ type_flatten.exit: ; preds = %120
347: ; preds = %345
store i8 0, ptr %6, align 1
%348 = call fastcc zeroext i1 @sema_slice_index_is_in_range(ptr noundef nonnull %122, ptr noundef nonnull %84, i1 noundef zeroext false, i1 noundef zeroext %135, ptr noundef %6)
br i1 %348, label %349, label %sema_analyse_expr_lvalue_fold_const.exit
br i1 %348, label %347, label %sema_analyse_expr_lvalue_fold_const.exit

349: ; preds = %347
%350 = load i8, ptr %6, align 1
%351 = trunc i8 %350 to i1
br i1 %351, label %352, label %355
355: ; preds = %345
%348 = load i8, ptr %6, align 1
%349 = trunc i8 %348 to i1
br i1 %349, label %350, label %353

352: ; preds = %349
%353 = load i8, ptr %79, align 4
%354 = and i8 %353, -2
store i8 %354, ptr %79, align 4
br label %355
350: ; preds = %347
%351 = load i8, ptr %79, align 4
%352 = and i8 %351, -2
store i8 %352, ptr %79, align 4
br label %353

355: ; preds = %352, %349
%.0264 = phi i8 [ 0, %352 ], [ %134, %349 ]
353: ; preds = %350, %347
%.0264 = phi i8 [ 0, %350 ], [ %134, %347 ]
%.0264.fr = freeze i8 %.0264
%356 = icmp eq i32 %spec.select, 1
br i1 %356, label %357, label %359

357: ; preds = %355
357: ; preds = %353
%358 = tail call ptr @type_get_ptr(ptr noundef nonnull %235) #12
br label %.critedge7

359: ; preds = %355
359: ; preds = %353
tail call fastcc void @sema_expr_flatten_const(ptr noundef nonnull %84)
%360 = load i16, ptr %85, align 8
%361 = and i16 %360, 255
Expand All @@ -19733,28 +19729,28 @@ type_flatten.exit: ; preds = %120
373: ; preds = %368
%.off = add nsw i16 %371, -5
%switch = icmp ult i16 %.off, 2
br i1 %switch, label %374, label %.critedge7
br i1 %switch, label %372, label %.critedge7

372: ; preds = %371
%373 = getelementptr inbounds nuw i8, ptr %84, i64 32
%374 = tail call zeroext i1 @int_fits(ptr noundef nonnull byval(%struct.Int) align 8 %373, i32 noundef 10) #12
br i1 %374, label %381, label %377

374: ; preds = %373
374: ; preds = %366
%375 = getelementptr inbounds nuw i8, ptr %84, i64 32
%376 = tail call zeroext i1 @int_fits(ptr noundef nonnull byval(%struct.Int) align 8 %375, i32 noundef 10) #12
br i1 %376, label %383, label %379

.thread: ; preds = %368
%377 = getelementptr inbounds nuw i8, ptr %84, i64 32
%378 = tail call zeroext i1 @int_fits(ptr noundef nonnull byval(%struct.Int) align 8 %377, i32 noundef 10) #12
br i1 %378, label %430, label %379
br i1 %376, label %428, label %377

379: ; preds = %.thread, %374
br i1 %7, label %450, label %380
.thread: ; preds = %374, %372
br i1 %7, label %448, label %378

380: ; preds = %379
%381 = getelementptr inbounds nuw i8, ptr %84, i64 8
%382 = load i64, ptr %381, align 8
tail call void (i64, ptr, ...) @sema_error_at(i64 %382, ptr noundef nonnull @.str.292) #12
379: ; preds = %.thread
%379 = getelementptr inbounds nuw i8, ptr %84, i64 8
%380 = load i64, ptr %379, align 8
tail call void (i64, ptr, ...) @sema_error_at(i64 %380, ptr noundef nonnull @.str.292) #12
br label %sema_analyse_expr_lvalue_fold_const.exit

383: ; preds = %374
383: ; preds = %372
%384 = getelementptr inbounds nuw i8, ptr %84, i64 40
%385 = load i64, ptr %384, align 8
%386 = trunc i64 %385 to i32
Expand Down Expand Up @@ -19872,16 +19868,16 @@ type_flatten.exit: ; preds = %120
store ptr %.0254, ptr %1, align 8
br label %sema_analyse_expr_lvalue_fold_const.exit

450: ; preds = %.thread354, %379, %258, %247, %197, %190, %183, %137
450: ; preds = %.thread354, %377, %258, %247, %197, %190, %183, %137
%451 = getelementptr inbounds nuw i8, ptr %1, i64 16
%452 = load i16, ptr %451, align 8
%453 = and i16 %452, -4096
%454 = or disjoint i16 %453, 512
store i16 %454, ptr %451, align 8
br label %sema_analyse_expr_lvalue_fold_const.exit

sema_analyse_expr_lvalue_fold_const.exit: ; preds = %94, %99, %59, %64, %22, %27, %sema_analyse_expr_lvalue.exit328, %sema_analyse_expr_lvalue.exit326, %sema_analyse_expr.exit.i, %45, %sema_analyse_expr_lvalue.exit, %430, %347, %345, %.split267, %310, %307, %304, %302, %296, %293, %264, %231, %201, %204, %sema_analyse_expr.exit, %76, %450, %449, %.thread316, %400, %380, %315, %259, %248, %242, %225, %220, %215, %191, %184, %138
%.0261 = phi i1 [ true, %450 ], [ false, %138 ], [ false, %184 ], [ false, %191 ], [ false, %215 ], [ false, %220 ], [ true, %225 ], [ true, %315 ], [ false, %259 ], [ true, %449 ], [ false, %400 ], [ true, %.thread316 ], [ false, %380 ], [ false, %242 ], [ false, %248 ], [ false, %76 ], [ false, %sema_analyse_expr.exit ], [ false, %204 ], [ false, %201 ], [ false, %231 ], [ false, %264 ], [ false, %293 ], [ false, %296 ], [ false, %302 ], [ false, %304 ], [ false, %307 ], [ false, %310 ], [ %344, %.split267 ], [ false, %345 ], [ false, %347 ], [ true, %430 ], [ false, %sema_analyse_expr_lvalue.exit ], [ false, %45 ], [ false, %sema_analyse_expr.exit.i ], [ false, %sema_analyse_expr_lvalue.exit326 ], [ false, %sema_analyse_expr_lvalue.exit328 ], [ false, %27 ], [ false, %22 ], [ false, %64 ], [ false, %59 ], [ false, %99 ], [ false, %94 ]
sema_analyse_expr_lvalue_fold_const.exit: ; preds = %94, %99, %59, %64, %22, %27, %sema_analyse_expr_lvalue.exit328, %sema_analyse_expr_lvalue.exit326, %sema_analyse_expr.exit.i, %45, %sema_analyse_expr_lvalue.exit, %430, %347, %345, %.split267, %310, %307, %304, %302, %296, %293, %264, %231, %201, %204, %sema_analyse_expr.exit, %76, %450, %449, %.thread316, %398, %379, %315, %259, %248, %242, %225, %220, %215, %191, %184, %138
%.0261 = phi i1 [ true, %450 ], [ false, %138 ], [ false, %184 ], [ false, %191 ], [ false, %215 ], [ false, %220 ], [ true, %225 ], [ true, %315 ], [ false, %259 ], [ true, %449 ], [ false, %400 ], [ true, %.thread316 ], [ false, %378 ], [ false, %242 ], [ false, %248 ], [ false, %76 ], [ false, %sema_analyse_expr.exit ], [ false, %204 ], [ false, %201 ], [ false, %231 ], [ false, %264 ], [ false, %293 ], [ false, %296 ], [ false, %302 ], [ false, %304 ], [ false, %307 ], [ false, %310 ], [ %342, %.split267 ], [ false, %345 ], [ false, %347 ], [ true, %430 ], [ false, %sema_analyse_expr_lvalue.exit ], [ false, %45 ], [ false, %sema_analyse_expr.exit.i ], [ false, %sema_analyse_expr_lvalue.exit326 ], [ false, %sema_analyse_expr_lvalue.exit328 ], [ false, %27 ], [ false, %22 ], [ false, %64 ], [ false, %59 ], [ false, %99 ], [ false, %94 ]
ret i1 %.0261
}

Expand Down
48 changes: 23 additions & 25 deletions bench/libjpeg-turbo/optimized/tjbench.ll
Original file line number Diff line number Diff line change
Expand Up @@ -3556,7 +3556,7 @@ define internal fastcc void @decompTest(ptr noundef %0) unnamed_addr #0 {
br label %573

573: ; preds = %480, %569, %524
br i1 %or.cond5, label %574, label %744
br i1 %or.cond5, label %574, label %742

574: ; preds = %573
%575 = mul nsw i64 %444, 40
Expand Down Expand Up @@ -3773,10 +3773,8 @@ switch.early.test: ; preds = %587
.preheader1006: ; preds = %._crit_edge.us, %604
%661 = mul i32 %610, %607
%662 = icmp slt i32 %661, 1
%663 = load ptr, ptr %2, align 8
%664 = load i64, ptr %3, align 8
%665 = zext i32 %661 to i64
%666 = shl nuw nsw i64 %665, 3
%663 = zext i32 %661 to i64
%664 = shl nuw nsw i64 %663, 3
br label %.outer

.split.us: ; preds = %636
Expand Down Expand Up @@ -3813,11 +3811,11 @@ switch.early.test: ; preds = %587
br i1 %brmerge1096, label %.loopexit, label %.lr.ph.preheader

.lr.ph.preheader: ; preds = %675
call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 8 %calloc, ptr align 8 %.2, i64 %666, i1 false), !tbaa !35
call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 8 %calloc, ptr align 8 %.2, i64 %664, i1 false), !tbaa !35
br label %.loopexit

.loopexit: ; preds = %.lr.ph.preheader, %675, %673
%682 = call i32 @tj3Transform(ptr noundef %63, ptr noundef %663, i64 noundef %664, i32 noundef %661, ptr noundef nonnull %calloc1196, ptr noundef nonnull %calloc, ptr noundef nonnull %577) #23
%682 = call i32 @tj3Transform(ptr noundef %63, ptr noundef nonnull %35, i64 noundef %27, i32 noundef %661, ptr noundef nonnull %calloc1196, ptr noundef nonnull %calloc, ptr noundef nonnull %577) #23
%683 = icmp eq i32 %682, -1
br i1 %683, label %684, label %.thread952

Expand Down Expand Up @@ -3895,7 +3893,7 @@ switch.early.test: ; preds = %587
%715 = load i64, ptr %714, align 8, !tbaa !35
%716 = add i64 %715, %.06221087
%indvars.iv.next1161 = add nuw nsw i64 %indvars.iv1160, 1
%exitcond1163.not = icmp eq i64 %indvars.iv.next1161, %665
%exitcond1163.not = icmp eq i64 %indvars.iv.next1161, %663
br i1 %exitcond1163.not, label %._crit_edge, label %.lr.ph1088, !llvm.loop !47

._crit_edge: ; preds = %.lr.ph1088, %712
Expand Down Expand Up @@ -3932,29 +3930,29 @@ switch.early.test: ; preds = %587
%741 = fdiv double %740, 1.000000e+06
%742 = fdiv double %741, %703
%743 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.276, double noundef %742)
br label %751
br label %749

744: ; preds = %573
%745 = load i32, ptr @quiet, align 4, !tbaa !4
%746 = icmp eq i32 %745, 1
br i1 %746, label %747, label %749
749: ; preds = %573
%750 = load i32, ptr @quiet, align 4, !tbaa !4
%744 = icmp eq i32 %750, 1
br i1 %744, label %745, label %747

747: ; preds = %744
%748 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.277)
br label %749
745: ; preds = %742
%746 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.277)
br label %747

749: ; preds = %747, %744
%750 = load ptr, ptr %calloc1196, align 8, !tbaa !10
call void @tj3Free(ptr noundef %750) #23
747: ; preds = %745, %742
%748 = load ptr, ptr %calloc1196, align 8, !tbaa !10
call void @tj3Free(ptr noundef %748) #23
store ptr null, ptr %calloc1196, align 8, !tbaa !10
br label %751

751: ; preds = %718, %731, %749
%.1662 = phi i32 [ %.0661, %718 ], [ %.0661, %731 ], [ %.1649, %749 ]
%.1659 = phi i32 [ %.0658, %718 ], [ %.0658, %731 ], [ %spec.select, %749 ]
%.2657 = phi i32 [ %.1656, %718 ], [ %.1656, %731 ], [ %289, %749 ]
%.2654 = phi i32 [ %.1653, %718 ], [ %.1653, %731 ], [ %288, %749 ]
%.1643 = phi i32 [ %.0642, %718 ], [ %.0642, %731 ], [ 1, %749 ]
751: ; preds = %718, %731, %747
%.1662 = phi i32 [ %.0661, %718 ], [ %.0661, %731 ], [ %.1649, %747 ]
%.1659 = phi i32 [ %.0658, %718 ], [ %.0658, %731 ], [ %spec.select, %747 ]
%.2657 = phi i32 [ %.1656, %718 ], [ %.1656, %731 ], [ %289, %747 ]
%.2654 = phi i32 [ %.1653, %718 ], [ %.1653, %731 ], [ %288, %747 ]
%.1643 = phi i32 [ %.0642, %718 ], [ %.0642, %731 ], [ 1, %747 ]
%.not1003 = icmp sgt i32 %288, %.0646
%.not1004 = icmp sgt i32 %289, %.0648
%752 = load i32, ptr @xformOpt, align 4, !tbaa !4
Expand Down
5 changes: 2 additions & 3 deletions bench/linux/optimized/indirect.ll
Original file line number Diff line number Diff line change
Expand Up @@ -330,8 +330,8 @@ define dso_local i32 @ext4_ind_map_blocks(ptr noundef %0, ptr noundef %1, ptr no
br label %.loopexit

180: ; preds = %169
%181 = getelementptr inbounds nuw i8, ptr %7, i64 8
call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(48) %181, i8 0, i64 48, i1 false)
%181 = getelementptr inbounds nuw i8, ptr %7, i64 16
call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(40) %181, i8 0, i64 40, i1 false)
store ptr %1, ptr %7, align 8
%182 = load i32, ptr %11, align 8
%183 = getelementptr inbounds nuw i8, ptr %7, i64 12
Expand Down Expand Up @@ -693,7 +693,6 @@ define dso_local i32 @ext4_ind_map_blocks(ptr noundef %0, ptr noundef %1, ptr no
.thread34: ; preds = %376, %267
call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %6) #12
call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %5) #12
store i32 0, ptr %8, align 4
br label %410

.loopexit38: ; preds = %395, %390
Expand Down
8 changes: 3 additions & 5 deletions bench/llvm/optimized/GVNSink.ll
Original file line number Diff line number Diff line change
Expand Up @@ -3537,15 +3537,13 @@ _ZN4llvm19SmallPtrSetImplBase5clearEv.exit.i: ; preds = %1147, %1142
call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %24) #23, !noalias !204
%.val4.i.i170.i = load i32, ptr %546, align 8, !tbaa !201, !noalias !204
%1148 = icmp eq i32 %.val4.i.i170.i, 0
%.val5.i.i171.i = load ptr, ptr %39, align 8, !tbaa !226, !noalias !204
%.val6.i.i172.i = load i32, ptr %555, align 8, !tbaa !227, !noalias !204
%1149 = zext i32 %.val6.i.i172.i to i64
%1150 = getelementptr inbounds nuw %"class.llvm::detail::DenseSetPair.146", ptr %.val5.i.i171.i, i64 %1149
%1149 = zext i32 %.val7.i.i.i to i64
%1150 = getelementptr inbounds nuw %"class.llvm::detail::DenseSetPair.146", ptr %.val.i.i.i, i64 %1149
br i1 %1148, label %._crit_edge350.i, label %_ZN4llvm6detail12DenseSetImplIN12_GLOBAL__N_111ModelledPHIENS_8DenseMapIS3_NS0_13DenseSetEmptyENS2_12DenseMapInfoIS3_EENS0_12DenseSetPairIS3_EEEES7_E5beginEv.exit179.i

_ZN4llvm6detail12DenseSetImplIN12_GLOBAL__N_111ModelledPHIENS_8DenseMapIS3_NS0_13DenseSetEmptyENS2_12DenseMapInfoIS3_EENS0_12DenseSetPairIS3_EEEES7_E5beginEv.exit179.i: ; preds = %_ZN4llvm19SmallPtrSetImplBase5clearEv.exit.i
call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %8), !noalias !204
store ptr %.val5.i.i171.i, ptr %8, align 8, !tbaa !228, !noalias !204
store ptr %.val.i.i.i, ptr %8, align 8, !tbaa !228, !noalias !204
store ptr %1150, ptr %590, align 8, !tbaa !230, !noalias !204
call fastcc void @_ZN4llvm16DenseMapIteratorIN12_GLOBAL__N_111ModelledPHIENS_6detail13DenseSetEmptyENS1_12DenseMapInfoIS2_EENS3_12DenseSetPairIS2_EELb0EE23AdvancePastEmptyBucketsEv(ptr noundef nonnull align 8 dereferenceable(16) %8), !noalias !204
%.fca.0.load.pre.i.i.i173.i = load ptr, ptr %8, align 8, !noalias !204
Expand Down
4 changes: 2 additions & 2 deletions bench/llvm/optimized/LowerTypeTests.ll
Original file line number Diff line number Diff line change
Expand Up @@ -5317,7 +5317,7 @@ _ZNK4llvm6detail12DenseSetImplImNS_8DenseMapImNS0_13DenseSetEmptyENS_12DenseMapI
%715 = getelementptr inbounds nuw %"struct.std::pair.665", ptr %.val.i.i.i, i64 %714
call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(32) %715, ptr noundef nonnull readonly align 8 dereferenceable(32) %37, i64 16, i1 false), !tbaa.struct !543
%716 = getelementptr inbounds nuw i8, ptr %715, i64 16
call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(16) %716, ptr noundef nonnull align 8 dereferenceable(16) %372, i64 16, i1 false), !tbaa.struct !544
call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(16) %716, ptr noundef nonnull readonly align 8 dereferenceable(16) %372, i64 16, i1 false), !tbaa.struct !544
%717 = load i32, ptr %356, align 8, !tbaa !26
%718 = add i32 %717, 1
store i32 %718, ptr %356, align 8, !tbaa !26
Expand Down Expand Up @@ -35193,7 +35193,7 @@ define internal fastcc void @_ZN4llvm23SmallVectorTemplateBaseISt4pairINS_9Strin
%4 = inttoptr i64 %.0.val1 to ptr
call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(32) %2, ptr noundef nonnull readonly align 8 dereferenceable(16) %3, i64 16, i1 false), !tbaa.struct !543
%5 = getelementptr inbounds nuw i8, ptr %2, i64 16
call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(16) %5, ptr noundef nonnull align 8 dereferenceable(16) %4, i64 16, i1 false), !tbaa.struct !544
call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(16) %5, ptr noundef nonnull readonly align 8 dereferenceable(16) %4, i64 16, i1 false), !tbaa.struct !544
%6 = getelementptr inbounds nuw i8, ptr %0, i64 8
%7 = load i32, ptr %6, align 8, !tbaa !26
%8 = zext i32 %7 to i64
Expand Down
Loading