; LLVM IR from cryspen/libcrux :: sys/hacl/c/src (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 [86 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 nosync nounwind willreturn
declare ptr @llvm.stacksave.p0() #5

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

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

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

; 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 i64, align 8
  %15 = alloca ptr, align 8
  %16 = alloca i64, align 8
  %17 = alloca ptr, align 8
  %18 = alloca ptr, align 8
  %19 = alloca i32, align 4
  %20 = alloca i32, align 4
  %21 = alloca i32, align 4
  %22 = alloca i32, align 4
  %23 = alloca i32, align 4
  %24 = alloca ptr, align 8
  %25 = alloca ptr, align 8
  %26 = alloca i32, align 4
  %27 = alloca ptr, align 8
  %28 = alloca i64, align 8
  %29 = alloca i64, align 8
  %30 = alloca i64, align 8
  %31 = alloca ptr, align 8
  %32 = alloca ptr, align 8
  %33 = alloca ptr, align 8
  %34 = alloca ptr, align 8
  %35 = alloca i32, align 4
  %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 ptr, align 8
  %62 = alloca ptr, align 8
  %63 = alloca ptr, align 8
  %64 = alloca i32, align 4
  %65 = alloca i32, align 4
  %66 = alloca i32, align 4
  %67 = alloca ptr, align 8
  %68 = alloca ptr, align 8
  %69 = alloca ptr, align 8
  %70 = alloca i64, align 8
  %71 = alloca i32, align 4
  %72 = alloca i32, align 4
  %73 = alloca ptr, align 8
  %74 = alloca ptr, align 8
  %75 = alloca ptr, align 8
  %76 = alloca ptr, align 8
  %77 = alloca i32, align 4
  %78 = alloca i32, align 4
  %79 = alloca i32, align 4
  %80 = alloca ptr, align 8
  %81 = 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) #8
  %82 = load ptr, ptr %6, align 8, !tbaa !5
  %83 = call i32 @Hacl_GenericField32_field_get_len(ptr noundef %82)
  store i32 %83, ptr %11, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 32, ptr %12) #8
  %84 = load ptr, ptr %6, align 8, !tbaa !5
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %12, ptr align 8 %84, i64 32, i1 false), !tbaa.struct !11
  br label %85

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

90:                                               ; preds = %85
  %91 = call i32 (ptr, ...) @printf(ptr noundef @.str, ptr noundef @.str.1, i32 noundef 449)
  call void @exit(i32 noundef 253) #9
  unreachable

92:                                               ; preds = %85
  br label %93

93:                                               ; preds = %92
  br label %94

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

111:                                              ; preds = %94
  br label %112

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

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

120:                                              ; preds = %112
  br label %121

121:                                              ; preds = %120
  br label %122

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

156:                                              ; preds = %189, %122
  %157 = load i32, ptr %19, align 4, !tbaa !9
  %158 = load i32, ptr %8, align 4, !tbaa !9
  %159 = icmp ult i32 %157, %158
  br i1 %159, label %161, label %160

160:                                              ; preds = %156
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #8
  br label %192

161:                                              ; preds = %156
  call void @llvm.lifetime.start.p0(i64 4, ptr %20) #8
  %162 = load i32, ptr %19, align 4, !tbaa !9
  %163 = udiv i32 %162, 32
  store i32 %163, ptr %20, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #8
  %164 = load i32, ptr %19, align 4, !tbaa !9
  %165 = urem i32 %164, 32
  store i32 %165, ptr %21, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %22) #8
  %166 = load ptr, ptr %9, align 8, !tbaa !5
  %167 = load i32, ptr %20, align 4, !tbaa !9
  %168 = zext i32 %167 to i64
  %169 = getelementptr inbounds i32, ptr %166, i64 %168
  %170 = load i32, ptr %169, align 4, !tbaa !9
  store i32 %170, ptr %22, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #8
  %171 = load i32, ptr %22, align 4, !tbaa !9
  %172 = load i32, ptr %21, align 4, !tbaa !9
  %173 = lshr i32 %171, %172
  %174 = and i32 %173, 1
  store i32 %174, ptr %23, align 4, !tbaa !9
  %175 = load i32, ptr %23, align 4, !tbaa !9
  %176 = icmp eq i32 %175, 0
  br i1 %176, label %184, label %177

177:                                              ; preds = %161
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #8
  store ptr %128, ptr %24, align 8, !tbaa !5
  %178 = load i32, ptr %11, align 4, !tbaa !9
  %179 = load ptr, ptr %24, align 8, !tbaa !5
  %180 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 2
  %181 = load i32, ptr %180, align 8, !tbaa !16
  %182 = load ptr, ptr %10, align 8, !tbaa !5
  %183 = load ptr, ptr %10, align 8, !tbaa !5
  call void @Hacl_Bignum_Montgomery_bn_mont_mul_u32(i32 noundef %178, ptr noundef %179, i32 noundef %181, ptr noundef %182, ptr noundef %99, ptr noundef %183)
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #8
  br label %184

184:                                              ; preds = %177, %161
  call void @llvm.lifetime.start.p0(i64 8, ptr %25) #8
  store ptr %128, ptr %25, align 8, !tbaa !5
  %185 = load i32, ptr %11, align 4, !tbaa !9
  %186 = load ptr, ptr %25, align 8, !tbaa !5
  %187 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 2
  %188 = load i32, ptr %187, align 8, !tbaa !16
  call void @Hacl_Bignum_Montgomery_bn_mont_sqr_u32(i32 noundef %185, ptr noundef %186, i32 noundef %188, ptr noundef %99, ptr noundef %99)
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #8
  br label %189

189:                                              ; preds = %184
  %190 = load i32, ptr %19, align 4, !tbaa !9
  %191 = add i32 %190, 1
  store i32 %191, ptr %19, align 4, !tbaa !9
  br label %156, !llvm.loop !17

192:                                              ; preds = %160
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #8
  %193 = load ptr, ptr %15, align 8
  call void @llvm.stackrestore.p0(ptr %193)
  br label %740

194:                                              ; preds = %94
  call void @llvm.lifetime.start.p0(i64 4, ptr %26) #8
  %195 = load i32, ptr %8, align 4, !tbaa !9
  %196 = icmp eq i32 %195, 0
  br i1 %196, label %197, label %198

197:                                              ; preds = %194
  store i32 1, ptr %26, align 4, !tbaa !9
  br label %203

198:                                              ; preds = %194
  %199 = load i32, ptr %8, align 4, !tbaa !9
  %200 = sub i32 %199, 1
  %201 = udiv i32 %200, 32
  %202 = add i32 %201, 1
  store i32 %202, ptr %26, align 4, !tbaa !9
  br label %203

203:                                              ; preds = %198, %197
  br label %204

204:                                              ; preds = %203
  %205 = load i32, ptr %11, align 4, !tbaa !9
  %206 = load i32, ptr %11, align 4, !tbaa !9
  %207 = add i32 %205, %206
  %208 = zext i32 %207 to i64
  %209 = icmp ugt i64 %208, 4611686018427387903
  br i1 %209, label %210, label %212

210:                                              ; preds = %204
  %211 = call i32 (ptr, ...) @printf(ptr noundef @.str, ptr noundef @.str.1, i32 noundef 489)
  call void @exit(i32 noundef 253) #9
  unreachable

212:                                              ; preds = %204
  br label %213

213:                                              ; preds = %212
  br label %214

214:                                              ; preds = %213
  %215 = load i32, ptr %11, align 4, !tbaa !9
  %216 = load i32, ptr %11, align 4, !tbaa !9
  %217 = add i32 %215, %216
  %218 = zext i32 %217 to i64
  %219 = call ptr @llvm.stacksave.p0()
  store ptr %219, ptr %27, align 8
  %220 = alloca i32, i64 %218, align 16
  store i64 %218, ptr %28, align 8
  %221 = load i32, ptr %11, align 4, !tbaa !9
  %222 = load i32, ptr %11, align 4, !tbaa !9
  %223 = add i32 %221, %222
  %224 = zext i32 %223 to i64
  %225 = mul i64 %224, 4
  call void @llvm.memset.p0.i64(ptr align 16 %220, i8 0, i64 %225, i1 false)
  %226 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 1
  %227 = load ptr, ptr %226, align 8, !tbaa !14
  %228 = load i32, ptr %11, align 4, !tbaa !9
  %229 = zext i32 %228 to i64
  %230 = mul i64 %229, 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 %220, ptr align 4 %227, i64 %230, i1 false)
  %231 = load i32, ptr %11, align 4, !tbaa !9
  %232 = zext i32 %231 to i64
  %233 = getelementptr inbounds i32, ptr %220, i64 %232
  %234 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 3
  %235 = load ptr, ptr %234, align 8, !tbaa !15
  %236 = load i32, ptr %11, align 4, !tbaa !9
  %237 = zext i32 %236 to i64
  %238 = mul i64 %237, 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %233, ptr align 4 %235, i64 %238, i1 false)
  br label %239

239:                                              ; preds = %214
  %240 = load i32, ptr %11, align 4, !tbaa !9
  %241 = mul i32 16, %240
  %242 = zext i32 %241 to i64
  %243 = icmp ugt i64 %242, 4611686018427387903
  br i1 %243, label %244, label %246

244:                                              ; preds = %239
  %245 = call i32 (ptr, ...) @printf(ptr noundef @.str, ptr noundef @.str.1, i32 noundef 494)
  call void @exit(i32 noundef 253) #9
  unreachable

246:                                              ; preds = %239
  br label %247

247:                                              ; preds = %246
  br label %248

248:                                              ; preds = %247
  %249 = load i32, ptr %11, align 4, !tbaa !9
  %250 = mul i32 16, %249
  %251 = zext i32 %250 to i64
  %252 = alloca i32, i64 %251, align 16
  store i64 %251, ptr %29, align 8
  %253 = load i32, ptr %11, align 4, !tbaa !9
  %254 = mul i32 16, %253
  %255 = zext i32 %254 to i64
  %256 = mul i64 %255, 4
  call void @llvm.memset.p0.i64(ptr align 16 %252, i8 0, i64 %256, i1 false)
  br label %257

257:                                              ; preds = %248
  %258 = load i32, ptr %11, align 4, !tbaa !9
  %259 = zext i32 %258 to i64
  %260 = icmp ugt i64 %259, 4611686018427387903
  br i1 %260, label %261, label %263

261:                                              ; preds = %257
  %262 = call i32 (ptr, ...) @printf(ptr noundef @.str, ptr noundef @.str.1, i32 noundef 497)
  call void @exit(i32 noundef 253) #9
  unreachable

263:                                              ; preds = %257
  br label %264

264:                                              ; preds = %263
  br label %265

265:                                              ; preds = %264
  %266 = load i32, ptr %11, align 4, !tbaa !9
  %267 = zext i32 %266 to i64
  %268 = alloca i32, i64 %267, align 16
  store i64 %267, ptr %30, align 8
  %269 = load i32, ptr %11, align 4, !tbaa !9
  %270 = zext i32 %269 to i64
  %271 = mul i64 %270, 4
  call void @llvm.memset.p0.i64(ptr align 16 %268, i8 0, i64 %271, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #8
  store ptr %252, ptr %31, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %32) #8
  %272 = load i32, ptr %11, align 4, !tbaa !9
  %273 = zext i32 %272 to i64
  %274 = getelementptr inbounds i32, ptr %252, i64 %273
  store ptr %274, ptr %32, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %33) #8
  store ptr %220, ptr %33, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %34) #8
  %275 = load i32, ptr %11, align 4, !tbaa !9
  %276 = zext i32 %275 to i64
  %277 = getelementptr inbounds i32, ptr %220, i64 %276
  store ptr %277, ptr %34, align 8, !tbaa !5
  %278 = load i32, ptr %11, align 4, !tbaa !9
  %279 = load ptr, ptr %33, align 8, !tbaa !5
  %280 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 2
  %281 = load i32, ptr %280, align 8, !tbaa !16
  %282 = load ptr, ptr %34, align 8, !tbaa !5
  %283 = load ptr, ptr %31, align 8, !tbaa !5
  call void @Hacl_Bignum_Montgomery_bn_from_mont_u32(i32 noundef %278, ptr noundef %279, i32 noundef %281, ptr noundef %282, ptr noundef %283)
  %284 = load ptr, ptr %32, align 8, !tbaa !5
  %285 = load i32, ptr %11, align 4, !tbaa !9
  %286 = zext i32 %285 to i64
  %287 = mul i64 %286, 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %284, ptr align 16 %99, i64 %287, i1 false)
  br label %288

288:                                              ; preds = %265
  call void @llvm.lifetime.start.p0(i64 4, ptr %35) #8
  store i32 0, ptr %35, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %36) #8
  %289 = load i32, ptr %35, align 4, !tbaa !9
  %290 = add i32 %289, 1
  %291 = load i32, ptr %11, align 4, !tbaa !9
  %292 = mul i32 %290, %291
  %293 = zext i32 %292 to i64
  %294 = getelementptr inbounds i32, ptr %252, i64 %293
  store ptr %294, ptr %36, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %37) #8
  store ptr %220, ptr %37, align 8, !tbaa !5
  %295 = load i32, ptr %11, align 4, !tbaa !9
  %296 = load ptr, ptr %37, align 8, !tbaa !5
  %297 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 2
  %298 = load i32, ptr %297, align 8, !tbaa !16
  %299 = load ptr, ptr %36, align 8, !tbaa !5
  call void @Hacl_Bignum_Montgomery_bn_mont_sqr_u32(i32 noundef %295, ptr noundef %296, i32 noundef %298, ptr noundef %299, ptr noundef %268)
  %300 = load i32, ptr %35, align 4, !tbaa !9
  %301 = mul i32 2, %300
  %302 = add i32 %301, 2
  %303 = load i32, ptr %11, align 4, !tbaa !9
  %304 = mul i32 %302, %303
  %305 = zext i32 %304 to i64
  %306 = getelementptr inbounds i32, ptr %252, i64 %305
  %307 = load i32, ptr %11, align 4, !tbaa !9
  %308 = zext i32 %307 to i64
  %309 = mul i64 %308, 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %306, ptr align 16 %268, i64 %309, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %38) #8
  %310 = load i32, ptr %35, align 4, !tbaa !9
  %311 = mul i32 2, %310
  %312 = add i32 %311, 2
  %313 = load i32, ptr %11, align 4, !tbaa !9
  %314 = mul i32 %312, %313
  %315 = zext i32 %314 to i64
  %316 = getelementptr inbounds i32, ptr %252, i64 %315
  store ptr %316, ptr %38, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %39) #8
  store ptr %220, ptr %39, align 8, !tbaa !5
  %317 = load i32, ptr %11, align 4, !tbaa !9
  %318 = load ptr, ptr %39, 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 %38, align 8, !tbaa !5
  call void @Hacl_Bignum_Montgomery_bn_mont_mul_u32(i32 noundef %317, ptr noundef %318, i32 noundef %320, ptr noundef %99, ptr noundef %321, ptr noundef %268)
  %322 = load i32, ptr %35, align 4, !tbaa !9
  %323 = mul i32 2, %322
  %324 = add i32 %323, 3
  %325 = load i32, ptr %11, align 4, !tbaa !9
  %326 = mul i32 %324, %325
  %327 = zext i32 %326 to i64
  %328 = getelementptr inbounds i32, ptr %252, i64 %327
  %329 = load i32, ptr %11, align 4, !tbaa !9
  %330 = zext i32 %329 to i64
  %331 = mul i64 %330, 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %328, ptr align 16 %268, i64 %331, i1 false)
  %332 = load i32, ptr %35, align 4, !tbaa !9
  %333 = add i32 %332, 1
  store i32 %333, ptr %35, align 4, !tbaa !9
  %334 = load i32, ptr %35, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %39) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %38) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %37) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %36) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %40) #8
  %335 = load i32, ptr %35, align 4, !tbaa !9
  %336 = add i32 %335, 1
  %337 = load i32, ptr %11, align 4, !tbaa !9
  %338 = mul i32 %336, %337
  %339 = zext i32 %338 to i64
  %340 = getelementptr inbounds i32, ptr %252, i64 %339
  store ptr %340, ptr %40, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %41) #8
  store ptr %220, ptr %41, align 8, !tbaa !5
  %341 = load i32, ptr %11, align 4, !tbaa !9
  %342 = load ptr, ptr %41, align 8, !tbaa !5
  %343 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 2
  %344 = load i32, ptr %343, align 8, !tbaa !16
  %345 = load ptr, ptr %40, align 8, !tbaa !5
  call void @Hacl_Bignum_Montgomery_bn_mont_sqr_u32(i32 noundef %341, ptr noundef %342, i32 noundef %344, ptr noundef %345, ptr noundef %268)
  %346 = load i32, ptr %35, align 4, !tbaa !9
  %347 = mul i32 2, %346
  %348 = add i32 %347, 2
  %349 = load i32, ptr %11, align 4, !tbaa !9
  %350 = mul i32 %348, %349
  %351 = zext i32 %350 to i64
  %352 = getelementptr inbounds i32, ptr %252, i64 %351
  %353 = load i32, ptr %11, align 4, !tbaa !9
  %354 = zext i32 %353 to i64
  %355 = mul i64 %354, 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %352, ptr align 16 %268, i64 %355, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %42) #8
  %356 = load i32, ptr %35, align 4, !tbaa !9
  %357 = mul i32 2, %356
  %358 = add i32 %357, 2
  %359 = load i32, ptr %11, align 4, !tbaa !9
  %360 = mul i32 %358, %359
  %361 = zext i32 %360 to i64
  %362 = getelementptr inbounds i32, ptr %252, i64 %361
  store ptr %362, ptr %42, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %43) #8
  store ptr %220, ptr %43, align 8, !tbaa !5
  %363 = load i32, ptr %11, align 4, !tbaa !9
  %364 = load ptr, ptr %43, align 8, !tbaa !5
  %365 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 2
  %366 = load i32, ptr %365, align 8, !tbaa !16
  %367 = load ptr, ptr %42, align 8, !tbaa !5
  call void @Hacl_Bignum_Montgomery_bn_mont_mul_u32(i32 noundef %363, ptr noundef %364, i32 noundef %366, ptr noundef %99, ptr noundef %367, ptr noundef %268)
  %368 = load i32, ptr %35, align 4, !tbaa !9
  %369 = mul i32 2, %368
  %370 = add i32 %369, 3
  %371 = load i32, ptr %11, align 4, !tbaa !9
  %372 = mul i32 %370, %371
  %373 = zext i32 %372 to i64
  %374 = getelementptr inbounds i32, ptr %252, i64 %373
  %375 = load i32, ptr %11, align 4, !tbaa !9
  %376 = zext i32 %375 to i64
  %377 = mul i64 %376, 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %374, ptr align 16 %268, i64 %377, i1 false)
  %378 = load i32, ptr %35, align 4, !tbaa !9
  %379 = add i32 %378, 1
  store i32 %379, ptr %35, align 4, !tbaa !9
  %380 = load i32, ptr %35, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %43) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %42) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %41) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %40) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %44) #8
  %381 = load i32, ptr %35, align 4, !tbaa !9
  %382 = add i32 %381, 1
  %383 = load i32, ptr %11, align 4, !tbaa !9
  %384 = mul i32 %382, %383
  %385 = zext i32 %384 to i64
  %386 = getelementptr inbounds i32, ptr %252, i64 %385
  store ptr %386, ptr %44, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %45) #8
  store ptr %220, ptr %45, align 8, !tbaa !5
  %387 = load i32, ptr %11, align 4, !tbaa !9
  %388 = load ptr, ptr %45, align 8, !tbaa !5
  %389 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 2
  %390 = load i32, ptr %389, align 8, !tbaa !16
  %391 = load ptr, ptr %44, align 8, !tbaa !5
  call void @Hacl_Bignum_Montgomery_bn_mont_sqr_u32(i32 noundef %387, ptr noundef %388, i32 noundef %390, ptr noundef %391, ptr noundef %268)
  %392 = load i32, ptr %35, align 4, !tbaa !9
  %393 = mul i32 2, %392
  %394 = add i32 %393, 2
  %395 = load i32, ptr %11, align 4, !tbaa !9
  %396 = mul i32 %394, %395
  %397 = zext i32 %396 to i64
  %398 = getelementptr inbounds i32, ptr %252, i64 %397
  %399 = load i32, ptr %11, align 4, !tbaa !9
  %400 = zext i32 %399 to i64
  %401 = mul i64 %400, 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %398, ptr align 16 %268, i64 %401, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %46) #8
  %402 = load i32, ptr %35, align 4, !tbaa !9
  %403 = mul i32 2, %402
  %404 = add i32 %403, 2
  %405 = load i32, ptr %11, align 4, !tbaa !9
  %406 = mul i32 %404, %405
  %407 = zext i32 %406 to i64
  %408 = getelementptr inbounds i32, ptr %252, i64 %407
  store ptr %408, ptr %46, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %47) #8
  store ptr %220, ptr %47, align 8, !tbaa !5
  %409 = load i32, ptr %11, align 4, !tbaa !9
  %410 = load ptr, ptr %47, align 8, !tbaa !5
  %411 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 2
  %412 = load i32, ptr %411, align 8, !tbaa !16
  %413 = load ptr, ptr %46, align 8, !tbaa !5
  call void @Hacl_Bignum_Montgomery_bn_mont_mul_u32(i32 noundef %409, ptr noundef %410, i32 noundef %412, ptr noundef %99, ptr noundef %413, ptr noundef %268)
  %414 = load i32, ptr %35, align 4, !tbaa !9
  %415 = mul i32 2, %414
  %416 = add i32 %415, 3
  %417 = load i32, ptr %11, align 4, !tbaa !9
  %418 = mul i32 %416, %417
  %419 = zext i32 %418 to i64
  %420 = getelementptr inbounds i32, ptr %252, i64 %419
  %421 = load i32, ptr %11, align 4, !tbaa !9
  %422 = zext i32 %421 to i64
  %423 = mul i64 %422, 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %420, ptr align 16 %268, i64 %423, i1 false)
  %424 = load i32, ptr %35, align 4, !tbaa !9
  %425 = add i32 %424, 1
  store i32 %425, ptr %35, align 4, !tbaa !9
  %426 = load i32, ptr %35, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %47) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %46) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %45) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %44) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %48) #8
  %427 = load i32, ptr %35, align 4, !tbaa !9
  %428 = add i32 %427, 1
  %429 = load i32, ptr %11, align 4, !tbaa !9
  %430 = mul i32 %428, %429
  %431 = zext i32 %430 to i64
  %432 = getelementptr inbounds i32, ptr %252, i64 %431
  store ptr %432, ptr %48, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %49) #8
  store ptr %220, ptr %49, align 8, !tbaa !5
  %433 = load i32, ptr %11, align 4, !tbaa !9
  %434 = load ptr, ptr %49, align 8, !tbaa !5
  %435 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 2
  %436 = load i32, ptr %435, align 8, !tbaa !16
  %437 = load ptr, ptr %48, align 8, !tbaa !5
  call void @Hacl_Bignum_Montgomery_bn_mont_sqr_u32(i32 noundef %433, ptr noundef %434, i32 noundef %436, ptr noundef %437, ptr noundef %268)
  %438 = load i32, ptr %35, 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 %252, i64 %443
  %445 = load i32, ptr %11, align 4, !tbaa !9
  %446 = zext i32 %445 to i64
  %447 = mul i64 %446, 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %444, ptr align 16 %268, i64 %447, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %50) #8
  %448 = load i32, ptr %35, align 4, !tbaa !9
  %449 = mul i32 2, %448
  %450 = add i32 %449, 2
  %451 = load i32, ptr %11, align 4, !tbaa !9
  %452 = mul i32 %450, %451
  %453 = zext i32 %452 to i64
  %454 = getelementptr inbounds i32, ptr %252, i64 %453
  store ptr %454, ptr %50, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %51) #8
  store ptr %220, ptr %51, align 8, !tbaa !5
  %455 = load i32, ptr %11, align 4, !tbaa !9
  %456 = load ptr, ptr %51, align 8, !tbaa !5
  %457 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 2
  %458 = load i32, ptr %457, align 8, !tbaa !16
  %459 = load ptr, ptr %50, align 8, !tbaa !5
  call void @Hacl_Bignum_Montgomery_bn_mont_mul_u32(i32 noundef %455, ptr noundef %456, i32 noundef %458, ptr noundef %99, ptr noundef %459, ptr noundef %268)
  %460 = load i32, ptr %35, align 4, !tbaa !9
  %461 = mul i32 2, %460
  %462 = add i32 %461, 3
  %463 = load i32, ptr %11, align 4, !tbaa !9
  %464 = mul i32 %462, %463
  %465 = zext i32 %464 to i64
  %466 = getelementptr inbounds i32, ptr %252, i64 %465
  %467 = load i32, ptr %11, align 4, !tbaa !9
  %468 = zext i32 %467 to i64
  %469 = mul i64 %468, 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %466, ptr align 16 %268, i64 %469, i1 false)
  %470 = load i32, ptr %35, align 4, !tbaa !9
  %471 = add i32 %470, 1
  store i32 %471, ptr %35, align 4, !tbaa !9
  %472 = load i32, ptr %35, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %51) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %50) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %49) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %48) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %52) #8
  %473 = load i32, ptr %35, align 4, !tbaa !9
  %474 = add i32 %473, 1
  %475 = load i32, ptr %11, align 4, !tbaa !9
  %476 = mul i32 %474, %475
  %477 = zext i32 %476 to i64
  %478 = getelementptr inbounds i32, ptr %252, i64 %477
  store ptr %478, ptr %52, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %53) #8
  store ptr %220, ptr %53, align 8, !tbaa !5
  %479 = load i32, ptr %11, align 4, !tbaa !9
  %480 = load ptr, ptr %53, align 8, !tbaa !5
  %481 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 2
  %482 = load i32, ptr %481, align 8, !tbaa !16
  %483 = load ptr, ptr %52, align 8, !tbaa !5
  call void @Hacl_Bignum_Montgomery_bn_mont_sqr_u32(i32 noundef %479, ptr noundef %480, i32 noundef %482, ptr noundef %483, ptr noundef %268)
  %484 = load i32, ptr %35, align 4, !tbaa !9
  %485 = mul i32 2, %484
  %486 = add i32 %485, 2
  %487 = load i32, ptr %11, align 4, !tbaa !9
  %488 = mul i32 %486, %487
  %489 = zext i32 %488 to i64
  %490 = getelementptr inbounds i32, ptr %252, i64 %489
  %491 = load i32, ptr %11, align 4, !tbaa !9
  %492 = zext i32 %491 to i64
  %493 = mul i64 %492, 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %490, ptr align 16 %268, i64 %493, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %54) #8
  %494 = load i32, ptr %35, align 4, !tbaa !9
  %495 = mul i32 2, %494
  %496 = add i32 %495, 2
  %497 = load i32, ptr %11, align 4, !tbaa !9
  %498 = mul i32 %496, %497
  %499 = zext i32 %498 to i64
  %500 = getelementptr inbounds i32, ptr %252, i64 %499
  store ptr %500, ptr %54, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %55) #8
  store ptr %220, ptr %55, align 8, !tbaa !5
  %501 = load i32, ptr %11, align 4, !tbaa !9
  %502 = load ptr, ptr %55, align 8, !tbaa !5
  %503 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 2
  %504 = load i32, ptr %503, align 8, !tbaa !16
  %505 = load ptr, ptr %54, align 8, !tbaa !5
  call void @Hacl_Bignum_Montgomery_bn_mont_mul_u32(i32 noundef %501, ptr noundef %502, i32 noundef %504, ptr noundef %99, ptr noundef %505, ptr noundef %268)
  %506 = load i32, ptr %35, align 4, !tbaa !9
  %507 = mul i32 2, %506
  %508 = add i32 %507, 3
  %509 = load i32, ptr %11, align 4, !tbaa !9
  %510 = mul i32 %508, %509
  %511 = zext i32 %510 to i64
  %512 = getelementptr inbounds i32, ptr %252, i64 %511
  %513 = load i32, ptr %11, align 4, !tbaa !9
  %514 = zext i32 %513 to i64
  %515 = mul i64 %514, 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %512, ptr align 16 %268, i64 %515, i1 false)
  %516 = load i32, ptr %35, align 4, !tbaa !9
  %517 = add i32 %516, 1
  store i32 %517, ptr %35, align 4, !tbaa !9
  %518 = load i32, ptr %35, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %55) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %54) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %53) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %52) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %56) #8
  %519 = load i32, ptr %35, align 4, !tbaa !9
  %520 = add i32 %519, 1
  %521 = load i32, ptr %11, align 4, !tbaa !9
  %522 = mul i32 %520, %521
  %523 = zext i32 %522 to i64
  %524 = getelementptr inbounds i32, ptr %252, i64 %523
  store ptr %524, ptr %56, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %57) #8
  store ptr %220, ptr %57, align 8, !tbaa !5
  %525 = load i32, ptr %11, align 4, !tbaa !9
  %526 = load ptr, ptr %57, align 8, !tbaa !5
  %527 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 2
  %528 = load i32, ptr %527, align 8, !tbaa !16
  %529 = load ptr, ptr %56, align 8, !tbaa !5
  call void @Hacl_Bignum_Montgomery_bn_mont_sqr_u32(i32 noundef %525, ptr noundef %526, i32 noundef %528, ptr noundef %529, ptr noundef %268)
  %530 = load i32, ptr %35, align 4, !tbaa !9
  %531 = mul i32 2, %530
  %532 = add i32 %531, 2
  %533 = load i32, ptr %11, align 4, !tbaa !9
  %534 = mul i32 %532, %533
  %535 = zext i32 %534 to i64
  %536 = getelementptr inbounds i32, ptr %252, i64 %535
  %537 = load i32, ptr %11, align 4, !tbaa !9
  %538 = zext i32 %537 to i64
  %539 = mul i64 %538, 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %536, ptr align 16 %268, i64 %539, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %58) #8
  %540 = load i32, ptr %35, align 4, !tbaa !9
  %541 = mul i32 2, %540
  %542 = add i32 %541, 2
  %543 = load i32, ptr %11, align 4, !tbaa !9
  %544 = mul i32 %542, %543
  %545 = zext i32 %544 to i64
  %546 = getelementptr inbounds i32, ptr %252, i64 %545
  store ptr %546, ptr %58, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %59) #8
  store ptr %220, ptr %59, align 8, !tbaa !5
  %547 = load i32, ptr %11, align 4, !tbaa !9
  %548 = load ptr, ptr %59, align 8, !tbaa !5
  %549 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 2
  %550 = load i32, ptr %549, align 8, !tbaa !16
  %551 = load ptr, ptr %58, align 8, !tbaa !5
  call void @Hacl_Bignum_Montgomery_bn_mont_mul_u32(i32 noundef %547, ptr noundef %548, i32 noundef %550, ptr noundef %99, ptr noundef %551, ptr noundef %268)
  %552 = load i32, ptr %35, align 4, !tbaa !9
  %553 = mul i32 2, %552
  %554 = add i32 %553, 3
  %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 %252, i64 %557
  %559 = load i32, ptr %11, align 4, !tbaa !9
  %560 = zext i32 %559 to i64
  %561 = mul i64 %560, 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %558, ptr align 16 %268, i64 %561, i1 false)
  %562 = load i32, ptr %35, align 4, !tbaa !9
  %563 = add i32 %562, 1
  store i32 %563, ptr %35, align 4, !tbaa !9
  %564 = load i32, ptr %35, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %59) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %58) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %57) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %56) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %60) #8
  %565 = load i32, ptr %35, align 4, !tbaa !9
  %566 = add i32 %565, 1
  %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 %252, i64 %569
  store ptr %570, ptr %60, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %61) #8
  store ptr %220, ptr %61, align 8, !tbaa !5
  %571 = load i32, ptr %11, align 4, !tbaa !9
  %572 = load ptr, ptr %61, align 8, !tbaa !5
  %573 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 2
  %574 = load i32, ptr %573, align 8, !tbaa !16
  %575 = load ptr, ptr %60, align 8, !tbaa !5
  call void @Hacl_Bignum_Montgomery_bn_mont_sqr_u32(i32 noundef %571, ptr noundef %572, i32 noundef %574, ptr noundef %575, ptr noundef %268)
  %576 = load i32, ptr %35, align 4, !tbaa !9
  %577 = mul i32 2, %576
  %578 = add i32 %577, 2
  %579 = load i32, ptr %11, align 4, !tbaa !9
  %580 = mul i32 %578, %579
  %581 = zext i32 %580 to i64
  %582 = getelementptr inbounds i32, ptr %252, i64 %581
  %583 = load i32, ptr %11, align 4, !tbaa !9
  %584 = zext i32 %583 to i64
  %585 = mul i64 %584, 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %582, ptr align 16 %268, i64 %585, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %62) #8
  %586 = load i32, ptr %35, align 4, !tbaa !9
  %587 = mul i32 2, %586
  %588 = add i32 %587, 2
  %589 = load i32, ptr %11, align 4, !tbaa !9
  %590 = mul i32 %588, %589
  %591 = zext i32 %590 to i64
  %592 = getelementptr inbounds i32, ptr %252, i64 %591
  store ptr %592, ptr %62, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %63) #8
  store ptr %220, ptr %63, align 8, !tbaa !5
  %593 = load i32, ptr %11, align 4, !tbaa !9
  %594 = load ptr, ptr %63, align 8, !tbaa !5
  %595 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 2
  %596 = load i32, ptr %595, align 8, !tbaa !16
  %597 = load ptr, ptr %62, align 8, !tbaa !5
  call void @Hacl_Bignum_Montgomery_bn_mont_mul_u32(i32 noundef %593, ptr noundef %594, i32 noundef %596, ptr noundef %99, ptr noundef %597, ptr noundef %268)
  %598 = load i32, ptr %35, align 4, !tbaa !9
  %599 = mul i32 2, %598
  %600 = add i32 %599, 3
  %601 = load i32, ptr %11, align 4, !tbaa !9
  %602 = mul i32 %600, %601
  %603 = zext i32 %602 to i64
  %604 = getelementptr inbounds i32, ptr %252, i64 %603
  %605 = load i32, ptr %11, align 4, !tbaa !9
  %606 = zext i32 %605 to i64
  %607 = mul i64 %606, 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %604, ptr align 16 %268, i64 %607, i1 false)
  %608 = load i32, ptr %35, align 4, !tbaa !9
  %609 = add i32 %608, 1
  store i32 %609, ptr %35, align 4, !tbaa !9
  %610 = load i32, ptr %35, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %63) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %62) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %61) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %60) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %35) #8
  br label %611

611:                                              ; preds = %288
  br label %612

612:                                              ; preds = %611
  %613 = load i32, ptr %8, align 4, !tbaa !9
  %614 = urem i32 %613, 4
  %615 = icmp ne i32 %614, 0
  br i1 %615, label %616, label %635

616:                                              ; preds = %612
  call void @llvm.lifetime.start.p0(i64 4, ptr %64) #8
  %617 = load i32, ptr %8, align 4, !tbaa !9
  %618 = udiv i32 %617, 4
  %619 = mul i32 %618, 4
  store i32 %619, ptr %64, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %65) #8
  %620 = load i32, ptr %26, align 4, !tbaa !9
  %621 = load ptr, ptr %9, align 8, !tbaa !5
  %622 = load i32, ptr %64, align 4, !tbaa !9
  %623 = call i32 @Hacl_Bignum_Lib_bn_get_bits_u32(i32 noundef %620, ptr noundef %621, i32 noundef %622, i32 noundef 4)
  store i32 %623, ptr %65, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %66) #8
  %624 = load i32, ptr %65, align 4, !tbaa !9
  store i32 %624, ptr %66, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %67) #8
  %625 = load i32, ptr %66, align 4, !tbaa !9
  %626 = load i32, ptr %11, align 4, !tbaa !9
  %627 = mul i32 %625, %626
  %628 = zext i32 %627 to i64
  %629 = getelementptr inbounds i32, ptr %252, i64 %628
  store ptr %629, ptr %67, align 8, !tbaa !5
  %630 = load ptr, ptr %10, align 8, !tbaa !5
  %631 = load ptr, ptr %67, align 8, !tbaa !5
  %632 = load i32, ptr %11, align 4, !tbaa !9
  %633 = zext i32 %632 to i64
  %634 = mul i64 %633, 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %630, ptr align 4 %631, i64 %634, i1 false)
  call void @llvm.lifetime.end.p0(i64 8, ptr %67) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %66) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %65) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %64) #8
  br label %645

635:                                              ; preds = %612
  call void @llvm.lifetime.start.p0(i64 8, ptr %68) #8
  store ptr %220, ptr %68, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %69) #8
  %636 = load i32, ptr %11, align 4, !tbaa !9
  %637 = zext i32 %636 to i64
  %638 = getelementptr inbounds i32, ptr %220, i64 %637
  store ptr %638, ptr %69, align 8, !tbaa !5
  %639 = load i32, ptr %11, align 4, !tbaa !9
  %640 = load ptr, ptr %68, align 8, !tbaa !5
  %641 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 2
  %642 = load i32, ptr %641, align 8, !tbaa !16
  %643 = load ptr, ptr %69, align 8, !tbaa !5
  %644 = load ptr, ptr %10, align 8, !tbaa !5
  call void @Hacl_Bignum_Montgomery_bn_from_mont_u32(i32 noundef %639, ptr noundef %640, i32 noundef %642, ptr noundef %643, ptr noundef %644)
  call void @llvm.lifetime.end.p0(i64 8, ptr %69) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %68) #8
  br label %645

645:                                              ; preds = %635, %616
  br label %646

646:                                              ; preds = %645
  %647 = load i32, ptr %11, align 4, !tbaa !9
  %648 = zext i32 %647 to i64
  %649 = icmp ugt i64 %648, 4611686018427387903
  br i1 %649, label %650, label %652

650:                                              ; preds = %646
  %651 = call i32 (ptr, ...) @printf(ptr noundef @.str, ptr noundef @.str.1, i32 noundef 532)
  call void @exit(i32 noundef 253) #9
  unreachable

652:                                              ; preds = %646
  br label %653

653:                                              ; preds = %652
  br label %654

654:                                              ; preds = %653
  %655 = load i32, ptr %11, align 4, !tbaa !9
  %656 = zext i32 %655 to i64
  %657 = alloca i32, i64 %656, align 16
  store i64 %656, ptr %70, align 8
  %658 = load i32, ptr %11, align 4, !tbaa !9
  %659 = zext i32 %658 to i64
  %660 = mul i64 %659, 4
  call void @llvm.memset.p0.i64(ptr align 16 %657, i8 0, i64 %660, i1 false)
  call void @llvm.lifetime.start.p0(i64 4, ptr %71) #8
  store i32 0, ptr %71, align 4, !tbaa !9
  br label %661

661:                                              ; preds = %735, %654
  %662 = load i32, ptr %71, align 4, !tbaa !9
  %663 = load i32, ptr %8, align 4, !tbaa !9
  %664 = udiv i32 %663, 4
  %665 = icmp ult i32 %662, %664
  br i1 %665, label %667, label %666

666:                                              ; preds = %661
  call void @llvm.lifetime.end.p0(i64 4, ptr %71) #8
  br label %738

667:                                              ; preds = %661
  br label %668

668:                                              ; preds = %667
  call void @llvm.lifetime.start.p0(i64 4, ptr %72) #8
  store i32 0, ptr %72, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %73) #8
  store ptr %220, ptr %73, align 8, !tbaa !5
  %669 = load i32, ptr %11, align 4, !tbaa !9
  %670 = load ptr, ptr %73, align 8, !tbaa !5
  %671 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 2
  %672 = load i32, ptr %671, align 8, !tbaa !16
  %673 = load ptr, ptr %10, align 8, !tbaa !5
  %674 = load ptr, ptr %10, align 8, !tbaa !5
  call void @Hacl_Bignum_Montgomery_bn_mont_sqr_u32(i32 noundef %669, ptr noundef %670, i32 noundef %672, ptr noundef %673, ptr noundef %674)
  %675 = load i32, ptr %72, align 4, !tbaa !9
  %676 = add i32 %675, 1
  store i32 %676, ptr %72, align 4, !tbaa !9
  %677 = load i32, ptr %72, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %73) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %74) #8
  store ptr %220, ptr %74, align 8, !tbaa !5
  %678 = load i32, ptr %11, align 4, !tbaa !9
  %679 = load ptr, ptr %74, align 8, !tbaa !5
  %680 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 2
  %681 = load i32, ptr %680, align 8, !tbaa !16
  %682 = load ptr, ptr %10, align 8, !tbaa !5
  %683 = load ptr, ptr %10, align 8, !tbaa !5
  call void @Hacl_Bignum_Montgomery_bn_mont_sqr_u32(i32 noundef %678, ptr noundef %679, i32 noundef %681, ptr noundef %682, ptr noundef %683)
  %684 = load i32, ptr %72, align 4, !tbaa !9
  %685 = add i32 %684, 1
  store i32 %685, ptr %72, align 4, !tbaa !9
  %686 = load i32, ptr %72, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %74) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %75) #8
  store ptr %220, ptr %75, align 8, !tbaa !5
  %687 = load i32, ptr %11, align 4, !tbaa !9
  %688 = load ptr, ptr %75, align 8, !tbaa !5
  %689 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 2
  %690 = load i32, ptr %689, align 8, !tbaa !16
  %691 = load ptr, ptr %10, align 8, !tbaa !5
  %692 = load ptr, ptr %10, align 8, !tbaa !5
  call void @Hacl_Bignum_Montgomery_bn_mont_sqr_u32(i32 noundef %687, ptr noundef %688, i32 noundef %690, ptr noundef %691, ptr noundef %692)
  %693 = load i32, ptr %72, align 4, !tbaa !9
  %694 = add i32 %693, 1
  store i32 %694, ptr %72, align 4, !tbaa !9
  %695 = load i32, ptr %72, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %75) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %76) #8
  store ptr %220, ptr %76, align 8, !tbaa !5
  %696 = load i32, ptr %11, align 4, !tbaa !9
  %697 = load ptr, ptr %76, align 8, !tbaa !5
  %698 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 2
  %699 = load i32, ptr %698, align 8, !tbaa !16
  %700 = load ptr, ptr %10, align 8, !tbaa !5
  %701 = load ptr, ptr %10, align 8, !tbaa !5
  call void @Hacl_Bignum_Montgomery_bn_mont_sqr_u32(i32 noundef %696, ptr noundef %697, i32 noundef %699, ptr noundef %700, ptr noundef %701)
  %702 = load i32, ptr %72, align 4, !tbaa !9
  %703 = add i32 %702, 1
  store i32 %703, ptr %72, align 4, !tbaa !9
  %704 = load i32, ptr %72, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %76) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %72) #8
  br label %705

705:                                              ; preds = %668
  br label %706

706:                                              ; preds = %705
  call void @llvm.lifetime.start.p0(i64 4, ptr %77) #8
  %707 = load i32, ptr %8, align 4, !tbaa !9
  %708 = load i32, ptr %8, align 4, !tbaa !9
  %709 = urem i32 %708, 4
  %710 = sub i32 %707, %709
  %711 = load i32, ptr %71, align 4, !tbaa !9
  %712 = mul i32 4, %711
  %713 = sub i32 %710, %712
  %714 = sub i32 %713, 4
  store i32 %714, ptr %77, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %78) #8
  %715 = load i32, ptr %26, align 4, !tbaa !9
  %716 = load ptr, ptr %9, align 8, !tbaa !5
  %717 = load i32, ptr %77, align 4, !tbaa !9
  %718 = call i32 @Hacl_Bignum_Lib_bn_get_bits_u32(i32 noundef %715, ptr noundef %716, i32 noundef %717, i32 noundef 4)
  store i32 %718, ptr %78, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %79) #8
  %719 = load i32, ptr %78, align 4, !tbaa !9
  store i32 %719, ptr %79, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %80) #8
  %720 = load i32, ptr %79, align 4, !tbaa !9
  %721 = load i32, ptr %11, align 4, !tbaa !9
  %722 = mul i32 %720, %721
  %723 = zext i32 %722 to i64
  %724 = getelementptr inbounds i32, ptr %252, i64 %723
  store ptr %724, ptr %80, align 8, !tbaa !5
  %725 = load ptr, ptr %80, align 8, !tbaa !5
  %726 = load i32, ptr %11, align 4, !tbaa !9
  %727 = zext i32 %726 to i64
  %728 = mul i64 %727, 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 %657, ptr align 4 %725, i64 %728, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %81) #8
  store ptr %220, ptr %81, align 8, !tbaa !5
  %729 = load i32, ptr %11, align 4, !tbaa !9
  %730 = load ptr, ptr %81, align 8, !tbaa !5
  %731 = getelementptr inbounds %struct.Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32_s, ptr %12, i32 0, i32 2
  %732 = load i32, ptr %731, align 8, !tbaa !16
  %733 = load ptr, ptr %10, align 8, !tbaa !5
  %734 = load ptr, ptr %10, align 8, !tbaa !5
  call void @Hacl_Bignum_Montgomery_bn_mont_mul_u32(i32 noundef %729, ptr noundef %730, i32 noundef %732, ptr noundef %733, ptr noundef %657, ptr noundef %734)
  call void @llvm.lifetime.end.p0(i64 8, ptr %81) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %80) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %79) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %78) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %77) #8
  br label %735

735:                                              ; preds = %706
  %736 = load i32, ptr %71, align 4, !tbaa !9
  %737 = add i32 %736, 1
  store i32 %737, ptr %71, align 4, !tbaa !9
  br label %661, !llvm.loop !19

738:                                              ; preds = %666
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #8
  %739 = load ptr, ptr %27, align 8
  call void @llvm.stackrestore.p0(ptr %739)
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #8
  br label %740

740:                                              ; preds = %738, %192
  %741 = load ptr, ptr %13, align 8
  call void @llvm.stackrestore.p0(ptr %741)
  call void @llvm.lifetime.end.p0(i64 32, ptr %12) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #8
  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 nosync nounwind willreturn }
attributes #6 = { nocallback nofree nounwind willreturn memory(argmem: write) }
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 = { nounwind }
attributes #9 = { 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.7119.0..sroa_idx = getelementptr inbounds i8, ptr %0, i64 8
  %.sroa.7119.0.copyload = load ptr, ptr %.sroa.7119.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.33144.0..sroa_idx = getelementptr inbounds i8, ptr %0, i64 24
  %.sroa.33144.0.copyload = load ptr, ptr %.sroa.33144.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 = alloca i32, i64 %7, align 16
  %9 = shl nuw nsw i64 %7, 2
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 16 %8, ptr align 4 %1, i64 %9, 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 = alloca i32, i64 %13, align 16
  %15 = shl nuw nsw i64 %13, 2
  call void @llvm.memset.p0.i64(ptr nonnull align 16 %14, i8 0, i64 %15, 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 %14, ptr align 4 %.sroa.7119.0.copyload, i64 %17, i1 false)
  %18 = getelementptr inbounds i32, ptr %14, i64 %16
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 4 %18, ptr align 4 %.sroa.33144.0.copyload, i64 %17, i1 false)
  call void @Hacl_Bignum_Montgomery_bn_from_mont_u32(i32 noundef %6, ptr noundef nonnull %14, i32 noundef %.sroa.9.0.copyload, ptr noundef nonnull %18, ptr noundef %4) #5
  %.not288 = icmp eq i32 %2, 0
  br i1 %.not288, label %._crit_edge285, label %.lr.ph284

.lr.ph284:                                        ; preds = %11, %28
  %.0282 = phi i32 [ %29, %28 ], [ 0, %11 ]
  %19 = lshr i32 %.0282, 5
  %20 = and i32 %.0282, 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.ph284
  call void @Hacl_Bignum_Montgomery_bn_mont_mul_u32(i32 noundef %6, ptr noundef nonnull %14, i32 noundef %.sroa.9.0.copyload, ptr noundef %4, ptr noundef nonnull %8, ptr noundef %4) #5
  br label %28

28:                                               ; preds = %27, %.lr.ph284
  call void @Hacl_Bignum_Montgomery_bn_mont_sqr_u32(i32 noundef %6, ptr noundef nonnull %14, i32 noundef %.sroa.9.0.copyload, ptr noundef nonnull %8, ptr noundef nonnull %8) #5
  %29 = add nuw i32 %.0282, 1
  %exitcond289.not = icmp eq i32 %29, %2
  br i1 %exitcond289.not, label %._crit_edge285, label %.lr.ph284, !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 = alloca i32, i64 %35, align 16
  %37 = shl nuw nsw i64 %35, 2
  call void @llvm.memset.p0.i64(ptr nonnull align 16 %36, i8 0, i64 %37, 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 %36, ptr align 4 %.sroa.7119.0.copyload, i64 %39, i1 false)
  %40 = getelementptr inbounds i32, ptr %36, i64 %38
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 4 %40, ptr align 4 %.sroa.33144.0.copyload, i64 %39, i1 false)
  %41 = shl i32 %6, 4
  %42 = zext i32 %41 to i64
  %43 = alloca i32, i64 %42, align 16
  %44 = shl nuw nsw i64 %42, 2
  call void @llvm.memset.p0.i64(ptr nonnull align 16 %43, i8 0, i64 %44, i1 false)
  %45 = alloca i32, i64 %38, align 16
  call void @llvm.memset.p0.i64(ptr nonnull align 16 %45, i8 0, i64 %39, i1 false)
  %46 = getelementptr inbounds i32, ptr %43, i64 %38
  call void @Hacl_Bignum_Montgomery_bn_from_mont_u32(i32 noundef %6, ptr noundef nonnull %36, i32 noundef %.sroa.9.0.copyload, ptr noundef nonnull %40, ptr noundef nonnull %43) #5
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 4 %46, ptr nonnull align 16 %8, i64 %39, i1 false)
  call void @Hacl_Bignum_Montgomery_bn_mont_sqr_u32(i32 noundef %6, ptr noundef nonnull %36, i32 noundef %.sroa.9.0.copyload, ptr noundef nonnull %46, ptr noundef nonnull %45) #5
  %47 = getelementptr inbounds i32, ptr %43, 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 %36, i32 noundef %.sroa.9.0.copyload, ptr noundef nonnull %8, 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 %43, 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 %36, 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 %43, 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 %36, i32 noundef %.sroa.9.0.copyload, ptr noundef nonnull %8, 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 %43, 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 %36, 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 %43, 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 %36, i32 noundef %.sroa.9.0.copyload, ptr noundef nonnull %8, 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 %43, 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 %36, 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 %43, 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 %36, i32 noundef %.sroa.9.0.copyload, ptr noundef nonnull %8, 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 %43, 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 %36, 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 %43, 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 %36, i32 noundef %.sroa.9.0.copyload, ptr noundef nonnull %8, 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 %43, 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 %36, 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 %43, 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 %36, i32 noundef %.sroa.9.0.copyload, ptr noundef nonnull %8, 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 %43, 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 %36, 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 %43, 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 %36, i32 noundef %.sroa.9.0.copyload, ptr noundef nonnull %8, 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 %43, 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 %43, 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 %36, 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 i32, i64 %38, 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
  %.0279281 = phi i32 [ 0, %.lr.ph ], [ %106, %99 ]
  call void @Hacl_Bignum_Montgomery_bn_mont_sqr_u32(i32 noundef %6, ptr noundef nonnull %36, 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 %36, 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 %36, 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 %36, i32 noundef %.sroa.9.0.copyload, ptr noundef %4, ptr noundef %4) #5
  %100 = shl i32 %.0279281, 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 %43, 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 %36, i32 noundef %.sroa.9.0.copyload, ptr noundef %4, ptr noundef nonnull %95, ptr noundef %4) #5
  %106 = add nuw nsw i32 %.0279281, 1
  %exitcond.not = icmp eq i32 %106, %96
  br i1 %exitcond.not, label %._crit_edge285, label %99, !llvm.loop !13

._crit_edge285:                                   ; 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