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

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

%struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s = type { i32, ptr, i32, ptr }

@.str = external hidden unnamed_addr constant [70 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [91 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 nounwind willreturn memory(argmem: readwrite)
declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #3

; Function Attrs: nounwind uwtable
declare dso_local i32 @Hacl_GenericField32_field_get_len(ptr noundef) #4

declare void @Hacl_Bignum_Montgomery_bn_from_mont_u32(i32 noundef, ptr noundef, i32 noundef, ptr noundef, ptr noundef) #1

declare void @Hacl_Bignum_Montgomery_bn_mont_mul_u32(i32 noundef, ptr noundef, i32 noundef, ptr noundef, ptr noundef, ptr noundef) #1

declare void @Hacl_Bignum_Montgomery_bn_mont_sqr_u32(i32 noundef, ptr noundef, i32 noundef, ptr noundef, ptr noundef) #1

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

; Function Attrs: inlinehint nounwind uwtable
declare hidden i32 @Hacl_Bignum_Lib_bn_get_bits_u32(i32 noundef, ptr noundef, i32 noundef, i32 noundef) #6

; Function Attrs: nounwind uwtable
define dso_local void @Hacl_GenericField32_exp_vartime(ptr noundef %0, ptr noundef %1, i32 noundef %2, ptr noundef %3, ptr noundef %4) #4 {
  %6 = alloca ptr, align 8
  %7 = alloca ptr, align 8
  %8 = alloca i32, align 4
  %9 = alloca ptr, align 8
  %10 = alloca ptr, align 8
  %11 = alloca i32, align 4
  %12 = alloca %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, align 8
  %13 = alloca ptr, align 8
  %14 = alloca ptr, align 8
  %15 = alloca ptr, align 8
  %16 = alloca ptr, align 8
  %17 = alloca i32, align 4
  %18 = alloca i32, align 4
  %19 = alloca i32, align 4
  %20 = alloca i32, align 4
  %21 = alloca i32, align 4
  %22 = alloca ptr, align 8
  %23 = alloca ptr, align 8
  %24 = alloca i32, align 4
  %25 = alloca ptr, align 8
  %26 = alloca ptr, align 8
  %27 = alloca ptr, align 8
  %28 = alloca ptr, align 8
  %29 = alloca ptr, align 8
  %30 = alloca ptr, align 8
  %31 = alloca ptr, align 8
  %32 = alloca i32, align 4
  %33 = alloca ptr, align 8
  %34 = alloca ptr, align 8
  %35 = alloca ptr, align 8
  %36 = alloca ptr, align 8
  %37 = alloca ptr, align 8
  %38 = alloca ptr, align 8
  %39 = alloca ptr, align 8
  %40 = alloca ptr, align 8
  %41 = alloca ptr, align 8
  %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 i32, align 4
  %62 = alloca i32, align 4
  %63 = alloca i32, align 4
  %64 = alloca ptr, align 8
  %65 = alloca ptr, align 8
  %66 = alloca ptr, align 8
  %67 = alloca ptr, align 8
  %68 = alloca i32, align 4
  %69 = alloca i32, align 4
  %70 = alloca ptr, align 8
  %71 = alloca ptr, align 8
  %72 = alloca ptr, align 8
  %73 = alloca ptr, align 8
  %74 = alloca i32, align 4
  %75 = alloca i32, align 4
  %76 = alloca i32, align 4
  %77 = alloca ptr, align 8
  %78 = alloca ptr, align 8
  store ptr %0, ptr %6, align 8, !tbaa !5
  store ptr %1, ptr %7, align 8, !tbaa !5
  store i32 %2, ptr %8, align 4, !tbaa !9
  store ptr %3, ptr %9, align 8, !tbaa !5
  store ptr %4, ptr %10, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #7
  %79 = load ptr, ptr %6, align 8, !tbaa !5
  %80 = call i32 @Hacl_GenericField32_field_get_len(ptr noundef %79)
  store i32 %80, ptr %11, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 32, ptr %12) #7
  %81 = load ptr, ptr %6, align 8, !tbaa !5
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %12, ptr align 8 %81, i64 32, i1 false), !tbaa.struct !11
  br label %82

82:                                               ; preds = %5
  %83 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 0
  %84 = load i32, ptr %83, align 8, !tbaa !12
  %85 = zext i32 %84 to i64
  %86 = icmp ugt i64 %85, 4611686018427387903
  br i1 %86, label %87, label %89

87:                                               ; preds = %82
  %88 = call i32 (ptr, ...) @printf(ptr noundef @.str, ptr noundef @.str.1, i32 noundef 449)
  call void @exit(i32 noundef 253) #8
  unreachable

89:                                               ; preds = %82
  br label %90

90:                                               ; preds = %89
  br label %91

91:                                               ; preds = %90
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #7
  %92 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 0
  %93 = load i32, ptr %92, align 8, !tbaa !12
  %94 = zext i32 %93 to i64
  %95 = mul i64 %94, 4
  %96 = alloca i8, i64 %95, align 16
  store ptr %96, ptr %13, align 8, !tbaa !5
  %97 = load ptr, ptr %13, align 8, !tbaa !5
  %98 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 0
  %99 = load i32, ptr %98, align 8, !tbaa !12
  %100 = zext i32 %99 to i64
  %101 = mul i64 %100, 4
  call void @llvm.memset.p0.i64(ptr align 4 %97, i8 0, i64 %101, i1 false)
  %102 = load ptr, ptr %13, align 8, !tbaa !5
  %103 = load ptr, ptr %7, align 8, !tbaa !5
  %104 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 0
  %105 = load i32, ptr %104, align 8, !tbaa !12
  %106 = zext i32 %105 to i64
  %107 = mul i64 %106, 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %102, ptr align 4 %103, i64 %107, i1 false)
  %108 = load i32, ptr %8, align 4, !tbaa !9
  %109 = icmp ult i32 %108, 200
  br i1 %109, label %110, label %202

110:                                              ; preds = %91
  br label %111

111:                                              ; preds = %110
  %112 = load i32, ptr %11, align 4, !tbaa !9
  %113 = load i32, ptr %11, align 4, !tbaa !9
  %114 = add i32 %112, %113
  %115 = zext i32 %114 to i64
  %116 = icmp ugt i64 %115, 4611686018427387903
  br i1 %116, label %117, label %119

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

119:                                              ; preds = %111
  br label %120

120:                                              ; preds = %119
  br label %121

121:                                              ; preds = %120
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #7
  %122 = load i32, ptr %11, align 4, !tbaa !9
  %123 = load i32, ptr %11, align 4, !tbaa !9
  %124 = add i32 %122, %123
  %125 = zext i32 %124 to i64
  %126 = mul i64 %125, 4
  %127 = alloca i8, i64 %126, align 16
  store ptr %127, ptr %14, align 8, !tbaa !5
  %128 = load ptr, ptr %14, align 8, !tbaa !5
  %129 = load i32, ptr %11, align 4, !tbaa !9
  %130 = load i32, ptr %11, align 4, !tbaa !9
  %131 = add i32 %129, %130
  %132 = zext i32 %131 to i64
  %133 = mul i64 %132, 4
  call void @llvm.memset.p0.i64(ptr align 4 %128, i8 0, i64 %133, i1 false)
  %134 = load ptr, ptr %14, align 8, !tbaa !5
  %135 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 1
  %136 = load ptr, ptr %135, align 8, !tbaa !14
  %137 = load i32, ptr %11, align 4, !tbaa !9
  %138 = zext i32 %137 to i64
  %139 = mul i64 %138, 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %134, ptr align 4 %136, i64 %139, i1 false)
  %140 = load ptr, ptr %14, align 8, !tbaa !5
  %141 = load i32, ptr %11, align 4, !tbaa !9
  %142 = zext i32 %141 to i64
  %143 = getelementptr inbounds i32, ptr %140, i64 %142
  %144 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 3
  %145 = load ptr, ptr %144, align 8, !tbaa !15
  %146 = load i32, ptr %11, align 4, !tbaa !9
  %147 = zext i32 %146 to i64
  %148 = mul i64 %147, 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %143, ptr align 4 %145, i64 %148, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #7
  %149 = load ptr, ptr %14, align 8, !tbaa !5
  store ptr %149, ptr %15, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #7
  %150 = load ptr, ptr %14, align 8, !tbaa !5
  %151 = load i32, ptr %11, align 4, !tbaa !9
  %152 = zext i32 %151 to i64
  %153 = getelementptr inbounds i32, ptr %150, i64 %152
  store ptr %153, ptr %16, align 8, !tbaa !5
  %154 = load i32, ptr %11, align 4, !tbaa !9
  %155 = load ptr, ptr %15, align 8, !tbaa !5
  %156 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 2
  %157 = load i32, ptr %156, align 8, !tbaa !16
  %158 = load ptr, ptr %16, align 8, !tbaa !5
  %159 = load ptr, ptr %10, align 8, !tbaa !5
  call void @Hacl_Bignum_Montgomery_bn_from_mont_u32(i32 noundef %154, ptr noundef %155, i32 noundef %157, ptr noundef %158, ptr noundef %159)
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #7
  store i32 0, ptr %17, align 4, !tbaa !9
  br label %160

160:                                              ; preds = %198, %121
  %161 = load i32, ptr %17, align 4, !tbaa !9
  %162 = load i32, ptr %8, align 4, !tbaa !9
  %163 = icmp ult i32 %161, %162
  br i1 %163, label %165, label %164

164:                                              ; preds = %160
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #7
  br label %201

165:                                              ; preds = %160
  call void @llvm.lifetime.start.p0(i64 4, ptr %18) #7
  %166 = load i32, ptr %17, align 4, !tbaa !9
  %167 = udiv i32 %166, 32
  store i32 %167, ptr %18, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %19) #7
  %168 = load i32, ptr %17, align 4, !tbaa !9
  %169 = urem i32 %168, 32
  store i32 %169, ptr %19, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %20) #7
  %170 = load ptr, ptr %9, align 8, !tbaa !5
  %171 = load i32, ptr %18, align 4, !tbaa !9
  %172 = zext i32 %171 to i64
  %173 = getelementptr inbounds i32, ptr %170, i64 %172
  %174 = load i32, ptr %173, align 4, !tbaa !9
  store i32 %174, ptr %20, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #7
  %175 = load i32, ptr %20, align 4, !tbaa !9
  %176 = load i32, ptr %19, align 4, !tbaa !9
  %177 = lshr i32 %175, %176
  %178 = and i32 %177, 1
  store i32 %178, ptr %21, align 4, !tbaa !9
  %179 = load i32, ptr %21, align 4, !tbaa !9
  %180 = icmp eq i32 %179, 0
  br i1 %180, label %190, label %181

181:                                              ; preds = %165
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #7
  %182 = load ptr, ptr %14, align 8, !tbaa !5
  store ptr %182, ptr %22, align 8, !tbaa !5
  %183 = load i32, ptr %11, align 4, !tbaa !9
  %184 = load ptr, ptr %22, align 8, !tbaa !5
  %185 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 2
  %186 = load i32, ptr %185, align 8, !tbaa !16
  %187 = load ptr, ptr %10, align 8, !tbaa !5
  %188 = load ptr, ptr %13, align 8, !tbaa !5
  %189 = load ptr, ptr %10, align 8, !tbaa !5
  call void @Hacl_Bignum_Montgomery_bn_mont_mul_u32(i32 noundef %183, ptr noundef %184, i32 noundef %186, ptr noundef %187, ptr noundef %188, ptr noundef %189)
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #7
  br label %190

190:                                              ; preds = %181, %165
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #7
  %191 = load ptr, ptr %14, align 8, !tbaa !5
  store ptr %191, ptr %23, align 8, !tbaa !5
  %192 = load i32, ptr %11, align 4, !tbaa !9
  %193 = load ptr, ptr %23, align 8, !tbaa !5
  %194 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 2
  %195 = load i32, ptr %194, align 8, !tbaa !16
  %196 = load ptr, ptr %13, align 8, !tbaa !5
  %197 = load ptr, ptr %13, align 8, !tbaa !5
  call void @Hacl_Bignum_Montgomery_bn_mont_sqr_u32(i32 noundef %192, ptr noundef %193, i32 noundef %195, ptr noundef %196, ptr noundef %197)
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #7
  br label %198

198:                                              ; preds = %190
  %199 = load i32, ptr %17, align 4, !tbaa !9
  %200 = add i32 %199, 1
  store i32 %200, ptr %17, align 4, !tbaa !9
  br label %160, !llvm.loop !17

201:                                              ; preds = %164
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #7
  br label %849

202:                                              ; preds = %91
  call void @llvm.lifetime.start.p0(i64 4, ptr %24) #7
  %203 = load i32, ptr %8, align 4, !tbaa !9
  %204 = icmp eq i32 %203, 0
  br i1 %204, label %205, label %206

205:                                              ; preds = %202
  store i32 1, ptr %24, align 4, !tbaa !9
  br label %211

206:                                              ; preds = %202
  %207 = load i32, ptr %8, align 4, !tbaa !9
  %208 = sub i32 %207, 1
  %209 = udiv i32 %208, 32
  %210 = add i32 %209, 1
  store i32 %210, ptr %24, align 4, !tbaa !9
  br label %211

211:                                              ; preds = %206, %205
  br label %212

212:                                              ; preds = %211
  %213 = load i32, ptr %11, align 4, !tbaa !9
  %214 = load i32, ptr %11, align 4, !tbaa !9
  %215 = add i32 %213, %214
  %216 = zext i32 %215 to i64
  %217 = icmp ugt i64 %216, 4611686018427387903
  br i1 %217, label %218, label %220

218:                                              ; preds = %212
  %219 = call i32 (ptr, ...) @printf(ptr noundef @.str, ptr noundef @.str.1, i32 noundef 489)
  call void @exit(i32 noundef 253) #8
  unreachable

220:                                              ; preds = %212
  br label %221

221:                                              ; preds = %220
  br label %222

222:                                              ; preds = %221
  call void @llvm.lifetime.start.p0(i64 8, ptr %25) #7
  %223 = load i32, ptr %11, align 4, !tbaa !9
  %224 = load i32, ptr %11, align 4, !tbaa !9
  %225 = add i32 %223, %224
  %226 = zext i32 %225 to i64
  %227 = mul i64 %226, 4
  %228 = alloca i8, i64 %227, align 16
  store ptr %228, ptr %25, align 8, !tbaa !5
  %229 = load ptr, ptr %25, align 8, !tbaa !5
  %230 = load i32, ptr %11, align 4, !tbaa !9
  %231 = load i32, ptr %11, align 4, !tbaa !9
  %232 = add i32 %230, %231
  %233 = zext i32 %232 to i64
  %234 = mul i64 %233, 4
  call void @llvm.memset.p0.i64(ptr align 4 %229, i8 0, i64 %234, i1 false)
  %235 = load ptr, ptr %25, align 8, !tbaa !5
  %236 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 1
  %237 = load ptr, ptr %236, align 8, !tbaa !14
  %238 = load i32, ptr %11, align 4, !tbaa !9
  %239 = zext i32 %238 to i64
  %240 = mul i64 %239, 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %235, ptr align 4 %237, i64 %240, i1 false)
  %241 = load ptr, ptr %25, align 8, !tbaa !5
  %242 = load i32, ptr %11, align 4, !tbaa !9
  %243 = zext i32 %242 to i64
  %244 = getelementptr inbounds i32, ptr %241, i64 %243
  %245 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 3
  %246 = load ptr, ptr %245, align 8, !tbaa !15
  %247 = load i32, ptr %11, align 4, !tbaa !9
  %248 = zext i32 %247 to i64
  %249 = mul i64 %248, 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %244, ptr align 4 %246, i64 %249, i1 false)
  br label %250

250:                                              ; preds = %222
  %251 = load i32, ptr %11, align 4, !tbaa !9
  %252 = mul i32 16, %251
  %253 = zext i32 %252 to i64
  %254 = icmp ugt i64 %253, 4611686018427387903
  br i1 %254, label %255, label %257

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

257:                                              ; preds = %250
  br label %258

258:                                              ; preds = %257
  br label %259

259:                                              ; preds = %258
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #7
  %260 = load i32, ptr %11, align 4, !tbaa !9
  %261 = mul i32 16, %260
  %262 = zext i32 %261 to i64
  %263 = mul i64 %262, 4
  %264 = alloca i8, i64 %263, align 16
  store ptr %264, ptr %26, align 8, !tbaa !5
  %265 = load ptr, ptr %26, align 8, !tbaa !5
  %266 = load i32, ptr %11, align 4, !tbaa !9
  %267 = mul i32 16, %266
  %268 = zext i32 %267 to i64
  %269 = mul i64 %268, 4
  call void @llvm.memset.p0.i64(ptr align 4 %265, i8 0, i64 %269, i1 false)
  br label %270

270:                                              ; preds = %259
  %271 = load i32, ptr %11, align 4, !tbaa !9
  %272 = zext i32 %271 to i64
  %273 = icmp ugt i64 %272, 4611686018427387903
  br i1 %273, label %274, label %276

274:                                              ; preds = %270
  %275 = call i32 (ptr, ...) @printf(ptr noundef @.str, ptr noundef @.str.1, i32 noundef 497)
  call void @exit(i32 noundef 253) #8
  unreachable

276:                                              ; preds = %270
  br label %277

277:                                              ; preds = %276
  br label %278

278:                                              ; preds = %277
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #7
  %279 = load i32, ptr %11, align 4, !tbaa !9
  %280 = zext i32 %279 to i64
  %281 = mul i64 %280, 4
  %282 = alloca i8, i64 %281, align 16
  store ptr %282, ptr %27, align 8, !tbaa !5
  %283 = load ptr, ptr %27, align 8, !tbaa !5
  %284 = load i32, ptr %11, align 4, !tbaa !9
  %285 = zext i32 %284 to i64
  %286 = mul i64 %285, 4
  call void @llvm.memset.p0.i64(ptr align 4 %283, i8 0, i64 %286, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %28) #7
  %287 = load ptr, ptr %26, align 8, !tbaa !5
  store ptr %287, ptr %28, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %29) #7
  %288 = load ptr, ptr %26, align 8, !tbaa !5
  %289 = load i32, ptr %11, align 4, !tbaa !9
  %290 = zext i32 %289 to i64
  %291 = getelementptr inbounds i32, ptr %288, i64 %290
  store ptr %291, ptr %29, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %30) #7
  %292 = load ptr, ptr %25, align 8, !tbaa !5
  store ptr %292, ptr %30, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #7
  %293 = load ptr, ptr %25, align 8, !tbaa !5
  %294 = load i32, ptr %11, align 4, !tbaa !9
  %295 = zext i32 %294 to i64
  %296 = getelementptr inbounds i32, ptr %293, i64 %295
  store ptr %296, ptr %31, align 8, !tbaa !5
  %297 = load i32, ptr %11, align 4, !tbaa !9
  %298 = load ptr, ptr %30, align 8, !tbaa !5
  %299 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 2
  %300 = load i32, ptr %299, align 8, !tbaa !16
  %301 = load ptr, ptr %31, align 8, !tbaa !5
  %302 = load ptr, ptr %28, align 8, !tbaa !5
  call void @Hacl_Bignum_Montgomery_bn_from_mont_u32(i32 noundef %297, ptr noundef %298, i32 noundef %300, ptr noundef %301, ptr noundef %302)
  %303 = load ptr, ptr %29, align 8, !tbaa !5
  %304 = load ptr, ptr %13, align 8, !tbaa !5
  %305 = load i32, ptr %11, align 4, !tbaa !9
  %306 = zext i32 %305 to i64
  %307 = mul i64 %306, 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %303, ptr align 4 %304, i64 %307, i1 false)
  br label %308

308:                                              ; preds = %278
  call void @llvm.lifetime.start.p0(i64 4, ptr %32) #7
  store i32 0, ptr %32, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %33) #7
  %309 = load ptr, ptr %26, align 8, !tbaa !5
  %310 = load i32, ptr %32, align 4, !tbaa !9
  %311 = add i32 %310, 1
  %312 = load i32, ptr %11, align 4, !tbaa !9
  %313 = mul i32 %311, %312
  %314 = zext i32 %313 to i64
  %315 = getelementptr inbounds i32, ptr %309, i64 %314
  store ptr %315, ptr %33, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %34) #7
  %316 = load ptr, ptr %25, align 8, !tbaa !5
  store ptr %316, ptr %34, align 8, !tbaa !5
  %317 = load i32, ptr %11, align 4, !tbaa !9
  %318 = load ptr, ptr %34, align 8, !tbaa !5
  %319 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 2
  %320 = load i32, ptr %319, align 8, !tbaa !16
  %321 = load ptr, ptr %33, align 8, !tbaa !5
  %322 = load ptr, ptr %27, align 8, !tbaa !5
  call void @Hacl_Bignum_Montgomery_bn_mont_sqr_u32(i32 noundef %317, ptr noundef %318, i32 noundef %320, ptr noundef %321, ptr noundef %322)
  %323 = load ptr, ptr %26, align 8, !tbaa !5
  %324 = load i32, ptr %32, align 4, !tbaa !9
  %325 = mul i32 2, %324
  %326 = add i32 %325, 2
  %327 = load i32, ptr %11, align 4, !tbaa !9
  %328 = mul i32 %326, %327
  %329 = zext i32 %328 to i64
  %330 = getelementptr inbounds i32, ptr %323, i64 %329
  %331 = load ptr, ptr %27, align 8, !tbaa !5
  %332 = load i32, ptr %11, align 4, !tbaa !9
  %333 = zext i32 %332 to i64
  %334 = mul i64 %333, 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %330, ptr align 4 %331, i64 %334, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %35) #7
  %335 = load ptr, ptr %26, align 8, !tbaa !5
  %336 = load i32, ptr %32, align 4, !tbaa !9
  %337 = mul i32 2, %336
  %338 = add i32 %337, 2
  %339 = load i32, ptr %11, align 4, !tbaa !9
  %340 = mul i32 %338, %339
  %341 = zext i32 %340 to i64
  %342 = getelementptr inbounds i32, ptr %335, i64 %341
  store ptr %342, ptr %35, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %36) #7
  %343 = load ptr, ptr %25, align 8, !tbaa !5
  store ptr %343, ptr %36, align 8, !tbaa !5
  %344 = load i32, ptr %11, align 4, !tbaa !9
  %345 = load ptr, ptr %36, align 8, !tbaa !5
  %346 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 2
  %347 = load i32, ptr %346, align 8, !tbaa !16
  %348 = load ptr, ptr %13, align 8, !tbaa !5
  %349 = load ptr, ptr %35, align 8, !tbaa !5
  %350 = load ptr, ptr %27, align 8, !tbaa !5
  call void @Hacl_Bignum_Montgomery_bn_mont_mul_u32(i32 noundef %344, ptr noundef %345, i32 noundef %347, ptr noundef %348, ptr noundef %349, ptr noundef %350)
  %351 = load ptr, ptr %26, align 8, !tbaa !5
  %352 = load i32, ptr %32, align 4, !tbaa !9
  %353 = mul i32 2, %352
  %354 = add i32 %353, 3
  %355 = load i32, ptr %11, align 4, !tbaa !9
  %356 = mul i32 %354, %355
  %357 = zext i32 %356 to i64
  %358 = getelementptr inbounds i32, ptr %351, i64 %357
  %359 = load ptr, ptr %27, align 8, !tbaa !5
  %360 = load i32, ptr %11, align 4, !tbaa !9
  %361 = zext i32 %360 to i64
  %362 = mul i64 %361, 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %358, ptr align 4 %359, i64 %362, i1 false)
  %363 = load i32, ptr %32, align 4, !tbaa !9
  %364 = add i32 %363, 1
  store i32 %364, ptr %32, align 4, !tbaa !9
  %365 = load i32, ptr %32, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %36) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %37) #7
  %366 = load ptr, ptr %26, align 8, !tbaa !5
  %367 = load i32, ptr %32, align 4, !tbaa !9
  %368 = add i32 %367, 1
  %369 = load i32, ptr %11, align 4, !tbaa !9
  %370 = mul i32 %368, %369
  %371 = zext i32 %370 to i64
  %372 = getelementptr inbounds i32, ptr %366, i64 %371
  store ptr %372, ptr %37, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %38) #7
  %373 = load ptr, ptr %25, align 8, !tbaa !5
  store ptr %373, ptr %38, align 8, !tbaa !5
  %374 = load i32, ptr %11, align 4, !tbaa !9
  %375 = load ptr, ptr %38, align 8, !tbaa !5
  %376 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 2
  %377 = load i32, ptr %376, align 8, !tbaa !16
  %378 = load ptr, ptr %37, align 8, !tbaa !5
  %379 = load ptr, ptr %27, align 8, !tbaa !5
  call void @Hacl_Bignum_Montgomery_bn_mont_sqr_u32(i32 noundef %374, ptr noundef %375, i32 noundef %377, ptr noundef %378, ptr noundef %379)
  %380 = load ptr, ptr %26, align 8, !tbaa !5
  %381 = load i32, ptr %32, align 4, !tbaa !9
  %382 = mul i32 2, %381
  %383 = add i32 %382, 2
  %384 = load i32, ptr %11, align 4, !tbaa !9
  %385 = mul i32 %383, %384
  %386 = zext i32 %385 to i64
  %387 = getelementptr inbounds i32, ptr %380, i64 %386
  %388 = load ptr, ptr %27, align 8, !tbaa !5
  %389 = load i32, ptr %11, align 4, !tbaa !9
  %390 = zext i32 %389 to i64
  %391 = mul i64 %390, 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %387, ptr align 4 %388, i64 %391, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %39) #7
  %392 = load ptr, ptr %26, align 8, !tbaa !5
  %393 = load i32, ptr %32, align 4, !tbaa !9
  %394 = mul i32 2, %393
  %395 = add i32 %394, 2
  %396 = load i32, ptr %11, align 4, !tbaa !9
  %397 = mul i32 %395, %396
  %398 = zext i32 %397 to i64
  %399 = getelementptr inbounds i32, ptr %392, i64 %398
  store ptr %399, ptr %39, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %40) #7
  %400 = load ptr, ptr %25, align 8, !tbaa !5
  store ptr %400, ptr %40, align 8, !tbaa !5
  %401 = load i32, ptr %11, align 4, !tbaa !9
  %402 = load ptr, ptr %40, align 8, !tbaa !5
  %403 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 2
  %404 = load i32, ptr %403, align 8, !tbaa !16
  %405 = load ptr, ptr %13, align 8, !tbaa !5
  %406 = load ptr, ptr %39, align 8, !tbaa !5
  %407 = load ptr, ptr %27, align 8, !tbaa !5
  call void @Hacl_Bignum_Montgomery_bn_mont_mul_u32(i32 noundef %401, ptr noundef %402, i32 noundef %404, ptr noundef %405, ptr noundef %406, ptr noundef %407)
  %408 = load ptr, ptr %26, align 8, !tbaa !5
  %409 = load i32, ptr %32, align 4, !tbaa !9
  %410 = mul i32 2, %409
  %411 = add i32 %410, 3
  %412 = load i32, ptr %11, align 4, !tbaa !9
  %413 = mul i32 %411, %412
  %414 = zext i32 %413 to i64
  %415 = getelementptr inbounds i32, ptr %408, i64 %414
  %416 = load ptr, ptr %27, align 8, !tbaa !5
  %417 = load i32, ptr %11, align 4, !tbaa !9
  %418 = zext i32 %417 to i64
  %419 = mul i64 %418, 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %415, ptr align 4 %416, i64 %419, i1 false)
  %420 = load i32, ptr %32, align 4, !tbaa !9
  %421 = add i32 %420, 1
  store i32 %421, ptr %32, align 4, !tbaa !9
  %422 = load i32, ptr %32, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %40) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %39) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %38) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %37) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %41) #7
  %423 = load ptr, ptr %26, align 8, !tbaa !5
  %424 = load i32, ptr %32, align 4, !tbaa !9
  %425 = add i32 %424, 1
  %426 = load i32, ptr %11, align 4, !tbaa !9
  %427 = mul i32 %425, %426
  %428 = zext i32 %427 to i64
  %429 = getelementptr inbounds i32, ptr %423, i64 %428
  store ptr %429, ptr %41, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %42) #7
  %430 = load ptr, ptr %25, align 8, !tbaa !5
  store ptr %430, ptr %42, align 8, !tbaa !5
  %431 = load i32, ptr %11, align 4, !tbaa !9
  %432 = load ptr, ptr %42, align 8, !tbaa !5
  %433 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 2
  %434 = load i32, ptr %433, align 8, !tbaa !16
  %435 = load ptr, ptr %41, align 8, !tbaa !5
  %436 = load ptr, ptr %27, align 8, !tbaa !5
  call void @Hacl_Bignum_Montgomery_bn_mont_sqr_u32(i32 noundef %431, ptr noundef %432, i32 noundef %434, ptr noundef %435, ptr noundef %436)
  %437 = load ptr, ptr %26, align 8, !tbaa !5
  %438 = load i32, ptr %32, align 4, !tbaa !9
  %439 = mul i32 2, %438
  %440 = add i32 %439, 2
  %441 = load i32, ptr %11, align 4, !tbaa !9
  %442 = mul i32 %440, %441
  %443 = zext i32 %442 to i64
  %444 = getelementptr inbounds i32, ptr %437, i64 %443
  %445 = load ptr, ptr %27, align 8, !tbaa !5
  %446 = load i32, ptr %11, align 4, !tbaa !9
  %447 = zext i32 %446 to i64
  %448 = mul i64 %447, 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %444, ptr align 4 %445, i64 %448, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %43) #7
  %449 = load ptr, ptr %26, align 8, !tbaa !5
  %450 = load i32, ptr %32, align 4, !tbaa !9
  %451 = mul i32 2, %450
  %452 = add i32 %451, 2
  %453 = load i32, ptr %11, align 4, !tbaa !9
  %454 = mul i32 %452, %453
  %455 = zext i32 %454 to i64
  %456 = getelementptr inbounds i32, ptr %449, i64 %455
  store ptr %456, ptr %43, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %44) #7
  %457 = load ptr, ptr %25, align 8, !tbaa !5
  store ptr %457, ptr %44, align 8, !tbaa !5
  %458 = load i32, ptr %11, align 4, !tbaa !9
  %459 = load ptr, ptr %44, align 8, !tbaa !5
  %460 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 2
  %461 = load i32, ptr %460, align 8, !tbaa !16
  %462 = load ptr, ptr %13, align 8, !tbaa !5
  %463 = load ptr, ptr %43, align 8, !tbaa !5
  %464 = load ptr, ptr %27, align 8, !tbaa !5
  call void @Hacl_Bignum_Montgomery_bn_mont_mul_u32(i32 noundef %458, ptr noundef %459, i32 noundef %461, ptr noundef %462, ptr noundef %463, ptr noundef %464)
  %465 = load ptr, ptr %26, align 8, !tbaa !5
  %466 = load i32, ptr %32, align 4, !tbaa !9
  %467 = mul i32 2, %466
  %468 = add i32 %467, 3
  %469 = load i32, ptr %11, align 4, !tbaa !9
  %470 = mul i32 %468, %469
  %471 = zext i32 %470 to i64
  %472 = getelementptr inbounds i32, ptr %465, i64 %471
  %473 = load ptr, ptr %27, align 8, !tbaa !5
  %474 = load i32, ptr %11, align 4, !tbaa !9
  %475 = zext i32 %474 to i64
  %476 = mul i64 %475, 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %472, ptr align 4 %473, i64 %476, i1 false)
  %477 = load i32, ptr %32, align 4, !tbaa !9
  %478 = add i32 %477, 1
  store i32 %478, ptr %32, align 4, !tbaa !9
  %479 = load i32, ptr %32, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %44) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %43) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %42) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %41) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %45) #7
  %480 = load ptr, ptr %26, align 8, !tbaa !5
  %481 = load i32, ptr %32, align 4, !tbaa !9
  %482 = add i32 %481, 1
  %483 = load i32, ptr %11, align 4, !tbaa !9
  %484 = mul i32 %482, %483
  %485 = zext i32 %484 to i64
  %486 = getelementptr inbounds i32, ptr %480, i64 %485
  store ptr %486, ptr %45, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %46) #7
  %487 = load ptr, ptr %25, align 8, !tbaa !5
  store ptr %487, ptr %46, align 8, !tbaa !5
  %488 = load i32, ptr %11, align 4, !tbaa !9
  %489 = load ptr, ptr %46, align 8, !tbaa !5
  %490 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 2
  %491 = load i32, ptr %490, align 8, !tbaa !16
  %492 = load ptr, ptr %45, align 8, !tbaa !5
  %493 = load ptr, ptr %27, align 8, !tbaa !5
  call void @Hacl_Bignum_Montgomery_bn_mont_sqr_u32(i32 noundef %488, ptr noundef %489, i32 noundef %491, ptr noundef %492, ptr noundef %493)
  %494 = load ptr, ptr %26, align 8, !tbaa !5
  %495 = load i32, ptr %32, align 4, !tbaa !9
  %496 = mul i32 2, %495
  %497 = add i32 %496, 2
  %498 = load i32, ptr %11, align 4, !tbaa !9
  %499 = mul i32 %497, %498
  %500 = zext i32 %499 to i64
  %501 = getelementptr inbounds i32, ptr %494, i64 %500
  %502 = load ptr, ptr %27, align 8, !tbaa !5
  %503 = load i32, ptr %11, align 4, !tbaa !9
  %504 = zext i32 %503 to i64
  %505 = mul i64 %504, 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %501, ptr align 4 %502, i64 %505, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %47) #7
  %506 = load ptr, ptr %26, align 8, !tbaa !5
  %507 = load i32, ptr %32, align 4, !tbaa !9
  %508 = mul i32 2, %507
  %509 = add i32 %508, 2
  %510 = load i32, ptr %11, align 4, !tbaa !9
  %511 = mul i32 %509, %510
  %512 = zext i32 %511 to i64
  %513 = getelementptr inbounds i32, ptr %506, i64 %512
  store ptr %513, ptr %47, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %48) #7
  %514 = load ptr, ptr %25, align 8, !tbaa !5
  store ptr %514, ptr %48, align 8, !tbaa !5
  %515 = load i32, ptr %11, align 4, !tbaa !9
  %516 = load ptr, ptr %48, align 8, !tbaa !5
  %517 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 2
  %518 = load i32, ptr %517, align 8, !tbaa !16
  %519 = load ptr, ptr %13, align 8, !tbaa !5
  %520 = load ptr, ptr %47, align 8, !tbaa !5
  %521 = load ptr, ptr %27, align 8, !tbaa !5
  call void @Hacl_Bignum_Montgomery_bn_mont_mul_u32(i32 noundef %515, ptr noundef %516, i32 noundef %518, ptr noundef %519, ptr noundef %520, ptr noundef %521)
  %522 = load ptr, ptr %26, align 8, !tbaa !5
  %523 = load i32, ptr %32, align 4, !tbaa !9
  %524 = mul i32 2, %523
  %525 = add i32 %524, 3
  %526 = load i32, ptr %11, align 4, !tbaa !9
  %527 = mul i32 %525, %526
  %528 = zext i32 %527 to i64
  %529 = getelementptr inbounds i32, ptr %522, i64 %528
  %530 = load ptr, ptr %27, align 8, !tbaa !5
  %531 = load i32, ptr %11, align 4, !tbaa !9
  %532 = zext i32 %531 to i64
  %533 = mul i64 %532, 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %529, ptr align 4 %530, i64 %533, i1 false)
  %534 = load i32, ptr %32, align 4, !tbaa !9
  %535 = add i32 %534, 1
  store i32 %535, ptr %32, align 4, !tbaa !9
  %536 = load i32, ptr %32, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %48) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %47) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %46) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %45) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %49) #7
  %537 = load ptr, ptr %26, align 8, !tbaa !5
  %538 = load i32, ptr %32, align 4, !tbaa !9
  %539 = add i32 %538, 1
  %540 = load i32, ptr %11, align 4, !tbaa !9
  %541 = mul i32 %539, %540
  %542 = zext i32 %541 to i64
  %543 = getelementptr inbounds i32, ptr %537, i64 %542
  store ptr %543, ptr %49, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %50) #7
  %544 = load ptr, ptr %25, align 8, !tbaa !5
  store ptr %544, ptr %50, align 8, !tbaa !5
  %545 = load i32, ptr %11, align 4, !tbaa !9
  %546 = load ptr, ptr %50, align 8, !tbaa !5
  %547 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 2
  %548 = load i32, ptr %547, align 8, !tbaa !16
  %549 = load ptr, ptr %49, align 8, !tbaa !5
  %550 = load ptr, ptr %27, align 8, !tbaa !5
  call void @Hacl_Bignum_Montgomery_bn_mont_sqr_u32(i32 noundef %545, ptr noundef %546, i32 noundef %548, ptr noundef %549, ptr noundef %550)
  %551 = load ptr, ptr %26, align 8, !tbaa !5
  %552 = load i32, ptr %32, align 4, !tbaa !9
  %553 = mul i32 2, %552
  %554 = add i32 %553, 2
  %555 = load i32, ptr %11, align 4, !tbaa !9
  %556 = mul i32 %554, %555
  %557 = zext i32 %556 to i64
  %558 = getelementptr inbounds i32, ptr %551, i64 %557
  %559 = load ptr, ptr %27, align 8, !tbaa !5
  %560 = load i32, ptr %11, align 4, !tbaa !9
  %561 = zext i32 %560 to i64
  %562 = mul i64 %561, 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %558, ptr align 4 %559, i64 %562, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %51) #7
  %563 = load ptr, ptr %26, align 8, !tbaa !5
  %564 = load i32, ptr %32, align 4, !tbaa !9
  %565 = mul i32 2, %564
  %566 = add i32 %565, 2
  %567 = load i32, ptr %11, align 4, !tbaa !9
  %568 = mul i32 %566, %567
  %569 = zext i32 %568 to i64
  %570 = getelementptr inbounds i32, ptr %563, i64 %569
  store ptr %570, ptr %51, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %52) #7
  %571 = load ptr, ptr %25, align 8, !tbaa !5
  store ptr %571, ptr %52, align 8, !tbaa !5
  %572 = load i32, ptr %11, align 4, !tbaa !9
  %573 = load ptr, ptr %52, align 8, !tbaa !5
  %574 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 2
  %575 = load i32, ptr %574, align 8, !tbaa !16
  %576 = load ptr, ptr %13, align 8, !tbaa !5
  %577 = load ptr, ptr %51, align 8, !tbaa !5
  %578 = load ptr, ptr %27, align 8, !tbaa !5
  call void @Hacl_Bignum_Montgomery_bn_mont_mul_u32(i32 noundef %572, ptr noundef %573, i32 noundef %575, ptr noundef %576, ptr noundef %577, ptr noundef %578)
  %579 = load ptr, ptr %26, align 8, !tbaa !5
  %580 = load i32, ptr %32, align 4, !tbaa !9
  %581 = mul i32 2, %580
  %582 = add i32 %581, 3
  %583 = load i32, ptr %11, align 4, !tbaa !9
  %584 = mul i32 %582, %583
  %585 = zext i32 %584 to i64
  %586 = getelementptr inbounds i32, ptr %579, i64 %585
  %587 = load ptr, ptr %27, align 8, !tbaa !5
  %588 = load i32, ptr %11, align 4, !tbaa !9
  %589 = zext i32 %588 to i64
  %590 = mul i64 %589, 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %586, ptr align 4 %587, i64 %590, i1 false)
  %591 = load i32, ptr %32, align 4, !tbaa !9
  %592 = add i32 %591, 1
  store i32 %592, ptr %32, align 4, !tbaa !9
  %593 = load i32, ptr %32, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %52) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %51) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %50) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %49) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %53) #7
  %594 = load ptr, ptr %26, align 8, !tbaa !5
  %595 = load i32, ptr %32, align 4, !tbaa !9
  %596 = add i32 %595, 1
  %597 = load i32, ptr %11, align 4, !tbaa !9
  %598 = mul i32 %596, %597
  %599 = zext i32 %598 to i64
  %600 = getelementptr inbounds i32, ptr %594, i64 %599
  store ptr %600, ptr %53, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %54) #7
  %601 = load ptr, ptr %25, align 8, !tbaa !5
  store ptr %601, ptr %54, align 8, !tbaa !5
  %602 = load i32, ptr %11, align 4, !tbaa !9
  %603 = load ptr, ptr %54, align 8, !tbaa !5
  %604 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 2
  %605 = load i32, ptr %604, align 8, !tbaa !16
  %606 = load ptr, ptr %53, align 8, !tbaa !5
  %607 = load ptr, ptr %27, align 8, !tbaa !5
  call void @Hacl_Bignum_Montgomery_bn_mont_sqr_u32(i32 noundef %602, ptr noundef %603, i32 noundef %605, ptr noundef %606, ptr noundef %607)
  %608 = load ptr, ptr %26, align 8, !tbaa !5
  %609 = load i32, ptr %32, align 4, !tbaa !9
  %610 = mul i32 2, %609
  %611 = add i32 %610, 2
  %612 = load i32, ptr %11, align 4, !tbaa !9
  %613 = mul i32 %611, %612
  %614 = zext i32 %613 to i64
  %615 = getelementptr inbounds i32, ptr %608, i64 %614
  %616 = load ptr, ptr %27, align 8, !tbaa !5
  %617 = load i32, ptr %11, align 4, !tbaa !9
  %618 = zext i32 %617 to i64
  %619 = mul i64 %618, 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %615, ptr align 4 %616, i64 %619, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %55) #7
  %620 = load ptr, ptr %26, align 8, !tbaa !5
  %621 = load i32, ptr %32, align 4, !tbaa !9
  %622 = mul i32 2, %621
  %623 = add i32 %622, 2
  %624 = load i32, ptr %11, align 4, !tbaa !9
  %625 = mul i32 %623, %624
  %626 = zext i32 %625 to i64
  %627 = getelementptr inbounds i32, ptr %620, i64 %626
  store ptr %627, ptr %55, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %56) #7
  %628 = load ptr, ptr %25, align 8, !tbaa !5
  store ptr %628, ptr %56, align 8, !tbaa !5
  %629 = load i32, ptr %11, align 4, !tbaa !9
  %630 = load ptr, ptr %56, align 8, !tbaa !5
  %631 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 2
  %632 = load i32, ptr %631, align 8, !tbaa !16
  %633 = load ptr, ptr %13, align 8, !tbaa !5
  %634 = load ptr, ptr %55, align 8, !tbaa !5
  %635 = load ptr, ptr %27, align 8, !tbaa !5
  call void @Hacl_Bignum_Montgomery_bn_mont_mul_u32(i32 noundef %629, ptr noundef %630, i32 noundef %632, ptr noundef %633, ptr noundef %634, ptr noundef %635)
  %636 = load ptr, ptr %26, align 8, !tbaa !5
  %637 = load i32, ptr %32, align 4, !tbaa !9
  %638 = mul i32 2, %637
  %639 = add i32 %638, 3
  %640 = load i32, ptr %11, align 4, !tbaa !9
  %641 = mul i32 %639, %640
  %642 = zext i32 %641 to i64
  %643 = getelementptr inbounds i32, ptr %636, i64 %642
  %644 = load ptr, ptr %27, align 8, !tbaa !5
  %645 = load i32, ptr %11, align 4, !tbaa !9
  %646 = zext i32 %645 to i64
  %647 = mul i64 %646, 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %643, ptr align 4 %644, i64 %647, i1 false)
  %648 = load i32, ptr %32, align 4, !tbaa !9
  %649 = add i32 %648, 1
  store i32 %649, ptr %32, align 4, !tbaa !9
  %650 = load i32, ptr %32, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %56) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %55) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %54) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %53) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %57) #7
  %651 = load ptr, ptr %26, align 8, !tbaa !5
  %652 = load i32, ptr %32, align 4, !tbaa !9
  %653 = add i32 %652, 1
  %654 = load i32, ptr %11, align 4, !tbaa !9
  %655 = mul i32 %653, %654
  %656 = zext i32 %655 to i64
  %657 = getelementptr inbounds i32, ptr %651, i64 %656
  store ptr %657, ptr %57, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %58) #7
  %658 = load ptr, ptr %25, align 8, !tbaa !5
  store ptr %658, ptr %58, align 8, !tbaa !5
  %659 = load i32, ptr %11, align 4, !tbaa !9
  %660 = load ptr, ptr %58, align 8, !tbaa !5
  %661 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 2
  %662 = load i32, ptr %661, align 8, !tbaa !16
  %663 = load ptr, ptr %57, align 8, !tbaa !5
  %664 = load ptr, ptr %27, align 8, !tbaa !5
  call void @Hacl_Bignum_Montgomery_bn_mont_sqr_u32(i32 noundef %659, ptr noundef %660, i32 noundef %662, ptr noundef %663, ptr noundef %664)
  %665 = load ptr, ptr %26, align 8, !tbaa !5
  %666 = load i32, ptr %32, align 4, !tbaa !9
  %667 = mul i32 2, %666
  %668 = add i32 %667, 2
  %669 = load i32, ptr %11, align 4, !tbaa !9
  %670 = mul i32 %668, %669
  %671 = zext i32 %670 to i64
  %672 = getelementptr inbounds i32, ptr %665, i64 %671
  %673 = load ptr, ptr %27, align 8, !tbaa !5
  %674 = load i32, ptr %11, align 4, !tbaa !9
  %675 = zext i32 %674 to i64
  %676 = mul i64 %675, 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %672, ptr align 4 %673, i64 %676, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %59) #7
  %677 = load ptr, ptr %26, align 8, !tbaa !5
  %678 = load i32, ptr %32, align 4, !tbaa !9
  %679 = mul i32 2, %678
  %680 = add i32 %679, 2
  %681 = load i32, ptr %11, align 4, !tbaa !9
  %682 = mul i32 %680, %681
  %683 = zext i32 %682 to i64
  %684 = getelementptr inbounds i32, ptr %677, i64 %683
  store ptr %684, ptr %59, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %60) #7
  %685 = load ptr, ptr %25, align 8, !tbaa !5
  store ptr %685, ptr %60, align 8, !tbaa !5
  %686 = load i32, ptr %11, align 4, !tbaa !9
  %687 = load ptr, ptr %60, align 8, !tbaa !5
  %688 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 2
  %689 = load i32, ptr %688, align 8, !tbaa !16
  %690 = load ptr, ptr %13, align 8, !tbaa !5
  %691 = load ptr, ptr %59, align 8, !tbaa !5
  %692 = load ptr, ptr %27, align 8, !tbaa !5
  call void @Hacl_Bignum_Montgomery_bn_mont_mul_u32(i32 noundef %686, ptr noundef %687, i32 noundef %689, ptr noundef %690, ptr noundef %691, ptr noundef %692)
  %693 = load ptr, ptr %26, align 8, !tbaa !5
  %694 = load i32, ptr %32, align 4, !tbaa !9
  %695 = mul i32 2, %694
  %696 = add i32 %695, 3
  %697 = load i32, ptr %11, align 4, !tbaa !9
  %698 = mul i32 %696, %697
  %699 = zext i32 %698 to i64
  %700 = getelementptr inbounds i32, ptr %693, i64 %699
  %701 = load ptr, ptr %27, align 8, !tbaa !5
  %702 = load i32, ptr %11, align 4, !tbaa !9
  %703 = zext i32 %702 to i64
  %704 = mul i64 %703, 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %700, ptr align 4 %701, i64 %704, i1 false)
  %705 = load i32, ptr %32, align 4, !tbaa !9
  %706 = add i32 %705, 1
  store i32 %706, ptr %32, align 4, !tbaa !9
  %707 = load i32, ptr %32, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %60) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %59) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %58) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %57) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %32) #7
  br label %708

708:                                              ; preds = %308
  br label %709

709:                                              ; preds = %708
  %710 = load i32, ptr %8, align 4, !tbaa !9
  %711 = urem i32 %710, 4
  %712 = icmp ne i32 %711, 0
  br i1 %712, label %713, label %733

713:                                              ; preds = %709
  call void @llvm.lifetime.start.p0(i64 4, ptr %61) #7
  %714 = load i32, ptr %8, align 4, !tbaa !9
  %715 = udiv i32 %714, 4
  %716 = mul i32 %715, 4
  store i32 %716, ptr %61, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %62) #7
  %717 = load i32, ptr %24, align 4, !tbaa !9
  %718 = load ptr, ptr %9, align 8, !tbaa !5
  %719 = load i32, ptr %61, align 4, !tbaa !9
  %720 = call i32 @Hacl_Bignum_Lib_bn_get_bits_u32(i32 noundef %717, ptr noundef %718, i32 noundef %719, i32 noundef 4)
  store i32 %720, ptr %62, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %63) #7
  %721 = load i32, ptr %62, align 4, !tbaa !9
  store i32 %721, ptr %63, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %64) #7
  %722 = load ptr, ptr %26, align 8, !tbaa !5
  %723 = load i32, ptr %63, align 4, !tbaa !9
  %724 = load i32, ptr %11, align 4, !tbaa !9
  %725 = mul i32 %723, %724
  %726 = zext i32 %725 to i64
  %727 = getelementptr inbounds i32, ptr %722, i64 %726
  store ptr %727, ptr %64, align 8, !tbaa !5
  %728 = load ptr, ptr %10, align 8, !tbaa !5
  %729 = load ptr, ptr %64, align 8, !tbaa !5
  %730 = load i32, ptr %11, align 4, !tbaa !9
  %731 = zext i32 %730 to i64
  %732 = mul i64 %731, 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %728, ptr align 4 %729, i64 %732, i1 false)
  call void @llvm.lifetime.end.p0(i64 8, ptr %64) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %63) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %62) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %61) #7
  br label %745

733:                                              ; preds = %709
  call void @llvm.lifetime.start.p0(i64 8, ptr %65) #7
  %734 = load ptr, ptr %25, align 8, !tbaa !5
  store ptr %734, ptr %65, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %66) #7
  %735 = load ptr, ptr %25, align 8, !tbaa !5
  %736 = load i32, ptr %11, align 4, !tbaa !9
  %737 = zext i32 %736 to i64
  %738 = getelementptr inbounds i32, ptr %735, i64 %737
  store ptr %738, ptr %66, align 8, !tbaa !5
  %739 = load i32, ptr %11, align 4, !tbaa !9
  %740 = load ptr, ptr %65, align 8, !tbaa !5
  %741 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 2
  %742 = load i32, ptr %741, align 8, !tbaa !16
  %743 = load ptr, ptr %66, align 8, !tbaa !5
  %744 = load ptr, ptr %10, align 8, !tbaa !5
  call void @Hacl_Bignum_Montgomery_bn_from_mont_u32(i32 noundef %739, ptr noundef %740, i32 noundef %742, ptr noundef %743, ptr noundef %744)
  call void @llvm.lifetime.end.p0(i64 8, ptr %66) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %65) #7
  br label %745

745:                                              ; preds = %733, %713
  br label %746

746:                                              ; preds = %745
  %747 = load i32, ptr %11, align 4, !tbaa !9
  %748 = zext i32 %747 to i64
  %749 = icmp ugt i64 %748, 4611686018427387903
  br i1 %749, label %750, label %752

750:                                              ; preds = %746
  %751 = call i32 (ptr, ...) @printf(ptr noundef @.str, ptr noundef @.str.1, i32 noundef 532)
  call void @exit(i32 noundef 253) #8
  unreachable

752:                                              ; preds = %746
  br label %753

753:                                              ; preds = %752
  br label %754

754:                                              ; preds = %753
  call void @llvm.lifetime.start.p0(i64 8, ptr %67) #7
  %755 = load i32, ptr %11, align 4, !tbaa !9
  %756 = zext i32 %755 to i64
  %757 = mul i64 %756, 4
  %758 = alloca i8, i64 %757, align 16
  store ptr %758, ptr %67, align 8, !tbaa !5
  %759 = load ptr, ptr %67, align 8, !tbaa !5
  %760 = load i32, ptr %11, align 4, !tbaa !9
  %761 = zext i32 %760 to i64
  %762 = mul i64 %761, 4
  call void @llvm.memset.p0.i64(ptr align 4 %759, i8 0, i64 %762, i1 false)
  call void @llvm.lifetime.start.p0(i64 4, ptr %68) #7
  store i32 0, ptr %68, align 4, !tbaa !9
  br label %763

763:                                              ; preds = %845, %754
  %764 = load i32, ptr %68, align 4, !tbaa !9
  %765 = load i32, ptr %8, align 4, !tbaa !9
  %766 = udiv i32 %765, 4
  %767 = icmp ult i32 %764, %766
  br i1 %767, label %769, label %768

768:                                              ; preds = %763
  call void @llvm.lifetime.end.p0(i64 4, ptr %68) #7
  br label %848

769:                                              ; preds = %763
  br label %770

770:                                              ; preds = %769
  call void @llvm.lifetime.start.p0(i64 4, ptr %69) #7
  store i32 0, ptr %69, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %70) #7
  %771 = load ptr, ptr %25, align 8, !tbaa !5
  store ptr %771, ptr %70, align 8, !tbaa !5
  %772 = load i32, ptr %11, align 4, !tbaa !9
  %773 = load ptr, ptr %70, align 8, !tbaa !5
  %774 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 2
  %775 = load i32, ptr %774, align 8, !tbaa !16
  %776 = load ptr, ptr %10, align 8, !tbaa !5
  %777 = load ptr, ptr %10, align 8, !tbaa !5
  call void @Hacl_Bignum_Montgomery_bn_mont_sqr_u32(i32 noundef %772, ptr noundef %773, i32 noundef %775, ptr noundef %776, ptr noundef %777)
  %778 = load i32, ptr %69, align 4, !tbaa !9
  %779 = add i32 %778, 1
  store i32 %779, ptr %69, align 4, !tbaa !9
  %780 = load i32, ptr %69, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %70) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %71) #7
  %781 = load ptr, ptr %25, align 8, !tbaa !5
  store ptr %781, ptr %71, align 8, !tbaa !5
  %782 = load i32, ptr %11, align 4, !tbaa !9
  %783 = load ptr, ptr %71, align 8, !tbaa !5
  %784 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 2
  %785 = load i32, ptr %784, align 8, !tbaa !16
  %786 = load ptr, ptr %10, align 8, !tbaa !5
  %787 = load ptr, ptr %10, align 8, !tbaa !5
  call void @Hacl_Bignum_Montgomery_bn_mont_sqr_u32(i32 noundef %782, ptr noundef %783, i32 noundef %785, ptr noundef %786, ptr noundef %787)
  %788 = load i32, ptr %69, align 4, !tbaa !9
  %789 = add i32 %788, 1
  store i32 %789, ptr %69, align 4, !tbaa !9
  %790 = load i32, ptr %69, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %71) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %72) #7
  %791 = load ptr, ptr %25, align 8, !tbaa !5
  store ptr %791, ptr %72, align 8, !tbaa !5
  %792 = load i32, ptr %11, align 4, !tbaa !9
  %793 = load ptr, ptr %72, align 8, !tbaa !5
  %794 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 2
  %795 = load i32, ptr %794, align 8, !tbaa !16
  %796 = load ptr, ptr %10, align 8, !tbaa !5
  %797 = load ptr, ptr %10, align 8, !tbaa !5
  call void @Hacl_Bignum_Montgomery_bn_mont_sqr_u32(i32 noundef %792, ptr noundef %793, i32 noundef %795, ptr noundef %796, ptr noundef %797)
  %798 = load i32, ptr %69, align 4, !tbaa !9
  %799 = add i32 %798, 1
  store i32 %799, ptr %69, align 4, !tbaa !9
  %800 = load i32, ptr %69, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %72) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %73) #7
  %801 = load ptr, ptr %25, align 8, !tbaa !5
  store ptr %801, ptr %73, align 8, !tbaa !5
  %802 = load i32, ptr %11, align 4, !tbaa !9
  %803 = load ptr, ptr %73, align 8, !tbaa !5
  %804 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 2
  %805 = load i32, ptr %804, align 8, !tbaa !16
  %806 = load ptr, ptr %10, align 8, !tbaa !5
  %807 = load ptr, ptr %10, align 8, !tbaa !5
  call void @Hacl_Bignum_Montgomery_bn_mont_sqr_u32(i32 noundef %802, ptr noundef %803, i32 noundef %805, ptr noundef %806, ptr noundef %807)
  %808 = load i32, ptr %69, align 4, !tbaa !9
  %809 = add i32 %808, 1
  store i32 %809, ptr %69, align 4, !tbaa !9
  %810 = load i32, ptr %69, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %73) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %69) #7
  br label %811

811:                                              ; preds = %770
  br label %812

812:                                              ; preds = %811
  call void @llvm.lifetime.start.p0(i64 4, ptr %74) #7
  %813 = load i32, ptr %8, align 4, !tbaa !9
  %814 = load i32, ptr %8, align 4, !tbaa !9
  %815 = urem i32 %814, 4
  %816 = sub i32 %813, %815
  %817 = load i32, ptr %68, align 4, !tbaa !9
  %818 = mul i32 4, %817
  %819 = sub i32 %816, %818
  %820 = sub i32 %819, 4
  store i32 %820, ptr %74, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %75) #7
  %821 = load i32, ptr %24, align 4, !tbaa !9
  %822 = load ptr, ptr %9, align 8, !tbaa !5
  %823 = load i32, ptr %74, align 4, !tbaa !9
  %824 = call i32 @Hacl_Bignum_Lib_bn_get_bits_u32(i32 noundef %821, ptr noundef %822, i32 noundef %823, i32 noundef 4)
  store i32 %824, ptr %75, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %76) #7
  %825 = load i32, ptr %75, align 4, !tbaa !9
  store i32 %825, ptr %76, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %77) #7
  %826 = load ptr, ptr %26, align 8, !tbaa !5
  %827 = load i32, ptr %76, align 4, !tbaa !9
  %828 = load i32, ptr %11, align 4, !tbaa !9
  %829 = mul i32 %827, %828
  %830 = zext i32 %829 to i64
  %831 = getelementptr inbounds i32, ptr %826, i64 %830
  store ptr %831, ptr %77, align 8, !tbaa !5
  %832 = load ptr, ptr %67, align 8, !tbaa !5
  %833 = load ptr, ptr %77, align 8, !tbaa !5
  %834 = load i32, ptr %11, align 4, !tbaa !9
  %835 = zext i32 %834 to i64
  %836 = mul i64 %835, 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %832, ptr align 4 %833, i64 %836, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %78) #7
  %837 = load ptr, ptr %25, align 8, !tbaa !5
  store ptr %837, ptr %78, align 8, !tbaa !5
  %838 = load i32, ptr %11, align 4, !tbaa !9
  %839 = load ptr, ptr %78, align 8, !tbaa !5
  %840 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 2
  %841 = load i32, ptr %840, align 8, !tbaa !16
  %842 = load ptr, ptr %10, align 8, !tbaa !5
  %843 = load ptr, ptr %67, align 8, !tbaa !5
  %844 = load ptr, ptr %10, align 8, !tbaa !5
  call void @Hacl_Bignum_Montgomery_bn_mont_mul_u32(i32 noundef %838, ptr noundef %839, i32 noundef %841, ptr noundef %842, ptr noundef %843, ptr noundef %844)
  call void @llvm.lifetime.end.p0(i64 8, ptr %78) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %77) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %76) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %75) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %74) #7
  br label %845

845:                                              ; preds = %812
  %846 = load i32, ptr %68, align 4, !tbaa !9
  %847 = add i32 %846, 1
  store i32 %847, ptr %68, align 4, !tbaa !9
  br label %763, !llvm.loop !19

848:                                              ; preds = %768
  call void @llvm.lifetime.end.p0(i64 8, ptr %67) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %24) #7
  br label %849

849:                                              ; preds = %848, %201
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %12) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #7
  ret void
}

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 nounwind willreturn memory(argmem: readwrite) }
attributes #4 = { 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 #5 = { nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #6 = { 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 #7 = { nounwind }
attributes #8 = { 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)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = !{i64 0, i64 4, !9, i64 8, i64 8, !5, i64 16, i64 4, !9, i64 24, i64 8, !5}
!12 = !{!13, !10, i64 0}
!13 = !{!"Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s", !10, i64 0, !6, i64 8, !10, i64 16, !6, i64 24}
!14 = !{!13, !6, i64 8}
!15 = !{!13, !6, i64 24}
!16 = !{!13, !10, i64 16}
!17 = distinct !{!17, !18}
!18 = !{!"llvm.loop.mustprogress"}
!19 = distinct !{!19, !18}


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

; 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) #0

; Function Attrs: nounwind uwtable
declare dso_local i32 @Hacl_GenericField32_field_get_len(ptr noundef) local_unnamed_addr #1

declare void @Hacl_Bignum_Montgomery_bn_from_mont_u32(i32 noundef, ptr noundef, i32 noundef, ptr noundef, ptr noundef) local_unnamed_addr #2

declare void @Hacl_Bignum_Montgomery_bn_mont_mul_u32(i32 noundef, ptr noundef, i32 noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #2

declare void @Hacl_Bignum_Montgomery_bn_mont_sqr_u32(i32 noundef, ptr noundef, i32 noundef, ptr noundef, ptr noundef) local_unnamed_addr #2

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

; Function Attrs: inlinehint nounwind uwtable
declare hidden i32 @Hacl_Bignum_Lib_bn_get_bits_u32(i32 noundef, ptr noundef, i32 noundef, i32 noundef) local_unnamed_addr #4

; Function Attrs: nounwind uwtable
define dso_local void @Hacl_GenericField32_exp_vartime(ptr noundef %0, ptr nocapture noundef readonly %1, i32 noundef %2, ptr noundef %3, ptr noundef %4) local_unnamed_addr #1 {
  %6 = tail call i32 @Hacl_GenericField32_field_get_len(ptr noundef %0)
  %.sroa.7227.0..sroa_idx = getelementptr inbounds i8, ptr %0, i64 8
  %.sroa.7227.0.copyload = load ptr, ptr %.sroa.7227.0..sroa_idx, align 8, !tbaa !5
  %.sroa.9.0..sroa_idx = getelementptr inbounds i8, ptr %0, i64 16
  %.sroa.9.0.copyload = load i32, ptr %.sroa.9.0..sroa_idx, align 8, !tbaa !9
  %.sroa.33252.0..sroa_idx = getelementptr inbounds i8, ptr %0, i64 24
  %.sroa.33252.0.copyload = load ptr, ptr %.sroa.33252.0..sroa_idx, align 8, !tbaa !5
  %.sroa.0.0.copyload = load i32, ptr %0, align 8, !tbaa !9
  %7 = zext i32 %.sroa.0.0.copyload to i64
  %8 = shl nuw nsw i64 %7, 2
  %9 = alloca i8, i64 %8, align 16
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 16 %9, ptr align 4 %1, i64 %8, i1 false)
  %10 = icmp ult i32 %2, 200
  br i1 %10, label %11, label %30

11:                                               ; preds = %5
  %12 = shl i32 %6, 1
  %13 = zext i32 %12 to i64
  %14 = shl nuw nsw i64 %13, 2
  %15 = alloca i8, i64 %14, align 16
  call void @llvm.memset.p0.i64(ptr nonnull align 16 %15, i8 0, i64 %14, i1 false)
  %16 = zext i32 %6 to i64
  %17 = shl nuw nsw i64 %16, 2
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 16 %15, ptr align 4 %.sroa.7227.0.copyload, i64 %17, i1 false)
  %18 = getelementptr inbounds i32, ptr %15, i64 %16
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 4 %18, ptr align 4 %.sroa.33252.0.copyload, i64 %17, i1 false)
  call void @Hacl_Bignum_Montgomery_bn_from_mont_u32(i32 noundef %6, ptr noundef nonnull %15, i32 noundef %.sroa.9.0.copyload, ptr noundef nonnull %18, ptr noundef %4) #5
  %.not395 = icmp eq i32 %2, 0
  br i1 %.not395, label %.loopexit, label %.lr.ph392

.lr.ph392:                                        ; preds = %11, %28
  %.0391 = phi i32 [ %29, %28 ], [ 0, %11 ]
  %19 = lshr i32 %.0391, 5
  %20 = and i32 %.0391, 31
  %21 = zext nneg i32 %19 to i64
  %22 = getelementptr inbounds i32, ptr %3, i64 %21
  %23 = load i32, ptr %22, align 4, !tbaa !9
  %24 = shl nuw i32 1, %20
  %25 = and i32 %23, %24
  %26 = icmp eq i32 %25, 0
  br i1 %26, label %28, label %27

27:                                               ; preds = %.lr.ph392
  call void @Hacl_Bignum_Montgomery_bn_mont_mul_u32(i32 noundef %6, ptr noundef nonnull %15, i32 noundef %.sroa.9.0.copyload, ptr noundef %4, ptr noundef nonnull %9, ptr noundef %4) #5
  br label %28

28:                                               ; preds = %27, %.lr.ph392
  call void @Hacl_Bignum_Montgomery_bn_mont_sqr_u32(i32 noundef %6, ptr noundef nonnull %15, i32 noundef %.sroa.9.0.copyload, ptr noundef nonnull %9, ptr noundef nonnull %9) #5
  %29 = add nuw i32 %.0391, 1
  %exitcond397.not = icmp eq i32 %29, %2
  br i1 %exitcond397.not, label %.loopexit, label %.lr.ph392, !llvm.loop !11

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

88:                                               ; preds = %30
  %89 = and i32 %2, -4
  %90 = call i32 @Hacl_Bignum_Lib_bn_get_bits_u32(i32 noundef %33, ptr noundef %3, i32 noundef %89, i32 noundef 4)
  %91 = mul i32 %90, %6
  %92 = zext i32 %91 to i64
  %93 = getelementptr inbounds i32, ptr %44, i64 %92
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %4, ptr nonnull align 4 %93, i64 %39, i1 false)
  br label %.lr.ph

94:                                               ; preds = %30
  call void @Hacl_Bignum_Montgomery_bn_from_mont_u32(i32 noundef %6, ptr noundef nonnull %37, i32 noundef %.sroa.9.0.copyload, ptr noundef nonnull %40, ptr noundef %4) #5
  br label %.lr.ph

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

99:                                               ; preds = %.lr.ph, %99
  %.0387390 = phi i32 [ 0, %.lr.ph ], [ %106, %99 ]
  call void @Hacl_Bignum_Montgomery_bn_mont_sqr_u32(i32 noundef %6, ptr noundef nonnull %37, i32 noundef %.sroa.9.0.copyload, ptr noundef %4, ptr noundef %4) #5
  call void @Hacl_Bignum_Montgomery_bn_mont_sqr_u32(i32 noundef %6, ptr noundef nonnull %37, i32 noundef %.sroa.9.0.copyload, ptr noundef %4, ptr noundef %4) #5
  call void @Hacl_Bignum_Montgomery_bn_mont_sqr_u32(i32 noundef %6, ptr noundef nonnull %37, i32 noundef %.sroa.9.0.copyload, ptr noundef %4, ptr noundef %4) #5
  call void @Hacl_Bignum_Montgomery_bn_mont_sqr_u32(i32 noundef %6, ptr noundef nonnull %37, i32 noundef %.sroa.9.0.copyload, ptr noundef %4, ptr noundef %4) #5
  %100 = shl i32 %.0387390, 2
  %101 = sub i32 %98, %100
  %102 = call i32 @Hacl_Bignum_Lib_bn_get_bits_u32(i32 noundef %33, ptr noundef %3, i32 noundef %101, i32 noundef 4)
  %103 = mul i32 %102, %6
  %104 = zext i32 %103 to i64
  %105 = getelementptr inbounds i32, ptr %44, i64 %104
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 16 %95, ptr nonnull align 4 %105, i64 %39, i1 false)
  call void @Hacl_Bignum_Montgomery_bn_mont_mul_u32(i32 noundef %6, ptr noundef nonnull %37, i32 noundef %.sroa.9.0.copyload, ptr noundef %4, ptr noundef nonnull %95, ptr noundef %4) #5
  %106 = add nuw nsw i32 %.0387390, 1
  %exitcond.not = icmp eq i32 %106, %96
  br i1 %exitcond.not, label %.loopexit, label %99, !llvm.loop !13

.loopexit:                                        ; preds = %99, %28, %11
  ret void
}

attributes #0 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { 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 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #4 = { 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 #5 = { nounwind }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = distinct !{!11, !12}
!12 = !{!"llvm.loop.mustprogress"}
!13 = distinct !{!13, !12}


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