; 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

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

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

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

; Function Attrs: 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) #6

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

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

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

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

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

; Function Attrs: nounwind uwtable
define dso_local void @Hacl_HMAC_DRBG_reseed(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) #7 {
  %7 = alloca i8, align 1
  %8 = alloca i32, align 4
  %9 = alloca ptr, align 8
  %10 = alloca i32, align 4
  %11 = alloca ptr, align 8
  %12 = alloca ptr, align 8
  %13 = alloca i64, align 8
  %14 = alloca ptr, align 8
  %15 = alloca ptr, align 8
  %16 = alloca ptr, align 8
  %17 = alloca i32, align 4
  %18 = alloca i64, align 8
  %19 = alloca ptr, align 8
  %20 = alloca i32, align 4
  %21 = alloca ptr, align 8
  %22 = alloca i64, align 8
  %23 = alloca ptr, align 8
  %24 = alloca ptr, align 8
  %25 = alloca i64, align 8
  %26 = alloca ptr, align 8
  %27 = alloca ptr, align 8
  %28 = alloca ptr, align 8
  %29 = alloca i32, align 4
  %30 = alloca i64, align 8
  %31 = alloca ptr, align 8
  %32 = alloca i32, align 4
  %33 = alloca ptr, align 8
  %34 = alloca i64, align 8
  %35 = alloca ptr, align 8
  %36 = alloca ptr, align 8
  %37 = alloca i64, align 8
  %38 = alloca ptr, align 8
  %39 = alloca ptr, align 8
  %40 = alloca ptr, align 8
  %41 = alloca i32, align 4
  %42 = alloca i64, align 8
  %43 = alloca ptr, align 8
  %44 = alloca i32, align 4
  %45 = alloca ptr, align 8
  %46 = alloca i64, align 8
  %47 = alloca ptr, align 8
  %48 = alloca ptr, align 8
  %49 = alloca i64, align 8
  %50 = alloca ptr, align 8
  %51 = alloca ptr, align 8
  %52 = alloca ptr, align 8
  %53 = alloca i32, align 4
  %54 = alloca i64, align 8
  %55 = alloca ptr, align 8
  %56 = alloca i32, align 4
  %57 = alloca ptr, align 8
  %58 = alloca i64, align 8
  %59 = alloca ptr, align 8
  store i8 %0, ptr %7, align 1, !tbaa !5
  store i32 %2, ptr %8, align 4, !tbaa !8
  store ptr %3, ptr %9, align 8, !tbaa !10
  store i32 %4, ptr %10, align 4, !tbaa !8
  store ptr %5, ptr %11, align 8, !tbaa !10
  %60 = load i8, ptr %7, align 1, !tbaa !5
  %61 = zext i8 %60 to i32
  switch i32 %61, label %598 [
    i32 4, label %62
    i32 1, label %196
    i32 2, label %330
    i32 3, label %464
  ]

62:                                               ; preds = %6
  br label %63

63:                                               ; preds = %62
  %64 = load i32, ptr %8, align 4, !tbaa !8
  %65 = load i32, ptr %10, align 4, !tbaa !8
  %66 = add i32 %64, %65
  %67 = zext i32 %66 to i64
  %68 = icmp ugt i64 %67, -1
  br i1 %68, label %69, label %71

69:                                               ; preds = %63
  %70 = call i32 (ptr, ...) @printf(ptr noundef @.str.2, ptr noundef @.str.1, i32 noundef 443)
  call void @exit(i32 noundef 253) #8
  unreachable

71:                                               ; preds = %63
  br label %72

72:                                               ; preds = %71
  %73 = load i32, ptr %8, align 4, !tbaa !8
  %74 = load i32, ptr %10, align 4, !tbaa !8
  %75 = add i32 %73, %74
  %76 = zext i32 %75 to i64
  %77 = call ptr @llvm.stacksave.p0()
  store ptr %77, ptr %12, align 8
  %78 = alloca i8, i64 %76, align 16
  store i64 %76, ptr %13, align 8
  %79 = load i32, ptr %8, align 4, !tbaa !8
  %80 = load i32, ptr %10, align 4, !tbaa !8
  %81 = add i32 %79, %80
  %82 = zext i32 %81 to i64
  %83 = mul i64 %82, 1
  call void @llvm.memset.p0.i64(ptr align 16 %78, i8 0, i64 %83, i1 false)
  %84 = load ptr, ptr %9, align 8, !tbaa !10
  %85 = load i32, ptr %8, align 4, !tbaa !8
  %86 = zext i32 %85 to i64
  %87 = mul i64 %86, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 %78, ptr align 1 %84, i64 %87, i1 false)
  %88 = load i32, ptr %8, align 4, !tbaa !8
  %89 = zext i32 %88 to i64
  %90 = getelementptr inbounds i8, ptr %78, i64 %89
  %91 = load ptr, ptr %11, align 8, !tbaa !10
  %92 = load i32, ptr %10, align 4, !tbaa !8
  %93 = zext i32 %92 to i64
  %94 = mul i64 %93, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %90, ptr align 1 %91, i64 %94, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #9
  %95 = getelementptr inbounds %struct.Hacl_HMAC_DRBG_state_s, ptr %1, i32 0, i32 0
  %96 = load ptr, ptr %95, align 8, !tbaa !12
  store ptr %96, ptr %14, align 8, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #9
  %97 = getelementptr inbounds %struct.Hacl_HMAC_DRBG_state_s, ptr %1, i32 0, i32 1
  %98 = load ptr, ptr %97, align 8, !tbaa !14
  store ptr %98, ptr %15, align 8, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #9
  %99 = getelementptr inbounds %struct.Hacl_HMAC_DRBG_state_s, ptr %1, i32 0, i32 2
  %100 = load ptr, ptr %99, align 8, !tbaa !15
  store ptr %100, ptr %16, align 8, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #9
  %101 = load i32, ptr %8, align 4, !tbaa !8
  %102 = add i32 21, %101
  %103 = load i32, ptr %10, align 4, !tbaa !8
  %104 = add i32 %102, %103
  store i32 %104, ptr %17, align 4, !tbaa !8
  br label %105

105:                                              ; preds = %72
  %106 = load i32, ptr %17, align 4, !tbaa !8
  %107 = zext i32 %106 to i64
  %108 = icmp ugt i64 %107, -1
  br i1 %108, label %109, label %111

109:                                              ; preds = %105
  %110 = call i32 (ptr, ...) @printf(ptr noundef @.str.2, ptr noundef @.str.1, i32 noundef 456)
  call void @exit(i32 noundef 253) #8
  unreachable

111:                                              ; preds = %105
  br label %112

112:                                              ; preds = %111
  br label %113

113:                                              ; preds = %112
  %114 = load i32, ptr %17, align 4, !tbaa !8
  %115 = zext i32 %114 to i64
  %116 = alloca i8, i64 %115, align 16
  store i64 %115, ptr %18, align 8
  %117 = load i32, ptr %17, align 4, !tbaa !8
  %118 = zext i32 %117 to i64
  %119 = mul i64 %118, 1
  call void @llvm.memset.p0.i64(ptr align 16 %116, i8 0, i64 %119, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #9
  store ptr %116, ptr %19, align 8, !tbaa !10
  %120 = load ptr, ptr %19, align 8, !tbaa !10
  %121 = load ptr, ptr %15, align 8, !tbaa !10
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %120, ptr align 1 %121, i64 20, i1 false)
  %122 = load i32, ptr %8, align 4, !tbaa !8
  %123 = load i32, ptr %10, align 4, !tbaa !8
  %124 = add i32 %122, %123
  %125 = icmp ne i32 %124, 0
  br i1 %125, label %126, label %133

126:                                              ; preds = %113
  %127 = getelementptr inbounds i8, ptr %116, i64 21
  %128 = load i32, ptr %8, align 4, !tbaa !8
  %129 = load i32, ptr %10, align 4, !tbaa !8
  %130 = add i32 %128, %129
  %131 = zext i32 %130 to i64
  %132 = mul i64 %131, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %127, ptr align 16 %78, i64 %132, i1 false)
  br label %133

133:                                              ; preds = %126, %113
  %134 = getelementptr inbounds i8, ptr %116, i64 20
  store i8 0, ptr %134, align 4, !tbaa !5
  %135 = load ptr, ptr %19, align 8, !tbaa !10
  %136 = load ptr, ptr %14, align 8, !tbaa !10
  %137 = load i32, ptr %17, align 4, !tbaa !8
  call void @Hacl_HMAC_compute_sha1(ptr noundef %135, ptr noundef %136, i32 noundef 20, ptr noundef %116, i32 noundef %137)
  %138 = load ptr, ptr %15, align 8, !tbaa !10
  %139 = load ptr, ptr %19, align 8, !tbaa !10
  %140 = load ptr, ptr %15, align 8, !tbaa !10
  call void @Hacl_HMAC_compute_sha1(ptr noundef %138, ptr noundef %139, i32 noundef 20, ptr noundef %140, i32 noundef 20)
  %141 = load ptr, ptr %14, align 8, !tbaa !10
  %142 = load ptr, ptr %19, align 8, !tbaa !10
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %141, ptr align 1 %142, i64 20, i1 false)
  %143 = load i32, ptr %8, align 4, !tbaa !8
  %144 = load i32, ptr %10, align 4, !tbaa !8
  %145 = add i32 %143, %144
  %146 = icmp ne i32 %145, 0
  br i1 %146, label %147, label %192

147:                                              ; preds = %133
  call void @llvm.lifetime.start.p0(i64 4, ptr %20) #9
  %148 = load i32, ptr %8, align 4, !tbaa !8
  %149 = add i32 21, %148
  %150 = load i32, ptr %10, align 4, !tbaa !8
  %151 = add i32 %149, %150
  store i32 %151, ptr %20, align 4, !tbaa !8
  br label %152

152:                                              ; preds = %147
  %153 = load i32, ptr %20, align 4, !tbaa !8
  %154 = zext i32 %153 to i64
  %155 = icmp ugt i64 %154, -1
  br i1 %155, label %156, label %158

156:                                              ; preds = %152
  %157 = call i32 (ptr, ...) @printf(ptr noundef @.str.2, ptr noundef @.str.1, i32 noundef 474)
  call void @exit(i32 noundef 253) #8
  unreachable

158:                                              ; preds = %152
  br label %159

159:                                              ; preds = %158
  br label %160

160:                                              ; preds = %159
  %161 = load i32, ptr %20, align 4, !tbaa !8
  %162 = zext i32 %161 to i64
  %163 = call ptr @llvm.stacksave.p0()
  store ptr %163, ptr %21, align 8
  %164 = alloca i8, i64 %162, align 16
  store i64 %162, ptr %22, align 8
  %165 = load i32, ptr %20, align 4, !tbaa !8
  %166 = zext i32 %165 to i64
  %167 = mul i64 %166, 1
  call void @llvm.memset.p0.i64(ptr align 16 %164, i8 0, i64 %167, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #9
  store ptr %164, ptr %23, align 8, !tbaa !10
  %168 = load ptr, ptr %23, align 8, !tbaa !10
  %169 = load ptr, ptr %15, align 8, !tbaa !10
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %168, ptr align 1 %169, i64 20, i1 false)
  %170 = load i32, ptr %8, align 4, !tbaa !8
  %171 = load i32, ptr %10, align 4, !tbaa !8
  %172 = add i32 %170, %171
  %173 = icmp ne i32 %172, 0
  br i1 %173, label %174, label %181

174:                                              ; preds = %160
  %175 = getelementptr inbounds i8, ptr %164, i64 21
  %176 = load i32, ptr %8, align 4, !tbaa !8
  %177 = load i32, ptr %10, align 4, !tbaa !8
  %178 = add i32 %176, %177
  %179 = zext i32 %178 to i64
  %180 = mul i64 %179, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %175, ptr align 16 %78, i64 %180, i1 false)
  br label %181

181:                                              ; preds = %174, %160
  %182 = getelementptr inbounds i8, ptr %164, i64 20
  store i8 1, ptr %182, align 4, !tbaa !5
  %183 = load ptr, ptr %23, align 8, !tbaa !10
  %184 = load ptr, ptr %14, align 8, !tbaa !10
  %185 = load i32, ptr %20, align 4, !tbaa !8
  call void @Hacl_HMAC_compute_sha1(ptr noundef %183, ptr noundef %184, i32 noundef 20, ptr noundef %164, i32 noundef %185)
  %186 = load ptr, ptr %15, align 8, !tbaa !10
  %187 = load ptr, ptr %23, align 8, !tbaa !10
  %188 = load ptr, ptr %15, align 8, !tbaa !10
  call void @Hacl_HMAC_compute_sha1(ptr noundef %186, ptr noundef %187, i32 noundef 20, ptr noundef %188, i32 noundef 20)
  %189 = load ptr, ptr %14, align 8, !tbaa !10
  %190 = load ptr, ptr %23, align 8, !tbaa !10
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %189, ptr align 1 %190, i64 20, i1 false)
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #9
  %191 = load ptr, ptr %21, align 8
  call void @llvm.stackrestore.p0(ptr %191)
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #9
  br label %192

192:                                              ; preds = %181, %133
  %193 = load ptr, ptr %16, align 8, !tbaa !10
  %194 = getelementptr inbounds i32, ptr %193, i64 0
  store i32 1, ptr %194, align 4, !tbaa !8
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #9
  %195 = load ptr, ptr %12, align 8
  call void @llvm.stackrestore.p0(ptr %195)
  br label %601

196:                                              ; preds = %6
  br label %197

197:                                              ; preds = %196
  %198 = load i32, ptr %8, align 4, !tbaa !8
  %199 = load i32, ptr %10, align 4, !tbaa !8
  %200 = add i32 %198, %199
  %201 = zext i32 %200 to i64
  %202 = icmp ugt i64 %201, -1
  br i1 %202, label %203, label %205

203:                                              ; preds = %197
  %204 = call i32 (ptr, ...) @printf(ptr noundef @.str.2, ptr noundef @.str.1, i32 noundef 495)
  call void @exit(i32 noundef 253) #8
  unreachable

205:                                              ; preds = %197
  br label %206

206:                                              ; preds = %205
  %207 = load i32, ptr %8, align 4, !tbaa !8
  %208 = load i32, ptr %10, align 4, !tbaa !8
  %209 = add i32 %207, %208
  %210 = zext i32 %209 to i64
  %211 = call ptr @llvm.stacksave.p0()
  store ptr %211, ptr %24, align 8
  %212 = alloca i8, i64 %210, align 16
  store i64 %210, ptr %25, align 8
  %213 = load i32, ptr %8, align 4, !tbaa !8
  %214 = load i32, ptr %10, align 4, !tbaa !8
  %215 = add i32 %213, %214
  %216 = zext i32 %215 to i64
  %217 = mul i64 %216, 1
  call void @llvm.memset.p0.i64(ptr align 16 %212, i8 0, i64 %217, i1 false)
  %218 = load ptr, ptr %9, align 8, !tbaa !10
  %219 = load i32, ptr %8, align 4, !tbaa !8
  %220 = zext i32 %219 to i64
  %221 = mul i64 %220, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 %212, ptr align 1 %218, i64 %221, i1 false)
  %222 = load i32, ptr %8, align 4, !tbaa !8
  %223 = zext i32 %222 to i64
  %224 = getelementptr inbounds i8, ptr %212, i64 %223
  %225 = load ptr, ptr %11, align 8, !tbaa !10
  %226 = load i32, ptr %10, align 4, !tbaa !8
  %227 = zext i32 %226 to i64
  %228 = mul i64 %227, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %224, ptr align 1 %225, i64 %228, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #9
  %229 = getelementptr inbounds %struct.Hacl_HMAC_DRBG_state_s, ptr %1, i32 0, i32 0
  %230 = load ptr, ptr %229, align 8, !tbaa !12
  store ptr %230, ptr %26, align 8, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #9
  %231 = getelementptr inbounds %struct.Hacl_HMAC_DRBG_state_s, ptr %1, i32 0, i32 1
  %232 = load ptr, ptr %231, align 8, !tbaa !14
  store ptr %232, ptr %27, align 8, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 8, ptr %28) #9
  %233 = getelementptr inbounds %struct.Hacl_HMAC_DRBG_state_s, ptr %1, i32 0, i32 2
  %234 = load ptr, ptr %233, align 8, !tbaa !15
  store ptr %234, ptr %28, align 8, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 4, ptr %29) #9
  %235 = load i32, ptr %8, align 4, !tbaa !8
  %236 = add i32 33, %235
  %237 = load i32, ptr %10, align 4, !tbaa !8
  %238 = add i32 %236, %237
  store i32 %238, ptr %29, align 4, !tbaa !8
  br label %239

239:                                              ; preds = %206
  %240 = load i32, ptr %29, align 4, !tbaa !8
  %241 = zext i32 %240 to i64
  %242 = icmp ugt i64 %241, -1
  br i1 %242, label %243, label %245

243:                                              ; preds = %239
  %244 = call i32 (ptr, ...) @printf(ptr noundef @.str.2, ptr noundef @.str.1, i32 noundef 508)
  call void @exit(i32 noundef 253) #8
  unreachable

245:                                              ; preds = %239
  br label %246

246:                                              ; preds = %245
  br label %247

247:                                              ; preds = %246
  %248 = load i32, ptr %29, align 4, !tbaa !8
  %249 = zext i32 %248 to i64
  %250 = alloca i8, i64 %249, align 16
  store i64 %249, ptr %30, align 8
  %251 = load i32, ptr %29, align 4, !tbaa !8
  %252 = zext i32 %251 to i64
  %253 = mul i64 %252, 1
  call void @llvm.memset.p0.i64(ptr align 16 %250, i8 0, i64 %253, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #9
  store ptr %250, ptr %31, align 8, !tbaa !10
  %254 = load ptr, ptr %31, align 8, !tbaa !10
  %255 = load ptr, ptr %27, align 8, !tbaa !10
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %254, ptr align 1 %255, i64 32, i1 false)
  %256 = load i32, ptr %8, align 4, !tbaa !8
  %257 = load i32, ptr %10, align 4, !tbaa !8
  %258 = add i32 %256, %257
  %259 = icmp ne i32 %258, 0
  br i1 %259, label %260, label %267

260:                                              ; preds = %247
  %261 = getelementptr inbounds i8, ptr %250, i64 33
  %262 = load i32, ptr %8, align 4, !tbaa !8
  %263 = load i32, ptr %10, align 4, !tbaa !8
  %264 = add i32 %262, %263
  %265 = zext i32 %264 to i64
  %266 = mul i64 %265, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %261, ptr align 16 %212, i64 %266, i1 false)
  br label %267

267:                                              ; preds = %260, %247
  %268 = getelementptr inbounds i8, ptr %250, i64 32
  store i8 0, ptr %268, align 16, !tbaa !5
  %269 = load ptr, ptr %31, align 8, !tbaa !10
  %270 = load ptr, ptr %26, align 8, !tbaa !10
  %271 = load i32, ptr %29, align 4, !tbaa !8
  call void @Hacl_HMAC_compute_sha2_256(ptr noundef %269, ptr noundef %270, i32 noundef 32, ptr noundef %250, i32 noundef %271)
  %272 = load ptr, ptr %27, align 8, !tbaa !10
  %273 = load ptr, ptr %31, align 8, !tbaa !10
  %274 = load ptr, ptr %27, align 8, !tbaa !10
  call void @Hacl_HMAC_compute_sha2_256(ptr noundef %272, ptr noundef %273, i32 noundef 32, ptr noundef %274, i32 noundef 32)
  %275 = load ptr, ptr %26, align 8, !tbaa !10
  %276 = load ptr, ptr %31, align 8, !tbaa !10
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %275, ptr align 1 %276, i64 32, i1 false)
  %277 = load i32, ptr %8, align 4, !tbaa !8
  %278 = load i32, ptr %10, align 4, !tbaa !8
  %279 = add i32 %277, %278
  %280 = icmp ne i32 %279, 0
  br i1 %280, label %281, label %326

281:                                              ; preds = %267
  call void @llvm.lifetime.start.p0(i64 4, ptr %32) #9
  %282 = load i32, ptr %8, align 4, !tbaa !8
  %283 = add i32 33, %282
  %284 = load i32, ptr %10, align 4, !tbaa !8
  %285 = add i32 %283, %284
  store i32 %285, ptr %32, align 4, !tbaa !8
  br label %286

286:                                              ; preds = %281
  %287 = load i32, ptr %32, align 4, !tbaa !8
  %288 = zext i32 %287 to i64
  %289 = icmp ugt i64 %288, -1
  br i1 %289, label %290, label %292

290:                                              ; preds = %286
  %291 = call i32 (ptr, ...) @printf(ptr noundef @.str.2, ptr noundef @.str.1, i32 noundef 526)
  call void @exit(i32 noundef 253) #8
  unreachable

292:                                              ; preds = %286
  br label %293

293:                                              ; preds = %292
  br label %294

294:                                              ; preds = %293
  %295 = load i32, ptr %32, align 4, !tbaa !8
  %296 = zext i32 %295 to i64
  %297 = call ptr @llvm.stacksave.p0()
  store ptr %297, ptr %33, align 8
  %298 = alloca i8, i64 %296, align 16
  store i64 %296, ptr %34, align 8
  %299 = load i32, ptr %32, align 4, !tbaa !8
  %300 = zext i32 %299 to i64
  %301 = mul i64 %300, 1
  call void @llvm.memset.p0.i64(ptr align 16 %298, i8 0, i64 %301, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %35) #9
  store ptr %298, ptr %35, align 8, !tbaa !10
  %302 = load ptr, ptr %35, align 8, !tbaa !10
  %303 = load ptr, ptr %27, align 8, !tbaa !10
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %302, ptr align 1 %303, i64 32, i1 false)
  %304 = load i32, ptr %8, align 4, !tbaa !8
  %305 = load i32, ptr %10, align 4, !tbaa !8
  %306 = add i32 %304, %305
  %307 = icmp ne i32 %306, 0
  br i1 %307, label %308, label %315

308:                                              ; preds = %294
  %309 = getelementptr inbounds i8, ptr %298, i64 33
  %310 = load i32, ptr %8, align 4, !tbaa !8
  %311 = load i32, ptr %10, align 4, !tbaa !8
  %312 = add i32 %310, %311
  %313 = zext i32 %312 to i64
  %314 = mul i64 %313, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %309, ptr align 16 %212, i64 %314, i1 false)
  br label %315

315:                                              ; preds = %308, %294
  %316 = getelementptr inbounds i8, ptr %298, i64 32
  store i8 1, ptr %316, align 16, !tbaa !5
  %317 = load ptr, ptr %35, align 8, !tbaa !10
  %318 = load ptr, ptr %26, align 8, !tbaa !10
  %319 = load i32, ptr %32, align 4, !tbaa !8
  call void @Hacl_HMAC_compute_sha2_256(ptr noundef %317, ptr noundef %318, i32 noundef 32, ptr noundef %298, i32 noundef %319)
  %320 = load ptr, ptr %27, align 8, !tbaa !10
  %321 = load ptr, ptr %35, align 8, !tbaa !10
  %322 = load ptr, ptr %27, align 8, !tbaa !10
  call void @Hacl_HMAC_compute_sha2_256(ptr noundef %320, ptr noundef %321, i32 noundef 32, ptr noundef %322, i32 noundef 32)
  %323 = load ptr, ptr %26, align 8, !tbaa !10
  %324 = load ptr, ptr %35, align 8, !tbaa !10
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %323, ptr align 1 %324, i64 32, i1 false)
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #9
  %325 = load ptr, ptr %33, align 8
  call void @llvm.stackrestore.p0(ptr %325)
  call void @llvm.lifetime.end.p0(i64 4, ptr %32) #9
  br label %326

326:                                              ; preds = %315, %267
  %327 = load ptr, ptr %28, align 8, !tbaa !10
  %328 = getelementptr inbounds i32, ptr %327, i64 0
  store i32 1, ptr %328, align 4, !tbaa !8
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %29) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #9
  %329 = load ptr, ptr %24, align 8
  call void @llvm.stackrestore.p0(ptr %329)
  br label %601

330:                                              ; preds = %6
  br label %331

331:                                              ; preds = %330
  %332 = load i32, ptr %8, align 4, !tbaa !8
  %333 = load i32, ptr %10, align 4, !tbaa !8
  %334 = add i32 %332, %333
  %335 = zext i32 %334 to i64
  %336 = icmp ugt i64 %335, -1
  br i1 %336, label %337, label %339

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

339:                                              ; preds = %331
  br label %340

340:                                              ; preds = %339
  %341 = load i32, ptr %8, align 4, !tbaa !8
  %342 = load i32, ptr %10, align 4, !tbaa !8
  %343 = add i32 %341, %342
  %344 = zext i32 %343 to i64
  %345 = call ptr @llvm.stacksave.p0()
  store ptr %345, ptr %36, align 8
  %346 = alloca i8, i64 %344, align 16
  store i64 %344, ptr %37, align 8
  %347 = load i32, ptr %8, align 4, !tbaa !8
  %348 = load i32, ptr %10, align 4, !tbaa !8
  %349 = add i32 %347, %348
  %350 = zext i32 %349 to i64
  %351 = mul i64 %350, 1
  call void @llvm.memset.p0.i64(ptr align 16 %346, i8 0, i64 %351, i1 false)
  %352 = load ptr, ptr %9, align 8, !tbaa !10
  %353 = load i32, ptr %8, align 4, !tbaa !8
  %354 = zext i32 %353 to i64
  %355 = mul i64 %354, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 %346, ptr align 1 %352, i64 %355, i1 false)
  %356 = load i32, ptr %8, align 4, !tbaa !8
  %357 = zext i32 %356 to i64
  %358 = getelementptr inbounds i8, ptr %346, i64 %357
  %359 = load ptr, ptr %11, align 8, !tbaa !10
  %360 = load i32, ptr %10, align 4, !tbaa !8
  %361 = zext i32 %360 to i64
  %362 = mul i64 %361, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %358, ptr align 1 %359, i64 %362, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %38) #9
  %363 = getelementptr inbounds %struct.Hacl_HMAC_DRBG_state_s, ptr %1, i32 0, i32 0
  %364 = load ptr, ptr %363, align 8, !tbaa !12
  store ptr %364, ptr %38, align 8, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 8, ptr %39) #9
  %365 = getelementptr inbounds %struct.Hacl_HMAC_DRBG_state_s, ptr %1, i32 0, i32 1
  %366 = load ptr, ptr %365, align 8, !tbaa !14
  store ptr %366, ptr %39, align 8, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 8, ptr %40) #9
  %367 = getelementptr inbounds %struct.Hacl_HMAC_DRBG_state_s, ptr %1, i32 0, i32 2
  %368 = load ptr, ptr %367, align 8, !tbaa !15
  store ptr %368, ptr %40, align 8, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 4, ptr %41) #9
  %369 = load i32, ptr %8, align 4, !tbaa !8
  %370 = add i32 49, %369
  %371 = load i32, ptr %10, align 4, !tbaa !8
  %372 = add i32 %370, %371
  store i32 %372, ptr %41, align 4, !tbaa !8
  br label %373

373:                                              ; preds = %340
  %374 = load i32, ptr %41, align 4, !tbaa !8
  %375 = zext i32 %374 to i64
  %376 = icmp ugt i64 %375, -1
  br i1 %376, label %377, label %379

377:                                              ; preds = %373
  %378 = call i32 (ptr, ...) @printf(ptr noundef @.str.2, ptr noundef @.str.1, i32 noundef 560)
  call void @exit(i32 noundef 253) #8
  unreachable

379:                                              ; preds = %373
  br label %380

380:                                              ; preds = %379
  br label %381

381:                                              ; preds = %380
  %382 = load i32, ptr %41, align 4, !tbaa !8
  %383 = zext i32 %382 to i64
  %384 = alloca i8, i64 %383, align 16
  store i64 %383, ptr %42, align 8
  %385 = load i32, ptr %41, align 4, !tbaa !8
  %386 = zext i32 %385 to i64
  %387 = mul i64 %386, 1
  call void @llvm.memset.p0.i64(ptr align 16 %384, i8 0, i64 %387, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %43) #9
  store ptr %384, ptr %43, align 8, !tbaa !10
  %388 = load ptr, ptr %43, align 8, !tbaa !10
  %389 = load ptr, ptr %39, align 8, !tbaa !10
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %388, ptr align 1 %389, i64 48, i1 false)
  %390 = load i32, ptr %8, align 4, !tbaa !8
  %391 = load i32, ptr %10, align 4, !tbaa !8
  %392 = add i32 %390, %391
  %393 = icmp ne i32 %392, 0
  br i1 %393, label %394, label %401

394:                                              ; preds = %381
  %395 = getelementptr inbounds i8, ptr %384, i64 49
  %396 = load i32, ptr %8, align 4, !tbaa !8
  %397 = load i32, ptr %10, align 4, !tbaa !8
  %398 = add i32 %396, %397
  %399 = zext i32 %398 to i64
  %400 = mul i64 %399, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %395, ptr align 16 %346, i64 %400, i1 false)
  br label %401

401:                                              ; preds = %394, %381
  %402 = getelementptr inbounds i8, ptr %384, i64 48
  store i8 0, ptr %402, align 16, !tbaa !5
  %403 = load ptr, ptr %43, align 8, !tbaa !10
  %404 = load ptr, ptr %38, align 8, !tbaa !10
  %405 = load i32, ptr %41, align 4, !tbaa !8
  call void @Hacl_HMAC_compute_sha2_384(ptr noundef %403, ptr noundef %404, i32 noundef 48, ptr noundef %384, i32 noundef %405)
  %406 = load ptr, ptr %39, align 8, !tbaa !10
  %407 = load ptr, ptr %43, align 8, !tbaa !10
  %408 = load ptr, ptr %39, align 8, !tbaa !10
  call void @Hacl_HMAC_compute_sha2_384(ptr noundef %406, ptr noundef %407, i32 noundef 48, ptr noundef %408, i32 noundef 48)
  %409 = load ptr, ptr %38, align 8, !tbaa !10
  %410 = load ptr, ptr %43, align 8, !tbaa !10
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %409, ptr align 1 %410, i64 48, i1 false)
  %411 = load i32, ptr %8, align 4, !tbaa !8
  %412 = load i32, ptr %10, align 4, !tbaa !8
  %413 = add i32 %411, %412
  %414 = icmp ne i32 %413, 0
  br i1 %414, label %415, label %460

415:                                              ; preds = %401
  call void @llvm.lifetime.start.p0(i64 4, ptr %44) #9
  %416 = load i32, ptr %8, align 4, !tbaa !8
  %417 = add i32 49, %416
  %418 = load i32, ptr %10, align 4, !tbaa !8
  %419 = add i32 %417, %418
  store i32 %419, ptr %44, align 4, !tbaa !8
  br label %420

420:                                              ; preds = %415
  %421 = load i32, ptr %44, align 4, !tbaa !8
  %422 = zext i32 %421 to i64
  %423 = icmp ugt i64 %422, -1
  br i1 %423, label %424, label %426

424:                                              ; preds = %420
  %425 = call i32 (ptr, ...) @printf(ptr noundef @.str.2, ptr noundef @.str.1, i32 noundef 578)
  call void @exit(i32 noundef 253) #8
  unreachable

426:                                              ; preds = %420
  br label %427

427:                                              ; preds = %426
  br label %428

428:                                              ; preds = %427
  %429 = load i32, ptr %44, align 4, !tbaa !8
  %430 = zext i32 %429 to i64
  %431 = call ptr @llvm.stacksave.p0()
  store ptr %431, ptr %45, align 8
  %432 = alloca i8, i64 %430, align 16
  store i64 %430, ptr %46, align 8
  %433 = load i32, ptr %44, align 4, !tbaa !8
  %434 = zext i32 %433 to i64
  %435 = mul i64 %434, 1
  call void @llvm.memset.p0.i64(ptr align 16 %432, i8 0, i64 %435, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %47) #9
  store ptr %432, ptr %47, align 8, !tbaa !10
  %436 = load ptr, ptr %47, align 8, !tbaa !10
  %437 = load ptr, ptr %39, align 8, !tbaa !10
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %436, ptr align 1 %437, i64 48, i1 false)
  %438 = load i32, ptr %8, align 4, !tbaa !8
  %439 = load i32, ptr %10, align 4, !tbaa !8
  %440 = add i32 %438, %439
  %441 = icmp ne i32 %440, 0
  br i1 %441, label %442, label %449

442:                                              ; preds = %428
  %443 = getelementptr inbounds i8, ptr %432, i64 49
  %444 = load i32, ptr %8, align 4, !tbaa !8
  %445 = load i32, ptr %10, align 4, !tbaa !8
  %446 = add i32 %444, %445
  %447 = zext i32 %446 to i64
  %448 = mul i64 %447, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %443, ptr align 16 %346, i64 %448, i1 false)
  br label %449

449:                                              ; preds = %442, %428
  %450 = getelementptr inbounds i8, ptr %432, i64 48
  store i8 1, ptr %450, align 16, !tbaa !5
  %451 = load ptr, ptr %47, align 8, !tbaa !10
  %452 = load ptr, ptr %38, align 8, !tbaa !10
  %453 = load i32, ptr %44, align 4, !tbaa !8
  call void @Hacl_HMAC_compute_sha2_384(ptr noundef %451, ptr noundef %452, i32 noundef 48, ptr noundef %432, i32 noundef %453)
  %454 = load ptr, ptr %39, align 8, !tbaa !10
  %455 = load ptr, ptr %47, align 8, !tbaa !10
  %456 = load ptr, ptr %39, align 8, !tbaa !10
  call void @Hacl_HMAC_compute_sha2_384(ptr noundef %454, ptr noundef %455, i32 noundef 48, ptr noundef %456, i32 noundef 48)
  %457 = load ptr, ptr %38, align 8, !tbaa !10
  %458 = load ptr, ptr %47, align 8, !tbaa !10
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %457, ptr align 1 %458, i64 48, i1 false)
  call void @llvm.lifetime.end.p0(i64 8, ptr %47) #9
  %459 = load ptr, ptr %45, align 8
  call void @llvm.stackrestore.p0(ptr %459)
  call void @llvm.lifetime.end.p0(i64 4, ptr %44) #9
  br label %460

460:                                              ; preds = %449, %401
  %461 = load ptr, ptr %40, align 8, !tbaa !10
  %462 = getelementptr inbounds i32, ptr %461, i64 0
  store i32 1, ptr %462, align 4, !tbaa !8
  call void @llvm.lifetime.end.p0(i64 8, ptr %43) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %41) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %40) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %39) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %38) #9
  %463 = load ptr, ptr %36, align 8
  call void @llvm.stackrestore.p0(ptr %463)
  br label %601

464:                                              ; preds = %6
  br label %465

465:                                              ; preds = %464
  %466 = load i32, ptr %8, align 4, !tbaa !8
  %467 = load i32, ptr %10, align 4, !tbaa !8
  %468 = add i32 %466, %467
  %469 = zext i32 %468 to i64
  %470 = icmp ugt i64 %469, -1
  br i1 %470, label %471, label %473

471:                                              ; preds = %465
  %472 = call i32 (ptr, ...) @printf(ptr noundef @.str.2, ptr noundef @.str.1, i32 noundef 599)
  call void @exit(i32 noundef 253) #8
  unreachable

473:                                              ; preds = %465
  br label %474

474:                                              ; preds = %473
  %475 = load i32, ptr %8, align 4, !tbaa !8
  %476 = load i32, ptr %10, align 4, !tbaa !8
  %477 = add i32 %475, %476
  %478 = zext i32 %477 to i64
  %479 = call ptr @llvm.stacksave.p0()
  store ptr %479, ptr %48, align 8
  %480 = alloca i8, i64 %478, align 16
  store i64 %478, ptr %49, align 8
  %481 = load i32, ptr %8, align 4, !tbaa !8
  %482 = load i32, ptr %10, align 4, !tbaa !8
  %483 = add i32 %481, %482
  %484 = zext i32 %483 to i64
  %485 = mul i64 %484, 1
  call void @llvm.memset.p0.i64(ptr align 16 %480, i8 0, i64 %485, i1 false)
  %486 = load ptr, ptr %9, align 8, !tbaa !10
  %487 = load i32, ptr %8, align 4, !tbaa !8
  %488 = zext i32 %487 to i64
  %489 = mul i64 %488, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 %480, ptr align 1 %486, i64 %489, i1 false)
  %490 = load i32, ptr %8, align 4, !tbaa !8
  %491 = zext i32 %490 to i64
  %492 = getelementptr inbounds i8, ptr %480, i64 %491
  %493 = load ptr, ptr %11, align 8, !tbaa !10
  %494 = load i32, ptr %10, align 4, !tbaa !8
  %495 = zext i32 %494 to i64
  %496 = mul i64 %495, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %492, ptr align 1 %493, i64 %496, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %50) #9
  %497 = getelementptr inbounds %struct.Hacl_HMAC_DRBG_state_s, ptr %1, i32 0, i32 0
  %498 = load ptr, ptr %497, align 8, !tbaa !12
  store ptr %498, ptr %50, align 8, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 8, ptr %51) #9
  %499 = getelementptr inbounds %struct.Hacl_HMAC_DRBG_state_s, ptr %1, i32 0, i32 1
  %500 = load ptr, ptr %499, align 8, !tbaa !14
  store ptr %500, ptr %51, align 8, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 8, ptr %52) #9
  %501 = getelementptr inbounds %struct.Hacl_HMAC_DRBG_state_s, ptr %1, i32 0, i32 2
  %502 = load ptr, ptr %501, align 8, !tbaa !15
  store ptr %502, ptr %52, align 8, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 4, ptr %53) #9
  %503 = load i32, ptr %8, align 4, !tbaa !8
  %504 = add i32 65, %503
  %505 = load i32, ptr %10, align 4, !tbaa !8
  %506 = add i32 %504, %505
  store i32 %506, ptr %53, align 4, !tbaa !8
  br label %507

507:                                              ; preds = %474
  %508 = load i32, ptr %53, align 4, !tbaa !8
  %509 = zext i32 %508 to i64
  %510 = icmp ugt i64 %509, -1
  br i1 %510, label %511, label %513

511:                                              ; preds = %507
  %512 = call i32 (ptr, ...) @printf(ptr noundef @.str.2, ptr noundef @.str.1, i32 noundef 612)
  call void @exit(i32 noundef 253) #8
  unreachable

513:                                              ; preds = %507
  br label %514

514:                                              ; preds = %513
  br label %515

515:                                              ; preds = %514
  %516 = load i32, ptr %53, align 4, !tbaa !8
  %517 = zext i32 %516 to i64
  %518 = alloca i8, i64 %517, align 16
  store i64 %517, ptr %54, align 8
  %519 = load i32, ptr %53, align 4, !tbaa !8
  %520 = zext i32 %519 to i64
  %521 = mul i64 %520, 1
  call void @llvm.memset.p0.i64(ptr align 16 %518, i8 0, i64 %521, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %55) #9
  store ptr %518, ptr %55, align 8, !tbaa !10
  %522 = load ptr, ptr %55, align 8, !tbaa !10
  %523 = load ptr, ptr %51, align 8, !tbaa !10
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %522, ptr align 1 %523, i64 64, i1 false)
  %524 = load i32, ptr %8, align 4, !tbaa !8
  %525 = load i32, ptr %10, align 4, !tbaa !8
  %526 = add i32 %524, %525
  %527 = icmp ne i32 %526, 0
  br i1 %527, label %528, label %535

528:                                              ; preds = %515
  %529 = getelementptr inbounds i8, ptr %518, i64 65
  %530 = load i32, ptr %8, align 4, !tbaa !8
  %531 = load i32, ptr %10, align 4, !tbaa !8
  %532 = add i32 %530, %531
  %533 = zext i32 %532 to i64
  %534 = mul i64 %533, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %529, ptr align 16 %480, i64 %534, i1 false)
  br label %535

535:                                              ; preds = %528, %515
  %536 = getelementptr inbounds i8, ptr %518, i64 64
  store i8 0, ptr %536, align 16, !tbaa !5
  %537 = load ptr, ptr %55, align 8, !tbaa !10
  %538 = load ptr, ptr %50, align 8, !tbaa !10
  %539 = load i32, ptr %53, align 4, !tbaa !8
  call void @Hacl_HMAC_compute_sha2_512(ptr noundef %537, ptr noundef %538, i32 noundef 64, ptr noundef %518, i32 noundef %539)
  %540 = load ptr, ptr %51, align 8, !tbaa !10
  %541 = load ptr, ptr %55, align 8, !tbaa !10
  %542 = load ptr, ptr %51, align 8, !tbaa !10
  call void @Hacl_HMAC_compute_sha2_512(ptr noundef %540, ptr noundef %541, i32 noundef 64, ptr noundef %542, i32 noundef 64)
  %543 = load ptr, ptr %50, align 8, !tbaa !10
  %544 = load ptr, ptr %55, align 8, !tbaa !10
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %543, ptr align 1 %544, i64 64, i1 false)
  %545 = load i32, ptr %8, align 4, !tbaa !8
  %546 = load i32, ptr %10, align 4, !tbaa !8
  %547 = add i32 %545, %546
  %548 = icmp ne i32 %547, 0
  br i1 %548, label %549, label %594

549:                                              ; preds = %535
  call void @llvm.lifetime.start.p0(i64 4, ptr %56) #9
  %550 = load i32, ptr %8, align 4, !tbaa !8
  %551 = add i32 65, %550
  %552 = load i32, ptr %10, align 4, !tbaa !8
  %553 = add i32 %551, %552
  store i32 %553, ptr %56, align 4, !tbaa !8
  br label %554

554:                                              ; preds = %549
  %555 = load i32, ptr %56, align 4, !tbaa !8
  %556 = zext i32 %555 to i64
  %557 = icmp ugt i64 %556, -1
  br i1 %557, label %558, label %560

558:                                              ; preds = %554
  %559 = call i32 (ptr, ...) @printf(ptr noundef @.str.2, ptr noundef @.str.1, i32 noundef 630)
  call void @exit(i32 noundef 253) #8
  unreachable

560:                                              ; preds = %554
  br label %561

561:                                              ; preds = %560
  br label %562

562:                                              ; preds = %561
  %563 = load i32, ptr %56, align 4, !tbaa !8
  %564 = zext i32 %563 to i64
  %565 = call ptr @llvm.stacksave.p0()
  store ptr %565, ptr %57, align 8
  %566 = alloca i8, i64 %564, align 16
  store i64 %564, ptr %58, align 8
  %567 = load i32, ptr %56, align 4, !tbaa !8
  %568 = zext i32 %567 to i64
  %569 = mul i64 %568, 1
  call void @llvm.memset.p0.i64(ptr align 16 %566, i8 0, i64 %569, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %59) #9
  store ptr %566, ptr %59, align 8, !tbaa !10
  %570 = load ptr, ptr %59, align 8, !tbaa !10
  %571 = load ptr, ptr %51, align 8, !tbaa !10
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %570, ptr align 1 %571, i64 64, i1 false)
  %572 = load i32, ptr %8, align 4, !tbaa !8
  %573 = load i32, ptr %10, align 4, !tbaa !8
  %574 = add i32 %572, %573
  %575 = icmp ne i32 %574, 0
  br i1 %575, label %576, label %583

576:                                              ; preds = %562
  %577 = getelementptr inbounds i8, ptr %566, i64 65
  %578 = load i32, ptr %8, align 4, !tbaa !8
  %579 = load i32, ptr %10, align 4, !tbaa !8
  %580 = add i32 %578, %579
  %581 = zext i32 %580 to i64
  %582 = mul i64 %581, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %577, ptr align 16 %480, i64 %582, i1 false)
  br label %583

583:                                              ; preds = %576, %562
  %584 = getelementptr inbounds i8, ptr %566, i64 64
  store i8 1, ptr %584, align 16, !tbaa !5
  %585 = load ptr, ptr %59, align 8, !tbaa !10
  %586 = load ptr, ptr %50, align 8, !tbaa !10
  %587 = load i32, ptr %56, align 4, !tbaa !8
  call void @Hacl_HMAC_compute_sha2_512(ptr noundef %585, ptr noundef %586, i32 noundef 64, ptr noundef %566, i32 noundef %587)
  %588 = load ptr, ptr %51, align 8, !tbaa !10
  %589 = load ptr, ptr %59, align 8, !tbaa !10
  %590 = load ptr, ptr %51, align 8, !tbaa !10
  call void @Hacl_HMAC_compute_sha2_512(ptr noundef %588, ptr noundef %589, i32 noundef 64, ptr noundef %590, i32 noundef 64)
  %591 = load ptr, ptr %50, align 8, !tbaa !10
  %592 = load ptr, ptr %59, align 8, !tbaa !10
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %591, ptr align 1 %592, i64 64, i1 false)
  call void @llvm.lifetime.end.p0(i64 8, ptr %59) #9
  %593 = load ptr, ptr %57, align 8
  call void @llvm.stackrestore.p0(ptr %593)
  call void @llvm.lifetime.end.p0(i64 4, ptr %56) #9
  br label %594

594:                                              ; preds = %583, %535
  %595 = load ptr, ptr %52, align 8, !tbaa !10
  %596 = getelementptr inbounds i32, ptr %595, i64 0
  store i32 1, ptr %596, align 4, !tbaa !8
  call void @llvm.lifetime.end.p0(i64 8, ptr %55) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %53) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %52) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %51) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %50) #9
  %597 = load ptr, ptr %48, align 8
  call void @llvm.stackrestore.p0(ptr %597)
  br label %601

598:                                              ; preds = %6
  %599 = load ptr, ptr @stderr, align 8, !tbaa !10
  %600 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %599, ptr noundef @.str, ptr noundef @.str.1, i32 noundef 651) #9
  call void @exit(i32 noundef 253) #8
  unreachable

601:                                              ; preds = %594, %460, %326, %192
  ret void
}

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"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: mustprogress nocallback nofree nosync nounwind willreturn
declare ptr @llvm.stacksave.p0() #2

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

; Function Attrs: 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) #4

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

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

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

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

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

; Function Attrs: nounwind uwtable
define dso_local void @Hacl_HMAC_DRBG_reseed(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) local_unnamed_addr #6 {
  switch i8 %0, label %99 [
    i8 4, label %7
    i8 1, label %30
    i8 2, label %53
    i8 3, label %76
  ]

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

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

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

30:                                               ; preds = %6
  %31 = add i32 %4, %2
  %32 = zext i32 %31 to i64
  %33 = alloca i8, i64 %32, align 16
  call void @llvm.memset.p0.i64(ptr nonnull align 16 %33, i8 0, i64 %32, i1 false)
  %34 = zext i32 %2 to i64
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 16 %33, ptr align 1 %3, i64 %34, i1 false)
  %35 = getelementptr inbounds i8, ptr %33, i64 %34
  %36 = zext i32 %4 to i64
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 1 %35, ptr align 1 %5, i64 %36, i1 false)
  %37 = load ptr, ptr %1, align 8, !tbaa !5
  %38 = getelementptr inbounds i8, ptr %1, i64 8
  %39 = load ptr, ptr %38, align 8, !tbaa !10
  %40 = getelementptr inbounds i8, ptr %1, i64 16
  %41 = load ptr, ptr %40, align 8, !tbaa !11
  %42 = add i32 %31, 33
  %43 = zext i32 %42 to i64
  %44 = alloca i8, i64 %43, align 16
  call void @llvm.memset.p0.i64(ptr nonnull align 16 %44, i8 0, i64 %43, i1 false)
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(32) %44, ptr noundef nonnull align 1 dereferenceable(32) %39, i64 32, i1 false)
  %.not217 = icmp eq i32 %31, 0
  br i1 %.not217, label %.critedge220, label %45

45:                                               ; preds = %30
  %46 = getelementptr inbounds i8, ptr %44, i64 33
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 1 %46, ptr nonnull align 16 %33, i64 %32, i1 false)
  %47 = getelementptr inbounds i8, ptr %44, i64 32
  store i8 0, ptr %47, align 16, !tbaa !12
  call void @Hacl_HMAC_compute_sha2_256(ptr noundef nonnull %44, ptr noundef %37, i32 noundef 32, ptr noundef nonnull %44, i32 noundef %42) #7
  call void @Hacl_HMAC_compute_sha2_256(ptr noundef nonnull %39, ptr noundef nonnull %44, i32 noundef 32, ptr noundef nonnull %39, i32 noundef 32) #7
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 1 dereferenceable(32) %37, ptr noundef nonnull align 16 dereferenceable(32) %44, i64 32, i1 false)
  %48 = call ptr @llvm.stacksave.p0()
  %49 = alloca i8, i64 %43, align 16
  call void @llvm.memset.p0.i64(ptr nonnull align 16 %49, i8 0, i64 %43, i1 false)
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(32) %49, ptr noundef nonnull align 1 dereferenceable(32) %39, i64 32, i1 false)
  %50 = getelementptr inbounds i8, ptr %49, i64 33
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 1 %50, ptr nonnull align 16 %33, i64 %32, i1 false)
  %51 = getelementptr inbounds i8, ptr %49, i64 32
  store i8 1, ptr %51, align 16, !tbaa !12
  call void @Hacl_HMAC_compute_sha2_256(ptr noundef nonnull %49, ptr noundef %37, i32 noundef 32, ptr noundef nonnull %49, i32 noundef %42) #7
  call void @Hacl_HMAC_compute_sha2_256(ptr noundef nonnull %39, ptr noundef nonnull %49, i32 noundef 32, ptr noundef nonnull %39, i32 noundef 32) #7
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 1 dereferenceable(32) %37, ptr noundef nonnull align 16 dereferenceable(32) %49, i64 32, i1 false)
  call void @llvm.stackrestore.p0(ptr %48)
  br label %102

.critedge220:                                     ; preds = %30
  %52 = getelementptr inbounds i8, ptr %44, i64 32
  store i8 0, ptr %52, align 16, !tbaa !12
  call void @Hacl_HMAC_compute_sha2_256(ptr noundef nonnull %44, ptr noundef %37, i32 noundef 32, ptr noundef nonnull %44, i32 noundef %42) #7
  call void @Hacl_HMAC_compute_sha2_256(ptr noundef nonnull %39, ptr noundef nonnull %44, i32 noundef 32, ptr noundef nonnull %39, i32 noundef 32) #7
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 1 dereferenceable(32) %37, ptr noundef nonnull align 16 dereferenceable(32) %44, i64 32, i1 false)
  br label %102

53:                                               ; preds = %6
  %54 = add i32 %4, %2
  %55 = zext i32 %54 to i64
  %56 = alloca i8, i64 %55, align 16
  call void @llvm.memset.p0.i64(ptr nonnull align 16 %56, i8 0, i64 %55, i1 false)
  %57 = zext i32 %2 to i64
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 16 %56, ptr align 1 %3, i64 %57, i1 false)
  %58 = getelementptr inbounds i8, ptr %56, i64 %57
  %59 = zext i32 %4 to i64
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 1 %58, ptr align 1 %5, i64 %59, i1 false)
  %60 = load ptr, ptr %1, align 8, !tbaa !5
  %61 = getelementptr inbounds i8, ptr %1, i64 8
  %62 = load ptr, ptr %61, align 8, !tbaa !10
  %63 = getelementptr inbounds i8, ptr %1, i64 16
  %64 = load ptr, ptr %63, align 8, !tbaa !11
  %65 = add i32 %54, 49
  %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)
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(48) %67, ptr noundef nonnull align 1 dereferenceable(48) %62, i64 48, i1 false)
  %.not216 = icmp eq i32 %54, 0
  br i1 %.not216, label %.critedge222, label %68

68:                                               ; preds = %53
  %69 = getelementptr inbounds i8, ptr %67, i64 49
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 1 %69, ptr nonnull align 16 %56, i64 %55, i1 false)
  %70 = getelementptr inbounds i8, ptr %67, i64 48
  store i8 0, ptr %70, align 16, !tbaa !12
  call void @Hacl_HMAC_compute_sha2_384(ptr noundef nonnull %67, ptr noundef %60, i32 noundef 48, ptr noundef nonnull %67, i32 noundef %65) #7
  call void @Hacl_HMAC_compute_sha2_384(ptr noundef nonnull %62, ptr noundef nonnull %67, i32 noundef 48, ptr noundef nonnull %62, i32 noundef 48) #7
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 1 dereferenceable(48) %60, ptr noundef nonnull align 16 dereferenceable(48) %67, i64 48, i1 false)
  %71 = call ptr @llvm.stacksave.p0()
  %72 = alloca i8, i64 %66, align 16
  call void @llvm.memset.p0.i64(ptr nonnull align 16 %72, i8 0, i64 %66, i1 false)
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(48) %72, ptr noundef nonnull align 1 dereferenceable(48) %62, i64 48, i1 false)
  %73 = getelementptr inbounds i8, ptr %72, i64 49
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 1 %73, ptr nonnull align 16 %56, i64 %55, i1 false)
  %74 = getelementptr inbounds i8, ptr %72, i64 48
  store i8 1, ptr %74, align 16, !tbaa !12
  call void @Hacl_HMAC_compute_sha2_384(ptr noundef nonnull %72, ptr noundef %60, i32 noundef 48, ptr noundef nonnull %72, i32 noundef %65) #7
  call void @Hacl_HMAC_compute_sha2_384(ptr noundef nonnull %62, ptr noundef nonnull %72, i32 noundef 48, ptr noundef nonnull %62, i32 noundef 48) #7
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 1 dereferenceable(48) %60, ptr noundef nonnull align 16 dereferenceable(48) %72, i64 48, i1 false)
  call void @llvm.stackrestore.p0(ptr %71)
  br label %102

.critedge222:                                     ; preds = %53
  %75 = getelementptr inbounds i8, ptr %67, i64 48
  store i8 0, ptr %75, align 16, !tbaa !12
  call void @Hacl_HMAC_compute_sha2_384(ptr noundef nonnull %67, ptr noundef %60, i32 noundef 48, ptr noundef nonnull %67, i32 noundef %65) #7
  call void @Hacl_HMAC_compute_sha2_384(ptr noundef nonnull %62, ptr noundef nonnull %67, i32 noundef 48, ptr noundef nonnull %62, i32 noundef 48) #7
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 1 dereferenceable(48) %60, ptr noundef nonnull align 16 dereferenceable(48) %67, i64 48, i1 false)
  br label %102

76:                                               ; preds = %6
  %77 = add i32 %4, %2
  %78 = zext i32 %77 to i64
  %79 = alloca i8, i64 %78, align 16
  call void @llvm.memset.p0.i64(ptr nonnull align 16 %79, i8 0, i64 %78, i1 false)
  %80 = zext i32 %2 to i64
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 16 %79, ptr align 1 %3, i64 %80, i1 false)
  %81 = getelementptr inbounds i8, ptr %79, i64 %80
  %82 = zext i32 %4 to i64
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 1 %81, ptr align 1 %5, i64 %82, i1 false)
  %83 = load ptr, ptr %1, align 8, !tbaa !5
  %84 = getelementptr inbounds i8, ptr %1, i64 8
  %85 = load ptr, ptr %84, align 8, !tbaa !10
  %86 = getelementptr inbounds i8, ptr %1, i64 16
  %87 = load ptr, ptr %86, align 8, !tbaa !11
  %88 = add i32 %77, 65
  %89 = zext i32 %88 to i64
  %90 = alloca i8, i64 %89, align 16
  call void @llvm.memset.p0.i64(ptr nonnull align 16 %90, i8 0, i64 %89, i1 false)
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(64) %90, ptr noundef nonnull align 1 dereferenceable(64) %85, i64 64, i1 false)
  %.not = icmp eq i32 %77, 0
  br i1 %.not, label %.critedge224, label %91

91:                                               ; preds = %76
  %92 = getelementptr inbounds i8, ptr %90, i64 65
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 1 %92, ptr nonnull align 16 %79, i64 %78, i1 false)
  %93 = getelementptr inbounds i8, ptr %90, i64 64
  store i8 0, ptr %93, align 16, !tbaa !12
  call void @Hacl_HMAC_compute_sha2_512(ptr noundef nonnull %90, ptr noundef %83, i32 noundef 64, ptr noundef nonnull %90, i32 noundef %88) #7
  call void @Hacl_HMAC_compute_sha2_512(ptr noundef nonnull %85, ptr noundef nonnull %90, i32 noundef 64, ptr noundef nonnull %85, i32 noundef 64) #7
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 1 dereferenceable(64) %83, ptr noundef nonnull align 16 dereferenceable(64) %90, i64 64, i1 false)
  %94 = call ptr @llvm.stacksave.p0()
  %95 = alloca i8, i64 %89, align 16
  call void @llvm.memset.p0.i64(ptr nonnull align 16 %95, i8 0, i64 %89, i1 false)
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(64) %95, ptr noundef nonnull align 1 dereferenceable(64) %85, i64 64, i1 false)
  %96 = getelementptr inbounds i8, ptr %95, i64 65
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 1 %96, ptr nonnull align 16 %79, i64 %78, i1 false)
  %97 = getelementptr inbounds i8, ptr %95, i64 64
  store i8 1, ptr %97, align 16, !tbaa !12
  call void @Hacl_HMAC_compute_sha2_512(ptr noundef nonnull %95, ptr noundef %83, i32 noundef 64, ptr noundef nonnull %95, i32 noundef %88) #7
  call void @Hacl_HMAC_compute_sha2_512(ptr noundef nonnull %85, ptr noundef nonnull %95, i32 noundef 64, ptr noundef nonnull %85, i32 noundef 64) #7
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 1 dereferenceable(64) %83, ptr noundef nonnull align 16 dereferenceable(64) %95, i64 64, i1 false)
  call void @llvm.stackrestore.p0(ptr %94)
  br label %102

.critedge224:                                     ; preds = %76
  %98 = getelementptr inbounds i8, ptr %90, i64 64
  store i8 0, ptr %98, align 16, !tbaa !12
  call void @Hacl_HMAC_compute_sha2_512(ptr noundef nonnull %90, ptr noundef %83, i32 noundef 64, ptr noundef nonnull %90, i32 noundef %88) #7
  call void @Hacl_HMAC_compute_sha2_512(ptr noundef nonnull %85, ptr noundef nonnull %90, i32 noundef 64, ptr noundef nonnull %85, i32 noundef 64) #7
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 1 dereferenceable(64) %83, ptr noundef nonnull align 16 dereferenceable(64) %90, i64 64, i1 false)
  br label %102

99:                                               ; preds = %6
  %100 = load ptr, ptr @stderr, align 8, !tbaa !13
  %101 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %100, ptr noundef nonnull @.str, ptr noundef nonnull @.str.1, i32 noundef 651) #8
  tail call void @exit(i32 noundef 253) #9
  unreachable

102:                                              ; preds = %91, %.critedge224, %68, %.critedge222, %45, %.critedge220, %22, %.critedge
  %.sink225 = phi ptr [ %18, %.critedge ], [ %18, %22 ], [ %41, %.critedge220 ], [ %41, %45 ], [ %64, %.critedge222 ], [ %64, %68 ], [ %87, %.critedge224 ], [ %87, %91 ]
  store i32 1, ptr %.sink225, align 4, !tbaa !14
  ret void
}

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


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