pre-commit: PR127437

bench/abc/optimized/abcUtil.ll

@@ -7752,7 +7752,7 @@ Vec_PtrFree.exit:                                 ; preds = %.lr.ph, %21
   %60 = lshr i32 %59, 4
   %61 = and i32 %60, 1
   %62 = xor i32 %61, 1
-  %spec.select = add i32 %62, %.0144
+  %spec.select = add nuw nsw i32 %62, %.0144
   %63 = or i32 %59, 16
   store i32 %63, ptr %58, align 4
   %64 = getelementptr inbounds nuw i8, ptr %.179145, i64 64

bench/abseil-cpp/optimized/container_test.ll

@@ -83695,7 +83695,7 @@ entry:
 for.body.i.i.i.i:                                 ; preds = %entry, %if.end.i.i.i.i
   %__parent.011.i.i.i.i = phi i64 [ %spec.select.i.i.i.i, %if.end.i.i.i.i ], [ 0, %entry ]
   %__child.010.i.i.i.i = phi i64 [ %inc11.i.i.i.i, %if.end.i.i.i.i ], [ 1, %entry ]
-  %add.ptr.i.i.i.i.i = getelementptr inbounds i32, ptr %call5.i.i.i.i2.i, i64 %__parent.011.i.i.i.i
+  %add.ptr.i.i.i.i.i = getelementptr inbounds nuw i32, ptr %call5.i.i.i.i2.i, i64 %__parent.011.i.i.i.i
   %add.ptr.i7.i.i.i.i = getelementptr inbounds nuw i32, ptr %call5.i.i.i.i2.i, i64 %__child.010.i.i.i.i
   %0 = load i32, ptr %add.ptr.i.i.i.i.i, align 4
   %1 = load i32, ptr %add.ptr.i7.i.i.i.i, align 4
@@ -83705,7 +83705,7 @@ for.body.i.i.i.i:                                 ; preds = %entry, %if.end.i.i.
 if.end.i.i.i.i:                                   ; preds = %for.body.i.i.i.i
   %and.i.i.i.i = and i64 %__child.010.i.i.i.i, 1
   %2 = xor i64 %and.i.i.i.i, 1
-  %spec.select.i.i.i.i = add i64 %2, %__parent.011.i.i.i.i
+  %spec.select.i.i.i.i = add nuw nsw i64 %2, %__parent.011.i.i.i.i
   %inc11.i.i.i.i = add nuw nsw i64 %__child.010.i.i.i.i, 1
   %exitcond.not.i.i.i.i = icmp eq i64 %inc11.i.i.i.i, 3
   br i1 %exitcond.not.i.i.i.i, label %invoke.cont6.thread, label %for.body.i.i.i.i, !llvm.loop !1876
@@ -83838,7 +83838,7 @@ invoke.cont23:                                    ; preds = %_ZN7testing15Assert
 for.body.i.i.i.i43:                               ; preds = %invoke.cont23, %if.end.i.i.i.i49
   %__parent.011.i.i.i.i44 = phi i64 [ %spec.select.i.i.i.i51, %if.end.i.i.i.i49 ], [ 0, %invoke.cont23 ]
   %__child.010.i.i.i.i45 = phi i64 [ %inc11.i.i.i.i52, %if.end.i.i.i.i49 ], [ 1, %invoke.cont23 ]
-  %add.ptr.i.i.i.i.i46 = getelementptr inbounds i32, ptr %14, i64 %__parent.011.i.i.i.i44
+  %add.ptr.i.i.i.i.i46 = getelementptr inbounds nuw i32, ptr %14, i64 %__parent.011.i.i.i.i44
   %add.ptr.i7.i.i.i.i47 = getelementptr inbounds nuw i32, ptr %14, i64 %__child.010.i.i.i.i45
   %16 = load i32, ptr %add.ptr.i.i.i.i.i46, align 4
   %17 = load i32, ptr %add.ptr.i7.i.i.i.i47, align 4
@@ -83848,7 +83848,7 @@ for.body.i.i.i.i43:                               ; preds = %invoke.cont23, %if.
 if.end.i.i.i.i49:                                 ; preds = %for.body.i.i.i.i43
   %and.i.i.i.i50 = and i64 %__child.010.i.i.i.i45, 1
   %18 = xor i64 %and.i.i.i.i50, 1
-  %spec.select.i.i.i.i51 = add i64 %18, %__parent.011.i.i.i.i44
+  %spec.select.i.i.i.i51 = add nuw nsw i64 %18, %__parent.011.i.i.i.i44
   %inc11.i.i.i.i52 = add nuw nsw i64 %__child.010.i.i.i.i45, 1
   %exitcond.not.i.i.i.i53 = icmp eq i64 %inc11.i.i.i.i52, %sub.ptr.div.i.i.i.i.i.i38
   br i1 %exitcond.not.i.i.i.i53, label %invoke.cont26, label %for.body.i.i.i.i43, !llvm.loop !1876
@@ -84040,7 +84040,7 @@ invoke.cont55.thread:                             ; preds = %invoke.cont51
 for.body.i.i.i:                                   ; preds = %invoke.cont51, %if.end.i.i.i
   %__parent.011.i.i.i = phi i64 [ %spec.select.i.i.i, %if.end.i.i.i ], [ 0, %invoke.cont51 ]
   %__child.010.i.i.i = phi i64 [ %inc11.i.i.i, %if.end.i.i.i ], [ 1, %invoke.cont51 ]
-  %add.ptr.i.i.i.i82 = getelementptr inbounds i32, ptr %33, i64 %__parent.011.i.i.i
+  %add.ptr.i.i.i.i82 = getelementptr inbounds nuw i32, ptr %33, i64 %__parent.011.i.i.i
   %add.ptr.i7.i.i.i = getelementptr inbounds nuw i32, ptr %33, i64 %__child.010.i.i.i
   %34 = load i32, ptr %add.ptr.i.i.i.i82, align 4
   %35 = load i32, ptr %add.ptr.i7.i.i.i, align 4
@@ -84050,7 +84050,7 @@ for.body.i.i.i:                                   ; preds = %invoke.cont51, %if.
 if.end.i.i.i:                                     ; preds = %for.body.i.i.i
   %and.i.i.i = and i64 %__child.010.i.i.i, 1
   %36 = xor i64 %and.i.i.i, 1
-  %spec.select.i.i.i = add i64 %36, %__parent.011.i.i.i
+  %spec.select.i.i.i = add nuw nsw i64 %36, %__parent.011.i.i.i
   %inc11.i.i.i = add nuw nsw i64 %__child.010.i.i.i, 1
   %exitcond.not.i.i.i = icmp eq i64 %inc11.i.i.i, %sub.ptr.div.i.i.i.i.i80
   br i1 %exitcond.not.i.i.i, label %invoke.cont55, label %for.body.i.i.i, !llvm.loop !1877
@@ -84720,7 +84720,7 @@ _ZN7testing15AssertionResultD2Ev.exit209:         ; preds = %if.end150, %_ZNKSt1
 for.body.i.i.i.i219:                              ; preds = %_ZN7testing15AssertionResultD2Ev.exit209, %if.end.i.i.i.i225
   %__parent.011.i.i.i.i220 = phi i64 [ %spec.select.i.i.i.i227, %if.end.i.i.i.i225 ], [ 0, %_ZN7testing15AssertionResultD2Ev.exit209 ]
   %__child.010.i.i.i.i221 = phi i64 [ %inc11.i.i.i.i228, %if.end.i.i.i.i225 ], [ 1, %_ZN7testing15AssertionResultD2Ev.exit209 ]
-  %add.ptr.i.i.i.i.i222 = getelementptr inbounds i32, ptr %107, i64 %__parent.011.i.i.i.i220
+  %add.ptr.i.i.i.i.i222 = getelementptr inbounds nuw i32, ptr %107, i64 %__parent.011.i.i.i.i220
   %add.ptr.i7.i.i.i.i223 = getelementptr inbounds nuw i32, ptr %107, i64 %__child.010.i.i.i.i221
   %109 = load i32, ptr %add.ptr.i.i.i.i.i222, align 4
   %110 = load i32, ptr %add.ptr.i7.i.i.i.i223, align 4
@@ -84730,7 +84730,7 @@ for.body.i.i.i.i219:                              ; preds = %_ZN7testing15Assert
 if.end.i.i.i.i225:                                ; preds = %for.body.i.i.i.i219
   %and.i.i.i.i226 = and i64 %__child.010.i.i.i.i221, 1
   %111 = xor i64 %and.i.i.i.i226, 1
-  %spec.select.i.i.i.i227 = add i64 %111, %__parent.011.i.i.i.i220
+  %spec.select.i.i.i.i227 = add nuw nsw i64 %111, %__parent.011.i.i.i.i220
   %inc11.i.i.i.i228 = add nuw nsw i64 %__child.010.i.i.i.i221, 1
   %exitcond.not.i.i.i.i229 = icmp eq i64 %inc11.i.i.i.i228, %sub.ptr.div.i.i.i.i.i.i214
   br i1 %exitcond.not.i.i.i.i229, label %invoke.cont154, label %for.body.i.i.i.i219, !llvm.loop !1876
@@ -84965,7 +84965,7 @@ entry:
 for.body.i.i.i:                                   ; preds = %entry, %if.end.i.i.i
   %__parent.011.i.i.i = phi i64 [ %spec.select.i.i.i, %if.end.i.i.i ], [ 0, %entry ]
   %__child.010.i.i.i = phi i64 [ %inc11.i.i.i, %if.end.i.i.i ], [ 1, %entry ]
-  %add.ptr.i.i.i.i = getelementptr inbounds i32, ptr %call5.i.i.i.i2.i, i64 %__parent.011.i.i.i
+  %add.ptr.i.i.i.i = getelementptr inbounds nuw i32, ptr %call5.i.i.i.i2.i, i64 %__parent.011.i.i.i
   %add.ptr.i7.i.i.i = getelementptr inbounds nuw i32, ptr %call5.i.i.i.i2.i, i64 %__child.010.i.i.i
   %0 = load i32, ptr %add.ptr.i.i.i.i, align 4
   %1 = load i32, ptr %add.ptr.i7.i.i.i, align 4
@@ -84975,7 +84975,7 @@ for.body.i.i.i:                                   ; preds = %entry, %if.end.i.i.
 if.end.i.i.i:                                     ; preds = %for.body.i.i.i
   %and.i.i.i = and i64 %__child.010.i.i.i, 1
   %2 = xor i64 %and.i.i.i, 1
-  %spec.select.i.i.i = add i64 %2, %__parent.011.i.i.i
+  %spec.select.i.i.i = add nuw nsw i64 %2, %__parent.011.i.i.i
   %inc11.i.i.i = add nuw nsw i64 %__child.010.i.i.i, 1
   %exitcond.not.i.i.i = icmp eq i64 %inc11.i.i.i, 3
   br i1 %exitcond.not.i.i.i, label %invoke.cont7.thread, label %for.body.i.i.i, !llvm.loop !1888
@@ -85108,7 +85108,7 @@ invoke.cont25:                                    ; preds = %_ZN7testing15Assert
 for.body.i.i.i42:                                 ; preds = %invoke.cont25, %if.end.i.i.i48
   %__parent.011.i.i.i43 = phi i64 [ %spec.select.i.i.i50, %if.end.i.i.i48 ], [ 0, %invoke.cont25 ]
   %__child.010.i.i.i44 = phi i64 [ %inc11.i.i.i51, %if.end.i.i.i48 ], [ 1, %invoke.cont25 ]
-  %add.ptr.i.i.i.i45 = getelementptr inbounds i32, ptr %14, i64 %__parent.011.i.i.i43
+  %add.ptr.i.i.i.i45 = getelementptr inbounds nuw i32, ptr %14, i64 %__parent.011.i.i.i43
   %add.ptr.i7.i.i.i46 = getelementptr inbounds nuw i32, ptr %14, i64 %__child.010.i.i.i44
   %16 = load i32, ptr %add.ptr.i.i.i.i45, align 4
   %17 = load i32, ptr %add.ptr.i7.i.i.i46, align 4
@@ -85118,7 +85118,7 @@ for.body.i.i.i42:                                 ; preds = %invoke.cont25, %if.
 if.end.i.i.i48:                                   ; preds = %for.body.i.i.i42
   %and.i.i.i49 = and i64 %__child.010.i.i.i44, 1
   %18 = xor i64 %and.i.i.i49, 1
-  %spec.select.i.i.i50 = add i64 %18, %__parent.011.i.i.i43
+  %spec.select.i.i.i50 = add nuw nsw i64 %18, %__parent.011.i.i.i43
   %inc11.i.i.i51 = add nuw nsw i64 %__child.010.i.i.i44, 1
   %exitcond.not.i.i.i52 = icmp eq i64 %inc11.i.i.i51, %sub.ptr.div.i.i.i.i.i38
   br i1 %exitcond.not.i.i.i52, label %invoke.cont29.thread, label %for.body.i.i.i42, !llvm.loop !1888
@@ -85315,7 +85315,7 @@ invoke.cont59.thread:                             ; preds = %invoke.cont54
 for.body.i.i.i87:                                 ; preds = %invoke.cont54, %if.end.i.i.i93
   %__parent.011.i.i.i88 = phi i64 [ %spec.select.i.i.i95, %if.end.i.i.i93 ], [ 0, %invoke.cont54 ]
   %__child.010.i.i.i89 = phi i64 [ %inc11.i.i.i96, %if.end.i.i.i93 ], [ 1, %invoke.cont54 ]
-  %add.ptr.i.i.i.i90 = getelementptr inbounds i32, ptr %33, i64 %__parent.011.i.i.i88
+  %add.ptr.i.i.i.i90 = getelementptr inbounds nuw i32, ptr %33, i64 %__parent.011.i.i.i88
   %add.ptr.i7.i.i.i91 = getelementptr inbounds nuw i32, ptr %33, i64 %__child.010.i.i.i89
   %34 = load i32, ptr %add.ptr.i.i.i.i90, align 4
   %35 = load i32, ptr %add.ptr.i7.i.i.i91, align 4
@@ -85325,7 +85325,7 @@ for.body.i.i.i87:                                 ; preds = %invoke.cont54, %if.
 if.end.i.i.i93:                                   ; preds = %for.body.i.i.i87
   %and.i.i.i94 = and i64 %__child.010.i.i.i89, 1
   %36 = xor i64 %and.i.i.i94, 1
-  %spec.select.i.i.i95 = add i64 %36, %__parent.011.i.i.i88
+  %spec.select.i.i.i95 = add nuw nsw i64 %36, %__parent.011.i.i.i88
   %inc11.i.i.i96 = add nuw nsw i64 %__child.010.i.i.i89, 1
   %exitcond.not.i.i.i97 = icmp eq i64 %inc11.i.i.i96, %sub.ptr.div.i.i.i.i.i83
   br i1 %exitcond.not.i.i.i97, label %invoke.cont59, label %for.body.i.i.i87, !llvm.loop !1889
@@ -85995,7 +85995,7 @@ _ZN7testing15AssertionResultD2Ev.exit220:         ; preds = %if.end158, %_ZNKSt1
 for.body.i.i.i229:                                ; preds = %_ZN7testing15AssertionResultD2Ev.exit220, %if.end.i.i.i235
   %__parent.011.i.i.i230 = phi i64 [ %spec.select.i.i.i237, %if.end.i.i.i235 ], [ 0, %_ZN7testing15AssertionResultD2Ev.exit220 ]
   %__child.010.i.i.i231 = phi i64 [ %inc11.i.i.i238, %if.end.i.i.i235 ], [ 1, %_ZN7testing15AssertionResultD2Ev.exit220 ]
-  %add.ptr.i.i.i.i232 = getelementptr inbounds i32, ptr %107, i64 %__parent.011.i.i.i230
+  %add.ptr.i.i.i.i232 = getelementptr inbounds nuw i32, ptr %107, i64 %__parent.011.i.i.i230
   %add.ptr.i7.i.i.i233 = getelementptr inbounds nuw i32, ptr %107, i64 %__child.010.i.i.i231
   %109 = load i32, ptr %add.ptr.i.i.i.i232, align 4
   %110 = load i32, ptr %add.ptr.i7.i.i.i233, align 4
@@ -86005,7 +86005,7 @@ for.body.i.i.i229:                                ; preds = %_ZN7testing15Assert
 if.end.i.i.i235:                                  ; preds = %for.body.i.i.i229
   %and.i.i.i236 = and i64 %__child.010.i.i.i231, 1
   %111 = xor i64 %and.i.i.i236, 1
-  %spec.select.i.i.i237 = add i64 %111, %__parent.011.i.i.i230
+  %spec.select.i.i.i237 = add nuw nsw i64 %111, %__parent.011.i.i.i230
   %inc11.i.i.i238 = add nuw nsw i64 %__child.010.i.i.i231, 1
   %exitcond.not.i.i.i239 = icmp eq i64 %inc11.i.i.i238, %sub.ptr.div.i.i.i.i.i225
   br i1 %exitcond.not.i.i.i239, label %invoke.cont163.thread, label %for.body.i.i.i229, !llvm.loop !1888

bench/freetype/optimized/autofit.ll

@@ -7459,10 +7459,10 @@ select.unfold241.i:                               ; preds = %._crit_edge.thread.
   %312 = load i8, ptr %.2168.i, align 8, !tbaa !350
   %313 = and i8 %312, 1
   %314 = zext nneg i8 %313 to i32
-  %.2163.i = add i32 %.1162.i, %314
+  %.2163.i = add nuw nsw i32 %.1162.i, %314
   %315 = xor i8 %313, 1
   %316 = zext nneg i8 %315 to i32
-  %.2160.i = add i32 %.1159.i, %316
+  %.2160.i = add nuw nsw i32 %.1159.i, %316
   %317 = getelementptr inbounds nuw i8, ptr %.2168.i, i64 40
   %318 = load ptr, ptr %317, align 8, !tbaa !365
   %.not215.i = icmp eq ptr %318, null
@@ -10037,10 +10037,10 @@ select.unfold.i:                                  ; preds = %._crit_edge.i
   %166 = load i8, ptr %.3187.i, align 8, !tbaa !350
   %167 = and i8 %166, 1
   %168 = zext nneg i8 %167 to i32
-  %.1176.i = add i32 %.0175.i, %168
+  %.1176.i = add nuw nsw i32 %.0175.i, %168
   %169 = xor i8 %167, 1
   %170 = zext nneg i8 %169 to i32
-  %.1174.i = add i32 %.0173.i, %170
+  %.1174.i = add nuw nsw i32 %.0173.i, %170
   %171 = getelementptr inbounds nuw i8, ptr %.3187.i, i64 40
   %172 = load ptr, ptr %171, align 8, !tbaa !365
   %.not222.i = icmp eq ptr %172, null
@@ -10132,8 +10132,8 @@ select.unfold.i:                                  ; preds = %._crit_edge.i
 
 215:                                              ; preds = %212
   %216 = getelementptr inbounds nuw i8, ptr %.1178285.i, i64 24
-  %217 = icmp sgt i32 %.1176.i, 0
-  %.not228.i = icmp sge i32 %.1176.i, %.1174.i
+  %217 = icmp ne i32 %.1176.i, 0
+  %.not228.i = icmp samesign uge i32 %.1176.i, %.1174.i
   %or.cond242.not.i = select i1 %217, i1 %.not228.i, i1 false
   %spec.store.select244.i = zext i1 %or.cond242.not.i to i8
   store i8 %spec.store.select244.i, ptr %216, align 8

bench/gromacs/optimized/evaluate.ll

@@ -3368,8 +3368,8 @@ define void @_Z28_gmx_sel_evaluate_arithmeticP18gmx_sel_evaluate_tRKSt10shared_p
   %.05470.us = phi float [ %.155.us, %60 ], [ 0.000000e+00, %.lr.ph ]
   %42 = getelementptr inbounds nuw i8, ptr %41, i64 16
   %43 = load ptr, ptr %42, align 8
-  %44 = sext i32 %.04973.us to i64
-  %45 = getelementptr inbounds float, ptr %43, i64 %44
+  %44 = zext nneg i32 %.04973.us to i64
+  %45 = getelementptr inbounds nuw float, ptr %43, i64 %44
   %46 = load float, ptr %45, align 4
   %47 = load ptr, ptr %1, align 8
   %48 = getelementptr inbounds nuw i8, ptr %47, i64 48
@@ -3417,7 +3417,7 @@ define void @_Z28_gmx_sel_evaluate_arithmeticP18gmx_sel_evaluate_tRKSt10shared_p
   %67 = lshr i32 %66, 1
   %68 = and i32 %67, 1
   %69 = xor i32 %68, 1
-  %spec.select.us = add i32 %69, %.04973.us
+  %spec.select.us = add nuw nsw i32 %69, %.04973.us
   %indvars.iv.next78 = add nuw nsw i64 %indvars.iv77, 1
   %exitcond81.not = icmp eq i64 %indvars.iv.next78, %wide.trip.count80
   br i1 %exitcond81.not, label %._crit_edge, label %.lr.ph.split.us, !llvm.loop !19
@@ -3431,13 +3431,13 @@ define void @_Z28_gmx_sel_evaluate_arithmeticP18gmx_sel_evaluate_tRKSt10shared_p
   %.05470 = phi float [ 0.000000e+00, %.lr.ph.split.preheader ], [ %.155, %97 ]
   %72 = getelementptr inbounds nuw i8, ptr %71, i64 16
   %73 = load ptr, ptr %72, align 8
-  %74 = sext i32 %.04973 to i64
-  %75 = getelementptr inbounds float, ptr %73, i64 %74
+  %74 = zext nneg i32 %.04973 to i64
+  %75 = getelementptr inbounds nuw float, ptr %73, i64 %74
   %76 = load float, ptr %75, align 4
   %77 = getelementptr inbounds nuw i8, ptr %70, i64 16
   %78 = load ptr, ptr %77, align 8
-  %79 = sext i32 %.05072 to i64
-  %80 = getelementptr inbounds float, ptr %78, i64 %79
+  %79 = zext nneg i32 %.05072 to i64
+  %80 = getelementptr inbounds nuw float, ptr %78, i64 %79
   %81 = load float, ptr %80, align 4
   %82 = load ptr, ptr %1, align 8
   %83 = getelementptr inbounds nuw i8, ptr %82, i64 48
@@ -3489,14 +3489,14 @@ define void @_Z28_gmx_sel_evaluate_arithmeticP18gmx_sel_evaluate_tRKSt10shared_p
   %105 = lshr i32 %104, 1
   %106 = and i32 %105, 1
   %107 = xor i32 %106, 1
-  %spec.select = add i32 %107, %.04973
+  %spec.select = add nuw nsw i32 %107, %.04973
   %108 = load ptr, ptr %9, align 8
   %109 = getelementptr inbounds nuw i8, ptr %108, i64 40
   %110 = load i32, ptr %109, align 8
   %111 = lshr i32 %110, 1
   %112 = and i32 %111, 1
   %113 = xor i32 %112, 1
-  %spec.select60 = add i32 %113, %.05072
+  %spec.select60 = add nuw nsw i32 %113, %.05072
   %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
   %exitcond.not = icmp eq i64 %indvars.iv.next, %wide.trip.count80
   br i1 %exitcond.not, label %._crit_edge, label %.lr.ph.split, !llvm.loop !19

bench/gromacs/optimized/gmx_xpm2ps.ll

@@ -4802,7 +4802,7 @@ _ZSt8_DestroyIP9t_inpfileS0_EvT_S2_RSaIT0_E.exit.i90.i: ; preds = %_ZSt8_Destroy
   %328 = and i32 %327, 1
   %329 = getelementptr inbounds nuw i8, ptr %1, i64 4
   %330 = load i32, ptr %329, align 4
-  %331 = add i32 %330, %328
+  %331 = add nsw i32 %330, %328
   %332 = getelementptr inbounds nuw i8, ptr %1, i64 152
   %333 = load ptr, ptr %332, align 8
   %334 = load float, ptr %182, align 4
@@ -4831,7 +4831,7 @@ _ZSt8_DestroyIP9t_inpfileS0_EvT_S2_RSaIT0_E.exit.i90.i: ; preds = %_ZSt8_Destroy
   %347 = load i32, ptr %346, align 8
   %348 = lshr i32 %345, 1
   %349 = and i32 %348, 1
-  %350 = add i32 %347, %349
+  %350 = add nsw i32 %347, %349
   %351 = getelementptr inbounds nuw i8, ptr %1, i64 176
   %352 = load ptr, ptr %351, align 8
   %353 = load float, ptr %230, align 4
@@ -5425,14 +5425,14 @@ _ZL10box_dh_topbP7t_psrec.exit.i252:              ; preds = %629, %625
   %.not180.i = icmp eq i32 %642, 0
   %643 = getelementptr inbounds nuw i8, ptr %.sroa.0.0297.i, i64 4
   %644 = load i32, ptr %643, align 4
-  %.0172.i = add i32 %644, %642
+  %.0172.i = add nsw i32 %644, %642
   %.0167.i = select i1 %.not180.i, float 0x3FE3333340000000, float 0x3FB99999A0000000
   %645 = and i32 %641, 2
   %.not181.i = icmp eq i32 %645, 0
   %646 = getelementptr inbounds nuw i8, ptr %.sroa.0.0297.i, i64 8
   %647 = load i32, ptr %646, align 8
   %648 = lshr exact i32 %645, 1
-  %.0173.i = add i32 %647, %648
+  %.0173.i = add nsw i32 %647, %648
   %.0168.i = select i1 %.not181.i, float 0x3FE3333340000000, float 0x3FB99999A0000000
   %649 = sext i32 %.0172.i to i64
   %650 = invoke noundef ptr @_Z11save_callocPKcS0_imm(ptr noundef nonnull @.str.184, ptr noundef nonnull @.str.95, i32 noundef 403, i64 noundef range(i64 -2147483648, 2147483648) %649, i64 noundef 8)

bench/gromacs/optimized/trajectory.ll

@@ -533,15 +533,15 @@ define internal void @_ZN3gmx15analysismodules12_GLOBAL__N_110Trajectory15option
   %9 = load i8, ptr %.057.i.i.ptr, align 1
   %10 = and i8 %9, 1
   %11 = zext nneg i8 %10 to i64
-  %spec.select.i.i = add i64 %.08.i.i, %11
+  %spec.select.i.i = add nuw nsw i64 %.08.i.i, %11
   %.057.i.i.add = add nuw nsw i64 %.057.i.i.idx, 1
   %.not.i.i = icmp eq i64 %.057.i.i.add, 144
   br i1 %.not.i.i, label %_ZSt5countIPbbENSt15iterator_traitsIT_E15difference_typeES2_S2_RKT0_.exit, label %8, !llvm.loop !5
 
 _ZSt5countIPbbENSt15iterator_traitsIT_E15difference_typeES2_S2_RKT0_.exit: ; preds = %8
   %.ptr9 = getelementptr inbounds nuw i8, ptr %0, i64 140
-  %12 = icmp sgt i64 %spec.select.i.i, 0
-  br i1 %12, label %.preheader, label %.loopexit
+  %12 = icmp eq i64 %spec.select.i.i, 0
+  br i1 %12, label %.loopexit, label %.preheader
 
 .preheader:                                       ; preds = %_ZSt5countIPbbENSt15iterator_traitsIT_E15difference_typeES2_S2_RKT0_.exit
   %13 = getelementptr inbounds nuw i8, ptr %0, i64 136