; LLVM IR from HANDS-FREE/OpenRE :: 3_OS/STM32F1/FATFS (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 { ptr, i16, i8, i8, i64, i64, i64, i64, i64, i64, ptr, [512 x i8] }
%struct.FATFS = type { i8, i8, i8, i8, i8, i8, i16, i16, i64, i64, i64, i64, i64, i64, i64, i64, i64, [512 x i8] }

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

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

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

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

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

30:                                               ; preds = %4
  %31 = load i32, ptr %10, align 4, !tbaa !9
  store i32 %31, ptr %5, align 4
  store i32 1, ptr %18, align 4
  br label %335

32:                                               ; preds = %4
  %33 = load ptr, ptr %6, align 8, !tbaa !5
  %34 = getelementptr inbounds %struct.FIL, ptr %33, i32 0, i32 2
  %35 = load i8, ptr %34, align 2, !tbaa !16
  %36 = zext i8 %35 to i32
  %37 = and i32 %36, 128
  %38 = icmp ne i32 %37, 0
  br i1 %38, label %39, label %40

39:                                               ; preds = %32
  store i32 2, ptr %5, align 4
  store i32 1, ptr %18, align 4
  br label %335

40:                                               ; preds = %32
  %41 = load ptr, ptr %6, align 8, !tbaa !5
  %42 = getelementptr inbounds %struct.FIL, ptr %41, i32 0, i32 2
  %43 = load i8, ptr %42, align 2, !tbaa !16
  %44 = zext i8 %43 to i32
  %45 = and i32 %44, 1
  %46 = icmp ne i32 %45, 0
  br i1 %46, label %48, label %47

47:                                               ; preds = %40
  store i32 7, ptr %5, align 4
  store i32 1, ptr %18, align 4
  br label %335

48:                                               ; preds = %40
  %49 = load ptr, ptr %6, align 8, !tbaa !5
  %50 = getelementptr inbounds %struct.FIL, ptr %49, i32 0, i32 5
  %51 = load i64, ptr %50, align 8, !tbaa !17
  %52 = load ptr, ptr %6, align 8, !tbaa !5
  %53 = getelementptr inbounds %struct.FIL, ptr %52, i32 0, i32 4
  %54 = load i64, ptr %53, align 8, !tbaa !18
  %55 = sub i64 %51, %54
  store i64 %55, ptr %13, align 8, !tbaa !19
  %56 = load i32, ptr %8, align 4, !tbaa !9
  %57 = zext i32 %56 to i64
  %58 = load i64, ptr %13, align 8, !tbaa !19
  %59 = icmp ugt i64 %57, %58
  br i1 %59, label %60, label %63

60:                                               ; preds = %48
  %61 = load i64, ptr %13, align 8, !tbaa !19
  %62 = trunc i64 %61 to i32
  store i32 %62, ptr %8, align 4, !tbaa !9
  br label %63

63:                                               ; preds = %60, %48
  br label %64

64:                                               ; preds = %316, %63
  %65 = load i32, ptr %8, align 4, !tbaa !9
  %66 = icmp ne i32 %65, 0
  br i1 %66, label %67, label %334

67:                                               ; preds = %64
  %68 = load ptr, ptr %6, align 8, !tbaa !5
  %69 = getelementptr inbounds %struct.FIL, ptr %68, i32 0, i32 4
  %70 = load i64, ptr %69, align 8, !tbaa !18
  %71 = urem i64 %70, 512
  %72 = icmp eq i64 %71, 0
  br i1 %72, label %73, label %294

73:                                               ; preds = %67
  %74 = load ptr, ptr %6, align 8, !tbaa !5
  %75 = getelementptr inbounds %struct.FIL, ptr %74, i32 0, i32 4
  %76 = load i64, ptr %75, align 8, !tbaa !18
  %77 = udiv i64 %76, 512
  %78 = load ptr, ptr %6, align 8, !tbaa !5
  %79 = getelementptr inbounds %struct.FIL, ptr %78, i32 0, i32 0
  %80 = load ptr, ptr %79, align 8, !tbaa !11
  %81 = getelementptr inbounds %struct.FATFS, ptr %80, i32 0, i32 2
  %82 = load i8, ptr %81, align 2, !tbaa !20
  %83 = zext i8 %82 to i32
  %84 = sub nsw i32 %83, 1
  %85 = sext i32 %84 to i64
  %86 = and i64 %77, %85
  %87 = trunc i64 %86 to i8
  store i8 %87, ptr %16, align 1, !tbaa !22
  %88 = load i8, ptr %16, align 1, !tbaa !22
  %89 = icmp ne i8 %88, 0
  br i1 %89, label %131, label %90

90:                                               ; preds = %73
  %91 = load ptr, ptr %6, align 8, !tbaa !5
  %92 = getelementptr inbounds %struct.FIL, ptr %91, i32 0, i32 4
  %93 = load i64, ptr %92, align 8, !tbaa !18
  %94 = icmp eq i64 %93, 0
  br i1 %94, label %95, label %99

95:                                               ; preds = %90
  %96 = load ptr, ptr %6, align 8, !tbaa !5
  %97 = getelementptr inbounds %struct.FIL, ptr %96, i32 0, i32 6
  %98 = load i64, ptr %97, align 8, !tbaa !23
  store i64 %98, ptr %11, align 8, !tbaa !19
  br label %107

99:                                               ; preds = %90
  %100 = load ptr, ptr %6, align 8, !tbaa !5
  %101 = getelementptr inbounds %struct.FIL, ptr %100, i32 0, i32 0
  %102 = load ptr, ptr %101, align 8, !tbaa !11
  %103 = load ptr, ptr %6, align 8, !tbaa !5
  %104 = getelementptr inbounds %struct.FIL, ptr %103, i32 0, i32 7
  %105 = load i64, ptr %104, align 8, !tbaa !24
  %106 = call i64 @get_fat(ptr noundef %102, i64 noundef %105)
  store i64 %106, ptr %11, align 8, !tbaa !19
  br label %107

107:                                              ; preds = %99, %95
  %108 = load i64, ptr %11, align 8, !tbaa !19
  %109 = icmp ult i64 %108, 2
  br i1 %109, label %110, label %117

110:                                              ; preds = %107
  %111 = load ptr, ptr %6, align 8, !tbaa !5
  %112 = getelementptr inbounds %struct.FIL, ptr %111, i32 0, i32 2
  %113 = load i8, ptr %112, align 2, !tbaa !16
  %114 = zext i8 %113 to i32
  %115 = or i32 %114, 128
  %116 = trunc i32 %115 to i8
  store i8 %116, ptr %112, align 2, !tbaa !16
  store i32 2, ptr %5, align 4
  store i32 1, ptr %18, align 4
  br label %335

117:                                              ; preds = %107
  %118 = load i64, ptr %11, align 8, !tbaa !19
  %119 = icmp eq i64 %118, 4294967295
  br i1 %119, label %120, label %127

120:                                              ; preds = %117
  %121 = load ptr, ptr %6, align 8, !tbaa !5
  %122 = getelementptr inbounds %struct.FIL, ptr %121, i32 0, i32 2
  %123 = load i8, ptr %122, align 2, !tbaa !16
  %124 = zext i8 %123 to i32
  %125 = or i32 %124, 128
  %126 = trunc i32 %125 to i8
  store i8 %126, ptr %122, align 2, !tbaa !16
  store i32 1, ptr %5, align 4
  store i32 1, ptr %18, align 4
  br label %335

127:                                              ; preds = %117
  %128 = load i64, ptr %11, align 8, !tbaa !19
  %129 = load ptr, ptr %6, align 8, !tbaa !5
  %130 = getelementptr inbounds %struct.FIL, ptr %129, i32 0, i32 7
  store i64 %128, ptr %130, align 8, !tbaa !24
  br label %131

131:                                              ; preds = %127, %73
  %132 = load ptr, ptr %6, align 8, !tbaa !5
  %133 = getelementptr inbounds %struct.FIL, ptr %132, i32 0, i32 0
  %134 = load ptr, ptr %133, align 8, !tbaa !11
  %135 = load ptr, ptr %6, align 8, !tbaa !5
  %136 = getelementptr inbounds %struct.FIL, ptr %135, i32 0, i32 7
  %137 = load i64, ptr %136, align 8, !tbaa !24
  %138 = call i64 @clust2sect(ptr noundef %134, i64 noundef %137)
  store i64 %138, ptr %12, align 8, !tbaa !19
  %139 = load i64, ptr %12, align 8, !tbaa !19
  %140 = icmp ne i64 %139, 0
  br i1 %140, label %148, label %141

141:                                              ; preds = %131
  %142 = load ptr, ptr %6, align 8, !tbaa !5
  %143 = getelementptr inbounds %struct.FIL, ptr %142, i32 0, i32 2
  %144 = load i8, ptr %143, align 2, !tbaa !16
  %145 = zext i8 %144 to i32
  %146 = or i32 %145, 128
  %147 = trunc i32 %146 to i8
  store i8 %147, ptr %143, align 2, !tbaa !16
  store i32 2, ptr %5, align 4
  store i32 1, ptr %18, align 4
  br label %335

148:                                              ; preds = %131
  %149 = load i8, ptr %16, align 1, !tbaa !22
  %150 = zext i8 %149 to i64
  %151 = load i64, ptr %12, align 8, !tbaa !19
  %152 = add i64 %151, %150
  store i64 %152, ptr %12, align 8, !tbaa !19
  %153 = load i32, ptr %8, align 4, !tbaa !9
  %154 = udiv i32 %153, 512
  store i32 %154, ptr %15, align 4, !tbaa !9
  %155 = load i32, ptr %15, align 4, !tbaa !9
  %156 = icmp ne i32 %155, 0
  br i1 %156, label %157, label %229

157:                                              ; preds = %148
  %158 = load i8, ptr %16, align 1, !tbaa !22
  %159 = zext i8 %158 to i32
  %160 = load i32, ptr %15, align 4, !tbaa !9
  %161 = add i32 %159, %160
  %162 = load ptr, ptr %6, align 8, !tbaa !5
  %163 = getelementptr inbounds %struct.FIL, ptr %162, i32 0, i32 0
  %164 = load ptr, ptr %163, align 8, !tbaa !11
  %165 = getelementptr inbounds %struct.FATFS, ptr %164, i32 0, i32 2
  %166 = load i8, ptr %165, align 2, !tbaa !20
  %167 = zext i8 %166 to i32
  %168 = icmp ugt i32 %161, %167
  br i1 %168, label %169, label %179

169:                                              ; preds = %157
  %170 = load ptr, ptr %6, align 8, !tbaa !5
  %171 = getelementptr inbounds %struct.FIL, ptr %170, i32 0, i32 0
  %172 = load ptr, ptr %171, align 8, !tbaa !11
  %173 = getelementptr inbounds %struct.FATFS, ptr %172, i32 0, i32 2
  %174 = load i8, ptr %173, align 2, !tbaa !20
  %175 = zext i8 %174 to i32
  %176 = load i8, ptr %16, align 1, !tbaa !22
  %177 = zext i8 %176 to i32
  %178 = sub nsw i32 %175, %177
  store i32 %178, ptr %15, align 4, !tbaa !9
  br label %179

179:                                              ; preds = %169, %157
  %180 = load ptr, ptr %6, align 8, !tbaa !5
  %181 = getelementptr inbounds %struct.FIL, ptr %180, i32 0, i32 0
  %182 = load ptr, ptr %181, align 8, !tbaa !11
  %183 = getelementptr inbounds %struct.FATFS, ptr %182, i32 0, i32 1
  %184 = load i8, ptr %183, align 1, !tbaa !25
  %185 = load ptr, ptr %17, align 8, !tbaa !5
  %186 = load i64, ptr %12, align 8, !tbaa !19
  %187 = load i32, ptr %15, align 4, !tbaa !9
  %188 = trunc i32 %187 to i8
  %189 = call i32 @disk_read(i8 noundef zeroext %184, ptr noundef %185, i64 noundef %186, i8 noundef zeroext %188)
  %190 = icmp ne i32 %189, 0
  br i1 %190, label %191, label %198

191:                                              ; preds = %179
  %192 = load ptr, ptr %6, align 8, !tbaa !5
  %193 = getelementptr inbounds %struct.FIL, ptr %192, i32 0, i32 2
  %194 = load i8, ptr %193, align 2, !tbaa !16
  %195 = zext i8 %194 to i32
  %196 = or i32 %195, 128
  %197 = trunc i32 %196 to i8
  store i8 %197, ptr %193, align 2, !tbaa !16
  store i32 1, ptr %5, align 4
  store i32 1, ptr %18, align 4
  br label %335

198:                                              ; preds = %179
  %199 = load ptr, ptr %6, align 8, !tbaa !5
  %200 = getelementptr inbounds %struct.FIL, ptr %199, i32 0, i32 2
  %201 = load i8, ptr %200, align 2, !tbaa !16
  %202 = zext i8 %201 to i32
  %203 = and i32 %202, 64
  %204 = icmp ne i32 %203, 0
  br i1 %204, label %205, label %226

205:                                              ; preds = %198
  %206 = load ptr, ptr %6, align 8, !tbaa !5
  %207 = getelementptr inbounds %struct.FIL, ptr %206, i32 0, i32 8
  %208 = load i64, ptr %207, align 8, !tbaa !26
  %209 = load i64, ptr %12, align 8, !tbaa !19
  %210 = sub i64 %208, %209
  %211 = load i32, ptr %15, align 4, !tbaa !9
  %212 = zext i32 %211 to i64
  %213 = icmp ult i64 %210, %212
  br i1 %213, label %214, label %226

214:                                              ; preds = %205
  %215 = load ptr, ptr %17, align 8, !tbaa !5
  %216 = load ptr, ptr %6, align 8, !tbaa !5
  %217 = getelementptr inbounds %struct.FIL, ptr %216, i32 0, i32 8
  %218 = load i64, ptr %217, align 8, !tbaa !26
  %219 = load i64, ptr %12, align 8, !tbaa !19
  %220 = sub i64 %218, %219
  %221 = mul i64 %220, 512
  %222 = getelementptr inbounds i8, ptr %215, i64 %221
  %223 = load ptr, ptr %6, align 8, !tbaa !5
  %224 = getelementptr inbounds %struct.FIL, ptr %223, i32 0, i32 11
  %225 = getelementptr inbounds [512 x i8], ptr %224, i64 0, i64 0
  call void @mem_cpy(ptr noundef %222, ptr noundef %225, i32 noundef 512)
  br label %226

226:                                              ; preds = %214, %205, %198
  %227 = load i32, ptr %15, align 4, !tbaa !9
  %228 = mul i32 512, %227
  store i32 %228, ptr %14, align 4, !tbaa !9
  br label %316

229:                                              ; preds = %148
  %230 = load ptr, ptr %6, align 8, !tbaa !5
  %231 = getelementptr inbounds %struct.FIL, ptr %230, i32 0, i32 8
  %232 = load i64, ptr %231, align 8, !tbaa !26
  %233 = load i64, ptr %12, align 8, !tbaa !19
  %234 = icmp ne i64 %232, %233
  br i1 %234, label %235, label %290

235:                                              ; preds = %229
  %236 = load ptr, ptr %6, align 8, !tbaa !5
  %237 = getelementptr inbounds %struct.FIL, ptr %236, i32 0, i32 2
  %238 = load i8, ptr %237, align 2, !tbaa !16
  %239 = zext i8 %238 to i32
  %240 = and i32 %239, 64
  %241 = icmp ne i32 %240, 0
  br i1 %241, label %242, label %270

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

256:                                              ; preds = %242
  %257 = load ptr, ptr %6, align 8, !tbaa !5
  %258 = getelementptr inbounds %struct.FIL, ptr %257, i32 0, i32 2
  %259 = load i8, ptr %258, align 2, !tbaa !16
  %260 = zext i8 %259 to i32
  %261 = or i32 %260, 128
  %262 = trunc i32 %261 to i8
  store i8 %262, ptr %258, align 2, !tbaa !16
  store i32 1, ptr %5, align 4
  store i32 1, ptr %18, align 4
  br label %335

263:                                              ; preds = %242
  %264 = load ptr, ptr %6, align 8, !tbaa !5
  %265 = getelementptr inbounds %struct.FIL, ptr %264, i32 0, i32 2
  %266 = load i8, ptr %265, align 2, !tbaa !16
  %267 = zext i8 %266 to i32
  %268 = and i32 %267, -65
  %269 = trunc i32 %268 to i8
  store i8 %269, ptr %265, align 2, !tbaa !16
  br label %270

270:                                              ; preds = %263, %235
  %271 = load ptr, ptr %6, align 8, !tbaa !5
  %272 = getelementptr inbounds %struct.FIL, ptr %271, i32 0, i32 0
  %273 = load ptr, ptr %272, align 8, !tbaa !11
  %274 = getelementptr inbounds %struct.FATFS, ptr %273, i32 0, i32 1
  %275 = load i8, ptr %274, align 1, !tbaa !25
  %276 = load ptr, ptr %6, align 8, !tbaa !5
  %277 = getelementptr inbounds %struct.FIL, ptr %276, i32 0, i32 11
  %278 = getelementptr inbounds [512 x i8], ptr %277, i64 0, i64 0
  %279 = load i64, ptr %12, align 8, !tbaa !19
  %280 = call i32 @disk_read(i8 noundef zeroext %275, ptr noundef %278, i64 noundef %279, i8 noundef zeroext 1)
  %281 = icmp ne i32 %280, 0
  br i1 %281, label %282, label %289

282:                                              ; preds = %270
  %283 = load ptr, ptr %6, align 8, !tbaa !5
  %284 = getelementptr inbounds %struct.FIL, ptr %283, i32 0, i32 2
  %285 = load i8, ptr %284, align 2, !tbaa !16
  %286 = zext i8 %285 to i32
  %287 = or i32 %286, 128
  %288 = trunc i32 %287 to i8
  store i8 %288, ptr %284, align 2, !tbaa !16
  store i32 1, ptr %5, align 4
  store i32 1, ptr %18, align 4
  br label %335

289:                                              ; preds = %270
  br label %290

290:                                              ; preds = %289, %229
  %291 = load i64, ptr %12, align 8, !tbaa !19
  %292 = load ptr, ptr %6, align 8, !tbaa !5
  %293 = getelementptr inbounds %struct.FIL, ptr %292, i32 0, i32 8
  store i64 %291, ptr %293, align 8, !tbaa !26
  br label %294

294:                                              ; preds = %290, %67
  %295 = load ptr, ptr %6, align 8, !tbaa !5
  %296 = getelementptr inbounds %struct.FIL, ptr %295, i32 0, i32 4
  %297 = load i64, ptr %296, align 8, !tbaa !18
  %298 = urem i64 %297, 512
  %299 = sub i64 512, %298
  %300 = trunc i64 %299 to i32
  store i32 %300, ptr %14, align 4, !tbaa !9
  %301 = load i32, ptr %14, align 4, !tbaa !9
  %302 = load i32, ptr %8, align 4, !tbaa !9
  %303 = icmp ugt i32 %301, %302
  br i1 %303, label %304, label %306

304:                                              ; preds = %294
  %305 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %305, ptr %14, align 4, !tbaa !9
  br label %306

306:                                              ; preds = %304, %294
  %307 = load ptr, ptr %17, align 8, !tbaa !5
  %308 = load ptr, ptr %6, align 8, !tbaa !5
  %309 = getelementptr inbounds %struct.FIL, ptr %308, i32 0, i32 11
  %310 = load ptr, ptr %6, align 8, !tbaa !5
  %311 = getelementptr inbounds %struct.FIL, ptr %310, i32 0, i32 4
  %312 = load i64, ptr %311, align 8, !tbaa !18
  %313 = urem i64 %312, 512
  %314 = getelementptr inbounds [512 x i8], ptr %309, i64 0, i64 %313
  %315 = load i32, ptr %14, align 4, !tbaa !9
  call void @mem_cpy(ptr noundef %307, ptr noundef %314, i32 noundef %315)
  br label %316

316:                                              ; preds = %306, %226
  %317 = load i32, ptr %14, align 4, !tbaa !9
  %318 = load ptr, ptr %17, align 8, !tbaa !5
  %319 = zext i32 %317 to i64
  %320 = getelementptr inbounds i8, ptr %318, i64 %319
  store ptr %320, ptr %17, align 8, !tbaa !5
  %321 = load i32, ptr %14, align 4, !tbaa !9
  %322 = zext i32 %321 to i64
  %323 = load ptr, ptr %6, align 8, !tbaa !5
  %324 = getelementptr inbounds %struct.FIL, ptr %323, i32 0, i32 4
  %325 = load i64, ptr %324, align 8, !tbaa !18
  %326 = add i64 %325, %322
  store i64 %326, ptr %324, align 8, !tbaa !18
  %327 = load i32, ptr %14, align 4, !tbaa !9
  %328 = load ptr, ptr %9, align 8, !tbaa !5
  %329 = load i32, ptr %328, align 4, !tbaa !9
  %330 = add i32 %329, %327
  store i32 %330, ptr %328, align 4, !tbaa !9
  %331 = load i32, ptr %14, align 4, !tbaa !9
  %332 = load i32, ptr %8, align 4, !tbaa !9
  %333 = sub i32 %332, %331
  store i32 %333, ptr %8, align 4, !tbaa !9
  br label %64, !llvm.loop !27

334:                                              ; preds = %64
  store i32 0, ptr %5, align 4
  store i32 1, ptr %18, align 4
  br label %335

335:                                              ; preds = %334, %282, %256, %191, %141, %120, %110, %47, %39, %30
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #3
  call void @llvm.lifetime.end.p0(i64 1, ptr %16) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #3
  %336 = load i32, ptr %5, align 4
  ret i32 %336
}

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

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

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

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

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = !{!12, !6, i64 0}
!12 = !{!"", !6, i64 0, !13, i64 8, !7, i64 10, !7, i64 11, !14, i64 16, !14, i64 24, !14, i64 32, !14, i64 40, !14, i64 48, !14, i64 56, !6, i64 64, !7, i64 72}
!13 = !{!"short", !7, i64 0}
!14 = !{!"long", !7, i64 0}
!15 = !{!12, !13, i64 8}
!16 = !{!12, !7, i64 10}
!17 = !{!12, !14, i64 24}
!18 = !{!12, !14, i64 16}
!19 = !{!14, !14, i64 0}
!20 = !{!21, !7, i64 2}
!21 = !{!"", !7, i64 0, !7, i64 1, !7, i64 2, !7, i64 3, !7, i64 4, !7, i64 5, !13, i64 6, !13, i64 8, !14, i64 16, !14, i64 24, !14, i64 32, !14, i64 40, !14, i64 48, !14, i64 56, !14, i64 64, !14, i64 72, !14, i64 80, !7, i64 88}
!22 = !{!7, !7, i64 0}
!23 = !{!12, !14, i64 32}
!24 = !{!12, !14, i64 40}
!25 = !{!21, !7, i64 1}
!26 = !{!12, !14, i64 48}
!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: nounwind uwtable
declare dso_local i64 @clust2sect(ptr noundef, i64 noundef) local_unnamed_addr #0

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

; 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 #0 {
  store i32 0, ptr %3, align 4, !tbaa !5
  %5 = load ptr, ptr %0, align 8, !tbaa !9
  %6 = getelementptr inbounds i8, ptr %0, i64 8
  %7 = load i16, ptr %6, align 8, !tbaa !14
  %8 = tail call i32 @validate(ptr noundef %5, i16 noundef zeroext %7)
  %.not = icmp eq i32 %8, 0
  br i1 %.not, label %9, label %.loopexit

9:                                                ; preds = %4
  %10 = getelementptr inbounds i8, ptr %0, i64 10
  %11 = load i8, ptr %10, align 2, !tbaa !15
  %.not100 = icmp sgt i8 %11, -1
  br i1 %.not100, label %12, label %.loopexit

12:                                               ; preds = %9
  %13 = and i8 %11, 1
  %.not101 = icmp eq i8 %13, 0
  br i1 %.not101, label %.loopexit, label %14

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

.lr.ph:                                           ; preds = %14
  %23 = getelementptr inbounds i8, ptr %0, i64 40
  %24 = getelementptr inbounds i8, ptr %0, i64 32
  %25 = getelementptr inbounds i8, ptr %0, i64 48
  %26 = getelementptr inbounds i8, ptr %0, i64 72
  br label %27

27:                                               ; preds = %.lr.ph, %111
  %28 = phi i64 [ %18, %.lr.ph ], [ %115, %111 ]
  %.0116 = phi ptr [ %1, %.lr.ph ], [ %113, %111 ]
  %.189115 = phi i32 [ %spec.select, %.lr.ph ], [ %118, %111 ]
  %29 = and i64 %28, 511
  %30 = icmp eq i64 %29, 0
  br i1 %30, label %31, label %105

31:                                               ; preds = %27
  %32 = lshr exact i64 %28, 9
  %33 = load ptr, ptr %0, align 8, !tbaa !9
  %34 = getelementptr inbounds i8, ptr %33, i64 2
  %35 = load i8, ptr %34, align 2, !tbaa !18
  %36 = zext i8 %35 to i64
  %37 = add nuw nsw i64 %36, 255
  %38 = and i64 %37, %32
  %39 = and i64 %38, 255
  %.not103 = icmp eq i64 %39, 0
  br i1 %.not103, label %40, label %._crit_edge

._crit_edge:                                      ; preds = %31
  %.pre117 = load i64, ptr %23, align 8, !tbaa !20
  br label %52

40:                                               ; preds = %31
  %41 = icmp eq i64 %28, 0
  br i1 %41, label %42, label %44

42:                                               ; preds = %40
  %43 = load i64, ptr %24, align 8, !tbaa !21
  br label %47

44:                                               ; preds = %40
  %45 = load i64, ptr %23, align 8, !tbaa !20
  %46 = tail call i64 @get_fat(ptr noundef nonnull %33, i64 noundef %45)
  br label %47

47:                                               ; preds = %44, %42
  %.090 = phi i64 [ %43, %42 ], [ %46, %44 ]
  %48 = icmp ult i64 %.090, 2
  br i1 %48, label %.loopexit.sink.split.sink.split, label %49

49:                                               ; preds = %47
  %50 = icmp eq i64 %.090, 4294967295
  br i1 %50, label %.loopexit.sink.split.sink.split, label %51

51:                                               ; preds = %49
  store i64 %.090, ptr %23, align 8, !tbaa !20
  %.pre = load ptr, ptr %0, align 8, !tbaa !9
  br label %52

52:                                               ; preds = %._crit_edge, %51
  %53 = phi i64 [ %.090, %51 ], [ %.pre117, %._crit_edge ]
  %54 = phi ptr [ %.pre, %51 ], [ %33, %._crit_edge ]
  %55 = tail call i64 @clust2sect(ptr noundef %54, i64 noundef %53)
  %.not104 = icmp eq i64 %55, 0
  br i1 %.not104, label %.loopexit.sink.split.sink.split, label %56

56:                                               ; preds = %52
  %57 = add i64 %55, %39
  %.not105 = icmp ult i32 %.189115, 512
  br i1 %.not105, label %86, label %58

58:                                               ; preds = %56
  %59 = lshr i32 %.189115, 9
  %60 = trunc nuw nsw i64 %38 to i32
  %61 = and i32 %60, 255
  %62 = add nuw nsw i32 %61, %59
  %63 = load ptr, ptr %0, align 8, !tbaa !9
  %64 = getelementptr inbounds i8, ptr %63, i64 2
  %65 = load i8, ptr %64, align 2, !tbaa !18
  %66 = zext i8 %65 to i32
  %67 = icmp ugt i32 %62, %66
  %68 = sub nsw i32 %66, %61
  %spec.select112 = select i1 %67, i32 %68, i32 %59
  %69 = getelementptr inbounds i8, ptr %63, i64 1
  %70 = load i8, ptr %69, align 1, !tbaa !22
  %71 = trunc i32 %spec.select112 to i8
  %72 = tail call i32 @disk_read(i8 noundef zeroext %70, ptr noundef %.0116, i64 noundef %57, i8 noundef zeroext %71) #3
  %.not110 = icmp eq i32 %72, 0
  %73 = load i8, ptr %10, align 2, !tbaa !15
  br i1 %.not110, label %74, label %.loopexit.sink.split

74:                                               ; preds = %58
  %75 = and i8 %73, 64
  %.not111 = icmp eq i8 %75, 0
  br i1 %.not111, label %84, label %76

76:                                               ; preds = %74
  %77 = load i64, ptr %25, align 8, !tbaa !23
  %78 = sub i64 %77, %57
  %79 = zext i32 %spec.select112 to i64
  %80 = icmp ult i64 %78, %79
  br i1 %80, label %81, label %84

81:                                               ; preds = %76
  %82 = shl nuw nsw i64 %78, 9
  %83 = getelementptr inbounds i8, ptr %.0116, i64 %82
  tail call void @mem_cpy(ptr noundef %83, ptr noundef nonnull %26, i32 noundef 512)
  br label %84

84:                                               ; preds = %81, %76, %74
  %85 = shl i32 %spec.select112, 9
  br label %111

86:                                               ; preds = %56
  %87 = load i64, ptr %25, align 8, !tbaa !23
  %.not106 = icmp eq i64 %87, %57
  br i1 %.not106, label %104, label %88

88:                                               ; preds = %86
  %89 = load i8, ptr %10, align 2, !tbaa !15
  %90 = and i8 %89, 64
  %.not107 = icmp eq i8 %90, 0
  br i1 %.not107, label %99, label %91

91:                                               ; preds = %88
  %92 = load ptr, ptr %0, align 8, !tbaa !9
  %93 = getelementptr inbounds i8, ptr %92, i64 1
  %94 = load i8, ptr %93, align 1, !tbaa !22
  %95 = tail call i32 @disk_write(i8 noundef zeroext %94, ptr noundef nonnull %26, i64 noundef %87, i8 noundef zeroext 1) #3
  %.not108 = icmp eq i32 %95, 0
  %96 = load i8, ptr %10, align 2, !tbaa !15
  br i1 %.not108, label %97, label %.loopexit.sink.split

97:                                               ; preds = %91
  %98 = and i8 %96, -65
  store i8 %98, ptr %10, align 2, !tbaa !15
  br label %99

99:                                               ; preds = %97, %88
  %100 = load ptr, ptr %0, align 8, !tbaa !9
  %101 = getelementptr inbounds i8, ptr %100, i64 1
  %102 = load i8, ptr %101, align 1, !tbaa !22
  %103 = tail call i32 @disk_read(i8 noundef zeroext %102, ptr noundef nonnull %26, i64 noundef %57, i8 noundef zeroext 1) #3
  %.not109 = icmp eq i32 %103, 0
  br i1 %.not109, label %104, label %.loopexit.sink.split.sink.split

104:                                              ; preds = %99, %86
  store i64 %57, ptr %25, align 8, !tbaa !23
  %.pre118 = load i64, ptr %17, align 8, !tbaa !17
  %.pre119 = and i64 %.pre118, 511
  br label %105

105:                                              ; preds = %104, %27
  %.pre-phi = phi i64 [ %.pre119, %104 ], [ %29, %27 ]
  %106 = phi i64 [ %.pre118, %104 ], [ %28, %27 ]
  %107 = trunc i64 %106 to i32
  %108 = and i32 %107, 511
  %109 = sub nuw nsw i32 512, %108
  %spec.select113 = tail call i32 @llvm.umin.i32(i32 %109, i32 %.189115)
  %110 = getelementptr inbounds [512 x i8], ptr %26, i64 0, i64 %.pre-phi
  tail call void @mem_cpy(ptr noundef %.0116, ptr noundef nonnull %110, i32 noundef %spec.select113)
  br label %111

111:                                              ; preds = %105, %84
  %.1 = phi i32 [ %85, %84 ], [ %spec.select113, %105 ]
  %112 = zext i32 %.1 to i64
  %113 = getelementptr inbounds i8, ptr %.0116, i64 %112
  %114 = load i64, ptr %17, align 8, !tbaa !17
  %115 = add i64 %114, %112
  store i64 %115, ptr %17, align 8, !tbaa !17
  %116 = load i32, ptr %3, align 4, !tbaa !5
  %117 = add i32 %116, %.1
  store i32 %117, ptr %3, align 4, !tbaa !5
  %118 = sub i32 %.189115, %.1
  %.not102 = icmp eq i32 %118, 0
  br i1 %.not102, label %.loopexit, label %27, !llvm.loop !24

.loopexit.sink.split.sink.split:                  ; preds = %99, %52, %49, %47
  %.085.ph.ph = phi i32 [ 2, %47 ], [ 1, %49 ], [ 2, %52 ], [ 1, %99 ]
  %119 = load i8, ptr %10, align 2, !tbaa !15
  br label %.loopexit.sink.split

.loopexit.sink.split:                             ; preds = %91, %58, %.loopexit.sink.split.sink.split
  %.sink120 = phi i8 [ %119, %.loopexit.sink.split.sink.split ], [ %73, %58 ], [ %96, %91 ]
  %.085.ph = phi i32 [ %.085.ph.ph, %.loopexit.sink.split.sink.split ], [ 1, %58 ], [ 1, %91 ]
  %120 = or i8 %.sink120, -128
  store i8 %120, ptr %10, align 2, !tbaa !15
  br label %.loopexit

.loopexit:                                        ; preds = %111, %.loopexit.sink.split, %14, %12, %9, %4
  %.085 = phi i32 [ %8, %4 ], [ 2, %9 ], [ 7, %12 ], [ 0, %14 ], [ %.085.ph, %.loopexit.sink.split ], [ 0, %111 ]
  ret i32 %.085
}

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

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

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

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

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

attributes #0 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { "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 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
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 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !11, i64 0}
!10 = !{!"", !11, i64 0, !12, i64 8, !7, i64 10, !7, i64 11, !13, i64 16, !13, i64 24, !13, i64 32, !13, i64 40, !13, i64 48, !13, i64 56, !11, i64 64, !7, i64 72}
!11 = !{!"any pointer", !7, i64 0}
!12 = !{!"short", !7, i64 0}
!13 = !{!"long", !7, i64 0}
!14 = !{!10, !12, i64 8}
!15 = !{!10, !7, i64 10}
!16 = !{!10, !13, i64 24}
!17 = !{!10, !13, i64 16}
!18 = !{!19, !7, i64 2}
!19 = !{!"", !7, i64 0, !7, i64 1, !7, i64 2, !7, i64 3, !7, i64 4, !7, i64 5, !12, i64 6, !12, i64 8, !13, i64 16, !13, i64 24, !13, i64 32, !13, i64 40, !13, i64 48, !13, i64 56, !13, i64 64, !13, i64 72, !13, i64 80, !7, i64 88}
!20 = !{!10, !13, i64 40}
!21 = !{!10, !13, i64 32}
!22 = !{!19, !7, i64 1}
!23 = !{!10, !13, i64 48}
!24 = distinct !{!24, !25}
!25 = !{!"llvm.loop.mustprogress"}


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