; LLVM IR from ERGO-Code/HiGHS :: src/ipm/ipx/iterate.ll (ZN3ipx7Iterate6UpdateEdPKdS2_S2_dS2_S2_S2_)

; Unoptimized IR (clang -disable-llvm-passes):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%"class.ipx::Iterate" = type { ptr, %"class.std::valarray", %"class.std::valarray", %"class.std::valarray", %"class.std::valarray", %"class.std::valarray", %"class.std::valarray", %"class.std::vector", %"class.std::valarray", %"class.std::valarray", %"class.std::valarray", %"class.std::valarray", double, double, double, double, double, double, double, double, double, i8, i8, double, double, double }
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<ipx::Iterate::StateDetail, std::allocator<ipx::Iterate::StateDetail>>::_Vector_impl" }
%"struct.std::_Vector_base<ipx::Iterate::StateDetail, std::allocator<ipx::Iterate::StateDetail>>::_Vector_impl" = type { %"struct.std::_Vector_base<ipx::Iterate::StateDetail, std::allocator<ipx::Iterate::StateDetail>>::_Vector_impl_data" }
%"struct.std::_Vector_base<ipx::Iterate::StateDetail, std::allocator<ipx::Iterate::StateDetail>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::valarray" = type { i64, ptr }

@_ZN3ipx7Iterate11kBarrierMinE = external dso_local constant double, align 8

; Function Attrs: nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #0

; Function Attrs: nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #0

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZNK3ipx5Model4rowsEv(ptr noundef nonnull align 8 dereferenceable(704)) #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZNK3ipx5Model4colsEv(ptr noundef nonnull align 8 dereferenceable(704)) #1 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16), i64 noundef) #2 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN3ipx7Iterate18assert_consistencyEv(ptr noundef nonnull align 8 dereferenceable(296)) #3 align 2

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN3ipx7Iterate6UpdateEdPKdS2_S2_dS2_S2_S2_(ptr noundef nonnull align 8 dereferenceable(296) %0, double noundef %1, ptr noundef %2, ptr noundef %3, ptr noundef %4, double noundef %5, ptr noundef %6, ptr noundef %7, ptr noundef %8) #3 align 2 {
  %10 = alloca ptr, align 8
  %11 = alloca double, align 8
  %12 = alloca ptr, align 8
  %13 = alloca ptr, align 8
  %14 = alloca ptr, align 8
  %15 = alloca double, align 8
  %16 = alloca ptr, align 8
  %17 = alloca ptr, align 8
  %18 = alloca ptr, align 8
  %19 = alloca i32, align 4
  %20 = alloca i32, align 4
  %21 = alloca i32, align 4
  %22 = alloca i32, align 4
  %23 = alloca i32, align 4
  %24 = alloca i32, align 4
  %25 = alloca i32, align 4
  %26 = alloca i32, align 4
  store ptr %0, ptr %10, align 8, !tbaa !5
  store double %1, ptr %11, align 8, !tbaa !9
  store ptr %2, ptr %12, align 8, !tbaa !5
  store ptr %3, ptr %13, align 8, !tbaa !5
  store ptr %4, ptr %14, align 8, !tbaa !5
  store double %5, ptr %15, align 8, !tbaa !9
  store ptr %6, ptr %16, align 8, !tbaa !5
  store ptr %7, ptr %17, align 8, !tbaa !5
  store ptr %8, ptr %18, align 8, !tbaa !5
  %27 = load ptr, ptr %10, align 8
  call void @llvm.lifetime.start.p0(i64 4, ptr %19) #5
  %28 = getelementptr inbounds %"class.ipx::Iterate", ptr %27, i32 0, i32 0
  %29 = load ptr, ptr %28, align 8, !tbaa !11
  %30 = call noundef i32 @_ZNK3ipx5Model4rowsEv(ptr noundef nonnull align 8 dereferenceable(704) %29)
  store i32 %30, ptr %19, align 4, !tbaa !20
  call void @llvm.lifetime.start.p0(i64 4, ptr %20) #5
  %31 = getelementptr inbounds %"class.ipx::Iterate", ptr %27, i32 0, i32 0
  %32 = load ptr, ptr %31, align 8, !tbaa !11
  %33 = call noundef i32 @_ZNK3ipx5Model4colsEv(ptr noundef nonnull align 8 dereferenceable(704) %32)
  store i32 %33, ptr %20, align 4, !tbaa !20
  %34 = load ptr, ptr %12, align 8, !tbaa !5
  %35 = icmp ne ptr %34, null
  br i1 %35, label %36, label %66

36:                                               ; preds = %9
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #5
  store i32 0, ptr %21, align 4, !tbaa !20
  br label %37

37:                                               ; preds = %62, %36
  %38 = load i32, ptr %21, align 4, !tbaa !20
  %39 = load i32, ptr %20, align 4, !tbaa !20
  %40 = load i32, ptr %19, align 4, !tbaa !20
  %41 = add nsw i32 %39, %40
  %42 = icmp slt i32 %38, %41
  br i1 %42, label %44, label %43

43:                                               ; preds = %37
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #5
  br label %65

44:                                               ; preds = %37
  %45 = load i32, ptr %21, align 4, !tbaa !20
  %46 = call noundef i32 @_ZNK3ipx7Iterate7StateOfEi(ptr noundef nonnull align 8 dereferenceable(296) %27, i32 noundef %45)
  %47 = icmp ne i32 %46, 0
  br i1 %47, label %48, label %61

48:                                               ; preds = %44
  %49 = load double, ptr %11, align 8, !tbaa !9
  %50 = load ptr, ptr %12, align 8, !tbaa !5
  %51 = load i32, ptr %21, align 4, !tbaa !20
  %52 = sext i32 %51 to i64
  %53 = getelementptr inbounds double, ptr %50, i64 %52
  %54 = load double, ptr %53, align 8, !tbaa !9
  %55 = getelementptr inbounds %"class.ipx::Iterate", ptr %27, i32 0, i32 1
  %56 = load i32, ptr %21, align 4, !tbaa !20
  %57 = sext i32 %56 to i64
  %58 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %55, i64 noundef %57) #5
  %59 = load double, ptr %58, align 8, !tbaa !9
  %60 = call double @llvm.fmuladd.f64(double %49, double %54, double %59)
  store double %60, ptr %58, align 8, !tbaa !9
  br label %61

61:                                               ; preds = %48, %44
  br label %62

62:                                               ; preds = %61
  %63 = load i32, ptr %21, align 4, !tbaa !20
  %64 = add nsw i32 %63, 1
  store i32 %64, ptr %21, align 4, !tbaa !20
  br label %37, !llvm.loop !22

65:                                               ; preds = %43
  br label %66

66:                                               ; preds = %65, %9
  %67 = load ptr, ptr %13, align 8, !tbaa !5
  %68 = icmp ne ptr %67, null
  br i1 %68, label %69, label %108

69:                                               ; preds = %66
  call void @llvm.lifetime.start.p0(i64 4, ptr %22) #5
  store i32 0, ptr %22, align 4, !tbaa !20
  br label %70

70:                                               ; preds = %104, %69
  %71 = load i32, ptr %22, align 4, !tbaa !20
  %72 = load i32, ptr %20, align 4, !tbaa !20
  %73 = load i32, ptr %19, align 4, !tbaa !20
  %74 = add nsw i32 %72, %73
  %75 = icmp slt i32 %71, %74
  br i1 %75, label %77, label %76

76:                                               ; preds = %70
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #5
  br label %107

77:                                               ; preds = %70
  %78 = load i32, ptr %22, align 4, !tbaa !20
  %79 = call noundef zeroext i1 @_ZNK3ipx7Iterate14has_barrier_lbEi(ptr noundef nonnull align 8 dereferenceable(296) %27, i32 noundef %78)
  br i1 %79, label %80, label %103

80:                                               ; preds = %77
  %81 = load double, ptr %11, align 8, !tbaa !9
  %82 = load ptr, ptr %13, align 8, !tbaa !5
  %83 = load i32, ptr %22, align 4, !tbaa !20
  %84 = sext i32 %83 to i64
  %85 = getelementptr inbounds double, ptr %82, i64 %84
  %86 = load double, ptr %85, align 8, !tbaa !9
  %87 = getelementptr inbounds %"class.ipx::Iterate", ptr %27, i32 0, i32 2
  %88 = load i32, ptr %22, align 4, !tbaa !20
  %89 = sext i32 %88 to i64
  %90 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %87, i64 noundef %89) #5
  %91 = load double, ptr %90, align 8, !tbaa !9
  %92 = call double @llvm.fmuladd.f64(double %81, double %86, double %91)
  store double %92, ptr %90, align 8, !tbaa !9
  %93 = getelementptr inbounds %"class.ipx::Iterate", ptr %27, i32 0, i32 2
  %94 = load i32, ptr %22, align 4, !tbaa !20
  %95 = sext i32 %94 to i64
  %96 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %93, i64 noundef %95) #5
  %97 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3maxIdERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8) %96, ptr noundef nonnull align 8 dereferenceable(8) @_ZN3ipx7Iterate11kBarrierMinE)
  %98 = load double, ptr %97, align 8, !tbaa !9
  %99 = getelementptr inbounds %"class.ipx::Iterate", ptr %27, i32 0, i32 2
  %100 = load i32, ptr %22, align 4, !tbaa !20
  %101 = sext i32 %100 to i64
  %102 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %99, i64 noundef %101) #5
  store double %98, ptr %102, align 8, !tbaa !9
  br label %103

103:                                              ; preds = %80, %77
  br label %104

104:                                              ; preds = %103
  %105 = load i32, ptr %22, align 4, !tbaa !20
  %106 = add nsw i32 %105, 1
  store i32 %106, ptr %22, align 4, !tbaa !20
  br label %70, !llvm.loop !24

107:                                              ; preds = %76
  br label %108

108:                                              ; preds = %107, %66
  %109 = load ptr, ptr %14, align 8, !tbaa !5
  %110 = icmp ne ptr %109, null
  br i1 %110, label %111, label %150

111:                                              ; preds = %108
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #5
  store i32 0, ptr %23, align 4, !tbaa !20
  br label %112

112:                                              ; preds = %146, %111
  %113 = load i32, ptr %23, align 4, !tbaa !20
  %114 = load i32, ptr %20, align 4, !tbaa !20
  %115 = load i32, ptr %19, align 4, !tbaa !20
  %116 = add nsw i32 %114, %115
  %117 = icmp slt i32 %113, %116
  br i1 %117, label %119, label %118

118:                                              ; preds = %112
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #5
  br label %149

119:                                              ; preds = %112
  %120 = load i32, ptr %23, align 4, !tbaa !20
  %121 = call noundef zeroext i1 @_ZNK3ipx7Iterate14has_barrier_ubEi(ptr noundef nonnull align 8 dereferenceable(296) %27, i32 noundef %120)
  br i1 %121, label %122, label %145

122:                                              ; preds = %119
  %123 = load double, ptr %11, align 8, !tbaa !9
  %124 = load ptr, ptr %14, align 8, !tbaa !5
  %125 = load i32, ptr %23, align 4, !tbaa !20
  %126 = sext i32 %125 to i64
  %127 = getelementptr inbounds double, ptr %124, i64 %126
  %128 = load double, ptr %127, align 8, !tbaa !9
  %129 = getelementptr inbounds %"class.ipx::Iterate", ptr %27, i32 0, i32 3
  %130 = load i32, ptr %23, align 4, !tbaa !20
  %131 = sext i32 %130 to i64
  %132 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %129, i64 noundef %131) #5
  %133 = load double, ptr %132, align 8, !tbaa !9
  %134 = call double @llvm.fmuladd.f64(double %123, double %128, double %133)
  store double %134, ptr %132, align 8, !tbaa !9
  %135 = getelementptr inbounds %"class.ipx::Iterate", ptr %27, i32 0, i32 3
  %136 = load i32, ptr %23, align 4, !tbaa !20
  %137 = sext i32 %136 to i64
  %138 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %135, i64 noundef %137) #5
  %139 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3maxIdERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8) %138, ptr noundef nonnull align 8 dereferenceable(8) @_ZN3ipx7Iterate11kBarrierMinE)
  %140 = load double, ptr %139, align 8, !tbaa !9
  %141 = getelementptr inbounds %"class.ipx::Iterate", ptr %27, i32 0, i32 3
  %142 = load i32, ptr %23, align 4, !tbaa !20
  %143 = sext i32 %142 to i64
  %144 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %141, i64 noundef %143) #5
  store double %140, ptr %144, align 8, !tbaa !9
  br label %145

145:                                              ; preds = %122, %119
  br label %146

146:                                              ; preds = %145
  %147 = load i32, ptr %23, align 4, !tbaa !20
  %148 = add nsw i32 %147, 1
  store i32 %148, ptr %23, align 4, !tbaa !20
  br label %112, !llvm.loop !25

149:                                              ; preds = %118
  br label %150

150:                                              ; preds = %149, %108
  %151 = load ptr, ptr %16, align 8, !tbaa !5
  %152 = icmp ne ptr %151, null
  br i1 %152, label %153, label %176

153:                                              ; preds = %150
  call void @llvm.lifetime.start.p0(i64 4, ptr %24) #5
  store i32 0, ptr %24, align 4, !tbaa !20
  br label %154

154:                                              ; preds = %172, %153
  %155 = load i32, ptr %24, align 4, !tbaa !20
  %156 = load i32, ptr %19, align 4, !tbaa !20
  %157 = icmp slt i32 %155, %156
  br i1 %157, label %159, label %158

158:                                              ; preds = %154
  call void @llvm.lifetime.end.p0(i64 4, ptr %24) #5
  br label %175

159:                                              ; preds = %154
  %160 = load double, ptr %15, align 8, !tbaa !9
  %161 = load ptr, ptr %16, align 8, !tbaa !5
  %162 = load i32, ptr %24, align 4, !tbaa !20
  %163 = sext i32 %162 to i64
  %164 = getelementptr inbounds double, ptr %161, i64 %163
  %165 = load double, ptr %164, align 8, !tbaa !9
  %166 = getelementptr inbounds %"class.ipx::Iterate", ptr %27, i32 0, i32 4
  %167 = load i32, ptr %24, align 4, !tbaa !20
  %168 = sext i32 %167 to i64
  %169 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %166, i64 noundef %168) #5
  %170 = load double, ptr %169, align 8, !tbaa !9
  %171 = call double @llvm.fmuladd.f64(double %160, double %165, double %170)
  store double %171, ptr %169, align 8, !tbaa !9
  br label %172

172:                                              ; preds = %159
  %173 = load i32, ptr %24, align 4, !tbaa !20
  %174 = add nsw i32 %173, 1
  store i32 %174, ptr %24, align 4, !tbaa !20
  br label %154, !llvm.loop !26

175:                                              ; preds = %158
  br label %176

176:                                              ; preds = %175, %150
  %177 = load ptr, ptr %17, align 8, !tbaa !5
  %178 = icmp ne ptr %177, null
  br i1 %178, label %179, label %218

179:                                              ; preds = %176
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #5
  store i32 0, ptr %25, align 4, !tbaa !20
  br label %180

180:                                              ; preds = %214, %179
  %181 = load i32, ptr %25, align 4, !tbaa !20
  %182 = load i32, ptr %20, align 4, !tbaa !20
  %183 = load i32, ptr %19, align 4, !tbaa !20
  %184 = add nsw i32 %182, %183
  %185 = icmp slt i32 %181, %184
  br i1 %185, label %187, label %186

186:                                              ; preds = %180
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #5
  br label %217

187:                                              ; preds = %180
  %188 = load i32, ptr %25, align 4, !tbaa !20
  %189 = call noundef zeroext i1 @_ZNK3ipx7Iterate14has_barrier_lbEi(ptr noundef nonnull align 8 dereferenceable(296) %27, i32 noundef %188)
  br i1 %189, label %190, label %213

190:                                              ; preds = %187
  %191 = load double, ptr %15, align 8, !tbaa !9
  %192 = load ptr, ptr %17, align 8, !tbaa !5
  %193 = load i32, ptr %25, align 4, !tbaa !20
  %194 = sext i32 %193 to i64
  %195 = getelementptr inbounds double, ptr %192, i64 %194
  %196 = load double, ptr %195, align 8, !tbaa !9
  %197 = getelementptr inbounds %"class.ipx::Iterate", ptr %27, i32 0, i32 5
  %198 = load i32, ptr %25, align 4, !tbaa !20
  %199 = sext i32 %198 to i64
  %200 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %197, i64 noundef %199) #5
  %201 = load double, ptr %200, align 8, !tbaa !9
  %202 = call double @llvm.fmuladd.f64(double %191, double %196, double %201)
  store double %202, ptr %200, align 8, !tbaa !9
  %203 = getelementptr inbounds %"class.ipx::Iterate", ptr %27, i32 0, i32 5
  %204 = load i32, ptr %25, align 4, !tbaa !20
  %205 = sext i32 %204 to i64
  %206 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %203, i64 noundef %205) #5
  %207 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3maxIdERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8) %206, ptr noundef nonnull align 8 dereferenceable(8) @_ZN3ipx7Iterate11kBarrierMinE)
  %208 = load double, ptr %207, align 8, !tbaa !9
  %209 = getelementptr inbounds %"class.ipx::Iterate", ptr %27, i32 0, i32 5
  %210 = load i32, ptr %25, align 4, !tbaa !20
  %211 = sext i32 %210 to i64
  %212 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %209, i64 noundef %211) #5
  store double %208, ptr %212, align 8, !tbaa !9
  br label %213

213:                                              ; preds = %190, %187
  br label %214

214:                                              ; preds = %213
  %215 = load i32, ptr %25, align 4, !tbaa !20
  %216 = add nsw i32 %215, 1
  store i32 %216, ptr %25, align 4, !tbaa !20
  br label %180, !llvm.loop !27

217:                                              ; preds = %186
  br label %218

218:                                              ; preds = %217, %176
  %219 = load ptr, ptr %18, align 8, !tbaa !5
  %220 = icmp ne ptr %219, null
  br i1 %220, label %221, label %260

221:                                              ; preds = %218
  call void @llvm.lifetime.start.p0(i64 4, ptr %26) #5
  store i32 0, ptr %26, align 4, !tbaa !20
  br label %222

222:                                              ; preds = %256, %221
  %223 = load i32, ptr %26, align 4, !tbaa !20
  %224 = load i32, ptr %20, align 4, !tbaa !20
  %225 = load i32, ptr %19, align 4, !tbaa !20
  %226 = add nsw i32 %224, %225
  %227 = icmp slt i32 %223, %226
  br i1 %227, label %229, label %228

228:                                              ; preds = %222
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #5
  br label %259

229:                                              ; preds = %222
  %230 = load i32, ptr %26, align 4, !tbaa !20
  %231 = call noundef zeroext i1 @_ZNK3ipx7Iterate14has_barrier_ubEi(ptr noundef nonnull align 8 dereferenceable(296) %27, i32 noundef %230)
  br i1 %231, label %232, label %255

232:                                              ; preds = %229
  %233 = load double, ptr %15, align 8, !tbaa !9
  %234 = load ptr, ptr %18, align 8, !tbaa !5
  %235 = load i32, ptr %26, align 4, !tbaa !20
  %236 = sext i32 %235 to i64
  %237 = getelementptr inbounds double, ptr %234, i64 %236
  %238 = load double, ptr %237, align 8, !tbaa !9
  %239 = getelementptr inbounds %"class.ipx::Iterate", ptr %27, i32 0, i32 6
  %240 = load i32, ptr %26, align 4, !tbaa !20
  %241 = sext i32 %240 to i64
  %242 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %239, i64 noundef %241) #5
  %243 = load double, ptr %242, align 8, !tbaa !9
  %244 = call double @llvm.fmuladd.f64(double %233, double %238, double %243)
  store double %244, ptr %242, align 8, !tbaa !9
  %245 = getelementptr inbounds %"class.ipx::Iterate", ptr %27, i32 0, i32 6
  %246 = load i32, ptr %26, align 4, !tbaa !20
  %247 = sext i32 %246 to i64
  %248 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %245, i64 noundef %247) #5
  %249 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3maxIdERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8) %248, ptr noundef nonnull align 8 dereferenceable(8) @_ZN3ipx7Iterate11kBarrierMinE)
  %250 = load double, ptr %249, align 8, !tbaa !9
  %251 = getelementptr inbounds %"class.ipx::Iterate", ptr %27, i32 0, i32 6
  %252 = load i32, ptr %26, align 4, !tbaa !20
  %253 = sext i32 %252 to i64
  %254 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %251, i64 noundef %253) #5
  store double %250, ptr %254, align 8, !tbaa !9
  br label %255

255:                                              ; preds = %232, %229
  br label %256

256:                                              ; preds = %255
  %257 = load i32, ptr %26, align 4, !tbaa !20
  %258 = add nsw i32 %257, 1
  store i32 %258, ptr %26, align 4, !tbaa !20
  br label %222, !llvm.loop !28

259:                                              ; preds = %228
  br label %260

260:                                              ; preds = %259, %218
  call void @_ZN3ipx7Iterate18assert_consistencyEv(ptr noundef nonnull align 8 dereferenceable(296) %27)
  %261 = getelementptr inbounds %"class.ipx::Iterate", ptr %27, i32 0, i32 21
  store i8 0, ptr %261, align 8, !tbaa !29
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #5
  ret void
}

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZNK3ipx7Iterate7StateOfEi(ptr noundef nonnull align 8 dereferenceable(296), i32 noundef) #2 align 2

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare double @llvm.fmuladd.f64(double, double, double) #4

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNK3ipx7Iterate14has_barrier_lbEi(ptr noundef nonnull align 8 dereferenceable(296), i32 noundef) #2 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3maxIdERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) #2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNK3ipx7Iterate14has_barrier_ubEi(ptr noundef nonnull align 8 dereferenceable(296), i32 noundef) #2 align 2

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { inlinehint mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #5 = { nounwind }

!llvm.module.flags = !{!0, !1, !2, !3}
!llvm.ident = !{!4}

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"double", !7, i64 0}
!11 = !{!12, !6, i64 0}
!12 = !{!"_ZTSN3ipx7IterateE", !6, i64 0, !13, i64 8, !13, i64 24, !13, i64 40, !13, i64 56, !13, i64 72, !13, i64 88, !15, i64 104, !13, i64 128, !13, i64 144, !13, i64 160, !13, i64 176, !10, i64 192, !10, i64 200, !10, i64 208, !10, i64 216, !10, i64 224, !10, i64 232, !10, i64 240, !10, i64 248, !10, i64 256, !19, i64 264, !19, i64 265, !10, i64 272, !10, i64 280, !10, i64 288}
!13 = !{!"_ZTSSt8valarrayIdE", !14, i64 0, !6, i64 8}
!14 = !{!"long", !7, i64 0}
!15 = !{!"_ZTSSt6vectorIN3ipx7Iterate11StateDetailESaIS2_EE", !16, i64 0}
!16 = !{!"_ZTSSt12_Vector_baseIN3ipx7Iterate11StateDetailESaIS2_EE", !17, i64 0}
!17 = !{!"_ZTSNSt12_Vector_baseIN3ipx7Iterate11StateDetailESaIS2_EE12_Vector_implE", !18, i64 0}
!18 = !{!"_ZTSNSt12_Vector_baseIN3ipx7Iterate11StateDetailESaIS2_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!19 = !{!"bool", !7, i64 0}
!20 = !{!21, !21, i64 0}
!21 = !{!"int", !7, i64 0}
!22 = distinct !{!22, !23}
!23 = !{!"llvm.loop.mustprogress"}
!24 = distinct !{!24, !23}
!25 = distinct !{!25, !23}
!26 = distinct !{!26, !23}
!27 = distinct !{!27, !23}
!28 = distinct !{!28, !23}
!29 = !{!12, !19, i64 264}


; Optimized IR (opt -passes='default<O3>'):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

@_ZN3ipx7Iterate11kBarrierMinE = external dso_local constant double, align 8

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZNK3ipx5Model4rowsEv(ptr noundef nonnull align 8 dereferenceable(704)) local_unnamed_addr #0 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZNK3ipx5Model4colsEv(ptr noundef nonnull align 8 dereferenceable(704)) local_unnamed_addr #0 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16), i64 noundef) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN3ipx7Iterate18assert_consistencyEv(ptr noundef nonnull align 8 dereferenceable(296)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN3ipx7Iterate6UpdateEdPKdS2_S2_dS2_S2_S2_(ptr noundef nonnull align 8 dereferenceable(296) %0, double noundef %1, ptr noundef readonly %2, ptr noundef readonly %3, ptr noundef readonly %4, double noundef %5, ptr noundef readonly %6, ptr noundef readonly %7, ptr noundef readonly %8) local_unnamed_addr #2 align 2 {
  %10 = load ptr, ptr %0, align 8, !tbaa !5
  %11 = tail call noundef i32 @_ZNK3ipx5Model4rowsEv(ptr noundef nonnull align 8 dereferenceable(704) %10)
  %12 = load ptr, ptr %0, align 8, !tbaa !5
  %13 = tail call noundef i32 @_ZNK3ipx5Model4colsEv(ptr noundef nonnull align 8 dereferenceable(704) %12)
  %.not = icmp eq ptr %2, null
  br i1 %.not, label %.loopexit92, label %.preheader91

.preheader91:                                     ; preds = %9
  %14 = add nsw i32 %13, %11
  %15 = icmp sgt i32 %14, 0
  br i1 %15, label %.lr.ph, label %.loopexit92

.lr.ph:                                           ; preds = %.preheader91
  %16 = getelementptr inbounds i8, ptr %0, i64 8
  %wide.trip.count = zext nneg i32 %14 to i64
  br label %17

17:                                               ; preds = %.lr.ph, %26
  %indvars.iv = phi i64 [ 0, %.lr.ph ], [ %indvars.iv.next, %26 ]
  %18 = trunc nuw nsw i64 %indvars.iv to i32
  %19 = tail call noundef i32 @_ZNK3ipx7Iterate7StateOfEi(ptr noundef nonnull align 8 dereferenceable(296) %0, i32 noundef %18)
  %.not82 = icmp eq i32 %19, 0
  br i1 %.not82, label %26, label %20

20:                                               ; preds = %17
  %21 = getelementptr inbounds double, ptr %2, i64 %indvars.iv
  %22 = load double, ptr %21, align 8, !tbaa !18
  %23 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %16, i64 noundef %indvars.iv) #4
  %24 = load double, ptr %23, align 8, !tbaa !18
  %25 = tail call double @llvm.fmuladd.f64(double %1, double %22, double %24)
  store double %25, ptr %23, align 8, !tbaa !18
  br label %26

26:                                               ; preds = %17, %20
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next, %wide.trip.count
  br i1 %exitcond.not, label %.loopexit92, label %17, !llvm.loop !19

.loopexit92:                                      ; preds = %26, %.preheader91, %9
  %.not77 = icmp eq ptr %3, null
  br i1 %.not77, label %.loopexit90, label %.preheader89

.preheader89:                                     ; preds = %.loopexit92
  %27 = add nsw i32 %13, %11
  %28 = icmp sgt i32 %27, 0
  br i1 %28, label %.lr.ph95, label %.loopexit90

.lr.ph95:                                         ; preds = %.preheader89
  %29 = getelementptr inbounds i8, ptr %0, i64 24
  %wide.trip.count108 = zext nneg i32 %27 to i64
  br label %30

30:                                               ; preds = %.lr.ph95, %43
  %indvars.iv105 = phi i64 [ 0, %.lr.ph95 ], [ %indvars.iv.next106, %43 ]
  %31 = trunc nuw nsw i64 %indvars.iv105 to i32
  %32 = tail call noundef zeroext i1 @_ZNK3ipx7Iterate14has_barrier_lbEi(ptr noundef nonnull align 8 dereferenceable(296) %0, i32 noundef %31)
  br i1 %32, label %33, label %43

33:                                               ; preds = %30
  %34 = getelementptr inbounds double, ptr %3, i64 %indvars.iv105
  %35 = load double, ptr %34, align 8, !tbaa !18
  %36 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %29, i64 noundef %indvars.iv105) #4
  %37 = load double, ptr %36, align 8, !tbaa !18
  %38 = tail call double @llvm.fmuladd.f64(double %1, double %35, double %37)
  store double %38, ptr %36, align 8, !tbaa !18
  %39 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %29, i64 noundef %indvars.iv105) #4
  %40 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3maxIdERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8) %39, ptr noundef nonnull align 8 dereferenceable(8) @_ZN3ipx7Iterate11kBarrierMinE)
  %41 = load double, ptr %40, align 8, !tbaa !18
  %42 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %29, i64 noundef %indvars.iv105) #4
  store double %41, ptr %42, align 8, !tbaa !18
  br label %43

43:                                               ; preds = %30, %33
  %indvars.iv.next106 = add nuw nsw i64 %indvars.iv105, 1
  %exitcond109.not = icmp eq i64 %indvars.iv.next106, %wide.trip.count108
  br i1 %exitcond109.not, label %.loopexit90, label %30, !llvm.loop !21

.loopexit90:                                      ; preds = %43, %.preheader89, %.loopexit92
  %.not78 = icmp eq ptr %4, null
  br i1 %.not78, label %.loopexit88, label %.preheader87

.preheader87:                                     ; preds = %.loopexit90
  %44 = add nsw i32 %13, %11
  %45 = icmp sgt i32 %44, 0
  br i1 %45, label %.lr.ph97, label %.loopexit88

.lr.ph97:                                         ; preds = %.preheader87
  %46 = getelementptr inbounds i8, ptr %0, i64 40
  %wide.trip.count113 = zext nneg i32 %44 to i64
  br label %47

47:                                               ; preds = %.lr.ph97, %60
  %indvars.iv110 = phi i64 [ 0, %.lr.ph97 ], [ %indvars.iv.next111, %60 ]
  %48 = trunc nuw nsw i64 %indvars.iv110 to i32
  %49 = tail call noundef zeroext i1 @_ZNK3ipx7Iterate14has_barrier_ubEi(ptr noundef nonnull align 8 dereferenceable(296) %0, i32 noundef %48)
  br i1 %49, label %50, label %60

50:                                               ; preds = %47
  %51 = getelementptr inbounds double, ptr %4, i64 %indvars.iv110
  %52 = load double, ptr %51, align 8, !tbaa !18
  %53 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %46, i64 noundef %indvars.iv110) #4
  %54 = load double, ptr %53, align 8, !tbaa !18
  %55 = tail call double @llvm.fmuladd.f64(double %1, double %52, double %54)
  store double %55, ptr %53, align 8, !tbaa !18
  %56 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %46, i64 noundef %indvars.iv110) #4
  %57 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3maxIdERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8) %56, ptr noundef nonnull align 8 dereferenceable(8) @_ZN3ipx7Iterate11kBarrierMinE)
  %58 = load double, ptr %57, align 8, !tbaa !18
  %59 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %46, i64 noundef %indvars.iv110) #4
  store double %58, ptr %59, align 8, !tbaa !18
  br label %60

60:                                               ; preds = %47, %50
  %indvars.iv.next111 = add nuw nsw i64 %indvars.iv110, 1
  %exitcond114.not = icmp eq i64 %indvars.iv.next111, %wide.trip.count113
  br i1 %exitcond114.not, label %.loopexit88, label %47, !llvm.loop !22

.loopexit88:                                      ; preds = %60, %.preheader87, %.loopexit90
  %.not79 = icmp ne ptr %6, null
  %61 = icmp sgt i32 %11, 0
  %or.cond = and i1 %.not79, %61
  br i1 %or.cond, label %.lr.ph99, label %.loopexit86

.lr.ph99:                                         ; preds = %.loopexit88
  %62 = getelementptr inbounds i8, ptr %0, i64 56
  %wide.trip.count118 = zext nneg i32 %11 to i64
  br label %63

63:                                               ; preds = %.lr.ph99, %63
  %indvars.iv115 = phi i64 [ 0, %.lr.ph99 ], [ %indvars.iv.next116, %63 ]
  %64 = getelementptr inbounds double, ptr %6, i64 %indvars.iv115
  %65 = load double, ptr %64, align 8, !tbaa !18
  %66 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %62, i64 noundef %indvars.iv115) #4
  %67 = load double, ptr %66, align 8, !tbaa !18
  %68 = tail call double @llvm.fmuladd.f64(double %5, double %65, double %67)
  store double %68, ptr %66, align 8, !tbaa !18
  %indvars.iv.next116 = add nuw nsw i64 %indvars.iv115, 1
  %exitcond119.not = icmp eq i64 %indvars.iv.next116, %wide.trip.count118
  br i1 %exitcond119.not, label %.loopexit86, label %63, !llvm.loop !23

.loopexit86:                                      ; preds = %63, %.loopexit88
  %.not80 = icmp eq ptr %7, null
  br i1 %.not80, label %.loopexit84, label %.preheader83

.preheader83:                                     ; preds = %.loopexit86
  %69 = add nsw i32 %13, %11
  %70 = icmp sgt i32 %69, 0
  br i1 %70, label %.lr.ph101, label %.loopexit84

.lr.ph101:                                        ; preds = %.preheader83
  %71 = getelementptr inbounds i8, ptr %0, i64 72
  %wide.trip.count123 = zext nneg i32 %69 to i64
  br label %72

72:                                               ; preds = %.lr.ph101, %85
  %indvars.iv120 = phi i64 [ 0, %.lr.ph101 ], [ %indvars.iv.next121, %85 ]
  %73 = trunc nuw nsw i64 %indvars.iv120 to i32
  %74 = tail call noundef zeroext i1 @_ZNK3ipx7Iterate14has_barrier_lbEi(ptr noundef nonnull align 8 dereferenceable(296) %0, i32 noundef %73)
  br i1 %74, label %75, label %85

75:                                               ; preds = %72
  %76 = getelementptr inbounds double, ptr %7, i64 %indvars.iv120
  %77 = load double, ptr %76, align 8, !tbaa !18
  %78 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %71, i64 noundef %indvars.iv120) #4
  %79 = load double, ptr %78, align 8, !tbaa !18
  %80 = tail call double @llvm.fmuladd.f64(double %5, double %77, double %79)
  store double %80, ptr %78, align 8, !tbaa !18
  %81 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %71, i64 noundef %indvars.iv120) #4
  %82 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3maxIdERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8) %81, ptr noundef nonnull align 8 dereferenceable(8) @_ZN3ipx7Iterate11kBarrierMinE)
  %83 = load double, ptr %82, align 8, !tbaa !18
  %84 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %71, i64 noundef %indvars.iv120) #4
  store double %83, ptr %84, align 8, !tbaa !18
  br label %85

85:                                               ; preds = %72, %75
  %indvars.iv.next121 = add nuw nsw i64 %indvars.iv120, 1
  %exitcond124.not = icmp eq i64 %indvars.iv.next121, %wide.trip.count123
  br i1 %exitcond124.not, label %.loopexit84, label %72, !llvm.loop !24

.loopexit84:                                      ; preds = %85, %.preheader83, %.loopexit86
  %.not81 = icmp eq ptr %8, null
  br i1 %.not81, label %.loopexit, label %.preheader

.preheader:                                       ; preds = %.loopexit84
  %86 = add nsw i32 %13, %11
  %87 = icmp sgt i32 %86, 0
  br i1 %87, label %.lr.ph103, label %.loopexit

.lr.ph103:                                        ; preds = %.preheader
  %88 = getelementptr inbounds i8, ptr %0, i64 88
  %wide.trip.count128 = zext nneg i32 %86 to i64
  br label %89

89:                                               ; preds = %.lr.ph103, %102
  %indvars.iv125 = phi i64 [ 0, %.lr.ph103 ], [ %indvars.iv.next126, %102 ]
  %90 = trunc nuw nsw i64 %indvars.iv125 to i32
  %91 = tail call noundef zeroext i1 @_ZNK3ipx7Iterate14has_barrier_ubEi(ptr noundef nonnull align 8 dereferenceable(296) %0, i32 noundef %90)
  br i1 %91, label %92, label %102

92:                                               ; preds = %89
  %93 = getelementptr inbounds double, ptr %8, i64 %indvars.iv125
  %94 = load double, ptr %93, align 8, !tbaa !18
  %95 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %88, i64 noundef %indvars.iv125) #4
  %96 = load double, ptr %95, align 8, !tbaa !18
  %97 = tail call double @llvm.fmuladd.f64(double %5, double %94, double %96)
  store double %97, ptr %95, align 8, !tbaa !18
  %98 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %88, i64 noundef %indvars.iv125) #4
  %99 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3maxIdERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8) %98, ptr noundef nonnull align 8 dereferenceable(8) @_ZN3ipx7Iterate11kBarrierMinE)
  %100 = load double, ptr %99, align 8, !tbaa !18
  %101 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %88, i64 noundef %indvars.iv125) #4
  store double %100, ptr %101, align 8, !tbaa !18
  br label %102

102:                                              ; preds = %89, %92
  %indvars.iv.next126 = add nuw nsw i64 %indvars.iv125, 1
  %exitcond129.not = icmp eq i64 %indvars.iv.next126, %wide.trip.count128
  br i1 %exitcond129.not, label %.loopexit, label %89, !llvm.loop !25

.loopexit:                                        ; preds = %102, %.preheader, %.loopexit84
  tail call void @_ZN3ipx7Iterate18assert_consistencyEv(ptr noundef nonnull align 8 dereferenceable(296) %0)
  %103 = getelementptr inbounds i8, ptr %0, i64 264
  store i8 0, ptr %103, align 8, !tbaa !26
  ret void
}

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZNK3ipx7Iterate7StateOfEi(ptr noundef nonnull align 8 dereferenceable(296), i32 noundef) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare double @llvm.fmuladd.f64(double, double, double) #3

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNK3ipx7Iterate14has_barrier_lbEi(ptr noundef nonnull align 8 dereferenceable(296), i32 noundef) local_unnamed_addr #1 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3maxIdERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #1

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNK3ipx7Iterate14has_barrier_ubEi(ptr noundef nonnull align 8 dereferenceable(296), i32 noundef) local_unnamed_addr #1 align 2

attributes #0 = { mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { inlinehint mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #4 = { nounwind }

!llvm.module.flags = !{!0, !1, !2, !3}
!llvm.ident = !{!4}

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !7, i64 0}
!6 = !{!"_ZTSN3ipx7IterateE", !7, i64 0, !10, i64 8, !10, i64 24, !10, i64 40, !10, i64 56, !10, i64 72, !10, i64 88, !12, i64 104, !10, i64 128, !10, i64 144, !10, i64 160, !10, i64 176, !16, i64 192, !16, i64 200, !16, i64 208, !16, i64 216, !16, i64 224, !16, i64 232, !16, i64 240, !16, i64 248, !16, i64 256, !17, i64 264, !17, i64 265, !16, i64 272, !16, i64 280, !16, i64 288}
!7 = !{!"any pointer", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C++ TBAA"}
!10 = !{!"_ZTSSt8valarrayIdE", !11, i64 0, !7, i64 8}
!11 = !{!"long", !8, i64 0}
!12 = !{!"_ZTSSt6vectorIN3ipx7Iterate11StateDetailESaIS2_EE", !13, i64 0}
!13 = !{!"_ZTSSt12_Vector_baseIN3ipx7Iterate11StateDetailESaIS2_EE", !14, i64 0}
!14 = !{!"_ZTSNSt12_Vector_baseIN3ipx7Iterate11StateDetailESaIS2_EE12_Vector_implE", !15, i64 0}
!15 = !{!"_ZTSNSt12_Vector_baseIN3ipx7Iterate11StateDetailESaIS2_EE17_Vector_impl_dataE", !7, i64 0, !7, i64 8, !7, i64 16}
!16 = !{!"double", !8, i64 0}
!17 = !{!"bool", !8, i64 0}
!18 = !{!16, !16, i64 0}
!19 = distinct !{!19, !20}
!20 = !{!"llvm.loop.mustprogress"}
!21 = distinct !{!21, !20}
!22 = distinct !{!22, !20}
!23 = distinct !{!23, !20}
!24 = distinct !{!24, !20}
!25 = distinct !{!25, !20}
!26 = !{!6, !17, i64 264}


; Effective O3 passes: EarlyCSEPass,GlobalOptPass,IndVarSimplifyPass,InferFunctionAttrsPass,InstCombinePass,JumpThreadingPass,LICMPass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,PostOrderFunctionAttrsPass,SROAPass,SimplifyCFGPass,TailCallElimPass