; 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

; Function Attrs: nounwind uwtable
define dso_local i32 @HAL_SPI_Transmit(ptr noundef %0, ptr noundef %1, i16 noundef zeroext %2, i32 noundef %3) #1 {
  %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 ptr, align 8
  %11 = alloca i32, align 4
  %12 = alloca i32, align 4
  %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 8, ptr %10) #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 8
  store ptr %17, ptr %10, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #3
  store i32 0, ptr %12, align 4, !tbaa !11
  br label %18

18:                                               ; preds = %4
  %19 = load ptr, ptr %6, align 8, !tbaa !5
  %20 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %19, i32 0, i32 13
  %21 = load i32, ptr %20, align 8, !tbaa !16
  %22 = icmp eq i32 %21, 1
  br i1 %22, label %23, label %24

23:                                               ; preds = %18
  store i32 2, ptr %5, align 4
  store i32 1, ptr %13, align 4
  br label %461

24:                                               ; preds = %18
  %25 = load ptr, ptr %6, align 8, !tbaa !5
  %26 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %25, i32 0, i32 13
  store i32 1, ptr %26, align 8, !tbaa !16
  br label %27

27:                                               ; preds = %24
  br label %28

28:                                               ; preds = %27
  br label %29

29:                                               ; preds = %28
  %30 = call i32 @HAL_GetTick()
  store i32 %30, ptr %11, align 4, !tbaa !11
  %31 = load ptr, ptr %6, align 8, !tbaa !5
  %32 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %31, i32 0, i32 14
  %33 = load volatile i32, ptr %32, align 4, !tbaa !17
  %34 = icmp ne i32 %33, 1
  br i1 %34, label %35, label %42

35:                                               ; preds = %29
  store i32 2, ptr %12, align 4, !tbaa !11
  br label %36

36:                                               ; preds = %35
  %37 = load ptr, ptr %6, align 8, !tbaa !5
  %38 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %37, i32 0, i32 13
  store i32 0, ptr %38, align 8, !tbaa !16
  br label %39

39:                                               ; preds = %36
  br label %40

40:                                               ; preds = %39
  %41 = load i32, ptr %12, align 4, !tbaa !11
  store i32 %41, ptr %5, align 4
  store i32 1, ptr %13, align 4
  br label %461

42:                                               ; preds = %29
  %43 = load ptr, ptr %7, align 8, !tbaa !5
  %44 = icmp eq ptr %43, null
  br i1 %44, label %49, label %45

45:                                               ; preds = %42
  %46 = load i16, ptr %8, align 2, !tbaa !9
  %47 = zext i16 %46 to i64
  %48 = icmp eq i64 %47, 0
  br i1 %48, label %49, label %56

49:                                               ; preds = %45, %42
  store i32 1, ptr %12, align 4, !tbaa !11
  br label %50

50:                                               ; preds = %49
  %51 = load ptr, ptr %6, align 8, !tbaa !5
  %52 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %51, i32 0, i32 13
  store i32 0, ptr %52, align 8, !tbaa !16
  br label %53

53:                                               ; preds = %50
  br label %54

54:                                               ; preds = %53
  %55 = load i32, ptr %12, align 4, !tbaa !11
  store i32 %55, ptr %5, align 4
  store i32 1, ptr %13, align 4
  br label %461

56:                                               ; preds = %45
  %57 = load ptr, ptr %6, align 8, !tbaa !5
  %58 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %57, i32 0, i32 14
  store volatile i32 3, ptr %58, align 4, !tbaa !17
  %59 = load ptr, ptr %6, align 8, !tbaa !5
  %60 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %59, i32 0, i32 15
  store volatile i32 0, ptr %60, align 8, !tbaa !18
  %61 = load ptr, ptr %7, align 8, !tbaa !5
  %62 = load ptr, ptr %6, align 8, !tbaa !5
  %63 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %62, i32 0, i32 2
  store ptr %61, ptr %63, align 8, !tbaa !19
  %64 = load i16, ptr %8, align 2, !tbaa !9
  %65 = load ptr, ptr %6, align 8, !tbaa !5
  %66 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %65, i32 0, i32 3
  store i16 %64, ptr %66, align 8, !tbaa !20
  %67 = load i16, ptr %8, align 2, !tbaa !9
  %68 = load ptr, ptr %6, align 8, !tbaa !5
  %69 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %68, i32 0, i32 4
  store volatile i16 %67, ptr %69, align 2, !tbaa !21
  %70 = load ptr, ptr %6, align 8, !tbaa !5
  %71 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %70, i32 0, i32 5
  store ptr null, ptr %71, align 8, !tbaa !22
  %72 = load ptr, ptr %6, align 8, !tbaa !5
  %73 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %72, i32 0, i32 6
  store i16 0, ptr %73, align 8, !tbaa !23
  %74 = load ptr, ptr %6, align 8, !tbaa !5
  %75 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %74, i32 0, i32 7
  store volatile i16 0, ptr %75, align 2, !tbaa !24
  %76 = load ptr, ptr %6, align 8, !tbaa !5
  %77 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %76, i32 0, i32 10
  store ptr null, ptr %77, align 8, !tbaa !25
  %78 = load ptr, ptr %6, align 8, !tbaa !5
  %79 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %78, i32 0, i32 9
  store ptr null, ptr %79, align 8, !tbaa !26
  %80 = load ptr, ptr %6, align 8, !tbaa !5
  %81 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %80, i32 0, i32 1
  %82 = getelementptr inbounds %struct.SPI_InitTypeDef, ptr %81, i32 0, i32 1
  %83 = load i32, ptr %82, align 4, !tbaa !27
  %84 = zext i32 %83 to i64
  %85 = icmp eq i64 %84, 393216
  br i1 %85, label %86, label %95

86:                                               ; preds = %56
  %87 = load ptr, ptr %6, align 8, !tbaa !5
  %88 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %87, i32 0, i32 0
  %89 = load ptr, ptr %88, align 8, !tbaa !13
  %90 = getelementptr inbounds %struct.SPI_TypeDef, ptr %89, i32 0, i32 0
  %91 = load volatile i32, ptr %90, align 4, !tbaa !28
  %92 = zext i32 %91 to i64
  %93 = or i64 %92, 2048
  %94 = trunc i64 %93 to i32
  store volatile i32 %94, ptr %90, align 4, !tbaa !28
  br label %95

95:                                               ; preds = %86, %56
  %96 = load ptr, ptr %6, align 8, !tbaa !5
  %97 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %96, i32 0, i32 0
  %98 = load ptr, ptr %97, align 8, !tbaa !13
  %99 = getelementptr inbounds %struct.SPI_TypeDef, ptr %98, i32 0, i32 1
  %100 = load volatile i32, ptr %99, align 4, !tbaa !30
  %101 = zext i32 %100 to i64
  %102 = and i64 %101, -65536
  %103 = load i16, ptr %8, align 2, !tbaa !9
  %104 = zext i16 %103 to i64
  %105 = or i64 %102, %104
  %106 = trunc i64 %105 to i32
  %107 = load ptr, ptr %6, align 8, !tbaa !5
  %108 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %107, i32 0, i32 0
  %109 = load ptr, ptr %108, align 8, !tbaa !13
  %110 = getelementptr inbounds %struct.SPI_TypeDef, ptr %109, i32 0, i32 1
  store volatile i32 %106, ptr %110, align 4, !tbaa !30
  %111 = load ptr, ptr %6, align 8, !tbaa !5
  %112 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %111, i32 0, i32 0
  %113 = load ptr, ptr %112, align 8, !tbaa !13
  %114 = getelementptr inbounds %struct.SPI_TypeDef, ptr %113, i32 0, i32 0
  %115 = load volatile i32, ptr %114, align 4, !tbaa !28
  %116 = zext i32 %115 to i64
  %117 = or i64 %116, 1
  %118 = trunc i64 %117 to i32
  store volatile i32 %118, ptr %114, align 4, !tbaa !28
  %119 = load ptr, ptr %6, align 8, !tbaa !5
  %120 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %119, i32 0, i32 1
  %121 = getelementptr inbounds %struct.SPI_InitTypeDef, ptr %120, i32 0, i32 0
  %122 = load i32, ptr %121, align 8, !tbaa !31
  %123 = zext i32 %122 to i64
  %124 = icmp eq i64 %123, 4194304
  br i1 %124, label %125, label %134

125:                                              ; preds = %95
  %126 = load ptr, ptr %6, align 8, !tbaa !5
  %127 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %126, i32 0, i32 0
  %128 = load ptr, ptr %127, align 8, !tbaa !13
  %129 = getelementptr inbounds %struct.SPI_TypeDef, ptr %128, i32 0, i32 0
  %130 = load volatile i32, ptr %129, align 4, !tbaa !28
  %131 = zext i32 %130 to i64
  %132 = or i64 %131, 512
  %133 = trunc i64 %132 to i32
  store volatile i32 %133, ptr %129, align 4, !tbaa !28
  br label %134

134:                                              ; preds = %125, %95
  %135 = load ptr, ptr %6, align 8, !tbaa !5
  %136 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %135, i32 0, i32 1
  %137 = getelementptr inbounds %struct.SPI_InitTypeDef, ptr %136, i32 0, i32 2
  %138 = load i32, ptr %137, align 8, !tbaa !32
  %139 = zext i32 %138 to i64
  %140 = icmp ugt i64 %139, 15
  br i1 %140, label %141, label %204

141:                                              ; preds = %134
  br label %142

142:                                              ; preds = %202, %141
  %143 = load ptr, ptr %6, align 8, !tbaa !5
  %144 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %143, i32 0, i32 4
  %145 = load volatile i16, ptr %144, align 2, !tbaa !21
  %146 = zext i16 %145 to i64
  %147 = icmp ugt i64 %146, 0
  br i1 %147, label %148, label %203

148:                                              ; preds = %142
  %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 5
  %153 = load volatile i32, ptr %152, align 4, !tbaa !33
  %154 = zext i32 %153 to i64
  %155 = and i64 %154, 2
  %156 = icmp eq i64 %155, 2
  br i1 %156, label %157, label %174

157:                                              ; preds = %148
  %158 = load ptr, ptr %6, align 8, !tbaa !5
  %159 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %158, i32 0, i32 2
  %160 = load ptr, ptr %159, align 8, !tbaa !19
  %161 = load i32, ptr %160, align 4, !tbaa !11
  %162 = load ptr, ptr %6, align 8, !tbaa !5
  %163 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %162, i32 0, i32 0
  %164 = load ptr, ptr %163, align 8, !tbaa !13
  %165 = getelementptr inbounds %struct.SPI_TypeDef, ptr %164, i32 0, i32 8
  store volatile i32 %161, ptr %165, align 4, !tbaa !11
  %166 = load ptr, ptr %6, align 8, !tbaa !5
  %167 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %166, i32 0, i32 2
  %168 = load ptr, ptr %167, align 8, !tbaa !19
  %169 = getelementptr inbounds i8, ptr %168, i64 4
  store ptr %169, ptr %167, align 8, !tbaa !19
  %170 = load ptr, ptr %6, align 8, !tbaa !5
  %171 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %170, i32 0, i32 4
  %172 = load volatile i16, ptr %171, align 2, !tbaa !21
  %173 = add i16 %172, -1
  store volatile i16 %173, ptr %171, align 2, !tbaa !21
  br label %202

174:                                              ; preds = %148
  %175 = call i32 @HAL_GetTick()
  %176 = load i32, ptr %11, align 4, !tbaa !11
  %177 = sub i32 %175, %176
  %178 = load i32, ptr %9, align 4, !tbaa !11
  %179 = icmp uge i32 %177, %178
  br i1 %179, label %180, label %183

180:                                              ; preds = %174
  %181 = load i32, ptr %9, align 4, !tbaa !11
  %182 = icmp ne i32 %181, -1
  br i1 %182, label %186, label %183

183:                                              ; preds = %180, %174
  %184 = load i32, ptr %9, align 4, !tbaa !11
  %185 = icmp eq i32 %184, 0
  br i1 %185, label %186, label %201

186:                                              ; preds = %183, %180
  %187 = load ptr, ptr %6, align 8, !tbaa !5
  call void @SPI_CloseTransfer(ptr noundef %187)
  br label %188

188:                                              ; preds = %186
  %189 = load ptr, ptr %6, align 8, !tbaa !5
  %190 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %189, i32 0, i32 13
  store i32 0, ptr %190, align 8, !tbaa !16
  br label %191

191:                                              ; preds = %188
  br label %192

192:                                              ; preds = %191
  %193 = load ptr, ptr %6, align 8, !tbaa !5
  %194 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %193, i32 0, i32 15
  %195 = load volatile i32, ptr %194, align 8, !tbaa !18
  %196 = zext i32 %195 to i64
  %197 = or i64 %196, 256
  %198 = trunc i64 %197 to i32
  store volatile i32 %198, ptr %194, align 8, !tbaa !18
  %199 = load ptr, ptr %6, align 8, !tbaa !5
  %200 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %199, i32 0, i32 14
  store volatile i32 1, ptr %200, align 4, !tbaa !17
  store i32 3, ptr %5, align 4
  store i32 1, ptr %13, align 4
  br label %461

201:                                              ; preds = %183
  br label %202

202:                                              ; preds = %201, %157
  br label %142, !llvm.loop !34

203:                                              ; preds = %142
  br label %431

204:                                              ; preds = %134
  %205 = load ptr, ptr %6, align 8, !tbaa !5
  %206 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %205, i32 0, i32 1
  %207 = getelementptr inbounds %struct.SPI_InitTypeDef, ptr %206, i32 0, i32 2
  %208 = load i32, ptr %207, align 8, !tbaa !32
  %209 = zext i32 %208 to i64
  %210 = icmp ugt i64 %209, 7
  br i1 %210, label %211, label %304

211:                                              ; preds = %204
  br label %212

212:                                              ; preds = %302, %211
  %213 = load ptr, ptr %6, align 8, !tbaa !5
  %214 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %213, i32 0, i32 4
  %215 = load volatile i16, ptr %214, align 2, !tbaa !21
  %216 = zext i16 %215 to i64
  %217 = icmp ugt i64 %216, 0
  br i1 %217, label %218, label %303

218:                                              ; preds = %212
  %219 = load ptr, ptr %6, align 8, !tbaa !5
  %220 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %219, i32 0, i32 0
  %221 = load ptr, ptr %220, align 8, !tbaa !13
  %222 = getelementptr inbounds %struct.SPI_TypeDef, ptr %221, i32 0, i32 5
  %223 = load volatile i32, ptr %222, align 4, !tbaa !33
  %224 = zext i32 %223 to i64
  %225 = and i64 %224, 2
  %226 = icmp eq i64 %225, 2
  br i1 %226, label %227, label %274

227:                                              ; preds = %218
  %228 = load ptr, ptr %6, align 8, !tbaa !5
  %229 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %228, i32 0, i32 4
  %230 = load volatile i16, ptr %229, align 2, !tbaa !21
  %231 = zext i16 %230 to i64
  %232 = icmp ugt i64 %231, 1
  br i1 %232, label %233, label %259

233:                                              ; preds = %227
  %234 = load ptr, ptr %6, align 8, !tbaa !5
  %235 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %234, i32 0, i32 1
  %236 = getelementptr inbounds %struct.SPI_InitTypeDef, ptr %235, i32 0, i32 14
  %237 = load i32, ptr %236, align 8, !tbaa !36
  %238 = zext i32 %237 to i64
  %239 = icmp ugt i64 %238, 0
  br i1 %239, label %240, label %259

240:                                              ; preds = %233
  %241 = load ptr, ptr %6, align 8, !tbaa !5
  %242 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %241, i32 0, i32 2
  %243 = load ptr, ptr %242, align 8, !tbaa !19
  %244 = load i32, ptr %243, align 4, !tbaa !11
  %245 = load ptr, ptr %6, align 8, !tbaa !5
  %246 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %245, i32 0, i32 0
  %247 = load ptr, ptr %246, align 8, !tbaa !13
  %248 = getelementptr inbounds %struct.SPI_TypeDef, ptr %247, i32 0, i32 8
  store volatile i32 %244, ptr %248, align 4, !tbaa !11
  %249 = load ptr, ptr %6, align 8, !tbaa !5
  %250 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %249, i32 0, i32 2
  %251 = load ptr, ptr %250, align 8, !tbaa !19
  %252 = getelementptr inbounds i8, ptr %251, i64 4
  store ptr %252, ptr %250, align 8, !tbaa !19
  %253 = load ptr, ptr %6, align 8, !tbaa !5
  %254 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %253, i32 0, i32 4
  %255 = load volatile i16, ptr %254, align 2, !tbaa !21
  %256 = zext i16 %255 to i32
  %257 = sub nsw i32 %256, 2
  %258 = trunc i32 %257 to i16
  store volatile i16 %258, ptr %254, align 2, !tbaa !21
  br label %273

259:                                              ; preds = %233, %227
  %260 = load ptr, ptr %6, align 8, !tbaa !5
  %261 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %260, i32 0, i32 2
  %262 = load ptr, ptr %261, align 8, !tbaa !19
  %263 = load i16, ptr %262, align 2, !tbaa !9
  %264 = load ptr, ptr %10, align 8, !tbaa !5
  store volatile i16 %263, ptr %264, align 2, !tbaa !9
  %265 = load ptr, ptr %6, align 8, !tbaa !5
  %266 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %265, i32 0, i32 2
  %267 = load ptr, ptr %266, align 8, !tbaa !19
  %268 = getelementptr inbounds i8, ptr %267, i64 2
  store ptr %268, ptr %266, align 8, !tbaa !19
  %269 = load ptr, ptr %6, align 8, !tbaa !5
  %270 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %269, i32 0, i32 4
  %271 = load volatile i16, ptr %270, align 2, !tbaa !21
  %272 = add i16 %271, -1
  store volatile i16 %272, ptr %270, align 2, !tbaa !21
  br label %273

273:                                              ; preds = %259, %240
  br label %302

274:                                              ; preds = %218
  %275 = call i32 @HAL_GetTick()
  %276 = load i32, ptr %11, align 4, !tbaa !11
  %277 = sub i32 %275, %276
  %278 = load i32, ptr %9, align 4, !tbaa !11
  %279 = icmp uge i32 %277, %278
  br i1 %279, label %280, label %283

280:                                              ; preds = %274
  %281 = load i32, ptr %9, align 4, !tbaa !11
  %282 = icmp ne i32 %281, -1
  br i1 %282, label %286, label %283

283:                                              ; preds = %280, %274
  %284 = load i32, ptr %9, align 4, !tbaa !11
  %285 = icmp eq i32 %284, 0
  br i1 %285, label %286, label %301

286:                                              ; preds = %283, %280
  %287 = load ptr, ptr %6, align 8, !tbaa !5
  call void @SPI_CloseTransfer(ptr noundef %287)
  br label %288

288:                                              ; preds = %286
  %289 = load ptr, ptr %6, align 8, !tbaa !5
  %290 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %289, i32 0, i32 13
  store i32 0, ptr %290, align 8, !tbaa !16
  br label %291

291:                                              ; preds = %288
  br label %292

292:                                              ; preds = %291
  %293 = load ptr, ptr %6, align 8, !tbaa !5
  %294 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %293, i32 0, i32 15
  %295 = load volatile i32, ptr %294, align 8, !tbaa !18
  %296 = zext i32 %295 to i64
  %297 = or i64 %296, 256
  %298 = trunc i64 %297 to i32
  store volatile i32 %298, ptr %294, align 8, !tbaa !18
  %299 = load ptr, ptr %6, align 8, !tbaa !5
  %300 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %299, i32 0, i32 14
  store volatile i32 1, ptr %300, align 4, !tbaa !17
  store i32 3, ptr %5, align 4
  store i32 1, ptr %13, align 4
  br label %461

301:                                              ; preds = %283
  br label %302

302:                                              ; preds = %301, %273
  br label %212, !llvm.loop !37

303:                                              ; preds = %212
  br label %430

304:                                              ; preds = %204
  br label %305

305:                                              ; preds = %428, %304
  %306 = load ptr, ptr %6, align 8, !tbaa !5
  %307 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %306, i32 0, i32 4
  %308 = load volatile i16, ptr %307, align 2, !tbaa !21
  %309 = zext i16 %308 to i64
  %310 = icmp ugt i64 %309, 0
  br i1 %310, label %311, label %429

311:                                              ; preds = %305
  %312 = load ptr, ptr %6, align 8, !tbaa !5
  %313 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %312, i32 0, i32 0
  %314 = load ptr, ptr %313, align 8, !tbaa !13
  %315 = getelementptr inbounds %struct.SPI_TypeDef, ptr %314, i32 0, i32 5
  %316 = load volatile i32, ptr %315, align 4, !tbaa !33
  %317 = zext i32 %316 to i64
  %318 = and i64 %317, 2
  %319 = icmp eq i64 %318, 2
  br i1 %319, label %320, label %400

320:                                              ; preds = %311
  %321 = load ptr, ptr %6, align 8, !tbaa !5
  %322 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %321, i32 0, i32 4
  %323 = load volatile i16, ptr %322, align 2, !tbaa !21
  %324 = zext i16 %323 to i64
  %325 = icmp ugt i64 %324, 3
  br i1 %325, label %326, label %352

326:                                              ; preds = %320
  %327 = load ptr, ptr %6, align 8, !tbaa !5
  %328 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %327, i32 0, i32 1
  %329 = getelementptr inbounds %struct.SPI_InitTypeDef, ptr %328, i32 0, i32 14
  %330 = load i32, ptr %329, align 8, !tbaa !36
  %331 = zext i32 %330 to i64
  %332 = icmp ugt i64 %331, 64
  br i1 %332, label %333, label %352

333:                                              ; preds = %326
  %334 = load ptr, ptr %6, align 8, !tbaa !5
  %335 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %334, i32 0, i32 2
  %336 = load ptr, ptr %335, align 8, !tbaa !19
  %337 = load i32, ptr %336, align 4, !tbaa !11
  %338 = load ptr, ptr %6, align 8, !tbaa !5
  %339 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %338, i32 0, i32 0
  %340 = load ptr, ptr %339, align 8, !tbaa !13
  %341 = getelementptr inbounds %struct.SPI_TypeDef, ptr %340, i32 0, i32 8
  store volatile i32 %337, ptr %341, align 4, !tbaa !11
  %342 = load ptr, ptr %6, align 8, !tbaa !5
  %343 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %342, i32 0, i32 2
  %344 = load ptr, ptr %343, align 8, !tbaa !19
  %345 = getelementptr inbounds i8, ptr %344, i64 4
  store ptr %345, ptr %343, align 8, !tbaa !19
  %346 = load ptr, ptr %6, align 8, !tbaa !5
  %347 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %346, i32 0, i32 4
  %348 = load volatile i16, ptr %347, align 2, !tbaa !21
  %349 = zext i16 %348 to i32
  %350 = sub nsw i32 %349, 4
  %351 = trunc i32 %350 to i16
  store volatile i16 %351, ptr %347, align 2, !tbaa !21
  br label %399

352:                                              ; preds = %326, %320
  %353 = load ptr, ptr %6, align 8, !tbaa !5
  %354 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %353, i32 0, i32 4
  %355 = load volatile i16, ptr %354, align 2, !tbaa !21
  %356 = zext i16 %355 to i64
  %357 = icmp ugt i64 %356, 1
  br i1 %357, label %358, label %381

358:                                              ; preds = %352
  %359 = load ptr, ptr %6, align 8, !tbaa !5
  %360 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %359, i32 0, i32 1
  %361 = getelementptr inbounds %struct.SPI_InitTypeDef, ptr %360, i32 0, i32 14
  %362 = load i32, ptr %361, align 8, !tbaa !36
  %363 = zext i32 %362 to i64
  %364 = icmp ugt i64 %363, 0
  br i1 %364, label %365, label %381

365:                                              ; preds = %358
  %366 = load ptr, ptr %6, align 8, !tbaa !5
  %367 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %366, i32 0, i32 2
  %368 = load ptr, ptr %367, align 8, !tbaa !19
  %369 = load i16, ptr %368, align 2, !tbaa !9
  %370 = load ptr, ptr %10, align 8, !tbaa !5
  store volatile i16 %369, ptr %370, align 2, !tbaa !9
  %371 = load ptr, ptr %6, align 8, !tbaa !5
  %372 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %371, i32 0, i32 2
  %373 = load ptr, ptr %372, align 8, !tbaa !19
  %374 = getelementptr inbounds i8, ptr %373, i64 2
  store ptr %374, ptr %372, align 8, !tbaa !19
  %375 = load ptr, ptr %6, align 8, !tbaa !5
  %376 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %375, i32 0, i32 4
  %377 = load volatile i16, ptr %376, align 2, !tbaa !21
  %378 = zext i16 %377 to i32
  %379 = sub nsw i32 %378, 2
  %380 = trunc i32 %379 to i16
  store volatile i16 %380, ptr %376, align 2, !tbaa !21
  br label %398

381:                                              ; preds = %358, %352
  %382 = load ptr, ptr %6, align 8, !tbaa !5
  %383 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %382, i32 0, i32 2
  %384 = load ptr, ptr %383, align 8, !tbaa !19
  %385 = load i8, ptr %384, align 1, !tbaa !38
  %386 = load ptr, ptr %6, align 8, !tbaa !5
  %387 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %386, i32 0, i32 0
  %388 = load ptr, ptr %387, align 8, !tbaa !13
  %389 = getelementptr inbounds %struct.SPI_TypeDef, ptr %388, i32 0, i32 8
  store volatile i8 %385, ptr %389, align 4, !tbaa !38
  %390 = load ptr, ptr %6, align 8, !tbaa !5
  %391 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %390, i32 0, i32 2
  %392 = load ptr, ptr %391, align 8, !tbaa !19
  %393 = getelementptr inbounds i8, ptr %392, i64 1
  store ptr %393, ptr %391, align 8, !tbaa !19
  %394 = load ptr, ptr %6, align 8, !tbaa !5
  %395 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %394, i32 0, i32 4
  %396 = load volatile i16, ptr %395, align 2, !tbaa !21
  %397 = add i16 %396, -1
  store volatile i16 %397, ptr %395, align 2, !tbaa !21
  br label %398

398:                                              ; preds = %381, %365
  br label %399

399:                                              ; preds = %398, %333
  br label %428

400:                                              ; preds = %311
  %401 = call i32 @HAL_GetTick()
  %402 = load i32, ptr %11, align 4, !tbaa !11
  %403 = sub i32 %401, %402
  %404 = load i32, ptr %9, align 4, !tbaa !11
  %405 = icmp uge i32 %403, %404
  br i1 %405, label %406, label %409

406:                                              ; preds = %400
  %407 = load i32, ptr %9, align 4, !tbaa !11
  %408 = icmp ne i32 %407, -1
  br i1 %408, label %412, label %409

409:                                              ; preds = %406, %400
  %410 = load i32, ptr %9, align 4, !tbaa !11
  %411 = icmp eq i32 %410, 0
  br i1 %411, label %412, label %427

412:                                              ; preds = %409, %406
  %413 = load ptr, ptr %6, align 8, !tbaa !5
  call void @SPI_CloseTransfer(ptr noundef %413)
  br label %414

414:                                              ; preds = %412
  %415 = load ptr, ptr %6, align 8, !tbaa !5
  %416 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %415, i32 0, i32 13
  store i32 0, ptr %416, align 8, !tbaa !16
  br label %417

417:                                              ; preds = %414
  br label %418

418:                                              ; preds = %417
  %419 = load ptr, ptr %6, align 8, !tbaa !5
  %420 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %419, i32 0, i32 15
  %421 = load volatile i32, ptr %420, align 8, !tbaa !18
  %422 = zext i32 %421 to i64
  %423 = or i64 %422, 256
  %424 = trunc i64 %423 to i32
  store volatile i32 %424, ptr %420, align 8, !tbaa !18
  %425 = load ptr, ptr %6, align 8, !tbaa !5
  %426 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %425, i32 0, i32 14
  store volatile i32 1, ptr %426, align 4, !tbaa !17
  store i32 3, ptr %5, align 4
  store i32 1, ptr %13, align 4
  br label %461

427:                                              ; preds = %409
  br label %428

428:                                              ; preds = %427, %399
  br label %305, !llvm.loop !39

429:                                              ; preds = %305
  br label %430

430:                                              ; preds = %429, %303
  br label %431

431:                                              ; preds = %430, %203
  %432 = load ptr, ptr %6, align 8, !tbaa !5
  %433 = load i32, ptr %11, align 4, !tbaa !11
  %434 = load i32, ptr %9, align 4, !tbaa !11
  %435 = call i32 @SPI_WaitOnFlagUntilTimeout(ptr noundef %432, i32 noundef 8, i32 noundef 0, i32 noundef %433, i32 noundef %434)
  %436 = icmp ne i32 %435, 0
  br i1 %436, label %437, label %444

437:                                              ; preds = %431
  %438 = load ptr, ptr %6, align 8, !tbaa !5
  %439 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %438, i32 0, i32 15
  %440 = load volatile i32, ptr %439, align 8, !tbaa !18
  %441 = zext i32 %440 to i64
  %442 = or i64 %441, 32
  %443 = trunc i64 %442 to i32
  store volatile i32 %443, ptr %439, align 8, !tbaa !18
  br label %444

444:                                              ; preds = %437, %431
  %445 = load ptr, ptr %6, align 8, !tbaa !5
  call void @SPI_CloseTransfer(ptr noundef %445)
  br label %446

446:                                              ; preds = %444
  %447 = load ptr, ptr %6, align 8, !tbaa !5
  %448 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %447, i32 0, i32 13
  store i32 0, ptr %448, align 8, !tbaa !16
  br label %449

449:                                              ; preds = %446
  br label %450

450:                                              ; preds = %449
  %451 = load ptr, ptr %6, align 8, !tbaa !5
  %452 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %451, i32 0, i32 14
  store volatile i32 1, ptr %452, align 4, !tbaa !17
  %453 = load ptr, ptr %6, align 8, !tbaa !5
  %454 = getelementptr inbounds %struct.__SPI_HandleTypeDef, ptr %453, i32 0, i32 15
  %455 = load volatile i32, ptr %454, align 8, !tbaa !18
  %456 = zext i32 %455 to i64
  %457 = icmp ne i64 %456, 0
  br i1 %457, label %458, label %459

458:                                              ; preds = %450
  store i32 1, ptr %5, align 4
  store i32 1, ptr %13, align 4
  br label %461

459:                                              ; preds = %450
  %460 = load i32, ptr %12, align 4, !tbaa !11
  store i32 %460, ptr %5, align 4
  store i32 1, ptr %13, align 4
  br label %461

461:                                              ; preds = %459, %458, %418, %292, %192, %54, %40, %23
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #3
  %462 = load i32, ptr %5, align 4
  ret i32 %462
}

declare i32 @HAL_GetTick() #2

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

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

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { 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 160}
!17 = !{!14, !12, i64 164}
!18 = !{!14, !12, i64 168}
!19 = !{!14, !6, i64 96}
!20 = !{!14, !10, i64 104}
!21 = !{!14, !10, i64 106}
!22 = !{!14, !6, i64 112}
!23 = !{!14, !10, i64 120}
!24 = !{!14, !10, i64 122}
!25 = !{!14, !6, i64 136}
!26 = !{!14, !6, i64 128}
!27 = !{!14, !12, i64 12}
!28 = !{!29, !12, i64 0}
!29 = !{!"", !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}
!30 = !{!29, !12, i64 4}
!31 = !{!14, !12, i64 8}
!32 = !{!14, !12, i64 16}
!33 = !{!29, !12, i64 20}
!34 = distinct !{!34, !35}
!35 = !{!"llvm.loop.mustprogress"}
!36 = !{!14, !12, i64 64}
!37 = distinct !{!37, !35}
!38 = !{!7, !7, i64 0}
!39 = distinct !{!39, !35}


; 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
define dso_local range(i32 0, 4) i32 @HAL_SPI_Transmit(ptr noundef %0, ptr noundef %1, i16 noundef zeroext %2, i32 noundef %3) local_unnamed_addr #0 {
  %5 = load ptr, ptr %0, align 8, !tbaa !5
  %6 = getelementptr inbounds i8, ptr %5, i64 32
  %7 = getelementptr inbounds i8, ptr %0, i64 160
  %8 = load i32, ptr %7, align 8, !tbaa !13
  %9 = icmp eq i32 %8, 1
  br i1 %9, label %192, label %10

10:                                               ; preds = %4
  store i32 1, ptr %7, align 8, !tbaa !13
  %11 = tail call i32 @HAL_GetTick() #3
  %12 = getelementptr inbounds i8, ptr %0, i64 164
  %13 = load volatile i32, ptr %12, align 4, !tbaa !14
  %.not = icmp eq i32 %13, 1
  br i1 %.not, label %15, label %14

14:                                               ; preds = %10
  store i32 0, ptr %7, align 8, !tbaa !13
  br label %192

15:                                               ; preds = %10
  %16 = icmp eq ptr %1, null
  %17 = icmp eq i16 %2, 0
  %or.cond = or i1 %16, %17
  br i1 %or.cond, label %18, label %19

18:                                               ; preds = %15
  store i32 0, ptr %7, align 8, !tbaa !13
  br label %192

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

32:                                               ; preds = %19
  %33 = load volatile i32, ptr %.pre, align 4, !tbaa !23
  %34 = or i32 %33, 2048
  store volatile i32 %34, ptr %.pre, align 4, !tbaa !23
  br label %35

35:                                               ; preds = %32, %19
  %36 = getelementptr inbounds i8, ptr %.pre, i64 4
  %37 = load volatile i32, ptr %36, align 4, !tbaa !25
  %38 = and i32 %37, -65536
  %39 = zext i16 %2 to i32
  %40 = or disjoint i32 %38, %39
  store volatile i32 %40, ptr %36, align 4, !tbaa !25
  %41 = load volatile i32, ptr %.pre, align 4, !tbaa !23
  %42 = or i32 %41, 1
  store volatile i32 %42, ptr %.pre, align 4, !tbaa !23
  %43 = load i32, ptr %28, align 8, !tbaa !26
  %44 = icmp eq i32 %43, 4194304
  br i1 %44, label %45, label %48

45:                                               ; preds = %35
  %46 = load volatile i32, ptr %.pre, align 4, !tbaa !23
  %47 = or i32 %46, 512
  store volatile i32 %47, ptr %.pre, align 4, !tbaa !23
  br label %48

48:                                               ; preds = %45, %35
  %49 = getelementptr inbounds i8, ptr %0, i64 16
  %50 = load i32, ptr %49, align 8, !tbaa !27
  %51 = icmp ugt i32 %50, 15
  br i1 %51, label %.preheader, label %87

.preheader:                                       ; preds = %48
  %52 = load volatile i16, ptr %23, align 2, !tbaa !18
  %.not125136 = icmp eq i16 %52, 0
  br i1 %.not125136, label %.loopexit, label %.lr.ph137

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

.lr.ph137.split.us:                               ; preds = %.lr.ph137, %66
  %53 = load ptr, ptr %0, align 8, !tbaa !5
  %54 = getelementptr inbounds i8, ptr %53, i64 20
  %55 = load volatile i32, ptr %54, align 4, !tbaa !28
  %56 = and i32 %55, 2
  %.not128.us = icmp eq i32 %56, 0
  br i1 %.not128.us, label %64, label %57

57:                                               ; preds = %.lr.ph137.split.us
  %58 = load ptr, ptr %21, align 8, !tbaa !16
  %59 = load i32, ptr %58, align 4, !tbaa !29
  %60 = getelementptr inbounds i8, ptr %53, i64 32
  store volatile i32 %59, ptr %60, align 4, !tbaa !29
  %61 = getelementptr inbounds i8, ptr %58, i64 4
  store ptr %61, ptr %21, align 8, !tbaa !16
  %62 = load volatile i16, ptr %23, align 2, !tbaa !18
  %63 = add i16 %62, -1
  store volatile i16 %63, ptr %23, align 2, !tbaa !18
  br label %66

64:                                               ; preds = %.lr.ph137.split.us
  %65 = tail call i32 @HAL_GetTick() #3
  br label %66

66:                                               ; preds = %64, %57
  %67 = load volatile i16, ptr %23, align 2, !tbaa !18
  %.not125.us = icmp eq i16 %67, 0
  br i1 %.not125.us, label %.loopexit, label %.lr.ph137.split.us, !llvm.loop !30

.lr.ph137.split:                                  ; preds = %.lr.ph137, %85
  %68 = load ptr, ptr %0, align 8, !tbaa !5
  %69 = getelementptr inbounds i8, ptr %68, i64 20
  %70 = load volatile i32, ptr %69, align 4, !tbaa !28
  %71 = and i32 %70, 2
  %.not128 = icmp eq i32 %71, 0
  br i1 %.not128, label %79, label %72

72:                                               ; preds = %.lr.ph137.split
  %73 = load ptr, ptr %21, align 8, !tbaa !16
  %74 = load i32, ptr %73, align 4, !tbaa !29
  %75 = getelementptr inbounds i8, ptr %68, i64 32
  store volatile i32 %74, ptr %75, align 4, !tbaa !29
  %76 = getelementptr inbounds i8, ptr %73, i64 4
  store ptr %76, ptr %21, align 8, !tbaa !16
  %77 = load volatile i16, ptr %23, align 2, !tbaa !18
  %78 = add i16 %77, -1
  store volatile i16 %78, ptr %23, align 2, !tbaa !18
  br label %85

79:                                               ; preds = %.lr.ph137.split
  %80 = tail call i32 @HAL_GetTick() #3
  %81 = sub i32 %80, %11
  %.not141 = icmp ult i32 %81, %3
  br i1 %.not141, label %85, label %82

82:                                               ; preds = %79
  tail call void @SPI_CloseTransfer(ptr noundef nonnull %0)
  store i32 0, ptr %7, align 8, !tbaa !13
  %83 = load volatile i32, ptr %20, align 8, !tbaa !15
  %84 = or i32 %83, 256
  store volatile i32 %84, ptr %20, align 8, !tbaa !15
  store volatile i32 1, ptr %12, align 4, !tbaa !14
  br label %192

85:                                               ; preds = %79, %72
  %86 = load volatile i16, ptr %23, align 2, !tbaa !18
  %.not125 = icmp eq i16 %86, 0
  br i1 %.not125, label %.loopexit, label %.lr.ph137.split, !llvm.loop !30

87:                                               ; preds = %48
  %88 = icmp ugt i32 %50, 7
  %89 = load volatile i16, ptr %23, align 2, !tbaa !18
  %.not122134 = icmp eq i16 %89, 0
  br i1 %88, label %.preheader129, label %.preheader131

.preheader131:                                    ; preds = %87
  br i1 %.not122134, label %.loopexit, label %.lr.ph

.lr.ph:                                           ; preds = %.preheader131
  %90 = getelementptr inbounds i8, ptr %0, i64 64
  %91 = icmp ne i32 %3, -1
  br label %145

.preheader129:                                    ; preds = %87
  br i1 %.not122134, label %.loopexit, label %.lr.ph135

.lr.ph135:                                        ; preds = %.preheader129
  %92 = getelementptr inbounds i8, ptr %0, i64 64
  %.not138 = icmp eq i32 %3, -1
  br i1 %.not138, label %.lr.ph135.split.us, label %.lr.ph135.split

.lr.ph135.split.us:                               ; preds = %.lr.ph135, %116
  %93 = load ptr, ptr %0, align 8, !tbaa !5
  %94 = getelementptr inbounds i8, ptr %93, i64 20
  %95 = load volatile i32, ptr %94, align 4, !tbaa !28
  %96 = and i32 %95, 2
  %.not123.us = icmp eq i32 %96, 0
  br i1 %.not123.us, label %114, label %97

97:                                               ; preds = %.lr.ph135.split.us
  %98 = load volatile i16, ptr %23, align 2, !tbaa !18
  %99 = icmp ugt i16 %98, 1
  br i1 %99, label %100, label %._crit_edge151

._crit_edge151:                                   ; preds = %97
  %.pre152 = load ptr, ptr %21, align 8, !tbaa !16
  br label %108

100:                                              ; preds = %97
  %101 = load i32, ptr %92, align 8, !tbaa !32
  %.not124.us = icmp eq i32 %101, 0
  %.pre153 = load ptr, ptr %21, align 8, !tbaa !16
  br i1 %.not124.us, label %108, label %102

102:                                              ; preds = %100
  %103 = load i32, ptr %.pre153, align 4, !tbaa !29
  %104 = getelementptr inbounds i8, ptr %93, i64 32
  store volatile i32 %103, ptr %104, align 4, !tbaa !29
  %105 = getelementptr inbounds i8, ptr %.pre153, i64 4
  store ptr %105, ptr %21, align 8, !tbaa !16
  %106 = load volatile i16, ptr %23, align 2, !tbaa !18
  %107 = add i16 %106, -2
  store volatile i16 %107, ptr %23, align 2, !tbaa !18
  br label %116

108:                                              ; preds = %._crit_edge151, %100
  %109 = phi ptr [ %.pre152, %._crit_edge151 ], [ %.pre153, %100 ]
  %110 = load i16, ptr %109, align 2, !tbaa !33
  store volatile i16 %110, ptr %6, align 2, !tbaa !33
  %111 = getelementptr inbounds i8, ptr %109, i64 2
  store ptr %111, ptr %21, align 8, !tbaa !16
  %112 = load volatile i16, ptr %23, align 2, !tbaa !18
  %113 = add i16 %112, -1
  store volatile i16 %113, ptr %23, align 2, !tbaa !18
  br label %116

114:                                              ; preds = %.lr.ph135.split.us
  %115 = tail call i32 @HAL_GetTick() #3
  br label %116

116:                                              ; preds = %114, %108, %102
  %117 = load volatile i16, ptr %23, align 2, !tbaa !18
  %.not122.us = icmp eq i16 %117, 0
  br i1 %.not122.us, label %.loopexit, label %.lr.ph135.split.us, !llvm.loop !34

.lr.ph135.split:                                  ; preds = %.lr.ph135, %143
  %118 = load ptr, ptr %0, align 8, !tbaa !5
  %119 = getelementptr inbounds i8, ptr %118, i64 20
  %120 = load volatile i32, ptr %119, align 4, !tbaa !28
  %121 = and i32 %120, 2
  %.not123 = icmp eq i32 %121, 0
  br i1 %.not123, label %135, label %122

122:                                              ; preds = %.lr.ph135.split
  %123 = load volatile i16, ptr %23, align 2, !tbaa !18
  %124 = icmp ugt i16 %123, 1
  br i1 %124, label %125, label %._crit_edge148

._crit_edge148:                                   ; preds = %122
  %.pre149 = load ptr, ptr %21, align 8, !tbaa !16
  br label %131

125:                                              ; preds = %122
  %126 = load i32, ptr %92, align 8, !tbaa !32
  %.not124 = icmp eq i32 %126, 0
  %.pre150 = load ptr, ptr %21, align 8, !tbaa !16
  br i1 %.not124, label %131, label %127

127:                                              ; preds = %125
  %128 = load i32, ptr %.pre150, align 4, !tbaa !29
  %129 = getelementptr inbounds i8, ptr %118, i64 32
  store volatile i32 %128, ptr %129, align 4, !tbaa !29
  %130 = getelementptr inbounds i8, ptr %.pre150, i64 4
  br label %.sink.split

131:                                              ; preds = %._crit_edge148, %125
  %132 = phi ptr [ %.pre149, %._crit_edge148 ], [ %.pre150, %125 ]
  %133 = load i16, ptr %132, align 2, !tbaa !33
  store volatile i16 %133, ptr %6, align 2, !tbaa !33
  %134 = getelementptr inbounds i8, ptr %132, i64 2
  br label %.sink.split

135:                                              ; preds = %.lr.ph135.split
  %136 = tail call i32 @HAL_GetTick() #3
  %137 = sub i32 %136, %11
  %.not139 = icmp ult i32 %137, %3
  br i1 %.not139, label %143, label %138

138:                                              ; preds = %135
  tail call void @SPI_CloseTransfer(ptr noundef nonnull %0)
  store i32 0, ptr %7, align 8, !tbaa !13
  %139 = load volatile i32, ptr %20, align 8, !tbaa !15
  %140 = or i32 %139, 256
  store volatile i32 %140, ptr %20, align 8, !tbaa !15
  store volatile i32 1, ptr %12, align 4, !tbaa !14
  br label %192

.sink.split:                                      ; preds = %131, %127
  %.sink = phi ptr [ %130, %127 ], [ %134, %131 ]
  %.sink159 = phi i16 [ -2, %127 ], [ -1, %131 ]
  store ptr %.sink, ptr %21, align 8, !tbaa !16
  %141 = load volatile i16, ptr %23, align 2, !tbaa !18
  %142 = add i16 %141, %.sink159
  store volatile i16 %142, ptr %23, align 2, !tbaa !18
  br label %143

143:                                              ; preds = %.sink.split, %135
  %144 = load volatile i16, ptr %23, align 2, !tbaa !18
  %.not122 = icmp eq i16 %144, 0
  br i1 %.not122, label %.loopexit, label %.lr.ph135.split, !llvm.loop !34

145:                                              ; preds = %.lr.ph, %184
  %146 = load ptr, ptr %0, align 8, !tbaa !5
  %147 = getelementptr inbounds i8, ptr %146, i64 20
  %148 = load volatile i32, ptr %147, align 4, !tbaa !28
  %149 = and i32 %148, 2
  %.not120 = icmp eq i32 %149, 0
  br i1 %.not120, label %175, label %150

150:                                              ; preds = %145
  %151 = load volatile i16, ptr %23, align 2, !tbaa !18
  %152 = icmp ugt i16 %151, 3
  br i1 %152, label %153, label %161

153:                                              ; preds = %150
  %154 = load i32, ptr %90, align 8, !tbaa !32
  %155 = icmp ugt i32 %154, 64
  br i1 %155, label %156, label %161

156:                                              ; preds = %153
  %157 = load ptr, ptr %21, align 8, !tbaa !16
  %158 = load i32, ptr %157, align 4, !tbaa !29
  %159 = getelementptr inbounds i8, ptr %146, i64 32
  store volatile i32 %158, ptr %159, align 4, !tbaa !29
  %160 = getelementptr inbounds i8, ptr %157, i64 4
  br label %.sink.split160

161:                                              ; preds = %153, %150
  %162 = load volatile i16, ptr %23, align 2, !tbaa !18
  %163 = icmp ugt i16 %162, 1
  br i1 %163, label %164, label %._crit_edge

._crit_edge:                                      ; preds = %161
  %.pre146 = load ptr, ptr %21, align 8, !tbaa !16
  br label %169

164:                                              ; preds = %161
  %165 = load i32, ptr %90, align 8, !tbaa !32
  %.not121 = icmp eq i32 %165, 0
  %.pre147 = load ptr, ptr %21, align 8, !tbaa !16
  br i1 %.not121, label %169, label %166

166:                                              ; preds = %164
  %167 = load i16, ptr %.pre147, align 2, !tbaa !33
  store volatile i16 %167, ptr %6, align 2, !tbaa !33
  %168 = getelementptr inbounds i8, ptr %.pre147, i64 2
  br label %.sink.split160

169:                                              ; preds = %._crit_edge, %164
  %170 = phi ptr [ %.pre146, %._crit_edge ], [ %.pre147, %164 ]
  %171 = load i8, ptr %170, align 1, !tbaa !35
  %172 = getelementptr inbounds i8, ptr %146, i64 32
  store volatile i8 %171, ptr %172, align 4, !tbaa !35
  %173 = load ptr, ptr %21, align 8, !tbaa !16
  %174 = getelementptr inbounds i8, ptr %173, i64 1
  br label %.sink.split160

175:                                              ; preds = %145
  %176 = tail call i32 @HAL_GetTick() #3
  %177 = sub i32 %176, %11
  %178 = icmp uge i32 %177, %3
  %or.cond12 = and i1 %91, %178
  br i1 %or.cond12, label %179, label %184

179:                                              ; preds = %175
  tail call void @SPI_CloseTransfer(ptr noundef nonnull %0)
  store i32 0, ptr %7, align 8, !tbaa !13
  %180 = load volatile i32, ptr %20, align 8, !tbaa !15
  %181 = or i32 %180, 256
  store volatile i32 %181, ptr %20, align 8, !tbaa !15
  store volatile i32 1, ptr %12, align 4, !tbaa !14
  br label %192

.sink.split160:                                   ; preds = %166, %169, %156
  %.sink164 = phi ptr [ %160, %156 ], [ %174, %169 ], [ %168, %166 ]
  %.sink163 = phi i16 [ -4, %156 ], [ -1, %169 ], [ -2, %166 ]
  store ptr %.sink164, ptr %21, align 8, !tbaa !16
  %182 = load volatile i16, ptr %23, align 2, !tbaa !18
  %183 = add i16 %182, %.sink163
  store volatile i16 %183, ptr %23, align 2, !tbaa !18
  br label %184

184:                                              ; preds = %.sink.split160, %175
  %185 = load volatile i16, ptr %23, align 2, !tbaa !18
  %.not119 = icmp eq i16 %185, 0
  br i1 %.not119, label %.loopexit, label %145, !llvm.loop !36

.loopexit:                                        ; preds = %184, %143, %116, %85, %66, %.preheader131, %.preheader129, %.preheader
  %186 = tail call i32 @SPI_WaitOnFlagUntilTimeout(ptr noundef nonnull %0, i32 noundef 8, i32 noundef 0, i32 noundef %11, i32 noundef %3)
  %.not126 = icmp eq i32 %186, 0
  br i1 %.not126, label %190, label %187

187:                                              ; preds = %.loopexit
  %188 = load volatile i32, ptr %20, align 8, !tbaa !15
  %189 = or i32 %188, 32
  store volatile i32 %189, ptr %20, align 8, !tbaa !15
  br label %190

190:                                              ; preds = %187, %.loopexit
  tail call void @SPI_CloseTransfer(ptr noundef nonnull %0)
  store i32 0, ptr %7, align 8, !tbaa !13
  store volatile i32 1, ptr %12, align 4, !tbaa !14
  %191 = load volatile i32, ptr %20, align 8, !tbaa !15
  %.not127 = icmp ne i32 %191, 0
  %. = zext i1 %.not127 to i32
  br label %192

192:                                              ; preds = %190, %4, %179, %138, %82, %18, %14
  %.0 = phi i32 [ 2, %14 ], [ 1, %18 ], [ 3, %82 ], [ 3, %138 ], [ 3, %179 ], [ 2, %4 ], [ %., %190 ]
  ret i32 %.0
}

declare i32 @HAL_GetTick() local_unnamed_addr #1

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

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

; 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 = { 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 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 160}
!14 = !{!6, !11, i64 164}
!15 = !{!6, !11, i64 168}
!16 = !{!6, !7, i64 96}
!17 = !{!6, !12, i64 104}
!18 = !{!6, !12, i64 106}
!19 = !{!6, !7, i64 112}
!20 = !{!6, !12, i64 120}
!21 = !{!6, !12, i64 122}
!22 = !{!6, !11, i64 12}
!23 = !{!24, !11, i64 0}
!24 = !{!"", !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}
!25 = !{!24, !11, i64 4}
!26 = !{!6, !11, i64 8}
!27 = !{!6, !11, i64 16}
!28 = !{!24, !11, i64 20}
!29 = !{!11, !11, i64 0}
!30 = distinct !{!30, !31}
!31 = !{!"llvm.loop.mustprogress"}
!32 = !{!6, !11, i64 64}
!33 = !{!12, !12, i64 0}
!34 = distinct !{!34, !31}
!35 = !{!8, !8, i64 0}
!36 = distinct !{!36, !31}


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