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

; 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_HMAC_DRBG_state_s = type { ptr, ptr, ptr }

@stderr = external global ptr, align 8
@.str = external hidden unnamed_addr constant [35 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [81 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [70 x i8], align 1

; Function Attrs: nounwind
declare i32 @fprintf(ptr noundef, ptr noundef, ...) #0

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

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

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

; Function Attrs: nounwind uwtable
define dso_local void @Hacl_HMAC_DRBG_instantiate(i8 noundef zeroext %0, ptr noundef byval(%struct.Hacl_HMAC_DRBG_state_s) align 8 %1, i32 noundef %2, ptr noundef %3, i32 noundef %4, ptr noundef %5, i32 noundef %6, ptr noundef %7) #3 {
  %9 = alloca i8, align 1
  %10 = alloca i32, align 4
  %11 = alloca ptr, align 8
  %12 = alloca i32, align 4
  %13 = alloca ptr, align 8
  %14 = alloca i32, align 4
  %15 = alloca ptr, align 8
  %16 = alloca ptr, align 8
  %17 = alloca i64, align 8
  %18 = alloca ptr, align 8
  %19 = alloca ptr, align 8
  %20 = alloca ptr, align 8
  %21 = alloca i32, align 4
  %22 = alloca i64, align 8
  %23 = alloca ptr, align 8
  %24 = alloca i32, align 4
  %25 = alloca ptr, align 8
  %26 = alloca i64, align 8
  %27 = alloca ptr, align 8
  %28 = alloca ptr, align 8
  %29 = alloca i64, align 8
  %30 = alloca ptr, align 8
  %31 = alloca ptr, align 8
  %32 = alloca ptr, align 8
  %33 = alloca i32, align 4
  %34 = alloca i64, align 8
  %35 = alloca ptr, align 8
  %36 = alloca i32, align 4
  %37 = alloca ptr, align 8
  %38 = alloca i64, align 8
  %39 = alloca ptr, align 8
  %40 = alloca ptr, align 8
  %41 = alloca i64, align 8
  %42 = alloca ptr, align 8
  %43 = alloca ptr, align 8
  %44 = alloca ptr, align 8
  %45 = alloca i32, align 4
  %46 = alloca i64, align 8
  %47 = alloca ptr, align 8
  %48 = alloca i32, align 4
  %49 = alloca ptr, align 8
  %50 = alloca i64, align 8
  %51 = alloca ptr, align 8
  %52 = alloca ptr, align 8
  %53 = alloca i64, align 8
  %54 = alloca ptr, align 8
  %55 = alloca ptr, align 8
  %56 = alloca ptr, align 8
  %57 = alloca i32, align 4
  %58 = alloca i64, align 8
  %59 = alloca ptr, align 8
  %60 = alloca i32, align 4
  %61 = alloca ptr, align 8
  %62 = alloca i64, align 8
  %63 = alloca ptr, align 8
  store i8 %0, ptr %9, align 1, !tbaa !5
  store i32 %2, ptr %10, align 4, !tbaa !8
  store ptr %3, ptr %11, align 8, !tbaa !10
  store i32 %4, ptr %12, align 4, !tbaa !8
  store ptr %5, ptr %13, align 8, !tbaa !10
  store i32 %6, ptr %14, align 4, !tbaa !8
  store ptr %7, ptr %15, align 8, !tbaa !10
  %64 = load i8, ptr %9, align 1, !tbaa !5
  %65 = zext i8 %64 to i32
  switch i32 %65, label %730 [
    i32 4, label %66
    i32 1, label %232
    i32 2, label %398
    i32 3, label %564
  ]

66:                                               ; preds = %8
  br label %67

67:                                               ; preds = %66
  %68 = load i32, ptr %10, align 4, !tbaa !8
  %69 = load i32, ptr %12, align 4, !tbaa !8
  %70 = add i32 %68, %69
  %71 = load i32, ptr %14, align 4, !tbaa !8
  %72 = add i32 %70, %71
  %73 = zext i32 %72 to i64
  %74 = icmp ugt i64 %73, -1
  br i1 %74, label %75, label %77

75:                                               ; preds = %67
  %76 = call i32 (ptr, ...) @printf(ptr noundef @.str.2, ptr noundef @.str.1, i32 noundef 190)
  call void @exit(i32 noundef 253) #8
  unreachable

77:                                               ; preds = %67
  br label %78

78:                                               ; preds = %77
  %79 = load i32, ptr %10, align 4, !tbaa !8
  %80 = load i32, ptr %12, align 4, !tbaa !8
  %81 = add i32 %79, %80
  %82 = load i32, ptr %14, align 4, !tbaa !8
  %83 = add i32 %81, %82
  %84 = zext i32 %83 to i64
  %85 = call ptr @llvm.stacksave.p0()
  store ptr %85, ptr %16, align 8
  %86 = alloca i8, i64 %84, align 16
  store i64 %84, ptr %17, align 8
  %87 = load i32, ptr %10, align 4, !tbaa !8
  %88 = load i32, ptr %12, align 4, !tbaa !8
  %89 = add i32 %87, %88
  %90 = load i32, ptr %14, align 4, !tbaa !8
  %91 = add i32 %89, %90
  %92 = zext i32 %91 to i64
  %93 = mul i64 %92, 1
  call void @llvm.memset.p0.i64(ptr align 16 %86, i8 0, i64 %93, i1 false)
  %94 = load ptr, ptr %11, align 8, !tbaa !10
  %95 = load i32, ptr %10, align 4, !tbaa !8
  %96 = zext i32 %95 to i64
  %97 = mul i64 %96, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 %86, ptr align 1 %94, i64 %97, i1 false)
  %98 = load i32, ptr %10, align 4, !tbaa !8
  %99 = zext i32 %98 to i64
  %100 = getelementptr inbounds i8, ptr %86, i64 %99
  %101 = load ptr, ptr %13, align 8, !tbaa !10
  %102 = load i32, ptr %12, align 4, !tbaa !8
  %103 = zext i32 %102 to i64
  %104 = mul i64 %103, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %100, ptr align 1 %101, i64 %104, i1 false)
  %105 = load i32, ptr %10, align 4, !tbaa !8
  %106 = zext i32 %105 to i64
  %107 = getelementptr inbounds i8, ptr %86, i64 %106
  %108 = load i32, ptr %12, align 4, !tbaa !8
  %109 = zext i32 %108 to i64
  %110 = getelementptr inbounds i8, ptr %107, i64 %109
  %111 = load ptr, ptr %15, align 8, !tbaa !10
  %112 = load i32, ptr %14, align 4, !tbaa !8
  %113 = zext i32 %112 to i64
  %114 = mul i64 %113, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %110, ptr align 1 %111, i64 %114, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #9
  %115 = getelementptr inbounds %struct.Hacl_HMAC_DRBG_state_s, ptr %1, i32 0, i32 0
  %116 = load ptr, ptr %115, align 8, !tbaa !12
  store ptr %116, ptr %18, align 8, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #9
  %117 = getelementptr inbounds %struct.Hacl_HMAC_DRBG_state_s, ptr %1, i32 0, i32 1
  %118 = load ptr, ptr %117, align 8, !tbaa !14
  store ptr %118, ptr %19, align 8, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #9
  %119 = getelementptr inbounds %struct.Hacl_HMAC_DRBG_state_s, ptr %1, i32 0, i32 2
  %120 = load ptr, ptr %119, align 8, !tbaa !15
  store ptr %120, ptr %20, align 8, !tbaa !10
  %121 = load ptr, ptr %18, align 8, !tbaa !10
  call void @llvm.memset.p0.i64(ptr align 1 %121, i8 0, i64 20, i1 false)
  %122 = load ptr, ptr %19, align 8, !tbaa !10
  call void @llvm.memset.p0.i64(ptr align 1 %122, i8 1, i64 20, i1 false)
  %123 = load ptr, ptr %20, align 8, !tbaa !10
  %124 = getelementptr inbounds i32, ptr %123, i64 0
  store i32 1, ptr %124, align 4, !tbaa !8
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #9
  %125 = load i32, ptr %10, align 4, !tbaa !8
  %126 = add i32 21, %125
  %127 = load i32, ptr %12, align 4, !tbaa !8
  %128 = add i32 %126, %127
  %129 = load i32, ptr %14, align 4, !tbaa !8
  %130 = add i32 %128, %129
  store i32 %130, ptr %21, align 4, !tbaa !8
  br label %131

131:                                              ; preds = %78
  %132 = load i32, ptr %21, align 4, !tbaa !8
  %133 = zext i32 %132 to i64
  %134 = icmp ugt i64 %133, -1
  br i1 %134, label %135, label %137

135:                                              ; preds = %131
  %136 = call i32 (ptr, ...) @printf(ptr noundef @.str.2, ptr noundef @.str.1, i32 noundef 207)
  call void @exit(i32 noundef 253) #8
  unreachable

137:                                              ; preds = %131
  br label %138

138:                                              ; preds = %137
  br label %139

139:                                              ; preds = %138
  %140 = load i32, ptr %21, align 4, !tbaa !8
  %141 = zext i32 %140 to i64
  %142 = alloca i8, i64 %141, align 16
  store i64 %141, ptr %22, align 8
  %143 = load i32, ptr %21, align 4, !tbaa !8
  %144 = zext i32 %143 to i64
  %145 = mul i64 %144, 1
  call void @llvm.memset.p0.i64(ptr align 16 %142, i8 0, i64 %145, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #9
  store ptr %142, ptr %23, align 8, !tbaa !10
  %146 = load ptr, ptr %23, align 8, !tbaa !10
  %147 = load ptr, ptr %19, align 8, !tbaa !10
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %146, ptr align 1 %147, i64 20, i1 false)
  %148 = load i32, ptr %10, align 4, !tbaa !8
  %149 = load i32, ptr %12, align 4, !tbaa !8
  %150 = add i32 %148, %149
  %151 = load i32, ptr %14, align 4, !tbaa !8
  %152 = add i32 %150, %151
  %153 = icmp ne i32 %152, 0
  br i1 %153, label %154, label %163

154:                                              ; preds = %139
  %155 = getelementptr inbounds i8, ptr %142, i64 21
  %156 = load i32, ptr %10, align 4, !tbaa !8
  %157 = load i32, ptr %12, align 4, !tbaa !8
  %158 = add i32 %156, %157
  %159 = load i32, ptr %14, align 4, !tbaa !8
  %160 = add i32 %158, %159
  %161 = zext i32 %160 to i64
  %162 = mul i64 %161, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %155, ptr align 16 %86, i64 %162, i1 false)
  br label %163

163:                                              ; preds = %154, %139
  %164 = getelementptr inbounds i8, ptr %142, i64 20
  store i8 0, ptr %164, align 4, !tbaa !5
  %165 = load ptr, ptr %23, align 8, !tbaa !10
  %166 = load ptr, ptr %18, align 8, !tbaa !10
  %167 = load i32, ptr %21, align 4, !tbaa !8
  call void @Hacl_HMAC_compute_sha1(ptr noundef %165, ptr noundef %166, i32 noundef 20, ptr noundef %142, i32 noundef %167)
  %168 = load ptr, ptr %19, align 8, !tbaa !10
  %169 = load ptr, ptr %23, align 8, !tbaa !10
  %170 = load ptr, ptr %19, align 8, !tbaa !10
  call void @Hacl_HMAC_compute_sha1(ptr noundef %168, ptr noundef %169, i32 noundef 20, ptr noundef %170, i32 noundef 20)
  %171 = load ptr, ptr %18, align 8, !tbaa !10
  %172 = load ptr, ptr %23, align 8, !tbaa !10
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %171, ptr align 1 %172, i64 20, i1 false)
  %173 = load i32, ptr %10, align 4, !tbaa !8
  %174 = load i32, ptr %12, align 4, !tbaa !8
  %175 = add i32 %173, %174
  %176 = load i32, ptr %14, align 4, !tbaa !8
  %177 = add i32 %175, %176
  %178 = icmp ne i32 %177, 0
  br i1 %178, label %179, label %230

179:                                              ; preds = %163
  call void @llvm.lifetime.start.p0(i64 4, ptr %24) #9
  %180 = load i32, ptr %10, align 4, !tbaa !8
  %181 = add i32 21, %180
  %182 = load i32, ptr %12, align 4, !tbaa !8
  %183 = add i32 %181, %182
  %184 = load i32, ptr %14, align 4, !tbaa !8
  %185 = add i32 %183, %184
  store i32 %185, ptr %24, align 4, !tbaa !8
  br label %186

186:                                              ; preds = %179
  %187 = load i32, ptr %24, align 4, !tbaa !8
  %188 = zext i32 %187 to i64
  %189 = icmp ugt i64 %188, -1
  br i1 %189, label %190, label %192

190:                                              ; preds = %186
  %191 = call i32 (ptr, ...) @printf(ptr noundef @.str.2, ptr noundef @.str.1, i32 noundef 225)
  call void @exit(i32 noundef 253) #8
  unreachable

192:                                              ; preds = %186
  br label %193

193:                                              ; preds = %192
  br label %194

194:                                              ; preds = %193
  %195 = load i32, ptr %24, align 4, !tbaa !8
  %196 = zext i32 %195 to i64
  %197 = call ptr @llvm.stacksave.p0()
  store ptr %197, ptr %25, align 8
  %198 = alloca i8, i64 %196, align 16
  store i64 %196, ptr %26, align 8
  %199 = load i32, ptr %24, align 4, !tbaa !8
  %200 = zext i32 %199 to i64
  %201 = mul i64 %200, 1
  call void @llvm.memset.p0.i64(ptr align 16 %198, i8 0, i64 %201, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #9
  store ptr %198, ptr %27, align 8, !tbaa !10
  %202 = load ptr, ptr %27, align 8, !tbaa !10
  %203 = load ptr, ptr %19, align 8, !tbaa !10
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %202, ptr align 1 %203, i64 20, i1 false)
  %204 = load i32, ptr %10, align 4, !tbaa !8
  %205 = load i32, ptr %12, align 4, !tbaa !8
  %206 = add i32 %204, %205
  %207 = load i32, ptr %14, align 4, !tbaa !8
  %208 = add i32 %206, %207
  %209 = icmp ne i32 %208, 0
  br i1 %209, label %210, label %219

210:                                              ; preds = %194
  %211 = getelementptr inbounds i8, ptr %198, i64 21
  %212 = load i32, ptr %10, align 4, !tbaa !8
  %213 = load i32, ptr %12, align 4, !tbaa !8
  %214 = add i32 %212, %213
  %215 = load i32, ptr %14, align 4, !tbaa !8
  %216 = add i32 %214, %215
  %217 = zext i32 %216 to i64
  %218 = mul i64 %217, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %211, ptr align 16 %86, i64 %218, i1 false)
  br label %219

219:                                              ; preds = %210, %194
  %220 = getelementptr inbounds i8, ptr %198, i64 20
  store i8 1, ptr %220, align 4, !tbaa !5
  %221 = load ptr, ptr %27, align 8, !tbaa !10
  %222 = load ptr, ptr %18, align 8, !tbaa !10
  %223 = load i32, ptr %24, align 4, !tbaa !8
  call void @Hacl_HMAC_compute_sha1(ptr noundef %221, ptr noundef %222, i32 noundef 20, ptr noundef %198, i32 noundef %223)
  %224 = load ptr, ptr %19, align 8, !tbaa !10
  %225 = load ptr, ptr %27, align 8, !tbaa !10
  %226 = load ptr, ptr %19, align 8, !tbaa !10
  call void @Hacl_HMAC_compute_sha1(ptr noundef %224, ptr noundef %225, i32 noundef 20, ptr noundef %226, i32 noundef 20)
  %227 = load ptr, ptr %18, align 8, !tbaa !10
  %228 = load ptr, ptr %27, align 8, !tbaa !10
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %227, ptr align 1 %228, i64 20, i1 false)
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #9
  %229 = load ptr, ptr %25, align 8
  call void @llvm.stackrestore.p0(ptr %229)
  call void @llvm.lifetime.end.p0(i64 4, ptr %24) #9
  br label %230

230:                                              ; preds = %219, %163
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #9
  %231 = load ptr, ptr %16, align 8
  call void @llvm.stackrestore.p0(ptr %231)
  br label %733

232:                                              ; preds = %8
  br label %233

233:                                              ; preds = %232
  %234 = load i32, ptr %10, align 4, !tbaa !8
  %235 = load i32, ptr %12, align 4, !tbaa !8
  %236 = add i32 %234, %235
  %237 = load i32, ptr %14, align 4, !tbaa !8
  %238 = add i32 %236, %237
  %239 = zext i32 %238 to i64
  %240 = icmp ugt i64 %239, -1
  br i1 %240, label %241, label %243

241:                                              ; preds = %233
  %242 = call i32 (ptr, ...) @printf(ptr noundef @.str.2, ptr noundef @.str.1, i32 noundef 246)
  call void @exit(i32 noundef 253) #8
  unreachable

243:                                              ; preds = %233
  br label %244

244:                                              ; preds = %243
  %245 = load i32, ptr %10, align 4, !tbaa !8
  %246 = load i32, ptr %12, align 4, !tbaa !8
  %247 = add i32 %245, %246
  %248 = load i32, ptr %14, align 4, !tbaa !8
  %249 = add i32 %247, %248
  %250 = zext i32 %249 to i64
  %251 = call ptr @llvm.stacksave.p0()
  store ptr %251, ptr %28, align 8
  %252 = alloca i8, i64 %250, align 16
  store i64 %250, ptr %29, align 8
  %253 = load i32, ptr %10, align 4, !tbaa !8
  %254 = load i32, ptr %12, align 4, !tbaa !8
  %255 = add i32 %253, %254
  %256 = load i32, ptr %14, align 4, !tbaa !8
  %257 = add i32 %255, %256
  %258 = zext i32 %257 to i64
  %259 = mul i64 %258, 1
  call void @llvm.memset.p0.i64(ptr align 16 %252, i8 0, i64 %259, i1 false)
  %260 = load ptr, ptr %11, align 8, !tbaa !10
  %261 = load i32, ptr %10, align 4, !tbaa !8
  %262 = zext i32 %261 to i64
  %263 = mul i64 %262, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 %252, ptr align 1 %260, i64 %263, i1 false)
  %264 = load i32, ptr %10, align 4, !tbaa !8
  %265 = zext i32 %264 to i64
  %266 = getelementptr inbounds i8, ptr %252, i64 %265
  %267 = load ptr, ptr %13, align 8, !tbaa !10
  %268 = load i32, ptr %12, align 4, !tbaa !8
  %269 = zext i32 %268 to i64
  %270 = mul i64 %269, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %266, ptr align 1 %267, i64 %270, i1 false)
  %271 = load i32, ptr %10, align 4, !tbaa !8
  %272 = zext i32 %271 to i64
  %273 = getelementptr inbounds i8, ptr %252, i64 %272
  %274 = load i32, ptr %12, align 4, !tbaa !8
  %275 = zext i32 %274 to i64
  %276 = getelementptr inbounds i8, ptr %273, i64 %275
  %277 = load ptr, ptr %15, align 8, !tbaa !10
  %278 = load i32, ptr %14, align 4, !tbaa !8
  %279 = zext i32 %278 to i64
  %280 = mul i64 %279, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %276, ptr align 1 %277, i64 %280, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %30) #9
  %281 = getelementptr inbounds %struct.Hacl_HMAC_DRBG_state_s, ptr %1, i32 0, i32 0
  %282 = load ptr, ptr %281, align 8, !tbaa !12
  store ptr %282, ptr %30, align 8, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #9
  %283 = getelementptr inbounds %struct.Hacl_HMAC_DRBG_state_s, ptr %1, i32 0, i32 1
  %284 = load ptr, ptr %283, align 8, !tbaa !14
  store ptr %284, ptr %31, align 8, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 8, ptr %32) #9
  %285 = getelementptr inbounds %struct.Hacl_HMAC_DRBG_state_s, ptr %1, i32 0, i32 2
  %286 = load ptr, ptr %285, align 8, !tbaa !15
  store ptr %286, ptr %32, align 8, !tbaa !10
  %287 = load ptr, ptr %30, align 8, !tbaa !10
  call void @llvm.memset.p0.i64(ptr align 1 %287, i8 0, i64 32, i1 false)
  %288 = load ptr, ptr %31, align 8, !tbaa !10
  call void @llvm.memset.p0.i64(ptr align 1 %288, i8 1, i64 32, i1 false)
  %289 = load ptr, ptr %32, align 8, !tbaa !10
  %290 = getelementptr inbounds i32, ptr %289, i64 0
  store i32 1, ptr %290, align 4, !tbaa !8
  call void @llvm.lifetime.start.p0(i64 4, ptr %33) #9
  %291 = load i32, ptr %10, align 4, !tbaa !8
  %292 = add i32 33, %291
  %293 = load i32, ptr %12, align 4, !tbaa !8
  %294 = add i32 %292, %293
  %295 = load i32, ptr %14, align 4, !tbaa !8
  %296 = add i32 %294, %295
  store i32 %296, ptr %33, align 4, !tbaa !8
  br label %297

297:                                              ; preds = %244
  %298 = load i32, ptr %33, align 4, !tbaa !8
  %299 = zext i32 %298 to i64
  %300 = icmp ugt i64 %299, -1
  br i1 %300, label %301, label %303

301:                                              ; preds = %297
  %302 = call i32 (ptr, ...) @printf(ptr noundef @.str.2, ptr noundef @.str.1, i32 noundef 263)
  call void @exit(i32 noundef 253) #8
  unreachable

303:                                              ; preds = %297
  br label %304

304:                                              ; preds = %303
  br label %305

305:                                              ; preds = %304
  %306 = load i32, ptr %33, align 4, !tbaa !8
  %307 = zext i32 %306 to i64
  %308 = alloca i8, i64 %307, align 16
  store i64 %307, ptr %34, align 8
  %309 = load i32, ptr %33, align 4, !tbaa !8
  %310 = zext i32 %309 to i64
  %311 = mul i64 %310, 1
  call void @llvm.memset.p0.i64(ptr align 16 %308, i8 0, i64 %311, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %35) #9
  store ptr %308, ptr %35, align 8, !tbaa !10
  %312 = load ptr, ptr %35, align 8, !tbaa !10
  %313 = load ptr, ptr %31, align 8, !tbaa !10
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %312, ptr align 1 %313, i64 32, i1 false)
  %314 = load i32, ptr %10, align 4, !tbaa !8
  %315 = load i32, ptr %12, align 4, !tbaa !8
  %316 = add i32 %314, %315
  %317 = load i32, ptr %14, align 4, !tbaa !8
  %318 = add i32 %316, %317
  %319 = icmp ne i32 %318, 0
  br i1 %319, label %320, label %329

320:                                              ; preds = %305
  %321 = getelementptr inbounds i8, ptr %308, i64 33
  %322 = load i32, ptr %10, align 4, !tbaa !8
  %323 = load i32, ptr %12, align 4, !tbaa !8
  %324 = add i32 %322, %323
  %325 = load i32, ptr %14, align 4, !tbaa !8
  %326 = add i32 %324, %325
  %327 = zext i32 %326 to i64
  %328 = mul i64 %327, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %321, ptr align 16 %252, i64 %328, i1 false)
  br label %329

329:                                              ; preds = %320, %305
  %330 = getelementptr inbounds i8, ptr %308, i64 32
  store i8 0, ptr %330, align 16, !tbaa !5
  %331 = load ptr, ptr %35, align 8, !tbaa !10
  %332 = load ptr, ptr %30, align 8, !tbaa !10
  %333 = load i32, ptr %33, align 4, !tbaa !8
  call void @Hacl_HMAC_compute_sha2_256(ptr noundef %331, ptr noundef %332, i32 noundef 32, ptr noundef %308, i32 noundef %333)
  %334 = load ptr, ptr %31, align 8, !tbaa !10
  %335 = load ptr, ptr %35, align 8, !tbaa !10
  %336 = load ptr, ptr %31, align 8, !tbaa !10
  call void @Hacl_HMAC_compute_sha2_256(ptr noundef %334, ptr noundef %335, i32 noundef 32, ptr noundef %336, i32 noundef 32)
  %337 = load ptr, ptr %30, align 8, !tbaa !10
  %338 = load ptr, ptr %35, align 8, !tbaa !10
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %337, ptr align 1 %338, i64 32, i1 false)
  %339 = load i32, ptr %10, align 4, !tbaa !8
  %340 = load i32, ptr %12, align 4, !tbaa !8
  %341 = add i32 %339, %340
  %342 = load i32, ptr %14, align 4, !tbaa !8
  %343 = add i32 %341, %342
  %344 = icmp ne i32 %343, 0
  br i1 %344, label %345, label %396

345:                                              ; preds = %329
  call void @llvm.lifetime.start.p0(i64 4, ptr %36) #9
  %346 = load i32, ptr %10, align 4, !tbaa !8
  %347 = add i32 33, %346
  %348 = load i32, ptr %12, align 4, !tbaa !8
  %349 = add i32 %347, %348
  %350 = load i32, ptr %14, align 4, !tbaa !8
  %351 = add i32 %349, %350
  store i32 %351, ptr %36, align 4, !tbaa !8
  br label %352

352:                                              ; preds = %345
  %353 = load i32, ptr %36, align 4, !tbaa !8
  %354 = zext i32 %353 to i64
  %355 = icmp ugt i64 %354, -1
  br i1 %355, label %356, label %358

356:                                              ; preds = %352
  %357 = call i32 (ptr, ...) @printf(ptr noundef @.str.2, ptr noundef @.str.1, i32 noundef 281)
  call void @exit(i32 noundef 253) #8
  unreachable

358:                                              ; preds = %352
  br label %359

359:                                              ; preds = %358
  br label %360

360:                                              ; preds = %359
  %361 = load i32, ptr %36, align 4, !tbaa !8
  %362 = zext i32 %361 to i64
  %363 = call ptr @llvm.stacksave.p0()
  store ptr %363, ptr %37, align 8
  %364 = alloca i8, i64 %362, align 16
  store i64 %362, ptr %38, align 8
  %365 = load i32, ptr %36, align 4, !tbaa !8
  %366 = zext i32 %365 to i64
  %367 = mul i64 %366, 1
  call void @llvm.memset.p0.i64(ptr align 16 %364, i8 0, i64 %367, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %39) #9
  store ptr %364, ptr %39, align 8, !tbaa !10
  %368 = load ptr, ptr %39, align 8, !tbaa !10
  %369 = load ptr, ptr %31, align 8, !tbaa !10
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %368, ptr align 1 %369, i64 32, i1 false)
  %370 = load i32, ptr %10, align 4, !tbaa !8
  %371 = load i32, ptr %12, align 4, !tbaa !8
  %372 = add i32 %370, %371
  %373 = load i32, ptr %14, align 4, !tbaa !8
  %374 = add i32 %372, %373
  %375 = icmp ne i32 %374, 0
  br i1 %375, label %376, label %385

376:                                              ; preds = %360
  %377 = getelementptr inbounds i8, ptr %364, i64 33
  %378 = load i32, ptr %10, align 4, !tbaa !8
  %379 = load i32, ptr %12, align 4, !tbaa !8
  %380 = add i32 %378, %379
  %381 = load i32, ptr %14, align 4, !tbaa !8
  %382 = add i32 %380, %381
  %383 = zext i32 %382 to i64
  %384 = mul i64 %383, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %377, ptr align 16 %252, i64 %384, i1 false)
  br label %385

385:                                              ; preds = %376, %360
  %386 = getelementptr inbounds i8, ptr %364, i64 32
  store i8 1, ptr %386, align 16, !tbaa !5
  %387 = load ptr, ptr %39, align 8, !tbaa !10
  %388 = load ptr, ptr %30, align 8, !tbaa !10
  %389 = load i32, ptr %36, align 4, !tbaa !8
  call void @Hacl_HMAC_compute_sha2_256(ptr noundef %387, ptr noundef %388, i32 noundef 32, ptr noundef %364, i32 noundef %389)
  %390 = load ptr, ptr %31, align 8, !tbaa !10
  %391 = load ptr, ptr %39, align 8, !tbaa !10
  %392 = load ptr, ptr %31, align 8, !tbaa !10
  call void @Hacl_HMAC_compute_sha2_256(ptr noundef %390, ptr noundef %391, i32 noundef 32, ptr noundef %392, i32 noundef 32)
  %393 = load ptr, ptr %30, align 8, !tbaa !10
  %394 = load ptr, ptr %39, align 8, !tbaa !10
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %393, ptr align 1 %394, i64 32, i1 false)
  call void @llvm.lifetime.end.p0(i64 8, ptr %39) #9
  %395 = load ptr, ptr %37, align 8
  call void @llvm.stackrestore.p0(ptr %395)
  call void @llvm.lifetime.end.p0(i64 4, ptr %36) #9
  br label %396

396:                                              ; preds = %385, %329
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %33) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #9
  %397 = load ptr, ptr %28, align 8
  call void @llvm.stackrestore.p0(ptr %397)
  br label %733

398:                                              ; preds = %8
  br label %399

399:                                              ; preds = %398
  %400 = load i32, ptr %10, align 4, !tbaa !8
  %401 = load i32, ptr %12, align 4, !tbaa !8
  %402 = add i32 %400, %401
  %403 = load i32, ptr %14, align 4, !tbaa !8
  %404 = add i32 %402, %403
  %405 = zext i32 %404 to i64
  %406 = icmp ugt i64 %405, -1
  br i1 %406, label %407, label %409

407:                                              ; preds = %399
  %408 = call i32 (ptr, ...) @printf(ptr noundef @.str.2, ptr noundef @.str.1, i32 noundef 302)
  call void @exit(i32 noundef 253) #8
  unreachable

409:                                              ; preds = %399
  br label %410

410:                                              ; preds = %409
  %411 = load i32, ptr %10, align 4, !tbaa !8
  %412 = load i32, ptr %12, align 4, !tbaa !8
  %413 = add i32 %411, %412
  %414 = load i32, ptr %14, align 4, !tbaa !8
  %415 = add i32 %413, %414
  %416 = zext i32 %415 to i64
  %417 = call ptr @llvm.stacksave.p0()
  store ptr %417, ptr %40, align 8
  %418 = alloca i8, i64 %416, align 16
  store i64 %416, ptr %41, align 8
  %419 = load i32, ptr %10, align 4, !tbaa !8
  %420 = load i32, ptr %12, align 4, !tbaa !8
  %421 = add i32 %419, %420
  %422 = load i32, ptr %14, align 4, !tbaa !8
  %423 = add i32 %421, %422
  %424 = zext i32 %423 to i64
  %425 = mul i64 %424, 1
  call void @llvm.memset.p0.i64(ptr align 16 %418, i8 0, i64 %425, i1 false)
  %426 = load ptr, ptr %11, align 8, !tbaa !10
  %427 = load i32, ptr %10, align 4, !tbaa !8
  %428 = zext i32 %427 to i64
  %429 = mul i64 %428, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 %418, ptr align 1 %426, i64 %429, i1 false)
  %430 = load i32, ptr %10, align 4, !tbaa !8
  %431 = zext i32 %430 to i64
  %432 = getelementptr inbounds i8, ptr %418, i64 %431
  %433 = load ptr, ptr %13, align 8, !tbaa !10
  %434 = load i32, ptr %12, align 4, !tbaa !8
  %435 = zext i32 %434 to i64
  %436 = mul i64 %435, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %432, ptr align 1 %433, i64 %436, i1 false)
  %437 = load i32, ptr %10, align 4, !tbaa !8
  %438 = zext i32 %437 to i64
  %439 = getelementptr inbounds i8, ptr %418, i64 %438
  %440 = load i32, ptr %12, align 4, !tbaa !8
  %441 = zext i32 %440 to i64
  %442 = getelementptr inbounds i8, ptr %439, i64 %441
  %443 = load ptr, ptr %15, align 8, !tbaa !10
  %444 = load i32, ptr %14, align 4, !tbaa !8
  %445 = zext i32 %444 to i64
  %446 = mul i64 %445, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %442, ptr align 1 %443, i64 %446, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %42) #9
  %447 = getelementptr inbounds %struct.Hacl_HMAC_DRBG_state_s, ptr %1, i32 0, i32 0
  %448 = load ptr, ptr %447, align 8, !tbaa !12
  store ptr %448, ptr %42, align 8, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 8, ptr %43) #9
  %449 = getelementptr inbounds %struct.Hacl_HMAC_DRBG_state_s, ptr %1, i32 0, i32 1
  %450 = load ptr, ptr %449, align 8, !tbaa !14
  store ptr %450, ptr %43, align 8, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 8, ptr %44) #9
  %451 = getelementptr inbounds %struct.Hacl_HMAC_DRBG_state_s, ptr %1, i32 0, i32 2
  %452 = load ptr, ptr %451, align 8, !tbaa !15
  store ptr %452, ptr %44, align 8, !tbaa !10
  %453 = load ptr, ptr %42, align 8, !tbaa !10
  call void @llvm.memset.p0.i64(ptr align 1 %453, i8 0, i64 48, i1 false)
  %454 = load ptr, ptr %43, align 8, !tbaa !10
  call void @llvm.memset.p0.i64(ptr align 1 %454, i8 1, i64 48, i1 false)
  %455 = load ptr, ptr %44, align 8, !tbaa !10
  %456 = getelementptr inbounds i32, ptr %455, i64 0
  store i32 1, ptr %456, align 4, !tbaa !8
  call void @llvm.lifetime.start.p0(i64 4, ptr %45) #9
  %457 = load i32, ptr %10, align 4, !tbaa !8
  %458 = add i32 49, %457
  %459 = load i32, ptr %12, align 4, !tbaa !8
  %460 = add i32 %458, %459
  %461 = load i32, ptr %14, align 4, !tbaa !8
  %462 = add i32 %460, %461
  store i32 %462, ptr %45, align 4, !tbaa !8
  br label %463

463:                                              ; preds = %410
  %464 = load i32, ptr %45, align 4, !tbaa !8
  %465 = zext i32 %464 to i64
  %466 = icmp ugt i64 %465, -1
  br i1 %466, label %467, label %469

467:                                              ; preds = %463
  %468 = call i32 (ptr, ...) @printf(ptr noundef @.str.2, ptr noundef @.str.1, i32 noundef 319)
  call void @exit(i32 noundef 253) #8
  unreachable

469:                                              ; preds = %463
  br label %470

470:                                              ; preds = %469
  br label %471

471:                                              ; preds = %470
  %472 = load i32, ptr %45, align 4, !tbaa !8
  %473 = zext i32 %472 to i64
  %474 = alloca i8, i64 %473, align 16
  store i64 %473, ptr %46, align 8
  %475 = load i32, ptr %45, align 4, !tbaa !8
  %476 = zext i32 %475 to i64
  %477 = mul i64 %476, 1
  call void @llvm.memset.p0.i64(ptr align 16 %474, i8 0, i64 %477, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %47) #9
  store ptr %474, ptr %47, align 8, !tbaa !10
  %478 = load ptr, ptr %47, align 8, !tbaa !10
  %479 = load ptr, ptr %43, align 8, !tbaa !10
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %478, ptr align 1 %479, i64 48, i1 false)
  %480 = load i32, ptr %10, align 4, !tbaa !8
  %481 = load i32, ptr %12, align 4, !tbaa !8
  %482 = add i32 %480, %481
  %483 = load i32, ptr %14, align 4, !tbaa !8
  %484 = add i32 %482, %483
  %485 = icmp ne i32 %484, 0
  br i1 %485, label %486, label %495

486:                                              ; preds = %471
  %487 = getelementptr inbounds i8, ptr %474, i64 49
  %488 = load i32, ptr %10, align 4, !tbaa !8
  %489 = load i32, ptr %12, align 4, !tbaa !8
  %490 = add i32 %488, %489
  %491 = load i32, ptr %14, align 4, !tbaa !8
  %492 = add i32 %490, %491
  %493 = zext i32 %492 to i64
  %494 = mul i64 %493, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %487, ptr align 16 %418, i64 %494, i1 false)
  br label %495

495:                                              ; preds = %486, %471
  %496 = getelementptr inbounds i8, ptr %474, i64 48
  store i8 0, ptr %496, align 16, !tbaa !5
  %497 = load ptr, ptr %47, align 8, !tbaa !10
  %498 = load ptr, ptr %42, align 8, !tbaa !10
  %499 = load i32, ptr %45, align 4, !tbaa !8
  call void @Hacl_HMAC_compute_sha2_384(ptr noundef %497, ptr noundef %498, i32 noundef 48, ptr noundef %474, i32 noundef %499)
  %500 = load ptr, ptr %43, align 8, !tbaa !10
  %501 = load ptr, ptr %47, align 8, !tbaa !10
  %502 = load ptr, ptr %43, align 8, !tbaa !10
  call void @Hacl_HMAC_compute_sha2_384(ptr noundef %500, ptr noundef %501, i32 noundef 48, ptr noundef %502, i32 noundef 48)
  %503 = load ptr, ptr %42, align 8, !tbaa !10
  %504 = load ptr, ptr %47, align 8, !tbaa !10
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %503, ptr align 1 %504, i64 48, i1 false)
  %505 = load i32, ptr %10, align 4, !tbaa !8
  %506 = load i32, ptr %12, align 4, !tbaa !8
  %507 = add i32 %505, %506
  %508 = load i32, ptr %14, align 4, !tbaa !8
  %509 = add i32 %507, %508
  %510 = icmp ne i32 %509, 0
  br i1 %510, label %511, label %562

511:                                              ; preds = %495
  call void @llvm.lifetime.start.p0(i64 4, ptr %48) #9
  %512 = load i32, ptr %10, align 4, !tbaa !8
  %513 = add i32 49, %512
  %514 = load i32, ptr %12, align 4, !tbaa !8
  %515 = add i32 %513, %514
  %516 = load i32, ptr %14, align 4, !tbaa !8
  %517 = add i32 %515, %516
  store i32 %517, ptr %48, align 4, !tbaa !8
  br label %518

518:                                              ; preds = %511
  %519 = load i32, ptr %48, align 4, !tbaa !8
  %520 = zext i32 %519 to i64
  %521 = icmp ugt i64 %520, -1
  br i1 %521, label %522, label %524

522:                                              ; preds = %518
  %523 = call i32 (ptr, ...) @printf(ptr noundef @.str.2, ptr noundef @.str.1, i32 noundef 337)
  call void @exit(i32 noundef 253) #8
  unreachable

524:                                              ; preds = %518
  br label %525

525:                                              ; preds = %524
  br label %526

526:                                              ; preds = %525
  %527 = load i32, ptr %48, align 4, !tbaa !8
  %528 = zext i32 %527 to i64
  %529 = call ptr @llvm.stacksave.p0()
  store ptr %529, ptr %49, align 8
  %530 = alloca i8, i64 %528, align 16
  store i64 %528, ptr %50, align 8
  %531 = load i32, ptr %48, align 4, !tbaa !8
  %532 = zext i32 %531 to i64
  %533 = mul i64 %532, 1
  call void @llvm.memset.p0.i64(ptr align 16 %530, i8 0, i64 %533, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %51) #9
  store ptr %530, ptr %51, align 8, !tbaa !10
  %534 = load ptr, ptr %51, align 8, !tbaa !10
  %535 = load ptr, ptr %43, align 8, !tbaa !10
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %534, ptr align 1 %535, i64 48, i1 false)
  %536 = load i32, ptr %10, align 4, !tbaa !8
  %537 = load i32, ptr %12, align 4, !tbaa !8
  %538 = add i32 %536, %537
  %539 = load i32, ptr %14, align 4, !tbaa !8
  %540 = add i32 %538, %539
  %541 = icmp ne i32 %540, 0
  br i1 %541, label %542, label %551

542:                                              ; preds = %526
  %543 = getelementptr inbounds i8, ptr %530, i64 49
  %544 = load i32, ptr %10, align 4, !tbaa !8
  %545 = load i32, ptr %12, align 4, !tbaa !8
  %546 = add i32 %544, %545
  %547 = load i32, ptr %14, align 4, !tbaa !8
  %548 = add i32 %546, %547
  %549 = zext i32 %548 to i64
  %550 = mul i64 %549, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %543, ptr align 16 %418, i64 %550, i1 false)
  br label %551

551:                                              ; preds = %542, %526
  %552 = getelementptr inbounds i8, ptr %530, i64 48
  store i8 1, ptr %552, align 16, !tbaa !5
  %553 = load ptr, ptr %51, align 8, !tbaa !10
  %554 = load ptr, ptr %42, align 8, !tbaa !10
  %555 = load i32, ptr %48, align 4, !tbaa !8
  call void @Hacl_HMAC_compute_sha2_384(ptr noundef %553, ptr noundef %554, i32 noundef 48, ptr noundef %530, i32 noundef %555)
  %556 = load ptr, ptr %43, align 8, !tbaa !10
  %557 = load ptr, ptr %51, align 8, !tbaa !10
  %558 = load ptr, ptr %43, align 8, !tbaa !10
  call void @Hacl_HMAC_compute_sha2_384(ptr noundef %556, ptr noundef %557, i32 noundef 48, ptr noundef %558, i32 noundef 48)
  %559 = load ptr, ptr %42, align 8, !tbaa !10
  %560 = load ptr, ptr %51, align 8, !tbaa !10
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %559, ptr align 1 %560, i64 48, i1 false)
  call void @llvm.lifetime.end.p0(i64 8, ptr %51) #9
  %561 = load ptr, ptr %49, align 8
  call void @llvm.stackrestore.p0(ptr %561)
  call void @llvm.lifetime.end.p0(i64 4, ptr %48) #9
  br label %562

562:                                              ; preds = %551, %495
  call void @llvm.lifetime.end.p0(i64 8, ptr %47) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %45) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %44) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %43) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %42) #9
  %563 = load ptr, ptr %40, align 8
  call void @llvm.stackrestore.p0(ptr %563)
  br label %733

564:                                              ; preds = %8
  br label %565

565:                                              ; preds = %564
  %566 = load i32, ptr %10, align 4, !tbaa !8
  %567 = load i32, ptr %12, align 4, !tbaa !8
  %568 = add i32 %566, %567
  %569 = load i32, ptr %14, align 4, !tbaa !8
  %570 = add i32 %568, %569
  %571 = zext i32 %570 to i64
  %572 = icmp ugt i64 %571, -1
  br i1 %572, label %573, label %575

573:                                              ; preds = %565
  %574 = call i32 (ptr, ...) @printf(ptr noundef @.str.2, ptr noundef @.str.1, i32 noundef 358)
  call void @exit(i32 noundef 253) #8
  unreachable

575:                                              ; preds = %565
  br label %576

576:                                              ; preds = %575
  %577 = load i32, ptr %10, align 4, !tbaa !8
  %578 = load i32, ptr %12, align 4, !tbaa !8
  %579 = add i32 %577, %578
  %580 = load i32, ptr %14, align 4, !tbaa !8
  %581 = add i32 %579, %580
  %582 = zext i32 %581 to i64
  %583 = call ptr @llvm.stacksave.p0()
  store ptr %583, ptr %52, align 8
  %584 = alloca i8, i64 %582, align 16
  store i64 %582, ptr %53, align 8
  %585 = load i32, ptr %10, align 4, !tbaa !8
  %586 = load i32, ptr %12, align 4, !tbaa !8
  %587 = add i32 %585, %586
  %588 = load i32, ptr %14, align 4, !tbaa !8
  %589 = add i32 %587, %588
  %590 = zext i32 %589 to i64
  %591 = mul i64 %590, 1
  call void @llvm.memset.p0.i64(ptr align 16 %584, i8 0, i64 %591, i1 false)
  %592 = load ptr, ptr %11, align 8, !tbaa !10
  %593 = load i32, ptr %10, align 4, !tbaa !8
  %594 = zext i32 %593 to i64
  %595 = mul i64 %594, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 %584, ptr align 1 %592, i64 %595, i1 false)
  %596 = load i32, ptr %10, align 4, !tbaa !8
  %597 = zext i32 %596 to i64
  %598 = getelementptr inbounds i8, ptr %584, i64 %597
  %599 = load ptr, ptr %13, align 8, !tbaa !10
  %600 = load i32, ptr %12, align 4, !tbaa !8
  %601 = zext i32 %600 to i64
  %602 = mul i64 %601, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %598, ptr align 1 %599, i64 %602, i1 false)
  %603 = load i32, ptr %10, align 4, !tbaa !8
  %604 = zext i32 %603 to i64
  %605 = getelementptr inbounds i8, ptr %584, i64 %604
  %606 = load i32, ptr %12, align 4, !tbaa !8
  %607 = zext i32 %606 to i64
  %608 = getelementptr inbounds i8, ptr %605, i64 %607
  %609 = load ptr, ptr %15, align 8, !tbaa !10
  %610 = load i32, ptr %14, align 4, !tbaa !8
  %611 = zext i32 %610 to i64
  %612 = mul i64 %611, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %608, ptr align 1 %609, i64 %612, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %54) #9
  %613 = getelementptr inbounds %struct.Hacl_HMAC_DRBG_state_s, ptr %1, i32 0, i32 0
  %614 = load ptr, ptr %613, align 8, !tbaa !12
  store ptr %614, ptr %54, align 8, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 8, ptr %55) #9
  %615 = getelementptr inbounds %struct.Hacl_HMAC_DRBG_state_s, ptr %1, i32 0, i32 1
  %616 = load ptr, ptr %615, align 8, !tbaa !14
  store ptr %616, ptr %55, align 8, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 8, ptr %56) #9
  %617 = getelementptr inbounds %struct.Hacl_HMAC_DRBG_state_s, ptr %1, i32 0, i32 2
  %618 = load ptr, ptr %617, align 8, !tbaa !15
  store ptr %618, ptr %56, align 8, !tbaa !10
  %619 = load ptr, ptr %54, align 8, !tbaa !10
  call void @llvm.memset.p0.i64(ptr align 1 %619, i8 0, i64 64, i1 false)
  %620 = load ptr, ptr %55, align 8, !tbaa !10
  call void @llvm.memset.p0.i64(ptr align 1 %620, i8 1, i64 64, i1 false)
  %621 = load ptr, ptr %56, align 8, !tbaa !10
  %622 = getelementptr inbounds i32, ptr %621, i64 0
  store i32 1, ptr %622, align 4, !tbaa !8
  call void @llvm.lifetime.start.p0(i64 4, ptr %57) #9
  %623 = load i32, ptr %10, align 4, !tbaa !8
  %624 = add i32 65, %623
  %625 = load i32, ptr %12, align 4, !tbaa !8
  %626 = add i32 %624, %625
  %627 = load i32, ptr %14, align 4, !tbaa !8
  %628 = add i32 %626, %627
  store i32 %628, ptr %57, align 4, !tbaa !8
  br label %629

629:                                              ; preds = %576
  %630 = load i32, ptr %57, align 4, !tbaa !8
  %631 = zext i32 %630 to i64
  %632 = icmp ugt i64 %631, -1
  br i1 %632, label %633, label %635

633:                                              ; preds = %629
  %634 = call i32 (ptr, ...) @printf(ptr noundef @.str.2, ptr noundef @.str.1, i32 noundef 375)
  call void @exit(i32 noundef 253) #8
  unreachable

635:                                              ; preds = %629
  br label %636

636:                                              ; preds = %635
  br label %637

637:                                              ; preds = %636
  %638 = load i32, ptr %57, align 4, !tbaa !8
  %639 = zext i32 %638 to i64
  %640 = alloca i8, i64 %639, align 16
  store i64 %639, ptr %58, align 8
  %641 = load i32, ptr %57, align 4, !tbaa !8
  %642 = zext i32 %641 to i64
  %643 = mul i64 %642, 1
  call void @llvm.memset.p0.i64(ptr align 16 %640, i8 0, i64 %643, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %59) #9
  store ptr %640, ptr %59, align 8, !tbaa !10
  %644 = load ptr, ptr %59, align 8, !tbaa !10
  %645 = load ptr, ptr %55, align 8, !tbaa !10
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %644, ptr align 1 %645, i64 64, i1 false)
  %646 = load i32, ptr %10, align 4, !tbaa !8
  %647 = load i32, ptr %12, align 4, !tbaa !8
  %648 = add i32 %646, %647
  %649 = load i32, ptr %14, align 4, !tbaa !8
  %650 = add i32 %648, %649
  %651 = icmp ne i32 %650, 0
  br i1 %651, label %652, label %661

652:                                              ; preds = %637
  %653 = getelementptr inbounds i8, ptr %640, i64 65
  %654 = load i32, ptr %10, align 4, !tbaa !8
  %655 = load i32, ptr %12, align 4, !tbaa !8
  %656 = add i32 %654, %655
  %657 = load i32, ptr %14, align 4, !tbaa !8
  %658 = add i32 %656, %657
  %659 = zext i32 %658 to i64
  %660 = mul i64 %659, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %653, ptr align 16 %584, i64 %660, i1 false)
  br label %661

661:                                              ; preds = %652, %637
  %662 = getelementptr inbounds i8, ptr %640, i64 64
  store i8 0, ptr %662, align 16, !tbaa !5
  %663 = load ptr, ptr %59, align 8, !tbaa !10
  %664 = load ptr, ptr %54, align 8, !tbaa !10
  %665 = load i32, ptr %57, align 4, !tbaa !8
  call void @Hacl_HMAC_compute_sha2_512(ptr noundef %663, ptr noundef %664, i32 noundef 64, ptr noundef %640, i32 noundef %665)
  %666 = load ptr, ptr %55, align 8, !tbaa !10
  %667 = load ptr, ptr %59, align 8, !tbaa !10
  %668 = load ptr, ptr %55, align 8, !tbaa !10
  call void @Hacl_HMAC_compute_sha2_512(ptr noundef %666, ptr noundef %667, i32 noundef 64, ptr noundef %668, i32 noundef 64)
  %669 = load ptr, ptr %54, align 8, !tbaa !10
  %670 = load ptr, ptr %59, align 8, !tbaa !10
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %669, ptr align 1 %670, i64 64, i1 false)
  %671 = load i32, ptr %10, align 4, !tbaa !8
  %672 = load i32, ptr %12, align 4, !tbaa !8
  %673 = add i32 %671, %672
  %674 = load i32, ptr %14, align 4, !tbaa !8
  %675 = add i32 %673, %674
  %676 = icmp ne i32 %675, 0
  br i1 %676, label %677, label %728

677:                                              ; preds = %661
  call void @llvm.lifetime.start.p0(i64 4, ptr %60) #9
  %678 = load i32, ptr %10, align 4, !tbaa !8
  %679 = add i32 65, %678
  %680 = load i32, ptr %12, align 4, !tbaa !8
  %681 = add i32 %679, %680
  %682 = load i32, ptr %14, align 4, !tbaa !8
  %683 = add i32 %681, %682
  store i32 %683, ptr %60, align 4, !tbaa !8
  br label %684

684:                                              ; preds = %677
  %685 = load i32, ptr %60, align 4, !tbaa !8
  %686 = zext i32 %685 to i64
  %687 = icmp ugt i64 %686, -1
  br i1 %687, label %688, label %690

688:                                              ; preds = %684
  %689 = call i32 (ptr, ...) @printf(ptr noundef @.str.2, ptr noundef @.str.1, i32 noundef 393)
  call void @exit(i32 noundef 253) #8
  unreachable

690:                                              ; preds = %684
  br label %691

691:                                              ; preds = %690
  br label %692

692:                                              ; preds = %691
  %693 = load i32, ptr %60, align 4, !tbaa !8
  %694 = zext i32 %693 to i64
  %695 = call ptr @llvm.stacksave.p0()
  store ptr %695, ptr %61, align 8
  %696 = alloca i8, i64 %694, align 16
  store i64 %694, ptr %62, align 8
  %697 = load i32, ptr %60, align 4, !tbaa !8
  %698 = zext i32 %697 to i64
  %699 = mul i64 %698, 1
  call void @llvm.memset.p0.i64(ptr align 16 %696, i8 0, i64 %699, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %63) #9
  store ptr %696, ptr %63, align 8, !tbaa !10
  %700 = load ptr, ptr %63, align 8, !tbaa !10
  %701 = load ptr, ptr %55, align 8, !tbaa !10
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %700, ptr align 1 %701, i64 64, i1 false)
  %702 = load i32, ptr %10, align 4, !tbaa !8
  %703 = load i32, ptr %12, align 4, !tbaa !8
  %704 = add i32 %702, %703
  %705 = load i32, ptr %14, align 4, !tbaa !8
  %706 = add i32 %704, %705
  %707 = icmp ne i32 %706, 0
  br i1 %707, label %708, label %717

708:                                              ; preds = %692
  %709 = getelementptr inbounds i8, ptr %696, i64 65
  %710 = load i32, ptr %10, align 4, !tbaa !8
  %711 = load i32, ptr %12, align 4, !tbaa !8
  %712 = add i32 %710, %711
  %713 = load i32, ptr %14, align 4, !tbaa !8
  %714 = add i32 %712, %713
  %715 = zext i32 %714 to i64
  %716 = mul i64 %715, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %709, ptr align 16 %584, i64 %716, i1 false)
  br label %717

717:                                              ; preds = %708, %692
  %718 = getelementptr inbounds i8, ptr %696, i64 64
  store i8 1, ptr %718, align 16, !tbaa !5
  %719 = load ptr, ptr %63, align 8, !tbaa !10
  %720 = load ptr, ptr %54, align 8, !tbaa !10
  %721 = load i32, ptr %60, align 4, !tbaa !8
  call void @Hacl_HMAC_compute_sha2_512(ptr noundef %719, ptr noundef %720, i32 noundef 64, ptr noundef %696, i32 noundef %721)
  %722 = load ptr, ptr %55, align 8, !tbaa !10
  %723 = load ptr, ptr %63, align 8, !tbaa !10
  %724 = load ptr, ptr %55, align 8, !tbaa !10
  call void @Hacl_HMAC_compute_sha2_512(ptr noundef %722, ptr noundef %723, i32 noundef 64, ptr noundef %724, i32 noundef 64)
  %725 = load ptr, ptr %54, align 8, !tbaa !10
  %726 = load ptr, ptr %63, align 8, !tbaa !10
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %725, ptr align 1 %726, i64 64, i1 false)
  call void @llvm.lifetime.end.p0(i64 8, ptr %63) #9
  %727 = load ptr, ptr %61, align 8
  call void @llvm.stackrestore.p0(ptr %727)
  call void @llvm.lifetime.end.p0(i64 4, ptr %60) #9
  br label %728

728:                                              ; preds = %717, %661
  call void @llvm.lifetime.end.p0(i64 8, ptr %59) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %57) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %56) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %55) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %54) #9
  %729 = load ptr, ptr %52, align 8
  call void @llvm.stackrestore.p0(ptr %729)
  br label %733

730:                                              ; preds = %8
  %731 = load ptr, ptr @stderr, align 8, !tbaa !10
  %732 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %731, ptr noundef @.str, ptr noundef @.str.1, i32 noundef 413) #9
  call void @exit(i32 noundef 253) #8
  unreachable

733:                                              ; preds = %728, %562, %396, %230
  ret void
}

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

; 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 nounwind willreturn memory(argmem: readwrite)
declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #7

declare void @Hacl_HMAC_compute_sha1(ptr noundef, ptr noundef, i32 noundef, ptr noundef, i32 noundef) #4

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

declare void @Hacl_HMAC_compute_sha2_256(ptr noundef, ptr noundef, i32 noundef, ptr noundef, i32 noundef) #4

declare void @Hacl_HMAC_compute_sha2_384(ptr noundef, ptr noundef, i32 noundef, ptr noundef, i32 noundef) #4

declare void @Hacl_HMAC_compute_sha2_512(ptr noundef, ptr noundef, i32 noundef, ptr noundef, i32 noundef) #4

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

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

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


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

%struct.Hacl_HMAC_DRBG_state_s = type { ptr, ptr, ptr }

@stderr = external local_unnamed_addr global ptr, align 8
@.str = external hidden unnamed_addr constant [35 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [81 x i8], align 1

; Function Attrs: nofree nounwind
declare noundef i32 @fprintf(ptr nocapture noundef, ptr nocapture noundef readonly, ...) local_unnamed_addr #0

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

; Function Attrs: nounwind uwtable
define dso_local void @Hacl_HMAC_DRBG_instantiate(i8 noundef zeroext %0, ptr nocapture noundef readonly byval(%struct.Hacl_HMAC_DRBG_state_s) align 8 %1, i32 noundef %2, ptr nocapture noundef readonly %3, i32 noundef %4, ptr nocapture noundef readonly %5, i32 noundef %6, ptr nocapture noundef readonly %7) local_unnamed_addr #2 {
  switch i8 %0, label %117 [
    i8 4, label %9
    i8 1, label %36
    i8 2, label %63
    i8 3, label %90
  ]

9:                                                ; preds = %8
  %10 = add i32 %4, %2
  %11 = add i32 %10, %6
  %12 = zext i32 %11 to i64
  %13 = alloca i8, i64 %12, align 16
  call void @llvm.memset.p0.i64(ptr nonnull align 16 %13, i8 0, i64 %12, i1 false)
  %14 = zext i32 %2 to i64
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 16 %13, ptr align 1 %3, i64 %14, i1 false)
  %15 = getelementptr inbounds i8, ptr %13, i64 %14
  %16 = zext i32 %4 to i64
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 1 %15, ptr align 1 %5, i64 %16, i1 false)
  %17 = getelementptr inbounds i8, ptr %15, i64 %16
  %18 = zext i32 %6 to i64
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 1 %17, ptr align 1 %7, i64 %18, i1 false)
  %19 = load ptr, ptr %1, align 8, !tbaa !5
  %20 = getelementptr inbounds i8, ptr %1, i64 8
  %21 = load ptr, ptr %20, align 8, !tbaa !10
  %22 = getelementptr inbounds i8, ptr %1, i64 16
  %23 = load ptr, ptr %22, align 8, !tbaa !11
  tail call void @llvm.memset.p0.i64(ptr noundef nonnull align 1 dereferenceable(20) %19, i8 0, i64 20, i1 false)
  tail call void @llvm.memset.p0.i64(ptr noundef nonnull align 1 dereferenceable(20) %21, i8 1, i64 20, i1 false)
  store i32 1, ptr %23, align 4, !tbaa !12
  %24 = add i32 %10, 21
  %25 = add i32 %24, %6
  %26 = zext i32 %25 to i64
  %27 = alloca i8, i64 %26, align 16
  call void @llvm.memset.p0.i64(ptr nonnull align 16 %27, i8 0, i64 %26, i1 false)
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(20) %27, ptr noundef nonnull align 1 dereferenceable(20) %21, i64 20, i1 false)
  %.not282 = icmp eq i32 %11, 0
  br i1 %.not282, label %.critedge, label %28

28:                                               ; preds = %9
  %29 = getelementptr inbounds i8, ptr %27, i64 21
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 1 %29, ptr nonnull align 16 %13, i64 %12, i1 false)
  %30 = getelementptr inbounds i8, ptr %27, i64 20
  store i8 0, ptr %30, align 4, !tbaa !14
  call void @Hacl_HMAC_compute_sha1(ptr noundef nonnull %27, ptr noundef nonnull %19, i32 noundef 20, ptr noundef nonnull %27, i32 noundef %25) #7
  call void @Hacl_HMAC_compute_sha1(ptr noundef nonnull %21, ptr noundef nonnull %27, i32 noundef 20, ptr noundef nonnull %21, i32 noundef 20) #7
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 1 dereferenceable(20) %19, ptr noundef nonnull align 16 dereferenceable(20) %27, i64 20, i1 false)
  %31 = call ptr @llvm.stacksave.p0()
  %32 = alloca i8, i64 %26, align 16
  call void @llvm.memset.p0.i64(ptr nonnull align 16 %32, i8 0, i64 %26, i1 false)
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(20) %32, ptr noundef nonnull align 1 dereferenceable(20) %21, i64 20, i1 false)
  %33 = getelementptr inbounds i8, ptr %32, i64 21
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 1 %33, ptr nonnull align 16 %13, i64 %12, i1 false)
  %34 = getelementptr inbounds i8, ptr %32, i64 20
  store i8 1, ptr %34, align 4, !tbaa !14
  call void @Hacl_HMAC_compute_sha1(ptr noundef nonnull %32, ptr noundef nonnull %19, i32 noundef 20, ptr noundef nonnull %32, i32 noundef %25) #7
  call void @Hacl_HMAC_compute_sha1(ptr noundef nonnull %21, ptr noundef nonnull %32, i32 noundef 20, ptr noundef nonnull %21, i32 noundef 20) #7
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 1 dereferenceable(20) %19, ptr noundef nonnull align 16 dereferenceable(20) %32, i64 20, i1 false)
  call void @llvm.stackrestore.p0(ptr %31)
  br label %120

.critedge:                                        ; preds = %9
  %35 = getelementptr inbounds i8, ptr %27, i64 20
  store i8 0, ptr %35, align 4, !tbaa !14
  call void @Hacl_HMAC_compute_sha1(ptr noundef nonnull %27, ptr noundef nonnull %19, i32 noundef 20, ptr noundef nonnull %27, i32 noundef %25) #7
  call void @Hacl_HMAC_compute_sha1(ptr noundef nonnull %21, ptr noundef nonnull %27, i32 noundef 20, ptr noundef nonnull %21, i32 noundef 20) #7
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 1 dereferenceable(20) %19, ptr noundef nonnull align 16 dereferenceable(20) %27, i64 20, i1 false)
  br label %120

36:                                               ; preds = %8
  %37 = add i32 %4, %2
  %38 = add i32 %37, %6
  %39 = zext i32 %38 to i64
  %40 = alloca i8, i64 %39, align 16
  call void @llvm.memset.p0.i64(ptr nonnull align 16 %40, i8 0, i64 %39, i1 false)
  %41 = zext i32 %2 to i64
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 16 %40, ptr align 1 %3, i64 %41, i1 false)
  %42 = getelementptr inbounds i8, ptr %40, i64 %41
  %43 = zext i32 %4 to i64
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 1 %42, ptr align 1 %5, i64 %43, i1 false)
  %44 = getelementptr inbounds i8, ptr %42, i64 %43
  %45 = zext i32 %6 to i64
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 1 %44, ptr align 1 %7, i64 %45, i1 false)
  %46 = load ptr, ptr %1, align 8, !tbaa !5
  %47 = getelementptr inbounds i8, ptr %1, i64 8
  %48 = load ptr, ptr %47, align 8, !tbaa !10
  %49 = getelementptr inbounds i8, ptr %1, i64 16
  %50 = load ptr, ptr %49, align 8, !tbaa !11
  tail call void @llvm.memset.p0.i64(ptr noundef nonnull align 1 dereferenceable(32) %46, i8 0, i64 32, i1 false)
  tail call void @llvm.memset.p0.i64(ptr noundef nonnull align 1 dereferenceable(32) %48, i8 1, i64 32, i1 false)
  store i32 1, ptr %50, align 4, !tbaa !12
  %51 = add i32 %37, 33
  %52 = add i32 %51, %6
  %53 = zext i32 %52 to i64
  %54 = alloca i8, i64 %53, align 16
  call void @llvm.memset.p0.i64(ptr nonnull align 16 %54, i8 0, i64 %53, i1 false)
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(32) %54, ptr noundef nonnull align 1 dereferenceable(32) %48, i64 32, i1 false)
  %.not281 = icmp eq i32 %38, 0
  br i1 %.not281, label %.critedge284, label %55

55:                                               ; preds = %36
  %56 = getelementptr inbounds i8, ptr %54, i64 33
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 1 %56, ptr nonnull align 16 %40, i64 %39, i1 false)
  %57 = getelementptr inbounds i8, ptr %54, i64 32
  store i8 0, ptr %57, align 16, !tbaa !14
  call void @Hacl_HMAC_compute_sha2_256(ptr noundef nonnull %54, ptr noundef nonnull %46, i32 noundef 32, ptr noundef nonnull %54, i32 noundef %52) #7
  call void @Hacl_HMAC_compute_sha2_256(ptr noundef nonnull %48, ptr noundef nonnull %54, i32 noundef 32, ptr noundef nonnull %48, i32 noundef 32) #7
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 1 dereferenceable(32) %46, ptr noundef nonnull align 16 dereferenceable(32) %54, i64 32, i1 false)
  %58 = call ptr @llvm.stacksave.p0()
  %59 = alloca i8, i64 %53, align 16
  call void @llvm.memset.p0.i64(ptr nonnull align 16 %59, i8 0, i64 %53, i1 false)
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(32) %59, ptr noundef nonnull align 1 dereferenceable(32) %48, i64 32, i1 false)
  %60 = getelementptr inbounds i8, ptr %59, i64 33
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 1 %60, ptr nonnull align 16 %40, i64 %39, i1 false)
  %61 = getelementptr inbounds i8, ptr %59, i64 32
  store i8 1, ptr %61, align 16, !tbaa !14
  call void @Hacl_HMAC_compute_sha2_256(ptr noundef nonnull %59, ptr noundef nonnull %46, i32 noundef 32, ptr noundef nonnull %59, i32 noundef %52) #7
  call void @Hacl_HMAC_compute_sha2_256(ptr noundef nonnull %48, ptr noundef nonnull %59, i32 noundef 32, ptr noundef nonnull %48, i32 noundef 32) #7
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 1 dereferenceable(32) %46, ptr noundef nonnull align 16 dereferenceable(32) %59, i64 32, i1 false)
  call void @llvm.stackrestore.p0(ptr %58)
  br label %120

.critedge284:                                     ; preds = %36
  %62 = getelementptr inbounds i8, ptr %54, i64 32
  store i8 0, ptr %62, align 16, !tbaa !14
  call void @Hacl_HMAC_compute_sha2_256(ptr noundef nonnull %54, ptr noundef nonnull %46, i32 noundef 32, ptr noundef nonnull %54, i32 noundef %52) #7
  call void @Hacl_HMAC_compute_sha2_256(ptr noundef nonnull %48, ptr noundef nonnull %54, i32 noundef 32, ptr noundef nonnull %48, i32 noundef 32) #7
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 1 dereferenceable(32) %46, ptr noundef nonnull align 16 dereferenceable(32) %54, i64 32, i1 false)
  br label %120

63:                                               ; preds = %8
  %64 = add i32 %4, %2
  %65 = add i32 %64, %6
  %66 = zext i32 %65 to i64
  %67 = alloca i8, i64 %66, align 16
  call void @llvm.memset.p0.i64(ptr nonnull align 16 %67, i8 0, i64 %66, i1 false)
  %68 = zext i32 %2 to i64
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 16 %67, ptr align 1 %3, i64 %68, i1 false)
  %69 = getelementptr inbounds i8, ptr %67, i64 %68
  %70 = zext i32 %4 to i64
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 1 %69, ptr align 1 %5, i64 %70, i1 false)
  %71 = getelementptr inbounds i8, ptr %69, i64 %70
  %72 = zext i32 %6 to i64
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 1 %71, ptr align 1 %7, i64 %72, i1 false)
  %73 = load ptr, ptr %1, align 8, !tbaa !5
  %74 = getelementptr inbounds i8, ptr %1, i64 8
  %75 = load ptr, ptr %74, align 8, !tbaa !10
  %76 = getelementptr inbounds i8, ptr %1, i64 16
  %77 = load ptr, ptr %76, align 8, !tbaa !11
  tail call void @llvm.memset.p0.i64(ptr noundef nonnull align 1 dereferenceable(48) %73, i8 0, i64 48, i1 false)
  tail call void @llvm.memset.p0.i64(ptr noundef nonnull align 1 dereferenceable(48) %75, i8 1, i64 48, i1 false)
  store i32 1, ptr %77, align 4, !tbaa !12
  %78 = add i32 %64, 49
  %79 = add i32 %78, %6
  %80 = zext i32 %79 to i64
  %81 = alloca i8, i64 %80, align 16
  call void @llvm.memset.p0.i64(ptr nonnull align 16 %81, i8 0, i64 %80, i1 false)
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(48) %81, ptr noundef nonnull align 1 dereferenceable(48) %75, i64 48, i1 false)
  %.not280 = icmp eq i32 %65, 0
  br i1 %.not280, label %.critedge286, label %82

82:                                               ; preds = %63
  %83 = getelementptr inbounds i8, ptr %81, i64 49
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 1 %83, ptr nonnull align 16 %67, i64 %66, i1 false)
  %84 = getelementptr inbounds i8, ptr %81, i64 48
  store i8 0, ptr %84, align 16, !tbaa !14
  call void @Hacl_HMAC_compute_sha2_384(ptr noundef nonnull %81, ptr noundef nonnull %73, i32 noundef 48, ptr noundef nonnull %81, i32 noundef %79) #7
  call void @Hacl_HMAC_compute_sha2_384(ptr noundef nonnull %75, ptr noundef nonnull %81, i32 noundef 48, ptr noundef nonnull %75, i32 noundef 48) #7
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 1 dereferenceable(48) %73, ptr noundef nonnull align 16 dereferenceable(48) %81, i64 48, i1 false)
  %85 = call ptr @llvm.stacksave.p0()
  %86 = alloca i8, i64 %80, align 16
  call void @llvm.memset.p0.i64(ptr nonnull align 16 %86, i8 0, i64 %80, i1 false)
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(48) %86, ptr noundef nonnull align 1 dereferenceable(48) %75, i64 48, i1 false)
  %87 = getelementptr inbounds i8, ptr %86, i64 49
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 1 %87, ptr nonnull align 16 %67, i64 %66, i1 false)
  %88 = getelementptr inbounds i8, ptr %86, i64 48
  store i8 1, ptr %88, align 16, !tbaa !14
  call void @Hacl_HMAC_compute_sha2_384(ptr noundef nonnull %86, ptr noundef nonnull %73, i32 noundef 48, ptr noundef nonnull %86, i32 noundef %79) #7
  call void @Hacl_HMAC_compute_sha2_384(ptr noundef nonnull %75, ptr noundef nonnull %86, i32 noundef 48, ptr noundef nonnull %75, i32 noundef 48) #7
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 1 dereferenceable(48) %73, ptr noundef nonnull align 16 dereferenceable(48) %86, i64 48, i1 false)
  call void @llvm.stackrestore.p0(ptr %85)
  br label %120

.critedge286:                                     ; preds = %63
  %89 = getelementptr inbounds i8, ptr %81, i64 48
  store i8 0, ptr %89, align 16, !tbaa !14
  call void @Hacl_HMAC_compute_sha2_384(ptr noundef nonnull %81, ptr noundef nonnull %73, i32 noundef 48, ptr noundef nonnull %81, i32 noundef %79) #7
  call void @Hacl_HMAC_compute_sha2_384(ptr noundef nonnull %75, ptr noundef nonnull %81, i32 noundef 48, ptr noundef nonnull %75, i32 noundef 48) #7
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 1 dereferenceable(48) %73, ptr noundef nonnull align 16 dereferenceable(48) %81, i64 48, i1 false)
  br label %120

90:                                               ; preds = %8
  %91 = add i32 %4, %2
  %92 = add i32 %91, %6
  %93 = zext i32 %92 to i64
  %94 = alloca i8, i64 %93, align 16
  call void @llvm.memset.p0.i64(ptr nonnull align 16 %94, i8 0, i64 %93, i1 false)
  %95 = zext i32 %2 to i64
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 16 %94, ptr align 1 %3, i64 %95, i1 false)
  %96 = getelementptr inbounds i8, ptr %94, i64 %95
  %97 = zext i32 %4 to i64
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 1 %96, ptr align 1 %5, i64 %97, i1 false)
  %98 = getelementptr inbounds i8, ptr %96, i64 %97
  %99 = zext i32 %6 to i64
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 1 %98, ptr align 1 %7, i64 %99, i1 false)
  %100 = load ptr, ptr %1, align 8, !tbaa !5
  %101 = getelementptr inbounds i8, ptr %1, i64 8
  %102 = load ptr, ptr %101, align 8, !tbaa !10
  %103 = getelementptr inbounds i8, ptr %1, i64 16
  %104 = load ptr, ptr %103, align 8, !tbaa !11
  tail call void @llvm.memset.p0.i64(ptr noundef nonnull align 1 dereferenceable(64) %100, i8 0, i64 64, i1 false)
  tail call void @llvm.memset.p0.i64(ptr noundef nonnull align 1 dereferenceable(64) %102, i8 1, i64 64, i1 false)
  store i32 1, ptr %104, align 4, !tbaa !12
  %105 = add i32 %91, 65
  %106 = add i32 %105, %6
  %107 = zext i32 %106 to i64
  %108 = alloca i8, i64 %107, align 16
  call void @llvm.memset.p0.i64(ptr nonnull align 16 %108, i8 0, i64 %107, i1 false)
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(64) %108, ptr noundef nonnull align 1 dereferenceable(64) %102, i64 64, i1 false)
  %.not = icmp eq i32 %92, 0
  br i1 %.not, label %.critedge288, label %109

109:                                              ; preds = %90
  %110 = getelementptr inbounds i8, ptr %108, i64 65
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 1 %110, ptr nonnull align 16 %94, i64 %93, i1 false)
  %111 = getelementptr inbounds i8, ptr %108, i64 64
  store i8 0, ptr %111, align 16, !tbaa !14
  call void @Hacl_HMAC_compute_sha2_512(ptr noundef nonnull %108, ptr noundef nonnull %100, i32 noundef 64, ptr noundef nonnull %108, i32 noundef %106) #7
  call void @Hacl_HMAC_compute_sha2_512(ptr noundef nonnull %102, ptr noundef nonnull %108, i32 noundef 64, ptr noundef nonnull %102, i32 noundef 64) #7
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 1 dereferenceable(64) %100, ptr noundef nonnull align 16 dereferenceable(64) %108, i64 64, i1 false)
  %112 = call ptr @llvm.stacksave.p0()
  %113 = alloca i8, i64 %107, align 16
  call void @llvm.memset.p0.i64(ptr nonnull align 16 %113, i8 0, i64 %107, i1 false)
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(64) %113, ptr noundef nonnull align 1 dereferenceable(64) %102, i64 64, i1 false)
  %114 = getelementptr inbounds i8, ptr %113, i64 65
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 1 %114, ptr nonnull align 16 %94, i64 %93, i1 false)
  %115 = getelementptr inbounds i8, ptr %113, i64 64
  store i8 1, ptr %115, align 16, !tbaa !14
  call void @Hacl_HMAC_compute_sha2_512(ptr noundef nonnull %113, ptr noundef nonnull %100, i32 noundef 64, ptr noundef nonnull %113, i32 noundef %106) #7
  call void @Hacl_HMAC_compute_sha2_512(ptr noundef nonnull %102, ptr noundef nonnull %113, i32 noundef 64, ptr noundef nonnull %102, i32 noundef 64) #7
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 1 dereferenceable(64) %100, ptr noundef nonnull align 16 dereferenceable(64) %113, i64 64, i1 false)
  call void @llvm.stackrestore.p0(ptr %112)
  br label %120

.critedge288:                                     ; preds = %90
  %116 = getelementptr inbounds i8, ptr %108, i64 64
  store i8 0, ptr %116, align 16, !tbaa !14
  call void @Hacl_HMAC_compute_sha2_512(ptr noundef nonnull %108, ptr noundef nonnull %100, i32 noundef 64, ptr noundef nonnull %108, i32 noundef %106) #7
  call void @Hacl_HMAC_compute_sha2_512(ptr noundef nonnull %102, ptr noundef nonnull %108, i32 noundef 64, ptr noundef nonnull %102, i32 noundef 64) #7
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 1 dereferenceable(64) %100, ptr noundef nonnull align 16 dereferenceable(64) %108, i64 64, i1 false)
  br label %120

117:                                              ; preds = %8
  %118 = load ptr, ptr @stderr, align 8, !tbaa !15
  %119 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %118, ptr noundef nonnull @.str, ptr noundef nonnull @.str.1, i32 noundef 413) #8
  tail call void @exit(i32 noundef 253) #9
  unreachable

120:                                              ; preds = %109, %.critedge288, %82, %.critedge286, %55, %.critedge284, %28, %.critedge
  ret void
}

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

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

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

declare void @Hacl_HMAC_compute_sha1(ptr noundef, ptr noundef, i32 noundef, ptr noundef, i32 noundef) local_unnamed_addr #6

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

declare void @Hacl_HMAC_compute_sha2_256(ptr noundef, ptr noundef, i32 noundef, ptr noundef, i32 noundef) local_unnamed_addr #6

declare void @Hacl_HMAC_compute_sha2_384(ptr noundef, ptr noundef, i32 noundef, ptr noundef, i32 noundef) local_unnamed_addr #6

declare void @Hacl_HMAC_compute_sha2_512(ptr noundef, ptr noundef, i32 noundef, ptr noundef, i32 noundef) local_unnamed_addr #6

attributes #0 = { nofree 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 #1 = { 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 #2 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { mustprogress nocallback nofree nosync nounwind willreturn }
attributes #4 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #5 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #6 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #7 = { nounwind }
attributes #8 = { cold 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, !7, i64 0}
!6 = !{!"Hacl_HMAC_DRBG_state_s", !7, i64 0, !7, i64 8, !7, i64 16}
!7 = !{!"any pointer", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C/C++ TBAA"}
!10 = !{!6, !7, i64 8}
!11 = !{!6, !7, i64 16}
!12 = !{!13, !13, i64 0}
!13 = !{!"int", !8, i64 0}
!14 = !{!8, !8, i64 0}
!15 = !{!7, !7, i64 0}


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