; LLVM IR from carlk3/no-OS-FatFS-SD-SDIO-SPI-RPi-Pico :: src/ff15/source (ff)

; 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.FIL = type { %struct.FFOBJID, i8, i8, i64, i32, i64, i64, ptr, ptr, [512 x i8] }
%struct.FFOBJID = type { ptr, i16, i8, i8, i32, i64, i32, i32, i32, i32, i32, i32 }
%struct.FATFS = type { i8, i8, i8, i8, i8, i8, i16, i16, i16, ptr, ptr, i32, i32, i32, i32, i32, i32, i32, i32, i64, i64, i64, i64, i64, i64, [512 x i8] }

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

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

; Function Attrs: nounwind uwtable
declare hidden i32 @get_fat(ptr noundef, i32 noundef) #1

; Function Attrs: nounwind uwtable
declare hidden i64 @clst2sect(ptr noundef, i32 noundef) #1

declare i32 @disk_read(i8 noundef zeroext, ptr noundef, i64 noundef, i32 noundef) #2

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

27:                                               ; preds = %4
  %28 = load ptr, ptr %6, align 8, !tbaa !5
  %29 = getelementptr inbounds %struct.FIL, ptr %28, i32 0, i32 2
  %30 = load i8, ptr %29, align 1, !tbaa !11
  %31 = zext i8 %30 to i32
  store i32 %31, ptr %10, align 4, !tbaa !9
  %32 = icmp ne i32 %31, 0
  br i1 %32, label %33, label %35

33:                                               ; preds = %27, %4
  %34 = load i32, ptr %10, align 4, !tbaa !9
  store i32 %34, ptr %5, align 4
  store i32 1, ptr %19, align 4
  br label %304

35:                                               ; preds = %27
  %36 = load ptr, ptr %6, align 8, !tbaa !5
  %37 = getelementptr inbounds %struct.FIL, ptr %36, i32 0, i32 1
  %38 = load i8, ptr %37, align 8, !tbaa !16
  %39 = zext i8 %38 to i32
  %40 = and i32 %39, 1
  %41 = icmp ne i32 %40, 0
  br i1 %41, label %43, label %42

42:                                               ; preds = %35
  store i32 7, ptr %5, align 4
  store i32 1, ptr %19, align 4
  br label %304

43:                                               ; preds = %35
  %44 = load ptr, ptr %6, align 8, !tbaa !5
  %45 = getelementptr inbounds %struct.FIL, ptr %44, i32 0, i32 0
  %46 = getelementptr inbounds %struct.FFOBJID, ptr %45, i32 0, i32 5
  %47 = load i64, ptr %46, align 8, !tbaa !17
  %48 = load ptr, ptr %6, align 8, !tbaa !5
  %49 = getelementptr inbounds %struct.FIL, ptr %48, i32 0, i32 3
  %50 = load i64, ptr %49, align 8, !tbaa !18
  %51 = sub i64 %47, %50
  store i64 %51, ptr %14, align 8, !tbaa !19
  %52 = load i32, ptr %8, align 4, !tbaa !9
  %53 = zext i32 %52 to i64
  %54 = load i64, ptr %14, align 8, !tbaa !19
  %55 = icmp ugt i64 %53, %54
  br i1 %55, label %56, label %59

56:                                               ; preds = %43
  %57 = load i64, ptr %14, align 8, !tbaa !19
  %58 = trunc i64 %57 to i32
  store i32 %58, ptr %8, align 4, !tbaa !9
  br label %59

59:                                               ; preds = %56, %43
  br label %60

60:                                               ; preds = %285, %59
  %61 = load i32, ptr %8, align 4, !tbaa !9
  %62 = icmp ugt i32 %61, 0
  br i1 %62, label %63, label %303

63:                                               ; preds = %60
  %64 = load ptr, ptr %6, align 8, !tbaa !5
  %65 = getelementptr inbounds %struct.FIL, ptr %64, i32 0, i32 3
  %66 = load i64, ptr %65, align 8, !tbaa !18
  %67 = urem i64 %66, 512
  %68 = icmp eq i64 %67, 0
  br i1 %68, label %69, label %261

69:                                               ; preds = %63
  %70 = load ptr, ptr %6, align 8, !tbaa !5
  %71 = getelementptr inbounds %struct.FIL, ptr %70, i32 0, i32 3
  %72 = load i64, ptr %71, align 8, !tbaa !18
  %73 = udiv i64 %72, 512
  %74 = load ptr, ptr %11, align 8, !tbaa !5
  %75 = getelementptr inbounds %struct.FATFS, ptr %74, i32 0, i32 8
  %76 = load i16, ptr %75, align 2, !tbaa !20
  %77 = zext i16 %76 to i32
  %78 = sub nsw i32 %77, 1
  %79 = sext i32 %78 to i64
  %80 = and i64 %73, %79
  %81 = trunc i64 %80 to i32
  store i32 %81, ptr %17, align 4, !tbaa !9
  %82 = load i32, ptr %17, align 4, !tbaa !9
  %83 = icmp eq i32 %82, 0
  br i1 %83, label %84, label %129

84:                                               ; preds = %69
  %85 = load ptr, ptr %6, align 8, !tbaa !5
  %86 = getelementptr inbounds %struct.FIL, ptr %85, i32 0, i32 3
  %87 = load i64, ptr %86, align 8, !tbaa !18
  %88 = icmp eq i64 %87, 0
  br i1 %88, label %89, label %94

89:                                               ; preds = %84
  %90 = load ptr, ptr %6, align 8, !tbaa !5
  %91 = getelementptr inbounds %struct.FIL, ptr %90, i32 0, i32 0
  %92 = getelementptr inbounds %struct.FFOBJID, ptr %91, i32 0, i32 4
  %93 = load i32, ptr %92, align 4, !tbaa !22
  store i32 %93, ptr %12, align 4, !tbaa !9
  br label %113

94:                                               ; preds = %84
  %95 = load ptr, ptr %6, align 8, !tbaa !5
  %96 = getelementptr inbounds %struct.FIL, ptr %95, i32 0, i32 8
  %97 = load ptr, ptr %96, align 8, !tbaa !23
  %98 = icmp ne ptr %97, null
  br i1 %98, label %99, label %105

99:                                               ; preds = %94
  %100 = load ptr, ptr %6, align 8, !tbaa !5
  %101 = load ptr, ptr %6, align 8, !tbaa !5
  %102 = getelementptr inbounds %struct.FIL, ptr %101, i32 0, i32 3
  %103 = load i64, ptr %102, align 8, !tbaa !18
  %104 = call i32 @clmt_clust(ptr noundef %100, i64 noundef %103)
  store i32 %104, ptr %12, align 4, !tbaa !9
  br label %112

105:                                              ; preds = %94
  %106 = load ptr, ptr %6, align 8, !tbaa !5
  %107 = getelementptr inbounds %struct.FIL, ptr %106, i32 0, i32 0
  %108 = load ptr, ptr %6, align 8, !tbaa !5
  %109 = getelementptr inbounds %struct.FIL, ptr %108, i32 0, i32 4
  %110 = load i32, ptr %109, align 8, !tbaa !24
  %111 = call i32 @get_fat(ptr noundef %107, i32 noundef %110)
  store i32 %111, ptr %12, align 4, !tbaa !9
  br label %112

112:                                              ; preds = %105, %99
  br label %113

113:                                              ; preds = %112, %89
  %114 = load i32, ptr %12, align 4, !tbaa !9
  %115 = icmp ult i32 %114, 2
  br i1 %115, label %116, label %119

116:                                              ; preds = %113
  %117 = load ptr, ptr %6, align 8, !tbaa !5
  %118 = getelementptr inbounds %struct.FIL, ptr %117, i32 0, i32 2
  store i8 2, ptr %118, align 1, !tbaa !11
  store i32 2, ptr %5, align 4
  store i32 1, ptr %19, align 4
  br label %304

119:                                              ; preds = %113
  %120 = load i32, ptr %12, align 4, !tbaa !9
  %121 = icmp eq i32 %120, -1
  br i1 %121, label %122, label %125

122:                                              ; preds = %119
  %123 = load ptr, ptr %6, align 8, !tbaa !5
  %124 = getelementptr inbounds %struct.FIL, ptr %123, i32 0, i32 2
  store i8 1, ptr %124, align 1, !tbaa !11
  store i32 1, ptr %5, align 4
  store i32 1, ptr %19, align 4
  br label %304

125:                                              ; preds = %119
  %126 = load i32, ptr %12, align 4, !tbaa !9
  %127 = load ptr, ptr %6, align 8, !tbaa !5
  %128 = getelementptr inbounds %struct.FIL, ptr %127, i32 0, i32 4
  store i32 %126, ptr %128, align 8, !tbaa !24
  br label %129

129:                                              ; preds = %125, %69
  %130 = load ptr, ptr %11, align 8, !tbaa !5
  %131 = load ptr, ptr %6, align 8, !tbaa !5
  %132 = getelementptr inbounds %struct.FIL, ptr %131, i32 0, i32 4
  %133 = load i32, ptr %132, align 8, !tbaa !24
  %134 = call i64 @clst2sect(ptr noundef %130, i32 noundef %133)
  store i64 %134, ptr %13, align 8, !tbaa !19
  %135 = load i64, ptr %13, align 8, !tbaa !19
  %136 = icmp eq i64 %135, 0
  br i1 %136, label %137, label %140

137:                                              ; preds = %129
  %138 = load ptr, ptr %6, align 8, !tbaa !5
  %139 = getelementptr inbounds %struct.FIL, ptr %138, i32 0, i32 2
  store i8 2, ptr %139, align 1, !tbaa !11
  store i32 2, ptr %5, align 4
  store i32 1, ptr %19, align 4
  br label %304

140:                                              ; preds = %129
  %141 = load i32, ptr %17, align 4, !tbaa !9
  %142 = zext i32 %141 to i64
  %143 = load i64, ptr %13, align 8, !tbaa !19
  %144 = add i64 %143, %142
  store i64 %144, ptr %13, align 8, !tbaa !19
  %145 = load i32, ptr %8, align 4, !tbaa !9
  %146 = udiv i32 %145, 512
  store i32 %146, ptr %16, align 4, !tbaa !9
  %147 = load i32, ptr %16, align 4, !tbaa !9
  %148 = icmp ugt i32 %147, 0
  br i1 %148, label %149, label %208

149:                                              ; preds = %140
  %150 = load i32, ptr %17, align 4, !tbaa !9
  %151 = load i32, ptr %16, align 4, !tbaa !9
  %152 = add i32 %150, %151
  %153 = load ptr, ptr %11, align 8, !tbaa !5
  %154 = getelementptr inbounds %struct.FATFS, ptr %153, i32 0, i32 8
  %155 = load i16, ptr %154, align 2, !tbaa !20
  %156 = zext i16 %155 to i32
  %157 = icmp ugt i32 %152, %156
  br i1 %157, label %158, label %165

158:                                              ; preds = %149
  %159 = load ptr, ptr %11, align 8, !tbaa !5
  %160 = getelementptr inbounds %struct.FATFS, ptr %159, i32 0, i32 8
  %161 = load i16, ptr %160, align 2, !tbaa !20
  %162 = zext i16 %161 to i32
  %163 = load i32, ptr %17, align 4, !tbaa !9
  %164 = sub i32 %162, %163
  store i32 %164, ptr %16, align 4, !tbaa !9
  br label %165

165:                                              ; preds = %158, %149
  %166 = load ptr, ptr %11, align 8, !tbaa !5
  %167 = getelementptr inbounds %struct.FATFS, ptr %166, i32 0, i32 1
  %168 = load i8, ptr %167, align 1, !tbaa !25
  %169 = load ptr, ptr %18, align 8, !tbaa !5
  %170 = load i64, ptr %13, align 8, !tbaa !19
  %171 = load i32, ptr %16, align 4, !tbaa !9
  %172 = call i32 @disk_read(i8 noundef zeroext %168, ptr noundef %169, i64 noundef %170, i32 noundef %171)
  %173 = icmp ne i32 %172, 0
  br i1 %173, label %174, label %177

174:                                              ; preds = %165
  %175 = load ptr, ptr %6, align 8, !tbaa !5
  %176 = getelementptr inbounds %struct.FIL, ptr %175, i32 0, i32 2
  store i8 1, ptr %176, align 1, !tbaa !11
  store i32 1, ptr %5, align 4
  store i32 1, ptr %19, align 4
  br label %304

177:                                              ; preds = %165
  %178 = load ptr, ptr %6, align 8, !tbaa !5
  %179 = getelementptr inbounds %struct.FIL, ptr %178, i32 0, i32 1
  %180 = load i8, ptr %179, align 8, !tbaa !16
  %181 = zext i8 %180 to i32
  %182 = and i32 %181, 128
  %183 = icmp ne i32 %182, 0
  br i1 %183, label %184, label %205

184:                                              ; preds = %177
  %185 = load ptr, ptr %6, align 8, !tbaa !5
  %186 = getelementptr inbounds %struct.FIL, ptr %185, i32 0, i32 5
  %187 = load i64, ptr %186, align 8, !tbaa !26
  %188 = load i64, ptr %13, align 8, !tbaa !19
  %189 = sub i64 %187, %188
  %190 = load i32, ptr %16, align 4, !tbaa !9
  %191 = zext i32 %190 to i64
  %192 = icmp ult i64 %189, %191
  br i1 %192, label %193, label %205

193:                                              ; preds = %184
  %194 = load ptr, ptr %18, align 8, !tbaa !5
  %195 = load ptr, ptr %6, align 8, !tbaa !5
  %196 = getelementptr inbounds %struct.FIL, ptr %195, i32 0, i32 5
  %197 = load i64, ptr %196, align 8, !tbaa !26
  %198 = load i64, ptr %13, align 8, !tbaa !19
  %199 = sub i64 %197, %198
  %200 = mul i64 %199, 512
  %201 = getelementptr inbounds i8, ptr %194, i64 %200
  %202 = load ptr, ptr %6, align 8, !tbaa !5
  %203 = getelementptr inbounds %struct.FIL, ptr %202, i32 0, i32 9
  %204 = getelementptr inbounds [512 x i8], ptr %203, i64 0, i64 0
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %201, ptr align 8 %204, i64 512, i1 false)
  br label %205

205:                                              ; preds = %193, %184, %177
  %206 = load i32, ptr %16, align 4, !tbaa !9
  %207 = mul i32 512, %206
  store i32 %207, ptr %15, align 4, !tbaa !9
  br label %285

208:                                              ; preds = %140
  %209 = load ptr, ptr %6, align 8, !tbaa !5
  %210 = getelementptr inbounds %struct.FIL, ptr %209, i32 0, i32 5
  %211 = load i64, ptr %210, align 8, !tbaa !26
  %212 = load i64, ptr %13, align 8, !tbaa !19
  %213 = icmp ne i64 %211, %212
  br i1 %213, label %214, label %257

214:                                              ; preds = %208
  %215 = load ptr, ptr %6, align 8, !tbaa !5
  %216 = getelementptr inbounds %struct.FIL, ptr %215, i32 0, i32 1
  %217 = load i8, ptr %216, align 8, !tbaa !16
  %218 = zext i8 %217 to i32
  %219 = and i32 %218, 128
  %220 = icmp ne i32 %219, 0
  br i1 %220, label %221, label %243

221:                                              ; preds = %214
  %222 = load ptr, ptr %11, align 8, !tbaa !5
  %223 = getelementptr inbounds %struct.FATFS, ptr %222, i32 0, i32 1
  %224 = load i8, ptr %223, align 1, !tbaa !25
  %225 = load ptr, ptr %6, align 8, !tbaa !5
  %226 = getelementptr inbounds %struct.FIL, ptr %225, i32 0, i32 9
  %227 = getelementptr inbounds [512 x i8], ptr %226, i64 0, i64 0
  %228 = load ptr, ptr %6, align 8, !tbaa !5
  %229 = getelementptr inbounds %struct.FIL, ptr %228, i32 0, i32 5
  %230 = load i64, ptr %229, align 8, !tbaa !26
  %231 = call i32 @disk_write(i8 noundef zeroext %224, ptr noundef %227, i64 noundef %230, i32 noundef 1)
  %232 = icmp ne i32 %231, 0
  br i1 %232, label %233, label %236

233:                                              ; preds = %221
  %234 = load ptr, ptr %6, align 8, !tbaa !5
  %235 = getelementptr inbounds %struct.FIL, ptr %234, i32 0, i32 2
  store i8 1, ptr %235, align 1, !tbaa !11
  store i32 1, ptr %5, align 4
  store i32 1, ptr %19, align 4
  br label %304

236:                                              ; preds = %221
  %237 = load ptr, ptr %6, align 8, !tbaa !5
  %238 = getelementptr inbounds %struct.FIL, ptr %237, i32 0, i32 1
  %239 = load i8, ptr %238, align 8, !tbaa !16
  %240 = zext i8 %239 to i32
  %241 = and i32 %240, 127
  %242 = trunc i32 %241 to i8
  store i8 %242, ptr %238, align 8, !tbaa !16
  br label %243

243:                                              ; preds = %236, %214
  %244 = load ptr, ptr %11, align 8, !tbaa !5
  %245 = getelementptr inbounds %struct.FATFS, ptr %244, i32 0, i32 1
  %246 = load i8, ptr %245, align 1, !tbaa !25
  %247 = load ptr, ptr %6, align 8, !tbaa !5
  %248 = getelementptr inbounds %struct.FIL, ptr %247, i32 0, i32 9
  %249 = getelementptr inbounds [512 x i8], ptr %248, i64 0, i64 0
  %250 = load i64, ptr %13, align 8, !tbaa !19
  %251 = call i32 @disk_read(i8 noundef zeroext %246, ptr noundef %249, i64 noundef %250, i32 noundef 1)
  %252 = icmp ne i32 %251, 0
  br i1 %252, label %253, label %256

253:                                              ; preds = %243
  %254 = load ptr, ptr %6, align 8, !tbaa !5
  %255 = getelementptr inbounds %struct.FIL, ptr %254, i32 0, i32 2
  store i8 1, ptr %255, align 1, !tbaa !11
  store i32 1, ptr %5, align 4
  store i32 1, ptr %19, align 4
  br label %304

256:                                              ; preds = %243
  br label %257

257:                                              ; preds = %256, %208
  %258 = load i64, ptr %13, align 8, !tbaa !19
  %259 = load ptr, ptr %6, align 8, !tbaa !5
  %260 = getelementptr inbounds %struct.FIL, ptr %259, i32 0, i32 5
  store i64 %258, ptr %260, align 8, !tbaa !26
  br label %261

261:                                              ; preds = %257, %63
  %262 = load ptr, ptr %6, align 8, !tbaa !5
  %263 = getelementptr inbounds %struct.FIL, ptr %262, i32 0, i32 3
  %264 = load i64, ptr %263, align 8, !tbaa !18
  %265 = trunc i64 %264 to i32
  %266 = urem i32 %265, 512
  %267 = sub i32 512, %266
  store i32 %267, ptr %15, align 4, !tbaa !9
  %268 = load i32, ptr %15, align 4, !tbaa !9
  %269 = load i32, ptr %8, align 4, !tbaa !9
  %270 = icmp ugt i32 %268, %269
  br i1 %270, label %271, label %273

271:                                              ; preds = %261
  %272 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %272, ptr %15, align 4, !tbaa !9
  br label %273

273:                                              ; preds = %271, %261
  %274 = load ptr, ptr %18, align 8, !tbaa !5
  %275 = load ptr, ptr %6, align 8, !tbaa !5
  %276 = getelementptr inbounds %struct.FIL, ptr %275, i32 0, i32 9
  %277 = getelementptr inbounds [512 x i8], ptr %276, i64 0, i64 0
  %278 = load ptr, ptr %6, align 8, !tbaa !5
  %279 = getelementptr inbounds %struct.FIL, ptr %278, i32 0, i32 3
  %280 = load i64, ptr %279, align 8, !tbaa !18
  %281 = urem i64 %280, 512
  %282 = getelementptr inbounds i8, ptr %277, i64 %281
  %283 = load i32, ptr %15, align 4, !tbaa !9
  %284 = zext i32 %283 to i64
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %274, ptr align 1 %282, i64 %284, i1 false)
  br label %285

285:                                              ; preds = %273, %205
  %286 = load i32, ptr %15, align 4, !tbaa !9
  %287 = load i32, ptr %8, align 4, !tbaa !9
  %288 = sub i32 %287, %286
  store i32 %288, ptr %8, align 4, !tbaa !9
  %289 = load i32, ptr %15, align 4, !tbaa !9
  %290 = load ptr, ptr %9, align 8, !tbaa !5
  %291 = load i32, ptr %290, align 4, !tbaa !9
  %292 = add i32 %291, %289
  store i32 %292, ptr %290, align 4, !tbaa !9
  %293 = load i32, ptr %15, align 4, !tbaa !9
  %294 = load ptr, ptr %18, align 8, !tbaa !5
  %295 = zext i32 %293 to i64
  %296 = getelementptr inbounds i8, ptr %294, i64 %295
  store ptr %296, ptr %18, align 8, !tbaa !5
  %297 = load i32, ptr %15, align 4, !tbaa !9
  %298 = zext i32 %297 to i64
  %299 = load ptr, ptr %6, align 8, !tbaa !5
  %300 = getelementptr inbounds %struct.FIL, ptr %299, i32 0, i32 3
  %301 = load i64, ptr %300, align 8, !tbaa !18
  %302 = add i64 %301, %298
  store i64 %302, ptr %300, align 8, !tbaa !18
  br label %60, !llvm.loop !27

303:                                              ; preds = %60
  store i32 0, ptr %5, align 4
  store i32 1, ptr %19, align 4
  br label %304

304:                                              ; preds = %303, %253, %233, %174, %137, %122, %116, %42, %33
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #4
  %305 = load i32, ptr %5, align 4
  ret i32 %305
}

; Function Attrs: nounwind uwtable
declare hidden i32 @validate(ptr noundef, ptr noundef) #1

; Function Attrs: nounwind uwtable
declare hidden i32 @clmt_clust(ptr noundef, i64 noundef) #1

; 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 i32 @disk_write(i8 noundef zeroext, ptr noundef, i64 noundef, i32 noundef) #2

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { 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, !7, i64 49}
!12 = !{!"", !13, i64 0, !7, i64 48, !7, i64 49, !15, i64 56, !10, i64 64, !15, i64 72, !15, i64 80, !6, i64 88, !6, i64 96, !7, i64 104}
!13 = !{!"", !6, i64 0, !14, i64 8, !7, i64 10, !7, i64 11, !10, i64 12, !15, i64 16, !10, i64 24, !10, i64 28, !10, i64 32, !10, i64 36, !10, i64 40, !10, i64 44}
!14 = !{!"short", !7, i64 0}
!15 = !{!"long", !7, i64 0}
!16 = !{!12, !7, i64 48}
!17 = !{!12, !15, i64 16}
!18 = !{!12, !15, i64 56}
!19 = !{!15, !15, i64 0}
!20 = !{!21, !14, i64 10}
!21 = !{!"", !7, i64 0, !7, i64 1, !7, i64 2, !7, i64 3, !7, i64 4, !7, i64 5, !14, i64 6, !14, i64 8, !14, i64 10, !6, i64 16, !6, i64 24, !10, i64 32, !10, i64 36, !10, i64 40, !10, i64 44, !10, i64 48, !10, i64 52, !10, i64 56, !10, i64 60, !15, i64 64, !15, i64 72, !15, i64 80, !15, i64 88, !15, i64 96, !15, i64 104, !7, i64 112}
!22 = !{!12, !10, i64 12}
!23 = !{!12, !6, i64 96}
!24 = !{!12, !10, i64 64}
!25 = !{!21, !7, i64 1}
!26 = !{!12, !15, i64 72}
!27 = distinct !{!27, !28}
!28 = !{!"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"

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

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

; Function Attrs: nounwind uwtable
declare hidden i32 @get_fat(ptr noundef, i32 noundef) local_unnamed_addr #1

; Function Attrs: nounwind uwtable
declare hidden i64 @clst2sect(ptr noundef, i32 noundef) local_unnamed_addr #1

declare i32 @disk_read(i8 noundef zeroext, ptr noundef, i64 noundef, i32 noundef) local_unnamed_addr #2

; Function Attrs: nounwind uwtable
define dso_local i32 @f_read(ptr noundef %0, ptr noundef %1, i32 noundef %2, ptr nocapture noundef %3) local_unnamed_addr #1 {
  %5 = alloca ptr, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %5) #5
  store i32 0, ptr %3, align 4, !tbaa !5
  %6 = call i32 @validate(ptr noundef %0, ptr noundef nonnull %5)
  %.not = icmp eq i32 %6, 0
  br i1 %.not, label %7, label %.loopexit

7:                                                ; preds = %4
  %8 = getelementptr inbounds i8, ptr %0, i64 49
  %9 = load i8, ptr %8, align 1, !tbaa !9
  %10 = zext i8 %9 to i32
  %.not98 = icmp eq i8 %9, 0
  br i1 %.not98, label %11, label %.loopexit

11:                                               ; preds = %7
  %12 = getelementptr inbounds i8, ptr %0, i64 48
  %13 = load i8, ptr %12, align 8, !tbaa !15
  %14 = and i8 %13, 1
  %.not99 = icmp eq i8 %14, 0
  br i1 %.not99, label %.loopexit, label %15

15:                                               ; preds = %11
  %16 = getelementptr inbounds i8, ptr %0, i64 16
  %17 = load i64, ptr %16, align 8, !tbaa !16
  %18 = getelementptr inbounds i8, ptr %0, i64 56
  %19 = load i64, ptr %18, align 8, !tbaa !17
  %20 = sub i64 %17, %19
  %21 = zext i32 %2 to i64
  %22 = icmp ult i64 %20, %21
  %23 = trunc nuw i64 %20 to i32
  %spec.select = select i1 %22, i32 %23, i32 %2
  %.not100111 = icmp eq i32 %spec.select, 0
  br i1 %.not100111, label %.loopexit, label %.lr.ph

.lr.ph:                                           ; preds = %15
  %24 = getelementptr inbounds i8, ptr %0, i64 96
  %25 = getelementptr inbounds i8, ptr %0, i64 64
  %26 = getelementptr inbounds i8, ptr %0, i64 12
  %27 = getelementptr inbounds i8, ptr %0, i64 72
  %28 = getelementptr inbounds i8, ptr %0, i64 104
  br label %29

29:                                               ; preds = %.lr.ph, %116
  %30 = phi i64 [ %19, %.lr.ph ], [ %122, %116 ]
  %.0113 = phi ptr [ %1, %.lr.ph ], [ %120, %116 ]
  %.184112 = phi i32 [ %spec.select, %.lr.ph ], [ %117, %116 ]
  %31 = and i64 %30, 511
  %32 = icmp eq i64 %31, 0
  br i1 %32, label %33, label %109

33:                                               ; preds = %29
  %34 = lshr exact i64 %30, 9
  %35 = load ptr, ptr %5, align 8, !tbaa !18
  %36 = getelementptr inbounds i8, ptr %35, i64 10
  %37 = load i16, ptr %36, align 2, !tbaa !19
  %38 = zext i16 %37 to i64
  %39 = add nuw nsw i64 %38, 4294967295
  %40 = and i64 %39, %34
  %41 = trunc i64 %40 to i32
  %42 = icmp eq i32 %41, 0
  br i1 %42, label %43, label %._crit_edge

._crit_edge:                                      ; preds = %33
  %.pre114 = load i32, ptr %25, align 8, !tbaa !21
  br label %59

43:                                               ; preds = %33
  %44 = icmp eq i64 %30, 0
  br i1 %44, label %45, label %47

45:                                               ; preds = %43
  %46 = load i32, ptr %26, align 4, !tbaa !22
  br label %54

47:                                               ; preds = %43
  %48 = load ptr, ptr %24, align 8, !tbaa !23
  %.not101 = icmp eq ptr %48, null
  br i1 %.not101, label %51, label %49

49:                                               ; preds = %47
  %50 = call i32 @clmt_clust(ptr noundef nonnull %0, i64 noundef %30)
  br label %54

51:                                               ; preds = %47
  %52 = load i32, ptr %25, align 8, !tbaa !21
  %53 = call i32 @get_fat(ptr noundef nonnull %0, i32 noundef %52)
  br label %54

54:                                               ; preds = %49, %51, %45
  %.085 = phi i32 [ %46, %45 ], [ %50, %49 ], [ %53, %51 ]
  %55 = icmp ult i32 %.085, 2
  br i1 %55, label %.loopexit.sink.split, label %56

56:                                               ; preds = %54
  %57 = icmp eq i32 %.085, -1
  br i1 %57, label %.loopexit.sink.split, label %58

58:                                               ; preds = %56
  store i32 %.085, ptr %25, align 8, !tbaa !21
  %.pre = load ptr, ptr %5, align 8, !tbaa !18
  br label %59

59:                                               ; preds = %._crit_edge, %58
  %60 = phi i32 [ %.085, %58 ], [ %.pre114, %._crit_edge ]
  %61 = phi ptr [ %.pre, %58 ], [ %35, %._crit_edge ]
  %62 = call i64 @clst2sect(ptr noundef %61, i32 noundef %60)
  %63 = icmp eq i64 %62, 0
  br i1 %63, label %.loopexit.sink.split, label %64

64:                                               ; preds = %59
  %65 = and i64 %40, 4294967295
  %66 = add i64 %62, %65
  %.not102 = icmp ult i32 %.184112, 512
  br i1 %.not102, label %91, label %67

67:                                               ; preds = %64
  %68 = lshr i32 %.184112, 9
  %69 = add i32 %68, %41
  %70 = load ptr, ptr %5, align 8, !tbaa !18
  %71 = getelementptr inbounds i8, ptr %70, i64 10
  %72 = load i16, ptr %71, align 2, !tbaa !19
  %73 = zext i16 %72 to i32
  %74 = icmp ugt i32 %69, %73
  %75 = sub i32 %73, %41
  %spec.select109 = select i1 %74, i32 %75, i32 %68
  %76 = getelementptr inbounds i8, ptr %70, i64 1
  %77 = load i8, ptr %76, align 1, !tbaa !24
  %78 = call i32 @disk_read(i8 noundef zeroext %77, ptr noundef %.0113, i64 noundef %66, i32 noundef %spec.select109) #5
  %.not107 = icmp eq i32 %78, 0
  br i1 %.not107, label %79, label %.loopexit.sink.split

79:                                               ; preds = %67
  %80 = load i8, ptr %12, align 8, !tbaa !15
  %.not108 = icmp sgt i8 %80, -1
  br i1 %.not108, label %89, label %81

81:                                               ; preds = %79
  %82 = load i64, ptr %27, align 8, !tbaa !25
  %83 = sub i64 %82, %66
  %84 = zext i32 %spec.select109 to i64
  %85 = icmp ult i64 %83, %84
  br i1 %85, label %86, label %89

86:                                               ; preds = %81
  %87 = shl nuw nsw i64 %83, 9
  %88 = getelementptr inbounds i8, ptr %.0113, i64 %87
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 1 dereferenceable(512) %88, ptr noundef nonnull align 8 dereferenceable(512) %28, i64 512, i1 false)
  br label %89

89:                                               ; preds = %86, %81, %79
  %90 = shl i32 %spec.select109, 9
  %.pre117 = zext i32 %90 to i64
  br label %116

91:                                               ; preds = %64
  %92 = load i64, ptr %27, align 8, !tbaa !25
  %.not103 = icmp eq i64 %92, %66
  br i1 %.not103, label %108, label %93

93:                                               ; preds = %91
  %94 = load i8, ptr %12, align 8, !tbaa !15
  %.not104 = icmp sgt i8 %94, -1
  br i1 %.not104, label %103, label %95

95:                                               ; preds = %93
  %96 = load ptr, ptr %5, align 8, !tbaa !18
  %97 = getelementptr inbounds i8, ptr %96, i64 1
  %98 = load i8, ptr %97, align 1, !tbaa !24
  %99 = call i32 @disk_write(i8 noundef zeroext %98, ptr noundef nonnull %28, i64 noundef %92, i32 noundef 1) #5
  %.not105 = icmp eq i32 %99, 0
  br i1 %.not105, label %100, label %.loopexit.sink.split

100:                                              ; preds = %95
  %101 = load i8, ptr %12, align 8, !tbaa !15
  %102 = and i8 %101, 127
  store i8 %102, ptr %12, align 8, !tbaa !15
  br label %103

103:                                              ; preds = %100, %93
  %104 = load ptr, ptr %5, align 8, !tbaa !18
  %105 = getelementptr inbounds i8, ptr %104, i64 1
  %106 = load i8, ptr %105, align 1, !tbaa !24
  %107 = call i32 @disk_read(i8 noundef zeroext %106, ptr noundef nonnull %28, i64 noundef %66, i32 noundef 1) #5
  %.not106 = icmp eq i32 %107, 0
  br i1 %.not106, label %108, label %.loopexit.sink.split

108:                                              ; preds = %103, %91
  store i64 %66, ptr %27, align 8, !tbaa !25
  %.pre115 = load i64, ptr %18, align 8, !tbaa !17
  %.pre116 = and i64 %.pre115, 511
  br label %109

109:                                              ; preds = %108, %29
  %.pre-phi = phi i64 [ %.pre116, %108 ], [ %31, %29 ]
  %110 = phi i64 [ %.pre115, %108 ], [ %30, %29 ]
  %111 = trunc i64 %110 to i32
  %112 = and i32 %111, 511
  %113 = sub nuw nsw i32 512, %112
  %spec.select110 = call i32 @llvm.umin.i32(i32 %113, i32 %.184112)
  %114 = getelementptr inbounds i8, ptr %28, i64 %.pre-phi
  %115 = zext nneg i32 %spec.select110 to i64
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %.0113, ptr nonnull align 1 %114, i64 %115, i1 false)
  br label %116

116:                                              ; preds = %109, %89
  %.pre-phi118 = phi i64 [ %115, %109 ], [ %.pre117, %89 ]
  %.1 = phi i32 [ %spec.select110, %109 ], [ %90, %89 ]
  %117 = sub i32 %.184112, %.1
  %118 = load i32, ptr %3, align 4, !tbaa !5
  %119 = add i32 %118, %.1
  store i32 %119, ptr %3, align 4, !tbaa !5
  %120 = getelementptr inbounds i8, ptr %.0113, i64 %.pre-phi118
  %121 = load i64, ptr %18, align 8, !tbaa !17
  %122 = add i64 %121, %.pre-phi118
  store i64 %122, ptr %18, align 8, !tbaa !17
  %.not100 = icmp eq i32 %117, 0
  br i1 %.not100, label %.loopexit, label %29, !llvm.loop !26

.loopexit.sink.split:                             ; preds = %103, %95, %67, %59, %56, %54
  %.sink = phi i8 [ 2, %54 ], [ 1, %56 ], [ 2, %59 ], [ 1, %67 ], [ 1, %95 ], [ 1, %103 ]
  %.080.ph = phi i32 [ 2, %54 ], [ 1, %56 ], [ 2, %59 ], [ 1, %67 ], [ 1, %95 ], [ 1, %103 ]
  store i8 %.sink, ptr %8, align 1, !tbaa !9
  br label %.loopexit

.loopexit:                                        ; preds = %116, %.loopexit.sink.split, %15, %11, %4, %7
  %.080 = phi i32 [ %6, %4 ], [ %10, %7 ], [ 7, %11 ], [ 0, %15 ], [ %.080.ph, %.loopexit.sink.split ], [ 0, %116 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %5) #5
  ret i32 %.080
}

; Function Attrs: nounwind uwtable
declare hidden i32 @validate(ptr noundef, ptr noundef) local_unnamed_addr #1

; Function Attrs: nounwind uwtable
declare hidden i32 @clmt_clust(ptr noundef, i64 noundef) local_unnamed_addr #1

; Function Attrs: mustprogress 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 i32 @disk_write(i8 noundef zeroext, ptr noundef, i64 noundef, i32 noundef) local_unnamed_addr #2

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i32 @llvm.umin.i32(i32, i32) #4

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #4 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #5 = { nounwind }

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

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


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