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

; 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_FRAGMENT = type { i32, ptr }
%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.NET_VECTOR = type { i32, i64, ptr, ptr, i32, i32, i32, [1 x %struct.NET_BLOCK] }
%struct.NET_BLOCK = type { i32, ptr }

@.str = external hidden unnamed_addr constant [144 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [75 x i8], align 1

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

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

declare zeroext i8 @DebugAssertEnabled() #2

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

declare void @FreePool(ptr noundef) #2

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

declare ptr @AllocatePool(i64 noundef) #2

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

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

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

; Function Attrs: nounwind uwtable
define dso_local ptr @NetbufFromExt(ptr noundef %0, i32 noundef %1, i32 noundef %2, i32 noundef %3, ptr noundef %4, ptr noundef %5) #0 {
  %7 = alloca ptr, align 8
  %8 = alloca ptr, align 8
  %9 = alloca i32, align 4
  %10 = alloca i32, align 4
  %11 = alloca i32, align 4
  %12 = alloca ptr, align 8
  %13 = alloca ptr, align 8
  %14 = alloca ptr, align 8
  %15 = alloca ptr, align 8
  %16 = alloca %struct.NET_FRAGMENT, align 8
  %17 = alloca i32, align 4
  %18 = alloca i32, align 4
  %19 = alloca i32, align 4
  %20 = alloca ptr, align 8
  %21 = alloca i32, align 4
  %22 = alloca ptr, align 8
  %23 = alloca i32, align 4
  %24 = alloca i32, align 4
  %25 = alloca i32, align 4
  %26 = alloca i32, align 4
  %27 = alloca i32, align 4
  store ptr %0, ptr %8, align 8, !tbaa !5
  store i32 %1, ptr %9, align 4, !tbaa !9
  store i32 %2, ptr %10, align 4, !tbaa !9
  store i32 %3, ptr %11, align 4, !tbaa !9
  store ptr %4, ptr %12, align 8, !tbaa !5
  store ptr %5, ptr %13, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #4
  call void @llvm.lifetime.start.p0(i64 16, ptr %16) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %18) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %19) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %24) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %26) #4
  br label %28

28:                                               ; preds = %6
  %29 = call zeroext i8 @DebugAssertEnabled()
  %30 = icmp ne i8 %29, 0
  br i1 %30, label %31, label %42

31:                                               ; preds = %28
  %32 = load ptr, ptr %8, align 8, !tbaa !5
  %33 = icmp ne ptr %32, null
  br i1 %33, label %34, label %40

34:                                               ; preds = %31
  %35 = load i32, ptr %9, align 4, !tbaa !9
  %36 = icmp ugt i32 %35, 0
  br i1 %36, label %37, label %40

37:                                               ; preds = %34
  %38 = load ptr, ptr %12, align 8, !tbaa !5
  %39 = icmp ne ptr %38, null
  br i1 %39, label %41, label %40

40:                                               ; preds = %37, %34, %31
  call void @DebugAssert(ptr noundef @.str, i64 noundef 741, ptr noundef @.str.13)
  br label %41

41:                                               ; preds = %40, %37
  br label %42

42:                                               ; preds = %41, %28
  br label %43

43:                                               ; preds = %42
  br label %44

44:                                               ; preds = %43
  %45 = getelementptr inbounds %struct.NET_FRAGMENT, ptr %16, i32 0, i32 1
  store ptr null, ptr %45, align 8, !tbaa !11
  %46 = getelementptr inbounds %struct.NET_FRAGMENT, ptr %16, i32 0, i32 0
  store i32 0, ptr %46, align 8, !tbaa !13
  store i32 0, ptr %21, align 4, !tbaa !9
  store ptr null, ptr %20, align 8, !tbaa !5
  %47 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %47, ptr %19, align 4, !tbaa !9
  store i32 0, ptr %24, align 4, !tbaa !9
  store i32 0, ptr %18, align 4, !tbaa !9
  store i32 0, ptr %17, align 4, !tbaa !9
  store i32 0, ptr %25, align 4, !tbaa !9
  store i32 0, ptr %26, align 4, !tbaa !9
  %48 = load ptr, ptr %8, align 8, !tbaa !5
  %49 = getelementptr inbounds %struct.NET_FRAGMENT, ptr %48, i64 0
  %50 = getelementptr inbounds %struct.NET_FRAGMENT, ptr %49, i32 0, i32 0
  %51 = load i32, ptr %50, align 8, !tbaa !13
  %52 = load i32, ptr %11, align 4, !tbaa !9
  %53 = icmp uge i32 %51, %52
  br i1 %53, label %57, label %54

54:                                               ; preds = %44
  %55 = load i32, ptr %9, align 4, !tbaa !9
  %56 = icmp eq i32 %55, 1
  br i1 %56, label %57, label %58

57:                                               ; preds = %54, %44
  store i32 0, ptr %11, align 4, !tbaa !9
  br label %58

58:                                               ; preds = %57, %54
  %59 = load i32, ptr %10, align 4, !tbaa !9
  %60 = icmp ne i32 %59, 0
  br i1 %60, label %64, label %61

61:                                               ; preds = %58
  %62 = load i32, ptr %11, align 4, !tbaa !9
  %63 = icmp ne i32 %62, 0
  br i1 %63, label %64, label %77

64:                                               ; preds = %61, %58
  %65 = load i32, ptr %11, align 4, !tbaa !9
  %66 = load i32, ptr %10, align 4, !tbaa !9
  %67 = add i32 %65, %66
  store i32 %67, ptr %21, align 4, !tbaa !9
  %68 = load i32, ptr %21, align 4, !tbaa !9
  %69 = zext i32 %68 to i64
  %70 = call ptr @AllocatePool(i64 noundef %69)
  store ptr %70, ptr %20, align 8, !tbaa !5
  %71 = load ptr, ptr %20, align 8, !tbaa !5
  %72 = icmp eq ptr %71, null
  br i1 %72, label %73, label %74

73:                                               ; preds = %64
  store ptr null, ptr %7, align 8
  store i32 1, ptr %27, align 4
  br label %303

74:                                               ; preds = %64
  %75 = load i32, ptr %19, align 4, !tbaa !9
  %76 = add i32 %75, 1
  store i32 %76, ptr %19, align 4, !tbaa !9
  br label %77

77:                                               ; preds = %74, %61
  %78 = load i32, ptr %11, align 4, !tbaa !9
  %79 = icmp ne i32 %78, 0
  br i1 %79, label %80, label %200

80:                                               ; preds = %77
  %81 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %81, ptr %25, align 4, !tbaa !9
  %82 = load ptr, ptr %20, align 8, !tbaa !5
  %83 = load i32, ptr %10, align 4, !tbaa !9
  %84 = zext i32 %83 to i64
  %85 = getelementptr inbounds i8, ptr %82, i64 %84
  store ptr %85, ptr %22, align 8, !tbaa !5
  store i32 0, ptr %24, align 4, !tbaa !9
  br label %86

86:                                               ; preds = %196, %80
  %87 = load i32, ptr %24, align 4, !tbaa !9
  %88 = load i32, ptr %9, align 4, !tbaa !9
  %89 = icmp ult i32 %87, %88
  br i1 %89, label %90, label %199

90:                                               ; preds = %86
  %91 = load i32, ptr %25, align 4, !tbaa !9
  %92 = load ptr, ptr %8, align 8, !tbaa !5
  %93 = load i32, ptr %24, align 4, !tbaa !9
  %94 = zext i32 %93 to i64
  %95 = getelementptr inbounds %struct.NET_FRAGMENT, ptr %92, i64 %94
  %96 = getelementptr inbounds %struct.NET_FRAGMENT, ptr %95, i32 0, i32 0
  %97 = load i32, ptr %96, align 8, !tbaa !13
  %98 = icmp uge i32 %91, %97
  br i1 %98, label %99, label %156

99:                                               ; preds = %90
  %100 = load ptr, ptr %22, align 8, !tbaa !5
  %101 = load ptr, ptr %8, align 8, !tbaa !5
  %102 = load i32, ptr %24, align 4, !tbaa !9
  %103 = zext i32 %102 to i64
  %104 = getelementptr inbounds %struct.NET_FRAGMENT, ptr %101, i64 %103
  %105 = getelementptr inbounds %struct.NET_FRAGMENT, ptr %104, i32 0, i32 1
  %106 = load ptr, ptr %105, align 8, !tbaa !11
  %107 = load ptr, ptr %8, align 8, !tbaa !5
  %108 = load i32, ptr %24, align 4, !tbaa !9
  %109 = zext i32 %108 to i64
  %110 = getelementptr inbounds %struct.NET_FRAGMENT, ptr %107, i64 %109
  %111 = getelementptr inbounds %struct.NET_FRAGMENT, ptr %110, i32 0, i32 0
  %112 = load i32, ptr %111, align 8, !tbaa !13
  %113 = zext i32 %112 to i64
  %114 = call ptr @CopyMem(ptr noundef %100, ptr noundef %106, i64 noundef %113)
  %115 = load ptr, ptr %8, align 8, !tbaa !5
  %116 = load i32, ptr %24, align 4, !tbaa !9
  %117 = zext i32 %116 to i64
  %118 = getelementptr inbounds %struct.NET_FRAGMENT, ptr %115, i64 %117
  %119 = getelementptr inbounds %struct.NET_FRAGMENT, ptr %118, i32 0, i32 0
  %120 = load i32, ptr %119, align 8, !tbaa !13
  %121 = load i32, ptr %26, align 4, !tbaa !9
  %122 = add i32 %121, %120
  store i32 %122, ptr %26, align 4, !tbaa !9
  %123 = load ptr, ptr %8, align 8, !tbaa !5
  %124 = load i32, ptr %24, align 4, !tbaa !9
  %125 = zext i32 %124 to i64
  %126 = getelementptr inbounds %struct.NET_FRAGMENT, ptr %123, i64 %125
  %127 = getelementptr inbounds %struct.NET_FRAGMENT, ptr %126, i32 0, i32 0
  %128 = load i32, ptr %127, align 8, !tbaa !13
  %129 = load i32, ptr %25, align 4, !tbaa !9
  %130 = sub i32 %129, %128
  store i32 %130, ptr %25, align 4, !tbaa !9
  %131 = load ptr, ptr %8, align 8, !tbaa !5
  %132 = load i32, ptr %24, align 4, !tbaa !9
  %133 = zext i32 %132 to i64
  %134 = getelementptr inbounds %struct.NET_FRAGMENT, ptr %131, i64 %133
  %135 = getelementptr inbounds %struct.NET_FRAGMENT, ptr %134, i32 0, i32 0
  %136 = load i32, ptr %135, align 8, !tbaa !13
  %137 = load ptr, ptr %22, align 8, !tbaa !5
  %138 = zext i32 %136 to i64
  %139 = getelementptr inbounds i8, ptr %137, i64 %138
  store ptr %139, ptr %22, align 8, !tbaa !5
  %140 = load ptr, ptr %8, align 8, !tbaa !5
  %141 = load i32, ptr %24, align 4, !tbaa !9
  %142 = zext i32 %141 to i64
  %143 = getelementptr inbounds %struct.NET_FRAGMENT, ptr %140, i64 %142
  %144 = getelementptr inbounds %struct.NET_FRAGMENT, ptr %143, i32 0, i32 0
  %145 = load i32, ptr %144, align 8, !tbaa !13
  %146 = load i32, ptr %18, align 4, !tbaa !9
  %147 = add i32 %146, %145
  store i32 %147, ptr %18, align 4, !tbaa !9
  %148 = load i32, ptr %19, align 4, !tbaa !9
  %149 = add i32 %148, -1
  store i32 %149, ptr %19, align 4, !tbaa !9
  %150 = load i32, ptr %25, align 4, !tbaa !9
  %151 = icmp eq i32 %150, 0
  br i1 %151, label %152, label %155

152:                                              ; preds = %99
  %153 = load i32, ptr %24, align 4, !tbaa !9
  %154 = add i32 %153, 1
  store i32 %154, ptr %24, align 4, !tbaa !9
  br label %199

155:                                              ; preds = %99
  br label %195

156:                                              ; preds = %90
  %157 = load ptr, ptr %22, align 8, !tbaa !5
  %158 = load ptr, ptr %8, align 8, !tbaa !5
  %159 = load i32, ptr %24, align 4, !tbaa !9
  %160 = zext i32 %159 to i64
  %161 = getelementptr inbounds %struct.NET_FRAGMENT, ptr %158, i64 %160
  %162 = getelementptr inbounds %struct.NET_FRAGMENT, ptr %161, i32 0, i32 1
  %163 = load ptr, ptr %162, align 8, !tbaa !11
  %164 = load i32, ptr %25, align 4, !tbaa !9
  %165 = zext i32 %164 to i64
  %166 = call ptr @CopyMem(ptr noundef %157, ptr noundef %163, i64 noundef %165)
  %167 = load i32, ptr %25, align 4, !tbaa !9
  %168 = load i32, ptr %26, align 4, !tbaa !9
  %169 = add i32 %168, %167
  store i32 %169, ptr %26, align 4, !tbaa !9
  %170 = load i32, ptr %25, align 4, !tbaa !9
  %171 = load i32, ptr %18, align 4, !tbaa !9
  %172 = add i32 %171, %170
  store i32 %172, ptr %18, align 4, !tbaa !9
  %173 = load i32, ptr %24, align 4, !tbaa !9
  store i32 %173, ptr %17, align 4, !tbaa !9
  %174 = load ptr, ptr %8, align 8, !tbaa !5
  %175 = load i32, ptr %24, align 4, !tbaa !9
  %176 = zext i32 %175 to i64
  %177 = getelementptr inbounds %struct.NET_FRAGMENT, ptr %174, i64 %176
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %16, ptr align 8 %177, i64 16, i1 false), !tbaa.struct !14
  %178 = load i32, ptr %25, align 4, !tbaa !9
  %179 = load ptr, ptr %8, align 8, !tbaa !5
  %180 = load i32, ptr %24, align 4, !tbaa !9
  %181 = zext i32 %180 to i64
  %182 = getelementptr inbounds %struct.NET_FRAGMENT, ptr %179, i64 %181
  %183 = getelementptr inbounds %struct.NET_FRAGMENT, ptr %182, i32 0, i32 1
  %184 = load ptr, ptr %183, align 8, !tbaa !11
  %185 = zext i32 %178 to i64
  %186 = getelementptr inbounds i8, ptr %184, i64 %185
  store ptr %186, ptr %183, align 8, !tbaa !11
  %187 = load i32, ptr %25, align 4, !tbaa !9
  %188 = load ptr, ptr %8, align 8, !tbaa !5
  %189 = load i32, ptr %24, align 4, !tbaa !9
  %190 = zext i32 %189 to i64
  %191 = getelementptr inbounds %struct.NET_FRAGMENT, ptr %188, i64 %190
  %192 = getelementptr inbounds %struct.NET_FRAGMENT, ptr %191, i32 0, i32 0
  %193 = load i32, ptr %192, align 8, !tbaa !13
  %194 = sub i32 %193, %187
  store i32 %194, ptr %192, align 8, !tbaa !13
  br label %199

195:                                              ; preds = %155
  br label %196

196:                                              ; preds = %195
  %197 = load i32, ptr %24, align 4, !tbaa !9
  %198 = add i32 %197, 1
  store i32 %198, ptr %24, align 4, !tbaa !9
  br label %86, !llvm.loop !15

199:                                              ; preds = %156, %152, %86
  br label %200

200:                                              ; preds = %199, %77
  %201 = load i32, ptr %19, align 4, !tbaa !9
  %202 = load i32, ptr %19, align 4, !tbaa !9
  %203 = call ptr @NetbufAllocStruct(i32 noundef %201, i32 noundef %202)
  store ptr %203, ptr %14, align 8, !tbaa !5
  %204 = load ptr, ptr %14, align 8, !tbaa !5
  %205 = icmp eq ptr %204, null
  br i1 %205, label %206, label %207

206:                                              ; preds = %200
  br label %297

207:                                              ; preds = %200
  %208 = load ptr, ptr %14, align 8, !tbaa !5
  %209 = getelementptr inbounds %struct.NET_BUF, ptr %208, i32 0, i32 7
  %210 = load ptr, ptr %209, align 8, !tbaa !17
  store ptr %210, ptr %15, align 8, !tbaa !5
  %211 = load ptr, ptr %12, align 8, !tbaa !5
  %212 = load ptr, ptr %15, align 8, !tbaa !5
  %213 = getelementptr inbounds %struct.NET_VECTOR, ptr %212, i32 0, i32 2
  store ptr %211, ptr %213, align 8, !tbaa !21
  %214 = load ptr, ptr %13, align 8, !tbaa !5
  %215 = load ptr, ptr %15, align 8, !tbaa !5
  %216 = getelementptr inbounds %struct.NET_VECTOR, ptr %215, i32 0, i32 3
  store ptr %214, ptr %216, align 8, !tbaa !23
  %217 = load i32, ptr %21, align 4, !tbaa !9
  %218 = icmp ne i32 %217, 0
  %219 = zext i1 %218 to i64
  %220 = select i1 %218, i32 1, i32 0
  %221 = load ptr, ptr %15, align 8, !tbaa !5
  %222 = getelementptr inbounds %struct.NET_VECTOR, ptr %221, i32 0, i32 4
  store i32 %220, ptr %222, align 8, !tbaa !24
  store i32 0, ptr %23, align 4, !tbaa !9
  %223 = load i32, ptr %21, align 4, !tbaa !9
  %224 = icmp ne i32 %223, 0
  br i1 %224, label %225, label %246

225:                                              ; preds = %207
  %226 = load ptr, ptr %14, align 8, !tbaa !5
  %227 = load ptr, ptr %20, align 8, !tbaa !5
  %228 = load i32, ptr %10, align 4, !tbaa !9
  %229 = load i32, ptr %26, align 4, !tbaa !9
  %230 = add i32 %228, %229
  call void @NetbufSetBlock(ptr noundef %226, ptr noundef %227, i32 noundef %230, i32 noundef 0)
  %231 = load i32, ptr %10, align 4, !tbaa !9
  %232 = load ptr, ptr %14, align 8, !tbaa !5
  %233 = getelementptr inbounds %struct.NET_BUF, ptr %232, i32 0, i32 10
  %234 = getelementptr inbounds [1 x %struct.NET_BLOCK_OP], ptr %233, i64 0, i64 0
  %235 = getelementptr inbounds %struct.NET_BLOCK_OP, ptr %234, i32 0, i32 2
  %236 = load ptr, ptr %235, align 8, !tbaa !25
  %237 = zext i32 %231 to i64
  %238 = getelementptr inbounds i8, ptr %236, i64 %237
  store ptr %238, ptr %235, align 8, !tbaa !25
  %239 = load i32, ptr %26, align 4, !tbaa !9
  %240 = load ptr, ptr %14, align 8, !tbaa !5
  %241 = getelementptr inbounds %struct.NET_BUF, ptr %240, i32 0, i32 10
  %242 = getelementptr inbounds [1 x %struct.NET_BLOCK_OP], ptr %241, i64 0, i64 0
  %243 = getelementptr inbounds %struct.NET_BLOCK_OP, ptr %242, i32 0, i32 4
  store i32 %239, ptr %243, align 8, !tbaa !27
  %244 = load i32, ptr %23, align 4, !tbaa !9
  %245 = add i32 %244, 1
  store i32 %245, ptr %23, align 4, !tbaa !9
  br label %246

246:                                              ; preds = %225, %207
  br label %247

247:                                              ; preds = %276, %246
  %248 = load i32, ptr %24, align 4, !tbaa !9
  %249 = load i32, ptr %9, align 4, !tbaa !9
  %250 = icmp ult i32 %248, %249
  br i1 %250, label %251, label %279

251:                                              ; preds = %247
  %252 = load ptr, ptr %14, align 8, !tbaa !5
  %253 = load ptr, ptr %8, align 8, !tbaa !5
  %254 = load i32, ptr %24, align 4, !tbaa !9
  %255 = zext i32 %254 to i64
  %256 = getelementptr inbounds %struct.NET_FRAGMENT, ptr %253, i64 %255
  %257 = getelementptr inbounds %struct.NET_FRAGMENT, ptr %256, i32 0, i32 1
  %258 = load ptr, ptr %257, align 8, !tbaa !11
  %259 = load ptr, ptr %8, align 8, !tbaa !5
  %260 = load i32, ptr %24, align 4, !tbaa !9
  %261 = zext i32 %260 to i64
  %262 = getelementptr inbounds %struct.NET_FRAGMENT, ptr %259, i64 %261
  %263 = getelementptr inbounds %struct.NET_FRAGMENT, ptr %262, i32 0, i32 0
  %264 = load i32, ptr %263, align 8, !tbaa !13
  %265 = load i32, ptr %23, align 4, !tbaa !9
  call void @NetbufSetBlock(ptr noundef %252, ptr noundef %258, i32 noundef %264, i32 noundef %265)
  %266 = load ptr, ptr %8, align 8, !tbaa !5
  %267 = load i32, ptr %24, align 4, !tbaa !9
  %268 = zext i32 %267 to i64
  %269 = getelementptr inbounds %struct.NET_FRAGMENT, ptr %266, i64 %268
  %270 = getelementptr inbounds %struct.NET_FRAGMENT, ptr %269, i32 0, i32 0
  %271 = load i32, ptr %270, align 8, !tbaa !13
  %272 = load i32, ptr %18, align 4, !tbaa !9
  %273 = add i32 %272, %271
  store i32 %273, ptr %18, align 4, !tbaa !9
  %274 = load i32, ptr %23, align 4, !tbaa !9
  %275 = add i32 %274, 1
  store i32 %275, ptr %23, align 4, !tbaa !9
  br label %276

276:                                              ; preds = %251
  %277 = load i32, ptr %24, align 4, !tbaa !9
  %278 = add i32 %277, 1
  store i32 %278, ptr %24, align 4, !tbaa !9
  br label %247, !llvm.loop !28

279:                                              ; preds = %247
  %280 = load i32, ptr %18, align 4, !tbaa !9
  %281 = load i32, ptr %10, align 4, !tbaa !9
  %282 = add i32 %280, %281
  %283 = load ptr, ptr %15, align 8, !tbaa !5
  %284 = getelementptr inbounds %struct.NET_VECTOR, ptr %283, i32 0, i32 5
  store i32 %282, ptr %284, align 4, !tbaa !29
  %285 = load i32, ptr %18, align 4, !tbaa !9
  %286 = load ptr, ptr %14, align 8, !tbaa !5
  %287 = getelementptr inbounds %struct.NET_BUF, ptr %286, i32 0, i32 9
  store i32 %285, ptr %287, align 4, !tbaa !30
  %288 = load i32, ptr %17, align 4, !tbaa !9
  %289 = icmp ne i32 %288, 0
  br i1 %289, label %290, label %295

290:                                              ; preds = %279
  %291 = load ptr, ptr %8, align 8, !tbaa !5
  %292 = load i32, ptr %17, align 4, !tbaa !9
  %293 = zext i32 %292 to i64
  %294 = getelementptr inbounds %struct.NET_FRAGMENT, ptr %291, i64 %293
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %294, ptr align 8 %16, i64 16, i1 false), !tbaa.struct !14
  br label %295

295:                                              ; preds = %290, %279
  %296 = load ptr, ptr %14, align 8, !tbaa !5
  store ptr %296, ptr %7, align 8
  store i32 1, ptr %27, align 4
  br label %303

297:                                              ; preds = %206
  %298 = load ptr, ptr %20, align 8, !tbaa !5
  %299 = icmp ne ptr %298, null
  br i1 %299, label %300, label %302

300:                                              ; preds = %297
  %301 = load ptr, ptr %20, align 8, !tbaa !5
  call void @FreePool(ptr noundef %301)
  br label %302

302:                                              ; preds = %300, %297
  store ptr null, ptr %7, align 8
  store i32 1, ptr %27, align 4
  br label %303

303:                                              ; preds = %302, %295, %73
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %24) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #4
  call void @llvm.lifetime.end.p0(i64 16, ptr %16) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #4
  %304 = load ptr, ptr %7, align 8
  ret ptr %304
}

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 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #4 = { nounwind }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = !{!12, !6, i64 8}
!12 = !{!"", !10, i64 0, !6, i64 8}
!13 = !{!12, !10, i64 0}
!14 = !{i64 0, i64 4, !9, i64 8, i64 8, !5}
!15 = distinct !{!15, !16}
!16 = !{!"llvm.loop.mustprogress"}
!17 = !{!18, !6, i64 120}
!18 = !{!"", !10, i64 0, !19, i64 8, !20, i64 16, !7, i64 32, !6, i64 40, !6, i64 48, !7, i64 56, !6, i64 120, !10, i64 128, !10, i64 132, !7, i64 136}
!19 = !{!"long long", !7, i64 0}
!20 = !{!"_LIST_ENTRY", !6, i64 0, !6, i64 8}
!21 = !{!22, !6, i64 16}
!22 = !{!"", !10, i64 0, !19, i64 8, !6, i64 16, !6, i64 24, !10, i64 32, !10, i64 36, !10, i64 40, !7, i64 48}
!23 = !{!22, !6, i64 24}
!24 = !{!22, !10, i64 32}
!25 = !{!26, !6, i64 16}
!26 = !{!"", !6, i64 0, !6, i64 8, !6, i64 16, !6, i64 24, !10, i64 32}
!27 = !{!26, !10, i64 32}
!28 = distinct !{!28, !16}
!29 = !{!22, !10, i64 36}
!30 = !{!18, !10, i64 132}


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

@.str = external hidden unnamed_addr constant [144 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [75 x i8], align 1

; Function Attrs: nounwind uwtable
declare dso_local ptr @NetbufAllocStruct(i32 noundef, i32 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

declare void @FreePool(ptr noundef) local_unnamed_addr #1

declare ptr @AllocatePool(i64 noundef) local_unnamed_addr #1

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

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

; Function Attrs: nounwind uwtable
define dso_local ptr @NetbufFromExt(ptr noundef %0, i32 noundef %1, i32 noundef %2, i32 noundef %3, ptr noundef %4, ptr noundef %5) local_unnamed_addr #0 {
  %7 = tail call zeroext i8 @DebugAssertEnabled() #2
  %.not = icmp eq i8 %7, 0
  br i1 %.not, label %13, label %8

8:                                                ; preds = %6
  %9 = icmp ne ptr %0, null
  %10 = icmp ne i32 %1, 0
  %or.cond = and i1 %9, %10
  %11 = icmp ne ptr %4, null
  %or.cond3 = and i1 %or.cond, %11
  br i1 %or.cond3, label %13, label %12

12:                                               ; preds = %8
  tail call void @DebugAssert(ptr noundef nonnull @.str, i64 noundef 741, ptr noundef nonnull @.str.13) #2
  br label %13

13:                                               ; preds = %12, %8, %6
  %14 = load i32, ptr %0, align 8, !tbaa !5
  %.fr = freeze i32 %14
  %15 = icmp ult i32 %.fr, %3
  %16 = icmp ne i32 %1, 1
  %or.cond5.not = and i1 %16, %15
  %17 = icmp ne i32 %2, 0
  %or.cond7 = or i1 %17, %or.cond5.not
  br i1 %or.cond7, label %18, label %26

18:                                               ; preds = %13
  %spec.store.select = select i1 %or.cond5.not, i32 %3, i32 0
  %19 = add i32 %spec.store.select, %2
  %20 = zext i32 %19 to i64
  %21 = tail call ptr @AllocatePool(i64 noundef %20) #2
  %22 = icmp eq ptr %21, null
  br i1 %22, label %95, label %23

23:                                               ; preds = %18
  %24 = add i32 %1, 1
  %25 = icmp eq i32 %19, 0
  br label %26

26:                                               ; preds = %13, %23
  %.0126 = phi i32 [ %24, %23 ], [ %1, %13 ]
  %.0125 = phi ptr [ %21, %23 ], [ null, %13 ]
  %.0124 = phi i1 [ %25, %23 ], [ true, %13 ]
  %27 = zext i32 %2 to i64
  %switch = icmp ugt i32 %1, 1
  %or.cond226.not = and i1 %switch, %15
  br i1 %or.cond226.not, label %.lr.ph.preheader, label %.loopexit

.lr.ph.preheader:                                 ; preds = %26
  %28 = getelementptr inbounds i8, ptr %.0125, i64 %27
  %29 = sub i32 %.0126, %1
  %wide.trip.count = zext i32 %1 to i64
  br label %.lr.ph

.lr.ph:                                           ; preds = %.lr.ph.preheader, %58
  %indvars.iv = phi i64 [ 0, %.lr.ph.preheader ], [ %indvars.iv.next, %58 ]
  %.0165 = phi i32 [ 0, %.lr.ph.preheader ], [ %38, %58 ]
  %.0118164 = phi i32 [ %3, %.lr.ph.preheader ], [ %39, %58 ]
  %.0123162 = phi ptr [ %28, %.lr.ph.preheader ], [ %60, %58 ]
  %.1127161 = phi i32 [ %.0126, %.lr.ph.preheader ], [ %41, %58 ]
  %.0129160 = phi i32 [ 0, %.lr.ph.preheader ], [ %40, %58 ]
  %30 = getelementptr inbounds %struct.NET_FRAGMENT, ptr %0, i64 %indvars.iv
  %31 = load i32, ptr %30, align 8, !tbaa !5
  %.not140 = icmp ult i32 %.0118164, %31
  br i1 %.not140, label %46, label %32

32:                                               ; preds = %.lr.ph
  %33 = getelementptr inbounds i8, ptr %30, i64 8
  %34 = load ptr, ptr %33, align 8, !tbaa !11
  %35 = zext i32 %31 to i64
  %36 = tail call ptr @CopyMem(ptr noundef %.0123162, ptr noundef %34, i64 noundef %35) #2
  %37 = load i32, ptr %30, align 8, !tbaa !5
  %38 = add i32 %37, %.0165
  %39 = sub i32 %.0118164, %37
  %40 = add i32 %37, %.0129160
  %41 = add i32 %.1127161, -1
  %42 = icmp eq i32 %39, 0
  br i1 %42, label %43, label %58

43:                                               ; preds = %32
  %44 = trunc nuw i64 %indvars.iv to i32
  %45 = add nuw i32 %44, 1
  br label %.loopexit

46:                                               ; preds = %.lr.ph
  %47 = trunc nuw i64 %indvars.iv to i32
  %48 = getelementptr inbounds i8, ptr %30, i64 8
  %49 = load ptr, ptr %48, align 8, !tbaa !11
  %50 = zext i32 %.0118164 to i64
  %51 = tail call ptr @CopyMem(ptr noundef %.0123162, ptr noundef %49, i64 noundef %50) #2
  %52 = add i32 %.0165, %.0118164
  %53 = add i32 %.0118164, %.0129160
  %54 = load <2 x i32>, ptr %30, align 8
  %.sroa.566.0.copyload = load ptr, ptr %48, align 8, !tbaa !12
  %55 = getelementptr inbounds i8, ptr %.sroa.566.0.copyload, i64 %50
  store ptr %55, ptr %48, align 8, !tbaa !11
  %56 = extractelement <2 x i32> %54, i64 0
  %57 = sub i32 %56, %.0118164
  store i32 %57, ptr %30, align 8, !tbaa !5
  br label %.loopexit

58:                                               ; preds = %32
  %59 = zext i32 %37 to i64
  %60 = getelementptr inbounds i8, ptr %.0123162, i64 %59
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next, %wide.trip.count
  br i1 %exitcond.not, label %.loopexit, label %.lr.ph, !llvm.loop !13

.loopexit:                                        ; preds = %58, %26, %43, %46
  %.sroa.566.0 = phi ptr [ null, %43 ], [ %.sroa.566.0.copyload, %46 ], [ null, %26 ], [ null, %58 ]
  %.0132 = phi i32 [ 0, %43 ], [ %47, %46 ], [ 0, %26 ], [ 0, %58 ]
  %.1130 = phi i32 [ %40, %43 ], [ %53, %46 ], [ 0, %26 ], [ %40, %58 ]
  %.2128 = phi i32 [ %41, %43 ], [ %.1127161, %46 ], [ %.0126, %26 ], [ %29, %58 ]
  %.1120 = phi i32 [ %45, %43 ], [ %47, %46 ], [ 0, %26 ], [ %1, %58 ]
  %.1 = phi i32 [ %38, %43 ], [ %52, %46 ], [ 0, %26 ], [ %38, %58 ]
  %61 = phi <2 x i32> [ <i32 0, i32 undef>, %43 ], [ %54, %46 ], [ <i32 0, i32 undef>, %26 ], [ <i32 0, i32 undef>, %58 ]
  %62 = tail call ptr @NetbufAllocStruct(i32 noundef %.2128, i32 noundef %.2128)
  %63 = icmp eq ptr %62, null
  br i1 %63, label %93, label %64

64:                                               ; preds = %.loopexit
  %65 = getelementptr inbounds i8, ptr %62, i64 120
  %66 = load ptr, ptr %65, align 8, !tbaa !15
  %67 = getelementptr inbounds i8, ptr %66, i64 16
  store ptr %4, ptr %67, align 8, !tbaa !19
  %68 = getelementptr inbounds i8, ptr %66, i64 24
  store ptr %5, ptr %68, align 8, !tbaa !21
  %not..0124 = xor i1 %.0124, true
  %69 = zext i1 %not..0124 to i32
  %70 = getelementptr inbounds i8, ptr %66, i64 32
  store i32 %69, ptr %70, align 8, !tbaa !22
  br i1 %.0124, label %77, label %71

71:                                               ; preds = %64
  %72 = add i32 %.1, %2
  tail call void @NetbufSetBlock(ptr noundef nonnull %62, ptr noundef %.0125, i32 noundef %72, i32 noundef 0)
  %73 = getelementptr inbounds i8, ptr %62, i64 152
  %74 = load ptr, ptr %73, align 8, !tbaa !23
  %75 = getelementptr inbounds i8, ptr %74, i64 %27
  store ptr %75, ptr %73, align 8, !tbaa !23
  %76 = getelementptr inbounds i8, ptr %62, i64 168
  store i32 %.1, ptr %76, align 8, !tbaa !25
  br label %77

77:                                               ; preds = %71, %64
  %.0121 = phi i32 [ 1, %71 ], [ 0, %64 ]
  %78 = icmp ult i32 %.1120, %1
  br i1 %78, label %.lr.ph172.preheader, label %._crit_edge

.lr.ph172.preheader:                              ; preds = %77
  %79 = zext i32 %.1120 to i64
  br label %.lr.ph172

.lr.ph172:                                        ; preds = %.lr.ph172.preheader, %.lr.ph172
  %indvars.iv200 = phi i64 [ %79, %.lr.ph172.preheader ], [ %indvars.iv.next201, %.lr.ph172 ]
  %.1122170 = phi i32 [ %.0121, %.lr.ph172.preheader ], [ %86, %.lr.ph172 ]
  %.2131169 = phi i32 [ %.1130, %.lr.ph172.preheader ], [ %85, %.lr.ph172 ]
  %80 = getelementptr inbounds %struct.NET_FRAGMENT, ptr %0, i64 %indvars.iv200
  %81 = getelementptr inbounds i8, ptr %80, i64 8
  %82 = load ptr, ptr %81, align 8, !tbaa !11
  %83 = load i32, ptr %80, align 8, !tbaa !5
  tail call void @NetbufSetBlock(ptr noundef nonnull %62, ptr noundef %82, i32 noundef %83, i32 noundef %.1122170)
  %84 = load i32, ptr %80, align 8, !tbaa !5
  %85 = add i32 %84, %.2131169
  %86 = add i32 %.1122170, 1
  %indvars.iv.next201 = add nuw nsw i64 %indvars.iv200, 1
  %lftr.wideiv = trunc i64 %indvars.iv.next201 to i32
  %exitcond203.not = icmp eq i32 %lftr.wideiv, %1
  br i1 %exitcond203.not, label %._crit_edge, label %.lr.ph172, !llvm.loop !26

._crit_edge:                                      ; preds = %.lr.ph172, %77
  %.2131.lcssa = phi i32 [ %.1130, %77 ], [ %85, %.lr.ph172 ]
  %87 = add i32 %.2131.lcssa, %2
  %88 = getelementptr inbounds i8, ptr %66, i64 36
  store i32 %87, ptr %88, align 4, !tbaa !27
  %89 = getelementptr inbounds i8, ptr %62, i64 132
  store i32 %.2131.lcssa, ptr %89, align 4, !tbaa !28
  %.not142 = icmp eq i32 %.0132, 0
  br i1 %.not142, label %95, label %90

90:                                               ; preds = %._crit_edge
  %91 = zext i32 %.0132 to i64
  %92 = getelementptr inbounds %struct.NET_FRAGMENT, ptr %0, i64 %91
  store <2 x i32> %61, ptr %92, align 8
  %.sroa.566.0..sroa_idx67 = getelementptr inbounds i8, ptr %92, i64 8
  store ptr %.sroa.566.0, ptr %.sroa.566.0..sroa_idx67, align 8, !tbaa !12
  br label %95

93:                                               ; preds = %.loopexit
  %.not143 = icmp eq ptr %.0125, null
  br i1 %.not143, label %95, label %94

94:                                               ; preds = %93
  tail call void @FreePool(ptr noundef nonnull %.0125) #2
  br label %95

95:                                               ; preds = %93, %94, %._crit_edge, %90, %18
  %.0133 = phi ptr [ null, %18 ], [ %62, %90 ], [ %62, %._crit_edge ], [ null, %94 ], [ null, %93 ]
  ret ptr %.0133
}

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, !7, i64 0}
!6 = !{!"", !7, i64 0, !10, i64 8}
!7 = !{!"int", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C/C++ TBAA"}
!10 = !{!"any pointer", !8, i64 0}
!11 = !{!6, !10, i64 8}
!12 = !{!10, !10, i64 0}
!13 = distinct !{!13, !14}
!14 = !{!"llvm.loop.mustprogress"}
!15 = !{!16, !10, i64 120}
!16 = !{!"", !7, i64 0, !17, i64 8, !18, i64 16, !8, i64 32, !10, i64 40, !10, i64 48, !8, i64 56, !10, i64 120, !7, i64 128, !7, i64 132, !8, i64 136}
!17 = !{!"long long", !8, i64 0}
!18 = !{!"_LIST_ENTRY", !10, i64 0, !10, i64 8}
!19 = !{!20, !10, i64 16}
!20 = !{!"", !7, i64 0, !17, i64 8, !10, i64 16, !10, i64 24, !7, i64 32, !7, i64 36, !7, i64 40, !8, i64 48}
!21 = !{!20, !10, i64 24}
!22 = !{!20, !7, i64 32}
!23 = !{!24, !10, i64 16}
!24 = !{!"", !10, i64 0, !10, i64 8, !10, i64 16, !10, i64 24, !7, i64 32}
!25 = !{!24, !7, i64 32}
!26 = distinct !{!26, !14}
!27 = !{!20, !7, i64 36}
!28 = !{!16, !7, i64 132}


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