; LLVM IR from tleonhardt/practical_cryptography_engineering :: mbedtls (ssl_tls)

; 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.mbedtls_ssl_context = type { ptr, i32, i32, i32, i32, i32, i32, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, i32, i64, i64, i16, i64, i64, i64, i64, i32, i32, ptr, ptr, ptr, ptr, ptr, ptr, i32, i64, i64, i8, i32, ptr, ptr, ptr, i64, i32, i64, [12 x i8], [12 x i8] }
%struct.mbedtls_ssl_config = type { [4 x ptr], ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, %struct.mbedtls_mpi, %struct.mbedtls_mpi, ptr, i64, ptr, i64, ptr, i32, i32, i32, i32, [8 x i8], i32, i32, i8, i8, i8, i8, i32 }
%struct.mbedtls_mpi = type { i32, i64, ptr }
%struct.mbedtls_ssl_handshake_params = type { %struct.mbedtls_ssl_sig_hash_set_t, %struct.mbedtls_dhm_context, %struct.mbedtls_ecdh_context, ptr, ptr, i64, ptr, i32, ptr, ptr, ptr, i32, i32, ptr, i8, ptr, i32, i8, ptr, ptr, i32, ptr, [8 x i8], %struct.mbedtls_md5_context, %struct.mbedtls_sha1_context, %struct.mbedtls_sha256_context, %struct.mbedtls_sha512_context, ptr, ptr, ptr, ptr, i64, [64 x i8], [1060 x i8], i32, i32, i32, i32, i32, i32 }
%struct.mbedtls_ssl_sig_hash_set_t = type { i32, i32 }
%struct.mbedtls_dhm_context = type { i64, %struct.mbedtls_mpi, %struct.mbedtls_mpi, %struct.mbedtls_mpi, %struct.mbedtls_mpi, %struct.mbedtls_mpi, %struct.mbedtls_mpi, %struct.mbedtls_mpi, %struct.mbedtls_mpi, %struct.mbedtls_mpi, %struct.mbedtls_mpi }
%struct.mbedtls_ecdh_context = type { %struct.mbedtls_ecp_group, %struct.mbedtls_mpi, %struct.mbedtls_ecp_point, %struct.mbedtls_ecp_point, %struct.mbedtls_mpi, i32, %struct.mbedtls_ecp_point, %struct.mbedtls_ecp_point, %struct.mbedtls_mpi }
%struct.mbedtls_ecp_group = type { i32, %struct.mbedtls_mpi, %struct.mbedtls_mpi, %struct.mbedtls_mpi, %struct.mbedtls_ecp_point, %struct.mbedtls_mpi, i64, i64, i32, ptr, ptr, ptr, ptr, ptr, i64 }
%struct.mbedtls_ecp_point = type { %struct.mbedtls_mpi, %struct.mbedtls_mpi, %struct.mbedtls_mpi }
%struct.mbedtls_md5_context = type { [2 x i32], [4 x i32], [64 x i8] }
%struct.mbedtls_sha1_context = type { [2 x i32], [5 x i32], [64 x i8] }
%struct.mbedtls_sha256_context = type { [2 x i32], [8 x i32], [64 x i8], i32 }
%struct.mbedtls_sha512_context = type { [2 x i64], [8 x i64], [128 x i8], i32 }

@.str = external hidden unnamed_addr constant [97 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [20 x i8], align 1
@.str.38 = external hidden unnamed_addr constant [25 x i8], align 1
@.str.90 = external hidden unnamed_addr constant [24 x i8], align 1
@.str.132 = external hidden unnamed_addr constant [24 x i8], align 1
@.str.133 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.134 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.135 = external hidden unnamed_addr constant [26 x i8], align 1
@.str.136 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.137 = external hidden unnamed_addr constant [38 x i8], align 1
@.str.138 = external hidden unnamed_addr constant [37 x i8], align 1
@.str.139 = external hidden unnamed_addr constant [38 x i8], align 1
@.str.140 = external hidden unnamed_addr constant [51 x i8], align 1
@.str.141 = external hidden unnamed_addr constant [37 x i8], align 1
@.str.142 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.143 = external hidden unnamed_addr constant [8 x i8], align 1

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

declare void @mbedtls_debug_print_msg(ptr noundef, i32 noundef, ptr noundef, i32 noundef, ptr noundef, ...) #1

declare void @mbedtls_debug_print_ret(ptr noundef, i32 noundef, ptr noundef, i32 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) #0

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: readwrite)
declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #2

; Function Attrs: nounwind uwtable
declare hidden void @ssl_set_timer(ptr noundef, i32 noundef) #3

; Function Attrs: nounwind uwtable
declare dso_local i32 @mbedtls_ssl_resend(ptr noundef) #3

; Function Attrs: nounwind uwtable
declare hidden i32 @ssl_resend_hello_request(ptr noundef) #3

; Function Attrs: nounwind uwtable
declare dso_local i32 @mbedtls_ssl_flush_output(ptr noundef) #3

; Function Attrs: inlinehint nounwind uwtable
declare hidden i64 @mbedtls_ssl_hs_hdr_len(ptr noundef) #4

; Function Attrs: nounwind uwtable
declare dso_local i32 @mbedtls_ssl_read_record(ptr noundef) #3

; Function Attrs: nounwind uwtable
declare dso_local i32 @mbedtls_ssl_send_alert_message(ptr noundef, i8 noundef zeroext, i8 noundef zeroext) #3

; Function Attrs: nounwind uwtable
declare dso_local i32 @mbedtls_ssl_handshake(ptr noundef) #3

; Function Attrs: nounwind uwtable
declare hidden i32 @ssl_start_renegotiation(ptr noundef) #3

; Function Attrs: nounwind uwtable
define dso_local i32 @mbedtls_ssl_read(ptr noundef %0, ptr noundef %1, i64 noundef %2) #3 {
  %4 = alloca i32, align 4
  %5 = alloca ptr, align 8
  %6 = alloca ptr, align 8
  %7 = alloca i64, align 8
  %8 = alloca i32, align 4
  %9 = alloca i64, align 8
  %10 = alloca i32, align 4
  store ptr %0, ptr %5, align 8, !tbaa !5
  store ptr %1, ptr %6, align 8, !tbaa !5
  store i64 %2, ptr %7, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #5
  %11 = load ptr, ptr %5, align 8, !tbaa !5
  %12 = icmp eq ptr %11, null
  br i1 %12, label %18, label %13

13:                                               ; preds = %3
  %14 = load ptr, ptr %5, align 8, !tbaa !5
  %15 = getelementptr inbounds %struct.mbedtls_ssl_context, ptr %14, i32 0, i32 0
  %16 = load ptr, ptr %15, align 8, !tbaa !11
  %17 = icmp eq ptr %16, null
  br i1 %17, label %18, label %19

18:                                               ; preds = %13, %3
  store i32 -28928, ptr %4, align 4
  store i32 1, ptr %10, align 4
  br label %409

19:                                               ; preds = %13
  %20 = load ptr, ptr %5, align 8, !tbaa !5
  call void (ptr, i32, ptr, i32, ptr, ...) @mbedtls_debug_print_msg(ptr noundef %20, i32 noundef 2, ptr noundef @.str, i32 noundef 6743, ptr noundef @.str.134)
  %21 = load ptr, ptr %5, align 8, !tbaa !5
  %22 = getelementptr inbounds %struct.mbedtls_ssl_context, ptr %21, i32 0, i32 0
  %23 = load ptr, ptr %22, align 8, !tbaa !11
  %24 = getelementptr inbounds %struct.mbedtls_ssl_config, ptr %23, i32 0, i32 46
  %25 = load i32, ptr %24, align 4
  %26 = lshr i32 %25, 1
  %27 = and i32 %26, 1
  %28 = icmp eq i32 %27, 1
  br i1 %28, label %29, label %56

29:                                               ; preds = %19
  %30 = load ptr, ptr %5, align 8, !tbaa !5
  %31 = call i32 @mbedtls_ssl_flush_output(ptr noundef %30)
  store i32 %31, ptr %8, align 4, !tbaa !15
  %32 = icmp ne i32 %31, 0
  br i1 %32, label %33, label %35

33:                                               ; preds = %29
  %34 = load i32, ptr %8, align 4, !tbaa !15
  store i32 %34, ptr %4, align 4
  store i32 1, ptr %10, align 4
  br label %409

35:                                               ; preds = %29
  %36 = load ptr, ptr %5, align 8, !tbaa !5
  %37 = getelementptr inbounds %struct.mbedtls_ssl_context, ptr %36, i32 0, i32 15
  %38 = load ptr, ptr %37, align 8, !tbaa !16
  %39 = icmp ne ptr %38, null
  br i1 %39, label %40, label %55

40:                                               ; preds = %35
  %41 = load ptr, ptr %5, align 8, !tbaa !5
  %42 = getelementptr inbounds %struct.mbedtls_ssl_context, ptr %41, i32 0, i32 15
  %43 = load ptr, ptr %42, align 8, !tbaa !16
  %44 = getelementptr inbounds %struct.mbedtls_ssl_handshake_params, ptr %43, i32 0, i32 17
  %45 = load i8, ptr %44, align 4, !tbaa !17
  %46 = zext i8 %45 to i32
  %47 = icmp eq i32 %46, 1
  br i1 %47, label %48, label %55

48:                                               ; preds = %40
  %49 = load ptr, ptr %5, align 8, !tbaa !5
  %50 = call i32 @mbedtls_ssl_resend(ptr noundef %49)
  store i32 %50, ptr %8, align 4, !tbaa !15
  %51 = icmp ne i32 %50, 0
  br i1 %51, label %52, label %54

52:                                               ; preds = %48
  %53 = load i32, ptr %8, align 4, !tbaa !15
  store i32 %53, ptr %4, align 4
  store i32 1, ptr %10, align 4
  br label %409

54:                                               ; preds = %48
  br label %55

55:                                               ; preds = %54, %40, %35
  br label %56

56:                                               ; preds = %55, %19
  %57 = load ptr, ptr %5, align 8, !tbaa !5
  %58 = call i32 @ssl_check_ctr_renegotiate(ptr noundef %57)
  store i32 %58, ptr %8, align 4, !tbaa !15
  %59 = load i32, ptr %8, align 4, !tbaa !15
  %60 = icmp ne i32 %59, -27392
  br i1 %60, label %61, label %68

61:                                               ; preds = %56
  %62 = load i32, ptr %8, align 4, !tbaa !15
  %63 = icmp ne i32 %62, 0
  br i1 %63, label %64, label %68

64:                                               ; preds = %61
  %65 = load ptr, ptr %5, align 8, !tbaa !5
  %66 = load i32, ptr %8, align 4, !tbaa !15
  call void @mbedtls_debug_print_ret(ptr noundef %65, i32 noundef 1, ptr noundef @.str, i32 noundef 6777, ptr noundef @.str.135, i32 noundef %66)
  %67 = load i32, ptr %8, align 4, !tbaa !15
  store i32 %67, ptr %4, align 4
  store i32 1, ptr %10, align 4
  br label %409

68:                                               ; preds = %61, %56
  %69 = load ptr, ptr %5, align 8, !tbaa !5
  %70 = getelementptr inbounds %struct.mbedtls_ssl_context, ptr %69, i32 0, i32 1
  %71 = load i32, ptr %70, align 8, !tbaa !29
  %72 = icmp ne i32 %71, 16
  br i1 %72, label %73, label %86

73:                                               ; preds = %68
  %74 = load ptr, ptr %5, align 8, !tbaa !5
  %75 = call i32 @mbedtls_ssl_handshake(ptr noundef %74)
  store i32 %75, ptr %8, align 4, !tbaa !15
  %76 = load i32, ptr %8, align 4, !tbaa !15
  %77 = icmp ne i32 %76, -27392
  br i1 %77, label %78, label %85

78:                                               ; preds = %73
  %79 = load i32, ptr %8, align 4, !tbaa !15
  %80 = icmp ne i32 %79, 0
  br i1 %80, label %81, label %85

81:                                               ; preds = %78
  %82 = load ptr, ptr %5, align 8, !tbaa !5
  %83 = load i32, ptr %8, align 4, !tbaa !15
  call void @mbedtls_debug_print_ret(ptr noundef %82, i32 noundef 1, ptr noundef @.str, i32 noundef 6788, ptr noundef @.str.133, i32 noundef %83)
  %84 = load i32, ptr %8, align 4, !tbaa !15
  store i32 %84, ptr %4, align 4
  store i32 1, ptr %10, align 4
  br label %409

85:                                               ; preds = %78, %73
  br label %86

86:                                               ; preds = %85, %68
  %87 = load ptr, ptr %5, align 8, !tbaa !5
  %88 = getelementptr inbounds %struct.mbedtls_ssl_context, ptr %87, i32 0, i32 29
  %89 = load ptr, ptr %88, align 8, !tbaa !30
  %90 = icmp eq ptr %89, null
  br i1 %90, label %91, label %366

91:                                               ; preds = %86
  %92 = load ptr, ptr %5, align 8, !tbaa !5
  %93 = getelementptr inbounds %struct.mbedtls_ssl_context, ptr %92, i32 0, i32 22
  %94 = load ptr, ptr %93, align 8, !tbaa !31
  %95 = icmp ne ptr %94, null
  br i1 %95, label %96, label %112

96:                                               ; preds = %91
  %97 = load ptr, ptr %5, align 8, !tbaa !5
  %98 = getelementptr inbounds %struct.mbedtls_ssl_context, ptr %97, i32 0, i32 22
  %99 = load ptr, ptr %98, align 8, !tbaa !31
  %100 = load ptr, ptr %5, align 8, !tbaa !5
  %101 = getelementptr inbounds %struct.mbedtls_ssl_context, ptr %100, i32 0, i32 20
  %102 = load ptr, ptr %101, align 8, !tbaa !32
  %103 = call i32 %99(ptr noundef %102)
  %104 = icmp eq i32 %103, -1
  br i1 %104, label %105, label %112

105:                                              ; preds = %96
  %106 = load ptr, ptr %5, align 8, !tbaa !5
  %107 = load ptr, ptr %5, align 8, !tbaa !5
  %108 = getelementptr inbounds %struct.mbedtls_ssl_context, ptr %107, i32 0, i32 0
  %109 = load ptr, ptr %108, align 8, !tbaa !11
  %110 = getelementptr inbounds %struct.mbedtls_ssl_config, ptr %109, i32 0, i32 35
  %111 = load i32, ptr %110, align 8, !tbaa !33
  call void @ssl_set_timer(ptr noundef %106, i32 noundef %111)
  br label %112

112:                                              ; preds = %105, %96, %91
  %113 = load ptr, ptr %5, align 8, !tbaa !5
  %114 = call i32 @mbedtls_ssl_read_record(ptr noundef %113)
  store i32 %114, ptr %8, align 4, !tbaa !15
  %115 = icmp ne i32 %114, 0
  br i1 %115, label %116, label %124

116:                                              ; preds = %112
  %117 = load i32, ptr %8, align 4, !tbaa !15
  %118 = icmp eq i32 %117, -29312
  br i1 %118, label %119, label %120

119:                                              ; preds = %116
  store i32 0, ptr %4, align 4
  store i32 1, ptr %10, align 4
  br label %409

120:                                              ; preds = %116
  %121 = load ptr, ptr %5, align 8, !tbaa !5
  %122 = load i32, ptr %8, align 4, !tbaa !15
  call void @mbedtls_debug_print_ret(ptr noundef %121, i32 noundef 1, ptr noundef @.str, i32 noundef 6842, ptr noundef @.str.90, i32 noundef %122)
  %123 = load i32, ptr %8, align 4, !tbaa !15
  store i32 %123, ptr %4, align 4
  store i32 1, ptr %10, align 4
  br label %409

124:                                              ; preds = %112
  %125 = load ptr, ptr %5, align 8, !tbaa !5
  %126 = getelementptr inbounds %struct.mbedtls_ssl_context, ptr %125, i32 0, i32 31
  %127 = load i64, ptr %126, align 8, !tbaa !35
  %128 = icmp eq i64 %127, 0
  br i1 %128, label %129, label %147

129:                                              ; preds = %124
  %130 = load ptr, ptr %5, align 8, !tbaa !5
  %131 = getelementptr inbounds %struct.mbedtls_ssl_context, ptr %130, i32 0, i32 30
  %132 = load i32, ptr %131, align 8, !tbaa !36
  %133 = icmp eq i32 %132, 23
  br i1 %133, label %134, label %147

134:                                              ; preds = %129
  %135 = load ptr, ptr %5, align 8, !tbaa !5
  %136 = call i32 @mbedtls_ssl_read_record(ptr noundef %135)
  store i32 %136, ptr %8, align 4, !tbaa !15
  %137 = icmp ne i32 %136, 0
  br i1 %137, label %138, label %146

138:                                              ; preds = %134
  %139 = load i32, ptr %8, align 4, !tbaa !15
  %140 = icmp eq i32 %139, -29312
  br i1 %140, label %141, label %142

141:                                              ; preds = %138
  store i32 0, ptr %4, align 4
  store i32 1, ptr %10, align 4
  br label %409

142:                                              ; preds = %138
  %143 = load ptr, ptr %5, align 8, !tbaa !5
  %144 = load i32, ptr %8, align 4, !tbaa !15
  call void @mbedtls_debug_print_ret(ptr noundef %143, i32 noundef 1, ptr noundef @.str, i32 noundef 6857, ptr noundef @.str.90, i32 noundef %144)
  %145 = load i32, ptr %8, align 4, !tbaa !15
  store i32 %145, ptr %4, align 4
  store i32 1, ptr %10, align 4
  br label %409

146:                                              ; preds = %134
  br label %147

147:                                              ; preds = %146, %129, %124
  %148 = load ptr, ptr %5, align 8, !tbaa !5
  %149 = getelementptr inbounds %struct.mbedtls_ssl_context, ptr %148, i32 0, i32 30
  %150 = load i32, ptr %149, align 8, !tbaa !36
  %151 = icmp eq i32 %150, 22
  br i1 %151, label %152, label %289

152:                                              ; preds = %147
  %153 = load ptr, ptr %5, align 8, !tbaa !5
  call void (ptr, i32, ptr, i32, ptr, ...) @mbedtls_debug_print_msg(ptr noundef %153, i32 noundef 1, ptr noundef @.str, i32 noundef 6865, ptr noundef @.str.136)
  %154 = load ptr, ptr %5, align 8, !tbaa !5
  %155 = getelementptr inbounds %struct.mbedtls_ssl_context, ptr %154, i32 0, i32 0
  %156 = load ptr, ptr %155, align 8, !tbaa !11
  %157 = getelementptr inbounds %struct.mbedtls_ssl_config, ptr %156, i32 0, i32 46
  %158 = load i32, ptr %157, align 4
  %159 = and i32 %158, 1
  %160 = icmp eq i32 %159, 0
  br i1 %160, label %161, label %188

161:                                              ; preds = %152
  %162 = load ptr, ptr %5, align 8, !tbaa !5
  %163 = getelementptr inbounds %struct.mbedtls_ssl_context, ptr %162, i32 0, i32 28
  %164 = load ptr, ptr %163, align 8, !tbaa !37
  %165 = getelementptr inbounds i8, ptr %164, i64 0
  %166 = load i8, ptr %165, align 1, !tbaa !38
  %167 = zext i8 %166 to i32
  %168 = icmp ne i32 %167, 0
  br i1 %168, label %176, label %169

169:                                              ; preds = %161
  %170 = load ptr, ptr %5, align 8, !tbaa !5
  %171 = getelementptr inbounds %struct.mbedtls_ssl_context, ptr %170, i32 0, i32 37
  %172 = load i64, ptr %171, align 8, !tbaa !39
  %173 = load ptr, ptr %5, align 8, !tbaa !5
  %174 = call i64 @mbedtls_ssl_hs_hdr_len(ptr noundef %173)
  %175 = icmp ne i64 %172, %174
  br i1 %175, label %176, label %188

176:                                              ; preds = %169, %161
  %177 = load ptr, ptr %5, align 8, !tbaa !5
  call void (ptr, i32, ptr, i32, ptr, ...) @mbedtls_debug_print_msg(ptr noundef %177, i32 noundef 1, ptr noundef @.str, i32 noundef 6878, ptr noundef @.str.137)
  %178 = load ptr, ptr %5, align 8, !tbaa !5
  %179 = getelementptr inbounds %struct.mbedtls_ssl_context, ptr %178, i32 0, i32 0
  %180 = load ptr, ptr %179, align 8, !tbaa !11
  %181 = getelementptr inbounds %struct.mbedtls_ssl_config, ptr %180, i32 0, i32 46
  %182 = load i32, ptr %181, align 4
  %183 = lshr i32 %182, 1
  %184 = and i32 %183, 1
  %185 = icmp eq i32 %184, 1
  br i1 %185, label %186, label %187

186:                                              ; preds = %176
  store i32 -26880, ptr %4, align 4
  store i32 1, ptr %10, align 4
  br label %409

187:                                              ; preds = %176
  store i32 -30464, ptr %4, align 4
  store i32 1, ptr %10, align 4
  br label %409

188:                                              ; preds = %169, %152
  %189 = load ptr, ptr %5, align 8, !tbaa !5
  %190 = getelementptr inbounds %struct.mbedtls_ssl_context, ptr %189, i32 0, i32 0
  %191 = load ptr, ptr %190, align 8, !tbaa !11
  %192 = getelementptr inbounds %struct.mbedtls_ssl_config, ptr %191, i32 0, i32 46
  %193 = load i32, ptr %192, align 4
  %194 = and i32 %193, 1
  %195 = icmp eq i32 %194, 1
  br i1 %195, label %196, label %216

196:                                              ; preds = %188
  %197 = load ptr, ptr %5, align 8, !tbaa !5
  %198 = getelementptr inbounds %struct.mbedtls_ssl_context, ptr %197, i32 0, i32 28
  %199 = load ptr, ptr %198, align 8, !tbaa !37
  %200 = getelementptr inbounds i8, ptr %199, i64 0
  %201 = load i8, ptr %200, align 1, !tbaa !38
  %202 = zext i8 %201 to i32
  %203 = icmp ne i32 %202, 1
  br i1 %203, label %204, label %216

204:                                              ; preds = %196
  %205 = load ptr, ptr %5, align 8, !tbaa !5
  call void (ptr, i32, ptr, i32, ptr, ...) @mbedtls_debug_print_msg(ptr noundef %205, i32 noundef 1, ptr noundef @.str, i32 noundef 6893, ptr noundef @.str.138)
  %206 = load ptr, ptr %5, align 8, !tbaa !5
  %207 = getelementptr inbounds %struct.mbedtls_ssl_context, ptr %206, i32 0, i32 0
  %208 = load ptr, ptr %207, align 8, !tbaa !11
  %209 = getelementptr inbounds %struct.mbedtls_ssl_config, ptr %208, i32 0, i32 46
  %210 = load i32, ptr %209, align 4
  %211 = lshr i32 %210, 1
  %212 = and i32 %211, 1
  %213 = icmp eq i32 %212, 1
  br i1 %213, label %214, label %215

214:                                              ; preds = %204
  store i32 -26880, ptr %4, align 4
  store i32 1, ptr %10, align 4
  br label %409

215:                                              ; preds = %204
  store i32 -30464, ptr %4, align 4
  store i32 1, ptr %10, align 4
  br label %409

216:                                              ; preds = %196, %188
  %217 = load ptr, ptr %5, align 8, !tbaa !5
  %218 = getelementptr inbounds %struct.mbedtls_ssl_context, ptr %217, i32 0, i32 0
  %219 = load ptr, ptr %218, align 8, !tbaa !11
  %220 = getelementptr inbounds %struct.mbedtls_ssl_config, ptr %219, i32 0, i32 46
  %221 = load i32, ptr %220, align 4
  %222 = lshr i32 %221, 14
  %223 = and i32 %222, 1
  %224 = icmp eq i32 %223, 0
  br i1 %224, label %239, label %225

225:                                              ; preds = %216
  %226 = load ptr, ptr %5, align 8, !tbaa !5
  %227 = getelementptr inbounds %struct.mbedtls_ssl_context, ptr %226, i32 0, i32 55
  %228 = load i32, ptr %227, align 8, !tbaa !40
  %229 = icmp eq i32 %228, 0
  br i1 %229, label %230, label %255

230:                                              ; preds = %225
  %231 = load ptr, ptr %5, align 8, !tbaa !5
  %232 = getelementptr inbounds %struct.mbedtls_ssl_context, ptr %231, i32 0, i32 0
  %233 = load ptr, ptr %232, align 8, !tbaa !11
  %234 = getelementptr inbounds %struct.mbedtls_ssl_config, ptr %233, i32 0, i32 46
  %235 = load i32, ptr %234, align 4
  %236 = lshr i32 %235, 4
  %237 = and i32 %236, 3
  %238 = icmp eq i32 %237, 0
  br i1 %238, label %239, label %255

239:                                              ; preds = %230, %216
  %240 = load ptr, ptr %5, align 8, !tbaa !5
  call void (ptr, i32, ptr, i32, ptr, ...) @mbedtls_debug_print_msg(ptr noundef %240, i32 noundef 3, ptr noundef @.str, i32 noundef 6915, ptr noundef @.str.139)
  %241 = load ptr, ptr %5, align 8, !tbaa !5
  %242 = getelementptr inbounds %struct.mbedtls_ssl_context, ptr %241, i32 0, i32 5
  %243 = load i32, ptr %242, align 8, !tbaa !41
  %244 = icmp sge i32 %243, 1
  br i1 %244, label %245, label %252

245:                                              ; preds = %239
  %246 = load ptr, ptr %5, align 8, !tbaa !5
  %247 = call i32 @mbedtls_ssl_send_alert_message(ptr noundef %246, i8 noundef zeroext 1, i8 noundef zeroext 100)
  store i32 %247, ptr %8, align 4, !tbaa !15
  %248 = icmp ne i32 %247, 0
  br i1 %248, label %249, label %251

249:                                              ; preds = %245
  %250 = load i32, ptr %8, align 4, !tbaa !15
  store i32 %250, ptr %4, align 4
  store i32 1, ptr %10, align 4
  br label %409

251:                                              ; preds = %245
  br label %254

252:                                              ; preds = %239
  %253 = load ptr, ptr %5, align 8, !tbaa !5
  call void (ptr, i32, ptr, i32, ptr, ...) @mbedtls_debug_print_msg(ptr noundef %253, i32 noundef 1, ptr noundef @.str, i32 noundef 6943, ptr noundef @.str.4)
  store i32 -27648, ptr %4, align 4
  store i32 1, ptr %10, align 4
  br label %409

254:                                              ; preds = %251
  br label %288

255:                                              ; preds = %230, %225
  %256 = load ptr, ptr %5, align 8, !tbaa !5
  %257 = getelementptr inbounds %struct.mbedtls_ssl_context, ptr %256, i32 0, i32 0
  %258 = load ptr, ptr %257, align 8, !tbaa !11
  %259 = getelementptr inbounds %struct.mbedtls_ssl_config, ptr %258, i32 0, i32 46
  %260 = load i32, ptr %259, align 4
  %261 = lshr i32 %260, 1
  %262 = and i32 %261, 1
  %263 = icmp eq i32 %262, 1
  br i1 %263, label %264, label %275

264:                                              ; preds = %255
  %265 = load ptr, ptr %5, align 8, !tbaa !5
  %266 = getelementptr inbounds %struct.mbedtls_ssl_context, ptr %265, i32 0, i32 0
  %267 = load ptr, ptr %266, align 8, !tbaa !11
  %268 = getelementptr inbounds %struct.mbedtls_ssl_config, ptr %267, i32 0, i32 46
  %269 = load i32, ptr %268, align 4
  %270 = and i32 %269, 1
  %271 = icmp eq i32 %270, 0
  br i1 %271, label %272, label %275

272:                                              ; preds = %264
  %273 = load ptr, ptr %5, align 8, !tbaa !5
  %274 = getelementptr inbounds %struct.mbedtls_ssl_context, ptr %273, i32 0, i32 2
  store i32 3, ptr %274, align 4, !tbaa !42
  br label %275

275:                                              ; preds = %272, %264, %255
  %276 = load ptr, ptr %5, align 8, !tbaa !5
  %277 = call i32 @ssl_start_renegotiation(ptr noundef %276)
  store i32 %277, ptr %8, align 4, !tbaa !15
  %278 = load i32, ptr %8, align 4, !tbaa !15
  %279 = icmp ne i32 %278, -27392
  br i1 %279, label %280, label %287

280:                                              ; preds = %275
  %281 = load i32, ptr %8, align 4, !tbaa !15
  %282 = icmp ne i32 %281, 0
  br i1 %282, label %283, label %287

283:                                              ; preds = %280
  %284 = load ptr, ptr %5, align 8, !tbaa !5
  %285 = load i32, ptr %8, align 4, !tbaa !15
  call void @mbedtls_debug_print_ret(ptr noundef %284, i32 noundef 1, ptr noundef @.str, i32 noundef 6965, ptr noundef @.str.132, i32 noundef %285)
  %286 = load i32, ptr %8, align 4, !tbaa !15
  store i32 %286, ptr %4, align 4
  store i32 1, ptr %10, align 4
  br label %409

287:                                              ; preds = %280, %275
  br label %288

288:                                              ; preds = %287, %254
  store i32 -26880, ptr %4, align 4
  store i32 1, ptr %10, align 4
  br label %409

289:                                              ; preds = %147
  %290 = load ptr, ptr %5, align 8, !tbaa !5
  %291 = getelementptr inbounds %struct.mbedtls_ssl_context, ptr %290, i32 0, i32 2
  %292 = load i32, ptr %291, align 4, !tbaa !42
  %293 = icmp eq i32 %292, 3
  br i1 %293, label %294, label %316

294:                                              ; preds = %289
  %295 = load ptr, ptr %5, align 8, !tbaa !5
  %296 = getelementptr inbounds %struct.mbedtls_ssl_context, ptr %295, i32 0, i32 0
  %297 = load ptr, ptr %296, align 8, !tbaa !11
  %298 = getelementptr inbounds %struct.mbedtls_ssl_config, ptr %297, i32 0, i32 38
  %299 = load i32, ptr %298, align 4, !tbaa !43
  %300 = icmp sge i32 %299, 0
  br i1 %300, label %301, label %315

301:                                              ; preds = %294
  %302 = load ptr, ptr %5, align 8, !tbaa !5
  %303 = getelementptr inbounds %struct.mbedtls_ssl_context, ptr %302, i32 0, i32 3
  %304 = load i32, ptr %303, align 8, !tbaa !44
  %305 = add nsw i32 %304, 1
  store i32 %305, ptr %303, align 8, !tbaa !44
  %306 = load ptr, ptr %5, align 8, !tbaa !5
  %307 = getelementptr inbounds %struct.mbedtls_ssl_context, ptr %306, i32 0, i32 0
  %308 = load ptr, ptr %307, align 8, !tbaa !11
  %309 = getelementptr inbounds %struct.mbedtls_ssl_config, ptr %308, i32 0, i32 38
  %310 = load i32, ptr %309, align 4, !tbaa !43
  %311 = icmp sgt i32 %305, %310
  br i1 %311, label %312, label %314

312:                                              ; preds = %301
  %313 = load ptr, ptr %5, align 8, !tbaa !5
  call void (ptr, i32, ptr, i32, ptr, ...) @mbedtls_debug_print_msg(ptr noundef %313, i32 noundef 1, ptr noundef @.str, i32 noundef 6979, ptr noundef @.str.140)
  store i32 -30464, ptr %4, align 4
  store i32 1, ptr %10, align 4
  br label %409

314:                                              ; preds = %301
  br label %315

315:                                              ; preds = %314, %294
  br label %316

316:                                              ; preds = %315, %289
  br label %317

317:                                              ; preds = %316
  %318 = load ptr, ptr %5, align 8, !tbaa !5
  %319 = getelementptr inbounds %struct.mbedtls_ssl_context, ptr %318, i32 0, i32 30
  %320 = load i32, ptr %319, align 8, !tbaa !36
  %321 = icmp eq i32 %320, 21
  br i1 %321, label %322, label %324

322:                                              ; preds = %317
  %323 = load ptr, ptr %5, align 8, !tbaa !5
  call void (ptr, i32, ptr, i32, ptr, ...) @mbedtls_debug_print_msg(ptr noundef %323, i32 noundef 2, ptr noundef @.str, i32 noundef 6989, ptr noundef @.str.141)
  store i32 -26880, ptr %4, align 4
  store i32 1, ptr %10, align 4
  br label %409

324:                                              ; preds = %317
  %325 = load ptr, ptr %5, align 8, !tbaa !5
  %326 = getelementptr inbounds %struct.mbedtls_ssl_context, ptr %325, i32 0, i32 30
  %327 = load i32, ptr %326, align 8, !tbaa !36
  %328 = icmp ne i32 %327, 23
  br i1 %328, label %329, label %331

329:                                              ; preds = %324
  %330 = load ptr, ptr %5, align 8, !tbaa !5
  call void (ptr, i32, ptr, i32, ptr, ...) @mbedtls_debug_print_msg(ptr noundef %330, i32 noundef 1, ptr noundef @.str, i32 noundef 6995, ptr noundef @.str.142)
  store i32 -30464, ptr %4, align 4
  store i32 1, ptr %10, align 4
  br label %409

331:                                              ; preds = %324
  %332 = load ptr, ptr %5, align 8, !tbaa !5
  %333 = getelementptr inbounds %struct.mbedtls_ssl_context, ptr %332, i32 0, i32 28
  %334 = load ptr, ptr %333, align 8, !tbaa !37
  %335 = load ptr, ptr %5, align 8, !tbaa !5
  %336 = getelementptr inbounds %struct.mbedtls_ssl_context, ptr %335, i32 0, i32 29
  store ptr %334, ptr %336, align 8, !tbaa !30
  %337 = load ptr, ptr %5, align 8, !tbaa !5
  %338 = getelementptr inbounds %struct.mbedtls_ssl_context, ptr %337, i32 0, i32 1
  %339 = load i32, ptr %338, align 8, !tbaa !29
  %340 = icmp eq i32 %339, 16
  br i1 %340, label %341, label %343

341:                                              ; preds = %331
  %342 = load ptr, ptr %5, align 8, !tbaa !5
  call void @ssl_set_timer(ptr noundef %342, i32 noundef 0)
  br label %343

343:                                              ; preds = %341, %331
  %344 = load ptr, ptr %5, align 8, !tbaa !5
  %345 = getelementptr inbounds %struct.mbedtls_ssl_context, ptr %344, i32 0, i32 0
  %346 = load ptr, ptr %345, align 8, !tbaa !11
  %347 = getelementptr inbounds %struct.mbedtls_ssl_config, ptr %346, i32 0, i32 46
  %348 = load i32, ptr %347, align 4
  %349 = and i32 %348, 1
  %350 = icmp eq i32 %349, 1
  br i1 %350, label %351, label %365

351:                                              ; preds = %343
  %352 = load ptr, ptr %5, align 8, !tbaa !5
  %353 = getelementptr inbounds %struct.mbedtls_ssl_context, ptr %352, i32 0, i32 2
  %354 = load i32, ptr %353, align 4, !tbaa !42
  %355 = icmp eq i32 %354, 3
  br i1 %355, label %356, label %365

356:                                              ; preds = %351
  %357 = load ptr, ptr %5, align 8, !tbaa !5
  %358 = call i32 @ssl_resend_hello_request(ptr noundef %357)
  store i32 %358, ptr %8, align 4, !tbaa !15
  %359 = icmp ne i32 %358, 0
  br i1 %359, label %360, label %364

360:                                              ; preds = %356
  %361 = load ptr, ptr %5, align 8, !tbaa !5
  %362 = load i32, ptr %8, align 4, !tbaa !15
  call void @mbedtls_debug_print_ret(ptr noundef %361, i32 noundef 1, ptr noundef @.str, i32 noundef 7016, ptr noundef @.str.38, i32 noundef %362)
  %363 = load i32, ptr %8, align 4, !tbaa !15
  store i32 %363, ptr %4, align 4
  store i32 1, ptr %10, align 4
  br label %409

364:                                              ; preds = %356
  br label %365

365:                                              ; preds = %364, %351, %343
  br label %366

366:                                              ; preds = %365, %86
  %367 = load i64, ptr %7, align 8, !tbaa !9
  %368 = load ptr, ptr %5, align 8, !tbaa !5
  %369 = getelementptr inbounds %struct.mbedtls_ssl_context, ptr %368, i32 0, i32 31
  %370 = load i64, ptr %369, align 8, !tbaa !35
  %371 = icmp ult i64 %367, %370
  br i1 %371, label %372, label %374

372:                                              ; preds = %366
  %373 = load i64, ptr %7, align 8, !tbaa !9
  br label %378

374:                                              ; preds = %366
  %375 = load ptr, ptr %5, align 8, !tbaa !5
  %376 = getelementptr inbounds %struct.mbedtls_ssl_context, ptr %375, i32 0, i32 31
  %377 = load i64, ptr %376, align 8, !tbaa !35
  br label %378

378:                                              ; preds = %374, %372
  %379 = phi i64 [ %373, %372 ], [ %377, %374 ]
  store i64 %379, ptr %9, align 8, !tbaa !9
  %380 = load ptr, ptr %6, align 8, !tbaa !5
  %381 = load ptr, ptr %5, align 8, !tbaa !5
  %382 = getelementptr inbounds %struct.mbedtls_ssl_context, ptr %381, i32 0, i32 29
  %383 = load ptr, ptr %382, align 8, !tbaa !30
  %384 = load i64, ptr %9, align 8, !tbaa !9
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %380, ptr align 1 %383, i64 %384, i1 false)
  %385 = load i64, ptr %9, align 8, !tbaa !9
  %386 = load ptr, ptr %5, align 8, !tbaa !5
  %387 = getelementptr inbounds %struct.mbedtls_ssl_context, ptr %386, i32 0, i32 31
  %388 = load i64, ptr %387, align 8, !tbaa !35
  %389 = sub i64 %388, %385
  store i64 %389, ptr %387, align 8, !tbaa !35
  %390 = load ptr, ptr %5, align 8, !tbaa !5
  %391 = getelementptr inbounds %struct.mbedtls_ssl_context, ptr %390, i32 0, i32 31
  %392 = load i64, ptr %391, align 8, !tbaa !35
  %393 = icmp eq i64 %392, 0
  br i1 %393, label %394, label %399

394:                                              ; preds = %378
  %395 = load ptr, ptr %5, align 8, !tbaa !5
  %396 = getelementptr inbounds %struct.mbedtls_ssl_context, ptr %395, i32 0, i32 29
  store ptr null, ptr %396, align 8, !tbaa !30
  %397 = load ptr, ptr %5, align 8, !tbaa !5
  %398 = getelementptr inbounds %struct.mbedtls_ssl_context, ptr %397, i32 0, i32 39
  store i32 0, ptr %398, align 4, !tbaa !45
  br label %405

399:                                              ; preds = %378
  %400 = load i64, ptr %9, align 8, !tbaa !9
  %401 = load ptr, ptr %5, align 8, !tbaa !5
  %402 = getelementptr inbounds %struct.mbedtls_ssl_context, ptr %401, i32 0, i32 29
  %403 = load ptr, ptr %402, align 8, !tbaa !30
  %404 = getelementptr inbounds i8, ptr %403, i64 %400
  store ptr %404, ptr %402, align 8, !tbaa !30
  br label %405

405:                                              ; preds = %399, %394
  %406 = load ptr, ptr %5, align 8, !tbaa !5
  call void (ptr, i32, ptr, i32, ptr, ...) @mbedtls_debug_print_msg(ptr noundef %406, i32 noundef 2, ptr noundef @.str, i32 noundef 7042, ptr noundef @.str.143)
  %407 = load i64, ptr %9, align 8, !tbaa !9
  %408 = trunc i64 %407 to i32
  store i32 %408, ptr %4, align 4
  store i32 1, ptr %10, align 4
  br label %409

409:                                              ; preds = %405, %360, %329, %322, %312, %288, %283, %252, %249, %215, %214, %187, %186, %142, %141, %120, %119, %81, %64, %52, %33, %18
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #5
  %410 = load i32, ptr %4, align 4
  ret i32 %410
}

; Function Attrs: nounwind uwtable
declare hidden i32 @ssl_check_ctr_renegotiate(ptr noundef) #3

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"long", !7, i64 0}
!11 = !{!12, !6, i64 0}
!12 = !{!"mbedtls_ssl_context", !6, i64 0, !13, i64 8, !13, i64 12, !13, i64 16, !13, i64 20, !13, i64 24, !13, i64 28, !6, i64 32, !6, i64 40, !6, i64 48, !6, i64 56, !6, i64 64, !6, i64 72, !6, i64 80, !6, i64 88, !6, i64 96, !6, i64 104, !6, i64 112, !6, i64 120, !6, i64 128, !6, i64 136, !6, i64 144, !6, i64 152, !6, i64 160, !6, i64 168, !6, i64 176, !6, i64 184, !6, i64 192, !6, i64 200, !6, i64 208, !13, i64 216, !10, i64 224, !10, i64 232, !14, i64 240, !10, i64 248, !10, i64 256, !10, i64 264, !10, i64 272, !13, i64 280, !13, i64 284, !6, i64 288, !6, i64 296, !6, i64 304, !6, i64 312, !6, i64 320, !6, i64 328, !13, i64 336, !10, i64 344, !10, i64 352, !7, i64 360, !13, i64 364, !6, i64 368, !6, i64 376, !6, i64 384, !10, i64 392, !13, i64 400, !10, i64 408, !7, i64 416, !7, i64 428}
!13 = !{!"int", !7, i64 0}
!14 = !{!"short", !7, i64 0}
!15 = !{!13, !13, i64 0}
!16 = !{!12, !6, i64 96}
!17 = !{!18, !7, i64 972}
!18 = !{!"mbedtls_ssl_handshake_params", !19, i64 0, !20, i64 8, !22, i64 256, !6, i64 872, !6, i64 880, !10, i64 888, !6, i64 896, !13, i64 904, !6, i64 912, !6, i64 920, !6, i64 928, !13, i64 936, !13, i64 940, !6, i64 944, !7, i64 952, !6, i64 960, !13, i64 968, !7, i64 972, !6, i64 976, !6, i64 984, !13, i64 992, !6, i64 1000, !7, i64 1008, !25, i64 1016, !26, i64 1104, !27, i64 1196, !28, i64 1304, !6, i64 1520, !6, i64 1528, !6, i64 1536, !6, i64 1544, !10, i64 1552, !7, i64 1560, !7, i64 1624, !13, i64 2684, !13, i64 2688, !13, i64 2692, !13, i64 2696, !13, i64 2700, !13, i64 2704}
!19 = !{!"mbedtls_ssl_sig_hash_set_t", !13, i64 0, !13, i64 4}
!20 = !{!"", !10, i64 0, !21, i64 8, !21, i64 32, !21, i64 56, !21, i64 80, !21, i64 104, !21, i64 128, !21, i64 152, !21, i64 176, !21, i64 200, !21, i64 224}
!21 = !{!"", !13, i64 0, !10, i64 8, !6, i64 16}
!22 = !{!"", !23, i64 0, !21, i64 248, !24, i64 272, !24, i64 344, !21, i64 416, !13, i64 440, !24, i64 448, !24, i64 520, !21, i64 592}
!23 = !{!"", !13, i64 0, !21, i64 8, !21, i64 32, !21, i64 56, !24, i64 80, !21, i64 152, !10, i64 176, !10, i64 184, !13, i64 192, !6, i64 200, !6, i64 208, !6, i64 216, !6, i64 224, !6, i64 232, !10, i64 240}
!24 = !{!"", !21, i64 0, !21, i64 24, !21, i64 48}
!25 = !{!"", !7, i64 0, !7, i64 8, !7, i64 24}
!26 = !{!"", !7, i64 0, !7, i64 8, !7, i64 28}
!27 = !{!"", !7, i64 0, !7, i64 8, !7, i64 40, !13, i64 104}
!28 = !{!"", !7, i64 0, !7, i64 16, !7, i64 80, !13, i64 208}
!29 = !{!12, !13, i64 8}
!30 = !{!12, !6, i64 208}
!31 = !{!12, !6, i64 152}
!32 = !{!12, !6, i64 136}
!33 = !{!34, !13, i64 336}
!34 = !{!"mbedtls_ssl_config", !7, i64 0, !6, i64 32, !6, i64 40, !6, i64 48, !6, i64 56, !6, i64 64, !6, i64 72, !6, i64 80, !6, i64 88, !6, i64 96, !6, i64 104, !6, i64 112, !6, i64 120, !6, i64 128, !6, i64 136, !6, i64 144, !6, i64 152, !6, i64 160, !6, i64 168, !6, i64 176, !6, i64 184, !6, i64 192, !6, i64 200, !6, i64 208, !6, i64 216, !6, i64 224, !6, i64 232, !6, i64 240, !21, i64 248, !21, i64 272, !6, i64 296, !10, i64 304, !6, i64 312, !10, i64 320, !6, i64 328, !13, i64 336, !13, i64 340, !13, i64 344, !13, i64 348, !7, i64 352, !13, i64 360, !13, i64 364, !7, i64 368, !7, i64 369, !7, i64 370, !7, i64 371, !13, i64 372, !13, i64 372, !13, i64 372, !13, i64 372, !13, i64 372, !13, i64 372, !13, i64 373, !13, i64 373, !13, i64 373, !13, i64 373, !13, i64 373, !13, i64 373, !13, i64 374, !13, i64 374, !13, i64 374}
!35 = !{!12, !10, i64 224}
!36 = !{!12, !13, i64 216}
!37 = !{!12, !6, i64 200}
!38 = !{!7, !7, i64 0}
!39 = !{!12, !10, i64 272}
!40 = !{!12, !13, i64 400}
!41 = !{!12, !13, i64 24}
!42 = !{!12, !13, i64 12}
!43 = !{!34, !13, i64 348}
!44 = !{!12, !13, i64 16}
!45 = !{!12, !13, i64 284}


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

@.str = external hidden unnamed_addr constant [97 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [20 x i8], align 1
@.str.38 = external hidden unnamed_addr constant [25 x i8], align 1
@.str.90 = external hidden unnamed_addr constant [24 x i8], align 1
@.str.132 = external hidden unnamed_addr constant [24 x i8], align 1
@.str.133 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.134 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.135 = external hidden unnamed_addr constant [26 x i8], align 1
@.str.136 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.137 = external hidden unnamed_addr constant [38 x i8], align 1
@.str.138 = external hidden unnamed_addr constant [37 x i8], align 1
@.str.139 = external hidden unnamed_addr constant [38 x i8], align 1
@.str.140 = external hidden unnamed_addr constant [51 x i8], align 1
@.str.141 = external hidden unnamed_addr constant [37 x i8], align 1
@.str.142 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.143 = external hidden unnamed_addr constant [8 x i8], align 1

declare void @mbedtls_debug_print_msg(ptr noundef, i32 noundef, ptr noundef, i32 noundef, ptr noundef, ...) local_unnamed_addr #0

declare void @mbedtls_debug_print_ret(ptr noundef, i32 noundef, ptr noundef, i32 noundef, ptr noundef, i32 noundef) local_unnamed_addr #0

; Function Attrs: mustprogress nocallback nofree nounwind willreturn memory(argmem: readwrite)
declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #1

; Function Attrs: nounwind uwtable
declare hidden void @ssl_set_timer(ptr noundef, i32 noundef) local_unnamed_addr #2

; Function Attrs: nounwind uwtable
declare dso_local i32 @mbedtls_ssl_resend(ptr noundef) local_unnamed_addr #2

; Function Attrs: nounwind uwtable
declare hidden i32 @ssl_resend_hello_request(ptr noundef) local_unnamed_addr #2

; Function Attrs: nounwind uwtable
declare dso_local i32 @mbedtls_ssl_flush_output(ptr noundef) local_unnamed_addr #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden i64 @mbedtls_ssl_hs_hdr_len(ptr noundef) local_unnamed_addr #3

; Function Attrs: nounwind uwtable
declare dso_local i32 @mbedtls_ssl_read_record(ptr noundef) local_unnamed_addr #2

; Function Attrs: nounwind uwtable
declare dso_local i32 @mbedtls_ssl_send_alert_message(ptr noundef, i8 noundef zeroext, i8 noundef zeroext) local_unnamed_addr #2

; Function Attrs: nounwind uwtable
declare dso_local i32 @mbedtls_ssl_handshake(ptr noundef) local_unnamed_addr #2

; Function Attrs: nounwind uwtable
declare hidden i32 @ssl_start_renegotiation(ptr noundef) local_unnamed_addr #2

; Function Attrs: nounwind uwtable
define dso_local i32 @mbedtls_ssl_read(ptr noundef %0, ptr nocapture noundef writeonly %1, i64 noundef %2) local_unnamed_addr #2 {
  %4 = icmp eq ptr %0, null
  br i1 %4, label %169, label %5

5:                                                ; preds = %3
  %6 = load ptr, ptr %0, align 8, !tbaa !5
  %7 = icmp eq ptr %6, null
  br i1 %7, label %169, label %8

8:                                                ; preds = %5
  tail call void (ptr, i32, ptr, i32, ptr, ...) @mbedtls_debug_print_msg(ptr noundef nonnull %0, i32 noundef 2, ptr noundef nonnull @.str, i32 noundef 6743, ptr noundef nonnull @.str.134) #5
  %9 = load ptr, ptr %0, align 8, !tbaa !5
  %10 = getelementptr inbounds i8, ptr %9, i64 372
  %11 = load i32, ptr %10, align 4
  %12 = and i32 %11, 2
  %.not = icmp eq i32 %12, 0
  br i1 %.not, label %24, label %13

13:                                               ; preds = %8
  %14 = tail call i32 @mbedtls_ssl_flush_output(ptr noundef nonnull %0)
  %.not125 = icmp eq i32 %14, 0
  br i1 %.not125, label %15, label %169

15:                                               ; preds = %13
  %16 = getelementptr inbounds i8, ptr %0, i64 96
  %17 = load ptr, ptr %16, align 8, !tbaa !13
  %.not126 = icmp eq ptr %17, null
  br i1 %.not126, label %24, label %18

18:                                               ; preds = %15
  %19 = getelementptr inbounds i8, ptr %17, i64 972
  %20 = load i8, ptr %19, align 4, !tbaa !14
  %21 = icmp eq i8 %20, 1
  br i1 %21, label %22, label %24

22:                                               ; preds = %18
  %23 = tail call i32 @mbedtls_ssl_resend(ptr noundef nonnull %0)
  %.not127 = icmp eq i32 %23, 0
  br i1 %.not127, label %24, label %169

24:                                               ; preds = %15, %18, %22, %8
  %25 = tail call i32 @ssl_check_ctr_renegotiate(ptr noundef nonnull %0)
  switch i32 %25, label %26 [
    i32 -27392, label %27
    i32 0, label %27
  ]

26:                                               ; preds = %24
  tail call void @mbedtls_debug_print_ret(ptr noundef nonnull %0, i32 noundef 1, ptr noundef nonnull @.str, i32 noundef 6777, ptr noundef nonnull @.str.135, i32 noundef %25) #5
  br label %169

27:                                               ; preds = %24, %24
  %28 = getelementptr inbounds i8, ptr %0, i64 8
  %29 = load i32, ptr %28, align 8, !tbaa !26
  %.not128 = icmp eq i32 %29, 16
  br i1 %.not128, label %33, label %30

30:                                               ; preds = %27
  %31 = tail call i32 @mbedtls_ssl_handshake(ptr noundef nonnull %0)
  switch i32 %31, label %32 [
    i32 -27392, label %33
    i32 0, label %33
  ]

32:                                               ; preds = %30
  tail call void @mbedtls_debug_print_ret(ptr noundef nonnull %0, i32 noundef 1, ptr noundef nonnull @.str, i32 noundef 6788, ptr noundef nonnull @.str.133, i32 noundef %31) #5
  br label %169

33:                                               ; preds = %30, %30, %27
  %34 = getelementptr inbounds i8, ptr %0, i64 208
  %35 = load ptr, ptr %34, align 8, !tbaa !27
  %36 = icmp eq ptr %35, null
  br i1 %36, label %37, label %155

37:                                               ; preds = %33
  %38 = getelementptr inbounds i8, ptr %0, i64 152
  %39 = load ptr, ptr %38, align 8, !tbaa !28
  %.not129 = icmp eq ptr %39, null
  br i1 %.not129, label %49, label %40

40:                                               ; preds = %37
  %41 = getelementptr inbounds i8, ptr %0, i64 136
  %42 = load ptr, ptr %41, align 8, !tbaa !29
  %43 = tail call i32 %39(ptr noundef %42) #5
  %44 = icmp eq i32 %43, -1
  br i1 %44, label %45, label %49

45:                                               ; preds = %40
  %46 = load ptr, ptr %0, align 8, !tbaa !5
  %47 = getelementptr inbounds i8, ptr %46, i64 336
  %48 = load i32, ptr %47, align 8, !tbaa !30
  tail call void @ssl_set_timer(ptr noundef nonnull %0, i32 noundef %48)
  br label %49

49:                                               ; preds = %45, %40, %37
  %50 = tail call i32 @mbedtls_ssl_read_record(ptr noundef nonnull %0)
  switch i32 %50, label %51 [
    i32 0, label %52
    i32 -29312, label %169
  ]

51:                                               ; preds = %49
  tail call void @mbedtls_debug_print_ret(ptr noundef nonnull %0, i32 noundef 1, ptr noundef nonnull @.str, i32 noundef 6842, ptr noundef nonnull @.str.90, i32 noundef %50) #5
  br label %169

52:                                               ; preds = %49
  %53 = getelementptr inbounds i8, ptr %0, i64 224
  %54 = load i64, ptr %53, align 8, !tbaa !32
  %55 = icmp eq i64 %54, 0
  br i1 %55, label %56, label %63

56:                                               ; preds = %52
  %57 = getelementptr inbounds i8, ptr %0, i64 216
  %58 = load i32, ptr %57, align 8, !tbaa !33
  %59 = icmp eq i32 %58, 23
  br i1 %59, label %60, label %63

60:                                               ; preds = %56
  %61 = tail call i32 @mbedtls_ssl_read_record(ptr noundef nonnull %0)
  switch i32 %61, label %62 [
    i32 0, label %63
    i32 -29312, label %169
  ]

62:                                               ; preds = %60
  tail call void @mbedtls_debug_print_ret(ptr noundef nonnull %0, i32 noundef 1, ptr noundef nonnull @.str, i32 noundef 6857, ptr noundef nonnull @.str.90, i32 noundef %61) #5
  br label %169

63:                                               ; preds = %60, %56, %52
  %64 = getelementptr inbounds i8, ptr %0, i64 216
  %65 = load i32, ptr %64, align 8, !tbaa !33
  %66 = icmp eq i32 %65, 22
  br i1 %66, label %67, label %121

67:                                               ; preds = %63
  tail call void (ptr, i32, ptr, i32, ptr, ...) @mbedtls_debug_print_msg(ptr noundef nonnull %0, i32 noundef 1, ptr noundef nonnull @.str, i32 noundef 6865, ptr noundef nonnull @.str.136) #5
  %68 = load ptr, ptr %0, align 8, !tbaa !5
  %69 = getelementptr inbounds i8, ptr %68, i64 372
  %70 = load i32, ptr %69, align 4
  %71 = and i32 %70, 1
  %72 = icmp eq i32 %71, 0
  br i1 %72, label %73, label %.thread

73:                                               ; preds = %67
  %74 = getelementptr inbounds i8, ptr %0, i64 200
  %75 = load ptr, ptr %74, align 8, !tbaa !34
  %76 = load i8, ptr %75, align 1, !tbaa !35
  %.not136 = icmp eq i8 %76, 0
  br i1 %.not136, label %77, label %81

77:                                               ; preds = %73
  %78 = getelementptr inbounds i8, ptr %0, i64 272
  %79 = load i64, ptr %78, align 8, !tbaa !36
  %80 = tail call i64 @mbedtls_ssl_hs_hdr_len(ptr noundef nonnull %0)
  %.not137 = icmp eq i64 %79, %80
  br i1 %.not137, label %86, label %81

81:                                               ; preds = %77, %73
  tail call void (ptr, i32, ptr, i32, ptr, ...) @mbedtls_debug_print_msg(ptr noundef nonnull %0, i32 noundef 1, ptr noundef nonnull @.str, i32 noundef 6878, ptr noundef nonnull @.str.137) #5
  %82 = load ptr, ptr %0, align 8, !tbaa !5
  %83 = getelementptr inbounds i8, ptr %82, i64 372
  %84 = load i32, ptr %83, align 4
  %85 = and i32 %84, 2
  %.not143 = icmp eq i32 %85, 0
  %. = select i1 %.not143, i32 -30464, i32 -26880
  br label %169

86:                                               ; preds = %77
  %.pre = load ptr, ptr %0, align 8, !tbaa !5
  %.phi.trans.insert = getelementptr inbounds i8, ptr %.pre, i64 372
  %.pre149 = load i32, ptr %.phi.trans.insert, align 4
  %.pre150 = and i32 %.pre149, 1
  %87 = icmp eq i32 %.pre150, 0
  br i1 %87, label %97, label %.thread

.thread:                                          ; preds = %67, %86
  %88 = phi i32 [ %.pre149, %86 ], [ %70, %67 ]
  %89 = getelementptr inbounds i8, ptr %0, i64 200
  %90 = load ptr, ptr %89, align 8, !tbaa !34
  %91 = load i8, ptr %90, align 1, !tbaa !35
  %.not139 = icmp eq i8 %91, 1
  br i1 %.not139, label %97, label %92

92:                                               ; preds = %.thread
  tail call void (ptr, i32, ptr, i32, ptr, ...) @mbedtls_debug_print_msg(ptr noundef nonnull %0, i32 noundef 1, ptr noundef nonnull @.str, i32 noundef 6893, ptr noundef nonnull @.str.138) #5
  %93 = load ptr, ptr %0, align 8, !tbaa !5
  %94 = getelementptr inbounds i8, ptr %93, i64 372
  %95 = load i32, ptr %94, align 4
  %96 = and i32 %95, 2
  %.not142 = icmp eq i32 %96, 0
  %.144 = select i1 %.not142, i32 -30464, i32 -26880
  br label %169

97:                                               ; preds = %.thread, %86
  %98 = phi i32 [ %88, %.thread ], [ %.pre149, %86 ]
  %99 = and i32 %98, 16384
  %100 = icmp eq i32 %99, 0
  br i1 %100, label %106, label %101

101:                                              ; preds = %97
  %102 = getelementptr inbounds i8, ptr %0, i64 400
  %103 = load i32, ptr %102, align 8, !tbaa !37
  %104 = and i32 %98, 48
  %105 = or i32 %103, %104
  %or.cond = icmp eq i32 %105, 0
  br i1 %or.cond, label %106, label %113

106:                                              ; preds = %101, %97
  tail call void (ptr, i32, ptr, i32, ptr, ...) @mbedtls_debug_print_msg(ptr noundef nonnull %0, i32 noundef 3, ptr noundef nonnull @.str, i32 noundef 6915, ptr noundef nonnull @.str.139) #5
  %107 = getelementptr inbounds i8, ptr %0, i64 24
  %108 = load i32, ptr %107, align 8, !tbaa !38
  %109 = icmp sgt i32 %108, 0
  br i1 %109, label %110, label %112

110:                                              ; preds = %106
  %111 = tail call i32 @mbedtls_ssl_send_alert_message(ptr noundef nonnull %0, i8 noundef zeroext 1, i8 noundef zeroext 100)
  %.not141 = icmp eq i32 %111, 0
  br i1 %.not141, label %120, label %169

112:                                              ; preds = %106
  tail call void (ptr, i32, ptr, i32, ptr, ...) @mbedtls_debug_print_msg(ptr noundef nonnull %0, i32 noundef 1, ptr noundef nonnull @.str, i32 noundef 6943, ptr noundef nonnull @.str.4) #5
  br label %169

113:                                              ; preds = %101
  %114 = and i32 %98, 3
  %or.cond147 = icmp eq i32 %114, 2
  br i1 %or.cond147, label %115, label %117

115:                                              ; preds = %113
  %116 = getelementptr inbounds i8, ptr %0, i64 12
  store i32 3, ptr %116, align 4, !tbaa !39
  br label %117

117:                                              ; preds = %115, %113
  %118 = tail call i32 @ssl_start_renegotiation(ptr noundef nonnull %0)
  switch i32 %118, label %119 [
    i32 -27392, label %120
    i32 0, label %120
  ]

119:                                              ; preds = %117
  tail call void @mbedtls_debug_print_ret(ptr noundef nonnull %0, i32 noundef 1, ptr noundef nonnull @.str, i32 noundef 6965, ptr noundef nonnull @.str.132, i32 noundef %118) #5
  br label %169

120:                                              ; preds = %117, %117, %110
  br label %169

121:                                              ; preds = %63
  %122 = getelementptr inbounds i8, ptr %0, i64 12
  %123 = load i32, ptr %122, align 4, !tbaa !39
  %124 = icmp eq i32 %123, 3
  br i1 %124, label %125, label %135

125:                                              ; preds = %121
  %126 = load ptr, ptr %0, align 8, !tbaa !5
  %127 = getelementptr inbounds i8, ptr %126, i64 348
  %128 = load i32, ptr %127, align 4, !tbaa !40
  %129 = icmp sgt i32 %128, -1
  br i1 %129, label %130, label %135

130:                                              ; preds = %125
  %131 = getelementptr inbounds i8, ptr %0, i64 16
  %132 = load i32, ptr %131, align 8, !tbaa !41
  %133 = add nsw i32 %132, 1
  store i32 %133, ptr %131, align 8, !tbaa !41
  %.not132 = icmp slt i32 %132, %128
  br i1 %.not132, label %135, label %134

134:                                              ; preds = %130
  tail call void (ptr, i32, ptr, i32, ptr, ...) @mbedtls_debug_print_msg(ptr noundef nonnull %0, i32 noundef 1, ptr noundef nonnull @.str, i32 noundef 6979, ptr noundef nonnull @.str.140) #5
  br label %169

135:                                              ; preds = %121, %130, %125
  switch i32 %65, label %137 [
    i32 21, label %136
    i32 23, label %138
  ]

136:                                              ; preds = %135
  tail call void (ptr, i32, ptr, i32, ptr, ...) @mbedtls_debug_print_msg(ptr noundef nonnull %0, i32 noundef 2, ptr noundef nonnull @.str, i32 noundef 6989, ptr noundef nonnull @.str.141) #5
  br label %169

137:                                              ; preds = %135
  tail call void (ptr, i32, ptr, i32, ptr, ...) @mbedtls_debug_print_msg(ptr noundef nonnull %0, i32 noundef 1, ptr noundef nonnull @.str, i32 noundef 6995, ptr noundef nonnull @.str.142) #5
  br label %169

138:                                              ; preds = %135
  %139 = getelementptr inbounds i8, ptr %0, i64 200
  %140 = load ptr, ptr %139, align 8, !tbaa !34
  store ptr %140, ptr %34, align 8, !tbaa !27
  %141 = load i32, ptr %28, align 8, !tbaa !26
  %142 = icmp eq i32 %141, 16
  br i1 %142, label %143, label %144

143:                                              ; preds = %138
  tail call void @ssl_set_timer(ptr noundef nonnull %0, i32 noundef 0)
  br label %144

144:                                              ; preds = %143, %138
  %145 = load ptr, ptr %0, align 8, !tbaa !5
  %146 = getelementptr inbounds i8, ptr %145, i64 372
  %147 = load i32, ptr %146, align 4
  %148 = and i32 %147, 1
  %.not134 = icmp eq i32 %148, 0
  br i1 %.not134, label %155, label %149

149:                                              ; preds = %144
  %150 = load i32, ptr %122, align 4, !tbaa !39
  %151 = icmp eq i32 %150, 3
  br i1 %151, label %152, label %155

152:                                              ; preds = %149
  %153 = tail call i32 @ssl_resend_hello_request(ptr noundef nonnull %0)
  %.not135 = icmp eq i32 %153, 0
  br i1 %.not135, label %155, label %154

154:                                              ; preds = %152
  tail call void @mbedtls_debug_print_ret(ptr noundef nonnull %0, i32 noundef 1, ptr noundef nonnull @.str, i32 noundef 7016, ptr noundef nonnull @.str.38, i32 noundef %153) #5
  br label %169

155:                                              ; preds = %144, %149, %152, %33
  %156 = getelementptr inbounds i8, ptr %0, i64 224
  %157 = load i64, ptr %156, align 8, !tbaa !32
  %.148 = tail call i64 @llvm.umin.i64(i64 %157, i64 %2)
  %158 = load ptr, ptr %34, align 8, !tbaa !27
  tail call void @llvm.memcpy.p0.p0.i64(ptr align 1 %1, ptr align 1 %158, i64 %.148, i1 false)
  %159 = load i64, ptr %156, align 8, !tbaa !32
  %160 = sub i64 %159, %.148
  store i64 %160, ptr %156, align 8, !tbaa !32
  %161 = icmp eq i64 %159, %.148
  br i1 %161, label %162, label %164

162:                                              ; preds = %155
  %163 = getelementptr inbounds i8, ptr %0, i64 284
  store i32 0, ptr %163, align 4, !tbaa !42
  br label %167

164:                                              ; preds = %155
  %165 = load ptr, ptr %34, align 8, !tbaa !27
  %166 = getelementptr inbounds i8, ptr %165, i64 %.148
  br label %167

167:                                              ; preds = %164, %162
  %.sink = phi ptr [ null, %162 ], [ %166, %164 ]
  store ptr %.sink, ptr %34, align 8
  tail call void (ptr, i32, ptr, i32, ptr, ...) @mbedtls_debug_print_msg(ptr noundef nonnull %0, i32 noundef 2, ptr noundef nonnull @.str, i32 noundef 7042, ptr noundef nonnull @.str.143) #5
  %168 = trunc i64 %.148 to i32
  br label %169

169:                                              ; preds = %110, %92, %81, %60, %49, %22, %13, %3, %5, %167, %154, %137, %136, %134, %120, %119, %112, %62, %51, %32, %26
  %.0 = phi i32 [ %25, %26 ], [ %31, %32 ], [ %50, %51 ], [ %61, %62 ], [ -26880, %120 ], [ -27648, %112 ], [ %118, %119 ], [ -30464, %134 ], [ -26880, %136 ], [ -30464, %137 ], [ %153, %154 ], [ %168, %167 ], [ -28928, %5 ], [ -28928, %3 ], [ %14, %13 ], [ %23, %22 ], [ 0, %49 ], [ 0, %60 ], [ %., %81 ], [ %.144, %92 ], [ %111, %110 ]
  ret i32 %.0
}

; Function Attrs: nounwind uwtable
declare hidden i32 @ssl_check_ctr_renegotiate(ptr noundef) local_unnamed_addr #2

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i64 @llvm.umin.i64(i64, i64) #4

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !7, i64 0}
!6 = !{!"mbedtls_ssl_context", !7, i64 0, !10, i64 8, !10, i64 12, !10, i64 16, !10, i64 20, !10, i64 24, !10, i64 28, !7, i64 32, !7, i64 40, !7, i64 48, !7, i64 56, !7, i64 64, !7, i64 72, !7, i64 80, !7, i64 88, !7, i64 96, !7, i64 104, !7, i64 112, !7, i64 120, !7, i64 128, !7, i64 136, !7, i64 144, !7, i64 152, !7, i64 160, !7, i64 168, !7, i64 176, !7, i64 184, !7, i64 192, !7, i64 200, !7, i64 208, !10, i64 216, !11, i64 224, !11, i64 232, !12, i64 240, !11, i64 248, !11, i64 256, !11, i64 264, !11, i64 272, !10, i64 280, !10, i64 284, !7, i64 288, !7, i64 296, !7, i64 304, !7, i64 312, !7, i64 320, !7, i64 328, !10, i64 336, !11, i64 344, !11, i64 352, !8, i64 360, !10, i64 364, !7, i64 368, !7, i64 376, !7, i64 384, !11, i64 392, !10, i64 400, !11, i64 408, !8, i64 416, !8, i64 428}
!7 = !{!"any pointer", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C/C++ TBAA"}
!10 = !{!"int", !8, i64 0}
!11 = !{!"long", !8, i64 0}
!12 = !{!"short", !8, i64 0}
!13 = !{!6, !7, i64 96}
!14 = !{!15, !8, i64 972}
!15 = !{!"mbedtls_ssl_handshake_params", !16, i64 0, !17, i64 8, !19, i64 256, !7, i64 872, !7, i64 880, !11, i64 888, !7, i64 896, !10, i64 904, !7, i64 912, !7, i64 920, !7, i64 928, !10, i64 936, !10, i64 940, !7, i64 944, !8, i64 952, !7, i64 960, !10, i64 968, !8, i64 972, !7, i64 976, !7, i64 984, !10, i64 992, !7, i64 1000, !8, i64 1008, !22, i64 1016, !23, i64 1104, !24, i64 1196, !25, i64 1304, !7, i64 1520, !7, i64 1528, !7, i64 1536, !7, i64 1544, !11, i64 1552, !8, i64 1560, !8, i64 1624, !10, i64 2684, !10, i64 2688, !10, i64 2692, !10, i64 2696, !10, i64 2700, !10, i64 2704}
!16 = !{!"mbedtls_ssl_sig_hash_set_t", !10, i64 0, !10, i64 4}
!17 = !{!"", !11, i64 0, !18, i64 8, !18, i64 32, !18, i64 56, !18, i64 80, !18, i64 104, !18, i64 128, !18, i64 152, !18, i64 176, !18, i64 200, !18, i64 224}
!18 = !{!"", !10, i64 0, !11, i64 8, !7, i64 16}
!19 = !{!"", !20, i64 0, !18, i64 248, !21, i64 272, !21, i64 344, !18, i64 416, !10, i64 440, !21, i64 448, !21, i64 520, !18, i64 592}
!20 = !{!"", !10, i64 0, !18, i64 8, !18, i64 32, !18, i64 56, !21, i64 80, !18, i64 152, !11, i64 176, !11, i64 184, !10, i64 192, !7, i64 200, !7, i64 208, !7, i64 216, !7, i64 224, !7, i64 232, !11, i64 240}
!21 = !{!"", !18, i64 0, !18, i64 24, !18, i64 48}
!22 = !{!"", !8, i64 0, !8, i64 8, !8, i64 24}
!23 = !{!"", !8, i64 0, !8, i64 8, !8, i64 28}
!24 = !{!"", !8, i64 0, !8, i64 8, !8, i64 40, !10, i64 104}
!25 = !{!"", !8, i64 0, !8, i64 16, !8, i64 80, !10, i64 208}
!26 = !{!6, !10, i64 8}
!27 = !{!6, !7, i64 208}
!28 = !{!6, !7, i64 152}
!29 = !{!6, !7, i64 136}
!30 = !{!31, !10, i64 336}
!31 = !{!"mbedtls_ssl_config", !8, i64 0, !7, i64 32, !7, i64 40, !7, i64 48, !7, i64 56, !7, i64 64, !7, i64 72, !7, i64 80, !7, i64 88, !7, i64 96, !7, i64 104, !7, i64 112, !7, i64 120, !7, i64 128, !7, i64 136, !7, i64 144, !7, i64 152, !7, i64 160, !7, i64 168, !7, i64 176, !7, i64 184, !7, i64 192, !7, i64 200, !7, i64 208, !7, i64 216, !7, i64 224, !7, i64 232, !7, i64 240, !18, i64 248, !18, i64 272, !7, i64 296, !11, i64 304, !7, i64 312, !11, i64 320, !7, i64 328, !10, i64 336, !10, i64 340, !10, i64 344, !10, i64 348, !8, i64 352, !10, i64 360, !10, i64 364, !8, i64 368, !8, i64 369, !8, i64 370, !8, i64 371, !10, i64 372, !10, i64 372, !10, i64 372, !10, i64 372, !10, i64 372, !10, i64 372, !10, i64 373, !10, i64 373, !10, i64 373, !10, i64 373, !10, i64 373, !10, i64 373, !10, i64 374, !10, i64 374, !10, i64 374}
!32 = !{!6, !11, i64 224}
!33 = !{!6, !10, i64 216}
!34 = !{!6, !7, i64 200}
!35 = !{!8, !8, i64 0}
!36 = !{!6, !11, i64 272}
!37 = !{!6, !10, i64 400}
!38 = !{!6, !10, i64 24}
!39 = !{!6, !10, i64 12}
!40 = !{!31, !10, i64 348}
!41 = !{!6, !10, i64 16}
!42 = !{!6, !10, i64 284}


; Effective O3 passes: BDCEPass,EarlyCSEPass,GVNPass,GlobalOptPass,InferFunctionAttrsPass,InstCombinePass,JumpThreadingPass,MergedLoadStoreMotionPass,PostOrderFunctionAttrsPass,SROAPass,SimplifyCFGPass,TailCallElimPass