; LLVM IR from sympiler/nasoq :: src/ldl (Parallel_update_simplicial)

; 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"

@.str = external hidden unnamed_addr constant [16 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [87 x i8], align 1
@__PRETTY_FUNCTION__._ZN5nasoq38update_ldl_parallel_left_simplicial_01EiPiS0_PdS0_S0_S0_S0_RS1_S1_S0_PbiS0_iS0_S0_ = external hidden unnamed_addr constant [174 x i8], align 1

; Function Attrs: mustprogress uwtable
define dso_local noundef i32 @_ZN5nasoq38update_ldl_parallel_left_simplicial_01EiPiS0_PdS0_S0_S0_S0_RS1_S1_S0_PbiS0_iS0_S0_(i32 noundef %0, ptr noundef %1, ptr noundef %2, ptr noundef %3, ptr noundef %4, ptr noundef %5, ptr noundef %6, ptr noundef %7, ptr noundef nonnull align 8 dereferenceable(8) %8, ptr noundef %9, ptr noundef %10, ptr noundef %11, i32 noundef %12, ptr noundef %13, i32 noundef %14, ptr noundef %15, ptr noundef %16) #0 {
  %18 = alloca i32, align 4
  %19 = alloca ptr, align 8
  %20 = alloca ptr, align 8
  %21 = alloca ptr, align 8
  %22 = alloca ptr, align 8
  %23 = alloca ptr, align 8
  %24 = alloca ptr, align 8
  %25 = alloca ptr, align 8
  %26 = alloca ptr, align 8
  %27 = alloca ptr, align 8
  %28 = alloca ptr, align 8
  %29 = alloca ptr, align 8
  %30 = alloca i32, align 4
  %31 = alloca ptr, align 8
  %32 = alloca i32, align 4
  %33 = alloca ptr, align 8
  %34 = alloca ptr, align 8
  %35 = alloca ptr, align 8
  %36 = alloca ptr, align 8
  %37 = alloca i32, align 4
  %38 = alloca i32, align 4
  %39 = alloca i32, align 4
  %40 = alloca i32, align 4
  %41 = alloca i32, align 4
  %42 = alloca i32, align 4
  %43 = alloca i32, align 4
  %44 = alloca i32, align 4
  %45 = alloca i32, align 4
  %46 = alloca i32, align 4
  %47 = alloca i8, align 1
  %48 = alloca double, align 8
  %49 = alloca double, align 8
  %50 = alloca i32, align 4
  %51 = alloca i32, align 4
  %52 = alloca i32, align 4
  %53 = alloca double, align 8
  %54 = alloca i32, align 4
  store i32 %0, ptr %18, align 4, !tbaa !5
  store ptr %1, ptr %19, align 8, !tbaa !9
  store ptr %2, ptr %20, align 8, !tbaa !9
  store ptr %3, ptr %21, align 8, !tbaa !9
  store ptr %4, ptr %22, align 8, !tbaa !9
  store ptr %5, ptr %23, align 8, !tbaa !9
  store ptr %6, ptr %24, align 8, !tbaa !9
  store ptr %7, ptr %25, align 8, !tbaa !9
  store ptr %8, ptr %26, align 8, !tbaa !9
  store ptr %9, ptr %27, align 8, !tbaa !9
  store ptr %10, ptr %28, align 8, !tbaa !9
  store ptr %11, ptr %29, align 8, !tbaa !9
  store i32 %12, ptr %30, align 4, !tbaa !5
  store ptr %13, ptr %31, align 8, !tbaa !9
  store i32 %14, ptr %32, align 4, !tbaa !5
  store ptr %15, ptr %33, align 8, !tbaa !9
  store ptr %16, ptr %34, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %35) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %36) #8
  call void @llvm.lifetime.start.p0(i64 4, ptr %37) #8
  store i32 0, ptr %37, align 4, !tbaa !5
  br label %55

55:                                               ; preds = %400, %17
  %56 = load i32, ptr %37, align 4, !tbaa !5
  %57 = load i32, ptr %30, align 4, !tbaa !5
  %58 = icmp slt i32 %56, %57
  br i1 %58, label %60, label %59

59:                                               ; preds = %55
  store i32 2, ptr %38, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %37) #8
  br label %403

60:                                               ; preds = %55
  call void @llvm.lifetime.start.p0(i64 4, ptr %39) #8
  %61 = load ptr, ptr %31, align 8, !tbaa !9
  %62 = load i32, ptr %37, align 4, !tbaa !5
  %63 = sext i32 %62 to i64
  %64 = getelementptr inbounds i32, ptr %61, i64 %63
  %65 = load i32, ptr %64, align 4, !tbaa !5
  store i32 %65, ptr %39, align 4, !tbaa !5
  br label %66

66:                                               ; preds = %396, %60
  %67 = load i32, ptr %39, align 4, !tbaa !5
  %68 = load ptr, ptr %31, align 8, !tbaa !9
  %69 = load i32, ptr %37, align 4, !tbaa !5
  %70 = add nsw i32 %69, 1
  %71 = sext i32 %70 to i64
  %72 = getelementptr inbounds i32, ptr %68, i64 %71
  %73 = load i32, ptr %72, align 4, !tbaa !5
  %74 = icmp slt i32 %67, %73
  br i1 %74, label %76, label %75

75:                                               ; preds = %66
  store i32 5, ptr %38, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %39) #8
  br label %399

76:                                               ; preds = %66
  %77 = load i32, ptr %18, align 4, !tbaa !5
  %78 = sext i32 %77 to i64
  %79 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %78, i64 8)
  %80 = extractvalue { i64, i1 } %79, 1
  %81 = extractvalue { i64, i1 } %79, 0
  %82 = select i1 %80, i64 -1, i64 %81
  %83 = call noalias noundef nonnull ptr @_Znam(i64 noundef %82) #9
  call void @llvm.memset.p0.i64(ptr align 8 %83, i8 0, i64 %82, i1 false)
  store ptr %83, ptr %35, align 8, !tbaa !9
  %84 = load i32, ptr %18, align 4, !tbaa !5
  %85 = mul nsw i32 2, %84
  %86 = sext i32 %85 to i64
  %87 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %86, i64 4)
  %88 = extractvalue { i64, i1 } %87, 1
  %89 = extractvalue { i64, i1 } %87, 0
  %90 = select i1 %88, i64 -1, i64 %89
  %91 = call noalias noundef nonnull ptr @_Znam(i64 noundef %90) #9
  call void @llvm.memset.p0.i64(ptr align 4 %91, i8 0, i64 %90, i1 false)
  store ptr %91, ptr %36, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %40) #8
  %92 = load ptr, ptr %33, align 8, !tbaa !9
  %93 = load i32, ptr %39, align 4, !tbaa !5
  %94 = sext i32 %93 to i64
  %95 = getelementptr inbounds i32, ptr %92, i64 %94
  %96 = load i32, ptr %95, align 4, !tbaa !5
  store i32 %96, ptr %40, align 4, !tbaa !5
  br label %97

97:                                               ; preds = %384, %76
  %98 = load i32, ptr %40, align 4, !tbaa !5
  %99 = load ptr, ptr %33, align 8, !tbaa !9
  %100 = load i32, ptr %39, align 4, !tbaa !5
  %101 = add nsw i32 %100, 1
  %102 = sext i32 %101 to i64
  %103 = getelementptr inbounds i32, ptr %99, i64 %102
  %104 = load i32, ptr %103, align 4, !tbaa !5
  %105 = icmp slt i32 %98, %104
  br i1 %105, label %107, label %106

106:                                              ; preds = %97
  store i32 8, ptr %38, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %40) #8
  br label %387

107:                                              ; preds = %97
  call void @llvm.lifetime.start.p0(i64 4, ptr %41) #8
  %108 = load ptr, ptr %34, align 8, !tbaa !9
  %109 = load i32, ptr %40, align 4, !tbaa !5
  %110 = sext i32 %109 to i64
  %111 = getelementptr inbounds i32, ptr %108, i64 %110
  %112 = load i32, ptr %111, align 4, !tbaa !5
  store i32 %112, ptr %41, align 4, !tbaa !5
  %113 = load ptr, ptr %29, align 8, !tbaa !9
  %114 = load i32, ptr %41, align 4, !tbaa !5
  %115 = sext i32 %114 to i64
  %116 = getelementptr inbounds i8, ptr %113, i64 %115
  %117 = load i8, ptr %116, align 1, !tbaa !11, !range !13, !noundef !14
  %118 = trunc i8 %117 to i1
  br i1 %118, label %120, label %119

119:                                              ; preds = %107
  store i32 10, ptr %38, align 4
  br label %381

120:                                              ; preds = %107
  call void @llvm.lifetime.start.p0(i64 4, ptr %42) #8
  store i32 0, ptr %42, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %43) #8
  store i32 0, ptr %43, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %44) #8
  %121 = load ptr, ptr %24, align 8, !tbaa !9
  %122 = load i32, ptr %41, align 4, !tbaa !5
  %123 = sext i32 %122 to i64
  %124 = getelementptr inbounds i32, ptr %121, i64 %123
  %125 = load i32, ptr %124, align 4, !tbaa !5
  store i32 %125, ptr %44, align 4, !tbaa !5
  br label %126

126:                                              ; preds = %142, %120
  %127 = load i32, ptr %44, align 4, !tbaa !5
  %128 = load ptr, ptr %24, align 8, !tbaa !9
  %129 = load i32, ptr %41, align 4, !tbaa !5
  %130 = add nsw i32 %129, 1
  %131 = sext i32 %130 to i64
  %132 = getelementptr inbounds i32, ptr %128, i64 %131
  %133 = load i32, ptr %132, align 4, !tbaa !5
  %134 = icmp slt i32 %127, %133
  br i1 %134, label %136, label %135

135:                                              ; preds = %126
  store i32 11, ptr %38, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %44) #8
  br label %145

136:                                              ; preds = %126
  %137 = load ptr, ptr %26, align 8, !tbaa !9
  %138 = load ptr, ptr %137, align 8, !tbaa !9
  %139 = load i32, ptr %44, align 4, !tbaa !5
  %140 = sext i32 %139 to i64
  %141 = getelementptr inbounds double, ptr %138, i64 %140
  store double 0.000000e+00, ptr %141, align 8, !tbaa !15
  br label %142

142:                                              ; preds = %136
  %143 = load i32, ptr %44, align 4, !tbaa !5
  %144 = add nsw i32 %143, 1
  store i32 %144, ptr %44, align 4, !tbaa !5
  br label %126, !llvm.loop !17

145:                                              ; preds = %135
  %146 = load ptr, ptr %27, align 8, !tbaa !9
  %147 = load i32, ptr %41, align 4, !tbaa !5
  %148 = sext i32 %147 to i64
  %149 = getelementptr inbounds double, ptr %146, i64 %148
  store double 0.000000e+00, ptr %149, align 8, !tbaa !15
  call void @llvm.lifetime.start.p0(i64 4, ptr %45) #8
  %150 = load ptr, ptr %19, align 8, !tbaa !9
  %151 = load i32, ptr %41, align 4, !tbaa !5
  %152 = sext i32 %151 to i64
  %153 = getelementptr inbounds i32, ptr %150, i64 %152
  %154 = load i32, ptr %153, align 4, !tbaa !5
  store i32 %154, ptr %45, align 4, !tbaa !5
  br label %155

155:                                              ; preds = %179, %145
  %156 = load i32, ptr %45, align 4, !tbaa !5
  %157 = load ptr, ptr %19, align 8, !tbaa !9
  %158 = load i32, ptr %41, align 4, !tbaa !5
  %159 = add nsw i32 %158, 1
  %160 = sext i32 %159 to i64
  %161 = getelementptr inbounds i32, ptr %157, i64 %160
  %162 = load i32, ptr %161, align 4, !tbaa !5
  %163 = icmp slt i32 %156, %162
  br i1 %163, label %165, label %164

164:                                              ; preds = %155
  store i32 14, ptr %38, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %45) #8
  br label %182

165:                                              ; preds = %155
  %166 = load ptr, ptr %21, align 8, !tbaa !9
  %167 = load i32, ptr %45, align 4, !tbaa !5
  %168 = sext i32 %167 to i64
  %169 = getelementptr inbounds double, ptr %166, i64 %168
  %170 = load double, ptr %169, align 8, !tbaa !15
  %171 = load ptr, ptr %35, align 8, !tbaa !9
  %172 = load ptr, ptr %20, align 8, !tbaa !9
  %173 = load i32, ptr %45, align 4, !tbaa !5
  %174 = sext i32 %173 to i64
  %175 = getelementptr inbounds i32, ptr %172, i64 %174
  %176 = load i32, ptr %175, align 4, !tbaa !5
  %177 = sext i32 %176 to i64
  %178 = getelementptr inbounds double, ptr %171, i64 %177
  store double %170, ptr %178, align 8, !tbaa !15
  br label %179

179:                                              ; preds = %165
  %180 = load i32, ptr %45, align 4, !tbaa !5
  %181 = add nsw i32 %180, 1
  store i32 %181, ptr %45, align 4, !tbaa !5
  br label %155, !llvm.loop !19

182:                                              ; preds = %164
  %183 = load i32, ptr %18, align 4, !tbaa !5
  %184 = load ptr, ptr %22, align 8, !tbaa !9
  %185 = load ptr, ptr %23, align 8, !tbaa !9
  %186 = load i32, ptr %41, align 4, !tbaa !5
  %187 = load ptr, ptr %28, align 8, !tbaa !9
  %188 = load ptr, ptr %36, align 8, !tbaa !9
  %189 = load ptr, ptr %36, align 8, !tbaa !9
  %190 = load i32, ptr %18, align 4, !tbaa !5
  %191 = sext i32 %190 to i64
  %192 = getelementptr inbounds i32, ptr %189, i64 %191
  %193 = call noundef i32 @_ZN5nasoq6ereachEiPiS0_iPKiS0_S0_(i32 noundef %183, ptr noundef %184, ptr noundef %185, i32 noundef %186, ptr noundef %187, ptr noundef %188, ptr noundef %192)
  store i32 %193, ptr %43, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %46) #8
  %194 = load i32, ptr %43, align 4, !tbaa !5
  store i32 %194, ptr %46, align 4, !tbaa !5
  br label %195

195:                                              ; preds = %299, %182
  %196 = load i32, ptr %46, align 4, !tbaa !5
  %197 = load i32, ptr %18, align 4, !tbaa !5
  %198 = icmp slt i32 %196, %197
  br i1 %198, label %200, label %199

199:                                              ; preds = %195
  store i32 17, ptr %38, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %46) #8
  br label %302

200:                                              ; preds = %195
  %201 = load ptr, ptr %36, align 8, !tbaa !9
  %202 = load i32, ptr %46, align 4, !tbaa !5
  %203 = sext i32 %202 to i64
  %204 = getelementptr inbounds i32, ptr %201, i64 %203
  %205 = load i32, ptr %204, align 4, !tbaa !5
  store i32 %205, ptr %42, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 1, ptr %47) #8
  store i8 0, ptr %47, align 1, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %48) #8
  store double 0.000000e+00, ptr %48, align 8, !tbaa !15
  call void @llvm.lifetime.start.p0(i64 8, ptr %49) #8
  store double 0.000000e+00, ptr %49, align 8, !tbaa !15
  call void @llvm.lifetime.start.p0(i64 4, ptr %50) #8
  store i32 -1, ptr %50, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %51) #8
  %206 = load ptr, ptr %24, align 8, !tbaa !9
  %207 = load i32, ptr %42, align 4, !tbaa !5
  %208 = sext i32 %207 to i64
  %209 = getelementptr inbounds i32, ptr %206, i64 %208
  %210 = load i32, ptr %209, align 4, !tbaa !5
  store i32 %210, ptr %51, align 4, !tbaa !5
  br label %211

211:                                              ; preds = %245, %200
  %212 = load i32, ptr %51, align 4, !tbaa !5
  %213 = load ptr, ptr %24, align 8, !tbaa !9
  %214 = load i32, ptr %42, align 4, !tbaa !5
  %215 = add nsw i32 %214, 1
  %216 = sext i32 %215 to i64
  %217 = getelementptr inbounds i32, ptr %213, i64 %216
  %218 = load i32, ptr %217, align 4, !tbaa !5
  %219 = icmp slt i32 %212, %218
  br i1 %219, label %221, label %220

220:                                              ; preds = %211
  store i32 20, ptr %38, align 4
  br label %248

221:                                              ; preds = %211
  %222 = load ptr, ptr %25, align 8, !tbaa !9
  %223 = load i32, ptr %51, align 4, !tbaa !5
  %224 = sext i32 %223 to i64
  %225 = getelementptr inbounds i32, ptr %222, i64 %224
  %226 = load i32, ptr %225, align 4, !tbaa !5
  %227 = load i32, ptr %41, align 4, !tbaa !5
  %228 = icmp eq i32 %226, %227
  br i1 %228, label %229, label %244

229:                                              ; preds = %221
  %230 = load ptr, ptr %26, align 8, !tbaa !9
  %231 = load ptr, ptr %230, align 8, !tbaa !9
  %232 = load i32, ptr %51, align 4, !tbaa !5
  %233 = sext i32 %232 to i64
  %234 = getelementptr inbounds double, ptr %231, i64 %233
  %235 = load double, ptr %234, align 8, !tbaa !15
  store double %235, ptr %48, align 8, !tbaa !15
  %236 = load double, ptr %48, align 8, !tbaa !15
  %237 = load ptr, ptr %27, align 8, !tbaa !9
  %238 = load i32, ptr %42, align 4, !tbaa !5
  %239 = sext i32 %238 to i64
  %240 = getelementptr inbounds double, ptr %237, i64 %239
  %241 = load double, ptr %240, align 8, !tbaa !15
  %242 = fmul double %236, %241
  store double %242, ptr %49, align 8, !tbaa !15
  %243 = load i32, ptr %51, align 4, !tbaa !5
  store i32 %243, ptr %50, align 4, !tbaa !5
  store i32 20, ptr %38, align 4
  br label %248

244:                                              ; preds = %221
  br label %245

245:                                              ; preds = %244
  %246 = load i32, ptr %51, align 4, !tbaa !5
  %247 = add nsw i32 %246, 1
  store i32 %247, ptr %51, align 4, !tbaa !5
  br label %211, !llvm.loop !20

248:                                              ; preds = %229, %220
  call void @llvm.lifetime.end.p0(i64 4, ptr %51) #8
  br label %249

249:                                              ; preds = %248
  %250 = load i32, ptr %50, align 4, !tbaa !5
  %251 = icmp sge i32 %250, 0
  br i1 %251, label %252, label %253

252:                                              ; preds = %249
  br label %255

253:                                              ; preds = %249
  call void @__assert_fail(ptr noundef @.str, ptr noundef @.str.1, i32 noundef 81, ptr noundef @__PRETTY_FUNCTION__._ZN5nasoq38update_ldl_parallel_left_simplicial_01EiPiS0_PdS0_S0_S0_S0_RS1_S1_S0_PbiS0_iS0_S0_) #10
  unreachable

254:                                              ; No predecessors!
  br label %255

255:                                              ; preds = %254, %252
  call void @llvm.lifetime.start.p0(i64 4, ptr %52) #8
  %256 = load i32, ptr %50, align 4, !tbaa !5
  %257 = add nsw i32 %256, 1
  store i32 %257, ptr %52, align 4, !tbaa !5
  br label %258

258:                                              ; preds = %287, %255
  %259 = load i32, ptr %52, align 4, !tbaa !5
  %260 = load ptr, ptr %24, align 8, !tbaa !9
  %261 = load i32, ptr %42, align 4, !tbaa !5
  %262 = add nsw i32 %261, 1
  %263 = sext i32 %262 to i64
  %264 = getelementptr inbounds i32, ptr %260, i64 %263
  %265 = load i32, ptr %264, align 4, !tbaa !5
  %266 = icmp slt i32 %259, %265
  br i1 %266, label %268, label %267

267:                                              ; preds = %258
  store i32 23, ptr %38, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %52) #8
  br label %290

268:                                              ; preds = %258
  %269 = load ptr, ptr %26, align 8, !tbaa !9
  %270 = load ptr, ptr %269, align 8, !tbaa !9
  %271 = load i32, ptr %52, align 4, !tbaa !5
  %272 = sext i32 %271 to i64
  %273 = getelementptr inbounds double, ptr %270, i64 %272
  %274 = load double, ptr %273, align 8, !tbaa !15
  %275 = load double, ptr %49, align 8, !tbaa !15
  %276 = load ptr, ptr %35, align 8, !tbaa !9
  %277 = load ptr, ptr %25, align 8, !tbaa !9
  %278 = load i32, ptr %52, align 4, !tbaa !5
  %279 = sext i32 %278 to i64
  %280 = getelementptr inbounds i32, ptr %277, i64 %279
  %281 = load i32, ptr %280, align 4, !tbaa !5
  %282 = sext i32 %281 to i64
  %283 = getelementptr inbounds double, ptr %276, i64 %282
  %284 = load double, ptr %283, align 8, !tbaa !15
  %285 = fneg double %274
  %286 = call double @llvm.fmuladd.f64(double %285, double %275, double %284)
  store double %286, ptr %283, align 8, !tbaa !15
  br label %287

287:                                              ; preds = %268
  %288 = load i32, ptr %52, align 4, !tbaa !5
  %289 = add nsw i32 %288, 1
  store i32 %289, ptr %52, align 4, !tbaa !5
  br label %258, !llvm.loop !21

290:                                              ; preds = %267
  %291 = load double, ptr %48, align 8, !tbaa !15
  %292 = load double, ptr %49, align 8, !tbaa !15
  %293 = load ptr, ptr %27, align 8, !tbaa !9
  %294 = load i32, ptr %41, align 4, !tbaa !5
  %295 = sext i32 %294 to i64
  %296 = getelementptr inbounds double, ptr %293, i64 %295
  %297 = load double, ptr %296, align 8, !tbaa !15
  %298 = call double @llvm.fmuladd.f64(double %291, double %292, double %297)
  store double %298, ptr %296, align 8, !tbaa !15
  call void @llvm.lifetime.end.p0(i64 4, ptr %50) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %49) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %48) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %47) #8
  br label %299

299:                                              ; preds = %290
  %300 = load i32, ptr %46, align 4, !tbaa !5
  %301 = add nsw i32 %300, 1
  store i32 %301, ptr %46, align 4, !tbaa !5
  br label %195, !llvm.loop !22

302:                                              ; preds = %199
  %303 = load ptr, ptr %35, align 8, !tbaa !9
  %304 = load i32, ptr %41, align 4, !tbaa !5
  %305 = sext i32 %304 to i64
  %306 = getelementptr inbounds double, ptr %303, i64 %305
  %307 = load double, ptr %306, align 8, !tbaa !15
  %308 = load ptr, ptr %27, align 8, !tbaa !9
  %309 = load i32, ptr %41, align 4, !tbaa !5
  %310 = sext i32 %309 to i64
  %311 = getelementptr inbounds double, ptr %308, i64 %310
  %312 = load double, ptr %311, align 8, !tbaa !15
  %313 = fsub double %307, %312
  %314 = load ptr, ptr %27, align 8, !tbaa !9
  %315 = load i32, ptr %41, align 4, !tbaa !5
  %316 = sext i32 %315 to i64
  %317 = getelementptr inbounds double, ptr %314, i64 %316
  store double %313, ptr %317, align 8, !tbaa !15
  call void @llvm.lifetime.start.p0(i64 8, ptr %53) #8
  %318 = load ptr, ptr %27, align 8, !tbaa !9
  %319 = load i32, ptr %41, align 4, !tbaa !5
  %320 = sext i32 %319 to i64
  %321 = getelementptr inbounds double, ptr %318, i64 %320
  %322 = load double, ptr %321, align 8, !tbaa !15
  store double %322, ptr %53, align 8, !tbaa !15
  %323 = load ptr, ptr %35, align 8, !tbaa !9
  %324 = load i32, ptr %41, align 4, !tbaa !5
  %325 = sext i32 %324 to i64
  %326 = getelementptr inbounds double, ptr %323, i64 %325
  store double 0.000000e+00, ptr %326, align 8, !tbaa !15
  %327 = load ptr, ptr %26, align 8, !tbaa !9
  %328 = load ptr, ptr %327, align 8, !tbaa !9
  %329 = load ptr, ptr %24, align 8, !tbaa !9
  %330 = load i32, ptr %41, align 4, !tbaa !5
  %331 = sext i32 %330 to i64
  %332 = getelementptr inbounds i32, ptr %329, i64 %331
  %333 = load i32, ptr %332, align 4, !tbaa !5
  %334 = sext i32 %333 to i64
  %335 = getelementptr inbounds double, ptr %328, i64 %334
  store double 1.000000e+00, ptr %335, align 8, !tbaa !15
  call void @llvm.lifetime.start.p0(i64 4, ptr %54) #8
  %336 = load ptr, ptr %24, align 8, !tbaa !9
  %337 = load i32, ptr %41, align 4, !tbaa !5
  %338 = sext i32 %337 to i64
  %339 = getelementptr inbounds i32, ptr %336, i64 %338
  %340 = load i32, ptr %339, align 4, !tbaa !5
  %341 = add nsw i32 %340, 1
  store i32 %341, ptr %54, align 4, !tbaa !5
  br label %342

342:                                              ; preds = %377, %302
  %343 = load i32, ptr %54, align 4, !tbaa !5
  %344 = load ptr, ptr %24, align 8, !tbaa !9
  %345 = load i32, ptr %41, align 4, !tbaa !5
  %346 = add nsw i32 %345, 1
  %347 = sext i32 %346 to i64
  %348 = getelementptr inbounds i32, ptr %344, i64 %347
  %349 = load i32, ptr %348, align 4, !tbaa !5
  %350 = icmp slt i32 %343, %349
  br i1 %350, label %352, label %351

351:                                              ; preds = %342
  store i32 26, ptr %38, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %54) #8
  br label %380

352:                                              ; preds = %342
  %353 = load ptr, ptr %35, align 8, !tbaa !9
  %354 = load ptr, ptr %25, align 8, !tbaa !9
  %355 = load i32, ptr %54, align 4, !tbaa !5
  %356 = sext i32 %355 to i64
  %357 = getelementptr inbounds i32, ptr %354, i64 %356
  %358 = load i32, ptr %357, align 4, !tbaa !5
  %359 = sext i32 %358 to i64
  %360 = getelementptr inbounds double, ptr %353, i64 %359
  %361 = load double, ptr %360, align 8, !tbaa !15
  %362 = load double, ptr %53, align 8, !tbaa !15
  %363 = fdiv double %361, %362
  %364 = load ptr, ptr %26, align 8, !tbaa !9
  %365 = load ptr, ptr %364, align 8, !tbaa !9
  %366 = load i32, ptr %54, align 4, !tbaa !5
  %367 = sext i32 %366 to i64
  %368 = getelementptr inbounds double, ptr %365, i64 %367
  store double %363, ptr %368, align 8, !tbaa !15
  %369 = load ptr, ptr %35, align 8, !tbaa !9
  %370 = load ptr, ptr %25, align 8, !tbaa !9
  %371 = load i32, ptr %54, align 4, !tbaa !5
  %372 = sext i32 %371 to i64
  %373 = getelementptr inbounds i32, ptr %370, i64 %372
  %374 = load i32, ptr %373, align 4, !tbaa !5
  %375 = sext i32 %374 to i64
  %376 = getelementptr inbounds double, ptr %369, i64 %375
  store double 0.000000e+00, ptr %376, align 8, !tbaa !15
  br label %377

377:                                              ; preds = %352
  %378 = load i32, ptr %54, align 4, !tbaa !5
  %379 = add nsw i32 %378, 1
  store i32 %379, ptr %54, align 4, !tbaa !5
  br label %342, !llvm.loop !23

380:                                              ; preds = %351
  call void @llvm.lifetime.end.p0(i64 8, ptr %53) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %43) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %42) #8
  store i32 0, ptr %38, align 4
  br label %381

381:                                              ; preds = %380, %119
  call void @llvm.lifetime.end.p0(i64 4, ptr %41) #8
  %382 = load i32, ptr %38, align 4
  switch i32 %382, label %404 [
    i32 0, label %383
    i32 10, label %384
  ]

383:                                              ; preds = %381
  br label %384

384:                                              ; preds = %383, %381
  %385 = load i32, ptr %40, align 4, !tbaa !5
  %386 = add nsw i32 %385, 1
  store i32 %386, ptr %40, align 4, !tbaa !5
  br label %97, !llvm.loop !24

387:                                              ; preds = %106
  %388 = load ptr, ptr %35, align 8, !tbaa !9
  %389 = icmp eq ptr %388, null
  br i1 %389, label %391, label %390

390:                                              ; preds = %387
  call void @_ZdaPv(ptr noundef %388) #11
  br label %391

391:                                              ; preds = %390, %387
  %392 = load ptr, ptr %36, align 8, !tbaa !9
  %393 = icmp eq ptr %392, null
  br i1 %393, label %395, label %394

394:                                              ; preds = %391
  call void @_ZdaPv(ptr noundef %392) #11
  br label %395

395:                                              ; preds = %394, %391
  br label %396

396:                                              ; preds = %395
  %397 = load i32, ptr %39, align 4, !tbaa !5
  %398 = add nsw i32 %397, 1
  store i32 %398, ptr %39, align 4, !tbaa !5
  br label %66, !llvm.loop !25

399:                                              ; preds = %75
  br label %400

400:                                              ; preds = %399
  %401 = load i32, ptr %37, align 4, !tbaa !5
  %402 = add nsw i32 %401, 1
  store i32 %402, ptr %37, align 4, !tbaa !5
  br label %55, !llvm.loop !26

403:                                              ; preds = %59
  store i32 1, ptr %38, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %36) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #8
  ret i32 1

404:                                              ; preds = %381
  unreachable
}

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

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare { i64, i1 } @llvm.umul.with.overflow.i64(i64, i64) #2

; Function Attrs: nobuiltin allocsize(0)
declare noundef nonnull ptr @_Znam(i64 noundef) #3

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #4

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

declare noundef i32 @_ZN5nasoq6ereachEiPiS0_iPKiS0_S0_(i32 noundef, ptr noundef, ptr noundef, i32 noundef, ptr noundef, ptr noundef, ptr noundef) #5

; Function Attrs: noreturn nounwind
declare void @__assert_fail(ptr noundef, ptr noundef, i32 noundef, ptr noundef) #6

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

; Function Attrs: nobuiltin nounwind
declare void @_ZdaPv(ptr noundef) #7

attributes #0 = { 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 #1 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #3 = { nobuiltin allocsize(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 nounwind willreturn memory(argmem: write) }
attributes #5 = { "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 #6 = { noreturn nounwind "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 #7 = { nobuiltin nounwind "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 #8 = { nounwind }
attributes #9 = { builtin allocsize(0) }
attributes #10 = { noreturn nounwind }
attributes #11 = { builtin 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 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"any pointer", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"bool", !7, i64 0}
!13 = !{i8 0, i8 2}
!14 = !{}
!15 = !{!16, !16, i64 0}
!16 = !{!"double", !7, i64 0}
!17 = distinct !{!17, !18}
!18 = !{!"llvm.loop.mustprogress"}
!19 = distinct !{!19, !18}
!20 = distinct !{!20, !18}
!21 = distinct !{!21, !18}
!22 = distinct !{!22, !18}
!23 = distinct !{!23, !18}
!24 = distinct !{!24, !18}
!25 = distinct !{!25, !18}
!26 = distinct !{!26, !18}


; 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"

@.str = external hidden unnamed_addr constant [16 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [87 x i8], align 1
@__PRETTY_FUNCTION__._ZN5nasoq38update_ldl_parallel_left_simplicial_01EiPiS0_PdS0_S0_S0_S0_RS1_S1_S0_PbiS0_iS0_S0_ = external hidden unnamed_addr constant [174 x i8], align 1

; Function Attrs: mustprogress uwtable
define dso_local noundef i32 @_ZN5nasoq38update_ldl_parallel_left_simplicial_01EiPiS0_PdS0_S0_S0_S0_RS1_S1_S0_PbiS0_iS0_S0_(i32 noundef %0, ptr nocapture noundef readonly %1, ptr nocapture noundef readonly %2, ptr nocapture noundef readonly %3, ptr noundef %4, ptr noundef %5, ptr nocapture noundef readonly %6, ptr nocapture noundef readonly %7, ptr nocapture noundef nonnull readonly align 8 dereferenceable(8) %8, ptr nocapture noundef %9, ptr noundef %10, ptr nocapture noundef readonly %11, i32 noundef %12, ptr nocapture noundef readonly %13, i32 noundef %14, ptr nocapture noundef readonly %15, ptr nocapture noundef readonly %16) local_unnamed_addr #0 {
  %18 = icmp sgt i32 %12, 0
  br i1 %18, label %.lr.ph175, label %._crit_edge176

.lr.ph175:                                        ; preds = %17
  %19 = sext i32 %0 to i64
  %20 = icmp slt i32 %0, 0
  %21 = shl nsw i64 %19, 3
  %22 = select i1 %20, i64 -1, i64 %21
  %23 = shl nsw i32 %0, 1
  %24 = sext i32 %23 to i64
  %25 = shl nsw i64 %24, 2
  %26 = select i1 %20, i64 -1, i64 %25
  %wide.trip.count211 = zext nneg i32 %12 to i64
  %.pre = load i32, ptr %13, align 4, !tbaa !5
  br label %28

.loopexit131:                                     ; preds = %._crit_edge169, %28
  %27 = phi i32 [ %31, %28 ], [ %186, %._crit_edge169 ]
  %exitcond212.not = icmp eq i64 %indvars.iv.next209, %wide.trip.count211
  br i1 %exitcond212.not, label %._crit_edge176, label %28, !llvm.loop !9

._crit_edge176:                                   ; preds = %.loopexit131, %17
  ret i32 1

28:                                               ; preds = %.lr.ph175, %.loopexit131
  %29 = phi i32 [ %.pre, %.lr.ph175 ], [ %27, %.loopexit131 ]
  %indvars.iv208 = phi i64 [ 0, %.lr.ph175 ], [ %indvars.iv.next209, %.loopexit131 ]
  %indvars.iv.next209 = add nuw nsw i64 %indvars.iv208, 1
  %30 = getelementptr inbounds i32, ptr %13, i64 %indvars.iv.next209
  %31 = load i32, ptr %30, align 4, !tbaa !5
  %32 = icmp slt i32 %29, %31
  br i1 %32, label %.lr.ph172.preheader, label %.loopexit131

.lr.ph172.preheader:                              ; preds = %28
  %33 = sext i32 %29 to i64
  br label %.lr.ph172

.lr.ph172:                                        ; preds = %.lr.ph172.preheader, %._crit_edge169
  %indvars.iv205 = phi i64 [ %33, %.lr.ph172.preheader ], [ %indvars.iv.next206, %._crit_edge169 ]
  %34 = tail call noalias noundef nonnull ptr @_Znam(i64 noundef %22) #7
  tail call void @llvm.memset.p0.i64(ptr nonnull align 8 %34, i8 0, i64 %22, i1 false)
  %35 = tail call noalias noundef nonnull ptr @_Znam(i64 noundef %26) #7
  tail call void @llvm.memset.p0.i64(ptr nonnull align 4 %35, i8 0, i64 %26, i1 false)
  %36 = getelementptr inbounds i32, ptr %15, i64 %indvars.iv205
  %37 = load i32, ptr %36, align 4, !tbaa !5
  %indvars.iv.next206 = add nsw i64 %indvars.iv205, 1
  %38 = getelementptr inbounds i32, ptr %15, i64 %indvars.iv.next206
  %39 = load i32, ptr %38, align 4, !tbaa !5
  %40 = icmp slt i32 %37, %39
  br i1 %40, label %.lr.ph168, label %._crit_edge169

.lr.ph168:                                        ; preds = %.lr.ph172
  %41 = getelementptr inbounds i32, ptr %35, i64 %19
  %42 = sext i32 %37 to i64
  br label %43

43:                                               ; preds = %.lr.ph168, %.loopexit
  %indvars.iv202 = phi i64 [ %42, %.lr.ph168 ], [ %indvars.iv.next203, %.loopexit ]
  %44 = getelementptr inbounds i32, ptr %16, i64 %indvars.iv202
  %45 = load i32, ptr %44, align 4, !tbaa !5
  %46 = sext i32 %45 to i64
  %47 = getelementptr inbounds i8, ptr %11, i64 %46
  %48 = load i8, ptr %47, align 1, !tbaa !11, !range !13, !noundef !14
  %49 = trunc nuw i8 %48 to i1
  br i1 %49, label %50, label %.loopexit

50:                                               ; preds = %43
  %51 = getelementptr inbounds i32, ptr %6, i64 %46
  %52 = load i32, ptr %51, align 4, !tbaa !5
  %53 = add nsw i32 %45, 1
  %54 = sext i32 %53 to i64
  %55 = getelementptr inbounds i32, ptr %6, i64 %54
  %56 = load i32, ptr %55, align 4, !tbaa !5
  %57 = icmp slt i32 %52, %56
  br i1 %57, label %.lr.ph, label %._crit_edge

.lr.ph:                                           ; preds = %50
  %58 = load ptr, ptr %8, align 8, !tbaa !15
  %59 = sext i32 %52 to i64
  %60 = shl nsw i64 %59, 3
  %scevgep = getelementptr i8, ptr %58, i64 %60
  %61 = xor i32 %52, -1
  %62 = add i32 %56, %61
  %63 = zext i32 %62 to i64
  %64 = shl nuw nsw i64 %63, 3
  %65 = add nuw nsw i64 %64, 8
  tail call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(1) %scevgep, i8 0, i64 %65, i1 false), !tbaa !17
  br label %._crit_edge

._crit_edge:                                      ; preds = %.lr.ph, %50
  %66 = getelementptr inbounds double, ptr %9, i64 %46
  store double 0.000000e+00, ptr %66, align 8, !tbaa !17
  %67 = getelementptr inbounds i32, ptr %1, i64 %46
  %68 = load i32, ptr %67, align 4, !tbaa !5
  %69 = getelementptr inbounds i32, ptr %1, i64 %54
  %70 = load i32, ptr %69, align 4, !tbaa !5
  %71 = icmp slt i32 %68, %70
  br i1 %71, label %.lr.ph148.preheader, label %._crit_edge149

.lr.ph148.preheader:                              ; preds = %._crit_edge
  %72 = sext i32 %68 to i64
  %wide.trip.count = sext i32 %70 to i64
  %73 = sub nsw i64 %wide.trip.count, %72
  %xtraiter = and i64 %73, 3
  %lcmp.mod.not = icmp eq i64 %xtraiter, 0
  br i1 %lcmp.mod.not, label %.lr.ph148.prol.loopexit, label %.lr.ph148.prol

.lr.ph148.prol:                                   ; preds = %.lr.ph148.preheader, %.lr.ph148.prol
  %indvars.iv.prol = phi i64 [ %indvars.iv.next.prol, %.lr.ph148.prol ], [ %72, %.lr.ph148.preheader ]
  %prol.iter = phi i64 [ %prol.iter.next, %.lr.ph148.prol ], [ 0, %.lr.ph148.preheader ]
  %74 = getelementptr inbounds double, ptr %3, i64 %indvars.iv.prol
  %75 = load double, ptr %74, align 8, !tbaa !17
  %76 = getelementptr inbounds i32, ptr %2, i64 %indvars.iv.prol
  %77 = load i32, ptr %76, align 4, !tbaa !5
  %78 = sext i32 %77 to i64
  %79 = getelementptr inbounds double, ptr %34, i64 %78
  store double %75, ptr %79, align 8, !tbaa !17
  %indvars.iv.next.prol = add nsw i64 %indvars.iv.prol, 1
  %prol.iter.next = add i64 %prol.iter, 1
  %prol.iter.cmp.not = icmp eq i64 %prol.iter.next, %xtraiter
  br i1 %prol.iter.cmp.not, label %.lr.ph148.prol.loopexit, label %.lr.ph148.prol, !llvm.loop !19

.lr.ph148.prol.loopexit:                          ; preds = %.lr.ph148.prol, %.lr.ph148.preheader
  %indvars.iv.unr = phi i64 [ %72, %.lr.ph148.preheader ], [ %indvars.iv.next.prol, %.lr.ph148.prol ]
  %80 = sub nsw i64 %72, %wide.trip.count
  %81 = icmp ugt i64 %80, -4
  br i1 %81, label %._crit_edge149, label %.lr.ph148

._crit_edge149:                                   ; preds = %.lr.ph148.prol.loopexit, %.lr.ph148, %._crit_edge
  %82 = tail call noundef i32 @_ZN5nasoq6ereachEiPiS0_iPKiS0_S0_(i32 noundef %0, ptr noundef %4, ptr noundef %5, i32 noundef %45, ptr noundef %10, ptr noundef nonnull %35, ptr noundef nonnull %41)
  %83 = icmp slt i32 %82, %0
  br i1 %83, label %.lr.ph160, label %._crit_edge149.._crit_edge161_crit_edge

._crit_edge149.._crit_edge161_crit_edge:          ; preds = %._crit_edge149
  %.pre213 = load double, ptr %66, align 8, !tbaa !17
  br label %._crit_edge161

.lr.ph160:                                        ; preds = %._crit_edge149
  %84 = load ptr, ptr %8, align 8
  %85 = sext i32 %82 to i64
  br label %132

.lr.ph148:                                        ; preds = %.lr.ph148.prol.loopexit, %.lr.ph148
  %indvars.iv = phi i64 [ %indvars.iv.next.3, %.lr.ph148 ], [ %indvars.iv.unr, %.lr.ph148.prol.loopexit ]
  %86 = getelementptr inbounds double, ptr %3, i64 %indvars.iv
  %87 = load double, ptr %86, align 8, !tbaa !17
  %88 = getelementptr inbounds i32, ptr %2, i64 %indvars.iv
  %89 = load i32, ptr %88, align 4, !tbaa !5
  %90 = sext i32 %89 to i64
  %91 = getelementptr inbounds double, ptr %34, i64 %90
  store double %87, ptr %91, align 8, !tbaa !17
  %indvars.iv.next = add nsw i64 %indvars.iv, 1
  %92 = getelementptr inbounds double, ptr %3, i64 %indvars.iv.next
  %93 = load double, ptr %92, align 8, !tbaa !17
  %94 = getelementptr inbounds i32, ptr %2, i64 %indvars.iv.next
  %95 = load i32, ptr %94, align 4, !tbaa !5
  %96 = sext i32 %95 to i64
  %97 = getelementptr inbounds double, ptr %34, i64 %96
  store double %93, ptr %97, align 8, !tbaa !17
  %indvars.iv.next.1 = add nsw i64 %indvars.iv, 2
  %98 = getelementptr inbounds double, ptr %3, i64 %indvars.iv.next.1
  %99 = load double, ptr %98, align 8, !tbaa !17
  %100 = getelementptr inbounds i32, ptr %2, i64 %indvars.iv.next.1
  %101 = load i32, ptr %100, align 4, !tbaa !5
  %102 = sext i32 %101 to i64
  %103 = getelementptr inbounds double, ptr %34, i64 %102
  store double %99, ptr %103, align 8, !tbaa !17
  %indvars.iv.next.2 = add nsw i64 %indvars.iv, 3
  %104 = getelementptr inbounds double, ptr %3, i64 %indvars.iv.next.2
  %105 = load double, ptr %104, align 8, !tbaa !17
  %106 = getelementptr inbounds i32, ptr %2, i64 %indvars.iv.next.2
  %107 = load i32, ptr %106, align 4, !tbaa !5
  %108 = sext i32 %107 to i64
  %109 = getelementptr inbounds double, ptr %34, i64 %108
  store double %105, ptr %109, align 8, !tbaa !17
  %indvars.iv.next.3 = add nsw i64 %indvars.iv, 4
  %exitcond.not.3 = icmp eq i64 %indvars.iv.next.3, %wide.trip.count
  br i1 %exitcond.not.3, label %._crit_edge149, label %.lr.ph148, !llvm.loop !21

._crit_edge161:                                   ; preds = %._crit_edge157, %._crit_edge149.._crit_edge161_crit_edge
  %110 = phi double [ %.pre213, %._crit_edge149.._crit_edge161_crit_edge ], [ %157, %._crit_edge157 ]
  %111 = getelementptr inbounds double, ptr %34, i64 %46
  %112 = load double, ptr %111, align 8, !tbaa !17
  %113 = fsub double %112, %110
  store double %113, ptr %66, align 8, !tbaa !17
  store double 0.000000e+00, ptr %111, align 8, !tbaa !17
  %114 = load ptr, ptr %8, align 8, !tbaa !15
  %115 = load i32, ptr %51, align 4, !tbaa !5
  %116 = sext i32 %115 to i64
  %117 = getelementptr inbounds double, ptr %114, i64 %116
  store double 1.000000e+00, ptr %117, align 8, !tbaa !17
  %118 = load i32, ptr %55, align 4, !tbaa !5
  %.0162 = add nsw i32 %115, 1
  %119 = icmp slt i32 %.0162, %118
  br i1 %119, label %.lr.ph165.preheader, label %.loopexit

.lr.ph165.preheader:                              ; preds = %._crit_edge161
  %120 = add nsw i64 %116, 1
  %121 = add i32 %118, -2
  %122 = sub i32 %115, %118
  %123 = and i32 %122, 1
  %lcmp.mod227.not.not = icmp eq i32 %123, 0
  br i1 %lcmp.mod227.not.not, label %.lr.ph165.prol, label %.lr.ph165.prol.loopexit

.lr.ph165.prol:                                   ; preds = %.lr.ph165.preheader
  %124 = getelementptr inbounds i32, ptr %7, i64 %120
  %125 = load i32, ptr %124, align 4, !tbaa !5
  %126 = sext i32 %125 to i64
  %127 = getelementptr inbounds double, ptr %34, i64 %126
  %128 = load double, ptr %127, align 8, !tbaa !17
  %129 = fdiv double %128, %113
  %130 = getelementptr inbounds double, ptr %114, i64 %120
  store double %129, ptr %130, align 8, !tbaa !17
  store double 0.000000e+00, ptr %127, align 8, !tbaa !17
  %indvars.iv.next198.prol = add nsw i64 %116, 2
  br label %.lr.ph165.prol.loopexit

.lr.ph165.prol.loopexit:                          ; preds = %.lr.ph165.prol, %.lr.ph165.preheader
  %indvars.iv197.unr = phi i64 [ %120, %.lr.ph165.preheader ], [ %indvars.iv.next198.prol, %.lr.ph165.prol ]
  %131 = icmp eq i32 %121, %115
  br i1 %131, label %.loopexit, label %.lr.ph165

132:                                              ; preds = %.lr.ph160, %._crit_edge157
  %indvars.iv192 = phi i64 [ %85, %.lr.ph160 ], [ %indvars.iv.next193, %._crit_edge157 ]
  %133 = getelementptr inbounds i32, ptr %35, i64 %indvars.iv192
  %134 = load i32, ptr %133, align 4, !tbaa !5
  %135 = sext i32 %134 to i64
  %136 = getelementptr inbounds i32, ptr %6, i64 %135
  %137 = load i32, ptr %136, align 4, !tbaa !5
  %138 = getelementptr i8, ptr %136, i64 4
  %139 = load i32, ptr %138, align 4, !tbaa !5
  %140 = icmp slt i32 %137, %139
  br i1 %140, label %.lr.ph152.preheader, label %.thread

.lr.ph152.preheader:                              ; preds = %132
  %141 = sext i32 %137 to i64
  br label %.lr.ph152

.lr.ph152:                                        ; preds = %.lr.ph152.preheader, %145
  %indvars.iv186.in = phi i32 [ %137, %.lr.ph152.preheader ], [ %indvars.iv186, %145 ]
  %indvars.iv182 = phi i64 [ %141, %.lr.ph152.preheader ], [ %indvars.iv.next183, %145 ]
  %indvars.iv186 = add i32 %indvars.iv186.in, 1
  %142 = getelementptr inbounds i32, ptr %7, i64 %indvars.iv182
  %143 = load i32, ptr %142, align 4, !tbaa !5
  %144 = icmp eq i32 %143, %45
  br i1 %144, label %146, label %145

145:                                              ; preds = %.lr.ph152
  %indvars.iv.next183 = add nsw i64 %indvars.iv182, 1
  %lftr.wideiv = trunc i64 %indvars.iv.next183 to i32
  %exitcond185.not = icmp eq i32 %139, %lftr.wideiv
  br i1 %exitcond185.not, label %.thread, label %.lr.ph152, !llvm.loop !22

146:                                              ; preds = %.lr.ph152
  %147 = getelementptr inbounds double, ptr %84, i64 %indvars.iv182
  %148 = load double, ptr %147, align 8, !tbaa !17
  %149 = getelementptr inbounds double, ptr %9, i64 %135
  %150 = load double, ptr %149, align 8, !tbaa !17
  %151 = fmul double %148, %150
  %152 = icmp sgt i64 %indvars.iv182, -1
  br i1 %152, label %.preheader, label %.thread

.preheader:                                       ; preds = %146
  %153 = trunc nsw i64 %indvars.iv182 to i32
  %.0117154 = add nuw nsw i32 %153, 1
  %154 = icmp slt i32 %.0117154, %139
  br i1 %154, label %.lr.ph156.preheader, label %._crit_edge157

.lr.ph156.preheader:                              ; preds = %.preheader
  %155 = zext i32 %indvars.iv186 to i64
  br label %.lr.ph156

.thread:                                          ; preds = %146, %132, %145
  tail call void @__assert_fail(ptr noundef nonnull @.str, ptr noundef nonnull @.str.1, i32 noundef 81, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN5nasoq38update_ldl_parallel_left_simplicial_01EiPiS0_PdS0_S0_S0_S0_RS1_S1_S0_PbiS0_iS0_S0_) #8
  unreachable

._crit_edge157:                                   ; preds = %.lr.ph156, %.preheader
  %156 = load double, ptr %66, align 8, !tbaa !17
  %157 = tail call double @llvm.fmuladd.f64(double %148, double %151, double %156)
  store double %157, ptr %66, align 8, !tbaa !17
  %indvars.iv.next193 = add nsw i64 %indvars.iv192, 1
  %lftr.wideiv195 = trunc i64 %indvars.iv.next193 to i32
  %exitcond196.not = icmp eq i32 %lftr.wideiv195, %0
  br i1 %exitcond196.not, label %._crit_edge161, label %132, !llvm.loop !23

.lr.ph156:                                        ; preds = %.lr.ph156.preheader, %.lr.ph156
  %indvars.iv189 = phi i64 [ %155, %.lr.ph156.preheader ], [ %indvars.iv.next190, %.lr.ph156 ]
  %158 = getelementptr inbounds double, ptr %84, i64 %indvars.iv189
  %159 = load double, ptr %158, align 8, !tbaa !17
  %160 = getelementptr inbounds i32, ptr %7, i64 %indvars.iv189
  %161 = load i32, ptr %160, align 4, !tbaa !5
  %162 = sext i32 %161 to i64
  %163 = getelementptr inbounds double, ptr %34, i64 %162
  %164 = load double, ptr %163, align 8, !tbaa !17
  %165 = fneg double %159
  %166 = tail call double @llvm.fmuladd.f64(double %165, double %151, double %164)
  store double %166, ptr %163, align 8, !tbaa !17
  %indvars.iv.next190 = add nuw nsw i64 %indvars.iv189, 1
  %167 = trunc nuw i64 %indvars.iv.next190 to i32
  %168 = icmp sgt i32 %139, %167
  br i1 %168, label %.lr.ph156, label %._crit_edge157, !llvm.loop !24

.lr.ph165:                                        ; preds = %.lr.ph165.prol.loopexit, %.lr.ph165
  %indvars.iv197 = phi i64 [ %indvars.iv.next198.1, %.lr.ph165 ], [ %indvars.iv197.unr, %.lr.ph165.prol.loopexit ]
  %169 = getelementptr inbounds i32, ptr %7, i64 %indvars.iv197
  %170 = load i32, ptr %169, align 4, !tbaa !5
  %171 = sext i32 %170 to i64
  %172 = getelementptr inbounds double, ptr %34, i64 %171
  %173 = load double, ptr %172, align 8, !tbaa !17
  %174 = fdiv double %173, %113
  %175 = getelementptr inbounds double, ptr %114, i64 %indvars.iv197
  store double %174, ptr %175, align 8, !tbaa !17
  store double 0.000000e+00, ptr %172, align 8, !tbaa !17
  %indvars.iv.next198 = add nsw i64 %indvars.iv197, 1
  %176 = getelementptr inbounds i32, ptr %7, i64 %indvars.iv.next198
  %177 = load i32, ptr %176, align 4, !tbaa !5
  %178 = sext i32 %177 to i64
  %179 = getelementptr inbounds double, ptr %34, i64 %178
  %180 = load double, ptr %179, align 8, !tbaa !17
  %181 = fdiv double %180, %113
  %182 = getelementptr inbounds double, ptr %114, i64 %indvars.iv.next198
  store double %181, ptr %182, align 8, !tbaa !17
  store double 0.000000e+00, ptr %179, align 8, !tbaa !17
  %indvars.iv.next198.1 = add nsw i64 %indvars.iv197, 2
  %lftr.wideiv200.1 = trunc i64 %indvars.iv.next198.1 to i32
  %exitcond201.not.1 = icmp eq i32 %118, %lftr.wideiv200.1
  br i1 %exitcond201.not.1, label %.loopexit, label %.lr.ph165, !llvm.loop !25

.loopexit:                                        ; preds = %.lr.ph165.prol.loopexit, %.lr.ph165, %._crit_edge161, %43
  %indvars.iv.next203 = add nsw i64 %indvars.iv202, 1
  %183 = load i32, ptr %38, align 4, !tbaa !5
  %184 = sext i32 %183 to i64
  %185 = icmp slt i64 %indvars.iv.next203, %184
  br i1 %185, label %43, label %._crit_edge169, !llvm.loop !26

._crit_edge169:                                   ; preds = %.loopexit, %.lr.ph172
  tail call void @_ZdaPv(ptr noundef nonnull %34) #9
  tail call void @_ZdaPv(ptr noundef nonnull %35) #9
  %186 = load i32, ptr %30, align 4, !tbaa !5
  %187 = sext i32 %186 to i64
  %188 = icmp slt i64 %indvars.iv.next206, %187
  br i1 %188, label %.lr.ph172, label %.loopexit131, !llvm.loop !27
}

; Function Attrs: nobuiltin allocsize(0)
declare noundef nonnull ptr @_Znam(i64 noundef) local_unnamed_addr #1

; Function Attrs: mustprogress nocallback nofree nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #2

declare noundef i32 @_ZN5nasoq6ereachEiPiS0_iPKiS0_S0_(i32 noundef, ptr noundef, ptr noundef, i32 noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #3

; Function Attrs: noreturn nounwind
declare void @__assert_fail(ptr noundef, ptr noundef, i32 noundef, ptr noundef) local_unnamed_addr #4

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

; Function Attrs: nobuiltin nounwind
declare void @_ZdaPv(ptr noundef) local_unnamed_addr #6

attributes #0 = { 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 #1 = { nobuiltin allocsize(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 nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #3 = { "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 = { noreturn nounwind "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 #5 = { mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #6 = { nobuiltin nounwind "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 #7 = { builtin allocsize(0) }
attributes #8 = { noreturn nounwind }
attributes #9 = { builtin 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 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = distinct !{!9, !10}
!10 = !{!"llvm.loop.mustprogress"}
!11 = !{!12, !12, i64 0}
!12 = !{!"bool", !7, i64 0}
!13 = !{i8 0, i8 2}
!14 = !{}
!15 = !{!16, !16, i64 0}
!16 = !{!"any pointer", !7, i64 0}
!17 = !{!18, !18, i64 0}
!18 = !{!"double", !7, i64 0}
!19 = distinct !{!19, !20}
!20 = !{!"llvm.loop.unroll.disable"}
!21 = distinct !{!21, !10}
!22 = distinct !{!22, !10}
!23 = distinct !{!23, !10}
!24 = distinct !{!24, !10}
!25 = distinct !{!25, !10}
!26 = distinct !{!26, !10}
!27 = distinct !{!27, !10}


; Effective O3 passes: BDCEPass,CorrelatedValuePropagationPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferFunctionAttrsPass,InstCombinePass,InstSimplifyPass,JumpThreadingPass,LCSSAPass,LICMPass,LoopIdiomRecognizePass,LoopInstSimplifyPass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,PostOrderFunctionAttrsPass,SROAPass,SimplifyCFGPass,TailCallElimPass