; LLVM IR from thalium/icebox :: third_party/virtualbox/src/VBox/Devices/EFI/Firmware/ShellPkg/Application (GetEnvironmentVariableList)

; 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.GUID = type { i32, i16, i16, [8 x i8] }
%struct.EFI_RUNTIME_SERVICES = type { %struct.EFI_TABLE_HEADER, 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.ENV_VAR_LIST = type { %struct._LIST_ENTRY, ptr, ptr, i32 }
%struct._LIST_ENTRY = type { ptr, ptr }

@gRT = external global ptr, align 8
@gShellVariableGuid = external global %struct.GUID, align 4

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

declare ptr @AllocateZeroPool(i64 noundef) #1

declare void @FreePool(ptr noundef) #1

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

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

; Function Attrs: nounwind uwtable
define dso_local i64 @GetEnvironmentVariableList(ptr noundef %0) #2 {
  %2 = alloca i64, align 8
  %3 = alloca ptr, align 8
  %4 = alloca ptr, align 8
  %5 = alloca i64, align 8
  %6 = alloca i64, align 8
  %7 = alloca i64, align 8
  %8 = alloca %struct.GUID, align 4
  %9 = alloca i64, align 8
  %10 = alloca i64, align 8
  %11 = alloca ptr, align 8
  %12 = alloca i32, align 4
  store ptr %0, ptr %3, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %4) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %5) #3
  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 16, 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
  %13 = load ptr, ptr %3, align 8, !tbaa !5
  %14 = icmp eq ptr %13, null
  br i1 %14, label %15, label %16

15:                                               ; preds = %1
  store i64 -9223372036854775806, ptr %2, align 8
  store i32 1, ptr %12, align 4
  br label %257

16:                                               ; preds = %1
  store i64 0, ptr %7, align 8, !tbaa !9
  store i64 1024, ptr %10, align 8, !tbaa !9
  store i64 128, ptr %6, align 8, !tbaa !9
  %17 = load i64, ptr %6, align 8, !tbaa !9
  %18 = call ptr @AllocateZeroPool(i64 noundef %17)
  store ptr %18, ptr %4, align 8, !tbaa !5
  %19 = load ptr, ptr %4, align 8, !tbaa !5
  %20 = icmp eq ptr %19, null
  br i1 %20, label %21, label %22

21:                                               ; preds = %16
  store i64 -9223372036854775799, ptr %2, align 8
  store i32 1, ptr %12, align 4
  br label %257

22:                                               ; preds = %16
  %23 = load ptr, ptr %4, align 8, !tbaa !5
  store i16 0, ptr %23, align 2, !tbaa !11
  br label %24

24:                                               ; preds = %241, %22
  %25 = load i64, ptr %7, align 8, !tbaa !9
  %26 = icmp slt i64 %25, 0
  %27 = xor i1 %26, true
  br i1 %27, label %28, label %242

28:                                               ; preds = %24
  %29 = load i64, ptr %6, align 8, !tbaa !9
  store i64 %29, ptr %5, align 8, !tbaa !9
  %30 = load ptr, ptr @gRT, align 8, !tbaa !5
  %31 = getelementptr inbounds %struct.EFI_RUNTIME_SERVICES, ptr %30, i32 0, i32 8
  %32 = load ptr, ptr %31, align 8, !tbaa !13
  %33 = load ptr, ptr %4, align 8, !tbaa !5
  %34 = call i64 %32(ptr noundef %5, ptr noundef %33, ptr noundef %8)
  store i64 %34, ptr %7, align 8, !tbaa !9
  %35 = load i64, ptr %7, align 8, !tbaa !9
  %36 = icmp eq i64 %35, -9223372036854775794
  br i1 %36, label %37, label %38

37:                                               ; preds = %28
  store i64 0, ptr %7, align 8, !tbaa !9
  br label %242

38:                                               ; preds = %28
  %39 = load i64, ptr %7, align 8, !tbaa !9
  %40 = icmp eq i64 %39, -9223372036854775803
  br i1 %40, label %41, label %73

41:                                               ; preds = %38
  %42 = load i64, ptr %5, align 8, !tbaa !9
  %43 = load i64, ptr %6, align 8, !tbaa !9
  %44 = mul i64 %43, 2
  %45 = icmp ugt i64 %42, %44
  br i1 %45, label %46, label %48

46:                                               ; preds = %41
  %47 = load i64, ptr %5, align 8, !tbaa !9
  br label %51

48:                                               ; preds = %41
  %49 = load i64, ptr %6, align 8, !tbaa !9
  %50 = mul i64 %49, 2
  br label %51

51:                                               ; preds = %48, %46
  %52 = phi i64 [ %47, %46 ], [ %50, %48 ]
  store i64 %52, ptr %6, align 8, !tbaa !9
  br label %53

53:                                               ; preds = %51
  %54 = load ptr, ptr %4, align 8, !tbaa !5
  %55 = icmp ne ptr %54, null
  br i1 %55, label %56, label %58

56:                                               ; preds = %53
  %57 = load ptr, ptr %4, align 8, !tbaa !5
  call void @FreePool(ptr noundef %57)
  store ptr null, ptr %4, align 8, !tbaa !5
  br label %58

58:                                               ; preds = %56, %53
  br label %59

59:                                               ; preds = %58
  br label %60

60:                                               ; preds = %59
  %61 = load i64, ptr %6, align 8, !tbaa !9
  %62 = call ptr @AllocateZeroPool(i64 noundef %61)
  store ptr %62, ptr %4, align 8, !tbaa !5
  %63 = load ptr, ptr %4, align 8, !tbaa !5
  %64 = icmp eq ptr %63, null
  br i1 %64, label %65, label %66

65:                                               ; preds = %60
  store i64 -9223372036854775799, ptr %7, align 8, !tbaa !9
  br label %242

66:                                               ; preds = %60
  %67 = load i64, ptr %6, align 8, !tbaa !9
  store i64 %67, ptr %5, align 8, !tbaa !9
  %68 = load ptr, ptr @gRT, align 8, !tbaa !5
  %69 = getelementptr inbounds %struct.EFI_RUNTIME_SERVICES, ptr %68, i32 0, i32 8
  %70 = load ptr, ptr %69, align 8, !tbaa !13
  %71 = load ptr, ptr %4, align 8, !tbaa !5
  %72 = call i64 %70(ptr noundef %5, ptr noundef %71, ptr noundef %8)
  store i64 %72, ptr %7, align 8, !tbaa !9
  br label %73

73:                                               ; preds = %66, %38
  br label %74

74:                                               ; preds = %73
  %75 = load i64, ptr %7, align 8, !tbaa !9
  %76 = icmp slt i64 %75, 0
  br i1 %76, label %241, label %77

77:                                               ; preds = %74
  %78 = call zeroext i8 @CompareGuid(ptr noundef %8, ptr noundef @gShellVariableGuid)
  %79 = zext i8 %78 to i32
  %80 = icmp ne i32 %79, 0
  br i1 %80, label %81, label %241

81:                                               ; preds = %77
  %82 = call ptr @AllocateZeroPool(i64 noundef 40)
  store ptr %82, ptr %11, align 8, !tbaa !5
  %83 = load ptr, ptr %11, align 8, !tbaa !5
  %84 = icmp eq ptr %83, null
  br i1 %84, label %85, label %86

85:                                               ; preds = %81
  store i64 -9223372036854775799, ptr %7, align 8, !tbaa !9
  br label %240

86:                                               ; preds = %81
  %87 = load i64, ptr %10, align 8, !tbaa !9
  store i64 %87, ptr %9, align 8, !tbaa !9
  %88 = load i64, ptr %9, align 8, !tbaa !9
  %89 = call ptr @AllocateZeroPool(i64 noundef %88)
  %90 = load ptr, ptr %11, align 8, !tbaa !5
  %91 = getelementptr inbounds %struct.ENV_VAR_LIST, ptr %90, i32 0, i32 2
  store ptr %89, ptr %91, align 8, !tbaa !17
  %92 = load ptr, ptr %11, align 8, !tbaa !5
  %93 = getelementptr inbounds %struct.ENV_VAR_LIST, ptr %92, i32 0, i32 2
  %94 = load ptr, ptr %93, align 8, !tbaa !17
  %95 = icmp eq ptr %94, null
  br i1 %95, label %96, label %105

96:                                               ; preds = %86
  br label %97

97:                                               ; preds = %96
  %98 = load ptr, ptr %11, align 8, !tbaa !5
  %99 = icmp ne ptr %98, null
  br i1 %99, label %100, label %102

100:                                              ; preds = %97
  %101 = load ptr, ptr %11, align 8, !tbaa !5
  call void @FreePool(ptr noundef %101)
  store ptr null, ptr %11, align 8, !tbaa !5
  br label %102

102:                                              ; preds = %100, %97
  br label %103

103:                                              ; preds = %102
  br label %104

104:                                              ; preds = %103
  store i64 -9223372036854775799, ptr %7, align 8, !tbaa !9
  br label %242

105:                                              ; preds = %86
  %106 = load ptr, ptr @gRT, align 8, !tbaa !5
  %107 = getelementptr inbounds %struct.EFI_RUNTIME_SERVICES, ptr %106, i32 0, i32 7
  %108 = load ptr, ptr %107, align 8, !tbaa !20
  %109 = load ptr, ptr %4, align 8, !tbaa !5
  %110 = load ptr, ptr %11, align 8, !tbaa !5
  %111 = getelementptr inbounds %struct.ENV_VAR_LIST, ptr %110, i32 0, i32 3
  %112 = load ptr, ptr %11, align 8, !tbaa !5
  %113 = getelementptr inbounds %struct.ENV_VAR_LIST, ptr %112, i32 0, i32 2
  %114 = load ptr, ptr %113, align 8, !tbaa !17
  %115 = call i64 %108(ptr noundef %109, ptr noundef @gShellVariableGuid, ptr noundef %111, ptr noundef %9, ptr noundef %114)
  store i64 %115, ptr %7, align 8, !tbaa !9
  %116 = load i64, ptr %7, align 8, !tbaa !9
  %117 = icmp eq i64 %116, -9223372036854775803
  br i1 %117, label %118, label %173

118:                                              ; preds = %105
  %119 = load i64, ptr %9, align 8, !tbaa !9
  %120 = load i64, ptr %10, align 8, !tbaa !9
  %121 = mul i64 %120, 2
  %122 = icmp ugt i64 %119, %121
  br i1 %122, label %123, label %125

123:                                              ; preds = %118
  %124 = load i64, ptr %9, align 8, !tbaa !9
  br label %128

125:                                              ; preds = %118
  %126 = load i64, ptr %10, align 8, !tbaa !9
  %127 = mul i64 %126, 2
  br label %128

128:                                              ; preds = %125, %123
  %129 = phi i64 [ %124, %123 ], [ %127, %125 ]
  store i64 %129, ptr %10, align 8, !tbaa !9
  br label %130

130:                                              ; preds = %128
  %131 = load ptr, ptr %11, align 8, !tbaa !5
  %132 = getelementptr inbounds %struct.ENV_VAR_LIST, ptr %131, i32 0, i32 2
  %133 = load ptr, ptr %132, align 8, !tbaa !17
  %134 = icmp ne ptr %133, null
  br i1 %134, label %135, label %141

135:                                              ; preds = %130
  %136 = load ptr, ptr %11, align 8, !tbaa !5
  %137 = getelementptr inbounds %struct.ENV_VAR_LIST, ptr %136, i32 0, i32 2
  %138 = load ptr, ptr %137, align 8, !tbaa !17
  call void @FreePool(ptr noundef %138)
  %139 = load ptr, ptr %11, align 8, !tbaa !5
  %140 = getelementptr inbounds %struct.ENV_VAR_LIST, ptr %139, i32 0, i32 2
  store ptr null, ptr %140, align 8, !tbaa !17
  br label %141

141:                                              ; preds = %135, %130
  br label %142

142:                                              ; preds = %141
  br label %143

143:                                              ; preds = %142
  %144 = load i64, ptr %10, align 8, !tbaa !9
  %145 = call ptr @AllocateZeroPool(i64 noundef %144)
  %146 = load ptr, ptr %11, align 8, !tbaa !5
  %147 = getelementptr inbounds %struct.ENV_VAR_LIST, ptr %146, i32 0, i32 2
  store ptr %145, ptr %147, align 8, !tbaa !17
  %148 = load ptr, ptr %11, align 8, !tbaa !5
  %149 = getelementptr inbounds %struct.ENV_VAR_LIST, ptr %148, i32 0, i32 2
  %150 = load ptr, ptr %149, align 8, !tbaa !17
  %151 = icmp eq ptr %150, null
  br i1 %151, label %152, label %161

152:                                              ; preds = %143
  br label %153

153:                                              ; preds = %152
  %154 = load ptr, ptr %11, align 8, !tbaa !5
  %155 = icmp ne ptr %154, null
  br i1 %155, label %156, label %158

156:                                              ; preds = %153
  %157 = load ptr, ptr %11, align 8, !tbaa !5
  call void @FreePool(ptr noundef %157)
  store ptr null, ptr %11, align 8, !tbaa !5
  br label %158

158:                                              ; preds = %156, %153
  br label %159

159:                                              ; preds = %158
  br label %160

160:                                              ; preds = %159
  store i64 -9223372036854775799, ptr %7, align 8, !tbaa !9
  br label %242

161:                                              ; preds = %143
  %162 = load i64, ptr %10, align 8, !tbaa !9
  store i64 %162, ptr %9, align 8, !tbaa !9
  %163 = load ptr, ptr @gRT, align 8, !tbaa !5
  %164 = getelementptr inbounds %struct.EFI_RUNTIME_SERVICES, ptr %163, i32 0, i32 7
  %165 = load ptr, ptr %164, align 8, !tbaa !20
  %166 = load ptr, ptr %4, align 8, !tbaa !5
  %167 = load ptr, ptr %11, align 8, !tbaa !5
  %168 = getelementptr inbounds %struct.ENV_VAR_LIST, ptr %167, i32 0, i32 3
  %169 = load ptr, ptr %11, align 8, !tbaa !5
  %170 = getelementptr inbounds %struct.ENV_VAR_LIST, ptr %169, i32 0, i32 2
  %171 = load ptr, ptr %170, align 8, !tbaa !17
  %172 = call i64 %165(ptr noundef %166, ptr noundef @gShellVariableGuid, ptr noundef %168, ptr noundef %9, ptr noundef %171)
  store i64 %172, ptr %7, align 8, !tbaa !9
  br label %173

173:                                              ; preds = %161, %105
  %174 = load i64, ptr %7, align 8, !tbaa !9
  %175 = icmp slt i64 %174, 0
  br i1 %175, label %216, label %176

176:                                              ; preds = %173
  %177 = load ptr, ptr %4, align 8, !tbaa !5
  %178 = call i64 @StrSize(ptr noundef %177)
  %179 = load ptr, ptr %4, align 8, !tbaa !5
  %180 = call ptr @AllocateCopyPool(i64 noundef %178, ptr noundef %179)
  %181 = load ptr, ptr %11, align 8, !tbaa !5
  %182 = getelementptr inbounds %struct.ENV_VAR_LIST, ptr %181, i32 0, i32 1
  store ptr %180, ptr %182, align 8, !tbaa !21
  %183 = load ptr, ptr %11, align 8, !tbaa !5
  %184 = getelementptr inbounds %struct.ENV_VAR_LIST, ptr %183, i32 0, i32 1
  %185 = load ptr, ptr %184, align 8, !tbaa !21
  %186 = icmp eq ptr %185, null
  br i1 %186, label %187, label %210

187:                                              ; preds = %176
  br label %188

188:                                              ; preds = %187
  %189 = load ptr, ptr %11, align 8, !tbaa !5
  %190 = getelementptr inbounds %struct.ENV_VAR_LIST, ptr %189, i32 0, i32 2
  %191 = load ptr, ptr %190, align 8, !tbaa !17
  %192 = icmp ne ptr %191, null
  br i1 %192, label %193, label %199

193:                                              ; preds = %188
  %194 = load ptr, ptr %11, align 8, !tbaa !5
  %195 = getelementptr inbounds %struct.ENV_VAR_LIST, ptr %194, i32 0, i32 2
  %196 = load ptr, ptr %195, align 8, !tbaa !17
  call void @FreePool(ptr noundef %196)
  %197 = load ptr, ptr %11, align 8, !tbaa !5
  %198 = getelementptr inbounds %struct.ENV_VAR_LIST, ptr %197, i32 0, i32 2
  store ptr null, ptr %198, align 8, !tbaa !17
  br label %199

199:                                              ; preds = %193, %188
  br label %200

200:                                              ; preds = %199
  br label %201

201:                                              ; preds = %200
  br label %202

202:                                              ; preds = %201
  %203 = load ptr, ptr %11, align 8, !tbaa !5
  %204 = icmp ne ptr %203, null
  br i1 %204, label %205, label %207

205:                                              ; preds = %202
  %206 = load ptr, ptr %11, align 8, !tbaa !5
  call void @FreePool(ptr noundef %206)
  store ptr null, ptr %11, align 8, !tbaa !5
  br label %207

207:                                              ; preds = %205, %202
  br label %208

208:                                              ; preds = %207
  br label %209

209:                                              ; preds = %208
  store i64 -9223372036854775799, ptr %7, align 8, !tbaa !9
  br label %215

210:                                              ; preds = %176
  %211 = load ptr, ptr %3, align 8, !tbaa !5
  %212 = load ptr, ptr %11, align 8, !tbaa !5
  %213 = getelementptr inbounds %struct.ENV_VAR_LIST, ptr %212, i32 0, i32 0
  %214 = call ptr @InsertTailList(ptr noundef %211, ptr noundef %213)
  br label %215

215:                                              ; preds = %210, %209
  br label %239

216:                                              ; preds = %173
  br label %217

217:                                              ; preds = %216
  %218 = load ptr, ptr %11, align 8, !tbaa !5
  %219 = getelementptr inbounds %struct.ENV_VAR_LIST, ptr %218, i32 0, i32 2
  %220 = load ptr, ptr %219, align 8, !tbaa !17
  %221 = icmp ne ptr %220, null
  br i1 %221, label %222, label %228

222:                                              ; preds = %217
  %223 = load ptr, ptr %11, align 8, !tbaa !5
  %224 = getelementptr inbounds %struct.ENV_VAR_LIST, ptr %223, i32 0, i32 2
  %225 = load ptr, ptr %224, align 8, !tbaa !17
  call void @FreePool(ptr noundef %225)
  %226 = load ptr, ptr %11, align 8, !tbaa !5
  %227 = getelementptr inbounds %struct.ENV_VAR_LIST, ptr %226, i32 0, i32 2
  store ptr null, ptr %227, align 8, !tbaa !17
  br label %228

228:                                              ; preds = %222, %217
  br label %229

229:                                              ; preds = %228
  br label %230

230:                                              ; preds = %229
  br label %231

231:                                              ; preds = %230
  %232 = load ptr, ptr %11, align 8, !tbaa !5
  %233 = icmp ne ptr %232, null
  br i1 %233, label %234, label %236

234:                                              ; preds = %231
  %235 = load ptr, ptr %11, align 8, !tbaa !5
  call void @FreePool(ptr noundef %235)
  store ptr null, ptr %11, align 8, !tbaa !5
  br label %236

236:                                              ; preds = %234, %231
  br label %237

237:                                              ; preds = %236
  br label %238

238:                                              ; preds = %237
  br label %239

239:                                              ; preds = %238, %215
  br label %240

240:                                              ; preds = %239, %85
  br label %241

241:                                              ; preds = %240, %77, %74
  br label %24, !llvm.loop !22

242:                                              ; preds = %160, %104, %65, %37, %24
  br label %243

243:                                              ; preds = %242
  %244 = load ptr, ptr %4, align 8, !tbaa !5
  %245 = icmp ne ptr %244, null
  br i1 %245, label %246, label %248

246:                                              ; preds = %243
  %247 = load ptr, ptr %4, align 8, !tbaa !5
  call void @FreePool(ptr noundef %247)
  store ptr null, ptr %4, align 8, !tbaa !5
  br label %248

248:                                              ; preds = %246, %243
  br label %249

249:                                              ; preds = %248
  br label %250

250:                                              ; preds = %249
  %251 = load i64, ptr %7, align 8, !tbaa !9
  %252 = icmp slt i64 %251, 0
  br i1 %252, label %253, label %255

253:                                              ; preds = %250
  %254 = load ptr, ptr %3, align 8, !tbaa !5
  call void @FreeEnvironmentVariableList(ptr noundef %254)
  br label %255

255:                                              ; preds = %253, %250
  %256 = load i64, ptr %7, align 8, !tbaa !9
  store i64 %256, ptr %2, align 8
  store i32 1, ptr %12, align 4
  br label %257

257:                                              ; preds = %255, %21, %15
  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 16, 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
  call void @llvm.lifetime.end.p0(i64 8, ptr %5) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %4) #3
  %258 = load i64, ptr %2, align 8
  ret i64 %258
}

declare zeroext i8 @CompareGuid(ptr noundef, ptr noundef) #1

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

declare i64 @StrSize(ptr noundef) #1

declare ptr @InsertTailList(ptr 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 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"long long", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"short", !7, i64 0}
!13 = !{!14, !6, i64 80}
!14 = !{!"", !15, i64 0, !6, i64 24, !6, i64 32, !6, i64 40, !6, i64 48, !6, i64 56, !6, i64 64, !6, i64 72, !6, i64 80, !6, i64 88, !6, i64 96, !6, i64 104, !6, i64 112, !6, i64 120, !6, i64 128}
!15 = !{!"", !10, i64 0, !16, i64 8, !16, i64 12, !16, i64 16, !16, i64 20}
!16 = !{!"int", !7, i64 0}
!17 = !{!18, !6, i64 24}
!18 = !{!"", !19, i64 0, !6, i64 16, !6, i64 24, !16, i64 32}
!19 = !{!"_LIST_ENTRY", !6, i64 0, !6, i64 8}
!20 = !{!14, !6, i64 72}
!21 = !{!18, !6, i64 16}
!22 = distinct !{!22, !23}
!23 = !{!"llvm.loop.mustprogress"}


; 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.GUID = type { i32, i16, i16, [8 x i8] }

@gRT = external local_unnamed_addr global ptr, align 8
@gShellVariableGuid = external global %struct.GUID, align 4

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

declare ptr @AllocateZeroPool(i64 noundef) local_unnamed_addr #1

declare void @FreePool(ptr noundef) local_unnamed_addr #1

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

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

; Function Attrs: nounwind uwtable
define dso_local i64 @GetEnvironmentVariableList(ptr noundef %0) local_unnamed_addr #2 {
  %2 = alloca i64, align 8
  %3 = alloca %struct.GUID, align 4
  %4 = alloca i64, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %2) #4
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %3) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %4) #4
  %5 = icmp eq ptr %0, null
  br i1 %5, label %74, label %6

6:                                                ; preds = %1
  %7 = tail call ptr @AllocateZeroPool(i64 noundef 128) #4
  %8 = icmp eq ptr %7, null
  br i1 %8, label %74, label %9

9:                                                ; preds = %6
  store i16 0, ptr %7, align 2, !tbaa !5
  br label %.outer

.outer:                                           ; preds = %67, %9
  %.0102.ph = phi i64 [ %.1, %67 ], [ 1024, %9 ]
  %.067101.ph = phi i64 [ %.168, %67 ], [ 128, %9 ]
  %.069100.ph = phi ptr [ %.170, %67 ], [ %7, %9 ]
  br label %10

10:                                               ; preds = %.outer, %28
  %.067101 = phi i64 [ %.168, %28 ], [ %.067101.ph, %.outer ]
  %.069100 = phi ptr [ %.170, %28 ], [ %.069100.ph, %.outer ]
  store i64 %.067101, ptr %2, align 8, !tbaa !9
  %11 = load ptr, ptr @gRT, align 8, !tbaa !11
  %12 = getelementptr inbounds i8, ptr %11, i64 80
  %13 = load ptr, ptr %12, align 8, !tbaa !13
  %14 = call i64 %13(ptr noundef nonnull %2, ptr noundef %.069100, ptr noundef nonnull %3) #4
  switch i64 %14, label %26 [
    i64 -9223372036854775794, label %.loopexit
    i64 -9223372036854775803, label %15
  ]

15:                                               ; preds = %10
  %16 = load i64, ptr %2, align 8
  %17 = shl i64 %.067101, 1
  %18 = call i64 @llvm.umax.i64(i64 %16, i64 %17)
  call void @FreePool(ptr noundef %.069100) #4
  %19 = call ptr @AllocateZeroPool(i64 noundef %18) #4
  %20 = icmp eq ptr %19, null
  br i1 %20, label %.thread92, label %21

21:                                               ; preds = %15
  store i64 %18, ptr %2, align 8, !tbaa !9
  %22 = load ptr, ptr @gRT, align 8, !tbaa !11
  %23 = getelementptr inbounds i8, ptr %22, i64 80
  %24 = load ptr, ptr %23, align 8, !tbaa !13
  %25 = call i64 %24(ptr noundef nonnull %2, ptr noundef nonnull %19, ptr noundef nonnull %3) #4
  br label %26

26:                                               ; preds = %10, %21
  %.170 = phi ptr [ %19, %21 ], [ %.069100, %10 ]
  %.168 = phi i64 [ %18, %21 ], [ %.067101, %10 ]
  %.165 = phi i64 [ %25, %21 ], [ %14, %10 ]
  %27 = icmp slt i64 %.165, 0
  br i1 %27, label %.loopexit, label %28

28:                                               ; preds = %26
  %29 = call zeroext i8 @CompareGuid(ptr noundef nonnull %3, ptr noundef nonnull @gShellVariableGuid) #4
  %.not = icmp eq i8 %29, 0
  br i1 %.not, label %10, label %30, !llvm.loop !17

30:                                               ; preds = %28
  %31 = call ptr @AllocateZeroPool(i64 noundef 40) #4
  %32 = icmp eq ptr %31, null
  br i1 %32, label %.loopexit, label %33

33:                                               ; preds = %30
  store i64 %.0102.ph, ptr %4, align 8, !tbaa !9
  %34 = call ptr @AllocateZeroPool(i64 noundef %.0102.ph) #4
  %35 = getelementptr inbounds i8, ptr %31, i64 24
  store ptr %34, ptr %35, align 8, !tbaa !19
  %36 = icmp eq ptr %34, null
  br i1 %36, label %.loopexit.sink.split, label %37

37:                                               ; preds = %33
  %38 = load ptr, ptr @gRT, align 8, !tbaa !11
  %39 = getelementptr inbounds i8, ptr %38, i64 72
  %40 = load ptr, ptr %39, align 8, !tbaa !22
  %41 = getelementptr inbounds i8, ptr %31, i64 32
  %42 = call i64 %40(ptr noundef %.170, ptr noundef nonnull @gShellVariableGuid, ptr noundef nonnull %41, ptr noundef nonnull %4, ptr noundef nonnull %34) #4
  %43 = icmp eq i64 %42, -9223372036854775803
  br i1 %43, label %44, label %58

44:                                               ; preds = %37
  %45 = load i64, ptr %4, align 8
  %46 = shl i64 %.0102.ph, 1
  %47 = call i64 @llvm.umax.i64(i64 %45, i64 %46)
  %48 = load ptr, ptr %35, align 8, !tbaa !19
  %.not84 = icmp eq ptr %48, null
  br i1 %.not84, label %50, label %49

49:                                               ; preds = %44
  call void @FreePool(ptr noundef nonnull %48) #4
  store ptr null, ptr %35, align 8, !tbaa !19
  br label %50

50:                                               ; preds = %49, %44
  %51 = call ptr @AllocateZeroPool(i64 noundef %47) #4
  store ptr %51, ptr %35, align 8, !tbaa !19
  %52 = icmp eq ptr %51, null
  br i1 %52, label %.loopexit.sink.split, label %53

53:                                               ; preds = %50
  store i64 %47, ptr %4, align 8, !tbaa !9
  %54 = load ptr, ptr @gRT, align 8, !tbaa !11
  %55 = getelementptr inbounds i8, ptr %54, i64 72
  %56 = load ptr, ptr %55, align 8, !tbaa !22
  %57 = call i64 %56(ptr noundef %.170, ptr noundef nonnull @gShellVariableGuid, ptr noundef nonnull %41, ptr noundef nonnull %4, ptr noundef nonnull %51) #4
  br label %58

58:                                               ; preds = %53, %37
  %.266 = phi i64 [ %57, %53 ], [ %42, %37 ]
  %.1 = phi i64 [ %47, %53 ], [ %.0102.ph, %37 ]
  %59 = icmp slt i64 %.266, 0
  br i1 %59, label %69, label %60

60:                                               ; preds = %58
  %61 = call i64 @StrSize(ptr noundef %.170) #4
  %62 = call ptr @AllocateCopyPool(i64 noundef %61, ptr noundef %.170) #4
  %63 = getelementptr inbounds i8, ptr %31, i64 16
  store ptr %62, ptr %63, align 8, !tbaa !23
  %64 = icmp eq ptr %62, null
  br i1 %64, label %65, label %67

65:                                               ; preds = %60
  %66 = load ptr, ptr %35, align 8, !tbaa !19
  %.not85 = icmp eq ptr %66, null
  br i1 %.not85, label %.loopexit.sink.split, label %.loopexit.sink.split.sink.split

67:                                               ; preds = %60
  %68 = call ptr @InsertTailList(ptr noundef nonnull %0, ptr noundef nonnull %31) #4
  br label %.outer, !llvm.loop !17

69:                                               ; preds = %58
  %70 = load ptr, ptr %35, align 8, !tbaa !19
  %.not86 = icmp eq ptr %70, null
  br i1 %.not86, label %.loopexit.sink.split, label %.loopexit.sink.split.sink.split

.loopexit.sink.split.sink.split:                  ; preds = %69, %65
  %.sink = phi ptr [ %66, %65 ], [ %70, %69 ]
  %.4.ph.ph = phi i64 [ -9223372036854775799, %65 ], [ %.266, %69 ]
  call void @FreePool(ptr noundef nonnull %.sink) #4
  store ptr null, ptr %35, align 8, !tbaa !19
  br label %.loopexit.sink.split

.loopexit.sink.split:                             ; preds = %50, %33, %.loopexit.sink.split.sink.split, %69, %65
  %.4.ph = phi i64 [ -9223372036854775799, %65 ], [ %.266, %69 ], [ %.4.ph.ph, %.loopexit.sink.split.sink.split ], [ -9223372036854775799, %33 ], [ -9223372036854775799, %50 ]
  call void @FreePool(ptr noundef nonnull %31) #4
  br label %.loopexit

.loopexit:                                        ; preds = %26, %10, %30, %.loopexit.sink.split
  %.271 = phi ptr [ %.170, %.loopexit.sink.split ], [ %.069100, %10 ], [ %.170, %26 ], [ %.170, %30 ]
  %.4 = phi i64 [ %.4.ph, %.loopexit.sink.split ], [ 0, %10 ], [ %.165, %26 ], [ -9223372036854775799, %30 ]
  %.not87 = icmp eq ptr %.271, null
  br i1 %.not87, label %72, label %71

71:                                               ; preds = %.loopexit
  call void @FreePool(ptr noundef nonnull %.271) #4
  br label %72

72:                                               ; preds = %71, %.loopexit
  %73 = icmp slt i64 %.4, 0
  br i1 %73, label %.thread92, label %74

.thread92:                                        ; preds = %15, %72
  %.49194 = phi i64 [ %.4, %72 ], [ -9223372036854775799, %15 ]
  call void @FreeEnvironmentVariableList(ptr noundef nonnull %0)
  br label %74

74:                                               ; preds = %72, %.thread92, %6, %1
  %.072 = phi i64 [ -9223372036854775806, %1 ], [ -9223372036854775799, %6 ], [ %.49194, %.thread92 ], [ 0, %72 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %4) #4
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %3) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %2) #4
  ret i64 %.072
}

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

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

declare i64 @StrSize(ptr noundef) local_unnamed_addr #1

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

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

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 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
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 = !{!"short", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"long long", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"any pointer", !7, i64 0}
!13 = !{!14, !12, i64 80}
!14 = !{!"", !15, i64 0, !12, i64 24, !12, i64 32, !12, i64 40, !12, i64 48, !12, i64 56, !12, i64 64, !12, i64 72, !12, i64 80, !12, i64 88, !12, i64 96, !12, i64 104, !12, i64 112, !12, i64 120, !12, i64 128}
!15 = !{!"", !10, i64 0, !16, i64 8, !16, i64 12, !16, i64 16, !16, i64 20}
!16 = !{!"int", !7, i64 0}
!17 = distinct !{!17, !18}
!18 = !{!"llvm.loop.mustprogress"}
!19 = !{!20, !12, i64 24}
!20 = !{!"", !21, i64 0, !12, i64 16, !12, i64 24, !16, i64 32}
!21 = !{!"_LIST_ENTRY", !12, i64 0, !12, i64 8}
!22 = !{!14, !12, i64 72}
!23 = !{!20, !12, i64 16}


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