; LLVM IR from cryspen/libcrux :: sys/hacl/c/src/msvc (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 [86 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 nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #4

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

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

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) #6 {
  %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 ptr, align 8
  %14 = alloca ptr, align 8
  %15 = alloca ptr, align 8
  %16 = alloca i32, align 4
  %17 = alloca ptr, align 8
  %18 = alloca ptr, align 8
  %19 = alloca i32, align 4
  %20 = alloca ptr, align 8
  %21 = alloca ptr, align 8
  %22 = alloca ptr, align 8
  %23 = alloca ptr, align 8
  %24 = alloca ptr, align 8
  %25 = alloca ptr, align 8
  %26 = alloca i32, align 4
  %27 = alloca ptr, align 8
  %28 = alloca ptr, align 8
  %29 = alloca i32, align 4
  %30 = alloca ptr, align 8
  %31 = alloca ptr, align 8
  %32 = alloca ptr, align 8
  %33 = alloca ptr, align 8
  %34 = alloca ptr, align 8
  %35 = alloca ptr, align 8
  %36 = alloca i32, align 4
  %37 = alloca ptr, align 8
  %38 = alloca ptr, align 8
  %39 = alloca i32, align 4
  %40 = alloca ptr, align 8
  %41 = alloca ptr, align 8
  %42 = alloca ptr, align 8
  %43 = alloca ptr, align 8
  %44 = alloca ptr, align 8
  %45 = alloca ptr, align 8
  %46 = alloca i32, align 4
  %47 = alloca ptr, align 8
  %48 = alloca ptr, align 8
  %49 = alloca i32, align 4
  %50 = alloca ptr, align 8
  %51 = 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
  %52 = load i8, ptr %7, align 1, !tbaa !5
  %53 = zext i8 %52 to i32
  switch i32 %53, label %646 [
    i32 4, label %54
    i32 1, label %202
    i32 2, label %350
    i32 3, label %498
  ]

54:                                               ; preds = %6
  br label %55

55:                                               ; preds = %54
  %56 = load i32, ptr %8, align 4, !tbaa !8
  %57 = load i32, ptr %10, align 4, !tbaa !8
  %58 = add i32 %56, %57
  %59 = zext i32 %58 to i64
  %60 = icmp ugt i64 %59, -1
  br i1 %60, label %61, label %63

61:                                               ; preds = %55
  %62 = call i32 (ptr, ...) @printf(ptr noundef @.str.2, ptr noundef @.str.1, i32 noundef 455)
  call void @exit(i32 noundef 253) #7
  unreachable

63:                                               ; preds = %55
  br label %64

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

100:                                              ; preds = %64
  %101 = load i32, ptr %16, align 4, !tbaa !8
  %102 = zext i32 %101 to i64
  %103 = icmp ugt i64 %102, -1
  br i1 %103, label %104, label %106

104:                                              ; preds = %100
  %105 = call i32 (ptr, ...) @printf(ptr noundef @.str.2, ptr noundef @.str.1, i32 noundef 470)
  call void @exit(i32 noundef 253) #7
  unreachable

106:                                              ; preds = %100
  br label %107

107:                                              ; preds = %106
  br label %108

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

124:                                              ; preds = %108
  %125 = load ptr, ptr %17, align 8, !tbaa !10
  %126 = getelementptr inbounds i8, ptr %125, i64 21
  %127 = load ptr, ptr %12, align 8, !tbaa !10
  %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 %126, ptr align 1 %127, i64 %132, i1 false)
  br label %133

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

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

154:                                              ; preds = %149
  %155 = load i32, ptr %19, align 4, !tbaa !8
  %156 = zext i32 %155 to i64
  %157 = icmp ugt i64 %156, -1
  br i1 %157, label %158, label %160

158:                                              ; preds = %154
  %159 = call i32 (ptr, ...) @printf(ptr noundef @.str.2, ptr noundef @.str.1, i32 noundef 488)
  call void @exit(i32 noundef 253) #7
  unreachable

160:                                              ; preds = %154
  br label %161

161:                                              ; preds = %160
  br label %162

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

178:                                              ; preds = %162
  %179 = load ptr, ptr %20, align 8, !tbaa !10
  %180 = getelementptr inbounds i8, ptr %179, i64 21
  %181 = load ptr, ptr %12, align 8, !tbaa !10
  %182 = load i32, ptr %8, align 4, !tbaa !8
  %183 = load i32, ptr %10, align 4, !tbaa !8
  %184 = add i32 %182, %183
  %185 = zext i32 %184 to i64
  %186 = mul i64 %185, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %180, ptr align 1 %181, i64 %186, i1 false)
  br label %187

187:                                              ; preds = %178, %162
  %188 = load ptr, ptr %20, align 8, !tbaa !10
  %189 = getelementptr inbounds i8, ptr %188, i64 20
  store i8 1, ptr %189, align 1, !tbaa !5
  %190 = load ptr, ptr %21, align 8, !tbaa !10
  %191 = load ptr, ptr %13, align 8, !tbaa !10
  %192 = load ptr, ptr %20, align 8, !tbaa !10
  %193 = load i32, ptr %19, align 4, !tbaa !8
  call void @Hacl_HMAC_compute_sha1(ptr noundef %190, ptr noundef %191, i32 noundef 20, ptr noundef %192, i32 noundef %193)
  %194 = load ptr, ptr %14, align 8, !tbaa !10
  %195 = load ptr, ptr %21, align 8, !tbaa !10
  %196 = load ptr, ptr %14, align 8, !tbaa !10
  call void @Hacl_HMAC_compute_sha1(ptr noundef %194, ptr noundef %195, i32 noundef 20, ptr noundef %196, i32 noundef 20)
  %197 = load ptr, ptr %13, align 8, !tbaa !10
  %198 = load ptr, ptr %21, align 8, !tbaa !10
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %197, ptr align 1 %198, i64 20, i1 false)
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #8
  br label %199

199:                                              ; preds = %187, %133
  %200 = load ptr, ptr %15, align 8, !tbaa !10
  %201 = getelementptr inbounds i32, ptr %200, i64 0
  store i32 1, ptr %201, align 4, !tbaa !8
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #8
  br label %649

202:                                              ; preds = %6
  br label %203

203:                                              ; preds = %202
  %204 = load i32, ptr %8, align 4, !tbaa !8
  %205 = load i32, ptr %10, align 4, !tbaa !8
  %206 = add i32 %204, %205
  %207 = zext i32 %206 to i64
  %208 = icmp ugt i64 %207, -1
  br i1 %208, label %209, label %211

209:                                              ; preds = %203
  %210 = call i32 (ptr, ...) @printf(ptr noundef @.str.2, ptr noundef @.str.1, i32 noundef 509)
  call void @exit(i32 noundef 253) #7
  unreachable

211:                                              ; preds = %203
  br label %212

212:                                              ; preds = %211
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #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
  %218 = alloca i8, i64 %217, align 16
  store ptr %218, ptr %22, align 8, !tbaa !10
  %219 = load ptr, ptr %22, align 8, !tbaa !10
  %220 = load i32, ptr %8, align 4, !tbaa !8
  %221 = load i32, ptr %10, align 4, !tbaa !8
  %222 = add i32 %220, %221
  %223 = zext i32 %222 to i64
  %224 = mul i64 %223, 1
  call void @llvm.memset.p0.i64(ptr align 1 %219, i8 0, i64 %224, i1 false)
  %225 = load ptr, ptr %22, align 8, !tbaa !10
  %226 = load ptr, ptr %9, align 8, !tbaa !10
  %227 = load i32, ptr %8, align 4, !tbaa !8
  %228 = zext i32 %227 to i64
  %229 = mul i64 %228, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %225, ptr align 1 %226, i64 %229, i1 false)
  %230 = load ptr, ptr %22, align 8, !tbaa !10
  %231 = load i32, ptr %8, align 4, !tbaa !8
  %232 = zext i32 %231 to i64
  %233 = getelementptr inbounds i8, ptr %230, i64 %232
  %234 = load ptr, ptr %11, align 8, !tbaa !10
  %235 = load i32, ptr %10, align 4, !tbaa !8
  %236 = zext i32 %235 to i64
  %237 = mul i64 %236, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %233, ptr align 1 %234, i64 %237, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #8
  %238 = getelementptr inbounds %struct.Hacl_HMAC_DRBG_state_s, ptr %1, i32 0, i32 0
  %239 = load ptr, ptr %238, align 8, !tbaa !12
  store ptr %239, ptr %23, align 8, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #8
  %240 = getelementptr inbounds %struct.Hacl_HMAC_DRBG_state_s, ptr %1, i32 0, i32 1
  %241 = load ptr, ptr %240, align 8, !tbaa !14
  store ptr %241, ptr %24, align 8, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 8, ptr %25) #8
  %242 = getelementptr inbounds %struct.Hacl_HMAC_DRBG_state_s, ptr %1, i32 0, i32 2
  %243 = load ptr, ptr %242, align 8, !tbaa !15
  store ptr %243, ptr %25, align 8, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 4, ptr %26) #8
  %244 = load i32, ptr %8, align 4, !tbaa !8
  %245 = add i32 33, %244
  %246 = load i32, ptr %10, align 4, !tbaa !8
  %247 = add i32 %245, %246
  store i32 %247, ptr %26, align 4, !tbaa !8
  br label %248

248:                                              ; preds = %212
  %249 = load i32, ptr %26, align 4, !tbaa !8
  %250 = zext i32 %249 to i64
  %251 = icmp ugt i64 %250, -1
  br i1 %251, label %252, label %254

252:                                              ; preds = %248
  %253 = call i32 (ptr, ...) @printf(ptr noundef @.str.2, ptr noundef @.str.1, i32 noundef 524)
  call void @exit(i32 noundef 253) #7
  unreachable

254:                                              ; preds = %248
  br label %255

255:                                              ; preds = %254
  br label %256

256:                                              ; preds = %255
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #8
  %257 = load i32, ptr %26, align 4, !tbaa !8
  %258 = zext i32 %257 to i64
  %259 = mul i64 %258, 1
  %260 = alloca i8, i64 %259, align 16
  store ptr %260, ptr %27, align 8, !tbaa !10
  %261 = load ptr, ptr %27, align 8, !tbaa !10
  %262 = load i32, ptr %26, align 4, !tbaa !8
  %263 = zext i32 %262 to i64
  %264 = mul i64 %263, 1
  call void @llvm.memset.p0.i64(ptr align 1 %261, i8 0, i64 %264, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %28) #8
  %265 = load ptr, ptr %27, align 8, !tbaa !10
  store ptr %265, ptr %28, align 8, !tbaa !10
  %266 = load ptr, ptr %28, align 8, !tbaa !10
  %267 = load ptr, ptr %24, align 8, !tbaa !10
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %266, ptr align 1 %267, i64 32, i1 false)
  %268 = load i32, ptr %8, align 4, !tbaa !8
  %269 = load i32, ptr %10, align 4, !tbaa !8
  %270 = add i32 %268, %269
  %271 = icmp ne i32 %270, 0
  br i1 %271, label %272, label %281

272:                                              ; preds = %256
  %273 = load ptr, ptr %27, align 8, !tbaa !10
  %274 = getelementptr inbounds i8, ptr %273, i64 33
  %275 = load ptr, ptr %22, align 8, !tbaa !10
  %276 = load i32, ptr %8, align 4, !tbaa !8
  %277 = load i32, ptr %10, align 4, !tbaa !8
  %278 = add i32 %276, %277
  %279 = zext i32 %278 to i64
  %280 = mul i64 %279, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %274, ptr align 1 %275, i64 %280, i1 false)
  br label %281

281:                                              ; preds = %272, %256
  %282 = load ptr, ptr %27, align 8, !tbaa !10
  %283 = getelementptr inbounds i8, ptr %282, i64 32
  store i8 0, ptr %283, align 1, !tbaa !5
  %284 = load ptr, ptr %28, align 8, !tbaa !10
  %285 = load ptr, ptr %23, align 8, !tbaa !10
  %286 = load ptr, ptr %27, align 8, !tbaa !10
  %287 = load i32, ptr %26, align 4, !tbaa !8
  call void @Hacl_HMAC_compute_sha2_256(ptr noundef %284, ptr noundef %285, i32 noundef 32, ptr noundef %286, i32 noundef %287)
  %288 = load ptr, ptr %24, align 8, !tbaa !10
  %289 = load ptr, ptr %28, align 8, !tbaa !10
  %290 = load ptr, ptr %24, align 8, !tbaa !10
  call void @Hacl_HMAC_compute_sha2_256(ptr noundef %288, ptr noundef %289, i32 noundef 32, ptr noundef %290, i32 noundef 32)
  %291 = load ptr, ptr %23, align 8, !tbaa !10
  %292 = load ptr, ptr %28, align 8, !tbaa !10
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %291, ptr align 1 %292, i64 32, i1 false)
  %293 = load i32, ptr %8, align 4, !tbaa !8
  %294 = load i32, ptr %10, align 4, !tbaa !8
  %295 = add i32 %293, %294
  %296 = icmp ne i32 %295, 0
  br i1 %296, label %297, label %347

297:                                              ; preds = %281
  call void @llvm.lifetime.start.p0(i64 4, ptr %29) #8
  %298 = load i32, ptr %8, align 4, !tbaa !8
  %299 = add i32 33, %298
  %300 = load i32, ptr %10, align 4, !tbaa !8
  %301 = add i32 %299, %300
  store i32 %301, ptr %29, align 4, !tbaa !8
  br label %302

302:                                              ; preds = %297
  %303 = load i32, ptr %29, align 4, !tbaa !8
  %304 = zext i32 %303 to i64
  %305 = icmp ugt i64 %304, -1
  br i1 %305, label %306, label %308

306:                                              ; preds = %302
  %307 = call i32 (ptr, ...) @printf(ptr noundef @.str.2, ptr noundef @.str.1, i32 noundef 542)
  call void @exit(i32 noundef 253) #7
  unreachable

308:                                              ; preds = %302
  br label %309

309:                                              ; preds = %308
  br label %310

310:                                              ; preds = %309
  call void @llvm.lifetime.start.p0(i64 8, ptr %30) #8
  %311 = load i32, ptr %29, align 4, !tbaa !8
  %312 = zext i32 %311 to i64
  %313 = mul i64 %312, 1
  %314 = alloca i8, i64 %313, align 16
  store ptr %314, ptr %30, align 8, !tbaa !10
  %315 = load ptr, ptr %30, align 8, !tbaa !10
  %316 = load i32, ptr %29, align 4, !tbaa !8
  %317 = zext i32 %316 to i64
  %318 = mul i64 %317, 1
  call void @llvm.memset.p0.i64(ptr align 1 %315, i8 0, i64 %318, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #8
  %319 = load ptr, ptr %30, align 8, !tbaa !10
  store ptr %319, ptr %31, align 8, !tbaa !10
  %320 = load ptr, ptr %31, align 8, !tbaa !10
  %321 = load ptr, ptr %24, align 8, !tbaa !10
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %320, ptr align 1 %321, i64 32, i1 false)
  %322 = load i32, ptr %8, align 4, !tbaa !8
  %323 = load i32, ptr %10, align 4, !tbaa !8
  %324 = add i32 %322, %323
  %325 = icmp ne i32 %324, 0
  br i1 %325, label %326, label %335

326:                                              ; preds = %310
  %327 = load ptr, ptr %30, align 8, !tbaa !10
  %328 = getelementptr inbounds i8, ptr %327, i64 33
  %329 = load ptr, ptr %22, align 8, !tbaa !10
  %330 = load i32, ptr %8, align 4, !tbaa !8
  %331 = load i32, ptr %10, align 4, !tbaa !8
  %332 = add i32 %330, %331
  %333 = zext i32 %332 to i64
  %334 = mul i64 %333, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %328, ptr align 1 %329, i64 %334, i1 false)
  br label %335

335:                                              ; preds = %326, %310
  %336 = load ptr, ptr %30, align 8, !tbaa !10
  %337 = getelementptr inbounds i8, ptr %336, i64 32
  store i8 1, ptr %337, align 1, !tbaa !5
  %338 = load ptr, ptr %31, align 8, !tbaa !10
  %339 = load ptr, ptr %23, align 8, !tbaa !10
  %340 = load ptr, ptr %30, align 8, !tbaa !10
  %341 = load i32, ptr %29, align 4, !tbaa !8
  call void @Hacl_HMAC_compute_sha2_256(ptr noundef %338, ptr noundef %339, i32 noundef 32, ptr noundef %340, i32 noundef %341)
  %342 = load ptr, ptr %24, align 8, !tbaa !10
  %343 = load ptr, ptr %31, align 8, !tbaa !10
  %344 = load ptr, ptr %24, align 8, !tbaa !10
  call void @Hacl_HMAC_compute_sha2_256(ptr noundef %342, ptr noundef %343, i32 noundef 32, ptr noundef %344, i32 noundef 32)
  %345 = load ptr, ptr %23, align 8, !tbaa !10
  %346 = load ptr, ptr %31, align 8, !tbaa !10
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %345, ptr align 1 %346, i64 32, i1 false)
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %29) #8
  br label %347

347:                                              ; preds = %335, %281
  %348 = load ptr, ptr %25, align 8, !tbaa !10
  %349 = getelementptr inbounds i32, ptr %348, i64 0
  store i32 1, ptr %349, align 4, !tbaa !8
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #8
  br label %649

350:                                              ; preds = %6
  br label %351

351:                                              ; preds = %350
  %352 = load i32, ptr %8, align 4, !tbaa !8
  %353 = load i32, ptr %10, align 4, !tbaa !8
  %354 = add i32 %352, %353
  %355 = zext i32 %354 to i64
  %356 = icmp ugt i64 %355, -1
  br i1 %356, label %357, label %359

357:                                              ; preds = %351
  %358 = call i32 (ptr, ...) @printf(ptr noundef @.str.2, ptr noundef @.str.1, i32 noundef 563)
  call void @exit(i32 noundef 253) #7
  unreachable

359:                                              ; preds = %351
  br label %360

360:                                              ; preds = %359
  call void @llvm.lifetime.start.p0(i64 8, ptr %32) #8
  %361 = load i32, ptr %8, align 4, !tbaa !8
  %362 = load i32, ptr %10, align 4, !tbaa !8
  %363 = add i32 %361, %362
  %364 = zext i32 %363 to i64
  %365 = mul i64 %364, 1
  %366 = alloca i8, i64 %365, align 16
  store ptr %366, ptr %32, align 8, !tbaa !10
  %367 = load ptr, ptr %32, align 8, !tbaa !10
  %368 = load i32, ptr %8, align 4, !tbaa !8
  %369 = load i32, ptr %10, align 4, !tbaa !8
  %370 = add i32 %368, %369
  %371 = zext i32 %370 to i64
  %372 = mul i64 %371, 1
  call void @llvm.memset.p0.i64(ptr align 1 %367, i8 0, i64 %372, i1 false)
  %373 = load ptr, ptr %32, align 8, !tbaa !10
  %374 = load ptr, ptr %9, align 8, !tbaa !10
  %375 = load i32, ptr %8, align 4, !tbaa !8
  %376 = zext i32 %375 to i64
  %377 = mul i64 %376, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %373, ptr align 1 %374, i64 %377, i1 false)
  %378 = load ptr, ptr %32, align 8, !tbaa !10
  %379 = load i32, ptr %8, align 4, !tbaa !8
  %380 = zext i32 %379 to i64
  %381 = getelementptr inbounds i8, ptr %378, i64 %380
  %382 = load ptr, ptr %11, align 8, !tbaa !10
  %383 = load i32, ptr %10, align 4, !tbaa !8
  %384 = zext i32 %383 to i64
  %385 = mul i64 %384, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %381, ptr align 1 %382, i64 %385, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %33) #8
  %386 = getelementptr inbounds %struct.Hacl_HMAC_DRBG_state_s, ptr %1, i32 0, i32 0
  %387 = load ptr, ptr %386, align 8, !tbaa !12
  store ptr %387, ptr %33, align 8, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 8, ptr %34) #8
  %388 = getelementptr inbounds %struct.Hacl_HMAC_DRBG_state_s, ptr %1, i32 0, i32 1
  %389 = load ptr, ptr %388, align 8, !tbaa !14
  store ptr %389, ptr %34, align 8, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 8, ptr %35) #8
  %390 = getelementptr inbounds %struct.Hacl_HMAC_DRBG_state_s, ptr %1, i32 0, i32 2
  %391 = load ptr, ptr %390, align 8, !tbaa !15
  store ptr %391, ptr %35, align 8, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 4, ptr %36) #8
  %392 = load i32, ptr %8, align 4, !tbaa !8
  %393 = add i32 49, %392
  %394 = load i32, ptr %10, align 4, !tbaa !8
  %395 = add i32 %393, %394
  store i32 %395, ptr %36, align 4, !tbaa !8
  br label %396

396:                                              ; preds = %360
  %397 = load i32, ptr %36, align 4, !tbaa !8
  %398 = zext i32 %397 to i64
  %399 = icmp ugt i64 %398, -1
  br i1 %399, label %400, label %402

400:                                              ; preds = %396
  %401 = call i32 (ptr, ...) @printf(ptr noundef @.str.2, ptr noundef @.str.1, i32 noundef 578)
  call void @exit(i32 noundef 253) #7
  unreachable

402:                                              ; preds = %396
  br label %403

403:                                              ; preds = %402
  br label %404

404:                                              ; preds = %403
  call void @llvm.lifetime.start.p0(i64 8, ptr %37) #8
  %405 = load i32, ptr %36, align 4, !tbaa !8
  %406 = zext i32 %405 to i64
  %407 = mul i64 %406, 1
  %408 = alloca i8, i64 %407, align 16
  store ptr %408, ptr %37, align 8, !tbaa !10
  %409 = load ptr, ptr %37, align 8, !tbaa !10
  %410 = load i32, ptr %36, align 4, !tbaa !8
  %411 = zext i32 %410 to i64
  %412 = mul i64 %411, 1
  call void @llvm.memset.p0.i64(ptr align 1 %409, i8 0, i64 %412, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %38) #8
  %413 = load ptr, ptr %37, align 8, !tbaa !10
  store ptr %413, ptr %38, align 8, !tbaa !10
  %414 = load ptr, ptr %38, align 8, !tbaa !10
  %415 = load ptr, ptr %34, align 8, !tbaa !10
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %414, ptr align 1 %415, i64 48, i1 false)
  %416 = load i32, ptr %8, align 4, !tbaa !8
  %417 = load i32, ptr %10, align 4, !tbaa !8
  %418 = add i32 %416, %417
  %419 = icmp ne i32 %418, 0
  br i1 %419, label %420, label %429

420:                                              ; preds = %404
  %421 = load ptr, ptr %37, align 8, !tbaa !10
  %422 = getelementptr inbounds i8, ptr %421, i64 49
  %423 = load ptr, ptr %32, align 8, !tbaa !10
  %424 = load i32, ptr %8, align 4, !tbaa !8
  %425 = load i32, ptr %10, align 4, !tbaa !8
  %426 = add i32 %424, %425
  %427 = zext i32 %426 to i64
  %428 = mul i64 %427, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %422, ptr align 1 %423, i64 %428, i1 false)
  br label %429

429:                                              ; preds = %420, %404
  %430 = load ptr, ptr %37, align 8, !tbaa !10
  %431 = getelementptr inbounds i8, ptr %430, i64 48
  store i8 0, ptr %431, align 1, !tbaa !5
  %432 = load ptr, ptr %38, align 8, !tbaa !10
  %433 = load ptr, ptr %33, align 8, !tbaa !10
  %434 = load ptr, ptr %37, align 8, !tbaa !10
  %435 = load i32, ptr %36, align 4, !tbaa !8
  call void @Hacl_HMAC_compute_sha2_384(ptr noundef %432, ptr noundef %433, i32 noundef 48, ptr noundef %434, i32 noundef %435)
  %436 = load ptr, ptr %34, align 8, !tbaa !10
  %437 = load ptr, ptr %38, align 8, !tbaa !10
  %438 = load ptr, ptr %34, align 8, !tbaa !10
  call void @Hacl_HMAC_compute_sha2_384(ptr noundef %436, ptr noundef %437, i32 noundef 48, ptr noundef %438, i32 noundef 48)
  %439 = load ptr, ptr %33, align 8, !tbaa !10
  %440 = load ptr, ptr %38, align 8, !tbaa !10
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %439, ptr align 1 %440, i64 48, i1 false)
  %441 = load i32, ptr %8, align 4, !tbaa !8
  %442 = load i32, ptr %10, align 4, !tbaa !8
  %443 = add i32 %441, %442
  %444 = icmp ne i32 %443, 0
  br i1 %444, label %445, label %495

445:                                              ; preds = %429
  call void @llvm.lifetime.start.p0(i64 4, ptr %39) #8
  %446 = load i32, ptr %8, align 4, !tbaa !8
  %447 = add i32 49, %446
  %448 = load i32, ptr %10, align 4, !tbaa !8
  %449 = add i32 %447, %448
  store i32 %449, ptr %39, align 4, !tbaa !8
  br label %450

450:                                              ; preds = %445
  %451 = load i32, ptr %39, align 4, !tbaa !8
  %452 = zext i32 %451 to i64
  %453 = icmp ugt i64 %452, -1
  br i1 %453, label %454, label %456

454:                                              ; preds = %450
  %455 = call i32 (ptr, ...) @printf(ptr noundef @.str.2, ptr noundef @.str.1, i32 noundef 596)
  call void @exit(i32 noundef 253) #7
  unreachable

456:                                              ; preds = %450
  br label %457

457:                                              ; preds = %456
  br label %458

458:                                              ; preds = %457
  call void @llvm.lifetime.start.p0(i64 8, ptr %40) #8
  %459 = load i32, ptr %39, align 4, !tbaa !8
  %460 = zext i32 %459 to i64
  %461 = mul i64 %460, 1
  %462 = alloca i8, i64 %461, align 16
  store ptr %462, ptr %40, align 8, !tbaa !10
  %463 = load ptr, ptr %40, align 8, !tbaa !10
  %464 = load i32, ptr %39, align 4, !tbaa !8
  %465 = zext i32 %464 to i64
  %466 = mul i64 %465, 1
  call void @llvm.memset.p0.i64(ptr align 1 %463, i8 0, i64 %466, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %41) #8
  %467 = load ptr, ptr %40, align 8, !tbaa !10
  store ptr %467, ptr %41, align 8, !tbaa !10
  %468 = load ptr, ptr %41, align 8, !tbaa !10
  %469 = load ptr, ptr %34, align 8, !tbaa !10
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %468, ptr align 1 %469, i64 48, i1 false)
  %470 = load i32, ptr %8, align 4, !tbaa !8
  %471 = load i32, ptr %10, align 4, !tbaa !8
  %472 = add i32 %470, %471
  %473 = icmp ne i32 %472, 0
  br i1 %473, label %474, label %483

474:                                              ; preds = %458
  %475 = load ptr, ptr %40, align 8, !tbaa !10
  %476 = getelementptr inbounds i8, ptr %475, i64 49
  %477 = load ptr, ptr %32, align 8, !tbaa !10
  %478 = load i32, ptr %8, align 4, !tbaa !8
  %479 = load i32, ptr %10, align 4, !tbaa !8
  %480 = add i32 %478, %479
  %481 = zext i32 %480 to i64
  %482 = mul i64 %481, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %476, ptr align 1 %477, i64 %482, i1 false)
  br label %483

483:                                              ; preds = %474, %458
  %484 = load ptr, ptr %40, align 8, !tbaa !10
  %485 = getelementptr inbounds i8, ptr %484, i64 48
  store i8 1, ptr %485, align 1, !tbaa !5
  %486 = load ptr, ptr %41, align 8, !tbaa !10
  %487 = load ptr, ptr %33, align 8, !tbaa !10
  %488 = load ptr, ptr %40, align 8, !tbaa !10
  %489 = load i32, ptr %39, align 4, !tbaa !8
  call void @Hacl_HMAC_compute_sha2_384(ptr noundef %486, ptr noundef %487, i32 noundef 48, ptr noundef %488, i32 noundef %489)
  %490 = load ptr, ptr %34, align 8, !tbaa !10
  %491 = load ptr, ptr %41, align 8, !tbaa !10
  %492 = load ptr, ptr %34, align 8, !tbaa !10
  call void @Hacl_HMAC_compute_sha2_384(ptr noundef %490, ptr noundef %491, i32 noundef 48, ptr noundef %492, i32 noundef 48)
  %493 = load ptr, ptr %33, align 8, !tbaa !10
  %494 = load ptr, ptr %41, align 8, !tbaa !10
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %493, ptr align 1 %494, i64 48, i1 false)
  call void @llvm.lifetime.end.p0(i64 8, ptr %41) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %40) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %39) #8
  br label %495

495:                                              ; preds = %483, %429
  %496 = load ptr, ptr %35, align 8, !tbaa !10
  %497 = getelementptr inbounds i32, ptr %496, i64 0
  store i32 1, ptr %497, align 4, !tbaa !8
  call void @llvm.lifetime.end.p0(i64 8, ptr %38) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %37) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %36) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #8
  br label %649

498:                                              ; preds = %6
  br label %499

499:                                              ; preds = %498
  %500 = load i32, ptr %8, align 4, !tbaa !8
  %501 = load i32, ptr %10, align 4, !tbaa !8
  %502 = add i32 %500, %501
  %503 = zext i32 %502 to i64
  %504 = icmp ugt i64 %503, -1
  br i1 %504, label %505, label %507

505:                                              ; preds = %499
  %506 = call i32 (ptr, ...) @printf(ptr noundef @.str.2, ptr noundef @.str.1, i32 noundef 617)
  call void @exit(i32 noundef 253) #7
  unreachable

507:                                              ; preds = %499
  br label %508

508:                                              ; preds = %507
  call void @llvm.lifetime.start.p0(i64 8, ptr %42) #8
  %509 = load i32, ptr %8, align 4, !tbaa !8
  %510 = load i32, ptr %10, align 4, !tbaa !8
  %511 = add i32 %509, %510
  %512 = zext i32 %511 to i64
  %513 = mul i64 %512, 1
  %514 = alloca i8, i64 %513, align 16
  store ptr %514, ptr %42, align 8, !tbaa !10
  %515 = load ptr, ptr %42, align 8, !tbaa !10
  %516 = load i32, ptr %8, align 4, !tbaa !8
  %517 = load i32, ptr %10, align 4, !tbaa !8
  %518 = add i32 %516, %517
  %519 = zext i32 %518 to i64
  %520 = mul i64 %519, 1
  call void @llvm.memset.p0.i64(ptr align 1 %515, i8 0, i64 %520, i1 false)
  %521 = load ptr, ptr %42, align 8, !tbaa !10
  %522 = load ptr, ptr %9, align 8, !tbaa !10
  %523 = load i32, ptr %8, align 4, !tbaa !8
  %524 = zext i32 %523 to i64
  %525 = mul i64 %524, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %521, ptr align 1 %522, i64 %525, i1 false)
  %526 = load ptr, ptr %42, align 8, !tbaa !10
  %527 = load i32, ptr %8, align 4, !tbaa !8
  %528 = zext i32 %527 to i64
  %529 = getelementptr inbounds i8, ptr %526, i64 %528
  %530 = load ptr, ptr %11, align 8, !tbaa !10
  %531 = load i32, ptr %10, align 4, !tbaa !8
  %532 = zext i32 %531 to i64
  %533 = mul i64 %532, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %529, ptr align 1 %530, i64 %533, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %43) #8
  %534 = getelementptr inbounds %struct.Hacl_HMAC_DRBG_state_s, ptr %1, i32 0, i32 0
  %535 = load ptr, ptr %534, align 8, !tbaa !12
  store ptr %535, ptr %43, align 8, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 8, ptr %44) #8
  %536 = getelementptr inbounds %struct.Hacl_HMAC_DRBG_state_s, ptr %1, i32 0, i32 1
  %537 = load ptr, ptr %536, align 8, !tbaa !14
  store ptr %537, ptr %44, align 8, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 8, ptr %45) #8
  %538 = getelementptr inbounds %struct.Hacl_HMAC_DRBG_state_s, ptr %1, i32 0, i32 2
  %539 = load ptr, ptr %538, align 8, !tbaa !15
  store ptr %539, ptr %45, align 8, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 4, ptr %46) #8
  %540 = load i32, ptr %8, align 4, !tbaa !8
  %541 = add i32 65, %540
  %542 = load i32, ptr %10, align 4, !tbaa !8
  %543 = add i32 %541, %542
  store i32 %543, ptr %46, align 4, !tbaa !8
  br label %544

544:                                              ; preds = %508
  %545 = load i32, ptr %46, align 4, !tbaa !8
  %546 = zext i32 %545 to i64
  %547 = icmp ugt i64 %546, -1
  br i1 %547, label %548, label %550

548:                                              ; preds = %544
  %549 = call i32 (ptr, ...) @printf(ptr noundef @.str.2, ptr noundef @.str.1, i32 noundef 632)
  call void @exit(i32 noundef 253) #7
  unreachable

550:                                              ; preds = %544
  br label %551

551:                                              ; preds = %550
  br label %552

552:                                              ; preds = %551
  call void @llvm.lifetime.start.p0(i64 8, ptr %47) #8
  %553 = load i32, ptr %46, align 4, !tbaa !8
  %554 = zext i32 %553 to i64
  %555 = mul i64 %554, 1
  %556 = alloca i8, i64 %555, align 16
  store ptr %556, ptr %47, align 8, !tbaa !10
  %557 = load ptr, ptr %47, align 8, !tbaa !10
  %558 = load i32, ptr %46, align 4, !tbaa !8
  %559 = zext i32 %558 to i64
  %560 = mul i64 %559, 1
  call void @llvm.memset.p0.i64(ptr align 1 %557, i8 0, i64 %560, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %48) #8
  %561 = load ptr, ptr %47, align 8, !tbaa !10
  store ptr %561, ptr %48, align 8, !tbaa !10
  %562 = load ptr, ptr %48, align 8, !tbaa !10
  %563 = load ptr, ptr %44, align 8, !tbaa !10
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %562, ptr align 1 %563, i64 64, i1 false)
  %564 = load i32, ptr %8, align 4, !tbaa !8
  %565 = load i32, ptr %10, align 4, !tbaa !8
  %566 = add i32 %564, %565
  %567 = icmp ne i32 %566, 0
  br i1 %567, label %568, label %577

568:                                              ; preds = %552
  %569 = load ptr, ptr %47, align 8, !tbaa !10
  %570 = getelementptr inbounds i8, ptr %569, i64 65
  %571 = load ptr, ptr %42, align 8, !tbaa !10
  %572 = load i32, ptr %8, align 4, !tbaa !8
  %573 = load i32, ptr %10, align 4, !tbaa !8
  %574 = add i32 %572, %573
  %575 = zext i32 %574 to i64
  %576 = mul i64 %575, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %570, ptr align 1 %571, i64 %576, i1 false)
  br label %577

577:                                              ; preds = %568, %552
  %578 = load ptr, ptr %47, align 8, !tbaa !10
  %579 = getelementptr inbounds i8, ptr %578, i64 64
  store i8 0, ptr %579, align 1, !tbaa !5
  %580 = load ptr, ptr %48, align 8, !tbaa !10
  %581 = load ptr, ptr %43, align 8, !tbaa !10
  %582 = load ptr, ptr %47, align 8, !tbaa !10
  %583 = load i32, ptr %46, align 4, !tbaa !8
  call void @Hacl_HMAC_compute_sha2_512(ptr noundef %580, ptr noundef %581, i32 noundef 64, ptr noundef %582, i32 noundef %583)
  %584 = load ptr, ptr %44, align 8, !tbaa !10
  %585 = load ptr, ptr %48, align 8, !tbaa !10
  %586 = load ptr, ptr %44, align 8, !tbaa !10
  call void @Hacl_HMAC_compute_sha2_512(ptr noundef %584, ptr noundef %585, i32 noundef 64, ptr noundef %586, i32 noundef 64)
  %587 = load ptr, ptr %43, align 8, !tbaa !10
  %588 = load ptr, ptr %48, align 8, !tbaa !10
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %587, ptr align 1 %588, i64 64, i1 false)
  %589 = load i32, ptr %8, align 4, !tbaa !8
  %590 = load i32, ptr %10, align 4, !tbaa !8
  %591 = add i32 %589, %590
  %592 = icmp ne i32 %591, 0
  br i1 %592, label %593, label %643

593:                                              ; preds = %577
  call void @llvm.lifetime.start.p0(i64 4, ptr %49) #8
  %594 = load i32, ptr %8, align 4, !tbaa !8
  %595 = add i32 65, %594
  %596 = load i32, ptr %10, align 4, !tbaa !8
  %597 = add i32 %595, %596
  store i32 %597, ptr %49, align 4, !tbaa !8
  br label %598

598:                                              ; preds = %593
  %599 = load i32, ptr %49, align 4, !tbaa !8
  %600 = zext i32 %599 to i64
  %601 = icmp ugt i64 %600, -1
  br i1 %601, label %602, label %604

602:                                              ; preds = %598
  %603 = call i32 (ptr, ...) @printf(ptr noundef @.str.2, ptr noundef @.str.1, i32 noundef 650)
  call void @exit(i32 noundef 253) #7
  unreachable

604:                                              ; preds = %598
  br label %605

605:                                              ; preds = %604
  br label %606

606:                                              ; preds = %605
  call void @llvm.lifetime.start.p0(i64 8, ptr %50) #8
  %607 = load i32, ptr %49, align 4, !tbaa !8
  %608 = zext i32 %607 to i64
  %609 = mul i64 %608, 1
  %610 = alloca i8, i64 %609, align 16
  store ptr %610, ptr %50, align 8, !tbaa !10
  %611 = load ptr, ptr %50, align 8, !tbaa !10
  %612 = load i32, ptr %49, align 4, !tbaa !8
  %613 = zext i32 %612 to i64
  %614 = mul i64 %613, 1
  call void @llvm.memset.p0.i64(ptr align 1 %611, i8 0, i64 %614, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %51) #8
  %615 = load ptr, ptr %50, align 8, !tbaa !10
  store ptr %615, ptr %51, align 8, !tbaa !10
  %616 = load ptr, ptr %51, align 8, !tbaa !10
  %617 = load ptr, ptr %44, align 8, !tbaa !10
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %616, ptr align 1 %617, i64 64, i1 false)
  %618 = load i32, ptr %8, align 4, !tbaa !8
  %619 = load i32, ptr %10, align 4, !tbaa !8
  %620 = add i32 %618, %619
  %621 = icmp ne i32 %620, 0
  br i1 %621, label %622, label %631

622:                                              ; preds = %606
  %623 = load ptr, ptr %50, align 8, !tbaa !10
  %624 = getelementptr inbounds i8, ptr %623, i64 65
  %625 = load ptr, ptr %42, align 8, !tbaa !10
  %626 = load i32, ptr %8, align 4, !tbaa !8
  %627 = load i32, ptr %10, align 4, !tbaa !8
  %628 = add i32 %626, %627
  %629 = zext i32 %628 to i64
  %630 = mul i64 %629, 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %624, ptr align 1 %625, i64 %630, i1 false)
  br label %631

631:                                              ; preds = %622, %606
  %632 = load ptr, ptr %50, align 8, !tbaa !10
  %633 = getelementptr inbounds i8, ptr %632, i64 64
  store i8 1, ptr %633, align 1, !tbaa !5
  %634 = load ptr, ptr %51, align 8, !tbaa !10
  %635 = load ptr, ptr %43, align 8, !tbaa !10
  %636 = load ptr, ptr %50, align 8, !tbaa !10
  %637 = load i32, ptr %49, align 4, !tbaa !8
  call void @Hacl_HMAC_compute_sha2_512(ptr noundef %634, ptr noundef %635, i32 noundef 64, ptr noundef %636, i32 noundef %637)
  %638 = load ptr, ptr %44, align 8, !tbaa !10
  %639 = load ptr, ptr %51, align 8, !tbaa !10
  %640 = load ptr, ptr %44, align 8, !tbaa !10
  call void @Hacl_HMAC_compute_sha2_512(ptr noundef %638, ptr noundef %639, i32 noundef 64, ptr noundef %640, i32 noundef 64)
  %641 = load ptr, ptr %43, align 8, !tbaa !10
  %642 = load ptr, ptr %51, align 8, !tbaa !10
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %641, ptr align 1 %642, i64 64, i1 false)
  call void @llvm.lifetime.end.p0(i64 8, ptr %51) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %50) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %49) #8
  br label %643

643:                                              ; preds = %631, %577
  %644 = load ptr, ptr %45, align 8, !tbaa !10
  %645 = getelementptr inbounds i32, ptr %644, i64 0
  store i32 1, ptr %645, align 4, !tbaa !8
  call void @llvm.lifetime.end.p0(i64 8, ptr %48) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %47) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %46) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %45) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %44) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %43) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %42) #8
  br label %649

646:                                              ; preds = %6
  %647 = load ptr, ptr @stderr, align 8, !tbaa !10
  %648 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %647, ptr noundef @.str, ptr noundef @.str.1, i32 noundef 671) #8
  call void @exit(i32 noundef 253) #7
  unreachable

649:                                              ; preds = %643, %495, %347, %199
  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 nounwind willreturn memory(argmem: write) }
attributes #5 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
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 = { noreturn nounwind }
attributes #8 = { 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 [86 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 nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #2

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

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

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

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

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

; 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 #5 {
  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)
  %.not270 = icmp eq i32 %8, 0
  br i1 %.not270, 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) #6
  call void @Hacl_HMAC_compute_sha1(ptr noundef nonnull %16, ptr noundef nonnull %21, i32 noundef 20, ptr noundef nonnull %16, i32 noundef 20) #6
  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 = alloca i8, i64 %20, align 16
  call void @llvm.memset.p0.i64(ptr nonnull align 16 %25, i8 0, i64 %20, i1 false)
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(20) %25, ptr noundef nonnull align 1 dereferenceable(20) %16, i64 20, i1 false)
  %26 = getelementptr inbounds i8, ptr %25, i64 21
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 1 %26, ptr nonnull align 16 %10, i64 %9, i1 false)
  %27 = getelementptr inbounds i8, ptr %25, i64 20
  store i8 1, ptr %27, align 4, !tbaa !12
  call void @Hacl_HMAC_compute_sha1(ptr noundef nonnull %25, ptr noundef %14, i32 noundef 20, ptr noundef nonnull %25, i32 noundef %19) #6
  br label %29

.critedge:                                        ; preds = %7
  %28 = getelementptr inbounds i8, ptr %21, i64 20
  store i8 0, ptr %28, 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) #6
  br label %29

29:                                               ; preds = %.critedge, %22
  %.sink277 = phi ptr [ %21, %.critedge ], [ %25, %22 ]
  call void @Hacl_HMAC_compute_sha1(ptr noundef nonnull %16, ptr noundef nonnull %.sink277, i32 noundef 20, ptr noundef nonnull %16, i32 noundef 20) #6
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 1 dereferenceable(20) %14, ptr noundef nonnull align 16 dereferenceable(20) %.sink277, 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)
  %.not269 = icmp eq i32 %31, 0
  br i1 %.not269, label %.critedge272, 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) #6
  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) #6
  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 = alloca i8, i64 %43, align 16
  call void @llvm.memset.p0.i64(ptr nonnull align 16 %48, i8 0, i64 %43, i1 false)
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(32) %48, ptr noundef nonnull align 1 dereferenceable(32) %39, i64 32, i1 false)
  %49 = getelementptr inbounds i8, ptr %48, i64 33
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 1 %49, ptr nonnull align 16 %33, i64 %32, i1 false)
  %50 = getelementptr inbounds i8, ptr %48, i64 32
  store i8 1, ptr %50, align 16, !tbaa !12
  call void @Hacl_HMAC_compute_sha2_256(ptr noundef nonnull %48, ptr noundef %37, i32 noundef 32, ptr noundef nonnull %48, i32 noundef %42) #6
  br label %52

.critedge272:                                     ; preds = %30
  %51 = getelementptr inbounds i8, ptr %44, i64 32
  store i8 0, ptr %51, 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) #6
  br label %52

52:                                               ; preds = %.critedge272, %45
  %.sink279 = phi ptr [ %44, %.critedge272 ], [ %48, %45 ]
  call void @Hacl_HMAC_compute_sha2_256(ptr noundef nonnull %39, ptr noundef nonnull %.sink279, i32 noundef 32, ptr noundef nonnull %39, i32 noundef 32) #6
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 1 dereferenceable(32) %37, ptr noundef nonnull align 16 dereferenceable(32) %.sink279, 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)
  %.not268 = icmp eq i32 %54, 0
  br i1 %.not268, label %.critedge274, 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) #6
  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) #6
  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 = alloca i8, i64 %66, align 16
  call void @llvm.memset.p0.i64(ptr nonnull align 16 %71, i8 0, i64 %66, i1 false)
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(48) %71, ptr noundef nonnull align 1 dereferenceable(48) %62, i64 48, i1 false)
  %72 = getelementptr inbounds i8, ptr %71, i64 49
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 1 %72, ptr nonnull align 16 %56, i64 %55, i1 false)
  %73 = getelementptr inbounds i8, ptr %71, i64 48
  store i8 1, ptr %73, align 16, !tbaa !12
  call void @Hacl_HMAC_compute_sha2_384(ptr noundef nonnull %71, ptr noundef %60, i32 noundef 48, ptr noundef nonnull %71, i32 noundef %65) #6
  br label %75

.critedge274:                                     ; preds = %53
  %74 = getelementptr inbounds i8, ptr %67, i64 48
  store i8 0, ptr %74, 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) #6
  br label %75

75:                                               ; preds = %.critedge274, %68
  %.sink281 = phi ptr [ %67, %.critedge274 ], [ %71, %68 ]
  call void @Hacl_HMAC_compute_sha2_384(ptr noundef nonnull %62, ptr noundef nonnull %.sink281, i32 noundef 48, ptr noundef nonnull %62, i32 noundef 48) #6
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 1 dereferenceable(48) %60, ptr noundef nonnull align 16 dereferenceable(48) %.sink281, 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 %.critedge276, 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) #6
  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) #6
  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 = alloca i8, i64 %89, align 16
  call void @llvm.memset.p0.i64(ptr nonnull align 16 %94, i8 0, i64 %89, i1 false)
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(64) %94, ptr noundef nonnull align 1 dereferenceable(64) %85, i64 64, i1 false)
  %95 = getelementptr inbounds i8, ptr %94, i64 65
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 1 %95, ptr nonnull align 16 %79, i64 %78, i1 false)
  %96 = getelementptr inbounds i8, ptr %94, i64 64
  store i8 1, ptr %96, align 16, !tbaa !12
  call void @Hacl_HMAC_compute_sha2_512(ptr noundef nonnull %94, ptr noundef %83, i32 noundef 64, ptr noundef nonnull %94, i32 noundef %88) #6
  br label %98

.critedge276:                                     ; preds = %76
  %97 = getelementptr inbounds i8, ptr %90, i64 64
  store i8 0, ptr %97, 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) #6
  br label %98

98:                                               ; preds = %.critedge276, %91
  %.sink283 = phi ptr [ %90, %.critedge276 ], [ %94, %91 ]
  call void @Hacl_HMAC_compute_sha2_512(ptr noundef nonnull %85, ptr noundef nonnull %.sink283, i32 noundef 64, ptr noundef nonnull %85, i32 noundef 64) #6
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 1 dereferenceable(64) %83, ptr noundef nonnull align 16 dereferenceable(64) %.sink283, 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 671) #7
  tail call void @exit(i32 noundef 253) #8
  unreachable

102:                                              ; preds = %98, %75, %52, %29
  %.sink284 = phi ptr [ %87, %98 ], [ %64, %75 ], [ %41, %52 ], [ %18, %29 ]
  store i32 1, ptr %.sink284, 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 nounwind willreturn memory(argmem: write) }
attributes #3 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: readwrite) }
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 = { 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 #6 = { nounwind }
attributes #7 = { cold nounwind }
attributes #8 = { noreturn nounwind }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !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,InferAlignmentPass,InferFunctionAttrsPass,InstCombinePass,PostOrderFunctionAttrsPass,ReassociatePass,SROAPass,SimplifyCFGPass,TailCallElimPass