pre-commit: Update

bench/cvc5/optimized/floatingpoint_literal_symfpu.cpp.ll

@@ -26378,20 +26378,19 @@ land.rhs183:                                      ; preds = %land.lhs.true180
 
 land.end187:                                      ; preds = %land.rhs183, %land.lhs.true180, %land.end176
   %46 = phi i1 [ false, %land.lhs.true180 ], [ false, %land.end176 ], [ %call186, %land.rhs183 ]
-  %47 = and i1 %frombool111, %call137
   %tobool7 = trunc i8 %1 to i1
-  %48 = select i1 %tobool, i1 true, i1 %tobool7
-  %49 = or i8 %21, %17
-  %50 = or i1 %32, %34
-  %51 = or i1 %44, %46
-  %52 = or i1 %38, %41
-  %.v = select i1 %equality, i1 %51, i1 %52
-  %.v157 = select i1 %47, i1 %.v, i1 %50
+  %47 = select i1 %tobool, i1 true, i1 %tobool7
+  %48 = or i8 %21, %17
+  %49 = or i1 %32, %34
+  %50 = or i1 %44, %46
+  %51 = or i1 %38, %41
+  %.v = select i1 %equality, i1 %50, i1 %51
+  %.v157 = select i1 %call137, i1 %.v, i1 %49
   %tobool.i138 = select i1 %frombool111, i1 %.v157, i1 %negativeLessThanPositive.0
-  %53 = trunc i8 %49 to i1
-  %not. = xor i1 %48, true
-  %54 = select i1 %not., i1 %53, i1 false
-  %tobool.i142 = select i1 %lnot191, i1 %54, i1 %tobool.i138
+  %52 = trunc i8 %48 to i1
+  %not. = xor i1 %47, true
+  %53 = select i1 %not., i1 %52, i1 false
+  %tobool.i142 = select i1 %lnot191, i1 %53, i1 %tobool.i138
   ret i1 %tobool.i142
 }
 

bench/diesel-rs/optimized/4dmkc4an6cvf22v6.ll

@@ -6448,8 +6448,7 @@ _ZN6diesel6sqlite10connection4stmt12StatementUse21index_for_column_name17h95d732
   call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %4), !noalias !1292
   %switch.i = icmp ne i32 %.fca.0.extract.i, 0
   %.fca.1.extract.i = extractvalue { i32, i32 } %21, 1
-  %narrow.i = select i1 %switch.i, i32 %.fca.1.extract.i, i32 0
-  %.sroa.5.0.i = sext i32 %narrow.i to i64
+  %.sroa.5.0.i = sext i32 %.fca.1.extract.i to i64
   %spec.select.i = select i1 %switch.i, i64 %.sroa.5.0.i, i64 undef
   %spec.select7.i = zext i1 %switch.i to i64
   call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %5), !noalias !1292

bench/libquic/optimized/time.cc.ll

@@ -133,8 +133,7 @@ entry:
   %and.i.i.i = and i64 %xor.i.i.i, %xor1.i.i.i
   %tobool.i7.i.i.i = icmp sgt i64 %add.i.i.i, -1
   %tobool.i.i.i.i.inv = icmp slt i64 %and.i.i.i, 0
-  %cmp.i = and i1 %tobool.i7.i.i.i, %tobool.i.i.i.i.inv
-  %spec.select.i = select i1 %cmp.i, i64 -9223372036854775807, i64 9223372036854775807
+  %spec.select.i = select i1 %tobool.i7.i.i.i, i64 -9223372036854775807, i64 9223372036854775807
   %retval.0.i = select i1 %tobool.i.i.i.i.inv, i64 %spec.select.i, i64 %add.i.i.i
   ret i64 %retval.0.i
 }
@@ -159,8 +158,7 @@ entry:
   %and.i.i.i = and i64 %xor.i.i.i, %xor1.i.i.i
   %tobool.i7.i.i.i = icmp sgt i64 %sub.i.i.i, -1
   %tobool.i.i.i.i.inv = icmp slt i64 %and.i.i.i, 0
-  %cmp.i = and i1 %tobool.i7.i.i.i, %tobool.i.i.i.i.inv
-  %spec.select.i = select i1 %cmp.i, i64 -9223372036854775807, i64 9223372036854775807
+  %spec.select.i = select i1 %tobool.i7.i.i.i, i64 -9223372036854775807, i64 9223372036854775807
   %retval.0.i = select i1 %tobool.i.i.i.i.inv, i64 %spec.select.i, i64 %sub.i.i.i
   ret i64 %retval.0.i
 }
@@ -202,8 +200,7 @@ if.end5:                                          ; preds = %entry
   %and.i.i.i.i.i = and i64 %xor.i.i.i.i.i, %xor1.i.i.i.i.i
   %tobool.i7.i.i.i.i.i = icmp sgt i64 %add.i.i.i.i.i, -1
   %tobool.i.i.i.i.inv.i.i = icmp slt i64 %and.i.i.i.i.i, 0
-  %cmp.i.i.i = and i1 %tobool.i7.i.i.i.i.i, %tobool.i.i.i.i.inv.i.i
-  %spec.select.i.i.i = select i1 %cmp.i.i.i, i64 -9223372036854775807, i64 9223372036854775807
+  %spec.select.i.i.i = select i1 %tobool.i7.i.i.i.i.i, i64 -9223372036854775807, i64 9223372036854775807
   %retval.0.i.i.i = select i1 %tobool.i.i.i.i.inv.i.i, i64 %spec.select.i.i.i, i64 %add.i.i.i.i.i
   br label %return
 
@@ -265,8 +262,7 @@ _ZN4base9TimeDelta12FromSecondsDEd.exit:          ; preds = %if.end, %cond.false
   %and.i.i.i.i.i = and i64 %xor.i.i.i.i.i, %xor1.i.i.i.i.i
   %tobool.i7.i.i.i.i.i = icmp sgt i64 %add.i.i.i.i.i, -1
   %tobool.i.i.i.i.inv.i.i = icmp slt i64 %and.i.i.i.i.i, 0
-  %cmp.i.i.i = and i1 %tobool.i7.i.i.i.i.i, %tobool.i.i.i.i.inv.i.i
-  %spec.select.i.i.i = select i1 %cmp.i.i.i, i64 -9223372036854775807, i64 9223372036854775807
+  %spec.select.i.i.i = select i1 %tobool.i7.i.i.i.i.i, i64 -9223372036854775807, i64 9223372036854775807
   %retval.0.i.i.i = select i1 %tobool.i.i.i.i.inv.i.i, i64 %spec.select.i.i.i, i64 %add.i.i.i.i.i
   br label %return
 
@@ -334,8 +330,7 @@ _ZN4base9TimeDelta12FromSecondsDEd.exit.i:        ; preds = %cond.false10.i.i.i,
   %and.i.i.i.i.i.i = and i64 %xor.i.i.i.i.i.i, %xor1.i.i.i.i.i.i
   %tobool.i7.i.i.i.i.i.i = icmp sgt i64 %add.i.i.i.i.i.i, -1
   %tobool.i.i.i.i.inv.i.i.i = icmp slt i64 %and.i.i.i.i.i.i, 0
-  %cmp.i.i.i.i = and i1 %tobool.i7.i.i.i.i.i.i, %tobool.i.i.i.i.inv.i.i.i
-  %spec.select.i.i.i.i = select i1 %cmp.i.i.i.i, i64 -9223372036854775807, i64 9223372036854775807
+  %spec.select.i.i.i.i = select i1 %tobool.i7.i.i.i.i.i.i, i64 -9223372036854775807, i64 9223372036854775807
   %retval.0.i.i.i.i = select i1 %tobool.i.i.i.i.inv.i.i.i, i64 %spec.select.i.i.i.i, i64 %add.i.i.i.i.i.i
   br label %_ZN4base4Time11FromDoubleTEd.exit
 
@@ -368,8 +363,7 @@ _ZN4base9TimeDelta17FromMillisecondsDEd.exit:     ; preds = %entry, %cond.false.
   %and.i.i.i.i.i = and i64 %xor.i.i.i.i.i, %xor1.i.i.i.i.i
   %tobool.i7.i.i.i.i.i = icmp sgt i64 %add.i.i.i.i.i, -1
   %tobool.i.i.i.i.inv.i.i = icmp slt i64 %and.i.i.i.i.i, 0
-  %cmp.i.i.i = and i1 %tobool.i7.i.i.i.i.i, %tobool.i.i.i.i.inv.i.i
-  %spec.select.i.i.i = select i1 %cmp.i.i.i, i64 -9223372036854775807, i64 9223372036854775807
+  %spec.select.i.i.i = select i1 %tobool.i7.i.i.i.i.i, i64 -9223372036854775807, i64 9223372036854775807
   %retval.0.i.i.i = select i1 %tobool.i.i.i.i.inv.i.i, i64 %spec.select.i.i.i, i64 %add.i.i.i.i.i
   ret i64 %retval.0.i.i.i
 }
@@ -599,8 +593,7 @@ if.then.i.i:                                      ; preds = %land.lhs.true.i.i
   %and.i.i.i.i.i.i.i.i.i.i = and i64 %xor.i.i.i.i.i.i.i.i.i.i, %xor1.i.i.i.i.i.i.i.i.i.i
   %tobool.i7.i.i.i.i.i.i.i.i.i.i = icmp sgt i64 %sub.i.i.i.i.i.i.i.i.i.i, -1
   %tobool.i.i.i.i.inv.i.i.i.i.i.i.i = icmp slt i64 %and.i.i.i.i.i.i.i.i.i.i, 0
-  %cmp.i.i.i.i.i.i.i.i = and i1 %tobool.i7.i.i.i.i.i.i.i.i.i.i, %tobool.i.i.i.i.inv.i.i.i.i.i.i.i
-  %spec.select.i.i.i.i.i.i.i.i = select i1 %cmp.i.i.i.i.i.i.i.i, i64 -9223372036854775807, i64 9223372036854775807
+  %spec.select.i.i.i.i.i.i.i.i = select i1 %tobool.i7.i.i.i.i.i.i.i.i.i.i, i64 -9223372036854775807, i64 9223372036854775807
   %retval.0.i.i.i.i.i.i.i.i = select i1 %tobool.i.i.i.i.inv.i.i.i.i.i.i.i, i64 %spec.select.i.i.i.i.i.i.i.i, i64 %sub.i.i.i.i.i.i.i.i.i.i
   %sub.i1.i.i.i.i.i = sub nsw i64 0, %retval.0.i.i.i.i.i.i.i.i
   store i64 %sub.i1.i.i.i.i.i, ptr getelementptr inbounds nuw (i8, ptr @_ZN4baseL35leaky_unix_epoch_singleton_instanceE, i64 8), align 8
@@ -634,8 +627,7 @@ if.then:                                          ; preds = %land.lhs.true
   %and.i.i.i.i.i.i = and i64 %xor.i.i.i.i.i.i, %xor1.i.i.i.i.i.i
   %tobool.i7.i.i.i.i.i.i = icmp sgt i64 %add.i.i.i.i.i.i, -1
   %tobool.i.i.i.i.inv.i.i.i = icmp slt i64 %and.i.i.i.i.i.i, 0
-  %cmp.i.i.i.i = and i1 %tobool.i7.i.i.i.i.i.i, %tobool.i.i.i.i.inv.i.i.i
-  %spec.select.i.i.i.i = select i1 %cmp.i.i.i.i, i64 -9223372036854775807, i64 9223372036854775807
+  %spec.select.i.i.i.i = select i1 %tobool.i7.i.i.i.i.i.i, i64 -9223372036854775807, i64 9223372036854775807
   %retval.0.i.i.i.i = select i1 %tobool.i.i.i.i.inv.i.i.i, i64 %spec.select.i.i.i.i, i64 %add.i.i.i.i.i.i
   br label %if.end
 
@@ -647,8 +639,7 @@ if.end:                                           ; preds = %if.then, %land.lhs.
   %and.i.i.i.i.i = and i64 %xor.i.i.i.i.i, %xor1.i.i.i.i.i
   %tobool.i7.i.i.i.i.i = icmp sgt i64 %add.i.i.i.i.i, -1
   %tobool.i.i.i.i.inv.i.i = icmp slt i64 %and.i.i.i.i.i, 0
-  %cmp.i.i.i = and i1 %tobool.i7.i.i.i.i.i, %tobool.i.i.i.i.inv.i.i
-  %spec.select.i.i.i = select i1 %cmp.i.i.i, i64 -9223372036854775807, i64 9223372036854775807
+  %spec.select.i.i.i = select i1 %tobool.i7.i.i.i.i.i, i64 -9223372036854775807, i64 9223372036854775807
   %retval.0.i.i.i = select i1 %tobool.i.i.i.i.inv.i.i, i64 %spec.select.i.i.i, i64 %add.i.i.i.i.i
   ret i64 %retval.0.i.i.i
 }

bench/linux/optimized/intel_cdclk.ll

@@ -1353,11 +1353,11 @@ define dso_local void @intel_set_cdclk_post_plane_update(ptr noundef %0) local_u
   %67 = and i32 %66, 67043328
   %68 = or disjoint i32 %67, 134217728
   %69 = select i1 %65, i32 0, i32 %68
-  %70 = or i32 %60, -2147483648
-  %71 = select i1 %59, i32 %70, i32 0
-  %72 = or disjoint i32 %69, %71
+  %70 = or disjoint i32 %60, %69
+  %71 = or i32 %70, -2147483648
+  %72 = select i1 %59, i32 %71, i32 %69
   %73 = getelementptr inbounds nuw i8, ptr %40, i64 7368
-  %74 = or disjoint i32 %72, 3
+  %74 = or i32 %72, 3
   %75 = tail call i32 @skl_pcode_request(ptr noundef nonnull %73, i32 noundef 7, i32 noundef %74, i32 noundef 1, i32 noundef 1, i32 noundef 3) #15
   %76 = icmp eq i32 %75, 0
   br i1 %76, label %84, label %77

bench/linux/optimized/trace_output.ll

@@ -805,109 +805,108 @@ define dso_local range(i32 0, 2) i32 @trace_print_lat_fmt(ptr noundef %0, ptr no
   %7 = and i32 %5, 8
   %8 = and i32 %5, 16
   %9 = and i32 %5, 1
-  %10 = icmp ne i32 %9, 0
-  %11 = icmp slt i8 %4, 0
-  %12 = and i1 %11, %10
-  %13 = select i1 %12, i32 68, i32 100
-  %14 = and i32 %5, 2
-  %15 = icmp eq i32 %14, 0
-  %16 = select i1 %15, i32 46, i32 88
-  %17 = select i1 %11, i32 98, i32 %16
-  %18 = select i1 %10, i32 %13, i32 %17
-  %19 = lshr i8 %4, 2
-  %20 = and i8 %19, 9
-  switch i8 %20, label %.unreachabledefault [
-    i8 9, label %24
-    i8 1, label %21
-    i8 8, label %22
-    i8 0, label %23
+  %.not = icmp eq i32 %9, 0
+  %10 = icmp slt i8 %4, 0
+  %11 = select i1 %10, i32 68, i32 100
+  %12 = and i32 %5, 2
+  %13 = icmp eq i32 %12, 0
+  %14 = select i1 %13, i32 46, i32 88
+  %15 = select i1 %10, i32 98, i32 %14
+  %16 = select i1 %.not, i32 %15, i32 %11
+  %17 = lshr i8 %4, 2
+  %18 = and i8 %17, 9
+  switch i8 %18, label %.unreachabledefault [
+    i8 9, label %22
+    i8 1, label %19
+    i8 8, label %20
+    i8 0, label %21
   ]
 
-21:                                               ; preds = %2
-  br label %24
+19:                                               ; preds = %2
+  br label %22
 
-22:                                               ; preds = %2
-  br label %24
+20:                                               ; preds = %2
+  br label %22
 
 .unreachabledefault:                              ; preds = %2
   unreachable
 
-23:                                               ; preds = %2
-  br label %24
+21:                                               ; preds = %2
+  br label %22
 
-24:                                               ; preds = %2, %23, %22, %21
-  %25 = phi i32 [ 46, %23 ], [ 112, %22 ], [ 110, %21 ], [ 78, %2 ]
-  %26 = icmp eq i32 %7, 0
-  %27 = and i32 %5, 72
-  %28 = icmp eq i32 %27, 72
-  br i1 %28, label %38, label %29
-
-29:                                               ; preds = %24
-  %30 = icmp eq i32 %6, 0
-  br i1 %30, label %31, label %38
-
-31:                                               ; preds = %29
-  %32 = and i32 %5, 24
-  %33 = icmp eq i32 %32, 24
-  br i1 %33, label %38, label %34
-
-34:                                               ; preds = %31
-  %35 = icmp eq i32 %8, 0
-  %36 = select i1 %35, i32 46, i32 115
-  %37 = select i1 %26, i32 %36, i32 104
-  br label %38
-
-38:                                               ; preds = %34, %31, %29, %24
-  %39 = phi i32 [ 90, %24 ], [ 122, %29 ], [ 72, %31 ], [ %37, %34 ]
-  tail call void (ptr, ptr, ...) @trace_seq_printf(ptr noundef %0, ptr noundef nonnull @.str.12, i32 noundef %18, i32 noundef %25, i32 noundef %39) #10
-  %40 = getelementptr inbounds nuw i8, ptr %1, i64 3
-  %41 = load i8, ptr %40, align 1
-  %42 = and i8 %41, 15
-  %43 = icmp eq i8 %42, 0
-  br i1 %43, label %46, label %44
-
-44:                                               ; preds = %38
-  %45 = zext nneg i8 %42 to i32
-  tail call void (ptr, ptr, ...) @trace_seq_printf(ptr noundef %0, ptr noundef nonnull @.str.13, i32 noundef %45) #10
-  br label %47
+22:                                               ; preds = %2, %21, %20, %19
+  %23 = phi i32 [ 46, %21 ], [ 112, %20 ], [ 110, %19 ], [ 78, %2 ]
+  %24 = icmp eq i32 %7, 0
+  %25 = and i32 %5, 72
+  %26 = icmp eq i32 %25, 72
+  br i1 %26, label %36, label %27
 
-46:                                               ; preds = %38
-  tail call void @trace_seq_putc(ptr noundef %0, i8 noundef zeroext 46) #10
-  br label %47
+27:                                               ; preds = %22
+  %28 = icmp eq i32 %6, 0
+  br i1 %28, label %29, label %36
 
-47:                                               ; preds = %46, %44
-  %48 = load i8, ptr %40, align 1
-  %49 = icmp ult i8 %48, 16
-  br i1 %49, label %53, label %50
+29:                                               ; preds = %27
+  %30 = and i32 %5, 24
+  %31 = icmp eq i32 %30, 24
+  br i1 %31, label %36, label %32
 
-50:                                               ; preds = %47
-  %51 = lshr i8 %48, 4
-  %52 = zext nneg i8 %51 to i32
-  tail call void (ptr, ptr, ...) @trace_seq_printf(ptr noundef %0, ptr noundef nonnull @.str.13, i32 noundef %52) #10
-  br label %54
+32:                                               ; preds = %29
+  %33 = icmp eq i32 %8, 0
+  %34 = select i1 %33, i32 46, i32 115
+  %35 = select i1 %24, i32 %34, i32 104
+  br label %36
 
-53:                                               ; preds = %47
+36:                                               ; preds = %32, %29, %27, %22
+  %37 = phi i32 [ 90, %22 ], [ 122, %27 ], [ 72, %29 ], [ %35, %32 ]
+  tail call void (ptr, ptr, ...) @trace_seq_printf(ptr noundef %0, ptr noundef nonnull @.str.12, i32 noundef %16, i32 noundef %23, i32 noundef %37) #10
+  %38 = getelementptr inbounds nuw i8, ptr %1, i64 3
+  %39 = load i8, ptr %38, align 1
+  %40 = and i8 %39, 15
+  %41 = icmp eq i8 %40, 0
+  br i1 %41, label %44, label %42
+
+42:                                               ; preds = %36
+  %43 = zext nneg i8 %40 to i32
+  tail call void (ptr, ptr, ...) @trace_seq_printf(ptr noundef %0, ptr noundef nonnull @.str.13, i32 noundef %43) #10
+  br label %45
+
+44:                                               ; preds = %36
   tail call void @trace_seq_putc(ptr noundef %0, i8 noundef zeroext 46) #10
-  br label %54
+  br label %45
 
-54:                                               ; preds = %53, %50
-  %55 = getelementptr inbounds nuw i8, ptr %0, i64 8192
-  %56 = load i32, ptr %55, align 8
-  %57 = icmp eq i32 %56, 0
-  br i1 %57, label %58, label %65
+45:                                               ; preds = %44, %42
+  %46 = load i8, ptr %38, align 1
+  %47 = icmp ult i8 %46, 16
+  br i1 %47, label %51, label %48
 
-58:                                               ; preds = %54
-  %59 = getelementptr inbounds nuw i8, ptr %0, i64 8176
+48:                                               ; preds = %45
+  %49 = lshr i8 %46, 4
+  %50 = zext nneg i8 %49 to i32
+  tail call void (ptr, ptr, ...) @trace_seq_printf(ptr noundef %0, ptr noundef nonnull @.str.13, i32 noundef %50) #10
+  br label %52
+
+51:                                               ; preds = %45
+  tail call void @trace_seq_putc(ptr noundef %0, i8 noundef zeroext 46) #10
+  br label %52
+
+52:                                               ; preds = %51, %48
+  %53 = getelementptr inbounds nuw i8, ptr %0, i64 8192
+  %54 = load i32, ptr %53, align 8
+  %55 = icmp eq i32 %54, 0
+  br i1 %55, label %56, label %63
+
+56:                                               ; preds = %52
+  %57 = getelementptr inbounds nuw i8, ptr %0, i64 8176
+  %58 = load i64, ptr %57, align 8
+  %59 = getelementptr inbounds nuw i8, ptr %0, i64 8168
   %60 = load i64, ptr %59, align 8
-  %61 = getelementptr inbounds nuw i8, ptr %0, i64 8168
-  %62 = load i64, ptr %61, align 8
-  %63 = icmp ule i64 %60, %62
-  %64 = zext i1 %63 to i32
-  br label %65
-
-65:                                               ; preds = %58, %54
-  %66 = phi i32 [ 0, %54 ], [ %64, %58 ]
-  ret i32 %66
+  %61 = icmp ule i64 %58, %60
+  %62 = zext i1 %61 to i32
+  br label %63
+
+63:                                               ; preds = %56, %52
+  %64 = phi i32 [ 0, %52 ], [ %62, %56 ]
+  ret i32 %64
 }
 
 ; Function Attrs: fn_ret_thunk_extern nofree norecurse nosync nounwind null_pointer_is_valid memory(none)