; LLVM IR from cryspen/libcrux :: sys/hacl/c/src (Hacl_Bignum)

; 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 [70 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [78 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

declare i32 @printf(ptr noundef, ...) #1

; Function Attrs: noreturn nounwind
declare void @exit(i32 noundef) #2

; Function Attrs: nocallback nofree nosync nounwind willreturn
declare ptr @llvm.stacksave.p0() #3

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

; Function Attrs: nocallback nofree nosync nounwind willreturn
declare void @llvm.stackrestore.p0(ptr) #3

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: readwrite)
declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #5

; Function Attrs: nounwind uwtable
declare dso_local void @Hacl_Bignum_Montgomery_bn_to_mont_u64(i32 noundef, ptr noundef, i64 noundef, ptr noundef, ptr noundef, ptr noundef) #6

; Function Attrs: nounwind uwtable
declare dso_local void @Hacl_Bignum_Montgomery_bn_from_mont_u64(i32 noundef, ptr noundef, i64 noundef, ptr noundef, ptr noundef) #6

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

90:                                               ; preds = %8
  br label %91

91:                                               ; preds = %90
  %92 = load i32, ptr %9, align 4, !tbaa !5
  %93 = zext i32 %92 to i64
  %94 = icmp ugt i64 %93, 2305843009213693951
  br i1 %94, label %95, label %97

95:                                               ; preds = %91
  %96 = call i32 (ptr, ...) @printf(ptr noundef @.str, ptr noundef @.str.1, i32 noundef 1874)
  call void @exit(i32 noundef 253) #8
  unreachable

97:                                               ; preds = %91
  br label %98

98:                                               ; preds = %97
  %99 = load i32, ptr %9, align 4, !tbaa !5
  %100 = zext i32 %99 to i64
  %101 = call ptr @llvm.stacksave.p0()
  store ptr %101, ptr %17, align 8
  %102 = alloca i64, i64 %100, align 16
  store i64 %100, ptr %18, align 8
  %103 = load i32, ptr %9, align 4, !tbaa !5
  %104 = zext i32 %103 to i64
  %105 = mul i64 %104, 8
  call void @llvm.memset.p0.i64(ptr align 16 %102, i8 0, i64 %105, i1 false)
  %106 = load i32, ptr %9, align 4, !tbaa !5
  %107 = load ptr, ptr %10, align 8, !tbaa !9
  %108 = load i64, ptr %11, align 8, !tbaa !11
  %109 = load ptr, ptr %12, align 8, !tbaa !9
  %110 = load ptr, ptr %13, align 8, !tbaa !9
  call void @Hacl_Bignum_Montgomery_bn_to_mont_u64(i32 noundef %106, ptr noundef %107, i64 noundef %108, ptr noundef %109, ptr noundef %110, ptr noundef %102)
  br label %111

111:                                              ; preds = %98
  %112 = load i32, ptr %9, align 4, !tbaa !5
  %113 = zext i32 %112 to i64
  %114 = icmp ugt i64 %113, 2305843009213693951
  br i1 %114, label %115, label %117

115:                                              ; preds = %111
  %116 = call i32 (ptr, ...) @printf(ptr noundef @.str, ptr noundef @.str.1, i32 noundef 1878)
  call void @exit(i32 noundef 253) #8
  unreachable

117:                                              ; preds = %111
  br label %118

118:                                              ; preds = %117
  br label %119

119:                                              ; preds = %118
  %120 = load i32, ptr %9, align 4, !tbaa !5
  %121 = zext i32 %120 to i64
  %122 = alloca i64, i64 %121, align 16
  store i64 %121, ptr %19, align 8
  %123 = load i32, ptr %9, align 4, !tbaa !5
  %124 = zext i32 %123 to i64
  %125 = mul i64 %124, 8
  call void @llvm.memset.p0.i64(ptr align 16 %122, i8 0, i64 %125, i1 false)
  br label %126

126:                                              ; preds = %119
  %127 = load i32, ptr %9, align 4, !tbaa !5
  %128 = load i32, ptr %9, align 4, !tbaa !5
  %129 = add i32 %127, %128
  %130 = zext i32 %129 to i64
  %131 = icmp ugt i64 %130, 2305843009213693951
  br i1 %131, label %132, label %134

132:                                              ; preds = %126
  %133 = call i32 (ptr, ...) @printf(ptr noundef @.str, ptr noundef @.str.1, i32 noundef 1881)
  call void @exit(i32 noundef 253) #8
  unreachable

134:                                              ; preds = %126
  br label %135

135:                                              ; preds = %134
  br label %136

136:                                              ; preds = %135
  %137 = load i32, ptr %9, align 4, !tbaa !5
  %138 = load i32, ptr %9, align 4, !tbaa !5
  %139 = add i32 %137, %138
  %140 = zext i32 %139 to i64
  %141 = alloca i64, i64 %140, align 16
  store i64 %140, ptr %20, align 8
  %142 = load i32, ptr %9, align 4, !tbaa !5
  %143 = load i32, ptr %9, align 4, !tbaa !5
  %144 = add i32 %142, %143
  %145 = zext i32 %144 to i64
  %146 = mul i64 %145, 8
  call void @llvm.memset.p0.i64(ptr align 16 %141, i8 0, i64 %146, i1 false)
  %147 = load ptr, ptr %10, align 8, !tbaa !9
  %148 = load i32, ptr %9, align 4, !tbaa !5
  %149 = zext i32 %148 to i64
  %150 = mul i64 %149, 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 %141, ptr align 8 %147, i64 %150, i1 false)
  %151 = load i32, ptr %9, align 4, !tbaa !5
  %152 = zext i32 %151 to i64
  %153 = getelementptr inbounds i64, ptr %141, i64 %152
  %154 = load ptr, ptr %12, align 8, !tbaa !9
  %155 = load i32, ptr %9, align 4, !tbaa !5
  %156 = zext i32 %155 to i64
  %157 = mul i64 %156, 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %153, ptr align 8 %154, i64 %157, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #9
  store ptr %141, ptr %21, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #9
  %158 = load i32, ptr %9, align 4, !tbaa !5
  %159 = zext i32 %158 to i64
  %160 = getelementptr inbounds i64, ptr %141, i64 %159
  store ptr %160, ptr %22, align 8, !tbaa !9
  %161 = load i32, ptr %9, align 4, !tbaa !5
  %162 = load ptr, ptr %21, align 8, !tbaa !9
  %163 = load i64, ptr %11, align 8, !tbaa !11
  %164 = load ptr, ptr %22, align 8, !tbaa !9
  call void @Hacl_Bignum_Montgomery_bn_from_mont_u64(i32 noundef %161, ptr noundef %162, i64 noundef %163, ptr noundef %164, ptr noundef %122)
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #9
  store i32 0, ptr %23, align 4, !tbaa !5
  br label %165

165:                                              ; preds = %195, %136
  %166 = load i32, ptr %23, align 4, !tbaa !5
  %167 = load i32, ptr %14, align 4, !tbaa !5
  %168 = icmp ult i32 %166, %167
  br i1 %168, label %170, label %169

169:                                              ; preds = %165
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #9
  br label %198

170:                                              ; preds = %165
  call void @llvm.lifetime.start.p0(i64 4, ptr %24) #9
  %171 = load i32, ptr %23, align 4, !tbaa !5
  %172 = udiv i32 %171, 64
  store i32 %172, ptr %24, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #9
  %173 = load i32, ptr %23, align 4, !tbaa !5
  %174 = urem i32 %173, 64
  store i32 %174, ptr %25, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #9
  %175 = load ptr, ptr %15, align 8, !tbaa !9
  %176 = load i32, ptr %24, align 4, !tbaa !5
  %177 = zext i32 %176 to i64
  %178 = getelementptr inbounds i64, ptr %175, i64 %177
  %179 = load i64, ptr %178, align 8, !tbaa !11
  store i64 %179, ptr %26, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #9
  %180 = load i64, ptr %26, align 8, !tbaa !11
  %181 = load i32, ptr %25, align 4, !tbaa !5
  %182 = zext i32 %181 to i64
  %183 = lshr i64 %180, %182
  %184 = and i64 %183, 1
  store i64 %184, ptr %27, align 8, !tbaa !11
  %185 = load i64, ptr %27, align 8, !tbaa !11
  %186 = icmp eq i64 %185, 0
  br i1 %186, label %191, label %187

187:                                              ; preds = %170
  call void @llvm.lifetime.start.p0(i64 8, ptr %28) #9
  store ptr %141, ptr %28, align 8, !tbaa !9
  %188 = load i32, ptr %9, align 4, !tbaa !5
  %189 = load ptr, ptr %28, align 8, !tbaa !9
  %190 = load i64, ptr %11, align 8, !tbaa !11
  call void @bn_almost_mont_mul_u64(i32 noundef %188, ptr noundef %189, i64 noundef %190, ptr noundef %122, ptr noundef %102, ptr noundef %122)
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #9
  br label %191

191:                                              ; preds = %187, %170
  call void @llvm.lifetime.start.p0(i64 8, ptr %29) #9
  store ptr %141, ptr %29, align 8, !tbaa !9
  %192 = load i32, ptr %9, align 4, !tbaa !5
  %193 = load ptr, ptr %29, align 8, !tbaa !9
  %194 = load i64, ptr %11, align 8, !tbaa !11
  call void @bn_almost_mont_sqr_u64(i32 noundef %192, ptr noundef %193, i64 noundef %194, ptr noundef %102, ptr noundef %102)
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %24) #9
  br label %195

195:                                              ; preds = %191
  %196 = load i32, ptr %23, align 4, !tbaa !5
  %197 = add i32 %196, 1
  store i32 %197, ptr %23, align 4, !tbaa !5
  br label %165, !llvm.loop !13

198:                                              ; preds = %169
  %199 = load i32, ptr %9, align 4, !tbaa !5
  %200 = load ptr, ptr %10, align 8, !tbaa !9
  %201 = load i64, ptr %11, align 8, !tbaa !11
  %202 = load ptr, ptr %16, align 8, !tbaa !9
  call void @Hacl_Bignum_Montgomery_bn_from_mont_u64(i32 noundef %199, ptr noundef %200, i64 noundef %201, ptr noundef %122, ptr noundef %202)
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #9
  %203 = load ptr, ptr %17, align 8
  call void @llvm.stackrestore.p0(ptr %203)
  br label %755

204:                                              ; preds = %8
  br label %205

205:                                              ; preds = %204
  %206 = load i32, ptr %9, align 4, !tbaa !5
  %207 = zext i32 %206 to i64
  %208 = icmp ugt i64 %207, 2305843009213693951
  br i1 %208, label %209, label %211

209:                                              ; preds = %205
  %210 = call i32 (ptr, ...) @printf(ptr noundef @.str, ptr noundef @.str.1, i32 noundef 1906)
  call void @exit(i32 noundef 253) #8
  unreachable

211:                                              ; preds = %205
  br label %212

212:                                              ; preds = %211
  %213 = load i32, ptr %9, align 4, !tbaa !5
  %214 = zext i32 %213 to i64
  %215 = call ptr @llvm.stacksave.p0()
  store ptr %215, ptr %30, align 8
  %216 = alloca i64, i64 %214, align 16
  store i64 %214, ptr %31, align 8
  %217 = load i32, ptr %9, align 4, !tbaa !5
  %218 = zext i32 %217 to i64
  %219 = mul i64 %218, 8
  call void @llvm.memset.p0.i64(ptr align 16 %216, i8 0, i64 %219, i1 false)
  %220 = load i32, ptr %9, align 4, !tbaa !5
  %221 = load ptr, ptr %10, align 8, !tbaa !9
  %222 = load i64, ptr %11, align 8, !tbaa !11
  %223 = load ptr, ptr %12, align 8, !tbaa !9
  %224 = load ptr, ptr %13, align 8, !tbaa !9
  call void @Hacl_Bignum_Montgomery_bn_to_mont_u64(i32 noundef %220, ptr noundef %221, i64 noundef %222, ptr noundef %223, ptr noundef %224, ptr noundef %216)
  br label %225

225:                                              ; preds = %212
  %226 = load i32, ptr %9, align 4, !tbaa !5
  %227 = zext i32 %226 to i64
  %228 = icmp ugt i64 %227, 2305843009213693951
  br i1 %228, label %229, label %231

229:                                              ; preds = %225
  %230 = call i32 (ptr, ...) @printf(ptr noundef @.str, ptr noundef @.str.1, i32 noundef 1910)
  call void @exit(i32 noundef 253) #8
  unreachable

231:                                              ; preds = %225
  br label %232

232:                                              ; preds = %231
  br label %233

233:                                              ; preds = %232
  %234 = load i32, ptr %9, align 4, !tbaa !5
  %235 = zext i32 %234 to i64
  %236 = alloca i64, i64 %235, align 16
  store i64 %235, ptr %32, align 8
  %237 = load i32, ptr %9, align 4, !tbaa !5
  %238 = zext i32 %237 to i64
  %239 = mul i64 %238, 8
  call void @llvm.memset.p0.i64(ptr align 16 %236, i8 0, i64 %239, i1 false)
  call void @llvm.lifetime.start.p0(i64 4, ptr %33) #9
  %240 = load i32, ptr %14, align 4, !tbaa !5
  %241 = icmp eq i32 %240, 0
  br i1 %241, label %242, label %243

242:                                              ; preds = %233
  store i32 1, ptr %33, align 4, !tbaa !5
  br label %248

243:                                              ; preds = %233
  %244 = load i32, ptr %14, align 4, !tbaa !5
  %245 = sub i32 %244, 1
  %246 = udiv i32 %245, 64
  %247 = add i32 %246, 1
  store i32 %247, ptr %33, align 4, !tbaa !5
  br label %248

248:                                              ; preds = %243, %242
  br label %249

249:                                              ; preds = %248
  %250 = load i32, ptr %9, align 4, !tbaa !5
  %251 = load i32, ptr %9, align 4, !tbaa !5
  %252 = add i32 %250, %251
  %253 = zext i32 %252 to i64
  %254 = icmp ugt i64 %253, 2305843009213693951
  br i1 %254, label %255, label %257

255:                                              ; preds = %249
  %256 = call i32 (ptr, ...) @printf(ptr noundef @.str, ptr noundef @.str.1, i32 noundef 1922)
  call void @exit(i32 noundef 253) #8
  unreachable

257:                                              ; preds = %249
  br label %258

258:                                              ; preds = %257
  br label %259

259:                                              ; preds = %258
  %260 = load i32, ptr %9, align 4, !tbaa !5
  %261 = load i32, ptr %9, align 4, !tbaa !5
  %262 = add i32 %260, %261
  %263 = zext i32 %262 to i64
  %264 = alloca i64, i64 %263, align 16
  store i64 %263, ptr %34, align 8
  %265 = load i32, ptr %9, align 4, !tbaa !5
  %266 = load i32, ptr %9, align 4, !tbaa !5
  %267 = add i32 %265, %266
  %268 = zext i32 %267 to i64
  %269 = mul i64 %268, 8
  call void @llvm.memset.p0.i64(ptr align 16 %264, i8 0, i64 %269, i1 false)
  %270 = load ptr, ptr %10, align 8, !tbaa !9
  %271 = load i32, ptr %9, align 4, !tbaa !5
  %272 = zext i32 %271 to i64
  %273 = mul i64 %272, 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 %264, ptr align 8 %270, i64 %273, i1 false)
  %274 = load i32, ptr %9, align 4, !tbaa !5
  %275 = zext i32 %274 to i64
  %276 = getelementptr inbounds i64, ptr %264, i64 %275
  %277 = load ptr, ptr %12, align 8, !tbaa !9
  %278 = load i32, ptr %9, align 4, !tbaa !5
  %279 = zext i32 %278 to i64
  %280 = mul i64 %279, 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %276, ptr align 8 %277, i64 %280, i1 false)
  br label %281

281:                                              ; preds = %259
  %282 = load i32, ptr %9, align 4, !tbaa !5
  %283 = mul i32 16, %282
  %284 = zext i32 %283 to i64
  %285 = icmp ugt i64 %284, 2305843009213693951
  br i1 %285, label %286, label %288

286:                                              ; preds = %281
  %287 = call i32 (ptr, ...) @printf(ptr noundef @.str, ptr noundef @.str.1, i32 noundef 1927)
  call void @exit(i32 noundef 253) #8
  unreachable

288:                                              ; preds = %281
  br label %289

289:                                              ; preds = %288
  br label %290

290:                                              ; preds = %289
  %291 = load i32, ptr %9, align 4, !tbaa !5
  %292 = mul i32 16, %291
  %293 = zext i32 %292 to i64
  %294 = alloca i64, i64 %293, align 16
  store i64 %293, ptr %35, align 8
  %295 = load i32, ptr %9, align 4, !tbaa !5
  %296 = mul i32 16, %295
  %297 = zext i32 %296 to i64
  %298 = mul i64 %297, 8
  call void @llvm.memset.p0.i64(ptr align 16 %294, i8 0, i64 %298, i1 false)
  br label %299

299:                                              ; preds = %290
  %300 = load i32, ptr %9, align 4, !tbaa !5
  %301 = zext i32 %300 to i64
  %302 = icmp ugt i64 %301, 2305843009213693951
  br i1 %302, label %303, label %305

303:                                              ; preds = %299
  %304 = call i32 (ptr, ...) @printf(ptr noundef @.str, ptr noundef @.str.1, i32 noundef 1930)
  call void @exit(i32 noundef 253) #8
  unreachable

305:                                              ; preds = %299
  br label %306

306:                                              ; preds = %305
  br label %307

307:                                              ; preds = %306
  %308 = load i32, ptr %9, align 4, !tbaa !5
  %309 = zext i32 %308 to i64
  %310 = alloca i64, i64 %309, align 16
  store i64 %309, ptr %36, align 8
  %311 = load i32, ptr %9, align 4, !tbaa !5
  %312 = zext i32 %311 to i64
  %313 = mul i64 %312, 8
  call void @llvm.memset.p0.i64(ptr align 16 %310, i8 0, i64 %313, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %37) #9
  store ptr %294, ptr %37, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %38) #9
  %314 = load i32, ptr %9, align 4, !tbaa !5
  %315 = zext i32 %314 to i64
  %316 = getelementptr inbounds i64, ptr %294, i64 %315
  store ptr %316, ptr %38, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %39) #9
  store ptr %264, ptr %39, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %40) #9
  %317 = load i32, ptr %9, align 4, !tbaa !5
  %318 = zext i32 %317 to i64
  %319 = getelementptr inbounds i64, ptr %264, i64 %318
  store ptr %319, ptr %40, align 8, !tbaa !9
  %320 = load i32, ptr %9, align 4, !tbaa !5
  %321 = load ptr, ptr %39, align 8, !tbaa !9
  %322 = load i64, ptr %11, align 8, !tbaa !11
  %323 = load ptr, ptr %40, align 8, !tbaa !9
  %324 = load ptr, ptr %37, align 8, !tbaa !9
  call void @Hacl_Bignum_Montgomery_bn_from_mont_u64(i32 noundef %320, ptr noundef %321, i64 noundef %322, ptr noundef %323, ptr noundef %324)
  %325 = load ptr, ptr %38, align 8, !tbaa !9
  %326 = load i32, ptr %9, align 4, !tbaa !5
  %327 = zext i32 %326 to i64
  %328 = mul i64 %327, 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %325, ptr align 16 %216, i64 %328, i1 false)
  br label %329

329:                                              ; preds = %307
  call void @llvm.lifetime.start.p0(i64 4, ptr %41) #9
  store i32 0, ptr %41, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %42) #9
  %330 = load i32, ptr %41, align 4, !tbaa !5
  %331 = add i32 %330, 1
  %332 = load i32, ptr %9, align 4, !tbaa !5
  %333 = mul i32 %331, %332
  %334 = zext i32 %333 to i64
  %335 = getelementptr inbounds i64, ptr %294, i64 %334
  store ptr %335, ptr %42, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %43) #9
  store ptr %264, ptr %43, align 8, !tbaa !9
  %336 = load i32, ptr %9, align 4, !tbaa !5
  %337 = load ptr, ptr %43, align 8, !tbaa !9
  %338 = load i64, ptr %11, align 8, !tbaa !11
  %339 = load ptr, ptr %42, align 8, !tbaa !9
  call void @bn_almost_mont_sqr_u64(i32 noundef %336, ptr noundef %337, i64 noundef %338, ptr noundef %339, ptr noundef %310)
  %340 = load i32, ptr %41, align 4, !tbaa !5
  %341 = mul i32 2, %340
  %342 = add i32 %341, 2
  %343 = load i32, ptr %9, align 4, !tbaa !5
  %344 = mul i32 %342, %343
  %345 = zext i32 %344 to i64
  %346 = getelementptr inbounds i64, ptr %294, i64 %345
  %347 = load i32, ptr %9, align 4, !tbaa !5
  %348 = zext i32 %347 to i64
  %349 = mul i64 %348, 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %346, ptr align 16 %310, i64 %349, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %44) #9
  %350 = load i32, ptr %41, align 4, !tbaa !5
  %351 = mul i32 2, %350
  %352 = add i32 %351, 2
  %353 = load i32, ptr %9, align 4, !tbaa !5
  %354 = mul i32 %352, %353
  %355 = zext i32 %354 to i64
  %356 = getelementptr inbounds i64, ptr %294, i64 %355
  store ptr %356, ptr %44, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %45) #9
  store ptr %264, ptr %45, align 8, !tbaa !9
  %357 = load i32, ptr %9, align 4, !tbaa !5
  %358 = load ptr, ptr %45, align 8, !tbaa !9
  %359 = load i64, ptr %11, align 8, !tbaa !11
  %360 = load ptr, ptr %44, align 8, !tbaa !9
  call void @bn_almost_mont_mul_u64(i32 noundef %357, ptr noundef %358, i64 noundef %359, ptr noundef %216, ptr noundef %360, ptr noundef %310)
  %361 = load i32, ptr %41, align 4, !tbaa !5
  %362 = mul i32 2, %361
  %363 = add i32 %362, 3
  %364 = load i32, ptr %9, align 4, !tbaa !5
  %365 = mul i32 %363, %364
  %366 = zext i32 %365 to i64
  %367 = getelementptr inbounds i64, ptr %294, i64 %366
  %368 = load i32, ptr %9, align 4, !tbaa !5
  %369 = zext i32 %368 to i64
  %370 = mul i64 %369, 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %367, ptr align 16 %310, i64 %370, i1 false)
  %371 = load i32, ptr %41, align 4, !tbaa !5
  %372 = add i32 %371, 1
  store i32 %372, ptr %41, align 4, !tbaa !5
  %373 = load i32, ptr %41, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 8, ptr %45) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %44) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %43) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %42) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr %46) #9
  %374 = load i32, ptr %41, align 4, !tbaa !5
  %375 = add i32 %374, 1
  %376 = load i32, ptr %9, align 4, !tbaa !5
  %377 = mul i32 %375, %376
  %378 = zext i32 %377 to i64
  %379 = getelementptr inbounds i64, ptr %294, i64 %378
  store ptr %379, ptr %46, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %47) #9
  store ptr %264, ptr %47, align 8, !tbaa !9
  %380 = load i32, ptr %9, align 4, !tbaa !5
  %381 = load ptr, ptr %47, align 8, !tbaa !9
  %382 = load i64, ptr %11, align 8, !tbaa !11
  %383 = load ptr, ptr %46, align 8, !tbaa !9
  call void @bn_almost_mont_sqr_u64(i32 noundef %380, ptr noundef %381, i64 noundef %382, ptr noundef %383, ptr noundef %310)
  %384 = load i32, ptr %41, align 4, !tbaa !5
  %385 = mul i32 2, %384
  %386 = add i32 %385, 2
  %387 = load i32, ptr %9, align 4, !tbaa !5
  %388 = mul i32 %386, %387
  %389 = zext i32 %388 to i64
  %390 = getelementptr inbounds i64, ptr %294, i64 %389
  %391 = load i32, ptr %9, align 4, !tbaa !5
  %392 = zext i32 %391 to i64
  %393 = mul i64 %392, 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %390, ptr align 16 %310, i64 %393, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %48) #9
  %394 = load i32, ptr %41, align 4, !tbaa !5
  %395 = mul i32 2, %394
  %396 = add i32 %395, 2
  %397 = load i32, ptr %9, align 4, !tbaa !5
  %398 = mul i32 %396, %397
  %399 = zext i32 %398 to i64
  %400 = getelementptr inbounds i64, ptr %294, i64 %399
  store ptr %400, ptr %48, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %49) #9
  store ptr %264, ptr %49, align 8, !tbaa !9
  %401 = load i32, ptr %9, align 4, !tbaa !5
  %402 = load ptr, ptr %49, align 8, !tbaa !9
  %403 = load i64, ptr %11, align 8, !tbaa !11
  %404 = load ptr, ptr %48, align 8, !tbaa !9
  call void @bn_almost_mont_mul_u64(i32 noundef %401, ptr noundef %402, i64 noundef %403, ptr noundef %216, ptr noundef %404, ptr noundef %310)
  %405 = load i32, ptr %41, align 4, !tbaa !5
  %406 = mul i32 2, %405
  %407 = add i32 %406, 3
  %408 = load i32, ptr %9, align 4, !tbaa !5
  %409 = mul i32 %407, %408
  %410 = zext i32 %409 to i64
  %411 = getelementptr inbounds i64, ptr %294, i64 %410
  %412 = load i32, ptr %9, align 4, !tbaa !5
  %413 = zext i32 %412 to i64
  %414 = mul i64 %413, 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %411, ptr align 16 %310, i64 %414, i1 false)
  %415 = load i32, ptr %41, align 4, !tbaa !5
  %416 = add i32 %415, 1
  store i32 %416, ptr %41, align 4, !tbaa !5
  %417 = load i32, ptr %41, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 8, ptr %49) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %48) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %47) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %46) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr %50) #9
  %418 = load i32, ptr %41, align 4, !tbaa !5
  %419 = add i32 %418, 1
  %420 = load i32, ptr %9, align 4, !tbaa !5
  %421 = mul i32 %419, %420
  %422 = zext i32 %421 to i64
  %423 = getelementptr inbounds i64, ptr %294, i64 %422
  store ptr %423, ptr %50, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %51) #9
  store ptr %264, ptr %51, align 8, !tbaa !9
  %424 = load i32, ptr %9, align 4, !tbaa !5
  %425 = load ptr, ptr %51, align 8, !tbaa !9
  %426 = load i64, ptr %11, align 8, !tbaa !11
  %427 = load ptr, ptr %50, align 8, !tbaa !9
  call void @bn_almost_mont_sqr_u64(i32 noundef %424, ptr noundef %425, i64 noundef %426, ptr noundef %427, ptr noundef %310)
  %428 = load i32, ptr %41, align 4, !tbaa !5
  %429 = mul i32 2, %428
  %430 = add i32 %429, 2
  %431 = load i32, ptr %9, align 4, !tbaa !5
  %432 = mul i32 %430, %431
  %433 = zext i32 %432 to i64
  %434 = getelementptr inbounds i64, ptr %294, i64 %433
  %435 = load i32, ptr %9, align 4, !tbaa !5
  %436 = zext i32 %435 to i64
  %437 = mul i64 %436, 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %434, ptr align 16 %310, i64 %437, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %52) #9
  %438 = load i32, ptr %41, align 4, !tbaa !5
  %439 = mul i32 2, %438
  %440 = add i32 %439, 2
  %441 = load i32, ptr %9, align 4, !tbaa !5
  %442 = mul i32 %440, %441
  %443 = zext i32 %442 to i64
  %444 = getelementptr inbounds i64, ptr %294, i64 %443
  store ptr %444, ptr %52, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %53) #9
  store ptr %264, ptr %53, align 8, !tbaa !9
  %445 = load i32, ptr %9, align 4, !tbaa !5
  %446 = load ptr, ptr %53, align 8, !tbaa !9
  %447 = load i64, ptr %11, align 8, !tbaa !11
  %448 = load ptr, ptr %52, align 8, !tbaa !9
  call void @bn_almost_mont_mul_u64(i32 noundef %445, ptr noundef %446, i64 noundef %447, ptr noundef %216, ptr noundef %448, ptr noundef %310)
  %449 = load i32, ptr %41, align 4, !tbaa !5
  %450 = mul i32 2, %449
  %451 = add i32 %450, 3
  %452 = load i32, ptr %9, align 4, !tbaa !5
  %453 = mul i32 %451, %452
  %454 = zext i32 %453 to i64
  %455 = getelementptr inbounds i64, ptr %294, i64 %454
  %456 = load i32, ptr %9, align 4, !tbaa !5
  %457 = zext i32 %456 to i64
  %458 = mul i64 %457, 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %455, ptr align 16 %310, i64 %458, i1 false)
  %459 = load i32, ptr %41, align 4, !tbaa !5
  %460 = add i32 %459, 1
  store i32 %460, ptr %41, align 4, !tbaa !5
  %461 = load i32, ptr %41, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 8, ptr %53) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %52) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %51) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %50) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr %54) #9
  %462 = load i32, ptr %41, align 4, !tbaa !5
  %463 = add i32 %462, 1
  %464 = load i32, ptr %9, align 4, !tbaa !5
  %465 = mul i32 %463, %464
  %466 = zext i32 %465 to i64
  %467 = getelementptr inbounds i64, ptr %294, i64 %466
  store ptr %467, ptr %54, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %55) #9
  store ptr %264, ptr %55, align 8, !tbaa !9
  %468 = load i32, ptr %9, align 4, !tbaa !5
  %469 = load ptr, ptr %55, align 8, !tbaa !9
  %470 = load i64, ptr %11, align 8, !tbaa !11
  %471 = load ptr, ptr %54, align 8, !tbaa !9
  call void @bn_almost_mont_sqr_u64(i32 noundef %468, ptr noundef %469, i64 noundef %470, ptr noundef %471, ptr noundef %310)
  %472 = load i32, ptr %41, align 4, !tbaa !5
  %473 = mul i32 2, %472
  %474 = add i32 %473, 2
  %475 = load i32, ptr %9, align 4, !tbaa !5
  %476 = mul i32 %474, %475
  %477 = zext i32 %476 to i64
  %478 = getelementptr inbounds i64, ptr %294, i64 %477
  %479 = load i32, ptr %9, align 4, !tbaa !5
  %480 = zext i32 %479 to i64
  %481 = mul i64 %480, 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %478, ptr align 16 %310, i64 %481, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %56) #9
  %482 = load i32, ptr %41, align 4, !tbaa !5
  %483 = mul i32 2, %482
  %484 = add i32 %483, 2
  %485 = load i32, ptr %9, align 4, !tbaa !5
  %486 = mul i32 %484, %485
  %487 = zext i32 %486 to i64
  %488 = getelementptr inbounds i64, ptr %294, i64 %487
  store ptr %488, ptr %56, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %57) #9
  store ptr %264, ptr %57, align 8, !tbaa !9
  %489 = load i32, ptr %9, align 4, !tbaa !5
  %490 = load ptr, ptr %57, align 8, !tbaa !9
  %491 = load i64, ptr %11, align 8, !tbaa !11
  %492 = load ptr, ptr %56, align 8, !tbaa !9
  call void @bn_almost_mont_mul_u64(i32 noundef %489, ptr noundef %490, i64 noundef %491, ptr noundef %216, ptr noundef %492, ptr noundef %310)
  %493 = load i32, ptr %41, align 4, !tbaa !5
  %494 = mul i32 2, %493
  %495 = add i32 %494, 3
  %496 = load i32, ptr %9, align 4, !tbaa !5
  %497 = mul i32 %495, %496
  %498 = zext i32 %497 to i64
  %499 = getelementptr inbounds i64, ptr %294, i64 %498
  %500 = load i32, ptr %9, align 4, !tbaa !5
  %501 = zext i32 %500 to i64
  %502 = mul i64 %501, 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %499, ptr align 16 %310, i64 %502, i1 false)
  %503 = load i32, ptr %41, align 4, !tbaa !5
  %504 = add i32 %503, 1
  store i32 %504, ptr %41, align 4, !tbaa !5
  %505 = load i32, ptr %41, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 8, ptr %57) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %56) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %55) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %54) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr %58) #9
  %506 = load i32, ptr %41, align 4, !tbaa !5
  %507 = add i32 %506, 1
  %508 = load i32, ptr %9, align 4, !tbaa !5
  %509 = mul i32 %507, %508
  %510 = zext i32 %509 to i64
  %511 = getelementptr inbounds i64, ptr %294, i64 %510
  store ptr %511, ptr %58, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %59) #9
  store ptr %264, ptr %59, align 8, !tbaa !9
  %512 = load i32, ptr %9, align 4, !tbaa !5
  %513 = load ptr, ptr %59, align 8, !tbaa !9
  %514 = load i64, ptr %11, align 8, !tbaa !11
  %515 = load ptr, ptr %58, align 8, !tbaa !9
  call void @bn_almost_mont_sqr_u64(i32 noundef %512, ptr noundef %513, i64 noundef %514, ptr noundef %515, ptr noundef %310)
  %516 = load i32, ptr %41, align 4, !tbaa !5
  %517 = mul i32 2, %516
  %518 = add i32 %517, 2
  %519 = load i32, ptr %9, align 4, !tbaa !5
  %520 = mul i32 %518, %519
  %521 = zext i32 %520 to i64
  %522 = getelementptr inbounds i64, ptr %294, i64 %521
  %523 = load i32, ptr %9, align 4, !tbaa !5
  %524 = zext i32 %523 to i64
  %525 = mul i64 %524, 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %522, ptr align 16 %310, i64 %525, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %60) #9
  %526 = load i32, ptr %41, align 4, !tbaa !5
  %527 = mul i32 2, %526
  %528 = add i32 %527, 2
  %529 = load i32, ptr %9, align 4, !tbaa !5
  %530 = mul i32 %528, %529
  %531 = zext i32 %530 to i64
  %532 = getelementptr inbounds i64, ptr %294, i64 %531
  store ptr %532, ptr %60, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %61) #9
  store ptr %264, ptr %61, align 8, !tbaa !9
  %533 = load i32, ptr %9, align 4, !tbaa !5
  %534 = load ptr, ptr %61, align 8, !tbaa !9
  %535 = load i64, ptr %11, align 8, !tbaa !11
  %536 = load ptr, ptr %60, align 8, !tbaa !9
  call void @bn_almost_mont_mul_u64(i32 noundef %533, ptr noundef %534, i64 noundef %535, ptr noundef %216, ptr noundef %536, ptr noundef %310)
  %537 = load i32, ptr %41, align 4, !tbaa !5
  %538 = mul i32 2, %537
  %539 = add i32 %538, 3
  %540 = load i32, ptr %9, align 4, !tbaa !5
  %541 = mul i32 %539, %540
  %542 = zext i32 %541 to i64
  %543 = getelementptr inbounds i64, ptr %294, i64 %542
  %544 = load i32, ptr %9, align 4, !tbaa !5
  %545 = zext i32 %544 to i64
  %546 = mul i64 %545, 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %543, ptr align 16 %310, i64 %546, i1 false)
  %547 = load i32, ptr %41, align 4, !tbaa !5
  %548 = add i32 %547, 1
  store i32 %548, ptr %41, align 4, !tbaa !5
  %549 = load i32, ptr %41, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 8, ptr %61) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %60) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %59) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %58) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr %62) #9
  %550 = load i32, ptr %41, align 4, !tbaa !5
  %551 = add i32 %550, 1
  %552 = load i32, ptr %9, align 4, !tbaa !5
  %553 = mul i32 %551, %552
  %554 = zext i32 %553 to i64
  %555 = getelementptr inbounds i64, ptr %294, i64 %554
  store ptr %555, ptr %62, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %63) #9
  store ptr %264, ptr %63, align 8, !tbaa !9
  %556 = load i32, ptr %9, align 4, !tbaa !5
  %557 = load ptr, ptr %63, align 8, !tbaa !9
  %558 = load i64, ptr %11, align 8, !tbaa !11
  %559 = load ptr, ptr %62, align 8, !tbaa !9
  call void @bn_almost_mont_sqr_u64(i32 noundef %556, ptr noundef %557, i64 noundef %558, ptr noundef %559, ptr noundef %310)
  %560 = load i32, ptr %41, align 4, !tbaa !5
  %561 = mul i32 2, %560
  %562 = add i32 %561, 2
  %563 = load i32, ptr %9, align 4, !tbaa !5
  %564 = mul i32 %562, %563
  %565 = zext i32 %564 to i64
  %566 = getelementptr inbounds i64, ptr %294, i64 %565
  %567 = load i32, ptr %9, align 4, !tbaa !5
  %568 = zext i32 %567 to i64
  %569 = mul i64 %568, 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %566, ptr align 16 %310, i64 %569, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %64) #9
  %570 = load i32, ptr %41, align 4, !tbaa !5
  %571 = mul i32 2, %570
  %572 = add i32 %571, 2
  %573 = load i32, ptr %9, align 4, !tbaa !5
  %574 = mul i32 %572, %573
  %575 = zext i32 %574 to i64
  %576 = getelementptr inbounds i64, ptr %294, i64 %575
  store ptr %576, ptr %64, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %65) #9
  store ptr %264, ptr %65, align 8, !tbaa !9
  %577 = load i32, ptr %9, align 4, !tbaa !5
  %578 = load ptr, ptr %65, align 8, !tbaa !9
  %579 = load i64, ptr %11, align 8, !tbaa !11
  %580 = load ptr, ptr %64, align 8, !tbaa !9
  call void @bn_almost_mont_mul_u64(i32 noundef %577, ptr noundef %578, i64 noundef %579, ptr noundef %216, ptr noundef %580, ptr noundef %310)
  %581 = load i32, ptr %41, align 4, !tbaa !5
  %582 = mul i32 2, %581
  %583 = add i32 %582, 3
  %584 = load i32, ptr %9, align 4, !tbaa !5
  %585 = mul i32 %583, %584
  %586 = zext i32 %585 to i64
  %587 = getelementptr inbounds i64, ptr %294, i64 %586
  %588 = load i32, ptr %9, align 4, !tbaa !5
  %589 = zext i32 %588 to i64
  %590 = mul i64 %589, 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %587, ptr align 16 %310, i64 %590, i1 false)
  %591 = load i32, ptr %41, align 4, !tbaa !5
  %592 = add i32 %591, 1
  store i32 %592, ptr %41, align 4, !tbaa !5
  %593 = load i32, ptr %41, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 8, ptr %65) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %64) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %63) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %62) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr %66) #9
  %594 = load i32, ptr %41, align 4, !tbaa !5
  %595 = add i32 %594, 1
  %596 = load i32, ptr %9, align 4, !tbaa !5
  %597 = mul i32 %595, %596
  %598 = zext i32 %597 to i64
  %599 = getelementptr inbounds i64, ptr %294, i64 %598
  store ptr %599, ptr %66, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %67) #9
  store ptr %264, ptr %67, align 8, !tbaa !9
  %600 = load i32, ptr %9, align 4, !tbaa !5
  %601 = load ptr, ptr %67, align 8, !tbaa !9
  %602 = load i64, ptr %11, align 8, !tbaa !11
  %603 = load ptr, ptr %66, align 8, !tbaa !9
  call void @bn_almost_mont_sqr_u64(i32 noundef %600, ptr noundef %601, i64 noundef %602, ptr noundef %603, ptr noundef %310)
  %604 = load i32, ptr %41, align 4, !tbaa !5
  %605 = mul i32 2, %604
  %606 = add i32 %605, 2
  %607 = load i32, ptr %9, align 4, !tbaa !5
  %608 = mul i32 %606, %607
  %609 = zext i32 %608 to i64
  %610 = getelementptr inbounds i64, ptr %294, i64 %609
  %611 = load i32, ptr %9, align 4, !tbaa !5
  %612 = zext i32 %611 to i64
  %613 = mul i64 %612, 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %610, ptr align 16 %310, i64 %613, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %68) #9
  %614 = load i32, ptr %41, align 4, !tbaa !5
  %615 = mul i32 2, %614
  %616 = add i32 %615, 2
  %617 = load i32, ptr %9, align 4, !tbaa !5
  %618 = mul i32 %616, %617
  %619 = zext i32 %618 to i64
  %620 = getelementptr inbounds i64, ptr %294, i64 %619
  store ptr %620, ptr %68, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %69) #9
  store ptr %264, ptr %69, align 8, !tbaa !9
  %621 = load i32, ptr %9, align 4, !tbaa !5
  %622 = load ptr, ptr %69, align 8, !tbaa !9
  %623 = load i64, ptr %11, align 8, !tbaa !11
  %624 = load ptr, ptr %68, align 8, !tbaa !9
  call void @bn_almost_mont_mul_u64(i32 noundef %621, ptr noundef %622, i64 noundef %623, ptr noundef %216, ptr noundef %624, ptr noundef %310)
  %625 = load i32, ptr %41, align 4, !tbaa !5
  %626 = mul i32 2, %625
  %627 = add i32 %626, 3
  %628 = load i32, ptr %9, align 4, !tbaa !5
  %629 = mul i32 %627, %628
  %630 = zext i32 %629 to i64
  %631 = getelementptr inbounds i64, ptr %294, i64 %630
  %632 = load i32, ptr %9, align 4, !tbaa !5
  %633 = zext i32 %632 to i64
  %634 = mul i64 %633, 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %631, ptr align 16 %310, i64 %634, i1 false)
  %635 = load i32, ptr %41, align 4, !tbaa !5
  %636 = add i32 %635, 1
  store i32 %636, ptr %41, align 4, !tbaa !5
  %637 = load i32, ptr %41, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 8, ptr %69) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %68) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %67) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %66) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %41) #9
  br label %638

638:                                              ; preds = %329
  br label %639

639:                                              ; preds = %638
  %640 = load i32, ptr %14, align 4, !tbaa !5
  %641 = urem i32 %640, 4
  %642 = icmp ne i32 %641, 0
  br i1 %642, label %643, label %662

643:                                              ; preds = %639
  call void @llvm.lifetime.start.p0(i64 4, ptr %70) #9
  %644 = load i32, ptr %14, align 4, !tbaa !5
  %645 = udiv i32 %644, 4
  %646 = mul i32 %645, 4
  store i32 %646, ptr %70, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %71) #9
  %647 = load i32, ptr %33, align 4, !tbaa !5
  %648 = load ptr, ptr %15, align 8, !tbaa !9
  %649 = load i32, ptr %70, align 4, !tbaa !5
  %650 = call i64 @Hacl_Bignum_Lib_bn_get_bits_u64(i32 noundef %647, ptr noundef %648, i32 noundef %649, i32 noundef 4)
  store i64 %650, ptr %71, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %72) #9
  %651 = load i64, ptr %71, align 8, !tbaa !11
  %652 = trunc i64 %651 to i32
  store i32 %652, ptr %72, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %73) #9
  %653 = load i32, ptr %72, align 4, !tbaa !5
  %654 = load i32, ptr %9, align 4, !tbaa !5
  %655 = mul i32 %653, %654
  %656 = zext i32 %655 to i64
  %657 = getelementptr inbounds i64, ptr %294, i64 %656
  store ptr %657, ptr %73, align 8, !tbaa !9
  %658 = load ptr, ptr %73, align 8, !tbaa !9
  %659 = load i32, ptr %9, align 4, !tbaa !5
  %660 = zext i32 %659 to i64
  %661 = mul i64 %660, 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 %236, ptr align 8 %658, i64 %661, i1 false)
  call void @llvm.lifetime.end.p0(i64 8, ptr %73) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %72) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %71) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %70) #9
  br label %670

662:                                              ; preds = %639
  call void @llvm.lifetime.start.p0(i64 8, ptr %74) #9
  store ptr %264, ptr %74, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %75) #9
  %663 = load i32, ptr %9, align 4, !tbaa !5
  %664 = zext i32 %663 to i64
  %665 = getelementptr inbounds i64, ptr %264, i64 %664
  store ptr %665, ptr %75, align 8, !tbaa !9
  %666 = load i32, ptr %9, align 4, !tbaa !5
  %667 = load ptr, ptr %74, align 8, !tbaa !9
  %668 = load i64, ptr %11, align 8, !tbaa !11
  %669 = load ptr, ptr %75, align 8, !tbaa !9
  call void @Hacl_Bignum_Montgomery_bn_from_mont_u64(i32 noundef %666, ptr noundef %667, i64 noundef %668, ptr noundef %669, ptr noundef %236)
  call void @llvm.lifetime.end.p0(i64 8, ptr %75) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %74) #9
  br label %670

670:                                              ; preds = %662, %643
  br label %671

671:                                              ; preds = %670
  %672 = load i32, ptr %9, align 4, !tbaa !5
  %673 = zext i32 %672 to i64
  %674 = icmp ugt i64 %673, 2305843009213693951
  br i1 %674, label %675, label %677

675:                                              ; preds = %671
  %676 = call i32 (ptr, ...) @printf(ptr noundef @.str, ptr noundef @.str.1, i32 noundef 1965)
  call void @exit(i32 noundef 253) #8
  unreachable

677:                                              ; preds = %671
  br label %678

678:                                              ; preds = %677
  br label %679

679:                                              ; preds = %678
  %680 = load i32, ptr %9, align 4, !tbaa !5
  %681 = zext i32 %680 to i64
  %682 = alloca i64, i64 %681, align 16
  store i64 %681, ptr %76, align 8
  %683 = load i32, ptr %9, align 4, !tbaa !5
  %684 = zext i32 %683 to i64
  %685 = mul i64 %684, 8
  call void @llvm.memset.p0.i64(ptr align 16 %682, i8 0, i64 %685, i1 false)
  call void @llvm.lifetime.start.p0(i64 4, ptr %77) #9
  store i32 0, ptr %77, align 4, !tbaa !5
  br label %686

686:                                              ; preds = %746, %679
  %687 = load i32, ptr %77, align 4, !tbaa !5
  %688 = load i32, ptr %14, align 4, !tbaa !5
  %689 = udiv i32 %688, 4
  %690 = icmp ult i32 %687, %689
  br i1 %690, label %692, label %691

691:                                              ; preds = %686
  call void @llvm.lifetime.end.p0(i64 4, ptr %77) #9
  br label %749

692:                                              ; preds = %686
  br label %693

693:                                              ; preds = %692
  call void @llvm.lifetime.start.p0(i64 4, ptr %78) #9
  store i32 0, ptr %78, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %79) #9
  store ptr %264, ptr %79, align 8, !tbaa !9
  %694 = load i32, ptr %9, align 4, !tbaa !5
  %695 = load ptr, ptr %79, align 8, !tbaa !9
  %696 = load i64, ptr %11, align 8, !tbaa !11
  call void @bn_almost_mont_sqr_u64(i32 noundef %694, ptr noundef %695, i64 noundef %696, ptr noundef %236, ptr noundef %236)
  %697 = load i32, ptr %78, align 4, !tbaa !5
  %698 = add i32 %697, 1
  store i32 %698, ptr %78, align 4, !tbaa !5
  %699 = load i32, ptr %78, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 8, ptr %79) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr %80) #9
  store ptr %264, ptr %80, align 8, !tbaa !9
  %700 = load i32, ptr %9, align 4, !tbaa !5
  %701 = load ptr, ptr %80, align 8, !tbaa !9
  %702 = load i64, ptr %11, align 8, !tbaa !11
  call void @bn_almost_mont_sqr_u64(i32 noundef %700, ptr noundef %701, i64 noundef %702, ptr noundef %236, ptr noundef %236)
  %703 = load i32, ptr %78, align 4, !tbaa !5
  %704 = add i32 %703, 1
  store i32 %704, ptr %78, align 4, !tbaa !5
  %705 = load i32, ptr %78, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 8, ptr %80) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr %81) #9
  store ptr %264, ptr %81, align 8, !tbaa !9
  %706 = load i32, ptr %9, align 4, !tbaa !5
  %707 = load ptr, ptr %81, align 8, !tbaa !9
  %708 = load i64, ptr %11, align 8, !tbaa !11
  call void @bn_almost_mont_sqr_u64(i32 noundef %706, ptr noundef %707, i64 noundef %708, ptr noundef %236, ptr noundef %236)
  %709 = load i32, ptr %78, align 4, !tbaa !5
  %710 = add i32 %709, 1
  store i32 %710, ptr %78, align 4, !tbaa !5
  %711 = load i32, ptr %78, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 8, ptr %81) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr %82) #9
  store ptr %264, ptr %82, align 8, !tbaa !9
  %712 = load i32, ptr %9, align 4, !tbaa !5
  %713 = load ptr, ptr %82, align 8, !tbaa !9
  %714 = load i64, ptr %11, align 8, !tbaa !11
  call void @bn_almost_mont_sqr_u64(i32 noundef %712, ptr noundef %713, i64 noundef %714, ptr noundef %236, ptr noundef %236)
  %715 = load i32, ptr %78, align 4, !tbaa !5
  %716 = add i32 %715, 1
  store i32 %716, ptr %78, align 4, !tbaa !5
  %717 = load i32, ptr %78, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 8, ptr %82) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %78) #9
  br label %718

718:                                              ; preds = %693
  br label %719

719:                                              ; preds = %718
  call void @llvm.lifetime.start.p0(i64 4, ptr %83) #9
  %720 = load i32, ptr %14, align 4, !tbaa !5
  %721 = load i32, ptr %14, align 4, !tbaa !5
  %722 = urem i32 %721, 4
  %723 = sub i32 %720, %722
  %724 = load i32, ptr %77, align 4, !tbaa !5
  %725 = mul i32 4, %724
  %726 = sub i32 %723, %725
  %727 = sub i32 %726, 4
  store i32 %727, ptr %83, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %84) #9
  %728 = load i32, ptr %33, align 4, !tbaa !5
  %729 = load ptr, ptr %15, align 8, !tbaa !9
  %730 = load i32, ptr %83, align 4, !tbaa !5
  %731 = call i64 @Hacl_Bignum_Lib_bn_get_bits_u64(i32 noundef %728, ptr noundef %729, i32 noundef %730, i32 noundef 4)
  store i64 %731, ptr %84, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %85) #9
  %732 = load i64, ptr %84, align 8, !tbaa !11
  %733 = trunc i64 %732 to i32
  store i32 %733, ptr %85, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %86) #9
  %734 = load i32, ptr %85, align 4, !tbaa !5
  %735 = load i32, ptr %9, align 4, !tbaa !5
  %736 = mul i32 %734, %735
  %737 = zext i32 %736 to i64
  %738 = getelementptr inbounds i64, ptr %294, i64 %737
  store ptr %738, ptr %86, align 8, !tbaa !9
  %739 = load ptr, ptr %86, align 8, !tbaa !9
  %740 = load i32, ptr %9, align 4, !tbaa !5
  %741 = zext i32 %740 to i64
  %742 = mul i64 %741, 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 %682, ptr align 8 %739, i64 %742, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %87) #9
  store ptr %264, ptr %87, align 8, !tbaa !9
  %743 = load i32, ptr %9, align 4, !tbaa !5
  %744 = load ptr, ptr %87, align 8, !tbaa !9
  %745 = load i64, ptr %11, align 8, !tbaa !11
  call void @bn_almost_mont_mul_u64(i32 noundef %743, ptr noundef %744, i64 noundef %745, ptr noundef %236, ptr noundef %682, ptr noundef %236)
  call void @llvm.lifetime.end.p0(i64 8, ptr %87) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %86) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %85) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %84) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %83) #9
  br label %746

746:                                              ; preds = %719
  %747 = load i32, ptr %77, align 4, !tbaa !5
  %748 = add i32 %747, 1
  store i32 %748, ptr %77, align 4, !tbaa !5
  br label %686, !llvm.loop !15

749:                                              ; preds = %691
  %750 = load i32, ptr %9, align 4, !tbaa !5
  %751 = load ptr, ptr %10, align 8, !tbaa !9
  %752 = load i64, ptr %11, align 8, !tbaa !11
  %753 = load ptr, ptr %16, align 8, !tbaa !9
  call void @Hacl_Bignum_Montgomery_bn_from_mont_u64(i32 noundef %750, ptr noundef %751, i64 noundef %752, ptr noundef %236, ptr noundef %753)
  call void @llvm.lifetime.end.p0(i64 8, ptr %40) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %39) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %38) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %37) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %33) #9
  %754 = load ptr, ptr %30, align 8
  call void @llvm.stackrestore.p0(ptr %754)
  br label %755

755:                                              ; preds = %749, %198
  ret void
}

; Function Attrs: nounwind uwtable
declare hidden void @bn_almost_mont_mul_u64(i32 noundef, ptr noundef, i64 noundef, ptr noundef, ptr noundef, ptr noundef) #6

; Function Attrs: nounwind uwtable
declare hidden void @bn_almost_mont_sqr_u64(i32 noundef, ptr noundef, i64 noundef, ptr noundef, ptr noundef) #6

; Function Attrs: inlinehint nounwind uwtable
declare hidden i64 @Hacl_Bignum_Lib_bn_get_bits_u64(i32 noundef, ptr noundef, i32 noundef, i32 noundef) #7

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { "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 = { nocallback nofree nosync nounwind willreturn }
attributes #4 = { nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #5 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #6 = { 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 #7 = { inlinehint 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 #8 = { noreturn nounwind }
attributes #9 = { 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 = !{!"any pointer", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"long", !7, i64 0}
!13 = distinct !{!13, !14}
!14 = !{!"llvm.loop.mustprogress"}
!15 = distinct !{!15, !14}


; 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: mustprogress nocallback nofree nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #0

; Function Attrs: mustprogress nocallback nofree nounwind willreturn memory(argmem: readwrite)
declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #1

; Function Attrs: nounwind uwtable
declare dso_local void @Hacl_Bignum_Montgomery_bn_to_mont_u64(i32 noundef, ptr noundef, i64 noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #2

; Function Attrs: nounwind uwtable
declare dso_local void @Hacl_Bignum_Montgomery_bn_from_mont_u64(i32 noundef, ptr noundef, i64 noundef, ptr noundef, ptr noundef) local_unnamed_addr #2

; Function Attrs: nounwind uwtable
define dso_local void @Hacl_Bignum_Exponentiation_bn_mod_exp_vartime_precomp_u64(i32 noundef %0, ptr noundef %1, i64 noundef %2, ptr noundef %3, ptr noundef %4, i32 noundef %5, ptr noundef %6, ptr noundef %7) local_unnamed_addr #2 {
  %9 = icmp ult i32 %5, 200
  %10 = zext i32 %0 to i64
  %11 = alloca i64, i64 %10, align 16
  %12 = shl nuw nsw i64 %10, 3
  call void @llvm.memset.p0.i64(ptr nonnull align 16 %11, i8 0, i64 %12, i1 false)
  call void @Hacl_Bignum_Montgomery_bn_to_mont_u64(i32 noundef %0, ptr noundef %1, i64 noundef %2, ptr noundef %3, ptr noundef %4, ptr noundef nonnull %11)
  %13 = alloca i64, i64 %10, align 16
  call void @llvm.memset.p0.i64(ptr nonnull align 16 %13, i8 0, i64 %12, i1 false)
  br i1 %9, label %14, label %32

14:                                               ; preds = %8
  %15 = shl i32 %0, 1
  %16 = zext i32 %15 to i64
  %17 = alloca i64, i64 %16, align 16
  %18 = shl nuw nsw i64 %16, 3
  call void @llvm.memset.p0.i64(ptr nonnull align 16 %17, i8 0, i64 %18, i1 false)
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 16 %17, ptr align 8 %1, i64 %12, i1 false)
  %19 = getelementptr inbounds i64, ptr %17, i64 %10
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 8 %19, ptr align 8 %3, i64 %12, i1 false)
  call void @Hacl_Bignum_Montgomery_bn_from_mont_u64(i32 noundef %0, ptr noundef nonnull %17, i64 noundef %2, ptr noundef nonnull %19, ptr noundef nonnull %13)
  %.not297 = icmp eq i32 %5, 0
  br i1 %.not297, label %._crit_edge294, label %.lr.ph293

.lr.ph293:                                        ; preds = %14, %30
  %.0291 = phi i32 [ %31, %30 ], [ 0, %14 ]
  %20 = lshr i32 %.0291, 6
  %21 = and i32 %.0291, 63
  %22 = zext nneg i32 %20 to i64
  %23 = getelementptr inbounds i64, ptr %6, i64 %22
  %24 = load i64, ptr %23, align 8, !tbaa !5
  %25 = zext nneg i32 %21 to i64
  %26 = shl nuw i64 1, %25
  %27 = and i64 %24, %26
  %28 = icmp eq i64 %27, 0
  br i1 %28, label %30, label %29

29:                                               ; preds = %.lr.ph293
  call void @bn_almost_mont_mul_u64(i32 noundef %0, ptr noundef nonnull %17, i64 noundef %2, ptr noundef nonnull %13, ptr noundef nonnull %11, ptr noundef nonnull %13)
  br label %30

30:                                               ; preds = %29, %.lr.ph293
  call void @bn_almost_mont_sqr_u64(i32 noundef %0, ptr noundef nonnull %17, i64 noundef %2, ptr noundef nonnull %11, ptr noundef nonnull %11)
  %31 = add nuw i32 %.0291, 1
  %exitcond298.not = icmp eq i32 %31, %5
  br i1 %exitcond298.not, label %._crit_edge294, label %.lr.ph293, !llvm.loop !9

32:                                               ; preds = %8
  %33 = add i32 %5, -1
  %34 = lshr i32 %33, 6
  %35 = add nuw nsw i32 %34, 1
  %36 = shl i32 %0, 1
  %37 = zext i32 %36 to i64
  %38 = alloca i64, i64 %37, align 16
  %39 = shl nuw nsw i64 %37, 3
  call void @llvm.memset.p0.i64(ptr nonnull align 16 %38, i8 0, i64 %39, i1 false)
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 16 %38, ptr align 8 %1, i64 %12, i1 false)
  %40 = getelementptr inbounds i64, ptr %38, i64 %10
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 8 %40, ptr align 8 %3, i64 %12, i1 false)
  %41 = shl i32 %0, 4
  %42 = zext i32 %41 to i64
  %43 = alloca i64, i64 %42, align 16
  %44 = shl nuw nsw i64 %42, 3
  call void @llvm.memset.p0.i64(ptr nonnull align 16 %43, i8 0, i64 %44, i1 false)
  %45 = alloca i64, i64 %10, align 16
  call void @llvm.memset.p0.i64(ptr nonnull align 16 %45, i8 0, i64 %12, i1 false)
  %46 = getelementptr inbounds i64, ptr %43, i64 %10
  call void @Hacl_Bignum_Montgomery_bn_from_mont_u64(i32 noundef %0, ptr noundef nonnull %38, i64 noundef %2, ptr noundef nonnull %40, ptr noundef nonnull %43)
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 8 %46, ptr nonnull align 16 %11, i64 %12, i1 false)
  call void @bn_almost_mont_sqr_u64(i32 noundef %0, ptr noundef nonnull %38, i64 noundef %2, ptr noundef nonnull %46, ptr noundef nonnull %45)
  %47 = getelementptr inbounds i64, ptr %43, i64 %37
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 16 %47, ptr nonnull align 16 %45, i64 %12, i1 false)
  call void @bn_almost_mont_mul_u64(i32 noundef %0, ptr noundef nonnull %38, i64 noundef %2, ptr noundef nonnull %11, ptr noundef nonnull %47, ptr noundef nonnull %45)
  %48 = mul i32 %0, 3
  %49 = zext i32 %48 to i64
  %50 = getelementptr inbounds i64, ptr %43, i64 %49
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 8 %50, ptr nonnull align 16 %45, i64 %12, i1 false)
  call void @bn_almost_mont_sqr_u64(i32 noundef %0, ptr noundef nonnull %38, i64 noundef %2, ptr noundef nonnull %47, ptr noundef nonnull %45)
  %51 = shl i32 %0, 2
  %52 = zext i32 %51 to i64
  %53 = getelementptr inbounds i64, ptr %43, i64 %52
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 16 %53, ptr nonnull align 16 %45, i64 %12, i1 false)
  call void @bn_almost_mont_mul_u64(i32 noundef %0, ptr noundef nonnull %38, i64 noundef %2, ptr noundef nonnull %11, ptr noundef nonnull %53, ptr noundef nonnull %45)
  %54 = mul i32 %0, 5
  %55 = zext i32 %54 to i64
  %56 = getelementptr inbounds i64, ptr %43, i64 %55
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 8 %56, ptr nonnull align 16 %45, i64 %12, i1 false)
  call void @bn_almost_mont_sqr_u64(i32 noundef %0, ptr noundef nonnull %38, i64 noundef %2, ptr noundef nonnull %50, ptr noundef nonnull %45)
  %57 = mul i32 %0, 6
  %58 = zext i32 %57 to i64
  %59 = getelementptr inbounds i64, ptr %43, i64 %58
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 16 %59, ptr nonnull align 16 %45, i64 %12, i1 false)
  call void @bn_almost_mont_mul_u64(i32 noundef %0, ptr noundef nonnull %38, i64 noundef %2, ptr noundef nonnull %11, ptr noundef nonnull %59, ptr noundef nonnull %45)
  %60 = mul i32 %0, 7
  %61 = zext i32 %60 to i64
  %62 = getelementptr inbounds i64, ptr %43, i64 %61
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 8 %62, ptr nonnull align 16 %45, i64 %12, i1 false)
  call void @bn_almost_mont_sqr_u64(i32 noundef %0, ptr noundef nonnull %38, i64 noundef %2, ptr noundef nonnull %53, ptr noundef nonnull %45)
  %63 = shl i32 %0, 3
  %64 = zext i32 %63 to i64
  %65 = getelementptr inbounds i64, ptr %43, i64 %64
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 16 %65, ptr nonnull align 16 %45, i64 %12, i1 false)
  call void @bn_almost_mont_mul_u64(i32 noundef %0, ptr noundef nonnull %38, i64 noundef %2, ptr noundef nonnull %11, ptr noundef nonnull %65, ptr noundef nonnull %45)
  %66 = mul i32 %0, 9
  %67 = zext i32 %66 to i64
  %68 = getelementptr inbounds i64, ptr %43, i64 %67
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 8 %68, ptr nonnull align 16 %45, i64 %12, i1 false)
  call void @bn_almost_mont_sqr_u64(i32 noundef %0, ptr noundef nonnull %38, i64 noundef %2, ptr noundef nonnull %56, ptr noundef nonnull %45)
  %69 = mul i32 %0, 10
  %70 = zext i32 %69 to i64
  %71 = getelementptr inbounds i64, ptr %43, i64 %70
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 16 %71, ptr nonnull align 16 %45, i64 %12, i1 false)
  call void @bn_almost_mont_mul_u64(i32 noundef %0, ptr noundef nonnull %38, i64 noundef %2, ptr noundef nonnull %11, ptr noundef nonnull %71, ptr noundef nonnull %45)
  %72 = mul i32 %0, 11
  %73 = zext i32 %72 to i64
  %74 = getelementptr inbounds i64, ptr %43, i64 %73
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 8 %74, ptr nonnull align 16 %45, i64 %12, i1 false)
  call void @bn_almost_mont_sqr_u64(i32 noundef %0, ptr noundef nonnull %38, i64 noundef %2, ptr noundef nonnull %59, ptr noundef nonnull %45)
  %75 = mul i32 %0, 12
  %76 = zext i32 %75 to i64
  %77 = getelementptr inbounds i64, ptr %43, i64 %76
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 16 %77, ptr nonnull align 16 %45, i64 %12, i1 false)
  call void @bn_almost_mont_mul_u64(i32 noundef %0, ptr noundef nonnull %38, i64 noundef %2, ptr noundef nonnull %11, ptr noundef nonnull %77, ptr noundef nonnull %45)
  %78 = mul i32 %0, 13
  %79 = zext i32 %78 to i64
  %80 = getelementptr inbounds i64, ptr %43, i64 %79
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 8 %80, ptr nonnull align 16 %45, i64 %12, i1 false)
  call void @bn_almost_mont_sqr_u64(i32 noundef %0, ptr noundef nonnull %38, i64 noundef %2, ptr noundef nonnull %62, ptr noundef nonnull %45)
  %81 = mul i32 %0, 14
  %82 = zext i32 %81 to i64
  %83 = getelementptr inbounds i64, ptr %43, i64 %82
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 16 %83, ptr nonnull align 16 %45, i64 %12, i1 false)
  call void @bn_almost_mont_mul_u64(i32 noundef %0, ptr noundef nonnull %38, i64 noundef %2, ptr noundef nonnull %11, ptr noundef nonnull %83, ptr noundef nonnull %45)
  %84 = mul i32 %0, 15
  %85 = zext i32 %84 to i64
  %86 = getelementptr inbounds i64, ptr %43, i64 %85
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 8 %86, ptr nonnull align 16 %45, i64 %12, i1 false)
  %87 = and i32 %5, 3
  %.not = icmp eq i32 %87, 0
  br i1 %.not, label %95, label %88

88:                                               ; preds = %32
  %89 = and i32 %5, -4
  %90 = call i64 @Hacl_Bignum_Lib_bn_get_bits_u64(i32 noundef %35, ptr noundef %6, i32 noundef %89, i32 noundef 4)
  %91 = trunc i64 %90 to i32
  %92 = mul i32 %91, %0
  %93 = zext i32 %92 to i64
  %94 = getelementptr inbounds i64, ptr %43, i64 %93
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 16 %13, ptr nonnull align 8 %94, i64 %12, i1 false)
  br label %.lr.ph

95:                                               ; preds = %32
  call void @Hacl_Bignum_Montgomery_bn_from_mont_u64(i32 noundef %0, ptr noundef nonnull %38, i64 noundef %2, ptr noundef nonnull %40, ptr noundef nonnull %13)
  br label %.lr.ph

.lr.ph:                                           ; preds = %88, %95
  %96 = alloca i64, i64 %10, align 16
  call void @llvm.memset.p0.i64(ptr nonnull align 16 %96, i8 0, i64 %12, i1 false)
  %97 = lshr i32 %5, 2
  %98 = and i32 %5, -4
  %99 = add i32 %98, -4
  br label %100

100:                                              ; preds = %.lr.ph, %100
  %.0288290 = phi i32 [ 0, %.lr.ph ], [ %108, %100 ]
  call void @bn_almost_mont_sqr_u64(i32 noundef %0, ptr noundef nonnull %38, i64 noundef %2, ptr noundef nonnull %13, ptr noundef nonnull %13)
  call void @bn_almost_mont_sqr_u64(i32 noundef %0, ptr noundef nonnull %38, i64 noundef %2, ptr noundef nonnull %13, ptr noundef nonnull %13)
  call void @bn_almost_mont_sqr_u64(i32 noundef %0, ptr noundef nonnull %38, i64 noundef %2, ptr noundef nonnull %13, ptr noundef nonnull %13)
  call void @bn_almost_mont_sqr_u64(i32 noundef %0, ptr noundef nonnull %38, i64 noundef %2, ptr noundef nonnull %13, ptr noundef nonnull %13)
  %101 = shl i32 %.0288290, 2
  %102 = sub i32 %99, %101
  %103 = call i64 @Hacl_Bignum_Lib_bn_get_bits_u64(i32 noundef %35, ptr noundef %6, i32 noundef %102, i32 noundef 4)
  %104 = trunc i64 %103 to i32
  %105 = mul i32 %104, %0
  %106 = zext i32 %105 to i64
  %107 = getelementptr inbounds i64, ptr %43, i64 %106
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 16 %96, ptr nonnull align 8 %107, i64 %12, i1 false)
  call void @bn_almost_mont_mul_u64(i32 noundef %0, ptr noundef nonnull %38, i64 noundef %2, ptr noundef nonnull %13, ptr noundef nonnull %96, ptr noundef nonnull %13)
  %108 = add nuw nsw i32 %.0288290, 1
  %exitcond.not = icmp eq i32 %108, %97
  br i1 %exitcond.not, label %._crit_edge294, label %100, !llvm.loop !11

._crit_edge294:                                   ; preds = %100, %30, %14
  call void @Hacl_Bignum_Montgomery_bn_from_mont_u64(i32 noundef %0, ptr noundef %1, i64 noundef %2, ptr noundef nonnull %13, ptr noundef %7)
  ret void
}

; Function Attrs: nounwind uwtable
declare hidden void @bn_almost_mont_mul_u64(i32 noundef, ptr noundef, i64 noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #2

; Function Attrs: nounwind uwtable
declare hidden void @bn_almost_mont_sqr_u64(i32 noundef, ptr noundef, i64 noundef, ptr noundef, ptr noundef) local_unnamed_addr #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden i64 @Hacl_Bignum_Lib_bn_get_bits_u64(i32 noundef, ptr noundef, i32 noundef, i32 noundef) local_unnamed_addr #3

attributes #0 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #1 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { 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 = { inlinehint 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" }

!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 = !{!"long", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = distinct !{!9, !10}
!10 = !{!"llvm.loop.mustprogress"}
!11 = distinct !{!11, !10}


; Effective O3 passes: CorrelatedValuePropagationPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferFunctionAttrsPass,InstCombinePass,JumpThreadingPass,LICMPass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,ReassociatePass,SCCPPass,SROAPass,SimplifyCFGPass,TailCallElimPass