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

; Unoptimized IR (clang -disable-llvm-passes):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

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

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

; Function Attrs: inlinehint nounwind uwtable
declare hidden i32 @Hacl_IntTypes_Intrinsics_sub_borrow_u32(i32 noundef, i32 noundef, i32 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) #2

; Function Attrs: noinline nounwind uwtable
declare hidden i32 @FStar_UInt32_eq_mask(i32 noundef, i32 noundef) #3

; Function Attrs: noinline nounwind uwtable
declare hidden i32 @FStar_UInt32_gte_mask(i32 noundef, i32 noundef) #3

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

; Function Attrs: inlinehint nounwind uwtable
declare hidden void @exp_vartime(i32 noundef, ptr noundef, ptr noundef, i32 noundef, ptr noundef, ptr noundef) #1

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

95:                                               ; preds = %3
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #5
  store i32 0, ptr %11, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #5
  %96 = load i32, ptr %11, align 4, !tbaa !9
  %97 = zext i32 %96 to i64
  %98 = getelementptr inbounds [8 x i32], ptr %7, i64 0, i64 %97
  %99 = load i32, ptr %98, align 4, !tbaa !9
  %100 = load ptr, ptr %4, align 8, !tbaa !5
  %101 = load i32, ptr %11, align 4, !tbaa !9
  %102 = zext i32 %101 to i64
  %103 = getelementptr inbounds i32, ptr %100, i64 %102
  %104 = load i32, ptr %103, align 4, !tbaa !9
  %105 = call i32 @FStar_UInt32_eq_mask(i32 noundef %99, i32 noundef %104)
  store i32 %105, ptr %12, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #5
  %106 = load i32, ptr %11, align 4, !tbaa !9
  %107 = zext i32 %106 to i64
  %108 = getelementptr inbounds [8 x i32], ptr %7, i64 0, i64 %107
  %109 = load i32, ptr %108, align 4, !tbaa !9
  %110 = load ptr, ptr %4, align 8, !tbaa !5
  %111 = load i32, ptr %11, align 4, !tbaa !9
  %112 = zext i32 %111 to i64
  %113 = getelementptr inbounds i32, ptr %110, i64 %112
  %114 = load i32, ptr %113, align 4, !tbaa !9
  %115 = call i32 @FStar_UInt32_gte_mask(i32 noundef %109, i32 noundef %114)
  %116 = xor i32 %115, -1
  store i32 %116, ptr %13, align 4, !tbaa !9
  %117 = load i32, ptr %12, align 4, !tbaa !9
  %118 = load i32, ptr %10, align 4, !tbaa !9
  %119 = and i32 %117, %118
  %120 = load i32, ptr %12, align 4, !tbaa !9
  %121 = xor i32 %120, -1
  %122 = load i32, ptr %13, align 4, !tbaa !9
  %123 = and i32 %122, -1
  %124 = load i32, ptr %13, align 4, !tbaa !9
  %125 = xor i32 %124, -1
  %126 = and i32 %125, 0
  %127 = or i32 %123, %126
  %128 = and i32 %121, %127
  %129 = or i32 %119, %128
  store i32 %129, ptr %10, align 4, !tbaa !9
  %130 = load i32, ptr %11, align 4, !tbaa !9
  %131 = add i32 %130, 1
  store i32 %131, ptr %11, align 4, !tbaa !9
  %132 = load i32, ptr %11, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #5
  %133 = load i32, ptr %11, align 4, !tbaa !9
  %134 = zext i32 %133 to i64
  %135 = getelementptr inbounds [8 x i32], ptr %7, i64 0, i64 %134
  %136 = load i32, ptr %135, align 4, !tbaa !9
  %137 = load ptr, ptr %4, align 8, !tbaa !5
  %138 = load i32, ptr %11, align 4, !tbaa !9
  %139 = zext i32 %138 to i64
  %140 = getelementptr inbounds i32, ptr %137, i64 %139
  %141 = load i32, ptr %140, align 4, !tbaa !9
  %142 = call i32 @FStar_UInt32_eq_mask(i32 noundef %136, i32 noundef %141)
  store i32 %142, ptr %14, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #5
  %143 = load i32, ptr %11, align 4, !tbaa !9
  %144 = zext i32 %143 to i64
  %145 = getelementptr inbounds [8 x i32], ptr %7, i64 0, i64 %144
  %146 = load i32, ptr %145, align 4, !tbaa !9
  %147 = load ptr, ptr %4, align 8, !tbaa !5
  %148 = load i32, ptr %11, align 4, !tbaa !9
  %149 = zext i32 %148 to i64
  %150 = getelementptr inbounds i32, ptr %147, i64 %149
  %151 = load i32, ptr %150, align 4, !tbaa !9
  %152 = call i32 @FStar_UInt32_gte_mask(i32 noundef %146, i32 noundef %151)
  %153 = xor i32 %152, -1
  store i32 %153, ptr %15, align 4, !tbaa !9
  %154 = load i32, ptr %14, align 4, !tbaa !9
  %155 = load i32, ptr %10, align 4, !tbaa !9
  %156 = and i32 %154, %155
  %157 = load i32, ptr %14, align 4, !tbaa !9
  %158 = xor i32 %157, -1
  %159 = load i32, ptr %15, align 4, !tbaa !9
  %160 = and i32 %159, -1
  %161 = load i32, ptr %15, align 4, !tbaa !9
  %162 = xor i32 %161, -1
  %163 = and i32 %162, 0
  %164 = or i32 %160, %163
  %165 = and i32 %158, %164
  %166 = or i32 %156, %165
  store i32 %166, ptr %10, align 4, !tbaa !9
  %167 = load i32, ptr %11, align 4, !tbaa !9
  %168 = add i32 %167, 1
  store i32 %168, ptr %11, align 4, !tbaa !9
  %169 = load i32, ptr %11, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #5
  %170 = load i32, ptr %11, align 4, !tbaa !9
  %171 = zext i32 %170 to i64
  %172 = getelementptr inbounds [8 x i32], ptr %7, i64 0, i64 %171
  %173 = load i32, ptr %172, align 4, !tbaa !9
  %174 = load ptr, ptr %4, align 8, !tbaa !5
  %175 = load i32, ptr %11, align 4, !tbaa !9
  %176 = zext i32 %175 to i64
  %177 = getelementptr inbounds i32, ptr %174, i64 %176
  %178 = load i32, ptr %177, align 4, !tbaa !9
  %179 = call i32 @FStar_UInt32_eq_mask(i32 noundef %173, i32 noundef %178)
  store i32 %179, ptr %16, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #5
  %180 = load i32, ptr %11, align 4, !tbaa !9
  %181 = zext i32 %180 to i64
  %182 = getelementptr inbounds [8 x i32], ptr %7, i64 0, i64 %181
  %183 = load i32, ptr %182, align 4, !tbaa !9
  %184 = load ptr, ptr %4, align 8, !tbaa !5
  %185 = load i32, ptr %11, align 4, !tbaa !9
  %186 = zext i32 %185 to i64
  %187 = getelementptr inbounds i32, ptr %184, i64 %186
  %188 = load i32, ptr %187, align 4, !tbaa !9
  %189 = call i32 @FStar_UInt32_gte_mask(i32 noundef %183, i32 noundef %188)
  %190 = xor i32 %189, -1
  store i32 %190, ptr %17, align 4, !tbaa !9
  %191 = load i32, ptr %16, align 4, !tbaa !9
  %192 = load i32, ptr %10, align 4, !tbaa !9
  %193 = and i32 %191, %192
  %194 = load i32, ptr %16, align 4, !tbaa !9
  %195 = xor i32 %194, -1
  %196 = load i32, ptr %17, align 4, !tbaa !9
  %197 = and i32 %196, -1
  %198 = load i32, ptr %17, align 4, !tbaa !9
  %199 = xor i32 %198, -1
  %200 = and i32 %199, 0
  %201 = or i32 %197, %200
  %202 = and i32 %195, %201
  %203 = or i32 %193, %202
  store i32 %203, ptr %10, align 4, !tbaa !9
  %204 = load i32, ptr %11, align 4, !tbaa !9
  %205 = add i32 %204, 1
  store i32 %205, ptr %11, align 4, !tbaa !9
  %206 = load i32, ptr %11, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %18) #5
  %207 = load i32, ptr %11, align 4, !tbaa !9
  %208 = zext i32 %207 to i64
  %209 = getelementptr inbounds [8 x i32], ptr %7, i64 0, i64 %208
  %210 = load i32, ptr %209, align 4, !tbaa !9
  %211 = load ptr, ptr %4, align 8, !tbaa !5
  %212 = load i32, ptr %11, align 4, !tbaa !9
  %213 = zext i32 %212 to i64
  %214 = getelementptr inbounds i32, ptr %211, i64 %213
  %215 = load i32, ptr %214, align 4, !tbaa !9
  %216 = call i32 @FStar_UInt32_eq_mask(i32 noundef %210, i32 noundef %215)
  store i32 %216, ptr %18, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %19) #5
  %217 = load i32, ptr %11, align 4, !tbaa !9
  %218 = zext i32 %217 to i64
  %219 = getelementptr inbounds [8 x i32], ptr %7, i64 0, i64 %218
  %220 = load i32, ptr %219, align 4, !tbaa !9
  %221 = load ptr, ptr %4, align 8, !tbaa !5
  %222 = load i32, ptr %11, align 4, !tbaa !9
  %223 = zext i32 %222 to i64
  %224 = getelementptr inbounds i32, ptr %221, i64 %223
  %225 = load i32, ptr %224, align 4, !tbaa !9
  %226 = call i32 @FStar_UInt32_gte_mask(i32 noundef %220, i32 noundef %225)
  %227 = xor i32 %226, -1
  store i32 %227, ptr %19, align 4, !tbaa !9
  %228 = load i32, ptr %18, align 4, !tbaa !9
  %229 = load i32, ptr %10, align 4, !tbaa !9
  %230 = and i32 %228, %229
  %231 = load i32, ptr %18, align 4, !tbaa !9
  %232 = xor i32 %231, -1
  %233 = load i32, ptr %19, align 4, !tbaa !9
  %234 = and i32 %233, -1
  %235 = load i32, ptr %19, align 4, !tbaa !9
  %236 = xor i32 %235, -1
  %237 = and i32 %236, 0
  %238 = or i32 %234, %237
  %239 = and i32 %232, %238
  %240 = or i32 %230, %239
  store i32 %240, ptr %10, align 4, !tbaa !9
  %241 = load i32, ptr %11, align 4, !tbaa !9
  %242 = add i32 %241, 1
  store i32 %242, ptr %11, align 4, !tbaa !9
  %243 = load i32, ptr %11, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %20) #5
  %244 = load i32, ptr %11, align 4, !tbaa !9
  %245 = zext i32 %244 to i64
  %246 = getelementptr inbounds [8 x i32], ptr %7, i64 0, i64 %245
  %247 = load i32, ptr %246, align 4, !tbaa !9
  %248 = load ptr, ptr %4, align 8, !tbaa !5
  %249 = load i32, ptr %11, align 4, !tbaa !9
  %250 = zext i32 %249 to i64
  %251 = getelementptr inbounds i32, ptr %248, i64 %250
  %252 = load i32, ptr %251, align 4, !tbaa !9
  %253 = call i32 @FStar_UInt32_eq_mask(i32 noundef %247, i32 noundef %252)
  store i32 %253, ptr %20, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #5
  %254 = load i32, ptr %11, align 4, !tbaa !9
  %255 = zext i32 %254 to i64
  %256 = getelementptr inbounds [8 x i32], ptr %7, i64 0, i64 %255
  %257 = load i32, ptr %256, align 4, !tbaa !9
  %258 = load ptr, ptr %4, align 8, !tbaa !5
  %259 = load i32, ptr %11, align 4, !tbaa !9
  %260 = zext i32 %259 to i64
  %261 = getelementptr inbounds i32, ptr %258, i64 %260
  %262 = load i32, ptr %261, align 4, !tbaa !9
  %263 = call i32 @FStar_UInt32_gte_mask(i32 noundef %257, i32 noundef %262)
  %264 = xor i32 %263, -1
  store i32 %264, ptr %21, align 4, !tbaa !9
  %265 = load i32, ptr %20, align 4, !tbaa !9
  %266 = load i32, ptr %10, align 4, !tbaa !9
  %267 = and i32 %265, %266
  %268 = load i32, ptr %20, align 4, !tbaa !9
  %269 = xor i32 %268, -1
  %270 = load i32, ptr %21, align 4, !tbaa !9
  %271 = and i32 %270, -1
  %272 = load i32, ptr %21, align 4, !tbaa !9
  %273 = xor i32 %272, -1
  %274 = and i32 %273, 0
  %275 = or i32 %271, %274
  %276 = and i32 %269, %275
  %277 = or i32 %267, %276
  store i32 %277, ptr %10, align 4, !tbaa !9
  %278 = load i32, ptr %11, align 4, !tbaa !9
  %279 = add i32 %278, 1
  store i32 %279, ptr %11, align 4, !tbaa !9
  %280 = load i32, ptr %11, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %22) #5
  %281 = load i32, ptr %11, align 4, !tbaa !9
  %282 = zext i32 %281 to i64
  %283 = getelementptr inbounds [8 x i32], ptr %7, i64 0, i64 %282
  %284 = load i32, ptr %283, align 4, !tbaa !9
  %285 = load ptr, ptr %4, align 8, !tbaa !5
  %286 = load i32, ptr %11, align 4, !tbaa !9
  %287 = zext i32 %286 to i64
  %288 = getelementptr inbounds i32, ptr %285, i64 %287
  %289 = load i32, ptr %288, align 4, !tbaa !9
  %290 = call i32 @FStar_UInt32_eq_mask(i32 noundef %284, i32 noundef %289)
  store i32 %290, ptr %22, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #5
  %291 = load i32, ptr %11, align 4, !tbaa !9
  %292 = zext i32 %291 to i64
  %293 = getelementptr inbounds [8 x i32], ptr %7, i64 0, i64 %292
  %294 = load i32, ptr %293, align 4, !tbaa !9
  %295 = load ptr, ptr %4, align 8, !tbaa !5
  %296 = load i32, ptr %11, align 4, !tbaa !9
  %297 = zext i32 %296 to i64
  %298 = getelementptr inbounds i32, ptr %295, i64 %297
  %299 = load i32, ptr %298, align 4, !tbaa !9
  %300 = call i32 @FStar_UInt32_gte_mask(i32 noundef %294, i32 noundef %299)
  %301 = xor i32 %300, -1
  store i32 %301, ptr %23, align 4, !tbaa !9
  %302 = load i32, ptr %22, align 4, !tbaa !9
  %303 = load i32, ptr %10, align 4, !tbaa !9
  %304 = and i32 %302, %303
  %305 = load i32, ptr %22, align 4, !tbaa !9
  %306 = xor i32 %305, -1
  %307 = load i32, ptr %23, align 4, !tbaa !9
  %308 = and i32 %307, -1
  %309 = load i32, ptr %23, align 4, !tbaa !9
  %310 = xor i32 %309, -1
  %311 = and i32 %310, 0
  %312 = or i32 %308, %311
  %313 = and i32 %306, %312
  %314 = or i32 %304, %313
  store i32 %314, ptr %10, align 4, !tbaa !9
  %315 = load i32, ptr %11, align 4, !tbaa !9
  %316 = add i32 %315, 1
  store i32 %316, ptr %11, align 4, !tbaa !9
  %317 = load i32, ptr %11, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %24) #5
  %318 = load i32, ptr %11, align 4, !tbaa !9
  %319 = zext i32 %318 to i64
  %320 = getelementptr inbounds [8 x i32], ptr %7, i64 0, i64 %319
  %321 = load i32, ptr %320, align 4, !tbaa !9
  %322 = load ptr, ptr %4, align 8, !tbaa !5
  %323 = load i32, ptr %11, align 4, !tbaa !9
  %324 = zext i32 %323 to i64
  %325 = getelementptr inbounds i32, ptr %322, i64 %324
  %326 = load i32, ptr %325, align 4, !tbaa !9
  %327 = call i32 @FStar_UInt32_eq_mask(i32 noundef %321, i32 noundef %326)
  store i32 %327, ptr %24, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #5
  %328 = load i32, ptr %11, align 4, !tbaa !9
  %329 = zext i32 %328 to i64
  %330 = getelementptr inbounds [8 x i32], ptr %7, i64 0, i64 %329
  %331 = load i32, ptr %330, align 4, !tbaa !9
  %332 = load ptr, ptr %4, align 8, !tbaa !5
  %333 = load i32, ptr %11, align 4, !tbaa !9
  %334 = zext i32 %333 to i64
  %335 = getelementptr inbounds i32, ptr %332, i64 %334
  %336 = load i32, ptr %335, align 4, !tbaa !9
  %337 = call i32 @FStar_UInt32_gte_mask(i32 noundef %331, i32 noundef %336)
  %338 = xor i32 %337, -1
  store i32 %338, ptr %25, align 4, !tbaa !9
  %339 = load i32, ptr %24, align 4, !tbaa !9
  %340 = load i32, ptr %10, align 4, !tbaa !9
  %341 = and i32 %339, %340
  %342 = load i32, ptr %24, align 4, !tbaa !9
  %343 = xor i32 %342, -1
  %344 = load i32, ptr %25, align 4, !tbaa !9
  %345 = and i32 %344, -1
  %346 = load i32, ptr %25, align 4, !tbaa !9
  %347 = xor i32 %346, -1
  %348 = and i32 %347, 0
  %349 = or i32 %345, %348
  %350 = and i32 %343, %349
  %351 = or i32 %341, %350
  store i32 %351, ptr %10, align 4, !tbaa !9
  %352 = load i32, ptr %11, align 4, !tbaa !9
  %353 = add i32 %352, 1
  store i32 %353, ptr %11, align 4, !tbaa !9
  %354 = load i32, ptr %11, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %24) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %26) #5
  %355 = load i32, ptr %11, align 4, !tbaa !9
  %356 = zext i32 %355 to i64
  %357 = getelementptr inbounds [8 x i32], ptr %7, i64 0, i64 %356
  %358 = load i32, ptr %357, align 4, !tbaa !9
  %359 = load ptr, ptr %4, align 8, !tbaa !5
  %360 = load i32, ptr %11, align 4, !tbaa !9
  %361 = zext i32 %360 to i64
  %362 = getelementptr inbounds i32, ptr %359, i64 %361
  %363 = load i32, ptr %362, align 4, !tbaa !9
  %364 = call i32 @FStar_UInt32_eq_mask(i32 noundef %358, i32 noundef %363)
  store i32 %364, ptr %26, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %27) #5
  %365 = load i32, ptr %11, align 4, !tbaa !9
  %366 = zext i32 %365 to i64
  %367 = getelementptr inbounds [8 x i32], ptr %7, i64 0, i64 %366
  %368 = load i32, ptr %367, align 4, !tbaa !9
  %369 = load ptr, ptr %4, align 8, !tbaa !5
  %370 = load i32, ptr %11, align 4, !tbaa !9
  %371 = zext i32 %370 to i64
  %372 = getelementptr inbounds i32, ptr %369, i64 %371
  %373 = load i32, ptr %372, align 4, !tbaa !9
  %374 = call i32 @FStar_UInt32_gte_mask(i32 noundef %368, i32 noundef %373)
  %375 = xor i32 %374, -1
  store i32 %375, ptr %27, align 4, !tbaa !9
  %376 = load i32, ptr %26, align 4, !tbaa !9
  %377 = load i32, ptr %10, align 4, !tbaa !9
  %378 = and i32 %376, %377
  %379 = load i32, ptr %26, align 4, !tbaa !9
  %380 = xor i32 %379, -1
  %381 = load i32, ptr %27, align 4, !tbaa !9
  %382 = and i32 %381, -1
  %383 = load i32, ptr %27, align 4, !tbaa !9
  %384 = xor i32 %383, -1
  %385 = and i32 %384, 0
  %386 = or i32 %382, %385
  %387 = and i32 %380, %386
  %388 = or i32 %378, %387
  store i32 %388, ptr %10, align 4, !tbaa !9
  %389 = load i32, ptr %11, align 4, !tbaa !9
  %390 = add i32 %389, 1
  store i32 %390, ptr %11, align 4, !tbaa !9
  %391 = load i32, ptr %11, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %27) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #5
  br label %392

392:                                              ; preds = %95
  br label %393

393:                                              ; preds = %392
  call void @llvm.lifetime.start.p0(i64 4, ptr %28) #5
  %394 = load i32, ptr %10, align 4, !tbaa !9
  store i32 %394, ptr %28, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %29) #5
  %395 = load i32, ptr %9, align 4, !tbaa !9
  %396 = load i32, ptr %28, align 4, !tbaa !9
  %397 = and i32 %395, %396
  store i32 %397, ptr %29, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 32, ptr %30) #5
  call void @llvm.memset.p0.i64(ptr align 16 %30, i8 0, i64 32, i1 false)
  call void @llvm.lifetime.start.p0(i64 4, ptr %31) #5
  store i32 -1, ptr %31, align 4, !tbaa !9
  br label %398

398:                                              ; preds = %393
  call void @llvm.lifetime.start.p0(i64 4, ptr %32) #5
  store i32 0, ptr %32, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %33) #5
  %399 = load ptr, ptr %5, align 8, !tbaa !5
  %400 = load i32, ptr %32, align 4, !tbaa !9
  %401 = zext i32 %400 to i64
  %402 = getelementptr inbounds i32, ptr %399, i64 %401
  %403 = load i32, ptr %402, align 4, !tbaa !9
  %404 = load i32, ptr %32, align 4, !tbaa !9
  %405 = zext i32 %404 to i64
  %406 = getelementptr inbounds [8 x i32], ptr %30, i64 0, i64 %405
  %407 = load i32, ptr %406, align 4, !tbaa !9
  %408 = call i32 @FStar_UInt32_eq_mask(i32 noundef %403, i32 noundef %407)
  store i32 %408, ptr %33, align 4, !tbaa !9
  %409 = load i32, ptr %33, align 4, !tbaa !9
  %410 = load i32, ptr %31, align 4, !tbaa !9
  %411 = and i32 %409, %410
  store i32 %411, ptr %31, align 4, !tbaa !9
  %412 = load i32, ptr %32, align 4, !tbaa !9
  %413 = add i32 %412, 1
  store i32 %413, ptr %32, align 4, !tbaa !9
  %414 = load i32, ptr %32, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %33) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %34) #5
  %415 = load ptr, ptr %5, align 8, !tbaa !5
  %416 = load i32, ptr %32, align 4, !tbaa !9
  %417 = zext i32 %416 to i64
  %418 = getelementptr inbounds i32, ptr %415, i64 %417
  %419 = load i32, ptr %418, align 4, !tbaa !9
  %420 = load i32, ptr %32, align 4, !tbaa !9
  %421 = zext i32 %420 to i64
  %422 = getelementptr inbounds [8 x i32], ptr %30, i64 0, i64 %421
  %423 = load i32, ptr %422, align 4, !tbaa !9
  %424 = call i32 @FStar_UInt32_eq_mask(i32 noundef %419, i32 noundef %423)
  store i32 %424, ptr %34, align 4, !tbaa !9
  %425 = load i32, ptr %34, align 4, !tbaa !9
  %426 = load i32, ptr %31, align 4, !tbaa !9
  %427 = and i32 %425, %426
  store i32 %427, ptr %31, align 4, !tbaa !9
  %428 = load i32, ptr %32, align 4, !tbaa !9
  %429 = add i32 %428, 1
  store i32 %429, ptr %32, align 4, !tbaa !9
  %430 = load i32, ptr %32, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %34) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %35) #5
  %431 = load ptr, ptr %5, align 8, !tbaa !5
  %432 = load i32, ptr %32, align 4, !tbaa !9
  %433 = zext i32 %432 to i64
  %434 = getelementptr inbounds i32, ptr %431, i64 %433
  %435 = load i32, ptr %434, align 4, !tbaa !9
  %436 = load i32, ptr %32, align 4, !tbaa !9
  %437 = zext i32 %436 to i64
  %438 = getelementptr inbounds [8 x i32], ptr %30, i64 0, i64 %437
  %439 = load i32, ptr %438, align 4, !tbaa !9
  %440 = call i32 @FStar_UInt32_eq_mask(i32 noundef %435, i32 noundef %439)
  store i32 %440, ptr %35, align 4, !tbaa !9
  %441 = load i32, ptr %35, align 4, !tbaa !9
  %442 = load i32, ptr %31, align 4, !tbaa !9
  %443 = and i32 %441, %442
  store i32 %443, ptr %31, align 4, !tbaa !9
  %444 = load i32, ptr %32, align 4, !tbaa !9
  %445 = add i32 %444, 1
  store i32 %445, ptr %32, align 4, !tbaa !9
  %446 = load i32, ptr %32, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %35) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %36) #5
  %447 = load ptr, ptr %5, align 8, !tbaa !5
  %448 = load i32, ptr %32, align 4, !tbaa !9
  %449 = zext i32 %448 to i64
  %450 = getelementptr inbounds i32, ptr %447, i64 %449
  %451 = load i32, ptr %450, align 4, !tbaa !9
  %452 = load i32, ptr %32, align 4, !tbaa !9
  %453 = zext i32 %452 to i64
  %454 = getelementptr inbounds [8 x i32], ptr %30, i64 0, i64 %453
  %455 = load i32, ptr %454, align 4, !tbaa !9
  %456 = call i32 @FStar_UInt32_eq_mask(i32 noundef %451, i32 noundef %455)
  store i32 %456, ptr %36, align 4, !tbaa !9
  %457 = load i32, ptr %36, align 4, !tbaa !9
  %458 = load i32, ptr %31, align 4, !tbaa !9
  %459 = and i32 %457, %458
  store i32 %459, ptr %31, align 4, !tbaa !9
  %460 = load i32, ptr %32, align 4, !tbaa !9
  %461 = add i32 %460, 1
  store i32 %461, ptr %32, align 4, !tbaa !9
  %462 = load i32, ptr %32, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %36) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %37) #5
  %463 = load ptr, ptr %5, align 8, !tbaa !5
  %464 = load i32, ptr %32, align 4, !tbaa !9
  %465 = zext i32 %464 to i64
  %466 = getelementptr inbounds i32, ptr %463, i64 %465
  %467 = load i32, ptr %466, align 4, !tbaa !9
  %468 = load i32, ptr %32, align 4, !tbaa !9
  %469 = zext i32 %468 to i64
  %470 = getelementptr inbounds [8 x i32], ptr %30, i64 0, i64 %469
  %471 = load i32, ptr %470, align 4, !tbaa !9
  %472 = call i32 @FStar_UInt32_eq_mask(i32 noundef %467, i32 noundef %471)
  store i32 %472, ptr %37, align 4, !tbaa !9
  %473 = load i32, ptr %37, align 4, !tbaa !9
  %474 = load i32, ptr %31, align 4, !tbaa !9
  %475 = and i32 %473, %474
  store i32 %475, ptr %31, align 4, !tbaa !9
  %476 = load i32, ptr %32, align 4, !tbaa !9
  %477 = add i32 %476, 1
  store i32 %477, ptr %32, align 4, !tbaa !9
  %478 = load i32, ptr %32, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %37) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %38) #5
  %479 = load ptr, ptr %5, align 8, !tbaa !5
  %480 = load i32, ptr %32, align 4, !tbaa !9
  %481 = zext i32 %480 to i64
  %482 = getelementptr inbounds i32, ptr %479, i64 %481
  %483 = load i32, ptr %482, align 4, !tbaa !9
  %484 = load i32, ptr %32, align 4, !tbaa !9
  %485 = zext i32 %484 to i64
  %486 = getelementptr inbounds [8 x i32], ptr %30, i64 0, i64 %485
  %487 = load i32, ptr %486, align 4, !tbaa !9
  %488 = call i32 @FStar_UInt32_eq_mask(i32 noundef %483, i32 noundef %487)
  store i32 %488, ptr %38, align 4, !tbaa !9
  %489 = load i32, ptr %38, align 4, !tbaa !9
  %490 = load i32, ptr %31, align 4, !tbaa !9
  %491 = and i32 %489, %490
  store i32 %491, ptr %31, align 4, !tbaa !9
  %492 = load i32, ptr %32, align 4, !tbaa !9
  %493 = add i32 %492, 1
  store i32 %493, ptr %32, align 4, !tbaa !9
  %494 = load i32, ptr %32, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %38) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %39) #5
  %495 = load ptr, ptr %5, align 8, !tbaa !5
  %496 = load i32, ptr %32, align 4, !tbaa !9
  %497 = zext i32 %496 to i64
  %498 = getelementptr inbounds i32, ptr %495, i64 %497
  %499 = load i32, ptr %498, align 4, !tbaa !9
  %500 = load i32, ptr %32, align 4, !tbaa !9
  %501 = zext i32 %500 to i64
  %502 = getelementptr inbounds [8 x i32], ptr %30, i64 0, i64 %501
  %503 = load i32, ptr %502, align 4, !tbaa !9
  %504 = call i32 @FStar_UInt32_eq_mask(i32 noundef %499, i32 noundef %503)
  store i32 %504, ptr %39, align 4, !tbaa !9
  %505 = load i32, ptr %39, align 4, !tbaa !9
  %506 = load i32, ptr %31, align 4, !tbaa !9
  %507 = and i32 %505, %506
  store i32 %507, ptr %31, align 4, !tbaa !9
  %508 = load i32, ptr %32, align 4, !tbaa !9
  %509 = add i32 %508, 1
  store i32 %509, ptr %32, align 4, !tbaa !9
  %510 = load i32, ptr %32, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %39) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %40) #5
  %511 = load ptr, ptr %5, align 8, !tbaa !5
  %512 = load i32, ptr %32, align 4, !tbaa !9
  %513 = zext i32 %512 to i64
  %514 = getelementptr inbounds i32, ptr %511, i64 %513
  %515 = load i32, ptr %514, align 4, !tbaa !9
  %516 = load i32, ptr %32, align 4, !tbaa !9
  %517 = zext i32 %516 to i64
  %518 = getelementptr inbounds [8 x i32], ptr %30, i64 0, i64 %517
  %519 = load i32, ptr %518, align 4, !tbaa !9
  %520 = call i32 @FStar_UInt32_eq_mask(i32 noundef %515, i32 noundef %519)
  store i32 %520, ptr %40, align 4, !tbaa !9
  %521 = load i32, ptr %40, align 4, !tbaa !9
  %522 = load i32, ptr %31, align 4, !tbaa !9
  %523 = and i32 %521, %522
  store i32 %523, ptr %31, align 4, !tbaa !9
  %524 = load i32, ptr %32, align 4, !tbaa !9
  %525 = add i32 %524, 1
  store i32 %525, ptr %32, align 4, !tbaa !9
  %526 = load i32, ptr %32, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %40) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %32) #5
  br label %527

527:                                              ; preds = %398
  br label %528

528:                                              ; preds = %527
  call void @llvm.lifetime.start.p0(i64 4, ptr %41) #5
  %529 = load i32, ptr %31, align 4, !tbaa !9
  store i32 %529, ptr %41, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %42) #5
  %530 = load i32, ptr %41, align 4, !tbaa !9
  store i32 %530, ptr %42, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %43) #5
  %531 = load i32, ptr %42, align 4, !tbaa !9
  store i32 %531, ptr %43, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %44) #5
  store i32 0, ptr %44, align 4, !tbaa !9
  br label %532

532:                                              ; preds = %528
  call void @llvm.lifetime.start.p0(i64 4, ptr %45) #5
  store i32 0, ptr %45, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %46) #5
  %533 = load ptr, ptr %5, align 8, !tbaa !5
  %534 = load i32, ptr %45, align 4, !tbaa !9
  %535 = zext i32 %534 to i64
  %536 = getelementptr inbounds i32, ptr %533, i64 %535
  %537 = load i32, ptr %536, align 4, !tbaa !9
  %538 = load ptr, ptr %4, align 8, !tbaa !5
  %539 = load i32, ptr %45, align 4, !tbaa !9
  %540 = zext i32 %539 to i64
  %541 = getelementptr inbounds i32, ptr %538, i64 %540
  %542 = load i32, ptr %541, align 4, !tbaa !9
  %543 = call i32 @FStar_UInt32_eq_mask(i32 noundef %537, i32 noundef %542)
  store i32 %543, ptr %46, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %47) #5
  %544 = load ptr, ptr %5, align 8, !tbaa !5
  %545 = load i32, ptr %45, align 4, !tbaa !9
  %546 = zext i32 %545 to i64
  %547 = getelementptr inbounds i32, ptr %544, i64 %546
  %548 = load i32, ptr %547, align 4, !tbaa !9
  %549 = load ptr, ptr %4, align 8, !tbaa !5
  %550 = load i32, ptr %45, align 4, !tbaa !9
  %551 = zext i32 %550 to i64
  %552 = getelementptr inbounds i32, ptr %549, i64 %551
  %553 = load i32, ptr %552, align 4, !tbaa !9
  %554 = call i32 @FStar_UInt32_gte_mask(i32 noundef %548, i32 noundef %553)
  %555 = xor i32 %554, -1
  store i32 %555, ptr %47, align 4, !tbaa !9
  %556 = load i32, ptr %46, align 4, !tbaa !9
  %557 = load i32, ptr %44, align 4, !tbaa !9
  %558 = and i32 %556, %557
  %559 = load i32, ptr %46, align 4, !tbaa !9
  %560 = xor i32 %559, -1
  %561 = load i32, ptr %47, align 4, !tbaa !9
  %562 = and i32 %561, -1
  %563 = load i32, ptr %47, align 4, !tbaa !9
  %564 = xor i32 %563, -1
  %565 = and i32 %564, 0
  %566 = or i32 %562, %565
  %567 = and i32 %560, %566
  %568 = or i32 %558, %567
  store i32 %568, ptr %44, align 4, !tbaa !9
  %569 = load i32, ptr %45, align 4, !tbaa !9
  %570 = add i32 %569, 1
  store i32 %570, ptr %45, align 4, !tbaa !9
  %571 = load i32, ptr %45, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %47) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %46) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %48) #5
  %572 = load ptr, ptr %5, align 8, !tbaa !5
  %573 = load i32, ptr %45, align 4, !tbaa !9
  %574 = zext i32 %573 to i64
  %575 = getelementptr inbounds i32, ptr %572, i64 %574
  %576 = load i32, ptr %575, align 4, !tbaa !9
  %577 = load ptr, ptr %4, align 8, !tbaa !5
  %578 = load i32, ptr %45, align 4, !tbaa !9
  %579 = zext i32 %578 to i64
  %580 = getelementptr inbounds i32, ptr %577, i64 %579
  %581 = load i32, ptr %580, align 4, !tbaa !9
  %582 = call i32 @FStar_UInt32_eq_mask(i32 noundef %576, i32 noundef %581)
  store i32 %582, ptr %48, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %49) #5
  %583 = load ptr, ptr %5, align 8, !tbaa !5
  %584 = load i32, ptr %45, align 4, !tbaa !9
  %585 = zext i32 %584 to i64
  %586 = getelementptr inbounds i32, ptr %583, i64 %585
  %587 = load i32, ptr %586, align 4, !tbaa !9
  %588 = load ptr, ptr %4, align 8, !tbaa !5
  %589 = load i32, ptr %45, align 4, !tbaa !9
  %590 = zext i32 %589 to i64
  %591 = getelementptr inbounds i32, ptr %588, i64 %590
  %592 = load i32, ptr %591, align 4, !tbaa !9
  %593 = call i32 @FStar_UInt32_gte_mask(i32 noundef %587, i32 noundef %592)
  %594 = xor i32 %593, -1
  store i32 %594, ptr %49, align 4, !tbaa !9
  %595 = load i32, ptr %48, align 4, !tbaa !9
  %596 = load i32, ptr %44, align 4, !tbaa !9
  %597 = and i32 %595, %596
  %598 = load i32, ptr %48, align 4, !tbaa !9
  %599 = xor i32 %598, -1
  %600 = load i32, ptr %49, align 4, !tbaa !9
  %601 = and i32 %600, -1
  %602 = load i32, ptr %49, align 4, !tbaa !9
  %603 = xor i32 %602, -1
  %604 = and i32 %603, 0
  %605 = or i32 %601, %604
  %606 = and i32 %599, %605
  %607 = or i32 %597, %606
  store i32 %607, ptr %44, align 4, !tbaa !9
  %608 = load i32, ptr %45, align 4, !tbaa !9
  %609 = add i32 %608, 1
  store i32 %609, ptr %45, align 4, !tbaa !9
  %610 = load i32, ptr %45, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %49) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %48) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %50) #5
  %611 = load ptr, ptr %5, align 8, !tbaa !5
  %612 = load i32, ptr %45, align 4, !tbaa !9
  %613 = zext i32 %612 to i64
  %614 = getelementptr inbounds i32, ptr %611, i64 %613
  %615 = load i32, ptr %614, align 4, !tbaa !9
  %616 = load ptr, ptr %4, align 8, !tbaa !5
  %617 = load i32, ptr %45, align 4, !tbaa !9
  %618 = zext i32 %617 to i64
  %619 = getelementptr inbounds i32, ptr %616, i64 %618
  %620 = load i32, ptr %619, align 4, !tbaa !9
  %621 = call i32 @FStar_UInt32_eq_mask(i32 noundef %615, i32 noundef %620)
  store i32 %621, ptr %50, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %51) #5
  %622 = load ptr, ptr %5, align 8, !tbaa !5
  %623 = load i32, ptr %45, align 4, !tbaa !9
  %624 = zext i32 %623 to i64
  %625 = getelementptr inbounds i32, ptr %622, i64 %624
  %626 = load i32, ptr %625, align 4, !tbaa !9
  %627 = load ptr, ptr %4, align 8, !tbaa !5
  %628 = load i32, ptr %45, align 4, !tbaa !9
  %629 = zext i32 %628 to i64
  %630 = getelementptr inbounds i32, ptr %627, i64 %629
  %631 = load i32, ptr %630, align 4, !tbaa !9
  %632 = call i32 @FStar_UInt32_gte_mask(i32 noundef %626, i32 noundef %631)
  %633 = xor i32 %632, -1
  store i32 %633, ptr %51, align 4, !tbaa !9
  %634 = load i32, ptr %50, align 4, !tbaa !9
  %635 = load i32, ptr %44, align 4, !tbaa !9
  %636 = and i32 %634, %635
  %637 = load i32, ptr %50, align 4, !tbaa !9
  %638 = xor i32 %637, -1
  %639 = load i32, ptr %51, align 4, !tbaa !9
  %640 = and i32 %639, -1
  %641 = load i32, ptr %51, align 4, !tbaa !9
  %642 = xor i32 %641, -1
  %643 = and i32 %642, 0
  %644 = or i32 %640, %643
  %645 = and i32 %638, %644
  %646 = or i32 %636, %645
  store i32 %646, ptr %44, align 4, !tbaa !9
  %647 = load i32, ptr %45, align 4, !tbaa !9
  %648 = add i32 %647, 1
  store i32 %648, ptr %45, align 4, !tbaa !9
  %649 = load i32, ptr %45, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %51) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %50) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %52) #5
  %650 = load ptr, ptr %5, align 8, !tbaa !5
  %651 = load i32, ptr %45, align 4, !tbaa !9
  %652 = zext i32 %651 to i64
  %653 = getelementptr inbounds i32, ptr %650, i64 %652
  %654 = load i32, ptr %653, align 4, !tbaa !9
  %655 = load ptr, ptr %4, align 8, !tbaa !5
  %656 = load i32, ptr %45, align 4, !tbaa !9
  %657 = zext i32 %656 to i64
  %658 = getelementptr inbounds i32, ptr %655, i64 %657
  %659 = load i32, ptr %658, align 4, !tbaa !9
  %660 = call i32 @FStar_UInt32_eq_mask(i32 noundef %654, i32 noundef %659)
  store i32 %660, ptr %52, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %53) #5
  %661 = load ptr, ptr %5, align 8, !tbaa !5
  %662 = load i32, ptr %45, align 4, !tbaa !9
  %663 = zext i32 %662 to i64
  %664 = getelementptr inbounds i32, ptr %661, i64 %663
  %665 = load i32, ptr %664, align 4, !tbaa !9
  %666 = load ptr, ptr %4, align 8, !tbaa !5
  %667 = load i32, ptr %45, align 4, !tbaa !9
  %668 = zext i32 %667 to i64
  %669 = getelementptr inbounds i32, ptr %666, i64 %668
  %670 = load i32, ptr %669, align 4, !tbaa !9
  %671 = call i32 @FStar_UInt32_gte_mask(i32 noundef %665, i32 noundef %670)
  %672 = xor i32 %671, -1
  store i32 %672, ptr %53, align 4, !tbaa !9
  %673 = load i32, ptr %52, align 4, !tbaa !9
  %674 = load i32, ptr %44, align 4, !tbaa !9
  %675 = and i32 %673, %674
  %676 = load i32, ptr %52, align 4, !tbaa !9
  %677 = xor i32 %676, -1
  %678 = load i32, ptr %53, align 4, !tbaa !9
  %679 = and i32 %678, -1
  %680 = load i32, ptr %53, align 4, !tbaa !9
  %681 = xor i32 %680, -1
  %682 = and i32 %681, 0
  %683 = or i32 %679, %682
  %684 = and i32 %677, %683
  %685 = or i32 %675, %684
  store i32 %685, ptr %44, align 4, !tbaa !9
  %686 = load i32, ptr %45, align 4, !tbaa !9
  %687 = add i32 %686, 1
  store i32 %687, ptr %45, align 4, !tbaa !9
  %688 = load i32, ptr %45, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %53) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %52) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %54) #5
  %689 = load ptr, ptr %5, align 8, !tbaa !5
  %690 = load i32, ptr %45, align 4, !tbaa !9
  %691 = zext i32 %690 to i64
  %692 = getelementptr inbounds i32, ptr %689, i64 %691
  %693 = load i32, ptr %692, align 4, !tbaa !9
  %694 = load ptr, ptr %4, align 8, !tbaa !5
  %695 = load i32, ptr %45, align 4, !tbaa !9
  %696 = zext i32 %695 to i64
  %697 = getelementptr inbounds i32, ptr %694, i64 %696
  %698 = load i32, ptr %697, align 4, !tbaa !9
  %699 = call i32 @FStar_UInt32_eq_mask(i32 noundef %693, i32 noundef %698)
  store i32 %699, ptr %54, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %55) #5
  %700 = load ptr, ptr %5, align 8, !tbaa !5
  %701 = load i32, ptr %45, align 4, !tbaa !9
  %702 = zext i32 %701 to i64
  %703 = getelementptr inbounds i32, ptr %700, i64 %702
  %704 = load i32, ptr %703, align 4, !tbaa !9
  %705 = load ptr, ptr %4, align 8, !tbaa !5
  %706 = load i32, ptr %45, align 4, !tbaa !9
  %707 = zext i32 %706 to i64
  %708 = getelementptr inbounds i32, ptr %705, i64 %707
  %709 = load i32, ptr %708, align 4, !tbaa !9
  %710 = call i32 @FStar_UInt32_gte_mask(i32 noundef %704, i32 noundef %709)
  %711 = xor i32 %710, -1
  store i32 %711, ptr %55, align 4, !tbaa !9
  %712 = load i32, ptr %54, align 4, !tbaa !9
  %713 = load i32, ptr %44, align 4, !tbaa !9
  %714 = and i32 %712, %713
  %715 = load i32, ptr %54, align 4, !tbaa !9
  %716 = xor i32 %715, -1
  %717 = load i32, ptr %55, align 4, !tbaa !9
  %718 = and i32 %717, -1
  %719 = load i32, ptr %55, align 4, !tbaa !9
  %720 = xor i32 %719, -1
  %721 = and i32 %720, 0
  %722 = or i32 %718, %721
  %723 = and i32 %716, %722
  %724 = or i32 %714, %723
  store i32 %724, ptr %44, align 4, !tbaa !9
  %725 = load i32, ptr %45, align 4, !tbaa !9
  %726 = add i32 %725, 1
  store i32 %726, ptr %45, align 4, !tbaa !9
  %727 = load i32, ptr %45, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %55) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %54) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %56) #5
  %728 = load ptr, ptr %5, align 8, !tbaa !5
  %729 = load i32, ptr %45, align 4, !tbaa !9
  %730 = zext i32 %729 to i64
  %731 = getelementptr inbounds i32, ptr %728, i64 %730
  %732 = load i32, ptr %731, align 4, !tbaa !9
  %733 = load ptr, ptr %4, align 8, !tbaa !5
  %734 = load i32, ptr %45, align 4, !tbaa !9
  %735 = zext i32 %734 to i64
  %736 = getelementptr inbounds i32, ptr %733, i64 %735
  %737 = load i32, ptr %736, align 4, !tbaa !9
  %738 = call i32 @FStar_UInt32_eq_mask(i32 noundef %732, i32 noundef %737)
  store i32 %738, ptr %56, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %57) #5
  %739 = load ptr, ptr %5, align 8, !tbaa !5
  %740 = load i32, ptr %45, align 4, !tbaa !9
  %741 = zext i32 %740 to i64
  %742 = getelementptr inbounds i32, ptr %739, i64 %741
  %743 = load i32, ptr %742, align 4, !tbaa !9
  %744 = load ptr, ptr %4, align 8, !tbaa !5
  %745 = load i32, ptr %45, align 4, !tbaa !9
  %746 = zext i32 %745 to i64
  %747 = getelementptr inbounds i32, ptr %744, i64 %746
  %748 = load i32, ptr %747, align 4, !tbaa !9
  %749 = call i32 @FStar_UInt32_gte_mask(i32 noundef %743, i32 noundef %748)
  %750 = xor i32 %749, -1
  store i32 %750, ptr %57, align 4, !tbaa !9
  %751 = load i32, ptr %56, align 4, !tbaa !9
  %752 = load i32, ptr %44, align 4, !tbaa !9
  %753 = and i32 %751, %752
  %754 = load i32, ptr %56, align 4, !tbaa !9
  %755 = xor i32 %754, -1
  %756 = load i32, ptr %57, align 4, !tbaa !9
  %757 = and i32 %756, -1
  %758 = load i32, ptr %57, align 4, !tbaa !9
  %759 = xor i32 %758, -1
  %760 = and i32 %759, 0
  %761 = or i32 %757, %760
  %762 = and i32 %755, %761
  %763 = or i32 %753, %762
  store i32 %763, ptr %44, align 4, !tbaa !9
  %764 = load i32, ptr %45, align 4, !tbaa !9
  %765 = add i32 %764, 1
  store i32 %765, ptr %45, align 4, !tbaa !9
  %766 = load i32, ptr %45, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %57) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %56) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %58) #5
  %767 = load ptr, ptr %5, align 8, !tbaa !5
  %768 = load i32, ptr %45, align 4, !tbaa !9
  %769 = zext i32 %768 to i64
  %770 = getelementptr inbounds i32, ptr %767, i64 %769
  %771 = load i32, ptr %770, align 4, !tbaa !9
  %772 = load ptr, ptr %4, align 8, !tbaa !5
  %773 = load i32, ptr %45, align 4, !tbaa !9
  %774 = zext i32 %773 to i64
  %775 = getelementptr inbounds i32, ptr %772, i64 %774
  %776 = load i32, ptr %775, align 4, !tbaa !9
  %777 = call i32 @FStar_UInt32_eq_mask(i32 noundef %771, i32 noundef %776)
  store i32 %777, ptr %58, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %59) #5
  %778 = load ptr, ptr %5, align 8, !tbaa !5
  %779 = load i32, ptr %45, align 4, !tbaa !9
  %780 = zext i32 %779 to i64
  %781 = getelementptr inbounds i32, ptr %778, i64 %780
  %782 = load i32, ptr %781, align 4, !tbaa !9
  %783 = load ptr, ptr %4, align 8, !tbaa !5
  %784 = load i32, ptr %45, align 4, !tbaa !9
  %785 = zext i32 %784 to i64
  %786 = getelementptr inbounds i32, ptr %783, i64 %785
  %787 = load i32, ptr %786, align 4, !tbaa !9
  %788 = call i32 @FStar_UInt32_gte_mask(i32 noundef %782, i32 noundef %787)
  %789 = xor i32 %788, -1
  store i32 %789, ptr %59, align 4, !tbaa !9
  %790 = load i32, ptr %58, align 4, !tbaa !9
  %791 = load i32, ptr %44, align 4, !tbaa !9
  %792 = and i32 %790, %791
  %793 = load i32, ptr %58, align 4, !tbaa !9
  %794 = xor i32 %793, -1
  %795 = load i32, ptr %59, align 4, !tbaa !9
  %796 = and i32 %795, -1
  %797 = load i32, ptr %59, align 4, !tbaa !9
  %798 = xor i32 %797, -1
  %799 = and i32 %798, 0
  %800 = or i32 %796, %799
  %801 = and i32 %794, %800
  %802 = or i32 %792, %801
  store i32 %802, ptr %44, align 4, !tbaa !9
  %803 = load i32, ptr %45, align 4, !tbaa !9
  %804 = add i32 %803, 1
  store i32 %804, ptr %45, align 4, !tbaa !9
  %805 = load i32, ptr %45, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %59) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %58) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %60) #5
  %806 = load ptr, ptr %5, align 8, !tbaa !5
  %807 = load i32, ptr %45, align 4, !tbaa !9
  %808 = zext i32 %807 to i64
  %809 = getelementptr inbounds i32, ptr %806, i64 %808
  %810 = load i32, ptr %809, align 4, !tbaa !9
  %811 = load ptr, ptr %4, align 8, !tbaa !5
  %812 = load i32, ptr %45, align 4, !tbaa !9
  %813 = zext i32 %812 to i64
  %814 = getelementptr inbounds i32, ptr %811, i64 %813
  %815 = load i32, ptr %814, align 4, !tbaa !9
  %816 = call i32 @FStar_UInt32_eq_mask(i32 noundef %810, i32 noundef %815)
  store i32 %816, ptr %60, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %61) #5
  %817 = load ptr, ptr %5, align 8, !tbaa !5
  %818 = load i32, ptr %45, align 4, !tbaa !9
  %819 = zext i32 %818 to i64
  %820 = getelementptr inbounds i32, ptr %817, i64 %819
  %821 = load i32, ptr %820, align 4, !tbaa !9
  %822 = load ptr, ptr %4, align 8, !tbaa !5
  %823 = load i32, ptr %45, align 4, !tbaa !9
  %824 = zext i32 %823 to i64
  %825 = getelementptr inbounds i32, ptr %822, i64 %824
  %826 = load i32, ptr %825, align 4, !tbaa !9
  %827 = call i32 @FStar_UInt32_gte_mask(i32 noundef %821, i32 noundef %826)
  %828 = xor i32 %827, -1
  store i32 %828, ptr %61, align 4, !tbaa !9
  %829 = load i32, ptr %60, align 4, !tbaa !9
  %830 = load i32, ptr %44, align 4, !tbaa !9
  %831 = and i32 %829, %830
  %832 = load i32, ptr %60, align 4, !tbaa !9
  %833 = xor i32 %832, -1
  %834 = load i32, ptr %61, align 4, !tbaa !9
  %835 = and i32 %834, -1
  %836 = load i32, ptr %61, align 4, !tbaa !9
  %837 = xor i32 %836, -1
  %838 = and i32 %837, 0
  %839 = or i32 %835, %838
  %840 = and i32 %833, %839
  %841 = or i32 %831, %840
  store i32 %841, ptr %44, align 4, !tbaa !9
  %842 = load i32, ptr %45, align 4, !tbaa !9
  %843 = add i32 %842, 1
  store i32 %843, ptr %45, align 4, !tbaa !9
  %844 = load i32, ptr %45, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %61) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %60) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %45) #5
  br label %845

845:                                              ; preds = %532
  br label %846

846:                                              ; preds = %845
  call void @llvm.lifetime.start.p0(i64 4, ptr %62) #5
  %847 = load i32, ptr %44, align 4, !tbaa !9
  store i32 %847, ptr %62, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %63) #5
  %848 = load i32, ptr %29, align 4, !tbaa !9
  %849 = load i32, ptr %43, align 4, !tbaa !9
  %850 = xor i32 %849, -1
  %851 = and i32 %848, %850
  %852 = load i32, ptr %62, align 4, !tbaa !9
  %853 = and i32 %851, %852
  store i32 %853, ptr %63, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %64) #5
  %854 = load ptr, ptr %4, align 8, !tbaa !5
  %855 = call i32 @Hacl_Bignum_Lib_bn_get_top_index_u32(i32 noundef 8, ptr noundef %854)
  %856 = mul i32 32, %855
  store i32 %856, ptr %64, align 4, !tbaa !9
  %857 = load i32, ptr %63, align 4, !tbaa !9
  %858 = icmp eq i32 %857, -1
  br i1 %858, label %859, label %968

859:                                              ; preds = %846
  call void @llvm.lifetime.start.p0(i64 32, ptr %65) #5
  call void @llvm.memset.p0.i64(ptr align 16 %65, i8 0, i64 32, i1 false)
  call void @llvm.lifetime.start.p0(i64 4, ptr %66) #5
  %860 = load ptr, ptr %4, align 8, !tbaa !5
  %861 = getelementptr inbounds i32, ptr %860, i64 0
  %862 = load i32, ptr %861, align 4, !tbaa !9
  %863 = getelementptr inbounds [8 x i32], ptr %65, i64 0, i64 0
  %864 = call i32 @Hacl_IntTypes_Intrinsics_sub_borrow_u32(i32 noundef 0, i32 noundef %862, i32 noundef 2, ptr noundef %863)
  store i32 %864, ptr %66, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %67) #5
  %865 = load ptr, ptr %4, align 8, !tbaa !5
  %866 = getelementptr inbounds i32, ptr %865, i64 1
  store ptr %866, ptr %67, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %68) #5
  %867 = getelementptr inbounds [8 x i32], ptr %65, i64 0, i64 0
  %868 = getelementptr inbounds i32, ptr %867, i64 1
  store ptr %868, ptr %68, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %69) #5
  %869 = load i32, ptr %66, align 4, !tbaa !9
  store i32 %869, ptr %69, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %70) #5
  %870 = load ptr, ptr %67, align 8, !tbaa !5
  %871 = getelementptr inbounds i32, ptr %870, i64 0
  %872 = load i32, ptr %871, align 4, !tbaa !9
  store i32 %872, ptr %70, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %71) #5
  %873 = load ptr, ptr %68, align 8, !tbaa !5
  %874 = getelementptr inbounds i32, ptr %873, i64 0
  store ptr %874, ptr %71, align 8, !tbaa !5
  %875 = load i32, ptr %69, align 4, !tbaa !9
  %876 = load i32, ptr %70, align 4, !tbaa !9
  %877 = load ptr, ptr %71, align 8, !tbaa !5
  %878 = call i32 @Hacl_IntTypes_Intrinsics_sub_borrow_u32(i32 noundef %875, i32 noundef %876, i32 noundef 0, ptr noundef %877)
  store i32 %878, ptr %69, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %72) #5
  %879 = load ptr, ptr %67, align 8, !tbaa !5
  %880 = getelementptr inbounds i32, ptr %879, i64 1
  %881 = load i32, ptr %880, align 4, !tbaa !9
  store i32 %881, ptr %72, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %73) #5
  %882 = load ptr, ptr %68, align 8, !tbaa !5
  %883 = getelementptr inbounds i32, ptr %882, i64 0
  %884 = getelementptr inbounds i32, ptr %883, i64 1
  store ptr %884, ptr %73, align 8, !tbaa !5
  %885 = load i32, ptr %69, align 4, !tbaa !9
  %886 = load i32, ptr %72, align 4, !tbaa !9
  %887 = load ptr, ptr %73, align 8, !tbaa !5
  %888 = call i32 @Hacl_IntTypes_Intrinsics_sub_borrow_u32(i32 noundef %885, i32 noundef %886, i32 noundef 0, ptr noundef %887)
  store i32 %888, ptr %69, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %74) #5
  %889 = load ptr, ptr %67, align 8, !tbaa !5
  %890 = getelementptr inbounds i32, ptr %889, i64 2
  %891 = load i32, ptr %890, align 4, !tbaa !9
  store i32 %891, ptr %74, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %75) #5
  %892 = load ptr, ptr %68, align 8, !tbaa !5
  %893 = getelementptr inbounds i32, ptr %892, i64 0
  %894 = getelementptr inbounds i32, ptr %893, i64 2
  store ptr %894, ptr %75, align 8, !tbaa !5
  %895 = load i32, ptr %69, align 4, !tbaa !9
  %896 = load i32, ptr %74, align 4, !tbaa !9
  %897 = load ptr, ptr %75, align 8, !tbaa !5
  %898 = call i32 @Hacl_IntTypes_Intrinsics_sub_borrow_u32(i32 noundef %895, i32 noundef %896, i32 noundef 0, ptr noundef %897)
  store i32 %898, ptr %69, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %76) #5
  %899 = load ptr, ptr %67, align 8, !tbaa !5
  %900 = getelementptr inbounds i32, ptr %899, i64 3
  %901 = load i32, ptr %900, align 4, !tbaa !9
  store i32 %901, ptr %76, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %77) #5
  %902 = load ptr, ptr %68, align 8, !tbaa !5
  %903 = getelementptr inbounds i32, ptr %902, i64 0
  %904 = getelementptr inbounds i32, ptr %903, i64 3
  store ptr %904, ptr %77, align 8, !tbaa !5
  %905 = load i32, ptr %69, align 4, !tbaa !9
  %906 = load i32, ptr %76, align 4, !tbaa !9
  %907 = load ptr, ptr %77, align 8, !tbaa !5
  %908 = call i32 @Hacl_IntTypes_Intrinsics_sub_borrow_u32(i32 noundef %905, i32 noundef %906, i32 noundef 0, ptr noundef %907)
  store i32 %908, ptr %69, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %77) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %76) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %75) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %74) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %73) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %72) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %71) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %70) #5
  br label %909

909:                                              ; preds = %859
  call void @llvm.lifetime.start.p0(i64 4, ptr %78) #5
  store i32 4, ptr %78, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %79) #5
  %910 = load ptr, ptr %67, align 8, !tbaa !5
  %911 = load i32, ptr %78, align 4, !tbaa !9
  %912 = zext i32 %911 to i64
  %913 = getelementptr inbounds i32, ptr %910, i64 %912
  %914 = load i32, ptr %913, align 4, !tbaa !9
  store i32 %914, ptr %79, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %80) #5
  %915 = load ptr, ptr %68, align 8, !tbaa !5
  %916 = load i32, ptr %78, align 4, !tbaa !9
  %917 = zext i32 %916 to i64
  %918 = getelementptr inbounds i32, ptr %915, i64 %917
  store ptr %918, ptr %80, align 8, !tbaa !5
  %919 = load i32, ptr %69, align 4, !tbaa !9
  %920 = load i32, ptr %79, align 4, !tbaa !9
  %921 = load ptr, ptr %80, align 8, !tbaa !5
  %922 = call i32 @Hacl_IntTypes_Intrinsics_sub_borrow_u32(i32 noundef %919, i32 noundef %920, i32 noundef 0, ptr noundef %921)
  store i32 %922, ptr %69, align 4, !tbaa !9
  %923 = load i32, ptr %78, align 4, !tbaa !9
  %924 = add i32 %923, 1
  store i32 %924, ptr %78, align 4, !tbaa !9
  %925 = load i32, ptr %78, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %80) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %79) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %81) #5
  %926 = load ptr, ptr %67, align 8, !tbaa !5
  %927 = load i32, ptr %78, align 4, !tbaa !9
  %928 = zext i32 %927 to i64
  %929 = getelementptr inbounds i32, ptr %926, i64 %928
  %930 = load i32, ptr %929, align 4, !tbaa !9
  store i32 %930, ptr %81, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %82) #5
  %931 = load ptr, ptr %68, align 8, !tbaa !5
  %932 = load i32, ptr %78, align 4, !tbaa !9
  %933 = zext i32 %932 to i64
  %934 = getelementptr inbounds i32, ptr %931, i64 %933
  store ptr %934, ptr %82, align 8, !tbaa !5
  %935 = load i32, ptr %69, align 4, !tbaa !9
  %936 = load i32, ptr %81, align 4, !tbaa !9
  %937 = load ptr, ptr %82, align 8, !tbaa !5
  %938 = call i32 @Hacl_IntTypes_Intrinsics_sub_borrow_u32(i32 noundef %935, i32 noundef %936, i32 noundef 0, ptr noundef %937)
  store i32 %938, ptr %69, align 4, !tbaa !9
  %939 = load i32, ptr %78, align 4, !tbaa !9
  %940 = add i32 %939, 1
  store i32 %940, ptr %78, align 4, !tbaa !9
  %941 = load i32, ptr %78, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %82) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %81) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %83) #5
  %942 = load ptr, ptr %67, align 8, !tbaa !5
  %943 = load i32, ptr %78, align 4, !tbaa !9
  %944 = zext i32 %943 to i64
  %945 = getelementptr inbounds i32, ptr %942, i64 %944
  %946 = load i32, ptr %945, align 4, !tbaa !9
  store i32 %946, ptr %83, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %84) #5
  %947 = load ptr, ptr %68, align 8, !tbaa !5
  %948 = load i32, ptr %78, align 4, !tbaa !9
  %949 = zext i32 %948 to i64
  %950 = getelementptr inbounds i32, ptr %947, i64 %949
  store ptr %950, ptr %84, align 8, !tbaa !5
  %951 = load i32, ptr %69, align 4, !tbaa !9
  %952 = load i32, ptr %83, align 4, !tbaa !9
  %953 = load ptr, ptr %84, align 8, !tbaa !5
  %954 = call i32 @Hacl_IntTypes_Intrinsics_sub_borrow_u32(i32 noundef %951, i32 noundef %952, i32 noundef 0, ptr noundef %953)
  store i32 %954, ptr %69, align 4, !tbaa !9
  %955 = load i32, ptr %78, align 4, !tbaa !9
  %956 = add i32 %955, 1
  store i32 %956, ptr %78, align 4, !tbaa !9
  %957 = load i32, ptr %78, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %84) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %83) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %78) #5
  br label %958

958:                                              ; preds = %909
  br label %959

959:                                              ; preds = %958
  call void @llvm.lifetime.start.p0(i64 4, ptr %85) #5
  %960 = load i32, ptr %69, align 4, !tbaa !9
  store i32 %960, ptr %85, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %86) #5
  %961 = load i32, ptr %85, align 4, !tbaa !9
  store i32 %961, ptr %86, align 4, !tbaa !9
  %962 = load i32, ptr %86, align 4, !tbaa !9
  %963 = load i32, ptr %64, align 4, !tbaa !9
  %964 = load ptr, ptr %4, align 8, !tbaa !5
  %965 = load ptr, ptr %5, align 8, !tbaa !5
  %966 = getelementptr inbounds [8 x i32], ptr %65, i64 0, i64 0
  %967 = load ptr, ptr %6, align 8, !tbaa !5
  call void @exp_vartime(i32 noundef %963, ptr noundef %964, ptr noundef %965, i32 noundef 256, ptr noundef %966, ptr noundef %967)
  call void @llvm.lifetime.end.p0(i64 4, ptr %86) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %85) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %69) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %68) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %67) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %66) #5
  call void @llvm.lifetime.end.p0(i64 32, ptr %65) #5
  br label %970

968:                                              ; preds = %846
  %969 = load ptr, ptr %6, align 8, !tbaa !5
  call void @llvm.memset.p0.i64(ptr align 4 %969, i8 0, i64 32, i1 false)
  br label %970

970:                                              ; preds = %968, %959
  %971 = load i32, ptr %63, align 4, !tbaa !9
  %972 = icmp eq i32 %971, -1
  call void @llvm.lifetime.end.p0(i64 4, ptr %64) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %63) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %62) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %44) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %43) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %42) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %41) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %31) #5
  call void @llvm.lifetime.end.p0(i64 32, ptr %30) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %29) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #5
  call void @llvm.lifetime.end.p0(i64 32, ptr %7) #5
  ret i1 %972
}

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


; 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 nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #0

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

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

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

; Function Attrs: noinline nounwind uwtable
declare hidden i32 @FStar_UInt32_eq_mask(i32 noundef, i32 noundef) local_unnamed_addr #3

; Function Attrs: noinline nounwind uwtable
declare hidden i32 @FStar_UInt32_gte_mask(i32 noundef, i32 noundef) local_unnamed_addr #3

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

; Function Attrs: inlinehint nounwind uwtable
declare hidden void @exp_vartime(i32 noundef, ptr noundef, ptr noundef, i32 noundef, ptr noundef, ptr noundef) local_unnamed_addr #1

; Function Attrs: nounwind uwtable
define dso_local noundef zeroext i1 @Hacl_Bignum256_32_mod_inv_prime_vartime(ptr noundef %0, ptr noundef %1, ptr noundef %2) local_unnamed_addr #4 {
  %4 = alloca [8 x i32], align 16
  %5 = load i32, ptr %0, align 4, !tbaa !5
  %6 = and i32 %5, 1
  %7 = tail call i32 @FStar_UInt32_eq_mask(i32 noundef 1, i32 noundef %5)
  %8 = load i32, ptr %0, align 4, !tbaa !5
  %9 = tail call i32 @FStar_UInt32_gte_mask(i32 noundef 1, i32 noundef %8)
  %.demorgan = or i32 %9, %7
  %10 = xor i32 %.demorgan, -1
  %11 = getelementptr inbounds i8, ptr %0, i64 4
  %12 = load i32, ptr %11, align 4, !tbaa !5
  %13 = tail call i32 @FStar_UInt32_eq_mask(i32 noundef 0, i32 noundef %12)
  %14 = load i32, ptr %11, align 4, !tbaa !5
  %15 = tail call i32 @FStar_UInt32_gte_mask(i32 noundef 0, i32 noundef %14)
  %16 = and i32 %13, %10
  %.demorgan352 = or i32 %15, %13
  %17 = xor i32 %.demorgan352, -1
  %18 = or i32 %16, %17
  %19 = getelementptr inbounds i8, ptr %0, i64 8
  %20 = load i32, ptr %19, align 4, !tbaa !5
  %21 = tail call i32 @FStar_UInt32_eq_mask(i32 noundef 0, i32 noundef %20)
  %22 = load i32, ptr %19, align 4, !tbaa !5
  %23 = tail call i32 @FStar_UInt32_gte_mask(i32 noundef 0, i32 noundef %22)
  %24 = and i32 %21, %18
  %.demorgan353 = or i32 %23, %21
  %25 = xor i32 %.demorgan353, -1
  %26 = or i32 %24, %25
  %27 = getelementptr inbounds i8, ptr %0, i64 12
  %28 = load i32, ptr %27, align 4, !tbaa !5
  %29 = tail call i32 @FStar_UInt32_eq_mask(i32 noundef 0, i32 noundef %28)
  %30 = load i32, ptr %27, align 4, !tbaa !5
  %31 = tail call i32 @FStar_UInt32_gte_mask(i32 noundef 0, i32 noundef %30)
  %32 = and i32 %29, %26
  %.demorgan354 = or i32 %31, %29
  %33 = xor i32 %.demorgan354, -1
  %34 = or i32 %32, %33
  %35 = getelementptr inbounds i8, ptr %0, i64 16
  %36 = load i32, ptr %35, align 4, !tbaa !5
  %37 = tail call i32 @FStar_UInt32_eq_mask(i32 noundef 0, i32 noundef %36)
  %38 = load i32, ptr %35, align 4, !tbaa !5
  %39 = tail call i32 @FStar_UInt32_gte_mask(i32 noundef 0, i32 noundef %38)
  %40 = and i32 %37, %34
  %.demorgan355 = or i32 %39, %37
  %41 = xor i32 %.demorgan355, -1
  %42 = or i32 %40, %41
  %43 = getelementptr inbounds i8, ptr %0, i64 20
  %44 = load i32, ptr %43, align 4, !tbaa !5
  %45 = tail call i32 @FStar_UInt32_eq_mask(i32 noundef 0, i32 noundef %44)
  %46 = load i32, ptr %43, align 4, !tbaa !5
  %47 = tail call i32 @FStar_UInt32_gte_mask(i32 noundef 0, i32 noundef %46)
  %48 = and i32 %45, %42
  %.demorgan356 = or i32 %47, %45
  %49 = xor i32 %.demorgan356, -1
  %50 = or i32 %48, %49
  %51 = getelementptr inbounds i8, ptr %0, i64 24
  %52 = load i32, ptr %51, align 4, !tbaa !5
  %53 = tail call i32 @FStar_UInt32_eq_mask(i32 noundef 0, i32 noundef %52)
  %54 = load i32, ptr %51, align 4, !tbaa !5
  %55 = tail call i32 @FStar_UInt32_gte_mask(i32 noundef 0, i32 noundef %54)
  %56 = and i32 %53, %50
  %.demorgan357 = or i32 %55, %53
  %57 = xor i32 %.demorgan357, -1
  %58 = or i32 %56, %57
  %59 = getelementptr inbounds i8, ptr %0, i64 28
  %60 = load i32, ptr %59, align 4, !tbaa !5
  %61 = tail call i32 @FStar_UInt32_eq_mask(i32 noundef 0, i32 noundef %60)
  %62 = load i32, ptr %59, align 4, !tbaa !5
  %63 = tail call i32 @FStar_UInt32_gte_mask(i32 noundef 0, i32 noundef %62)
  %64 = and i32 %61, %58
  %.demorgan358 = or i32 %63, %61
  %65 = xor i32 %.demorgan358, -1
  %66 = or i32 %64, %65
  %67 = icmp eq i32 %6, 0
  %68 = select i1 %67, i32 0, i32 %66
  %69 = load i32, ptr %1, align 4, !tbaa !5
  %70 = tail call i32 @FStar_UInt32_eq_mask(i32 noundef %69, i32 noundef 0)
  %71 = getelementptr inbounds i8, ptr %1, i64 4
  %72 = load i32, ptr %71, align 4, !tbaa !5
  %73 = tail call i32 @FStar_UInt32_eq_mask(i32 noundef %72, i32 noundef 0)
  %74 = and i32 %73, %70
  %75 = getelementptr inbounds i8, ptr %1, i64 8
  %76 = load i32, ptr %75, align 4, !tbaa !5
  %77 = tail call i32 @FStar_UInt32_eq_mask(i32 noundef %76, i32 noundef 0)
  %78 = and i32 %74, %77
  %79 = getelementptr inbounds i8, ptr %1, i64 12
  %80 = load i32, ptr %79, align 4, !tbaa !5
  %81 = tail call i32 @FStar_UInt32_eq_mask(i32 noundef %80, i32 noundef 0)
  %82 = and i32 %78, %81
  %83 = getelementptr inbounds i8, ptr %1, i64 16
  %84 = load i32, ptr %83, align 4, !tbaa !5
  %85 = tail call i32 @FStar_UInt32_eq_mask(i32 noundef %84, i32 noundef 0)
  %86 = and i32 %82, %85
  %87 = getelementptr inbounds i8, ptr %1, i64 20
  %88 = load i32, ptr %87, align 4, !tbaa !5
  %89 = tail call i32 @FStar_UInt32_eq_mask(i32 noundef %88, i32 noundef 0)
  %90 = and i32 %86, %89
  %91 = getelementptr inbounds i8, ptr %1, i64 24
  %92 = load i32, ptr %91, align 4, !tbaa !5
  %93 = tail call i32 @FStar_UInt32_eq_mask(i32 noundef %92, i32 noundef 0)
  %94 = and i32 %90, %93
  %95 = getelementptr inbounds i8, ptr %1, i64 28
  %96 = load i32, ptr %95, align 4, !tbaa !5
  %97 = tail call i32 @FStar_UInt32_eq_mask(i32 noundef %96, i32 noundef 0)
  %98 = and i32 %94, %97
  %99 = load i32, ptr %1, align 4, !tbaa !5
  %100 = load i32, ptr %0, align 4, !tbaa !5
  %101 = tail call i32 @FStar_UInt32_eq_mask(i32 noundef %99, i32 noundef %100)
  %102 = load i32, ptr %1, align 4, !tbaa !5
  %103 = load i32, ptr %0, align 4, !tbaa !5
  %104 = tail call i32 @FStar_UInt32_gte_mask(i32 noundef %102, i32 noundef %103)
  %.demorgan359 = or i32 %104, %101
  %105 = xor i32 %.demorgan359, -1
  %106 = load i32, ptr %71, align 4, !tbaa !5
  %107 = load i32, ptr %11, align 4, !tbaa !5
  %108 = tail call i32 @FStar_UInt32_eq_mask(i32 noundef %106, i32 noundef %107)
  %109 = load i32, ptr %71, align 4, !tbaa !5
  %110 = load i32, ptr %11, align 4, !tbaa !5
  %111 = tail call i32 @FStar_UInt32_gte_mask(i32 noundef %109, i32 noundef %110)
  %112 = and i32 %108, %105
  %.demorgan360 = or i32 %111, %108
  %113 = xor i32 %.demorgan360, -1
  %114 = or i32 %112, %113
  %115 = load i32, ptr %75, align 4, !tbaa !5
  %116 = load i32, ptr %19, align 4, !tbaa !5
  %117 = tail call i32 @FStar_UInt32_eq_mask(i32 noundef %115, i32 noundef %116)
  %118 = load i32, ptr %75, align 4, !tbaa !5
  %119 = load i32, ptr %19, align 4, !tbaa !5
  %120 = tail call i32 @FStar_UInt32_gte_mask(i32 noundef %118, i32 noundef %119)
  %121 = and i32 %117, %114
  %.demorgan361 = or i32 %120, %117
  %122 = xor i32 %.demorgan361, -1
  %123 = or i32 %121, %122
  %124 = load i32, ptr %79, align 4, !tbaa !5
  %125 = load i32, ptr %27, align 4, !tbaa !5
  %126 = tail call i32 @FStar_UInt32_eq_mask(i32 noundef %124, i32 noundef %125)
  %127 = load i32, ptr %79, align 4, !tbaa !5
  %128 = load i32, ptr %27, align 4, !tbaa !5
  %129 = tail call i32 @FStar_UInt32_gte_mask(i32 noundef %127, i32 noundef %128)
  %130 = and i32 %126, %123
  %.demorgan362 = or i32 %129, %126
  %131 = xor i32 %.demorgan362, -1
  %132 = or i32 %130, %131
  %133 = load i32, ptr %83, align 4, !tbaa !5
  %134 = load i32, ptr %35, align 4, !tbaa !5
  %135 = tail call i32 @FStar_UInt32_eq_mask(i32 noundef %133, i32 noundef %134)
  %136 = load i32, ptr %83, align 4, !tbaa !5
  %137 = load i32, ptr %35, align 4, !tbaa !5
  %138 = tail call i32 @FStar_UInt32_gte_mask(i32 noundef %136, i32 noundef %137)
  %139 = and i32 %135, %132
  %.demorgan363 = or i32 %138, %135
  %140 = xor i32 %.demorgan363, -1
  %141 = or i32 %139, %140
  %142 = load i32, ptr %87, align 4, !tbaa !5
  %143 = load i32, ptr %43, align 4, !tbaa !5
  %144 = tail call i32 @FStar_UInt32_eq_mask(i32 noundef %142, i32 noundef %143)
  %145 = load i32, ptr %87, align 4, !tbaa !5
  %146 = load i32, ptr %43, align 4, !tbaa !5
  %147 = tail call i32 @FStar_UInt32_gte_mask(i32 noundef %145, i32 noundef %146)
  %148 = and i32 %144, %141
  %.demorgan364 = or i32 %147, %144
  %149 = xor i32 %.demorgan364, -1
  %150 = or i32 %148, %149
  %151 = load i32, ptr %91, align 4, !tbaa !5
  %152 = load i32, ptr %51, align 4, !tbaa !5
  %153 = tail call i32 @FStar_UInt32_eq_mask(i32 noundef %151, i32 noundef %152)
  %154 = load i32, ptr %91, align 4, !tbaa !5
  %155 = load i32, ptr %51, align 4, !tbaa !5
  %156 = tail call i32 @FStar_UInt32_gte_mask(i32 noundef %154, i32 noundef %155)
  %157 = and i32 %153, %150
  %.demorgan365 = or i32 %156, %153
  %158 = xor i32 %.demorgan365, -1
  %159 = or i32 %157, %158
  %160 = load i32, ptr %95, align 4, !tbaa !5
  %161 = load i32, ptr %59, align 4, !tbaa !5
  %162 = tail call i32 @FStar_UInt32_eq_mask(i32 noundef %160, i32 noundef %161)
  %163 = load i32, ptr %95, align 4, !tbaa !5
  %164 = load i32, ptr %59, align 4, !tbaa !5
  %165 = tail call i32 @FStar_UInt32_gte_mask(i32 noundef %163, i32 noundef %164)
  %166 = and i32 %162, %159
  %.demorgan366 = or i32 %165, %162
  %167 = xor i32 %.demorgan366, -1
  %168 = or i32 %166, %167
  %169 = xor i32 %98, -1
  %170 = and i32 %68, %169
  %171 = and i32 %170, %168
  %172 = tail call i32 @Hacl_Bignum_Lib_bn_get_top_index_u32(i32 noundef 8, ptr noundef nonnull %0)
  %173 = icmp eq i32 %171, -1
  br i1 %173, label %174, label %199

174:                                              ; preds = %3
  %175 = shl i32 %172, 5
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %4) #5
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(32) %4, i8 0, i64 32, i1 false)
  %176 = load i32, ptr %0, align 4, !tbaa !5
  %177 = call i32 @Hacl_IntTypes_Intrinsics_sub_borrow_u32(i32 noundef 0, i32 noundef %176, i32 noundef 2, ptr noundef nonnull %4)
  %178 = getelementptr inbounds i8, ptr %4, i64 4
  %179 = load i32, ptr %11, align 4, !tbaa !5
  %180 = call i32 @Hacl_IntTypes_Intrinsics_sub_borrow_u32(i32 noundef %177, i32 noundef %179, i32 noundef 0, ptr noundef nonnull %178)
  %181 = load i32, ptr %19, align 4, !tbaa !5
  %182 = getelementptr inbounds i8, ptr %4, i64 8
  %183 = call i32 @Hacl_IntTypes_Intrinsics_sub_borrow_u32(i32 noundef %180, i32 noundef %181, i32 noundef 0, ptr noundef nonnull %182)
  %184 = load i32, ptr %27, align 4, !tbaa !5
  %185 = getelementptr inbounds i8, ptr %4, i64 12
  %186 = call i32 @Hacl_IntTypes_Intrinsics_sub_borrow_u32(i32 noundef %183, i32 noundef %184, i32 noundef 0, ptr noundef nonnull %185)
  %187 = load i32, ptr %35, align 4, !tbaa !5
  %188 = getelementptr inbounds i8, ptr %4, i64 16
  %189 = call i32 @Hacl_IntTypes_Intrinsics_sub_borrow_u32(i32 noundef %186, i32 noundef %187, i32 noundef 0, ptr noundef nonnull %188)
  %190 = load i32, ptr %43, align 4, !tbaa !5
  %191 = getelementptr inbounds i8, ptr %4, i64 20
  %192 = call i32 @Hacl_IntTypes_Intrinsics_sub_borrow_u32(i32 noundef %189, i32 noundef %190, i32 noundef 0, ptr noundef nonnull %191)
  %193 = load i32, ptr %51, align 4, !tbaa !5
  %194 = getelementptr inbounds i8, ptr %4, i64 24
  %195 = call i32 @Hacl_IntTypes_Intrinsics_sub_borrow_u32(i32 noundef %192, i32 noundef %193, i32 noundef 0, ptr noundef nonnull %194)
  %196 = load i32, ptr %59, align 4, !tbaa !5
  %197 = getelementptr inbounds i8, ptr %4, i64 28
  %198 = call i32 @Hacl_IntTypes_Intrinsics_sub_borrow_u32(i32 noundef %195, i32 noundef %196, i32 noundef 0, ptr noundef nonnull %197)
  call void @exp_vartime(i32 noundef %175, ptr noundef nonnull %0, ptr noundef nonnull %1, i32 noundef 256, ptr noundef nonnull %4, ptr noundef %2)
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %4) #5
  br label %200

199:                                              ; preds = %3
  tail call void @llvm.memset.p0.i64(ptr noundef nonnull align 4 dereferenceable(32) %2, i8 0, i64 32, i1 false)
  br label %200

200:                                              ; preds = %199, %174
  ret i1 %173
}

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

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

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


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