; LLVM IR from aws/s2n-tls :: tests/unit (s2n_key_share_extension_test)

; 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.s2n_stuffer = type { %struct.s2n_blob, i32, i32, i32, i8 }
%struct.s2n_blob = type { ptr, i32, i32, i8 }
%struct.s2n_ecc_evp_params = type { ptr, ptr }
%struct.s2n_ecc_named_curve = type { i16, i32, ptr, i8, ptr }

@s2n_use_color_in_output = external dso_local global i8, align 1
@test_count = external dso_local global i32, align 4
@stdout = external global ptr, align 8
@.str = external hidden unnamed_addr constant [19 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [87 x i8], align 1
@stderr = external global ptr, align 8
@.str.2 = external hidden unnamed_addr constant [101 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [52 x i8], align 1
@s2n_errno = external thread_local global i32, align 4
@.str.4 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [90 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [48 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [56 x i8], align 1
@s2n_all_supported_curves_list = external constant [0 x ptr], align 8
@.str.9 = external hidden unnamed_addr constant [80 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [77 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [66 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [46 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [49 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [88 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [69 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [51 x i8], align 1
@.str.17 = external hidden unnamed_addr constant [78 x i8], align 1
@.str.18 = external hidden unnamed_addr constant [74 x i8], align 1
@.str.19 = external hidden unnamed_addr constant [35 x i8], align 1
@.str.20 = external hidden unnamed_addr constant [70 x i8], align 1
@.str.21 = external hidden unnamed_addr constant [42 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [52 x i8], align 1
@.str.23 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.24 = external hidden unnamed_addr constant [36 x i8], align 1
@.str.25 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.26 = external hidden unnamed_addr constant [25 x i8], align 1

; Function Attrs: nounwind uwtable
define dso_local i32 @main(i32 noundef %0, ptr noundef %1) #0 {
  %3 = alloca i32, align 4
  %4 = alloca i32, align 4
  %5 = alloca ptr, align 8
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  %8 = alloca i32, align 4
  %9 = alloca i32, align 4
  %10 = alloca ptr, align 8
  %11 = alloca %struct.s2n_stuffer, align 8
  %12 = alloca %struct.s2n_ecc_evp_params, align 8
  %13 = alloca i32, align 4
  %14 = alloca i32, align 4
  %15 = alloca i16, align 2
  %16 = alloca i32, align 4
  %17 = alloca i32, align 4
  %18 = alloca i16, align 2
  %19 = alloca i32, align 4
  %20 = alloca i32, align 4
  %21 = alloca i32, align 4
  %22 = alloca i32, align 4
  %23 = alloca i32, align 4
  %24 = alloca %struct.s2n_stuffer, align 8
  %25 = alloca %struct.s2n_ecc_evp_params, align 8
  %26 = alloca %struct.s2n_ecc_named_curve, align 8
  %27 = alloca i32, align 4
  %28 = alloca i32, align 4
  %29 = alloca i32, align 4
  %30 = alloca i32, align 4
  %31 = alloca i32, align 4
  %32 = alloca i32, align 4
  %33 = alloca i32, align 4
  %34 = alloca i32, align 4
  %35 = alloca i32, align 4
  store i32 0, ptr %3, align 4
  store i32 %0, ptr %4, align 4, !tbaa !5
  store ptr %1, ptr %5, align 8, !tbaa !9
  br label %36

36:                                               ; preds = %2
  br label %37

37:                                               ; preds = %36
  store i32 0, ptr @test_count, align 4, !tbaa !5
  %38 = load ptr, ptr @stdout, align 8, !tbaa !9
  %39 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %38, ptr noundef @.str, ptr noundef @.str.1) #8
  %40 = load ptr, ptr @stdout, align 8, !tbaa !9
  %41 = call i32 @fflush(ptr noundef %40)
  br label %42

42:                                               ; preds = %37
  %43 = call i32 @s2n_in_unit_test_set(i1 noundef zeroext true)
  %44 = icmp eq i32 %43, -1
  br i1 %44, label %45, label %96

45:                                               ; preds = %42
  br label %46

46:                                               ; preds = %45
  br label %47

47:                                               ; preds = %46
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #8
  %48 = call ptr @__errno_location() #9
  %49 = load i32, ptr %48, align 4, !tbaa !5
  store i32 %49, ptr %6, align 4, !tbaa !5
  %50 = load ptr, ptr @stderr, align 8, !tbaa !9
  %51 = call i32 @s2n_print_stacktrace(ptr noundef %50)
  %52 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %53 = trunc i8 %52 to i1
  br i1 %53, label %54, label %76

54:                                               ; preds = %47
  %55 = load ptr, ptr @stderr, align 8, !tbaa !9
  %56 = call i32 @fileno(ptr noundef %55) #8
  %57 = call i32 @isatty(i32 noundef %56) #8
  %58 = icmp ne i32 %57, 0
  br i1 %58, label %59, label %76

59:                                               ; preds = %54
  %60 = load i32, ptr %6, align 4, !tbaa !5
  %61 = call ptr @__errno_location() #9
  store i32 %60, ptr %61, align 4, !tbaa !5
  %62 = load ptr, ptr @stderr, align 8, !tbaa !9
  %63 = load i32, ptr @test_count, align 4, !tbaa !5
  %64 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %65 = load i32, ptr %64, align 4, !tbaa !5
  %66 = call ptr @s2n_strerror(i32 noundef %65, ptr noundef @.str.4)
  %67 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %68 = load i32, ptr %67, align 4, !tbaa !5
  %69 = call ptr @s2n_strerror_debug(i32 noundef %68, ptr noundef @.str.4)
  %70 = call ptr @__errno_location() #9
  %71 = load i32, ptr %70, align 4, !tbaa !5
  %72 = call ptr @strerror(i32 noundef %71) #8
  %73 = call ptr @__errno_location() #9
  %74 = load i32, ptr %73, align 4, !tbaa !5
  %75 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %62, ptr noundef @.str.2, i32 noundef %63, ptr noundef @.str.3, ptr noundef @.str.1, i32 noundef 28, ptr noundef %66, ptr noundef %69, ptr noundef %72, i32 noundef %74) #8
  br label %93

76:                                               ; preds = %54, %47
  %77 = load i32, ptr %6, align 4, !tbaa !5
  %78 = call ptr @__errno_location() #9
  store i32 %77, ptr %78, align 4, !tbaa !5
  %79 = load ptr, ptr @stderr, align 8, !tbaa !9
  %80 = load i32, ptr @test_count, align 4, !tbaa !5
  %81 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %82 = load i32, ptr %81, align 4, !tbaa !5
  %83 = call ptr @s2n_strerror(i32 noundef %82, ptr noundef @.str.4)
  %84 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %85 = load i32, ptr %84, align 4, !tbaa !5
  %86 = call ptr @s2n_strerror_debug(i32 noundef %85, ptr noundef @.str.4)
  %87 = call ptr @__errno_location() #9
  %88 = load i32, ptr %87, align 4, !tbaa !5
  %89 = call ptr @strerror(i32 noundef %88) #8
  %90 = call ptr @__errno_location() #9
  %91 = load i32, ptr %90, align 4, !tbaa !5
  %92 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %79, ptr noundef @.str.5, i32 noundef %80, ptr noundef @.str.3, ptr noundef @.str.1, i32 noundef 28, ptr noundef %83, ptr noundef %86, ptr noundef %89, i32 noundef %91) #8
  br label %93

93:                                               ; preds = %76, %59
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #8
  br label %94

94:                                               ; preds = %93
  call void @exit(i32 noundef 1) #10
  unreachable

95:                                               ; No predecessors!
  br label %96

96:                                               ; preds = %95, %42
  br label %97

97:                                               ; preds = %96
  br label %98

98:                                               ; preds = %97
  %99 = load i32, ptr @test_count, align 4, !tbaa !5
  %100 = add nsw i32 %99, 1
  store i32 %100, ptr @test_count, align 4, !tbaa !5
  %101 = call i32 @s2n_enable_atexit()
  %102 = icmp eq i32 %101, -1
  br i1 %102, label %103, label %154

103:                                              ; preds = %98
  br label %104

104:                                              ; preds = %103
  br label %105

105:                                              ; preds = %104
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #8
  %106 = call ptr @__errno_location() #9
  %107 = load i32, ptr %106, align 4, !tbaa !5
  store i32 %107, ptr %7, align 4, !tbaa !5
  %108 = load ptr, ptr @stderr, align 8, !tbaa !9
  %109 = call i32 @s2n_print_stacktrace(ptr noundef %108)
  %110 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %111 = trunc i8 %110 to i1
  br i1 %111, label %112, label %134

112:                                              ; preds = %105
  %113 = load ptr, ptr @stderr, align 8, !tbaa !9
  %114 = call i32 @fileno(ptr noundef %113) #8
  %115 = call i32 @isatty(i32 noundef %114) #8
  %116 = icmp ne i32 %115, 0
  br i1 %116, label %117, label %134

117:                                              ; preds = %112
  %118 = load i32, ptr %7, align 4, !tbaa !5
  %119 = call ptr @__errno_location() #9
  store i32 %118, ptr %119, align 4, !tbaa !5
  %120 = load ptr, ptr @stderr, align 8, !tbaa !9
  %121 = load i32, ptr @test_count, align 4, !tbaa !5
  %122 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %123 = load i32, ptr %122, align 4, !tbaa !5
  %124 = call ptr @s2n_strerror(i32 noundef %123, ptr noundef @.str.4)
  %125 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %126 = load i32, ptr %125, align 4, !tbaa !5
  %127 = call ptr @s2n_strerror_debug(i32 noundef %126, ptr noundef @.str.4)
  %128 = call ptr @__errno_location() #9
  %129 = load i32, ptr %128, align 4, !tbaa !5
  %130 = call ptr @strerror(i32 noundef %129) #8
  %131 = call ptr @__errno_location() #9
  %132 = load i32, ptr %131, align 4, !tbaa !5
  %133 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %120, ptr noundef @.str.2, i32 noundef %121, ptr noundef @.str.6, ptr noundef @.str.1, i32 noundef 28, ptr noundef %124, ptr noundef %127, ptr noundef %130, i32 noundef %132) #8
  br label %151

134:                                              ; preds = %112, %105
  %135 = load i32, ptr %7, align 4, !tbaa !5
  %136 = call ptr @__errno_location() #9
  store i32 %135, ptr %136, align 4, !tbaa !5
  %137 = load ptr, ptr @stderr, align 8, !tbaa !9
  %138 = load i32, ptr @test_count, align 4, !tbaa !5
  %139 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %140 = load i32, ptr %139, align 4, !tbaa !5
  %141 = call ptr @s2n_strerror(i32 noundef %140, ptr noundef @.str.4)
  %142 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %143 = load i32, ptr %142, align 4, !tbaa !5
  %144 = call ptr @s2n_strerror_debug(i32 noundef %143, ptr noundef @.str.4)
  %145 = call ptr @__errno_location() #9
  %146 = load i32, ptr %145, align 4, !tbaa !5
  %147 = call ptr @strerror(i32 noundef %146) #8
  %148 = call ptr @__errno_location() #9
  %149 = load i32, ptr %148, align 4, !tbaa !5
  %150 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %137, ptr noundef @.str.5, i32 noundef %138, ptr noundef @.str.6, ptr noundef @.str.1, i32 noundef 28, ptr noundef %141, ptr noundef %144, ptr noundef %147, i32 noundef %149) #8
  br label %151

151:                                              ; preds = %134, %117
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #8
  br label %152

152:                                              ; preds = %151
  call void @exit(i32 noundef 1) #10
  unreachable

153:                                              ; No predecessors!
  br label %154

154:                                              ; preds = %153, %98
  br label %155

155:                                              ; preds = %154
  br label %156

156:                                              ; preds = %155
  br label %157

157:                                              ; preds = %156
  %158 = call i32 @s2n_init()
  %159 = icmp eq i32 %158, -1
  br i1 %159, label %160, label %211

160:                                              ; preds = %157
  br label %161

161:                                              ; preds = %160
  br label %162

162:                                              ; preds = %161
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #8
  %163 = call ptr @__errno_location() #9
  %164 = load i32, ptr %163, align 4, !tbaa !5
  store i32 %164, ptr %8, align 4, !tbaa !5
  %165 = load ptr, ptr @stderr, align 8, !tbaa !9
  %166 = call i32 @s2n_print_stacktrace(ptr noundef %165)
  %167 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %168 = trunc i8 %167 to i1
  br i1 %168, label %169, label %191

169:                                              ; preds = %162
  %170 = load ptr, ptr @stderr, align 8, !tbaa !9
  %171 = call i32 @fileno(ptr noundef %170) #8
  %172 = call i32 @isatty(i32 noundef %171) #8
  %173 = icmp ne i32 %172, 0
  br i1 %173, label %174, label %191

174:                                              ; preds = %169
  %175 = load i32, ptr %8, align 4, !tbaa !5
  %176 = call ptr @__errno_location() #9
  store i32 %175, ptr %176, align 4, !tbaa !5
  %177 = load ptr, ptr @stderr, align 8, !tbaa !9
  %178 = load i32, ptr @test_count, align 4, !tbaa !5
  %179 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %180 = load i32, ptr %179, align 4, !tbaa !5
  %181 = call ptr @s2n_strerror(i32 noundef %180, ptr noundef @.str.4)
  %182 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %183 = load i32, ptr %182, align 4, !tbaa !5
  %184 = call ptr @s2n_strerror_debug(i32 noundef %183, ptr noundef @.str.4)
  %185 = call ptr @__errno_location() #9
  %186 = load i32, ptr %185, align 4, !tbaa !5
  %187 = call ptr @strerror(i32 noundef %186) #8
  %188 = call ptr @__errno_location() #9
  %189 = load i32, ptr %188, align 4, !tbaa !5
  %190 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %177, ptr noundef @.str.2, i32 noundef %178, ptr noundef @.str.7, ptr noundef @.str.1, i32 noundef 28, ptr noundef %181, ptr noundef %184, ptr noundef %187, i32 noundef %189) #8
  br label %208

191:                                              ; preds = %169, %162
  %192 = load i32, ptr %8, align 4, !tbaa !5
  %193 = call ptr @__errno_location() #9
  store i32 %192, ptr %193, align 4, !tbaa !5
  %194 = load ptr, ptr @stderr, align 8, !tbaa !9
  %195 = load i32, ptr @test_count, align 4, !tbaa !5
  %196 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %197 = load i32, ptr %196, align 4, !tbaa !5
  %198 = call ptr @s2n_strerror(i32 noundef %197, ptr noundef @.str.4)
  %199 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %200 = load i32, ptr %199, align 4, !tbaa !5
  %201 = call ptr @s2n_strerror_debug(i32 noundef %200, ptr noundef @.str.4)
  %202 = call ptr @__errno_location() #9
  %203 = load i32, ptr %202, align 4, !tbaa !5
  %204 = call ptr @strerror(i32 noundef %203) #8
  %205 = call ptr @__errno_location() #9
  %206 = load i32, ptr %205, align 4, !tbaa !5
  %207 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %194, ptr noundef @.str.5, i32 noundef %195, ptr noundef @.str.7, ptr noundef @.str.1, i32 noundef 28, ptr noundef %198, ptr noundef %201, ptr noundef %204, i32 noundef %206) #8
  br label %208

208:                                              ; preds = %191, %174
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #8
  br label %209

209:                                              ; preds = %208
  call void @exit(i32 noundef 1) #10
  unreachable

210:                                              ; No predecessors!
  br label %211

211:                                              ; preds = %210, %157
  br label %212

212:                                              ; preds = %211
  br label %213

213:                                              ; preds = %212
  br label %214

214:                                              ; preds = %213
  %215 = load i32, ptr @test_count, align 4, !tbaa !5
  %216 = add nsw i32 %215, 1
  store i32 %216, ptr @test_count, align 4, !tbaa !5
  %217 = call i32 (...) @s2n_disable_tls13_in_test()
  %218 = icmp eq i32 %217, -1
  br i1 %218, label %219, label %270

219:                                              ; preds = %214
  br label %220

220:                                              ; preds = %219
  br label %221

221:                                              ; preds = %220
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #8
  %222 = call ptr @__errno_location() #9
  %223 = load i32, ptr %222, align 4, !tbaa !5
  store i32 %223, ptr %9, align 4, !tbaa !5
  %224 = load ptr, ptr @stderr, align 8, !tbaa !9
  %225 = call i32 @s2n_print_stacktrace(ptr noundef %224)
  %226 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %227 = trunc i8 %226 to i1
  br i1 %227, label %228, label %250

228:                                              ; preds = %221
  %229 = load ptr, ptr @stderr, align 8, !tbaa !9
  %230 = call i32 @fileno(ptr noundef %229) #8
  %231 = call i32 @isatty(i32 noundef %230) #8
  %232 = icmp ne i32 %231, 0
  br i1 %232, label %233, label %250

233:                                              ; preds = %228
  %234 = load i32, ptr %9, align 4, !tbaa !5
  %235 = call ptr @__errno_location() #9
  store i32 %234, ptr %235, align 4, !tbaa !5
  %236 = load ptr, ptr @stderr, align 8, !tbaa !9
  %237 = load i32, ptr @test_count, align 4, !tbaa !5
  %238 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %239 = load i32, ptr %238, align 4, !tbaa !5
  %240 = call ptr @s2n_strerror(i32 noundef %239, ptr noundef @.str.4)
  %241 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %242 = load i32, ptr %241, align 4, !tbaa !5
  %243 = call ptr @s2n_strerror_debug(i32 noundef %242, ptr noundef @.str.4)
  %244 = call ptr @__errno_location() #9
  %245 = load i32, ptr %244, align 4, !tbaa !5
  %246 = call ptr @strerror(i32 noundef %245) #8
  %247 = call ptr @__errno_location() #9
  %248 = load i32, ptr %247, align 4, !tbaa !5
  %249 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %236, ptr noundef @.str.2, i32 noundef %237, ptr noundef @.str.8, ptr noundef @.str.1, i32 noundef 29, ptr noundef %240, ptr noundef %243, ptr noundef %246, i32 noundef %248) #8
  br label %267

250:                                              ; preds = %228, %221
  %251 = load i32, ptr %9, align 4, !tbaa !5
  %252 = call ptr @__errno_location() #9
  store i32 %251, ptr %252, align 4, !tbaa !5
  %253 = load ptr, ptr @stderr, align 8, !tbaa !9
  %254 = load i32, ptr @test_count, align 4, !tbaa !5
  %255 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %256 = load i32, ptr %255, align 4, !tbaa !5
  %257 = call ptr @s2n_strerror(i32 noundef %256, ptr noundef @.str.4)
  %258 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %259 = load i32, ptr %258, align 4, !tbaa !5
  %260 = call ptr @s2n_strerror_debug(i32 noundef %259, ptr noundef @.str.4)
  %261 = call ptr @__errno_location() #9
  %262 = load i32, ptr %261, align 4, !tbaa !5
  %263 = call ptr @strerror(i32 noundef %262) #8
  %264 = call ptr @__errno_location() #9
  %265 = load i32, ptr %264, align 4, !tbaa !5
  %266 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %253, ptr noundef @.str.5, i32 noundef %254, ptr noundef @.str.8, ptr noundef @.str.1, i32 noundef 29, ptr noundef %257, ptr noundef %260, ptr noundef %263, i32 noundef %265) #8
  br label %267

267:                                              ; preds = %250, %233
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #8
  br label %268

268:                                              ; preds = %267
  call void @exit(i32 noundef 1) #10
  unreachable

269:                                              ; No predecessors!
  br label %270

270:                                              ; preds = %269, %214
  br label %271

271:                                              ; preds = %270
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #8
  %272 = load ptr, ptr @s2n_all_supported_curves_list, align 8, !tbaa !9
  store ptr %272, ptr %10, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 40, ptr %11) #8
  call void @llvm.memset.p0.i64(ptr align 8 %11, i8 0, i64 40, i1 false)
  call void @llvm.lifetime.start.p0(i64 16, ptr %12) #8
  %273 = load ptr, ptr %10, align 8, !tbaa !9
  %274 = getelementptr inbounds %struct.s2n_ecc_evp_params, ptr %12, i32 0, i32 0
  store ptr %273, ptr %274, align 8, !tbaa !15
  %275 = getelementptr inbounds %struct.s2n_ecc_evp_params, ptr %12, i32 0, i32 1
  store ptr null, ptr %275, align 8, !tbaa !17
  br label %276

276:                                              ; preds = %271
  %277 = load i32, ptr @test_count, align 4, !tbaa !5
  %278 = add nsw i32 %277, 1
  store i32 %278, ptr @test_count, align 4, !tbaa !5
  %279 = load ptr, ptr %10, align 8, !tbaa !9
  %280 = getelementptr inbounds %struct.s2n_ecc_named_curve, ptr %279, i32 0, i32 3
  %281 = load i8, ptr %280, align 8, !tbaa !18
  %282 = zext i8 %281 to i32
  %283 = add nsw i32 %282, 4
  %284 = call i32 @s2n_stuffer_alloc(ptr noundef %11, i32 noundef %283)
  %285 = icmp eq i32 %284, -1
  br i1 %285, label %286, label %339

286:                                              ; preds = %276
  br label %287

287:                                              ; preds = %286
  br label %288

288:                                              ; preds = %287
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #8
  %289 = call ptr @__errno_location() #9
  %290 = load i32, ptr %289, align 4, !tbaa !5
  store i32 %290, ptr %13, align 4, !tbaa !5
  %291 = load ptr, ptr @stderr, align 8, !tbaa !9
  %292 = call i32 @s2n_print_stacktrace(ptr noundef %291)
  %293 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %294 = trunc i8 %293 to i1
  br i1 %294, label %295, label %317

295:                                              ; preds = %288
  %296 = load ptr, ptr @stderr, align 8, !tbaa !9
  %297 = call i32 @fileno(ptr noundef %296) #8
  %298 = call i32 @isatty(i32 noundef %297) #8
  %299 = icmp ne i32 %298, 0
  br i1 %299, label %300, label %317

300:                                              ; preds = %295
  %301 = load i32, ptr %13, align 4, !tbaa !5
  %302 = call ptr @__errno_location() #9
  store i32 %301, ptr %302, align 4, !tbaa !5
  %303 = load ptr, ptr @stderr, align 8, !tbaa !9
  %304 = load i32, ptr @test_count, align 4, !tbaa !5
  %305 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %306 = load i32, ptr %305, align 4, !tbaa !5
  %307 = call ptr @s2n_strerror(i32 noundef %306, ptr noundef @.str.4)
  %308 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %309 = load i32, ptr %308, align 4, !tbaa !5
  %310 = call ptr @s2n_strerror_debug(i32 noundef %309, ptr noundef @.str.4)
  %311 = call ptr @__errno_location() #9
  %312 = load i32, ptr %311, align 4, !tbaa !5
  %313 = call ptr @strerror(i32 noundef %312) #8
  %314 = call ptr @__errno_location() #9
  %315 = load i32, ptr %314, align 4, !tbaa !5
  %316 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %303, ptr noundef @.str.2, i32 noundef %304, ptr noundef @.str.9, ptr noundef @.str.1, i32 noundef 40, ptr noundef %307, ptr noundef %310, ptr noundef %313, i32 noundef %315) #8
  br label %334

317:                                              ; preds = %295, %288
  %318 = load i32, ptr %13, align 4, !tbaa !5
  %319 = call ptr @__errno_location() #9
  store i32 %318, ptr %319, align 4, !tbaa !5
  %320 = load ptr, ptr @stderr, align 8, !tbaa !9
  %321 = load i32, ptr @test_count, align 4, !tbaa !5
  %322 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %323 = load i32, ptr %322, align 4, !tbaa !5
  %324 = call ptr @s2n_strerror(i32 noundef %323, ptr noundef @.str.4)
  %325 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %326 = load i32, ptr %325, align 4, !tbaa !5
  %327 = call ptr @s2n_strerror_debug(i32 noundef %326, ptr noundef @.str.4)
  %328 = call ptr @__errno_location() #9
  %329 = load i32, ptr %328, align 4, !tbaa !5
  %330 = call ptr @strerror(i32 noundef %329) #8
  %331 = call ptr @__errno_location() #9
  %332 = load i32, ptr %331, align 4, !tbaa !5
  %333 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %320, ptr noundef @.str.5, i32 noundef %321, ptr noundef @.str.9, ptr noundef @.str.1, i32 noundef 40, ptr noundef %324, ptr noundef %327, ptr noundef %330, i32 noundef %332) #8
  br label %334

334:                                              ; preds = %317, %300
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #8
  br label %335

335:                                              ; preds = %334
  br label %336

336:                                              ; preds = %335
  call void @exit(i32 noundef 1) #10
  unreachable

337:                                              ; No predecessors!
  br label %338

338:                                              ; preds = %337
  br label %339

339:                                              ; preds = %338, %276
  br label %340

340:                                              ; preds = %339
  br label %341

341:                                              ; preds = %340
  br label %342

342:                                              ; preds = %341
  %343 = load i32, ptr @test_count, align 4, !tbaa !5
  %344 = add nsw i32 %343, 1
  store i32 %344, ptr @test_count, align 4, !tbaa !5
  %345 = call i32 @s2n_ecdhe_parameters_send(ptr noundef %12, ptr noundef %11)
  %346 = icmp eq i32 %345, -1
  br i1 %346, label %347, label %400

347:                                              ; preds = %342
  br label %348

348:                                              ; preds = %347
  br label %349

349:                                              ; preds = %348
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #8
  %350 = call ptr @__errno_location() #9
  %351 = load i32, ptr %350, align 4, !tbaa !5
  store i32 %351, ptr %14, align 4, !tbaa !5
  %352 = load ptr, ptr @stderr, align 8, !tbaa !9
  %353 = call i32 @s2n_print_stacktrace(ptr noundef %352)
  %354 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %355 = trunc i8 %354 to i1
  br i1 %355, label %356, label %378

356:                                              ; preds = %349
  %357 = load ptr, ptr @stderr, align 8, !tbaa !9
  %358 = call i32 @fileno(ptr noundef %357) #8
  %359 = call i32 @isatty(i32 noundef %358) #8
  %360 = icmp ne i32 %359, 0
  br i1 %360, label %361, label %378

361:                                              ; preds = %356
  %362 = load i32, ptr %14, align 4, !tbaa !5
  %363 = call ptr @__errno_location() #9
  store i32 %362, ptr %363, align 4, !tbaa !5
  %364 = load ptr, ptr @stderr, align 8, !tbaa !9
  %365 = load i32, ptr @test_count, align 4, !tbaa !5
  %366 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %367 = load i32, ptr %366, align 4, !tbaa !5
  %368 = call ptr @s2n_strerror(i32 noundef %367, ptr noundef @.str.4)
  %369 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %370 = load i32, ptr %369, align 4, !tbaa !5
  %371 = call ptr @s2n_strerror_debug(i32 noundef %370, ptr noundef @.str.4)
  %372 = call ptr @__errno_location() #9
  %373 = load i32, ptr %372, align 4, !tbaa !5
  %374 = call ptr @strerror(i32 noundef %373) #8
  %375 = call ptr @__errno_location() #9
  %376 = load i32, ptr %375, align 4, !tbaa !5
  %377 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %364, ptr noundef @.str.2, i32 noundef %365, ptr noundef @.str.10, ptr noundef @.str.1, i32 noundef 41, ptr noundef %368, ptr noundef %371, ptr noundef %374, i32 noundef %376) #8
  br label %395

378:                                              ; preds = %356, %349
  %379 = load i32, ptr %14, align 4, !tbaa !5
  %380 = call ptr @__errno_location() #9
  store i32 %379, ptr %380, align 4, !tbaa !5
  %381 = load ptr, ptr @stderr, align 8, !tbaa !9
  %382 = load i32, ptr @test_count, align 4, !tbaa !5
  %383 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %384 = load i32, ptr %383, align 4, !tbaa !5
  %385 = call ptr @s2n_strerror(i32 noundef %384, ptr noundef @.str.4)
  %386 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %387 = load i32, ptr %386, align 4, !tbaa !5
  %388 = call ptr @s2n_strerror_debug(i32 noundef %387, ptr noundef @.str.4)
  %389 = call ptr @__errno_location() #9
  %390 = load i32, ptr %389, align 4, !tbaa !5
  %391 = call ptr @strerror(i32 noundef %390) #8
  %392 = call ptr @__errno_location() #9
  %393 = load i32, ptr %392, align 4, !tbaa !5
  %394 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %381, ptr noundef @.str.5, i32 noundef %382, ptr noundef @.str.10, ptr noundef @.str.1, i32 noundef 41, ptr noundef %385, ptr noundef %388, ptr noundef %391, i32 noundef %393) #8
  br label %395

395:                                              ; preds = %378, %361
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #8
  br label %396

396:                                              ; preds = %395
  br label %397

397:                                              ; preds = %396
  call void @exit(i32 noundef 1) #10
  unreachable

398:                                              ; No predecessors!
  br label %399

399:                                              ; preds = %398
  br label %400

400:                                              ; preds = %399, %342
  br label %401

401:                                              ; preds = %400
  br label %402

402:                                              ; preds = %401
  br label %403

403:                                              ; preds = %402
  call void @llvm.lifetime.start.p0(i64 2, ptr %15) #8
  br label %404

404:                                              ; preds = %403
  %405 = load i32, ptr @test_count, align 4, !tbaa !5
  %406 = add nsw i32 %405, 1
  store i32 %406, ptr @test_count, align 4, !tbaa !5
  %407 = call i32 @s2n_stuffer_read_uint16(ptr noundef %11, ptr noundef %15)
  %408 = icmp eq i32 %407, -1
  br i1 %408, label %409, label %462

409:                                              ; preds = %404
  br label %410

410:                                              ; preds = %409
  br label %411

411:                                              ; preds = %410
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #8
  %412 = call ptr @__errno_location() #9
  %413 = load i32, ptr %412, align 4, !tbaa !5
  store i32 %413, ptr %16, align 4, !tbaa !5
  %414 = load ptr, ptr @stderr, align 8, !tbaa !9
  %415 = call i32 @s2n_print_stacktrace(ptr noundef %414)
  %416 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %417 = trunc i8 %416 to i1
  br i1 %417, label %418, label %440

418:                                              ; preds = %411
  %419 = load ptr, ptr @stderr, align 8, !tbaa !9
  %420 = call i32 @fileno(ptr noundef %419) #8
  %421 = call i32 @isatty(i32 noundef %420) #8
  %422 = icmp ne i32 %421, 0
  br i1 %422, label %423, label %440

423:                                              ; preds = %418
  %424 = load i32, ptr %16, align 4, !tbaa !5
  %425 = call ptr @__errno_location() #9
  store i32 %424, ptr %425, align 4, !tbaa !5
  %426 = load ptr, ptr @stderr, align 8, !tbaa !9
  %427 = load i32, ptr @test_count, align 4, !tbaa !5
  %428 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %429 = load i32, ptr %428, align 4, !tbaa !5
  %430 = call ptr @s2n_strerror(i32 noundef %429, ptr noundef @.str.4)
  %431 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %432 = load i32, ptr %431, align 4, !tbaa !5
  %433 = call ptr @s2n_strerror_debug(i32 noundef %432, ptr noundef @.str.4)
  %434 = call ptr @__errno_location() #9
  %435 = load i32, ptr %434, align 4, !tbaa !5
  %436 = call ptr @strerror(i32 noundef %435) #8
  %437 = call ptr @__errno_location() #9
  %438 = load i32, ptr %437, align 4, !tbaa !5
  %439 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %426, ptr noundef @.str.2, i32 noundef %427, ptr noundef @.str.11, ptr noundef @.str.1, i32 noundef 42, ptr noundef %430, ptr noundef %433, ptr noundef %436, i32 noundef %438) #8
  br label %457

440:                                              ; preds = %418, %411
  %441 = load i32, ptr %16, align 4, !tbaa !5
  %442 = call ptr @__errno_location() #9
  store i32 %441, ptr %442, align 4, !tbaa !5
  %443 = load ptr, ptr @stderr, align 8, !tbaa !9
  %444 = load i32, ptr @test_count, align 4, !tbaa !5
  %445 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %446 = load i32, ptr %445, align 4, !tbaa !5
  %447 = call ptr @s2n_strerror(i32 noundef %446, ptr noundef @.str.4)
  %448 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %449 = load i32, ptr %448, align 4, !tbaa !5
  %450 = call ptr @s2n_strerror_debug(i32 noundef %449, ptr noundef @.str.4)
  %451 = call ptr @__errno_location() #9
  %452 = load i32, ptr %451, align 4, !tbaa !5
  %453 = call ptr @strerror(i32 noundef %452) #8
  %454 = call ptr @__errno_location() #9
  %455 = load i32, ptr %454, align 4, !tbaa !5
  %456 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %443, ptr noundef @.str.5, i32 noundef %444, ptr noundef @.str.11, ptr noundef @.str.1, i32 noundef 42, ptr noundef %447, ptr noundef %450, ptr noundef %453, i32 noundef %455) #8
  br label %457

457:                                              ; preds = %440, %423
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #8
  br label %458

458:                                              ; preds = %457
  br label %459

459:                                              ; preds = %458
  call void @exit(i32 noundef 1) #10
  unreachable

460:                                              ; No predecessors!
  br label %461

461:                                              ; preds = %460
  br label %462

462:                                              ; preds = %461, %404
  br label %463

463:                                              ; preds = %462
  br label %464

464:                                              ; preds = %463
  br label %465

465:                                              ; preds = %464
  %466 = load i32, ptr @test_count, align 4, !tbaa !5
  %467 = add nsw i32 %466, 1
  store i32 %467, ptr @test_count, align 4, !tbaa !5
  %468 = load i16, ptr %15, align 2, !tbaa !21
  %469 = zext i16 %468 to i32
  %470 = load ptr, ptr %10, align 8, !tbaa !9
  %471 = getelementptr inbounds %struct.s2n_ecc_named_curve, ptr %470, i32 0, i32 0
  %472 = load i16, ptr %471, align 8, !tbaa !22
  %473 = zext i16 %472 to i32
  %474 = icmp eq i32 %469, %473
  br i1 %474, label %528, label %475

475:                                              ; preds = %465
  br label %476

476:                                              ; preds = %475
  br label %477

477:                                              ; preds = %476
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #8
  %478 = call ptr @__errno_location() #9
  %479 = load i32, ptr %478, align 4, !tbaa !5
  store i32 %479, ptr %17, align 4, !tbaa !5
  %480 = load ptr, ptr @stderr, align 8, !tbaa !9
  %481 = call i32 @s2n_print_stacktrace(ptr noundef %480)
  %482 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %483 = trunc i8 %482 to i1
  br i1 %483, label %484, label %506

484:                                              ; preds = %477
  %485 = load ptr, ptr @stderr, align 8, !tbaa !9
  %486 = call i32 @fileno(ptr noundef %485) #8
  %487 = call i32 @isatty(i32 noundef %486) #8
  %488 = icmp ne i32 %487, 0
  br i1 %488, label %489, label %506

489:                                              ; preds = %484
  %490 = load i32, ptr %17, align 4, !tbaa !5
  %491 = call ptr @__errno_location() #9
  store i32 %490, ptr %491, align 4, !tbaa !5
  %492 = load ptr, ptr @stderr, align 8, !tbaa !9
  %493 = load i32, ptr @test_count, align 4, !tbaa !5
  %494 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %495 = load i32, ptr %494, align 4, !tbaa !5
  %496 = call ptr @s2n_strerror(i32 noundef %495, ptr noundef @.str.4)
  %497 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %498 = load i32, ptr %497, align 4, !tbaa !5
  %499 = call ptr @s2n_strerror_debug(i32 noundef %498, ptr noundef @.str.4)
  %500 = call ptr @__errno_location() #9
  %501 = load i32, ptr %500, align 4, !tbaa !5
  %502 = call ptr @strerror(i32 noundef %501) #8
  %503 = call ptr @__errno_location() #9
  %504 = load i32, ptr %503, align 4, !tbaa !5
  %505 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %492, ptr noundef @.str.2, i32 noundef %493, ptr noundef @.str.12, ptr noundef @.str.1, i32 noundef 42, ptr noundef %496, ptr noundef %499, ptr noundef %502, i32 noundef %504) #8
  br label %523

506:                                              ; preds = %484, %477
  %507 = load i32, ptr %17, align 4, !tbaa !5
  %508 = call ptr @__errno_location() #9
  store i32 %507, ptr %508, align 4, !tbaa !5
  %509 = load ptr, ptr @stderr, align 8, !tbaa !9
  %510 = load i32, ptr @test_count, align 4, !tbaa !5
  %511 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %512 = load i32, ptr %511, align 4, !tbaa !5
  %513 = call ptr @s2n_strerror(i32 noundef %512, ptr noundef @.str.4)
  %514 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %515 = load i32, ptr %514, align 4, !tbaa !5
  %516 = call ptr @s2n_strerror_debug(i32 noundef %515, ptr noundef @.str.4)
  %517 = call ptr @__errno_location() #9
  %518 = load i32, ptr %517, align 4, !tbaa !5
  %519 = call ptr @strerror(i32 noundef %518) #8
  %520 = call ptr @__errno_location() #9
  %521 = load i32, ptr %520, align 4, !tbaa !5
  %522 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %509, ptr noundef @.str.5, i32 noundef %510, ptr noundef @.str.12, ptr noundef @.str.1, i32 noundef 42, ptr noundef %513, ptr noundef %516, ptr noundef %519, i32 noundef %521) #8
  br label %523

523:                                              ; preds = %506, %489
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #8
  br label %524

524:                                              ; preds = %523
  br label %525

525:                                              ; preds = %524
  call void @exit(i32 noundef 1) #10
  unreachable

526:                                              ; No predecessors!
  br label %527

527:                                              ; preds = %526
  br label %528

528:                                              ; preds = %527, %465
  br label %529

529:                                              ; preds = %528
  br label %530

530:                                              ; preds = %529
  call void @llvm.lifetime.end.p0(i64 2, ptr %15) #8
  br label %531

531:                                              ; preds = %530
  br label %532

532:                                              ; preds = %531
  br label %533

533:                                              ; preds = %532
  call void @llvm.lifetime.start.p0(i64 2, ptr %18) #8
  br label %534

534:                                              ; preds = %533
  %535 = load i32, ptr @test_count, align 4, !tbaa !5
  %536 = add nsw i32 %535, 1
  store i32 %536, ptr @test_count, align 4, !tbaa !5
  %537 = call i32 @s2n_stuffer_read_uint16(ptr noundef %11, ptr noundef %18)
  %538 = icmp eq i32 %537, -1
  br i1 %538, label %539, label %592

539:                                              ; preds = %534
  br label %540

540:                                              ; preds = %539
  br label %541

541:                                              ; preds = %540
  call void @llvm.lifetime.start.p0(i64 4, ptr %19) #8
  %542 = call ptr @__errno_location() #9
  %543 = load i32, ptr %542, align 4, !tbaa !5
  store i32 %543, ptr %19, align 4, !tbaa !5
  %544 = load ptr, ptr @stderr, align 8, !tbaa !9
  %545 = call i32 @s2n_print_stacktrace(ptr noundef %544)
  %546 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %547 = trunc i8 %546 to i1
  br i1 %547, label %548, label %570

548:                                              ; preds = %541
  %549 = load ptr, ptr @stderr, align 8, !tbaa !9
  %550 = call i32 @fileno(ptr noundef %549) #8
  %551 = call i32 @isatty(i32 noundef %550) #8
  %552 = icmp ne i32 %551, 0
  br i1 %552, label %553, label %570

553:                                              ; preds = %548
  %554 = load i32, ptr %19, align 4, !tbaa !5
  %555 = call ptr @__errno_location() #9
  store i32 %554, ptr %555, align 4, !tbaa !5
  %556 = load ptr, ptr @stderr, align 8, !tbaa !9
  %557 = load i32, ptr @test_count, align 4, !tbaa !5
  %558 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %559 = load i32, ptr %558, align 4, !tbaa !5
  %560 = call ptr @s2n_strerror(i32 noundef %559, ptr noundef @.str.4)
  %561 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %562 = load i32, ptr %561, align 4, !tbaa !5
  %563 = call ptr @s2n_strerror_debug(i32 noundef %562, ptr noundef @.str.4)
  %564 = call ptr @__errno_location() #9
  %565 = load i32, ptr %564, align 4, !tbaa !5
  %566 = call ptr @strerror(i32 noundef %565) #8
  %567 = call ptr @__errno_location() #9
  %568 = load i32, ptr %567, align 4, !tbaa !5
  %569 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %556, ptr noundef @.str.2, i32 noundef %557, ptr noundef @.str.11, ptr noundef @.str.1, i32 noundef 43, ptr noundef %560, ptr noundef %563, ptr noundef %566, i32 noundef %568) #8
  br label %587

570:                                              ; preds = %548, %541
  %571 = load i32, ptr %19, align 4, !tbaa !5
  %572 = call ptr @__errno_location() #9
  store i32 %571, ptr %572, align 4, !tbaa !5
  %573 = load ptr, ptr @stderr, align 8, !tbaa !9
  %574 = load i32, ptr @test_count, align 4, !tbaa !5
  %575 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %576 = load i32, ptr %575, align 4, !tbaa !5
  %577 = call ptr @s2n_strerror(i32 noundef %576, ptr noundef @.str.4)
  %578 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %579 = load i32, ptr %578, align 4, !tbaa !5
  %580 = call ptr @s2n_strerror_debug(i32 noundef %579, ptr noundef @.str.4)
  %581 = call ptr @__errno_location() #9
  %582 = load i32, ptr %581, align 4, !tbaa !5
  %583 = call ptr @strerror(i32 noundef %582) #8
  %584 = call ptr @__errno_location() #9
  %585 = load i32, ptr %584, align 4, !tbaa !5
  %586 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %573, ptr noundef @.str.5, i32 noundef %574, ptr noundef @.str.11, ptr noundef @.str.1, i32 noundef 43, ptr noundef %577, ptr noundef %580, ptr noundef %583, i32 noundef %585) #8
  br label %587

587:                                              ; preds = %570, %553
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #8
  br label %588

588:                                              ; preds = %587
  br label %589

589:                                              ; preds = %588
  call void @exit(i32 noundef 1) #10
  unreachable

590:                                              ; No predecessors!
  br label %591

591:                                              ; preds = %590
  br label %592

592:                                              ; preds = %591, %534
  br label %593

593:                                              ; preds = %592
  br label %594

594:                                              ; preds = %593
  br label %595

595:                                              ; preds = %594
  %596 = load i32, ptr @test_count, align 4, !tbaa !5
  %597 = add nsw i32 %596, 1
  store i32 %597, ptr @test_count, align 4, !tbaa !5
  %598 = load i16, ptr %18, align 2, !tbaa !21
  %599 = zext i16 %598 to i32
  %600 = load ptr, ptr %10, align 8, !tbaa !9
  %601 = getelementptr inbounds %struct.s2n_ecc_named_curve, ptr %600, i32 0, i32 3
  %602 = load i8, ptr %601, align 8, !tbaa !18
  %603 = zext i8 %602 to i32
  %604 = icmp eq i32 %599, %603
  br i1 %604, label %658, label %605

605:                                              ; preds = %595
  br label %606

606:                                              ; preds = %605
  br label %607

607:                                              ; preds = %606
  call void @llvm.lifetime.start.p0(i64 4, ptr %20) #8
  %608 = call ptr @__errno_location() #9
  %609 = load i32, ptr %608, align 4, !tbaa !5
  store i32 %609, ptr %20, align 4, !tbaa !5
  %610 = load ptr, ptr @stderr, align 8, !tbaa !9
  %611 = call i32 @s2n_print_stacktrace(ptr noundef %610)
  %612 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %613 = trunc i8 %612 to i1
  br i1 %613, label %614, label %636

614:                                              ; preds = %607
  %615 = load ptr, ptr @stderr, align 8, !tbaa !9
  %616 = call i32 @fileno(ptr noundef %615) #8
  %617 = call i32 @isatty(i32 noundef %616) #8
  %618 = icmp ne i32 %617, 0
  br i1 %618, label %619, label %636

619:                                              ; preds = %614
  %620 = load i32, ptr %20, align 4, !tbaa !5
  %621 = call ptr @__errno_location() #9
  store i32 %620, ptr %621, align 4, !tbaa !5
  %622 = load ptr, ptr @stderr, align 8, !tbaa !9
  %623 = load i32, ptr @test_count, align 4, !tbaa !5
  %624 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %625 = load i32, ptr %624, align 4, !tbaa !5
  %626 = call ptr @s2n_strerror(i32 noundef %625, ptr noundef @.str.4)
  %627 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %628 = load i32, ptr %627, align 4, !tbaa !5
  %629 = call ptr @s2n_strerror_debug(i32 noundef %628, ptr noundef @.str.4)
  %630 = call ptr @__errno_location() #9
  %631 = load i32, ptr %630, align 4, !tbaa !5
  %632 = call ptr @strerror(i32 noundef %631) #8
  %633 = call ptr @__errno_location() #9
  %634 = load i32, ptr %633, align 4, !tbaa !5
  %635 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %622, ptr noundef @.str.2, i32 noundef %623, ptr noundef @.str.13, ptr noundef @.str.1, i32 noundef 43, ptr noundef %626, ptr noundef %629, ptr noundef %632, i32 noundef %634) #8
  br label %653

636:                                              ; preds = %614, %607
  %637 = load i32, ptr %20, align 4, !tbaa !5
  %638 = call ptr @__errno_location() #9
  store i32 %637, ptr %638, align 4, !tbaa !5
  %639 = load ptr, ptr @stderr, align 8, !tbaa !9
  %640 = load i32, ptr @test_count, align 4, !tbaa !5
  %641 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %642 = load i32, ptr %641, align 4, !tbaa !5
  %643 = call ptr @s2n_strerror(i32 noundef %642, ptr noundef @.str.4)
  %644 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %645 = load i32, ptr %644, align 4, !tbaa !5
  %646 = call ptr @s2n_strerror_debug(i32 noundef %645, ptr noundef @.str.4)
  %647 = call ptr @__errno_location() #9
  %648 = load i32, ptr %647, align 4, !tbaa !5
  %649 = call ptr @strerror(i32 noundef %648) #8
  %650 = call ptr @__errno_location() #9
  %651 = load i32, ptr %650, align 4, !tbaa !5
  %652 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %639, ptr noundef @.str.5, i32 noundef %640, ptr noundef @.str.13, ptr noundef @.str.1, i32 noundef 43, ptr noundef %643, ptr noundef %646, ptr noundef %649, i32 noundef %651) #8
  br label %653

653:                                              ; preds = %636, %619
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #8
  br label %654

654:                                              ; preds = %653
  br label %655

655:                                              ; preds = %654
  call void @exit(i32 noundef 1) #10
  unreachable

656:                                              ; No predecessors!
  br label %657

657:                                              ; preds = %656
  br label %658

658:                                              ; preds = %657, %595
  br label %659

659:                                              ; preds = %658
  br label %660

660:                                              ; preds = %659
  call void @llvm.lifetime.end.p0(i64 2, ptr %18) #8
  br label %661

661:                                              ; preds = %660
  br label %662

662:                                              ; preds = %661
  br label %663

663:                                              ; preds = %662
  %664 = load i32, ptr @test_count, align 4, !tbaa !5
  %665 = add nsw i32 %664, 1
  store i32 %665, ptr @test_count, align 4, !tbaa !5
  %666 = getelementptr inbounds %struct.s2n_stuffer, ptr %11, i32 0, i32 2
  %667 = load i32, ptr %666, align 4, !tbaa !23
  %668 = getelementptr inbounds %struct.s2n_stuffer, ptr %11, i32 0, i32 1
  %669 = load i32, ptr %668, align 8, !tbaa !26
  %670 = sub i32 %667, %669
  %671 = load ptr, ptr %10, align 8, !tbaa !9
  %672 = getelementptr inbounds %struct.s2n_ecc_named_curve, ptr %671, i32 0, i32 3
  %673 = load i8, ptr %672, align 8, !tbaa !18
  %674 = zext i8 %673 to i32
  %675 = icmp eq i32 %670, %674
  br i1 %675, label %729, label %676

676:                                              ; preds = %663
  br label %677

677:                                              ; preds = %676
  br label %678

678:                                              ; preds = %677
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #8
  %679 = call ptr @__errno_location() #9
  %680 = load i32, ptr %679, align 4, !tbaa !5
  store i32 %680, ptr %21, align 4, !tbaa !5
  %681 = load ptr, ptr @stderr, align 8, !tbaa !9
  %682 = call i32 @s2n_print_stacktrace(ptr noundef %681)
  %683 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %684 = trunc i8 %683 to i1
  br i1 %684, label %685, label %707

685:                                              ; preds = %678
  %686 = load ptr, ptr @stderr, align 8, !tbaa !9
  %687 = call i32 @fileno(ptr noundef %686) #8
  %688 = call i32 @isatty(i32 noundef %687) #8
  %689 = icmp ne i32 %688, 0
  br i1 %689, label %690, label %707

690:                                              ; preds = %685
  %691 = load i32, ptr %21, align 4, !tbaa !5
  %692 = call ptr @__errno_location() #9
  store i32 %691, ptr %692, align 4, !tbaa !5
  %693 = load ptr, ptr @stderr, align 8, !tbaa !9
  %694 = load i32, ptr @test_count, align 4, !tbaa !5
  %695 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %696 = load i32, ptr %695, align 4, !tbaa !5
  %697 = call ptr @s2n_strerror(i32 noundef %696, ptr noundef @.str.4)
  %698 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %699 = load i32, ptr %698, align 4, !tbaa !5
  %700 = call ptr @s2n_strerror_debug(i32 noundef %699, ptr noundef @.str.4)
  %701 = call ptr @__errno_location() #9
  %702 = load i32, ptr %701, align 4, !tbaa !5
  %703 = call ptr @strerror(i32 noundef %702) #8
  %704 = call ptr @__errno_location() #9
  %705 = load i32, ptr %704, align 4, !tbaa !5
  %706 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %693, ptr noundef @.str.2, i32 noundef %694, ptr noundef @.str.14, ptr noundef @.str.1, i32 noundef 44, ptr noundef %697, ptr noundef %700, ptr noundef %703, i32 noundef %705) #8
  br label %724

707:                                              ; preds = %685, %678
  %708 = load i32, ptr %21, align 4, !tbaa !5
  %709 = call ptr @__errno_location() #9
  store i32 %708, ptr %709, align 4, !tbaa !5
  %710 = load ptr, ptr @stderr, align 8, !tbaa !9
  %711 = load i32, ptr @test_count, align 4, !tbaa !5
  %712 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %713 = load i32, ptr %712, align 4, !tbaa !5
  %714 = call ptr @s2n_strerror(i32 noundef %713, ptr noundef @.str.4)
  %715 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %716 = load i32, ptr %715, align 4, !tbaa !5
  %717 = call ptr @s2n_strerror_debug(i32 noundef %716, ptr noundef @.str.4)
  %718 = call ptr @__errno_location() #9
  %719 = load i32, ptr %718, align 4, !tbaa !5
  %720 = call ptr @strerror(i32 noundef %719) #8
  %721 = call ptr @__errno_location() #9
  %722 = load i32, ptr %721, align 4, !tbaa !5
  %723 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %710, ptr noundef @.str.5, i32 noundef %711, ptr noundef @.str.14, ptr noundef @.str.1, i32 noundef 44, ptr noundef %714, ptr noundef %717, ptr noundef %720, i32 noundef %722) #8
  br label %724

724:                                              ; preds = %707, %690
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #8
  br label %725

725:                                              ; preds = %724
  br label %726

726:                                              ; preds = %725
  call void @exit(i32 noundef 1) #10
  unreachable

727:                                              ; No predecessors!
  br label %728

728:                                              ; preds = %727
  br label %729

729:                                              ; preds = %728, %663
  br label %730

730:                                              ; preds = %729
  br label %731

731:                                              ; preds = %730
  br label %732

732:                                              ; preds = %731
  %733 = load i32, ptr @test_count, align 4, !tbaa !5
  %734 = add nsw i32 %733, 1
  store i32 %734, ptr @test_count, align 4, !tbaa !5
  %735 = call i32 @s2n_ecc_evp_params_free(ptr noundef %12)
  %736 = icmp eq i32 %735, -1
  br i1 %736, label %737, label %790

737:                                              ; preds = %732
  br label %738

738:                                              ; preds = %737
  br label %739

739:                                              ; preds = %738
  call void @llvm.lifetime.start.p0(i64 4, ptr %22) #8
  %740 = call ptr @__errno_location() #9
  %741 = load i32, ptr %740, align 4, !tbaa !5
  store i32 %741, ptr %22, align 4, !tbaa !5
  %742 = load ptr, ptr @stderr, align 8, !tbaa !9
  %743 = call i32 @s2n_print_stacktrace(ptr noundef %742)
  %744 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %745 = trunc i8 %744 to i1
  br i1 %745, label %746, label %768

746:                                              ; preds = %739
  %747 = load ptr, ptr @stderr, align 8, !tbaa !9
  %748 = call i32 @fileno(ptr noundef %747) #8
  %749 = call i32 @isatty(i32 noundef %748) #8
  %750 = icmp ne i32 %749, 0
  br i1 %750, label %751, label %768

751:                                              ; preds = %746
  %752 = load i32, ptr %22, align 4, !tbaa !5
  %753 = call ptr @__errno_location() #9
  store i32 %752, ptr %753, align 4, !tbaa !5
  %754 = load ptr, ptr @stderr, align 8, !tbaa !9
  %755 = load i32, ptr @test_count, align 4, !tbaa !5
  %756 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %757 = load i32, ptr %756, align 4, !tbaa !5
  %758 = call ptr @s2n_strerror(i32 noundef %757, ptr noundef @.str.4)
  %759 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %760 = load i32, ptr %759, align 4, !tbaa !5
  %761 = call ptr @s2n_strerror_debug(i32 noundef %760, ptr noundef @.str.4)
  %762 = call ptr @__errno_location() #9
  %763 = load i32, ptr %762, align 4, !tbaa !5
  %764 = call ptr @strerror(i32 noundef %763) #8
  %765 = call ptr @__errno_location() #9
  %766 = load i32, ptr %765, align 4, !tbaa !5
  %767 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %754, ptr noundef @.str.2, i32 noundef %755, ptr noundef @.str.15, ptr noundef @.str.1, i32 noundef 46, ptr noundef %758, ptr noundef %761, ptr noundef %764, i32 noundef %766) #8
  br label %785

768:                                              ; preds = %746, %739
  %769 = load i32, ptr %22, align 4, !tbaa !5
  %770 = call ptr @__errno_location() #9
  store i32 %769, ptr %770, align 4, !tbaa !5
  %771 = load ptr, ptr @stderr, align 8, !tbaa !9
  %772 = load i32, ptr @test_count, align 4, !tbaa !5
  %773 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %774 = load i32, ptr %773, align 4, !tbaa !5
  %775 = call ptr @s2n_strerror(i32 noundef %774, ptr noundef @.str.4)
  %776 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %777 = load i32, ptr %776, align 4, !tbaa !5
  %778 = call ptr @s2n_strerror_debug(i32 noundef %777, ptr noundef @.str.4)
  %779 = call ptr @__errno_location() #9
  %780 = load i32, ptr %779, align 4, !tbaa !5
  %781 = call ptr @strerror(i32 noundef %780) #8
  %782 = call ptr @__errno_location() #9
  %783 = load i32, ptr %782, align 4, !tbaa !5
  %784 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %771, ptr noundef @.str.5, i32 noundef %772, ptr noundef @.str.15, ptr noundef @.str.1, i32 noundef 46, ptr noundef %775, ptr noundef %778, ptr noundef %781, i32 noundef %783) #8
  br label %785

785:                                              ; preds = %768, %751
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #8
  br label %786

786:                                              ; preds = %785
  br label %787

787:                                              ; preds = %786
  call void @exit(i32 noundef 1) #10
  unreachable

788:                                              ; No predecessors!
  br label %789

789:                                              ; preds = %788
  br label %790

790:                                              ; preds = %789, %732
  br label %791

791:                                              ; preds = %790
  br label %792

792:                                              ; preds = %791
  br label %793

793:                                              ; preds = %792
  %794 = load i32, ptr @test_count, align 4, !tbaa !5
  %795 = add nsw i32 %794, 1
  store i32 %795, ptr @test_count, align 4, !tbaa !5
  %796 = call i32 @s2n_stuffer_free(ptr noundef %11)
  %797 = icmp eq i32 %796, -1
  br i1 %797, label %798, label %851

798:                                              ; preds = %793
  br label %799

799:                                              ; preds = %798
  br label %800

800:                                              ; preds = %799
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #8
  %801 = call ptr @__errno_location() #9
  %802 = load i32, ptr %801, align 4, !tbaa !5
  store i32 %802, ptr %23, align 4, !tbaa !5
  %803 = load ptr, ptr @stderr, align 8, !tbaa !9
  %804 = call i32 @s2n_print_stacktrace(ptr noundef %803)
  %805 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %806 = trunc i8 %805 to i1
  br i1 %806, label %807, label %829

807:                                              ; preds = %800
  %808 = load ptr, ptr @stderr, align 8, !tbaa !9
  %809 = call i32 @fileno(ptr noundef %808) #8
  %810 = call i32 @isatty(i32 noundef %809) #8
  %811 = icmp ne i32 %810, 0
  br i1 %811, label %812, label %829

812:                                              ; preds = %807
  %813 = load i32, ptr %23, align 4, !tbaa !5
  %814 = call ptr @__errno_location() #9
  store i32 %813, ptr %814, align 4, !tbaa !5
  %815 = load ptr, ptr @stderr, align 8, !tbaa !9
  %816 = load i32, ptr @test_count, align 4, !tbaa !5
  %817 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %818 = load i32, ptr %817, align 4, !tbaa !5
  %819 = call ptr @s2n_strerror(i32 noundef %818, ptr noundef @.str.4)
  %820 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %821 = load i32, ptr %820, align 4, !tbaa !5
  %822 = call ptr @s2n_strerror_debug(i32 noundef %821, ptr noundef @.str.4)
  %823 = call ptr @__errno_location() #9
  %824 = load i32, ptr %823, align 4, !tbaa !5
  %825 = call ptr @strerror(i32 noundef %824) #8
  %826 = call ptr @__errno_location() #9
  %827 = load i32, ptr %826, align 4, !tbaa !5
  %828 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %815, ptr noundef @.str.2, i32 noundef %816, ptr noundef @.str.16, ptr noundef @.str.1, i32 noundef 47, ptr noundef %819, ptr noundef %822, ptr noundef %825, i32 noundef %827) #8
  br label %846

829:                                              ; preds = %807, %800
  %830 = load i32, ptr %23, align 4, !tbaa !5
  %831 = call ptr @__errno_location() #9
  store i32 %830, ptr %831, align 4, !tbaa !5
  %832 = load ptr, ptr @stderr, align 8, !tbaa !9
  %833 = load i32, ptr @test_count, align 4, !tbaa !5
  %834 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %835 = load i32, ptr %834, align 4, !tbaa !5
  %836 = call ptr @s2n_strerror(i32 noundef %835, ptr noundef @.str.4)
  %837 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %838 = load i32, ptr %837, align 4, !tbaa !5
  %839 = call ptr @s2n_strerror_debug(i32 noundef %838, ptr noundef @.str.4)
  %840 = call ptr @__errno_location() #9
  %841 = load i32, ptr %840, align 4, !tbaa !5
  %842 = call ptr @strerror(i32 noundef %841) #8
  %843 = call ptr @__errno_location() #9
  %844 = load i32, ptr %843, align 4, !tbaa !5
  %845 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %832, ptr noundef @.str.5, i32 noundef %833, ptr noundef @.str.16, ptr noundef @.str.1, i32 noundef 47, ptr noundef %836, ptr noundef %839, ptr noundef %842, i32 noundef %844) #8
  br label %846

846:                                              ; preds = %829, %812
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #8
  br label %847

847:                                              ; preds = %846
  br label %848

848:                                              ; preds = %847
  call void @exit(i32 noundef 1) #10
  unreachable

849:                                              ; No predecessors!
  br label %850

850:                                              ; preds = %849
  br label %851

851:                                              ; preds = %850, %793
  br label %852

852:                                              ; preds = %851
  br label %853

853:                                              ; preds = %852
  call void @llvm.lifetime.end.p0(i64 16, ptr %12) #8
  call void @llvm.lifetime.end.p0(i64 40, ptr %11) #8
  call void @llvm.lifetime.start.p0(i64 40, ptr %24) #8
  call void @llvm.memset.p0.i64(ptr align 8 %24, i8 0, i64 40, i1 false)
  call void @llvm.lifetime.start.p0(i64 16, ptr %25) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr %26) #8
  %854 = getelementptr inbounds %struct.s2n_ecc_named_curve, ptr %26, i32 0, i32 0
  store i16 12345, ptr %854, align 8, !tbaa !22
  %855 = getelementptr inbounds %struct.s2n_ecc_named_curve, ptr %26, i32 0, i32 1
  store i32 0, ptr %855, align 4, !tbaa !27
  %856 = getelementptr inbounds %struct.s2n_ecc_named_curve, ptr %26, i32 0, i32 2
  %857 = load ptr, ptr %10, align 8, !tbaa !9
  %858 = getelementptr inbounds %struct.s2n_ecc_named_curve, ptr %857, i32 0, i32 2
  %859 = load ptr, ptr %858, align 8, !tbaa !28
  store ptr %859, ptr %856, align 8, !tbaa !28
  %860 = getelementptr inbounds %struct.s2n_ecc_named_curve, ptr %26, i32 0, i32 3
  %861 = load ptr, ptr %10, align 8, !tbaa !9
  %862 = getelementptr inbounds %struct.s2n_ecc_named_curve, ptr %861, i32 0, i32 3
  %863 = load i8, ptr %862, align 8, !tbaa !18
  store i8 %863, ptr %860, align 8, !tbaa !18
  %864 = getelementptr inbounds %struct.s2n_ecc_named_curve, ptr %26, i32 0, i32 4
  store ptr null, ptr %864, align 8, !tbaa !29
  %865 = getelementptr inbounds %struct.s2n_ecc_evp_params, ptr %25, i32 0, i32 0
  store ptr %26, ptr %865, align 8, !tbaa !15
  %866 = getelementptr inbounds %struct.s2n_ecc_evp_params, ptr %25, i32 0, i32 1
  store ptr null, ptr %866, align 8, !tbaa !17
  br label %867

867:                                              ; preds = %853
  %868 = load i32, ptr @test_count, align 4, !tbaa !5
  %869 = add nsw i32 %868, 1
  store i32 %869, ptr @test_count, align 4, !tbaa !5
  %870 = getelementptr inbounds %struct.s2n_ecc_named_curve, ptr %26, i32 0, i32 3
  %871 = load i8, ptr %870, align 8, !tbaa !18
  %872 = zext i8 %871 to i32
  %873 = add nsw i32 %872, 4
  %874 = call i32 @s2n_stuffer_alloc(ptr noundef %24, i32 noundef %873)
  %875 = icmp eq i32 %874, -1
  br i1 %875, label %876, label %929

876:                                              ; preds = %867
  br label %877

877:                                              ; preds = %876
  br label %878

878:                                              ; preds = %877
  call void @llvm.lifetime.start.p0(i64 4, ptr %27) #8
  %879 = call ptr @__errno_location() #9
  %880 = load i32, ptr %879, align 4, !tbaa !5
  store i32 %880, ptr %27, align 4, !tbaa !5
  %881 = load ptr, ptr @stderr, align 8, !tbaa !9
  %882 = call i32 @s2n_print_stacktrace(ptr noundef %881)
  %883 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %884 = trunc i8 %883 to i1
  br i1 %884, label %885, label %907

885:                                              ; preds = %878
  %886 = load ptr, ptr @stderr, align 8, !tbaa !9
  %887 = call i32 @fileno(ptr noundef %886) #8
  %888 = call i32 @isatty(i32 noundef %887) #8
  %889 = icmp ne i32 %888, 0
  br i1 %889, label %890, label %907

890:                                              ; preds = %885
  %891 = load i32, ptr %27, align 4, !tbaa !5
  %892 = call ptr @__errno_location() #9
  store i32 %891, ptr %892, align 4, !tbaa !5
  %893 = load ptr, ptr @stderr, align 8, !tbaa !9
  %894 = load i32, ptr @test_count, align 4, !tbaa !5
  %895 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %896 = load i32, ptr %895, align 4, !tbaa !5
  %897 = call ptr @s2n_strerror(i32 noundef %896, ptr noundef @.str.4)
  %898 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %899 = load i32, ptr %898, align 4, !tbaa !5
  %900 = call ptr @s2n_strerror_debug(i32 noundef %899, ptr noundef @.str.4)
  %901 = call ptr @__errno_location() #9
  %902 = load i32, ptr %901, align 4, !tbaa !5
  %903 = call ptr @strerror(i32 noundef %902) #8
  %904 = call ptr @__errno_location() #9
  %905 = load i32, ptr %904, align 4, !tbaa !5
  %906 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %893, ptr noundef @.str.2, i32 noundef %894, ptr noundef @.str.17, ptr noundef @.str.1, i32 noundef 65, ptr noundef %897, ptr noundef %900, ptr noundef %903, i32 noundef %905) #8
  br label %924

907:                                              ; preds = %885, %878
  %908 = load i32, ptr %27, align 4, !tbaa !5
  %909 = call ptr @__errno_location() #9
  store i32 %908, ptr %909, align 4, !tbaa !5
  %910 = load ptr, ptr @stderr, align 8, !tbaa !9
  %911 = load i32, ptr @test_count, align 4, !tbaa !5
  %912 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %913 = load i32, ptr %912, align 4, !tbaa !5
  %914 = call ptr @s2n_strerror(i32 noundef %913, ptr noundef @.str.4)
  %915 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %916 = load i32, ptr %915, align 4, !tbaa !5
  %917 = call ptr @s2n_strerror_debug(i32 noundef %916, ptr noundef @.str.4)
  %918 = call ptr @__errno_location() #9
  %919 = load i32, ptr %918, align 4, !tbaa !5
  %920 = call ptr @strerror(i32 noundef %919) #8
  %921 = call ptr @__errno_location() #9
  %922 = load i32, ptr %921, align 4, !tbaa !5
  %923 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %910, ptr noundef @.str.5, i32 noundef %911, ptr noundef @.str.17, ptr noundef @.str.1, i32 noundef 65, ptr noundef %914, ptr noundef %917, ptr noundef %920, i32 noundef %922) #8
  br label %924

924:                                              ; preds = %907, %890
  call void @llvm.lifetime.end.p0(i64 4, ptr %27) #8
  br label %925

925:                                              ; preds = %924
  br label %926

926:                                              ; preds = %925
  call void @exit(i32 noundef 1) #10
  unreachable

927:                                              ; No predecessors!
  br label %928

928:                                              ; preds = %927
  br label %929

929:                                              ; preds = %928, %867
  br label %930

930:                                              ; preds = %929
  br label %931

931:                                              ; preds = %930
  br label %932

932:                                              ; preds = %931
  br label %933

933:                                              ; preds = %932
  %934 = load i32, ptr @test_count, align 4, !tbaa !5
  %935 = add nsw i32 %934, 1
  store i32 %935, ptr @test_count, align 4, !tbaa !5
  %936 = call i32 @s2n_ecdhe_parameters_send(ptr noundef %25, ptr noundef %24)
  %937 = icmp eq i32 %936, -1
  br i1 %937, label %991, label %938

938:                                              ; preds = %933
  br label %939

939:                                              ; preds = %938
  br label %940

940:                                              ; preds = %939
  call void @llvm.lifetime.start.p0(i64 4, ptr %28) #8
  %941 = call ptr @__errno_location() #9
  %942 = load i32, ptr %941, align 4, !tbaa !5
  store i32 %942, ptr %28, align 4, !tbaa !5
  %943 = load ptr, ptr @stderr, align 8, !tbaa !9
  %944 = call i32 @s2n_print_stacktrace(ptr noundef %943)
  %945 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %946 = trunc i8 %945 to i1
  br i1 %946, label %947, label %969

947:                                              ; preds = %940
  %948 = load ptr, ptr @stderr, align 8, !tbaa !9
  %949 = call i32 @fileno(ptr noundef %948) #8
  %950 = call i32 @isatty(i32 noundef %949) #8
  %951 = icmp ne i32 %950, 0
  br i1 %951, label %952, label %969

952:                                              ; preds = %947
  %953 = load i32, ptr %28, align 4, !tbaa !5
  %954 = call ptr @__errno_location() #9
  store i32 %953, ptr %954, align 4, !tbaa !5
  %955 = load ptr, ptr @stderr, align 8, !tbaa !9
  %956 = load i32, ptr @test_count, align 4, !tbaa !5
  %957 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %958 = load i32, ptr %957, align 4, !tbaa !5
  %959 = call ptr @s2n_strerror(i32 noundef %958, ptr noundef @.str.4)
  %960 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %961 = load i32, ptr %960, align 4, !tbaa !5
  %962 = call ptr @s2n_strerror_debug(i32 noundef %961, ptr noundef @.str.4)
  %963 = call ptr @__errno_location() #9
  %964 = load i32, ptr %963, align 4, !tbaa !5
  %965 = call ptr @strerror(i32 noundef %964) #8
  %966 = call ptr @__errno_location() #9
  %967 = load i32, ptr %966, align 4, !tbaa !5
  %968 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %955, ptr noundef @.str.2, i32 noundef %956, ptr noundef @.str.18, ptr noundef @.str.1, i32 noundef 67, ptr noundef %959, ptr noundef %962, ptr noundef %965, i32 noundef %967) #8
  br label %986

969:                                              ; preds = %947, %940
  %970 = load i32, ptr %28, align 4, !tbaa !5
  %971 = call ptr @__errno_location() #9
  store i32 %970, ptr %971, align 4, !tbaa !5
  %972 = load ptr, ptr @stderr, align 8, !tbaa !9
  %973 = load i32, ptr @test_count, align 4, !tbaa !5
  %974 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %975 = load i32, ptr %974, align 4, !tbaa !5
  %976 = call ptr @s2n_strerror(i32 noundef %975, ptr noundef @.str.4)
  %977 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %978 = load i32, ptr %977, align 4, !tbaa !5
  %979 = call ptr @s2n_strerror_debug(i32 noundef %978, ptr noundef @.str.4)
  %980 = call ptr @__errno_location() #9
  %981 = load i32, ptr %980, align 4, !tbaa !5
  %982 = call ptr @strerror(i32 noundef %981) #8
  %983 = call ptr @__errno_location() #9
  %984 = load i32, ptr %983, align 4, !tbaa !5
  %985 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %972, ptr noundef @.str.5, i32 noundef %973, ptr noundef @.str.18, ptr noundef @.str.1, i32 noundef 67, ptr noundef %976, ptr noundef %979, ptr noundef %982, i32 noundef %984) #8
  br label %986

986:                                              ; preds = %969, %952
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #8
  br label %987

987:                                              ; preds = %986
  br label %988

988:                                              ; preds = %987
  call void @exit(i32 noundef 1) #10
  unreachable

989:                                              ; No predecessors!
  br label %990

990:                                              ; preds = %989
  br label %991

991:                                              ; preds = %990, %933
  br label %992

992:                                              ; preds = %991
  br label %993

993:                                              ; preds = %992
  br label %994

994:                                              ; preds = %993
  %995 = load i32, ptr @test_count, align 4, !tbaa !5
  %996 = add nsw i32 %995, 1
  store i32 %996, ptr @test_count, align 4, !tbaa !5
  %997 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %998 = load i32, ptr %997, align 4, !tbaa !5
  %999 = icmp eq i32 %998, 0
  br i1 %999, label %1000, label %1053

1000:                                             ; preds = %994
  br label %1001

1001:                                             ; preds = %1000
  br label %1002

1002:                                             ; preds = %1001
  call void @llvm.lifetime.start.p0(i64 4, ptr %29) #8
  %1003 = call ptr @__errno_location() #9
  %1004 = load i32, ptr %1003, align 4, !tbaa !5
  store i32 %1004, ptr %29, align 4, !tbaa !5
  %1005 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1006 = call i32 @s2n_print_stacktrace(ptr noundef %1005)
  %1007 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1008 = trunc i8 %1007 to i1
  br i1 %1008, label %1009, label %1031

1009:                                             ; preds = %1002
  %1010 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1011 = call i32 @fileno(ptr noundef %1010) #8
  %1012 = call i32 @isatty(i32 noundef %1011) #8
  %1013 = icmp ne i32 %1012, 0
  br i1 %1013, label %1014, label %1031

1014:                                             ; preds = %1009
  %1015 = load i32, ptr %29, align 4, !tbaa !5
  %1016 = call ptr @__errno_location() #9
  store i32 %1015, ptr %1016, align 4, !tbaa !5
  %1017 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1018 = load i32, ptr @test_count, align 4, !tbaa !5
  %1019 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1020 = load i32, ptr %1019, align 4, !tbaa !5
  %1021 = call ptr @s2n_strerror(i32 noundef %1020, ptr noundef @.str.4)
  %1022 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1023 = load i32, ptr %1022, align 4, !tbaa !5
  %1024 = call ptr @s2n_strerror_debug(i32 noundef %1023, ptr noundef @.str.4)
  %1025 = call ptr @__errno_location() #9
  %1026 = load i32, ptr %1025, align 4, !tbaa !5
  %1027 = call ptr @strerror(i32 noundef %1026) #8
  %1028 = call ptr @__errno_location() #9
  %1029 = load i32, ptr %1028, align 4, !tbaa !5
  %1030 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1017, ptr noundef @.str.2, i32 noundef %1018, ptr noundef @.str.19, ptr noundef @.str.1, i32 noundef 67, ptr noundef %1021, ptr noundef %1024, ptr noundef %1027, i32 noundef %1029) #8
  br label %1048

1031:                                             ; preds = %1009, %1002
  %1032 = load i32, ptr %29, align 4, !tbaa !5
  %1033 = call ptr @__errno_location() #9
  store i32 %1032, ptr %1033, align 4, !tbaa !5
  %1034 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1035 = load i32, ptr @test_count, align 4, !tbaa !5
  %1036 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1037 = load i32, ptr %1036, align 4, !tbaa !5
  %1038 = call ptr @s2n_strerror(i32 noundef %1037, ptr noundef @.str.4)
  %1039 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1040 = load i32, ptr %1039, align 4, !tbaa !5
  %1041 = call ptr @s2n_strerror_debug(i32 noundef %1040, ptr noundef @.str.4)
  %1042 = call ptr @__errno_location() #9
  %1043 = load i32, ptr %1042, align 4, !tbaa !5
  %1044 = call ptr @strerror(i32 noundef %1043) #8
  %1045 = call ptr @__errno_location() #9
  %1046 = load i32, ptr %1045, align 4, !tbaa !5
  %1047 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1034, ptr noundef @.str.5, i32 noundef %1035, ptr noundef @.str.19, ptr noundef @.str.1, i32 noundef 67, ptr noundef %1038, ptr noundef %1041, ptr noundef %1044, i32 noundef %1046) #8
  br label %1048

1048:                                             ; preds = %1031, %1014
  call void @llvm.lifetime.end.p0(i64 4, ptr %29) #8
  br label %1049

1049:                                             ; preds = %1048
  br label %1050

1050:                                             ; preds = %1049
  call void @exit(i32 noundef 1) #10
  unreachable

1051:                                             ; No predecessors!
  br label %1052

1052:                                             ; preds = %1051
  br label %1053

1053:                                             ; preds = %1052, %994
  br label %1054

1054:                                             ; preds = %1053
  br label %1055

1055:                                             ; preds = %1054
  br label %1056

1056:                                             ; preds = %1055
  %1057 = load i32, ptr @test_count, align 4, !tbaa !5
  %1058 = add nsw i32 %1057, 1
  store i32 %1058, ptr @test_count, align 4, !tbaa !5
  %1059 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1060 = load i32, ptr %1059, align 4, !tbaa !5
  %1061 = call ptr @s2n_strerror_debug(i32 noundef %1060, ptr noundef @.str.4)
  %1062 = icmp eq ptr %1061, null
  br i1 %1062, label %1063, label %1116

1063:                                             ; preds = %1056
  br label %1064

1064:                                             ; preds = %1063
  br label %1065

1065:                                             ; preds = %1064
  call void @llvm.lifetime.start.p0(i64 4, ptr %30) #8
  %1066 = call ptr @__errno_location() #9
  %1067 = load i32, ptr %1066, align 4, !tbaa !5
  store i32 %1067, ptr %30, align 4, !tbaa !5
  %1068 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1069 = call i32 @s2n_print_stacktrace(ptr noundef %1068)
  %1070 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1071 = trunc i8 %1070 to i1
  br i1 %1071, label %1072, label %1094

1072:                                             ; preds = %1065
  %1073 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1074 = call i32 @fileno(ptr noundef %1073) #8
  %1075 = call i32 @isatty(i32 noundef %1074) #8
  %1076 = icmp ne i32 %1075, 0
  br i1 %1076, label %1077, label %1094

1077:                                             ; preds = %1072
  %1078 = load i32, ptr %30, align 4, !tbaa !5
  %1079 = call ptr @__errno_location() #9
  store i32 %1078, ptr %1079, align 4, !tbaa !5
  %1080 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1081 = load i32, ptr @test_count, align 4, !tbaa !5
  %1082 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1083 = load i32, ptr %1082, align 4, !tbaa !5
  %1084 = call ptr @s2n_strerror(i32 noundef %1083, ptr noundef @.str.4)
  %1085 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1086 = load i32, ptr %1085, align 4, !tbaa !5
  %1087 = call ptr @s2n_strerror_debug(i32 noundef %1086, ptr noundef @.str.4)
  %1088 = call ptr @__errno_location() #9
  %1089 = load i32, ptr %1088, align 4, !tbaa !5
  %1090 = call ptr @strerror(i32 noundef %1089) #8
  %1091 = call ptr @__errno_location() #9
  %1092 = load i32, ptr %1091, align 4, !tbaa !5
  %1093 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1080, ptr noundef @.str.2, i32 noundef %1081, ptr noundef @.str.20, ptr noundef @.str.1, i32 noundef 67, ptr noundef %1084, ptr noundef %1087, ptr noundef %1090, i32 noundef %1092) #8
  br label %1111

1094:                                             ; preds = %1072, %1065
  %1095 = load i32, ptr %30, align 4, !tbaa !5
  %1096 = call ptr @__errno_location() #9
  store i32 %1095, ptr %1096, align 4, !tbaa !5
  %1097 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1098 = load i32, ptr @test_count, align 4, !tbaa !5
  %1099 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1100 = load i32, ptr %1099, align 4, !tbaa !5
  %1101 = call ptr @s2n_strerror(i32 noundef %1100, ptr noundef @.str.4)
  %1102 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1103 = load i32, ptr %1102, align 4, !tbaa !5
  %1104 = call ptr @s2n_strerror_debug(i32 noundef %1103, ptr noundef @.str.4)
  %1105 = call ptr @__errno_location() #9
  %1106 = load i32, ptr %1105, align 4, !tbaa !5
  %1107 = call ptr @strerror(i32 noundef %1106) #8
  %1108 = call ptr @__errno_location() #9
  %1109 = load i32, ptr %1108, align 4, !tbaa !5
  %1110 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1097, ptr noundef @.str.5, i32 noundef %1098, ptr noundef @.str.20, ptr noundef @.str.1, i32 noundef 67, ptr noundef %1101, ptr noundef %1104, ptr noundef %1107, i32 noundef %1109) #8
  br label %1111

1111:                                             ; preds = %1094, %1077
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #8
  br label %1112

1112:                                             ; preds = %1111
  br label %1113

1113:                                             ; preds = %1112
  call void @exit(i32 noundef 1) #10
  unreachable

1114:                                             ; No predecessors!
  br label %1115

1115:                                             ; preds = %1114
  br label %1116

1116:                                             ; preds = %1115, %1056
  br label %1117

1117:                                             ; preds = %1116
  br label %1118

1118:                                             ; preds = %1117
  br label %1119

1119:                                             ; preds = %1118
  %1120 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  store i32 0, ptr %1120, align 4, !tbaa !5
  call void @s2n_debug_info_reset()
  %1121 = call ptr @__errno_location() #9
  store i32 0, ptr %1121, align 4, !tbaa !5
  br label %1122

1122:                                             ; preds = %1119
  br label %1123

1123:                                             ; preds = %1122
  br label %1124

1124:                                             ; preds = %1123
  br label %1125

1125:                                             ; preds = %1124
  br label %1126

1126:                                             ; preds = %1125
  %1127 = load i32, ptr @test_count, align 4, !tbaa !5
  %1128 = add nsw i32 %1127, 1
  store i32 %1128, ptr @test_count, align 4, !tbaa !5
  %1129 = call i32 @s2n_ecc_evp_params_free(ptr noundef %25)
  %1130 = icmp eq i32 %1129, -1
  br i1 %1130, label %1131, label %1184

1131:                                             ; preds = %1126
  br label %1132

1132:                                             ; preds = %1131
  br label %1133

1133:                                             ; preds = %1132
  call void @llvm.lifetime.start.p0(i64 4, ptr %31) #8
  %1134 = call ptr @__errno_location() #9
  %1135 = load i32, ptr %1134, align 4, !tbaa !5
  store i32 %1135, ptr %31, align 4, !tbaa !5
  %1136 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1137 = call i32 @s2n_print_stacktrace(ptr noundef %1136)
  %1138 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1139 = trunc i8 %1138 to i1
  br i1 %1139, label %1140, label %1162

1140:                                             ; preds = %1133
  %1141 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1142 = call i32 @fileno(ptr noundef %1141) #8
  %1143 = call i32 @isatty(i32 noundef %1142) #8
  %1144 = icmp ne i32 %1143, 0
  br i1 %1144, label %1145, label %1162

1145:                                             ; preds = %1140
  %1146 = load i32, ptr %31, align 4, !tbaa !5
  %1147 = call ptr @__errno_location() #9
  store i32 %1146, ptr %1147, align 4, !tbaa !5
  %1148 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1149 = load i32, ptr @test_count, align 4, !tbaa !5
  %1150 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1151 = load i32, ptr %1150, align 4, !tbaa !5
  %1152 = call ptr @s2n_strerror(i32 noundef %1151, ptr noundef @.str.4)
  %1153 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1154 = load i32, ptr %1153, align 4, !tbaa !5
  %1155 = call ptr @s2n_strerror_debug(i32 noundef %1154, ptr noundef @.str.4)
  %1156 = call ptr @__errno_location() #9
  %1157 = load i32, ptr %1156, align 4, !tbaa !5
  %1158 = call ptr @strerror(i32 noundef %1157) #8
  %1159 = call ptr @__errno_location() #9
  %1160 = load i32, ptr %1159, align 4, !tbaa !5
  %1161 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1148, ptr noundef @.str.2, i32 noundef %1149, ptr noundef @.str.15, ptr noundef @.str.1, i32 noundef 69, ptr noundef %1152, ptr noundef %1155, ptr noundef %1158, i32 noundef %1160) #8
  br label %1179

1162:                                             ; preds = %1140, %1133
  %1163 = load i32, ptr %31, align 4, !tbaa !5
  %1164 = call ptr @__errno_location() #9
  store i32 %1163, ptr %1164, align 4, !tbaa !5
  %1165 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1166 = load i32, ptr @test_count, align 4, !tbaa !5
  %1167 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1168 = load i32, ptr %1167, align 4, !tbaa !5
  %1169 = call ptr @s2n_strerror(i32 noundef %1168, ptr noundef @.str.4)
  %1170 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1171 = load i32, ptr %1170, align 4, !tbaa !5
  %1172 = call ptr @s2n_strerror_debug(i32 noundef %1171, ptr noundef @.str.4)
  %1173 = call ptr @__errno_location() #9
  %1174 = load i32, ptr %1173, align 4, !tbaa !5
  %1175 = call ptr @strerror(i32 noundef %1174) #8
  %1176 = call ptr @__errno_location() #9
  %1177 = load i32, ptr %1176, align 4, !tbaa !5
  %1178 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1165, ptr noundef @.str.5, i32 noundef %1166, ptr noundef @.str.15, ptr noundef @.str.1, i32 noundef 69, ptr noundef %1169, ptr noundef %1172, ptr noundef %1175, i32 noundef %1177) #8
  br label %1179

1179:                                             ; preds = %1162, %1145
  call void @llvm.lifetime.end.p0(i64 4, ptr %31) #8
  br label %1180

1180:                                             ; preds = %1179
  br label %1181

1181:                                             ; preds = %1180
  call void @exit(i32 noundef 1) #10
  unreachable

1182:                                             ; No predecessors!
  br label %1183

1183:                                             ; preds = %1182
  br label %1184

1184:                                             ; preds = %1183, %1126
  br label %1185

1185:                                             ; preds = %1184
  br label %1186

1186:                                             ; preds = %1185
  br label %1187

1187:                                             ; preds = %1186
  %1188 = load i32, ptr @test_count, align 4, !tbaa !5
  %1189 = add nsw i32 %1188, 1
  store i32 %1189, ptr @test_count, align 4, !tbaa !5
  %1190 = call i32 @s2n_stuffer_free(ptr noundef %24)
  %1191 = icmp eq i32 %1190, -1
  br i1 %1191, label %1192, label %1245

1192:                                             ; preds = %1187
  br label %1193

1193:                                             ; preds = %1192
  br label %1194

1194:                                             ; preds = %1193
  call void @llvm.lifetime.start.p0(i64 4, ptr %32) #8
  %1195 = call ptr @__errno_location() #9
  %1196 = load i32, ptr %1195, align 4, !tbaa !5
  store i32 %1196, ptr %32, align 4, !tbaa !5
  %1197 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1198 = call i32 @s2n_print_stacktrace(ptr noundef %1197)
  %1199 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1200 = trunc i8 %1199 to i1
  br i1 %1200, label %1201, label %1223

1201:                                             ; preds = %1194
  %1202 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1203 = call i32 @fileno(ptr noundef %1202) #8
  %1204 = call i32 @isatty(i32 noundef %1203) #8
  %1205 = icmp ne i32 %1204, 0
  br i1 %1205, label %1206, label %1223

1206:                                             ; preds = %1201
  %1207 = load i32, ptr %32, align 4, !tbaa !5
  %1208 = call ptr @__errno_location() #9
  store i32 %1207, ptr %1208, align 4, !tbaa !5
  %1209 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1210 = load i32, ptr @test_count, align 4, !tbaa !5
  %1211 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1212 = load i32, ptr %1211, align 4, !tbaa !5
  %1213 = call ptr @s2n_strerror(i32 noundef %1212, ptr noundef @.str.4)
  %1214 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1215 = load i32, ptr %1214, align 4, !tbaa !5
  %1216 = call ptr @s2n_strerror_debug(i32 noundef %1215, ptr noundef @.str.4)
  %1217 = call ptr @__errno_location() #9
  %1218 = load i32, ptr %1217, align 4, !tbaa !5
  %1219 = call ptr @strerror(i32 noundef %1218) #8
  %1220 = call ptr @__errno_location() #9
  %1221 = load i32, ptr %1220, align 4, !tbaa !5
  %1222 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1209, ptr noundef @.str.2, i32 noundef %1210, ptr noundef @.str.16, ptr noundef @.str.1, i32 noundef 70, ptr noundef %1213, ptr noundef %1216, ptr noundef %1219, i32 noundef %1221) #8
  br label %1240

1223:                                             ; preds = %1201, %1194
  %1224 = load i32, ptr %32, align 4, !tbaa !5
  %1225 = call ptr @__errno_location() #9
  store i32 %1224, ptr %1225, align 4, !tbaa !5
  %1226 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1227 = load i32, ptr @test_count, align 4, !tbaa !5
  %1228 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1229 = load i32, ptr %1228, align 4, !tbaa !5
  %1230 = call ptr @s2n_strerror(i32 noundef %1229, ptr noundef @.str.4)
  %1231 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1232 = load i32, ptr %1231, align 4, !tbaa !5
  %1233 = call ptr @s2n_strerror_debug(i32 noundef %1232, ptr noundef @.str.4)
  %1234 = call ptr @__errno_location() #9
  %1235 = load i32, ptr %1234, align 4, !tbaa !5
  %1236 = call ptr @strerror(i32 noundef %1235) #8
  %1237 = call ptr @__errno_location() #9
  %1238 = load i32, ptr %1237, align 4, !tbaa !5
  %1239 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1226, ptr noundef @.str.5, i32 noundef %1227, ptr noundef @.str.16, ptr noundef @.str.1, i32 noundef 70, ptr noundef %1230, ptr noundef %1233, ptr noundef %1236, i32 noundef %1238) #8
  br label %1240

1240:                                             ; preds = %1223, %1206
  call void @llvm.lifetime.end.p0(i64 4, ptr %32) #8
  br label %1241

1241:                                             ; preds = %1240
  br label %1242

1242:                                             ; preds = %1241
  call void @exit(i32 noundef 1) #10
  unreachable

1243:                                             ; No predecessors!
  br label %1244

1244:                                             ; preds = %1243
  br label %1245

1245:                                             ; preds = %1244, %1187
  br label %1246

1246:                                             ; preds = %1245
  br label %1247

1247:                                             ; preds = %1246
  call void @llvm.lifetime.end.p0(i64 32, ptr %26) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr %25) #8
  call void @llvm.lifetime.end.p0(i64 40, ptr %24) #8
  br label %1248

1248:                                             ; preds = %1247
  br label %1249

1249:                                             ; preds = %1248
  %1250 = call i32 @s2n_cleanup()
  %1251 = icmp eq i32 %1250, -1
  br i1 %1251, label %1252, label %1305

1252:                                             ; preds = %1249
  br label %1253

1253:                                             ; preds = %1252
  br label %1254

1254:                                             ; preds = %1253
  call void @llvm.lifetime.start.p0(i64 4, ptr %33) #8
  %1255 = call ptr @__errno_location() #9
  %1256 = load i32, ptr %1255, align 4, !tbaa !5
  store i32 %1256, ptr %33, align 4, !tbaa !5
  %1257 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1258 = call i32 @s2n_print_stacktrace(ptr noundef %1257)
  %1259 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1260 = trunc i8 %1259 to i1
  br i1 %1260, label %1261, label %1283

1261:                                             ; preds = %1254
  %1262 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1263 = call i32 @fileno(ptr noundef %1262) #8
  %1264 = call i32 @isatty(i32 noundef %1263) #8
  %1265 = icmp ne i32 %1264, 0
  br i1 %1265, label %1266, label %1283

1266:                                             ; preds = %1261
  %1267 = load i32, ptr %33, align 4, !tbaa !5
  %1268 = call ptr @__errno_location() #9
  store i32 %1267, ptr %1268, align 4, !tbaa !5
  %1269 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1270 = load i32, ptr @test_count, align 4, !tbaa !5
  %1271 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1272 = load i32, ptr %1271, align 4, !tbaa !5
  %1273 = call ptr @s2n_strerror(i32 noundef %1272, ptr noundef @.str.4)
  %1274 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1275 = load i32, ptr %1274, align 4, !tbaa !5
  %1276 = call ptr @s2n_strerror_debug(i32 noundef %1275, ptr noundef @.str.4)
  %1277 = call ptr @__errno_location() #9
  %1278 = load i32, ptr %1277, align 4, !tbaa !5
  %1279 = call ptr @strerror(i32 noundef %1278) #8
  %1280 = call ptr @__errno_location() #9
  %1281 = load i32, ptr %1280, align 4, !tbaa !5
  %1282 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1269, ptr noundef @.str.2, i32 noundef %1270, ptr noundef @.str.21, ptr noundef @.str.1, i32 noundef 73, ptr noundef %1273, ptr noundef %1276, ptr noundef %1279, i32 noundef %1281) #8
  br label %1300

1283:                                             ; preds = %1261, %1254
  %1284 = load i32, ptr %33, align 4, !tbaa !5
  %1285 = call ptr @__errno_location() #9
  store i32 %1284, ptr %1285, align 4, !tbaa !5
  %1286 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1287 = load i32, ptr @test_count, align 4, !tbaa !5
  %1288 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1289 = load i32, ptr %1288, align 4, !tbaa !5
  %1290 = call ptr @s2n_strerror(i32 noundef %1289, ptr noundef @.str.4)
  %1291 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1292 = load i32, ptr %1291, align 4, !tbaa !5
  %1293 = call ptr @s2n_strerror_debug(i32 noundef %1292, ptr noundef @.str.4)
  %1294 = call ptr @__errno_location() #9
  %1295 = load i32, ptr %1294, align 4, !tbaa !5
  %1296 = call ptr @strerror(i32 noundef %1295) #8
  %1297 = call ptr @__errno_location() #9
  %1298 = load i32, ptr %1297, align 4, !tbaa !5
  %1299 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1286, ptr noundef @.str.5, i32 noundef %1287, ptr noundef @.str.21, ptr noundef @.str.1, i32 noundef 73, ptr noundef %1290, ptr noundef %1293, ptr noundef %1296, i32 noundef %1298) #8
  br label %1300

1300:                                             ; preds = %1283, %1266
  call void @llvm.lifetime.end.p0(i64 4, ptr %33) #8
  br label %1301

1301:                                             ; preds = %1300
  br label %1302

1302:                                             ; preds = %1301
  call void @exit(i32 noundef 1) #10
  unreachable

1303:                                             ; No predecessors!
  br label %1304

1304:                                             ; preds = %1303
  br label %1305

1305:                                             ; preds = %1304, %1249
  br label %1306

1306:                                             ; preds = %1305
  br label %1307

1307:                                             ; preds = %1306
  br label %1308

1308:                                             ; preds = %1307
  br label %1309

1309:                                             ; preds = %1308
  %1310 = call i32 @s2n_in_unit_test_set(i1 noundef zeroext false)
  %1311 = icmp eq i32 %1310, -1
  br i1 %1311, label %1312, label %1365

1312:                                             ; preds = %1309
  br label %1313

1313:                                             ; preds = %1312
  br label %1314

1314:                                             ; preds = %1313
  call void @llvm.lifetime.start.p0(i64 4, ptr %34) #8
  %1315 = call ptr @__errno_location() #9
  %1316 = load i32, ptr %1315, align 4, !tbaa !5
  store i32 %1316, ptr %34, align 4, !tbaa !5
  %1317 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1318 = call i32 @s2n_print_stacktrace(ptr noundef %1317)
  %1319 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1320 = trunc i8 %1319 to i1
  br i1 %1320, label %1321, label %1343

1321:                                             ; preds = %1314
  %1322 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1323 = call i32 @fileno(ptr noundef %1322) #8
  %1324 = call i32 @isatty(i32 noundef %1323) #8
  %1325 = icmp ne i32 %1324, 0
  br i1 %1325, label %1326, label %1343

1326:                                             ; preds = %1321
  %1327 = load i32, ptr %34, align 4, !tbaa !5
  %1328 = call ptr @__errno_location() #9
  store i32 %1327, ptr %1328, align 4, !tbaa !5
  %1329 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1330 = load i32, ptr @test_count, align 4, !tbaa !5
  %1331 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1332 = load i32, ptr %1331, align 4, !tbaa !5
  %1333 = call ptr @s2n_strerror(i32 noundef %1332, ptr noundef @.str.4)
  %1334 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1335 = load i32, ptr %1334, align 4, !tbaa !5
  %1336 = call ptr @s2n_strerror_debug(i32 noundef %1335, ptr noundef @.str.4)
  %1337 = call ptr @__errno_location() #9
  %1338 = load i32, ptr %1337, align 4, !tbaa !5
  %1339 = call ptr @strerror(i32 noundef %1338) #8
  %1340 = call ptr @__errno_location() #9
  %1341 = load i32, ptr %1340, align 4, !tbaa !5
  %1342 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1329, ptr noundef @.str.2, i32 noundef %1330, ptr noundef @.str.22, ptr noundef @.str.1, i32 noundef 73, ptr noundef %1333, ptr noundef %1336, ptr noundef %1339, i32 noundef %1341) #8
  br label %1360

1343:                                             ; preds = %1321, %1314
  %1344 = load i32, ptr %34, align 4, !tbaa !5
  %1345 = call ptr @__errno_location() #9
  store i32 %1344, ptr %1345, align 4, !tbaa !5
  %1346 = load ptr, ptr @stderr, align 8, !tbaa !9
  %1347 = load i32, ptr @test_count, align 4, !tbaa !5
  %1348 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1349 = load i32, ptr %1348, align 4, !tbaa !5
  %1350 = call ptr @s2n_strerror(i32 noundef %1349, ptr noundef @.str.4)
  %1351 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %1352 = load i32, ptr %1351, align 4, !tbaa !5
  %1353 = call ptr @s2n_strerror_debug(i32 noundef %1352, ptr noundef @.str.4)
  %1354 = call ptr @__errno_location() #9
  %1355 = load i32, ptr %1354, align 4, !tbaa !5
  %1356 = call ptr @strerror(i32 noundef %1355) #8
  %1357 = call ptr @__errno_location() #9
  %1358 = load i32, ptr %1357, align 4, !tbaa !5
  %1359 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1346, ptr noundef @.str.5, i32 noundef %1347, ptr noundef @.str.22, ptr noundef @.str.1, i32 noundef 73, ptr noundef %1350, ptr noundef %1353, ptr noundef %1356, i32 noundef %1358) #8
  br label %1360

1360:                                             ; preds = %1343, %1326
  call void @llvm.lifetime.end.p0(i64 4, ptr %34) #8
  br label %1361

1361:                                             ; preds = %1360
  br label %1362

1362:                                             ; preds = %1361
  call void @exit(i32 noundef 1) #10
  unreachable

1363:                                             ; No predecessors!
  br label %1364

1364:                                             ; preds = %1363
  br label %1365

1365:                                             ; preds = %1364, %1309
  br label %1366

1366:                                             ; preds = %1365
  br label %1367

1367:                                             ; preds = %1366
  %1368 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %1369 = trunc i8 %1368 to i1
  br i1 %1369, label %1370, label %1386

1370:                                             ; preds = %1367
  %1371 = load ptr, ptr @stdout, align 8, !tbaa !9
  %1372 = call i32 @fileno(ptr noundef %1371) #8
  %1373 = call i32 @isatty(i32 noundef %1372) #8
  %1374 = icmp ne i32 %1373, 0
  br i1 %1374, label %1375, label %1386

1375:                                             ; preds = %1370
  %1376 = load i32, ptr @test_count, align 4, !tbaa !5
  %1377 = icmp ne i32 %1376, 0
  br i1 %1377, label %1378, label %1382

1378:                                             ; preds = %1375
  %1379 = load ptr, ptr @stdout, align 8, !tbaa !9
  %1380 = load i32, ptr @test_count, align 4, !tbaa !5
  %1381 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1379, ptr noundef @.str.23, i32 noundef %1380) #8
  br label %1385

1382:                                             ; preds = %1375
  %1383 = load ptr, ptr @stdout, align 8, !tbaa !9
  %1384 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1383, ptr noundef @.str.24) #8
  br label %1385

1385:                                             ; preds = %1382, %1378
  br label %1397

1386:                                             ; preds = %1370, %1367
  %1387 = load i32, ptr @test_count, align 4, !tbaa !5
  %1388 = icmp ne i32 %1387, 0
  br i1 %1388, label %1389, label %1393

1389:                                             ; preds = %1386
  %1390 = load ptr, ptr @stdout, align 8, !tbaa !9
  %1391 = load i32, ptr @test_count, align 4, !tbaa !5
  %1392 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1390, ptr noundef @.str.25, i32 noundef %1391) #8
  br label %1396

1393:                                             ; preds = %1386
  %1394 = load ptr, ptr @stdout, align 8, !tbaa !9
  %1395 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1394, ptr noundef @.str.26) #8
  br label %1396

1396:                                             ; preds = %1393, %1389
  br label %1397

1397:                                             ; preds = %1396, %1385
  store i32 0, ptr %3, align 4
  store i32 1, ptr %35, align 4
  br label %1402

1398:                                             ; No predecessors!
  br label %1399

1399:                                             ; preds = %1398
  br label %1400

1400:                                             ; preds = %1399
  br label %1401

1401:                                             ; preds = %1400
  store i32 0, ptr %35, align 4
  br label %1402

1402:                                             ; preds = %1401, %1397
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #8
  %1403 = load i32, ptr %35, align 4
  switch i32 %1403, label %1406 [
    i32 0, label %1404
    i32 1, label %1404
  ]

1404:                                             ; preds = %1402, %1402
  %1405 = load i32, ptr %3, align 4
  ret i32 %1405

1406:                                             ; preds = %1402
  unreachable
}

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

declare i32 @fflush(ptr noundef) #2

declare i32 @s2n_in_unit_test_set(i1 noundef zeroext) #2

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

; Function Attrs: nounwind willreturn memory(none)
declare ptr @__errno_location() #4

declare i32 @s2n_print_stacktrace(ptr noundef) #2

; Function Attrs: nounwind
declare i32 @isatty(i32 noundef) #1

; Function Attrs: nounwind
declare i32 @fileno(ptr noundef) #1

declare ptr @s2n_strerror(i32 noundef, ptr noundef) #2

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare nonnull ptr @llvm.threadlocal.address.p0(ptr nonnull) #5

declare ptr @s2n_strerror_debug(i32 noundef, ptr noundef) #2

; Function Attrs: nounwind
declare ptr @strerror(i32 noundef) #1

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

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

declare i32 @s2n_enable_atexit() #2

declare i32 @s2n_init() #2

declare i32 @s2n_disable_tls13_in_test(...) #2

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

declare i32 @s2n_stuffer_alloc(ptr noundef, i32 noundef) #2

declare i32 @s2n_ecdhe_parameters_send(ptr noundef, ptr noundef) #2

declare i32 @s2n_stuffer_read_uint16(ptr noundef, ptr noundef) #2

declare i32 @s2n_ecc_evp_params_free(ptr noundef) #2

declare i32 @s2n_stuffer_free(ptr noundef) #2

declare void @s2n_debug_info_reset() #2

declare i32 @s2n_cleanup() #2

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"any pointer", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"_Bool", !7, i64 0}
!13 = !{i8 0, i8 2}
!14 = !{}
!15 = !{!16, !10, i64 0}
!16 = !{!"s2n_ecc_evp_params", !10, i64 0, !10, i64 8}
!17 = !{!16, !10, i64 8}
!18 = !{!19, !7, i64 16}
!19 = !{!"s2n_ecc_named_curve", !20, i64 0, !6, i64 4, !10, i64 8, !7, i64 16, !10, i64 24}
!20 = !{!"short", !7, i64 0}
!21 = !{!20, !20, i64 0}
!22 = !{!19, !20, i64 0}
!23 = !{!24, !6, i64 28}
!24 = !{!"s2n_stuffer", !25, i64 0, !6, i64 24, !6, i64 28, !6, i64 32, !6, i64 36, !6, i64 36, !6, i64 36}
!25 = !{!"s2n_blob", !10, i64 0, !6, i64 8, !6, i64 12, !6, i64 16}
!26 = !{!24, !6, i64 24}
!27 = !{!19, !6, i64 4}
!28 = !{!19, !10, i64 8}
!29 = !{!19, !10, i64 24}


; 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.s2n_stuffer = type { %struct.s2n_blob, i32, i32, i32, i8 }
%struct.s2n_blob = type { ptr, i32, i32, i8 }
%struct.s2n_ecc_evp_params = type { ptr, ptr }
%struct.s2n_ecc_named_curve = type { i16, i32, ptr, i8, ptr }

@s2n_use_color_in_output = external dso_local local_unnamed_addr global i8, align 1
@test_count = external dso_local local_unnamed_addr global i32, align 4
@stdout = external local_unnamed_addr global ptr, align 8
@.str = external hidden unnamed_addr constant [19 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [87 x i8], align 1
@stderr = external local_unnamed_addr global ptr, align 8
@.str.2 = external hidden unnamed_addr constant [101 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [52 x i8], align 1
@s2n_errno = external thread_local local_unnamed_addr global i32, align 4
@.str.4 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [90 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [48 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [56 x i8], align 1
@s2n_all_supported_curves_list = external local_unnamed_addr constant [0 x ptr], align 8
@.str.9 = external hidden unnamed_addr constant [80 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [77 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [66 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [46 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [49 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [88 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [69 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [51 x i8], align 1
@.str.17 = external hidden unnamed_addr constant [78 x i8], align 1
@.str.18 = external hidden unnamed_addr constant [74 x i8], align 1
@.str.19 = external hidden unnamed_addr constant [35 x i8], align 1
@.str.20 = external hidden unnamed_addr constant [70 x i8], align 1
@.str.21 = external hidden unnamed_addr constant [42 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [52 x i8], align 1
@.str.23 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.24 = external hidden unnamed_addr constant [36 x i8], align 1
@.str.25 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.26 = external hidden unnamed_addr constant [25 x i8], align 1

; Function Attrs: nounwind uwtable
define dso_local noundef i32 @main(i32 noundef %0, ptr nocapture noundef readnone %1) local_unnamed_addr #0 {
  %3 = alloca %struct.s2n_stuffer, align 8
  %4 = alloca %struct.s2n_ecc_evp_params, align 8
  %5 = alloca i16, align 2
  %6 = alloca i16, align 2
  %7 = alloca %struct.s2n_stuffer, align 8
  %8 = alloca %struct.s2n_ecc_evp_params, align 8
  %9 = alloca %struct.s2n_ecc_named_curve, align 8
  store i32 0, ptr @test_count, align 4, !tbaa !5
  %10 = load ptr, ptr @stdout, align 8, !tbaa !9
  %11 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %10, ptr noundef nonnull @.str, ptr noundef nonnull @.str.1) #9
  %12 = load ptr, ptr @stdout, align 8, !tbaa !9
  %13 = tail call i32 @fflush(ptr noundef %12)
  %14 = tail call i32 @s2n_in_unit_test_set(i1 noundef zeroext true) #9
  %15 = icmp eq i32 %14, -1
  br i1 %15, label %16, label %40

16:                                               ; preds = %2
  %17 = tail call ptr @__errno_location() #10
  %18 = load i32, ptr %17, align 4, !tbaa !5
  %19 = load ptr, ptr @stderr, align 8, !tbaa !9
  %20 = tail call i32 @s2n_print_stacktrace(ptr noundef %19) #9
  %21 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %22 = trunc nuw i8 %21 to i1
  br i1 %22, label %23, label %27

23:                                               ; preds = %16
  %24 = load ptr, ptr @stderr, align 8, !tbaa !9
  %25 = tail call i32 @fileno(ptr noundef %24) #9
  %26 = tail call i32 @isatty(i32 noundef %25) #9
  %.not72 = icmp eq i32 %26, 0
  br i1 %.not72, label %27, label %28

27:                                               ; preds = %23, %16
  br label %28

28:                                               ; preds = %23, %27
  %.str.5.sink = phi ptr [ @.str.5, %27 ], [ @.str.2, %23 ]
  store i32 %18, ptr %17, align 4, !tbaa !5
  %29 = load ptr, ptr @stderr, align 8, !tbaa !9
  %30 = load i32, ptr @test_count, align 4, !tbaa !5
  %31 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %32 = load i32, ptr %31, align 4, !tbaa !5
  %33 = tail call ptr @s2n_strerror(i32 noundef %32, ptr noundef nonnull @.str.4) #9
  %34 = load i32, ptr %31, align 4, !tbaa !5
  %35 = tail call ptr @s2n_strerror_debug(i32 noundef %34, ptr noundef nonnull @.str.4) #9
  %36 = load i32, ptr %17, align 4, !tbaa !5
  %37 = tail call ptr @strerror(i32 noundef %36) #9
  %38 = load i32, ptr %17, align 4, !tbaa !5
  %39 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %29, ptr noundef nonnull %.str.5.sink, i32 noundef %30, ptr noundef nonnull @.str.3, ptr noundef nonnull @.str.1, i32 noundef 28, ptr noundef %33, ptr noundef %35, ptr noundef %37, i32 noundef %38) #11
  tail call void @exit(i32 noundef 1) #12
  unreachable

40:                                               ; preds = %2
  %41 = load i32, ptr @test_count, align 4, !tbaa !5
  %42 = add nsw i32 %41, 1
  store i32 %42, ptr @test_count, align 4, !tbaa !5
  %43 = tail call i32 @s2n_enable_atexit() #9
  %44 = icmp eq i32 %43, -1
  br i1 %44, label %45, label %69

45:                                               ; preds = %40
  %46 = tail call ptr @__errno_location() #10
  %47 = load i32, ptr %46, align 4, !tbaa !5
  %48 = load ptr, ptr @stderr, align 8, !tbaa !9
  %49 = tail call i32 @s2n_print_stacktrace(ptr noundef %48) #9
  %50 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %51 = trunc nuw i8 %50 to i1
  br i1 %51, label %52, label %56

52:                                               ; preds = %45
  %53 = load ptr, ptr @stderr, align 8, !tbaa !9
  %54 = tail call i32 @fileno(ptr noundef %53) #9
  %55 = tail call i32 @isatty(i32 noundef %54) #9
  %.not71 = icmp eq i32 %55, 0
  br i1 %.not71, label %56, label %57

56:                                               ; preds = %52, %45
  br label %57

57:                                               ; preds = %52, %56
  %.str.5.sink83 = phi ptr [ @.str.5, %56 ], [ @.str.2, %52 ]
  store i32 %47, ptr %46, align 4, !tbaa !5
  %58 = load ptr, ptr @stderr, align 8, !tbaa !9
  %59 = load i32, ptr @test_count, align 4, !tbaa !5
  %60 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %61 = load i32, ptr %60, align 4, !tbaa !5
  %62 = tail call ptr @s2n_strerror(i32 noundef %61, ptr noundef nonnull @.str.4) #9
  %63 = load i32, ptr %60, align 4, !tbaa !5
  %64 = tail call ptr @s2n_strerror_debug(i32 noundef %63, ptr noundef nonnull @.str.4) #9
  %65 = load i32, ptr %46, align 4, !tbaa !5
  %66 = tail call ptr @strerror(i32 noundef %65) #9
  %67 = load i32, ptr %46, align 4, !tbaa !5
  %68 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %58, ptr noundef nonnull %.str.5.sink83, i32 noundef %59, ptr noundef nonnull @.str.6, ptr noundef nonnull @.str.1, i32 noundef 28, ptr noundef %62, ptr noundef %64, ptr noundef %66, i32 noundef %67) #11
  tail call void @exit(i32 noundef 1) #12
  unreachable

69:                                               ; preds = %40
  %70 = tail call i32 @s2n_init() #9
  %71 = icmp eq i32 %70, -1
  br i1 %71, label %72, label %96

72:                                               ; preds = %69
  %73 = tail call ptr @__errno_location() #10
  %74 = load i32, ptr %73, align 4, !tbaa !5
  %75 = load ptr, ptr @stderr, align 8, !tbaa !9
  %76 = tail call i32 @s2n_print_stacktrace(ptr noundef %75) #9
  %77 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %78 = trunc nuw i8 %77 to i1
  br i1 %78, label %79, label %83

79:                                               ; preds = %72
  %80 = load ptr, ptr @stderr, align 8, !tbaa !9
  %81 = tail call i32 @fileno(ptr noundef %80) #9
  %82 = tail call i32 @isatty(i32 noundef %81) #9
  %.not70 = icmp eq i32 %82, 0
  br i1 %.not70, label %83, label %84

83:                                               ; preds = %79, %72
  br label %84

84:                                               ; preds = %79, %83
  %.str.5.sink94 = phi ptr [ @.str.5, %83 ], [ @.str.2, %79 ]
  store i32 %74, ptr %73, align 4, !tbaa !5
  %85 = load ptr, ptr @stderr, align 8, !tbaa !9
  %86 = load i32, ptr @test_count, align 4, !tbaa !5
  %87 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %88 = load i32, ptr %87, align 4, !tbaa !5
  %89 = tail call ptr @s2n_strerror(i32 noundef %88, ptr noundef nonnull @.str.4) #9
  %90 = load i32, ptr %87, align 4, !tbaa !5
  %91 = tail call ptr @s2n_strerror_debug(i32 noundef %90, ptr noundef nonnull @.str.4) #9
  %92 = load i32, ptr %73, align 4, !tbaa !5
  %93 = tail call ptr @strerror(i32 noundef %92) #9
  %94 = load i32, ptr %73, align 4, !tbaa !5
  %95 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %85, ptr noundef nonnull %.str.5.sink94, i32 noundef %86, ptr noundef nonnull @.str.7, ptr noundef nonnull @.str.1, i32 noundef 28, ptr noundef %89, ptr noundef %91, ptr noundef %93, i32 noundef %94) #11
  tail call void @exit(i32 noundef 1) #12
  unreachable

96:                                               ; preds = %69
  %97 = load i32, ptr @test_count, align 4, !tbaa !5
  %98 = add nsw i32 %97, 1
  store i32 %98, ptr @test_count, align 4, !tbaa !5
  %99 = tail call i32 (...) @s2n_disable_tls13_in_test() #9
  %100 = icmp eq i32 %99, -1
  br i1 %100, label %101, label %125

101:                                              ; preds = %96
  %102 = tail call ptr @__errno_location() #10
  %103 = load i32, ptr %102, align 4, !tbaa !5
  %104 = load ptr, ptr @stderr, align 8, !tbaa !9
  %105 = tail call i32 @s2n_print_stacktrace(ptr noundef %104) #9
  %106 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %107 = trunc nuw i8 %106 to i1
  br i1 %107, label %108, label %112

108:                                              ; preds = %101
  %109 = load ptr, ptr @stderr, align 8, !tbaa !9
  %110 = tail call i32 @fileno(ptr noundef %109) #9
  %111 = tail call i32 @isatty(i32 noundef %110) #9
  %.not69 = icmp eq i32 %111, 0
  br i1 %.not69, label %112, label %113

112:                                              ; preds = %108, %101
  br label %113

113:                                              ; preds = %108, %112
  %.str.5.sink105 = phi ptr [ @.str.5, %112 ], [ @.str.2, %108 ]
  store i32 %103, ptr %102, align 4, !tbaa !5
  %114 = load ptr, ptr @stderr, align 8, !tbaa !9
  %115 = load i32, ptr @test_count, align 4, !tbaa !5
  %116 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %117 = load i32, ptr %116, align 4, !tbaa !5
  %118 = tail call ptr @s2n_strerror(i32 noundef %117, ptr noundef nonnull @.str.4) #9
  %119 = load i32, ptr %116, align 4, !tbaa !5
  %120 = tail call ptr @s2n_strerror_debug(i32 noundef %119, ptr noundef nonnull @.str.4) #9
  %121 = load i32, ptr %102, align 4, !tbaa !5
  %122 = tail call ptr @strerror(i32 noundef %121) #9
  %123 = load i32, ptr %102, align 4, !tbaa !5
  %124 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %114, ptr noundef nonnull %.str.5.sink105, i32 noundef %115, ptr noundef nonnull @.str.8, ptr noundef nonnull @.str.1, i32 noundef 29, ptr noundef %118, ptr noundef %120, ptr noundef %122, i32 noundef %123) #11
  tail call void @exit(i32 noundef 1) #12
  unreachable

125:                                              ; preds = %96
  %126 = load ptr, ptr @s2n_all_supported_curves_list, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 40, ptr nonnull %3) #9
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(40) %3, i8 0, i64 40, i1 false)
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %4) #9
  store ptr %126, ptr %4, align 8, !tbaa !15
  %127 = getelementptr inbounds i8, ptr %4, i64 8
  store ptr null, ptr %127, align 8, !tbaa !17
  %128 = load i32, ptr @test_count, align 4, !tbaa !5
  %129 = add nsw i32 %128, 1
  store i32 %129, ptr @test_count, align 4, !tbaa !5
  %130 = getelementptr inbounds i8, ptr %126, i64 16
  %131 = load i8, ptr %130, align 8, !tbaa !18
  %132 = zext i8 %131 to i32
  %133 = add nuw nsw i32 %132, 4
  %134 = call i32 @s2n_stuffer_alloc(ptr noundef nonnull %3, i32 noundef %133) #9
  %135 = icmp eq i32 %134, -1
  br i1 %135, label %136, label %160

136:                                              ; preds = %125
  %137 = tail call ptr @__errno_location() #10
  %138 = load i32, ptr %137, align 4, !tbaa !5
  %139 = load ptr, ptr @stderr, align 8, !tbaa !9
  %140 = call i32 @s2n_print_stacktrace(ptr noundef %139) #9
  %141 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %142 = trunc nuw i8 %141 to i1
  br i1 %142, label %143, label %147

143:                                              ; preds = %136
  %144 = load ptr, ptr @stderr, align 8, !tbaa !9
  %145 = call i32 @fileno(ptr noundef %144) #9
  %146 = call i32 @isatty(i32 noundef %145) #9
  %.not68 = icmp eq i32 %146, 0
  br i1 %.not68, label %147, label %148

147:                                              ; preds = %143, %136
  br label %148

148:                                              ; preds = %143, %147
  %.str.5.sink116 = phi ptr [ @.str.5, %147 ], [ @.str.2, %143 ]
  store i32 %138, ptr %137, align 4, !tbaa !5
  %149 = load ptr, ptr @stderr, align 8, !tbaa !9
  %150 = load i32, ptr @test_count, align 4, !tbaa !5
  %151 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %152 = load i32, ptr %151, align 4, !tbaa !5
  %153 = call ptr @s2n_strerror(i32 noundef %152, ptr noundef nonnull @.str.4) #9
  %154 = load i32, ptr %151, align 4, !tbaa !5
  %155 = call ptr @s2n_strerror_debug(i32 noundef %154, ptr noundef nonnull @.str.4) #9
  %156 = load i32, ptr %137, align 4, !tbaa !5
  %157 = call ptr @strerror(i32 noundef %156) #9
  %158 = load i32, ptr %137, align 4, !tbaa !5
  %159 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %149, ptr noundef nonnull %.str.5.sink116, i32 noundef %150, ptr noundef nonnull @.str.9, ptr noundef nonnull @.str.1, i32 noundef 40, ptr noundef %153, ptr noundef %155, ptr noundef %157, i32 noundef %158) #11
  call void @exit(i32 noundef 1) #12
  unreachable

160:                                              ; preds = %125
  %161 = load i32, ptr @test_count, align 4, !tbaa !5
  %162 = add nsw i32 %161, 1
  store i32 %162, ptr @test_count, align 4, !tbaa !5
  %163 = call i32 @s2n_ecdhe_parameters_send(ptr noundef nonnull %4, ptr noundef nonnull %3) #9
  %164 = icmp eq i32 %163, -1
  br i1 %164, label %165, label %189

165:                                              ; preds = %160
  %166 = tail call ptr @__errno_location() #10
  %167 = load i32, ptr %166, align 4, !tbaa !5
  %168 = load ptr, ptr @stderr, align 8, !tbaa !9
  %169 = call i32 @s2n_print_stacktrace(ptr noundef %168) #9
  %170 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %171 = trunc nuw i8 %170 to i1
  br i1 %171, label %172, label %176

172:                                              ; preds = %165
  %173 = load ptr, ptr @stderr, align 8, !tbaa !9
  %174 = call i32 @fileno(ptr noundef %173) #9
  %175 = call i32 @isatty(i32 noundef %174) #9
  %.not67 = icmp eq i32 %175, 0
  br i1 %.not67, label %176, label %177

176:                                              ; preds = %172, %165
  br label %177

177:                                              ; preds = %172, %176
  %.str.5.sink127 = phi ptr [ @.str.5, %176 ], [ @.str.2, %172 ]
  store i32 %167, ptr %166, align 4, !tbaa !5
  %178 = load ptr, ptr @stderr, align 8, !tbaa !9
  %179 = load i32, ptr @test_count, align 4, !tbaa !5
  %180 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %181 = load i32, ptr %180, align 4, !tbaa !5
  %182 = call ptr @s2n_strerror(i32 noundef %181, ptr noundef nonnull @.str.4) #9
  %183 = load i32, ptr %180, align 4, !tbaa !5
  %184 = call ptr @s2n_strerror_debug(i32 noundef %183, ptr noundef nonnull @.str.4) #9
  %185 = load i32, ptr %166, align 4, !tbaa !5
  %186 = call ptr @strerror(i32 noundef %185) #9
  %187 = load i32, ptr %166, align 4, !tbaa !5
  %188 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %178, ptr noundef nonnull %.str.5.sink127, i32 noundef %179, ptr noundef nonnull @.str.10, ptr noundef nonnull @.str.1, i32 noundef 41, ptr noundef %182, ptr noundef %184, ptr noundef %186, i32 noundef %187) #11
  call void @exit(i32 noundef 1) #12
  unreachable

189:                                              ; preds = %160
  call void @llvm.lifetime.start.p0(i64 2, ptr nonnull %5) #9
  %190 = load i32, ptr @test_count, align 4, !tbaa !5
  %191 = add nsw i32 %190, 1
  store i32 %191, ptr @test_count, align 4, !tbaa !5
  %192 = call i32 @s2n_stuffer_read_uint16(ptr noundef nonnull %3, ptr noundef nonnull %5) #9
  %193 = icmp eq i32 %192, -1
  br i1 %193, label %194, label %218

194:                                              ; preds = %189
  %195 = tail call ptr @__errno_location() #10
  %196 = load i32, ptr %195, align 4, !tbaa !5
  %197 = load ptr, ptr @stderr, align 8, !tbaa !9
  %198 = call i32 @s2n_print_stacktrace(ptr noundef %197) #9
  %199 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %200 = trunc nuw i8 %199 to i1
  br i1 %200, label %201, label %205

201:                                              ; preds = %194
  %202 = load ptr, ptr @stderr, align 8, !tbaa !9
  %203 = call i32 @fileno(ptr noundef %202) #9
  %204 = call i32 @isatty(i32 noundef %203) #9
  %.not66 = icmp eq i32 %204, 0
  br i1 %.not66, label %205, label %206

205:                                              ; preds = %201, %194
  br label %206

206:                                              ; preds = %201, %205
  %.str.5.sink138 = phi ptr [ @.str.5, %205 ], [ @.str.2, %201 ]
  store i32 %196, ptr %195, align 4, !tbaa !5
  %207 = load ptr, ptr @stderr, align 8, !tbaa !9
  %208 = load i32, ptr @test_count, align 4, !tbaa !5
  %209 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %210 = load i32, ptr %209, align 4, !tbaa !5
  %211 = call ptr @s2n_strerror(i32 noundef %210, ptr noundef nonnull @.str.4) #9
  %212 = load i32, ptr %209, align 4, !tbaa !5
  %213 = call ptr @s2n_strerror_debug(i32 noundef %212, ptr noundef nonnull @.str.4) #9
  %214 = load i32, ptr %195, align 4, !tbaa !5
  %215 = call ptr @strerror(i32 noundef %214) #9
  %216 = load i32, ptr %195, align 4, !tbaa !5
  %217 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %207, ptr noundef nonnull %.str.5.sink138, i32 noundef %208, ptr noundef nonnull @.str.11, ptr noundef nonnull @.str.1, i32 noundef 42, ptr noundef %211, ptr noundef %213, ptr noundef %215, i32 noundef %216) #11
  call void @exit(i32 noundef 1) #12
  unreachable

218:                                              ; preds = %189
  %219 = load i32, ptr @test_count, align 4, !tbaa !5
  %220 = add nsw i32 %219, 1
  store i32 %220, ptr @test_count, align 4, !tbaa !5
  %221 = load i16, ptr %5, align 2, !tbaa !21
  %222 = load i16, ptr %126, align 8, !tbaa !22
  %223 = icmp eq i16 %221, %222
  br i1 %223, label %248, label %224

224:                                              ; preds = %218
  %225 = tail call ptr @__errno_location() #10
  %226 = load i32, ptr %225, align 4, !tbaa !5
  %227 = load ptr, ptr @stderr, align 8, !tbaa !9
  %228 = call i32 @s2n_print_stacktrace(ptr noundef %227) #9
  %229 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %230 = trunc nuw i8 %229 to i1
  br i1 %230, label %231, label %235

231:                                              ; preds = %224
  %232 = load ptr, ptr @stderr, align 8, !tbaa !9
  %233 = call i32 @fileno(ptr noundef %232) #9
  %234 = call i32 @isatty(i32 noundef %233) #9
  %.not = icmp eq i32 %234, 0
  br i1 %.not, label %235, label %236

235:                                              ; preds = %231, %224
  br label %236

236:                                              ; preds = %231, %235
  %.str.5.sink149 = phi ptr [ @.str.5, %235 ], [ @.str.2, %231 ]
  store i32 %226, ptr %225, align 4, !tbaa !5
  %237 = load ptr, ptr @stderr, align 8, !tbaa !9
  %238 = load i32, ptr @test_count, align 4, !tbaa !5
  %239 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %240 = load i32, ptr %239, align 4, !tbaa !5
  %241 = call ptr @s2n_strerror(i32 noundef %240, ptr noundef nonnull @.str.4) #9
  %242 = load i32, ptr %239, align 4, !tbaa !5
  %243 = call ptr @s2n_strerror_debug(i32 noundef %242, ptr noundef nonnull @.str.4) #9
  %244 = load i32, ptr %225, align 4, !tbaa !5
  %245 = call ptr @strerror(i32 noundef %244) #9
  %246 = load i32, ptr %225, align 4, !tbaa !5
  %247 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %237, ptr noundef nonnull %.str.5.sink149, i32 noundef %238, ptr noundef nonnull @.str.12, ptr noundef nonnull @.str.1, i32 noundef 42, ptr noundef %241, ptr noundef %243, ptr noundef %245, i32 noundef %246) #11
  call void @exit(i32 noundef 1) #12
  unreachable

248:                                              ; preds = %218
  call void @llvm.lifetime.end.p0(i64 2, ptr nonnull %5) #9
  call void @llvm.lifetime.start.p0(i64 2, ptr nonnull %6) #9
  %249 = add nsw i32 %219, 2
  store i32 %249, ptr @test_count, align 4, !tbaa !5
  %250 = call i32 @s2n_stuffer_read_uint16(ptr noundef nonnull %3, ptr noundef nonnull %6) #9
  %251 = icmp eq i32 %250, -1
  br i1 %251, label %252, label %276

252:                                              ; preds = %248
  %253 = tail call ptr @__errno_location() #10
  %254 = load i32, ptr %253, align 4, !tbaa !5
  %255 = load ptr, ptr @stderr, align 8, !tbaa !9
  %256 = call i32 @s2n_print_stacktrace(ptr noundef %255) #9
  %257 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %258 = trunc nuw i8 %257 to i1
  br i1 %258, label %259, label %263

259:                                              ; preds = %252
  %260 = load ptr, ptr @stderr, align 8, !tbaa !9
  %261 = call i32 @fileno(ptr noundef %260) #9
  %262 = call i32 @isatty(i32 noundef %261) #9
  %.not65 = icmp eq i32 %262, 0
  br i1 %.not65, label %263, label %264

263:                                              ; preds = %259, %252
  br label %264

264:                                              ; preds = %259, %263
  %.str.5.sink160 = phi ptr [ @.str.5, %263 ], [ @.str.2, %259 ]
  store i32 %254, ptr %253, align 4, !tbaa !5
  %265 = load ptr, ptr @stderr, align 8, !tbaa !9
  %266 = load i32, ptr @test_count, align 4, !tbaa !5
  %267 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %268 = load i32, ptr %267, align 4, !tbaa !5
  %269 = call ptr @s2n_strerror(i32 noundef %268, ptr noundef nonnull @.str.4) #9
  %270 = load i32, ptr %267, align 4, !tbaa !5
  %271 = call ptr @s2n_strerror_debug(i32 noundef %270, ptr noundef nonnull @.str.4) #9
  %272 = load i32, ptr %253, align 4, !tbaa !5
  %273 = call ptr @strerror(i32 noundef %272) #9
  %274 = load i32, ptr %253, align 4, !tbaa !5
  %275 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %265, ptr noundef nonnull %.str.5.sink160, i32 noundef %266, ptr noundef nonnull @.str.11, ptr noundef nonnull @.str.1, i32 noundef 43, ptr noundef %269, ptr noundef %271, ptr noundef %273, i32 noundef %274) #11
  call void @exit(i32 noundef 1) #12
  unreachable

276:                                              ; preds = %248
  %277 = load i32, ptr @test_count, align 4, !tbaa !5
  %278 = add nsw i32 %277, 1
  store i32 %278, ptr @test_count, align 4, !tbaa !5
  %279 = load i16, ptr %6, align 2, !tbaa !21
  %280 = load i8, ptr %130, align 8, !tbaa !18
  %281 = zext i8 %280 to i16
  %282 = icmp eq i16 %279, %281
  br i1 %282, label %307, label %283

283:                                              ; preds = %276
  %284 = tail call ptr @__errno_location() #10
  %285 = load i32, ptr %284, align 4, !tbaa !5
  %286 = load ptr, ptr @stderr, align 8, !tbaa !9
  %287 = call i32 @s2n_print_stacktrace(ptr noundef %286) #9
  %288 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %289 = trunc nuw i8 %288 to i1
  br i1 %289, label %290, label %294

290:                                              ; preds = %283
  %291 = load ptr, ptr @stderr, align 8, !tbaa !9
  %292 = call i32 @fileno(ptr noundef %291) #9
  %293 = call i32 @isatty(i32 noundef %292) #9
  %.not50 = icmp eq i32 %293, 0
  br i1 %.not50, label %294, label %295

294:                                              ; preds = %290, %283
  br label %295

295:                                              ; preds = %290, %294
  %.str.5.sink171 = phi ptr [ @.str.5, %294 ], [ @.str.2, %290 ]
  store i32 %285, ptr %284, align 4, !tbaa !5
  %296 = load ptr, ptr @stderr, align 8, !tbaa !9
  %297 = load i32, ptr @test_count, align 4, !tbaa !5
  %298 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %299 = load i32, ptr %298, align 4, !tbaa !5
  %300 = call ptr @s2n_strerror(i32 noundef %299, ptr noundef nonnull @.str.4) #9
  %301 = load i32, ptr %298, align 4, !tbaa !5
  %302 = call ptr @s2n_strerror_debug(i32 noundef %301, ptr noundef nonnull @.str.4) #9
  %303 = load i32, ptr %284, align 4, !tbaa !5
  %304 = call ptr @strerror(i32 noundef %303) #9
  %305 = load i32, ptr %284, align 4, !tbaa !5
  %306 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %296, ptr noundef nonnull %.str.5.sink171, i32 noundef %297, ptr noundef nonnull @.str.13, ptr noundef nonnull @.str.1, i32 noundef 43, ptr noundef %300, ptr noundef %302, ptr noundef %304, i32 noundef %305) #11
  call void @exit(i32 noundef 1) #12
  unreachable

307:                                              ; preds = %276
  call void @llvm.lifetime.end.p0(i64 2, ptr nonnull %6) #9
  %308 = add nsw i32 %277, 2
  store i32 %308, ptr @test_count, align 4, !tbaa !5
  %309 = getelementptr inbounds i8, ptr %3, i64 28
  %310 = load i32, ptr %309, align 4, !tbaa !23
  %311 = getelementptr inbounds i8, ptr %3, i64 24
  %312 = load i32, ptr %311, align 8, !tbaa !26
  %313 = sub i32 %310, %312
  %314 = zext i8 %280 to i32
  %315 = icmp eq i32 %313, %314
  br i1 %315, label %340, label %316

316:                                              ; preds = %307
  %317 = tail call ptr @__errno_location() #10
  %318 = load i32, ptr %317, align 4, !tbaa !5
  %319 = load ptr, ptr @stderr, align 8, !tbaa !9
  %320 = call i32 @s2n_print_stacktrace(ptr noundef %319) #9
  %321 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %322 = trunc nuw i8 %321 to i1
  br i1 %322, label %323, label %327

323:                                              ; preds = %316
  %324 = load ptr, ptr @stderr, align 8, !tbaa !9
  %325 = call i32 @fileno(ptr noundef %324) #9
  %326 = call i32 @isatty(i32 noundef %325) #9
  %.not51 = icmp eq i32 %326, 0
  br i1 %.not51, label %327, label %328

327:                                              ; preds = %323, %316
  br label %328

328:                                              ; preds = %323, %327
  %.str.5.sink182 = phi ptr [ @.str.5, %327 ], [ @.str.2, %323 ]
  store i32 %318, ptr %317, align 4, !tbaa !5
  %329 = load ptr, ptr @stderr, align 8, !tbaa !9
  %330 = load i32, ptr @test_count, align 4, !tbaa !5
  %331 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %332 = load i32, ptr %331, align 4, !tbaa !5
  %333 = call ptr @s2n_strerror(i32 noundef %332, ptr noundef nonnull @.str.4) #9
  %334 = load i32, ptr %331, align 4, !tbaa !5
  %335 = call ptr @s2n_strerror_debug(i32 noundef %334, ptr noundef nonnull @.str.4) #9
  %336 = load i32, ptr %317, align 4, !tbaa !5
  %337 = call ptr @strerror(i32 noundef %336) #9
  %338 = load i32, ptr %317, align 4, !tbaa !5
  %339 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %329, ptr noundef nonnull %.str.5.sink182, i32 noundef %330, ptr noundef nonnull @.str.14, ptr noundef nonnull @.str.1, i32 noundef 44, ptr noundef %333, ptr noundef %335, ptr noundef %337, i32 noundef %338) #11
  call void @exit(i32 noundef 1) #12
  unreachable

340:                                              ; preds = %307
  %341 = add nsw i32 %277, 3
  store i32 %341, ptr @test_count, align 4, !tbaa !5
  %342 = call i32 @s2n_ecc_evp_params_free(ptr noundef nonnull %4) #9
  %343 = icmp eq i32 %342, -1
  br i1 %343, label %344, label %368

344:                                              ; preds = %340
  %345 = tail call ptr @__errno_location() #10
  %346 = load i32, ptr %345, align 4, !tbaa !5
  %347 = load ptr, ptr @stderr, align 8, !tbaa !9
  %348 = call i32 @s2n_print_stacktrace(ptr noundef %347) #9
  %349 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %350 = trunc nuw i8 %349 to i1
  br i1 %350, label %351, label %355

351:                                              ; preds = %344
  %352 = load ptr, ptr @stderr, align 8, !tbaa !9
  %353 = call i32 @fileno(ptr noundef %352) #9
  %354 = call i32 @isatty(i32 noundef %353) #9
  %.not64 = icmp eq i32 %354, 0
  br i1 %.not64, label %355, label %356

355:                                              ; preds = %351, %344
  br label %356

356:                                              ; preds = %351, %355
  %.str.5.sink193 = phi ptr [ @.str.5, %355 ], [ @.str.2, %351 ]
  store i32 %346, ptr %345, align 4, !tbaa !5
  %357 = load ptr, ptr @stderr, align 8, !tbaa !9
  %358 = load i32, ptr @test_count, align 4, !tbaa !5
  %359 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %360 = load i32, ptr %359, align 4, !tbaa !5
  %361 = call ptr @s2n_strerror(i32 noundef %360, ptr noundef nonnull @.str.4) #9
  %362 = load i32, ptr %359, align 4, !tbaa !5
  %363 = call ptr @s2n_strerror_debug(i32 noundef %362, ptr noundef nonnull @.str.4) #9
  %364 = load i32, ptr %345, align 4, !tbaa !5
  %365 = call ptr @strerror(i32 noundef %364) #9
  %366 = load i32, ptr %345, align 4, !tbaa !5
  %367 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %357, ptr noundef nonnull %.str.5.sink193, i32 noundef %358, ptr noundef nonnull @.str.15, ptr noundef nonnull @.str.1, i32 noundef 46, ptr noundef %361, ptr noundef %363, ptr noundef %365, i32 noundef %366) #11
  call void @exit(i32 noundef 1) #12
  unreachable

368:                                              ; preds = %340
  %369 = load i32, ptr @test_count, align 4, !tbaa !5
  %370 = add nsw i32 %369, 1
  store i32 %370, ptr @test_count, align 4, !tbaa !5
  %371 = call i32 @s2n_stuffer_free(ptr noundef nonnull %3) #9
  %372 = icmp eq i32 %371, -1
  br i1 %372, label %373, label %397

373:                                              ; preds = %368
  %374 = tail call ptr @__errno_location() #10
  %375 = load i32, ptr %374, align 4, !tbaa !5
  %376 = load ptr, ptr @stderr, align 8, !tbaa !9
  %377 = call i32 @s2n_print_stacktrace(ptr noundef %376) #9
  %378 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %379 = trunc nuw i8 %378 to i1
  br i1 %379, label %380, label %384

380:                                              ; preds = %373
  %381 = load ptr, ptr @stderr, align 8, !tbaa !9
  %382 = call i32 @fileno(ptr noundef %381) #9
  %383 = call i32 @isatty(i32 noundef %382) #9
  %.not63 = icmp eq i32 %383, 0
  br i1 %.not63, label %384, label %385

384:                                              ; preds = %380, %373
  br label %385

385:                                              ; preds = %380, %384
  %.str.5.sink204 = phi ptr [ @.str.5, %384 ], [ @.str.2, %380 ]
  store i32 %375, ptr %374, align 4, !tbaa !5
  %386 = load ptr, ptr @stderr, align 8, !tbaa !9
  %387 = load i32, ptr @test_count, align 4, !tbaa !5
  %388 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %389 = load i32, ptr %388, align 4, !tbaa !5
  %390 = call ptr @s2n_strerror(i32 noundef %389, ptr noundef nonnull @.str.4) #9
  %391 = load i32, ptr %388, align 4, !tbaa !5
  %392 = call ptr @s2n_strerror_debug(i32 noundef %391, ptr noundef nonnull @.str.4) #9
  %393 = load i32, ptr %374, align 4, !tbaa !5
  %394 = call ptr @strerror(i32 noundef %393) #9
  %395 = load i32, ptr %374, align 4, !tbaa !5
  %396 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %386, ptr noundef nonnull %.str.5.sink204, i32 noundef %387, ptr noundef nonnull @.str.16, ptr noundef nonnull @.str.1, i32 noundef 47, ptr noundef %390, ptr noundef %392, ptr noundef %394, i32 noundef %395) #11
  call void @exit(i32 noundef 1) #12
  unreachable

397:                                              ; preds = %368
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %4) #9
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %3) #9
  call void @llvm.lifetime.start.p0(i64 40, ptr nonnull %7) #9
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(40) %7, i8 0, i64 40, i1 false)
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %8) #9
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %9) #9
  store i16 12345, ptr %9, align 8, !tbaa !22
  %398 = getelementptr inbounds i8, ptr %9, i64 4
  store i32 0, ptr %398, align 4, !tbaa !27
  %399 = getelementptr inbounds i8, ptr %9, i64 8
  %400 = getelementptr inbounds i8, ptr %126, i64 8
  %401 = load ptr, ptr %400, align 8, !tbaa !28
  store ptr %401, ptr %399, align 8, !tbaa !28
  %402 = getelementptr inbounds i8, ptr %9, i64 16
  %403 = load i8, ptr %130, align 8, !tbaa !18
  store i8 %403, ptr %402, align 8, !tbaa !18
  %404 = getelementptr inbounds i8, ptr %9, i64 24
  store ptr null, ptr %404, align 8, !tbaa !29
  store ptr %9, ptr %8, align 8, !tbaa !15
  %405 = getelementptr inbounds i8, ptr %8, i64 8
  store ptr null, ptr %405, align 8, !tbaa !17
  %406 = load i32, ptr @test_count, align 4, !tbaa !5
  %407 = add nsw i32 %406, 1
  store i32 %407, ptr @test_count, align 4, !tbaa !5
  %408 = zext i8 %403 to i32
  %409 = add nuw nsw i32 %408, 4
  %410 = call i32 @s2n_stuffer_alloc(ptr noundef nonnull %7, i32 noundef %409) #9
  %411 = icmp eq i32 %410, -1
  br i1 %411, label %412, label %436

412:                                              ; preds = %397
  %413 = tail call ptr @__errno_location() #10
  %414 = load i32, ptr %413, align 4, !tbaa !5
  %415 = load ptr, ptr @stderr, align 8, !tbaa !9
  %416 = call i32 @s2n_print_stacktrace(ptr noundef %415) #9
  %417 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %418 = trunc nuw i8 %417 to i1
  br i1 %418, label %419, label %423

419:                                              ; preds = %412
  %420 = load ptr, ptr @stderr, align 8, !tbaa !9
  %421 = call i32 @fileno(ptr noundef %420) #9
  %422 = call i32 @isatty(i32 noundef %421) #9
  %.not62 = icmp eq i32 %422, 0
  br i1 %.not62, label %423, label %424

423:                                              ; preds = %419, %412
  br label %424

424:                                              ; preds = %419, %423
  %.str.5.sink215 = phi ptr [ @.str.5, %423 ], [ @.str.2, %419 ]
  store i32 %414, ptr %413, align 4, !tbaa !5
  %425 = load ptr, ptr @stderr, align 8, !tbaa !9
  %426 = load i32, ptr @test_count, align 4, !tbaa !5
  %427 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %428 = load i32, ptr %427, align 4, !tbaa !5
  %429 = call ptr @s2n_strerror(i32 noundef %428, ptr noundef nonnull @.str.4) #9
  %430 = load i32, ptr %427, align 4, !tbaa !5
  %431 = call ptr @s2n_strerror_debug(i32 noundef %430, ptr noundef nonnull @.str.4) #9
  %432 = load i32, ptr %413, align 4, !tbaa !5
  %433 = call ptr @strerror(i32 noundef %432) #9
  %434 = load i32, ptr %413, align 4, !tbaa !5
  %435 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %425, ptr noundef nonnull %.str.5.sink215, i32 noundef %426, ptr noundef nonnull @.str.17, ptr noundef nonnull @.str.1, i32 noundef 65, ptr noundef %429, ptr noundef %431, ptr noundef %433, i32 noundef %434) #11
  call void @exit(i32 noundef 1) #12
  unreachable

436:                                              ; preds = %397
  %437 = load i32, ptr @test_count, align 4, !tbaa !5
  %438 = add nsw i32 %437, 1
  store i32 %438, ptr @test_count, align 4, !tbaa !5
  %439 = call i32 @s2n_ecdhe_parameters_send(ptr noundef nonnull %8, ptr noundef nonnull %7) #9
  %440 = icmp eq i32 %439, -1
  br i1 %440, label %465, label %441

441:                                              ; preds = %436
  %442 = tail call ptr @__errno_location() #10
  %443 = load i32, ptr %442, align 4, !tbaa !5
  %444 = load ptr, ptr @stderr, align 8, !tbaa !9
  %445 = call i32 @s2n_print_stacktrace(ptr noundef %444) #9
  %446 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %447 = trunc nuw i8 %446 to i1
  br i1 %447, label %448, label %452

448:                                              ; preds = %441
  %449 = load ptr, ptr @stderr, align 8, !tbaa !9
  %450 = call i32 @fileno(ptr noundef %449) #9
  %451 = call i32 @isatty(i32 noundef %450) #9
  %.not52 = icmp eq i32 %451, 0
  br i1 %.not52, label %452, label %453

452:                                              ; preds = %448, %441
  br label %453

453:                                              ; preds = %448, %452
  %.str.5.sink226 = phi ptr [ @.str.5, %452 ], [ @.str.2, %448 ]
  store i32 %443, ptr %442, align 4, !tbaa !5
  %454 = load ptr, ptr @stderr, align 8, !tbaa !9
  %455 = load i32, ptr @test_count, align 4, !tbaa !5
  %456 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %457 = load i32, ptr %456, align 4, !tbaa !5
  %458 = call ptr @s2n_strerror(i32 noundef %457, ptr noundef nonnull @.str.4) #9
  %459 = load i32, ptr %456, align 4, !tbaa !5
  %460 = call ptr @s2n_strerror_debug(i32 noundef %459, ptr noundef nonnull @.str.4) #9
  %461 = load i32, ptr %442, align 4, !tbaa !5
  %462 = call ptr @strerror(i32 noundef %461) #9
  %463 = load i32, ptr %442, align 4, !tbaa !5
  %464 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %454, ptr noundef nonnull %.str.5.sink226, i32 noundef %455, ptr noundef nonnull @.str.18, ptr noundef nonnull @.str.1, i32 noundef 67, ptr noundef %458, ptr noundef %460, ptr noundef %462, i32 noundef %463) #11
  call void @exit(i32 noundef 1) #12
  unreachable

465:                                              ; preds = %436
  %466 = load i32, ptr @test_count, align 4, !tbaa !5
  %467 = add nsw i32 %466, 1
  store i32 %467, ptr @test_count, align 4, !tbaa !5
  %468 = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @s2n_errno)
  %469 = load i32, ptr %468, align 4, !tbaa !5
  %470 = icmp eq i32 %469, 0
  br i1 %470, label %471, label %494

471:                                              ; preds = %465
  %472 = tail call ptr @__errno_location() #10
  %473 = load i32, ptr %472, align 4, !tbaa !5
  %474 = load ptr, ptr @stderr, align 8, !tbaa !9
  %475 = call i32 @s2n_print_stacktrace(ptr noundef %474) #9
  %476 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %477 = trunc nuw i8 %476 to i1
  br i1 %477, label %478, label %482

478:                                              ; preds = %471
  %479 = load ptr, ptr @stderr, align 8, !tbaa !9
  %480 = call i32 @fileno(ptr noundef %479) #9
  %481 = call i32 @isatty(i32 noundef %480) #9
  %.not61 = icmp eq i32 %481, 0
  br i1 %.not61, label %482, label %483

482:                                              ; preds = %478, %471
  br label %483

483:                                              ; preds = %478, %482
  %.str.5.sink237 = phi ptr [ @.str.5, %482 ], [ @.str.2, %478 ]
  store i32 %473, ptr %472, align 4, !tbaa !5
  %484 = load ptr, ptr @stderr, align 8, !tbaa !9
  %485 = load i32, ptr @test_count, align 4, !tbaa !5
  %486 = load i32, ptr %468, align 4, !tbaa !5
  %487 = call ptr @s2n_strerror(i32 noundef %486, ptr noundef nonnull @.str.4) #9
  %488 = load i32, ptr %468, align 4, !tbaa !5
  %489 = call ptr @s2n_strerror_debug(i32 noundef %488, ptr noundef nonnull @.str.4) #9
  %490 = load i32, ptr %472, align 4, !tbaa !5
  %491 = call ptr @strerror(i32 noundef %490) #9
  %492 = load i32, ptr %472, align 4, !tbaa !5
  %493 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %484, ptr noundef nonnull %.str.5.sink237, i32 noundef %485, ptr noundef nonnull @.str.19, ptr noundef nonnull @.str.1, i32 noundef 67, ptr noundef %487, ptr noundef %489, ptr noundef %491, i32 noundef %492) #11
  call void @exit(i32 noundef 1) #12
  unreachable

494:                                              ; preds = %465
  %495 = add nsw i32 %466, 2
  store i32 %495, ptr @test_count, align 4, !tbaa !5
  %496 = call ptr @s2n_strerror_debug(i32 noundef %469, ptr noundef nonnull @.str.4) #9
  %497 = icmp eq ptr %496, null
  br i1 %497, label %498, label %521

498:                                              ; preds = %494
  %499 = tail call ptr @__errno_location() #10
  %500 = load i32, ptr %499, align 4, !tbaa !5
  %501 = load ptr, ptr @stderr, align 8, !tbaa !9
  %502 = call i32 @s2n_print_stacktrace(ptr noundef %501) #9
  %503 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %504 = trunc nuw i8 %503 to i1
  br i1 %504, label %505, label %509

505:                                              ; preds = %498
  %506 = load ptr, ptr @stderr, align 8, !tbaa !9
  %507 = call i32 @fileno(ptr noundef %506) #9
  %508 = call i32 @isatty(i32 noundef %507) #9
  %.not60 = icmp eq i32 %508, 0
  br i1 %.not60, label %509, label %510

509:                                              ; preds = %505, %498
  br label %510

510:                                              ; preds = %505, %509
  %.str.5.sink246 = phi ptr [ @.str.5, %509 ], [ @.str.2, %505 ]
  store i32 %500, ptr %499, align 4, !tbaa !5
  %511 = load ptr, ptr @stderr, align 8, !tbaa !9
  %512 = load i32, ptr @test_count, align 4, !tbaa !5
  %513 = load i32, ptr %468, align 4, !tbaa !5
  %514 = call ptr @s2n_strerror(i32 noundef %513, ptr noundef nonnull @.str.4) #9
  %515 = load i32, ptr %468, align 4, !tbaa !5
  %516 = call ptr @s2n_strerror_debug(i32 noundef %515, ptr noundef nonnull @.str.4) #9
  %517 = load i32, ptr %499, align 4, !tbaa !5
  %518 = call ptr @strerror(i32 noundef %517) #9
  %519 = load i32, ptr %499, align 4, !tbaa !5
  %520 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %511, ptr noundef nonnull %.str.5.sink246, i32 noundef %512, ptr noundef nonnull @.str.20, ptr noundef nonnull @.str.1, i32 noundef 67, ptr noundef %514, ptr noundef %516, ptr noundef %518, i32 noundef %519) #11
  call void @exit(i32 noundef 1) #12
  unreachable

521:                                              ; preds = %494
  store i32 0, ptr %468, align 4, !tbaa !5
  call void @s2n_debug_info_reset() #9
  %522 = tail call ptr @__errno_location() #10
  store i32 0, ptr %522, align 4, !tbaa !5
  %523 = load i32, ptr @test_count, align 4, !tbaa !5
  %524 = add nsw i32 %523, 1
  store i32 %524, ptr @test_count, align 4, !tbaa !5
  %525 = call i32 @s2n_ecc_evp_params_free(ptr noundef nonnull %8) #9
  %526 = icmp eq i32 %525, -1
  br i1 %526, label %527, label %549

527:                                              ; preds = %521
  %528 = load i32, ptr %522, align 4, !tbaa !5
  %529 = load ptr, ptr @stderr, align 8, !tbaa !9
  %530 = call i32 @s2n_print_stacktrace(ptr noundef %529) #9
  %531 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %532 = trunc nuw i8 %531 to i1
  br i1 %532, label %533, label %537

533:                                              ; preds = %527
  %534 = load ptr, ptr @stderr, align 8, !tbaa !9
  %535 = call i32 @fileno(ptr noundef %534) #9
  %536 = call i32 @isatty(i32 noundef %535) #9
  %.not59 = icmp eq i32 %536, 0
  br i1 %.not59, label %537, label %538

537:                                              ; preds = %533, %527
  br label %538

538:                                              ; preds = %533, %537
  %.str.5.sink255 = phi ptr [ @.str.5, %537 ], [ @.str.2, %533 ]
  store i32 %528, ptr %522, align 4, !tbaa !5
  %539 = load ptr, ptr @stderr, align 8, !tbaa !9
  %540 = load i32, ptr @test_count, align 4, !tbaa !5
  %541 = load i32, ptr %468, align 4, !tbaa !5
  %542 = call ptr @s2n_strerror(i32 noundef %541, ptr noundef nonnull @.str.4) #9
  %543 = load i32, ptr %468, align 4, !tbaa !5
  %544 = call ptr @s2n_strerror_debug(i32 noundef %543, ptr noundef nonnull @.str.4) #9
  %545 = load i32, ptr %522, align 4, !tbaa !5
  %546 = call ptr @strerror(i32 noundef %545) #9
  %547 = load i32, ptr %522, align 4, !tbaa !5
  %548 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %539, ptr noundef nonnull %.str.5.sink255, i32 noundef %540, ptr noundef nonnull @.str.15, ptr noundef nonnull @.str.1, i32 noundef 69, ptr noundef %542, ptr noundef %544, ptr noundef %546, i32 noundef %547) #11
  call void @exit(i32 noundef 1) #12
  unreachable

549:                                              ; preds = %521
  %550 = load i32, ptr @test_count, align 4, !tbaa !5
  %551 = add nsw i32 %550, 1
  store i32 %551, ptr @test_count, align 4, !tbaa !5
  %552 = call i32 @s2n_stuffer_free(ptr noundef nonnull %7) #9
  %553 = icmp eq i32 %552, -1
  br i1 %553, label %554, label %576

554:                                              ; preds = %549
  %555 = load i32, ptr %522, align 4, !tbaa !5
  %556 = load ptr, ptr @stderr, align 8, !tbaa !9
  %557 = call i32 @s2n_print_stacktrace(ptr noundef %556) #9
  %558 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %559 = trunc nuw i8 %558 to i1
  br i1 %559, label %560, label %564

560:                                              ; preds = %554
  %561 = load ptr, ptr @stderr, align 8, !tbaa !9
  %562 = call i32 @fileno(ptr noundef %561) #9
  %563 = call i32 @isatty(i32 noundef %562) #9
  %.not58 = icmp eq i32 %563, 0
  br i1 %.not58, label %564, label %565

564:                                              ; preds = %560, %554
  br label %565

565:                                              ; preds = %560, %564
  %.str.5.sink264 = phi ptr [ @.str.5, %564 ], [ @.str.2, %560 ]
  store i32 %555, ptr %522, align 4, !tbaa !5
  %566 = load ptr, ptr @stderr, align 8, !tbaa !9
  %567 = load i32, ptr @test_count, align 4, !tbaa !5
  %568 = load i32, ptr %468, align 4, !tbaa !5
  %569 = call ptr @s2n_strerror(i32 noundef %568, ptr noundef nonnull @.str.4) #9
  %570 = load i32, ptr %468, align 4, !tbaa !5
  %571 = call ptr @s2n_strerror_debug(i32 noundef %570, ptr noundef nonnull @.str.4) #9
  %572 = load i32, ptr %522, align 4, !tbaa !5
  %573 = call ptr @strerror(i32 noundef %572) #9
  %574 = load i32, ptr %522, align 4, !tbaa !5
  %575 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %566, ptr noundef nonnull %.str.5.sink264, i32 noundef %567, ptr noundef nonnull @.str.16, ptr noundef nonnull @.str.1, i32 noundef 70, ptr noundef %569, ptr noundef %571, ptr noundef %573, i32 noundef %574) #11
  call void @exit(i32 noundef 1) #12
  unreachable

576:                                              ; preds = %549
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %9) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %8) #9
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %7) #9
  %577 = call i32 @s2n_cleanup() #9
  %578 = icmp eq i32 %577, -1
  br i1 %578, label %579, label %601

579:                                              ; preds = %576
  %580 = load i32, ptr %522, align 4, !tbaa !5
  %581 = load ptr, ptr @stderr, align 8, !tbaa !9
  %582 = call i32 @s2n_print_stacktrace(ptr noundef %581) #9
  %583 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %584 = trunc nuw i8 %583 to i1
  br i1 %584, label %585, label %589

585:                                              ; preds = %579
  %586 = load ptr, ptr @stderr, align 8, !tbaa !9
  %587 = call i32 @fileno(ptr noundef %586) #9
  %588 = call i32 @isatty(i32 noundef %587) #9
  %.not57 = icmp eq i32 %588, 0
  br i1 %.not57, label %589, label %590

589:                                              ; preds = %585, %579
  br label %590

590:                                              ; preds = %585, %589
  %.str.5.sink273 = phi ptr [ @.str.5, %589 ], [ @.str.2, %585 ]
  store i32 %580, ptr %522, align 4, !tbaa !5
  %591 = load ptr, ptr @stderr, align 8, !tbaa !9
  %592 = load i32, ptr @test_count, align 4, !tbaa !5
  %593 = load i32, ptr %468, align 4, !tbaa !5
  %594 = call ptr @s2n_strerror(i32 noundef %593, ptr noundef nonnull @.str.4) #9
  %595 = load i32, ptr %468, align 4, !tbaa !5
  %596 = call ptr @s2n_strerror_debug(i32 noundef %595, ptr noundef nonnull @.str.4) #9
  %597 = load i32, ptr %522, align 4, !tbaa !5
  %598 = call ptr @strerror(i32 noundef %597) #9
  %599 = load i32, ptr %522, align 4, !tbaa !5
  %600 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %591, ptr noundef nonnull %.str.5.sink273, i32 noundef %592, ptr noundef nonnull @.str.21, ptr noundef nonnull @.str.1, i32 noundef 73, ptr noundef %594, ptr noundef %596, ptr noundef %598, i32 noundef %599) #11
  call void @exit(i32 noundef 1) #12
  unreachable

601:                                              ; preds = %576
  %602 = call i32 @s2n_in_unit_test_set(i1 noundef zeroext false) #9
  %603 = icmp eq i32 %602, -1
  br i1 %603, label %604, label %626

604:                                              ; preds = %601
  %605 = load i32, ptr %522, align 4, !tbaa !5
  %606 = load ptr, ptr @stderr, align 8, !tbaa !9
  %607 = call i32 @s2n_print_stacktrace(ptr noundef %606) #9
  %608 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %609 = trunc nuw i8 %608 to i1
  br i1 %609, label %610, label %614

610:                                              ; preds = %604
  %611 = load ptr, ptr @stderr, align 8, !tbaa !9
  %612 = call i32 @fileno(ptr noundef %611) #9
  %613 = call i32 @isatty(i32 noundef %612) #9
  %.not56 = icmp eq i32 %613, 0
  br i1 %.not56, label %614, label %615

614:                                              ; preds = %610, %604
  br label %615

615:                                              ; preds = %610, %614
  %.str.5.sink282 = phi ptr [ @.str.5, %614 ], [ @.str.2, %610 ]
  store i32 %605, ptr %522, align 4, !tbaa !5
  %616 = load ptr, ptr @stderr, align 8, !tbaa !9
  %617 = load i32, ptr @test_count, align 4, !tbaa !5
  %618 = load i32, ptr %468, align 4, !tbaa !5
  %619 = call ptr @s2n_strerror(i32 noundef %618, ptr noundef nonnull @.str.4) #9
  %620 = load i32, ptr %468, align 4, !tbaa !5
  %621 = call ptr @s2n_strerror_debug(i32 noundef %620, ptr noundef nonnull @.str.4) #9
  %622 = load i32, ptr %522, align 4, !tbaa !5
  %623 = call ptr @strerror(i32 noundef %622) #9
  %624 = load i32, ptr %522, align 4, !tbaa !5
  %625 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %616, ptr noundef nonnull %.str.5.sink282, i32 noundef %617, ptr noundef nonnull @.str.22, ptr noundef nonnull @.str.1, i32 noundef 73, ptr noundef %619, ptr noundef %621, ptr noundef %623, i32 noundef %624) #11
  call void @exit(i32 noundef 1) #12
  unreachable

626:                                              ; preds = %601
  %627 = load i8, ptr @s2n_use_color_in_output, align 1, !tbaa !11, !range !13, !noundef !14
  %628 = trunc nuw i8 %627 to i1
  br i1 %628, label %629, label %640

629:                                              ; preds = %626
  %630 = load ptr, ptr @stdout, align 8, !tbaa !9
  %631 = call i32 @fileno(ptr noundef %630) #9
  %632 = call i32 @isatty(i32 noundef %631) #9
  %.not53 = icmp eq i32 %632, 0
  br i1 %.not53, label %640, label %633

633:                                              ; preds = %629
  %634 = load i32, ptr @test_count, align 4, !tbaa !5
  %.not55 = icmp eq i32 %634, 0
  %635 = load ptr, ptr @stdout, align 8, !tbaa !9
  br i1 %.not55, label %638, label %636

636:                                              ; preds = %633
  %637 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %635, ptr noundef nonnull @.str.23, i32 noundef %634) #9
  br label %647

638:                                              ; preds = %633
  %639 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %635, ptr noundef nonnull @.str.24) #9
  br label %647

640:                                              ; preds = %629, %626
  %641 = load i32, ptr @test_count, align 4, !tbaa !5
  %.not54 = icmp eq i32 %641, 0
  %642 = load ptr, ptr @stdout, align 8, !tbaa !9
  br i1 %.not54, label %645, label %643

643:                                              ; preds = %640
  %644 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %642, ptr noundef nonnull @.str.25, i32 noundef %641) #9
  br label %647

645:                                              ; preds = %640
  %646 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %642, ptr noundef nonnull @.str.26) #9
  br label %647

647:                                              ; preds = %643, %645, %636, %638
  ret i32 0
}

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

; Function Attrs: nofree nounwind
declare noundef i32 @fflush(ptr nocapture noundef) local_unnamed_addr #1

declare i32 @s2n_in_unit_test_set(i1 noundef zeroext) local_unnamed_addr #2

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

; Function Attrs: mustprogress nofree nosync nounwind willreturn memory(none)
declare ptr @__errno_location() local_unnamed_addr #4

declare i32 @s2n_print_stacktrace(ptr noundef) local_unnamed_addr #2

; Function Attrs: nounwind
declare i32 @isatty(i32 noundef) local_unnamed_addr #5

; Function Attrs: nofree nounwind
declare noundef i32 @fileno(ptr nocapture noundef) local_unnamed_addr #1

declare ptr @s2n_strerror(i32 noundef, ptr noundef) local_unnamed_addr #2

; Function Attrs: mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare nonnull ptr @llvm.threadlocal.address.p0(ptr nonnull) #6

declare ptr @s2n_strerror_debug(i32 noundef, ptr noundef) local_unnamed_addr #2

; Function Attrs: nounwind
declare ptr @strerror(i32 noundef) local_unnamed_addr #5

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

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

declare i32 @s2n_enable_atexit() local_unnamed_addr #2

declare i32 @s2n_init() local_unnamed_addr #2

declare i32 @s2n_disable_tls13_in_test(...) local_unnamed_addr #2

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

declare i32 @s2n_stuffer_alloc(ptr noundef, i32 noundef) local_unnamed_addr #2

declare i32 @s2n_ecdhe_parameters_send(ptr noundef, ptr noundef) local_unnamed_addr #2

declare i32 @s2n_stuffer_read_uint16(ptr noundef, ptr noundef) local_unnamed_addr #2

declare i32 @s2n_ecc_evp_params_free(ptr noundef) local_unnamed_addr #2

declare i32 @s2n_stuffer_free(ptr noundef) local_unnamed_addr #2

declare void @s2n_debug_info_reset() local_unnamed_addr #2

declare i32 @s2n_cleanup() local_unnamed_addr #2

attributes #0 = { 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 #1 = { 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 #2 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #4 = { mustprogress nofree nosync nounwind willreturn memory(none) "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 "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 = { mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #7 = { 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 #8 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #9 = { nounwind }
attributes #10 = { nounwind willreturn memory(none) }
attributes #11 = { cold nounwind }
attributes #12 = { noreturn nounwind }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"any pointer", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"_Bool", !7, i64 0}
!13 = !{i8 0, i8 2}
!14 = !{}
!15 = !{!16, !10, i64 0}
!16 = !{!"s2n_ecc_evp_params", !10, i64 0, !10, i64 8}
!17 = !{!16, !10, i64 8}
!18 = !{!19, !7, i64 16}
!19 = !{!"s2n_ecc_named_curve", !20, i64 0, !6, i64 4, !10, i64 8, !7, i64 16, !10, i64 24}
!20 = !{!"short", !7, i64 0}
!21 = !{!20, !20, i64 0}
!22 = !{!19, !20, i64 0}
!23 = !{!24, !6, i64 28}
!24 = !{!"s2n_stuffer", !25, i64 0, !6, i64 24, !6, i64 28, !6, i64 32, !6, i64 36, !6, i64 36, !6, i64 36}
!25 = !{!"s2n_blob", !10, i64 0, !6, i64 8, !6, i64 12, !6, i64 16}
!26 = !{!24, !6, i64 24}
!27 = !{!19, !6, i64 4}
!28 = !{!19, !10, i64 8}
!29 = !{!19, !10, i64 24}


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