; LLVM IR from ShahjalalShohag/code-library :: Number Theory/Linear Diophantine Equation Three Variables with Nonnegative Solutions._e4e96672 (Z5countnnnn)

; 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 [17 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [151 x i8], align 1
@__PRETTY_FUNCTION__._Z5countnnnn = external hidden unnamed_addr constant [20 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [17 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [17 x i8], align 1

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

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef { i64, i64 } @_Z7inversenn(i64 noundef, i64 noundef, i64 noundef, i64 noundef) #1

; Function Attrs: mustprogress uwtable
declare dso_local noundef { i64, i64 } @_Z9floor_sumnnnn(i64 noundef, i64 noundef, i64 noundef, i64 noundef, i64 noundef, i64 noundef, i128 noundef) #1

; Function Attrs: mustprogress uwtable
define dso_local noundef { i64, i64 } @_Z5countnnnn(i64 noundef %0, i64 noundef %1, i64 noundef %2, i64 noundef %3, i64 noundef %4, i64 noundef %5, i128 noundef %6) #1 {
  %8 = alloca i128, align 16
  %9 = alloca i128, align 16
  %10 = alloca i128, align 16
  %11 = alloca i128, align 16
  %12 = alloca i128, align 16
  %13 = alloca i128, align 16
  %14 = alloca i128, align 16
  %15 = alloca i128, align 16
  %16 = alloca i128, align 16
  %17 = alloca i128, align 16
  %18 = alloca i128, align 16
  %19 = alloca i128, align 16
  %20 = alloca i128, align 16
  %21 = alloca i128, align 16
  %22 = alloca i128, align 16
  %23 = alloca i128, align 16
  %24 = alloca i128, align 16
  %25 = alloca i128, align 16
  %26 = alloca i128, align 16
  %27 = alloca i128, align 16
  %28 = alloca i128, align 16
  %29 = alloca i128, align 16
  %30 = alloca i128, align 16
  %31 = alloca i128, align 16
  %32 = alloca i128, align 16
  %33 = alloca i128, align 16
  %34 = alloca i128, align 16
  %35 = alloca i128, align 16
  %36 = alloca i128, align 16
  %37 = alloca i128, align 16
  %38 = alloca i128, align 16
  %39 = alloca i128, align 16
  %40 = alloca i128, align 16
  %41 = alloca i128, align 16
  %42 = alloca i128, align 16
  %43 = alloca i128, align 16
  %44 = alloca i128, align 16
  %45 = alloca i128, align 16
  %46 = alloca i128, align 16
  %47 = alloca i128, align 16
  %48 = alloca i128, align 16
  %49 = alloca i128, align 16
  %50 = alloca i128, align 16
  %51 = alloca i128, align 16
  %52 = alloca i128, align 16
  %53 = alloca i128, align 16
  %54 = alloca i128, align 16
  %55 = alloca i128, align 16
  %56 = alloca i128, align 16
  %57 = alloca i128, align 16
  %58 = alloca i128, align 16
  %59 = alloca i128, align 16
  %60 = alloca i128, align 16
  %61 = alloca i128, align 16
  %62 = alloca i128, align 16
  %63 = getelementptr inbounds { i64, i64 }, ptr %9, i32 0, i32 0
  store i64 %0, ptr %63, align 16
  %64 = getelementptr inbounds { i64, i64 }, ptr %9, i32 0, i32 1
  store i64 %1, ptr %64, align 8
  %65 = load i128, ptr %9, align 16, !tbaa !5
  %66 = getelementptr inbounds { i64, i64 }, ptr %10, i32 0, i32 0
  store i64 %2, ptr %66, align 16
  %67 = getelementptr inbounds { i64, i64 }, ptr %10, i32 0, i32 1
  store i64 %3, ptr %67, align 8
  %68 = load i128, ptr %10, align 16, !tbaa !5
  %69 = getelementptr inbounds { i64, i64 }, ptr %11, i32 0, i32 0
  store i64 %4, ptr %69, align 16
  %70 = getelementptr inbounds { i64, i64 }, ptr %11, i32 0, i32 1
  store i64 %5, ptr %70, align 8
  %71 = load i128, ptr %11, align 16, !tbaa !5
  store i128 %65, ptr %12, align 16, !tbaa !5
  store i128 %68, ptr %13, align 16, !tbaa !5
  store i128 %71, ptr %14, align 16, !tbaa !5
  store i128 %6, ptr %15, align 16, !tbaa !5
  %72 = load i128, ptr %12, align 16, !tbaa !5
  %73 = load i128, ptr %13, align 16, !tbaa !5
  store i128 %72, ptr %16, align 16, !tbaa !5
  %74 = getelementptr inbounds { i64, i64 }, ptr %16, i32 0, i32 0
  %75 = load i64, ptr %74, align 16
  %76 = getelementptr inbounds { i64, i64 }, ptr %16, i32 0, i32 1
  %77 = load i64, ptr %76, align 8
  store i128 %73, ptr %17, align 16, !tbaa !5
  %78 = getelementptr inbounds { i64, i64 }, ptr %17, i32 0, i32 0
  %79 = load i64, ptr %78, align 16
  %80 = getelementptr inbounds { i64, i64 }, ptr %17, i32 0, i32 1
  %81 = load i64, ptr %80, align 8
  %82 = call noundef { i64, i64 } @_ZSt5__gcdInET_S0_S0_(i64 noundef %75, i64 noundef %77, i64 noundef %79, i64 noundef %81)
  %83 = getelementptr inbounds { i64, i64 }, ptr %18, i32 0, i32 0
  %84 = extractvalue { i64, i64 } %82, 0
  store i64 %84, ptr %83, align 16
  %85 = getelementptr inbounds { i64, i64 }, ptr %18, i32 0, i32 1
  %86 = extractvalue { i64, i64 } %82, 1
  store i64 %86, ptr %85, align 8
  %87 = load i128, ptr %18, align 16, !tbaa !5
  %88 = icmp eq i128 %87, 1
  br i1 %88, label %89, label %90

89:                                               ; preds = %7
  br label %92

90:                                               ; preds = %7
  call void @__assert_fail(ptr noundef @.str, ptr noundef @.str.1, i32 noundef 37, ptr noundef @__PRETTY_FUNCTION__._Z5countnnnn) #4
  unreachable

91:                                               ; No predecessors!
  br label %92

92:                                               ; preds = %91, %89
  %93 = load i128, ptr %13, align 16, !tbaa !5
  %94 = load i128, ptr %14, align 16, !tbaa !5
  store i128 %93, ptr %19, align 16, !tbaa !5
  %95 = getelementptr inbounds { i64, i64 }, ptr %19, i32 0, i32 0
  %96 = load i64, ptr %95, align 16
  %97 = getelementptr inbounds { i64, i64 }, ptr %19, i32 0, i32 1
  %98 = load i64, ptr %97, align 8
  store i128 %94, ptr %20, align 16, !tbaa !5
  %99 = getelementptr inbounds { i64, i64 }, ptr %20, i32 0, i32 0
  %100 = load i64, ptr %99, align 16
  %101 = getelementptr inbounds { i64, i64 }, ptr %20, i32 0, i32 1
  %102 = load i64, ptr %101, align 8
  %103 = call noundef { i64, i64 } @_ZSt5__gcdInET_S0_S0_(i64 noundef %96, i64 noundef %98, i64 noundef %100, i64 noundef %102)
  %104 = getelementptr inbounds { i64, i64 }, ptr %21, i32 0, i32 0
  %105 = extractvalue { i64, i64 } %103, 0
  store i64 %105, ptr %104, align 16
  %106 = getelementptr inbounds { i64, i64 }, ptr %21, i32 0, i32 1
  %107 = extractvalue { i64, i64 } %103, 1
  store i64 %107, ptr %106, align 8
  %108 = load i128, ptr %21, align 16, !tbaa !5
  %109 = icmp eq i128 %108, 1
  br i1 %109, label %110, label %111

110:                                              ; preds = %92
  br label %113

111:                                              ; preds = %92
  call void @__assert_fail(ptr noundef @.str.2, ptr noundef @.str.1, i32 noundef 38, ptr noundef @__PRETTY_FUNCTION__._Z5countnnnn) #4
  unreachable

112:                                              ; No predecessors!
  br label %113

113:                                              ; preds = %112, %110
  %114 = load i128, ptr %12, align 16, !tbaa !5
  %115 = load i128, ptr %14, align 16, !tbaa !5
  store i128 %114, ptr %22, align 16, !tbaa !5
  %116 = getelementptr inbounds { i64, i64 }, ptr %22, i32 0, i32 0
  %117 = load i64, ptr %116, align 16
  %118 = getelementptr inbounds { i64, i64 }, ptr %22, i32 0, i32 1
  %119 = load i64, ptr %118, align 8
  store i128 %115, ptr %23, align 16, !tbaa !5
  %120 = getelementptr inbounds { i64, i64 }, ptr %23, i32 0, i32 0
  %121 = load i64, ptr %120, align 16
  %122 = getelementptr inbounds { i64, i64 }, ptr %23, i32 0, i32 1
  %123 = load i64, ptr %122, align 8
  %124 = call noundef { i64, i64 } @_ZSt5__gcdInET_S0_S0_(i64 noundef %117, i64 noundef %119, i64 noundef %121, i64 noundef %123)
  %125 = getelementptr inbounds { i64, i64 }, ptr %24, i32 0, i32 0
  %126 = extractvalue { i64, i64 } %124, 0
  store i64 %126, ptr %125, align 16
  %127 = getelementptr inbounds { i64, i64 }, ptr %24, i32 0, i32 1
  %128 = extractvalue { i64, i64 } %124, 1
  store i64 %128, ptr %127, align 8
  %129 = load i128, ptr %24, align 16, !tbaa !5
  %130 = icmp eq i128 %129, 1
  br i1 %130, label %131, label %132

131:                                              ; preds = %113
  br label %134

132:                                              ; preds = %113
  call void @__assert_fail(ptr noundef @.str.3, ptr noundef @.str.1, i32 noundef 39, ptr noundef @__PRETTY_FUNCTION__._Z5countnnnn) #4
  unreachable

133:                                              ; No predecessors!
  br label %134

134:                                              ; preds = %133, %131
  call void @llvm.lifetime.start.p0(i64 16, ptr %25) #5
  %135 = load i128, ptr %15, align 16, !tbaa !5
  %136 = sub nsw i128 0, %135
  %137 = load i128, ptr %12, align 16, !tbaa !5
  %138 = srem i128 %136, %137
  %139 = load i128, ptr %13, align 16, !tbaa !5
  %140 = load i128, ptr %12, align 16, !tbaa !5
  store i128 %139, ptr %26, align 16, !tbaa !5
  %141 = getelementptr inbounds { i64, i64 }, ptr %26, i32 0, i32 0
  %142 = load i64, ptr %141, align 16
  %143 = getelementptr inbounds { i64, i64 }, ptr %26, i32 0, i32 1
  %144 = load i64, ptr %143, align 8
  store i128 %140, ptr %27, align 16, !tbaa !5
  %145 = getelementptr inbounds { i64, i64 }, ptr %27, i32 0, i32 0
  %146 = load i64, ptr %145, align 16
  %147 = getelementptr inbounds { i64, i64 }, ptr %27, i32 0, i32 1
  %148 = load i64, ptr %147, align 8
  %149 = call noundef { i64, i64 } @_Z7inversenn(i64 noundef %142, i64 noundef %144, i64 noundef %146, i64 noundef %148)
  %150 = getelementptr inbounds { i64, i64 }, ptr %28, i32 0, i32 0
  %151 = extractvalue { i64, i64 } %149, 0
  store i64 %151, ptr %150, align 16
  %152 = getelementptr inbounds { i64, i64 }, ptr %28, i32 0, i32 1
  %153 = extractvalue { i64, i64 } %149, 1
  store i64 %153, ptr %152, align 8
  %154 = load i128, ptr %28, align 16, !tbaa !5
  %155 = mul nsw i128 %138, %154
  %156 = load i128, ptr %12, align 16, !tbaa !5
  %157 = srem i128 %155, %156
  %158 = load i128, ptr %12, align 16, !tbaa !5
  %159 = add nsw i128 %157, %158
  %160 = load i128, ptr %12, align 16, !tbaa !5
  %161 = srem i128 %159, %160
  store i128 %161, ptr %25, align 16, !tbaa !5
  %162 = load i128, ptr %25, align 16, !tbaa !5
  %163 = icmp eq i128 %162, 0
  br i1 %163, label %164, label %166

164:                                              ; preds = %134
  %165 = load i128, ptr %12, align 16, !tbaa !5
  store i128 %165, ptr %25, align 16, !tbaa !5
  br label %166

166:                                              ; preds = %164, %134
  call void @llvm.lifetime.start.p0(i64 16, ptr %29) #5
  %167 = load i128, ptr %13, align 16, !tbaa !5
  %168 = load i128, ptr %12, align 16, !tbaa !5
  %169 = srem i128 %167, %168
  %170 = load i128, ptr %14, align 16, !tbaa !5
  %171 = load i128, ptr %12, align 16, !tbaa !5
  store i128 %170, ptr %30, align 16, !tbaa !5
  %172 = getelementptr inbounds { i64, i64 }, ptr %30, i32 0, i32 0
  %173 = load i64, ptr %172, align 16
  %174 = getelementptr inbounds { i64, i64 }, ptr %30, i32 0, i32 1
  %175 = load i64, ptr %174, align 8
  store i128 %171, ptr %31, align 16, !tbaa !5
  %176 = getelementptr inbounds { i64, i64 }, ptr %31, i32 0, i32 0
  %177 = load i64, ptr %176, align 16
  %178 = getelementptr inbounds { i64, i64 }, ptr %31, i32 0, i32 1
  %179 = load i64, ptr %178, align 8
  %180 = call noundef { i64, i64 } @_Z7inversenn(i64 noundef %173, i64 noundef %175, i64 noundef %177, i64 noundef %179)
  %181 = getelementptr inbounds { i64, i64 }, ptr %32, i32 0, i32 0
  %182 = extractvalue { i64, i64 } %180, 0
  store i64 %182, ptr %181, align 16
  %183 = getelementptr inbounds { i64, i64 }, ptr %32, i32 0, i32 1
  %184 = extractvalue { i64, i64 } %180, 1
  store i64 %184, ptr %183, align 8
  %185 = load i128, ptr %32, align 16, !tbaa !5
  %186 = mul nsw i128 %169, %185
  %187 = load i128, ptr %12, align 16, !tbaa !5
  %188 = srem i128 %186, %187
  %189 = load i128, ptr %12, align 16, !tbaa !5
  %190 = add nsw i128 %188, %189
  %191 = load i128, ptr %12, align 16, !tbaa !5
  %192 = srem i128 %190, %191
  store i128 %192, ptr %29, align 16, !tbaa !5
  %193 = load i128, ptr %29, align 16, !tbaa !5
  %194 = icmp eq i128 %193, 0
  br i1 %194, label %195, label %197

195:                                              ; preds = %166
  %196 = load i128, ptr %12, align 16, !tbaa !5
  store i128 %196, ptr %29, align 16, !tbaa !5
  br label %197

197:                                              ; preds = %195, %166
  call void @llvm.lifetime.start.p0(i64 16, ptr %33) #5
  %198 = load i128, ptr %15, align 16, !tbaa !5
  %199 = sub nsw i128 0, %198
  %200 = load i128, ptr %13, align 16, !tbaa !5
  %201 = srem i128 %199, %200
  %202 = load i128, ptr %14, align 16, !tbaa !5
  %203 = load i128, ptr %13, align 16, !tbaa !5
  store i128 %202, ptr %34, align 16, !tbaa !5
  %204 = getelementptr inbounds { i64, i64 }, ptr %34, i32 0, i32 0
  %205 = load i64, ptr %204, align 16
  %206 = getelementptr inbounds { i64, i64 }, ptr %34, i32 0, i32 1
  %207 = load i64, ptr %206, align 8
  store i128 %203, ptr %35, align 16, !tbaa !5
  %208 = getelementptr inbounds { i64, i64 }, ptr %35, i32 0, i32 0
  %209 = load i64, ptr %208, align 16
  %210 = getelementptr inbounds { i64, i64 }, ptr %35, i32 0, i32 1
  %211 = load i64, ptr %210, align 8
  %212 = call noundef { i64, i64 } @_Z7inversenn(i64 noundef %205, i64 noundef %207, i64 noundef %209, i64 noundef %211)
  %213 = getelementptr inbounds { i64, i64 }, ptr %36, i32 0, i32 0
  %214 = extractvalue { i64, i64 } %212, 0
  store i64 %214, ptr %213, align 16
  %215 = getelementptr inbounds { i64, i64 }, ptr %36, i32 0, i32 1
  %216 = extractvalue { i64, i64 } %212, 1
  store i64 %216, ptr %215, align 8
  %217 = load i128, ptr %36, align 16, !tbaa !5
  %218 = mul nsw i128 %201, %217
  %219 = load i128, ptr %13, align 16, !tbaa !5
  %220 = srem i128 %218, %219
  %221 = load i128, ptr %13, align 16, !tbaa !5
  %222 = add nsw i128 %220, %221
  %223 = load i128, ptr %13, align 16, !tbaa !5
  %224 = srem i128 %222, %223
  store i128 %224, ptr %33, align 16, !tbaa !5
  %225 = load i128, ptr %33, align 16, !tbaa !5
  %226 = icmp eq i128 %225, 0
  br i1 %226, label %227, label %229

227:                                              ; preds = %197
  %228 = load i128, ptr %13, align 16, !tbaa !5
  store i128 %228, ptr %33, align 16, !tbaa !5
  br label %229

229:                                              ; preds = %227, %197
  call void @llvm.lifetime.start.p0(i64 16, ptr %37) #5
  %230 = load i128, ptr %14, align 16, !tbaa !5
  %231 = load i128, ptr %13, align 16, !tbaa !5
  %232 = srem i128 %230, %231
  %233 = load i128, ptr %12, align 16, !tbaa !5
  %234 = load i128, ptr %13, align 16, !tbaa !5
  store i128 %233, ptr %38, align 16, !tbaa !5
  %235 = getelementptr inbounds { i64, i64 }, ptr %38, i32 0, i32 0
  %236 = load i64, ptr %235, align 16
  %237 = getelementptr inbounds { i64, i64 }, ptr %38, i32 0, i32 1
  %238 = load i64, ptr %237, align 8
  store i128 %234, ptr %39, align 16, !tbaa !5
  %239 = getelementptr inbounds { i64, i64 }, ptr %39, i32 0, i32 0
  %240 = load i64, ptr %239, align 16
  %241 = getelementptr inbounds { i64, i64 }, ptr %39, i32 0, i32 1
  %242 = load i64, ptr %241, align 8
  %243 = call noundef { i64, i64 } @_Z7inversenn(i64 noundef %236, i64 noundef %238, i64 noundef %240, i64 noundef %242)
  %244 = getelementptr inbounds { i64, i64 }, ptr %40, i32 0, i32 0
  %245 = extractvalue { i64, i64 } %243, 0
  store i64 %245, ptr %244, align 16
  %246 = getelementptr inbounds { i64, i64 }, ptr %40, i32 0, i32 1
  %247 = extractvalue { i64, i64 } %243, 1
  store i64 %247, ptr %246, align 8
  %248 = load i128, ptr %40, align 16, !tbaa !5
  %249 = mul nsw i128 %232, %248
  %250 = load i128, ptr %13, align 16, !tbaa !5
  %251 = srem i128 %249, %250
  %252 = load i128, ptr %13, align 16, !tbaa !5
  %253 = add nsw i128 %251, %252
  %254 = load i128, ptr %13, align 16, !tbaa !5
  %255 = srem i128 %253, %254
  store i128 %255, ptr %37, align 16, !tbaa !5
  %256 = load i128, ptr %37, align 16, !tbaa !5
  %257 = icmp eq i128 %256, 0
  br i1 %257, label %258, label %260

258:                                              ; preds = %229
  %259 = load i128, ptr %13, align 16, !tbaa !5
  store i128 %259, ptr %37, align 16, !tbaa !5
  br label %260

260:                                              ; preds = %258, %229
  call void @llvm.lifetime.start.p0(i64 16, ptr %41) #5
  %261 = load i128, ptr %15, align 16, !tbaa !5
  %262 = sub nsw i128 0, %261
  %263 = load i128, ptr %14, align 16, !tbaa !5
  %264 = srem i128 %262, %263
  %265 = load i128, ptr %12, align 16, !tbaa !5
  %266 = load i128, ptr %14, align 16, !tbaa !5
  store i128 %265, ptr %42, align 16, !tbaa !5
  %267 = getelementptr inbounds { i64, i64 }, ptr %42, i32 0, i32 0
  %268 = load i64, ptr %267, align 16
  %269 = getelementptr inbounds { i64, i64 }, ptr %42, i32 0, i32 1
  %270 = load i64, ptr %269, align 8
  store i128 %266, ptr %43, align 16, !tbaa !5
  %271 = getelementptr inbounds { i64, i64 }, ptr %43, i32 0, i32 0
  %272 = load i64, ptr %271, align 16
  %273 = getelementptr inbounds { i64, i64 }, ptr %43, i32 0, i32 1
  %274 = load i64, ptr %273, align 8
  %275 = call noundef { i64, i64 } @_Z7inversenn(i64 noundef %268, i64 noundef %270, i64 noundef %272, i64 noundef %274)
  %276 = getelementptr inbounds { i64, i64 }, ptr %44, i32 0, i32 0
  %277 = extractvalue { i64, i64 } %275, 0
  store i64 %277, ptr %276, align 16
  %278 = getelementptr inbounds { i64, i64 }, ptr %44, i32 0, i32 1
  %279 = extractvalue { i64, i64 } %275, 1
  store i64 %279, ptr %278, align 8
  %280 = load i128, ptr %44, align 16, !tbaa !5
  %281 = mul nsw i128 %264, %280
  %282 = load i128, ptr %14, align 16, !tbaa !5
  %283 = srem i128 %281, %282
  %284 = load i128, ptr %14, align 16, !tbaa !5
  %285 = add nsw i128 %283, %284
  %286 = load i128, ptr %14, align 16, !tbaa !5
  %287 = srem i128 %285, %286
  store i128 %287, ptr %41, align 16, !tbaa !5
  %288 = load i128, ptr %41, align 16, !tbaa !5
  %289 = icmp eq i128 %288, 0
  br i1 %289, label %290, label %292

290:                                              ; preds = %260
  %291 = load i128, ptr %14, align 16, !tbaa !5
  store i128 %291, ptr %41, align 16, !tbaa !5
  br label %292

292:                                              ; preds = %290, %260
  call void @llvm.lifetime.start.p0(i64 16, ptr %45) #5
  %293 = load i128, ptr %12, align 16, !tbaa !5
  %294 = load i128, ptr %14, align 16, !tbaa !5
  %295 = srem i128 %293, %294
  %296 = load i128, ptr %13, align 16, !tbaa !5
  %297 = load i128, ptr %14, align 16, !tbaa !5
  store i128 %296, ptr %46, align 16, !tbaa !5
  %298 = getelementptr inbounds { i64, i64 }, ptr %46, i32 0, i32 0
  %299 = load i64, ptr %298, align 16
  %300 = getelementptr inbounds { i64, i64 }, ptr %46, i32 0, i32 1
  %301 = load i64, ptr %300, align 8
  store i128 %297, ptr %47, align 16, !tbaa !5
  %302 = getelementptr inbounds { i64, i64 }, ptr %47, i32 0, i32 0
  %303 = load i64, ptr %302, align 16
  %304 = getelementptr inbounds { i64, i64 }, ptr %47, i32 0, i32 1
  %305 = load i64, ptr %304, align 8
  %306 = call noundef { i64, i64 } @_Z7inversenn(i64 noundef %299, i64 noundef %301, i64 noundef %303, i64 noundef %305)
  %307 = getelementptr inbounds { i64, i64 }, ptr %48, i32 0, i32 0
  %308 = extractvalue { i64, i64 } %306, 0
  store i64 %308, ptr %307, align 16
  %309 = getelementptr inbounds { i64, i64 }, ptr %48, i32 0, i32 1
  %310 = extractvalue { i64, i64 } %306, 1
  store i64 %310, ptr %309, align 8
  %311 = load i128, ptr %48, align 16, !tbaa !5
  %312 = mul nsw i128 %295, %311
  %313 = load i128, ptr %14, align 16, !tbaa !5
  %314 = srem i128 %312, %313
  %315 = load i128, ptr %14, align 16, !tbaa !5
  %316 = add nsw i128 %314, %315
  %317 = load i128, ptr %14, align 16, !tbaa !5
  %318 = srem i128 %316, %317
  store i128 %318, ptr %45, align 16, !tbaa !5
  %319 = load i128, ptr %45, align 16, !tbaa !5
  %320 = icmp eq i128 %319, 0
  br i1 %320, label %321, label %323

321:                                              ; preds = %292
  %322 = load i128, ptr %14, align 16, !tbaa !5
  store i128 %322, ptr %45, align 16, !tbaa !5
  br label %323

323:                                              ; preds = %321, %292
  call void @llvm.lifetime.start.p0(i64 16, ptr %49) #5
  %324 = load i128, ptr %15, align 16, !tbaa !5
  %325 = load i128, ptr %15, align 16, !tbaa !5
  %326 = load i128, ptr %12, align 16, !tbaa !5
  %327 = add nsw i128 %325, %326
  %328 = load i128, ptr %13, align 16, !tbaa !5
  %329 = add nsw i128 %327, %328
  %330 = load i128, ptr %14, align 16, !tbaa !5
  %331 = add nsw i128 %329, %330
  %332 = mul nsw i128 %324, %331
  store i128 %332, ptr %49, align 16, !tbaa !5
  %333 = load i128, ptr %14, align 16, !tbaa !5
  %334 = load i128, ptr %13, align 16, !tbaa !5
  %335 = mul nsw i128 %333, %334
  %336 = load i128, ptr %25, align 16, !tbaa !5
  %337 = mul nsw i128 %335, %336
  %338 = load i128, ptr %12, align 16, !tbaa !5
  %339 = add nsw i128 %338, 1
  %340 = load i128, ptr %29, align 16, !tbaa !5
  %341 = load i128, ptr %25, align 16, !tbaa !5
  %342 = sub nsw i128 %341, 1
  %343 = mul nsw i128 %340, %342
  %344 = sub nsw i128 %339, %343
  %345 = mul nsw i128 %337, %344
  %346 = load i128, ptr %49, align 16, !tbaa !5
  %347 = add nsw i128 %346, %345
  store i128 %347, ptr %49, align 16, !tbaa !5
  %348 = load i128, ptr %12, align 16, !tbaa !5
  %349 = load i128, ptr %14, align 16, !tbaa !5
  %350 = mul nsw i128 %348, %349
  %351 = load i128, ptr %33, align 16, !tbaa !5
  %352 = mul nsw i128 %350, %351
  %353 = load i128, ptr %13, align 16, !tbaa !5
  %354 = add nsw i128 %353, 1
  %355 = load i128, ptr %37, align 16, !tbaa !5
  %356 = load i128, ptr %33, align 16, !tbaa !5
  %357 = sub nsw i128 %356, 1
  %358 = mul nsw i128 %355, %357
  %359 = sub nsw i128 %354, %358
  %360 = mul nsw i128 %352, %359
  %361 = load i128, ptr %49, align 16, !tbaa !5
  %362 = add nsw i128 %361, %360
  store i128 %362, ptr %49, align 16, !tbaa !5
  %363 = load i128, ptr %13, align 16, !tbaa !5
  %364 = load i128, ptr %12, align 16, !tbaa !5
  %365 = mul nsw i128 %363, %364
  %366 = load i128, ptr %41, align 16, !tbaa !5
  %367 = mul nsw i128 %365, %366
  %368 = load i128, ptr %14, align 16, !tbaa !5
  %369 = add nsw i128 %368, 1
  %370 = load i128, ptr %45, align 16, !tbaa !5
  %371 = load i128, ptr %41, align 16, !tbaa !5
  %372 = sub nsw i128 %371, 1
  %373 = mul nsw i128 %370, %372
  %374 = sub nsw i128 %369, %373
  %375 = mul nsw i128 %367, %374
  %376 = load i128, ptr %49, align 16, !tbaa !5
  %377 = add nsw i128 %376, %375
  store i128 %377, ptr %49, align 16, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 16, ptr %50) #5
  %378 = load i128, ptr %49, align 16, !tbaa !5
  %379 = load i128, ptr %12, align 16, !tbaa !5
  %380 = mul nsw i128 2, %379
  %381 = load i128, ptr %13, align 16, !tbaa !5
  %382 = mul nsw i128 %380, %381
  %383 = load i128, ptr %14, align 16, !tbaa !5
  %384 = mul nsw i128 %382, %383
  %385 = sdiv i128 %378, %384
  store i128 %385, ptr %50, align 16, !tbaa !5
  %386 = load i128, ptr %29, align 16, !tbaa !5
  %387 = load i128, ptr %12, align 16, !tbaa !5
  %388 = load i128, ptr %25, align 16, !tbaa !5
  store i128 0, ptr %51, align 16, !tbaa !5
  %389 = getelementptr inbounds { i64, i64 }, ptr %51, i32 0, i32 0
  %390 = load i64, ptr %389, align 16
  %391 = getelementptr inbounds { i64, i64 }, ptr %51, i32 0, i32 1
  %392 = load i64, ptr %391, align 8
  store i128 %386, ptr %52, align 16, !tbaa !5
  %393 = getelementptr inbounds { i64, i64 }, ptr %52, i32 0, i32 0
  %394 = load i64, ptr %393, align 16
  %395 = getelementptr inbounds { i64, i64 }, ptr %52, i32 0, i32 1
  %396 = load i64, ptr %395, align 8
  store i128 %387, ptr %53, align 16, !tbaa !5
  %397 = getelementptr inbounds { i64, i64 }, ptr %53, i32 0, i32 0
  %398 = load i64, ptr %397, align 16
  %399 = getelementptr inbounds { i64, i64 }, ptr %53, i32 0, i32 1
  %400 = load i64, ptr %399, align 8
  %401 = call noundef { i64, i64 } @_Z9floor_sumnnnn(i64 noundef %390, i64 noundef %392, i64 noundef %394, i64 noundef %396, i64 noundef %398, i64 noundef %400, i128 noundef %388)
  %402 = getelementptr inbounds { i64, i64 }, ptr %54, i32 0, i32 0
  %403 = extractvalue { i64, i64 } %401, 0
  store i64 %403, ptr %402, align 16
  %404 = getelementptr inbounds { i64, i64 }, ptr %54, i32 0, i32 1
  %405 = extractvalue { i64, i64 } %401, 1
  store i64 %405, ptr %404, align 8
  %406 = load i128, ptr %54, align 16, !tbaa !5
  %407 = load i128, ptr %50, align 16, !tbaa !5
  %408 = add nsw i128 %407, %406
  store i128 %408, ptr %50, align 16, !tbaa !5
  %409 = load i128, ptr %37, align 16, !tbaa !5
  %410 = load i128, ptr %13, align 16, !tbaa !5
  %411 = load i128, ptr %33, align 16, !tbaa !5
  store i128 0, ptr %55, align 16, !tbaa !5
  %412 = getelementptr inbounds { i64, i64 }, ptr %55, i32 0, i32 0
  %413 = load i64, ptr %412, align 16
  %414 = getelementptr inbounds { i64, i64 }, ptr %55, i32 0, i32 1
  %415 = load i64, ptr %414, align 8
  store i128 %409, ptr %56, align 16, !tbaa !5
  %416 = getelementptr inbounds { i64, i64 }, ptr %56, i32 0, i32 0
  %417 = load i64, ptr %416, align 16
  %418 = getelementptr inbounds { i64, i64 }, ptr %56, i32 0, i32 1
  %419 = load i64, ptr %418, align 8
  store i128 %410, ptr %57, align 16, !tbaa !5
  %420 = getelementptr inbounds { i64, i64 }, ptr %57, i32 0, i32 0
  %421 = load i64, ptr %420, align 16
  %422 = getelementptr inbounds { i64, i64 }, ptr %57, i32 0, i32 1
  %423 = load i64, ptr %422, align 8
  %424 = call noundef { i64, i64 } @_Z9floor_sumnnnn(i64 noundef %413, i64 noundef %415, i64 noundef %417, i64 noundef %419, i64 noundef %421, i64 noundef %423, i128 noundef %411)
  %425 = getelementptr inbounds { i64, i64 }, ptr %58, i32 0, i32 0
  %426 = extractvalue { i64, i64 } %424, 0
  store i64 %426, ptr %425, align 16
  %427 = getelementptr inbounds { i64, i64 }, ptr %58, i32 0, i32 1
  %428 = extractvalue { i64, i64 } %424, 1
  store i64 %428, ptr %427, align 8
  %429 = load i128, ptr %58, align 16, !tbaa !5
  %430 = load i128, ptr %50, align 16, !tbaa !5
  %431 = add nsw i128 %430, %429
  store i128 %431, ptr %50, align 16, !tbaa !5
  %432 = load i128, ptr %45, align 16, !tbaa !5
  %433 = load i128, ptr %14, align 16, !tbaa !5
  %434 = load i128, ptr %41, align 16, !tbaa !5
  store i128 0, ptr %59, align 16, !tbaa !5
  %435 = getelementptr inbounds { i64, i64 }, ptr %59, i32 0, i32 0
  %436 = load i64, ptr %435, align 16
  %437 = getelementptr inbounds { i64, i64 }, ptr %59, i32 0, i32 1
  %438 = load i64, ptr %437, align 8
  store i128 %432, ptr %60, align 16, !tbaa !5
  %439 = getelementptr inbounds { i64, i64 }, ptr %60, i32 0, i32 0
  %440 = load i64, ptr %439, align 16
  %441 = getelementptr inbounds { i64, i64 }, ptr %60, i32 0, i32 1
  %442 = load i64, ptr %441, align 8
  store i128 %433, ptr %61, align 16, !tbaa !5
  %443 = getelementptr inbounds { i64, i64 }, ptr %61, i32 0, i32 0
  %444 = load i64, ptr %443, align 16
  %445 = getelementptr inbounds { i64, i64 }, ptr %61, i32 0, i32 1
  %446 = load i64, ptr %445, align 8
  %447 = call noundef { i64, i64 } @_Z9floor_sumnnnn(i64 noundef %436, i64 noundef %438, i64 noundef %440, i64 noundef %442, i64 noundef %444, i64 noundef %446, i128 noundef %434)
  %448 = getelementptr inbounds { i64, i64 }, ptr %62, i32 0, i32 0
  %449 = extractvalue { i64, i64 } %447, 0
  store i64 %449, ptr %448, align 16
  %450 = getelementptr inbounds { i64, i64 }, ptr %62, i32 0, i32 1
  %451 = extractvalue { i64, i64 } %447, 1
  store i64 %451, ptr %450, align 8
  %452 = load i128, ptr %62, align 16, !tbaa !5
  %453 = load i128, ptr %50, align 16, !tbaa !5
  %454 = add nsw i128 %453, %452
  store i128 %454, ptr %50, align 16, !tbaa !5
  %455 = load i128, ptr %50, align 16, !tbaa !5
  %456 = sub nsw i128 %455, 2
  store i128 %456, ptr %50, align 16, !tbaa !5
  %457 = load i128, ptr %50, align 16, !tbaa !5
  store i128 %457, ptr %8, align 16
  call void @llvm.lifetime.end.p0(i64 16, ptr %50) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %49) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %45) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %41) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %37) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %33) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %29) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %25) #5
  %458 = load { i64, i64 }, ptr %8, align 16
  ret { i64, i64 } %458
}

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef { i64, i64 } @_ZSt5__gcdInET_S0_S0_(i64 noundef, i64 noundef, i64 noundef, i64 noundef) #2

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

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { 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 #2 = { mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { 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 #4 = { noreturn nounwind }
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 = !{!"__int128", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}


; 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 [17 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [151 x i8], align 1
@__PRETTY_FUNCTION__._Z5countnnnn = external hidden unnamed_addr constant [20 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [17 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [17 x i8], align 1

; Function Attrs: mustprogress uwtable
declare dso_local noundef { i64, i64 } @_Z7inversenn(i64 noundef, i64 noundef, i64 noundef, i64 noundef) local_unnamed_addr #0

; Function Attrs: mustprogress uwtable
declare dso_local noundef { i64, i64 } @_Z9floor_sumnnnn(i64 noundef, i64 noundef, i64 noundef, i64 noundef, i64 noundef, i64 noundef, i128 noundef) local_unnamed_addr #0

; Function Attrs: mustprogress uwtable
define dso_local noundef { i64, i64 } @_Z5countnnnn(i64 noundef %0, i64 noundef %1, i64 noundef %2, i64 noundef %3, i64 noundef %4, i64 noundef %5, i128 noundef %6) local_unnamed_addr #0 {
  %8 = tail call noundef { i64, i64 } @_ZSt5__gcdInET_S0_S0_(i64 noundef %0, i64 noundef %1, i64 noundef %2, i64 noundef %3)
  %9 = extractvalue { i64, i64 } %8, 0
  %10 = extractvalue { i64, i64 } %8, 1
  %.sroa.2101.0.insert.ext = zext i64 %10 to i128
  %.sroa.2101.0.insert.shift = shl nuw i128 %.sroa.2101.0.insert.ext, 64
  %.sroa.0100.0.insert.ext = zext i64 %9 to i128
  %.sroa.0100.0.insert.insert = or disjoint i128 %.sroa.2101.0.insert.shift, %.sroa.0100.0.insert.ext
  %11 = icmp eq i128 %.sroa.0100.0.insert.insert, 1
  br i1 %11, label %13, label %12

12:                                               ; preds = %7
  tail call void @__assert_fail(ptr noundef nonnull @.str, ptr noundef nonnull @.str.1, i32 noundef 37, ptr noundef nonnull @__PRETTY_FUNCTION__._Z5countnnnn) #3
  unreachable

13:                                               ; preds = %7
  %14 = tail call noundef { i64, i64 } @_ZSt5__gcdInET_S0_S0_(i64 noundef %2, i64 noundef %3, i64 noundef %4, i64 noundef %5)
  %15 = extractvalue { i64, i64 } %14, 0
  %16 = extractvalue { i64, i64 } %14, 1
  %.sroa.295.0.insert.ext = zext i64 %16 to i128
  %.sroa.295.0.insert.shift = shl nuw i128 %.sroa.295.0.insert.ext, 64
  %.sroa.094.0.insert.ext = zext i64 %15 to i128
  %.sroa.094.0.insert.insert = or disjoint i128 %.sroa.295.0.insert.shift, %.sroa.094.0.insert.ext
  %17 = icmp eq i128 %.sroa.094.0.insert.insert, 1
  br i1 %17, label %19, label %18

18:                                               ; preds = %13
  tail call void @__assert_fail(ptr noundef nonnull @.str.2, ptr noundef nonnull @.str.1, i32 noundef 38, ptr noundef nonnull @__PRETTY_FUNCTION__._Z5countnnnn) #3
  unreachable

19:                                               ; preds = %13
  %20 = tail call noundef { i64, i64 } @_ZSt5__gcdInET_S0_S0_(i64 noundef %0, i64 noundef %1, i64 noundef %4, i64 noundef %5)
  %21 = extractvalue { i64, i64 } %20, 0
  %22 = extractvalue { i64, i64 } %20, 1
  %.sroa.289.0.insert.ext = zext i64 %22 to i128
  %.sroa.289.0.insert.shift = shl nuw i128 %.sroa.289.0.insert.ext, 64
  %.sroa.088.0.insert.ext = zext i64 %21 to i128
  %.sroa.088.0.insert.insert = or disjoint i128 %.sroa.289.0.insert.shift, %.sroa.088.0.insert.ext
  %23 = icmp eq i128 %.sroa.088.0.insert.insert, 1
  br i1 %23, label %25, label %24

24:                                               ; preds = %19
  tail call void @__assert_fail(ptr noundef nonnull @.str.3, ptr noundef nonnull @.str.1, i32 noundef 39, ptr noundef nonnull @__PRETTY_FUNCTION__._Z5countnnnn) #3
  unreachable

25:                                               ; preds = %19
  %.sroa.2181.0.insert.ext = zext i64 %5 to i128
  %.sroa.2181.0.insert.shift = shl nuw i128 %.sroa.2181.0.insert.ext, 64
  %.sroa.0180.0.insert.ext = zext i64 %4 to i128
  %.sroa.0180.0.insert.insert = or disjoint i128 %.sroa.2181.0.insert.shift, %.sroa.0180.0.insert.ext
  %.sroa.2183.0.insert.ext = zext i64 %3 to i128
  %.sroa.2183.0.insert.shift = shl nuw i128 %.sroa.2183.0.insert.ext, 64
  %.sroa.0182.0.insert.ext = zext i64 %2 to i128
  %.sroa.0182.0.insert.insert = or disjoint i128 %.sroa.2183.0.insert.shift, %.sroa.0182.0.insert.ext
  %.sroa.2185.0.insert.ext = zext i64 %1 to i128
  %.sroa.2185.0.insert.shift = shl nuw i128 %.sroa.2185.0.insert.ext, 64
  %.sroa.0184.0.insert.ext = zext i64 %0 to i128
  %.sroa.0184.0.insert.insert = or disjoint i128 %.sroa.2185.0.insert.shift, %.sroa.0184.0.insert.ext
  %26 = sub nsw i128 0, %6
  %27 = srem i128 %26, %.sroa.0184.0.insert.insert
  %28 = tail call noundef { i64, i64 } @_Z7inversenn(i64 noundef %2, i64 noundef %3, i64 noundef %0, i64 noundef %1)
  %29 = extractvalue { i64, i64 } %28, 0
  %30 = extractvalue { i64, i64 } %28, 1
  %.sroa.279.0.insert.ext = zext i64 %30 to i128
  %.sroa.279.0.insert.shift = shl nuw i128 %.sroa.279.0.insert.ext, 64
  %.sroa.078.0.insert.ext = zext i64 %29 to i128
  %.sroa.078.0.insert.insert = or disjoint i128 %.sroa.279.0.insert.shift, %.sroa.078.0.insert.ext
  %31 = mul nsw i128 %.sroa.078.0.insert.insert, %27
  %32 = srem i128 %31, %.sroa.0184.0.insert.insert
  %33 = add nsw i128 %32, %.sroa.0184.0.insert.insert
  %34 = srem i128 %33, %.sroa.0184.0.insert.insert
  %35 = icmp eq i128 %34, 0
  %spec.select = select i1 %35, i128 %.sroa.0184.0.insert.insert, i128 %34
  %36 = srem i128 %.sroa.0182.0.insert.insert, %.sroa.0184.0.insert.insert
  %37 = tail call noundef { i64, i64 } @_Z7inversenn(i64 noundef %4, i64 noundef %5, i64 noundef %0, i64 noundef %1)
  %38 = extractvalue { i64, i64 } %37, 0
  %39 = extractvalue { i64, i64 } %37, 1
  %.sroa.270.0.insert.ext = zext i64 %39 to i128
  %.sroa.270.0.insert.shift = shl nuw i128 %.sroa.270.0.insert.ext, 64
  %.sroa.069.0.insert.ext = zext i64 %38 to i128
  %.sroa.069.0.insert.insert = or disjoint i128 %.sroa.270.0.insert.shift, %.sroa.069.0.insert.ext
  %40 = mul nsw i128 %.sroa.069.0.insert.insert, %36
  %41 = srem i128 %40, %.sroa.0184.0.insert.insert
  %42 = add nsw i128 %41, %.sroa.0184.0.insert.insert
  %43 = srem i128 %42, %.sroa.0184.0.insert.insert
  %44 = icmp eq i128 %43, 0
  %.0188 = select i1 %44, i128 %.sroa.0184.0.insert.insert, i128 %43
  %45 = srem i128 %26, %.sroa.0182.0.insert.insert
  %46 = tail call noundef { i64, i64 } @_Z7inversenn(i64 noundef %4, i64 noundef %5, i64 noundef %2, i64 noundef %3)
  %47 = extractvalue { i64, i64 } %46, 0
  %48 = extractvalue { i64, i64 } %46, 1
  %.sroa.260.0.insert.ext = zext i64 %48 to i128
  %.sroa.260.0.insert.shift = shl nuw i128 %.sroa.260.0.insert.ext, 64
  %.sroa.059.0.insert.ext = zext i64 %47 to i128
  %.sroa.059.0.insert.insert = or disjoint i128 %.sroa.260.0.insert.shift, %.sroa.059.0.insert.ext
  %49 = mul nsw i128 %.sroa.059.0.insert.insert, %45
  %50 = srem i128 %49, %.sroa.0182.0.insert.insert
  %51 = add nsw i128 %50, %.sroa.0182.0.insert.insert
  %52 = srem i128 %51, %.sroa.0182.0.insert.insert
  %53 = icmp eq i128 %52, 0
  %.0189 = select i1 %53, i128 %.sroa.0182.0.insert.insert, i128 %52
  %54 = srem i128 %.sroa.0180.0.insert.insert, %.sroa.0182.0.insert.insert
  %55 = tail call noundef { i64, i64 } @_Z7inversenn(i64 noundef %0, i64 noundef %1, i64 noundef %2, i64 noundef %3)
  %56 = extractvalue { i64, i64 } %55, 0
  %57 = extractvalue { i64, i64 } %55, 1
  %.sroa.251.0.insert.ext = zext i64 %57 to i128
  %.sroa.251.0.insert.shift = shl nuw i128 %.sroa.251.0.insert.ext, 64
  %.sroa.050.0.insert.ext = zext i64 %56 to i128
  %.sroa.050.0.insert.insert = or disjoint i128 %.sroa.251.0.insert.shift, %.sroa.050.0.insert.ext
  %58 = mul nsw i128 %.sroa.050.0.insert.insert, %54
  %59 = srem i128 %58, %.sroa.0182.0.insert.insert
  %60 = add nsw i128 %59, %.sroa.0182.0.insert.insert
  %61 = srem i128 %60, %.sroa.0182.0.insert.insert
  %62 = icmp eq i128 %61, 0
  %.0190 = select i1 %62, i128 %.sroa.0182.0.insert.insert, i128 %61
  %63 = srem i128 %26, %.sroa.0180.0.insert.insert
  %64 = tail call noundef { i64, i64 } @_Z7inversenn(i64 noundef %0, i64 noundef %1, i64 noundef %4, i64 noundef %5)
  %65 = extractvalue { i64, i64 } %64, 0
  %66 = extractvalue { i64, i64 } %64, 1
  %.sroa.241.0.insert.ext = zext i64 %66 to i128
  %.sroa.241.0.insert.shift = shl nuw i128 %.sroa.241.0.insert.ext, 64
  %.sroa.040.0.insert.ext = zext i64 %65 to i128
  %.sroa.040.0.insert.insert = or disjoint i128 %.sroa.241.0.insert.shift, %.sroa.040.0.insert.ext
  %67 = mul nsw i128 %.sroa.040.0.insert.insert, %63
  %68 = srem i128 %67, %.sroa.0180.0.insert.insert
  %69 = add nsw i128 %68, %.sroa.0180.0.insert.insert
  %70 = srem i128 %69, %.sroa.0180.0.insert.insert
  %71 = icmp eq i128 %70, 0
  %.0191 = select i1 %71, i128 %.sroa.0180.0.insert.insert, i128 %70
  %72 = srem i128 %.sroa.0184.0.insert.insert, %.sroa.0180.0.insert.insert
  %73 = tail call noundef { i64, i64 } @_Z7inversenn(i64 noundef %2, i64 noundef %3, i64 noundef %4, i64 noundef %5)
  %74 = extractvalue { i64, i64 } %73, 0
  %75 = extractvalue { i64, i64 } %73, 1
  %.sroa.232.0.insert.ext = zext i64 %75 to i128
  %.sroa.232.0.insert.shift = shl nuw i128 %.sroa.232.0.insert.ext, 64
  %.sroa.031.0.insert.ext = zext i64 %74 to i128
  %.sroa.031.0.insert.insert = or disjoint i128 %.sroa.232.0.insert.shift, %.sroa.031.0.insert.ext
  %76 = mul nsw i128 %.sroa.031.0.insert.insert, %72
  %77 = srem i128 %76, %.sroa.0180.0.insert.insert
  %78 = add nsw i128 %77, %.sroa.0180.0.insert.insert
  %79 = srem i128 %78, %.sroa.0180.0.insert.insert
  %80 = icmp eq i128 %79, 0
  %.0192 = select i1 %80, i128 %.sroa.0180.0.insert.insert, i128 %79
  %81 = add nsw i128 %.sroa.0184.0.insert.insert, %6
  %82 = add nsw i128 %81, %.sroa.0182.0.insert.insert
  %83 = add nsw i128 %82, %.sroa.0180.0.insert.insert
  %84 = mul nsw i128 %83, %6
  %85 = mul nsw i128 %.sroa.0180.0.insert.insert, %.sroa.0182.0.insert.insert
  %86 = mul nsw i128 %85, %spec.select
  %87 = add nsw i128 %.sroa.0184.0.insert.insert, 1
  %.neg201 = sub i128 1, %spec.select
  %.neg202 = mul i128 %.neg201, %.0188
  %88 = add i128 %87, %.neg202
  %89 = mul nsw i128 %86, %88
  %90 = add nsw i128 %.sroa.0182.0.insert.insert, 1
  %.neg = sub i128 1, %.0189
  %.neg203 = mul i128 %.neg, %.0190
  %91 = add i128 %90, %.neg203
  %92 = mul i128 %.0189, %.sroa.0180.0.insert.insert
  %93 = mul nsw i128 %92, %91
  %94 = add nsw i128 %.sroa.0180.0.insert.insert, 1
  %.neg204 = sub i128 1, %.0191
  %.neg205 = mul i128 %.neg204, %.0192
  %95 = add i128 %94, %.neg205
  %96 = mul i128 %.0191, %.sroa.0182.0.insert.insert
  %97 = mul nsw i128 %96, %95
  %reass.add = add i128 %97, %93
  %reass.mul = mul i128 %reass.add, %.sroa.0184.0.insert.insert
  %98 = add i128 %89, %84
  %99 = add i128 %98, %reass.mul
  %100 = shl nsw i128 %.sroa.0184.0.insert.insert, 1
  %101 = mul nsw i128 %100, %.sroa.0182.0.insert.insert
  %102 = mul nsw i128 %101, %.sroa.0180.0.insert.insert
  %103 = sdiv i128 %99, %102
  %.sroa.019.0.extract.trunc = trunc i128 %.0188 to i64
  %.sroa.220.0.extract.shift = lshr i128 %.0188, 64
  %.sroa.220.0.extract.trunc = trunc nuw i128 %.sroa.220.0.extract.shift to i64
  %104 = tail call noundef { i64, i64 } @_Z9floor_sumnnnn(i64 noundef 0, i64 noundef 0, i64 noundef %.sroa.019.0.extract.trunc, i64 noundef %.sroa.220.0.extract.trunc, i64 noundef %0, i64 noundef %1, i128 noundef %spec.select)
  %105 = extractvalue { i64, i64 } %104, 0
  %106 = extractvalue { i64, i64 } %104, 1
  %.sroa.216.0.insert.ext = zext i64 %106 to i128
  %.sroa.216.0.insert.shift = shl nuw i128 %.sroa.216.0.insert.ext, 64
  %.sroa.015.0.insert.ext = zext i64 %105 to i128
  %.sroa.011.0.extract.trunc = trunc i128 %.0190 to i64
  %.sroa.212.0.extract.shift = lshr i128 %.0190, 64
  %.sroa.212.0.extract.trunc = trunc nuw i128 %.sroa.212.0.extract.shift to i64
  %107 = tail call noundef { i64, i64 } @_Z9floor_sumnnnn(i64 noundef 0, i64 noundef 0, i64 noundef %.sroa.011.0.extract.trunc, i64 noundef %.sroa.212.0.extract.trunc, i64 noundef %2, i64 noundef %3, i128 noundef %.0189)
  %108 = extractvalue { i64, i64 } %107, 0
  %109 = extractvalue { i64, i64 } %107, 1
  %.sroa.28.0.insert.ext = zext i64 %109 to i128
  %.sroa.28.0.insert.shift = shl nuw i128 %.sroa.28.0.insert.ext, 64
  %.sroa.07.0.insert.ext = zext i64 %108 to i128
  %.sroa.03.0.extract.trunc = trunc i128 %.0192 to i64
  %.sroa.24.0.extract.shift = lshr i128 %.0192, 64
  %.sroa.24.0.extract.trunc = trunc nuw i128 %.sroa.24.0.extract.shift to i64
  %110 = tail call noundef { i64, i64 } @_Z9floor_sumnnnn(i64 noundef 0, i64 noundef 0, i64 noundef %.sroa.03.0.extract.trunc, i64 noundef %.sroa.24.0.extract.trunc, i64 noundef %4, i64 noundef %5, i128 noundef %.0191)
  %111 = extractvalue { i64, i64 } %110, 0
  %112 = extractvalue { i64, i64 } %110, 1
  %.sroa.0.0.insert.ext = zext i64 %111 to i128
  %.sroa.0.0.insert.insert = add i128 %103, -2
  %.sroa.07.0.insert.insert = add i128 %.sroa.0.0.insert.insert, %.sroa.015.0.insert.ext
  %.sroa.015.0.insert.insert = add i128 %.sroa.07.0.insert.insert, %.sroa.216.0.insert.shift
  %113 = add i128 %.sroa.015.0.insert.insert, %.sroa.07.0.insert.ext
  %114 = add i128 %113, %.sroa.28.0.insert.shift
  %115 = add i128 %114, %.sroa.0.0.insert.ext
  %.sroa.0186.0.extract.trunc = trunc i128 %115 to i64
  %116 = lshr i128 %115, 64
  %.tr = trunc nuw i128 %116 to i64
  %.narrow = add i64 %112, %.tr
  %.fca.0.insert = insertvalue { i64, i64 } poison, i64 %.sroa.0186.0.extract.trunc, 0
  %.fca.1.insert = insertvalue { i64, i64 } %.fca.0.insert, i64 %.narrow, 1
  ret { i64, i64 } %.fca.1.insert
}

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef { i64, i64 } @_ZSt5__gcdInET_S0_S0_(i64 noundef, i64 noundef, i64 noundef, i64 noundef) local_unnamed_addr #1

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

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 = { mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { 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 #3 = { noreturn 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)"}


; Effective O3 passes: EarlyCSEPass,GlobalOptPass,IPSCCPPass,InferFunctionAttrsPass,InstCombinePass,ReassociatePass,SROAPass,SimplifyCFGPass,TailCallElimPass