pre-commit: Update

dtcxzyw · Oct 6, 2024 · a78d402 · a78d402
1 parent 4b69623
commit a78d402
Show file tree

Hide file tree

Showing 64 changed files with 2,390 additions and 2,412 deletions.
diff --git a/bench/abc/optimized/parseEqn.c.ll b/bench/abc/optimized/parseEqn.c.ll
@@ -244,7 +244,7 @@ Parse_ParserPerformTopOp.exit.thread:             ; preds = %56, %Parse_ParserPe
 
 75:                                               ; preds = %.lr.ph, %83
   %indvars.iv308 = phi i64 [ 0, %.lr.ph ], [ %indvars.iv.next309, %83 ]
-  %76 = getelementptr inbounds ptr, ptr %.val202, i64 %indvars.iv308
+  %76 = getelementptr inbounds nuw ptr, ptr %.val202, i64 %indvars.iv308
   %77 = load ptr, ptr %76, align 8
   %78 = tail call i32 @strncmp(ptr noundef nonnull %.1152, ptr noundef %77, i64 noundef %indvars.iv) #7
   %79 = icmp eq i32 %78, 0

diff --git a/bench/anki-rs/optimized/242w8kogp1366avu.ll b/bench/anki-rs/optimized/242w8kogp1366avu.ll
@@ -7,7 +7,7 @@ target triple = "x86_64-unknown-linux-gnu"
 define void @_ZN4core4iter6traits8iterator8Iterator4fold17h8413a6a015ff070cE(i32 %0, i32 %1, ptr align 8 %2) unnamed_addr #0 personality ptr @rust_eh_personality {
   %4 = alloca { i32, i32 }, align 4
   store i32 %0, ptr %4, align 4
-  %5 = getelementptr inbounds i8, ptr %4, i64 4
+  %5 = getelementptr inbounds nuw i8, ptr %4, i64 4
   store i32 %1, ptr %5, align 4
   br label %6
 
@@ -49,7 +49,7 @@ define void @_ZN4core4iter6traits8iterator8Iterator4fold17h8413a6a015ff070cE(i32
 define void @_ZN4core4iter6traits8iterator8Iterator4fold17h8d00b7c9752bbe91E(i32 %0, i32 %1, ptr align 8 %2) unnamed_addr #0 personality ptr @rust_eh_personality {
   %4 = alloca { i32, i32 }, align 4
   store i32 %0, ptr %4, align 4
-  %5 = getelementptr inbounds i8, ptr %4, i64 4
+  %5 = getelementptr inbounds nuw i8, ptr %4, i64 4
   store i32 %1, ptr %5, align 4
   %6 = call { i32, i32 } @"_ZN4core4iter5range101_$LT$impl$u20$core..iter..traits..iterator..Iterator$u20$for$u20$core..ops..range..Range$LT$A$GT$$GT$4next17ha41f11d50ec6c876E"(ptr nonnull align 4 %4)
   %.fca.0.extract4 = extractvalue { i32, i32 } %6, 0

diff --git a/bench/assimp/optimized/DropFaceNormalsProcess.cpp.ll b/bench/assimp/optimized/DropFaceNormalsProcess.cpp.ll
@@ -73,13 +73,13 @@ entry:
   br i1 %tobool.not, label %for.cond.preheader, label %if.then
 
 for.cond.preheader:                               ; preds = %entry
-  %mNumMeshes = getelementptr inbounds i8, ptr %pScene, i64 16
+  %mNumMeshes = getelementptr inbounds nuw i8, ptr %pScene, i64 16
   %1 = load i32, ptr %mNumMeshes, align 8
   %cmp7.not = icmp eq i32 %1, 0
   br i1 %cmp7.not, label %if.else, label %for.body.lr.ph
 
 for.body.lr.ph:                                   ; preds = %for.cond.preheader
-  %mMeshes = getelementptr inbounds i8, ptr %pScene, i64 24
+  %mMeshes = getelementptr inbounds nuw i8, ptr %pScene, i64 24
   br label %for.body
 
 if.then:                                          ; preds = %entry
@@ -102,9 +102,9 @@ for.body:                                         ; preds = %for.body.lr.ph, %_Z
   %indvars.iv = phi i64 [ 0, %for.body.lr.ph ], [ %indvars.iv.next, %_ZN6Assimp22DropFaceNormalsProcess19DropMeshFaceNormalsEP6aiMesh.exit ]
   %bHas.08 = phi i1 [ false, %for.body.lr.ph ], [ %or6, %_ZN6Assimp22DropFaceNormalsProcess19DropMeshFaceNormalsEP6aiMesh.exit ]
   %4 = load ptr, ptr %mMeshes, align 8
-  %arrayidx = getelementptr inbounds ptr, ptr %4, i64 %indvars.iv
+  %arrayidx = getelementptr inbounds nuw ptr, ptr %4, i64 %indvars.iv
   %5 = load ptr, ptr %arrayidx, align 8
-  %mNormals.i = getelementptr inbounds i8, ptr %5, i64 24
+  %mNormals.i = getelementptr inbounds nuw i8, ptr %5, i64 24
   %6 = load ptr, ptr %mNormals.i, align 8
   %cmp.i = icmp ne ptr %6, null
   br i1 %cmp.i, label %delete.notnull.i, label %_ZN6Assimp22DropFaceNormalsProcess19DropMeshFaceNormalsEP6aiMesh.exit
@@ -185,7 +185,7 @@ declare void @__cxa_throw(ptr, ptr, ptr) local_unnamed_addr #4
 ; Function Attrs: mustprogress nounwind uwtable
 define hidden noundef zeroext i1 @_ZN6Assimp22DropFaceNormalsProcess19DropMeshFaceNormalsEP6aiMesh(ptr nocapture noundef nonnull readnone align 8 dereferenceable(24) %this, ptr nocapture noundef %mesh) local_unnamed_addr #3 align 2 {
 entry:
-  %mNormals = getelementptr inbounds i8, ptr %mesh, i64 24
+  %mNormals = getelementptr inbounds nuw i8, ptr %mesh, i64 24
   %0 = load ptr, ptr %mNormals, align 8
   %cmp = icmp ne ptr %0, null
   br i1 %cmp, label %delete.notnull, label %return

diff --git a/bench/bdwgc/optimized/cordprnt.c.ll b/bench/bdwgc/optimized/cordprnt.c.ll
@@ -19,11 +19,11 @@ define i32 @CORD_vsprintf(ptr nocapture noundef writeonly %0, ptr noundef %1, pt
   %6 = alloca [51 x i8], align 16
   %7 = alloca [1 x %struct.__va_list_tag], align 16
   store ptr null, ptr %4, align 16
-  %8 = getelementptr inbounds i8, ptr %4, i64 16
-  %9 = getelementptr inbounds i8, ptr %4, i64 8
+  %8 = getelementptr inbounds nuw i8, ptr %4, i64 16
+  %9 = getelementptr inbounds nuw i8, ptr %4, i64 8
   store ptr %8, ptr %9, align 8
   call void @CORD_set_pos(ptr noundef nonnull %5, ptr noundef %1, i64 noundef 0) #10
-  %10 = getelementptr inbounds i8, ptr %5, i64 8
+  %10 = getelementptr inbounds nuw i8, ptr %5, i64 8
   %11 = load i32, ptr %10, align 8
   %.not186 = icmp eq i32 %11, 1431655765
   br i1 %.not186, label %.._crit_edge_crit_edge, label %.lr.ph187
@@ -33,15 +33,15 @@ define i32 @CORD_vsprintf(ptr nocapture noundef writeonly %0, ptr noundef %1, pt
   br label %._crit_edge
 
 .lr.ph187:                                        ; preds = %3
-  %12 = getelementptr inbounds i8, ptr %5, i64 32
-  %13 = getelementptr inbounds i8, ptr %5, i64 16
-  %14 = getelementptr inbounds i8, ptr %5, i64 24
-  %15 = getelementptr inbounds i8, ptr %4, i64 144
-  %16 = getelementptr inbounds i8, ptr %2, i64 8
-  %17 = getelementptr inbounds i8, ptr %2, i64 16
+  %12 = getelementptr inbounds nuw i8, ptr %5, i64 32
+  %13 = getelementptr inbounds nuw i8, ptr %5, i64 16
+  %14 = getelementptr inbounds nuw i8, ptr %5, i64 24
+  %15 = getelementptr inbounds nuw i8, ptr %4, i64 144
+  %16 = getelementptr inbounds nuw i8, ptr %2, i64 8
+  %17 = getelementptr inbounds nuw i8, ptr %2, i64 16
   %18 = ptrtoint ptr %8 to i64
   %.neg = add i64 %18, 128
-  %19 = getelementptr inbounds i8, ptr %2, i64 4
+  %19 = getelementptr inbounds nuw i8, ptr %2, i64 4
   br label %20
 
 20:                                               ; preds = %.lr.ph187, %454
@@ -122,7 +122,7 @@ define i32 @CORD_vsprintf(ptr nocapture noundef writeonly %0, ptr noundef %1, pt
 
 59:                                               ; preds = %55, %58
   %60 = phi ptr [ %56, %55 ], [ %.pre203, %58 ]
-  %61 = getelementptr inbounds i8, ptr %60, i64 1
+  %61 = getelementptr inbounds nuw i8, ptr %60, i64 1
   store ptr %61, ptr %9, align 8
   store i8 37, ptr %60, align 1
   br label %.loopexit
@@ -161,7 +161,7 @@ define i32 @CORD_vsprintf(ptr nocapture noundef writeonly %0, ptr noundef %1, pt
 74:                                               ; preds = %72, %65
   %.in.i = phi i8 [ %71, %65 ], [ %73, %72 ]
   %indvars.iv.next.i = add nuw nsw i64 %indvars.iv.i, 1
-  %75 = getelementptr inbounds i8, ptr %6, i64 %indvars.iv.i
+  %75 = getelementptr inbounds nuw i8, ptr %6, i64 %indvars.iv.i
   store i8 %.in.i, ptr %75, align 1
   switch i8 %.in.i, label %extract_conv_spec.exit.thread [
     i8 42, label %89
@@ -274,7 +274,7 @@ define i32 @CORD_vsprintf(ptr nocapture noundef writeonly %0, ptr noundef %1, pt
   %100 = select i1 %.not49.i, i1 true, i1 %.not50.i
   %.4 = select i1 %100, i32 -1, i32 %.04558.i
   %101 = and i64 %indvars.iv.next.i, 4294967295
-  %102 = getelementptr inbounds i8, ptr %6, i64 %101
+  %102 = getelementptr inbounds nuw i8, ptr %6, i64 %101
   store i8 0, ptr %102, align 1
   %103 = load i64, ptr %12, align 16
   %.not115 = icmp eq i64 %103, 0
@@ -562,7 +562,7 @@ define i32 @CORD_vsprintf(ptr nocapture noundef writeonly %0, ptr noundef %1, pt
 
 262:                                              ; preds = %254
   call void @llvm.memset.p0.i64(ptr nonnull align 1 %257, i8 32, i64 %255, i1 false)
-  %263 = getelementptr inbounds i8, ptr %257, i64 %255
+  %263 = getelementptr inbounds nuw i8, ptr %257, i64 %255
   store i8 0, ptr %263, align 1
   %.not120 = icmp eq i32 %.0144, 0
   br i1 %.not120, label %266, label %264
@@ -620,7 +620,7 @@ define i32 @CORD_vsprintf(ptr nocapture noundef writeonly %0, ptr noundef %1, pt
 
 290:                                              ; preds = %283, %289
   %291 = phi ptr [ %287, %283 ], [ %.pre199, %289 ]
-  %292 = getelementptr inbounds i8, ptr %291, i64 1
+  %292 = getelementptr inbounds nuw i8, ptr %291, i64 1
   store ptr %292, ptr %9, align 8
   store i8 %286, ptr %291, align 1
   br label %.loopexit
@@ -660,7 +660,7 @@ define i32 @CORD_vsprintf(ptr nocapture noundef writeonly %0, ptr noundef %1, pt
 .lr.ph:                                           ; preds = %307, %316
   %311 = phi i8 [ %319, %316 ], [ %310, %307 ]
   %.pn = phi ptr [ %312, %316 ], [ %309, %307 ]
-  %312 = getelementptr inbounds i8, ptr %.pn, i64 1
+  %312 = getelementptr inbounds nuw i8, ptr %.pn, i64 1
   %313 = load ptr, ptr %9, align 8
   %314 = icmp eq ptr %313, %15
   br i1 %314, label %315, label %316
@@ -672,7 +672,7 @@ define i32 @CORD_vsprintf(ptr nocapture noundef writeonly %0, ptr noundef %1, pt
 
 316:                                              ; preds = %.lr.ph, %315
   %317 = phi ptr [ %313, %.lr.ph ], [ %.pre198, %315 ]
-  %318 = getelementptr inbounds i8, ptr %317, i64 1
+  %318 = getelementptr inbounds nuw i8, ptr %317, i64 1
   store ptr %318, ptr %9, align 8
   store i8 %311, ptr %317, align 1
   %319 = load i8, ptr %312, align 1
@@ -930,7 +930,7 @@ define i32 @CORD_vsprintf(ptr nocapture noundef writeonly %0, ptr noundef %1, pt
 
 435:                                              ; preds = %.lr.ph185, %434
   %436 = phi ptr [ %432, %.lr.ph185 ], [ %.pre202, %434 ]
-  %437 = getelementptr inbounds i8, ptr %436, i64 1
+  %437 = getelementptr inbounds nuw i8, ptr %436, i64 1
   store ptr %437, ptr %9, align 8
   store i8 %430, ptr %436, align 1
   %438 = load i8, ptr %431, align 1
@@ -954,7 +954,7 @@ define i32 @CORD_vsprintf(ptr nocapture noundef writeonly %0, ptr noundef %1, pt
 
 445:                                              ; preds = %441, %444
   %446 = phi ptr [ %442, %441 ], [ %.pre, %444 ]
-  %447 = getelementptr inbounds i8, ptr %446, i64 1
+  %447 = getelementptr inbounds nuw i8, ptr %446, i64 1
   store ptr %447, ptr %9, align 8
   store i8 %.in, ptr %446, align 1
   br label %.loopexit

diff --git a/bench/brotli/optimized/utf8_util.c.ll b/bench/brotli/optimized/utf8_util.c.ll
@@ -31,7 +31,7 @@ land.lhs.true.i:                                  ; preds = %if.end7.i
   br i1 %cmp13.i, label %land.lhs.true15.i, label %if.end32.i
 
 land.lhs.true15.i:                                ; preds = %land.lhs.true.i
-  %arrayidx16.i = getelementptr inbounds i8, ptr %arrayidx, i64 1
+  %arrayidx16.i = getelementptr inbounds nuw i8, ptr %arrayidx, i64 1
   %1 = load i8, ptr %arrayidx16.i, align 1
   %conv17.i = zext i8 %1 to i32
   %and18.i = and i32 %conv17.i, 192
@@ -56,15 +56,15 @@ land.lhs.true35.i:                                ; preds = %if.end32.i
   br i1 %cmp39.i, label %land.lhs.true41.i, label %if.end71.i
 
 land.lhs.true41.i:                                ; preds = %land.lhs.true35.i
-  %arrayidx42.i = getelementptr inbounds i8, ptr %arrayidx, i64 1
+  %arrayidx42.i = getelementptr inbounds nuw i8, ptr %arrayidx, i64 1
   %2 = load i8, ptr %arrayidx42.i, align 1
   %conv43.i = zext i8 %2 to i32
   %and44.i = and i32 %conv43.i, 192
   %cmp45.i = icmp eq i32 %and44.i, 128
   br i1 %cmp45.i, label %land.lhs.true47.i, label %if.end71.i
 
 land.lhs.true47.i:                                ; preds = %land.lhs.true41.i
-  %arrayidx48.i = getelementptr inbounds i8, ptr %arrayidx, i64 2
+  %arrayidx48.i = getelementptr inbounds nuw i8, ptr %arrayidx, i64 2
   %3 = load i8, ptr %arrayidx48.i, align 1
   %conv49.i = zext i8 %3 to i32
   %and50.i = and i32 %conv49.i, 192
@@ -90,23 +90,23 @@ if.end71.i:                                       ; preds = %if.then53.i, %land.
   br i1 %or.cond8, label %land.lhs.true80.i, label %if.end124.i
 
 land.lhs.true80.i:                                ; preds = %if.end71.i
-  %arrayidx81.i = getelementptr inbounds i8, ptr %arrayidx, i64 1
+  %arrayidx81.i = getelementptr inbounds nuw i8, ptr %arrayidx, i64 1
   %4 = load i8, ptr %arrayidx81.i, align 1
   %conv82.i = zext i8 %4 to i32
   %and83.i = and i32 %conv82.i, 192
   %cmp84.i = icmp eq i32 %and83.i, 128
   br i1 %cmp84.i, label %land.lhs.true86.i, label %if.end124.i
 
 land.lhs.true86.i:                                ; preds = %land.lhs.true80.i
-  %arrayidx87.i = getelementptr inbounds i8, ptr %arrayidx, i64 2
+  %arrayidx87.i = getelementptr inbounds nuw i8, ptr %arrayidx, i64 2
   %5 = load i8, ptr %arrayidx87.i, align 1
   %conv88.i = zext i8 %5 to i32
   %and89.i = and i32 %conv88.i, 192
   %cmp90.i = icmp eq i32 %and89.i, 128
   br i1 %cmp90.i, label %land.lhs.true92.i, label %if.end124.i
 
 land.lhs.true92.i:                                ; preds = %land.lhs.true86.i
-  %arrayidx93.i = getelementptr inbounds i8, ptr %arrayidx, i64 3
+  %arrayidx93.i = getelementptr inbounds nuw i8, ptr %arrayidx, i64 3
   %6 = load i8, ptr %arrayidx93.i, align 1
   %conv94.i = zext i8 %6 to i32
   %and95.i = and i32 %conv94.i, 192

diff --git a/bench/c3c/optimized/benchmark.c.ll b/bench/c3c/optimized/benchmark.c.ll
@@ -26,7 +26,7 @@ define dso_local double @bench_mark() local_unnamed_addr #0 {
   %5 = load i64, ptr %1, align 8
   %6 = sub nsw i64 %5, %2
   %7 = sitofp i64 %6 to double
-  %8 = getelementptr inbounds i8, ptr %1, i64 8
+  %8 = getelementptr inbounds nuw i8, ptr %1, i64 8
   %9 = load i64, ptr %8, align 8
   %10 = sub nsw i64 %9, %3
   %11 = sitofp i64 %10 to double
@@ -43,7 +43,7 @@ define dso_local double @benchmark(i64 %0, i64 %1) local_unnamed_addr #0 {
   %5 = load i64, ptr %3, align 8
   %6 = sub nsw i64 %5, %0
   %7 = sitofp i64 %6 to double
-  %8 = getelementptr inbounds i8, ptr %3, i64 8
+  %8 = getelementptr inbounds nuw i8, ptr %3, i64 8
   %9 = load i64, ptr %8, align 8
   %10 = sub nsw i64 %9, %1
   %11 = sitofp i64 %10 to double
@@ -58,7 +58,7 @@ define dso_local { i64, i64 } @benchstart() local_unnamed_addr #0 {
   %2 = call i32 @clock_gettime(i32 noundef 1, ptr noundef nonnull %1) #3
   %.fca.0.load = load i64, ptr %1, align 8
   %.fca.0.insert = insertvalue { i64, i64 } poison, i64 %.fca.0.load, 0
-  %.fca.1.gep = getelementptr inbounds i8, ptr %1, i64 8
+  %.fca.1.gep = getelementptr inbounds nuw i8, ptr %1, i64 8
   %.fca.1.load = load i64, ptr %.fca.1.gep, align 8
   %.fca.1.insert = insertvalue { i64, i64 } %.fca.0.insert, i64 %.fca.1.load, 1
   ret { i64, i64 } %.fca.1.insert