; LLVM IR from ctlst-tech/catpilot :: bsp/mcu/core/stm32/h753/hal/src (stm32h7xx_hal_spi)

; 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.__SPI_HandleTypeDef = type { ptr, %struct.SPI_InitTypeDef, ptr, i16, i16, ptr, i16, i16, i32, ptr, ptr, ptr, ptr, i32, i32, i32 }
%struct.SPI_InitTypeDef = type { i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32 }
%struct.SPI_TypeDef = type { i32, i32, i32, i32, i32, i32, i32, i32, i32, [3 x i32], i32, [3 x i32], i32, i32, i32, i32, i32 }

; 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

declare i32 @HAL_GetTick() #1

; Function Attrs: nounwind uwtable
declare hidden void @SPI_CloseTransfer(ptr noundef) #2

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

; Function Attrs: nounwind uwtable
define dso_local i32 @HAL_SPI_Receive(ptr noundef %0, ptr noundef %1, i16 noundef zeroext %2, i32 noundef %3) #2 {
  %5 = alloca i32, align 4
  %6 = alloca ptr, align 8
  %7 = alloca ptr, align 8
  %8 = alloca i16, align 2
  %9 = alloca i32, align 4
  %10 = alloca i32, align 4
  %11 = alloca i32, align 4
  %12 = alloca ptr, align 8
  %13 = alloca i32, align 4
  store ptr %0, ptr %6, align 8, !tbaa !5
  store ptr %1, ptr %7, align 8, !tbaa !5
  store i16 %2, ptr %8, align 2, !tbaa !9
  store i32 %3, ptr %9, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #3
  store i32 0, ptr %11, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #3
  %14 = load ptr, ptr %6, align 8, !tbaa !5
  %15 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %14, i32 0, i32 0
  %16 = load ptr, ptr %15, align 8, !tbaa !13
  %17 = getelementptr inbounds %struct.SPI_TypeDef, ptr %16, i32 0, i32 10
  store ptr %17, ptr %12, align 8, !tbaa !5
  %18 = load ptr, ptr %6, align 8, !tbaa !5
  %19 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %18, i32 0, i32 1
  %20 = getelementptr inbounds %struct.SPI_InitTypeDef, ptr %19, i32 0, i32 0
  %21 = load i32, ptr %20, align 8, !tbaa !16
  %22 = zext i32 %21 to i64
  %23 = icmp eq i64 %22, 4194304
  br i1 %23, label %24, label %40

24:                                               ; preds = %4
  %25 = load ptr, ptr %6, align 8, !tbaa !5
  %26 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %25, i32 0, i32 1
  %27 = getelementptr inbounds %struct.SPI_InitTypeDef, ptr %26, i32 0, i32 1
  %28 = load i32, ptr %27, align 4, !tbaa !17
  %29 = zext i32 %28 to i64
  %30 = icmp eq i64 %29, 0
  br i1 %30, label %31, label %40

31:                                               ; preds = %24
  %32 = load ptr, ptr %6, align 8, !tbaa !5
  %33 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %32, i32 0, i32 14
  store volatile i32 4, ptr %33, align 4, !tbaa !18
  %34 = load ptr, ptr %6, align 8, !tbaa !5
  %35 = load ptr, ptr %7, align 8, !tbaa !5
  %36 = load ptr, ptr %7, align 8, !tbaa !5
  %37 = load i16, ptr %8, align 2, !tbaa !9
  %38 = load i32, ptr %9, align 4, !tbaa !11
  %39 = call i32 @HAL_SPI_TransmitReceive(ptr noundef %34, ptr noundef %35, ptr noundef %36, i16 noundef zeroext %37, i32 noundef %38)
  store i32 %39, ptr %5, align 4
  store i32 1, ptr %13, align 4
  br label %480

40:                                               ; preds = %24, %4
  br label %41

41:                                               ; preds = %40
  %42 = load ptr, ptr %6, align 8, !tbaa !5
  %43 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %42, i32 0, i32 13
  %44 = load i32, ptr %43, align 8, !tbaa !19
  %45 = icmp eq i32 %44, 1
  br i1 %45, label %46, label %47

46:                                               ; preds = %41
  store i32 2, ptr %5, align 4
  store i32 1, ptr %13, align 4
  br label %480

47:                                               ; preds = %41
  %48 = load ptr, ptr %6, align 8, !tbaa !5
  %49 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %48, i32 0, i32 13
  store i32 1, ptr %49, align 8, !tbaa !19
  br label %50

50:                                               ; preds = %47
  br label %51

51:                                               ; preds = %50
  br label %52

52:                                               ; preds = %51
  %53 = call i32 @HAL_GetTick()
  store i32 %53, ptr %10, align 4, !tbaa !11
  %54 = load ptr, ptr %6, align 8, !tbaa !5
  %55 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %54, i32 0, i32 14
  %56 = load volatile i32, ptr %55, align 4, !tbaa !18
  %57 = icmp ne i32 %56, 1
  br i1 %57, label %58, label %65

58:                                               ; preds = %52
  store i32 2, ptr %11, align 4, !tbaa !11
  br label %59

59:                                               ; preds = %58
  %60 = load ptr, ptr %6, align 8, !tbaa !5
  %61 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %60, i32 0, i32 13
  store i32 0, ptr %61, align 8, !tbaa !19
  br label %62

62:                                               ; preds = %59
  br label %63

63:                                               ; preds = %62
  %64 = load i32, ptr %11, align 4, !tbaa !11
  store i32 %64, ptr %5, align 4
  store i32 1, ptr %13, align 4
  br label %480

65:                                               ; preds = %52
  %66 = load ptr, ptr %7, align 8, !tbaa !5
  %67 = icmp eq ptr %66, null
  br i1 %67, label %72, label %68

68:                                               ; preds = %65
  %69 = load i16, ptr %8, align 2, !tbaa !9
  %70 = zext i16 %69 to i64
  %71 = icmp eq i64 %70, 0
  br i1 %71, label %72, label %79

72:                                               ; preds = %68, %65
  store i32 1, ptr %11, align 4, !tbaa !11
  br label %73

73:                                               ; preds = %72
  %74 = load ptr, ptr %6, align 8, !tbaa !5
  %75 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %74, i32 0, i32 13
  store i32 0, ptr %75, align 8, !tbaa !19
  br label %76

76:                                               ; preds = %73
  br label %77

77:                                               ; preds = %76
  %78 = load i32, ptr %11, align 4, !tbaa !11
  store i32 %78, ptr %5, align 4
  store i32 1, ptr %13, align 4
  br label %480

79:                                               ; preds = %68
  %80 = load ptr, ptr %6, align 8, !tbaa !5
  %81 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %80, i32 0, i32 14
  store volatile i32 4, ptr %81, align 4, !tbaa !18
  %82 = load ptr, ptr %6, align 8, !tbaa !5
  %83 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %82, i32 0, i32 15
  store volatile i32 0, ptr %83, align 8, !tbaa !20
  %84 = load ptr, ptr %7, align 8, !tbaa !5
  %85 = load ptr, ptr %6, align 8, !tbaa !5
  %86 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %85, i32 0, i32 5
  store ptr %84, ptr %86, align 8, !tbaa !21
  %87 = load i16, ptr %8, align 2, !tbaa !9
  %88 = load ptr, ptr %6, align 8, !tbaa !5
  %89 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %88, i32 0, i32 6
  store i16 %87, ptr %89, align 8, !tbaa !22
  %90 = load i16, ptr %8, align 2, !tbaa !9
  %91 = load ptr, ptr %6, align 8, !tbaa !5
  %92 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %91, i32 0, i32 7
  store volatile i16 %90, ptr %92, align 2, !tbaa !23
  %93 = load ptr, ptr %6, align 8, !tbaa !5
  %94 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %93, i32 0, i32 2
  store ptr null, ptr %94, align 8, !tbaa !24
  %95 = load ptr, ptr %6, align 8, !tbaa !5
  %96 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %95, i32 0, i32 3
  store i16 0, ptr %96, align 8, !tbaa !25
  %97 = load ptr, ptr %6, align 8, !tbaa !5
  %98 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %97, i32 0, i32 4
  store volatile i16 0, ptr %98, align 2, !tbaa !26
  %99 = load ptr, ptr %6, align 8, !tbaa !5
  %100 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %99, i32 0, i32 9
  store ptr null, ptr %100, align 8, !tbaa !27
  %101 = load ptr, ptr %6, align 8, !tbaa !5
  %102 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %101, i32 0, i32 10
  store ptr null, ptr %102, align 8, !tbaa !28
  %103 = load ptr, ptr %6, align 8, !tbaa !5
  %104 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %103, i32 0, i32 1
  %105 = getelementptr inbounds %struct.SPI_InitTypeDef, ptr %104, i32 0, i32 1
  %106 = load i32, ptr %105, align 4, !tbaa !17
  %107 = zext i32 %106 to i64
  %108 = icmp eq i64 %107, 393216
  br i1 %108, label %109, label %118

109:                                              ; preds = %79
  %110 = load ptr, ptr %6, align 8, !tbaa !5
  %111 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %110, i32 0, i32 0
  %112 = load ptr, ptr %111, align 8, !tbaa !13
  %113 = getelementptr inbounds %struct.SPI_TypeDef, ptr %112, i32 0, i32 0
  %114 = load volatile i32, ptr %113, align 4, !tbaa !29
  %115 = zext i32 %114 to i64
  %116 = and i64 %115, -2049
  %117 = trunc i64 %116 to i32
  store volatile i32 %117, ptr %113, align 4, !tbaa !29
  br label %118

118:                                              ; preds = %109, %79
  %119 = load ptr, ptr %6, align 8, !tbaa !5
  %120 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %119, i32 0, i32 0
  %121 = load ptr, ptr %120, align 8, !tbaa !13
  %122 = getelementptr inbounds %struct.SPI_TypeDef, ptr %121, i32 0, i32 1
  %123 = load volatile i32, ptr %122, align 4, !tbaa !31
  %124 = zext i32 %123 to i64
  %125 = and i64 %124, -65536
  %126 = load i16, ptr %8, align 2, !tbaa !9
  %127 = zext i16 %126 to i64
  %128 = or i64 %125, %127
  %129 = trunc i64 %128 to i32
  %130 = load ptr, ptr %6, align 8, !tbaa !5
  %131 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %130, i32 0, i32 0
  %132 = load ptr, ptr %131, align 8, !tbaa !13
  %133 = getelementptr inbounds %struct.SPI_TypeDef, ptr %132, i32 0, i32 1
  store volatile i32 %129, ptr %133, align 4, !tbaa !31
  %134 = load ptr, ptr %6, align 8, !tbaa !5
  %135 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %134, i32 0, i32 0
  %136 = load ptr, ptr %135, align 8, !tbaa !13
  %137 = getelementptr inbounds %struct.SPI_TypeDef, ptr %136, i32 0, i32 0
  %138 = load volatile i32, ptr %137, align 4, !tbaa !29
  %139 = zext i32 %138 to i64
  %140 = or i64 %139, 1
  %141 = trunc i64 %140 to i32
  store volatile i32 %141, ptr %137, align 4, !tbaa !29
  %142 = load ptr, ptr %6, align 8, !tbaa !5
  %143 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %142, i32 0, i32 1
  %144 = getelementptr inbounds %struct.SPI_InitTypeDef, ptr %143, i32 0, i32 0
  %145 = load i32, ptr %144, align 8, !tbaa !16
  %146 = zext i32 %145 to i64
  %147 = icmp eq i64 %146, 4194304
  br i1 %147, label %148, label %157

148:                                              ; preds = %118
  %149 = load ptr, ptr %6, align 8, !tbaa !5
  %150 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %149, i32 0, i32 0
  %151 = load ptr, ptr %150, align 8, !tbaa !13
  %152 = getelementptr inbounds %struct.SPI_TypeDef, ptr %151, i32 0, i32 0
  %153 = load volatile i32, ptr %152, align 4, !tbaa !29
  %154 = zext i32 %153 to i64
  %155 = or i64 %154, 512
  %156 = trunc i64 %155 to i32
  store volatile i32 %156, ptr %152, align 4, !tbaa !29
  br label %157

157:                                              ; preds = %148, %118
  %158 = load ptr, ptr %6, align 8, !tbaa !5
  %159 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %158, i32 0, i32 1
  %160 = getelementptr inbounds %struct.SPI_InitTypeDef, ptr %159, i32 0, i32 2
  %161 = load i32, ptr %160, align 8, !tbaa !32
  %162 = zext i32 %161 to i64
  %163 = icmp ugt i64 %162, 15
  br i1 %163, label %164, label %227

164:                                              ; preds = %157
  br label %165

165:                                              ; preds = %225, %164
  %166 = load ptr, ptr %6, align 8, !tbaa !5
  %167 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %166, i32 0, i32 7
  %168 = load volatile i16, ptr %167, align 2, !tbaa !23
  %169 = zext i16 %168 to i64
  %170 = icmp ugt i64 %169, 0
  br i1 %170, label %171, label %226

171:                                              ; preds = %165
  %172 = load ptr, ptr %6, align 8, !tbaa !5
  %173 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %172, i32 0, i32 0
  %174 = load ptr, ptr %173, align 8, !tbaa !13
  %175 = getelementptr inbounds %struct.SPI_TypeDef, ptr %174, i32 0, i32 5
  %176 = load volatile i32, ptr %175, align 4, !tbaa !33
  %177 = zext i32 %176 to i64
  %178 = and i64 %177, 32776
  %179 = icmp ne i64 %178, 0
  br i1 %179, label %180, label %197

180:                                              ; preds = %171
  %181 = load ptr, ptr %6, align 8, !tbaa !5
  %182 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %181, i32 0, i32 0
  %183 = load ptr, ptr %182, align 8, !tbaa !13
  %184 = getelementptr inbounds %struct.SPI_TypeDef, ptr %183, i32 0, i32 10
  %185 = load volatile i32, ptr %184, align 4, !tbaa !11
  %186 = load ptr, ptr %6, align 8, !tbaa !5
  %187 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %186, i32 0, i32 5
  %188 = load ptr, ptr %187, align 8, !tbaa !21
  store i32 %185, ptr %188, align 4, !tbaa !11
  %189 = load ptr, ptr %6, align 8, !tbaa !5
  %190 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %189, i32 0, i32 5
  %191 = load ptr, ptr %190, align 8, !tbaa !21
  %192 = getelementptr inbounds i8, ptr %191, i64 4
  store ptr %192, ptr %190, align 8, !tbaa !21
  %193 = load ptr, ptr %6, align 8, !tbaa !5
  %194 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %193, i32 0, i32 7
  %195 = load volatile i16, ptr %194, align 2, !tbaa !23
  %196 = add i16 %195, -1
  store volatile i16 %196, ptr %194, align 2, !tbaa !23
  br label %225

197:                                              ; preds = %171
  %198 = call i32 @HAL_GetTick()
  %199 = load i32, ptr %10, align 4, !tbaa !11
  %200 = sub i32 %198, %199
  %201 = load i32, ptr %9, align 4, !tbaa !11
  %202 = icmp uge i32 %200, %201
  br i1 %202, label %203, label %206

203:                                              ; preds = %197
  %204 = load i32, ptr %9, align 4, !tbaa !11
  %205 = icmp ne i32 %204, -1
  br i1 %205, label %209, label %206

206:                                              ; preds = %203, %197
  %207 = load i32, ptr %9, align 4, !tbaa !11
  %208 = icmp eq i32 %207, 0
  br i1 %208, label %209, label %224

209:                                              ; preds = %206, %203
  %210 = load ptr, ptr %6, align 8, !tbaa !5
  call void @SPI_CloseTransfer(ptr noundef %210)
  br label %211

211:                                              ; preds = %209
  %212 = load ptr, ptr %6, align 8, !tbaa !5
  %213 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %212, i32 0, i32 13
  store i32 0, ptr %213, align 8, !tbaa !19
  br label %214

214:                                              ; preds = %211
  br label %215

215:                                              ; preds = %214
  %216 = load ptr, ptr %6, align 8, !tbaa !5
  %217 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %216, i32 0, i32 15
  %218 = load volatile i32, ptr %217, align 8, !tbaa !20
  %219 = zext i32 %218 to i64
  %220 = or i64 %219, 256
  %221 = trunc i64 %220 to i32
  store volatile i32 %221, ptr %217, align 8, !tbaa !20
  %222 = load ptr, ptr %6, align 8, !tbaa !5
  %223 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %222, i32 0, i32 14
  store volatile i32 1, ptr %223, align 4, !tbaa !18
  store i32 3, ptr %5, align 4
  store i32 1, ptr %13, align 4
  br label %480

224:                                              ; preds = %206
  br label %225

225:                                              ; preds = %224, %180
  br label %165, !llvm.loop !34

226:                                              ; preds = %165
  br label %442

227:                                              ; preds = %157
  %228 = load ptr, ptr %6, align 8, !tbaa !5
  %229 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %228, i32 0, i32 1
  %230 = getelementptr inbounds %struct.SPI_InitTypeDef, ptr %229, i32 0, i32 2
  %231 = load i32, ptr %230, align 8, !tbaa !32
  %232 = zext i32 %231 to i64
  %233 = icmp ugt i64 %232, 7
  br i1 %233, label %234, label %323

234:                                              ; preds = %227
  br label %235

235:                                              ; preds = %321, %234
  %236 = load ptr, ptr %6, align 8, !tbaa !5
  %237 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %236, i32 0, i32 7
  %238 = load volatile i16, ptr %237, align 2, !tbaa !23
  %239 = zext i16 %238 to i64
  %240 = icmp ugt i64 %239, 0
  br i1 %240, label %241, label %322

241:                                              ; preds = %235
  %242 = load ptr, ptr %6, align 8, !tbaa !5
  %243 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %242, i32 0, i32 0
  %244 = load ptr, ptr %243, align 8, !tbaa !13
  %245 = getelementptr inbounds %struct.SPI_TypeDef, ptr %244, i32 0, i32 5
  %246 = load volatile i32, ptr %245, align 4, !tbaa !33
  %247 = zext i32 %246 to i64
  %248 = and i64 %247, 57344
  %249 = icmp ne i64 %248, 0
  br i1 %249, label %250, label %293

250:                                              ; preds = %241
  %251 = load ptr, ptr %6, align 8, !tbaa !5
  %252 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %251, i32 0, i32 0
  %253 = load ptr, ptr %252, align 8, !tbaa !13
  %254 = getelementptr inbounds %struct.SPI_TypeDef, ptr %253, i32 0, i32 5
  %255 = load volatile i32, ptr %254, align 4, !tbaa !33
  %256 = zext i32 %255 to i64
  %257 = and i64 %256, 32768
  %258 = icmp ne i64 %257, 0
  br i1 %258, label %259, label %278

259:                                              ; preds = %250
  %260 = load ptr, ptr %6, align 8, !tbaa !5
  %261 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %260, i32 0, i32 0
  %262 = load ptr, ptr %261, align 8, !tbaa !13
  %263 = getelementptr inbounds %struct.SPI_TypeDef, ptr %262, i32 0, i32 10
  %264 = load volatile i32, ptr %263, align 4, !tbaa !11
  %265 = load ptr, ptr %6, align 8, !tbaa !5
  %266 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %265, i32 0, i32 5
  %267 = load ptr, ptr %266, align 8, !tbaa !21
  store i32 %264, ptr %267, align 4, !tbaa !11
  %268 = load ptr, ptr %6, align 8, !tbaa !5
  %269 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %268, i32 0, i32 5
  %270 = load ptr, ptr %269, align 8, !tbaa !21
  %271 = getelementptr inbounds i8, ptr %270, i64 4
  store ptr %271, ptr %269, align 8, !tbaa !21
  %272 = load ptr, ptr %6, align 8, !tbaa !5
  %273 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %272, i32 0, i32 7
  %274 = load volatile i16, ptr %273, align 2, !tbaa !23
  %275 = zext i16 %274 to i32
  %276 = sub nsw i32 %275, 2
  %277 = trunc i32 %276 to i16
  store volatile i16 %277, ptr %273, align 2, !tbaa !23
  br label %292

278:                                              ; preds = %250
  %279 = load ptr, ptr %12, align 8, !tbaa !5
  %280 = load volatile i16, ptr %279, align 2, !tbaa !9
  %281 = load ptr, ptr %6, align 8, !tbaa !5
  %282 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %281, i32 0, i32 5
  %283 = load ptr, ptr %282, align 8, !tbaa !21
  store i16 %280, ptr %283, align 2, !tbaa !9
  %284 = load ptr, ptr %6, align 8, !tbaa !5
  %285 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %284, i32 0, i32 5
  %286 = load ptr, ptr %285, align 8, !tbaa !21
  %287 = getelementptr inbounds i8, ptr %286, i64 2
  store ptr %287, ptr %285, align 8, !tbaa !21
  %288 = load ptr, ptr %6, align 8, !tbaa !5
  %289 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %288, i32 0, i32 7
  %290 = load volatile i16, ptr %289, align 2, !tbaa !23
  %291 = add i16 %290, -1
  store volatile i16 %291, ptr %289, align 2, !tbaa !23
  br label %292

292:                                              ; preds = %278, %259
  br label %321

293:                                              ; preds = %241
  %294 = call i32 @HAL_GetTick()
  %295 = load i32, ptr %10, align 4, !tbaa !11
  %296 = sub i32 %294, %295
  %297 = load i32, ptr %9, align 4, !tbaa !11
  %298 = icmp uge i32 %296, %297
  br i1 %298, label %299, label %302

299:                                              ; preds = %293
  %300 = load i32, ptr %9, align 4, !tbaa !11
  %301 = icmp ne i32 %300, -1
  br i1 %301, label %305, label %302

302:                                              ; preds = %299, %293
  %303 = load i32, ptr %9, align 4, !tbaa !11
  %304 = icmp eq i32 %303, 0
  br i1 %304, label %305, label %320

305:                                              ; preds = %302, %299
  %306 = load ptr, ptr %6, align 8, !tbaa !5
  call void @SPI_CloseTransfer(ptr noundef %306)
  br label %307

307:                                              ; preds = %305
  %308 = load ptr, ptr %6, align 8, !tbaa !5
  %309 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %308, i32 0, i32 13
  store i32 0, ptr %309, align 8, !tbaa !19
  br label %310

310:                                              ; preds = %307
  br label %311

311:                                              ; preds = %310
  %312 = load ptr, ptr %6, align 8, !tbaa !5
  %313 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %312, i32 0, i32 15
  %314 = load volatile i32, ptr %313, align 8, !tbaa !20
  %315 = zext i32 %314 to i64
  %316 = or i64 %315, 256
  %317 = trunc i64 %316 to i32
  store volatile i32 %317, ptr %313, align 8, !tbaa !20
  %318 = load ptr, ptr %6, align 8, !tbaa !5
  %319 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %318, i32 0, i32 14
  store volatile i32 1, ptr %319, align 4, !tbaa !18
  store i32 3, ptr %5, align 4
  store i32 1, ptr %13, align 4
  br label %480

320:                                              ; preds = %302
  br label %321

321:                                              ; preds = %320, %292
  br label %235, !llvm.loop !36

322:                                              ; preds = %235
  br label %441

323:                                              ; preds = %227
  br label %324

324:                                              ; preds = %439, %323
  %325 = load ptr, ptr %6, align 8, !tbaa !5
  %326 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %325, i32 0, i32 7
  %327 = load volatile i16, ptr %326, align 2, !tbaa !23
  %328 = zext i16 %327 to i64
  %329 = icmp ugt i64 %328, 0
  br i1 %329, label %330, label %440

330:                                              ; preds = %324
  %331 = load ptr, ptr %6, align 8, !tbaa !5
  %332 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %331, i32 0, i32 0
  %333 = load ptr, ptr %332, align 8, !tbaa !13
  %334 = getelementptr inbounds %struct.SPI_TypeDef, ptr %333, i32 0, i32 5
  %335 = load volatile i32, ptr %334, align 4, !tbaa !33
  %336 = zext i32 %335 to i64
  %337 = and i64 %336, 57344
  %338 = icmp ne i64 %337, 0
  br i1 %338, label %339, label %411

339:                                              ; preds = %330
  %340 = load ptr, ptr %6, align 8, !tbaa !5
  %341 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %340, i32 0, i32 0
  %342 = load ptr, ptr %341, align 8, !tbaa !13
  %343 = getelementptr inbounds %struct.SPI_TypeDef, ptr %342, i32 0, i32 5
  %344 = load volatile i32, ptr %343, align 4, !tbaa !33
  %345 = zext i32 %344 to i64
  %346 = and i64 %345, 32768
  %347 = icmp ne i64 %346, 0
  br i1 %347, label %348, label %367

348:                                              ; preds = %339
  %349 = load ptr, ptr %6, align 8, !tbaa !5
  %350 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %349, i32 0, i32 0
  %351 = load ptr, ptr %350, align 8, !tbaa !13
  %352 = getelementptr inbounds %struct.SPI_TypeDef, ptr %351, i32 0, i32 10
  %353 = load volatile i32, ptr %352, align 4, !tbaa !11
  %354 = load ptr, ptr %6, align 8, !tbaa !5
  %355 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %354, i32 0, i32 5
  %356 = load ptr, ptr %355, align 8, !tbaa !21
  store i32 %353, ptr %356, align 4, !tbaa !11
  %357 = load ptr, ptr %6, align 8, !tbaa !5
  %358 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %357, i32 0, i32 5
  %359 = load ptr, ptr %358, align 8, !tbaa !21
  %360 = getelementptr inbounds i8, ptr %359, i64 4
  store ptr %360, ptr %358, align 8, !tbaa !21
  %361 = load ptr, ptr %6, align 8, !tbaa !5
  %362 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %361, i32 0, i32 7
  %363 = load volatile i16, ptr %362, align 2, !tbaa !23
  %364 = zext i16 %363 to i32
  %365 = sub nsw i32 %364, 4
  %366 = trunc i32 %365 to i16
  store volatile i16 %366, ptr %362, align 2, !tbaa !23
  br label %410

367:                                              ; preds = %339
  %368 = load ptr, ptr %6, align 8, !tbaa !5
  %369 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %368, i32 0, i32 0
  %370 = load ptr, ptr %369, align 8, !tbaa !13
  %371 = getelementptr inbounds %struct.SPI_TypeDef, ptr %370, i32 0, i32 5
  %372 = load volatile i32, ptr %371, align 4, !tbaa !33
  %373 = zext i32 %372 to i64
  %374 = and i64 %373, 24576
  %375 = icmp ugt i64 %374, 8192
  br i1 %375, label %376, label %392

376:                                              ; preds = %367
  %377 = load ptr, ptr %12, align 8, !tbaa !5
  %378 = load volatile i16, ptr %377, align 2, !tbaa !9
  %379 = load ptr, ptr %6, align 8, !tbaa !5
  %380 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %379, i32 0, i32 5
  %381 = load ptr, ptr %380, align 8, !tbaa !21
  store i16 %378, ptr %381, align 2, !tbaa !9
  %382 = load ptr, ptr %6, align 8, !tbaa !5
  %383 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %382, i32 0, i32 5
  %384 = load ptr, ptr %383, align 8, !tbaa !21
  %385 = getelementptr inbounds i8, ptr %384, i64 2
  store ptr %385, ptr %383, align 8, !tbaa !21
  %386 = load ptr, ptr %6, align 8, !tbaa !5
  %387 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %386, i32 0, i32 7
  %388 = load volatile i16, ptr %387, align 2, !tbaa !23
  %389 = zext i16 %388 to i32
  %390 = sub nsw i32 %389, 2
  %391 = trunc i32 %390 to i16
  store volatile i16 %391, ptr %387, align 2, !tbaa !23
  br label %409

392:                                              ; preds = %367
  %393 = load ptr, ptr %6, align 8, !tbaa !5
  %394 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %393, i32 0, i32 0
  %395 = load ptr, ptr %394, align 8, !tbaa !13
  %396 = getelementptr inbounds %struct.SPI_TypeDef, ptr %395, i32 0, i32 10
  %397 = load volatile i8, ptr %396, align 4, !tbaa !37
  %398 = load ptr, ptr %6, align 8, !tbaa !5
  %399 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %398, i32 0, i32 5
  %400 = load ptr, ptr %399, align 8, !tbaa !21
  store i8 %397, ptr %400, align 1, !tbaa !37
  %401 = load ptr, ptr %6, align 8, !tbaa !5
  %402 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %401, i32 0, i32 5
  %403 = load ptr, ptr %402, align 8, !tbaa !21
  %404 = getelementptr inbounds i8, ptr %403, i64 1
  store ptr %404, ptr %402, align 8, !tbaa !21
  %405 = load ptr, ptr %6, align 8, !tbaa !5
  %406 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %405, i32 0, i32 7
  %407 = load volatile i16, ptr %406, align 2, !tbaa !23
  %408 = add i16 %407, -1
  store volatile i16 %408, ptr %406, align 2, !tbaa !23
  br label %409

409:                                              ; preds = %392, %376
  br label %410

410:                                              ; preds = %409, %348
  br label %439

411:                                              ; preds = %330
  %412 = call i32 @HAL_GetTick()
  %413 = load i32, ptr %10, align 4, !tbaa !11
  %414 = sub i32 %412, %413
  %415 = load i32, ptr %9, align 4, !tbaa !11
  %416 = icmp uge i32 %414, %415
  br i1 %416, label %417, label %420

417:                                              ; preds = %411
  %418 = load i32, ptr %9, align 4, !tbaa !11
  %419 = icmp ne i32 %418, -1
  br i1 %419, label %423, label %420

420:                                              ; preds = %417, %411
  %421 = load i32, ptr %9, align 4, !tbaa !11
  %422 = icmp eq i32 %421, 0
  br i1 %422, label %423, label %438

423:                                              ; preds = %420, %417
  %424 = load ptr, ptr %6, align 8, !tbaa !5
  call void @SPI_CloseTransfer(ptr noundef %424)
  br label %425

425:                                              ; preds = %423
  %426 = load ptr, ptr %6, align 8, !tbaa !5
  %427 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %426, i32 0, i32 13
  store i32 0, ptr %427, align 8, !tbaa !19
  br label %428

428:                                              ; preds = %425
  br label %429

429:                                              ; preds = %428
  %430 = load ptr, ptr %6, align 8, !tbaa !5
  %431 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %430, i32 0, i32 15
  %432 = load volatile i32, ptr %431, align 8, !tbaa !20
  %433 = zext i32 %432 to i64
  %434 = or i64 %433, 256
  %435 = trunc i64 %434 to i32
  store volatile i32 %435, ptr %431, align 8, !tbaa !20
  %436 = load ptr, ptr %6, align 8, !tbaa !5
  %437 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %436, i32 0, i32 14
  store volatile i32 1, ptr %437, align 4, !tbaa !18
  store i32 3, ptr %5, align 4
  store i32 1, ptr %13, align 4
  br label %480

438:                                              ; preds = %420
  br label %439

439:                                              ; preds = %438, %410
  br label %324, !llvm.loop !38

440:                                              ; preds = %324
  br label %441

441:                                              ; preds = %440, %322
  br label %442

442:                                              ; preds = %441, %226
  %443 = load ptr, ptr %6, align 8, !tbaa !5
  %444 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %443, i32 0, i32 1
  %445 = getelementptr inbounds %struct.SPI_InitTypeDef, ptr %444, i32 0, i32 9
  %446 = load i32, ptr %445, align 4, !tbaa !39
  %447 = zext i32 %446 to i64
  %448 = icmp eq i64 %447, 4194304
  br i1 %448, label %449, label %463

449:                                              ; preds = %442
  %450 = load ptr, ptr %6, align 8, !tbaa !5
  %451 = load i32, ptr %10, align 4, !tbaa !11
  %452 = load i32, ptr %9, align 4, !tbaa !11
  %453 = call i32 @SPI_WaitOnFlagUntilTimeout(ptr noundef %450, i32 noundef 8, i32 noundef 0, i32 noundef %451, i32 noundef %452)
  %454 = icmp ne i32 %453, 0
  br i1 %454, label %455, label %462

455:                                              ; preds = %449
  %456 = load ptr, ptr %6, align 8, !tbaa !5
  %457 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %456, i32 0, i32 15
  %458 = load volatile i32, ptr %457, align 8, !tbaa !20
  %459 = zext i32 %458 to i64
  %460 = or i64 %459, 32
  %461 = trunc i64 %460 to i32
  store volatile i32 %461, ptr %457, align 8, !tbaa !20
  br label %462

462:                                              ; preds = %455, %449
  br label %463

463:                                              ; preds = %462, %442
  %464 = load ptr, ptr %6, align 8, !tbaa !5
  call void @SPI_CloseTransfer(ptr noundef %464)
  br label %465

465:                                              ; preds = %463
  %466 = load ptr, ptr %6, align 8, !tbaa !5
  %467 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %466, i32 0, i32 13
  store i32 0, ptr %467, align 8, !tbaa !19
  br label %468

468:                                              ; preds = %465
  br label %469

469:                                              ; preds = %468
  %470 = load ptr, ptr %6, align 8, !tbaa !5
  %471 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %470, i32 0, i32 14
  store volatile i32 1, ptr %471, align 4, !tbaa !18
  %472 = load ptr, ptr %6, align 8, !tbaa !5
  %473 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %472, i32 0, i32 15
  %474 = load volatile i32, ptr %473, align 8, !tbaa !20
  %475 = zext i32 %474 to i64
  %476 = icmp ne i64 %475, 0
  br i1 %476, label %477, label %478

477:                                              ; preds = %469
  store i32 1, ptr %5, align 4
  store i32 1, ptr %13, align 4
  br label %480

478:                                              ; preds = %469
  %479 = load i32, ptr %11, align 4, !tbaa !11
  store i32 %479, ptr %5, align 4
  store i32 1, ptr %13, align 4
  br label %480

480:                                              ; preds = %478, %477, %429, %311, %215, %77, %63, %46, %31
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #3
  %481 = load i32, ptr %5, align 4
  ret i32 %481
}

; Function Attrs: nounwind uwtable
declare dso_local i32 @HAL_SPI_TransmitReceive(ptr noundef, ptr noundef, ptr noundef, i16 noundef zeroext, i32 noundef) #2

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 = !{!"short", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"int", !7, i64 0}
!13 = !{!14, !6, i64 0}
!14 = !{!"__SPI_HandleTypeDef", !6, i64 0, !15, i64 8, !6, i64 96, !10, i64 104, !10, i64 106, !6, i64 112, !10, i64 120, !10, i64 122, !12, i64 124, !6, i64 128, !6, i64 136, !6, i64 144, !6, i64 152, !12, i64 160, !12, i64 164, !12, i64 168}
!15 = !{!"", !12, i64 0, !12, i64 4, !12, i64 8, !12, i64 12, !12, i64 16, !12, i64 20, !12, i64 24, !12, i64 28, !12, i64 32, !12, i64 36, !12, i64 40, !12, i64 44, !12, i64 48, !12, i64 52, !12, i64 56, !12, i64 60, !12, i64 64, !12, i64 68, !12, i64 72, !12, i64 76, !12, i64 80, !12, i64 84}
!16 = !{!14, !12, i64 8}
!17 = !{!14, !12, i64 12}
!18 = !{!14, !12, i64 164}
!19 = !{!14, !12, i64 160}
!20 = !{!14, !12, i64 168}
!21 = !{!14, !6, i64 112}
!22 = !{!14, !10, i64 120}
!23 = !{!14, !10, i64 122}
!24 = !{!14, !6, i64 96}
!25 = !{!14, !10, i64 104}
!26 = !{!14, !10, i64 106}
!27 = !{!14, !6, i64 128}
!28 = !{!14, !6, i64 136}
!29 = !{!30, !12, i64 0}
!30 = !{!"", !12, i64 0, !12, i64 4, !12, i64 8, !12, i64 12, !12, i64 16, !12, i64 20, !12, i64 24, !12, i64 28, !12, i64 32, !7, i64 36, !12, i64 48, !7, i64 52, !12, i64 64, !12, i64 68, !12, i64 72, !12, i64 76, !12, i64 80}
!31 = !{!30, !12, i64 4}
!32 = !{!14, !12, i64 16}
!33 = !{!30, !12, i64 20}
!34 = distinct !{!34, !35}
!35 = !{!"llvm.loop.mustprogress"}
!36 = distinct !{!36, !35}
!37 = !{!7, !7, i64 0}
!38 = distinct !{!38, !35}
!39 = !{!14, !12, i64 44}


; 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"

declare i32 @HAL_GetTick() local_unnamed_addr #0

; Function Attrs: nounwind uwtable
declare hidden void @SPI_CloseTransfer(ptr noundef) local_unnamed_addr #1

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

; Function Attrs: nounwind uwtable
define dso_local i32 @HAL_SPI_Receive(ptr noundef %0, ptr noundef %1, i16 noundef zeroext %2, i32 noundef %3) local_unnamed_addr #1 {
  %5 = load ptr, ptr %0, align 8, !tbaa !5
  %6 = getelementptr inbounds i8, ptr %5, i64 48
  %7 = getelementptr inbounds i8, ptr %0, i64 8
  %8 = load i32, ptr %7, align 8, !tbaa !13
  %9 = icmp eq i32 %8, 4194304
  br i1 %9, label %10, label %17

10:                                               ; preds = %4
  %11 = getelementptr inbounds i8, ptr %0, i64 12
  %12 = load i32, ptr %11, align 4, !tbaa !14
  %13 = icmp eq i32 %12, 0
  br i1 %13, label %14, label %17

14:                                               ; preds = %10
  %15 = getelementptr inbounds i8, ptr %0, i64 164
  store volatile i32 4, ptr %15, align 4, !tbaa !15
  %16 = tail call i32 @HAL_SPI_TransmitReceive(ptr noundef nonnull %0, ptr noundef %1, ptr noundef %1, i16 noundef zeroext %2, i32 noundef %3)
  br label %211

17:                                               ; preds = %4, %10
  %18 = getelementptr inbounds i8, ptr %0, i64 160
  %19 = load i32, ptr %18, align 8, !tbaa !16
  %20 = icmp eq i32 %19, 1
  br i1 %20, label %211, label %21

21:                                               ; preds = %17
  store i32 1, ptr %18, align 8, !tbaa !16
  %22 = tail call i32 @HAL_GetTick() #3
  %23 = getelementptr inbounds i8, ptr %0, i64 164
  %24 = load volatile i32, ptr %23, align 4, !tbaa !15
  %.not = icmp eq i32 %24, 1
  br i1 %.not, label %26, label %25

25:                                               ; preds = %21
  store i32 0, ptr %18, align 8, !tbaa !16
  br label %211

26:                                               ; preds = %21
  %27 = icmp eq ptr %1, null
  %28 = icmp eq i16 %2, 0
  %or.cond = or i1 %27, %28
  br i1 %or.cond, label %29, label %30

29:                                               ; preds = %26
  store i32 0, ptr %18, align 8, !tbaa !16
  br label %211

30:                                               ; preds = %26
  store volatile i32 4, ptr %23, align 4, !tbaa !15
  %31 = getelementptr inbounds i8, ptr %0, i64 168
  store volatile i32 0, ptr %31, align 8, !tbaa !17
  %32 = getelementptr inbounds i8, ptr %0, i64 112
  store ptr %1, ptr %32, align 8, !tbaa !18
  %33 = getelementptr inbounds i8, ptr %0, i64 120
  store i16 %2, ptr %33, align 8, !tbaa !19
  %34 = getelementptr inbounds i8, ptr %0, i64 122
  store volatile i16 %2, ptr %34, align 2, !tbaa !20
  %35 = getelementptr inbounds i8, ptr %0, i64 96
  store ptr null, ptr %35, align 8, !tbaa !21
  %36 = getelementptr inbounds i8, ptr %0, i64 104
  store i16 0, ptr %36, align 8, !tbaa !22
  %37 = getelementptr inbounds i8, ptr %0, i64 106
  store volatile i16 0, ptr %37, align 2, !tbaa !23
  %38 = getelementptr inbounds i8, ptr %0, i64 128
  %39 = getelementptr inbounds i8, ptr %0, i64 12
  tail call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(16) %38, i8 0, i64 16, i1 false)
  %40 = load i32, ptr %39, align 4, !tbaa !14
  %41 = icmp eq i32 %40, 393216
  %.pre = load ptr, ptr %0, align 8, !tbaa !5
  br i1 %41, label %42, label %45

42:                                               ; preds = %30
  %43 = load volatile i32, ptr %.pre, align 4, !tbaa !24
  %44 = and i32 %43, -2049
  store volatile i32 %44, ptr %.pre, align 4, !tbaa !24
  br label %45

45:                                               ; preds = %42, %30
  %46 = getelementptr inbounds i8, ptr %.pre, i64 4
  %47 = load volatile i32, ptr %46, align 4, !tbaa !26
  %48 = and i32 %47, -65536
  %49 = zext i16 %2 to i32
  %50 = or disjoint i32 %48, %49
  store volatile i32 %50, ptr %46, align 4, !tbaa !26
  %51 = load volatile i32, ptr %.pre, align 4, !tbaa !24
  %52 = or i32 %51, 1
  store volatile i32 %52, ptr %.pre, align 4, !tbaa !24
  %53 = load i32, ptr %7, align 8, !tbaa !13
  %54 = icmp eq i32 %53, 4194304
  br i1 %54, label %55, label %58

55:                                               ; preds = %45
  %56 = load volatile i32, ptr %.pre, align 4, !tbaa !24
  %57 = or i32 %56, 512
  store volatile i32 %57, ptr %.pre, align 4, !tbaa !24
  br label %58

58:                                               ; preds = %55, %45
  %59 = getelementptr inbounds i8, ptr %0, i64 16
  %60 = load i32, ptr %59, align 8, !tbaa !27
  %61 = icmp ugt i32 %60, 15
  br i1 %61, label %.preheader, label %97

.preheader:                                       ; preds = %58
  %62 = load volatile i16, ptr %34, align 2, !tbaa !20
  %.not131142 = icmp eq i16 %62, 0
  br i1 %.not131142, label %.loopexit, label %.lr.ph143

.lr.ph143:                                        ; preds = %.preheader
  %.not146 = icmp eq i32 %3, -1
  br i1 %.not146, label %.lr.ph143.split.us, label %.lr.ph143.split

.lr.ph143.split.us:                               ; preds = %.lr.ph143, %76
  %63 = load ptr, ptr %0, align 8, !tbaa !5
  %64 = getelementptr inbounds i8, ptr %63, i64 20
  %65 = load volatile i32, ptr %64, align 4, !tbaa !28
  %66 = and i32 %65, 32776
  %.not134.us = icmp eq i32 %66, 0
  br i1 %.not134.us, label %74, label %67

67:                                               ; preds = %.lr.ph143.split.us
  %68 = getelementptr inbounds i8, ptr %63, i64 48
  %69 = load volatile i32, ptr %68, align 4, !tbaa !29
  %70 = load ptr, ptr %32, align 8, !tbaa !18
  store i32 %69, ptr %70, align 4, !tbaa !29
  %71 = getelementptr inbounds i8, ptr %70, i64 4
  store ptr %71, ptr %32, align 8, !tbaa !18
  %72 = load volatile i16, ptr %34, align 2, !tbaa !20
  %73 = add i16 %72, -1
  store volatile i16 %73, ptr %34, align 2, !tbaa !20
  br label %76

74:                                               ; preds = %.lr.ph143.split.us
  %75 = tail call i32 @HAL_GetTick() #3
  br label %76

76:                                               ; preds = %74, %67
  %77 = load volatile i16, ptr %34, align 2, !tbaa !20
  %.not131.us = icmp eq i16 %77, 0
  br i1 %.not131.us, label %.loopexit, label %.lr.ph143.split.us, !llvm.loop !30

.lr.ph143.split:                                  ; preds = %.lr.ph143, %95
  %78 = load ptr, ptr %0, align 8, !tbaa !5
  %79 = getelementptr inbounds i8, ptr %78, i64 20
  %80 = load volatile i32, ptr %79, align 4, !tbaa !28
  %81 = and i32 %80, 32776
  %.not134 = icmp eq i32 %81, 0
  br i1 %.not134, label %89, label %82

82:                                               ; preds = %.lr.ph143.split
  %83 = getelementptr inbounds i8, ptr %78, i64 48
  %84 = load volatile i32, ptr %83, align 4, !tbaa !29
  %85 = load ptr, ptr %32, align 8, !tbaa !18
  store i32 %84, ptr %85, align 4, !tbaa !29
  %86 = getelementptr inbounds i8, ptr %85, i64 4
  store ptr %86, ptr %32, align 8, !tbaa !18
  %87 = load volatile i16, ptr %34, align 2, !tbaa !20
  %88 = add i16 %87, -1
  store volatile i16 %88, ptr %34, align 2, !tbaa !20
  br label %95

89:                                               ; preds = %.lr.ph143.split
  %90 = tail call i32 @HAL_GetTick() #3
  %91 = sub i32 %90, %22
  %.not147 = icmp ult i32 %91, %3
  br i1 %.not147, label %95, label %92

92:                                               ; preds = %89
  tail call void @SPI_CloseTransfer(ptr noundef nonnull %0)
  store i32 0, ptr %18, align 8, !tbaa !16
  %93 = load volatile i32, ptr %31, align 8, !tbaa !17
  %94 = or i32 %93, 256
  store volatile i32 %94, ptr %31, align 8, !tbaa !17
  store volatile i32 1, ptr %23, align 4, !tbaa !15
  br label %211

95:                                               ; preds = %89, %82
  %96 = load volatile i16, ptr %34, align 2, !tbaa !20
  %.not131 = icmp eq i16 %96, 0
  br i1 %.not131, label %.loopexit, label %.lr.ph143.split, !llvm.loop !30

97:                                               ; preds = %58
  %98 = icmp ugt i32 %60, 7
  %99 = load volatile i16, ptr %34, align 2, !tbaa !20
  %.not128140 = icmp eq i16 %99, 0
  br i1 %98, label %.preheader135, label %.preheader137

.preheader137:                                    ; preds = %97
  br i1 %.not128140, label %.loopexit, label %.lr.ph

.lr.ph:                                           ; preds = %.preheader137
  %.not144 = icmp eq i32 %3, -1
  br i1 %.not144, label %.lr.ph.split.us, label %.lr.ph.split

.lr.ph.split.us:                                  ; preds = %.lr.ph, %134
  %100 = load ptr, ptr %0, align 8, !tbaa !5
  %101 = getelementptr inbounds i8, ptr %100, i64 20
  %102 = load volatile i32, ptr %101, align 4, !tbaa !28
  %103 = and i32 %102, 57344
  %.not126.us = icmp eq i32 %103, 0
  br i1 %.not126.us, label %132, label %104

104:                                              ; preds = %.lr.ph.split.us
  %105 = load volatile i32, ptr %101, align 4, !tbaa !28
  %106 = and i32 %105, 32768
  %.not127.us = icmp eq i32 %106, 0
  br i1 %.not127.us, label %114, label %107

107:                                              ; preds = %104
  %108 = getelementptr inbounds i8, ptr %100, i64 48
  %109 = load volatile i32, ptr %108, align 4, !tbaa !29
  %110 = load ptr, ptr %32, align 8, !tbaa !18
  store i32 %109, ptr %110, align 4, !tbaa !29
  %111 = getelementptr inbounds i8, ptr %110, i64 4
  store ptr %111, ptr %32, align 8, !tbaa !18
  %112 = load volatile i16, ptr %34, align 2, !tbaa !20
  %113 = add i16 %112, -4
  store volatile i16 %113, ptr %34, align 2, !tbaa !20
  br label %134

114:                                              ; preds = %104
  %115 = load volatile i32, ptr %101, align 4, !tbaa !28
  %116 = and i32 %115, 24576
  %117 = icmp ugt i32 %116, 8192
  br i1 %117, label %126, label %118

118:                                              ; preds = %114
  %119 = getelementptr inbounds i8, ptr %100, i64 48
  %120 = load volatile i8, ptr %119, align 4, !tbaa !32
  %121 = load ptr, ptr %32, align 8, !tbaa !18
  store i8 %120, ptr %121, align 1, !tbaa !32
  %122 = load ptr, ptr %32, align 8, !tbaa !18
  %123 = getelementptr inbounds i8, ptr %122, i64 1
  store ptr %123, ptr %32, align 8, !tbaa !18
  %124 = load volatile i16, ptr %34, align 2, !tbaa !20
  %125 = add i16 %124, -1
  store volatile i16 %125, ptr %34, align 2, !tbaa !20
  br label %134

126:                                              ; preds = %114
  %127 = load volatile i16, ptr %6, align 2, !tbaa !33
  %128 = load ptr, ptr %32, align 8, !tbaa !18
  store i16 %127, ptr %128, align 2, !tbaa !33
  %129 = getelementptr inbounds i8, ptr %128, i64 2
  store ptr %129, ptr %32, align 8, !tbaa !18
  %130 = load volatile i16, ptr %34, align 2, !tbaa !20
  %131 = add i16 %130, -2
  store volatile i16 %131, ptr %34, align 2, !tbaa !20
  br label %134

132:                                              ; preds = %.lr.ph.split.us
  %133 = tail call i32 @HAL_GetTick() #3
  br label %134

134:                                              ; preds = %132, %126, %118, %107
  %135 = load volatile i16, ptr %34, align 2, !tbaa !20
  %.not125.us = icmp eq i16 %135, 0
  br i1 %.not125.us, label %.loopexit, label %.lr.ph.split.us, !llvm.loop !34

.preheader135:                                    ; preds = %97
  br i1 %.not128140, label %.loopexit, label %.lr.ph141

.lr.ph141:                                        ; preds = %.preheader135
  %136 = icmp ne i32 %3, -1
  br label %137

137:                                              ; preds = %.lr.ph141, %163
  %138 = load ptr, ptr %0, align 8, !tbaa !5
  %139 = getelementptr inbounds i8, ptr %138, i64 20
  %140 = load volatile i32, ptr %139, align 4, !tbaa !28
  %141 = and i32 %140, 57344
  %.not129 = icmp eq i32 %141, 0
  br i1 %.not129, label %154, label %142

142:                                              ; preds = %137
  %143 = load volatile i32, ptr %139, align 4, !tbaa !28
  %144 = and i32 %143, 32768
  %.not130 = icmp eq i32 %144, 0
  br i1 %.not130, label %150, label %145

145:                                              ; preds = %142
  %146 = getelementptr inbounds i8, ptr %138, i64 48
  %147 = load volatile i32, ptr %146, align 4, !tbaa !29
  %148 = load ptr, ptr %32, align 8, !tbaa !18
  store i32 %147, ptr %148, align 4, !tbaa !29
  %149 = getelementptr inbounds i8, ptr %148, i64 4
  br label %.sink.split

150:                                              ; preds = %142
  %151 = load volatile i16, ptr %6, align 2, !tbaa !33
  %152 = load ptr, ptr %32, align 8, !tbaa !18
  store i16 %151, ptr %152, align 2, !tbaa !33
  %153 = getelementptr inbounds i8, ptr %152, i64 2
  br label %.sink.split

154:                                              ; preds = %137
  %155 = tail call i32 @HAL_GetTick() #3
  %156 = sub i32 %155, %22
  %157 = icmp uge i32 %156, %3
  %or.cond8 = and i1 %136, %157
  br i1 %or.cond8, label %158, label %163

158:                                              ; preds = %154
  tail call void @SPI_CloseTransfer(ptr noundef nonnull %0)
  store i32 0, ptr %18, align 8, !tbaa !16
  %159 = load volatile i32, ptr %31, align 8, !tbaa !17
  %160 = or i32 %159, 256
  store volatile i32 %160, ptr %31, align 8, !tbaa !17
  store volatile i32 1, ptr %23, align 4, !tbaa !15
  br label %211

.sink.split:                                      ; preds = %150, %145
  %.sink = phi ptr [ %149, %145 ], [ %153, %150 ]
  %.sink157 = phi i16 [ -2, %145 ], [ -1, %150 ]
  store ptr %.sink, ptr %32, align 8, !tbaa !18
  %161 = load volatile i16, ptr %34, align 2, !tbaa !20
  %162 = add i16 %161, %.sink157
  store volatile i16 %162, ptr %34, align 2, !tbaa !20
  br label %163

163:                                              ; preds = %.sink.split, %154
  %164 = load volatile i16, ptr %34, align 2, !tbaa !20
  %.not128 = icmp eq i16 %164, 0
  br i1 %.not128, label %.loopexit, label %137, !llvm.loop !35

.lr.ph.split:                                     ; preds = %.lr.ph, %199
  %165 = load ptr, ptr %0, align 8, !tbaa !5
  %166 = getelementptr inbounds i8, ptr %165, i64 20
  %167 = load volatile i32, ptr %166, align 4, !tbaa !28
  %168 = and i32 %167, 57344
  %.not126 = icmp eq i32 %168, 0
  br i1 %.not126, label %191, label %169

169:                                              ; preds = %.lr.ph.split
  %170 = load volatile i32, ptr %166, align 4, !tbaa !28
  %171 = and i32 %170, 32768
  %.not127 = icmp eq i32 %171, 0
  br i1 %.not127, label %177, label %172

172:                                              ; preds = %169
  %173 = getelementptr inbounds i8, ptr %165, i64 48
  %174 = load volatile i32, ptr %173, align 4, !tbaa !29
  %175 = load ptr, ptr %32, align 8, !tbaa !18
  store i32 %174, ptr %175, align 4, !tbaa !29
  %176 = getelementptr inbounds i8, ptr %175, i64 4
  br label %.sink.split158

177:                                              ; preds = %169
  %178 = load volatile i32, ptr %166, align 4, !tbaa !28
  %179 = and i32 %178, 24576
  %180 = icmp ugt i32 %179, 8192
  br i1 %180, label %181, label %185

181:                                              ; preds = %177
  %182 = load volatile i16, ptr %6, align 2, !tbaa !33
  %183 = load ptr, ptr %32, align 8, !tbaa !18
  store i16 %182, ptr %183, align 2, !tbaa !33
  %184 = getelementptr inbounds i8, ptr %183, i64 2
  br label %.sink.split158

185:                                              ; preds = %177
  %186 = getelementptr inbounds i8, ptr %165, i64 48
  %187 = load volatile i8, ptr %186, align 4, !tbaa !32
  %188 = load ptr, ptr %32, align 8, !tbaa !18
  store i8 %187, ptr %188, align 1, !tbaa !32
  %189 = load ptr, ptr %32, align 8, !tbaa !18
  %190 = getelementptr inbounds i8, ptr %189, i64 1
  br label %.sink.split158

191:                                              ; preds = %.lr.ph.split
  %192 = tail call i32 @HAL_GetTick() #3
  %193 = sub i32 %192, %22
  %.not145 = icmp ult i32 %193, %3
  br i1 %.not145, label %199, label %194

194:                                              ; preds = %191
  tail call void @SPI_CloseTransfer(ptr noundef nonnull %0)
  store i32 0, ptr %18, align 8, !tbaa !16
  %195 = load volatile i32, ptr %31, align 8, !tbaa !17
  %196 = or i32 %195, 256
  store volatile i32 %196, ptr %31, align 8, !tbaa !17
  store volatile i32 1, ptr %23, align 4, !tbaa !15
  br label %211

.sink.split158:                                   ; preds = %181, %185, %172
  %.sink162 = phi ptr [ %176, %172 ], [ %190, %185 ], [ %184, %181 ]
  %.sink161 = phi i16 [ -4, %172 ], [ -1, %185 ], [ -2, %181 ]
  store ptr %.sink162, ptr %32, align 8, !tbaa !18
  %197 = load volatile i16, ptr %34, align 2, !tbaa !20
  %198 = add i16 %197, %.sink161
  store volatile i16 %198, ptr %34, align 2, !tbaa !20
  br label %199

199:                                              ; preds = %.sink.split158, %191
  %200 = load volatile i16, ptr %34, align 2, !tbaa !20
  %.not125 = icmp eq i16 %200, 0
  br i1 %.not125, label %.loopexit, label %.lr.ph.split, !llvm.loop !34

.loopexit:                                        ; preds = %199, %134, %163, %95, %76, %.preheader137, %.preheader135, %.preheader
  %201 = getelementptr inbounds i8, ptr %0, i64 44
  %202 = load i32, ptr %201, align 4, !tbaa !36
  %203 = icmp eq i32 %202, 4194304
  br i1 %203, label %204, label %209

204:                                              ; preds = %.loopexit
  %205 = tail call i32 @SPI_WaitOnFlagUntilTimeout(ptr noundef nonnull %0, i32 noundef 8, i32 noundef 0, i32 noundef %22, i32 noundef %3)
  %.not132 = icmp eq i32 %205, 0
  br i1 %.not132, label %209, label %206

206:                                              ; preds = %204
  %207 = load volatile i32, ptr %31, align 8, !tbaa !17
  %208 = or i32 %207, 32
  store volatile i32 %208, ptr %31, align 8, !tbaa !17
  br label %209

209:                                              ; preds = %204, %206, %.loopexit
  tail call void @SPI_CloseTransfer(ptr noundef nonnull %0)
  store i32 0, ptr %18, align 8, !tbaa !16
  store volatile i32 1, ptr %23, align 4, !tbaa !15
  %210 = load volatile i32, ptr %31, align 8, !tbaa !17
  %.not133 = icmp ne i32 %210, 0
  %. = zext i1 %.not133 to i32
  br label %211

211:                                              ; preds = %209, %17, %194, %158, %92, %29, %25, %14
  %.0 = phi i32 [ %16, %14 ], [ 2, %25 ], [ 1, %29 ], [ 3, %92 ], [ 3, %158 ], [ 3, %194 ], [ 2, %17 ], [ %., %209 ]
  ret i32 %.0
}

; Function Attrs: nounwind uwtable
declare dso_local i32 @HAL_SPI_TransmitReceive(ptr noundef, ptr noundef, ptr noundef, i16 noundef zeroext, i32 noundef) local_unnamed_addr #1

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #2

attributes #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 = { 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 = { nocallback nofree nounwind willreturn memory(argmem: write) }
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, !7, i64 0}
!6 = !{!"__SPI_HandleTypeDef", !7, i64 0, !10, i64 8, !7, i64 96, !12, i64 104, !12, i64 106, !7, i64 112, !12, i64 120, !12, i64 122, !11, i64 124, !7, i64 128, !7, i64 136, !7, i64 144, !7, i64 152, !11, i64 160, !11, i64 164, !11, i64 168}
!7 = !{!"any pointer", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C/C++ TBAA"}
!10 = !{!"", !11, i64 0, !11, i64 4, !11, i64 8, !11, i64 12, !11, i64 16, !11, i64 20, !11, i64 24, !11, i64 28, !11, i64 32, !11, i64 36, !11, i64 40, !11, i64 44, !11, i64 48, !11, i64 52, !11, i64 56, !11, i64 60, !11, i64 64, !11, i64 68, !11, i64 72, !11, i64 76, !11, i64 80, !11, i64 84}
!11 = !{!"int", !8, i64 0}
!12 = !{!"short", !8, i64 0}
!13 = !{!6, !11, i64 8}
!14 = !{!6, !11, i64 12}
!15 = !{!6, !11, i64 164}
!16 = !{!6, !11, i64 160}
!17 = !{!6, !11, i64 168}
!18 = !{!6, !7, i64 112}
!19 = !{!6, !12, i64 120}
!20 = !{!6, !12, i64 122}
!21 = !{!6, !7, i64 96}
!22 = !{!6, !12, i64 104}
!23 = !{!6, !12, i64 106}
!24 = !{!25, !11, i64 0}
!25 = !{!"", !11, i64 0, !11, i64 4, !11, i64 8, !11, i64 12, !11, i64 16, !11, i64 20, !11, i64 24, !11, i64 28, !11, i64 32, !8, i64 36, !11, i64 48, !8, i64 52, !11, i64 64, !11, i64 68, !11, i64 72, !11, i64 76, !11, i64 80}
!26 = !{!25, !11, i64 4}
!27 = !{!6, !11, i64 16}
!28 = !{!25, !11, i64 20}
!29 = !{!11, !11, i64 0}
!30 = distinct !{!30, !31}
!31 = !{!"llvm.loop.mustprogress"}
!32 = !{!8, !8, i64 0}
!33 = !{!12, !12, i64 0}
!34 = distinct !{!34, !31}
!35 = distinct !{!35, !31}
!36 = !{!6, !11, i64 44}


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