; LLVM IR from NOAA-PMEL/Ferret :: fmt/src (tm_world_recur)

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

; Function Attrs: nounwind uwtable
define dso_local double @tm_world_recur_(ptr 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 %8, ptr noundef %9, ptr noundef %10, ptr noundef %11, ptr noundef %12, ptr noundef %13) #0 {
  %15 = alloca double, align 8
  %16 = alloca ptr, align 8
  %17 = alloca ptr, align 8
  %18 = alloca ptr, align 8
  %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 double, align 8
  %31 = alloca double, align 8
  %32 = alloca i32, align 4
  %33 = alloca i32, align 4
  %34 = alloca i32, align 4
  %35 = alloca i32, align 4
  %36 = alloca i32, align 4
  %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 double, align 8
  %45 = alloca double, align 8
  %46 = alloca double, align 8
  %47 = alloca double, align 8
  store ptr %0, ptr %16, align 8, !tbaa !5
  store ptr %1, ptr %17, align 8, !tbaa !5
  store ptr %2, ptr %18, align 8, !tbaa !5
  store ptr %3, ptr %19, align 8, !tbaa !5
  store ptr %4, ptr %20, align 8, !tbaa !5
  store ptr %5, ptr %21, align 8, !tbaa !5
  store ptr %6, ptr %22, align 8, !tbaa !5
  store ptr %7, ptr %23, align 8, !tbaa !5
  store ptr %8, ptr %24, align 8, !tbaa !5
  store ptr %9, ptr %25, align 8, !tbaa !5
  store ptr %10, ptr %26, align 8, !tbaa !5
  store ptr %11, ptr %27, align 8, !tbaa !5
  store ptr %12, ptr %28, align 8, !tbaa !5
  store ptr %13, ptr %29, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %30) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %32) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %33) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %34) #4
  %48 = load ptr, ptr %17, align 8, !tbaa !5
  %49 = load i32, ptr %48, align 4, !tbaa !9
  store i32 %49, ptr %34, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %35) #4
  %50 = load ptr, ptr %23, align 8, !tbaa !5
  %51 = load i32, ptr %34, align 4, !tbaa !9
  %52 = sext i32 %51 to i64
  %53 = getelementptr inbounds i32, ptr %50, i64 %52
  %54 = load i32, ptr %53, align 4, !tbaa !9
  store i32 %54, ptr %35, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %36) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %37) #4
  %55 = load i32, ptr %34, align 4, !tbaa !9
  %56 = load ptr, ptr %19, align 8, !tbaa !5
  %57 = load i32, ptr %56, align 4, !tbaa !9
  %58 = icmp sgt i32 %55, %57
  %59 = zext i1 %58 to i32
  store i32 %59, ptr %37, align 4, !tbaa !9
  %60 = load i32, ptr %37, align 4, !tbaa !9
  %61 = icmp ne i32 %60, 0
  br i1 %61, label %62, label %361

62:                                               ; preds = %14
  %63 = load ptr, ptr %21, align 8, !tbaa !5
  %64 = load i32, ptr %34, align 4, !tbaa !9
  %65 = sext i32 %64 to i64
  %66 = getelementptr inbounds i32, ptr %63, i64 %65
  %67 = load i32, ptr %66, align 4, !tbaa !9
  %68 = icmp ne i32 %67, 0
  %69 = zext i1 %68 to i32
  store i32 %69, ptr %37, align 4, !tbaa !9
  %70 = load i32, ptr %37, align 4, !tbaa !9
  %71 = icmp ne i32 %70, 0
  br i1 %71, label %72, label %360

72:                                               ; preds = %62
  call void @llvm.lifetime.start.p0(i64 4, ptr %38) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %39) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %40) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %41) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %42) #4
  %73 = load ptr, ptr %22, align 8, !tbaa !5
  %74 = load i32, ptr %34, align 4, !tbaa !9
  %75 = sext i32 %74 to i64
  %76 = getelementptr inbounds i32, ptr %73, i64 %75
  %77 = load i32, ptr %76, align 4, !tbaa !9
  switch i32 %77, label %356 [
    i32 1, label %78
    i32 2, label %340
  ]

78:                                               ; preds = %72
  %79 = load ptr, ptr %24, align 8, !tbaa !5
  %80 = load i32, ptr %34, align 4, !tbaa !9
  %81 = sext i32 %80 to i64
  %82 = getelementptr inbounds double, ptr %79, i64 %81
  %83 = load double, ptr %82, align 8, !tbaa !11
  %84 = fptosi double %83 to i32
  %85 = load ptr, ptr %16, align 8, !tbaa !5
  %86 = load i32, ptr %85, align 4, !tbaa !9
  %87 = sub nsw i32 %86, 1
  %88 = load ptr, ptr %25, align 8, !tbaa !5
  %89 = load i32, ptr %34, align 4, !tbaa !9
  %90 = sext i32 %89 to i64
  %91 = getelementptr inbounds double, ptr %88, i64 %90
  %92 = load double, ptr %91, align 8, !tbaa !11
  %93 = fptosi double %92 to i32
  %94 = mul nsw i32 %87, %93
  %95 = add nsw i32 %84, %94
  store i32 %95, ptr %38, align 4, !tbaa !9
  %96 = load ptr, ptr %29, align 8, !tbaa !5
  %97 = load i32, ptr %34, align 4, !tbaa !9
  %98 = sext i32 %97 to i64
  %99 = getelementptr inbounds i32, ptr %96, i64 %98
  %100 = load i32, ptr %99, align 4, !tbaa !9
  %101 = icmp ne i32 %100, 0
  br i1 %101, label %106, label %102

102:                                              ; preds = %78
  %103 = load ptr, ptr %18, align 8, !tbaa !5
  %104 = load i32, ptr %103, align 4, !tbaa !9
  %105 = icmp eq i32 %104, 2
  br i1 %105, label %106, label %124

106:                                              ; preds = %102, %78
  %107 = load ptr, ptr %21, align 8, !tbaa !5
  %108 = load i32, ptr %34, align 4, !tbaa !9
  %109 = sext i32 %108 to i64
  %110 = getelementptr inbounds i32, ptr %107, i64 %109
  %111 = load ptr, ptr %18, align 8, !tbaa !5
  %112 = load ptr, ptr %19, align 8, !tbaa !5
  %113 = load ptr, ptr %20, align 8, !tbaa !5
  %114 = load ptr, ptr %21, align 8, !tbaa !5
  %115 = load ptr, ptr %22, align 8, !tbaa !5
  %116 = load ptr, ptr %23, align 8, !tbaa !5
  %117 = load ptr, ptr %24, align 8, !tbaa !5
  %118 = load ptr, ptr %25, align 8, !tbaa !5
  %119 = load ptr, ptr %26, align 8, !tbaa !5
  %120 = load ptr, ptr %27, align 8, !tbaa !5
  %121 = load ptr, ptr %28, align 8, !tbaa !5
  %122 = load ptr, ptr %29, align 8, !tbaa !5
  %123 = call double @tm_world_recur_(ptr noundef %38, ptr noundef %110, ptr noundef %111, ptr noundef %112, ptr noundef %113, ptr noundef %114, ptr noundef %115, ptr noundef %116, ptr noundef %117, ptr noundef %118, ptr noundef %119, ptr noundef %120, ptr noundef %121, ptr noundef %122)
  store double %123, ptr %31, align 8, !tbaa !11
  br label %339

124:                                              ; preds = %102
  %125 = load ptr, ptr %18, align 8, !tbaa !5
  %126 = load i32, ptr %125, align 4, !tbaa !9
  %127 = icmp eq i32 %126, 1
  br i1 %127, label %128, label %147

128:                                              ; preds = %124
  %129 = load ptr, ptr %24, align 8, !tbaa !5
  %130 = load i32, ptr %34, align 4, !tbaa !9
  %131 = sext i32 %130 to i64
  %132 = getelementptr inbounds double, ptr %129, i64 %131
  %133 = load double, ptr %132, align 8, !tbaa !11
  %134 = fptosi double %133 to i32
  %135 = load ptr, ptr %16, align 8, !tbaa !5
  %136 = load i32, ptr %135, align 4, !tbaa !9
  %137 = sub nsw i32 %136, 2
  %138 = load ptr, ptr %25, align 8, !tbaa !5
  %139 = load i32, ptr %34, align 4, !tbaa !9
  %140 = sext i32 %139 to i64
  %141 = getelementptr inbounds double, ptr %138, i64 %140
  %142 = load double, ptr %141, align 8, !tbaa !11
  %143 = fptosi double %142 to i32
  %144 = mul nsw i32 %137, %143
  %145 = add nsw i32 %134, %144
  store i32 %145, ptr %39, align 4, !tbaa !9
  %146 = load i32, ptr %38, align 4, !tbaa !9
  store i32 %146, ptr %40, align 4, !tbaa !9
  br label %166

147:                                              ; preds = %124
  %148 = load i32, ptr %38, align 4, !tbaa !9
  store i32 %148, ptr %39, align 4, !tbaa !9
  %149 = load ptr, ptr %24, align 8, !tbaa !5
  %150 = load i32, ptr %34, align 4, !tbaa !9
  %151 = sext i32 %150 to i64
  %152 = getelementptr inbounds double, ptr %149, i64 %151
  %153 = load double, ptr %152, align 8, !tbaa !11
  %154 = fptosi double %153 to i32
  %155 = load ptr, ptr %16, align 8, !tbaa !5
  %156 = load i32, ptr %155, align 4, !tbaa !9
  %157 = sub nsw i32 %156, 0
  %158 = load ptr, ptr %25, align 8, !tbaa !5
  %159 = load i32, ptr %34, align 4, !tbaa !9
  %160 = sext i32 %159 to i64
  %161 = getelementptr inbounds double, ptr %158, i64 %160
  %162 = load double, ptr %161, align 8, !tbaa !11
  %163 = fptosi double %162 to i32
  %164 = mul nsw i32 %157, %163
  %165 = add nsw i32 %154, %164
  store i32 %165, ptr %40, align 4, !tbaa !9
  br label %166

166:                                              ; preds = %147, %128
  %167 = load ptr, ptr %23, align 8, !tbaa !5
  %168 = load ptr, ptr %21, align 8, !tbaa !5
  %169 = load i32, ptr %34, align 4, !tbaa !9
  %170 = sext i32 %169 to i64
  %171 = getelementptr inbounds i32, ptr %168, i64 %170
  %172 = load i32, ptr %171, align 4, !tbaa !9
  %173 = sext i32 %172 to i64
  %174 = getelementptr inbounds i32, ptr %167, i64 %173
  %175 = load i32, ptr %174, align 4, !tbaa !9
  store i32 %175, ptr %41, align 4, !tbaa !9
  %176 = load ptr, ptr %21, align 8, !tbaa !5
  %177 = load i32, ptr %34, align 4, !tbaa !9
  %178 = sext i32 %177 to i64
  %179 = getelementptr inbounds i32, ptr %176, i64 %178
  %180 = call i32 @tm_its_subspan_modulo_int_(ptr noundef %179)
  store i32 %180, ptr %36, align 4, !tbaa !9
  %181 = load ptr, ptr %27, align 8, !tbaa !5
  %182 = load ptr, ptr %21, align 8, !tbaa !5
  %183 = load i32, ptr %34, align 4, !tbaa !9
  %184 = sext i32 %183 to i64
  %185 = getelementptr inbounds i32, ptr %182, i64 %184
  %186 = load i32, ptr %185, align 4, !tbaa !9
  %187 = sext i32 %186 to i64
  %188 = getelementptr inbounds i32, ptr %181, i64 %187
  %189 = load i32, ptr %188, align 4, !tbaa !9
  %190 = icmp ne i32 %189, 0
  br i1 %190, label %191, label %243

191:                                              ; preds = %166
  %192 = load i32, ptr %36, align 4, !tbaa !9
  %193 = icmp ne i32 %192, 0
  br i1 %193, label %194, label %243

194:                                              ; preds = %191
  %195 = load i32, ptr %39, align 4, !tbaa !9
  %196 = icmp eq i32 %195, 0
  br i1 %196, label %200, label %197

197:                                              ; preds = %194
  %198 = load i32, ptr %39, align 4, !tbaa !9
  %199 = icmp eq i32 %198, -1
  br i1 %199, label %200, label %218

200:                                              ; preds = %197, %194
  store i32 1, ptr %42, align 4, !tbaa !9
  store i32 1, ptr %39, align 4, !tbaa !9
  %201 = load ptr, ptr %21, align 8, !tbaa !5
  %202 = load i32, ptr %34, align 4, !tbaa !9
  %203 = sext i32 %202 to i64
  %204 = getelementptr inbounds i32, ptr %201, i64 %203
  %205 = load ptr, ptr %19, align 8, !tbaa !5
  %206 = load ptr, ptr %20, align 8, !tbaa !5
  %207 = load ptr, ptr %21, align 8, !tbaa !5
  %208 = load ptr, ptr %22, align 8, !tbaa !5
  %209 = load ptr, ptr %23, align 8, !tbaa !5
  %210 = load ptr, ptr %24, align 8, !tbaa !5
  %211 = load ptr, ptr %25, align 8, !tbaa !5
  %212 = load ptr, ptr %26, align 8, !tbaa !5
  %213 = load ptr, ptr %27, align 8, !tbaa !5
  %214 = load ptr, ptr %28, align 8, !tbaa !5
  %215 = load ptr, ptr %29, align 8, !tbaa !5
  %216 = call double @tm_world_recur_(ptr noundef %39, ptr noundef %204, ptr noundef %42, ptr noundef %205, ptr noundef %206, ptr noundef %207, ptr noundef %208, ptr noundef %209, ptr noundef %210, ptr noundef %211, ptr noundef %212, ptr noundef %213, ptr noundef %214, ptr noundef %215)
  store double %216, ptr %31, align 8, !tbaa !11
  %217 = load double, ptr %31, align 8, !tbaa !11
  store double %217, ptr %15, align 8
  store i32 1, ptr %43, align 4
  br label %359

218:                                              ; preds = %197
  %219 = load i32, ptr %40, align 4, !tbaa !9
  %220 = load i32, ptr %41, align 4, !tbaa !9
  %221 = add nsw i32 %220, 1
  %222 = icmp eq i32 %219, %221
  br i1 %222, label %223, label %242

223:                                              ; preds = %218
  store i32 3, ptr %42, align 4, !tbaa !9
  %224 = load i32, ptr %41, align 4, !tbaa !9
  store i32 %224, ptr %40, align 4, !tbaa !9
  %225 = load ptr, ptr %21, align 8, !tbaa !5
  %226 = load i32, ptr %34, align 4, !tbaa !9
  %227 = sext i32 %226 to i64
  %228 = getelementptr inbounds i32, ptr %225, i64 %227
  %229 = load ptr, ptr %19, align 8, !tbaa !5
  %230 = load ptr, ptr %20, align 8, !tbaa !5
  %231 = load ptr, ptr %21, align 8, !tbaa !5
  %232 = load ptr, ptr %22, align 8, !tbaa !5
  %233 = load ptr, ptr %23, align 8, !tbaa !5
  %234 = load ptr, ptr %24, align 8, !tbaa !5
  %235 = load ptr, ptr %25, align 8, !tbaa !5
  %236 = load ptr, ptr %26, align 8, !tbaa !5
  %237 = load ptr, ptr %27, align 8, !tbaa !5
  %238 = load ptr, ptr %28, align 8, !tbaa !5
  %239 = load ptr, ptr %29, align 8, !tbaa !5
  %240 = call double @tm_world_recur_(ptr noundef %40, ptr noundef %228, ptr noundef %42, ptr noundef %229, ptr noundef %230, ptr noundef %231, ptr noundef %232, ptr noundef %233, ptr noundef %234, ptr noundef %235, ptr noundef %236, ptr noundef %237, ptr noundef %238, ptr noundef %239)
  store double %240, ptr %31, align 8, !tbaa !11
  %241 = load double, ptr %31, align 8, !tbaa !11
  store double %241, ptr %15, align 8
  store i32 1, ptr %43, align 4
  br label %359

242:                                              ; preds = %218
  br label %243

243:                                              ; preds = %242, %191, %166
  %244 = load ptr, ptr %27, align 8, !tbaa !5
  %245 = load ptr, ptr %21, align 8, !tbaa !5
  %246 = load i32, ptr %34, align 4, !tbaa !9
  %247 = sext i32 %246 to i64
  %248 = getelementptr inbounds i32, ptr %245, i64 %247
  %249 = load i32, ptr %248, align 4, !tbaa !9
  %250 = sext i32 %249 to i64
  %251 = getelementptr inbounds i32, ptr %244, i64 %250
  %252 = load i32, ptr %251, align 4, !tbaa !9
  %253 = icmp ne i32 %252, 0
  br i1 %253, label %261, label %254

254:                                              ; preds = %243
  %255 = load i32, ptr %39, align 4, !tbaa !9
  %256 = icmp sge i32 %255, 1
  br i1 %256, label %257, label %296

257:                                              ; preds = %254
  %258 = load i32, ptr %40, align 4, !tbaa !9
  %259 = load i32, ptr %41, align 4, !tbaa !9
  %260 = icmp sle i32 %258, %259
  br i1 %260, label %261, label %296

261:                                              ; preds = %257, %243
  store i32 2, ptr %42, align 4, !tbaa !9
  %262 = load ptr, ptr %21, align 8, !tbaa !5
  %263 = load i32, ptr %34, align 4, !tbaa !9
  %264 = sext i32 %263 to i64
  %265 = getelementptr inbounds i32, ptr %262, i64 %264
  %266 = load ptr, ptr %19, align 8, !tbaa !5
  %267 = load ptr, ptr %20, align 8, !tbaa !5
  %268 = load ptr, ptr %21, align 8, !tbaa !5
  %269 = load ptr, ptr %22, align 8, !tbaa !5
  %270 = load ptr, ptr %23, align 8, !tbaa !5
  %271 = load ptr, ptr %24, align 8, !tbaa !5
  %272 = load ptr, ptr %25, align 8, !tbaa !5
  %273 = load ptr, ptr %26, align 8, !tbaa !5
  %274 = load ptr, ptr %27, align 8, !tbaa !5
  %275 = load ptr, ptr %28, align 8, !tbaa !5
  %276 = load ptr, ptr %29, align 8, !tbaa !5
  %277 = call double @tm_world_recur_(ptr noundef %39, ptr noundef %265, ptr noundef %42, ptr noundef %266, ptr noundef %267, ptr noundef %268, ptr noundef %269, ptr noundef %270, ptr noundef %271, ptr noundef %272, ptr noundef %273, ptr noundef %274, ptr noundef %275, ptr noundef %276)
  %278 = load ptr, ptr %21, align 8, !tbaa !5
  %279 = load i32, ptr %34, align 4, !tbaa !9
  %280 = sext i32 %279 to i64
  %281 = getelementptr inbounds i32, ptr %278, i64 %280
  %282 = load ptr, ptr %19, align 8, !tbaa !5
  %283 = load ptr, ptr %20, align 8, !tbaa !5
  %284 = load ptr, ptr %21, align 8, !tbaa !5
  %285 = load ptr, ptr %22, align 8, !tbaa !5
  %286 = load ptr, ptr %23, align 8, !tbaa !5
  %287 = load ptr, ptr %24, align 8, !tbaa !5
  %288 = load ptr, ptr %25, align 8, !tbaa !5
  %289 = load ptr, ptr %26, align 8, !tbaa !5
  %290 = load ptr, ptr %27, align 8, !tbaa !5
  %291 = load ptr, ptr %28, align 8, !tbaa !5
  %292 = load ptr, ptr %29, align 8, !tbaa !5
  %293 = call double @tm_world_recur_(ptr noundef %40, ptr noundef %281, ptr noundef %42, ptr noundef %282, ptr noundef %283, ptr noundef %284, ptr noundef %285, ptr noundef %286, ptr noundef %287, ptr noundef %288, ptr noundef %289, ptr noundef %290, ptr noundef %291, ptr noundef %292)
  %294 = fadd double %277, %293
  %295 = fmul double 5.000000e-01, %294
  store double %295, ptr %31, align 8, !tbaa !11
  br label %338

296:                                              ; preds = %257, %254
  %297 = load ptr, ptr %18, align 8, !tbaa !5
  %298 = load i32, ptr %297, align 4, !tbaa !9
  %299 = icmp eq i32 %298, 1
  br i1 %299, label %300, label %318

300:                                              ; preds = %296
  store i32 1, ptr %38, align 4, !tbaa !9
  %301 = load ptr, ptr %21, align 8, !tbaa !5
  %302 = load i32, ptr %34, align 4, !tbaa !9
  %303 = sext i32 %302 to i64
  %304 = getelementptr inbounds i32, ptr %301, i64 %303
  %305 = load ptr, ptr %18, align 8, !tbaa !5
  %306 = load ptr, ptr %19, align 8, !tbaa !5
  %307 = load ptr, ptr %20, align 8, !tbaa !5
  %308 = load ptr, ptr %21, align 8, !tbaa !5
  %309 = load ptr, ptr %22, align 8, !tbaa !5
  %310 = load ptr, ptr %23, align 8, !tbaa !5
  %311 = load ptr, ptr %24, align 8, !tbaa !5
  %312 = load ptr, ptr %25, align 8, !tbaa !5
  %313 = load ptr, ptr %26, align 8, !tbaa !5
  %314 = load ptr, ptr %27, align 8, !tbaa !5
  %315 = load ptr, ptr %28, align 8, !tbaa !5
  %316 = load ptr, ptr %29, align 8, !tbaa !5
  %317 = call double @tm_world_recur_(ptr noundef %38, ptr noundef %304, ptr noundef %305, ptr noundef %306, ptr noundef %307, ptr noundef %308, ptr noundef %309, ptr noundef %310, ptr noundef %311, ptr noundef %312, ptr noundef %313, ptr noundef %314, ptr noundef %315, ptr noundef %316)
  store double %317, ptr %31, align 8, !tbaa !11
  br label %337

318:                                              ; preds = %296
  %319 = load i32, ptr %41, align 4, !tbaa !9
  store i32 %319, ptr %38, align 4, !tbaa !9
  %320 = load ptr, ptr %21, align 8, !tbaa !5
  %321 = load i32, ptr %34, align 4, !tbaa !9
  %322 = sext i32 %321 to i64
  %323 = getelementptr inbounds i32, ptr %320, i64 %322
  %324 = load ptr, ptr %18, align 8, !tbaa !5
  %325 = load ptr, ptr %19, align 8, !tbaa !5
  %326 = load ptr, ptr %20, align 8, !tbaa !5
  %327 = load ptr, ptr %21, align 8, !tbaa !5
  %328 = load ptr, ptr %22, align 8, !tbaa !5
  %329 = load ptr, ptr %23, align 8, !tbaa !5
  %330 = load ptr, ptr %24, align 8, !tbaa !5
  %331 = load ptr, ptr %25, align 8, !tbaa !5
  %332 = load ptr, ptr %26, align 8, !tbaa !5
  %333 = load ptr, ptr %27, align 8, !tbaa !5
  %334 = load ptr, ptr %28, align 8, !tbaa !5
  %335 = load ptr, ptr %29, align 8, !tbaa !5
  %336 = call double @tm_world_recur_(ptr noundef %38, ptr noundef %323, ptr noundef %324, ptr noundef %325, ptr noundef %326, ptr noundef %327, ptr noundef %328, ptr noundef %329, ptr noundef %330, ptr noundef %331, ptr noundef %332, ptr noundef %333, ptr noundef %334, ptr noundef %335)
  store double %336, ptr %31, align 8, !tbaa !11
  br label %337

337:                                              ; preds = %318, %300
  br label %338

338:                                              ; preds = %337, %261
  br label %339

339:                                              ; preds = %338, %106
  br label %357

340:                                              ; preds = %72
  %341 = load ptr, ptr %16, align 8, !tbaa !5
  %342 = load ptr, ptr %17, align 8, !tbaa !5
  %343 = load ptr, ptr %18, align 8, !tbaa !5
  %344 = load ptr, ptr %19, align 8, !tbaa !5
  %345 = load ptr, ptr %20, align 8, !tbaa !5
  %346 = load ptr, ptr %21, align 8, !tbaa !5
  %347 = load ptr, ptr %22, align 8, !tbaa !5
  %348 = load ptr, ptr %23, align 8, !tbaa !5
  %349 = load ptr, ptr %24, align 8, !tbaa !5
  %350 = load ptr, ptr %25, align 8, !tbaa !5
  %351 = load ptr, ptr %26, align 8, !tbaa !5
  %352 = load ptr, ptr %27, align 8, !tbaa !5
  %353 = load ptr, ptr %28, align 8, !tbaa !5
  %354 = load ptr, ptr %29, align 8, !tbaa !5
  %355 = call double @tm_world_recur_(ptr noundef %341, ptr noundef %342, ptr noundef %343, ptr noundef %344, ptr noundef %345, ptr noundef %346, ptr noundef %347, ptr noundef %348, ptr noundef %349, ptr noundef %350, ptr noundef %351, ptr noundef %352, ptr noundef %353, ptr noundef %354)
  store double %355, ptr %31, align 8, !tbaa !11
  br label %357

356:                                              ; preds = %72
  store double -9.990000e+02, ptr %31, align 8, !tbaa !11
  br label %357

357:                                              ; preds = %356, %340, %339
  %358 = load double, ptr %31, align 8, !tbaa !11
  store double %358, ptr %15, align 8
  store i32 1, ptr %43, align 4
  br label %359

359:                                              ; preds = %357, %223, %200
  call void @llvm.lifetime.end.p0(i64 4, ptr %42) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %41) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %40) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %39) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %38) #4
  br label %641

360:                                              ; preds = %62
  br label %361

361:                                              ; preds = %360, %14
  %362 = call i32 @tm_its_subspan_modulo_int_(ptr noundef %34)
  %363 = icmp ne i32 %362, 0
  br i1 %363, label %364, label %367

364:                                              ; preds = %361
  %365 = load i32, ptr %35, align 4, !tbaa !9
  %366 = add nsw i32 %365, 1
  store i32 %366, ptr %35, align 4, !tbaa !9
  br label %367

367:                                              ; preds = %364, %361
  %368 = load ptr, ptr %27, align 8, !tbaa !5
  %369 = load i32, ptr %34, align 4, !tbaa !9
  %370 = sext i32 %369 to i64
  %371 = getelementptr inbounds i32, ptr %368, i64 %370
  %372 = load i32, ptr %371, align 4, !tbaa !9
  %373 = icmp ne i32 %372, 0
  br i1 %373, label %374, label %388

374:                                              ; preds = %367
  %375 = load ptr, ptr %16, align 8, !tbaa !5
  %376 = load i32, ptr %375, align 4, !tbaa !9
  %377 = sub nsw i32 %376, 1
  %378 = load i32, ptr %35, align 4, !tbaa !9
  %379 = srem i32 %377, %378
  %380 = add nsw i32 %379, 1
  store i32 %380, ptr %32, align 4, !tbaa !9
  %381 = load i32, ptr %32, align 4, !tbaa !9
  %382 = icmp sle i32 %381, 0
  br i1 %382, label %383, label %387

383:                                              ; preds = %374
  %384 = load i32, ptr %35, align 4, !tbaa !9
  %385 = load i32, ptr %32, align 4, !tbaa !9
  %386 = add nsw i32 %385, %384
  store i32 %386, ptr %32, align 4, !tbaa !9
  br label %387

387:                                              ; preds = %383, %374
  br label %414

388:                                              ; preds = %367
  %389 = load i32, ptr %35, align 4, !tbaa !9
  %390 = load ptr, ptr %16, align 8, !tbaa !5
  %391 = load i32, ptr %390, align 4, !tbaa !9
  %392 = icmp slt i32 1, %391
  br i1 %392, label %393, label %396

393:                                              ; preds = %388
  %394 = load ptr, ptr %16, align 8, !tbaa !5
  %395 = load i32, ptr %394, align 4, !tbaa !9
  br label %397

396:                                              ; preds = %388
  br label %397

397:                                              ; preds = %396, %393
  %398 = phi i32 [ %395, %393 ], [ 1, %396 ]
  %399 = icmp slt i32 %389, %398
  br i1 %399, label %400, label %402

400:                                              ; preds = %397
  %401 = load i32, ptr %35, align 4, !tbaa !9
  br label %412

402:                                              ; preds = %397
  %403 = load ptr, ptr %16, align 8, !tbaa !5
  %404 = load i32, ptr %403, align 4, !tbaa !9
  %405 = icmp slt i32 1, %404
  br i1 %405, label %406, label %409

406:                                              ; preds = %402
  %407 = load ptr, ptr %16, align 8, !tbaa !5
  %408 = load i32, ptr %407, align 4, !tbaa !9
  br label %410

409:                                              ; preds = %402
  br label %410

410:                                              ; preds = %409, %406
  %411 = phi i32 [ %408, %406 ], [ 1, %409 ]
  br label %412

412:                                              ; preds = %410, %400
  %413 = phi i32 [ %401, %400 ], [ %411, %410 ]
  store i32 %413, ptr %32, align 4, !tbaa !9
  br label %414

414:                                              ; preds = %412, %387
  %415 = call i32 @tm_its_subspan_modulo_int_(ptr noundef %34)
  %416 = icmp ne i32 %415, 0
  br i1 %416, label %417, label %477

417:                                              ; preds = %414
  %418 = load i32, ptr %32, align 4, !tbaa !9
  %419 = load i32, ptr %35, align 4, !tbaa !9
  %420 = icmp eq i32 %418, %419
  br i1 %420, label %421, label %477

421:                                              ; preds = %417
  call void @llvm.lifetime.start.p0(i64 8, ptr %44) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %45) #4
  call void @tm_ww_axlims_(ptr noundef %34, ptr noundef %44, ptr noundef %45)
  %422 = load ptr, ptr %18, align 8, !tbaa !5
  %423 = load i32, ptr %422, align 4, !tbaa !9
  %424 = icmp eq i32 %423, 1
  br i1 %424, label %425, label %427

425:                                              ; preds = %421
  %426 = load double, ptr %45, align 8, !tbaa !11
  store double %426, ptr %30, align 8, !tbaa !11
  br label %451

427:                                              ; preds = %421
  %428 = load ptr, ptr %18, align 8, !tbaa !5
  %429 = load i32, ptr %428, align 4, !tbaa !9
  %430 = icmp eq i32 %429, 2
  br i1 %430, label %431, label %442

431:                                              ; preds = %427
  %432 = load double, ptr %45, align 8, !tbaa !11
  %433 = load double, ptr %44, align 8, !tbaa !11
  %434 = load ptr, ptr %28, align 8, !tbaa !5
  %435 = load i32, ptr %34, align 4, !tbaa !9
  %436 = sext i32 %435 to i64
  %437 = getelementptr inbounds double, ptr %434, i64 %436
  %438 = load double, ptr %437, align 8, !tbaa !11
  %439 = fadd double %433, %438
  %440 = fadd double %432, %439
  %441 = fdiv double %440, 2.000000e+00
  store double %441, ptr %30, align 8, !tbaa !11
  br label %450

442:                                              ; preds = %427
  %443 = load double, ptr %44, align 8, !tbaa !11
  %444 = load ptr, ptr %28, align 8, !tbaa !5
  %445 = load i32, ptr %34, align 4, !tbaa !9
  %446 = sext i32 %445 to i64
  %447 = getelementptr inbounds double, ptr %444, i64 %446
  %448 = load double, ptr %447, align 8, !tbaa !11
  %449 = fadd double %443, %448
  store double %449, ptr %30, align 8, !tbaa !11
  br label %450

450:                                              ; preds = %442, %431
  br label %451

451:                                              ; preds = %450, %425
  %452 = load ptr, ptr %16, align 8, !tbaa !5
  %453 = load i32, ptr %452, align 4, !tbaa !9
  %454 = icmp sle i32 %453, 0
  br i1 %454, label %455, label %461

455:                                              ; preds = %451
  %456 = load ptr, ptr %16, align 8, !tbaa !5
  %457 = load i32, ptr %456, align 4, !tbaa !9
  %458 = load i32, ptr %35, align 4, !tbaa !9
  %459 = sdiv i32 %457, %458
  %460 = sub nsw i32 %459, 1
  store i32 %460, ptr %33, align 4, !tbaa !9
  br label %467

461:                                              ; preds = %451
  %462 = load ptr, ptr %16, align 8, !tbaa !5
  %463 = load i32, ptr %462, align 4, !tbaa !9
  %464 = sub nsw i32 %463, 1
  %465 = load i32, ptr %35, align 4, !tbaa !9
  %466 = sdiv i32 %464, %465
  store i32 %466, ptr %33, align 4, !tbaa !9
  br label %467

467:                                              ; preds = %461, %455
  %468 = load double, ptr %30, align 8, !tbaa !11
  %469 = load i32, ptr %33, align 4, !tbaa !9
  %470 = sitofp i32 %469 to double
  %471 = load ptr, ptr %28, align 8, !tbaa !5
  %472 = load i32, ptr %34, align 4, !tbaa !9
  %473 = sext i32 %472 to i64
  %474 = getelementptr inbounds double, ptr %471, i64 %473
  %475 = load double, ptr %474, align 8, !tbaa !11
  %476 = call double @llvm.fmuladd.f64(double %470, double %475, double %468)
  store double %476, ptr %31, align 8, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 8, ptr %45) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %44) #4
  br label %639

477:                                              ; preds = %417, %414
  %478 = load ptr, ptr %29, align 8, !tbaa !5
  %479 = load i32, ptr %34, align 4, !tbaa !9
  %480 = sext i32 %479 to i64
  %481 = getelementptr inbounds i32, ptr %478, i64 %480
  %482 = load i32, ptr %481, align 4, !tbaa !9
  %483 = icmp ne i32 %482, 0
  br i1 %483, label %484, label %556

484:                                              ; preds = %477
  call void @llvm.lifetime.start.p0(i64 8, ptr %46) #4
  %485 = load ptr, ptr %24, align 8, !tbaa !5
  %486 = load i32, ptr %34, align 4, !tbaa !9
  %487 = sext i32 %486 to i64
  %488 = getelementptr inbounds double, ptr %485, i64 %487
  %489 = load double, ptr %488, align 8, !tbaa !11
  %490 = load i32, ptr %32, align 4, !tbaa !9
  %491 = sub nsw i32 %490, 1
  %492 = sitofp i32 %491 to double
  %493 = load ptr, ptr %25, align 8, !tbaa !5
  %494 = load i32, ptr %34, align 4, !tbaa !9
  %495 = sext i32 %494 to i64
  %496 = getelementptr inbounds double, ptr %493, i64 %495
  %497 = load double, ptr %496, align 8, !tbaa !11
  %498 = call double @llvm.fmuladd.f64(double %492, double %497, double %489)
  store double %498, ptr %46, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %47) #4
  %499 = load ptr, ptr %25, align 8, !tbaa !5
  %500 = load i32, ptr %34, align 4, !tbaa !9
  %501 = sext i32 %500 to i64
  %502 = getelementptr inbounds double, ptr %499, i64 %501
  %503 = load double, ptr %502, align 8, !tbaa !11
  store double %503, ptr %47, align 8, !tbaa !11
  %504 = load ptr, ptr %18, align 8, !tbaa !5
  %505 = load i32, ptr %504, align 4, !tbaa !9
  %506 = icmp eq i32 %505, 1
  br i1 %506, label %507, label %512

507:                                              ; preds = %484
  %508 = load double, ptr %46, align 8, !tbaa !11
  %509 = load double, ptr %47, align 8, !tbaa !11
  %510 = fdiv double %509, 2.000000e+00
  %511 = fsub double %508, %510
  store double %511, ptr %30, align 8, !tbaa !11
  br label %524

512:                                              ; preds = %484
  %513 = load ptr, ptr %18, align 8, !tbaa !5
  %514 = load i32, ptr %513, align 4, !tbaa !9
  %515 = icmp eq i32 %514, 2
  br i1 %515, label %516, label %518

516:                                              ; preds = %512
  %517 = load double, ptr %46, align 8, !tbaa !11
  store double %517, ptr %30, align 8, !tbaa !11
  br label %523

518:                                              ; preds = %512
  %519 = load double, ptr %46, align 8, !tbaa !11
  %520 = load double, ptr %47, align 8, !tbaa !11
  %521 = fdiv double %520, 2.000000e+00
  %522 = fadd double %519, %521
  store double %522, ptr %30, align 8, !tbaa !11
  br label %523

523:                                              ; preds = %518, %516
  br label %524

524:                                              ; preds = %523, %507
  %525 = load ptr, ptr %27, align 8, !tbaa !5
  %526 = load i32, ptr %34, align 4, !tbaa !9
  %527 = sext i32 %526 to i64
  %528 = getelementptr inbounds i32, ptr %525, i64 %527
  %529 = load i32, ptr %528, align 4, !tbaa !9
  %530 = icmp ne i32 %529, 0
  br i1 %530, label %531, label %553

531:                                              ; preds = %524
  %532 = load ptr, ptr %16, align 8, !tbaa !5
  %533 = load i32, ptr %532, align 4, !tbaa !9
  %534 = icmp sle i32 %533, 0
  br i1 %534, label %535, label %541

535:                                              ; preds = %531
  %536 = load ptr, ptr %16, align 8, !tbaa !5
  %537 = load i32, ptr %536, align 4, !tbaa !9
  %538 = load i32, ptr %35, align 4, !tbaa !9
  %539 = sdiv i32 %537, %538
  %540 = sub nsw i32 %539, 1
  store i32 %540, ptr %33, align 4, !tbaa !9
  br label %547

541:                                              ; preds = %531
  %542 = load ptr, ptr %16, align 8, !tbaa !5
  %543 = load i32, ptr %542, align 4, !tbaa !9
  %544 = sub nsw i32 %543, 1
  %545 = load i32, ptr %35, align 4, !tbaa !9
  %546 = sdiv i32 %544, %545
  store i32 %546, ptr %33, align 4, !tbaa !9
  br label %547

547:                                              ; preds = %541, %535
  %548 = load double, ptr %30, align 8, !tbaa !11
  %549 = load i32, ptr %33, align 4, !tbaa !9
  %550 = sitofp i32 %549 to double
  %551 = call double @tm_modulo_axlen_(ptr noundef %34)
  %552 = call double @llvm.fmuladd.f64(double %550, double %551, double %548)
  store double %552, ptr %31, align 8, !tbaa !11
  br label %555

553:                                              ; preds = %524
  %554 = load double, ptr %30, align 8, !tbaa !11
  store double %554, ptr %31, align 8, !tbaa !11
  br label %555

555:                                              ; preds = %553, %547
  call void @llvm.lifetime.end.p0(i64 8, ptr %47) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %46) #4
  br label %638

556:                                              ; preds = %477
  %557 = load ptr, ptr %26, align 8, !tbaa !5
  %558 = load i32, ptr %34, align 4, !tbaa !9
  %559 = sext i32 %558 to i64
  %560 = getelementptr inbounds i32, ptr %557, i64 %559
  %561 = load i32, ptr %560, align 4, !tbaa !9
  %562 = sub nsw i32 %561, 1
  %563 = load i32, ptr %32, align 4, !tbaa !9
  %564 = add nsw i32 %563, %562
  store i32 %564, ptr %32, align 4, !tbaa !9
  %565 = load i32, ptr %32, align 4, !tbaa !9
  %566 = add nsw i32 %565, -1
  store i32 %566, ptr %32, align 4, !tbaa !9
  %567 = load ptr, ptr %18, align 8, !tbaa !5
  %568 = load i32, ptr %567, align 4, !tbaa !9
  %569 = icmp eq i32 %568, 1
  br i1 %569, label %570, label %582

570:                                              ; preds = %556
  %571 = load ptr, ptr %20, align 8, !tbaa !5
  %572 = load i32, ptr %32, align 4, !tbaa !9
  %573 = load ptr, ptr %23, align 8, !tbaa !5
  %574 = load i32, ptr %34, align 4, !tbaa !9
  %575 = sext i32 %574 to i64
  %576 = getelementptr inbounds i32, ptr %573, i64 %575
  %577 = load i32, ptr %576, align 4, !tbaa !9
  %578 = add nsw i32 %572, %577
  %579 = sext i32 %578 to i64
  %580 = getelementptr inbounds double, ptr %571, i64 %579
  %581 = load double, ptr %580, align 8, !tbaa !11
  store double %581, ptr %30, align 8, !tbaa !11
  br label %606

582:                                              ; preds = %556
  %583 = load ptr, ptr %18, align 8, !tbaa !5
  %584 = load i32, ptr %583, align 4, !tbaa !9
  %585 = icmp eq i32 %584, 2
  br i1 %585, label %586, label %592

586:                                              ; preds = %582
  %587 = load ptr, ptr %20, align 8, !tbaa !5
  %588 = load i32, ptr %32, align 4, !tbaa !9
  %589 = sext i32 %588 to i64
  %590 = getelementptr inbounds double, ptr %587, i64 %589
  %591 = load double, ptr %590, align 8, !tbaa !11
  store double %591, ptr %30, align 8, !tbaa !11
  br label %605

592:                                              ; preds = %582
  %593 = load ptr, ptr %20, align 8, !tbaa !5
  %594 = load i32, ptr %32, align 4, !tbaa !9
  %595 = load ptr, ptr %23, align 8, !tbaa !5
  %596 = load i32, ptr %34, align 4, !tbaa !9
  %597 = sext i32 %596 to i64
  %598 = getelementptr inbounds i32, ptr %595, i64 %597
  %599 = load i32, ptr %598, align 4, !tbaa !9
  %600 = add nsw i32 %594, %599
  %601 = add nsw i32 %600, 1
  %602 = sext i32 %601 to i64
  %603 = getelementptr inbounds double, ptr %593, i64 %602
  %604 = load double, ptr %603, align 8, !tbaa !11
  store double %604, ptr %30, align 8, !tbaa !11
  br label %605

605:                                              ; preds = %592, %586
  br label %606

606:                                              ; preds = %605, %570
  %607 = load ptr, ptr %27, align 8, !tbaa !5
  %608 = load i32, ptr %34, align 4, !tbaa !9
  %609 = sext i32 %608 to i64
  %610 = getelementptr inbounds i32, ptr %607, i64 %609
  %611 = load i32, ptr %610, align 4, !tbaa !9
  %612 = icmp ne i32 %611, 0
  br i1 %612, label %613, label %635

613:                                              ; preds = %606
  %614 = load ptr, ptr %16, align 8, !tbaa !5
  %615 = load i32, ptr %614, align 4, !tbaa !9
  %616 = icmp sle i32 %615, 0
  br i1 %616, label %617, label %623

617:                                              ; preds = %613
  %618 = load ptr, ptr %16, align 8, !tbaa !5
  %619 = load i32, ptr %618, align 4, !tbaa !9
  %620 = load i32, ptr %35, align 4, !tbaa !9
  %621 = sdiv i32 %619, %620
  %622 = sub nsw i32 %621, 1
  store i32 %622, ptr %33, align 4, !tbaa !9
  br label %629

623:                                              ; preds = %613
  %624 = load ptr, ptr %16, align 8, !tbaa !5
  %625 = load i32, ptr %624, align 4, !tbaa !9
  %626 = sub nsw i32 %625, 1
  %627 = load i32, ptr %35, align 4, !tbaa !9
  %628 = sdiv i32 %626, %627
  store i32 %628, ptr %33, align 4, !tbaa !9
  br label %629

629:                                              ; preds = %623, %617
  %630 = load double, ptr %30, align 8, !tbaa !11
  %631 = load i32, ptr %33, align 4, !tbaa !9
  %632 = sitofp i32 %631 to double
  %633 = call double @tm_modulo_axlen_(ptr noundef %34)
  %634 = call double @llvm.fmuladd.f64(double %632, double %633, double %630)
  store double %634, ptr %31, align 8, !tbaa !11
  br label %637

635:                                              ; preds = %606
  %636 = load double, ptr %30, align 8, !tbaa !11
  store double %636, ptr %31, align 8, !tbaa !11
  br label %637

637:                                              ; preds = %635, %629
  br label %638

638:                                              ; preds = %637, %555
  br label %639

639:                                              ; preds = %638, %467
  %640 = load double, ptr %31, align 8, !tbaa !11
  store double %640, ptr %15, align 8
  store i32 1, ptr %43, align 4
  br label %641

641:                                              ; preds = %639, %359
  call void @llvm.lifetime.end.p0(i64 4, ptr %37) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %36) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %35) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %34) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %33) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %32) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #4
  %642 = load double, ptr %15, align 8
  ret double %642
}

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

declare i32 @tm_its_subspan_modulo_int_(ptr noundef) #2

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

declare void @tm_ww_axlims_(ptr noundef, ptr noundef, ptr noundef) #2

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

declare double @tm_modulo_axlen_(ptr noundef) #2

attributes #0 = { 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 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { "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 = { 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, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"double", !7, i64 0}


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

; Function Attrs: nounwind uwtable
define dso_local double @tm_world_recur_(ptr nocapture noundef readonly %0, ptr nocapture noundef readonly %1, ptr noundef %2, ptr noundef %3, ptr noundef %4, ptr noundef %5, ptr noundef %6, ptr noundef %7, ptr noundef %8, ptr noundef %9, ptr noundef %10, ptr noundef %11, ptr noundef %12, ptr noundef %13) local_unnamed_addr #0 {
  %15 = alloca i32, align 4
  %16 = alloca i32, align 4
  %17 = alloca i32, align 4
  %18 = alloca i32, align 4
  %19 = alloca i32, align 4
  %20 = alloca double, align 8
  %21 = alloca double, align 8
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %15) #5
  %22 = load i32, ptr %1, align 4, !tbaa !5
  store i32 %22, ptr %15, align 4, !tbaa !5
  %23 = sext i32 %22 to i64
  %24 = getelementptr inbounds i32, ptr %7, i64 %23
  %25 = load i32, ptr %24, align 4, !tbaa !5
  %26 = load i32, ptr %3, align 4, !tbaa !5
  %27 = icmp sgt i32 %22, %26
  br i1 %27, label %28, label %96

28:                                               ; preds = %14
  %29 = getelementptr inbounds i32, ptr %5, i64 %23
  %30 = load i32, ptr %29, align 4, !tbaa !5
  %.not = icmp eq i32 %30, 0
  br i1 %.not, label %96, label %31

31:                                               ; preds = %28
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %16) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %17) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %18) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %19) #5
  %32 = getelementptr inbounds i32, ptr %6, i64 %23
  %33 = load i32, ptr %32, align 4, !tbaa !5
  switch i32 %33, label %95 [
    i32 1, label %34
    i32 2, label %93
  ]

34:                                               ; preds = %31
  %35 = getelementptr inbounds double, ptr %8, i64 %23
  %36 = load double, ptr %35, align 8, !tbaa !9
  %37 = fptosi double %36 to i32
  %38 = load i32, ptr %0, align 4, !tbaa !5
  %39 = add nsw i32 %38, -1
  %40 = getelementptr inbounds double, ptr %9, i64 %23
  %41 = load double, ptr %40, align 8, !tbaa !9
  %42 = fptosi double %41 to i32
  %43 = mul nsw i32 %39, %42
  %44 = add nsw i32 %43, %37
  store i32 %44, ptr %16, align 4, !tbaa !5
  %45 = getelementptr inbounds i32, ptr %13, i64 %23
  %46 = load i32, ptr %45, align 4, !tbaa !5
  %.not240 = icmp eq i32 %46, 0
  br i1 %.not240, label %47, label %49

47:                                               ; preds = %34
  %48 = load i32, ptr %2, align 4, !tbaa !5
  switch i32 %48, label %55 [
    i32 2, label %49
    i32 1, label %51
  ]

49:                                               ; preds = %47, %34
  %50 = call double @tm_world_recur_(ptr noundef nonnull %16, ptr noundef nonnull %29, ptr noundef %2, ptr noundef nonnull %3, ptr noundef %4, ptr noundef nonnull %5, ptr noundef nonnull %6, ptr noundef nonnull %7, ptr noundef nonnull %8, ptr noundef nonnull %9, ptr noundef %10, ptr noundef %11, ptr noundef %12, ptr noundef nonnull %13)
  br label %95

51:                                               ; preds = %47
  %52 = add nsw i32 %38, -2
  %53 = mul nsw i32 %52, %42
  %54 = add nsw i32 %53, %37
  store i32 %54, ptr %17, align 4, !tbaa !5
  br label %58

55:                                               ; preds = %47
  store i32 %44, ptr %17, align 4, !tbaa !5
  %56 = mul nsw i32 %38, %42
  %57 = add nsw i32 %56, %37
  br label %58

58:                                               ; preds = %55, %51
  %59 = phi i32 [ %44, %55 ], [ %54, %51 ]
  %storemerge = phi i32 [ %57, %55 ], [ %44, %51 ]
  store i32 %storemerge, ptr %18, align 4, !tbaa !5
  %60 = sext i32 %30 to i64
  %61 = getelementptr inbounds i32, ptr %7, i64 %60
  %62 = load i32, ptr %61, align 4, !tbaa !5
  %63 = tail call i32 @tm_its_subspan_modulo_int_(ptr noundef nonnull %29) #5
  %64 = load i32, ptr %29, align 4, !tbaa !5
  %65 = sext i32 %64 to i64
  %66 = getelementptr inbounds i32, ptr %11, i64 %65
  %67 = load i32, ptr %66, align 4, !tbaa !5
  %68 = icmp ne i32 %67, 0
  %69 = icmp ne i32 %63, 0
  %or.cond = select i1 %68, i1 %69, i1 false
  br i1 %or.cond, label %70, label %79

70:                                               ; preds = %58
  %71 = add i32 %59, 1
  %or.cond3 = icmp ult i32 %71, 2
  br i1 %or.cond3, label %72, label %74

72:                                               ; preds = %70
  store i32 1, ptr %19, align 4, !tbaa !5
  store i32 1, ptr %17, align 4, !tbaa !5
  %73 = call double @tm_world_recur_(ptr noundef nonnull %17, ptr noundef nonnull %29, ptr noundef nonnull %19, ptr noundef nonnull %3, ptr noundef %4, ptr noundef nonnull %5, ptr noundef nonnull %6, ptr noundef nonnull %7, ptr noundef nonnull %8, ptr noundef nonnull %9, ptr noundef %10, ptr noundef nonnull %11, ptr noundef %12, ptr noundef nonnull %13)
  br label %95

74:                                               ; preds = %70
  %75 = add nsw i32 %62, 1
  %76 = icmp eq i32 %storemerge, %75
  br i1 %76, label %77, label %.thread

77:                                               ; preds = %74
  store i32 3, ptr %19, align 4, !tbaa !5
  store i32 %62, ptr %18, align 4, !tbaa !5
  %78 = call double @tm_world_recur_(ptr noundef nonnull %18, ptr noundef nonnull %29, ptr noundef nonnull %19, ptr noundef nonnull %3, ptr noundef %4, ptr noundef nonnull %5, ptr noundef nonnull %6, ptr noundef nonnull %7, ptr noundef nonnull %8, ptr noundef nonnull %9, ptr noundef %10, ptr noundef nonnull %11, ptr noundef %12, ptr noundef nonnull %13)
  br label %95

79:                                               ; preds = %58
  %.not241 = icmp eq i32 %67, 0
  br i1 %.not241, label %80, label %.thread

80:                                               ; preds = %79
  %81 = icmp slt i32 %59, 1
  %.not242 = icmp sgt i32 %storemerge, %62
  %or.cond243 = select i1 %81, i1 true, i1 %.not242
  br i1 %or.cond243, label %86, label %.thread

.thread:                                          ; preds = %74, %80, %79
  store i32 2, ptr %19, align 4, !tbaa !5
  %82 = call double @tm_world_recur_(ptr noundef nonnull %17, ptr noundef nonnull %29, ptr noundef nonnull %19, ptr noundef nonnull %3, ptr noundef %4, ptr noundef nonnull %5, ptr noundef nonnull %6, ptr noundef nonnull %7, ptr noundef nonnull %8, ptr noundef nonnull %9, ptr noundef %10, ptr noundef nonnull %11, ptr noundef %12, ptr noundef nonnull %13)
  %83 = call double @tm_world_recur_(ptr noundef nonnull %18, ptr noundef nonnull %29, ptr noundef nonnull %19, ptr noundef nonnull %3, ptr noundef %4, ptr noundef nonnull %5, ptr noundef nonnull %6, ptr noundef nonnull %7, ptr noundef nonnull %8, ptr noundef nonnull %9, ptr noundef %10, ptr noundef nonnull %11, ptr noundef %12, ptr noundef nonnull %13)
  %84 = fadd double %82, %83
  %85 = fmul double %84, 5.000000e-01
  br label %95

86:                                               ; preds = %80
  %87 = load i32, ptr %2, align 4, !tbaa !5
  %88 = icmp eq i32 %87, 1
  br i1 %88, label %89, label %91

89:                                               ; preds = %86
  store i32 1, ptr %16, align 4, !tbaa !5
  %90 = call double @tm_world_recur_(ptr noundef nonnull %16, ptr noundef nonnull %29, ptr noundef nonnull %2, ptr noundef nonnull %3, ptr noundef %4, ptr noundef nonnull %5, ptr noundef nonnull %6, ptr noundef nonnull %7, ptr noundef nonnull %8, ptr noundef nonnull %9, ptr noundef %10, ptr noundef nonnull %11, ptr noundef %12, ptr noundef nonnull %13)
  br label %95

91:                                               ; preds = %86
  store i32 %62, ptr %16, align 4, !tbaa !5
  %92 = call double @tm_world_recur_(ptr noundef nonnull %16, ptr noundef nonnull %29, ptr noundef nonnull %2, ptr noundef nonnull %3, ptr noundef %4, ptr noundef nonnull %5, ptr noundef nonnull %6, ptr noundef nonnull %7, ptr noundef nonnull %8, ptr noundef nonnull %9, ptr noundef %10, ptr noundef nonnull %11, ptr noundef %12, ptr noundef nonnull %13)
  br label %95

93:                                               ; preds = %31
  %94 = tail call double @tm_world_recur_(ptr noundef %0, ptr noundef nonnull %1, ptr noundef %2, ptr noundef nonnull %3, ptr noundef %4, ptr noundef nonnull %5, ptr noundef nonnull %6, ptr noundef nonnull %7, ptr noundef %8, ptr noundef %9, ptr noundef %10, ptr noundef %11, ptr noundef %12, ptr noundef %13)
  br label %95

95:                                               ; preds = %93, %.thread, %91, %89, %49, %31, %77, %72
  %.0 = phi double [ %73, %72 ], [ %78, %77 ], [ %94, %93 ], [ %50, %49 ], [ %85, %.thread ], [ %90, %89 ], [ %92, %91 ], [ -9.990000e+02, %31 ]
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %19) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %18) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %17) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %16) #5
  br label %215

96:                                               ; preds = %28, %14
  %97 = call i32 @tm_its_subspan_modulo_int_(ptr noundef nonnull %15) #5
  %.not234 = icmp ne i32 %97, 0
  %98 = zext i1 %.not234 to i32
  %spec.select = add nsw i32 %25, %98
  %99 = load i32, ptr %15, align 4, !tbaa !5
  %100 = sext i32 %99 to i64
  %101 = getelementptr inbounds i32, ptr %11, i64 %100
  %102 = load i32, ptr %101, align 4, !tbaa !5
  %.not235 = icmp eq i32 %102, 0
  %103 = load i32, ptr %0, align 4, !tbaa !5
  br i1 %.not235, label %110, label %104

104:                                              ; preds = %96
  %105 = add nsw i32 %103, -1
  %106 = srem i32 %105, %spec.select
  %107 = add nsw i32 %106, 1
  %108 = icmp slt i32 %106, 0
  %109 = select i1 %108, i32 %spec.select, i32 0
  %spec.select244 = add nsw i32 %107, %109
  br label %111

110:                                              ; preds = %96
  %spec.select245 = call i32 @llvm.smax.i32(i32 %103, i32 1)
  %spec.select249 = call i32 @llvm.smin.i32(i32 %spec.select, i32 %spec.select245)
  br label %111

111:                                              ; preds = %110, %104
  %.0215 = phi i32 [ %spec.select244, %104 ], [ %spec.select249, %110 ]
  %112 = call i32 @tm_its_subspan_modulo_int_(ptr noundef nonnull %15) #5
  %.not236 = icmp ne i32 %112, 0
  %113 = icmp eq i32 %.0215, %spec.select
  %or.cond247 = select i1 %.not236, i1 %113, i1 false
  br i1 %or.cond247, label %114, label %151

114:                                              ; preds = %111
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %20) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %21) #5
  call void @tm_ww_axlims_(ptr noundef nonnull %15, ptr noundef nonnull %20, ptr noundef nonnull %21) #5
  %115 = load i32, ptr %2, align 4, !tbaa !5
  switch i32 %115, label %128 [
    i32 1, label %116
    i32 2, label %118
  ]

116:                                              ; preds = %114
  %117 = load double, ptr %21, align 8, !tbaa !9
  br label %135

118:                                              ; preds = %114
  %119 = load double, ptr %21, align 8, !tbaa !9
  %120 = load double, ptr %20, align 8, !tbaa !9
  %121 = load i32, ptr %15, align 4, !tbaa !5
  %122 = sext i32 %121 to i64
  %123 = getelementptr inbounds double, ptr %12, i64 %122
  %124 = load double, ptr %123, align 8, !tbaa !9
  %125 = fadd double %120, %124
  %126 = fadd double %119, %125
  %127 = fmul double %126, 5.000000e-01
  br label %135

128:                                              ; preds = %114
  %129 = load double, ptr %20, align 8, !tbaa !9
  %130 = load i32, ptr %15, align 4, !tbaa !5
  %131 = sext i32 %130 to i64
  %132 = getelementptr inbounds double, ptr %12, i64 %131
  %133 = load double, ptr %132, align 8, !tbaa !9
  %134 = fadd double %129, %133
  br label %135

135:                                              ; preds = %118, %128, %116
  %.0210 = phi double [ %117, %116 ], [ %127, %118 ], [ %134, %128 ]
  %136 = load i32, ptr %0, align 4, !tbaa !5
  %137 = icmp slt i32 %136, 1
  br i1 %137, label %138, label %141

138:                                              ; preds = %135
  %139 = sdiv i32 %136, %spec.select
  %140 = add nsw i32 %139, -1
  br label %144

141:                                              ; preds = %135
  %142 = add nsw i32 %136, -1
  %143 = sdiv i32 %142, %spec.select
  br label %144

144:                                              ; preds = %141, %138
  %.0217 = phi i32 [ %140, %138 ], [ %143, %141 ]
  %145 = sitofp i32 %.0217 to double
  %146 = load i32, ptr %15, align 4, !tbaa !5
  %147 = sext i32 %146 to i64
  %148 = getelementptr inbounds double, ptr %12, i64 %147
  %149 = load double, ptr %148, align 8, !tbaa !9
  %150 = call double @llvm.fmuladd.f64(double %145, double %149, double %.0210)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %21) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %20) #5
  br label %215

151:                                              ; preds = %111
  %152 = load i32, ptr %15, align 4, !tbaa !5
  %153 = sext i32 %152 to i64
  %154 = getelementptr inbounds i32, ptr %13, i64 %153
  %155 = load i32, ptr %154, align 4, !tbaa !5
  %.not237 = icmp eq i32 %155, 0
  %156 = add i32 %.0215, -1
  br i1 %.not237, label %187, label %157

157:                                              ; preds = %151
  %158 = getelementptr inbounds double, ptr %8, i64 %153
  %159 = load double, ptr %158, align 8, !tbaa !9
  %160 = sitofp i32 %156 to double
  %161 = getelementptr inbounds double, ptr %9, i64 %153
  %162 = load double, ptr %161, align 8, !tbaa !9
  %163 = call double @llvm.fmuladd.f64(double %160, double %162, double %159)
  %164 = load i32, ptr %2, align 4, !tbaa !5
  switch i32 %164, label %168 [
    i32 1, label %165
    i32 2, label %171
  ]

165:                                              ; preds = %157
  %166 = fmul double %162, 5.000000e-01
  %167 = fsub double %163, %166
  br label %171

168:                                              ; preds = %157
  %169 = fmul double %162, 5.000000e-01
  %170 = fadd double %163, %169
  br label %171

171:                                              ; preds = %157, %168, %165
  %.1211 = phi double [ %167, %165 ], [ %170, %168 ], [ %163, %157 ]
  %172 = getelementptr inbounds i32, ptr %11, i64 %153
  %173 = load i32, ptr %172, align 4, !tbaa !5
  %.not239 = icmp eq i32 %173, 0
  br i1 %.not239, label %215, label %174

174:                                              ; preds = %171
  %175 = load i32, ptr %0, align 4, !tbaa !5
  %176 = icmp slt i32 %175, 1
  br i1 %176, label %177, label %180

177:                                              ; preds = %174
  %178 = sdiv i32 %175, %spec.select
  %179 = add nsw i32 %178, -1
  br label %183

180:                                              ; preds = %174
  %181 = add nsw i32 %175, -1
  %182 = sdiv i32 %181, %spec.select
  br label %183

183:                                              ; preds = %180, %177
  %.1218 = phi i32 [ %179, %177 ], [ %182, %180 ]
  %184 = sitofp i32 %.1218 to double
  %185 = call double @tm_modulo_axlen_(ptr noundef nonnull %15) #5
  %186 = call double @llvm.fmuladd.f64(double %184, double %185, double %.1211)
  br label %215

187:                                              ; preds = %151
  %188 = getelementptr inbounds i32, ptr %10, i64 %153
  %189 = load i32, ptr %188, align 4, !tbaa !5
  %190 = add i32 %156, %189
  %191 = add nsw i32 %190, -1
  %192 = load i32, ptr %2, align 4, !tbaa !5
  switch i32 %192, label %193 [
    i32 1, label %.sink.split
    i32 2, label %197
  ]

193:                                              ; preds = %187
  br label %.sink.split

.sink.split:                                      ; preds = %187, %193
  %.sink251 = phi i32 [ %190, %193 ], [ %191, %187 ]
  %194 = getelementptr inbounds i32, ptr %7, i64 %153
  %195 = load i32, ptr %194, align 4, !tbaa !5
  %196 = add i32 %195, %.sink251
  br label %197

197:                                              ; preds = %.sink.split, %187
  %.sink250 = phi i32 [ %191, %187 ], [ %196, %.sink.split ]
  %198 = sext i32 %.sink250 to i64
  %199 = getelementptr inbounds double, ptr %4, i64 %198
  %.2 = load double, ptr %199, align 8, !tbaa !9
  %200 = getelementptr inbounds i32, ptr %11, i64 %153
  %201 = load i32, ptr %200, align 4, !tbaa !5
  %.not238 = icmp eq i32 %201, 0
  br i1 %.not238, label %215, label %202

202:                                              ; preds = %197
  %203 = load i32, ptr %0, align 4, !tbaa !5
  %204 = icmp slt i32 %203, 1
  br i1 %204, label %205, label %208

205:                                              ; preds = %202
  %206 = sdiv i32 %203, %spec.select
  %207 = add nsw i32 %206, -1
  br label %211

208:                                              ; preds = %202
  %209 = add nsw i32 %203, -1
  %210 = sdiv i32 %209, %spec.select
  br label %211

211:                                              ; preds = %208, %205
  %.2219 = phi i32 [ %207, %205 ], [ %210, %208 ]
  %212 = sitofp i32 %.2219 to double
  %213 = call double @tm_modulo_axlen_(ptr noundef nonnull %15) #5
  %214 = call double @llvm.fmuladd.f64(double %212, double %213, double %.2)
  br label %215

215:                                              ; preds = %144, %211, %171, %183, %197, %95
  %.1 = phi double [ %.0, %95 ], [ %150, %144 ], [ %214, %211 ], [ %186, %183 ], [ %.1211, %171 ], [ %.2, %197 ]
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %15) #5
  ret double %.1
}

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

declare i32 @tm_its_subspan_modulo_int_(ptr noundef) local_unnamed_addr #2

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

declare void @tm_ww_axlims_(ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #2

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

declare double @tm_modulo_axlen_(ptr noundef) local_unnamed_addr #2

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

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

attributes #0 = { 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 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { "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 = { 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 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"double", !7, i64 0}


; Effective O3 passes: CorrelatedValuePropagationPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,InferFunctionAttrsPass,InstCombinePass,JumpThreadingPass,PostOrderFunctionAttrsPass,ReassociatePass,SROAPass,SimplifyCFGPass,TailCallElimPass