; LLVM IR from thalium/icebox :: third_party/virtualbox/src/VBox/Devices/EFI/Firmware/MdeModulePkg/Universal (Ip4Reassemble)

; 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.NET_BUF = type { i32, i64, %struct._LIST_ENTRY, %union.NET_IP_HEAD, ptr, ptr, [64 x i8], ptr, i32, i32, [1 x %struct.NET_BLOCK_OP] }
%struct._LIST_ENTRY = type { ptr, ptr }
%union.NET_IP_HEAD = type { ptr }
%struct.NET_BLOCK_OP = type { ptr, ptr, ptr, ptr, i32 }
%struct.IP4_HEAD = type { i8, i8, i16, i16, i16, i8, i8, i16, i32, i32 }
%struct.IP4_ASSEMBLE_TABLE = type { [31 x %struct._LIST_ENTRY] }
%struct.IP4_ASSEMBLE_ENTRY = type { %struct._LIST_ENTRY, i32, i32, i16, i8, i64, i64, %struct._LIST_ENTRY, ptr, ptr, i64 }
%struct.IP4_CLIP_INFO = type { i64, i64, i64, i64, i64, i32, i64 }

@.str = external hidden unnamed_addr constant [150 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [23 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [25 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [31 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [31 x i8], align 1

; Function Attrs: nounwind uwtable
declare dso_local ptr @Ip4CreateAssembleEntry(i32 noundef, i32 noundef, i16 noundef zeroext, i8 noundef zeroext) #0

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

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

; Function Attrs: nounwind uwtable
declare dso_local void @Ip4FreeAssembleEntry(ptr noundef) #0

declare ptr @RemoveEntryList(ptr noundef) #2

declare void @NetbufFree(ptr noundef) #2

; Function Attrs: nounwind uwtable
declare dso_local void @Ip4TrimPacket(ptr noundef, i64 noundef, i64 noundef) #0

declare zeroext i8 @DebugAssertEnabled() #2

declare void @DebugAssert(ptr noundef, i64 noundef, ptr noundef) #2

; Function Attrs: nounwind uwtable
declare dso_local void @Ip4OnFreeFragments(ptr noundef) #0

; Function Attrs: nounwind uwtable
define dso_local ptr @Ip4Reassemble(ptr noundef %0, ptr noundef %1) #0 {
  %3 = alloca ptr, align 8
  %4 = alloca ptr, align 8
  %5 = alloca ptr, align 8
  %6 = alloca ptr, align 8
  %7 = alloca ptr, align 8
  %8 = alloca ptr, align 8
  %9 = alloca ptr, align 8
  %10 = alloca ptr, align 8
  %11 = alloca ptr, align 8
  %12 = alloca ptr, align 8
  %13 = alloca ptr, align 8
  %14 = alloca ptr, align 8
  %15 = alloca i64, align 8
  %16 = alloca i32, align 4
  store ptr %0, ptr %4, align 8, !tbaa !5
  store ptr %1, ptr %5, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %6) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %7) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %8) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #3
  %17 = load ptr, ptr %5, align 8, !tbaa !5
  %18 = getelementptr inbounds %struct.NET_BUF, ptr %17, i32 0, i32 3
  %19 = load ptr, ptr %18, align 8, !tbaa !9
  store ptr %19, ptr %6, align 8, !tbaa !5
  %20 = load ptr, ptr %5, align 8, !tbaa !5
  %21 = getelementptr inbounds %struct.NET_BUF, ptr %20, i32 0, i32 6
  %22 = getelementptr inbounds [64 x i8], ptr %21, i64 0, i64 0
  store ptr %22, ptr %7, align 8, !tbaa !5
  br label %23

23:                                               ; preds = %2
  %24 = call zeroext i8 @DebugAssertEnabled()
  %25 = icmp ne i8 %24, 0
  br i1 %25, label %26, label %31

26:                                               ; preds = %23
  %27 = load ptr, ptr %6, align 8, !tbaa !5
  %28 = icmp ne ptr %27, null
  br i1 %28, label %30, label %29

29:                                               ; preds = %26
  call void @DebugAssert(ptr noundef @.str, i64 noundef 235, ptr noundef @.str.3)
  br label %30

30:                                               ; preds = %29, %26
  br label %31

31:                                               ; preds = %30, %23
  br label %32

32:                                               ; preds = %31
  br label %33

33:                                               ; preds = %32
  store ptr null, ptr %9, align 8, !tbaa !5
  %34 = load ptr, ptr %6, align 8, !tbaa !5
  %35 = getelementptr inbounds %struct.IP4_HEAD, ptr %34, i32 0, i32 9
  %36 = load i32, ptr %35, align 1, !tbaa !10
  %37 = load ptr, ptr %6, align 8, !tbaa !5
  %38 = getelementptr inbounds %struct.IP4_HEAD, ptr %37, i32 0, i32 8
  %39 = load i32, ptr %38, align 1, !tbaa !14
  %40 = add i32 %36, %39
  %41 = load ptr, ptr %6, align 8, !tbaa !5
  %42 = getelementptr inbounds %struct.IP4_HEAD, ptr %41, i32 0, i32 3
  %43 = load i16, ptr %42, align 1, !tbaa !15
  %44 = zext i16 %43 to i32
  %45 = shl i32 %44, 16
  %46 = add i32 %40, %45
  %47 = load ptr, ptr %6, align 8, !tbaa !5
  %48 = getelementptr inbounds %struct.IP4_HEAD, ptr %47, i32 0, i32 6
  %49 = load i8, ptr %48, align 1, !tbaa !16
  %50 = zext i8 %49 to i32
  %51 = add i32 %46, %50
  %52 = urem i32 %51, 31
  %53 = zext i32 %52 to i64
  store i64 %53, ptr %15, align 8, !tbaa !17
  %54 = load ptr, ptr %4, align 8, !tbaa !5
  %55 = getelementptr inbounds %struct.IP4_ASSEMBLE_TABLE, ptr %54, i32 0, i32 0
  %56 = load i64, ptr %15, align 8, !tbaa !17
  %57 = getelementptr inbounds [31 x %struct._LIST_ENTRY], ptr %55, i64 0, i64 %56
  %58 = getelementptr inbounds %struct._LIST_ENTRY, ptr %57, i32 0, i32 0
  %59 = load ptr, ptr %58, align 8, !tbaa !19
  store ptr %59, ptr %12, align 8, !tbaa !5
  br label %60

60:                                               ; preds = %109, %33
  %61 = load ptr, ptr %12, align 8, !tbaa !5
  %62 = load ptr, ptr %4, align 8, !tbaa !5
  %63 = getelementptr inbounds %struct.IP4_ASSEMBLE_TABLE, ptr %62, i32 0, i32 0
  %64 = load i64, ptr %15, align 8, !tbaa !17
  %65 = getelementptr inbounds [31 x %struct._LIST_ENTRY], ptr %63, i64 0, i64 %64
  %66 = icmp ne ptr %61, %65
  br i1 %66, label %67, label %113

67:                                               ; preds = %60
  %68 = load ptr, ptr %12, align 8, !tbaa !5
  %69 = ptrtoint ptr %68 to i64
  %70 = sub i64 %69, 0
  %71 = inttoptr i64 %70 to ptr
  store ptr %71, ptr %9, align 8, !tbaa !5
  %72 = load ptr, ptr %9, align 8, !tbaa !5
  %73 = getelementptr inbounds %struct.IP4_ASSEMBLE_ENTRY, ptr %72, i32 0, i32 1
  %74 = load i32, ptr %73, align 8, !tbaa !21
  %75 = load ptr, ptr %6, align 8, !tbaa !5
  %76 = getelementptr inbounds %struct.IP4_HEAD, ptr %75, i32 0, i32 9
  %77 = load i32, ptr %76, align 1, !tbaa !10
  %78 = icmp eq i32 %74, %77
  br i1 %78, label %79, label %108

79:                                               ; preds = %67
  %80 = load ptr, ptr %9, align 8, !tbaa !5
  %81 = getelementptr inbounds %struct.IP4_ASSEMBLE_ENTRY, ptr %80, i32 0, i32 2
  %82 = load i32, ptr %81, align 4, !tbaa !23
  %83 = load ptr, ptr %6, align 8, !tbaa !5
  %84 = getelementptr inbounds %struct.IP4_HEAD, ptr %83, i32 0, i32 8
  %85 = load i32, ptr %84, align 1, !tbaa !14
  %86 = icmp eq i32 %82, %85
  br i1 %86, label %87, label %108

87:                                               ; preds = %79
  %88 = load ptr, ptr %9, align 8, !tbaa !5
  %89 = getelementptr inbounds %struct.IP4_ASSEMBLE_ENTRY, ptr %88, i32 0, i32 3
  %90 = load i16, ptr %89, align 8, !tbaa !24
  %91 = zext i16 %90 to i32
  %92 = load ptr, ptr %6, align 8, !tbaa !5
  %93 = getelementptr inbounds %struct.IP4_HEAD, ptr %92, i32 0, i32 3
  %94 = load i16, ptr %93, align 1, !tbaa !15
  %95 = zext i16 %94 to i32
  %96 = icmp eq i32 %91, %95
  br i1 %96, label %97, label %108

97:                                               ; preds = %87
  %98 = load ptr, ptr %9, align 8, !tbaa !5
  %99 = getelementptr inbounds %struct.IP4_ASSEMBLE_ENTRY, ptr %98, i32 0, i32 4
  %100 = load i8, ptr %99, align 2, !tbaa !25
  %101 = zext i8 %100 to i32
  %102 = load ptr, ptr %6, align 8, !tbaa !5
  %103 = getelementptr inbounds %struct.IP4_HEAD, ptr %102, i32 0, i32 6
  %104 = load i8, ptr %103, align 1, !tbaa !16
  %105 = zext i8 %104 to i32
  %106 = icmp eq i32 %101, %105
  br i1 %106, label %107, label %108

107:                                              ; preds = %97
  br label %113

108:                                              ; preds = %97, %87, %79, %67
  br label %109

109:                                              ; preds = %108
  %110 = load ptr, ptr %12, align 8, !tbaa !5
  %111 = getelementptr inbounds %struct._LIST_ENTRY, ptr %110, i32 0, i32 0
  %112 = load ptr, ptr %111, align 8, !tbaa !19
  store ptr %112, ptr %12, align 8, !tbaa !5
  br label %60, !llvm.loop !26

113:                                              ; preds = %107, %60
  %114 = load ptr, ptr %12, align 8, !tbaa !5
  %115 = load ptr, ptr %4, align 8, !tbaa !5
  %116 = getelementptr inbounds %struct.IP4_ASSEMBLE_TABLE, ptr %115, i32 0, i32 0
  %117 = load i64, ptr %15, align 8, !tbaa !17
  %118 = getelementptr inbounds [31 x %struct._LIST_ENTRY], ptr %116, i64 0, i64 %117
  %119 = icmp eq ptr %114, %118
  br i1 %119, label %120, label %145

120:                                              ; preds = %113
  %121 = load ptr, ptr %6, align 8, !tbaa !5
  %122 = getelementptr inbounds %struct.IP4_HEAD, ptr %121, i32 0, i32 9
  %123 = load i32, ptr %122, align 1, !tbaa !10
  %124 = load ptr, ptr %6, align 8, !tbaa !5
  %125 = getelementptr inbounds %struct.IP4_HEAD, ptr %124, i32 0, i32 8
  %126 = load i32, ptr %125, align 1, !tbaa !14
  %127 = load ptr, ptr %6, align 8, !tbaa !5
  %128 = getelementptr inbounds %struct.IP4_HEAD, ptr %127, i32 0, i32 3
  %129 = load i16, ptr %128, align 1, !tbaa !15
  %130 = load ptr, ptr %6, align 8, !tbaa !5
  %131 = getelementptr inbounds %struct.IP4_HEAD, ptr %130, i32 0, i32 6
  %132 = load i8, ptr %131, align 1, !tbaa !16
  %133 = call ptr @Ip4CreateAssembleEntry(i32 noundef %123, i32 noundef %126, i16 noundef zeroext %129, i8 noundef zeroext %132)
  store ptr %133, ptr %9, align 8, !tbaa !5
  %134 = load ptr, ptr %9, align 8, !tbaa !5
  %135 = icmp eq ptr %134, null
  br i1 %135, label %136, label %137

136:                                              ; preds = %120
  br label %416

137:                                              ; preds = %120
  %138 = load ptr, ptr %4, align 8, !tbaa !5
  %139 = getelementptr inbounds %struct.IP4_ASSEMBLE_TABLE, ptr %138, i32 0, i32 0
  %140 = load i64, ptr %15, align 8, !tbaa !17
  %141 = getelementptr inbounds [31 x %struct._LIST_ENTRY], ptr %139, i64 0, i64 %140
  %142 = load ptr, ptr %9, align 8, !tbaa !5
  %143 = getelementptr inbounds %struct.IP4_ASSEMBLE_ENTRY, ptr %142, i32 0, i32 0
  %144 = call ptr @InsertHeadList(ptr noundef %141, ptr noundef %143)
  br label %145

145:                                              ; preds = %137, %113
  br label %146

146:                                              ; preds = %145
  %147 = call zeroext i8 @DebugAssertEnabled()
  %148 = icmp ne i8 %147, 0
  br i1 %148, label %149, label %154

149:                                              ; preds = %146
  %150 = load ptr, ptr %9, align 8, !tbaa !5
  %151 = icmp ne ptr %150, null
  br i1 %151, label %153, label %152

152:                                              ; preds = %149
  call void @DebugAssert(ptr noundef @.str, i64 noundef 272, ptr noundef @.str.4)
  br label %153

153:                                              ; preds = %152, %149
  br label %154

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

155:                                              ; preds = %154
  br label %156

156:                                              ; preds = %155
  %157 = load ptr, ptr %9, align 8, !tbaa !5
  %158 = getelementptr inbounds %struct.IP4_ASSEMBLE_ENTRY, ptr %157, i32 0, i32 7
  store ptr %158, ptr %10, align 8, !tbaa !5
  %159 = load ptr, ptr %10, align 8, !tbaa !5
  %160 = getelementptr inbounds %struct._LIST_ENTRY, ptr %159, i32 0, i32 0
  %161 = load ptr, ptr %160, align 8, !tbaa !19
  store ptr %161, ptr %12, align 8, !tbaa !5
  br label %162

162:                                              ; preds = %182, %156
  %163 = load ptr, ptr %12, align 8, !tbaa !5
  %164 = load ptr, ptr %10, align 8, !tbaa !5
  %165 = icmp ne ptr %163, %164
  br i1 %165, label %166, label %186

166:                                              ; preds = %162
  %167 = load ptr, ptr %12, align 8, !tbaa !5
  %168 = ptrtoint ptr %167 to i64
  %169 = sub i64 %168, ptrtoint (ptr getelementptr inbounds (%struct.NET_BUF, ptr null, i32 0, i32 2) to i64)
  %170 = inttoptr i64 %169 to ptr
  store ptr %170, ptr %13, align 8, !tbaa !5
  %171 = load ptr, ptr %7, align 8, !tbaa !5
  %172 = getelementptr inbounds %struct.IP4_CLIP_INFO, ptr %171, i32 0, i32 2
  %173 = load i64, ptr %172, align 8, !tbaa !28
  %174 = load ptr, ptr %13, align 8, !tbaa !5
  %175 = getelementptr inbounds %struct.NET_BUF, ptr %174, i32 0, i32 6
  %176 = getelementptr inbounds [64 x i8], ptr %175, i64 0, i64 0
  %177 = getelementptr inbounds %struct.IP4_CLIP_INFO, ptr %176, i32 0, i32 2
  %178 = load i64, ptr %177, align 8, !tbaa !28
  %179 = icmp slt i64 %173, %178
  br i1 %179, label %180, label %181

180:                                              ; preds = %166
  br label %186

181:                                              ; preds = %166
  br label %182

182:                                              ; preds = %181
  %183 = load ptr, ptr %12, align 8, !tbaa !5
  %184 = getelementptr inbounds %struct._LIST_ENTRY, ptr %183, i32 0, i32 0
  %185 = load ptr, ptr %184, align 8, !tbaa !19
  store ptr %185, ptr %12, align 8, !tbaa !5
  br label %162, !llvm.loop !30

186:                                              ; preds = %180, %162
  %187 = load ptr, ptr %12, align 8, !tbaa !5
  %188 = getelementptr inbounds %struct._LIST_ENTRY, ptr %187, i32 0, i32 1
  %189 = load ptr, ptr %188, align 8, !tbaa !31
  store ptr %189, ptr %11, align 8, !tbaa !5
  %190 = load ptr, ptr %10, align 8, !tbaa !5
  %191 = icmp ne ptr %189, %190
  br i1 %191, label %192, label %226

192:                                              ; preds = %186
  %193 = load ptr, ptr %11, align 8, !tbaa !5
  %194 = ptrtoint ptr %193 to i64
  %195 = sub i64 %194, ptrtoint (ptr getelementptr inbounds (%struct.NET_BUF, ptr null, i32 0, i32 2) to i64)
  %196 = inttoptr i64 %195 to ptr
  store ptr %196, ptr %13, align 8, !tbaa !5
  %197 = load ptr, ptr %13, align 8, !tbaa !5
  %198 = getelementptr inbounds %struct.NET_BUF, ptr %197, i32 0, i32 6
  %199 = getelementptr inbounds [64 x i8], ptr %198, i64 0, i64 0
  store ptr %199, ptr %8, align 8, !tbaa !5
  %200 = load ptr, ptr %7, align 8, !tbaa !5
  %201 = getelementptr inbounds %struct.IP4_CLIP_INFO, ptr %200, i32 0, i32 2
  %202 = load i64, ptr %201, align 8, !tbaa !28
  %203 = load ptr, ptr %8, align 8, !tbaa !5
  %204 = getelementptr inbounds %struct.IP4_CLIP_INFO, ptr %203, i32 0, i32 3
  %205 = load i64, ptr %204, align 8, !tbaa !32
  %206 = icmp slt i64 %202, %205
  br i1 %206, label %207, label %225

207:                                              ; preds = %192
  %208 = load ptr, ptr %7, align 8, !tbaa !5
  %209 = getelementptr inbounds %struct.IP4_CLIP_INFO, ptr %208, i32 0, i32 3
  %210 = load i64, ptr %209, align 8, !tbaa !32
  %211 = load ptr, ptr %8, align 8, !tbaa !5
  %212 = getelementptr inbounds %struct.IP4_CLIP_INFO, ptr %211, i32 0, i32 3
  %213 = load i64, ptr %212, align 8, !tbaa !32
  %214 = icmp sle i64 %210, %213
  br i1 %214, label %215, label %217

215:                                              ; preds = %207
  %216 = load ptr, ptr %5, align 8, !tbaa !5
  call void @NetbufFree(ptr noundef %216)
  store ptr null, ptr %3, align 8
  store i32 1, ptr %16, align 4
  br label %418

217:                                              ; preds = %207
  %218 = load ptr, ptr %5, align 8, !tbaa !5
  %219 = load ptr, ptr %8, align 8, !tbaa !5
  %220 = getelementptr inbounds %struct.IP4_CLIP_INFO, ptr %219, i32 0, i32 3
  %221 = load i64, ptr %220, align 8, !tbaa !32
  %222 = load ptr, ptr %7, align 8, !tbaa !5
  %223 = getelementptr inbounds %struct.IP4_CLIP_INFO, ptr %222, i32 0, i32 3
  %224 = load i64, ptr %223, align 8, !tbaa !32
  call void @Ip4TrimPacket(ptr noundef %218, i64 noundef %221, i64 noundef %224)
  br label %225

225:                                              ; preds = %217, %192
  br label %226

226:                                              ; preds = %225, %186
  %227 = load ptr, ptr %12, align 8, !tbaa !5
  %228 = load ptr, ptr %5, align 8, !tbaa !5
  %229 = getelementptr inbounds %struct.NET_BUF, ptr %228, i32 0, i32 2
  call void @NetListInsertBefore(ptr noundef %227, ptr noundef %229)
  br label %230

230:                                              ; preds = %249, %226
  %231 = load ptr, ptr %12, align 8, !tbaa !5
  %232 = load ptr, ptr %10, align 8, !tbaa !5
  %233 = icmp ne ptr %231, %232
  br i1 %233, label %234, label %293

234:                                              ; preds = %230
  %235 = load ptr, ptr %12, align 8, !tbaa !5
  %236 = ptrtoint ptr %235 to i64
  %237 = sub i64 %236, ptrtoint (ptr getelementptr inbounds (%struct.NET_BUF, ptr null, i32 0, i32 2) to i64)
  %238 = inttoptr i64 %237 to ptr
  store ptr %238, ptr %13, align 8, !tbaa !5
  %239 = load ptr, ptr %13, align 8, !tbaa !5
  %240 = getelementptr inbounds %struct.NET_BUF, ptr %239, i32 0, i32 6
  %241 = getelementptr inbounds [64 x i8], ptr %240, i64 0, i64 0
  store ptr %241, ptr %8, align 8, !tbaa !5
  %242 = load ptr, ptr %8, align 8, !tbaa !5
  %243 = getelementptr inbounds %struct.IP4_CLIP_INFO, ptr %242, i32 0, i32 3
  %244 = load i64, ptr %243, align 8, !tbaa !32
  %245 = load ptr, ptr %7, align 8, !tbaa !5
  %246 = getelementptr inbounds %struct.IP4_CLIP_INFO, ptr %245, i32 0, i32 3
  %247 = load i64, ptr %246, align 8, !tbaa !32
  %248 = icmp sle i64 %244, %247
  br i1 %248, label %249, label %264

249:                                              ; preds = %234
  %250 = load ptr, ptr %12, align 8, !tbaa !5
  %251 = getelementptr inbounds %struct._LIST_ENTRY, ptr %250, i32 0, i32 0
  %252 = load ptr, ptr %251, align 8, !tbaa !19
  store ptr %252, ptr %12, align 8, !tbaa !5
  %253 = load ptr, ptr %13, align 8, !tbaa !5
  %254 = getelementptr inbounds %struct.NET_BUF, ptr %253, i32 0, i32 2
  %255 = call ptr @RemoveEntryList(ptr noundef %254)
  %256 = load ptr, ptr %8, align 8, !tbaa !5
  %257 = getelementptr inbounds %struct.IP4_CLIP_INFO, ptr %256, i32 0, i32 4
  %258 = load i64, ptr %257, align 8, !tbaa !33
  %259 = load ptr, ptr %9, align 8, !tbaa !5
  %260 = getelementptr inbounds %struct.IP4_ASSEMBLE_ENTRY, ptr %259, i32 0, i32 6
  %261 = load i64, ptr %260, align 8, !tbaa !34
  %262 = sub nsw i64 %261, %258
  store i64 %262, ptr %260, align 8, !tbaa !34
  %263 = load ptr, ptr %13, align 8, !tbaa !5
  call void @NetbufFree(ptr noundef %263)
  br label %230, !llvm.loop !35

264:                                              ; preds = %234
  %265 = load ptr, ptr %8, align 8, !tbaa !5
  %266 = getelementptr inbounds %struct.IP4_CLIP_INFO, ptr %265, i32 0, i32 2
  %267 = load i64, ptr %266, align 8, !tbaa !28
  %268 = load ptr, ptr %7, align 8, !tbaa !5
  %269 = getelementptr inbounds %struct.IP4_CLIP_INFO, ptr %268, i32 0, i32 3
  %270 = load i64, ptr %269, align 8, !tbaa !32
  %271 = icmp slt i64 %267, %270
  br i1 %271, label %272, label %292

272:                                              ; preds = %264
  %273 = load ptr, ptr %7, align 8, !tbaa !5
  %274 = getelementptr inbounds %struct.IP4_CLIP_INFO, ptr %273, i32 0, i32 2
  %275 = load i64, ptr %274, align 8, !tbaa !28
  %276 = load ptr, ptr %8, align 8, !tbaa !5
  %277 = getelementptr inbounds %struct.IP4_CLIP_INFO, ptr %276, i32 0, i32 2
  %278 = load i64, ptr %277, align 8, !tbaa !28
  %279 = icmp eq i64 %275, %278
  br i1 %279, label %280, label %284

280:                                              ; preds = %272
  %281 = load ptr, ptr %5, align 8, !tbaa !5
  %282 = getelementptr inbounds %struct.NET_BUF, ptr %281, i32 0, i32 2
  %283 = call ptr @RemoveEntryList(ptr noundef %282)
  br label %416

284:                                              ; preds = %272
  %285 = load ptr, ptr %5, align 8, !tbaa !5
  %286 = load ptr, ptr %7, align 8, !tbaa !5
  %287 = getelementptr inbounds %struct.IP4_CLIP_INFO, ptr %286, i32 0, i32 2
  %288 = load i64, ptr %287, align 8, !tbaa !28
  %289 = load ptr, ptr %8, align 8, !tbaa !5
  %290 = getelementptr inbounds %struct.IP4_CLIP_INFO, ptr %289, i32 0, i32 2
  %291 = load i64, ptr %290, align 8, !tbaa !28
  call void @Ip4TrimPacket(ptr noundef %285, i64 noundef %288, i64 noundef %291)
  br label %292

292:                                              ; preds = %284, %264
  br label %293

293:                                              ; preds = %292, %230
  %294 = load ptr, ptr %7, align 8, !tbaa !5
  %295 = getelementptr inbounds %struct.IP4_CLIP_INFO, ptr %294, i32 0, i32 4
  %296 = load i64, ptr %295, align 8, !tbaa !33
  %297 = load ptr, ptr %9, align 8, !tbaa !5
  %298 = getelementptr inbounds %struct.IP4_ASSEMBLE_ENTRY, ptr %297, i32 0, i32 6
  %299 = load i64, ptr %298, align 8, !tbaa !34
  %300 = add nsw i64 %299, %296
  store i64 %300, ptr %298, align 8, !tbaa !34
  %301 = load ptr, ptr %7, align 8, !tbaa !5
  %302 = getelementptr inbounds %struct.IP4_CLIP_INFO, ptr %301, i32 0, i32 2
  %303 = load i64, ptr %302, align 8, !tbaa !28
  %304 = icmp eq i64 %303, 0
  br i1 %304, label %305, label %327

305:                                              ; preds = %293
  br label %306

306:                                              ; preds = %305
  %307 = call zeroext i8 @DebugAssertEnabled()
  %308 = icmp ne i8 %307, 0
  br i1 %308, label %309, label %316

309:                                              ; preds = %306
  %310 = load ptr, ptr %9, align 8, !tbaa !5
  %311 = getelementptr inbounds %struct.IP4_ASSEMBLE_ENTRY, ptr %310, i32 0, i32 8
  %312 = load ptr, ptr %311, align 8, !tbaa !36
  %313 = icmp eq ptr %312, null
  br i1 %313, label %315, label %314

314:                                              ; preds = %309
  call void @DebugAssert(ptr noundef @.str, i64 noundef 369, ptr noundef @.str.5)
  br label %315

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

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

317:                                              ; preds = %316
  br label %318

318:                                              ; preds = %317
  %319 = load ptr, ptr %6, align 8, !tbaa !5
  %320 = load ptr, ptr %9, align 8, !tbaa !5
  %321 = getelementptr inbounds %struct.IP4_ASSEMBLE_ENTRY, ptr %320, i32 0, i32 8
  store ptr %319, ptr %321, align 8, !tbaa !36
  %322 = load ptr, ptr %5, align 8, !tbaa !5
  %323 = getelementptr inbounds %struct.NET_BUF, ptr %322, i32 0, i32 6
  %324 = getelementptr inbounds [64 x i8], ptr %323, i64 0, i64 0
  %325 = load ptr, ptr %9, align 8, !tbaa !5
  %326 = getelementptr inbounds %struct.IP4_ASSEMBLE_ENTRY, ptr %325, i32 0, i32 9
  store ptr %324, ptr %326, align 8, !tbaa !37
  br label %327

327:                                              ; preds = %318, %293
  %328 = load ptr, ptr %6, align 8, !tbaa !5
  %329 = getelementptr inbounds %struct.IP4_HEAD, ptr %328, i32 0, i32 4
  %330 = load i16, ptr %329, align 1, !tbaa !38
  %331 = zext i16 %330 to i32
  %332 = and i32 %331, 8192
  %333 = icmp eq i32 %332, 0
  br i1 %333, label %334, label %345

334:                                              ; preds = %327
  %335 = load ptr, ptr %9, align 8, !tbaa !5
  %336 = getelementptr inbounds %struct.IP4_ASSEMBLE_ENTRY, ptr %335, i32 0, i32 5
  %337 = load i64, ptr %336, align 8, !tbaa !39
  %338 = icmp eq i64 %337, 0
  br i1 %338, label %339, label %345

339:                                              ; preds = %334
  %340 = load ptr, ptr %7, align 8, !tbaa !5
  %341 = getelementptr inbounds %struct.IP4_CLIP_INFO, ptr %340, i32 0, i32 3
  %342 = load i64, ptr %341, align 8, !tbaa !32
  %343 = load ptr, ptr %9, align 8, !tbaa !5
  %344 = getelementptr inbounds %struct.IP4_ASSEMBLE_ENTRY, ptr %343, i32 0, i32 5
  store i64 %342, ptr %344, align 8, !tbaa !39
  br label %345

345:                                              ; preds = %339, %334, %327
  %346 = load ptr, ptr %9, align 8, !tbaa !5
  %347 = getelementptr inbounds %struct.IP4_ASSEMBLE_ENTRY, ptr %346, i32 0, i32 5
  %348 = load i64, ptr %347, align 8, !tbaa !39
  %349 = icmp ne i64 %348, 0
  br i1 %349, label %350, label %415

350:                                              ; preds = %345
  %351 = load ptr, ptr %9, align 8, !tbaa !5
  %352 = getelementptr inbounds %struct.IP4_ASSEMBLE_ENTRY, ptr %351, i32 0, i32 6
  %353 = load i64, ptr %352, align 8, !tbaa !34
  %354 = load ptr, ptr %9, align 8, !tbaa !5
  %355 = getelementptr inbounds %struct.IP4_ASSEMBLE_ENTRY, ptr %354, i32 0, i32 5
  %356 = load i64, ptr %355, align 8, !tbaa !39
  %357 = icmp sge i64 %353, %356
  br i1 %357, label %358, label %415

358:                                              ; preds = %350
  %359 = load ptr, ptr %9, align 8, !tbaa !5
  %360 = getelementptr inbounds %struct.IP4_ASSEMBLE_ENTRY, ptr %359, i32 0, i32 0
  %361 = call ptr @RemoveEntryList(ptr noundef %360)
  %362 = load ptr, ptr %10, align 8, !tbaa !5
  %363 = getelementptr inbounds %struct._LIST_ENTRY, ptr %362, i32 0, i32 1
  %364 = load ptr, ptr %363, align 8, !tbaa !31
  %365 = ptrtoint ptr %364 to i64
  %366 = sub i64 %365, ptrtoint (ptr getelementptr inbounds (%struct.NET_BUF, ptr null, i32 0, i32 2) to i64)
  %367 = inttoptr i64 %366 to ptr
  store ptr %367, ptr %13, align 8, !tbaa !5
  %368 = load ptr, ptr %13, align 8, !tbaa !5
  %369 = getelementptr inbounds %struct.NET_BUF, ptr %368, i32 0, i32 6
  %370 = getelementptr inbounds [64 x i8], ptr %369, i64 0, i64 0
  %371 = getelementptr inbounds %struct.IP4_CLIP_INFO, ptr %370, i32 0, i32 3
  %372 = load i64, ptr %371, align 8, !tbaa !32
  %373 = load ptr, ptr %9, align 8, !tbaa !5
  %374 = getelementptr inbounds %struct.IP4_ASSEMBLE_ENTRY, ptr %373, i32 0, i32 5
  %375 = load i64, ptr %374, align 8, !tbaa !39
  %376 = icmp ne i64 %372, %375
  br i1 %376, label %377, label %379

377:                                              ; preds = %358
  %378 = load ptr, ptr %9, align 8, !tbaa !5
  call void @Ip4FreeAssembleEntry(ptr noundef %378)
  store ptr null, ptr %3, align 8
  store i32 1, ptr %16, align 4
  br label %418

379:                                              ; preds = %358
  %380 = load ptr, ptr %9, align 8, !tbaa !5
  %381 = getelementptr inbounds %struct.IP4_ASSEMBLE_ENTRY, ptr %380, i32 0, i32 7
  %382 = load ptr, ptr %9, align 8, !tbaa !5
  %383 = call ptr @NetbufFromBufList(ptr noundef %381, i32 noundef 0, i32 noundef 0, ptr noundef @Ip4OnFreeFragments, ptr noundef %382)
  store ptr %383, ptr %14, align 8, !tbaa !5
  %384 = load ptr, ptr %14, align 8, !tbaa !5
  %385 = icmp eq ptr %384, null
  br i1 %385, label %386, label %388

386:                                              ; preds = %379
  %387 = load ptr, ptr %9, align 8, !tbaa !5
  call void @Ip4FreeAssembleEntry(ptr noundef %387)
  store ptr null, ptr %3, align 8
  store i32 1, ptr %16, align 4
  br label %418

388:                                              ; preds = %379
  %389 = load ptr, ptr %9, align 8, !tbaa !5
  %390 = getelementptr inbounds %struct.IP4_ASSEMBLE_ENTRY, ptr %389, i32 0, i32 8
  %391 = load ptr, ptr %390, align 8, !tbaa !36
  %392 = load ptr, ptr %14, align 8, !tbaa !5
  %393 = getelementptr inbounds %struct.NET_BUF, ptr %392, i32 0, i32 3
  store ptr %391, ptr %393, align 8, !tbaa !9
  br label %394

394:                                              ; preds = %388
  %395 = call zeroext i8 @DebugAssertEnabled()
  %396 = icmp ne i8 %395, 0
  br i1 %396, label %397, label %404

397:                                              ; preds = %394
  %398 = load ptr, ptr %9, align 8, !tbaa !5
  %399 = getelementptr inbounds %struct.IP4_ASSEMBLE_ENTRY, ptr %398, i32 0, i32 9
  %400 = load ptr, ptr %399, align 8, !tbaa !37
  %401 = icmp ne ptr %400, null
  br i1 %401, label %403, label %402

402:                                              ; preds = %397
  call void @DebugAssert(ptr noundef @.str, i64 noundef 423, ptr noundef @.str.6)
  br label %403

403:                                              ; preds = %402, %397
  br label %404

404:                                              ; preds = %403, %394
  br label %405

405:                                              ; preds = %404
  br label %406

406:                                              ; preds = %405
  %407 = load ptr, ptr %14, align 8, !tbaa !5
  %408 = getelementptr inbounds %struct.NET_BUF, ptr %407, i32 0, i32 6
  %409 = getelementptr inbounds [64 x i8], ptr %408, i64 0, i64 0
  %410 = load ptr, ptr %9, align 8, !tbaa !5
  %411 = getelementptr inbounds %struct.IP4_ASSEMBLE_ENTRY, ptr %410, i32 0, i32 9
  %412 = load ptr, ptr %411, align 8, !tbaa !37
  %413 = call ptr @CopyMem(ptr noundef %409, ptr noundef %412, i64 noundef 56)
  %414 = load ptr, ptr %14, align 8, !tbaa !5
  store ptr %414, ptr %3, align 8
  store i32 1, ptr %16, align 4
  br label %418

415:                                              ; preds = %350, %345
  store ptr null, ptr %3, align 8
  store i32 1, ptr %16, align 4
  br label %418

416:                                              ; preds = %280, %136
  %417 = load ptr, ptr %5, align 8, !tbaa !5
  call void @NetbufFree(ptr noundef %417)
  store ptr null, ptr %3, align 8
  store i32 1, ptr %16, align 4
  br label %418

418:                                              ; preds = %416, %415, %406, %386, %377, %215
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %8) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %6) #3
  %419 = load ptr, ptr %3, align 8
  ret ptr %419
}

declare ptr @InsertHeadList(ptr noundef, ptr noundef) #2

declare void @NetListInsertBefore(ptr noundef, ptr noundef) #2

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

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

attributes #0 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
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 = { 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 = !{!7, !7, i64 0}
!10 = !{!11, !13, i64 16}
!11 = !{!"", !7, i64 0, !7, i64 0, !7, i64 1, !12, i64 2, !12, i64 4, !12, i64 6, !7, i64 8, !7, i64 9, !12, i64 10, !13, i64 12, !13, i64 16}
!12 = !{!"short", !7, i64 0}
!13 = !{!"int", !7, i64 0}
!14 = !{!11, !13, i64 12}
!15 = !{!11, !12, i64 4}
!16 = !{!11, !7, i64 9}
!17 = !{!18, !18, i64 0}
!18 = !{!"long long", !7, i64 0}
!19 = !{!20, !6, i64 0}
!20 = !{!"_LIST_ENTRY", !6, i64 0, !6, i64 8}
!21 = !{!22, !13, i64 16}
!22 = !{!"", !20, i64 0, !13, i64 16, !13, i64 20, !12, i64 24, !7, i64 26, !18, i64 32, !18, i64 40, !20, i64 48, !6, i64 64, !6, i64 72, !18, i64 80}
!23 = !{!22, !13, i64 20}
!24 = !{!22, !12, i64 24}
!25 = !{!22, !7, i64 26}
!26 = distinct !{!26, !27}
!27 = !{!"llvm.loop.mustprogress"}
!28 = !{!29, !18, i64 16}
!29 = !{!"", !18, i64 0, !18, i64 8, !18, i64 16, !18, i64 24, !18, i64 32, !13, i64 40, !18, i64 48}
!30 = distinct !{!30, !27}
!31 = !{!20, !6, i64 8}
!32 = !{!29, !18, i64 24}
!33 = !{!29, !18, i64 32}
!34 = !{!22, !18, i64 40}
!35 = distinct !{!35, !27}
!36 = !{!22, !6, i64 64}
!37 = !{!22, !6, i64 72}
!38 = !{!11, !12, i64 6}
!39 = !{!22, !18, i64 32}


; 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._LIST_ENTRY = type { ptr, ptr }

@.str = external hidden unnamed_addr constant [150 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [23 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [31 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [31 x i8], align 1

; Function Attrs: nounwind uwtable
declare dso_local ptr @Ip4CreateAssembleEntry(i32 noundef, i32 noundef, i16 noundef zeroext, i8 noundef zeroext) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
declare dso_local void @Ip4FreeAssembleEntry(ptr noundef) local_unnamed_addr #0

declare ptr @RemoveEntryList(ptr noundef) local_unnamed_addr #1

declare void @NetbufFree(ptr noundef) local_unnamed_addr #1

; Function Attrs: nounwind uwtable
declare dso_local void @Ip4TrimPacket(ptr noundef, i64 noundef, i64 noundef) local_unnamed_addr #0

declare zeroext i8 @DebugAssertEnabled() local_unnamed_addr #1

declare void @DebugAssert(ptr noundef, i64 noundef, ptr noundef) local_unnamed_addr #1

; Function Attrs: nounwind uwtable
declare dso_local void @Ip4OnFreeFragments(ptr noundef) #0

; Function Attrs: nounwind uwtable
define dso_local ptr @Ip4Reassemble(ptr noundef %0, ptr noundef %1) local_unnamed_addr #0 {
  %3 = getelementptr inbounds i8, ptr %1, i64 32
  %4 = load ptr, ptr %3, align 8, !tbaa !5
  %5 = getelementptr inbounds i8, ptr %1, i64 56
  %6 = tail call zeroext i8 @DebugAssertEnabled() #2
  %7 = icmp eq i8 %6, 0
  %8 = icmp ne ptr %4, null
  %or.cond = select i1 %7, i1 true, i1 %8
  br i1 %or.cond, label %10, label %9

9:                                                ; preds = %2
  tail call void @DebugAssert(ptr noundef nonnull @.str, i64 noundef 235, ptr noundef nonnull @.str.3) #2
  br label %10

10:                                               ; preds = %9, %2
  %11 = getelementptr inbounds i8, ptr %4, i64 16
  %12 = load i32, ptr %11, align 1, !tbaa !8
  %13 = getelementptr inbounds i8, ptr %4, i64 12
  %14 = load i32, ptr %13, align 1, !tbaa !12
  %15 = add i32 %14, %12
  %16 = getelementptr inbounds i8, ptr %4, i64 4
  %17 = load i16, ptr %16, align 1, !tbaa !13
  %18 = zext i16 %17 to i32
  %19 = shl nuw i32 %18, 16
  %20 = add i32 %15, %19
  %21 = getelementptr inbounds i8, ptr %4, i64 9
  %22 = load i8, ptr %21, align 1, !tbaa !14
  %23 = zext i8 %22 to i32
  %24 = add i32 %20, %23
  %25 = urem i32 %24, 31
  %26 = zext nneg i32 %25 to i64
  %27 = getelementptr inbounds [31 x %struct._LIST_ENTRY], ptr %0, i64 0, i64 %26
  %.0109138 = load ptr, ptr %27, align 8, !tbaa !15
  %.not139 = icmp eq ptr %.0109138, %27
  br i1 %.not139, label %._crit_edge, label %.lr.ph

.lr.ph:                                           ; preds = %10, %43
  %.0109140 = phi ptr [ %.0109, %43 ], [ %.0109138, %10 ]
  %28 = getelementptr inbounds i8, ptr %.0109140, i64 16
  %29 = load i32, ptr %28, align 8, !tbaa !18
  %30 = icmp eq i32 %29, %12
  br i1 %30, label %31, label %43

31:                                               ; preds = %.lr.ph
  %32 = getelementptr inbounds i8, ptr %.0109140, i64 20
  %33 = load i32, ptr %32, align 4, !tbaa !21
  %34 = icmp eq i32 %33, %14
  br i1 %34, label %35, label %43

35:                                               ; preds = %31
  %36 = getelementptr inbounds i8, ptr %.0109140, i64 24
  %37 = load i16, ptr %36, align 8, !tbaa !22
  %38 = icmp eq i16 %37, %17
  br i1 %38, label %39, label %43

39:                                               ; preds = %35
  %40 = getelementptr inbounds i8, ptr %.0109140, i64 26
  %41 = load i8, ptr %40, align 2, !tbaa !23
  %42 = icmp eq i8 %41, %22
  br i1 %42, label %.loopexit135, label %43

43:                                               ; preds = %.lr.ph, %31, %35, %39
  %.0109 = load ptr, ptr %.0109140, align 8, !tbaa !15
  %.not = icmp eq ptr %.0109, %27
  br i1 %.not, label %._crit_edge, label %.lr.ph, !llvm.loop !24

._crit_edge:                                      ; preds = %43, %10
  %44 = tail call ptr @Ip4CreateAssembleEntry(i32 noundef %12, i32 noundef %14, i16 noundef zeroext %17, i8 noundef zeroext %22)
  %45 = icmp eq ptr %44, null
  br i1 %45, label %167, label %46

46:                                               ; preds = %._crit_edge
  %47 = tail call ptr @InsertHeadList(ptr noundef nonnull %27, ptr noundef nonnull %44) #2
  br label %.loopexit135

.loopexit135:                                     ; preds = %39, %46
  %.2112 = phi ptr [ %44, %46 ], [ %.0109140, %39 ]
  %48 = tail call zeroext i8 @DebugAssertEnabled() #2
  %49 = getelementptr inbounds i8, ptr %.2112, i64 48
  %50 = getelementptr inbounds i8, ptr %1, i64 72
  br label %51

51:                                               ; preds = %52, %.loopexit135
  %.1.in = phi ptr [ %49, %.loopexit135 ], [ %.1, %52 ]
  %.1 = load ptr, ptr %.1.in, align 8, !tbaa !15
  %.not123 = icmp eq ptr %.1, %49
  br i1 %.not123, label %60, label %52

52:                                               ; preds = %51
  %53 = ptrtoint ptr %.1 to i64
  %54 = add i64 %53, -16
  %55 = inttoptr i64 %54 to ptr
  %56 = load i64, ptr %50, align 8, !tbaa !26
  %57 = getelementptr inbounds i8, ptr %55, i64 72
  %58 = load i64, ptr %57, align 8, !tbaa !26
  %59 = icmp slt i64 %56, %58
  br i1 %59, label %60, label %51, !llvm.loop !28

60:                                               ; preds = %52, %51
  %61 = getelementptr inbounds i8, ptr %.1, i64 8
  %62 = load ptr, ptr %61, align 8, !tbaa !29
  %.not124 = icmp eq ptr %62, %49
  br i1 %.not124, label %76, label %63

63:                                               ; preds = %60
  %64 = ptrtoint ptr %62 to i64
  %65 = add i64 %64, -16
  %66 = inttoptr i64 %65 to ptr
  %67 = load i64, ptr %50, align 8, !tbaa !26
  %68 = getelementptr inbounds i8, ptr %66, i64 80
  %69 = load i64, ptr %68, align 8, !tbaa !30
  %70 = icmp slt i64 %67, %69
  br i1 %70, label %71, label %76

71:                                               ; preds = %63
  %72 = getelementptr inbounds i8, ptr %1, i64 80
  %73 = load i64, ptr %72, align 8, !tbaa !30
  %.not125 = icmp sgt i64 %73, %69
  br i1 %.not125, label %75, label %74

74:                                               ; preds = %71
  tail call void @NetbufFree(ptr noundef nonnull %1) #2
  br label %168

75:                                               ; preds = %71
  tail call void @Ip4TrimPacket(ptr noundef nonnull %1, i64 noundef %69, i64 noundef %73)
  br label %76

76:                                               ; preds = %63, %75, %60
  %77 = getelementptr inbounds i8, ptr %1, i64 16
  tail call void @NetListInsertBefore(ptr noundef nonnull %.1, ptr noundef nonnull %77) #2
  br i1 %.not123, label %.loopexit, label %.lr.ph144

.lr.ph144:                                        ; preds = %76
  %78 = getelementptr inbounds i8, ptr %1, i64 80
  %79 = getelementptr inbounds i8, ptr %.2112, i64 40
  br label %80

80:                                               ; preds = %.lr.ph144, %87
  %.2142 = phi ptr [ %.1, %.lr.ph144 ], [ %88, %87 ]
  %81 = ptrtoint ptr %.2142 to i64
  %82 = add i64 %81, -16
  %83 = inttoptr i64 %82 to ptr
  %84 = getelementptr inbounds i8, ptr %83, i64 80
  %85 = load i64, ptr %84, align 8, !tbaa !30
  %86 = load i64, ptr %78, align 8, !tbaa !30
  %.not127 = icmp sgt i64 %85, %86
  br i1 %.not127, label %95, label %87

87:                                               ; preds = %80
  %88 = load ptr, ptr %.2142, align 8, !tbaa !15
  %89 = getelementptr inbounds i8, ptr %83, i64 16
  %90 = tail call ptr @RemoveEntryList(ptr noundef nonnull %89) #2
  %91 = getelementptr inbounds i8, ptr %83, i64 88
  %92 = load i64, ptr %91, align 8, !tbaa !31
  %93 = load i64, ptr %79, align 8, !tbaa !32
  %94 = sub nsw i64 %93, %92
  store i64 %94, ptr %79, align 8, !tbaa !32
  tail call void @NetbufFree(ptr noundef nonnull %83) #2
  %.not126 = icmp eq ptr %88, %49
  br i1 %.not126, label %.loopexit, label %80, !llvm.loop !33

95:                                               ; preds = %80
  %96 = getelementptr inbounds i8, ptr %83, i64 72
  %97 = load i64, ptr %96, align 8, !tbaa !26
  %98 = icmp slt i64 %97, %86
  br i1 %98, label %99, label %.loopexit

99:                                               ; preds = %95
  %100 = load i64, ptr %50, align 8, !tbaa !26
  %101 = icmp eq i64 %100, %97
  br i1 %101, label %102, label %104

102:                                              ; preds = %99
  %103 = tail call ptr @RemoveEntryList(ptr noundef nonnull %77) #2
  br label %167

104:                                              ; preds = %99
  tail call void @Ip4TrimPacket(ptr noundef nonnull %1, i64 noundef %100, i64 noundef %97)
  br label %.loopexit

.loopexit:                                        ; preds = %87, %76, %95, %104
  %105 = getelementptr inbounds i8, ptr %1, i64 88
  %106 = load i64, ptr %105, align 8, !tbaa !31
  %107 = getelementptr inbounds i8, ptr %.2112, i64 40
  %108 = load i64, ptr %107, align 8, !tbaa !32
  %109 = add nsw i64 %108, %106
  store i64 %109, ptr %107, align 8, !tbaa !32
  %110 = load i64, ptr %50, align 8, !tbaa !26
  %111 = icmp eq i64 %110, 0
  br i1 %111, label %112, label %122

112:                                              ; preds = %.loopexit
  %113 = tail call zeroext i8 @DebugAssertEnabled() #2
  %.not128 = icmp eq i8 %113, 0
  br i1 %.not128, label %119, label %114

114:                                              ; preds = %112
  %115 = getelementptr inbounds i8, ptr %.2112, i64 64
  %116 = load ptr, ptr %115, align 8, !tbaa !34
  %117 = icmp eq ptr %116, null
  br i1 %117, label %119, label %118

118:                                              ; preds = %114
  tail call void @DebugAssert(ptr noundef nonnull @.str, i64 noundef 369, ptr noundef nonnull @.str.5) #2
  br label %119

119:                                              ; preds = %114, %118, %112
  %120 = getelementptr inbounds i8, ptr %.2112, i64 64
  store ptr %4, ptr %120, align 8, !tbaa !34
  %121 = getelementptr inbounds i8, ptr %.2112, i64 72
  store ptr %5, ptr %121, align 8, !tbaa !35
  br label %122

122:                                              ; preds = %119, %.loopexit
  %123 = getelementptr inbounds i8, ptr %4, i64 6
  %124 = load i16, ptr %123, align 1, !tbaa !36
  %125 = and i16 %124, 8192
  %126 = icmp eq i16 %125, 0
  %127 = getelementptr inbounds i8, ptr %.2112, i64 32
  %128 = load i64, ptr %127, align 8, !tbaa !37
  br i1 %126, label %129, label %._crit_edge149

129:                                              ; preds = %122
  %130 = icmp eq i64 %128, 0
  br i1 %130, label %131, label %.thread

131:                                              ; preds = %129
  %132 = getelementptr inbounds i8, ptr %1, i64 80
  %133 = load i64, ptr %132, align 8, !tbaa !30
  store i64 %133, ptr %127, align 8, !tbaa !37
  br label %._crit_edge149

._crit_edge149:                                   ; preds = %122, %131
  %134 = phi i64 [ %133, %131 ], [ %128, %122 ]
  %.not129 = icmp eq i64 %134, 0
  br i1 %.not129, label %168, label %.thread

.thread:                                          ; preds = %129, %._crit_edge149
  %135 = phi i64 [ %134, %._crit_edge149 ], [ %128, %129 ]
  %136 = load i64, ptr %107, align 8, !tbaa !32
  %.not130 = icmp slt i64 %136, %135
  br i1 %.not130, label %168, label %137

137:                                              ; preds = %.thread
  %138 = getelementptr inbounds i8, ptr %.2112, i64 32
  %139 = tail call ptr @RemoveEntryList(ptr noundef nonnull %.2112) #2
  %140 = getelementptr inbounds i8, ptr %.2112, i64 56
  %141 = load ptr, ptr %140, align 8, !tbaa !29
  %142 = ptrtoint ptr %141 to i64
  %143 = add i64 %142, -16
  %144 = inttoptr i64 %143 to ptr
  %145 = getelementptr inbounds i8, ptr %144, i64 80
  %146 = load i64, ptr %145, align 8, !tbaa !30
  %147 = load i64, ptr %138, align 8, !tbaa !37
  %.not131 = icmp eq i64 %146, %147
  br i1 %.not131, label %149, label %148

148:                                              ; preds = %137
  tail call void @Ip4FreeAssembleEntry(ptr noundef nonnull %.2112)
  br label %168

149:                                              ; preds = %137
  %150 = tail call ptr @NetbufFromBufList(ptr noundef nonnull %49, i32 noundef 0, i32 noundef 0, ptr noundef nonnull @Ip4OnFreeFragments, ptr noundef nonnull %.2112) #2
  %151 = icmp eq ptr %150, null
  br i1 %151, label %152, label %153

152:                                              ; preds = %149
  tail call void @Ip4FreeAssembleEntry(ptr noundef nonnull %.2112)
  br label %168

153:                                              ; preds = %149
  %154 = getelementptr inbounds i8, ptr %.2112, i64 64
  %155 = load ptr, ptr %154, align 8, !tbaa !34
  %156 = getelementptr inbounds i8, ptr %150, i64 32
  store ptr %155, ptr %156, align 8, !tbaa !5
  %157 = tail call zeroext i8 @DebugAssertEnabled() #2
  %.not132 = icmp eq i8 %157, 0
  br i1 %.not132, label %162, label %158

158:                                              ; preds = %153
  %159 = getelementptr inbounds i8, ptr %.2112, i64 72
  %160 = load ptr, ptr %159, align 8, !tbaa !35
  %.not133 = icmp eq ptr %160, null
  br i1 %.not133, label %161, label %162

161:                                              ; preds = %158
  tail call void @DebugAssert(ptr noundef nonnull @.str, i64 noundef 423, ptr noundef nonnull @.str.6) #2
  br label %162

162:                                              ; preds = %158, %161, %153
  %163 = getelementptr inbounds i8, ptr %150, i64 56
  %164 = getelementptr inbounds i8, ptr %.2112, i64 72
  %165 = load ptr, ptr %164, align 8, !tbaa !35
  %166 = tail call ptr @CopyMem(ptr noundef nonnull %163, ptr noundef %165, i64 noundef 56) #2
  br label %168

167:                                              ; preds = %._crit_edge, %102
  tail call void @NetbufFree(ptr noundef %1) #2
  br label %168

168:                                              ; preds = %._crit_edge149, %.thread, %167, %162, %152, %148, %74
  %.0 = phi ptr [ null, %167 ], [ null, %74 ], [ null, %148 ], [ null, %152 ], [ %150, %162 ], [ null, %.thread ], [ null, %._crit_edge149 ]
  ret ptr %.0
}

declare ptr @InsertHeadList(ptr noundef, ptr noundef) local_unnamed_addr #1

declare void @NetListInsertBefore(ptr noundef, ptr noundef) local_unnamed_addr #1

declare ptr @NetbufFromBufList(ptr noundef, i32 noundef, i32 noundef, ptr noundef, ptr noundef) local_unnamed_addr #1

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

attributes #0 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { "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 }

!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, !11, i64 16}
!9 = !{!"", !6, i64 0, !6, i64 0, !6, i64 1, !10, i64 2, !10, i64 4, !10, i64 6, !6, i64 8, !6, i64 9, !10, i64 10, !11, i64 12, !11, i64 16}
!10 = !{!"short", !6, i64 0}
!11 = !{!"int", !6, i64 0}
!12 = !{!9, !11, i64 12}
!13 = !{!9, !10, i64 4}
!14 = !{!9, !6, i64 9}
!15 = !{!16, !17, i64 0}
!16 = !{!"_LIST_ENTRY", !17, i64 0, !17, i64 8}
!17 = !{!"any pointer", !6, i64 0}
!18 = !{!19, !11, i64 16}
!19 = !{!"", !16, i64 0, !11, i64 16, !11, i64 20, !10, i64 24, !6, i64 26, !20, i64 32, !20, i64 40, !16, i64 48, !17, i64 64, !17, i64 72, !20, i64 80}
!20 = !{!"long long", !6, i64 0}
!21 = !{!19, !11, i64 20}
!22 = !{!19, !10, i64 24}
!23 = !{!19, !6, i64 26}
!24 = distinct !{!24, !25}
!25 = !{!"llvm.loop.mustprogress"}
!26 = !{!27, !20, i64 16}
!27 = !{!"", !20, i64 0, !20, i64 8, !20, i64 16, !20, i64 24, !20, i64 32, !11, i64 40, !20, i64 48}
!28 = distinct !{!28, !25}
!29 = !{!16, !17, i64 8}
!30 = !{!27, !20, i64 24}
!31 = !{!27, !20, i64 32}
!32 = !{!19, !20, i64 40}
!33 = distinct !{!33, !25}
!34 = !{!19, !17, i64 64}
!35 = !{!19, !17, i64 72}
!36 = !{!9, !10, i64 6}
!37 = !{!19, !20, i64 32}


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