Skip to content

Commit

Permalink
pre-commit: Update
Browse files Browse the repository at this point in the history
  • Loading branch information
@github-actions
github-actions[bot] committed Jan 6, 2024
1 parent 36de06f commit 5d740cc
Show file tree
Hide file tree
Showing 11 changed files with 564 additions and 590 deletions.
560 changes: 274 additions & 286 deletions bench/cpython/optimized/lexer.ll
View file

Large diffs are not rendered by default.

4 changes: 1 addition & 3 deletions bench/cvc5/optimized/quantifiers_rewriter.cpp.ll
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10547,9 +10547,7 @@ land.lhs.true299: ; preds = %invoke.cont294

if.then303: ; preds = %land.lhs.true299, %land.lhs.true299
store i8 1, ptr %childChanged, align 1
%cmp.i.i.i.i.i640 = icmp eq i16 %bf.clear.i634, 1023
%cond.i.i.i.i.i641 = select i1 %cmp.i.i.i.i.i640, i32 -1, i32 %128
%call2.i.i.i646 = invoke noundef i32 @_ZN4cvc58internal4kind10metaKindOfENS1_6Kind_tE(i32 noundef %cond.i.i.i.i.i641)
%call2.i.i.i646 = invoke noundef i32 @_ZN4cvc58internal4kind10metaKindOfENS1_6Kind_tE(i32 noundef %128)
to label %invoke.cont307 unwind label %lpad295.loopexit.split-lp

invoke.cont307: ; preds = %if.then303
Expand Down
4 changes: 1 addition & 3 deletions bench/cvc5/optimized/theory_arith_private.cpp.ll
View file
Original file line number Diff line number Diff line change
Expand Up @@ -31535,8 +31535,6 @@ _ZNSt6vectorIN4cvc58internal12NodeTemplateILb1EEESaIS3_EE9push_backERKS3_.exit:
while.body.lr.ph: ; preds = %_ZNSt6vectorIN4cvc58internal12NodeTemplateILb1EEESaIS3_EE9push_backERKS3_.exit
%_M_finish.i60 = getelementptr inbounds %"struct.std::_Vector_base<cvc5::internal::NodeTemplate<true>, std::allocator<cvc5::internal::NodeTemplate<true>>>::_Vector_impl_data", ptr %out, i64 0, i32 1
%_M_end_of_storage.i61 = getelementptr inbounds %"struct.std::_Vector_base<cvc5::internal::NodeTemplate<true>, std::allocator<cvc5::internal::NodeTemplate<true>>>::_Vector_impl_data", ptr %out, i64 0, i32 2
%cmp.i.i.i.i.i37 = icmp eq i16 %bf.clear.i, 1023
%cond.i.i.i.i.i = select i1 %cmp.i.i.i.i.i37, i32 -1, i32 %bf.cast.i
br label %while.body

while.body: ; preds = %while.body.lr.ph, %_ZN4cvc58internal12NodeTemplateILb1EED2Ev.exit93
Expand Down Expand Up @@ -31608,7 +31606,7 @@ _ZNSt6vectorIN4cvc58internal12NodeTemplateILb1EEESaIS3_EE8pop_backEv.exit: ; pre
br i1 %cmp, label %if.then, label %if.else

if.then: ; preds = %_ZNSt6vectorIN4cvc58internal12NodeTemplateILb1EEESaIS3_EE8pop_backEv.exit
%call2.i.i.i39 = invoke noundef i32 @_ZN4cvc58internal4kind10metaKindOfENS1_6Kind_tE(i32 noundef %cond.i.i.i.i.i)
%call2.i.i.i39 = invoke noundef i32 @_ZN4cvc58internal4kind10metaKindOfENS1_6Kind_tE(i32 noundef %bf.cast.i)
to label %invoke.cont9 unwind label %lpad4.loopexit.split-lp

invoke.cont9: ; preds = %if.then
Expand Down
2 changes: 1 addition & 1 deletion bench/folly/optimized/json_patch.cpp.ll
View file
Original file line number Diff line number Diff line change
Expand Up @@ -772,7 +772,7 @@ if.end187: ; preds = %if.then175

for.cond.i.i492: ; preds = %for.body.i.i487
%inc.i.i493 = add nuw i64 %i.025.i.i488, 1
%exitcond.i.i494 = icmp eq i64 %inc.i.i493, 7
%exitcond.i.i494 = icmp eq i64 %inc.i.i493, %34
br i1 %exitcond.i.i494, label %if.then192, label %for.body.i.i487, !llvm.loop !53

for.body.i.i487: ; preds = %if.end152, %for.cond.i.i492
Expand Down
2 changes: 1 addition & 1 deletion bench/hermes/optimized/JSParserImpl.cpp.ll
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26652,7 +26652,7 @@ if.then54: ; preds = %if.then48

if.end58: ; preds = %if.end25.thread, %land.lhs.true43, %if.then30, %if.end25, %if.end39, %if.then48, %_ZNK6hermes6parser6detail12JSParserImpl5checkEPNS_12UniqueStringE.exit
%retval.sroa.0.0.copyload.i42593 = phi ptr [ %retval.sroa.0.0.copyload.i42, %if.then48 ], [ %retval.sroa.0.0.copyload.i42, %if.end39 ], [ %retval.sroa.0.0.copyload.i42, %_ZNK6hermes6parser6detail12JSParserImpl5checkEPNS_12UniqueStringE.exit ], [ %retval.sroa.0.0.copyload.i42, %if.end25 ], [ %retval.sroa.0.0.copyload.i42, %if.then30 ], [ %retval.sroa.0.0.copyload.i42, %land.lhs.true43 ], [ %retval.sroa.0.0.copyload.i42585, %if.end25.thread ]
%forceAsync.1.shrunk = phi i1 [ %cmp37, %if.then48 ], [ %cmp37, %if.end39 ], [ false, %_ZNK6hermes6parser6detail12JSParserImpl5checkEPNS_12UniqueStringE.exit ], [ false, %if.end25 ], [ false, %if.then30 ], [ %cmp37, %land.lhs.true43 ], [ false, %if.end25.thread ]
%forceAsync.1.shrunk = phi i1 [ false, %if.then48 ], [ %cmp37, %if.end39 ], [ false, %_ZNK6hermes6parser6detail12JSParserImpl5checkEPNS_12UniqueStringE.exit ], [ false, %if.end25 ], [ false, %if.then30 ], [ %cmp37, %land.lhs.true43 ], [ false, %if.end25.thread ]
%25 = load ptr, ptr %0, align 8
%parseFlow_.i54 = getelementptr inbounds %"class.hermes::Context", ptr %25, i64 0, i32 17
%26 = load i32, ptr %parseFlow_.i54, align 4
Expand Down
101 changes: 45 additions & 56 deletions bench/hermes/optimized/RegexParser.cpp.ll
View file

Large diffs are not rendered by default.

8 changes: 3 additions & 5 deletions bench/icu/optimized/genmbcs.ll
View file
Original file line number Diff line number Diff line change
Expand Up @@ -446,8 +446,7 @@ if.then54: ; preds = %sw.bb46

lor.lhs.false7.i: ; preds = %sw.bb46
%cmp11.i = icmp sgt i8 %28, 1
%or.cond1.i = and i1 %cmp31, %cmp11.i
br i1 %or.cond1.i, label %land.lhs.true12.i, label %if.end.i98
br i1 %cmp11.i, label %land.lhs.true12.i, label %if.end.i98

land.lhs.true12.i: ; preds = %lor.lhs.false7.i
%29 = load i8, ptr %b, align 1
Expand All @@ -456,9 +455,8 @@ land.lhs.true12.i: ; preds = %lor.lhs.false7.i

if.end.i98: ; preds = %land.lhs.true12.i, %lor.lhs.false7.i
%30 = load i8, ptr %utf8Friendly7, align 2
%tobool.i = icmp ne i8 %30, 0
%or.cond2.i = and i1 %cmp31, %tobool.i
br i1 %or.cond2.i, label %land.lhs.true19.i, label %MBCSOkForBaseFromUnicode.exit
%tobool.i.not = icmp eq i8 %30, 0
br i1 %tobool.i.not, label %MBCSOkForBaseFromUnicode.exit, label %land.lhs.true19.i

land.lhs.true19.i: ; preds = %if.end.i98
%31 = load i16, ptr %utf8Max33, align 8
Expand Down
26 changes: 13 additions & 13 deletions bench/icu/optimized/uloc_tag.ll
View file
Original file line number Diff line number Diff line change
Expand Up @@ -645,7 +645,7 @@ do.end: ; preds = %entry, %do.body, %i
declare void @uprv_free_75(ptr noundef) local_unnamed_addr #5

; Function Attrs: mustprogress uwtable
define signext i8 @ultag_isLanguageSubtag_75(ptr nocapture noundef readonly %s, i32 noundef %len) local_unnamed_addr #1 {
define noundef signext i8 @ultag_isLanguageSubtag_75(ptr nocapture noundef readonly %s, i32 noundef %len) local_unnamed_addr #1 {
entry:
%cmp = icmp slt i32 %len, 0
br i1 %cmp, label %if.then, label %if.end
Expand Down Expand Up @@ -687,7 +687,7 @@ return: ; preds = %for.body.i, %for.co
declare i64 @strlen(ptr nocapture noundef) local_unnamed_addr #6

; Function Attrs: mustprogress uwtable
define signext i8 @ultag_isScriptSubtag_75(ptr nocapture noundef readonly %s, i32 noundef %len) local_unnamed_addr #1 {
define noundef signext i8 @ultag_isScriptSubtag_75(ptr nocapture noundef readonly %s, i32 noundef %len) local_unnamed_addr #1 {
entry:
%cmp = icmp slt i32 %len, 0
br i1 %cmp, label %if.then, label %if.end
Expand Down Expand Up @@ -721,7 +721,7 @@ return: ; preds = %for.body.i, %for.co
}

; Function Attrs: mustprogress uwtable
define signext i8 @ultag_isRegionSubtag_75(ptr nocapture noundef readonly %s, i32 noundef %len) local_unnamed_addr #1 {
define noundef signext i8 @ultag_isRegionSubtag_75(ptr nocapture noundef readonly %s, i32 noundef %len) local_unnamed_addr #1 {
entry:
%cmp = icmp slt i32 %len, 0
br i1 %cmp, label %if.then, label %if.end
Expand Down Expand Up @@ -765,12 +765,12 @@ for.body.i7: ; preds = %if.end, %for.cond.i
br i1 %or.cond.i, label %for.cond.i11, label %return

return: ; preds = %for.body.i7, %for.cond.i11, %for.cond.i, %for.body.i, %if.end
%retval.0 = phi i8 [ 0, %if.end ], [ 0, %for.body.i ], [ 1, %for.cond.i ], [ 0, %for.body.i7 ], [ 1, %for.cond.i11 ]
%retval.0 = phi i8 [ 0, %if.end ], [ 1, %for.cond.i ], [ 0, %for.body.i ], [ 0, %for.body.i7 ], [ 1, %for.cond.i11 ]
ret i8 %retval.0
}

; Function Attrs: mustprogress uwtable
define signext i8 @ultag_isVariantSubtags_75(ptr noundef %s, i32 noundef %len) local_unnamed_addr #1 {
define noundef signext i8 @ultag_isVariantSubtags_75(ptr noundef %s, i32 noundef %len) local_unnamed_addr #1 {
entry:
%cmp.i = icmp slt i32 %len, 0
br i1 %cmp.i, label %if.then.i, label %if.end.i
Expand Down Expand Up @@ -973,7 +973,7 @@ _ZL12_isSepListOfPFaPKciES0_i.exit: ; preds = %if.end3.i11, %land.
}

; Function Attrs: mustprogress uwtable
define signext i8 @ultag_isExtensionSubtags_75(ptr noundef %s, i32 noundef %len) local_unnamed_addr #1 {
define noundef signext i8 @ultag_isExtensionSubtags_75(ptr noundef %s, i32 noundef %len) local_unnamed_addr #1 {
entry:
%cmp.i = icmp slt i32 %len, 0
br i1 %cmp.i, label %if.then.i, label %if.end.i
Expand Down Expand Up @@ -1111,7 +1111,7 @@ _ZL12_isSepListOfPFaPKciES0_i.exit: ; preds = %if.end19.i.thread,
}

; Function Attrs: mustprogress uwtable
define signext i8 @ultag_isPrivateuseValueSubtags_75(ptr noundef %s, i32 noundef %len) local_unnamed_addr #1 {
define noundef signext i8 @ultag_isPrivateuseValueSubtags_75(ptr noundef %s, i32 noundef %len) local_unnamed_addr #1 {
entry:
%cmp.i = icmp slt i32 %len, 0
br i1 %cmp.i, label %if.then.i, label %if.end.i
Expand Down Expand Up @@ -1249,7 +1249,7 @@ _ZL12_isSepListOfPFaPKciES0_i.exit: ; preds = %if.end19.i.thread,
}

; Function Attrs: mustprogress uwtable
define signext i8 @ultag_isUnicodeLocaleAttribute_75(ptr nocapture noundef readonly %s, i32 noundef %len) local_unnamed_addr #1 {
define noundef signext i8 @ultag_isUnicodeLocaleAttribute_75(ptr nocapture noundef readonly %s, i32 noundef %len) local_unnamed_addr #1 {
entry:
%cmp.i = icmp slt i32 %len, 0
br i1 %cmp.i, label %if.then.i, label %if.end.i
Expand Down Expand Up @@ -1294,7 +1294,7 @@ _ZL34_isAlphaNumericStringLimitedLengthPKciii.exit: ; preds = %land.lhs.true.i.i
}

; Function Attrs: mustprogress uwtable
define signext i8 @ultag_isUnicodeLocaleAttributes_75(ptr noundef %s, i32 noundef %len) local_unnamed_addr #1 {
define noundef signext i8 @ultag_isUnicodeLocaleAttributes_75(ptr noundef %s, i32 noundef %len) local_unnamed_addr #1 {
entry:
%cmp.i = icmp slt i32 %len, 0
br i1 %cmp.i, label %if.then.i, label %if.end.i
Expand Down Expand Up @@ -1432,7 +1432,7 @@ _ZL12_isSepListOfPFaPKciES0_i.exit: ; preds = %if.end19.i.thread,
}

; Function Attrs: mustprogress uwtable
define signext i8 @ultag_isUnicodeLocaleKey_75(ptr nocapture noundef readonly %s, i32 noundef %len) local_unnamed_addr #1 {
define noundef signext i8 @ultag_isUnicodeLocaleKey_75(ptr nocapture noundef readonly %s, i32 noundef %len) local_unnamed_addr #1 {
entry:
%cmp = icmp slt i32 %len, 0
br i1 %cmp, label %if.then, label %if.end
Expand Down Expand Up @@ -1477,7 +1477,7 @@ return: ; preds = %land.lhs.true8, %if
declare signext i8 @uprv_isASCIILetter_75(i8 noundef signext) local_unnamed_addr #5

; Function Attrs: mustprogress uwtable
define signext i8 @_isUnicodeLocaleTypeSubtag_75(ptr nocapture noundef readonly %s, i32 noundef %len) local_unnamed_addr #1 {
define noundef signext i8 @_isUnicodeLocaleTypeSubtag_75(ptr nocapture noundef readonly %s, i32 noundef %len) local_unnamed_addr #1 {
entry:
%cmp.i = icmp slt i32 %len, 0
br i1 %cmp.i, label %if.then.i, label %if.end.i
Expand Down Expand Up @@ -1522,7 +1522,7 @@ _ZL34_isAlphaNumericStringLimitedLengthPKciii.exit: ; preds = %land.lhs.true.i.i
}

; Function Attrs: mustprogress uwtable
define signext i8 @ultag_isUnicodeLocaleType_75(ptr noundef %s, i32 noundef %len) local_unnamed_addr #1 {
define noundef signext i8 @ultag_isUnicodeLocaleType_75(ptr noundef %s, i32 noundef %len) local_unnamed_addr #1 {
entry:
%cmp.i = icmp slt i32 %len, 0
br i1 %cmp.i, label %if.then.i, label %if.end.i
Expand Down Expand Up @@ -1660,7 +1660,7 @@ _ZL12_isSepListOfPFaPKciES0_i.exit: ; preds = %if.end19.i.thread,
}

; Function Attrs: mustprogress uwtable
define ptr @ultag_getTKeyStart_75(ptr noundef %localeID) local_unnamed_addr #1 {
define noundef ptr @ultag_getTKeyStart_75(ptr noundef %localeID) local_unnamed_addr #1 {
entry:
%call27 = tail call noundef ptr @strchr(ptr noundef nonnull dereferenceable(1) %localeID, i32 noundef 45) #16
%cmp.not28 = icmp eq ptr %call27, null
Expand Down
Loading

0 comments on commit 5d740cc

Please sign in to comment.