; LLVM IR from aws/s2n-tls :: bin (s2nc)

; 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.option = type { ptr, i32, ptr, i32 }
%struct.addrinfo = type { i32, i32, i32, i32, i32, ptr, ptr, ptr }
%struct.verify_data = type { ptr }
%struct.reneg_req_ctx = type { i8, i8, i32 }
%struct.s2n_connection = type { i32, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, [22 x i8], [22 x i8], [22 x i8], i32, i32, %struct.s2n_timer, i64, i64, [32 x i8], i8, i8, i8, i8, i8, i8, i8, ptr, ptr, %struct.s2n_secrets, ptr, ptr, %struct.s2n_kex_parameters, %struct.s2n_handshake_parameters, %struct.s2n_psk_parameters, ptr, i8, i32, [5 x i8], %struct.s2n_stuffer, %struct.s2n_stuffer, %struct.s2n_stuffer, %struct.s2n_stuffer, i32, i64, [2 x i8], %struct.s2n_stuffer, i8, i8, i8, i8, %struct.s2n_atomic_flag, %struct.s2n_atomic_flag, %struct.s2n_handshake, i16, i32, i16, i64, i8, i64, i64, i64, %struct.s2n_atomic_flag, %struct.s2n_atomic_flag, [256 x i8], [256 x i8], i32, %struct.s2n_blob, i32, %struct.s2n_blob, %struct.s2n_blob, %struct.s2n_blob, %struct.s2n_client_hello, %struct.s2n_x509_validator, ptr, ptr, i8, i32, %struct.s2n_blob, i32, %struct.s2n_ticket_fields, [138 x i8], %struct.s2n_stuffer, %struct.s2n_blob, %struct.s2n_blob, i8, i8, i8, i16, i16, i32, i32, %struct.s2n_blob, i32, %struct.s2n_post_handshake, %struct.s2n_atomic_flag, i8, i8 }
%struct.s2n_timer = type { i64 }
%struct.s2n_secrets = type { %union.anon, i32 }
%union.anon = type { %struct.s2n_tls13_secrets }
%struct.s2n_tls13_secrets = type { [48 x i8], [48 x i8], [48 x i8], [48 x i8], [48 x i8], [48 x i8], [48 x i8], [48 x i8], i32 }
%struct.s2n_kex_parameters = type { %struct.s2n_dh_params, %struct.s2n_ecc_evp_params, [4 x ptr], %struct.s2n_ecc_evp_params, %struct.s2n_kem_group_params, %struct.s2n_kem_group_params, [8 x ptr], %struct.s2n_kem_params, %struct.s2n_blob, %struct.s2n_blob }
%struct.s2n_dh_params = type { ptr }
%struct.s2n_ecc_evp_params = type { ptr, ptr }
%struct.s2n_kem_group_params = type { ptr, %struct.s2n_kem_params, %struct.s2n_ecc_evp_params }
%struct.s2n_kem_params = type { ptr, %struct.s2n_blob, %struct.s2n_blob, %struct.s2n_blob, i8 }
%struct.s2n_handshake_parameters = type { %struct.s2n_pkey, %struct.s2n_pkey, %struct.s2n_blob, i32, %struct.s2n_sig_scheme_list, ptr, ptr, ptr, [4 x ptr], [4 x ptr], i8, i8, [32 x i8], [32 x i8] }
%struct.s2n_pkey = type { ptr, ptr, ptr, ptr, ptr, ptr }
%struct.s2n_sig_scheme_list = type { [128 x i16], i8 }
%struct.s2n_psk_parameters = type { i32, %struct.s2n_array, i16, i16, ptr, i32 }
%struct.s2n_array = type { %struct.s2n_blob, i32, i32 }
%struct.s2n_handshake = type { %struct.s2n_stuffer, ptr, [8 x i8], [48 x i8], [48 x i8], i8, i32, i32, i32, i32, %struct.s2n_offered_early_data, i8, i32 }
%struct.s2n_offered_early_data = type { ptr }
%struct.s2n_client_hello = type { %struct.s2n_blob, %struct.s2n_parsed_extensions_list, %struct.s2n_blob, %struct.s2n_blob, %struct.s2n_blob, i8, i8, i8 }
%struct.s2n_parsed_extensions_list = type { [21 x %struct.s2n_parsed_extension], %struct.s2n_blob, i16 }
%struct.s2n_parsed_extension = type { %struct.s2n_blob, i16, i16, i8 }
%struct.s2n_x509_validator = type { ptr, ptr, i8, i8, i16, ptr, i32, ptr, %struct.s2n_cert_validation_info, i8 }
%struct.s2n_cert_validation_info = type { i8, [3 x i8] }
%struct.s2n_ticket_fields = type { %struct.s2n_blob, i32 }
%struct.s2n_stuffer = type { %struct.s2n_blob, i32, i32, i32, i8 }
%struct.s2n_blob = type { ptr, i32, i32, i8 }
%struct.s2n_post_handshake = type { %struct.s2n_stuffer, [4 x i8] }
%struct.s2n_atomic_flag = type { i32 }

@default_trusted_cert = external dso_local constant [1081 x i8], align 16
@stderr = external global ptr, align 8
@session_state_length = external dso_local global i64, align 8
@session_state = external dso_local global ptr, align 8
@.str.68 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.69 = external hidden unnamed_addr constant [4 x i8], align 1
@main.long_options = external hidden global [34 x %struct.option], align 16
@.str.103 = external hidden unnamed_addr constant [35 x i8], align 1
@optarg = external global ptr, align 8
@.str.104 = external hidden unnamed_addr constant [61 x i8], align 1
@.str.105 = external hidden unnamed_addr constant [26 x i8], align 1
@.str.106 = external hidden unnamed_addr constant [7 x i8], align 1
@.str.107 = external hidden unnamed_addr constant [7 x i8], align 1
@.str.108 = external hidden unnamed_addr constant [5 x i8], align 1
@.str.109 = external hidden unnamed_addr constant [25 x i8], align 1
@.str.110 = external hidden unnamed_addr constant [47 x i8], align 1
@optind = external global i32, align 4
@.str.111 = external hidden unnamed_addr constant [25 x i8], align 1
@.str.112 = external hidden unnamed_addr constant [73 x i8], align 1
@.str.113 = external hidden unnamed_addr constant [25 x i8], align 1
@.str.114 = external hidden unnamed_addr constant [15 x i8], align 1
@.str.115 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.116 = external hidden unnamed_addr constant [56 x i8], align 1
@.str.117 = external hidden unnamed_addr constant [24 x i8], align 1
@.str.118 = external hidden unnamed_addr constant [11 x i8], align 1
@.str.119 = external hidden unnamed_addr constant [28 x i8], align 1
@.str.120 = external hidden unnamed_addr constant [17 x i8], align 1
@.str.121 = external hidden unnamed_addr constant [31 x i8], align 1
@.str.122 = external hidden unnamed_addr constant [36 x i8], align 1
@.str.123 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.124 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.125 = external hidden unnamed_addr constant [42 x i8], align 1
@.str.126 = external hidden unnamed_addr constant [25 x i8], align 1
@.str.127 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.128 = external hidden unnamed_addr constant [33 x i8], align 1
@.str.129 = external hidden unnamed_addr constant [31 x i8], align 1
@.str.130 = external hidden unnamed_addr constant [38 x i8], align 1
@.str.131 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.132 = external hidden unnamed_addr constant [28 x i8], align 1
@.str.133 = external hidden unnamed_addr constant [31 x i8], align 1
@.str.134 = external hidden unnamed_addr constant [45 x i8], align 1
@.str.135 = external hidden unnamed_addr constant [26 x i8], align 1
@.str.136 = external hidden unnamed_addr constant [33 x i8], align 1
@.str.137 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.138 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.139 = external hidden unnamed_addr constant [28 x i8], align 1
@.str.140 = external hidden unnamed_addr constant [26 x i8], align 1
@.str.141 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.142 = external hidden unnamed_addr constant [34 x i8], align 1
@.str.143 = external hidden unnamed_addr constant [24 x i8], align 1
@.str.144 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.145 = external hidden unnamed_addr constant [42 x i8], align 1
@.str.146 = external hidden unnamed_addr constant [32 x i8], align 1
@.str.147 = external hidden unnamed_addr constant [32 x i8], align 1
@.str.148 = external hidden unnamed_addr constant [33 x i8], align 1
@.str.149 = external hidden unnamed_addr constant [50 x i8], align 1
@.str.150 = external hidden unnamed_addr constant [25 x i8], align 1
@.str.151 = external hidden unnamed_addr constant [20 x i8], align 1
@.str.152 = external hidden unnamed_addr constant [56 x i8], align 1
@.str.153 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.154 = external hidden unnamed_addr constant [56 x i8], align 1
@.str.155 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.156 = external hidden unnamed_addr constant [35 x i8], align 1
@.str.157 = external hidden unnamed_addr constant [49 x i8], align 1
@.str.158 = external hidden unnamed_addr constant [27 x i8], align 1
@stdout = external global ptr, align 8
@.str.159 = external hidden unnamed_addr constant [21 x i8], align 1
@.str.160 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.161 = external hidden unnamed_addr constant [25 x i8], align 1
@.str.162 = external hidden unnamed_addr constant [25 x i8], align 1
@.str.163 = external hidden unnamed_addr constant [28 x i8], align 1
@.str.164 = external hidden unnamed_addr constant [28 x i8], align 1

; Function Attrs: nounwind uwtable
declare dso_local void @usage() #0

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

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

; 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 %struct.addrinfo, align 8
  %7 = alloca ptr, align 8
  %8 = alloca ptr, align 8
  %9 = alloca i32, align 4
  %10 = alloca i32, align 4
  %11 = alloca i8, align 1
  %12 = alloca ptr, align 8
  %13 = alloca ptr, align 8
  %14 = alloca ptr, align 8
  %15 = alloca ptr, align 8
  %16 = alloca ptr, align 8
  %17 = alloca ptr, align 8
  %18 = alloca i8, align 1
  %19 = alloca i8, align 1
  %20 = alloca ptr, align 8
  %21 = alloca ptr, align 8
  %22 = alloca ptr, align 8
  %23 = alloca ptr, align 8
  %24 = alloca i16, align 2
  %25 = alloca i8, align 1
  %26 = alloca i32, align 4
  %27 = alloca i8, align 1
  %28 = alloca i32, align 4
  %29 = alloca i32, align 4
  %30 = alloca i8, align 1
  %31 = alloca ptr, align 8
  %32 = alloca i32, align 4
  %33 = alloca ptr, align 8
  %34 = alloca %struct.verify_data, align 8
  %35 = alloca ptr, align 8
  %36 = alloca i8, align 1
  %37 = alloca ptr, align 8
  %38 = alloca i32, align 4
  %39 = alloca i8, align 1
  %40 = alloca ptr, align 8
  %41 = alloca ptr, align 8
  %42 = alloca [10 x ptr], align 16
  %43 = alloca i64, align 8
  %44 = alloca ptr, align 8
  %45 = alloca i8, align 1
  %46 = alloca %struct.reneg_req_ctx, align 4
  %47 = alloca i8, align 1
  %48 = alloca i32, align 4
  %49 = alloca i8, align 1
  %50 = alloca i8, align 1
  %51 = alloca i32, align 4
  %52 = alloca i32, align 4
  %53 = alloca i32, align 4
  %54 = alloca i64, align 8
  %55 = alloca i32, align 4
  %56 = alloca i32, align 4
  %57 = alloca i32, align 4
  %58 = alloca ptr, align 8
  %59 = alloca ptr, align 8
  %60 = alloca ptr, align 8
  %61 = alloca i32, align 4
  %62 = alloca i64, align 8
  %63 = 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
  call void @llvm.lifetime.start.p0(i64 48, ptr %6) #10
  call void @llvm.lifetime.start.p0(i64 8, ptr %7) #10
  store ptr null, ptr %7, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %8) #10
  store ptr null, ptr %8, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #10
  store i32 0, ptr %9, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #10
  store i32 0, ptr %10, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 1, ptr %11) #10
  store i8 0, ptr %11, align 1, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #10
  store ptr null, ptr %12, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #10
  store ptr null, ptr %13, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #10
  store ptr null, ptr %14, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #10
  store ptr null, ptr %15, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #10
  store ptr null, ptr %16, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #10
  store ptr null, ptr %17, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 1, ptr %18) #10
  store i8 0, ptr %18, align 1, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 1, ptr %19) #10
  store i8 0, ptr %19, align 1, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #10
  store ptr null, ptr %20, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #10
  store ptr null, ptr %21, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #10
  store ptr null, ptr %22, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #10
  store ptr null, ptr %23, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 2, ptr %24) #10
  store i16 0, ptr %24, align 2, !tbaa !13
  call void @llvm.lifetime.start.p0(i64 1, ptr %25) #10
  store i8 0, ptr %25, align 1, !tbaa !15
  call void @llvm.lifetime.start.p0(i64 4, ptr %26) #10
  store i32 0, ptr %26, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 1, ptr %27) #10
  store i8 1, ptr %27, align 1, !tbaa !15
  call void @llvm.lifetime.start.p0(i64 4, ptr %28) #10
  store i32 0, ptr %28, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %29) #10
  store i32 0, ptr %29, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 1, ptr %30) #10
  store i8 0, ptr %30, align 1, !tbaa !15
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #10
  store ptr @.str.68, ptr %31, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %32) #10
  store i32 0, ptr %32, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %33) #10
  store ptr null, ptr %33, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %34) #10
  call void @llvm.lifetime.start.p0(i64 8, ptr %35) #10
  store ptr @.str.69, ptr %35, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 1, ptr %36) #10
  store i8 0, ptr %36, align 1, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %37) #10
  store ptr null, ptr %37, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %38) #10
  store i32 0, ptr %38, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 1, ptr %39) #10
  store i8 0, ptr %39, align 1, !tbaa !15
  call void @llvm.lifetime.start.p0(i64 8, ptr %40) #10
  store ptr null, ptr %40, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %41) #10
  store ptr null, ptr %41, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 80, ptr %42) #10
  call void @llvm.lifetime.start.p0(i64 8, ptr %43) #10
  store i64 0, ptr %43, align 8, !tbaa !16
  call void @llvm.lifetime.start.p0(i64 8, ptr %44) #10
  store ptr null, ptr %44, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 1, ptr %45) #10
  store i8 0, ptr %45, align 1, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %46) #10
  call void @llvm.memset.p0.i64(ptr align 4 %46, i8 0, i64 8, i1 false)
  call void @llvm.lifetime.start.p0(i64 1, ptr %47) #10
  store i8 0, ptr %47, align 1, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %48) #10
  store i32 0, ptr %48, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 1, ptr %49) #10
  store i8 0, ptr %49, align 1, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 1, ptr %50) #10
  store i8 0, ptr %50, align 1, !tbaa !11
  br label %64

64:                                               ; preds = %208, %2
  br label %65

65:                                               ; preds = %64
  call void @llvm.lifetime.start.p0(i64 4, ptr %51) #10
  store i32 0, ptr %51, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %52) #10
  %66 = load i32, ptr %4, align 4, !tbaa !5
  %67 = load ptr, ptr %5, align 8, !tbaa !9
  %68 = call i32 @getopt_long(i32 noundef %66, ptr noundef %67, ptr noundef @.str.103, ptr noundef @main.long_options, ptr noundef %51) #10
  store i32 %68, ptr %52, align 4, !tbaa !5
  %69 = load i32, ptr %52, align 4, !tbaa !5
  %70 = icmp eq i32 %69, -1
  br i1 %70, label %71, label %72

71:                                               ; preds = %65
  store i32 3, ptr %53, align 4
  br label %206

72:                                               ; preds = %65
  %73 = load i32, ptr %52, align 4, !tbaa !5
  switch i32 %73, label %204 [
    i32 97, label %74
    i32 67, label %76
    i32 99, label %77
    i32 70, label %79
    i32 101, label %80
    i32 1002, label %81
    i32 104, label %84
    i32 110, label %85
    i32 115, label %87
    i32 109, label %88
    i32 102, label %92
    i32 100, label %94
    i32 108, label %96
    i32 107, label %99
    i32 105, label %102
    i32 114, label %103
    i32 1001, label %104
    i32 1000, label %106
    i32 1008, label %108
    i32 1009, label %110
    i32 84, label %112
    i32 116, label %113
    i32 68, label %124
    i32 51, label %205
    i32 66, label %134
    i32 76, label %135
    i32 80, label %137
    i32 69, label %148
    i32 1003, label %160
    i32 1004, label %186
    i32 1007, label %187
    i32 1005, label %201
    i32 1006, label %202
    i32 63, label %203
  ]

74:                                               ; preds = %72
  %75 = load ptr, ptr @optarg, align 8, !tbaa !9
  store ptr %75, ptr %12, align 8, !tbaa !9
  br label %205

76:                                               ; preds = %72
  store i32 1, ptr %38, align 4, !tbaa !5
  br label %205

77:                                               ; preds = %72
  %78 = load ptr, ptr @optarg, align 8, !tbaa !9
  store ptr %78, ptr %31, align 8, !tbaa !9
  br label %205

79:                                               ; preds = %72
  store i32 1, ptr %32, align 4, !tbaa !5
  br label %205

80:                                               ; preds = %72
  store i8 1, ptr %36, align 1, !tbaa !11
  br label %205

81:                                               ; preds = %72
  %82 = load ptr, ptr @optarg, align 8, !tbaa !9
  %83 = call ptr @load_file_to_cstring(ptr noundef %82)
  store ptr %83, ptr %37, align 8, !tbaa !9
  br label %205

84:                                               ; preds = %72
  call void @usage()
  br label %205

85:                                               ; preds = %72
  %86 = load ptr, ptr @optarg, align 8, !tbaa !9
  store ptr %86, ptr %13, align 8, !tbaa !9
  br label %205

87:                                               ; preds = %72
  store i32 1, ptr %28, align 4, !tbaa !5
  br label %205

88:                                               ; preds = %72
  %89 = load ptr, ptr @optarg, align 8, !tbaa !9
  %90 = call i32 @atoi(ptr noundef %89) #11
  %91 = trunc i32 %90 to i16
  store i16 %91, ptr %24, align 2, !tbaa !13
  br label %205

92:                                               ; preds = %72
  %93 = load ptr, ptr @optarg, align 8, !tbaa !9
  store ptr %93, ptr %14, align 8, !tbaa !9
  br label %205

94:                                               ; preds = %72
  %95 = load ptr, ptr @optarg, align 8, !tbaa !9
  store ptr %95, ptr %15, align 8, !tbaa !9
  br label %205

96:                                               ; preds = %72
  %97 = load ptr, ptr @optarg, align 8, !tbaa !9
  %98 = call ptr @load_file_to_cstring(ptr noundef %97)
  store ptr %98, ptr %16, align 8, !tbaa !9
  store i8 1, ptr %18, align 1, !tbaa !11
  br label %205

99:                                               ; preds = %72
  %100 = load ptr, ptr @optarg, align 8, !tbaa !9
  %101 = call ptr @load_file_to_cstring(ptr noundef %100)
  store ptr %101, ptr %17, align 8, !tbaa !9
  store i8 1, ptr %19, align 1, !tbaa !11
  br label %205

102:                                              ; preds = %72
  store i8 1, ptr %25, align 1, !tbaa !15
  br label %205

103:                                              ; preds = %72
  store i32 5, ptr %26, align 4, !tbaa !5
  br label %205

104:                                              ; preds = %72
  %105 = load ptr, ptr @optarg, align 8, !tbaa !9
  store ptr %105, ptr %20, align 8, !tbaa !9
  br label %205

106:                                              ; preds = %72
  %107 = load ptr, ptr @optarg, align 8, !tbaa !9
  store ptr %107, ptr %21, align 8, !tbaa !9
  br label %205

108:                                              ; preds = %72
  %109 = load ptr, ptr @optarg, align 8, !tbaa !9
  store ptr %109, ptr %22, align 8, !tbaa !9
  br label %205

110:                                              ; preds = %72
  %111 = load ptr, ptr @optarg, align 8, !tbaa !9
  store ptr %111, ptr %23, align 8, !tbaa !9
  br label %205

112:                                              ; preds = %72
  store i8 0, ptr %27, align 1, !tbaa !15
  br label %205

113:                                              ; preds = %72
  %114 = load ptr, ptr @optarg, align 8, !tbaa !9
  %115 = call i32 @atoi(ptr noundef %114) #11
  %116 = icmp slt i32 255, %115
  br i1 %116, label %117, label %118

117:                                              ; preds = %113
  br label %121

118:                                              ; preds = %113
  %119 = load ptr, ptr @optarg, align 8, !tbaa !9
  %120 = call i32 @atoi(ptr noundef %119) #11
  br label %121

121:                                              ; preds = %118, %117
  %122 = phi i32 [ 255, %117 ], [ %120, %118 ]
  %123 = trunc i32 %122 to i8
  store i8 %123, ptr %30, align 1, !tbaa !15
  br label %205

124:                                              ; preds = %72
  %125 = call ptr @__errno_location() #12
  store i32 0, ptr %125, align 4, !tbaa !5
  %126 = load ptr, ptr @optarg, align 8, !tbaa !9
  %127 = call i64 @strtoul(ptr noundef %126, ptr noundef null, i32 noundef 10) #10
  %128 = trunc i64 %127 to i32
  store i32 %128, ptr %29, align 4, !tbaa !5
  %129 = call ptr @__errno_location() #12
  %130 = load i32, ptr %129, align 4, !tbaa !5
  %131 = icmp eq i32 %130, 34
  br i1 %131, label %132, label %133

132:                                              ; preds = %124
  store i32 0, ptr %29, align 4, !tbaa !5
  br label %133

133:                                              ; preds = %132, %124
  br label %205

134:                                              ; preds = %72
  store i8 1, ptr %39, align 1, !tbaa !15
  br label %205

135:                                              ; preds = %72
  %136 = load ptr, ptr @optarg, align 8, !tbaa !9
  store ptr %136, ptr %40, align 8, !tbaa !9
  br label %205

137:                                              ; preds = %72
  %138 = load i64, ptr %43, align 8, !tbaa !16
  %139 = icmp uge i64 %138, 10
  br i1 %139, label %140, label %143

140:                                              ; preds = %137
  %141 = load ptr, ptr @stderr, align 8, !tbaa !9
  %142 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %141, ptr noundef @.str.104) #10
  call void @exit(i32 noundef 1) #13
  unreachable

143:                                              ; preds = %137
  %144 = load ptr, ptr @optarg, align 8, !tbaa !9
  %145 = load i64, ptr %43, align 8, !tbaa !16
  %146 = add i64 %145, 1
  store i64 %146, ptr %43, align 8, !tbaa !16
  %147 = getelementptr inbounds [10 x ptr], ptr %42, i64 0, i64 %145
  store ptr %144, ptr %147, align 8, !tbaa !9
  br label %205

148:                                              ; preds = %72
  %149 = load ptr, ptr @optarg, align 8, !tbaa !9
  %150 = call ptr @load_file_to_cstring(ptr noundef %149)
  store ptr %150, ptr %44, align 8, !tbaa !9
  br label %151

151:                                              ; preds = %148
  %152 = load ptr, ptr %44, align 8, !tbaa !9
  %153 = icmp eq ptr %152, null
  br i1 %153, label %154, label %157

154:                                              ; preds = %151
  %155 = load ptr, ptr @stderr, align 8, !tbaa !9
  %156 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %155, ptr noundef @.str.105) #10
  call void @exit(i32 noundef 1) #13
  unreachable

157:                                              ; preds = %151
  br label %158

158:                                              ; preds = %157
  br label %159

159:                                              ; preds = %158
  br label %205

160:                                              ; preds = %72
  store i8 1, ptr %45, align 1, !tbaa !11
  %161 = load ptr, ptr @optarg, align 8, !tbaa !9
  %162 = call i32 @strcmp(ptr noundef %161, ptr noundef @.str.106) #11
  %163 = icmp eq i32 %162, 0
  br i1 %163, label %164, label %166

164:                                              ; preds = %160
  %165 = getelementptr inbounds %struct.reneg_req_ctx, ptr %46, i32 0, i32 2
  store i32 2, ptr %165, align 4, !tbaa !18
  br label %185

166:                                              ; preds = %160
  %167 = load ptr, ptr @optarg, align 8, !tbaa !9
  %168 = call i32 @strcmp(ptr noundef %167, ptr noundef @.str.107) #11
  %169 = icmp eq i32 %168, 0
  br i1 %169, label %170, label %172

170:                                              ; preds = %166
  %171 = getelementptr inbounds %struct.reneg_req_ctx, ptr %46, i32 0, i32 2
  store i32 1, ptr %171, align 4, !tbaa !18
  br label %184

172:                                              ; preds = %166
  %173 = load ptr, ptr @optarg, align 8, !tbaa !9
  %174 = call i32 @strcmp(ptr noundef %173, ptr noundef @.str.108) #11
  %175 = icmp eq i32 %174, 0
  br i1 %175, label %176, label %179

176:                                              ; preds = %172
  %177 = getelementptr inbounds %struct.reneg_req_ctx, ptr %46, i32 0, i32 2
  store i32 2, ptr %177, align 4, !tbaa !18
  %178 = getelementptr inbounds %struct.reneg_req_ctx, ptr %46, i32 0, i32 1
  store i8 1, ptr %178, align 1, !tbaa !20
  br label %183

179:                                              ; preds = %172
  %180 = load ptr, ptr @stderr, align 8, !tbaa !9
  %181 = load ptr, ptr @optarg, align 8, !tbaa !9
  %182 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %180, ptr noundef @.str.109, ptr noundef %181) #10
  call void @exit(i32 noundef 1) #13
  unreachable

183:                                              ; preds = %176
  br label %184

184:                                              ; preds = %183, %170
  br label %185

185:                                              ; preds = %184, %164
  br label %205

186:                                              ; preds = %72
  store i8 1, ptr %47, align 1, !tbaa !11
  br label %205

187:                                              ; preds = %72
  call void @llvm.lifetime.start.p0(i64 8, ptr %54) #10
  %188 = load ptr, ptr @optarg, align 8, !tbaa !9
  %189 = call i64 @strtoimax(ptr noundef %188, ptr noundef null, i32 noundef 10) #10
  store i64 %189, ptr %54, align 8, !tbaa !16
  %190 = load i64, ptr %54, align 8, !tbaa !16
  %191 = icmp sgt i64 %190, 4294967295
  br i1 %191, label %195, label %192

192:                                              ; preds = %187
  %193 = load i64, ptr %54, align 8, !tbaa !16
  %194 = icmp slt i64 %193, 0
  br i1 %194, label %195, label %198

195:                                              ; preds = %192, %187
  %196 = load ptr, ptr @stderr, align 8, !tbaa !9
  %197 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %196, ptr noundef @.str.110) #10
  call void @exit(i32 noundef 1) #13
  unreachable

198:                                              ; preds = %192
  %199 = load i64, ptr %54, align 8, !tbaa !16
  %200 = trunc i64 %199 to i32
  store i32 %200, ptr %48, align 4, !tbaa !5
  store i32 4, ptr %53, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %54) #10
  br label %205

201:                                              ; preds = %72
  store i8 1, ptr %49, align 1, !tbaa !11
  br label %205

202:                                              ; preds = %72
  store i8 1, ptr %50, align 1, !tbaa !11
  br label %205

203:                                              ; preds = %72
  br label %204

204:                                              ; preds = %203, %72
  call void @usage()
  br label %205

205:                                              ; preds = %204, %202, %201, %198, %186, %185, %159, %143, %135, %134, %133, %121, %112, %110, %108, %106, %104, %103, %102, %99, %96, %94, %92, %88, %87, %85, %84, %81, %80, %79, %77, %76, %74, %72
  store i32 0, ptr %53, align 4
  br label %206

206:                                              ; preds = %205, %71
  call void @llvm.lifetime.end.p0(i64 4, ptr %52) #10
  call void @llvm.lifetime.end.p0(i64 4, ptr %51) #10
  %207 = load i32, ptr %53, align 4
  switch i32 %207, label %928 [
    i32 0, label %208
    i32 3, label %209
  ]

208:                                              ; preds = %206
  br label %64

209:                                              ; preds = %206
  %210 = load i32, ptr @optind, align 4, !tbaa !5
  %211 = load i32, ptr %4, align 4, !tbaa !5
  %212 = icmp slt i32 %210, %211
  br i1 %212, label %213, label %220

213:                                              ; preds = %209
  %214 = load ptr, ptr %5, align 8, !tbaa !9
  %215 = load i32, ptr @optind, align 4, !tbaa !5
  %216 = add nsw i32 %215, 1
  store i32 %216, ptr @optind, align 4, !tbaa !5
  %217 = sext i32 %215 to i64
  %218 = getelementptr inbounds ptr, ptr %214, i64 %217
  %219 = load ptr, ptr %218, align 8, !tbaa !9
  store ptr %219, ptr %33, align 8, !tbaa !9
  br label %220

220:                                              ; preds = %213, %209
  %221 = load i32, ptr @optind, align 4, !tbaa !5
  %222 = load i32, ptr %4, align 4, !tbaa !5
  %223 = icmp slt i32 %221, %222
  br i1 %223, label %224, label %231

224:                                              ; preds = %220
  %225 = load ptr, ptr %5, align 8, !tbaa !9
  %226 = load i32, ptr @optind, align 4, !tbaa !5
  %227 = add nsw i32 %226, 1
  store i32 %227, ptr @optind, align 4, !tbaa !5
  %228 = sext i32 %226 to i64
  %229 = getelementptr inbounds ptr, ptr %225, i64 %228
  %230 = load ptr, ptr %229, align 8, !tbaa !9
  store ptr %230, ptr %35, align 8, !tbaa !9
  br label %231

231:                                              ; preds = %224, %220
  %232 = load ptr, ptr %33, align 8, !tbaa !9
  %233 = icmp ne ptr %232, null
  br i1 %233, label %235, label %234

234:                                              ; preds = %231
  call void @usage()
  br label %235

235:                                              ; preds = %234, %231
  %236 = load ptr, ptr %13, align 8, !tbaa !9
  %237 = icmp ne ptr %236, null
  br i1 %237, label %240, label %238

238:                                              ; preds = %235
  %239 = load ptr, ptr %33, align 8, !tbaa !9
  store ptr %239, ptr %13, align 8, !tbaa !9
  br label %240

240:                                              ; preds = %238, %235
  call void @llvm.memset.p0.i64(ptr align 8 %6, i8 0, i64 48, i1 false)
  %241 = getelementptr inbounds %struct.addrinfo, ptr %6, i32 0, i32 1
  store i32 0, ptr %241, align 4, !tbaa !21
  %242 = getelementptr inbounds %struct.addrinfo, ptr %6, i32 0, i32 2
  store i32 1, ptr %242, align 8, !tbaa !23
  %243 = call ptr @signal(i32 noundef 13, ptr noundef inttoptr (i64 1 to ptr)) #10
  %244 = icmp eq ptr %243, inttoptr (i64 -1 to ptr)
  br i1 %244, label %245, label %248

245:                                              ; preds = %240
  %246 = load ptr, ptr @stderr, align 8, !tbaa !9
  %247 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %246, ptr noundef @.str.111) #10
  call void @exit(i32 noundef 1) #13
  unreachable

248:                                              ; preds = %240
  %249 = load i8, ptr %49, align 1, !tbaa !11, !range !24, !noundef !25
  %250 = trunc i8 %249 to i1
  br i1 %250, label %251, label %257

251:                                              ; preds = %248
  %252 = load i8, ptr %50, align 1, !tbaa !11, !range !24, !noundef !25
  %253 = trunc i8 %252 to i1
  br i1 %253, label %254, label %257

254:                                              ; preds = %251
  %255 = load ptr, ptr @stderr, align 8, !tbaa !9
  %256 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %255, ptr noundef @.str.112) #10
  call void @exit(i32 noundef 1) #13
  unreachable

257:                                              ; preds = %251, %248
  br label %258

258:                                              ; preds = %257
  %259 = call i32 @s2n_init()
  %260 = icmp slt i32 %259, 0
  br i1 %260, label %261, label %262

261:                                              ; preds = %258
  call void @print_s2n_error(ptr noundef @.str.113)
  call void @exit(i32 noundef 1) #13
  unreachable

262:                                              ; preds = %258
  br label %263

263:                                              ; preds = %262
  br label %264

264:                                              ; preds = %263
  %265 = call ptr @s2n_libcrypto_get_version_name()
  %266 = call i32 (ptr, ...) @printf(ptr noundef @.str.114, ptr noundef %265)
  %267 = load i32, ptr %32, align 4, !tbaa !5
  %268 = icmp ne i32 %267, 0
  br i1 %268, label %269, label %284

269:                                              ; preds = %264
  call void @llvm.lifetime.start.p0(i64 4, ptr %55) #10
  store i32 0, ptr %55, align 4, !tbaa !5
  br label %270

270:                                              ; preds = %269
  %271 = call i32 @s2n_get_fips_mode(ptr noundef %55)
  %272 = icmp slt i32 %271, 0
  br i1 %272, label %273, label %274

273:                                              ; preds = %270
  call void @print_s2n_error(ptr noundef @.str.115)
  call void @exit(i32 noundef 1) #13
  unreachable

274:                                              ; preds = %270
  br label %275

275:                                              ; preds = %274
  br label %276

276:                                              ; preds = %275
  %277 = load i32, ptr %55, align 4, !tbaa !5
  %278 = icmp ne i32 %277, 1
  br i1 %278, label %279, label %282

279:                                              ; preds = %276
  %280 = load ptr, ptr @stderr, align 8, !tbaa !9
  %281 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %280, ptr noundef @.str.116) #10
  call void @exit(i32 noundef 1) #13
  unreachable

282:                                              ; preds = %276
  %283 = call i32 (ptr, ...) @printf(ptr noundef @.str.117)
  call void @llvm.lifetime.end.p0(i64 4, ptr %55) #10
  br label %284

284:                                              ; preds = %282, %264
  %285 = load ptr, ptr %33, align 8, !tbaa !9
  %286 = load ptr, ptr %35, align 8, !tbaa !9
  %287 = call i32 @getaddrinfo(ptr noundef %285, ptr noundef %286, ptr noundef %6, ptr noundef %7)
  store i32 %287, ptr %9, align 4, !tbaa !5
  %288 = icmp ne i32 %287, 0
  br i1 %288, label %289, label %294

289:                                              ; preds = %284
  %290 = load ptr, ptr @stderr, align 8, !tbaa !9
  %291 = load i32, ptr %9, align 4, !tbaa !5
  %292 = call ptr @gai_strerror(i32 noundef %291) #10
  %293 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %290, ptr noundef @.str.118, ptr noundef %292) #10
  call void @exit(i32 noundef 1) #13
  unreachable

294:                                              ; preds = %284
  br label %295

295:                                              ; preds = %906, %294
  call void @llvm.lifetime.start.p0(i64 4, ptr %56) #10
  store i32 0, ptr %56, align 4, !tbaa !5
  %296 = load ptr, ptr %7, align 8, !tbaa !9
  store ptr %296, ptr %8, align 8, !tbaa !9
  br label %297

297:                                              ; preds = %327, %295
  %298 = load ptr, ptr %8, align 8, !tbaa !9
  %299 = icmp ne ptr %298, null
  br i1 %299, label %300, label %331

300:                                              ; preds = %297
  %301 = load ptr, ptr %8, align 8, !tbaa !9
  %302 = getelementptr inbounds %struct.addrinfo, ptr %301, i32 0, i32 1
  %303 = load i32, ptr %302, align 4, !tbaa !21
  %304 = load ptr, ptr %8, align 8, !tbaa !9
  %305 = getelementptr inbounds %struct.addrinfo, ptr %304, i32 0, i32 2
  %306 = load i32, ptr %305, align 8, !tbaa !23
  %307 = load ptr, ptr %8, align 8, !tbaa !9
  %308 = getelementptr inbounds %struct.addrinfo, ptr %307, i32 0, i32 3
  %309 = load i32, ptr %308, align 4, !tbaa !26
  %310 = call i32 @socket(i32 noundef %303, i32 noundef %306, i32 noundef %309) #10
  store i32 %310, ptr %10, align 4, !tbaa !5
  %311 = icmp eq i32 %310, -1
  br i1 %311, label %312, label %313

312:                                              ; preds = %300
  br label %327

313:                                              ; preds = %300
  %314 = load i32, ptr %10, align 4, !tbaa !5
  %315 = load ptr, ptr %8, align 8, !tbaa !9
  %316 = getelementptr inbounds %struct.addrinfo, ptr %315, i32 0, i32 5
  %317 = load ptr, ptr %316, align 8, !tbaa !27
  %318 = load ptr, ptr %8, align 8, !tbaa !9
  %319 = getelementptr inbounds %struct.addrinfo, ptr %318, i32 0, i32 4
  %320 = load i32, ptr %319, align 8, !tbaa !28
  %321 = call i32 @connect(i32 noundef %314, ptr noundef %317, i32 noundef %320)
  %322 = icmp eq i32 %321, -1
  br i1 %322, label %323, label %326

323:                                              ; preds = %313
  %324 = load i32, ptr %10, align 4, !tbaa !5
  %325 = call i32 @close(i32 noundef %324)
  br label %327

326:                                              ; preds = %313
  store i32 1, ptr %56, align 4, !tbaa !5
  br label %331

327:                                              ; preds = %323, %312
  %328 = load ptr, ptr %8, align 8, !tbaa !9
  %329 = getelementptr inbounds %struct.addrinfo, ptr %328, i32 0, i32 7
  %330 = load ptr, ptr %329, align 8, !tbaa !29
  store ptr %330, ptr %8, align 8, !tbaa !9
  br label %297, !llvm.loop !30

331:                                              ; preds = %326, %297
  %332 = load i32, ptr %56, align 4, !tbaa !5
  %333 = icmp eq i32 %332, 0
  br i1 %333, label %334, label %339

334:                                              ; preds = %331
  %335 = load ptr, ptr @stderr, align 8, !tbaa !9
  %336 = load ptr, ptr %33, align 8, !tbaa !9
  %337 = load ptr, ptr %35, align 8, !tbaa !9
  %338 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %335, ptr noundef @.str.119, ptr noundef %336, ptr noundef %337) #10
  call void @exit(i32 noundef 1) #13
  unreachable

339:                                              ; preds = %331
  %340 = load i8, ptr %39, align 1, !tbaa !15
  %341 = icmp ne i8 %340, 0
  br i1 %341, label %342, label %357

342:                                              ; preds = %339
  call void @llvm.lifetime.start.p0(i64 4, ptr %57) #10
  %343 = load i32, ptr %10, align 4, !tbaa !5
  %344 = call i32 (i32, i32, ...) @fcntl(i32 noundef %343, i32 noundef 3, i32 noundef 0)
  store i32 %344, ptr %57, align 4, !tbaa !5
  %345 = load i32, ptr %10, align 4, !tbaa !5
  %346 = load i32, ptr %57, align 4, !tbaa !5
  %347 = or i32 %346, 2048
  %348 = call i32 (i32, i32, ...) @fcntl(i32 noundef %345, i32 noundef 4, i32 noundef %347)
  %349 = icmp slt i32 %348, 0
  br i1 %349, label %350, label %356

350:                                              ; preds = %342
  %351 = load ptr, ptr @stderr, align 8, !tbaa !9
  %352 = call ptr @__errno_location() #12
  %353 = load i32, ptr %352, align 4, !tbaa !5
  %354 = call ptr @strerror(i32 noundef %353) #10
  %355 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %351, ptr noundef @.str.120, ptr noundef %354) #10
  call void @exit(i32 noundef 1) #13
  unreachable

356:                                              ; preds = %342
  call void @llvm.lifetime.end.p0(i64 4, ptr %57) #10
  br label %357

357:                                              ; preds = %356, %339
  call void @llvm.lifetime.start.p0(i64 8, ptr %58) #10
  %358 = call ptr @s2n_config_new()
  store ptr %358, ptr %58, align 8, !tbaa !9
  %359 = load ptr, ptr %58, align 8, !tbaa !9
  %360 = load ptr, ptr %31, align 8, !tbaa !9
  %361 = load i32, ptr %28, align 4, !tbaa !5
  %362 = load ptr, ptr %33, align 8, !tbaa !9
  %363 = load ptr, ptr %12, align 8, !tbaa !9
  %364 = load i16, ptr %24, align 2, !tbaa !13
  call void @setup_s2n_config(ptr noundef %359, ptr noundef %360, i32 noundef %361, ptr noundef %34, ptr noundef %362, ptr noundef %363, i16 noundef zeroext %364)
  %365 = load i32, ptr %48, align 4, !tbaa !5
  %366 = icmp ne i32 %365, 0
  br i1 %366, label %367, label %377

367:                                              ; preds = %357
  br label %368

368:                                              ; preds = %367
  %369 = load ptr, ptr %58, align 8, !tbaa !9
  %370 = load i32, ptr %48, align 4, !tbaa !5
  %371 = call i32 @s2n_config_set_send_buffer_size(ptr noundef %369, i32 noundef %370)
  %372 = icmp slt i32 %371, 0
  br i1 %372, label %373, label %374

373:                                              ; preds = %368
  call void @print_s2n_error(ptr noundef @.str.121)
  call void @exit(i32 noundef 1) #13
  unreachable

374:                                              ; preds = %368
  br label %375

375:                                              ; preds = %374
  br label %376

376:                                              ; preds = %375
  br label %377

377:                                              ; preds = %376, %357
  %378 = load i8, ptr %18, align 1, !tbaa !11, !range !24, !noundef !25
  %379 = trunc i8 %378 to i1
  %380 = zext i1 %379 to i32
  %381 = load i8, ptr %19, align 1, !tbaa !11, !range !24, !noundef !25
  %382 = trunc i8 %381 to i1
  %383 = zext i1 %382 to i32
  %384 = icmp ne i32 %380, %383
  br i1 %384, label %385, label %386

385:                                              ; preds = %377
  call void @print_s2n_error(ptr noundef @.str.122)
  br label %386

386:                                              ; preds = %385, %377
  %387 = load i8, ptr %18, align 1, !tbaa !11, !range !24, !noundef !25
  %388 = trunc i8 %387 to i1
  br i1 %388, label %389, label %410

389:                                              ; preds = %386
  call void @llvm.lifetime.start.p0(i64 8, ptr %59) #10
  %390 = call ptr @s2n_cert_chain_and_key_new()
  store ptr %390, ptr %59, align 8, !tbaa !9
  br label %391

391:                                              ; preds = %389
  %392 = load ptr, ptr %59, align 8, !tbaa !9
  %393 = load ptr, ptr %16, align 8, !tbaa !9
  %394 = load ptr, ptr %17, align 8, !tbaa !9
  %395 = call i32 @s2n_cert_chain_and_key_load_pem(ptr noundef %392, ptr noundef %393, ptr noundef %394)
  %396 = icmp slt i32 %395, 0
  br i1 %396, label %397, label %398

397:                                              ; preds = %391
  call void @print_s2n_error(ptr noundef @.str.123)
  call void @exit(i32 noundef 1) #13
  unreachable

398:                                              ; preds = %391
  br label %399

399:                                              ; preds = %398
  br label %400

400:                                              ; preds = %399
  br label %401

401:                                              ; preds = %400
  %402 = load ptr, ptr %58, align 8, !tbaa !9
  %403 = load ptr, ptr %59, align 8, !tbaa !9
  %404 = call i32 @s2n_config_add_cert_chain_and_key_to_store(ptr noundef %402, ptr noundef %403)
  %405 = icmp slt i32 %404, 0
  br i1 %405, label %406, label %407

406:                                              ; preds = %401
  call void @print_s2n_error(ptr noundef @.str.124)
  call void @exit(i32 noundef 1) #13
  unreachable

407:                                              ; preds = %401
  br label %408

408:                                              ; preds = %407
  br label %409

409:                                              ; preds = %408
  call void @llvm.lifetime.end.p0(i64 8, ptr %59) #10
  br label %410

410:                                              ; preds = %409, %386
  br label %411

411:                                              ; preds = %410
  %412 = load ptr, ptr %58, align 8, !tbaa !9
  %413 = call i32 @s2n_config_add_pem_to_trust_store(ptr noundef %412, ptr noundef @default_trusted_cert)
  %414 = icmp slt i32 %413, 0
  br i1 %414, label %415, label %416

415:                                              ; preds = %411
  call void @print_s2n_error(ptr noundef @.str.125)
  call void @exit(i32 noundef 1) #13
  unreachable

416:                                              ; preds = %411
  br label %417

417:                                              ; preds = %416
  br label %418

418:                                              ; preds = %417
  %419 = load ptr, ptr %14, align 8, !tbaa !9
  %420 = icmp ne ptr %419, null
  br i1 %420, label %424, label %421

421:                                              ; preds = %418
  %422 = load ptr, ptr %15, align 8, !tbaa !9
  %423 = icmp ne ptr %422, null
  br i1 %423, label %424, label %440

424:                                              ; preds = %421, %418
  br label %425

425:                                              ; preds = %424
  %426 = load ptr, ptr %58, align 8, !tbaa !9
  %427 = call i32 @s2n_config_wipe_trust_store(ptr noundef %426)
  %428 = icmp slt i32 %427, 0
  br i1 %428, label %429, label %430

429:                                              ; preds = %425
  call void @print_s2n_error(ptr noundef @.str.126)
  call void @exit(i32 noundef 1) #13
  unreachable

430:                                              ; preds = %425
  br label %431

431:                                              ; preds = %430
  br label %432

432:                                              ; preds = %431
  %433 = load ptr, ptr %58, align 8, !tbaa !9
  %434 = load ptr, ptr %14, align 8, !tbaa !9
  %435 = load ptr, ptr %15, align 8, !tbaa !9
  %436 = call i32 @s2n_config_set_verification_ca_location(ptr noundef %433, ptr noundef %434, ptr noundef %435)
  %437 = icmp slt i32 %436, 0
  br i1 %437, label %438, label %439

438:                                              ; preds = %432
  call void @print_s2n_error(ptr noundef @.str.127)
  br label %439

439:                                              ; preds = %438, %432
  br label %453

440:                                              ; preds = %421
  %441 = load i8, ptr %25, align 1, !tbaa !15
  %442 = icmp ne i8 %441, 0
  br i1 %442, label %443, label %452

443:                                              ; preds = %440
  br label %444

444:                                              ; preds = %443
  %445 = load ptr, ptr %58, align 8, !tbaa !9
  %446 = call i32 @s2n_config_disable_x509_verification(ptr noundef %445)
  %447 = icmp slt i32 %446, 0
  br i1 %447, label %448, label %449

448:                                              ; preds = %444
  call void @print_s2n_error(ptr noundef @.str.128)
  call void @exit(i32 noundef 1) #13
  unreachable

449:                                              ; preds = %444
  br label %450

450:                                              ; preds = %449
  br label %451

451:                                              ; preds = %450
  br label %452

452:                                              ; preds = %451, %440
  br label %453

453:                                              ; preds = %452, %439
  %454 = load i8, ptr %27, align 1, !tbaa !15
  %455 = icmp ne i8 %454, 0
  br i1 %455, label %456, label %473

456:                                              ; preds = %453
  br label %457

457:                                              ; preds = %456
  %458 = load ptr, ptr %58, align 8, !tbaa !9
  %459 = call i32 @s2n_config_set_session_tickets_onoff(ptr noundef %458, i8 noundef zeroext 1)
  %460 = icmp slt i32 %459, 0
  br i1 %460, label %461, label %462

461:                                              ; preds = %457
  call void @print_s2n_error(ptr noundef @.str.129)
  call void @exit(i32 noundef 1) #13
  unreachable

462:                                              ; preds = %457
  br label %463

463:                                              ; preds = %462
  br label %464

464:                                              ; preds = %463
  br label %465

465:                                              ; preds = %464
  %466 = load ptr, ptr %58, align 8, !tbaa !9
  %467 = call i32 @s2n_config_set_session_ticket_cb(ptr noundef %466, ptr noundef @test_session_ticket_cb, ptr noundef %11)
  %468 = icmp slt i32 %467, 0
  br i1 %468, label %469, label %470

469:                                              ; preds = %465
  call void @print_s2n_error(ptr noundef @.str.130)
  call void @exit(i32 noundef 1) #13
  unreachable

470:                                              ; preds = %465
  br label %471

471:                                              ; preds = %470
  br label %472

472:                                              ; preds = %471
  store i8 0, ptr %11, align 1, !tbaa !11
  br label %473

473:                                              ; preds = %472, %453
  %474 = load ptr, ptr %40, align 8, !tbaa !9
  %475 = icmp ne ptr %474, null
  br i1 %475, label %476, label %498

476:                                              ; preds = %473
  %477 = load ptr, ptr %40, align 8, !tbaa !9
  %478 = call noalias ptr @fopen(ptr noundef %477, ptr noundef @.str.131)
  store ptr %478, ptr %41, align 8, !tbaa !9
  br label %479

479:                                              ; preds = %476
  %480 = load ptr, ptr %41, align 8, !tbaa !9
  %481 = icmp eq ptr %480, null
  %482 = zext i1 %481 to i64
  %483 = select i1 %481, i32 -1, i32 0
  %484 = icmp slt i32 %483, 0
  br i1 %484, label %485, label %486

485:                                              ; preds = %479
  call void @print_s2n_error(ptr noundef @.str.132)
  call void @exit(i32 noundef 1) #13
  unreachable

486:                                              ; preds = %479
  br label %487

487:                                              ; preds = %486
  br label %488

488:                                              ; preds = %487
  br label %489

489:                                              ; preds = %488
  %490 = load ptr, ptr %58, align 8, !tbaa !9
  %491 = load ptr, ptr %41, align 8, !tbaa !9
  %492 = call i32 @s2n_config_set_key_log_cb(ptr noundef %490, ptr noundef @key_log_callback, ptr noundef %491)
  %493 = icmp slt i32 %492, 0
  br i1 %493, label %494, label %495

494:                                              ; preds = %489
  call void @print_s2n_error(ptr noundef @.str.133)
  call void @exit(i32 noundef 1) #13
  unreachable

495:                                              ; preds = %489
  br label %496

496:                                              ; preds = %495
  br label %497

497:                                              ; preds = %496
  br label %498

498:                                              ; preds = %497, %473
  %499 = load i8, ptr %45, align 1, !tbaa !11, !range !24, !noundef !25
  %500 = trunc i8 %499 to i1
  br i1 %500, label %501, label %510

501:                                              ; preds = %498
  br label %502

502:                                              ; preds = %501
  %503 = load ptr, ptr %58, align 8, !tbaa !9
  %504 = call i32 @s2n_config_set_renegotiate_request_cb(ptr noundef %503, ptr noundef @reneg_req_cb, ptr noundef %46)
  %505 = icmp slt i32 %504, 0
  br i1 %505, label %506, label %507

506:                                              ; preds = %502
  call void @print_s2n_error(ptr noundef @.str.134)
  call void @exit(i32 noundef 1) #13
  unreachable

507:                                              ; preds = %502
  br label %508

508:                                              ; preds = %507
  br label %509

509:                                              ; preds = %508
  br label %510

510:                                              ; preds = %509, %498
  %511 = load i8, ptr %47, align 1, !tbaa !11, !range !24, !noundef !25
  %512 = trunc i8 %511 to i1
  br i1 %512, label %513, label %522

513:                                              ; preds = %510
  br label %514

514:                                              ; preds = %513
  %515 = load ptr, ptr %58, align 8, !tbaa !9
  %516 = call i32 @s2n_config_set_npn(ptr noundef %515, i1 noundef zeroext true)
  %517 = icmp slt i32 %516, 0
  br i1 %517, label %518, label %519

518:                                              ; preds = %514
  call void @print_s2n_error(ptr noundef @.str.135)
  call void @exit(i32 noundef 1) #13
  unreachable

519:                                              ; preds = %514
  br label %520

520:                                              ; preds = %519
  br label %521

521:                                              ; preds = %520
  br label %522

522:                                              ; preds = %521, %510
  %523 = load ptr, ptr %22, align 8, !tbaa !9
  %524 = icmp ne ptr %523, null
  br i1 %524, label %525, label %534

525:                                              ; preds = %522
  br label %526

526:                                              ; preds = %525
  %527 = load ptr, ptr %58, align 8, !tbaa !9
  %528 = call i32 @s2n_config_set_serialization_version(ptr noundef %527, i32 noundef 1)
  %529 = icmp slt i32 %528, 0
  br i1 %529, label %530, label %531

530:                                              ; preds = %526
  call void @print_s2n_error(ptr noundef @.str.136)
  call void @exit(i32 noundef 1) #13
  unreachable

531:                                              ; preds = %526
  br label %532

532:                                              ; preds = %531
  br label %533

533:                                              ; preds = %532
  br label %534

534:                                              ; preds = %533, %522
  call void @llvm.lifetime.start.p0(i64 8, ptr %60) #10
  %535 = call ptr @s2n_connection_new(i32 noundef 1)
  store ptr %535, ptr %60, align 8, !tbaa !9
  %536 = load ptr, ptr %60, align 8, !tbaa !9
  %537 = icmp eq ptr %536, null
  br i1 %537, label %538, label %539

538:                                              ; preds = %534
  call void @print_s2n_error(ptr noundef @.str.137)
  call void @exit(i32 noundef 1) #13
  unreachable

539:                                              ; preds = %534
  %540 = load ptr, ptr %23, align 8, !tbaa !9
  %541 = icmp ne ptr %540, null
  br i1 %541, label %542, label %552

542:                                              ; preds = %539
  br label %543

543:                                              ; preds = %542
  %544 = load ptr, ptr %60, align 8, !tbaa !9
  %545 = load ptr, ptr %23, align 8, !tbaa !9
  %546 = call i32 @s2n_connection_deserialize_in(ptr noundef %544, ptr noundef %545)
  %547 = icmp slt i32 %546, 0
  br i1 %547, label %548, label %549

548:                                              ; preds = %543
  call void @print_s2n_error(ptr noundef @.str.138)
  call void @exit(i32 noundef 1) #13
  unreachable

549:                                              ; preds = %543
  br label %550

550:                                              ; preds = %549
  br label %551

551:                                              ; preds = %550
  br label %552

552:                                              ; preds = %551, %539
  br label %553

553:                                              ; preds = %552
  %554 = load ptr, ptr %60, align 8, !tbaa !9
  %555 = load ptr, ptr %58, align 8, !tbaa !9
  %556 = call i32 @s2n_connection_set_config(ptr noundef %554, ptr noundef %555)
  %557 = icmp slt i32 %556, 0
  br i1 %557, label %558, label %559

558:                                              ; preds = %553
  call void @print_s2n_error(ptr noundef @.str.139)
  call void @exit(i32 noundef 1) #13
  unreachable

559:                                              ; preds = %553
  br label %560

560:                                              ; preds = %559
  br label %561

561:                                              ; preds = %560
  br label %562

562:                                              ; preds = %561
  %563 = load ptr, ptr %60, align 8, !tbaa !9
  %564 = load ptr, ptr %13, align 8, !tbaa !9
  %565 = call i32 @s2n_set_server_name(ptr noundef %563, ptr noundef %564)
  %566 = icmp slt i32 %565, 0
  br i1 %566, label %567, label %568

567:                                              ; preds = %562
  call void @print_s2n_error(ptr noundef @.str.140)
  call void @exit(i32 noundef 1) #13
  unreachable

568:                                              ; preds = %562
  br label %569

569:                                              ; preds = %568
  br label %570

570:                                              ; preds = %569
  br label %571

571:                                              ; preds = %570
  %572 = load ptr, ptr %60, align 8, !tbaa !9
  %573 = load i32, ptr %10, align 4, !tbaa !5
  %574 = call i32 @s2n_connection_set_fd(ptr noundef %572, i32 noundef %573)
  %575 = icmp slt i32 %574, 0
  br i1 %575, label %576, label %577

576:                                              ; preds = %571
  call void @print_s2n_error(ptr noundef @.str.141)
  call void @exit(i32 noundef 1) #13
  unreachable

577:                                              ; preds = %571
  br label %578

578:                                              ; preds = %577
  br label %579

579:                                              ; preds = %578
  br label %580

580:                                              ; preds = %579
  %581 = load ptr, ptr %60, align 8, !tbaa !9
  %582 = call i32 @s2n_connection_set_client_auth_type(ptr noundef %581, i32 noundef 2)
  %583 = icmp slt i32 %582, 0
  br i1 %583, label %584, label %585

584:                                              ; preds = %580
  call void @print_s2n_error(ptr noundef @.str.142)
  call void @exit(i32 noundef 1) #13
  unreachable

585:                                              ; preds = %580
  br label %586

586:                                              ; preds = %585
  br label %587

587:                                              ; preds = %586
  %588 = load i32, ptr %38, align 4, !tbaa !5
  %589 = icmp ne i32 %588, 0
  br i1 %589, label %590, label %599

590:                                              ; preds = %587
  br label %591

591:                                              ; preds = %590
  %592 = load ptr, ptr %60, align 8, !tbaa !9
  %593 = call i32 @s2n_connection_use_corked_io(ptr noundef %592)
  %594 = icmp slt i32 %593, 0
  br i1 %594, label %595, label %596

595:                                              ; preds = %591
  call void @print_s2n_error(ptr noundef @.str.143)
  call void @exit(i32 noundef 1) #13
  unreachable

596:                                              ; preds = %591
  br label %597

597:                                              ; preds = %596
  br label %598

598:                                              ; preds = %597
  br label %599

599:                                              ; preds = %598, %587
  %600 = load ptr, ptr %21, align 8, !tbaa !9
  %601 = icmp ne ptr %600, null
  br i1 %601, label %602, label %633

602:                                              ; preds = %599
  br label %603

603:                                              ; preds = %602
  %604 = load ptr, ptr %21, align 8, !tbaa !9
  %605 = call i32 @get_file_size(ptr noundef %604, ptr noundef @session_state_length)
  %606 = icmp slt i32 %605, 0
  br i1 %606, label %607, label %608

607:                                              ; preds = %603
  call void @print_s2n_error(ptr noundef @.str.144)
  call void @exit(i32 noundef 1) #13
  unreachable

608:                                              ; preds = %603
  br label %609

609:                                              ; preds = %608
  br label %610

610:                                              ; preds = %609
  %611 = load ptr, ptr @session_state, align 8, !tbaa !9
  call void @free(ptr noundef %611) #10
  %612 = load i64, ptr @session_state_length, align 8, !tbaa !16
  %613 = call noalias ptr @calloc(i64 noundef %612, i64 noundef 1) #14
  store ptr %613, ptr @session_state, align 8, !tbaa !9
  br label %614

614:                                              ; preds = %610
  %615 = load ptr, ptr @session_state, align 8, !tbaa !9
  %616 = icmp eq ptr %615, null
  br i1 %616, label %617, label %620

617:                                              ; preds = %614
  %618 = load ptr, ptr @stderr, align 8, !tbaa !9
  %619 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %618, ptr noundef @.str.105) #10
  call void @exit(i32 noundef 1) #13
  unreachable

620:                                              ; preds = %614
  br label %621

621:                                              ; preds = %620
  br label %622

622:                                              ; preds = %621
  br label %623

623:                                              ; preds = %622
  %624 = load ptr, ptr %21, align 8, !tbaa !9
  %625 = load ptr, ptr @session_state, align 8, !tbaa !9
  %626 = load i64, ptr @session_state_length, align 8, !tbaa !16
  %627 = call i32 @load_file_to_array(ptr noundef %624, ptr noundef %625, i64 noundef %626)
  %628 = icmp slt i32 %627, 0
  br i1 %628, label %629, label %630

629:                                              ; preds = %623
  call void @print_s2n_error(ptr noundef @.str.144)
  call void @exit(i32 noundef 1) #13
  unreachable

630:                                              ; preds = %623
  br label %631

631:                                              ; preds = %630
  br label %632

632:                                              ; preds = %631
  br label %633

633:                                              ; preds = %632, %599
  %634 = load i64, ptr @session_state_length, align 8, !tbaa !16
  %635 = icmp ugt i64 %634, 0
  br i1 %635, label %636, label %647

636:                                              ; preds = %633
  br label %637

637:                                              ; preds = %636
  %638 = load ptr, ptr %60, align 8, !tbaa !9
  %639 = load ptr, ptr @session_state, align 8, !tbaa !9
  %640 = load i64, ptr @session_state_length, align 8, !tbaa !16
  %641 = call i32 @s2n_connection_set_session(ptr noundef %638, ptr noundef %639, i64 noundef %640)
  %642 = icmp slt i32 %641, 0
  br i1 %642, label %643, label %644

643:                                              ; preds = %637
  call void @print_s2n_error(ptr noundef @.str.145)
  call void @exit(i32 noundef 1) #13
  unreachable

644:                                              ; preds = %637
  br label %645

645:                                              ; preds = %644
  br label %646

646:                                              ; preds = %645
  br label %647

647:                                              ; preds = %646, %633
  br label %648

648:                                              ; preds = %647
  %649 = load ptr, ptr %60, align 8, !tbaa !9
  %650 = getelementptr inbounds [10 x ptr], ptr %42, i64 0, i64 0
  %651 = load i64, ptr %43, align 8, !tbaa !16
  %652 = call i32 @s2n_setup_external_psk_list(ptr noundef %649, ptr noundef %650, i64 noundef %651)
  %653 = icmp slt i32 %652, 0
  br i1 %653, label %654, label %655

654:                                              ; preds = %648
  call void @print_s2n_error(ptr noundef @.str.146)
  call void @exit(i32 noundef 1) #13
  unreachable

655:                                              ; preds = %648
  br label %656

656:                                              ; preds = %655
  br label %657

657:                                              ; preds = %656
  %658 = load i8, ptr %50, align 1, !tbaa !11, !range !24, !noundef !25
  %659 = trunc i8 %658 to i1
  br i1 %659, label %660, label %669

660:                                              ; preds = %657
  br label %661

661:                                              ; preds = %660
  %662 = load ptr, ptr %60, align 8, !tbaa !9
  %663 = call i32 @s2n_connection_prefer_throughput(ptr noundef %662)
  %664 = icmp slt i32 %663, 0
  br i1 %664, label %665, label %666

665:                                              ; preds = %661
  call void @print_s2n_error(ptr noundef @.str.147)
  store i32 -1, ptr %3, align 4
  store i32 1, ptr %53, align 4
  br label %903

666:                                              ; preds = %661
  br label %667

667:                                              ; preds = %666
  br label %668

668:                                              ; preds = %667
  br label %669

669:                                              ; preds = %668, %657
  %670 = load i8, ptr %49, align 1, !tbaa !11, !range !24, !noundef !25
  %671 = trunc i8 %670 to i1
  br i1 %671, label %672, label %681

672:                                              ; preds = %669
  br label %673

673:                                              ; preds = %672
  %674 = load ptr, ptr %60, align 8, !tbaa !9
  %675 = call i32 @s2n_connection_prefer_low_latency(ptr noundef %674)
  %676 = icmp slt i32 %675, 0
  br i1 %676, label %677, label %678

677:                                              ; preds = %673
  call void @print_s2n_error(ptr noundef @.str.148)
  store i32 -1, ptr %3, align 4
  store i32 1, ptr %53, align 4
  br label %903

678:                                              ; preds = %673
  br label %679

679:                                              ; preds = %678
  br label %680

680:                                              ; preds = %679
  br label %681

681:                                              ; preds = %680, %669
  %682 = load ptr, ptr %44, align 8, !tbaa !9
  %683 = icmp ne ptr %682, null
  br i1 %683, label %684, label %706

684:                                              ; preds = %681
  %685 = load i8, ptr %27, align 1, !tbaa !15
  %686 = icmp ne i8 %685, 0
  br i1 %686, label %688, label %687

687:                                              ; preds = %684
  call void @print_s2n_error(ptr noundef @.str.149)
  call void @exit(i32 noundef 1) #13
  unreachable

688:                                              ; preds = %684
  %689 = load i64, ptr @session_state_length, align 8, !tbaa !16
  %690 = icmp ne i64 %689, 0
  br i1 %690, label %691, label %705

691:                                              ; preds = %688
  call void @llvm.lifetime.start.p0(i64 4, ptr %61) #10
  %692 = load ptr, ptr %44, align 8, !tbaa !9
  %693 = call i64 @strlen(ptr noundef %692) #11
  %694 = trunc i64 %693 to i32
  store i32 %694, ptr %61, align 4, !tbaa !5
  br label %695

695:                                              ; preds = %691
  %696 = load ptr, ptr %60, align 8, !tbaa !9
  %697 = load ptr, ptr %44, align 8, !tbaa !9
  %698 = load i32, ptr %61, align 4, !tbaa !5
  %699 = call i32 @early_data_send(ptr noundef %696, ptr noundef %697, i32 noundef %698)
  %700 = icmp slt i32 %699, 0
  br i1 %700, label %701, label %702

701:                                              ; preds = %695
  call void @print_s2n_error(ptr noundef @.str.150)
  call void @exit(i32 noundef 1) #13
  unreachable

702:                                              ; preds = %695
  br label %703

703:                                              ; preds = %702
  br label %704

704:                                              ; preds = %703
  call void @llvm.lifetime.end.p0(i64 4, ptr %61) #10
  br label %705

705:                                              ; preds = %704, %688
  br label %706

706:                                              ; preds = %705, %681
  %707 = load ptr, ptr %23, align 8, !tbaa !9
  %708 = icmp ne ptr %707, null
  br i1 %708, label %718, label %709

709:                                              ; preds = %706
  %710 = load ptr, ptr %60, align 8, !tbaa !9
  %711 = load i32, ptr %10, align 4, !tbaa !5
  %712 = call i32 @negotiate(ptr noundef %710, i32 noundef %711)
  %713 = icmp ne i32 %712, 0
  br i1 %713, label %714, label %718

714:                                              ; preds = %709
  br label %715

715:                                              ; preds = %714
  store i32 -1, ptr %3, align 4
  store i32 1, ptr %53, align 4
  br label %903

716:                                              ; No predecessors!
  br label %717

717:                                              ; preds = %716
  br label %718

718:                                              ; preds = %717, %709, %706
  %719 = load ptr, ptr %33, align 8, !tbaa !9
  %720 = load ptr, ptr %35, align 8, !tbaa !9
  %721 = call i32 (ptr, ...) @printf(ptr noundef @.str.151, ptr noundef %719, ptr noundef %720)
  %722 = load i32, ptr %26, align 4, !tbaa !5
  %723 = icmp sgt i32 %722, 0
  br i1 %723, label %727, label %724

724:                                              ; preds = %718
  %725 = load ptr, ptr %20, align 8, !tbaa !9
  %726 = icmp ne ptr %725, null
  br i1 %726, label %727, label %795

727:                                              ; preds = %724, %718
  %728 = load ptr, ptr %60, align 8, !tbaa !9
  %729 = getelementptr inbounds %struct.s2n_connection, ptr %728, i32 0, i32 23
  %730 = load i8, ptr %729, align 4, !tbaa !32
  %731 = zext i8 %730 to i32
  %732 = icmp sge i32 %731, 34
  br i1 %732, label %733, label %747

733:                                              ; preds = %727
  %734 = load i8, ptr %27, align 1, !tbaa !15
  %735 = icmp ne i8 %734, 0
  br i1 %735, label %737, label %736

736:                                              ; preds = %733
  call void @print_s2n_error(ptr noundef @.str.152)
  call void @exit(i32 noundef 1) #13
  unreachable

737:                                              ; preds = %733
  br label %738

738:                                              ; preds = %737
  %739 = load ptr, ptr %60, align 8, !tbaa !9
  %740 = load i32, ptr %10, align 4, !tbaa !5
  %741 = call i32 @echo(ptr noundef %739, i32 noundef %740, ptr noundef %11)
  %742 = icmp slt i32 %741, 0
  br i1 %742, label %743, label %744

743:                                              ; preds = %738
  call void @print_s2n_error(ptr noundef @.str.153)
  call void @exit(i32 noundef 1) #13
  unreachable

744:                                              ; preds = %738
  br label %745

745:                                              ; preds = %744
  br label %746

746:                                              ; preds = %745
  br label %780

747:                                              ; preds = %727
  %748 = load i8, ptr %27, align 1, !tbaa !15
  %749 = icmp ne i8 %748, 0
  br i1 %749, label %755, label %750

750:                                              ; preds = %747
  %751 = load ptr, ptr %60, align 8, !tbaa !9
  %752 = call i32 @s2n_connection_get_session_id_length(ptr noundef %751)
  %753 = icmp sle i32 %752, 0
  br i1 %753, label %754, label %755

754:                                              ; preds = %750
  call void @print_s2n_error(ptr noundef @.str.154)
  call void @exit(i32 noundef 1) #13
  unreachable

755:                                              ; preds = %750, %747
  %756 = load ptr, ptr @session_state, align 8, !tbaa !9
  call void @free(ptr noundef %756) #10
  %757 = load ptr, ptr %60, align 8, !tbaa !9
  %758 = call i32 @s2n_connection_get_session_length(ptr noundef %757)
  %759 = sext i32 %758 to i64
  store i64 %759, ptr @session_state_length, align 8, !tbaa !16
  %760 = load i64, ptr @session_state_length, align 8, !tbaa !16
  %761 = call noalias ptr @calloc(i64 noundef %760, i64 noundef 1) #14
  store ptr %761, ptr @session_state, align 8, !tbaa !9
  br label %762

762:                                              ; preds = %755
  %763 = load ptr, ptr @session_state, align 8, !tbaa !9
  %764 = icmp eq ptr %763, null
  br i1 %764, label %765, label %768

765:                                              ; preds = %762
  %766 = load ptr, ptr @stderr, align 8, !tbaa !9
  %767 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %766, ptr noundef @.str.105) #10
  call void @exit(i32 noundef 1) #13
  unreachable

768:                                              ; preds = %762
  br label %769

769:                                              ; preds = %768
  br label %770

770:                                              ; preds = %769
  %771 = load ptr, ptr %60, align 8, !tbaa !9
  %772 = load ptr, ptr @session_state, align 8, !tbaa !9
  %773 = load i64, ptr @session_state_length, align 8, !tbaa !16
  %774 = call i32 @s2n_connection_get_session(ptr noundef %771, ptr noundef %772, i64 noundef %773)
  %775 = sext i32 %774 to i64
  %776 = load i64, ptr @session_state_length, align 8, !tbaa !16
  %777 = icmp ne i64 %775, %776
  br i1 %777, label %778, label %779

778:                                              ; preds = %770
  call void @print_s2n_error(ptr noundef @.str.155)
  call void @exit(i32 noundef 1) #13
  unreachable

779:                                              ; preds = %770
  br label %780

780:                                              ; preds = %779, %746
  %781 = load ptr, ptr %20, align 8, !tbaa !9
  %782 = icmp ne ptr %781, null
  br i1 %782, label %783, label %794

783:                                              ; preds = %780
  br label %784

784:                                              ; preds = %783
  %785 = load ptr, ptr %20, align 8, !tbaa !9
  %786 = load ptr, ptr @session_state, align 8, !tbaa !9
  %787 = load i64, ptr @session_state_length, align 8, !tbaa !16
  %788 = call i32 @write_array_to_file(ptr noundef %785, ptr noundef %786, i64 noundef %787)
  %789 = icmp slt i32 %788, 0
  br i1 %789, label %790, label %791

790:                                              ; preds = %784
  call void @print_s2n_error(ptr noundef @.str.156)
  call void @exit(i32 noundef 1) #13
  unreachable

791:                                              ; preds = %784
  br label %792

792:                                              ; preds = %791
  br label %793

793:                                              ; preds = %792
  br label %794

794:                                              ; preds = %793, %780
  br label %795

795:                                              ; preds = %794, %724
  %796 = load i32, ptr %29, align 4, !tbaa !5
  %797 = icmp ugt i32 %796, 0
  br i1 %797, label %798, label %808

798:                                              ; preds = %795
  %799 = load i8, ptr %30, align 1, !tbaa !15
  %800 = zext i8 %799 to i32
  %801 = icmp sgt i32 %800, 0
  br i1 %801, label %802, label %808

802:                                              ; preds = %798
  %803 = load ptr, ptr %60, align 8, !tbaa !9
  %804 = load i32, ptr %29, align 4, !tbaa !5
  %805 = load i8, ptr %30, align 1, !tbaa !15
  %806 = zext i8 %805 to i16
  %807 = call i32 @s2n_connection_set_dynamic_record_threshold(ptr noundef %803, i32 noundef %804, i16 noundef zeroext %806)
  br label %808

808:                                              ; preds = %802, %798, %795
  br label %809

809:                                              ; preds = %808
  %810 = load ptr, ptr %60, align 8, !tbaa !9
  %811 = call i32 @s2n_connection_free_handshake(ptr noundef %810)
  %812 = icmp slt i32 %811, 0
  br i1 %812, label %813, label %814

813:                                              ; preds = %809
  call void @print_s2n_error(ptr noundef @.str.157)
  call void @exit(i32 noundef 1) #13
  unreachable

814:                                              ; preds = %809
  br label %815

815:                                              ; preds = %814
  br label %816

816:                                              ; preds = %815
  %817 = load ptr, ptr %37, align 8, !tbaa !9
  %818 = icmp ne ptr %817, null
  br i1 %818, label %819, label %828

819:                                              ; preds = %816
  %820 = load ptr, ptr %37, align 8, !tbaa !9
  %821 = call i32 (ptr, ...) @printf(ptr noundef @.str.158, ptr noundef %820)
  call void @llvm.lifetime.start.p0(i64 8, ptr %62) #10
  %822 = load ptr, ptr %37, align 8, !tbaa !9
  %823 = call i64 @strlen(ptr noundef %822) #11
  store i64 %823, ptr %62, align 8, !tbaa !16
  call void @llvm.lifetime.start.p0(i64 4, ptr %63) #10
  store i32 0, ptr %63, align 4, !tbaa !5
  %824 = load ptr, ptr %60, align 8, !tbaa !9
  %825 = load i32, ptr %10, align 4, !tbaa !5
  %826 = load ptr, ptr %37, align 8, !tbaa !9
  %827 = load i64, ptr %62, align 8, !tbaa !16
  call void @send_data(ptr noundef %824, i32 noundef %825, ptr noundef %826, i64 noundef %827, ptr noundef %63)
  call void @llvm.lifetime.end.p0(i64 4, ptr %63) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %62) #10
  br label %828

828:                                              ; preds = %819, %816
  br label %829

829:                                              ; preds = %858, %828
  %830 = load i8, ptr %36, align 1, !tbaa !11, !range !24, !noundef !25
  %831 = trunc i8 %830 to i1
  br i1 %831, label %832, label %859

832:                                              ; preds = %829
  %833 = load ptr, ptr @stdout, align 8, !tbaa !9
  %834 = call i32 @fflush(ptr noundef %833)
  %835 = load ptr, ptr @stderr, align 8, !tbaa !9
  %836 = call i32 @fflush(ptr noundef %835)
  %837 = load ptr, ptr %60, align 8, !tbaa !9
  %838 = load i32, ptr %10, align 4, !tbaa !5
  %839 = getelementptr inbounds %struct.reneg_req_ctx, ptr %46, i32 0, i32 0
  %840 = call i32 @echo(ptr noundef %837, i32 noundef %838, ptr noundef %839)
  %841 = getelementptr inbounds %struct.reneg_req_ctx, ptr %46, i32 0, i32 0
  %842 = load i8, ptr %841, align 4, !tbaa !57, !range !24, !noundef !25
  %843 = trunc i8 %842 to i1
  br i1 %843, label %845, label %844

844:                                              ; preds = %832
  br label %859

845:                                              ; preds = %832
  %846 = getelementptr inbounds %struct.reneg_req_ctx, ptr %46, i32 0, i32 0
  store i8 0, ptr %846, align 4, !tbaa !57
  br label %847

847:                                              ; preds = %845
  %848 = load ptr, ptr %60, align 8, !tbaa !9
  %849 = load i32, ptr %10, align 4, !tbaa !5
  %850 = getelementptr inbounds %struct.reneg_req_ctx, ptr %46, i32 0, i32 1
  %851 = load i8, ptr %850, align 1, !tbaa !20, !range !24, !noundef !25
  %852 = trunc i8 %851 to i1
  %853 = call i32 @renegotiate(ptr noundef %848, i32 noundef %849, i1 noundef zeroext %852)
  %854 = icmp slt i32 %853, 0
  br i1 %854, label %855, label %856

855:                                              ; preds = %847
  call void @print_s2n_error(ptr noundef @.str.159)
  call void @exit(i32 noundef 1) #13
  unreachable

856:                                              ; preds = %847
  br label %857

857:                                              ; preds = %856
  br label %858

858:                                              ; preds = %857
  br label %829, !llvm.loop !58

859:                                              ; preds = %844, %829
  %860 = load ptr, ptr %22, align 8, !tbaa !9
  %861 = icmp ne ptr %860, null
  br i1 %861, label %862, label %872

862:                                              ; preds = %859
  br label %863

863:                                              ; preds = %862
  %864 = load ptr, ptr %60, align 8, !tbaa !9
  %865 = load ptr, ptr %22, align 8, !tbaa !9
  %866 = call i32 @s2n_connection_serialize_out(ptr noundef %864, ptr noundef %865)
  %867 = icmp slt i32 %866, 0
  br i1 %867, label %868, label %869

868:                                              ; preds = %863
  call void @print_s2n_error(ptr noundef @.str.160)
  call void @exit(i32 noundef 1) #13
  unreachable

869:                                              ; preds = %863
  br label %870

870:                                              ; preds = %869
  br label %871

871:                                              ; preds = %870
  br label %882

872:                                              ; preds = %859
  br label %873

873:                                              ; preds = %872
  %874 = load ptr, ptr %60, align 8, !tbaa !9
  %875 = load i32, ptr %10, align 4, !tbaa !5
  %876 = call i32 @wait_for_shutdown(ptr noundef %874, i32 noundef %875)
  %877 = icmp slt i32 %876, 0
  br i1 %877, label %878, label %879

878:                                              ; preds = %873
  call void @print_s2n_error(ptr noundef @.str.161)
  call void @exit(i32 noundef 1) #13
  unreachable

879:                                              ; preds = %873
  br label %880

880:                                              ; preds = %879
  br label %881

881:                                              ; preds = %880
  br label %882

882:                                              ; preds = %881, %871
  br label %883

883:                                              ; preds = %882
  %884 = load ptr, ptr %60, align 8, !tbaa !9
  %885 = call i32 @s2n_connection_free(ptr noundef %884)
  %886 = icmp slt i32 %885, 0
  br i1 %886, label %887, label %888

887:                                              ; preds = %883
  call void @print_s2n_error(ptr noundef @.str.162)
  call void @exit(i32 noundef 1) #13
  unreachable

888:                                              ; preds = %883
  br label %889

889:                                              ; preds = %888
  br label %890

890:                                              ; preds = %889
  br label %891

891:                                              ; preds = %890
  %892 = load ptr, ptr %58, align 8, !tbaa !9
  %893 = call i32 @s2n_config_free(ptr noundef %892)
  %894 = icmp slt i32 %893, 0
  br i1 %894, label %895, label %896

895:                                              ; preds = %891
  call void @print_s2n_error(ptr noundef @.str.163)
  call void @exit(i32 noundef 1) #13
  unreachable

896:                                              ; preds = %891
  br label %897

897:                                              ; preds = %896
  br label %898

898:                                              ; preds = %897
  %899 = load i32, ptr %10, align 4, !tbaa !5
  %900 = call i32 @close(i32 noundef %899)
  %901 = load i32, ptr %26, align 4, !tbaa !5
  %902 = add nsw i32 %901, -1
  store i32 %902, ptr %26, align 4, !tbaa !5
  store i32 0, ptr %53, align 4
  br label %903

903:                                              ; preds = %898, %715, %677, %665
  call void @llvm.lifetime.end.p0(i64 8, ptr %60) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %58) #10
  call void @llvm.lifetime.end.p0(i64 4, ptr %56) #10
  %904 = load i32, ptr %53, align 4
  switch i32 %904, label %926 [
    i32 0, label %905
  ]

905:                                              ; preds = %903
  br label %906

906:                                              ; preds = %905
  %907 = load i32, ptr %26, align 4, !tbaa !5
  %908 = icmp sge i32 %907, 0
  br i1 %908, label %295, label %909, !llvm.loop !59

909:                                              ; preds = %906
  %910 = load ptr, ptr %41, align 8, !tbaa !9
  %911 = icmp ne ptr %910, null
  br i1 %911, label %912, label %915

912:                                              ; preds = %909
  %913 = load ptr, ptr %41, align 8, !tbaa !9
  %914 = call i32 @fclose(ptr noundef %913)
  br label %915

915:                                              ; preds = %912, %909
  br label %916

916:                                              ; preds = %915
  %917 = call i32 @s2n_cleanup()
  %918 = icmp slt i32 %917, 0
  br i1 %918, label %919, label %920

919:                                              ; preds = %916
  call void @print_s2n_error(ptr noundef @.str.164)
  call void @exit(i32 noundef 1) #13
  unreachable

920:                                              ; preds = %916
  br label %921

921:                                              ; preds = %920
  br label %922

922:                                              ; preds = %921
  %923 = load ptr, ptr %44, align 8, !tbaa !9
  call void @free(ptr noundef %923) #10
  %924 = load ptr, ptr @session_state, align 8, !tbaa !9
  call void @free(ptr noundef %924) #10
  %925 = load ptr, ptr %7, align 8, !tbaa !9
  call void @freeaddrinfo(ptr noundef %925) #10
  store i32 0, ptr %3, align 4
  store i32 1, ptr %53, align 4
  br label %926

926:                                              ; preds = %922, %903
  call void @llvm.lifetime.end.p0(i64 1, ptr %50) #10
  call void @llvm.lifetime.end.p0(i64 1, ptr %49) #10
  call void @llvm.lifetime.end.p0(i64 4, ptr %48) #10
  call void @llvm.lifetime.end.p0(i64 1, ptr %47) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %46) #10
  call void @llvm.lifetime.end.p0(i64 1, ptr %45) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %44) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %43) #10
  call void @llvm.lifetime.end.p0(i64 80, ptr %42) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %41) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %40) #10
  call void @llvm.lifetime.end.p0(i64 1, ptr %39) #10
  call void @llvm.lifetime.end.p0(i64 4, ptr %38) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %37) #10
  call void @llvm.lifetime.end.p0(i64 1, ptr %36) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #10
  call void @llvm.lifetime.end.p0(i64 4, ptr %32) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #10
  call void @llvm.lifetime.end.p0(i64 1, ptr %30) #10
  call void @llvm.lifetime.end.p0(i64 4, ptr %29) #10
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #10
  call void @llvm.lifetime.end.p0(i64 1, ptr %27) #10
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #10
  call void @llvm.lifetime.end.p0(i64 1, ptr %25) #10
  call void @llvm.lifetime.end.p0(i64 2, ptr %24) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #10
  call void @llvm.lifetime.end.p0(i64 1, ptr %19) #10
  call void @llvm.lifetime.end.p0(i64 1, ptr %18) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #10
  call void @llvm.lifetime.end.p0(i64 1, ptr %11) #10
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #10
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %8) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #10
  call void @llvm.lifetime.end.p0(i64 48, ptr %6) #10
  %927 = load i32, ptr %3, align 4
  ret i32 %927

928:                                              ; preds = %206
  unreachable
}

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

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

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

declare ptr @load_file_to_cstring(ptr noundef) #5

; Function Attrs: inlinehint nounwind willreturn memory(read) uwtable
declare i32 @atoi(ptr noundef nonnull) #6

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

; Function Attrs: nounwind
declare i64 @strtoul(ptr noundef, ptr noundef, i32 noundef) #1

; Function Attrs: nounwind willreturn memory(read)
declare i32 @strcmp(ptr noundef, ptr noundef) #8

; Function Attrs: nounwind
declare i64 @strtoimax(ptr noundef, ptr noundef, 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: nounwind
declare ptr @signal(i32 noundef, ptr noundef) #1

declare i32 @s2n_init() #5

declare void @print_s2n_error(ptr noundef) #5

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

declare ptr @s2n_libcrypto_get_version_name() #5

declare i32 @s2n_get_fips_mode(ptr noundef) #5

declare i32 @getaddrinfo(ptr noundef, ptr noundef, ptr noundef, ptr noundef) #5

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

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

declare i32 @connect(i32 noundef, ptr noundef, i32 noundef) #5

declare i32 @close(i32 noundef) #5

declare i32 @fcntl(i32 noundef, i32 noundef, ...) #5

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

declare ptr @s2n_config_new() #5

; Function Attrs: nounwind uwtable
declare hidden void @setup_s2n_config(ptr noundef, ptr noundef, i32 noundef, ptr noundef, ptr noundef, ptr noundef, i16 noundef zeroext) #0

declare i32 @s2n_config_set_send_buffer_size(ptr noundef, i32 noundef) #5

declare ptr @s2n_cert_chain_and_key_new() #5

declare i32 @s2n_cert_chain_and_key_load_pem(ptr noundef, ptr noundef, ptr noundef) #5

declare i32 @s2n_config_add_cert_chain_and_key_to_store(ptr noundef, ptr noundef) #5

declare i32 @s2n_config_add_pem_to_trust_store(ptr noundef, ptr noundef) #5

declare i32 @s2n_config_wipe_trust_store(ptr noundef) #5

declare i32 @s2n_config_set_verification_ca_location(ptr noundef, ptr noundef, ptr noundef) #5

declare i32 @s2n_config_disable_x509_verification(ptr noundef) #5

declare i32 @s2n_config_set_session_tickets_onoff(ptr noundef, i8 noundef zeroext) #5

declare i32 @s2n_config_set_session_ticket_cb(ptr noundef, ptr noundef, ptr noundef) #5

; Function Attrs: nounwind uwtable
declare hidden i32 @test_session_ticket_cb(ptr noundef, ptr noundef, ptr noundef) #0

declare noalias ptr @fopen(ptr noundef, ptr noundef) #5

declare i32 @s2n_config_set_key_log_cb(ptr noundef, ptr noundef, ptr noundef) #5

declare i32 @key_log_callback(ptr noundef, ptr noundef, ptr noundef, i64 noundef) #5

declare i32 @s2n_config_set_renegotiate_request_cb(ptr noundef, ptr noundef, ptr noundef) #5

; Function Attrs: nounwind uwtable
declare hidden i32 @reneg_req_cb(ptr noundef, ptr noundef, ptr noundef) #0

declare i32 @s2n_config_set_npn(ptr noundef, i1 noundef zeroext) #5

declare i32 @s2n_config_set_serialization_version(ptr noundef, i32 noundef) #5

declare ptr @s2n_connection_new(i32 noundef) #5

declare i32 @s2n_connection_deserialize_in(ptr noundef, ptr noundef) #5

declare i32 @s2n_connection_set_config(ptr noundef, ptr noundef) #5

declare i32 @s2n_set_server_name(ptr noundef, ptr noundef) #5

declare i32 @s2n_connection_set_fd(ptr noundef, i32 noundef) #5

declare i32 @s2n_connection_set_client_auth_type(ptr noundef, i32 noundef) #5

declare i32 @s2n_connection_use_corked_io(ptr noundef) #5

declare i32 @get_file_size(ptr noundef, ptr noundef) #5

; Function Attrs: nounwind
declare void @free(ptr noundef) #1

; Function Attrs: nounwind allocsize(0,1)
declare noalias ptr @calloc(i64 noundef, i64 noundef) #9

declare i32 @load_file_to_array(ptr noundef, ptr noundef, i64 noundef) #5

declare i32 @s2n_connection_set_session(ptr noundef, ptr noundef, i64 noundef) #5

declare i32 @s2n_setup_external_psk_list(ptr noundef, ptr noundef, i64 noundef) #5

declare i32 @s2n_connection_prefer_throughput(ptr noundef) #5

declare i32 @s2n_connection_prefer_low_latency(ptr noundef) #5

; Function Attrs: nounwind willreturn memory(read)
declare i64 @strlen(ptr noundef) #8

declare i32 @early_data_send(ptr noundef, ptr noundef, i32 noundef) #5

declare i32 @negotiate(ptr noundef, i32 noundef) #5

declare i32 @echo(ptr noundef, i32 noundef, ptr noundef) #5

declare i32 @s2n_connection_get_session_id_length(ptr noundef) #5

declare i32 @s2n_connection_get_session_length(ptr noundef) #5

declare i32 @s2n_connection_get_session(ptr noundef, ptr noundef, i64 noundef) #5

declare i32 @write_array_to_file(ptr noundef, ptr noundef, i64 noundef) #5

declare i32 @s2n_connection_set_dynamic_record_threshold(ptr noundef, i32 noundef, i16 noundef zeroext) #5

declare i32 @s2n_connection_free_handshake(ptr noundef) #5

declare void @send_data(ptr noundef, i32 noundef, ptr noundef, i64 noundef, ptr noundef) #5

declare i32 @fflush(ptr noundef) #5

declare i32 @renegotiate(ptr noundef, i32 noundef, i1 noundef zeroext) #5

declare i32 @s2n_connection_serialize_out(ptr noundef, ptr noundef) #5

declare i32 @wait_for_shutdown(ptr noundef, i32 noundef) #5

declare i32 @s2n_connection_free(ptr noundef) #5

declare i32 @s2n_config_free(ptr noundef) #5

declare i32 @fclose(ptr noundef) #5

declare i32 @s2n_cleanup() #5

; Function Attrs: nounwind
declare void @freeaddrinfo(ptr noundef) #1

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

!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 = !{!14, !14, i64 0}
!14 = !{!"short", !7, i64 0}
!15 = !{!7, !7, i64 0}
!16 = !{!17, !17, i64 0}
!17 = !{!"long", !7, i64 0}
!18 = !{!19, !6, i64 4}
!19 = !{!"reneg_req_ctx", !12, i64 0, !12, i64 1, !6, i64 4}
!20 = !{!19, !12, i64 1}
!21 = !{!22, !6, i64 4}
!22 = !{!"addrinfo", !6, i64 0, !6, i64 4, !6, i64 8, !6, i64 12, !6, i64 16, !10, i64 24, !10, i64 32, !10, i64 40}
!23 = !{!22, !6, i64 8}
!24 = !{i8 0, i8 2}
!25 = !{}
!26 = !{!22, !6, i64 12}
!27 = !{!22, !10, i64 24}
!28 = !{!22, !6, i64 16}
!29 = !{!22, !10, i64 40}
!30 = distinct !{!30, !31}
!31 = !{!"llvm.loop.mustprogress"}
!32 = !{!33, !7, i64 220}
!33 = !{!"s2n_connection", !6, i64 0, !6, i64 0, !6, i64 0, !6, i64 0, !6, i64 0, !6, i64 0, !6, i64 0, !6, i64 0, !6, i64 1, !6, i64 1, !6, i64 1, !6, i64 1, !6, i64 1, !6, i64 1, !6, i64 1, !6, i64 1, !6, i64 2, !6, i64 2, !6, i64 2, !6, i64 2, !6, i64 2, !6, i64 2, !6, i64 2, !10, i64 8, !10, i64 16, !10, i64 24, !10, i64 32, !10, i64 40, !10, i64 48, !10, i64 56, !10, i64 64, !10, i64 72, !7, i64 80, !7, i64 102, !7, i64 124, !6, i64 148, !6, i64 152, !34, i64 160, !17, i64 168, !17, i64 176, !7, i64 184, !7, i64 216, !7, i64 217, !7, i64 218, !7, i64 219, !7, i64 220, !7, i64 221, !7, i64 222, !10, i64 224, !10, i64 232, !35, i64 240, !10, i64 632, !10, i64 640, !36, i64 648, !42, i64 1144, !45, i64 1688, !10, i64 1752, !7, i64 1760, !6, i64 1764, !7, i64 1768, !47, i64 1776, !47, i64 1816, !47, i64 1856, !47, i64 1896, !6, i64 1936, !17, i64 1944, !7, i64 1952, !47, i64 1960, !7, i64 2000, !7, i64 2001, !7, i64 2002, !12, i64 2003, !48, i64 2004, !48, i64 2008, !49, i64 2016, !14, i64 2208, !6, i64 2212, !14, i64 2216, !17, i64 2224, !7, i64 2232, !17, i64 2240, !17, i64 2248, !17, i64 2256, !48, i64 2264, !48, i64 2268, !7, i64 2272, !7, i64 2528, !6, i64 2784, !41, i64 2792, !6, i64 2816, !41, i64 2824, !41, i64 2848, !41, i64 2872, !51, i64 2896, !53, i64 3704, !10, i64 3760, !10, i64 3768, !7, i64 3776, !6, i64 3780, !41, i64 3784, !6, i64 3808, !55, i64 3816, !7, i64 3848, !47, i64 3992, !41, i64 4032, !41, i64 4056, !12, i64 4080, !12, i64 4081, !12, i64 4082, !14, i64 4084, !14, i64 4086, !6, i64 4088, !6, i64 4092, !41, i64 4096, !6, i64 4120, !56, i64 4128, !48, i64 4176, !7, i64 4180, !7, i64 4181}
!34 = !{!"s2n_timer", !17, i64 0}
!35 = !{!"s2n_secrets", !7, i64 0, !6, i64 388}
!36 = !{!"s2n_kex_parameters", !37, i64 0, !38, i64 8, !7, i64 24, !38, i64 56, !39, i64 72, !39, i64 184, !7, i64 296, !40, i64 360, !41, i64 448, !41, i64 472}
!37 = !{!"s2n_dh_params", !10, i64 0}
!38 = !{!"s2n_ecc_evp_params", !10, i64 0, !10, i64 8}
!39 = !{!"s2n_kem_group_params", !10, i64 0, !40, i64 8, !38, i64 96}
!40 = !{!"s2n_kem_params", !10, i64 0, !41, i64 8, !41, i64 32, !41, i64 56, !12, i64 80}
!41 = !{!"s2n_blob", !10, i64 0, !6, i64 8, !6, i64 12, !6, i64 16}
!42 = !{!"s2n_handshake_parameters", !43, i64 0, !43, i64 48, !41, i64 96, !6, i64 120, !44, i64 124, !10, i64 384, !10, i64 392, !10, i64 400, !7, i64 408, !7, i64 440, !7, i64 472, !7, i64 473, !7, i64 474, !7, i64 506}
!43 = !{!"s2n_pkey", !10, i64 0, !10, i64 8, !10, i64 16, !10, i64 24, !10, i64 32, !10, i64 40}
!44 = !{!"s2n_sig_scheme_list", !7, i64 0, !7, i64 256}
!45 = !{!"s2n_psk_parameters", !6, i64 0, !46, i64 8, !14, i64 40, !14, i64 42, !10, i64 48, !6, i64 56}
!46 = !{!"s2n_array", !41, i64 0, !6, i64 24, !6, i64 28}
!47 = !{!"s2n_stuffer", !41, i64 0, !6, i64 24, !6, i64 28, !6, i64 32, !6, i64 36, !6, i64 36, !6, i64 36}
!48 = !{!"", !6, i64 0}
!49 = !{!"s2n_handshake", !47, i64 0, !10, i64 40, !7, i64 48, !7, i64 56, !7, i64 104, !7, i64 152, !6, i64 156, !6, i64 160, !6, i64 164, !6, i64 168, !50, i64 176, !6, i64 184, !6, i64 184, !6, i64 184, !6, i64 184, !6, i64 188}
!50 = !{!"s2n_offered_early_data", !10, i64 0}
!51 = !{!"s2n_client_hello", !41, i64 0, !52, i64 24, !41, i64 728, !41, i64 752, !41, i64 776, !7, i64 800, !7, i64 801, !6, i64 802, !6, i64 802, !6, i64 802, !6, i64 802, !6, i64 802, !6, i64 802, !6, i64 802}
!52 = !{!"", !7, i64 0, !41, i64 672, !14, i64 696}
!53 = !{!"s2n_x509_validator", !10, i64 0, !10, i64 8, !7, i64 16, !7, i64 17, !14, i64 18, !10, i64 24, !6, i64 32, !10, i64 40, !54, i64 48, !12, i64 52}
!54 = !{!"s2n_cert_validation_info", !6, i64 0, !6, i64 0}
!55 = !{!"s2n_ticket_fields", !41, i64 0, !6, i64 24}
!56 = !{!"s2n_post_handshake", !47, i64 0, !7, i64 40}
!57 = !{!19, !12, i64 0}
!58 = distinct !{!58, !31}
!59 = distinct !{!59, !31}


; 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.option = type { ptr, i32, ptr, i32 }
%struct.addrinfo = type { i32, i32, i32, i32, i32, ptr, ptr, ptr }
%struct.verify_data = type { ptr }
%struct.reneg_req_ctx = type { i8, i8, i32 }

@default_trusted_cert = external dso_local constant [1081 x i8], align 16
@stderr = external local_unnamed_addr global ptr, align 8
@session_state_length = external dso_local global i64, align 8
@session_state = external dso_local local_unnamed_addr global ptr, align 8
@.str.68 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.69 = external hidden unnamed_addr constant [4 x i8], align 1
@main.long_options = external hidden global [34 x %struct.option], align 16
@.str.103 = external hidden unnamed_addr constant [35 x i8], align 1
@optarg = external local_unnamed_addr global ptr, align 8
@.str.104 = external hidden unnamed_addr constant [61 x i8], align 1
@.str.105 = external hidden unnamed_addr constant [26 x i8], align 1
@.str.106 = external hidden unnamed_addr constant [7 x i8], align 1
@.str.107 = external hidden unnamed_addr constant [7 x i8], align 1
@.str.108 = external hidden unnamed_addr constant [5 x i8], align 1
@.str.109 = external hidden unnamed_addr constant [25 x i8], align 1
@.str.110 = external hidden unnamed_addr constant [47 x i8], align 1
@optind = external local_unnamed_addr global i32, align 4
@.str.111 = external hidden unnamed_addr constant [25 x i8], align 1
@.str.112 = external hidden unnamed_addr constant [73 x i8], align 1
@.str.113 = external hidden unnamed_addr constant [25 x i8], align 1
@.str.114 = external hidden unnamed_addr constant [15 x i8], align 1
@.str.115 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.116 = external hidden unnamed_addr constant [56 x i8], align 1
@.str.117 = external hidden unnamed_addr constant [24 x i8], align 1
@.str.118 = external hidden unnamed_addr constant [11 x i8], align 1
@.str.119 = external hidden unnamed_addr constant [28 x i8], align 1
@.str.120 = external hidden unnamed_addr constant [17 x i8], align 1
@.str.121 = external hidden unnamed_addr constant [31 x i8], align 1
@.str.122 = external hidden unnamed_addr constant [36 x i8], align 1
@.str.123 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.124 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.125 = external hidden unnamed_addr constant [42 x i8], align 1
@.str.126 = external hidden unnamed_addr constant [25 x i8], align 1
@.str.127 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.128 = external hidden unnamed_addr constant [33 x i8], align 1
@.str.129 = external hidden unnamed_addr constant [31 x i8], align 1
@.str.130 = external hidden unnamed_addr constant [38 x i8], align 1
@.str.131 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.132 = external hidden unnamed_addr constant [28 x i8], align 1
@.str.133 = external hidden unnamed_addr constant [31 x i8], align 1
@.str.134 = external hidden unnamed_addr constant [45 x i8], align 1
@.str.135 = external hidden unnamed_addr constant [26 x i8], align 1
@.str.136 = external hidden unnamed_addr constant [33 x i8], align 1
@.str.137 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.138 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.139 = external hidden unnamed_addr constant [28 x i8], align 1
@.str.140 = external hidden unnamed_addr constant [26 x i8], align 1
@.str.141 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.142 = external hidden unnamed_addr constant [34 x i8], align 1
@.str.143 = external hidden unnamed_addr constant [24 x i8], align 1
@.str.144 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.145 = external hidden unnamed_addr constant [42 x i8], align 1
@.str.146 = external hidden unnamed_addr constant [32 x i8], align 1
@.str.147 = external hidden unnamed_addr constant [32 x i8], align 1
@.str.148 = external hidden unnamed_addr constant [33 x i8], align 1
@.str.149 = external hidden unnamed_addr constant [50 x i8], align 1
@.str.150 = external hidden unnamed_addr constant [25 x i8], align 1
@.str.151 = external hidden unnamed_addr constant [20 x i8], align 1
@.str.152 = external hidden unnamed_addr constant [56 x i8], align 1
@.str.153 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.154 = external hidden unnamed_addr constant [56 x i8], align 1
@.str.155 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.156 = external hidden unnamed_addr constant [35 x i8], align 1
@.str.157 = external hidden unnamed_addr constant [49 x i8], align 1
@.str.158 = external hidden unnamed_addr constant [27 x i8], align 1
@stdout = external local_unnamed_addr global ptr, align 8
@.str.159 = external hidden unnamed_addr constant [21 x i8], align 1
@.str.160 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.161 = external hidden unnamed_addr constant [25 x i8], align 1
@.str.162 = external hidden unnamed_addr constant [25 x i8], align 1
@.str.163 = external hidden unnamed_addr constant [28 x i8], align 1
@.str.164 = external hidden unnamed_addr constant [28 x i8], align 1

; Function Attrs: nounwind uwtable
declare dso_local void @usage() local_unnamed_addr #0

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

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

; Function Attrs: nounwind uwtable
define dso_local range(i32 -1, 1) i32 @main(i32 noundef %0, ptr noundef %1) local_unnamed_addr #0 {
  %3 = alloca %struct.addrinfo, align 8
  %4 = alloca ptr, align 8
  %5 = alloca i8, align 1
  %6 = alloca %struct.verify_data, align 8
  %7 = alloca [10 x ptr], align 16
  %8 = alloca %struct.reneg_req_ctx, align 8
  %9 = alloca i32, align 4
  %10 = alloca i32, align 4
  %11 = alloca i32, align 4
  call void @llvm.lifetime.start.p0(i64 48, ptr nonnull %3) #14
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %4) #14
  store ptr null, ptr %4, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %5) #14
  store i8 0, ptr %5, align 1, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %6) #14
  call void @llvm.lifetime.start.p0(i64 80, ptr nonnull %7) #14
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %8) #14
  store i64 0, ptr %8, align 8
  %12 = getelementptr inbounds i8, ptr %8, i64 4
  %13 = getelementptr inbounds i8, ptr %8, i64 1
  br label %14

14:                                               ; preds = %113, %2
  %.0274 = phi ptr [ null, %2 ], [ %.2276, %113 ]
  %.0271 = phi ptr [ null, %2 ], [ %.2273, %113 ]
  %.0268 = phi i8 [ 0, %2 ], [ %.2270, %113 ]
  %.0265 = phi i8 [ 0, %2 ], [ %.2267, %113 ]
  %.0262 = phi ptr [ null, %2 ], [ %.2264, %113 ]
  %.0259 = phi ptr [ null, %2 ], [ %.2261, %113 ]
  %.0256 = phi ptr [ null, %2 ], [ %.2258, %113 ]
  %.0253 = phi ptr [ null, %2 ], [ %.2255, %113 ]
  %.0250 = phi i16 [ 0, %2 ], [ %.2252, %113 ]
  %.0247 = phi i8 [ 0, %2 ], [ %.2249, %113 ]
  %.0243 = phi i32 [ 0, %2 ], [ %.2245, %113 ]
  %.0240 = phi i8 [ 1, %2 ], [ %.2242, %113 ]
  %.0237 = phi i32 [ 0, %2 ], [ %.2239, %113 ]
  %.0234 = phi i32 [ 0, %2 ], [ %.2236, %113 ]
  %.0231 = phi i8 [ 0, %2 ], [ %.2233, %113 ]
  %.0228 = phi ptr [ @.str.68, %2 ], [ %.2230, %113 ]
  %.0225 = phi i32 [ 0, %2 ], [ %.2227, %113 ]
  %.0220 = phi i1 [ false, %2 ], [ %.2222, %113 ]
  %.0217 = phi ptr [ null, %2 ], [ %.2219, %113 ]
  %.0214 = phi i32 [ 0, %2 ], [ %.2216, %113 ]
  %.0211 = phi i8 [ 0, %2 ], [ %.2213, %113 ]
  %.0208 = phi ptr [ null, %2 ], [ %.2210, %113 ]
  %.0203 = phi i64 [ 0, %2 ], [ %.2205, %113 ]
  %.0200 = phi ptr [ null, %2 ], [ %.2202, %113 ]
  %.0197 = phi i1 [ false, %2 ], [ %.2199, %113 ]
  %.0194 = phi i1 [ false, %2 ], [ %.2196, %113 ]
  %.0191 = phi i32 [ 0, %2 ], [ %.2193, %113 ]
  %.0188 = phi i1 [ false, %2 ], [ %.2190, %113 ]
  %.0185 = phi i8 [ 0, %2 ], [ %.2187, %113 ]
  %.0182 = phi ptr [ null, %2 ], [ %.2184, %113 ]
  %.0177 = phi ptr [ null, %2 ], [ %.2179, %113 ]
  %.0173 = phi ptr [ null, %2 ], [ %.2175, %113 ]
  %.0170 = phi ptr [ null, %2 ], [ %.2172, %113 ]
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %9) #14
  store i32 0, ptr %9, align 4, !tbaa !11
  %15 = call i32 @getopt_long(i32 noundef %0, ptr noundef %1, ptr noundef nonnull @.str.103, ptr noundef nonnull @main.long_options, ptr noundef nonnull %9) #14
  switch i32 %15, label %111 [
    i32 -1, label %114
    i32 97, label %16
    i32 67, label %113
    i32 99, label %18
    i32 70, label %20
    i32 101, label %21
    i32 1002, label %22
    i32 104, label %25
    i32 110, label %26
    i32 115, label %28
    i32 109, label %29
    i32 102, label %33
    i32 100, label %35
    i32 108, label %37
    i32 107, label %40
    i32 105, label %43
    i32 114, label %44
    i32 1001, label %45
    i32 1000, label %47
    i32 1008, label %49
    i32 1009, label %51
    i32 84, label %53
    i32 116, label %54
    i32 68, label %58
    i32 51, label %112
    i32 66, label %65
    i32 76, label %66
    i32 80, label %68
    i32 69, label %77
    i32 1003, label %84
    i32 1004, label %100
    i32 1007, label %101
    i32 1005, label %109
    i32 1006, label %110
  ]

16:                                               ; preds = %14
  %17 = load ptr, ptr @optarg, align 8, !tbaa !5
  br label %113

18:                                               ; preds = %14
  %19 = load ptr, ptr @optarg, align 8, !tbaa !5
  br label %113

20:                                               ; preds = %14
  br label %113

21:                                               ; preds = %14
  br label %113

22:                                               ; preds = %14
  %23 = load ptr, ptr @optarg, align 8, !tbaa !5
  %24 = call ptr @load_file_to_cstring(ptr noundef %23) #14
  br label %113

25:                                               ; preds = %14
  call void @usage()
  br label %113

26:                                               ; preds = %14
  %27 = load ptr, ptr @optarg, align 8, !tbaa !5
  br label %113

28:                                               ; preds = %14
  br label %113

29:                                               ; preds = %14
  %30 = load ptr, ptr @optarg, align 8, !tbaa !5
  %31 = call i32 @atoi(ptr nocapture noundef %30) #15
  %32 = trunc i32 %31 to i16
  br label %113

33:                                               ; preds = %14
  %34 = load ptr, ptr @optarg, align 8, !tbaa !5
  br label %113

35:                                               ; preds = %14
  %36 = load ptr, ptr @optarg, align 8, !tbaa !5
  br label %113

37:                                               ; preds = %14
  %38 = load ptr, ptr @optarg, align 8, !tbaa !5
  %39 = call ptr @load_file_to_cstring(ptr noundef %38) #14
  br label %113

40:                                               ; preds = %14
  %41 = load ptr, ptr @optarg, align 8, !tbaa !5
  %42 = call ptr @load_file_to_cstring(ptr noundef %41) #14
  br label %113

43:                                               ; preds = %14
  br label %113

44:                                               ; preds = %14
  br label %113

45:                                               ; preds = %14
  %46 = load ptr, ptr @optarg, align 8, !tbaa !5
  br label %113

47:                                               ; preds = %14
  %48 = load ptr, ptr @optarg, align 8, !tbaa !5
  br label %113

49:                                               ; preds = %14
  %50 = load ptr, ptr @optarg, align 8, !tbaa !5
  br label %113

51:                                               ; preds = %14
  %52 = load ptr, ptr @optarg, align 8, !tbaa !5
  br label %113

53:                                               ; preds = %14
  br label %113

54:                                               ; preds = %14
  %55 = load ptr, ptr @optarg, align 8, !tbaa !5
  %56 = call i32 @atoi(ptr nocapture noundef %55) #15
  %spec.select = call i32 @llvm.smin.i32(i32 %56, i32 255)
  %57 = trunc i32 %spec.select to i8
  br label %113

58:                                               ; preds = %14
  %59 = tail call ptr @__errno_location() #16
  store i32 0, ptr %59, align 4, !tbaa !11
  %60 = load ptr, ptr @optarg, align 8, !tbaa !5
  %61 = call i64 @strtoul(ptr nocapture noundef %60, ptr noundef null, i32 noundef 10) #14
  %62 = trunc i64 %61 to i32
  %63 = load i32, ptr %59, align 4, !tbaa !11
  %64 = icmp eq i32 %63, 34
  %spec.store.select = select i1 %64, i32 0, i32 %62
  br label %113

65:                                               ; preds = %14
  br label %113

66:                                               ; preds = %14
  %67 = load ptr, ptr @optarg, align 8, !tbaa !5
  br label %113

68:                                               ; preds = %14
  %69 = icmp ugt i64 %.0203, 9
  br i1 %69, label %70, label %73

70:                                               ; preds = %68
  %71 = load ptr, ptr @stderr, align 8, !tbaa !5
  %72 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %71, ptr noundef nonnull @.str.104) #17
  call void @exit(i32 noundef 1) #18
  unreachable

73:                                               ; preds = %68
  %74 = load ptr, ptr @optarg, align 8, !tbaa !5
  %75 = add nuw nsw i64 %.0203, 1
  %76 = getelementptr inbounds [10 x ptr], ptr %7, i64 0, i64 %.0203
  store ptr %74, ptr %76, align 8, !tbaa !5
  br label %113

77:                                               ; preds = %14
  %78 = load ptr, ptr @optarg, align 8, !tbaa !5
  %79 = call ptr @load_file_to_cstring(ptr noundef %78) #14
  %80 = icmp eq ptr %79, null
  br i1 %80, label %81, label %113

81:                                               ; preds = %77
  %82 = load ptr, ptr @stderr, align 8, !tbaa !5
  %83 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %82, ptr noundef nonnull @.str.105) #17
  call void @exit(i32 noundef 1) #18
  unreachable

84:                                               ; preds = %14
  %85 = load ptr, ptr @optarg, align 8, !tbaa !5
  %86 = call i32 @strcmp(ptr noundef nonnull dereferenceable(1) %85, ptr noundef nonnull dereferenceable(1) @.str.106) #15
  %87 = icmp eq i32 %86, 0
  br i1 %87, label %88, label %89

88:                                               ; preds = %84
  store i32 2, ptr %12, align 4, !tbaa !13
  br label %113

89:                                               ; preds = %84
  %90 = call i32 @strcmp(ptr noundef nonnull dereferenceable(1) %85, ptr noundef nonnull dereferenceable(1) @.str.107) #15
  %91 = icmp eq i32 %90, 0
  br i1 %91, label %92, label %93

92:                                               ; preds = %89
  store i32 1, ptr %12, align 4, !tbaa !13
  br label %113

93:                                               ; preds = %89
  %94 = call i32 @strcmp(ptr noundef nonnull dereferenceable(1) %85, ptr noundef nonnull dereferenceable(1) @.str.108) #15
  %95 = icmp eq i32 %94, 0
  br i1 %95, label %96, label %97

96:                                               ; preds = %93
  store i32 2, ptr %12, align 4, !tbaa !13
  store i8 1, ptr %13, align 1, !tbaa !15
  br label %113

97:                                               ; preds = %93
  %98 = load ptr, ptr @stderr, align 8, !tbaa !5
  %99 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %98, ptr noundef nonnull @.str.109, ptr noundef %85) #17
  call void @exit(i32 noundef 1) #18
  unreachable

100:                                              ; preds = %14
  br label %113

101:                                              ; preds = %14
  %102 = load ptr, ptr @optarg, align 8, !tbaa !5
  %103 = call i64 @strtoimax(ptr noundef %102, ptr noundef null, i32 noundef 10) #14
  %or.cond = icmp ugt i64 %103, 4294967295
  br i1 %or.cond, label %104, label %107

104:                                              ; preds = %101
  %105 = load ptr, ptr @stderr, align 8, !tbaa !5
  %106 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %105, ptr noundef nonnull @.str.110) #17
  call void @exit(i32 noundef 1) #18
  unreachable

107:                                              ; preds = %101
  %108 = trunc nuw i64 %103 to i32
  br label %113

109:                                              ; preds = %14
  br label %113

110:                                              ; preds = %14
  br label %113

111:                                              ; preds = %14
  call void @usage()
  br label %113

112:                                              ; preds = %14
  br label %113

113:                                              ; preds = %14, %16, %18, %20, %21, %22, %25, %26, %28, %29, %33, %35, %37, %40, %43, %44, %45, %47, %49, %51, %53, %54, %58, %65, %66, %73, %100, %107, %109, %110, %111, %77, %92, %96, %88, %112
  %.2276 = phi ptr [ %.0274, %111 ], [ %.0274, %110 ], [ %.0274, %109 ], [ %.0274, %107 ], [ %.0274, %100 ], [ %.0274, %88 ], [ %.0274, %92 ], [ %.0274, %96 ], [ %.0274, %77 ], [ %.0274, %73 ], [ %.0274, %66 ], [ %.0274, %65 ], [ %.0274, %58 ], [ %.0274, %54 ], [ %.0274, %53 ], [ %.0274, %51 ], [ %.0274, %49 ], [ %.0274, %47 ], [ %.0274, %45 ], [ %.0274, %44 ], [ %.0274, %43 ], [ %.0274, %40 ], [ %39, %37 ], [ %.0274, %35 ], [ %.0274, %33 ], [ %.0274, %29 ], [ %.0274, %28 ], [ %.0274, %26 ], [ %.0274, %25 ], [ %.0274, %22 ], [ %.0274, %21 ], [ %.0274, %20 ], [ %.0274, %18 ], [ %.0274, %16 ], [ %.0274, %112 ], [ %.0274, %14 ]
  %.2273 = phi ptr [ %.0271, %111 ], [ %.0271, %110 ], [ %.0271, %109 ], [ %.0271, %107 ], [ %.0271, %100 ], [ %.0271, %88 ], [ %.0271, %92 ], [ %.0271, %96 ], [ %.0271, %77 ], [ %.0271, %73 ], [ %.0271, %66 ], [ %.0271, %65 ], [ %.0271, %58 ], [ %.0271, %54 ], [ %.0271, %53 ], [ %.0271, %51 ], [ %.0271, %49 ], [ %.0271, %47 ], [ %.0271, %45 ], [ %.0271, %44 ], [ %.0271, %43 ], [ %42, %40 ], [ %.0271, %37 ], [ %.0271, %35 ], [ %.0271, %33 ], [ %.0271, %29 ], [ %.0271, %28 ], [ %.0271, %26 ], [ %.0271, %25 ], [ %.0271, %22 ], [ %.0271, %21 ], [ %.0271, %20 ], [ %.0271, %18 ], [ %.0271, %16 ], [ %.0271, %112 ], [ %.0271, %14 ]
  %.2270 = phi i8 [ %.0268, %111 ], [ %.0268, %110 ], [ %.0268, %109 ], [ %.0268, %107 ], [ %.0268, %100 ], [ %.0268, %88 ], [ %.0268, %92 ], [ %.0268, %96 ], [ %.0268, %77 ], [ %.0268, %73 ], [ %.0268, %66 ], [ %.0268, %65 ], [ %.0268, %58 ], [ %.0268, %54 ], [ %.0268, %53 ], [ %.0268, %51 ], [ %.0268, %49 ], [ %.0268, %47 ], [ %.0268, %45 ], [ %.0268, %44 ], [ %.0268, %43 ], [ %.0268, %40 ], [ 1, %37 ], [ %.0268, %35 ], [ %.0268, %33 ], [ %.0268, %29 ], [ %.0268, %28 ], [ %.0268, %26 ], [ %.0268, %25 ], [ %.0268, %22 ], [ %.0268, %21 ], [ %.0268, %20 ], [ %.0268, %18 ], [ %.0268, %16 ], [ %.0268, %112 ], [ %.0268, %14 ]
  %.2267 = phi i8 [ %.0265, %111 ], [ %.0265, %110 ], [ %.0265, %109 ], [ %.0265, %107 ], [ %.0265, %100 ], [ %.0265, %88 ], [ %.0265, %92 ], [ %.0265, %96 ], [ %.0265, %77 ], [ %.0265, %73 ], [ %.0265, %66 ], [ %.0265, %65 ], [ %.0265, %58 ], [ %.0265, %54 ], [ %.0265, %53 ], [ %.0265, %51 ], [ %.0265, %49 ], [ %.0265, %47 ], [ %.0265, %45 ], [ %.0265, %44 ], [ %.0265, %43 ], [ 1, %40 ], [ %.0265, %37 ], [ %.0265, %35 ], [ %.0265, %33 ], [ %.0265, %29 ], [ %.0265, %28 ], [ %.0265, %26 ], [ %.0265, %25 ], [ %.0265, %22 ], [ %.0265, %21 ], [ %.0265, %20 ], [ %.0265, %18 ], [ %.0265, %16 ], [ %.0265, %112 ], [ %.0265, %14 ]
  %.2264 = phi ptr [ %.0262, %111 ], [ %.0262, %110 ], [ %.0262, %109 ], [ %.0262, %107 ], [ %.0262, %100 ], [ %.0262, %88 ], [ %.0262, %92 ], [ %.0262, %96 ], [ %.0262, %77 ], [ %.0262, %73 ], [ %.0262, %66 ], [ %.0262, %65 ], [ %.0262, %58 ], [ %.0262, %54 ], [ %.0262, %53 ], [ %.0262, %51 ], [ %.0262, %49 ], [ %.0262, %47 ], [ %46, %45 ], [ %.0262, %44 ], [ %.0262, %43 ], [ %.0262, %40 ], [ %.0262, %37 ], [ %.0262, %35 ], [ %.0262, %33 ], [ %.0262, %29 ], [ %.0262, %28 ], [ %.0262, %26 ], [ %.0262, %25 ], [ %.0262, %22 ], [ %.0262, %21 ], [ %.0262, %20 ], [ %.0262, %18 ], [ %.0262, %16 ], [ %.0262, %112 ], [ %.0262, %14 ]
  %.2261 = phi ptr [ %.0259, %111 ], [ %.0259, %110 ], [ %.0259, %109 ], [ %.0259, %107 ], [ %.0259, %100 ], [ %.0259, %88 ], [ %.0259, %92 ], [ %.0259, %96 ], [ %.0259, %77 ], [ %.0259, %73 ], [ %.0259, %66 ], [ %.0259, %65 ], [ %.0259, %58 ], [ %.0259, %54 ], [ %.0259, %53 ], [ %.0259, %51 ], [ %.0259, %49 ], [ %48, %47 ], [ %.0259, %45 ], [ %.0259, %44 ], [ %.0259, %43 ], [ %.0259, %40 ], [ %.0259, %37 ], [ %.0259, %35 ], [ %.0259, %33 ], [ %.0259, %29 ], [ %.0259, %28 ], [ %.0259, %26 ], [ %.0259, %25 ], [ %.0259, %22 ], [ %.0259, %21 ], [ %.0259, %20 ], [ %.0259, %18 ], [ %.0259, %16 ], [ %.0259, %112 ], [ %.0259, %14 ]
  %.2258 = phi ptr [ %.0256, %111 ], [ %.0256, %110 ], [ %.0256, %109 ], [ %.0256, %107 ], [ %.0256, %100 ], [ %.0256, %88 ], [ %.0256, %92 ], [ %.0256, %96 ], [ %.0256, %77 ], [ %.0256, %73 ], [ %.0256, %66 ], [ %.0256, %65 ], [ %.0256, %58 ], [ %.0256, %54 ], [ %.0256, %53 ], [ %.0256, %51 ], [ %50, %49 ], [ %.0256, %47 ], [ %.0256, %45 ], [ %.0256, %44 ], [ %.0256, %43 ], [ %.0256, %40 ], [ %.0256, %37 ], [ %.0256, %35 ], [ %.0256, %33 ], [ %.0256, %29 ], [ %.0256, %28 ], [ %.0256, %26 ], [ %.0256, %25 ], [ %.0256, %22 ], [ %.0256, %21 ], [ %.0256, %20 ], [ %.0256, %18 ], [ %.0256, %16 ], [ %.0256, %112 ], [ %.0256, %14 ]
  %.2255 = phi ptr [ %.0253, %111 ], [ %.0253, %110 ], [ %.0253, %109 ], [ %.0253, %107 ], [ %.0253, %100 ], [ %.0253, %88 ], [ %.0253, %92 ], [ %.0253, %96 ], [ %.0253, %77 ], [ %.0253, %73 ], [ %.0253, %66 ], [ %.0253, %65 ], [ %.0253, %58 ], [ %.0253, %54 ], [ %.0253, %53 ], [ %52, %51 ], [ %.0253, %49 ], [ %.0253, %47 ], [ %.0253, %45 ], [ %.0253, %44 ], [ %.0253, %43 ], [ %.0253, %40 ], [ %.0253, %37 ], [ %.0253, %35 ], [ %.0253, %33 ], [ %.0253, %29 ], [ %.0253, %28 ], [ %.0253, %26 ], [ %.0253, %25 ], [ %.0253, %22 ], [ %.0253, %21 ], [ %.0253, %20 ], [ %.0253, %18 ], [ %.0253, %16 ], [ %.0253, %112 ], [ %.0253, %14 ]
  %.2252 = phi i16 [ %.0250, %111 ], [ %.0250, %110 ], [ %.0250, %109 ], [ %.0250, %107 ], [ %.0250, %100 ], [ %.0250, %88 ], [ %.0250, %92 ], [ %.0250, %96 ], [ %.0250, %77 ], [ %.0250, %73 ], [ %.0250, %66 ], [ %.0250, %65 ], [ %.0250, %58 ], [ %.0250, %54 ], [ %.0250, %53 ], [ %.0250, %51 ], [ %.0250, %49 ], [ %.0250, %47 ], [ %.0250, %45 ], [ %.0250, %44 ], [ %.0250, %43 ], [ %.0250, %40 ], [ %.0250, %37 ], [ %.0250, %35 ], [ %.0250, %33 ], [ %32, %29 ], [ %.0250, %28 ], [ %.0250, %26 ], [ %.0250, %25 ], [ %.0250, %22 ], [ %.0250, %21 ], [ %.0250, %20 ], [ %.0250, %18 ], [ %.0250, %16 ], [ %.0250, %112 ], [ %.0250, %14 ]
  %.2249 = phi i8 [ %.0247, %111 ], [ %.0247, %110 ], [ %.0247, %109 ], [ %.0247, %107 ], [ %.0247, %100 ], [ %.0247, %88 ], [ %.0247, %92 ], [ %.0247, %96 ], [ %.0247, %77 ], [ %.0247, %73 ], [ %.0247, %66 ], [ %.0247, %65 ], [ %.0247, %58 ], [ %.0247, %54 ], [ %.0247, %53 ], [ %.0247, %51 ], [ %.0247, %49 ], [ %.0247, %47 ], [ %.0247, %45 ], [ %.0247, %44 ], [ 1, %43 ], [ %.0247, %40 ], [ %.0247, %37 ], [ %.0247, %35 ], [ %.0247, %33 ], [ %.0247, %29 ], [ %.0247, %28 ], [ %.0247, %26 ], [ %.0247, %25 ], [ %.0247, %22 ], [ %.0247, %21 ], [ %.0247, %20 ], [ %.0247, %18 ], [ %.0247, %16 ], [ %.0247, %112 ], [ %.0247, %14 ]
  %.2245 = phi i32 [ %.0243, %111 ], [ %.0243, %110 ], [ %.0243, %109 ], [ %.0243, %107 ], [ %.0243, %100 ], [ %.0243, %88 ], [ %.0243, %92 ], [ %.0243, %96 ], [ %.0243, %77 ], [ %.0243, %73 ], [ %.0243, %66 ], [ %.0243, %65 ], [ %.0243, %58 ], [ %.0243, %54 ], [ %.0243, %53 ], [ %.0243, %51 ], [ %.0243, %49 ], [ %.0243, %47 ], [ %.0243, %45 ], [ 5, %44 ], [ %.0243, %43 ], [ %.0243, %40 ], [ %.0243, %37 ], [ %.0243, %35 ], [ %.0243, %33 ], [ %.0243, %29 ], [ %.0243, %28 ], [ %.0243, %26 ], [ %.0243, %25 ], [ %.0243, %22 ], [ %.0243, %21 ], [ %.0243, %20 ], [ %.0243, %18 ], [ %.0243, %16 ], [ %.0243, %112 ], [ %.0243, %14 ]
  %.2242 = phi i8 [ %.0240, %111 ], [ %.0240, %110 ], [ %.0240, %109 ], [ %.0240, %107 ], [ %.0240, %100 ], [ %.0240, %88 ], [ %.0240, %92 ], [ %.0240, %96 ], [ %.0240, %77 ], [ %.0240, %73 ], [ %.0240, %66 ], [ %.0240, %65 ], [ %.0240, %58 ], [ %.0240, %54 ], [ 0, %53 ], [ %.0240, %51 ], [ %.0240, %49 ], [ %.0240, %47 ], [ %.0240, %45 ], [ %.0240, %44 ], [ %.0240, %43 ], [ %.0240, %40 ], [ %.0240, %37 ], [ %.0240, %35 ], [ %.0240, %33 ], [ %.0240, %29 ], [ %.0240, %28 ], [ %.0240, %26 ], [ %.0240, %25 ], [ %.0240, %22 ], [ %.0240, %21 ], [ %.0240, %20 ], [ %.0240, %18 ], [ %.0240, %16 ], [ %.0240, %112 ], [ %.0240, %14 ]
  %.2239 = phi i32 [ %.0237, %111 ], [ %.0237, %110 ], [ %.0237, %109 ], [ %.0237, %107 ], [ %.0237, %100 ], [ %.0237, %88 ], [ %.0237, %92 ], [ %.0237, %96 ], [ %.0237, %77 ], [ %.0237, %73 ], [ %.0237, %66 ], [ %.0237, %65 ], [ %.0237, %58 ], [ %.0237, %54 ], [ %.0237, %53 ], [ %.0237, %51 ], [ %.0237, %49 ], [ %.0237, %47 ], [ %.0237, %45 ], [ %.0237, %44 ], [ %.0237, %43 ], [ %.0237, %40 ], [ %.0237, %37 ], [ %.0237, %35 ], [ %.0237, %33 ], [ %.0237, %29 ], [ 1, %28 ], [ %.0237, %26 ], [ %.0237, %25 ], [ %.0237, %22 ], [ %.0237, %21 ], [ %.0237, %20 ], [ %.0237, %18 ], [ %.0237, %16 ], [ %.0237, %112 ], [ %.0237, %14 ]
  %.2236 = phi i32 [ %.0234, %111 ], [ %.0234, %110 ], [ %.0234, %109 ], [ %.0234, %107 ], [ %.0234, %100 ], [ %.0234, %88 ], [ %.0234, %92 ], [ %.0234, %96 ], [ %.0234, %77 ], [ %.0234, %73 ], [ %.0234, %66 ], [ %.0234, %65 ], [ %spec.store.select, %58 ], [ %.0234, %54 ], [ %.0234, %53 ], [ %.0234, %51 ], [ %.0234, %49 ], [ %.0234, %47 ], [ %.0234, %45 ], [ %.0234, %44 ], [ %.0234, %43 ], [ %.0234, %40 ], [ %.0234, %37 ], [ %.0234, %35 ], [ %.0234, %33 ], [ %.0234, %29 ], [ %.0234, %28 ], [ %.0234, %26 ], [ %.0234, %25 ], [ %.0234, %22 ], [ %.0234, %21 ], [ %.0234, %20 ], [ %.0234, %18 ], [ %.0234, %16 ], [ %.0234, %112 ], [ %.0234, %14 ]
  %.2233 = phi i8 [ %.0231, %111 ], [ %.0231, %110 ], [ %.0231, %109 ], [ %.0231, %107 ], [ %.0231, %100 ], [ %.0231, %88 ], [ %.0231, %92 ], [ %.0231, %96 ], [ %.0231, %77 ], [ %.0231, %73 ], [ %.0231, %66 ], [ %.0231, %65 ], [ %.0231, %58 ], [ %57, %54 ], [ %.0231, %53 ], [ %.0231, %51 ], [ %.0231, %49 ], [ %.0231, %47 ], [ %.0231, %45 ], [ %.0231, %44 ], [ %.0231, %43 ], [ %.0231, %40 ], [ %.0231, %37 ], [ %.0231, %35 ], [ %.0231, %33 ], [ %.0231, %29 ], [ %.0231, %28 ], [ %.0231, %26 ], [ %.0231, %25 ], [ %.0231, %22 ], [ %.0231, %21 ], [ %.0231, %20 ], [ %.0231, %18 ], [ %.0231, %16 ], [ %.0231, %112 ], [ %.0231, %14 ]
  %.2230 = phi ptr [ %.0228, %111 ], [ %.0228, %110 ], [ %.0228, %109 ], [ %.0228, %107 ], [ %.0228, %100 ], [ %.0228, %88 ], [ %.0228, %92 ], [ %.0228, %96 ], [ %.0228, %77 ], [ %.0228, %73 ], [ %.0228, %66 ], [ %.0228, %65 ], [ %.0228, %58 ], [ %.0228, %54 ], [ %.0228, %53 ], [ %.0228, %51 ], [ %.0228, %49 ], [ %.0228, %47 ], [ %.0228, %45 ], [ %.0228, %44 ], [ %.0228, %43 ], [ %.0228, %40 ], [ %.0228, %37 ], [ %.0228, %35 ], [ %.0228, %33 ], [ %.0228, %29 ], [ %.0228, %28 ], [ %.0228, %26 ], [ %.0228, %25 ], [ %.0228, %22 ], [ %.0228, %21 ], [ %.0228, %20 ], [ %19, %18 ], [ %.0228, %16 ], [ %.0228, %112 ], [ %.0228, %14 ]
  %.2227 = phi i32 [ %.0225, %111 ], [ %.0225, %110 ], [ %.0225, %109 ], [ %.0225, %107 ], [ %.0225, %100 ], [ %.0225, %88 ], [ %.0225, %92 ], [ %.0225, %96 ], [ %.0225, %77 ], [ %.0225, %73 ], [ %.0225, %66 ], [ %.0225, %65 ], [ %.0225, %58 ], [ %.0225, %54 ], [ %.0225, %53 ], [ %.0225, %51 ], [ %.0225, %49 ], [ %.0225, %47 ], [ %.0225, %45 ], [ %.0225, %44 ], [ %.0225, %43 ], [ %.0225, %40 ], [ %.0225, %37 ], [ %.0225, %35 ], [ %.0225, %33 ], [ %.0225, %29 ], [ %.0225, %28 ], [ %.0225, %26 ], [ %.0225, %25 ], [ %.0225, %22 ], [ %.0225, %21 ], [ 1, %20 ], [ %.0225, %18 ], [ %.0225, %16 ], [ %.0225, %112 ], [ %.0225, %14 ]
  %.2222 = phi i1 [ %.0220, %111 ], [ %.0220, %110 ], [ %.0220, %109 ], [ %.0220, %107 ], [ %.0220, %100 ], [ %.0220, %88 ], [ %.0220, %92 ], [ %.0220, %96 ], [ %.0220, %77 ], [ %.0220, %73 ], [ %.0220, %66 ], [ %.0220, %65 ], [ %.0220, %58 ], [ %.0220, %54 ], [ %.0220, %53 ], [ %.0220, %51 ], [ %.0220, %49 ], [ %.0220, %47 ], [ %.0220, %45 ], [ %.0220, %44 ], [ %.0220, %43 ], [ %.0220, %40 ], [ %.0220, %37 ], [ %.0220, %35 ], [ %.0220, %33 ], [ %.0220, %29 ], [ %.0220, %28 ], [ %.0220, %26 ], [ %.0220, %25 ], [ %.0220, %22 ], [ true, %21 ], [ %.0220, %20 ], [ %.0220, %18 ], [ %.0220, %16 ], [ %.0220, %112 ], [ %.0220, %14 ]
  %.2219 = phi ptr [ %.0217, %111 ], [ %.0217, %110 ], [ %.0217, %109 ], [ %.0217, %107 ], [ %.0217, %100 ], [ %.0217, %88 ], [ %.0217, %92 ], [ %.0217, %96 ], [ %.0217, %77 ], [ %.0217, %73 ], [ %.0217, %66 ], [ %.0217, %65 ], [ %.0217, %58 ], [ %.0217, %54 ], [ %.0217, %53 ], [ %.0217, %51 ], [ %.0217, %49 ], [ %.0217, %47 ], [ %.0217, %45 ], [ %.0217, %44 ], [ %.0217, %43 ], [ %.0217, %40 ], [ %.0217, %37 ], [ %.0217, %35 ], [ %.0217, %33 ], [ %.0217, %29 ], [ %.0217, %28 ], [ %.0217, %26 ], [ %.0217, %25 ], [ %24, %22 ], [ %.0217, %21 ], [ %.0217, %20 ], [ %.0217, %18 ], [ %.0217, %16 ], [ %.0217, %112 ], [ %.0217, %14 ]
  %.2216 = phi i32 [ %.0214, %111 ], [ %.0214, %110 ], [ %.0214, %109 ], [ %.0214, %107 ], [ %.0214, %100 ], [ %.0214, %88 ], [ %.0214, %92 ], [ %.0214, %96 ], [ %.0214, %77 ], [ %.0214, %73 ], [ %.0214, %66 ], [ %.0214, %65 ], [ %.0214, %58 ], [ %.0214, %54 ], [ %.0214, %53 ], [ %.0214, %51 ], [ %.0214, %49 ], [ %.0214, %47 ], [ %.0214, %45 ], [ %.0214, %44 ], [ %.0214, %43 ], [ %.0214, %40 ], [ %.0214, %37 ], [ %.0214, %35 ], [ %.0214, %33 ], [ %.0214, %29 ], [ %.0214, %28 ], [ %.0214, %26 ], [ %.0214, %25 ], [ %.0214, %22 ], [ %.0214, %21 ], [ %.0214, %20 ], [ %.0214, %18 ], [ %.0214, %16 ], [ %.0214, %112 ], [ 1, %14 ]
  %.2213 = phi i8 [ %.0211, %111 ], [ %.0211, %110 ], [ %.0211, %109 ], [ %.0211, %107 ], [ %.0211, %100 ], [ %.0211, %88 ], [ %.0211, %92 ], [ %.0211, %96 ], [ %.0211, %77 ], [ %.0211, %73 ], [ %.0211, %66 ], [ 1, %65 ], [ %.0211, %58 ], [ %.0211, %54 ], [ %.0211, %53 ], [ %.0211, %51 ], [ %.0211, %49 ], [ %.0211, %47 ], [ %.0211, %45 ], [ %.0211, %44 ], [ %.0211, %43 ], [ %.0211, %40 ], [ %.0211, %37 ], [ %.0211, %35 ], [ %.0211, %33 ], [ %.0211, %29 ], [ %.0211, %28 ], [ %.0211, %26 ], [ %.0211, %25 ], [ %.0211, %22 ], [ %.0211, %21 ], [ %.0211, %20 ], [ %.0211, %18 ], [ %.0211, %16 ], [ %.0211, %112 ], [ %.0211, %14 ]
  %.2210 = phi ptr [ %.0208, %111 ], [ %.0208, %110 ], [ %.0208, %109 ], [ %.0208, %107 ], [ %.0208, %100 ], [ %.0208, %88 ], [ %.0208, %92 ], [ %.0208, %96 ], [ %.0208, %77 ], [ %.0208, %73 ], [ %67, %66 ], [ %.0208, %65 ], [ %.0208, %58 ], [ %.0208, %54 ], [ %.0208, %53 ], [ %.0208, %51 ], [ %.0208, %49 ], [ %.0208, %47 ], [ %.0208, %45 ], [ %.0208, %44 ], [ %.0208, %43 ], [ %.0208, %40 ], [ %.0208, %37 ], [ %.0208, %35 ], [ %.0208, %33 ], [ %.0208, %29 ], [ %.0208, %28 ], [ %.0208, %26 ], [ %.0208, %25 ], [ %.0208, %22 ], [ %.0208, %21 ], [ %.0208, %20 ], [ %.0208, %18 ], [ %.0208, %16 ], [ %.0208, %112 ], [ %.0208, %14 ]
  %.2205 = phi i64 [ %.0203, %111 ], [ %.0203, %110 ], [ %.0203, %109 ], [ %.0203, %107 ], [ %.0203, %100 ], [ %.0203, %88 ], [ %.0203, %92 ], [ %.0203, %96 ], [ %.0203, %77 ], [ %75, %73 ], [ %.0203, %66 ], [ %.0203, %65 ], [ %.0203, %58 ], [ %.0203, %54 ], [ %.0203, %53 ], [ %.0203, %51 ], [ %.0203, %49 ], [ %.0203, %47 ], [ %.0203, %45 ], [ %.0203, %44 ], [ %.0203, %43 ], [ %.0203, %40 ], [ %.0203, %37 ], [ %.0203, %35 ], [ %.0203, %33 ], [ %.0203, %29 ], [ %.0203, %28 ], [ %.0203, %26 ], [ %.0203, %25 ], [ %.0203, %22 ], [ %.0203, %21 ], [ %.0203, %20 ], [ %.0203, %18 ], [ %.0203, %16 ], [ %.0203, %112 ], [ %.0203, %14 ]
  %.2202 = phi ptr [ %.0200, %111 ], [ %.0200, %110 ], [ %.0200, %109 ], [ %.0200, %107 ], [ %.0200, %100 ], [ %.0200, %88 ], [ %.0200, %92 ], [ %.0200, %96 ], [ %79, %77 ], [ %.0200, %73 ], [ %.0200, %66 ], [ %.0200, %65 ], [ %.0200, %58 ], [ %.0200, %54 ], [ %.0200, %53 ], [ %.0200, %51 ], [ %.0200, %49 ], [ %.0200, %47 ], [ %.0200, %45 ], [ %.0200, %44 ], [ %.0200, %43 ], [ %.0200, %40 ], [ %.0200, %37 ], [ %.0200, %35 ], [ %.0200, %33 ], [ %.0200, %29 ], [ %.0200, %28 ], [ %.0200, %26 ], [ %.0200, %25 ], [ %.0200, %22 ], [ %.0200, %21 ], [ %.0200, %20 ], [ %.0200, %18 ], [ %.0200, %16 ], [ %.0200, %112 ], [ %.0200, %14 ]
  %.2199 = phi i1 [ %.0197, %111 ], [ %.0197, %110 ], [ %.0197, %109 ], [ %.0197, %107 ], [ %.0197, %100 ], [ true, %88 ], [ true, %92 ], [ true, %96 ], [ %.0197, %77 ], [ %.0197, %73 ], [ %.0197, %66 ], [ %.0197, %65 ], [ %.0197, %58 ], [ %.0197, %54 ], [ %.0197, %53 ], [ %.0197, %51 ], [ %.0197, %49 ], [ %.0197, %47 ], [ %.0197, %45 ], [ %.0197, %44 ], [ %.0197, %43 ], [ %.0197, %40 ], [ %.0197, %37 ], [ %.0197, %35 ], [ %.0197, %33 ], [ %.0197, %29 ], [ %.0197, %28 ], [ %.0197, %26 ], [ %.0197, %25 ], [ %.0197, %22 ], [ %.0197, %21 ], [ %.0197, %20 ], [ %.0197, %18 ], [ %.0197, %16 ], [ %.0197, %112 ], [ %.0197, %14 ]
  %.2196 = phi i1 [ %.0194, %111 ], [ %.0194, %110 ], [ %.0194, %109 ], [ %.0194, %107 ], [ true, %100 ], [ %.0194, %88 ], [ %.0194, %92 ], [ %.0194, %96 ], [ %.0194, %77 ], [ %.0194, %73 ], [ %.0194, %66 ], [ %.0194, %65 ], [ %.0194, %58 ], [ %.0194, %54 ], [ %.0194, %53 ], [ %.0194, %51 ], [ %.0194, %49 ], [ %.0194, %47 ], [ %.0194, %45 ], [ %.0194, %44 ], [ %.0194, %43 ], [ %.0194, %40 ], [ %.0194, %37 ], [ %.0194, %35 ], [ %.0194, %33 ], [ %.0194, %29 ], [ %.0194, %28 ], [ %.0194, %26 ], [ %.0194, %25 ], [ %.0194, %22 ], [ %.0194, %21 ], [ %.0194, %20 ], [ %.0194, %18 ], [ %.0194, %16 ], [ %.0194, %112 ], [ %.0194, %14 ]
  %.2193 = phi i32 [ %.0191, %111 ], [ %.0191, %110 ], [ %.0191, %109 ], [ %108, %107 ], [ %.0191, %100 ], [ %.0191, %88 ], [ %.0191, %92 ], [ %.0191, %96 ], [ %.0191, %77 ], [ %.0191, %73 ], [ %.0191, %66 ], [ %.0191, %65 ], [ %.0191, %58 ], [ %.0191, %54 ], [ %.0191, %53 ], [ %.0191, %51 ], [ %.0191, %49 ], [ %.0191, %47 ], [ %.0191, %45 ], [ %.0191, %44 ], [ %.0191, %43 ], [ %.0191, %40 ], [ %.0191, %37 ], [ %.0191, %35 ], [ %.0191, %33 ], [ %.0191, %29 ], [ %.0191, %28 ], [ %.0191, %26 ], [ %.0191, %25 ], [ %.0191, %22 ], [ %.0191, %21 ], [ %.0191, %20 ], [ %.0191, %18 ], [ %.0191, %16 ], [ %.0191, %112 ], [ %.0191, %14 ]
  %.2190 = phi i1 [ %.0188, %111 ], [ %.0188, %110 ], [ true, %109 ], [ %.0188, %107 ], [ %.0188, %100 ], [ %.0188, %88 ], [ %.0188, %92 ], [ %.0188, %96 ], [ %.0188, %77 ], [ %.0188, %73 ], [ %.0188, %66 ], [ %.0188, %65 ], [ %.0188, %58 ], [ %.0188, %54 ], [ %.0188, %53 ], [ %.0188, %51 ], [ %.0188, %49 ], [ %.0188, %47 ], [ %.0188, %45 ], [ %.0188, %44 ], [ %.0188, %43 ], [ %.0188, %40 ], [ %.0188, %37 ], [ %.0188, %35 ], [ %.0188, %33 ], [ %.0188, %29 ], [ %.0188, %28 ], [ %.0188, %26 ], [ %.0188, %25 ], [ %.0188, %22 ], [ %.0188, %21 ], [ %.0188, %20 ], [ %.0188, %18 ], [ %.0188, %16 ], [ %.0188, %112 ], [ %.0188, %14 ]
  %.2187 = phi i8 [ %.0185, %111 ], [ 1, %110 ], [ %.0185, %109 ], [ %.0185, %107 ], [ %.0185, %100 ], [ %.0185, %88 ], [ %.0185, %92 ], [ %.0185, %96 ], [ %.0185, %77 ], [ %.0185, %73 ], [ %.0185, %66 ], [ %.0185, %65 ], [ %.0185, %58 ], [ %.0185, %54 ], [ %.0185, %53 ], [ %.0185, %51 ], [ %.0185, %49 ], [ %.0185, %47 ], [ %.0185, %45 ], [ %.0185, %44 ], [ %.0185, %43 ], [ %.0185, %40 ], [ %.0185, %37 ], [ %.0185, %35 ], [ %.0185, %33 ], [ %.0185, %29 ], [ %.0185, %28 ], [ %.0185, %26 ], [ %.0185, %25 ], [ %.0185, %22 ], [ %.0185, %21 ], [ %.0185, %20 ], [ %.0185, %18 ], [ %.0185, %16 ], [ %.0185, %112 ], [ %.0185, %14 ]
  %.2184 = phi ptr [ %.0182, %111 ], [ %.0182, %110 ], [ %.0182, %109 ], [ %.0182, %107 ], [ %.0182, %100 ], [ %.0182, %88 ], [ %.0182, %92 ], [ %.0182, %96 ], [ %.0182, %77 ], [ %.0182, %73 ], [ %.0182, %66 ], [ %.0182, %65 ], [ %.0182, %58 ], [ %.0182, %54 ], [ %.0182, %53 ], [ %.0182, %51 ], [ %.0182, %49 ], [ %.0182, %47 ], [ %.0182, %45 ], [ %.0182, %44 ], [ %.0182, %43 ], [ %.0182, %40 ], [ %.0182, %37 ], [ %36, %35 ], [ %.0182, %33 ], [ %.0182, %29 ], [ %.0182, %28 ], [ %.0182, %26 ], [ %.0182, %25 ], [ %.0182, %22 ], [ %.0182, %21 ], [ %.0182, %20 ], [ %.0182, %18 ], [ %.0182, %16 ], [ %.0182, %112 ], [ %.0182, %14 ]
  %.2179 = phi ptr [ %.0177, %111 ], [ %.0177, %110 ], [ %.0177, %109 ], [ %.0177, %107 ], [ %.0177, %100 ], [ %.0177, %88 ], [ %.0177, %92 ], [ %.0177, %96 ], [ %.0177, %77 ], [ %.0177, %73 ], [ %.0177, %66 ], [ %.0177, %65 ], [ %.0177, %58 ], [ %.0177, %54 ], [ %.0177, %53 ], [ %.0177, %51 ], [ %.0177, %49 ], [ %.0177, %47 ], [ %.0177, %45 ], [ %.0177, %44 ], [ %.0177, %43 ], [ %.0177, %40 ], [ %.0177, %37 ], [ %.0177, %35 ], [ %34, %33 ], [ %.0177, %29 ], [ %.0177, %28 ], [ %.0177, %26 ], [ %.0177, %25 ], [ %.0177, %22 ], [ %.0177, %21 ], [ %.0177, %20 ], [ %.0177, %18 ], [ %.0177, %16 ], [ %.0177, %112 ], [ %.0177, %14 ]
  %.2175 = phi ptr [ %.0173, %111 ], [ %.0173, %110 ], [ %.0173, %109 ], [ %.0173, %107 ], [ %.0173, %100 ], [ %.0173, %88 ], [ %.0173, %92 ], [ %.0173, %96 ], [ %.0173, %77 ], [ %.0173, %73 ], [ %.0173, %66 ], [ %.0173, %65 ], [ %.0173, %58 ], [ %.0173, %54 ], [ %.0173, %53 ], [ %.0173, %51 ], [ %.0173, %49 ], [ %.0173, %47 ], [ %.0173, %45 ], [ %.0173, %44 ], [ %.0173, %43 ], [ %.0173, %40 ], [ %.0173, %37 ], [ %.0173, %35 ], [ %.0173, %33 ], [ %.0173, %29 ], [ %.0173, %28 ], [ %27, %26 ], [ %.0173, %25 ], [ %.0173, %22 ], [ %.0173, %21 ], [ %.0173, %20 ], [ %.0173, %18 ], [ %.0173, %16 ], [ %.0173, %112 ], [ %.0173, %14 ]
  %.2172 = phi ptr [ %.0170, %111 ], [ %.0170, %110 ], [ %.0170, %109 ], [ %.0170, %107 ], [ %.0170, %100 ], [ %.0170, %88 ], [ %.0170, %92 ], [ %.0170, %96 ], [ %.0170, %77 ], [ %.0170, %73 ], [ %.0170, %66 ], [ %.0170, %65 ], [ %.0170, %58 ], [ %.0170, %54 ], [ %.0170, %53 ], [ %.0170, %51 ], [ %.0170, %49 ], [ %.0170, %47 ], [ %.0170, %45 ], [ %.0170, %44 ], [ %.0170, %43 ], [ %.0170, %40 ], [ %.0170, %37 ], [ %.0170, %35 ], [ %.0170, %33 ], [ %.0170, %29 ], [ %.0170, %28 ], [ %.0170, %26 ], [ %.0170, %25 ], [ %.0170, %22 ], [ %.0170, %21 ], [ %.0170, %20 ], [ %.0170, %18 ], [ %17, %16 ], [ %.0170, %112 ], [ %.0170, %14 ]
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %9) #14
  br label %14

114:                                              ; preds = %14
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %9) #14
  %115 = load i32, ptr @optind, align 4, !tbaa !11
  %116 = icmp slt i32 %115, %0
  br i1 %116, label %117, label %122

117:                                              ; preds = %114
  %118 = add nsw i32 %115, 1
  store i32 %118, ptr @optind, align 4, !tbaa !11
  %119 = sext i32 %115 to i64
  %120 = getelementptr inbounds ptr, ptr %1, i64 %119
  %121 = load ptr, ptr %120, align 8, !tbaa !5
  br label %122

122:                                              ; preds = %117, %114
  %123 = phi i32 [ %118, %117 ], [ %115, %114 ]
  %.0224 = phi ptr [ %121, %117 ], [ null, %114 ]
  %124 = icmp slt i32 %123, %0
  br i1 %124, label %125, label %130

125:                                              ; preds = %122
  %126 = add nsw i32 %123, 1
  store i32 %126, ptr @optind, align 4, !tbaa !11
  %127 = sext i32 %123 to i64
  %128 = getelementptr inbounds ptr, ptr %1, i64 %127
  %129 = load ptr, ptr %128, align 8, !tbaa !5
  br label %130

130:                                              ; preds = %125, %122
  %.0223 = phi ptr [ %129, %125 ], [ @.str.69, %122 ]
  %.not = icmp eq ptr %.0224, null
  br i1 %.not, label %131, label %132

131:                                              ; preds = %130
  call void @usage()
  br label %132

132:                                              ; preds = %131, %130
  %.not290 = icmp eq ptr %.0173, null
  %spec.select312 = select i1 %.not290, ptr %.0224, ptr %.0173
  %133 = getelementptr inbounds i8, ptr %3, i64 8
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(48) %3, i8 0, i64 48, i1 false)
  store i32 1, ptr %133, align 8, !tbaa !16
  %134 = call ptr @signal(i32 noundef 13, ptr noundef nonnull inttoptr (i64 1 to ptr)) #14
  %135 = icmp eq ptr %134, inttoptr (i64 -1 to ptr)
  br i1 %135, label %136, label %139

136:                                              ; preds = %132
  %137 = load ptr, ptr @stderr, align 8, !tbaa !5
  %138 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %137, ptr noundef nonnull @.str.111) #17
  call void @exit(i32 noundef 1) #18
  unreachable

139:                                              ; preds = %132
  br i1 %.0188, label %140, label %145

140:                                              ; preds = %139
  %141 = trunc nuw i8 %.0185 to i1
  br i1 %141, label %142, label %145

142:                                              ; preds = %140
  %143 = load ptr, ptr @stderr, align 8, !tbaa !5
  %144 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %143, ptr noundef nonnull @.str.112) #17
  call void @exit(i32 noundef 1) #18
  unreachable

145:                                              ; preds = %139, %140
  %146 = call i32 @s2n_init() #14
  %147 = icmp slt i32 %146, 0
  br i1 %147, label %148, label %149

148:                                              ; preds = %145
  call void @print_s2n_error(ptr noundef nonnull @.str.113) #14
  call void @exit(i32 noundef 1) #18
  unreachable

149:                                              ; preds = %145
  %150 = call ptr @s2n_libcrypto_get_version_name() #14
  %151 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.114, ptr noundef %150)
  %.not291 = icmp eq i32 %.0225, 0
  br i1 %.not291, label %163, label %152

152:                                              ; preds = %149
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %10) #14
  store i32 0, ptr %10, align 4, !tbaa !11
  %153 = call i32 @s2n_get_fips_mode(ptr noundef nonnull %10) #14
  %154 = icmp slt i32 %153, 0
  br i1 %154, label %155, label %156

155:                                              ; preds = %152
  call void @print_s2n_error(ptr noundef nonnull @.str.115) #14
  call void @exit(i32 noundef 1) #18
  unreachable

156:                                              ; preds = %152
  %157 = load i32, ptr %10, align 4, !tbaa !11
  %.not292 = icmp eq i32 %157, 1
  br i1 %.not292, label %161, label %158

158:                                              ; preds = %156
  %159 = load ptr, ptr @stderr, align 8, !tbaa !5
  %160 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %159, ptr noundef nonnull @.str.116) #17
  call void @exit(i32 noundef 1) #18
  unreachable

161:                                              ; preds = %156
  %162 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.117)
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %10) #14
  br label %163

163:                                              ; preds = %161, %149
  %164 = call i32 @getaddrinfo(ptr noundef %.0224, ptr noundef %.0223, ptr noundef nonnull %3, ptr noundef nonnull %4) #14
  %.not293 = icmp eq i32 %164, 0
  br i1 %.not293, label %.preheader, label %175

.preheader:                                       ; preds = %163
  %.not295 = icmp eq i8 %.0211, 0
  %.not296 = icmp eq i32 %.0191, 0
  %165 = trunc nuw i8 %.0268 to i1
  %166 = xor i8 %.0265, %.0268
  %167 = and i8 %166, 1
  %.not297 = icmp eq i8 %167, 0
  %168 = icmp ne ptr %.0177, null
  %169 = icmp ne ptr %.0182, null
  %or.cond3 = select i1 %168, i1 true, i1 %169
  %.not298 = icmp eq i8 %.0247, 0
  %.not299 = icmp eq i8 %.0240, 0
  %.not300 = icmp eq ptr %.0208, null
  %.not301 = icmp eq ptr %.0256, null
  %.not302 = icmp eq ptr %.0253, null
  %.not303 = icmp eq i32 %.0214, 0
  %.not304 = icmp eq ptr %.0259, null
  %170 = trunc nuw i8 %.0185 to i1
  %.not306 = icmp eq ptr %.0200, null
  %171 = icmp ne ptr %.0262, null
  %172 = icmp ne i32 %.0234, 0
  %173 = icmp ne i8 %.0231, 0
  %or.cond8 = select i1 %172, i1 %173, i1 false
  %174 = zext i8 %.0231 to i16
  %.not310 = icmp eq ptr %.0217, null
  br label %179

175:                                              ; preds = %163
  %176 = load ptr, ptr @stderr, align 8, !tbaa !5
  %177 = call ptr @gai_strerror(i32 noundef %164) #14
  %178 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %176, ptr noundef nonnull @.str.118, ptr noundef %177) #17
  call void @exit(i32 noundef 1) #18
  unreachable

179:                                              ; preds = %.preheader, %445
  %.3246 = phi i32 [ %447, %445 ], [ %.0243, %.preheader ]
  %.0206 = phi ptr [ %.1207, %445 ], [ null, %.preheader ]
  %.0166552 = load ptr, ptr %4, align 8, !tbaa !5
  %.not294553 = icmp eq ptr %.0166552, null
  br i1 %.not294553, label %._crit_edge, label %.lr.ph

.lr.ph:                                           ; preds = %179, %197
  %.0166554 = phi ptr [ %.0166, %197 ], [ %.0166552, %179 ]
  %180 = getelementptr inbounds i8, ptr %.0166554, i64 4
  %181 = load i32, ptr %180, align 4, !tbaa !18
  %182 = getelementptr inbounds i8, ptr %.0166554, i64 8
  %183 = load i32, ptr %182, align 8, !tbaa !16
  %184 = getelementptr inbounds i8, ptr %.0166554, i64 12
  %185 = load i32, ptr %184, align 4, !tbaa !19
  %186 = call i32 @socket(i32 noundef %181, i32 noundef %183, i32 noundef %185) #14
  %187 = icmp eq i32 %186, -1
  br i1 %187, label %197, label %188

188:                                              ; preds = %.lr.ph
  %189 = getelementptr inbounds i8, ptr %.0166554, i64 24
  %190 = load ptr, ptr %189, align 8, !tbaa !20
  %191 = getelementptr inbounds i8, ptr %.0166554, i64 16
  %192 = load i32, ptr %191, align 8, !tbaa !21
  %193 = call i32 @connect(i32 noundef %186, ptr noundef %190, i32 noundef %192) #14
  %194 = icmp eq i32 %193, -1
  br i1 %194, label %195, label %201

195:                                              ; preds = %188
  %196 = call i32 @close(i32 noundef %186) #14
  br label %197

197:                                              ; preds = %.lr.ph, %195
  %198 = getelementptr inbounds i8, ptr %.0166554, i64 40
  %.0166 = load ptr, ptr %198, align 8, !tbaa !5
  %.not294 = icmp eq ptr %.0166, null
  br i1 %.not294, label %._crit_edge, label %.lr.ph, !llvm.loop !22

._crit_edge:                                      ; preds = %179, %197
  %199 = load ptr, ptr @stderr, align 8, !tbaa !5
  %200 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %199, ptr noundef nonnull @.str.119, ptr noundef %.0224, ptr noundef %.0223) #17
  call void @exit(i32 noundef 1) #18
  unreachable

201:                                              ; preds = %188
  br i1 %.not295, label %213, label %202

202:                                              ; preds = %201
  %203 = call i32 (i32, i32, ...) @fcntl(i32 noundef %186, i32 noundef 3, i32 noundef 0) #14
  %204 = or i32 %203, 2048
  %205 = call i32 (i32, i32, ...) @fcntl(i32 noundef %186, i32 noundef 4, i32 noundef %204) #14
  %206 = icmp slt i32 %205, 0
  br i1 %206, label %207, label %213

207:                                              ; preds = %202
  %208 = load ptr, ptr @stderr, align 8, !tbaa !5
  %209 = tail call ptr @__errno_location() #16
  %210 = load i32, ptr %209, align 4, !tbaa !11
  %211 = call ptr @strerror(i32 noundef %210) #14
  %212 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %208, ptr noundef nonnull @.str.120, ptr noundef %211) #17
  call void @exit(i32 noundef 1) #18
  unreachable

213:                                              ; preds = %202, %201
  %214 = call ptr @s2n_config_new() #14
  call void @setup_s2n_config(ptr noundef %214, ptr noundef %.0228, i32 noundef %.0237, ptr noundef nonnull %6, ptr noundef %.0224, ptr noundef %.0170, i16 noundef zeroext %.0250)
  br i1 %.not296, label %219, label %215

215:                                              ; preds = %213
  %216 = call i32 @s2n_config_set_send_buffer_size(ptr noundef %214, i32 noundef %.0191) #14
  %217 = icmp slt i32 %216, 0
  br i1 %217, label %218, label %219

218:                                              ; preds = %215
  call void @print_s2n_error(ptr noundef nonnull @.str.121) #14
  call void @exit(i32 noundef 1) #18
  unreachable

219:                                              ; preds = %215, %213
  br i1 %.not297, label %221, label %220

220:                                              ; preds = %219
  call void @print_s2n_error(ptr noundef nonnull @.str.122) #14
  br label %221

221:                                              ; preds = %220, %219
  br i1 %165, label %222, label %231

222:                                              ; preds = %221
  %223 = call ptr @s2n_cert_chain_and_key_new() #14
  %224 = call i32 @s2n_cert_chain_and_key_load_pem(ptr noundef %223, ptr noundef %.0274, ptr noundef %.0271) #14
  %225 = icmp slt i32 %224, 0
  br i1 %225, label %226, label %227

226:                                              ; preds = %222
  call void @print_s2n_error(ptr noundef nonnull @.str.123) #14
  call void @exit(i32 noundef 1) #18
  unreachable

227:                                              ; preds = %222
  %228 = call i32 @s2n_config_add_cert_chain_and_key_to_store(ptr noundef %214, ptr noundef %223) #14
  %229 = icmp slt i32 %228, 0
  br i1 %229, label %230, label %231

230:                                              ; preds = %227
  call void @print_s2n_error(ptr noundef nonnull @.str.124) #14
  call void @exit(i32 noundef 1) #18
  unreachable

231:                                              ; preds = %227, %221
  %232 = call i32 @s2n_config_add_pem_to_trust_store(ptr noundef %214, ptr noundef nonnull @default_trusted_cert) #14
  %233 = icmp slt i32 %232, 0
  br i1 %233, label %234, label %235

234:                                              ; preds = %231
  call void @print_s2n_error(ptr noundef nonnull @.str.125) #14
  call void @exit(i32 noundef 1) #18
  unreachable

235:                                              ; preds = %231
  br i1 %or.cond3, label %236, label %244

236:                                              ; preds = %235
  %237 = call i32 @s2n_config_wipe_trust_store(ptr noundef %214) #14
  %238 = icmp slt i32 %237, 0
  br i1 %238, label %239, label %240

239:                                              ; preds = %236
  call void @print_s2n_error(ptr noundef nonnull @.str.126) #14
  call void @exit(i32 noundef 1) #18
  unreachable

240:                                              ; preds = %236
  %241 = call i32 @s2n_config_set_verification_ca_location(ptr noundef %214, ptr noundef %.0177, ptr noundef %.0182) #14
  %242 = icmp slt i32 %241, 0
  br i1 %242, label %243, label %249

243:                                              ; preds = %240
  call void @print_s2n_error(ptr noundef nonnull @.str.127) #14
  br label %249

244:                                              ; preds = %235
  br i1 %.not298, label %249, label %245

245:                                              ; preds = %244
  %246 = call i32 @s2n_config_disable_x509_verification(ptr noundef %214) #14
  %247 = icmp slt i32 %246, 0
  br i1 %247, label %248, label %249

248:                                              ; preds = %245
  call void @print_s2n_error(ptr noundef nonnull @.str.128) #14
  call void @exit(i32 noundef 1) #18
  unreachable

249:                                              ; preds = %244, %245, %240, %243
  br i1 %.not299, label %259, label %250

250:                                              ; preds = %249
  %251 = call i32 @s2n_config_set_session_tickets_onoff(ptr noundef %214, i8 noundef zeroext 1) #14
  %252 = icmp slt i32 %251, 0
  br i1 %252, label %253, label %254

253:                                              ; preds = %250
  call void @print_s2n_error(ptr noundef nonnull @.str.129) #14
  call void @exit(i32 noundef 1) #18
  unreachable

254:                                              ; preds = %250
  %255 = call i32 @s2n_config_set_session_ticket_cb(ptr noundef %214, ptr noundef nonnull @test_session_ticket_cb, ptr noundef nonnull %5) #14
  %256 = icmp slt i32 %255, 0
  br i1 %256, label %257, label %258

257:                                              ; preds = %254
  call void @print_s2n_error(ptr noundef nonnull @.str.130) #14
  call void @exit(i32 noundef 1) #18
  unreachable

258:                                              ; preds = %254
  store i8 0, ptr %5, align 1, !tbaa !9
  br label %259

259:                                              ; preds = %258, %249
  br i1 %.not300, label %268, label %260

260:                                              ; preds = %259
  %261 = call noalias ptr @fopen(ptr noundef nonnull %.0208, ptr noundef nonnull @.str.131)
  %262 = icmp eq ptr %261, null
  br i1 %262, label %263, label %264

263:                                              ; preds = %260
  call void @print_s2n_error(ptr noundef nonnull @.str.132) #14
  call void @exit(i32 noundef 1) #18
  unreachable

264:                                              ; preds = %260
  %265 = call i32 @s2n_config_set_key_log_cb(ptr noundef %214, ptr noundef nonnull @key_log_callback, ptr noundef nonnull %261) #14
  %266 = icmp slt i32 %265, 0
  br i1 %266, label %267, label %268

267:                                              ; preds = %264
  call void @print_s2n_error(ptr noundef nonnull @.str.133) #14
  call void @exit(i32 noundef 1) #18
  unreachable

268:                                              ; preds = %264, %259
  %.1207 = phi ptr [ %261, %264 ], [ %.0206, %259 ]
  br i1 %.0197, label %269, label %273

269:                                              ; preds = %268
  %270 = call i32 @s2n_config_set_renegotiate_request_cb(ptr noundef %214, ptr noundef nonnull @reneg_req_cb, ptr noundef nonnull %8) #14
  %271 = icmp slt i32 %270, 0
  br i1 %271, label %272, label %273

272:                                              ; preds = %269
  call void @print_s2n_error(ptr noundef nonnull @.str.134) #14
  call void @exit(i32 noundef 1) #18
  unreachable

273:                                              ; preds = %269, %268
  br i1 %.0194, label %274, label %278

274:                                              ; preds = %273
  %275 = call i32 @s2n_config_set_npn(ptr noundef %214, i1 noundef zeroext true) #14
  %276 = icmp slt i32 %275, 0
  br i1 %276, label %277, label %278

277:                                              ; preds = %274
  call void @print_s2n_error(ptr noundef nonnull @.str.135) #14
  call void @exit(i32 noundef 1) #18
  unreachable

278:                                              ; preds = %274, %273
  br i1 %.not301, label %283, label %279

279:                                              ; preds = %278
  %280 = call i32 @s2n_config_set_serialization_version(ptr noundef %214, i32 noundef 1) #14
  %281 = icmp slt i32 %280, 0
  br i1 %281, label %282, label %283

282:                                              ; preds = %279
  call void @print_s2n_error(ptr noundef nonnull @.str.136) #14
  call void @exit(i32 noundef 1) #18
  unreachable

283:                                              ; preds = %279, %278
  %284 = call ptr @s2n_connection_new(i32 noundef 1) #14
  %285 = icmp eq ptr %284, null
  br i1 %285, label %286, label %287

286:                                              ; preds = %283
  call void @print_s2n_error(ptr noundef nonnull @.str.137) #14
  call void @exit(i32 noundef 1) #18
  unreachable

287:                                              ; preds = %283
  br i1 %.not302, label %292, label %288

288:                                              ; preds = %287
  %289 = call i32 @s2n_connection_deserialize_in(ptr noundef nonnull %284, ptr noundef nonnull %.0253) #14
  %290 = icmp slt i32 %289, 0
  br i1 %290, label %291, label %292

291:                                              ; preds = %288
  call void @print_s2n_error(ptr noundef nonnull @.str.138) #14
  call void @exit(i32 noundef 1) #18
  unreachable

292:                                              ; preds = %287, %288
  %293 = call i32 @s2n_connection_set_config(ptr noundef nonnull %284, ptr noundef %214) #14
  %294 = icmp slt i32 %293, 0
  br i1 %294, label %295, label %296

295:                                              ; preds = %292
  call void @print_s2n_error(ptr noundef nonnull @.str.139) #14
  call void @exit(i32 noundef 1) #18
  unreachable

296:                                              ; preds = %292
  %297 = call i32 @s2n_set_server_name(ptr noundef nonnull %284, ptr noundef %spec.select312) #14
  %298 = icmp slt i32 %297, 0
  br i1 %298, label %299, label %300

299:                                              ; preds = %296
  call void @print_s2n_error(ptr noundef nonnull @.str.140) #14
  call void @exit(i32 noundef 1) #18
  unreachable

300:                                              ; preds = %296
  %301 = call i32 @s2n_connection_set_fd(ptr noundef nonnull %284, i32 noundef %186) #14
  %302 = icmp slt i32 %301, 0
  br i1 %302, label %303, label %304

303:                                              ; preds = %300
  call void @print_s2n_error(ptr noundef nonnull @.str.141) #14
  call void @exit(i32 noundef 1) #18
  unreachable

304:                                              ; preds = %300
  %305 = call i32 @s2n_connection_set_client_auth_type(ptr noundef nonnull %284, i32 noundef 2) #14
  %306 = icmp slt i32 %305, 0
  br i1 %306, label %307, label %308

307:                                              ; preds = %304
  call void @print_s2n_error(ptr noundef nonnull @.str.142) #14
  call void @exit(i32 noundef 1) #18
  unreachable

308:                                              ; preds = %304
  br i1 %.not303, label %313, label %309

309:                                              ; preds = %308
  %310 = call i32 @s2n_connection_use_corked_io(ptr noundef nonnull %284) #14
  %311 = icmp slt i32 %310, 0
  br i1 %311, label %312, label %313

312:                                              ; preds = %309
  call void @print_s2n_error(ptr noundef nonnull @.str.143) #14
  call void @exit(i32 noundef 1) #18
  unreachable

313:                                              ; preds = %309, %308
  br i1 %.not304, label %330, label %314

314:                                              ; preds = %313
  %315 = call i32 @get_file_size(ptr noundef nonnull %.0259, ptr noundef nonnull @session_state_length) #14
  %316 = icmp slt i32 %315, 0
  br i1 %316, label %317, label %318

317:                                              ; preds = %314
  call void @print_s2n_error(ptr noundef nonnull @.str.144) #14
  call void @exit(i32 noundef 1) #18
  unreachable

318:                                              ; preds = %314
  %319 = load ptr, ptr @session_state, align 8, !tbaa !5
  call void @free(ptr noundef %319) #14
  %320 = load i64, ptr @session_state_length, align 8, !tbaa !24
  %321 = call noalias ptr @calloc(i64 noundef %320, i64 noundef 1) #19
  store ptr %321, ptr @session_state, align 8, !tbaa !5
  %322 = icmp eq ptr %321, null
  br i1 %322, label %323, label %326

323:                                              ; preds = %318
  %324 = load ptr, ptr @stderr, align 8, !tbaa !5
  %325 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %324, ptr noundef nonnull @.str.105) #17
  call void @exit(i32 noundef 1) #18
  unreachable

326:                                              ; preds = %318
  %327 = call i32 @load_file_to_array(ptr noundef nonnull %.0259, ptr noundef nonnull %321, i64 noundef %320) #14
  %328 = icmp slt i32 %327, 0
  br i1 %328, label %329, label %330

329:                                              ; preds = %326
  call void @print_s2n_error(ptr noundef nonnull @.str.144) #14
  call void @exit(i32 noundef 1) #18
  unreachable

330:                                              ; preds = %326, %313
  %331 = load i64, ptr @session_state_length, align 8, !tbaa !24
  %.not305 = icmp eq i64 %331, 0
  br i1 %.not305, label %337, label %332

332:                                              ; preds = %330
  %333 = load ptr, ptr @session_state, align 8, !tbaa !5
  %334 = call i32 @s2n_connection_set_session(ptr noundef nonnull %284, ptr noundef %333, i64 noundef %331) #14
  %335 = icmp slt i32 %334, 0
  br i1 %335, label %336, label %337

336:                                              ; preds = %332
  call void @print_s2n_error(ptr noundef nonnull @.str.145) #14
  call void @exit(i32 noundef 1) #18
  unreachable

337:                                              ; preds = %330, %332
  %338 = call i32 @s2n_setup_external_psk_list(ptr noundef nonnull %284, ptr noundef nonnull %7, i64 noundef %.0203) #14
  %339 = icmp slt i32 %338, 0
  br i1 %339, label %340, label %341

340:                                              ; preds = %337
  call void @print_s2n_error(ptr noundef nonnull @.str.146) #14
  call void @exit(i32 noundef 1) #18
  unreachable

341:                                              ; preds = %337
  br i1 %170, label %342, label %346

342:                                              ; preds = %341
  %343 = call i32 @s2n_connection_prefer_throughput(ptr noundef nonnull %284) #14
  %344 = icmp slt i32 %343, 0
  br i1 %344, label %345, label %346

345:                                              ; preds = %342
  call void @print_s2n_error(ptr noundef nonnull @.str.147) #14
  br label %.thread383

346:                                              ; preds = %342, %341
  br i1 %.0188, label %347, label %351

347:                                              ; preds = %346
  %348 = call i32 @s2n_connection_prefer_low_latency(ptr noundef nonnull %284) #14
  %349 = icmp slt i32 %348, 0
  br i1 %349, label %350, label %351

350:                                              ; preds = %347
  call void @print_s2n_error(ptr noundef nonnull @.str.148) #14
  br label %.thread383

351:                                              ; preds = %347, %346
  br i1 %.not306, label %362, label %352

352:                                              ; preds = %351
  br i1 %.not299, label %353, label %354

353:                                              ; preds = %352
  call void @print_s2n_error(ptr noundef nonnull @.str.149) #14
  call void @exit(i32 noundef 1) #18
  unreachable

354:                                              ; preds = %352
  %355 = load i64, ptr @session_state_length, align 8, !tbaa !24
  %.not307 = icmp eq i64 %355, 0
  br i1 %.not307, label %362, label %356

356:                                              ; preds = %354
  %357 = call i64 @strlen(ptr noundef nonnull dereferenceable(1) %.0200) #15
  %358 = trunc i64 %357 to i32
  %359 = call i32 @early_data_send(ptr noundef nonnull %284, ptr noundef nonnull %.0200, i32 noundef %358) #14
  %360 = icmp slt i32 %359, 0
  br i1 %360, label %361, label %362

361:                                              ; preds = %356
  call void @print_s2n_error(ptr noundef nonnull @.str.150) #14
  call void @exit(i32 noundef 1) #18
  unreachable

362:                                              ; preds = %356, %354, %351
  br i1 %.not302, label %363, label %365

363:                                              ; preds = %362
  %364 = call i32 @negotiate(ptr noundef nonnull %284, i32 noundef %186) #14
  %.not308 = icmp eq i32 %364, 0
  br i1 %.not308, label %365, label %.thread383

365:                                              ; preds = %363, %362
  %366 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.151, ptr noundef %.0224, ptr noundef %.0223)
  %367 = icmp sgt i32 %.3246, 0
  %or.cond5 = select i1 %367, i1 true, i1 %171
  br i1 %or.cond5, label %368, label %404

368:                                              ; preds = %365
  %369 = getelementptr inbounds i8, ptr %284, i64 220
  %370 = load i8, ptr %369, align 4, !tbaa !26
  %371 = icmp ugt i8 %370, 33
  br i1 %371, label %372, label %378

372:                                              ; preds = %368
  br i1 %.not299, label %373, label %374

373:                                              ; preds = %372
  call void @print_s2n_error(ptr noundef nonnull @.str.152) #14
  call void @exit(i32 noundef 1) #18
  unreachable

374:                                              ; preds = %372
  %375 = call i32 @echo(ptr noundef nonnull %284, i32 noundef %186, ptr noundef nonnull %5) #14
  %376 = icmp slt i32 %375, 0
  br i1 %376, label %377, label %397

377:                                              ; preds = %374
  call void @print_s2n_error(ptr noundef nonnull @.str.153) #14
  call void @exit(i32 noundef 1) #18
  unreachable

378:                                              ; preds = %368
  br i1 %.not299, label %379, label %383

379:                                              ; preds = %378
  %380 = call i32 @s2n_connection_get_session_id_length(ptr noundef nonnull %284) #14
  %381 = icmp slt i32 %380, 1
  br i1 %381, label %382, label %383

382:                                              ; preds = %379
  call void @print_s2n_error(ptr noundef nonnull @.str.154) #14
  call void @exit(i32 noundef 1) #18
  unreachable

383:                                              ; preds = %379, %378
  %384 = load ptr, ptr @session_state, align 8, !tbaa !5
  call void @free(ptr noundef %384) #14
  %385 = call i32 @s2n_connection_get_session_length(ptr noundef nonnull %284) #14
  %386 = sext i32 %385 to i64
  store i64 %386, ptr @session_state_length, align 8, !tbaa !24
  %387 = call noalias ptr @calloc(i64 noundef %386, i64 noundef 1) #19
  store ptr %387, ptr @session_state, align 8, !tbaa !5
  %388 = icmp eq ptr %387, null
  br i1 %388, label %389, label %392

389:                                              ; preds = %383
  %390 = load ptr, ptr @stderr, align 8, !tbaa !5
  %391 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %390, ptr noundef nonnull @.str.105) #17
  call void @exit(i32 noundef 1) #18
  unreachable

392:                                              ; preds = %383
  %393 = call i32 @s2n_connection_get_session(ptr noundef nonnull %284, ptr noundef nonnull %387, i64 noundef %386) #14
  %394 = sext i32 %393 to i64
  %395 = load i64, ptr @session_state_length, align 8, !tbaa !24
  %.not309 = icmp eq i64 %395, %394
  br i1 %.not309, label %397, label %396

396:                                              ; preds = %392
  call void @print_s2n_error(ptr noundef nonnull @.str.155) #14
  call void @exit(i32 noundef 1) #18
  unreachable

397:                                              ; preds = %392, %374
  br i1 %171, label %398, label %404

398:                                              ; preds = %397
  %399 = load ptr, ptr @session_state, align 8, !tbaa !5
  %400 = load i64, ptr @session_state_length, align 8, !tbaa !24
  %401 = call i32 @write_array_to_file(ptr noundef nonnull %.0262, ptr noundef %399, i64 noundef %400) #14
  %402 = icmp slt i32 %401, 0
  br i1 %402, label %403, label %404

403:                                              ; preds = %398
  call void @print_s2n_error(ptr noundef nonnull @.str.156) #14
  call void @exit(i32 noundef 1) #18
  unreachable

404:                                              ; preds = %397, %398, %365
  br i1 %or.cond8, label %405, label %407

405:                                              ; preds = %404
  %406 = call i32 @s2n_connection_set_dynamic_record_threshold(ptr noundef nonnull %284, i32 noundef %.0234, i16 noundef zeroext %174) #14
  br label %407

407:                                              ; preds = %404, %405
  %408 = call i32 @s2n_connection_free_handshake(ptr noundef nonnull %284) #14
  %409 = icmp slt i32 %408, 0
  br i1 %409, label %410, label %411

410:                                              ; preds = %407
  call void @print_s2n_error(ptr noundef nonnull @.str.157) #14
  call void @exit(i32 noundef 1) #18
  unreachable

411:                                              ; preds = %407
  br i1 %.not310, label %415, label %412

412:                                              ; preds = %411
  %413 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.158, ptr noundef nonnull %.0217)
  %414 = call i64 @strlen(ptr noundef nonnull dereferenceable(1) %.0217) #15
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %11) #14
  store i32 0, ptr %11, align 4, !tbaa !11
  call void @send_data(ptr noundef nonnull %284, i32 noundef %186, ptr noundef nonnull %.0217, i64 noundef %414, ptr noundef nonnull %11) #14
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %11) #14
  br label %415

415:                                              ; preds = %412, %411
  br i1 %.0220, label %.split, label %.split556

.split:                                           ; preds = %415, %423
  %416 = load ptr, ptr @stdout, align 8, !tbaa !5
  %417 = call i32 @fflush(ptr noundef %416)
  %418 = load ptr, ptr @stderr, align 8, !tbaa !5
  %419 = call i32 @fflush(ptr noundef %418)
  %420 = call i32 @echo(ptr noundef %284, i32 noundef %186, ptr noundef nonnull %8) #14
  %421 = load i8, ptr %8, align 8, !tbaa !52, !range !53, !noundef !54
  %422 = trunc nuw i8 %421 to i1
  br i1 %422, label %423, label %.split556

423:                                              ; preds = %.split
  store i8 0, ptr %8, align 8, !tbaa !52
  %424 = load i8, ptr %13, align 1, !tbaa !15, !range !53, !noundef !54
  %425 = trunc nuw i8 %424 to i1
  %426 = call i32 @renegotiate(ptr noundef %284, i32 noundef %186, i1 noundef zeroext %425) #14
  %427 = icmp slt i32 %426, 0
  br i1 %427, label %428, label %.split, !llvm.loop !55

428:                                              ; preds = %423
  call void @print_s2n_error(ptr noundef nonnull @.str.159) #14
  call void @exit(i32 noundef 1) #18
  unreachable

.split556:                                        ; preds = %.split, %415
  br i1 %.not301, label %433, label %429

429:                                              ; preds = %.split556
  %430 = call i32 @s2n_connection_serialize_out(ptr noundef %284, ptr noundef nonnull %.0256) #14
  %431 = icmp slt i32 %430, 0
  br i1 %431, label %432, label %437

432:                                              ; preds = %429
  call void @print_s2n_error(ptr noundef nonnull @.str.160) #14
  call void @exit(i32 noundef 1) #18
  unreachable

433:                                              ; preds = %.split556
  %434 = call i32 @wait_for_shutdown(ptr noundef %284, i32 noundef %186) #14
  %435 = icmp slt i32 %434, 0
  br i1 %435, label %436, label %437

436:                                              ; preds = %433
  call void @print_s2n_error(ptr noundef nonnull @.str.161) #14
  call void @exit(i32 noundef 1) #18
  unreachable

437:                                              ; preds = %429, %433
  %438 = call i32 @s2n_connection_free(ptr noundef %284) #14
  %439 = icmp slt i32 %438, 0
  br i1 %439, label %440, label %441

440:                                              ; preds = %437
  call void @print_s2n_error(ptr noundef nonnull @.str.162) #14
  call void @exit(i32 noundef 1) #18
  unreachable

441:                                              ; preds = %437
  %442 = call i32 @s2n_config_free(ptr noundef %214) #14
  %443 = icmp slt i32 %442, 0
  br i1 %443, label %444, label %445

444:                                              ; preds = %441
  call void @print_s2n_error(ptr noundef nonnull @.str.163) #14
  call void @exit(i32 noundef 1) #18
  unreachable

445:                                              ; preds = %441
  %446 = call i32 @close(i32 noundef %186) #14
  %447 = add nsw i32 %.3246, -1
  br i1 %367, label %179, label %448, !llvm.loop !56

448:                                              ; preds = %445
  %.not311 = icmp eq ptr %.1207, null
  br i1 %.not311, label %451, label %449

449:                                              ; preds = %448
  %450 = call i32 @fclose(ptr noundef nonnull %.1207)
  br label %451

451:                                              ; preds = %448, %449
  %452 = call i32 @s2n_cleanup() #14
  %453 = icmp slt i32 %452, 0
  br i1 %453, label %454, label %455

454:                                              ; preds = %451
  call void @print_s2n_error(ptr noundef nonnull @.str.164) #14
  call void @exit(i32 noundef 1) #18
  unreachable

455:                                              ; preds = %451
  call void @free(ptr noundef %.0200) #14
  %456 = load ptr, ptr @session_state, align 8, !tbaa !5
  call void @free(ptr noundef %456) #14
  %457 = load ptr, ptr %4, align 8, !tbaa !5
  call void @freeaddrinfo(ptr noundef %457) #14
  br label %.thread383

.thread383:                                       ; preds = %363, %350, %345, %455
  %.2 = phi i32 [ 0, %455 ], [ -1, %345 ], [ -1, %350 ], [ -1, %363 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %8) #14
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %7) #14
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %6) #14
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %5) #14
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %4) #14
  call void @llvm.lifetime.end.p0(i64 48, ptr nonnull %3) #14
  ret i32 %.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 nocallback nofree nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #4

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

declare ptr @load_file_to_cstring(ptr noundef) local_unnamed_addr #6

; Function Attrs: inlinehint mustprogress nofree nounwind willreturn memory(read) uwtable
declare i32 @atoi(ptr nocapture noundef nonnull) local_unnamed_addr #7

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

; Function Attrs: mustprogress nofree nounwind willreturn
declare i64 @strtoul(ptr noundef readonly, ptr nocapture noundef, i32 noundef) local_unnamed_addr #9

; Function Attrs: mustprogress nofree nounwind willreturn memory(argmem: read)
declare i32 @strcmp(ptr nocapture noundef, ptr nocapture noundef) local_unnamed_addr #10

; Function Attrs: nounwind
declare i64 @strtoimax(ptr noundef, ptr noundef, 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: nounwind
declare ptr @signal(i32 noundef, ptr noundef) local_unnamed_addr #5

declare i32 @s2n_init() local_unnamed_addr #6

declare void @print_s2n_error(ptr noundef) local_unnamed_addr #6

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

declare ptr @s2n_libcrypto_get_version_name() local_unnamed_addr #6

declare i32 @s2n_get_fips_mode(ptr noundef) local_unnamed_addr #6

declare i32 @getaddrinfo(ptr noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #6

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

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

declare i32 @connect(i32 noundef, ptr noundef, i32 noundef) local_unnamed_addr #6

declare i32 @close(i32 noundef) local_unnamed_addr #6

declare i32 @fcntl(i32 noundef, i32 noundef, ...) local_unnamed_addr #6

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

declare ptr @s2n_config_new() local_unnamed_addr #6

; Function Attrs: nounwind uwtable
declare hidden void @setup_s2n_config(ptr noundef, ptr noundef, i32 noundef, ptr noundef, ptr noundef, ptr noundef, i16 noundef zeroext) local_unnamed_addr #0

declare i32 @s2n_config_set_send_buffer_size(ptr noundef, i32 noundef) local_unnamed_addr #6

declare ptr @s2n_cert_chain_and_key_new() local_unnamed_addr #6

declare i32 @s2n_cert_chain_and_key_load_pem(ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #6

declare i32 @s2n_config_add_cert_chain_and_key_to_store(ptr noundef, ptr noundef) local_unnamed_addr #6

declare i32 @s2n_config_add_pem_to_trust_store(ptr noundef, ptr noundef) local_unnamed_addr #6

declare i32 @s2n_config_wipe_trust_store(ptr noundef) local_unnamed_addr #6

declare i32 @s2n_config_set_verification_ca_location(ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #6

declare i32 @s2n_config_disable_x509_verification(ptr noundef) local_unnamed_addr #6

declare i32 @s2n_config_set_session_tickets_onoff(ptr noundef, i8 noundef zeroext) local_unnamed_addr #6

declare i32 @s2n_config_set_session_ticket_cb(ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #6

; Function Attrs: nounwind uwtable
declare hidden i32 @test_session_ticket_cb(ptr noundef, ptr noundef, ptr noundef) #0

; Function Attrs: nofree nounwind
declare noalias noundef ptr @fopen(ptr nocapture noundef readonly, ptr nocapture noundef readonly) local_unnamed_addr #1

declare i32 @s2n_config_set_key_log_cb(ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #6

declare i32 @key_log_callback(ptr noundef, ptr noundef, ptr noundef, i64 noundef) #6

declare i32 @s2n_config_set_renegotiate_request_cb(ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #6

; Function Attrs: nounwind uwtable
declare hidden i32 @reneg_req_cb(ptr noundef, ptr noundef, ptr noundef) #0

declare i32 @s2n_config_set_npn(ptr noundef, i1 noundef zeroext) local_unnamed_addr #6

declare i32 @s2n_config_set_serialization_version(ptr noundef, i32 noundef) local_unnamed_addr #6

declare ptr @s2n_connection_new(i32 noundef) local_unnamed_addr #6

declare i32 @s2n_connection_deserialize_in(ptr noundef, ptr noundef) local_unnamed_addr #6

declare i32 @s2n_connection_set_config(ptr noundef, ptr noundef) local_unnamed_addr #6

declare i32 @s2n_set_server_name(ptr noundef, ptr noundef) local_unnamed_addr #6

declare i32 @s2n_connection_set_fd(ptr noundef, i32 noundef) local_unnamed_addr #6

declare i32 @s2n_connection_set_client_auth_type(ptr noundef, i32 noundef) local_unnamed_addr #6

declare i32 @s2n_connection_use_corked_io(ptr noundef) local_unnamed_addr #6

declare i32 @get_file_size(ptr noundef, ptr noundef) local_unnamed_addr #6

; Function Attrs: mustprogress nounwind willreturn allockind("free") memory(argmem: readwrite, inaccessiblemem: readwrite)
declare void @free(ptr allocptr nocapture noundef) local_unnamed_addr #11

; Function Attrs: mustprogress nofree nounwind willreturn allockind("alloc,zeroed") allocsize(0,1) memory(inaccessiblemem: readwrite)
declare noalias noundef ptr @calloc(i64 noundef, i64 noundef) local_unnamed_addr #12

declare i32 @load_file_to_array(ptr noundef, ptr noundef, i64 noundef) local_unnamed_addr #6

declare i32 @s2n_connection_set_session(ptr noundef, ptr noundef, i64 noundef) local_unnamed_addr #6

declare i32 @s2n_setup_external_psk_list(ptr noundef, ptr noundef, i64 noundef) local_unnamed_addr #6

declare i32 @s2n_connection_prefer_throughput(ptr noundef) local_unnamed_addr #6

declare i32 @s2n_connection_prefer_low_latency(ptr noundef) local_unnamed_addr #6

; Function Attrs: mustprogress nofree nounwind willreturn memory(argmem: read)
declare i64 @strlen(ptr nocapture noundef) local_unnamed_addr #10

declare i32 @early_data_send(ptr noundef, ptr noundef, i32 noundef) local_unnamed_addr #6

declare i32 @negotiate(ptr noundef, i32 noundef) local_unnamed_addr #6

declare i32 @echo(ptr noundef, i32 noundef, ptr noundef) local_unnamed_addr #6

declare i32 @s2n_connection_get_session_id_length(ptr noundef) local_unnamed_addr #6

declare i32 @s2n_connection_get_session_length(ptr noundef) local_unnamed_addr #6

declare i32 @s2n_connection_get_session(ptr noundef, ptr noundef, i64 noundef) local_unnamed_addr #6

declare i32 @write_array_to_file(ptr noundef, ptr noundef, i64 noundef) local_unnamed_addr #6

declare i32 @s2n_connection_set_dynamic_record_threshold(ptr noundef, i32 noundef, i16 noundef zeroext) local_unnamed_addr #6

declare i32 @s2n_connection_free_handshake(ptr noundef) local_unnamed_addr #6

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

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

declare i32 @renegotiate(ptr noundef, i32 noundef, i1 noundef zeroext) local_unnamed_addr #6

declare i32 @s2n_connection_serialize_out(ptr noundef, ptr noundef) local_unnamed_addr #6

declare i32 @wait_for_shutdown(ptr noundef, i32 noundef) local_unnamed_addr #6

declare i32 @s2n_connection_free(ptr noundef) local_unnamed_addr #6

declare i32 @s2n_config_free(ptr noundef) local_unnamed_addr #6

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

declare i32 @s2n_cleanup() local_unnamed_addr #6

; Function Attrs: nounwind
declare void @freeaddrinfo(ptr noundef) local_unnamed_addr #5

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i32 @llvm.smin.i32(i32, i32) #13

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 = { 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 #3 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #4 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: write) }
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 = { "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 = { inlinehint mustprogress nofree nounwind willreturn memory(read) uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #8 = { 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 #9 = { mustprogress nofree nounwind willreturn "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 #10 = { mustprogress nofree nounwind willreturn memory(argmem: read) "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 #11 = { mustprogress nounwind willreturn allockind("free") memory(argmem: readwrite, inaccessiblemem: readwrite) "alloc-family"="malloc" "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 #12 = { mustprogress nofree nounwind willreturn allockind("alloc,zeroed") allocsize(0,1) memory(inaccessiblemem: readwrite) "alloc-family"="malloc" "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 #13 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #14 = { nounwind }
attributes #15 = { nounwind willreturn memory(read) }
attributes #16 = { nounwind willreturn memory(none) }
attributes #17 = { cold nounwind }
attributes #18 = { noreturn nounwind }
attributes #19 = { nounwind allocsize(0,1) }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"_Bool", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"int", !7, i64 0}
!13 = !{!14, !12, i64 4}
!14 = !{!"reneg_req_ctx", !10, i64 0, !10, i64 1, !12, i64 4}
!15 = !{!14, !10, i64 1}
!16 = !{!17, !12, i64 8}
!17 = !{!"addrinfo", !12, i64 0, !12, i64 4, !12, i64 8, !12, i64 12, !12, i64 16, !6, i64 24, !6, i64 32, !6, i64 40}
!18 = !{!17, !12, i64 4}
!19 = !{!17, !12, i64 12}
!20 = !{!17, !6, i64 24}
!21 = !{!17, !12, i64 16}
!22 = distinct !{!22, !23}
!23 = !{!"llvm.loop.mustprogress"}
!24 = !{!25, !25, i64 0}
!25 = !{!"long", !7, i64 0}
!26 = !{!27, !7, i64 220}
!27 = !{!"s2n_connection", !12, i64 0, !12, i64 0, !12, i64 0, !12, i64 0, !12, i64 0, !12, i64 0, !12, i64 0, !12, i64 0, !12, i64 1, !12, i64 1, !12, i64 1, !12, i64 1, !12, i64 1, !12, i64 1, !12, i64 1, !12, i64 1, !12, i64 2, !12, i64 2, !12, i64 2, !12, i64 2, !12, i64 2, !12, i64 2, !12, i64 2, !6, i64 8, !6, i64 16, !6, i64 24, !6, i64 32, !6, i64 40, !6, i64 48, !6, i64 56, !6, i64 64, !6, i64 72, !7, i64 80, !7, i64 102, !7, i64 124, !12, i64 148, !12, i64 152, !28, i64 160, !25, i64 168, !25, i64 176, !7, i64 184, !7, i64 216, !7, i64 217, !7, i64 218, !7, i64 219, !7, i64 220, !7, i64 221, !7, i64 222, !6, i64 224, !6, i64 232, !29, i64 240, !6, i64 632, !6, i64 640, !30, i64 648, !36, i64 1144, !39, i64 1688, !6, i64 1752, !7, i64 1760, !12, i64 1764, !7, i64 1768, !42, i64 1776, !42, i64 1816, !42, i64 1856, !42, i64 1896, !12, i64 1936, !25, i64 1944, !7, i64 1952, !42, i64 1960, !7, i64 2000, !7, i64 2001, !7, i64 2002, !10, i64 2003, !43, i64 2004, !43, i64 2008, !44, i64 2016, !41, i64 2208, !12, i64 2212, !41, i64 2216, !25, i64 2224, !7, i64 2232, !25, i64 2240, !25, i64 2248, !25, i64 2256, !43, i64 2264, !43, i64 2268, !7, i64 2272, !7, i64 2528, !12, i64 2784, !35, i64 2792, !12, i64 2816, !35, i64 2824, !35, i64 2848, !35, i64 2872, !46, i64 2896, !48, i64 3704, !6, i64 3760, !6, i64 3768, !7, i64 3776, !12, i64 3780, !35, i64 3784, !12, i64 3808, !50, i64 3816, !7, i64 3848, !42, i64 3992, !35, i64 4032, !35, i64 4056, !10, i64 4080, !10, i64 4081, !10, i64 4082, !41, i64 4084, !41, i64 4086, !12, i64 4088, !12, i64 4092, !35, i64 4096, !12, i64 4120, !51, i64 4128, !43, i64 4176, !7, i64 4180, !7, i64 4181}
!28 = !{!"s2n_timer", !25, i64 0}
!29 = !{!"s2n_secrets", !7, i64 0, !12, i64 388}
!30 = !{!"s2n_kex_parameters", !31, i64 0, !32, i64 8, !7, i64 24, !32, i64 56, !33, i64 72, !33, i64 184, !7, i64 296, !34, i64 360, !35, i64 448, !35, i64 472}
!31 = !{!"s2n_dh_params", !6, i64 0}
!32 = !{!"s2n_ecc_evp_params", !6, i64 0, !6, i64 8}
!33 = !{!"s2n_kem_group_params", !6, i64 0, !34, i64 8, !32, i64 96}
!34 = !{!"s2n_kem_params", !6, i64 0, !35, i64 8, !35, i64 32, !35, i64 56, !10, i64 80}
!35 = !{!"s2n_blob", !6, i64 0, !12, i64 8, !12, i64 12, !12, i64 16}
!36 = !{!"s2n_handshake_parameters", !37, i64 0, !37, i64 48, !35, i64 96, !12, i64 120, !38, i64 124, !6, i64 384, !6, i64 392, !6, i64 400, !7, i64 408, !7, i64 440, !7, i64 472, !7, i64 473, !7, i64 474, !7, i64 506}
!37 = !{!"s2n_pkey", !6, i64 0, !6, i64 8, !6, i64 16, !6, i64 24, !6, i64 32, !6, i64 40}
!38 = !{!"s2n_sig_scheme_list", !7, i64 0, !7, i64 256}
!39 = !{!"s2n_psk_parameters", !12, i64 0, !40, i64 8, !41, i64 40, !41, i64 42, !6, i64 48, !12, i64 56}
!40 = !{!"s2n_array", !35, i64 0, !12, i64 24, !12, i64 28}
!41 = !{!"short", !7, i64 0}
!42 = !{!"s2n_stuffer", !35, i64 0, !12, i64 24, !12, i64 28, !12, i64 32, !12, i64 36, !12, i64 36, !12, i64 36}
!43 = !{!"", !12, i64 0}
!44 = !{!"s2n_handshake", !42, i64 0, !6, i64 40, !7, i64 48, !7, i64 56, !7, i64 104, !7, i64 152, !12, i64 156, !12, i64 160, !12, i64 164, !12, i64 168, !45, i64 176, !12, i64 184, !12, i64 184, !12, i64 184, !12, i64 184, !12, i64 188}
!45 = !{!"s2n_offered_early_data", !6, i64 0}
!46 = !{!"s2n_client_hello", !35, i64 0, !47, i64 24, !35, i64 728, !35, i64 752, !35, i64 776, !7, i64 800, !7, i64 801, !12, i64 802, !12, i64 802, !12, i64 802, !12, i64 802, !12, i64 802, !12, i64 802, !12, i64 802}
!47 = !{!"", !7, i64 0, !35, i64 672, !41, i64 696}
!48 = !{!"s2n_x509_validator", !6, i64 0, !6, i64 8, !7, i64 16, !7, i64 17, !41, i64 18, !6, i64 24, !12, i64 32, !6, i64 40, !49, i64 48, !10, i64 52}
!49 = !{!"s2n_cert_validation_info", !12, i64 0, !12, i64 0}
!50 = !{!"s2n_ticket_fields", !35, i64 0, !12, i64 24}
!51 = !{!"s2n_post_handshake", !42, i64 0, !7, i64 40}
!52 = !{!14, !10, i64 0}
!53 = !{i8 0, i8 2}
!54 = !{}
!55 = distinct !{!55, !23}
!56 = distinct !{!56, !23}


; Effective O3 passes: AggressiveInstCombinePass,CorrelatedValuePropagationPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,InferAlignmentPass,InferFunctionAttrsPass,InstCombinePass,InstSimplifyPass,JumpThreadingPass,LCSSAPass,LICMPass,LoopRotatePass,LoopSimplifyCFGPass,LoopSimplifyPass,LoopUnrollPass,MemCpyOptPass,ReassociatePass,SCCPPass,SROAPass,SimplifyCFGPass,TailCallElimPass