; LLVM IR from thalium/icebox :: third_party/virtualbox/src/VBox/Devices/EFI/Firmware/NetworkPkg/IpSecDxe (IpSecEspOutboundPacket)

; 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.HASH_DATA_FRAGMENT = type { i64, ptr }
%struct._IPSEC_SAD_ENTRY = type { ptr, ptr, %struct._LIST_ENTRY, %struct._LIST_ENTRY }
%struct._LIST_ENTRY = type { ptr, ptr }
%struct._IPSEC_SAD_DATA = type { i32, i64, i8, [4 x i64], %union.EFI_IPSEC_ALGO_INFO, %struct._EFI_IPSEC_SA_LIFETIME, i32, ptr, ptr, i8, i8, %union.EFI_IP_ADDRESS, %union.EFI_IP_ADDRESS }
%union.EFI_IPSEC_ALGO_INFO = type { %struct._EFI_IPSEC_ESP_ALGO_INFO }
%struct._EFI_IPSEC_ESP_ALGO_INFO = type { i8, i64, ptr, i8, i64, ptr }
%struct._EFI_IPSEC_SA_LIFETIME = type { i64, i64, i64 }
%union.EFI_IP_ADDRESS = type { [4 x i32] }
%struct._EFI_IPSEC_FRAGMENT_DATA = type { i32, ptr }
%struct._EFI_ESP_HEADER = type { i32, i32 }
%struct._EFI_IPSEC_SA_ID = type { i32, i32, %union.EFI_IP_ADDRESS }
%struct.IP4_HEAD = type { i8, i8, i16, i16, i16, i8, i8, i16, i32, i32 }
%struct._EFI_IP6_HEADER = type { i16, i16, i16, i8, i8, %struct.EFI_IPv6_ADDRESS, %struct.EFI_IPv6_ADDRESS }
%struct.EFI_IPv6_ADDRESS = type { [16 x i8] }
%struct._EFI_ESP_TAIL = type { i8, i8 }
%struct.EFI_BOOT_SERVICES = type { %struct.EFI_TABLE_HEADER, 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, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr }
%struct.EFI_TABLE_HEADER = type { i64, i32, i32, i32, i32 }
%struct._IPSEC_RECYCLE_CONTEXT = type { ptr, ptr }

@gBS = external global ptr, align 8

; 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

declare ptr @CopyMem(ptr noundef, ptr noundef, i64 noundef) #1

declare zeroext i16 @SwapBytes16(i16 noundef zeroext) #1

; Function Attrs: nounwind uwtable
declare dso_local void @IpSecRecycleCallback(ptr noundef, ptr noundef) #2

declare void @FreePool(ptr noundef) #1

; Function Attrs: nounwind uwtable
declare dso_local zeroext i16 @IpSecGetPlainExtHeadSize(ptr noundef, ptr noundef) #2

declare i64 @IpSecCryptoIoHmac(i8 noundef zeroext, ptr noundef, i64 noundef, ptr noundef, i64 noundef, ptr noundef, i64 noundef) #1

declare zeroext i16 @NetblockChecksum(ptr noundef, i32 noundef) #1

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

declare ptr @AllocateZeroPool(i64 noundef) #1

declare i32 @SwapBytes32(i32 noundef) #1

declare i64 @IpSecGetIcvLength(i8 noundef zeroext) #1

declare i64 @IpSecGetEncryptIvLength(i8 noundef zeroext) #1

declare i64 @IpSecGetEncryptBlockSize(i8 noundef zeroext) #1

; Function Attrs: nounwind uwtable
define dso_local i64 @IpSecEspOutboundPacket(i8 noundef zeroext %0, ptr noundef %1, ptr noundef %2, ptr noundef %3, ptr noundef %4, ptr noundef %5, ptr noundef %6, ptr noundef %7, ptr noundef %8) #2 {
  %10 = alloca i64, align 8
  %11 = alloca i8, align 1
  %12 = alloca ptr, align 8
  %13 = alloca ptr, align 8
  %14 = alloca ptr, align 8
  %15 = alloca ptr, align 8
  %16 = alloca ptr, align 8
  %17 = alloca ptr, align 8
  %18 = alloca ptr, align 8
  %19 = alloca ptr, align 8
  %20 = alloca i64, align 8
  %21 = alloca i64, align 8
  %22 = alloca ptr, align 8
  %23 = alloca ptr, align 8
  %24 = alloca ptr, align 8
  %25 = alloca ptr, align 8
  %26 = alloca i64, align 8
  %27 = alloca i64, align 8
  %28 = alloca i64, align 8
  %29 = alloca i64, align 8
  %30 = alloca i64, align 8
  %31 = alloca i64, align 8
  %32 = alloca i64, align 8
  %33 = alloca i64, align 8
  %34 = alloca ptr, align 8
  %35 = alloca ptr, align 8
  %36 = alloca ptr, align 8
  %37 = alloca ptr, align 8
  %38 = alloca ptr, align 8
  %39 = alloca [1 x %struct.HASH_DATA_FRAGMENT], align 16
  %40 = alloca i32, align 4
  store i8 %0, ptr %11, align 1, !tbaa !5
  store ptr %1, ptr %12, align 8, !tbaa !8
  store ptr %2, ptr %13, align 8, !tbaa !8
  store ptr %3, ptr %14, align 8, !tbaa !8
  store ptr %4, ptr %15, align 8, !tbaa !8
  store ptr %5, ptr %16, align 8, !tbaa !8
  store ptr %6, ptr %17, align 8, !tbaa !8
  store ptr %7, ptr %18, align 8, !tbaa !8
  store ptr %8, ptr %19, align 8, !tbaa !8
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %25) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %28) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %29) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %30) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %32) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %33) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %34) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %35) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %36) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %37) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %38) #3
  call void @llvm.lifetime.start.p0(i64 16, ptr %39) #3
  store i64 -9223372036854775793, ptr %20, align 8, !tbaa !10
  %41 = load ptr, ptr %18, align 8, !tbaa !8
  %42 = getelementptr inbounds %struct._IPSEC_SAD_ENTRY, ptr %41, i32 0, i32 0
  %43 = load ptr, ptr %42, align 8, !tbaa !12
  store ptr %43, ptr %22, align 8, !tbaa !8
  %44 = load ptr, ptr %18, align 8, !tbaa !8
  %45 = getelementptr inbounds %struct._IPSEC_SAD_ENTRY, ptr %44, i32 0, i32 1
  %46 = load ptr, ptr %45, align 8, !tbaa !15
  store ptr %46, ptr %23, align 8, !tbaa !8
  store ptr null, ptr %25, align 8, !tbaa !8
  store ptr null, ptr %24, align 8, !tbaa !8
  %47 = load ptr, ptr %19, align 8, !tbaa !8
  store ptr null, ptr %47, align 8, !tbaa !8
  store ptr null, ptr %38, align 8, !tbaa !8
  %48 = load ptr, ptr %23, align 8, !tbaa !8
  %49 = getelementptr inbounds %struct._IPSEC_SAD_DATA, ptr %48, i32 0, i32 10
  %50 = load i8, ptr %49, align 1, !tbaa !16
  %51 = icmp ne i8 %50, 0
  br i1 %51, label %65, label %52

52:                                               ; preds = %9
  %53 = load ptr, ptr %23, align 8, !tbaa !8
  %54 = getelementptr inbounds %struct._IPSEC_SAD_DATA, ptr %53, i32 0, i32 4
  %55 = getelementptr inbounds %struct._EFI_IPSEC_ESP_ALGO_INFO, ptr %54, i32 0, i32 2
  %56 = load ptr, ptr %55, align 8, !tbaa !5
  %57 = icmp eq ptr %56, null
  br i1 %57, label %58, label %65

58:                                               ; preds = %52
  %59 = load ptr, ptr %23, align 8, !tbaa !8
  %60 = getelementptr inbounds %struct._IPSEC_SAD_DATA, ptr %59, i32 0, i32 4
  %61 = getelementptr inbounds %struct._EFI_IPSEC_ESP_ALGO_INFO, ptr %60, i32 0, i32 5
  %62 = load ptr, ptr %61, align 8, !tbaa !5
  %63 = icmp eq ptr %62, null
  br i1 %63, label %64, label %65

64:                                               ; preds = %58
  br label %571

65:                                               ; preds = %58, %52, %9
  %66 = load ptr, ptr %23, align 8, !tbaa !8
  %67 = getelementptr inbounds %struct._IPSEC_SAD_DATA, ptr %66, i32 0, i32 0
  %68 = load i32, ptr %67, align 8, !tbaa !20
  %69 = icmp eq i32 %68, 1
  br i1 %69, label %70, label %84

70:                                               ; preds = %65
  %71 = load ptr, ptr %12, align 8, !tbaa !8
  %72 = load i8, ptr %11, align 1, !tbaa !5
  %73 = load ptr, ptr %23, align 8, !tbaa !8
  %74 = load ptr, ptr %13, align 8, !tbaa !8
  %75 = load ptr, ptr %14, align 8, !tbaa !8
  %76 = load ptr, ptr %15, align 8, !tbaa !8
  %77 = load ptr, ptr %16, align 8, !tbaa !8
  %78 = load ptr, ptr %17, align 8, !tbaa !8
  %79 = call ptr @IpSecTunnelOutboundPacket(ptr noundef %71, i8 noundef zeroext %72, ptr noundef %73, ptr noundef %74, ptr noundef %75, ptr noundef %76, ptr noundef %77, ptr noundef %78)
  store ptr %79, ptr %38, align 8, !tbaa !8
  %80 = load ptr, ptr %38, align 8, !tbaa !8
  %81 = icmp eq ptr %80, null
  br i1 %81, label %82, label %83

82:                                               ; preds = %70
  store i64 -9223372036854775806, ptr %10, align 8
  store i32 1, ptr %40, align 4
  br label %598

83:                                               ; preds = %70
  br label %84

84:                                               ; preds = %83, %65
  store i64 4, ptr %27, align 8, !tbaa !10
  %85 = load ptr, ptr %23, align 8, !tbaa !8
  %86 = getelementptr inbounds %struct._IPSEC_SAD_DATA, ptr %85, i32 0, i32 4
  %87 = getelementptr inbounds %struct._EFI_IPSEC_ESP_ALGO_INFO, ptr %86, i32 0, i32 2
  %88 = load ptr, ptr %87, align 8, !tbaa !5
  %89 = icmp ne ptr %88, null
  br i1 %89, label %90, label %109

90:                                               ; preds = %84
  %91 = load ptr, ptr %18, align 8, !tbaa !8
  %92 = getelementptr inbounds %struct._IPSEC_SAD_ENTRY, ptr %91, i32 0, i32 1
  %93 = load ptr, ptr %92, align 8, !tbaa !15
  %94 = getelementptr inbounds %struct._IPSEC_SAD_DATA, ptr %93, i32 0, i32 4
  %95 = getelementptr inbounds %struct._EFI_IPSEC_ESP_ALGO_INFO, ptr %94, i32 0, i32 0
  %96 = load i8, ptr %95, align 8, !tbaa !5
  %97 = call i64 @IpSecGetEncryptBlockSize(i8 noundef zeroext %96)
  store i64 %97, ptr %27, align 8, !tbaa !10
  %98 = load i64, ptr %27, align 8, !tbaa !10
  %99 = icmp slt i64 %98, 0
  br i1 %99, label %107, label %100

100:                                              ; preds = %90
  %101 = load i64, ptr %27, align 8, !tbaa !10
  %102 = icmp ne i64 %101, 1
  br i1 %102, label %103, label %108

103:                                              ; preds = %100
  %104 = load i64, ptr %27, align 8, !tbaa !10
  %105 = srem i64 %104, 4
  %106 = icmp ne i64 %105, 0
  br i1 %106, label %107, label %108

107:                                              ; preds = %103, %90
  br label %571

108:                                              ; preds = %103, %100
  br label %109

109:                                              ; preds = %108, %84
  store i64 0, ptr %30, align 8, !tbaa !10
  store i64 0, ptr %21, align 8, !tbaa !10
  br label %110

110:                                              ; preds = %126, %109
  %111 = load i64, ptr %21, align 8, !tbaa !10
  %112 = load ptr, ptr %17, align 8, !tbaa !8
  %113 = load i32, ptr %112, align 4, !tbaa !21
  %114 = zext i32 %113 to i64
  %115 = icmp ult i64 %111, %114
  br i1 %115, label %116, label %129

116:                                              ; preds = %110
  %117 = load ptr, ptr %16, align 8, !tbaa !8
  %118 = load ptr, ptr %117, align 8, !tbaa !8
  %119 = load i64, ptr %21, align 8, !tbaa !10
  %120 = getelementptr inbounds %struct._EFI_IPSEC_FRAGMENT_DATA, ptr %118, i64 %119
  %121 = getelementptr inbounds %struct._EFI_IPSEC_FRAGMENT_DATA, ptr %120, i32 0, i32 0
  %122 = load i32, ptr %121, align 8, !tbaa !22
  %123 = zext i32 %122 to i64
  %124 = load i64, ptr %30, align 8, !tbaa !10
  %125 = add i64 %124, %123
  store i64 %125, ptr %30, align 8, !tbaa !10
  br label %126

126:                                              ; preds = %116
  %127 = load i64, ptr %21, align 8, !tbaa !10
  %128 = add i64 %127, 1
  store i64 %128, ptr %21, align 8, !tbaa !10
  br label %110, !llvm.loop !24

129:                                              ; preds = %110
  %130 = load ptr, ptr %23, align 8, !tbaa !8
  %131 = getelementptr inbounds %struct._IPSEC_SAD_DATA, ptr %130, i32 0, i32 0
  %132 = load i32, ptr %131, align 8, !tbaa !20
  %133 = icmp eq i32 %132, 1
  br i1 %133, label %134, label %150

134:                                              ; preds = %129
  %135 = load i8, ptr %11, align 1, !tbaa !5
  %136 = zext i8 %135 to i32
  %137 = icmp eq i32 %136, 4
  br i1 %137, label %138, label %141

138:                                              ; preds = %134
  %139 = load i64, ptr %30, align 8, !tbaa !10
  %140 = add i64 %139, 20
  store i64 %140, ptr %30, align 8, !tbaa !10
  br label %144

141:                                              ; preds = %134
  %142 = load i64, ptr %30, align 8, !tbaa !10
  %143 = add i64 %142, 40
  store i64 %143, ptr %30, align 8, !tbaa !10
  br label %144

144:                                              ; preds = %141, %138
  %145 = load ptr, ptr %15, align 8, !tbaa !8
  %146 = load i32, ptr %145, align 4, !tbaa !21
  %147 = zext i32 %146 to i64
  %148 = load i64, ptr %30, align 8, !tbaa !10
  %149 = add i64 %148, %147
  store i64 %149, ptr %30, align 8, !tbaa !10
  br label %150

150:                                              ; preds = %144, %129
  store i64 0, ptr %33, align 8, !tbaa !10
  %151 = load ptr, ptr %23, align 8, !tbaa !8
  %152 = getelementptr inbounds %struct._IPSEC_SAD_DATA, ptr %151, i32 0, i32 4
  %153 = getelementptr inbounds %struct._EFI_IPSEC_ESP_ALGO_INFO, ptr %152, i32 0, i32 5
  %154 = load ptr, ptr %153, align 8, !tbaa !5
  %155 = icmp ne ptr %154, null
  br i1 %155, label %156, label %169

156:                                              ; preds = %150
  %157 = load ptr, ptr %18, align 8, !tbaa !8
  %158 = getelementptr inbounds %struct._IPSEC_SAD_ENTRY, ptr %157, i32 0, i32 1
  %159 = load ptr, ptr %158, align 8, !tbaa !15
  %160 = getelementptr inbounds %struct._IPSEC_SAD_DATA, ptr %159, i32 0, i32 4
  %161 = getelementptr inbounds %struct._EFI_IPSEC_ESP_ALGO_INFO, ptr %160, i32 0, i32 3
  %162 = load i8, ptr %161, align 8, !tbaa !5
  %163 = call i64 @IpSecGetIcvLength(i8 noundef zeroext %162)
  store i64 %163, ptr %33, align 8, !tbaa !10
  %164 = load i64, ptr %33, align 8, !tbaa !10
  %165 = urem i64 %164, 4
  %166 = icmp ne i64 %165, 0
  br i1 %166, label %167, label %168

167:                                              ; preds = %156
  br label %571

168:                                              ; preds = %156
  br label %169

169:                                              ; preds = %168, %150
  %170 = load ptr, ptr %18, align 8, !tbaa !8
  %171 = getelementptr inbounds %struct._IPSEC_SAD_ENTRY, ptr %170, i32 0, i32 1
  %172 = load ptr, ptr %171, align 8, !tbaa !15
  %173 = getelementptr inbounds %struct._IPSEC_SAD_DATA, ptr %172, i32 0, i32 4
  %174 = getelementptr inbounds %struct._EFI_IPSEC_ESP_ALGO_INFO, ptr %173, i32 0, i32 0
  %175 = load i8, ptr %174, align 8, !tbaa !5
  %176 = call i64 @IpSecGetEncryptIvLength(i8 noundef zeroext %175)
  store i64 %176, ptr %29, align 8, !tbaa !10
  %177 = load i64, ptr %30, align 8, !tbaa !10
  %178 = add i64 %177, 2
  %179 = load i64, ptr %27, align 8, !tbaa !10
  %180 = add i64 %178, %179
  %181 = sub i64 %180, 1
  %182 = load i64, ptr %27, align 8, !tbaa !10
  %183 = udiv i64 %181, %182
  %184 = load i64, ptr %27, align 8, !tbaa !10
  %185 = mul i64 %183, %184
  store i64 %185, ptr %32, align 8, !tbaa !10
  %186 = load i64, ptr %32, align 8, !tbaa !10
  %187 = load i64, ptr %30, align 8, !tbaa !10
  %188 = sub i64 %186, %187
  %189 = sub i64 %188, 2
  store i64 %189, ptr %31, align 8, !tbaa !10
  %190 = load i64, ptr %29, align 8, !tbaa !10
  %191 = add i64 8, %190
  %192 = load i64, ptr %32, align 8, !tbaa !10
  %193 = add i64 %191, %192
  %194 = load i64, ptr %33, align 8, !tbaa !10
  %195 = add i64 %193, %194
  store i64 %195, ptr %28, align 8, !tbaa !10
  %196 = load i64, ptr %28, align 8, !tbaa !10
  %197 = call ptr @AllocateZeroPool(i64 noundef %196)
  store ptr %197, ptr %25, align 8, !tbaa !8
  %198 = load ptr, ptr %25, align 8, !tbaa !8
  %199 = icmp eq ptr %198, null
  br i1 %199, label %200, label %201

200:                                              ; preds = %169
  store i64 -9223372036854775799, ptr %20, align 8, !tbaa !10
  br label %571

201:                                              ; preds = %169
  %202 = load ptr, ptr %25, align 8, !tbaa !8
  store ptr %202, ptr %36, align 8, !tbaa !8
  %203 = load ptr, ptr %36, align 8, !tbaa !8
  %204 = getelementptr inbounds %struct._EFI_ESP_HEADER, ptr %203, i64 1
  %205 = load i64, ptr %29, align 8, !tbaa !10
  %206 = getelementptr inbounds i8, ptr %204, i64 %205
  store ptr %206, ptr %34, align 8, !tbaa !8
  %207 = load ptr, ptr %34, align 8, !tbaa !8
  %208 = load i64, ptr %30, align 8, !tbaa !10
  %209 = getelementptr inbounds i8, ptr %207, i64 %208
  store ptr %209, ptr %35, align 8, !tbaa !8
  %210 = load ptr, ptr %35, align 8, !tbaa !8
  %211 = load i64, ptr %31, align 8, !tbaa !10
  %212 = getelementptr inbounds i8, ptr %210, i64 %211
  store ptr %212, ptr %37, align 8, !tbaa !8
  %213 = load ptr, ptr %23, align 8, !tbaa !8
  %214 = getelementptr inbounds %struct._IPSEC_SAD_DATA, ptr %213, i32 0, i32 1
  %215 = load i64, ptr %214, align 8, !tbaa !26
  %216 = trunc i64 %215 to i32
  %217 = add i32 %216, 1
  %218 = call i32 @SwapBytes32(i32 noundef %217)
  %219 = load ptr, ptr %36, align 8, !tbaa !8
  %220 = getelementptr inbounds %struct._EFI_ESP_HEADER, ptr %219, i32 0, i32 1
  store i32 %218, ptr %220, align 1, !tbaa !27
  %221 = load ptr, ptr %22, align 8, !tbaa !8
  %222 = getelementptr inbounds %struct._EFI_IPSEC_SA_ID, ptr %221, i32 0, i32 0
  %223 = load i32, ptr %222, align 4, !tbaa !29
  %224 = call i32 @SwapBytes32(i32 noundef %223)
  %225 = load ptr, ptr %36, align 8, !tbaa !8
  %226 = getelementptr inbounds %struct._EFI_ESP_HEADER, ptr %225, i32 0, i32 0
  store i32 %224, ptr %226, align 1, !tbaa !31
  store i64 0, ptr %26, align 8, !tbaa !10
  %227 = load ptr, ptr %23, align 8, !tbaa !8
  %228 = getelementptr inbounds %struct._IPSEC_SAD_DATA, ptr %227, i32 0, i32 0
  %229 = load i32, ptr %228, align 8, !tbaa !20
  %230 = icmp eq i32 %229, 1
  br i1 %230, label %231, label %299

231:                                              ; preds = %201
  %232 = load i8, ptr %11, align 1, !tbaa !5
  %233 = zext i8 %232 to i32
  %234 = icmp eq i32 %233, 4
  br i1 %234, label %235, label %276

235:                                              ; preds = %231
  %236 = load ptr, ptr %15, align 8, !tbaa !8
  %237 = load i32, ptr %236, align 4, !tbaa !21
  %238 = zext i32 %237 to i64
  %239 = add i64 20, %238
  %240 = lshr i64 %239, 2
  %241 = trunc i64 %240 to i8
  %242 = load ptr, ptr %38, align 8, !tbaa !8
  %243 = load i8, ptr %242, align 1
  %244 = and i8 %241, 15
  %245 = and i8 %243, -16
  %246 = or i8 %245, %244
  store i8 %246, ptr %242, align 1
  %247 = load i64, ptr %30, align 8, !tbaa !10
  %248 = trunc i64 %247 to i16
  %249 = call zeroext i16 @SwapBytes16(i16 noundef zeroext %248)
  %250 = load ptr, ptr %38, align 8, !tbaa !8
  %251 = getelementptr inbounds %struct.IP4_HEAD, ptr %250, i32 0, i32 2
  store i16 %249, ptr %251, align 1, !tbaa !32
  %252 = load ptr, ptr %38, align 8, !tbaa !8
  %253 = getelementptr inbounds %struct.IP4_HEAD, ptr %252, i32 0, i32 7
  store i16 0, ptr %253, align 1, !tbaa !35
  %254 = load ptr, ptr %38, align 8, !tbaa !8
  %255 = call zeroext i16 @NetblockChecksum(ptr noundef %254, i32 noundef 20)
  %256 = zext i16 %255 to i32
  %257 = xor i32 %256, -1
  %258 = trunc i32 %257 to i16
  %259 = load ptr, ptr %38, align 8, !tbaa !8
  %260 = getelementptr inbounds %struct.IP4_HEAD, ptr %259, i32 0, i32 7
  store i16 %258, ptr %260, align 1, !tbaa !35
  %261 = load ptr, ptr %34, align 8, !tbaa !8
  %262 = load i64, ptr %26, align 8, !tbaa !10
  %263 = getelementptr inbounds i8, ptr %261, i64 %262
  %264 = load ptr, ptr %38, align 8, !tbaa !8
  %265 = load ptr, ptr %15, align 8, !tbaa !8
  %266 = load i32, ptr %265, align 4, !tbaa !21
  %267 = zext i32 %266 to i64
  %268 = add i64 20, %267
  %269 = call ptr @CopyMem(ptr noundef %263, ptr noundef %264, i64 noundef %268)
  %270 = load ptr, ptr %15, align 8, !tbaa !8
  %271 = load i32, ptr %270, align 4, !tbaa !21
  %272 = zext i32 %271 to i64
  %273 = add i64 20, %272
  %274 = load i64, ptr %26, align 8, !tbaa !10
  %275 = add i64 %274, %273
  store i64 %275, ptr %26, align 8, !tbaa !10
  br label %298

276:                                              ; preds = %231
  %277 = load i64, ptr %30, align 8, !tbaa !10
  %278 = sub i64 %277, 40
  %279 = trunc i64 %278 to i16
  %280 = call zeroext i16 @SwapBytes16(i16 noundef zeroext %279)
  %281 = load ptr, ptr %38, align 8, !tbaa !8
  %282 = getelementptr inbounds %struct._EFI_IP6_HEADER, ptr %281, i32 0, i32 2
  store i16 %280, ptr %282, align 1, !tbaa !36
  %283 = load ptr, ptr %34, align 8, !tbaa !8
  %284 = load i64, ptr %26, align 8, !tbaa !10
  %285 = getelementptr inbounds i8, ptr %283, i64 %284
  %286 = load ptr, ptr %38, align 8, !tbaa !8
  %287 = load ptr, ptr %15, align 8, !tbaa !8
  %288 = load i32, ptr %287, align 4, !tbaa !21
  %289 = zext i32 %288 to i64
  %290 = add i64 40, %289
  %291 = call ptr @CopyMem(ptr noundef %285, ptr noundef %286, i64 noundef %290)
  %292 = load ptr, ptr %15, align 8, !tbaa !8
  %293 = load i32, ptr %292, align 4, !tbaa !21
  %294 = zext i32 %293 to i64
  %295 = add i64 40, %294
  %296 = load i64, ptr %26, align 8, !tbaa !10
  %297 = add i64 %296, %295
  store i64 %297, ptr %26, align 8, !tbaa !10
  br label %298

298:                                              ; preds = %276, %235
  br label %299

299:                                              ; preds = %298, %201
  store i64 0, ptr %21, align 8, !tbaa !10
  br label %300

300:                                              ; preds = %333, %299
  %301 = load i64, ptr %21, align 8, !tbaa !10
  %302 = load ptr, ptr %17, align 8, !tbaa !8
  %303 = load i32, ptr %302, align 4, !tbaa !21
  %304 = zext i32 %303 to i64
  %305 = icmp ult i64 %301, %304
  br i1 %305, label %306, label %336

306:                                              ; preds = %300
  %307 = load ptr, ptr %34, align 8, !tbaa !8
  %308 = load i64, ptr %26, align 8, !tbaa !10
  %309 = getelementptr inbounds i8, ptr %307, i64 %308
  %310 = load ptr, ptr %16, align 8, !tbaa !8
  %311 = load ptr, ptr %310, align 8, !tbaa !8
  %312 = load i64, ptr %21, align 8, !tbaa !10
  %313 = getelementptr inbounds %struct._EFI_IPSEC_FRAGMENT_DATA, ptr %311, i64 %312
  %314 = getelementptr inbounds %struct._EFI_IPSEC_FRAGMENT_DATA, ptr %313, i32 0, i32 1
  %315 = load ptr, ptr %314, align 8, !tbaa !39
  %316 = load ptr, ptr %16, align 8, !tbaa !8
  %317 = load ptr, ptr %316, align 8, !tbaa !8
  %318 = load i64, ptr %21, align 8, !tbaa !10
  %319 = getelementptr inbounds %struct._EFI_IPSEC_FRAGMENT_DATA, ptr %317, i64 %318
  %320 = getelementptr inbounds %struct._EFI_IPSEC_FRAGMENT_DATA, ptr %319, i32 0, i32 0
  %321 = load i32, ptr %320, align 8, !tbaa !22
  %322 = zext i32 %321 to i64
  %323 = call ptr @CopyMem(ptr noundef %309, ptr noundef %315, i64 noundef %322)
  %324 = load ptr, ptr %16, align 8, !tbaa !8
  %325 = load ptr, ptr %324, align 8, !tbaa !8
  %326 = load i64, ptr %21, align 8, !tbaa !10
  %327 = getelementptr inbounds %struct._EFI_IPSEC_FRAGMENT_DATA, ptr %325, i64 %326
  %328 = getelementptr inbounds %struct._EFI_IPSEC_FRAGMENT_DATA, ptr %327, i32 0, i32 0
  %329 = load i32, ptr %328, align 8, !tbaa !22
  %330 = zext i32 %329 to i64
  %331 = load i64, ptr %26, align 8, !tbaa !10
  %332 = add i64 %331, %330
  store i64 %332, ptr %26, align 8, !tbaa !10
  br label %333

333:                                              ; preds = %306
  %334 = load i64, ptr %21, align 8, !tbaa !10
  %335 = add i64 %334, 1
  store i64 %335, ptr %21, align 8, !tbaa !10
  br label %300, !llvm.loop !40

336:                                              ; preds = %300
  store i64 0, ptr %21, align 8, !tbaa !10
  br label %337

337:                                              ; preds = %348, %336
  %338 = load i64, ptr %21, align 8, !tbaa !10
  %339 = load i64, ptr %31, align 8, !tbaa !10
  %340 = icmp ult i64 %338, %339
  br i1 %340, label %341, label %351

341:                                              ; preds = %337
  %342 = load i64, ptr %21, align 8, !tbaa !10
  %343 = add i64 %342, 1
  %344 = trunc i64 %343 to i8
  %345 = load ptr, ptr %35, align 8, !tbaa !8
  %346 = load i64, ptr %21, align 8, !tbaa !10
  %347 = getelementptr inbounds i8, ptr %345, i64 %346
  store i8 %344, ptr %347, align 1, !tbaa !5
  br label %348

348:                                              ; preds = %341
  %349 = load i64, ptr %21, align 8, !tbaa !10
  %350 = add i64 %349, 1
  store i64 %350, ptr %21, align 8, !tbaa !10
  br label %337, !llvm.loop !41

351:                                              ; preds = %337
  %352 = load i64, ptr %31, align 8, !tbaa !10
  %353 = trunc i64 %352 to i8
  %354 = load ptr, ptr %37, align 8, !tbaa !8
  %355 = getelementptr inbounds %struct._EFI_ESP_TAIL, ptr %354, i32 0, i32 0
  store i8 %353, ptr %355, align 1, !tbaa !42
  %356 = load ptr, ptr %13, align 8, !tbaa !8
  %357 = load i8, ptr %356, align 1, !tbaa !5
  %358 = load ptr, ptr %37, align 8, !tbaa !8
  %359 = getelementptr inbounds %struct._EFI_ESP_TAIL, ptr %358, i32 0, i32 1
  store i8 %357, ptr %359, align 1, !tbaa !44
  %360 = load ptr, ptr %23, align 8, !tbaa !8
  %361 = getelementptr inbounds %struct._IPSEC_SAD_DATA, ptr %360, i32 0, i32 0
  %362 = load i32, ptr %361, align 8, !tbaa !20
  %363 = icmp eq i32 %362, 1
  br i1 %363, label %364, label %375

364:                                              ; preds = %351
  %365 = load i8, ptr %11, align 1, !tbaa !5
  %366 = zext i8 %365 to i32
  %367 = icmp eq i32 %366, 4
  br i1 %367, label %368, label %371

368:                                              ; preds = %364
  %369 = load ptr, ptr %37, align 8, !tbaa !8
  %370 = getelementptr inbounds %struct._EFI_ESP_TAIL, ptr %369, i32 0, i32 1
  store i8 4, ptr %370, align 1, !tbaa !44
  br label %374

371:                                              ; preds = %364
  %372 = load ptr, ptr %37, align 8, !tbaa !8
  %373 = getelementptr inbounds %struct._EFI_ESP_TAIL, ptr %372, i32 0, i32 1
  store i8 41, ptr %373, align 1, !tbaa !44
  br label %374

374:                                              ; preds = %371, %368
  br label %375

375:                                              ; preds = %374, %351
  %376 = load ptr, ptr %36, align 8, !tbaa !8
  %377 = getelementptr inbounds %struct._EFI_ESP_HEADER, ptr %376, i64 1
  %378 = load i64, ptr %29, align 8, !tbaa !10
  %379 = call i64 @IpSecGenerateIv(ptr noundef %377, i64 noundef %378)
  store i64 %379, ptr %20, align 8, !tbaa !10
  %380 = load i64, ptr %20, align 8, !tbaa !10
  %381 = icmp slt i64 %380, 0
  br i1 %381, label %382, label %383

382:                                              ; preds = %375
  br label %571

383:                                              ; preds = %375
  %384 = load ptr, ptr %23, align 8, !tbaa !8
  %385 = getelementptr inbounds %struct._IPSEC_SAD_DATA, ptr %384, i32 0, i32 4
  %386 = getelementptr inbounds %struct._EFI_IPSEC_ESP_ALGO_INFO, ptr %385, i32 0, i32 2
  %387 = load ptr, ptr %386, align 8, !tbaa !5
  %388 = icmp ne ptr %387, null
  br i1 %388, label %389, label %419

389:                                              ; preds = %383
  %390 = load ptr, ptr %18, align 8, !tbaa !8
  %391 = getelementptr inbounds %struct._IPSEC_SAD_ENTRY, ptr %390, i32 0, i32 1
  %392 = load ptr, ptr %391, align 8, !tbaa !15
  %393 = getelementptr inbounds %struct._IPSEC_SAD_DATA, ptr %392, i32 0, i32 4
  %394 = getelementptr inbounds %struct._EFI_IPSEC_ESP_ALGO_INFO, ptr %393, i32 0, i32 0
  %395 = load i8, ptr %394, align 8, !tbaa !5
  %396 = load ptr, ptr %18, align 8, !tbaa !8
  %397 = getelementptr inbounds %struct._IPSEC_SAD_ENTRY, ptr %396, i32 0, i32 1
  %398 = load ptr, ptr %397, align 8, !tbaa !15
  %399 = getelementptr inbounds %struct._IPSEC_SAD_DATA, ptr %398, i32 0, i32 4
  %400 = getelementptr inbounds %struct._EFI_IPSEC_ESP_ALGO_INFO, ptr %399, i32 0, i32 2
  %401 = load ptr, ptr %400, align 8, !tbaa !5
  %402 = load ptr, ptr %18, align 8, !tbaa !8
  %403 = getelementptr inbounds %struct._IPSEC_SAD_ENTRY, ptr %402, i32 0, i32 1
  %404 = load ptr, ptr %403, align 8, !tbaa !15
  %405 = getelementptr inbounds %struct._IPSEC_SAD_DATA, ptr %404, i32 0, i32 4
  %406 = getelementptr inbounds %struct._EFI_IPSEC_ESP_ALGO_INFO, ptr %405, i32 0, i32 1
  %407 = load i64, ptr %406, align 8, !tbaa !5
  %408 = shl i64 %407, 3
  %409 = load ptr, ptr %36, align 8, !tbaa !8
  %410 = getelementptr inbounds %struct._EFI_ESP_HEADER, ptr %409, i64 1
  %411 = load ptr, ptr %34, align 8, !tbaa !8
  %412 = load i64, ptr %32, align 8, !tbaa !10
  %413 = load ptr, ptr %34, align 8, !tbaa !8
  %414 = call i64 @IpSecCryptoIoEncrypt(i8 noundef zeroext %395, ptr noundef %401, i64 noundef %408, ptr noundef %410, ptr noundef %411, i64 noundef %412, ptr noundef %413)
  store i64 %414, ptr %20, align 8, !tbaa !10
  %415 = load i64, ptr %20, align 8, !tbaa !10
  %416 = icmp slt i64 %415, 0
  br i1 %416, label %417, label %418

417:                                              ; preds = %389
  br label %571

418:                                              ; preds = %389
  br label %419

419:                                              ; preds = %418, %383
  %420 = load ptr, ptr %23, align 8, !tbaa !8
  %421 = getelementptr inbounds %struct._IPSEC_SAD_DATA, ptr %420, i32 0, i32 4
  %422 = getelementptr inbounds %struct._EFI_IPSEC_ESP_ALGO_INFO, ptr %421, i32 0, i32 5
  %423 = load ptr, ptr %422, align 8, !tbaa !5
  %424 = icmp ne ptr %423, null
  br i1 %424, label %425, label %465

425:                                              ; preds = %419
  %426 = load ptr, ptr %25, align 8, !tbaa !8
  %427 = getelementptr inbounds [1 x %struct.HASH_DATA_FRAGMENT], ptr %39, i64 0, i64 0
  %428 = getelementptr inbounds %struct.HASH_DATA_FRAGMENT, ptr %427, i32 0, i32 1
  store ptr %426, ptr %428, align 8, !tbaa !45
  %429 = load i64, ptr %28, align 8, !tbaa !10
  %430 = load i64, ptr %33, align 8, !tbaa !10
  %431 = sub i64 %429, %430
  %432 = getelementptr inbounds [1 x %struct.HASH_DATA_FRAGMENT], ptr %39, i64 0, i64 0
  %433 = getelementptr inbounds %struct.HASH_DATA_FRAGMENT, ptr %432, i32 0, i32 0
  store i64 %431, ptr %433, align 16, !tbaa !47
  %434 = load ptr, ptr %18, align 8, !tbaa !8
  %435 = getelementptr inbounds %struct._IPSEC_SAD_ENTRY, ptr %434, i32 0, i32 1
  %436 = load ptr, ptr %435, align 8, !tbaa !15
  %437 = getelementptr inbounds %struct._IPSEC_SAD_DATA, ptr %436, i32 0, i32 4
  %438 = getelementptr inbounds %struct._EFI_IPSEC_ESP_ALGO_INFO, ptr %437, i32 0, i32 3
  %439 = load i8, ptr %438, align 8, !tbaa !5
  %440 = load ptr, ptr %18, align 8, !tbaa !8
  %441 = getelementptr inbounds %struct._IPSEC_SAD_ENTRY, ptr %440, i32 0, i32 1
  %442 = load ptr, ptr %441, align 8, !tbaa !15
  %443 = getelementptr inbounds %struct._IPSEC_SAD_DATA, ptr %442, i32 0, i32 4
  %444 = getelementptr inbounds %struct._EFI_IPSEC_ESP_ALGO_INFO, ptr %443, i32 0, i32 5
  %445 = load ptr, ptr %444, align 8, !tbaa !5
  %446 = load ptr, ptr %18, align 8, !tbaa !8
  %447 = getelementptr inbounds %struct._IPSEC_SAD_ENTRY, ptr %446, i32 0, i32 1
  %448 = load ptr, ptr %447, align 8, !tbaa !15
  %449 = getelementptr inbounds %struct._IPSEC_SAD_DATA, ptr %448, i32 0, i32 4
  %450 = getelementptr inbounds %struct._EFI_IPSEC_ESP_ALGO_INFO, ptr %449, i32 0, i32 4
  %451 = load i64, ptr %450, align 8, !tbaa !5
  %452 = getelementptr inbounds [1 x %struct.HASH_DATA_FRAGMENT], ptr %39, i64 0, i64 0
  %453 = load ptr, ptr %25, align 8, !tbaa !8
  %454 = load i64, ptr %28, align 8, !tbaa !10
  %455 = getelementptr inbounds i8, ptr %453, i64 %454
  %456 = load i64, ptr %33, align 8, !tbaa !10
  %457 = sub i64 0, %456
  %458 = getelementptr inbounds i8, ptr %455, i64 %457
  %459 = load i64, ptr %33, align 8, !tbaa !10
  %460 = call i64 @IpSecCryptoIoHmac(i8 noundef zeroext %439, ptr noundef %445, i64 noundef %451, ptr noundef %452, i64 noundef 1, ptr noundef %458, i64 noundef %459)
  store i64 %460, ptr %20, align 8, !tbaa !10
  %461 = load i64, ptr %20, align 8, !tbaa !10
  %462 = icmp slt i64 %461, 0
  br i1 %462, label %463, label %464

463:                                              ; preds = %425
  br label %571

464:                                              ; preds = %425
  br label %465

465:                                              ; preds = %464, %419
  %466 = call ptr @AllocateZeroPool(i64 noundef 16)
  store ptr %466, ptr %24, align 8, !tbaa !8
  %467 = load ptr, ptr %24, align 8, !tbaa !8
  %468 = icmp eq ptr %467, null
  br i1 %468, label %469, label %470

469:                                              ; preds = %465
  store i64 -9223372036854775799, ptr %20, align 8, !tbaa !10
  br label %571

470:                                              ; preds = %465
  %471 = load ptr, ptr @gBS, align 8, !tbaa !8
  %472 = getelementptr inbounds %struct.EFI_BOOT_SERVICES, ptr %471, i32 0, i32 8
  %473 = load ptr, ptr %472, align 8, !tbaa !48
  %474 = load ptr, ptr %24, align 8, !tbaa !8
  %475 = load ptr, ptr %19, align 8, !tbaa !8
  %476 = call i64 %473(i32 noundef 512, i64 noundef 16, ptr noundef @IpSecRecycleCallback, ptr noundef %474, ptr noundef %475)
  store i64 %476, ptr %20, align 8, !tbaa !10
  %477 = load i64, ptr %20, align 8, !tbaa !10
  %478 = icmp slt i64 %477, 0
  br i1 %478, label %479, label %480

479:                                              ; preds = %470
  br label %571

480:                                              ; preds = %470
  %481 = call ptr @AllocateZeroPool(i64 noundef 16)
  %482 = load ptr, ptr %16, align 8, !tbaa !8
  store ptr %481, ptr %482, align 8, !tbaa !8
  %483 = load ptr, ptr %16, align 8, !tbaa !8
  %484 = load ptr, ptr %483, align 8, !tbaa !8
  %485 = icmp eq ptr %484, null
  br i1 %485, label %486, label %487

486:                                              ; preds = %480
  store i64 -9223372036854775799, ptr %20, align 8, !tbaa !10
  br label %571

487:                                              ; preds = %480
  %488 = load ptr, ptr %16, align 8, !tbaa !8
  %489 = load ptr, ptr %488, align 8, !tbaa !8
  %490 = load ptr, ptr %24, align 8, !tbaa !8
  %491 = getelementptr inbounds %struct._IPSEC_RECYCLE_CONTEXT, ptr %490, i32 0, i32 0
  store ptr %489, ptr %491, align 8, !tbaa !51
  %492 = load ptr, ptr %25, align 8, !tbaa !8
  %493 = load ptr, ptr %24, align 8, !tbaa !8
  %494 = getelementptr inbounds %struct._IPSEC_RECYCLE_CONTEXT, ptr %493, i32 0, i32 1
  store ptr %492, ptr %494, align 8, !tbaa !53
  %495 = load ptr, ptr %25, align 8, !tbaa !8
  %496 = load ptr, ptr %16, align 8, !tbaa !8
  %497 = load ptr, ptr %496, align 8, !tbaa !8
  %498 = getelementptr inbounds %struct._EFI_IPSEC_FRAGMENT_DATA, ptr %497, i64 0
  %499 = getelementptr inbounds %struct._EFI_IPSEC_FRAGMENT_DATA, ptr %498, i32 0, i32 1
  store ptr %495, ptr %499, align 8, !tbaa !39
  %500 = load i64, ptr %28, align 8, !tbaa !10
  %501 = trunc i64 %500 to i32
  %502 = load ptr, ptr %16, align 8, !tbaa !8
  %503 = load ptr, ptr %502, align 8, !tbaa !8
  %504 = getelementptr inbounds %struct._EFI_IPSEC_FRAGMENT_DATA, ptr %503, i64 0
  %505 = getelementptr inbounds %struct._EFI_IPSEC_FRAGMENT_DATA, ptr %504, i32 0, i32 0
  store i32 %501, ptr %505, align 8, !tbaa !22
  %506 = load ptr, ptr %17, align 8, !tbaa !8
  store i32 1, ptr %506, align 4, !tbaa !21
  %507 = load i8, ptr %11, align 1, !tbaa !5
  %508 = zext i8 %507 to i32
  %509 = icmp eq i32 %508, 4
  br i1 %509, label %510, label %523

510:                                              ; preds = %487
  %511 = load ptr, ptr %12, align 8, !tbaa !8
  %512 = load i8, ptr %511, align 1
  %513 = and i8 %512, 15
  %514 = zext i8 %513 to i32
  %515 = shl i32 %514, 2
  %516 = sext i32 %515 to i64
  %517 = load i64, ptr %28, align 8, !tbaa !10
  %518 = add i64 %516, %517
  %519 = trunc i64 %518 to i16
  %520 = call zeroext i16 @SwapBytes16(i16 noundef zeroext %519)
  %521 = load ptr, ptr %12, align 8, !tbaa !8
  %522 = getelementptr inbounds %struct.IP4_HEAD, ptr %521, i32 0, i32 2
  store i16 %520, ptr %522, align 1, !tbaa !32
  br label %533

523:                                              ; preds = %487
  %524 = load ptr, ptr %12, align 8, !tbaa !8
  %525 = load ptr, ptr %13, align 8, !tbaa !8
  %526 = call zeroext i16 @IpSecGetPlainExtHeadSize(ptr noundef %524, ptr noundef %525)
  %527 = zext i16 %526 to i64
  %528 = load i64, ptr %28, align 8, !tbaa !10
  %529 = add i64 %527, %528
  %530 = trunc i64 %529 to i16
  %531 = load ptr, ptr %12, align 8, !tbaa !8
  %532 = getelementptr inbounds %struct._EFI_IP6_HEADER, ptr %531, i32 0, i32 2
  store i16 %530, ptr %532, align 1, !tbaa !36
  br label %533

533:                                              ; preds = %523, %510
  %534 = load ptr, ptr %23, align 8, !tbaa !8
  %535 = getelementptr inbounds %struct._IPSEC_SAD_DATA, ptr %534, i32 0, i32 0
  %536 = load i32, ptr %535, align 8, !tbaa !20
  %537 = icmp eq i32 %536, 1
  br i1 %537, label %538, label %565

538:                                              ; preds = %533
  %539 = load i8, ptr %11, align 1, !tbaa !5
  %540 = zext i8 %539 to i32
  %541 = icmp eq i32 %540, 4
  br i1 %541, label %542, label %553

542:                                              ; preds = %538
  %543 = load ptr, ptr %12, align 8, !tbaa !8
  %544 = getelementptr inbounds %struct.IP4_HEAD, ptr %543, i32 0, i32 8
  %545 = load ptr, ptr %23, align 8, !tbaa !8
  %546 = getelementptr inbounds %struct._IPSEC_SAD_DATA, ptr %545, i32 0, i32 12
  %547 = call ptr @CopyMem(ptr noundef %544, ptr noundef %546, i64 noundef 4)
  %548 = load ptr, ptr %12, align 8, !tbaa !8
  %549 = getelementptr inbounds %struct.IP4_HEAD, ptr %548, i32 0, i32 9
  %550 = load ptr, ptr %23, align 8, !tbaa !8
  %551 = getelementptr inbounds %struct._IPSEC_SAD_DATA, ptr %550, i32 0, i32 11
  %552 = call ptr @CopyMem(ptr noundef %549, ptr noundef %551, i64 noundef 4)
  br label %564

553:                                              ; preds = %538
  %554 = load ptr, ptr %12, align 8, !tbaa !8
  %555 = getelementptr inbounds %struct._EFI_IP6_HEADER, ptr %554, i32 0, i32 5
  %556 = load ptr, ptr %23, align 8, !tbaa !8
  %557 = getelementptr inbounds %struct._IPSEC_SAD_DATA, ptr %556, i32 0, i32 12
  %558 = call ptr @CopyMem(ptr noundef %555, ptr noundef %557, i64 noundef 16)
  %559 = load ptr, ptr %12, align 8, !tbaa !8
  %560 = getelementptr inbounds %struct._EFI_IP6_HEADER, ptr %559, i32 0, i32 6
  %561 = load ptr, ptr %23, align 8, !tbaa !8
  %562 = getelementptr inbounds %struct._IPSEC_SAD_DATA, ptr %561, i32 0, i32 11
  %563 = call ptr @CopyMem(ptr noundef %560, ptr noundef %562, i64 noundef 16)
  br label %564

564:                                              ; preds = %553, %542
  br label %565

565:                                              ; preds = %564, %533
  %566 = load ptr, ptr %13, align 8, !tbaa !8
  store i8 50, ptr %566, align 1, !tbaa !5
  %567 = load ptr, ptr %23, align 8, !tbaa !8
  %568 = getelementptr inbounds %struct._IPSEC_SAD_DATA, ptr %567, i32 0, i32 1
  %569 = load i64, ptr %568, align 8, !tbaa !26
  %570 = add i64 %569, 1
  store i64 %570, ptr %568, align 8, !tbaa !26
  br label %571

571:                                              ; preds = %565, %486, %479, %469, %463, %417, %382, %200, %167, %107, %64
  %572 = load i64, ptr %20, align 8, !tbaa !10
  %573 = icmp slt i64 %572, 0
  br i1 %573, label %574, label %596

574:                                              ; preds = %571
  %575 = load ptr, ptr %25, align 8, !tbaa !8
  %576 = icmp ne ptr %575, null
  br i1 %576, label %577, label %579

577:                                              ; preds = %574
  %578 = load ptr, ptr %25, align 8, !tbaa !8
  call void @FreePool(ptr noundef %578)
  br label %579

579:                                              ; preds = %577, %574
  %580 = load ptr, ptr %24, align 8, !tbaa !8
  %581 = icmp ne ptr %580, null
  br i1 %581, label %582, label %584

582:                                              ; preds = %579
  %583 = load ptr, ptr %24, align 8, !tbaa !8
  call void @FreePool(ptr noundef %583)
  br label %584

584:                                              ; preds = %582, %579
  %585 = load ptr, ptr %19, align 8, !tbaa !8
  %586 = load ptr, ptr %585, align 8, !tbaa !8
  %587 = icmp ne ptr %586, null
  br i1 %587, label %588, label %595

588:                                              ; preds = %584
  %589 = load ptr, ptr @gBS, align 8, !tbaa !8
  %590 = getelementptr inbounds %struct.EFI_BOOT_SERVICES, ptr %589, i32 0, i32 12
  %591 = load ptr, ptr %590, align 8, !tbaa !54
  %592 = load ptr, ptr %19, align 8, !tbaa !8
  %593 = load ptr, ptr %592, align 8, !tbaa !8
  %594 = call i64 %591(ptr noundef %593)
  br label %595

595:                                              ; preds = %588, %584
  br label %596

596:                                              ; preds = %595, %571
  %597 = load i64, ptr %20, align 8, !tbaa !10
  store i64 %597, ptr %10, align 8
  store i32 1, ptr %40, align 4
  br label %598

598:                                              ; preds = %596, %82
  call void @llvm.lifetime.end.p0(i64 16, ptr %39) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %38) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %37) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %36) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #3
  %599 = load i64, ptr %10, align 8
  ret i64 %599
}

declare i64 @IpSecGenerateIv(ptr noundef, i64 noundef) #1

declare i64 @IpSecCryptoIoEncrypt(i8 noundef zeroext, ptr noundef, i64 noundef, ptr noundef, ptr noundef, i64 noundef, ptr noundef) #1

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 = { 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 = { nounwind }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"omnipotent char", !7, i64 0}
!7 = !{!"Simple C/C++ TBAA"}
!8 = !{!9, !9, i64 0}
!9 = !{!"any pointer", !6, i64 0}
!10 = !{!11, !11, i64 0}
!11 = !{!"long long", !6, i64 0}
!12 = !{!13, !9, i64 0}
!13 = !{!"_IPSEC_SAD_ENTRY", !9, i64 0, !9, i64 8, !14, i64 16, !14, i64 32}
!14 = !{!"_LIST_ENTRY", !9, i64 0, !9, i64 8}
!15 = !{!13, !9, i64 8}
!16 = !{!17, !6, i64 153}
!17 = !{!"_IPSEC_SAD_DATA", !18, i64 0, !11, i64 8, !6, i64 16, !6, i64 24, !6, i64 56, !19, i64 104, !18, i64 128, !9, i64 136, !9, i64 144, !6, i64 152, !6, i64 153, !6, i64 156, !6, i64 172}
!18 = !{!"int", !6, i64 0}
!19 = !{!"_EFI_IPSEC_SA_LIFETIME", !11, i64 0, !11, i64 8, !11, i64 16}
!20 = !{!17, !18, i64 0}
!21 = !{!18, !18, i64 0}
!22 = !{!23, !18, i64 0}
!23 = !{!"_EFI_IPSEC_FRAGMENT_DATA", !18, i64 0, !9, i64 8}
!24 = distinct !{!24, !25}
!25 = !{!"llvm.loop.mustprogress"}
!26 = !{!17, !11, i64 8}
!27 = !{!28, !18, i64 4}
!28 = !{!"_EFI_ESP_HEADER", !18, i64 0, !18, i64 4}
!29 = !{!30, !18, i64 0}
!30 = !{!"_EFI_IPSEC_SA_ID", !18, i64 0, !18, i64 4, !6, i64 8}
!31 = !{!28, !18, i64 0}
!32 = !{!33, !34, i64 2}
!33 = !{!"", !6, i64 0, !6, i64 0, !6, i64 1, !34, i64 2, !34, i64 4, !34, i64 6, !6, i64 8, !6, i64 9, !34, i64 10, !18, i64 12, !18, i64 16}
!34 = !{!"short", !6, i64 0}
!35 = !{!33, !34, i64 10}
!36 = !{!37, !34, i64 4}
!37 = !{!"_EFI_IP6_HEADER", !6, i64 0, !6, i64 0, !6, i64 1, !6, i64 1, !34, i64 2, !34, i64 4, !6, i64 6, !6, i64 7, !38, i64 8, !38, i64 24}
!38 = !{!"", !6, i64 0}
!39 = !{!23, !9, i64 8}
!40 = distinct !{!40, !25}
!41 = distinct !{!41, !25}
!42 = !{!43, !6, i64 0}
!43 = !{!"_EFI_ESP_TAIL", !6, i64 0, !6, i64 1}
!44 = !{!43, !6, i64 1}
!45 = !{!46, !9, i64 8}
!46 = !{!"", !11, i64 0, !9, i64 8}
!47 = !{!46, !11, i64 0}
!48 = !{!49, !9, i64 80}
!49 = !{!"", !50, i64 0, !9, i64 24, !9, i64 32, !9, i64 40, !9, i64 48, !9, i64 56, !9, i64 64, !9, i64 72, !9, i64 80, !9, i64 88, !9, i64 96, !9, i64 104, !9, i64 112, !9, i64 120, !9, i64 128, !9, i64 136, !9, i64 144, !9, i64 152, !9, i64 160, !9, i64 168, !9, i64 176, !9, i64 184, !9, i64 192, !9, i64 200, !9, i64 208, !9, i64 216, !9, i64 224, !9, i64 232, !9, i64 240, !9, i64 248, !9, i64 256, !9, i64 264, !9, i64 272, !9, i64 280, !9, i64 288, !9, i64 296, !9, i64 304, !9, i64 312, !9, i64 320, !9, i64 328, !9, i64 336, !9, i64 344, !9, i64 352, !9, i64 360, !9, i64 368}
!50 = !{!"", !11, i64 0, !18, i64 8, !18, i64 12, !18, i64 16, !18, i64 20}
!51 = !{!52, !9, i64 0}
!52 = !{!"_IPSEC_RECYCLE_CONTEXT", !9, i64 0, !9, i64 8}
!53 = !{!52, !9, i64 8}
!54 = !{!49, !9, i64 112}


; Optimized IR (opt -passes='default<O3>'):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%struct.HASH_DATA_FRAGMENT = type { i64, ptr }
%struct._EFI_IPSEC_FRAGMENT_DATA = type { i32, ptr }

@gBS = external local_unnamed_addr global ptr, align 8

; 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

declare ptr @CopyMem(ptr noundef, ptr noundef, i64 noundef) local_unnamed_addr #1

declare zeroext i16 @SwapBytes16(i16 noundef zeroext) local_unnamed_addr #1

; Function Attrs: nounwind uwtable
declare dso_local void @IpSecRecycleCallback(ptr noundef, ptr noundef) #2

declare void @FreePool(ptr noundef) local_unnamed_addr #1

; Function Attrs: nounwind uwtable
declare dso_local zeroext i16 @IpSecGetPlainExtHeadSize(ptr noundef, ptr noundef) local_unnamed_addr #2

declare i64 @IpSecCryptoIoHmac(i8 noundef zeroext, ptr noundef, i64 noundef, ptr noundef, i64 noundef, ptr noundef, i64 noundef) local_unnamed_addr #1

declare zeroext i16 @NetblockChecksum(ptr noundef, i32 noundef) local_unnamed_addr #1

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

declare ptr @AllocateZeroPool(i64 noundef) local_unnamed_addr #1

declare i32 @SwapBytes32(i32 noundef) local_unnamed_addr #1

declare i64 @IpSecGetIcvLength(i8 noundef zeroext) local_unnamed_addr #1

declare i64 @IpSecGetEncryptIvLength(i8 noundef zeroext) local_unnamed_addr #1

declare i64 @IpSecGetEncryptBlockSize(i8 noundef zeroext) local_unnamed_addr #1

; Function Attrs: nounwind uwtable
define dso_local i64 @IpSecEspOutboundPacket(i8 noundef zeroext %0, ptr noundef %1, ptr noundef %2, ptr noundef %3, ptr noundef %4, ptr noundef %5, ptr noundef %6, ptr nocapture noundef readonly %7, ptr noundef %8) local_unnamed_addr #2 {
  %10 = alloca [1 x %struct.HASH_DATA_FRAGMENT], align 16
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %10) #3
  %11 = load ptr, ptr %7, align 8, !tbaa !5
  %12 = getelementptr inbounds i8, ptr %7, i64 8
  %13 = load ptr, ptr %12, align 8, !tbaa !11
  store ptr null, ptr %8, align 8, !tbaa !12
  %14 = getelementptr inbounds i8, ptr %13, i64 153
  %15 = load i8, ptr %14, align 1, !tbaa !13
  %.not = icmp eq i8 %15, 0
  br i1 %.not, label %16, label %24

16:                                               ; preds = %9
  %17 = getelementptr inbounds i8, ptr %13, i64 72
  %18 = load ptr, ptr %17, align 8, !tbaa !18
  %19 = icmp eq ptr %18, null
  br i1 %19, label %20, label %24

20:                                               ; preds = %16
  %21 = getelementptr inbounds i8, ptr %13, i64 96
  %22 = load ptr, ptr %21, align 8, !tbaa !18
  %23 = icmp eq ptr %22, null
  br i1 %23, label %.thread232, label %24

24:                                               ; preds = %20, %16, %9
  %25 = load i32, ptr %13, align 8, !tbaa !19
  %26 = icmp eq i32 %25, 1
  br i1 %26, label %27, label %30

27:                                               ; preds = %24
  %28 = tail call ptr @IpSecTunnelOutboundPacket(ptr noundef %1, i8 noundef zeroext %0, ptr noundef nonnull %13, ptr noundef %2, ptr noundef %3, ptr noundef %4, ptr noundef %5, ptr noundef %6)
  %29 = icmp eq ptr %28, null
  br i1 %29, label %273, label %30

30:                                               ; preds = %27, %24
  %.0 = phi ptr [ %28, %27 ], [ null, %24 ]
  %31 = getelementptr inbounds i8, ptr %13, i64 72
  %32 = load ptr, ptr %31, align 8, !tbaa !18
  %.not201 = icmp eq ptr %32, null
  br i1 %.not201, label %42, label %33

33:                                               ; preds = %30
  %34 = load ptr, ptr %12, align 8, !tbaa !11
  %35 = getelementptr inbounds i8, ptr %34, i64 56
  %36 = load i8, ptr %35, align 8, !tbaa !18
  %37 = tail call i64 @IpSecGetEncryptBlockSize(i8 noundef zeroext %36) #3
  %38 = icmp slt i64 %37, 0
  br i1 %38, label %.thread232, label %39

39:                                               ; preds = %33
  %.not202 = icmp eq i64 %37, 1
  br i1 %.not202, label %42, label %40

40:                                               ; preds = %39
  %41 = and i64 %37, 3
  %.not203 = icmp eq i64 %41, 0
  br i1 %.not203, label %42, label %.thread232

42:                                               ; preds = %39, %40, %30
  %.0186 = phi i64 [ %37, %40 ], [ 1, %39 ], [ 4, %30 ]
  %43 = load i32, ptr %6, align 4, !tbaa !20
  %44 = zext i32 %43 to i64
  %.not251 = icmp eq i32 %43, 0
  br i1 %.not251, label %._crit_edge, label %.lr.ph

.lr.ph:                                           ; preds = %42
  %45 = load ptr, ptr %5, align 8, !tbaa !12
  %xtraiter = and i64 %44, 3
  %46 = icmp ult i32 %43, 4
  br i1 %46, label %._crit_edge.loopexit.unr-lcssa, label %.lr.ph.new

.lr.ph.new:                                       ; preds = %.lr.ph
  %unroll_iter = and i64 %44, 4294967292
  br label %47

47:                                               ; preds = %47, %.lr.ph.new
  %.0177243 = phi i64 [ 0, %.lr.ph.new ], [ %67, %47 ]
  %.0183242 = phi i64 [ 0, %.lr.ph.new ], [ %66, %47 ]
  %niter = phi i64 [ 0, %.lr.ph.new ], [ %niter.next.3, %47 ]
  %48 = getelementptr inbounds %struct._EFI_IPSEC_FRAGMENT_DATA, ptr %45, i64 %.0177243
  %49 = load i32, ptr %48, align 8, !tbaa !21
  %50 = zext i32 %49 to i64
  %51 = add i64 %.0183242, %50
  %52 = or disjoint i64 %.0177243, 1
  %53 = getelementptr inbounds %struct._EFI_IPSEC_FRAGMENT_DATA, ptr %45, i64 %52
  %54 = load i32, ptr %53, align 8, !tbaa !21
  %55 = zext i32 %54 to i64
  %56 = add i64 %51, %55
  %57 = or disjoint i64 %.0177243, 2
  %58 = getelementptr inbounds %struct._EFI_IPSEC_FRAGMENT_DATA, ptr %45, i64 %57
  %59 = load i32, ptr %58, align 8, !tbaa !21
  %60 = zext i32 %59 to i64
  %61 = add i64 %56, %60
  %62 = or disjoint i64 %.0177243, 3
  %63 = getelementptr inbounds %struct._EFI_IPSEC_FRAGMENT_DATA, ptr %45, i64 %62
  %64 = load i32, ptr %63, align 8, !tbaa !21
  %65 = zext i32 %64 to i64
  %66 = add i64 %61, %65
  %67 = add nuw nsw i64 %.0177243, 4
  %niter.next.3 = add i64 %niter, 4
  %niter.ncmp.3 = icmp eq i64 %niter.next.3, %unroll_iter
  br i1 %niter.ncmp.3, label %._crit_edge.loopexit.unr-lcssa, label %47, !llvm.loop !23

._crit_edge.loopexit.unr-lcssa:                   ; preds = %47, %.lr.ph
  %.lcssa.ph = phi i64 [ poison, %.lr.ph ], [ %66, %47 ]
  %.0177243.unr = phi i64 [ 0, %.lr.ph ], [ %67, %47 ]
  %.0183242.unr = phi i64 [ 0, %.lr.ph ], [ %66, %47 ]
  %lcmp.mod.not = icmp eq i64 %xtraiter, 0
  br i1 %lcmp.mod.not, label %._crit_edge, label %.epil.preheader

.epil.preheader:                                  ; preds = %._crit_edge.loopexit.unr-lcssa, %.epil.preheader
  %.0177243.epil = phi i64 [ %72, %.epil.preheader ], [ %.0177243.unr, %._crit_edge.loopexit.unr-lcssa ]
  %.0183242.epil = phi i64 [ %71, %.epil.preheader ], [ %.0183242.unr, %._crit_edge.loopexit.unr-lcssa ]
  %epil.iter = phi i64 [ %epil.iter.next, %.epil.preheader ], [ 0, %._crit_edge.loopexit.unr-lcssa ]
  %68 = getelementptr inbounds %struct._EFI_IPSEC_FRAGMENT_DATA, ptr %45, i64 %.0177243.epil
  %69 = load i32, ptr %68, align 8, !tbaa !21
  %70 = zext i32 %69 to i64
  %71 = add i64 %.0183242.epil, %70
  %72 = add nuw nsw i64 %.0177243.epil, 1
  %epil.iter.next = add i64 %epil.iter, 1
  %epil.iter.cmp.not = icmp eq i64 %epil.iter.next, %xtraiter
  br i1 %epil.iter.cmp.not, label %._crit_edge, label %.epil.preheader, !llvm.loop !25

._crit_edge:                                      ; preds = %._crit_edge.loopexit.unr-lcssa, %.epil.preheader, %42
  %.0183.lcssa = phi i64 [ 0, %42 ], [ %.lcssa.ph, %._crit_edge.loopexit.unr-lcssa ], [ %71, %.epil.preheader ]
  %73 = load i32, ptr %13, align 8, !tbaa !19
  %74 = icmp eq i32 %73, 1
  br i1 %74, label %75, label %80

75:                                               ; preds = %._crit_edge
  %76 = icmp eq i8 %0, 4
  %.1184.v = select i1 %76, i64 20, i64 40
  %.1184 = add i64 %.0183.lcssa, %.1184.v
  %77 = load i32, ptr %4, align 4, !tbaa !20
  %78 = zext i32 %77 to i64
  %79 = add i64 %.1184, %78
  br label %80

80:                                               ; preds = %75, %._crit_edge
  %.2185 = phi i64 [ %79, %75 ], [ %.0183.lcssa, %._crit_edge ]
  %81 = getelementptr inbounds i8, ptr %13, i64 96
  %82 = load ptr, ptr %81, align 8, !tbaa !18
  %.not204 = icmp eq ptr %82, null
  br i1 %.not204, label %89, label %83

83:                                               ; preds = %80
  %84 = load ptr, ptr %12, align 8, !tbaa !11
  %85 = getelementptr inbounds i8, ptr %84, i64 80
  %86 = load i8, ptr %85, align 8, !tbaa !18
  %87 = tail call i64 @IpSecGetIcvLength(i8 noundef zeroext %86) #3
  %88 = and i64 %87, 3
  %.not205 = icmp eq i64 %88, 0
  br i1 %.not205, label %89, label %.thread232

89:                                               ; preds = %83, %80
  %.0179 = phi i64 [ %87, %83 ], [ 0, %80 ]
  %90 = load ptr, ptr %12, align 8, !tbaa !11
  %91 = getelementptr inbounds i8, ptr %90, i64 56
  %92 = load i8, ptr %91, align 8, !tbaa !18
  %93 = tail call i64 @IpSecGetEncryptIvLength(i8 noundef zeroext %92) #3
  %94 = add nuw i64 %.0186, 2
  %95 = add i64 %94, %.2185
  %.fr206 = freeze i64 %95
  %96 = add i64 %.fr206, -1
  %97 = urem i64 %96, %.0186
  %98 = sub nuw i64 %96, %97
  %99 = sub i64 %98, %.2185
  %100 = add i64 %99, -2
  %101 = add i64 %93, 8
  %102 = add i64 %101, %98
  %103 = add i64 %102, %.0179
  %104 = tail call ptr @AllocateZeroPool(i64 noundef %103) #3
  %105 = icmp eq ptr %104, null
  br i1 %105, label %.thread232, label %106

106:                                              ; preds = %89
  %107 = getelementptr inbounds i8, ptr %104, i64 8
  %108 = getelementptr inbounds i8, ptr %107, i64 %93
  %109 = getelementptr inbounds i8, ptr %108, i64 %.2185
  %110 = getelementptr inbounds i8, ptr %109, i64 %100
  %111 = getelementptr inbounds i8, ptr %13, i64 8
  %112 = load i64, ptr %111, align 8, !tbaa !27
  %113 = trunc i64 %112 to i32
  %114 = add i32 %113, 1
  %115 = tail call i32 @SwapBytes32(i32 noundef %114) #3
  %116 = getelementptr inbounds i8, ptr %104, i64 4
  store i32 %115, ptr %116, align 1, !tbaa !28
  %117 = load i32, ptr %11, align 4, !tbaa !30
  %118 = tail call i32 @SwapBytes32(i32 noundef %117) #3
  store i32 %118, ptr %104, align 1, !tbaa !32
  %119 = load i32, ptr %13, align 8, !tbaa !19
  %120 = icmp eq i32 %119, 1
  br i1 %120, label %121, label %154

121:                                              ; preds = %106
  %122 = icmp eq i8 %0, 4
  br i1 %122, label %123, label %142

123:                                              ; preds = %121
  %124 = load i32, ptr %4, align 4, !tbaa !20
  %125 = trunc i32 %124 to i8
  %126 = add i8 %125, 20
  %127 = lshr i8 %126, 2
  %128 = load i8, ptr %.0, align 1
  %129 = and i8 %127, 15
  %130 = and i8 %128, -16
  %131 = or disjoint i8 %129, %130
  store i8 %131, ptr %.0, align 1
  %132 = trunc i64 %.2185 to i16
  %133 = tail call zeroext i16 @SwapBytes16(i16 noundef zeroext %132) #3
  %134 = getelementptr inbounds i8, ptr %.0, i64 2
  store i16 %133, ptr %134, align 1, !tbaa !33
  %135 = getelementptr inbounds i8, ptr %.0, i64 10
  store i16 0, ptr %135, align 1, !tbaa !36
  %136 = tail call zeroext i16 @NetblockChecksum(ptr noundef nonnull %.0, i32 noundef 20) #3
  %137 = xor i16 %136, -1
  store i16 %137, ptr %135, align 1, !tbaa !36
  %138 = load i32, ptr %4, align 4, !tbaa !20
  %139 = zext i32 %138 to i64
  %140 = add nuw nsw i64 %139, 20
  %141 = tail call ptr @CopyMem(ptr noundef nonnull %108, ptr noundef nonnull %.0, i64 noundef %140) #3
  br label %.sink.split

142:                                              ; preds = %121
  %143 = trunc i64 %.2185 to i16
  %144 = add i16 %143, -40
  %145 = tail call zeroext i16 @SwapBytes16(i16 noundef zeroext %144) #3
  %146 = getelementptr inbounds i8, ptr %.0, i64 4
  store i16 %145, ptr %146, align 1, !tbaa !37
  %147 = load i32, ptr %4, align 4, !tbaa !20
  %148 = zext i32 %147 to i64
  %149 = add nuw nsw i64 %148, 40
  %150 = tail call ptr @CopyMem(ptr noundef nonnull %108, ptr noundef %.0, i64 noundef %149) #3
  br label %.sink.split

.sink.split:                                      ; preds = %142, %123
  %.sink254 = phi i64 [ 20, %123 ], [ 40, %142 ]
  %151 = load i32, ptr %4, align 4, !tbaa !20
  %152 = zext i32 %151 to i64
  %153 = add nuw nsw i64 %.sink254, %152
  br label %154

154:                                              ; preds = %.sink.split, %106
  %.0181 = phi i64 [ 0, %106 ], [ %153, %.sink.split ]
  %155 = load i32, ptr %6, align 4, !tbaa !20
  %.not252 = icmp eq i32 %155, 0
  br i1 %.not252, label %.preheader, label %.lr.ph247.preheader

.lr.ph247.preheader:                              ; preds = %154
  %.pre = load ptr, ptr %5, align 8, !tbaa !12
  br label %.lr.ph247

.preheader:                                       ; preds = %.lr.ph247, %154
  %.not253 = icmp eq i64 %100, 0
  br i1 %.not253, label %._crit_edge250, label %iter.check

iter.check:                                       ; preds = %.preheader
  %min.iters.check = icmp ult i64 %100, 8
  br i1 %min.iters.check, label %.lr.ph249.preheader, label %vector.main.loop.iter.check

vector.main.loop.iter.check:                      ; preds = %iter.check
  %min.iters.check267 = icmp ult i64 %100, 16
  br i1 %min.iters.check267, label %vec.epilog.ph, label %vector.ph

vector.ph:                                        ; preds = %vector.main.loop.iter.check
  %n.vec = and i64 %100, -16
  br label %vector.body

vector.body:                                      ; preds = %vector.body, %vector.ph
  %index = phi i64 [ 0, %vector.ph ], [ %index.next, %vector.body ]
  %vec.ind = phi <16 x i64> [ <i64 0, i64 1, i64 2, i64 3, i64 4, i64 5, i64 6, i64 7, i64 8, i64 9, i64 10, i64 11, i64 12, i64 13, i64 14, i64 15>, %vector.ph ], [ %vec.ind.next, %vector.body ]
  %156 = trunc <16 x i64> %vec.ind to <16 x i8>
  %157 = add <16 x i8> %156, <i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1>
  %158 = getelementptr inbounds i8, ptr %109, i64 %index
  store <16 x i8> %157, ptr %158, align 1, !tbaa !18
  %index.next = add nuw i64 %index, 16
  %vec.ind.next = add <16 x i64> %vec.ind, <i64 16, i64 16, i64 16, i64 16, i64 16, i64 16, i64 16, i64 16, i64 16, i64 16, i64 16, i64 16, i64 16, i64 16, i64 16, i64 16>
  %159 = icmp eq i64 %index.next, %n.vec
  br i1 %159, label %middle.block, label %vector.body, !llvm.loop !40

middle.block:                                     ; preds = %vector.body
  %cmp.n = icmp eq i64 %100, %n.vec
  br i1 %cmp.n, label %._crit_edge250, label %vec.epilog.iter.check

vec.epilog.iter.check:                            ; preds = %middle.block
  %n.vec.remaining = and i64 %100, 8
  %min.epilog.iters.check.not.not = icmp eq i64 %n.vec.remaining, 0
  br i1 %min.epilog.iters.check.not.not, label %.lr.ph249.preheader, label %vec.epilog.ph

.lr.ph249.preheader:                              ; preds = %vec.epilog.middle.block, %iter.check, %vec.epilog.iter.check
  %.2248.ph = phi i64 [ 0, %iter.check ], [ %n.vec, %vec.epilog.iter.check ], [ %n.vec269, %vec.epilog.middle.block ]
  br label %.lr.ph249

vec.epilog.ph:                                    ; preds = %vector.main.loop.iter.check, %vec.epilog.iter.check
  %vec.epilog.resume.val = phi i64 [ %n.vec, %vec.epilog.iter.check ], [ 0, %vector.main.loop.iter.check ]
  %n.vec269 = and i64 %100, -8
  %.splatinsert = insertelement <8 x i64> poison, i64 %vec.epilog.resume.val, i64 0
  %.splat = shufflevector <8 x i64> %.splatinsert, <8 x i64> poison, <8 x i32> zeroinitializer
  %induction = or disjoint <8 x i64> %.splat, <i64 0, i64 1, i64 2, i64 3, i64 4, i64 5, i64 6, i64 7>
  br label %vec.epilog.vector.body

vec.epilog.vector.body:                           ; preds = %vec.epilog.vector.body, %vec.epilog.ph
  %index271 = phi i64 [ %vec.epilog.resume.val, %vec.epilog.ph ], [ %index.next274, %vec.epilog.vector.body ]
  %vec.ind272 = phi <8 x i64> [ %induction, %vec.epilog.ph ], [ %vec.ind.next273, %vec.epilog.vector.body ]
  %160 = trunc <8 x i64> %vec.ind272 to <8 x i8>
  %161 = add <8 x i8> %160, <i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1>
  %162 = getelementptr inbounds i8, ptr %109, i64 %index271
  store <8 x i8> %161, ptr %162, align 1, !tbaa !18
  %index.next274 = add nuw i64 %index271, 8
  %vec.ind.next273 = add <8 x i64> %vec.ind272, <i64 8, i64 8, i64 8, i64 8, i64 8, i64 8, i64 8, i64 8>
  %163 = icmp eq i64 %index.next274, %n.vec269
  br i1 %163, label %vec.epilog.middle.block, label %vec.epilog.vector.body, !llvm.loop !43

vec.epilog.middle.block:                          ; preds = %vec.epilog.vector.body
  %cmp.n275 = icmp eq i64 %100, %n.vec269
  br i1 %cmp.n275, label %._crit_edge250, label %.lr.ph249.preheader

.lr.ph247:                                        ; preds = %.lr.ph247.preheader, %.lr.ph247
  %164 = phi ptr [ %172, %.lr.ph247 ], [ %.pre, %.lr.ph247.preheader ]
  %.1245 = phi i64 [ %177, %.lr.ph247 ], [ 0, %.lr.ph247.preheader ]
  %.1182244 = phi i64 [ %176, %.lr.ph247 ], [ %.0181, %.lr.ph247.preheader ]
  %165 = getelementptr inbounds i8, ptr %108, i64 %.1182244
  %166 = getelementptr inbounds %struct._EFI_IPSEC_FRAGMENT_DATA, ptr %164, i64 %.1245
  %167 = getelementptr inbounds i8, ptr %166, i64 8
  %168 = load ptr, ptr %167, align 8, !tbaa !44
  %169 = load i32, ptr %166, align 8, !tbaa !21
  %170 = zext i32 %169 to i64
  %171 = tail call ptr @CopyMem(ptr noundef nonnull %165, ptr noundef %168, i64 noundef %170) #3
  %172 = load ptr, ptr %5, align 8, !tbaa !12
  %173 = getelementptr inbounds %struct._EFI_IPSEC_FRAGMENT_DATA, ptr %172, i64 %.1245
  %174 = load i32, ptr %173, align 8, !tbaa !21
  %175 = zext i32 %174 to i64
  %176 = add i64 %.1182244, %175
  %177 = add nuw nsw i64 %.1245, 1
  %178 = load i32, ptr %6, align 4, !tbaa !20
  %179 = zext i32 %178 to i64
  %180 = icmp ult i64 %177, %179
  br i1 %180, label %.lr.ph247, label %.preheader, !llvm.loop !45

.lr.ph249:                                        ; preds = %.lr.ph249.preheader, %.lr.ph249
  %.2248 = phi i64 [ %181, %.lr.ph249 ], [ %.2248.ph, %.lr.ph249.preheader ]
  %181 = add nuw i64 %.2248, 1
  %182 = trunc i64 %181 to i8
  %183 = getelementptr inbounds i8, ptr %109, i64 %.2248
  store i8 %182, ptr %183, align 1, !tbaa !18
  %184 = icmp ult i64 %181, %100
  br i1 %184, label %.lr.ph249, label %._crit_edge250, !llvm.loop !46

._crit_edge250:                                   ; preds = %.lr.ph249, %middle.block, %vec.epilog.middle.block, %.preheader
  %185 = trunc i64 %100 to i8
  store i8 %185, ptr %110, align 1, !tbaa !47
  %186 = load i8, ptr %2, align 1, !tbaa !18
  %187 = getelementptr inbounds i8, ptr %110, i64 1
  store i8 %186, ptr %187, align 1, !tbaa !49
  %188 = load i32, ptr %13, align 8, !tbaa !19
  %189 = icmp eq i32 %188, 1
  br i1 %189, label %.sink.split256, label %191

.sink.split256:                                   ; preds = %._crit_edge250
  %190 = icmp eq i8 %0, 4
  %. = select i1 %190, i8 4, i8 41
  store i8 %., ptr %187, align 1, !tbaa !49
  br label %191

191:                                              ; preds = %.sink.split256, %._crit_edge250
  %192 = tail call i64 @IpSecGenerateIv(ptr noundef nonnull %107, i64 noundef %93) #3
  %193 = icmp slt i64 %192, 0
  br i1 %193, label %.thread232.sink.split, label %194

194:                                              ; preds = %191
  %195 = load ptr, ptr %31, align 8, !tbaa !18
  %.not207 = icmp eq ptr %195, null
  br i1 %.not207, label %207, label %196

196:                                              ; preds = %194
  %197 = load ptr, ptr %12, align 8, !tbaa !11
  %198 = getelementptr inbounds i8, ptr %197, i64 56
  %199 = load i8, ptr %198, align 8, !tbaa !18
  %200 = getelementptr inbounds i8, ptr %197, i64 72
  %201 = load ptr, ptr %200, align 8, !tbaa !18
  %202 = getelementptr inbounds i8, ptr %197, i64 64
  %203 = load i64, ptr %202, align 8, !tbaa !18
  %204 = shl i64 %203, 3
  %205 = tail call i64 @IpSecCryptoIoEncrypt(i8 noundef zeroext %199, ptr noundef %201, i64 noundef %204, ptr noundef nonnull %107, ptr noundef nonnull %108, i64 noundef %98, ptr noundef nonnull %108) #3
  %206 = icmp slt i64 %205, 0
  br i1 %206, label %.thread232.sink.split, label %207

207:                                              ; preds = %196, %194
  %208 = load ptr, ptr %81, align 8, !tbaa !18
  %.not208 = icmp eq ptr %208, null
  br i1 %.not208, label %221, label %209

209:                                              ; preds = %207
  %210 = getelementptr inbounds i8, ptr %10, i64 8
  store ptr %104, ptr %210, align 8, !tbaa !50
  store i64 %102, ptr %10, align 16, !tbaa !52
  %211 = load ptr, ptr %12, align 8, !tbaa !11
  %212 = getelementptr inbounds i8, ptr %211, i64 80
  %213 = load i8, ptr %212, align 8, !tbaa !18
  %214 = getelementptr inbounds i8, ptr %211, i64 96
  %215 = load ptr, ptr %214, align 8, !tbaa !18
  %216 = getelementptr inbounds i8, ptr %211, i64 88
  %217 = load i64, ptr %216, align 8, !tbaa !18
  %218 = getelementptr inbounds i8, ptr %104, i64 %102
  %219 = call i64 @IpSecCryptoIoHmac(i8 noundef zeroext %213, ptr noundef %215, i64 noundef %217, ptr noundef nonnull %10, i64 noundef 1, ptr noundef nonnull %218, i64 noundef %.0179) #3
  %220 = icmp slt i64 %219, 0
  br i1 %220, label %.thread232.sink.split, label %221

221:                                              ; preds = %209, %207
  %222 = call ptr @AllocateZeroPool(i64 noundef 16) #3
  %223 = icmp eq ptr %222, null
  br i1 %223, label %.thread232.sink.split, label %224

224:                                              ; preds = %221
  %225 = load ptr, ptr @gBS, align 8, !tbaa !12
  %226 = getelementptr inbounds i8, ptr %225, i64 80
  %227 = load ptr, ptr %226, align 8, !tbaa !53
  %228 = call i64 %227(i32 noundef 512, i64 noundef 16, ptr noundef nonnull @IpSecRecycleCallback, ptr noundef nonnull %222, ptr noundef nonnull %8) #3
  %229 = icmp slt i64 %228, 0
  br i1 %229, label %266, label %230

230:                                              ; preds = %224
  %231 = call ptr @AllocateZeroPool(i64 noundef 16) #3
  store ptr %231, ptr %5, align 8, !tbaa !12
  %232 = icmp eq ptr %231, null
  br i1 %232, label %266, label %233

233:                                              ; preds = %230
  store ptr %231, ptr %222, align 8, !tbaa !56
  %234 = getelementptr inbounds i8, ptr %222, i64 8
  store ptr %104, ptr %234, align 8, !tbaa !58
  %235 = load ptr, ptr %5, align 8, !tbaa !12
  %236 = getelementptr inbounds i8, ptr %235, i64 8
  store ptr %104, ptr %236, align 8, !tbaa !44
  %237 = trunc i64 %103 to i32
  %238 = load ptr, ptr %5, align 8, !tbaa !12
  store i32 %237, ptr %238, align 8, !tbaa !21
  store i32 1, ptr %6, align 4, !tbaa !20
  %239 = icmp eq i8 %0, 4
  br i1 %239, label %240, label %.thread

240:                                              ; preds = %233
  %241 = load i8, ptr %1, align 1
  %242 = shl i8 %241, 2
  %243 = and i8 %242, 60
  %244 = zext nneg i8 %243 to i64
  %245 = add i64 %103, %244
  %246 = trunc i64 %245 to i16
  %247 = call zeroext i16 @SwapBytes16(i16 noundef zeroext %246) #3
  %248 = getelementptr inbounds i8, ptr %1, i64 2
  store i16 %247, ptr %248, align 1, !tbaa !33
  %249 = load i32, ptr %13, align 8, !tbaa !19
  %250 = icmp eq i32 %249, 1
  br i1 %250, label %.sink.split257, label %263

.thread:                                          ; preds = %233
  %251 = call zeroext i16 @IpSecGetPlainExtHeadSize(ptr noundef %1, ptr noundef nonnull %2)
  %252 = trunc i64 %103 to i16
  %253 = add i16 %251, %252
  %254 = getelementptr inbounds i8, ptr %1, i64 4
  store i16 %253, ptr %254, align 1, !tbaa !37
  %255 = load i32, ptr %13, align 8, !tbaa !19
  %256 = icmp eq i32 %255, 1
  br i1 %256, label %.sink.split257, label %263

.sink.split257:                                   ; preds = %.thread, %240
  %.sink265 = phi i64 [ 12, %240 ], [ 8, %.thread ]
  %.sink264 = phi i64 [ 4, %240 ], [ 16, %.thread ]
  %.sink261 = phi i64 [ 16, %240 ], [ 24, %.thread ]
  %257 = getelementptr inbounds i8, ptr %1, i64 %.sink265
  %258 = getelementptr inbounds i8, ptr %13, i64 172
  %259 = call ptr @CopyMem(ptr noundef nonnull %257, ptr noundef nonnull %258, i64 noundef %.sink264) #3
  %260 = getelementptr inbounds i8, ptr %1, i64 %.sink261
  %261 = getelementptr inbounds i8, ptr %13, i64 156
  %262 = call ptr @CopyMem(ptr noundef nonnull %260, ptr noundef nonnull %261, i64 noundef %.sink264) #3
  br label %263

263:                                              ; preds = %.sink.split257, %240, %.thread
  store i8 50, ptr %2, align 1, !tbaa !18
  %264 = load i64, ptr %111, align 8, !tbaa !27
  %265 = add i64 %264, 1
  store i64 %265, ptr %111, align 8, !tbaa !27
  br label %273

266:                                              ; preds = %230, %224
  %.0176.ph.ph = phi i64 [ %228, %224 ], [ -9223372036854775799, %230 ]
  call void @FreePool(ptr noundef nonnull %104) #3
  br label %.thread232.sink.split

.thread232.sink.split:                            ; preds = %221, %209, %196, %191, %266
  %.sink266 = phi ptr [ %222, %266 ], [ %104, %191 ], [ %104, %196 ], [ %104, %209 ], [ %104, %221 ]
  %.0176.ph230236.ph = phi i64 [ %.0176.ph.ph, %266 ], [ %192, %191 ], [ %205, %196 ], [ %219, %209 ], [ -9223372036854775799, %221 ]
  call void @FreePool(ptr noundef nonnull %.sink266) #3
  br label %.thread232

.thread232:                                       ; preds = %.thread232.sink.split, %33, %40, %83, %20, %89
  %.0176.ph230236 = phi i64 [ -9223372036854775793, %33 ], [ -9223372036854775793, %40 ], [ -9223372036854775793, %83 ], [ -9223372036854775793, %20 ], [ -9223372036854775799, %89 ], [ %.0176.ph230236.ph, %.thread232.sink.split ]
  %267 = load ptr, ptr %8, align 8, !tbaa !12
  %.not211 = icmp eq ptr %267, null
  br i1 %.not211, label %273, label %268

268:                                              ; preds = %.thread232
  %269 = load ptr, ptr @gBS, align 8, !tbaa !12
  %270 = getelementptr inbounds i8, ptr %269, i64 112
  %271 = load ptr, ptr %270, align 8, !tbaa !59
  %272 = call i64 %271(ptr noundef nonnull %267) #3
  br label %273

273:                                              ; preds = %263, %268, %.thread232, %27
  %.0175 = phi i64 [ -9223372036854775806, %27 ], [ %.0176.ph230236, %.thread232 ], [ %.0176.ph230236, %268 ], [ %228, %263 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %10) #3
  ret i64 %.0175
}

declare i64 @IpSecGenerateIv(ptr noundef, i64 noundef) local_unnamed_addr #1

declare i64 @IpSecCryptoIoEncrypt(i8 noundef zeroext, ptr noundef, i64 noundef, ptr noundef, ptr noundef, i64 noundef, ptr noundef) local_unnamed_addr #1

attributes #0 = { mustprogress 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 = { 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 = { 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 = !{!"_IPSEC_SAD_ENTRY", !7, i64 0, !7, i64 8, !10, i64 16, !10, i64 32}
!7 = !{!"any pointer", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C/C++ TBAA"}
!10 = !{!"_LIST_ENTRY", !7, i64 0, !7, i64 8}
!11 = !{!6, !7, i64 8}
!12 = !{!7, !7, i64 0}
!13 = !{!14, !8, i64 153}
!14 = !{!"_IPSEC_SAD_DATA", !15, i64 0, !16, i64 8, !8, i64 16, !8, i64 24, !8, i64 56, !17, i64 104, !15, i64 128, !7, i64 136, !7, i64 144, !8, i64 152, !8, i64 153, !8, i64 156, !8, i64 172}
!15 = !{!"int", !8, i64 0}
!16 = !{!"long long", !8, i64 0}
!17 = !{!"_EFI_IPSEC_SA_LIFETIME", !16, i64 0, !16, i64 8, !16, i64 16}
!18 = !{!8, !8, i64 0}
!19 = !{!14, !15, i64 0}
!20 = !{!15, !15, i64 0}
!21 = !{!22, !15, i64 0}
!22 = !{!"_EFI_IPSEC_FRAGMENT_DATA", !15, i64 0, !7, i64 8}
!23 = distinct !{!23, !24}
!24 = !{!"llvm.loop.mustprogress"}
!25 = distinct !{!25, !26}
!26 = !{!"llvm.loop.unroll.disable"}
!27 = !{!14, !16, i64 8}
!28 = !{!29, !15, i64 4}
!29 = !{!"_EFI_ESP_HEADER", !15, i64 0, !15, i64 4}
!30 = !{!31, !15, i64 0}
!31 = !{!"_EFI_IPSEC_SA_ID", !15, i64 0, !15, i64 4, !8, i64 8}
!32 = !{!29, !15, i64 0}
!33 = !{!34, !35, i64 2}
!34 = !{!"", !8, i64 0, !8, i64 0, !8, i64 1, !35, i64 2, !35, i64 4, !35, i64 6, !8, i64 8, !8, i64 9, !35, i64 10, !15, i64 12, !15, i64 16}
!35 = !{!"short", !8, i64 0}
!36 = !{!34, !35, i64 10}
!37 = !{!38, !35, i64 4}
!38 = !{!"_EFI_IP6_HEADER", !8, i64 0, !8, i64 0, !8, i64 1, !8, i64 1, !35, i64 2, !35, i64 4, !8, i64 6, !8, i64 7, !39, i64 8, !39, i64 24}
!39 = !{!"", !8, i64 0}
!40 = distinct !{!40, !24, !41, !42}
!41 = !{!"llvm.loop.isvectorized", i32 1}
!42 = !{!"llvm.loop.unroll.runtime.disable"}
!43 = distinct !{!43, !24, !41, !42}
!44 = !{!22, !7, i64 8}
!45 = distinct !{!45, !24}
!46 = distinct !{!46, !24, !42, !41}
!47 = !{!48, !8, i64 0}
!48 = !{!"_EFI_ESP_TAIL", !8, i64 0, !8, i64 1}
!49 = !{!48, !8, i64 1}
!50 = !{!51, !7, i64 8}
!51 = !{!"", !16, i64 0, !7, i64 8}
!52 = !{!51, !16, i64 0}
!53 = !{!54, !7, i64 80}
!54 = !{!"", !55, i64 0, !7, i64 24, !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, !7, i64 248, !7, i64 256, !7, i64 264, !7, i64 272, !7, i64 280, !7, i64 288, !7, i64 296, !7, i64 304, !7, i64 312, !7, i64 320, !7, i64 328, !7, i64 336, !7, i64 344, !7, i64 352, !7, i64 360, !7, i64 368}
!55 = !{!"", !16, i64 0, !15, i64 8, !15, i64 12, !15, i64 16, !15, i64 20}
!56 = !{!57, !7, i64 0}
!57 = !{!"_IPSEC_RECYCLE_CONTEXT", !7, i64 0, !7, i64 8}
!58 = !{!57, !7, i64 8}
!59 = !{!54, !7, i64 112}


; Effective O3 passes: CorrelatedValuePropagationPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferFunctionAttrsPass,InstCombinePass,InstSimplifyPass,JumpThreadingPass,LCSSAPass,LICMPass,LoopLoadEliminationPass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,LoopVectorizePass,PostOrderFunctionAttrsPass,ReassociatePass,SROAPass,SimplifyCFGPass,TailCallElimPass