; LLVM IR from openanolis/openssl :: ssl/quic (quic_wire_pkt)

; 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.wpacket_st = type { ptr, ptr, i64, i64, i64, ptr, i8 }
%struct.quic_pkt_hdr_ptrs_st = type { ptr, ptr, i64, ptr }
%struct.quic_pkt_hdr_st = type { i32, i32, %struct.quic_conn_id_st, %struct.quic_conn_id_st, [4 x i8], ptr, i64, i64, ptr }
%struct.quic_conn_id_st = type { i8, [20 x i8] }

@.str.3 = external hidden unnamed_addr constant [77 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [41 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

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

; Function Attrs: nounwind uwtable
define dso_local i32 @ossl_quic_wire_encode_pkt_hdr(ptr noundef %0, i64 noundef %1, ptr noundef %2, ptr noundef %3) #1 {
  %5 = alloca i32, align 4
  %6 = alloca ptr, align 8
  %7 = alloca i64, align 8
  %8 = alloca ptr, align 8
  %9 = alloca ptr, align 8
  %10 = alloca i8, align 1
  %11 = alloca i64, align 8
  %12 = alloca i64, align 8
  %13 = alloca i64, align 8
  %14 = alloca ptr, align 8
  %15 = alloca i32, align 4
  %16 = alloca i32, align 4
  store ptr %0, ptr %6, align 8, !tbaa !5
  store i64 %1, ptr %7, align 8, !tbaa !9
  store ptr %2, ptr %8, align 8, !tbaa !5
  store ptr %3, ptr %9, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 1, ptr %10) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #4
  %17 = load ptr, ptr %6, align 8, !tbaa !5
  %18 = call ptr @WPACKET_get_curr(ptr noundef %17)
  store ptr %18, ptr %14, align 8, !tbaa !5
  %19 = load ptr, ptr %6, align 8, !tbaa !5
  %20 = call i32 @WPACKET_get_total_written(ptr noundef %19, ptr noundef %11)
  %21 = icmp ne i32 %20, 0
  br i1 %21, label %23, label %22

22:                                               ; preds = %4
  store i32 0, ptr %5, align 4
  store i32 1, ptr %15, align 4
  br label %454

23:                                               ; preds = %4
  %24 = load ptr, ptr %9, align 8, !tbaa !5
  %25 = icmp ne ptr %24, null
  br i1 %25, label %26, label %46

26:                                               ; preds = %23
  %27 = load ptr, ptr %6, align 8, !tbaa !5
  %28 = getelementptr inbounds %struct.wpacket_st, ptr %27, i32 0, i32 1
  %29 = load ptr, ptr %28, align 8, !tbaa !11
  %30 = icmp ne ptr %29, null
  %31 = zext i1 %30 to i32
  %32 = icmp ne i32 %31, 0
  %33 = zext i1 %32 to i32
  %34 = call i32 @ossl_assert_int(i32 noundef %33, ptr noundef @.str.4, ptr noundef @.str.3, i32 noundef 466)
  %35 = icmp ne i32 %34, 0
  br i1 %35, label %37, label %36

36:                                               ; preds = %26
  store i32 0, ptr %5, align 4
  store i32 1, ptr %15, align 4
  br label %454

37:                                               ; preds = %26
  %38 = load ptr, ptr %9, align 8, !tbaa !5
  %39 = getelementptr inbounds %struct.quic_pkt_hdr_ptrs_st, ptr %38, i32 0, i32 0
  store ptr null, ptr %39, align 8, !tbaa !14
  %40 = load ptr, ptr %9, align 8, !tbaa !5
  %41 = getelementptr inbounds %struct.quic_pkt_hdr_ptrs_st, ptr %40, i32 0, i32 1
  store ptr null, ptr %41, align 8, !tbaa !16
  %42 = load ptr, ptr %9, align 8, !tbaa !5
  %43 = getelementptr inbounds %struct.quic_pkt_hdr_ptrs_st, ptr %42, i32 0, i32 2
  store i64 0, ptr %43, align 8, !tbaa !17
  %44 = load ptr, ptr %9, align 8, !tbaa !5
  %45 = getelementptr inbounds %struct.quic_pkt_hdr_ptrs_st, ptr %44, i32 0, i32 3
  store ptr null, ptr %45, align 8, !tbaa !18
  br label %46

46:                                               ; preds = %37, %23
  %47 = load ptr, ptr %8, align 8, !tbaa !5
  %48 = load i32, ptr %47, align 8
  %49 = lshr i32 %48, 14
  %50 = and i32 %49, 1
  %51 = icmp ne i32 %50, 0
  br i1 %51, label %65, label %52

52:                                               ; preds = %46
  %53 = load ptr, ptr %8, align 8, !tbaa !5
  %54 = load i32, ptr %53, align 8
  %55 = and i32 %54, 255
  %56 = icmp eq i32 %55, 5
  br i1 %56, label %57, label %66

57:                                               ; preds = %52
  %58 = load ptr, ptr %8, align 8, !tbaa !5
  %59 = getelementptr inbounds %struct.quic_pkt_hdr_st, ptr %58, i32 0, i32 2
  %60 = getelementptr inbounds %struct.quic_conn_id_st, ptr %59, i32 0, i32 0
  %61 = load i8, ptr %60, align 8, !tbaa !19
  %62 = zext i8 %61 to i64
  %63 = load i64, ptr %7, align 8, !tbaa !9
  %64 = icmp ne i64 %62, %63
  br i1 %64, label %65, label %66

65:                                               ; preds = %57, %46
  store i32 0, ptr %5, align 4
  store i32 1, ptr %15, align 4
  br label %454

66:                                               ; preds = %57, %52
  %67 = load ptr, ptr %8, align 8, !tbaa !5
  %68 = load i32, ptr %67, align 8
  %69 = and i32 %68, 255
  %70 = icmp eq i32 %69, 5
  br i1 %70, label %71, label %153

71:                                               ; preds = %66
  %72 = load ptr, ptr %8, align 8, !tbaa !5
  %73 = getelementptr inbounds %struct.quic_pkt_hdr_st, ptr %72, i32 0, i32 2
  %74 = getelementptr inbounds %struct.quic_conn_id_st, ptr %73, i32 0, i32 0
  %75 = load i8, ptr %74, align 8, !tbaa !19
  %76 = zext i8 %75 to i64
  %77 = load i64, ptr %7, align 8, !tbaa !9
  %78 = icmp ne i64 %76, %77
  br i1 %78, label %94, label %79

79:                                               ; preds = %71
  %80 = load i64, ptr %7, align 8, !tbaa !9
  %81 = icmp ugt i64 %80, 20
  br i1 %81, label %94, label %82

82:                                               ; preds = %79
  %83 = load ptr, ptr %8, align 8, !tbaa !5
  %84 = load i32, ptr %83, align 8
  %85 = lshr i32 %84, 10
  %86 = and i32 %85, 15
  %87 = icmp slt i32 %86, 1
  br i1 %87, label %94, label %88

88:                                               ; preds = %82
  %89 = load ptr, ptr %8, align 8, !tbaa !5
  %90 = load i32, ptr %89, align 8
  %91 = lshr i32 %90, 10
  %92 = and i32 %91, 15
  %93 = icmp sgt i32 %92, 4
  br i1 %93, label %94, label %95

94:                                               ; preds = %88, %82, %79, %71
  store i32 0, ptr %5, align 4
  store i32 1, ptr %15, align 4
  br label %454

95:                                               ; preds = %88
  %96 = load ptr, ptr %8, align 8, !tbaa !5
  %97 = load i32, ptr %96, align 8
  %98 = lshr i32 %97, 8
  %99 = and i32 %98, 1
  %100 = shl i32 %99, 5
  %101 = load ptr, ptr %8, align 8, !tbaa !5
  %102 = load i32, ptr %101, align 8
  %103 = lshr i32 %102, 9
  %104 = and i32 %103, 1
  %105 = shl i32 %104, 2
  %106 = or i32 %100, %105
  %107 = load ptr, ptr %8, align 8, !tbaa !5
  %108 = load i32, ptr %107, align 8
  %109 = lshr i32 %108, 10
  %110 = and i32 %109, 15
  %111 = sub nsw i32 %110, 1
  %112 = or i32 %106, %111
  %113 = load ptr, ptr %8, align 8, !tbaa !5
  %114 = load i32, ptr %113, align 8
  %115 = lshr i32 %114, 20
  %116 = and i32 %115, 3
  %117 = shl i32 %116, 3
  %118 = or i32 %112, %117
  %119 = or i32 %118, 64
  %120 = trunc i32 %119 to i8
  store i8 %120, ptr %10, align 1, !tbaa !22
  %121 = load ptr, ptr %6, align 8, !tbaa !5
  %122 = load i8, ptr %10, align 1, !tbaa !22
  %123 = zext i8 %122 to i64
  %124 = call i32 @WPACKET_put_bytes__(ptr noundef %121, i64 noundef %123, i64 noundef 1)
  %125 = icmp ne i32 %124, 0
  br i1 %125, label %126, label %151

126:                                              ; preds = %95
  %127 = load ptr, ptr %6, align 8, !tbaa !5
  %128 = load ptr, ptr %8, align 8, !tbaa !5
  %129 = getelementptr inbounds %struct.quic_pkt_hdr_st, ptr %128, i32 0, i32 2
  %130 = getelementptr inbounds %struct.quic_conn_id_st, ptr %129, i32 0, i32 1
  %131 = getelementptr inbounds [20 x i8], ptr %130, i64 0, i64 0
  %132 = load i64, ptr %7, align 8, !tbaa !9
  %133 = call i32 @WPACKET_memcpy(ptr noundef %127, ptr noundef %131, i64 noundef %132)
  %134 = icmp ne i32 %133, 0
  br i1 %134, label %135, label %151

135:                                              ; preds = %126
  %136 = load ptr, ptr %6, align 8, !tbaa !5
  %137 = call i32 @WPACKET_get_total_written(ptr noundef %136, ptr noundef %13)
  %138 = icmp ne i32 %137, 0
  br i1 %138, label %139, label %151

139:                                              ; preds = %135
  %140 = load ptr, ptr %6, align 8, !tbaa !5
  %141 = load ptr, ptr %8, align 8, !tbaa !5
  %142 = getelementptr inbounds %struct.quic_pkt_hdr_st, ptr %141, i32 0, i32 4
  %143 = getelementptr inbounds [4 x i8], ptr %142, i64 0, i64 0
  %144 = load ptr, ptr %8, align 8, !tbaa !5
  %145 = load i32, ptr %144, align 8
  %146 = lshr i32 %145, 10
  %147 = and i32 %146, 15
  %148 = zext i32 %147 to i64
  %149 = call i32 @WPACKET_memcpy(ptr noundef %140, ptr noundef %143, i64 noundef %148)
  %150 = icmp ne i32 %149, 0
  br i1 %150, label %152, label %151

151:                                              ; preds = %139, %135, %126, %95
  store i32 0, ptr %5, align 4
  store i32 1, ptr %15, align 4
  br label %454

152:                                              ; preds = %139
  br label %403

153:                                              ; preds = %66
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #4
  %154 = load ptr, ptr %8, align 8, !tbaa !5
  %155 = getelementptr inbounds %struct.quic_pkt_hdr_st, ptr %154, i32 0, i32 2
  %156 = getelementptr inbounds %struct.quic_conn_id_st, ptr %155, i32 0, i32 0
  %157 = load i8, ptr %156, align 8, !tbaa !19
  %158 = zext i8 %157 to i32
  %159 = icmp sgt i32 %158, 20
  br i1 %159, label %167, label %160

160:                                              ; preds = %153
  %161 = load ptr, ptr %8, align 8, !tbaa !5
  %162 = getelementptr inbounds %struct.quic_pkt_hdr_st, ptr %161, i32 0, i32 3
  %163 = getelementptr inbounds %struct.quic_conn_id_st, ptr %162, i32 0, i32 0
  %164 = load i8, ptr %163, align 1, !tbaa !23
  %165 = zext i8 %164 to i32
  %166 = icmp sgt i32 %165, 20
  br i1 %166, label %167, label %168

167:                                              ; preds = %160, %153
  store i32 0, ptr %5, align 4
  store i32 1, ptr %15, align 4
  br label %400

168:                                              ; preds = %160
  %169 = load ptr, ptr %8, align 8, !tbaa !5
  %170 = load i32, ptr %169, align 8
  %171 = and i32 %170, 255
  %172 = call i32 @ossl_quic_pkt_type_has_pn(i32 noundef %171)
  %173 = icmp ne i32 %172, 0
  br i1 %173, label %174, label %187

174:                                              ; preds = %168
  %175 = load ptr, ptr %8, align 8, !tbaa !5
  %176 = load i32, ptr %175, align 8
  %177 = lshr i32 %176, 10
  %178 = and i32 %177, 15
  %179 = icmp slt i32 %178, 1
  br i1 %179, label %186, label %180

180:                                              ; preds = %174
  %181 = load ptr, ptr %8, align 8, !tbaa !5
  %182 = load i32, ptr %181, align 8
  %183 = lshr i32 %182, 10
  %184 = and i32 %183, 15
  %185 = icmp sgt i32 %184, 4
  br i1 %185, label %186, label %187

186:                                              ; preds = %180, %174
  store i32 0, ptr %5, align 4
  store i32 1, ptr %15, align 4
  br label %400

187:                                              ; preds = %180, %168
  %188 = load ptr, ptr %8, align 8, !tbaa !5
  %189 = load i32, ptr %188, align 8
  %190 = and i32 %189, 255
  switch i32 %190, label %202 [
    i32 6, label %191
    i32 1, label %198
    i32 2, label %199
    i32 3, label %200
    i32 4, label %201
  ]

191:                                              ; preds = %187
  %192 = load ptr, ptr %8, align 8, !tbaa !5
  %193 = getelementptr inbounds %struct.quic_pkt_hdr_st, ptr %192, i32 0, i32 1
  %194 = load i32, ptr %193, align 4, !tbaa !24
  %195 = icmp ne i32 %194, 0
  br i1 %195, label %196, label %197

196:                                              ; preds = %191
  store i32 0, ptr %5, align 4
  store i32 1, ptr %15, align 4
  br label %400

197:                                              ; preds = %191
  store i32 0, ptr %16, align 4, !tbaa !25
  br label %203

198:                                              ; preds = %187
  store i32 0, ptr %16, align 4, !tbaa !25
  br label %203

199:                                              ; preds = %187
  store i32 1, ptr %16, align 4, !tbaa !25
  br label %203

200:                                              ; preds = %187
  store i32 2, ptr %16, align 4, !tbaa !25
  br label %203

201:                                              ; preds = %187
  store i32 3, ptr %16, align 4, !tbaa !25
  br label %203

202:                                              ; preds = %187
  store i32 0, ptr %5, align 4
  store i32 1, ptr %15, align 4
  br label %400

203:                                              ; preds = %201, %200, %199, %198, %197
  %204 = load i32, ptr %16, align 4, !tbaa !25
  %205 = shl i32 %204, 4
  %206 = or i32 %205, 128
  %207 = trunc i32 %206 to i8
  store i8 %207, ptr %10, align 1, !tbaa !22
  %208 = load ptr, ptr %8, align 8, !tbaa !5
  %209 = load i32, ptr %208, align 8
  %210 = and i32 %209, 255
  %211 = icmp ne i32 %210, 6
  br i1 %211, label %218, label %212

212:                                              ; preds = %203
  %213 = load ptr, ptr %8, align 8, !tbaa !5
  %214 = load i32, ptr %213, align 8
  %215 = lshr i32 %214, 15
  %216 = and i32 %215, 1
  %217 = icmp ne i32 %216, 0
  br i1 %217, label %218, label %223

218:                                              ; preds = %212, %203
  %219 = load i8, ptr %10, align 1, !tbaa !22
  %220 = zext i8 %219 to i32
  %221 = or i32 %220, 64
  %222 = trunc i32 %221 to i8
  store i8 %222, ptr %10, align 1, !tbaa !22
  br label %223

223:                                              ; preds = %218, %212
  %224 = load ptr, ptr %8, align 8, !tbaa !5
  %225 = load i32, ptr %224, align 8
  %226 = and i32 %225, 255
  %227 = call i32 @ossl_quic_pkt_type_has_pn(i32 noundef %226)
  %228 = icmp ne i32 %227, 0
  br i1 %228, label %229, label %248

229:                                              ; preds = %223
  %230 = load ptr, ptr %8, align 8, !tbaa !5
  %231 = load i32, ptr %230, align 8
  %232 = lshr i32 %231, 10
  %233 = and i32 %232, 15
  %234 = sub nsw i32 %233, 1
  %235 = load i8, ptr %10, align 1, !tbaa !22
  %236 = zext i8 %235 to i32
  %237 = or i32 %236, %234
  %238 = trunc i32 %237 to i8
  store i8 %238, ptr %10, align 1, !tbaa !22
  %239 = load ptr, ptr %8, align 8, !tbaa !5
  %240 = load i32, ptr %239, align 8
  %241 = lshr i32 %240, 20
  %242 = and i32 %241, 3
  %243 = shl i32 %242, 2
  %244 = load i8, ptr %10, align 1, !tbaa !22
  %245 = zext i8 %244 to i32
  %246 = or i32 %245, %243
  %247 = trunc i32 %246 to i8
  store i8 %247, ptr %10, align 1, !tbaa !22
  br label %248

248:                                              ; preds = %229, %223
  %249 = load ptr, ptr %8, align 8, !tbaa !5
  %250 = load i32, ptr %249, align 8
  %251 = and i32 %250, 255
  %252 = icmp eq i32 %251, 4
  br i1 %252, label %253, label %262

253:                                              ; preds = %248
  %254 = load ptr, ptr %8, align 8, !tbaa !5
  %255 = load i32, ptr %254, align 8
  %256 = lshr i32 %255, 16
  %257 = and i32 %256, 15
  %258 = load i8, ptr %10, align 1, !tbaa !22
  %259 = zext i8 %258 to i32
  %260 = or i32 %259, %257
  %261 = trunc i32 %260 to i8
  store i8 %261, ptr %10, align 1, !tbaa !22
  br label %262

262:                                              ; preds = %253, %248
  %263 = load ptr, ptr %6, align 8, !tbaa !5
  %264 = load i8, ptr %10, align 1, !tbaa !22
  %265 = zext i8 %264 to i64
  %266 = call i32 @WPACKET_put_bytes__(ptr noundef %263, i64 noundef %265, i64 noundef 1)
  %267 = icmp ne i32 %266, 0
  br i1 %267, label %268, label %320

268:                                              ; preds = %262
  %269 = load ptr, ptr %6, align 8, !tbaa !5
  %270 = load ptr, ptr %8, align 8, !tbaa !5
  %271 = getelementptr inbounds %struct.quic_pkt_hdr_st, ptr %270, i32 0, i32 1
  %272 = load i32, ptr %271, align 4, !tbaa !24
  %273 = zext i32 %272 to i64
  %274 = call i32 @WPACKET_put_bytes__(ptr noundef %269, i64 noundef %273, i64 noundef 4)
  %275 = icmp ne i32 %274, 0
  br i1 %275, label %276, label %320

276:                                              ; preds = %268
  %277 = load ptr, ptr %6, align 8, !tbaa !5
  %278 = load ptr, ptr %8, align 8, !tbaa !5
  %279 = getelementptr inbounds %struct.quic_pkt_hdr_st, ptr %278, i32 0, i32 2
  %280 = getelementptr inbounds %struct.quic_conn_id_st, ptr %279, i32 0, i32 0
  %281 = load i8, ptr %280, align 8, !tbaa !19
  %282 = zext i8 %281 to i64
  %283 = call i32 @WPACKET_put_bytes__(ptr noundef %277, i64 noundef %282, i64 noundef 1)
  %284 = icmp ne i32 %283, 0
  br i1 %284, label %285, label %320

285:                                              ; preds = %276
  %286 = load ptr, ptr %6, align 8, !tbaa !5
  %287 = load ptr, ptr %8, align 8, !tbaa !5
  %288 = getelementptr inbounds %struct.quic_pkt_hdr_st, ptr %287, i32 0, i32 2
  %289 = getelementptr inbounds %struct.quic_conn_id_st, ptr %288, i32 0, i32 1
  %290 = getelementptr inbounds [20 x i8], ptr %289, i64 0, i64 0
  %291 = load ptr, ptr %8, align 8, !tbaa !5
  %292 = getelementptr inbounds %struct.quic_pkt_hdr_st, ptr %291, i32 0, i32 2
  %293 = getelementptr inbounds %struct.quic_conn_id_st, ptr %292, i32 0, i32 0
  %294 = load i8, ptr %293, align 8, !tbaa !19
  %295 = zext i8 %294 to i64
  %296 = call i32 @WPACKET_memcpy(ptr noundef %286, ptr noundef %290, i64 noundef %295)
  %297 = icmp ne i32 %296, 0
  br i1 %297, label %298, label %320

298:                                              ; preds = %285
  %299 = load ptr, ptr %6, align 8, !tbaa !5
  %300 = load ptr, ptr %8, align 8, !tbaa !5
  %301 = getelementptr inbounds %struct.quic_pkt_hdr_st, ptr %300, i32 0, i32 3
  %302 = getelementptr inbounds %struct.quic_conn_id_st, ptr %301, i32 0, i32 0
  %303 = load i8, ptr %302, align 1, !tbaa !23
  %304 = zext i8 %303 to i64
  %305 = call i32 @WPACKET_put_bytes__(ptr noundef %299, i64 noundef %304, i64 noundef 1)
  %306 = icmp ne i32 %305, 0
  br i1 %306, label %307, label %320

307:                                              ; preds = %298
  %308 = load ptr, ptr %6, align 8, !tbaa !5
  %309 = load ptr, ptr %8, align 8, !tbaa !5
  %310 = getelementptr inbounds %struct.quic_pkt_hdr_st, ptr %309, i32 0, i32 3
  %311 = getelementptr inbounds %struct.quic_conn_id_st, ptr %310, i32 0, i32 1
  %312 = getelementptr inbounds [20 x i8], ptr %311, i64 0, i64 0
  %313 = load ptr, ptr %8, align 8, !tbaa !5
  %314 = getelementptr inbounds %struct.quic_pkt_hdr_st, ptr %313, i32 0, i32 3
  %315 = getelementptr inbounds %struct.quic_conn_id_st, ptr %314, i32 0, i32 0
  %316 = load i8, ptr %315, align 1, !tbaa !23
  %317 = zext i8 %316 to i64
  %318 = call i32 @WPACKET_memcpy(ptr noundef %308, ptr noundef %312, i64 noundef %317)
  %319 = icmp ne i32 %318, 0
  br i1 %319, label %321, label %320

320:                                              ; preds = %307, %298, %285, %276, %268, %262
  store i32 0, ptr %5, align 4
  store i32 1, ptr %15, align 4
  br label %400

321:                                              ; preds = %307
  %322 = load ptr, ptr %8, align 8, !tbaa !5
  %323 = load i32, ptr %322, align 8
  %324 = and i32 %323, 255
  %325 = icmp eq i32 %324, 6
  br i1 %325, label %331, label %326

326:                                              ; preds = %321
  %327 = load ptr, ptr %8, align 8, !tbaa !5
  %328 = load i32, ptr %327, align 8
  %329 = and i32 %328, 255
  %330 = icmp eq i32 %329, 4
  br i1 %330, label %331, label %345

331:                                              ; preds = %326, %321
  %332 = load ptr, ptr %8, align 8, !tbaa !5
  %333 = getelementptr inbounds %struct.quic_pkt_hdr_st, ptr %332, i32 0, i32 7
  %334 = load i64, ptr %333, align 8, !tbaa !26
  %335 = icmp ugt i64 %334, 0
  br i1 %335, label %336, label %344

336:                                              ; preds = %331
  %337 = load ptr, ptr %6, align 8, !tbaa !5
  %338 = load ptr, ptr %8, align 8, !tbaa !5
  %339 = getelementptr inbounds %struct.quic_pkt_hdr_st, ptr %338, i32 0, i32 7
  %340 = load i64, ptr %339, align 8, !tbaa !26
  %341 = call i32 @WPACKET_reserve_bytes(ptr noundef %337, i64 noundef %340, ptr noundef null)
  %342 = icmp ne i32 %341, 0
  br i1 %342, label %344, label %343

343:                                              ; preds = %336
  store i32 0, ptr %5, align 4
  store i32 1, ptr %15, align 4
  br label %400

344:                                              ; preds = %336, %331
  store i32 1, ptr %5, align 4
  store i32 1, ptr %15, align 4
  br label %400

345:                                              ; preds = %326
  %346 = load ptr, ptr %8, align 8, !tbaa !5
  %347 = load i32, ptr %346, align 8
  %348 = and i32 %347, 255
  %349 = icmp eq i32 %348, 1
  br i1 %349, label %350, label %369

350:                                              ; preds = %345
  %351 = load ptr, ptr %6, align 8, !tbaa !5
  %352 = load ptr, ptr %8, align 8, !tbaa !5
  %353 = getelementptr inbounds %struct.quic_pkt_hdr_st, ptr %352, i32 0, i32 6
  %354 = load i64, ptr %353, align 8, !tbaa !27
  %355 = call i32 @WPACKET_quic_write_vlint(ptr noundef %351, i64 noundef %354)
  %356 = icmp ne i32 %355, 0
  br i1 %356, label %357, label %367

357:                                              ; preds = %350
  %358 = load ptr, ptr %6, align 8, !tbaa !5
  %359 = load ptr, ptr %8, align 8, !tbaa !5
  %360 = getelementptr inbounds %struct.quic_pkt_hdr_st, ptr %359, i32 0, i32 5
  %361 = load ptr, ptr %360, align 8, !tbaa !28
  %362 = load ptr, ptr %8, align 8, !tbaa !5
  %363 = getelementptr inbounds %struct.quic_pkt_hdr_st, ptr %362, i32 0, i32 6
  %364 = load i64, ptr %363, align 8, !tbaa !27
  %365 = call i32 @WPACKET_memcpy(ptr noundef %358, ptr noundef %361, i64 noundef %364)
  %366 = icmp ne i32 %365, 0
  br i1 %366, label %368, label %367

367:                                              ; preds = %357, %350
  store i32 0, ptr %5, align 4
  store i32 1, ptr %15, align 4
  br label %400

368:                                              ; preds = %357
  br label %369

369:                                              ; preds = %368, %345
  %370 = load ptr, ptr %6, align 8, !tbaa !5
  %371 = load ptr, ptr %8, align 8, !tbaa !5
  %372 = getelementptr inbounds %struct.quic_pkt_hdr_st, ptr %371, i32 0, i32 7
  %373 = load i64, ptr %372, align 8, !tbaa !26
  %374 = load ptr, ptr %8, align 8, !tbaa !5
  %375 = load i32, ptr %374, align 8
  %376 = lshr i32 %375, 10
  %377 = and i32 %376, 15
  %378 = zext i32 %377 to i64
  %379 = add i64 %373, %378
  %380 = call i32 @WPACKET_quic_write_vlint(ptr noundef %370, i64 noundef %379)
  %381 = icmp ne i32 %380, 0
  br i1 %381, label %382, label %398

382:                                              ; preds = %369
  %383 = load ptr, ptr %6, align 8, !tbaa !5
  %384 = call i32 @WPACKET_get_total_written(ptr noundef %383, ptr noundef %13)
  %385 = icmp ne i32 %384, 0
  br i1 %385, label %386, label %398

386:                                              ; preds = %382
  %387 = load ptr, ptr %6, align 8, !tbaa !5
  %388 = load ptr, ptr %8, align 8, !tbaa !5
  %389 = getelementptr inbounds %struct.quic_pkt_hdr_st, ptr %388, i32 0, i32 4
  %390 = getelementptr inbounds [4 x i8], ptr %389, i64 0, i64 0
  %391 = load ptr, ptr %8, align 8, !tbaa !5
  %392 = load i32, ptr %391, align 8
  %393 = lshr i32 %392, 10
  %394 = and i32 %393, 15
  %395 = zext i32 %394 to i64
  %396 = call i32 @WPACKET_memcpy(ptr noundef %387, ptr noundef %390, i64 noundef %395)
  %397 = icmp ne i32 %396, 0
  br i1 %397, label %399, label %398

398:                                              ; preds = %386, %382, %369
  store i32 0, ptr %5, align 4
  store i32 1, ptr %15, align 4
  br label %400

399:                                              ; preds = %386
  store i32 0, ptr %15, align 4
  br label %400

400:                                              ; preds = %399, %398, %367, %344, %343, %320, %202, %196, %186, %167
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #4
  %401 = load i32, ptr %15, align 4
  switch i32 %401, label %454 [
    i32 0, label %402
  ]

402:                                              ; preds = %400
  br label %403

403:                                              ; preds = %402, %152
  %404 = load ptr, ptr %8, align 8, !tbaa !5
  %405 = getelementptr inbounds %struct.quic_pkt_hdr_st, ptr %404, i32 0, i32 7
  %406 = load i64, ptr %405, align 8, !tbaa !26
  %407 = icmp ugt i64 %406, 0
  br i1 %407, label %408, label %416

408:                                              ; preds = %403
  %409 = load ptr, ptr %6, align 8, !tbaa !5
  %410 = load ptr, ptr %8, align 8, !tbaa !5
  %411 = getelementptr inbounds %struct.quic_pkt_hdr_st, ptr %410, i32 0, i32 7
  %412 = load i64, ptr %411, align 8, !tbaa !26
  %413 = call i32 @WPACKET_reserve_bytes(ptr noundef %409, i64 noundef %412, ptr noundef null)
  %414 = icmp ne i32 %413, 0
  br i1 %414, label %416, label %415

415:                                              ; preds = %408
  store i32 0, ptr %5, align 4
  store i32 1, ptr %15, align 4
  br label %454

416:                                              ; preds = %408, %403
  %417 = load i64, ptr %13, align 8, !tbaa !9
  %418 = add i64 %417, 4
  store i64 %418, ptr %12, align 8, !tbaa !9
  %419 = load ptr, ptr %9, align 8, !tbaa !5
  %420 = icmp ne ptr %419, null
  br i1 %420, label %421, label %453

421:                                              ; preds = %416
  %422 = load ptr, ptr %14, align 8, !tbaa !5
  %423 = load ptr, ptr %9, align 8, !tbaa !5
  %424 = getelementptr inbounds %struct.quic_pkt_hdr_ptrs_st, ptr %423, i32 0, i32 0
  store ptr %422, ptr %424, align 8, !tbaa !14
  %425 = load ptr, ptr %14, align 8, !tbaa !5
  %426 = load i64, ptr %12, align 8, !tbaa !9
  %427 = load i64, ptr %11, align 8, !tbaa !9
  %428 = sub i64 %426, %427
  %429 = getelementptr inbounds i8, ptr %425, i64 %428
  %430 = load ptr, ptr %9, align 8, !tbaa !5
  %431 = getelementptr inbounds %struct.quic_pkt_hdr_ptrs_st, ptr %430, i32 0, i32 1
  store ptr %429, ptr %431, align 8, !tbaa !16
  %432 = load ptr, ptr %6, align 8, !tbaa !5
  %433 = call ptr @WPACKET_get_curr(ptr noundef %432)
  %434 = load ptr, ptr %8, align 8, !tbaa !5
  %435 = getelementptr inbounds %struct.quic_pkt_hdr_st, ptr %434, i32 0, i32 7
  %436 = load i64, ptr %435, align 8, !tbaa !26
  %437 = getelementptr inbounds i8, ptr %433, i64 %436
  %438 = load ptr, ptr %9, align 8, !tbaa !5
  %439 = getelementptr inbounds %struct.quic_pkt_hdr_ptrs_st, ptr %438, i32 0, i32 1
  %440 = load ptr, ptr %439, align 8, !tbaa !16
  %441 = ptrtoint ptr %437 to i64
  %442 = ptrtoint ptr %440 to i64
  %443 = sub i64 %441, %442
  %444 = load ptr, ptr %9, align 8, !tbaa !5
  %445 = getelementptr inbounds %struct.quic_pkt_hdr_ptrs_st, ptr %444, i32 0, i32 2
  store i64 %443, ptr %445, align 8, !tbaa !17
  %446 = load ptr, ptr %14, align 8, !tbaa !5
  %447 = load i64, ptr %13, align 8, !tbaa !9
  %448 = load i64, ptr %11, align 8, !tbaa !9
  %449 = sub i64 %447, %448
  %450 = getelementptr inbounds i8, ptr %446, i64 %449
  %451 = load ptr, ptr %9, align 8, !tbaa !5
  %452 = getelementptr inbounds %struct.quic_pkt_hdr_ptrs_st, ptr %451, i32 0, i32 3
  store ptr %450, ptr %452, align 8, !tbaa !18
  br label %453

453:                                              ; preds = %421, %416
  store i32 1, ptr %5, align 4
  store i32 1, ptr %15, align 4
  br label %454

454:                                              ; preds = %453, %415, %400, %151, %94, %65, %36, %22
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #4
  call void @llvm.lifetime.end.p0(i64 1, ptr %10) #4
  %455 = load i32, ptr %5, align 4
  ret i32 %455
}

declare ptr @WPACKET_get_curr(ptr noundef) #2

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

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

declare i32 @WPACKET_put_bytes__(ptr noundef, i64 noundef, i64 noundef) #2

declare i32 @WPACKET_memcpy(ptr noundef, ptr noundef, i64 noundef) #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden i32 @ossl_quic_pkt_type_has_pn(i32 noundef) #3

declare i32 @WPACKET_reserve_bytes(ptr noundef, i64 noundef, ptr noundef) #2

declare i32 @WPACKET_quic_write_vlint(ptr noundef, i64 noundef) #2

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { 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 #2 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { 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 = { 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 8}
!12 = !{!"wpacket_st", !6, i64 0, !6, i64 8, !10, i64 16, !10, i64 24, !10, i64 32, !6, i64 40, !13, i64 48}
!13 = !{!"int", !7, i64 0}
!14 = !{!15, !6, i64 0}
!15 = !{!"quic_pkt_hdr_ptrs_st", !6, i64 0, !6, i64 8, !10, i64 16, !6, i64 24}
!16 = !{!15, !6, i64 8}
!17 = !{!15, !10, i64 16}
!18 = !{!15, !6, i64 24}
!19 = !{!20, !7, i64 8}
!20 = !{!"quic_pkt_hdr_st", !13, i64 0, !13, i64 1, !13, i64 1, !13, i64 1, !13, i64 1, !13, i64 1, !13, i64 2, !13, i64 2, !13, i64 4, !21, i64 8, !21, i64 29, !7, i64 50, !6, i64 56, !10, i64 64, !10, i64 72, !6, i64 80}
!21 = !{!"quic_conn_id_st", !7, i64 0, !7, i64 1}
!22 = !{!7, !7, i64 0}
!23 = !{!20, !7, i64 29}
!24 = !{!20, !13, i64 4}
!25 = !{!13, !13, i64 0}
!26 = !{!20, !10, i64 72}
!27 = !{!20, !10, i64 64}
!28 = !{!20, !6, i64 56}


; 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.3 = external hidden unnamed_addr constant [77 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [41 x i8], align 1

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

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

; Function Attrs: nounwind uwtable
define dso_local i32 @ossl_quic_wire_encode_pkt_hdr(ptr noundef %0, i64 noundef %1, ptr noundef %2, ptr noundef %3) local_unnamed_addr #1 {
  %5 = alloca i64, align 8
  %6 = alloca i64, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %5) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %6) #5
  %7 = tail call ptr @WPACKET_get_curr(ptr noundef %0) #5
  %8 = call i32 @WPACKET_get_total_written(ptr noundef %0, ptr noundef nonnull %5) #5
  %.not = icmp eq i32 %8, 0
  br i1 %.not, label %.thread145, label %9

9:                                                ; preds = %4
  %.not112 = icmp eq ptr %3, null
  br i1 %.not112, label %17, label %10

10:                                               ; preds = %9
  %11 = getelementptr inbounds i8, ptr %0, i64 8
  %12 = load ptr, ptr %11, align 8, !tbaa !5
  %13 = icmp ne ptr %12, null
  %14 = zext i1 %13 to i32
  %15 = call i32 @ossl_assert_int(i32 noundef %14, ptr noundef nonnull @.str.4, ptr noundef nonnull @.str.3, i32 noundef 466)
  %.not113 = icmp eq i32 %15, 0
  br i1 %.not113, label %.thread145, label %16

16:                                               ; preds = %10
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(32) %3, i8 0, i64 32, i1 false)
  br label %17

17:                                               ; preds = %16, %9
  %18 = load i32, ptr %2, align 8
  %19 = and i32 %18, 16384
  %.not114 = icmp eq i32 %19, 0
  br i1 %.not114, label %20, label %.thread145

20:                                               ; preds = %17
  %21 = and i32 %18, 255
  %22 = icmp eq i32 %21, 5
  %23 = getelementptr inbounds i8, ptr %2, i64 8
  %24 = load i8, ptr %23, align 8, !tbaa !12
  br i1 %22, label %25, label %57

25:                                               ; preds = %20
  %26 = zext i8 %24 to i64
  %.not115 = icmp ne i64 %26, %1
  %27 = icmp ugt i64 %1, 20
  %or.cond = or i1 %.not115, %27
  br i1 %or.cond, label %.thread145, label %28

28:                                               ; preds = %25
  %29 = lshr i32 %18, 10
  %30 = and i32 %29, 15
  %31 = add nsw i32 %30, -5
  %or.cond141 = icmp ult i32 %31, -4
  br i1 %or.cond141, label %.thread145, label %32

32:                                               ; preds = %28
  %33 = lshr i32 %18, 3
  %34 = and i32 %33, 32
  %35 = lshr i32 %18, 7
  %36 = and i32 %35, 4
  %37 = add nuw nsw i32 %30, 255
  %38 = lshr i32 %18, 17
  %39 = and i32 %38, 24
  %.masked134 = and i32 %37, 191
  %40 = or disjoint i32 %36, %34
  %.masked = or disjoint i32 %40, %39
  %41 = or i32 %.masked, %.masked134
  %42 = or disjoint i32 %41, 64
  %43 = zext nneg i32 %42 to i64
  %44 = call i32 @WPACKET_put_bytes__(ptr noundef %0, i64 noundef %43, i64 noundef 1) #5
  %.not135 = icmp eq i32 %44, 0
  br i1 %.not135, label %.thread145, label %45

45:                                               ; preds = %32
  %46 = getelementptr inbounds i8, ptr %2, i64 9
  %47 = call i32 @WPACKET_memcpy(ptr noundef %0, ptr noundef nonnull %46, i64 noundef %1) #5
  %.not136 = icmp eq i32 %47, 0
  br i1 %.not136, label %.thread145, label %48

48:                                               ; preds = %45
  %49 = call i32 @WPACKET_get_total_written(ptr noundef %0, ptr noundef nonnull %6) #5
  %.not137 = icmp eq i32 %49, 0
  br i1 %.not137, label %.thread145, label %50

50:                                               ; preds = %48
  %51 = getelementptr inbounds i8, ptr %2, i64 50
  %52 = load i32, ptr %2, align 8
  %53 = lshr i32 %52, 10
  %54 = and i32 %53, 15
  %55 = zext nneg i32 %54 to i64
  %56 = call i32 @WPACKET_memcpy(ptr noundef %0, ptr noundef nonnull %51, i64 noundef %55) #5
  %.not138 = icmp eq i32 %56, 0
  br i1 %.not138, label %.thread145, label %158

57:                                               ; preds = %20
  %58 = icmp ugt i8 %24, 20
  br i1 %58, label %.thread145, label %59

59:                                               ; preds = %57
  %60 = getelementptr inbounds i8, ptr %2, i64 29
  %61 = load i8, ptr %60, align 1, !tbaa !15
  %62 = icmp ugt i8 %61, 20
  br i1 %62, label %.thread145, label %63

63:                                               ; preds = %59
  %64 = call i32 @ossl_quic_pkt_type_has_pn(i32 noundef %21)
  %.not116 = icmp eq i32 %64, 0
  %.pre = load i32, ptr %2, align 8
  br i1 %.not116, label %69, label %65

65:                                               ; preds = %63
  %66 = lshr i32 %.pre, 10
  %67 = and i32 %66, 15
  %68 = add nsw i32 %67, -5
  %or.cond142 = icmp ult i32 %68, -4
  br i1 %or.cond142, label %.thread145, label %69

69:                                               ; preds = %65, %63
  %trunc = trunc i32 %.pre to i8
  switch i8 %trunc, label %.thread145 [
    i8 6, label %70
    i8 1, label %76
    i8 2, label %73
    i8 3, label %74
    i8 4, label %75
  ]

70:                                               ; preds = %69
  %71 = getelementptr inbounds i8, ptr %2, i64 4
  %72 = load i32, ptr %71, align 4, !tbaa !16
  %.not117 = icmp eq i32 %72, 0
  br i1 %.not117, label %76, label %.thread145

73:                                               ; preds = %69
  br label %76

74:                                               ; preds = %69
  br label %76

75:                                               ; preds = %69
  br label %76

76:                                               ; preds = %69, %70, %75, %74, %73
  %.0 = phi i8 [ -80, %75 ], [ -96, %74 ], [ -112, %73 ], [ -128, %70 ], [ -128, %69 ]
  %77 = and i32 %.pre, 255
  %78 = and i32 %.pre, 33023
  %or.cond143 = icmp eq i32 %78, 6
  %79 = or disjoint i8 %.0, 64
  %.0101 = select i1 %or.cond143, i8 %.0, i8 %79
  %80 = call i32 @ossl_quic_pkt_type_has_pn(i32 noundef %77)
  %.not120 = icmp eq i32 %80, 0
  %.pre149 = load i32, ptr %2, align 8
  br i1 %.not120, label %91, label %81

81:                                               ; preds = %76
  %82 = lshr i32 %.pre149, 10
  %83 = trunc i32 %82 to i8
  %84 = and i8 %83, 15
  %85 = add nuw i8 %84, 127
  %86 = lshr i32 %.pre149, 18
  %87 = trunc i32 %86 to i8
  %88 = and i8 %87, 12
  %89 = or i8 %88, %85
  %90 = or i8 %89, %.0101
  br label %91

91:                                               ; preds = %81, %76
  %.1102 = phi i8 [ %90, %81 ], [ %.0101, %76 ]
  %92 = and i32 %.pre149, 255
  %93 = icmp eq i32 %92, 4
  %94 = lshr i32 %.pre149, 16
  %95 = trunc i32 %94 to i8
  %96 = and i8 %95, 15
  %97 = select i1 %93, i8 %96, i8 0
  %.2 = or i8 %97, %.1102
  %98 = zext i8 %.2 to i64
  %99 = call i32 @WPACKET_put_bytes__(ptr noundef %0, i64 noundef %98, i64 noundef 1) #5
  %.not121 = icmp eq i32 %99, 0
  br i1 %.not121, label %.thread145, label %100

100:                                              ; preds = %91
  %101 = getelementptr inbounds i8, ptr %2, i64 4
  %102 = load i32, ptr %101, align 4, !tbaa !16
  %103 = zext i32 %102 to i64
  %104 = call i32 @WPACKET_put_bytes__(ptr noundef %0, i64 noundef %103, i64 noundef 4) #5
  %.not122 = icmp eq i32 %104, 0
  br i1 %.not122, label %.thread145, label %105

105:                                              ; preds = %100
  %106 = load i8, ptr %23, align 8, !tbaa !12
  %107 = zext i8 %106 to i64
  %108 = call i32 @WPACKET_put_bytes__(ptr noundef %0, i64 noundef %107, i64 noundef 1) #5
  %.not123 = icmp eq i32 %108, 0
  br i1 %.not123, label %.thread145, label %109

109:                                              ; preds = %105
  %110 = getelementptr inbounds i8, ptr %2, i64 9
  %111 = load i8, ptr %23, align 8, !tbaa !12
  %112 = zext i8 %111 to i64
  %113 = call i32 @WPACKET_memcpy(ptr noundef %0, ptr noundef nonnull %110, i64 noundef %112) #5
  %.not124 = icmp eq i32 %113, 0
  br i1 %.not124, label %.thread145, label %114

114:                                              ; preds = %109
  %115 = load i8, ptr %60, align 1, !tbaa !15
  %116 = zext i8 %115 to i64
  %117 = call i32 @WPACKET_put_bytes__(ptr noundef %0, i64 noundef %116, i64 noundef 1) #5
  %.not125 = icmp eq i32 %117, 0
  br i1 %.not125, label %.thread145, label %118

118:                                              ; preds = %114
  %119 = getelementptr inbounds i8, ptr %2, i64 30
  %120 = load i8, ptr %60, align 1, !tbaa !15
  %121 = zext i8 %120 to i64
  %122 = call i32 @WPACKET_memcpy(ptr noundef %0, ptr noundef nonnull %119, i64 noundef %121) #5
  %.not126 = icmp eq i32 %122, 0
  br i1 %.not126, label %.thread145, label %123

123:                                              ; preds = %118
  %124 = load i32, ptr %2, align 8
  %trunc148 = trunc i32 %124 to i8
  switch i8 %trunc148, label %140 [
    i8 6, label %125
    i8 4, label %125
    i8 1, label %131
  ]

125:                                              ; preds = %123, %123
  %126 = getelementptr inbounds i8, ptr %2, i64 72
  %127 = load i64, ptr %126, align 8, !tbaa !17
  %.not132 = icmp eq i64 %127, 0
  br i1 %.not132, label %130, label %128

128:                                              ; preds = %125
  %129 = call i32 @WPACKET_reserve_bytes(ptr noundef %0, i64 noundef %127, ptr noundef null) #5
  %.not133 = icmp eq i32 %129, 0
  br i1 %.not133, label %.thread145, label %130

130:                                              ; preds = %128, %125
  br label %.thread145

131:                                              ; preds = %123
  %132 = getelementptr inbounds i8, ptr %2, i64 64
  %133 = load i64, ptr %132, align 8, !tbaa !18
  %134 = call i32 @WPACKET_quic_write_vlint(ptr noundef %0, i64 noundef %133) #5
  %.not127 = icmp eq i32 %134, 0
  br i1 %.not127, label %.thread145, label %135

135:                                              ; preds = %131
  %136 = getelementptr inbounds i8, ptr %2, i64 56
  %137 = load ptr, ptr %136, align 8, !tbaa !19
  %138 = load i64, ptr %132, align 8, !tbaa !18
  %139 = call i32 @WPACKET_memcpy(ptr noundef %0, ptr noundef %137, i64 noundef %138) #5
  %.not128 = icmp eq i32 %139, 0
  br i1 %.not128, label %.thread145, label %._crit_edge

._crit_edge:                                      ; preds = %135
  %.pre150 = load i32, ptr %2, align 8
  br label %140

140:                                              ; preds = %._crit_edge, %123
  %141 = phi i32 [ %.pre150, %._crit_edge ], [ %124, %123 ]
  %142 = getelementptr inbounds i8, ptr %2, i64 72
  %143 = load i64, ptr %142, align 8, !tbaa !17
  %144 = lshr i32 %141, 10
  %145 = and i32 %144, 15
  %146 = zext nneg i32 %145 to i64
  %147 = add i64 %143, %146
  %148 = call i32 @WPACKET_quic_write_vlint(ptr noundef %0, i64 noundef %147) #5
  %.not129 = icmp eq i32 %148, 0
  br i1 %.not129, label %.thread145, label %149

149:                                              ; preds = %140
  %150 = call i32 @WPACKET_get_total_written(ptr noundef %0, ptr noundef nonnull %6) #5
  %.not130 = icmp eq i32 %150, 0
  br i1 %.not130, label %.thread145, label %151

151:                                              ; preds = %149
  %152 = getelementptr inbounds i8, ptr %2, i64 50
  %153 = load i32, ptr %2, align 8
  %154 = lshr i32 %153, 10
  %155 = and i32 %154, 15
  %156 = zext nneg i32 %155 to i64
  %157 = call i32 @WPACKET_memcpy(ptr noundef %0, ptr noundef nonnull %152, i64 noundef %156) #5
  %.not131.not = icmp eq i32 %157, 0
  br i1 %.not131.not, label %.thread145, label %158

158:                                              ; preds = %151, %50
  %159 = getelementptr inbounds i8, ptr %2, i64 72
  %160 = load i64, ptr %159, align 8, !tbaa !17
  %.not139 = icmp eq i64 %160, 0
  br i1 %.not139, label %163, label %161

161:                                              ; preds = %158
  %162 = call i32 @WPACKET_reserve_bytes(ptr noundef %0, i64 noundef %160, ptr noundef null) #5
  %.not140 = icmp eq i32 %162, 0
  %brmerge = or i1 %.not112, %.not140
  %not..not140 = xor i1 %.not140, true
  %.mux = zext i1 %not..not140 to i32
  br i1 %brmerge, label %.thread145, label %164

163:                                              ; preds = %158
  br i1 %.not112, label %.thread145, label %164

164:                                              ; preds = %161, %163
  %165 = load i64, ptr %6, align 8, !tbaa !20
  %166 = add i64 %165, 4
  store ptr %7, ptr %3, align 8, !tbaa !21
  %167 = load i64, ptr %5, align 8, !tbaa !20
  %168 = sub i64 %166, %167
  %169 = getelementptr inbounds i8, ptr %7, i64 %168
  %170 = getelementptr inbounds i8, ptr %3, i64 8
  store ptr %169, ptr %170, align 8, !tbaa !23
  %171 = call ptr @WPACKET_get_curr(ptr noundef %0) #5
  %172 = load i64, ptr %159, align 8, !tbaa !17
  %173 = getelementptr inbounds i8, ptr %171, i64 %172
  %174 = load ptr, ptr %170, align 8, !tbaa !23
  %175 = ptrtoint ptr %173 to i64
  %176 = ptrtoint ptr %174 to i64
  %177 = sub i64 %175, %176
  %178 = getelementptr inbounds i8, ptr %3, i64 16
  store i64 %177, ptr %178, align 8, !tbaa !24
  %179 = load i64, ptr %6, align 8, !tbaa !20
  %180 = load i64, ptr %5, align 8, !tbaa !20
  %181 = sub i64 %179, %180
  %182 = getelementptr inbounds i8, ptr %7, i64 %181
  %183 = getelementptr inbounds i8, ptr %3, i64 24
  store ptr %182, ptr %183, align 8, !tbaa !25
  br label %.thread145

.thread145:                                       ; preds = %140, %149, %131, %135, %128, %91, %100, %105, %109, %114, %118, %69, %70, %65, %57, %59, %130, %161, %163, %164, %32, %45, %48, %50, %28, %17, %25, %10, %4, %151
  %.1 = phi i32 [ 0, %151 ], [ 0, %4 ], [ 0, %10 ], [ 0, %25 ], [ 0, %17 ], [ 0, %28 ], [ 0, %50 ], [ 0, %48 ], [ 0, %45 ], [ 0, %32 ], [ %.mux, %161 ], [ 1, %164 ], [ 1, %163 ], [ 0, %140 ], [ 0, %149 ], [ 0, %131 ], [ 0, %135 ], [ 0, %128 ], [ 0, %91 ], [ 0, %100 ], [ 0, %105 ], [ 0, %109 ], [ 0, %114 ], [ 0, %118 ], [ 0, %69 ], [ 0, %70 ], [ 0, %65 ], [ 0, %57 ], [ 0, %59 ], [ 1, %130 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %6) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %5) #5
  ret i32 %.1
}

declare ptr @WPACKET_get_curr(ptr noundef) local_unnamed_addr #2

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

; Function Attrs: inlinehint nounwind uwtable
declare hidden i32 @ossl_assert_int(i32 noundef, ptr noundef, ptr noundef, i32 noundef) local_unnamed_addr #3

declare i32 @WPACKET_put_bytes__(ptr noundef, i64 noundef, i64 noundef) local_unnamed_addr #2

declare i32 @WPACKET_memcpy(ptr noundef, ptr noundef, i64 noundef) local_unnamed_addr #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden i32 @ossl_quic_pkt_type_has_pn(i32 noundef) local_unnamed_addr #3

declare i32 @WPACKET_reserve_bytes(ptr noundef, i64 noundef, ptr noundef) local_unnamed_addr #2

declare i32 @WPACKET_quic_write_vlint(ptr noundef, i64 noundef) local_unnamed_addr #2

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

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { 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 #2 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { 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 nounwind willreturn memory(argmem: write) }
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 8}
!6 = !{!"wpacket_st", !7, i64 0, !7, i64 8, !10, i64 16, !10, i64 24, !10, i64 32, !7, i64 40, !11, i64 48}
!7 = !{!"any pointer", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C/C++ TBAA"}
!10 = !{!"long", !8, i64 0}
!11 = !{!"int", !8, i64 0}
!12 = !{!13, !8, i64 8}
!13 = !{!"quic_pkt_hdr_st", !11, i64 0, !11, i64 1, !11, i64 1, !11, i64 1, !11, i64 1, !11, i64 1, !11, i64 2, !11, i64 2, !11, i64 4, !14, i64 8, !14, i64 29, !8, i64 50, !7, i64 56, !10, i64 64, !10, i64 72, !7, i64 80}
!14 = !{!"quic_conn_id_st", !8, i64 0, !8, i64 1}
!15 = !{!13, !8, i64 29}
!16 = !{!13, !11, i64 4}
!17 = !{!13, !10, i64 72}
!18 = !{!13, !10, i64 64}
!19 = !{!13, !7, i64 56}
!20 = !{!10, !10, i64 0}
!21 = !{!22, !7, i64 0}
!22 = !{!"quic_pkt_hdr_ptrs_st", !7, i64 0, !7, i64 8, !10, i64 16, !7, i64 24}
!23 = !{!22, !7, i64 8}
!24 = !{!22, !10, i64 16}
!25 = !{!22, !7, i64 24}


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