pre-commit: Update

dtcxzyw · Dec 19, 2023 · a71358f · a71358f
1 parent b44f8ae
commit a71358f
Show file tree

Hide file tree

Showing 8 changed files with 476 additions and 488 deletions.
diff --git a/bench/arrow/optimized/string-to-double.cc.ll b/bench/arrow/optimized/string-to-double.cc.ll
diff --git a/bench/double_conversion/optimized/string-to-double.cc.ll b/bench/double_conversion/optimized/string-to-double.cc.ll
diff --git a/bench/flac/optimized/decode.c.ll b/bench/flac/optimized/decode.c.ll
@@ -3002,7 +3002,6 @@ if.end140:                                        ; preds = %if.end73, %if.end12
   br i1 %or.cond7, label %if.then149, label %if.else342
 
 if.then149:                                       ; preds = %if.end140
-  %cmp147 = icmp eq i32 %0, 3
   switch i32 %0, label %return [
     i32 1, label %sw.bb
     i32 2, label %sw.bb164
@@ -3030,7 +3029,6 @@ if.end158:                                        ; preds = %if.end153
 
 sw.bb164:                                         ; preds = %if.then149.thread, %if.then149
   %iff_size.0237249256 = phi i64 [ %add107, %if.then149.thread ], [ %iff_size.0237, %if.then149 ]
-  %cmp147250255 = phi i1 [ false, %if.then149.thread ], [ %cmp147, %if.then149 ]
   %call165 = tail call i64 @fwrite(ptr noundef nonnull @.str.80, i64 noundef 1, i64 noundef 16, ptr noundef %f)
   %cmp166.not = icmp eq i64 %call165, 16
   br i1 %cmp166.not, label %if.end169, label %return
@@ -3112,7 +3110,7 @@ if.end217:                                        ; preds = %if.end213
   br i1 %cmp.i209.not, label %if.end222, label %return
 
 if.end222:                                        ; preds = %if.end158, %if.end173, %if.end217
-  %cmp147250253 = phi i1 [ true, %if.end217 ], [ false, %if.end158 ], [ %cmp147250255, %if.end173 ]
+  %cmp147250253 = phi i1 [ true, %if.end217 ], [ false, %if.end158 ], [ false, %if.end173 ]
   %call223 = tail call i64 @ftello64(ptr noundef %f)
   %fm_offset1 = getelementptr inbounds %struct.DecoderSession, ptr %decoder_session, i64 0, i32 40
   store i64 %call223, ptr %fm_offset1, align 8

diff --git a/bench/grpc/optimized/google_c2p_resolver.cc.ll b/bench/grpc/optimized/google_c2p_resolver.cc.ll
@@ -834,7 +834,6 @@ cleanup.action.i.i:                               ; preds = %lor.rhs.i.i
   %_M_engaged.i.i1.i.i = getelementptr inbounds %"struct.std::_Optional_payload_base", ptr %ref.tmp1.i.i, i64 0, i32 1
   %16 = load i8, ptr %_M_engaged.i.i1.i.i, align 8
   %17 = and i8 %16, 1
-  %tobool.i.i2.i.i = icmp ne i8 %17, 0
   %tobool.not.i.i.i.i.i.i = icmp eq i8 %17, 0
   br i1 %tobool.not.i.i.i.i.i.i, label %cleanup.done.i.i, label %if.then.i.i.i.i.i.i
 
@@ -844,7 +843,7 @@ if.then.i.i.i.i.i.i:                              ; preds = %cleanup.action.i.i
   br label %cleanup.done.i.i
 
 cleanup.done.i.i:                                 ; preds = %if.then.i.i.i.i.i.i, %cleanup.action.i.i, %.noexc16.i
-  %18 = phi i1 [ %tobool.i.i2.i.i, %cleanup.action.i.i ], [ true, %if.then.i.i.i.i.i.i ], [ true, %.noexc16.i ]
+  %18 = phi i1 [ false, %cleanup.action.i.i ], [ true, %if.then.i.i.i.i.i.i ], [ true, %.noexc16.i ]
   %19 = load i8, ptr %_M_engaged.i.i.i.i, align 8
   %20 = and i8 %19, 1
   %tobool.not.i.i.i.i4.i.i = icmp eq i8 %20, 0

diff --git a/bench/icu/optimized/double-conversion-string-to-double.ll b/bench/icu/optimized/double-conversion-string-to-double.ll
diff --git a/bench/icu/optimized/number_skeletons.ll b/bench/icu/optimized/number_skeletons.ll
@@ -4082,10 +4082,8 @@ if.then149:                                       ; preds = %do.body147
 
 if.end150:                                        ; preds = %do.body147
   store i8 1, ptr %decimal, align 1
-  %switch.selectcmp.i = icmp eq i32 %cond.i, 48
-  %switch.select.i = select i1 %switch.selectcmp.i, i32 1, i32 2
-  %switch.selectcmp1.i = icmp eq i32 %cond.i, 47
-  %switch.select2.i = select i1 %switch.selectcmp1.i, i32 0, i32 %switch.select.i
+  %switch.selectcmp1.i = icmp ne i32 %cond.i, 47
+  %switch.select2.i = zext i1 %switch.selectcmp1.i to i32
   %decimal154 = getelementptr inbounds %"struct.icu_75::number::impl::MacroProps", ptr %macros, i64 0, i32 13
   store i32 %switch.select2.i, ptr %decimal154, align 4
   br label %return

diff --git a/bench/simdjson/optimized/simdjson.cpp.ll b/bench/simdjson/optimized/simdjson.cpp.ll
@@ -4867,8 +4867,10 @@ _ZNK8simdjson7haswell12_GLOBAL__N_16stage116buf_block_readerILm128EE13get_remain
   call fastcc void @_ZN8simdjson7haswell12_GLOBAL__N_16stage111bit_indexer5writeEjm(ptr noundef nonnull align 8 dereferenceable(8) %indexer.i.i, i32 noundef %conv.i.i, i64 noundef %15)
   %16 = getelementptr inbounds i8, ptr %indexer.i, i64 16
   %this.val.i.i = load i64, ptr %16, align 16
-  %tobool.i.not.i.not.i.i = icmp eq i64 %this.val.i.i, 0
+  %tobool.i.not.i.i.i = icmp ne i64 %this.val.i.i, 0
+  %tobool.i.not.i.not.i.i = xor i1 %tobool.i.not.i.i.i, true
   %brmerge.i.i = select i1 %cmp.i.i, i1 true, i1 %tobool.i.not.i.not.i.i
+  %tobool.i.not.i.mux.i.i = select i1 %cmp.i.i, i1 %tobool.i.not.i.i.i, i1 false
   br i1 %brmerge.i.i, label %if.end.i25.i, label %_ZN8simdjson7haswell12_GLOBAL__N_16stage123json_structural_indexer5indexILm128EEENS_10error_codeEPKhmRNS0_25dom_parser_implementationENS_11stage1_modeE.exit
 
 if.end.i25.i:                                     ; preds = %_ZNK8simdjson7haswell12_GLOBAL__N_16stage116buf_block_readerILm128EE13get_remainderEPh.exit.i
@@ -4926,7 +4928,7 @@ if.end48.i.i:                                     ; preds = %if.end36.i.i
   ]
 
 if.then50.i.i:                                    ; preds = %if.end48.i.i
-  br i1 %tobool.i.not.i.not.i.i, label %if.end61.i.i, label %if.then52.i.i
+  br i1 %tobool.i.not.i.mux.i.i, label %if.then52.i.i, label %if.end61.i.i
 
 if.then52.i.i:                                    ; preds = %if.then50.i.i
   store i32 %sub39.i.i, ptr %n_structural_indexes.i.i, align 8
@@ -4952,7 +4954,7 @@ if.end72.i.i:                                     ; preds = %if.end61.i.i
   br label %if.end106.i.i
 
 if.then76.i.i:                                    ; preds = %if.end48.i.i
-  br i1 %tobool.i.not.i.not.i.i, label %if.end81.i.i, label %if.then78.i.i
+  br i1 %tobool.i.not.i.mux.i.i, label %if.then78.i.i, label %if.end81.i.i
 
 if.then78.i.i:                                    ; preds = %if.then76.i.i
   store i32 %sub39.i.i, ptr %n_structural_indexes.i.i, align 8
@@ -7176,8 +7178,10 @@ if.end45.i.i.i:                                   ; preds = %if.then33.i.i.i, %i
 _ZN8simdjson7icelake12_GLOBAL__N_16stage111bit_indexer5writeEjm.exit.i.i: ; preds = %if.end45.i.i.i, %_ZNK8simdjson7icelake12_GLOBAL__N_16stage116buf_block_readerILm128EE13get_remainderEPh.exit.i
   %24 = getelementptr inbounds i8, ptr %indexer.i, i64 16
   %this.val.i.i = load i64, ptr %24, align 16
-  %tobool.i.not.i.not.i.i = icmp eq i64 %this.val.i.i, 0
+  %tobool.i.not.i.i.i = icmp ne i64 %this.val.i.i, 0
+  %tobool.i.not.i.not.i.i = xor i1 %tobool.i.not.i.i.i, true
   %brmerge.i.i = select i1 %cmp.i.i, i1 true, i1 %tobool.i.not.i.not.i.i
+  %tobool.i.not.i.mux.i.i = select i1 %cmp.i.i, i1 %tobool.i.not.i.i.i, i1 false
   br i1 %brmerge.i.i, label %if.end.i25.i, label %_ZN8simdjson7icelake12_GLOBAL__N_16stage123json_structural_indexer5indexILm128EEENS_10error_codeEPKhmRNS0_25dom_parser_implementationENS_11stage1_modeE.exit
 
 if.end.i25.i:                                     ; preds = %_ZN8simdjson7icelake12_GLOBAL__N_16stage111bit_indexer5writeEjm.exit.i.i
@@ -7235,7 +7239,7 @@ if.end48.i.i:                                     ; preds = %if.end36.i.i
   ]
 
 if.then50.i.i:                                    ; preds = %if.end48.i.i
-  br i1 %tobool.i.not.i.not.i.i, label %if.end61.i.i, label %if.then52.i.i
+  br i1 %tobool.i.not.i.mux.i.i, label %if.then52.i.i, label %if.end61.i.i
 
 if.then52.i.i:                                    ; preds = %if.then50.i.i
   store i32 %sub39.i.i, ptr %n_structural_indexes.i.i, align 8
@@ -7261,7 +7265,7 @@ if.end72.i.i:                                     ; preds = %if.end61.i.i
   br label %if.end106.i.i
 
 if.then76.i.i:                                    ; preds = %if.end48.i.i
-  br i1 %tobool.i.not.i.not.i.i, label %if.end81.i.i, label %if.then78.i.i
+  br i1 %tobool.i.not.i.mux.i.i, label %if.then78.i.i, label %if.end81.i.i
 
 if.then78.i.i:                                    ; preds = %if.then76.i.i
   store i32 %sub39.i.i, ptr %n_structural_indexes.i.i, align 8
@@ -9578,8 +9582,10 @@ _ZNK8simdjson8westmere12_GLOBAL__N_16stage116buf_block_readerILm64EE13get_remain
   call fastcc void @_ZN8simdjson8westmere12_GLOBAL__N_16stage111bit_indexer5writeEjm(ptr noundef nonnull align 8 dereferenceable(8) %indexer.i.i, i32 noundef %conv.i.i, i64 noundef %15)
   %16 = getelementptr inbounds i8, ptr %indexer.i, i64 16
   %this.val.i.i = load i64, ptr %16, align 16
-  %tobool.i.not.i.not.i.i = icmp eq i64 %this.val.i.i, 0
+  %tobool.i.not.i.i.i = icmp ne i64 %this.val.i.i, 0
+  %tobool.i.not.i.not.i.i = xor i1 %tobool.i.not.i.i.i, true
   %brmerge.i.i = select i1 %cmp.i.i, i1 true, i1 %tobool.i.not.i.not.i.i
+  %tobool.i.not.i.mux.i.i = select i1 %cmp.i.i, i1 %tobool.i.not.i.i.i, i1 false
   br i1 %brmerge.i.i, label %if.end.i25.i, label %_ZN8simdjson8westmere12_GLOBAL__N_16stage123json_structural_indexer5indexILm64EEENS_10error_codeEPKhmRNS0_25dom_parser_implementationENS_11stage1_modeE.exit
 
 if.end.i25.i:                                     ; preds = %_ZNK8simdjson8westmere12_GLOBAL__N_16stage116buf_block_readerILm64EE13get_remainderEPh.exit.i
@@ -9637,7 +9643,7 @@ if.end48.i.i:                                     ; preds = %if.end36.i.i
   ]
 
 if.then50.i.i:                                    ; preds = %if.end48.i.i
-  br i1 %tobool.i.not.i.not.i.i, label %if.end61.i.i, label %if.then52.i.i
+  br i1 %tobool.i.not.i.mux.i.i, label %if.then52.i.i, label %if.end61.i.i
 
 if.then52.i.i:                                    ; preds = %if.then50.i.i
   store i32 %sub39.i.i, ptr %n_structural_indexes.i.i, align 8
@@ -9663,7 +9669,7 @@ if.end72.i.i:                                     ; preds = %if.end61.i.i
   br label %if.end106.i.i
 
 if.then76.i.i:                                    ; preds = %if.end48.i.i
-  br i1 %tobool.i.not.i.not.i.i, label %if.end81.i.i, label %if.then78.i.i
+  br i1 %tobool.i.not.i.mux.i.i, label %if.then78.i.i, label %if.end81.i.i
 
 if.then78.i.i:                                    ; preds = %if.then76.i.i
   store i32 %sub39.i.i, ptr %n_structural_indexes.i.i, align 8

diff --git a/bench/z3/optimized/maxlex.cpp.ll b/bench/z3/optimized/maxlex.cpp.ll
@@ -4080,7 +4080,6 @@ lpad:                                             ; preds = %lpad.loopexit.split
 
 if.end:                                           ; preds = %for.end.i
   %.pr18 = load ptr, ptr %mdl, align 8
-  %cmp = icmp ne ptr %.pr18, null
   %tobool.not.i.i10 = icmp eq ptr %.pr18, null
   br i1 %tobool.not.i.i10, label %_ZN3refI5modelED2Ev.exit, label %if.then.i.i11
 
@@ -4107,7 +4106,7 @@ terminate.lpad.i:                                 ; preds = %if.then.i.i.i15
   unreachable
 
 _ZN3refI5modelED2Ev.exit:                         ; preds = %.noexc, %invoke.cont2, %if.end, %if.then.i.i11, %if.then.i.i.i15
-  %cmp21 = phi i1 [ %cmp, %if.end ], [ true, %if.then.i.i11 ], [ true, %if.then.i.i.i15 ], [ false, %invoke.cont2 ], [ false, %.noexc ]
+  %cmp21 = phi i1 [ false, %if.end ], [ true, %if.then.i.i11 ], [ true, %if.then.i.i.i15 ], [ false, %invoke.cont2 ], [ false, %.noexc ]
   ret i1 %cmp21
 }