; LLVM IR from erincatto/box2d :: src (hull)

; 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.b2AABB = type { %struct.b2Vec2, %struct.b2Vec2 }
%struct.b2Vec2 = type { float, float }
%struct.b2Hull = type { [8 x %struct.b2Vec2], i32 }

@__const.b2ComputeHull.aabb = external hidden unnamed_addr constant %struct.b2AABB, align 4
@b2_lengthUnitsPerMeter = external global float, align 4
@.str = external hidden unnamed_addr constant [38 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [60 x i8], align 1

; Function Attrs: nounwind uwtable
define dso_local void @b2ComputeHull(ptr dead_on_unwind noalias writable sret(%struct.b2Hull) align 4 %0, ptr noundef %1, i32 noundef %2) #0 {
  %4 = alloca ptr, align 8
  %5 = alloca i32, align 4
  %6 = alloca %struct.b2AABB, align 4
  %7 = alloca [8 x %struct.b2Vec2], align 16
  %8 = alloca i32, align 4
  %9 = alloca float, align 4
  %10 = alloca float, align 4
  %11 = alloca i32, align 4
  %12 = alloca i32, align 4
  %13 = alloca %struct.b2Vec2, align 4
  %14 = alloca %struct.b2Vec2, align 4
  %15 = alloca %struct.b2Vec2, align 4
  %16 = alloca i8, align 1
  %17 = alloca i32, align 4
  %18 = alloca %struct.b2Vec2, align 4
  %19 = alloca float, align 4
  %20 = alloca %struct.b2Vec2, align 4
  %21 = alloca i32, align 4
  %22 = alloca float, align 4
  %23 = alloca i32, align 4
  %24 = alloca float, align 4
  %25 = alloca %struct.b2Vec2, align 4
  %26 = alloca i32, align 4
  %27 = alloca float, align 4
  %28 = alloca i32, align 4
  %29 = alloca float, align 4
  %30 = alloca %struct.b2Vec2, align 4
  %31 = alloca [6 x %struct.b2Vec2], align 16
  %32 = alloca i32, align 4
  %33 = alloca [6 x %struct.b2Vec2], align 16
  %34 = alloca i32, align 4
  %35 = alloca %struct.b2Vec2, align 4
  %36 = alloca %struct.b2Vec2, align 4
  %37 = alloca i32, align 4
  %38 = alloca float, align 4
  %39 = alloca %struct.b2Vec2, align 4
  %40 = alloca %struct.b2Hull, align 4
  %41 = alloca %struct.b2Hull, align 4
  %42 = alloca i32, align 4
  %43 = alloca i32, align 4
  %44 = alloca i8, align 1
  %45 = alloca i32, align 4
  %46 = alloca i32, align 4
  %47 = alloca i32, align 4
  %48 = alloca i32, align 4
  %49 = alloca %struct.b2Vec2, align 4
  %50 = alloca %struct.b2Vec2, align 4
  %51 = alloca %struct.b2Vec2, align 4
  %52 = alloca %struct.b2Vec2, align 4
  %53 = alloca %struct.b2Vec2, align 4
  %54 = alloca float, align 4
  %55 = alloca %struct.b2Vec2, align 4
  %56 = alloca i32, align 4
  store ptr %1, ptr %4, align 8, !tbaa !5
  store i32 %2, ptr %5, align 4, !tbaa !9
  %57 = getelementptr inbounds %struct.b2Hull, ptr %0, i32 0, i32 1
  store i32 0, ptr %57, align 4, !tbaa !11
  %58 = load i32, ptr %5, align 4, !tbaa !9
  %59 = icmp slt i32 %58, 3
  br i1 %59, label %63, label %60

60:                                               ; preds = %3
  %61 = load i32, ptr %5, align 4, !tbaa !9
  %62 = icmp sgt i32 %61, 8
  br i1 %62, label %63, label %64

63:                                               ; preds = %60, %3
  br label %462

64:                                               ; preds = %60
  %65 = load i32, ptr %5, align 4, !tbaa !9
  %66 = call i32 @b2MinInt(i32 noundef %65, i32 noundef 8)
  store i32 %66, ptr %5, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 16, ptr %6) #7
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %6, ptr align 4 @__const.b2ComputeHull.aabb, i64 16, i1 false)
  call void @llvm.lifetime.start.p0(i64 64, ptr %7) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #7
  store i32 0, ptr %8, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #7
  %67 = load float, ptr @b2_lengthUnitsPerMeter, align 4, !tbaa !13
  %68 = fmul float 0x3F747AE140000000, %67
  store float %68, ptr %9, align 4, !tbaa !13
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #7
  %69 = load float, ptr %9, align 4, !tbaa !13
  %70 = fmul float 1.600000e+01, %69
  %71 = load float, ptr %9, align 4, !tbaa !13
  %72 = fmul float %70, %71
  store float %72, ptr %10, align 4, !tbaa !13
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #7
  store i32 0, ptr %11, align 4, !tbaa !9
  br label %73

73:                                               ; preds = %135, %64
  %74 = load i32, ptr %11, align 4, !tbaa !9
  %75 = load i32, ptr %5, align 4, !tbaa !9
  %76 = icmp slt i32 %74, %75
  br i1 %76, label %78, label %77

77:                                               ; preds = %73
  store i32 2, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #7
  br label %138

78:                                               ; preds = %73
  %79 = getelementptr inbounds %struct.b2AABB, ptr %6, i32 0, i32 0
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #7
  %80 = getelementptr inbounds %struct.b2AABB, ptr %6, i32 0, i32 0
  %81 = load ptr, ptr %4, align 8, !tbaa !5
  %82 = load i32, ptr %11, align 4, !tbaa !9
  %83 = sext i32 %82 to i64
  %84 = getelementptr inbounds %struct.b2Vec2, ptr %81, i64 %83
  %85 = load <2 x float>, ptr %80, align 4
  %86 = load <2 x float>, ptr %84, align 4
  %87 = call <2 x float> @b2Min(<2 x float> %85, <2 x float> %86)
  store <2 x float> %87, ptr %13, align 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %79, ptr align 4 %13, i64 8, i1 false), !tbaa.struct !15
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #7
  %88 = getelementptr inbounds %struct.b2AABB, ptr %6, i32 0, i32 1
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #7
  %89 = getelementptr inbounds %struct.b2AABB, ptr %6, i32 0, i32 1
  %90 = load ptr, ptr %4, align 8, !tbaa !5
  %91 = load i32, ptr %11, align 4, !tbaa !9
  %92 = sext i32 %91 to i64
  %93 = getelementptr inbounds %struct.b2Vec2, ptr %90, i64 %92
  %94 = load <2 x float>, ptr %89, align 4
  %95 = load <2 x float>, ptr %93, align 4
  %96 = call <2 x float> @b2Max(<2 x float> %94, <2 x float> %95)
  store <2 x float> %96, ptr %14, align 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %88, ptr align 4 %14, i64 8, i1 false), !tbaa.struct !15
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #7
  %97 = load ptr, ptr %4, align 8, !tbaa !5
  %98 = load i32, ptr %11, align 4, !tbaa !9
  %99 = sext i32 %98 to i64
  %100 = getelementptr inbounds %struct.b2Vec2, ptr %97, i64 %99
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %15, ptr align 4 %100, i64 8, i1 false), !tbaa.struct !15
  call void @llvm.lifetime.start.p0(i64 1, ptr %16) #7
  store i8 1, ptr %16, align 1, !tbaa !16
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #7
  store i32 0, ptr %17, align 4, !tbaa !9
  br label %101

101:                                              ; preds = %122, %78
  %102 = load i32, ptr %17, align 4, !tbaa !9
  %103 = load i32, ptr %11, align 4, !tbaa !9
  %104 = icmp slt i32 %102, %103
  br i1 %104, label %106, label %105

105:                                              ; preds = %101
  store i32 5, ptr %12, align 4
  br label %125

106:                                              ; preds = %101
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #7
  %107 = load ptr, ptr %4, align 8, !tbaa !5
  %108 = load i32, ptr %17, align 4, !tbaa !9
  %109 = sext i32 %108 to i64
  %110 = getelementptr inbounds %struct.b2Vec2, ptr %107, i64 %109
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %18, ptr align 4 %110, i64 8, i1 false), !tbaa.struct !15
  call void @llvm.lifetime.start.p0(i64 4, ptr %19) #7
  %111 = load <2 x float>, ptr %15, align 4
  %112 = load <2 x float>, ptr %18, align 4
  %113 = call float @b2DistanceSquared(<2 x float> %111, <2 x float> %112)
  store float %113, ptr %19, align 4, !tbaa !13
  %114 = load float, ptr %19, align 4, !tbaa !13
  %115 = load float, ptr %10, align 4, !tbaa !13
  %116 = fcmp olt float %114, %115
  br i1 %116, label %117, label %118

117:                                              ; preds = %106
  store i8 0, ptr %16, align 1, !tbaa !16
  store i32 5, ptr %12, align 4
  br label %119

118:                                              ; preds = %106
  store i32 0, ptr %12, align 4
  br label %119

119:                                              ; preds = %118, %117
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #7
  %120 = load i32, ptr %12, align 4
  switch i32 %120, label %125 [
    i32 0, label %121
  ]

121:                                              ; preds = %119
  br label %122

122:                                              ; preds = %121
  %123 = load i32, ptr %17, align 4, !tbaa !9
  %124 = add nsw i32 %123, 1
  store i32 %124, ptr %17, align 4, !tbaa !9
  br label %101, !llvm.loop !18

125:                                              ; preds = %119, %105
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #7
  br label %126

126:                                              ; preds = %125
  %127 = load i8, ptr %16, align 1, !tbaa !16, !range !20, !noundef !21
  %128 = trunc i8 %127 to i1
  br i1 %128, label %129, label %134

129:                                              ; preds = %126
  %130 = load i32, ptr %8, align 4, !tbaa !9
  %131 = add nsw i32 %130, 1
  store i32 %131, ptr %8, align 4, !tbaa !9
  %132 = sext i32 %130 to i64
  %133 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %7, i64 0, i64 %132
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %133, ptr align 4 %15, i64 8, i1 false), !tbaa.struct !15
  br label %134

134:                                              ; preds = %129, %126
  call void @llvm.lifetime.end.p0(i64 1, ptr %16) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #7
  br label %135

135:                                              ; preds = %134
  %136 = load i32, ptr %11, align 4, !tbaa !9
  %137 = add nsw i32 %136, 1
  store i32 %137, ptr %11, align 4, !tbaa !9
  br label %73, !llvm.loop !22

138:                                              ; preds = %77
  %139 = load i32, ptr %8, align 4, !tbaa !9
  %140 = icmp slt i32 %139, 3
  br i1 %140, label %141, label %142

141:                                              ; preds = %138
  store i32 1, ptr %12, align 4
  br label %461

142:                                              ; preds = %138
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #7
  %143 = getelementptr inbounds { <2 x float>, <2 x float> }, ptr %6, i32 0, i32 0
  %144 = load <2 x float>, ptr %143, align 4
  %145 = getelementptr inbounds { <2 x float>, <2 x float> }, ptr %6, i32 0, i32 1
  %146 = load <2 x float>, ptr %145, align 4
  %147 = call <2 x float> @b2AABB_Center(<2 x float> %144, <2 x float> %146)
  store <2 x float> %147, ptr %20, align 4
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #7
  store i32 0, ptr %21, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %22) #7
  %148 = load i32, ptr %21, align 4, !tbaa !9
  %149 = sext i32 %148 to i64
  %150 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %7, i64 0, i64 %149
  %151 = load <2 x float>, ptr %20, align 4
  %152 = load <2 x float>, ptr %150, align 8
  %153 = call float @b2DistanceSquared(<2 x float> %151, <2 x float> %152)
  store float %153, ptr %22, align 4, !tbaa !13
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #7
  store i32 1, ptr %23, align 4, !tbaa !9
  br label %154

154:                                              ; preds = %173, %142
  %155 = load i32, ptr %23, align 4, !tbaa !9
  %156 = load i32, ptr %8, align 4, !tbaa !9
  %157 = icmp slt i32 %155, %156
  br i1 %157, label %159, label %158

158:                                              ; preds = %154
  store i32 8, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #7
  br label %176

159:                                              ; preds = %154
  call void @llvm.lifetime.start.p0(i64 4, ptr %24) #7
  %160 = load i32, ptr %23, align 4, !tbaa !9
  %161 = sext i32 %160 to i64
  %162 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %7, i64 0, i64 %161
  %163 = load <2 x float>, ptr %20, align 4
  %164 = load <2 x float>, ptr %162, align 8
  %165 = call float @b2DistanceSquared(<2 x float> %163, <2 x float> %164)
  store float %165, ptr %24, align 4, !tbaa !13
  %166 = load float, ptr %24, align 4, !tbaa !13
  %167 = load float, ptr %22, align 4, !tbaa !13
  %168 = fcmp ogt float %166, %167
  br i1 %168, label %169, label %172

169:                                              ; preds = %159
  %170 = load i32, ptr %23, align 4, !tbaa !9
  store i32 %170, ptr %21, align 4, !tbaa !9
  %171 = load float, ptr %24, align 4, !tbaa !13
  store float %171, ptr %22, align 4, !tbaa !13
  br label %172

172:                                              ; preds = %169, %159
  call void @llvm.lifetime.end.p0(i64 4, ptr %24) #7
  br label %173

173:                                              ; preds = %172
  %174 = load i32, ptr %23, align 4, !tbaa !9
  %175 = add nsw i32 %174, 1
  store i32 %175, ptr %23, align 4, !tbaa !9
  br label %154, !llvm.loop !23

176:                                              ; preds = %158
  call void @llvm.lifetime.start.p0(i64 8, ptr %25) #7
  %177 = load i32, ptr %21, align 4, !tbaa !9
  %178 = sext i32 %177 to i64
  %179 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %7, i64 0, i64 %178
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %25, ptr align 8 %179, i64 8, i1 false), !tbaa.struct !15
  %180 = load i32, ptr %21, align 4, !tbaa !9
  %181 = sext i32 %180 to i64
  %182 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %7, i64 0, i64 %181
  %183 = load i32, ptr %8, align 4, !tbaa !9
  %184 = sub nsw i32 %183, 1
  %185 = sext i32 %184 to i64
  %186 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %7, i64 0, i64 %185
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %182, ptr align 8 %186, i64 8, i1 false), !tbaa.struct !15
  %187 = load i32, ptr %8, align 4, !tbaa !9
  %188 = sub nsw i32 %187, 1
  store i32 %188, ptr %8, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %26) #7
  store i32 0, ptr %26, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %27) #7
  %189 = load i32, ptr %26, align 4, !tbaa !9
  %190 = sext i32 %189 to i64
  %191 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %7, i64 0, i64 %190
  %192 = load <2 x float>, ptr %25, align 4
  %193 = load <2 x float>, ptr %191, align 8
  %194 = call float @b2DistanceSquared(<2 x float> %192, <2 x float> %193)
  store float %194, ptr %27, align 4, !tbaa !13
  call void @llvm.lifetime.start.p0(i64 4, ptr %28) #7
  store i32 1, ptr %28, align 4, !tbaa !9
  br label %195

195:                                              ; preds = %214, %176
  %196 = load i32, ptr %28, align 4, !tbaa !9
  %197 = load i32, ptr %8, align 4, !tbaa !9
  %198 = icmp slt i32 %196, %197
  br i1 %198, label %200, label %199

199:                                              ; preds = %195
  store i32 11, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #7
  br label %217

200:                                              ; preds = %195
  call void @llvm.lifetime.start.p0(i64 4, ptr %29) #7
  %201 = load i32, ptr %28, align 4, !tbaa !9
  %202 = sext i32 %201 to i64
  %203 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %7, i64 0, i64 %202
  %204 = load <2 x float>, ptr %25, align 4
  %205 = load <2 x float>, ptr %203, align 8
  %206 = call float @b2DistanceSquared(<2 x float> %204, <2 x float> %205)
  store float %206, ptr %29, align 4, !tbaa !13
  %207 = load float, ptr %29, align 4, !tbaa !13
  %208 = load float, ptr %27, align 4, !tbaa !13
  %209 = fcmp ogt float %207, %208
  br i1 %209, label %210, label %213

210:                                              ; preds = %200
  %211 = load i32, ptr %28, align 4, !tbaa !9
  store i32 %211, ptr %26, align 4, !tbaa !9
  %212 = load float, ptr %29, align 4, !tbaa !13
  store float %212, ptr %27, align 4, !tbaa !13
  br label %213

213:                                              ; preds = %210, %200
  call void @llvm.lifetime.end.p0(i64 4, ptr %29) #7
  br label %214

214:                                              ; preds = %213
  %215 = load i32, ptr %28, align 4, !tbaa !9
  %216 = add nsw i32 %215, 1
  store i32 %216, ptr %28, align 4, !tbaa !9
  br label %195, !llvm.loop !24

217:                                              ; preds = %199
  call void @llvm.lifetime.start.p0(i64 8, ptr %30) #7
  %218 = load i32, ptr %26, align 4, !tbaa !9
  %219 = sext i32 %218 to i64
  %220 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %7, i64 0, i64 %219
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %30, ptr align 8 %220, i64 8, i1 false), !tbaa.struct !15
  %221 = load i32, ptr %26, align 4, !tbaa !9
  %222 = sext i32 %221 to i64
  %223 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %7, i64 0, i64 %222
  %224 = load i32, ptr %8, align 4, !tbaa !9
  %225 = sub nsw i32 %224, 1
  %226 = sext i32 %225 to i64
  %227 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %7, i64 0, i64 %226
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %223, ptr align 8 %227, i64 8, i1 false), !tbaa.struct !15
  %228 = load i32, ptr %8, align 4, !tbaa !9
  %229 = sub nsw i32 %228, 1
  store i32 %229, ptr %8, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 48, ptr %31) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %32) #7
  store i32 0, ptr %32, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 48, ptr %33) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %34) #7
  store i32 0, ptr %34, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %35) #7
  %230 = load <2 x float>, ptr %30, align 4
  %231 = load <2 x float>, ptr %25, align 4
  %232 = call <2 x float> @b2Sub(<2 x float> %230, <2 x float> %231)
  store <2 x float> %232, ptr %36, align 4
  %233 = load <2 x float>, ptr %36, align 4
  %234 = call <2 x float> @b2Normalize(<2 x float> %233)
  store <2 x float> %234, ptr %35, align 4
  call void @llvm.lifetime.start.p0(i64 4, ptr %37) #7
  store i32 0, ptr %37, align 4, !tbaa !9
  br label %235

235:                                              ; preds = %277, %217
  %236 = load i32, ptr %37, align 4, !tbaa !9
  %237 = load i32, ptr %8, align 4, !tbaa !9
  %238 = icmp slt i32 %236, %237
  br i1 %238, label %240, label %239

239:                                              ; preds = %235
  store i32 14, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %37) #7
  br label %280

240:                                              ; preds = %235
  call void @llvm.lifetime.start.p0(i64 4, ptr %38) #7
  %241 = load i32, ptr %37, align 4, !tbaa !9
  %242 = sext i32 %241 to i64
  %243 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %7, i64 0, i64 %242
  %244 = load <2 x float>, ptr %243, align 8
  %245 = load <2 x float>, ptr %25, align 4
  %246 = call <2 x float> @b2Sub(<2 x float> %244, <2 x float> %245)
  store <2 x float> %246, ptr %39, align 4
  %247 = load <2 x float>, ptr %39, align 4
  %248 = load <2 x float>, ptr %35, align 4
  %249 = call float @b2Cross(<2 x float> %247, <2 x float> %248)
  store float %249, ptr %38, align 4, !tbaa !13
  %250 = load float, ptr %38, align 4, !tbaa !13
  %251 = load float, ptr %9, align 4, !tbaa !13
  %252 = fmul float 2.000000e+00, %251
  %253 = fcmp oge float %250, %252
  br i1 %253, label %254, label %262

254:                                              ; preds = %240
  %255 = load i32, ptr %32, align 4, !tbaa !9
  %256 = add nsw i32 %255, 1
  store i32 %256, ptr %32, align 4, !tbaa !9
  %257 = sext i32 %255 to i64
  %258 = getelementptr inbounds [6 x %struct.b2Vec2], ptr %31, i64 0, i64 %257
  %259 = load i32, ptr %37, align 4, !tbaa !9
  %260 = sext i32 %259 to i64
  %261 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %7, i64 0, i64 %260
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %258, ptr align 8 %261, i64 8, i1 false), !tbaa.struct !15
  br label %276

262:                                              ; preds = %240
  %263 = load float, ptr %38, align 4, !tbaa !13
  %264 = load float, ptr %9, align 4, !tbaa !13
  %265 = fmul float -2.000000e+00, %264
  %266 = fcmp ole float %263, %265
  br i1 %266, label %267, label %275

267:                                              ; preds = %262
  %268 = load i32, ptr %34, align 4, !tbaa !9
  %269 = add nsw i32 %268, 1
  store i32 %269, ptr %34, align 4, !tbaa !9
  %270 = sext i32 %268 to i64
  %271 = getelementptr inbounds [6 x %struct.b2Vec2], ptr %33, i64 0, i64 %270
  %272 = load i32, ptr %37, align 4, !tbaa !9
  %273 = sext i32 %272 to i64
  %274 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %7, i64 0, i64 %273
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %271, ptr align 8 %274, i64 8, i1 false), !tbaa.struct !15
  br label %275

275:                                              ; preds = %267, %262
  br label %276

276:                                              ; preds = %275, %254
  call void @llvm.lifetime.end.p0(i64 4, ptr %38) #7
  br label %277

277:                                              ; preds = %276
  %278 = load i32, ptr %37, align 4, !tbaa !9
  %279 = add nsw i32 %278, 1
  store i32 %279, ptr %37, align 4, !tbaa !9
  br label %235, !llvm.loop !25

280:                                              ; preds = %239
  call void @llvm.lifetime.start.p0(i64 68, ptr %40) #7
  %281 = getelementptr inbounds [6 x %struct.b2Vec2], ptr %31, i64 0, i64 0
  %282 = load i32, ptr %32, align 4, !tbaa !9
  %283 = load <2 x float>, ptr %25, align 4
  %284 = load <2 x float>, ptr %30, align 4
  call void @b2RecurseHull(ptr dead_on_unwind writable sret(%struct.b2Hull) align 4 %40, <2 x float> %283, <2 x float> %284, ptr noundef %281, i32 noundef %282)
  call void @llvm.lifetime.start.p0(i64 68, ptr %41) #7
  %285 = getelementptr inbounds [6 x %struct.b2Vec2], ptr %33, i64 0, i64 0
  %286 = load i32, ptr %34, align 4, !tbaa !9
  %287 = load <2 x float>, ptr %30, align 4
  %288 = load <2 x float>, ptr %25, align 4
  call void @b2RecurseHull(ptr dead_on_unwind writable sret(%struct.b2Hull) align 4 %41, <2 x float> %287, <2 x float> %288, ptr noundef %285, i32 noundef %286)
  %289 = getelementptr inbounds %struct.b2Hull, ptr %40, i32 0, i32 1
  %290 = load i32, ptr %289, align 4, !tbaa !11
  %291 = icmp eq i32 %290, 0
  br i1 %291, label %292, label %297

292:                                              ; preds = %280
  %293 = getelementptr inbounds %struct.b2Hull, ptr %41, i32 0, i32 1
  %294 = load i32, ptr %293, align 4, !tbaa !11
  %295 = icmp eq i32 %294, 0
  br i1 %295, label %296, label %297

296:                                              ; preds = %292
  store i32 1, ptr %12, align 4
  br label %460

297:                                              ; preds = %292, %280
  %298 = getelementptr inbounds %struct.b2Hull, ptr %0, i32 0, i32 0
  %299 = getelementptr inbounds %struct.b2Hull, ptr %0, i32 0, i32 1
  %300 = load i32, ptr %299, align 4, !tbaa !11
  %301 = add nsw i32 %300, 1
  store i32 %301, ptr %299, align 4, !tbaa !11
  %302 = sext i32 %300 to i64
  %303 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %298, i64 0, i64 %302
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %303, ptr align 4 %25, i64 8, i1 false), !tbaa.struct !15
  call void @llvm.lifetime.start.p0(i64 4, ptr %42) #7
  store i32 0, ptr %42, align 4, !tbaa !9
  br label %304

304:                                              ; preds = %321, %297
  %305 = load i32, ptr %42, align 4, !tbaa !9
  %306 = getelementptr inbounds %struct.b2Hull, ptr %40, i32 0, i32 1
  %307 = load i32, ptr %306, align 4, !tbaa !11
  %308 = icmp slt i32 %305, %307
  br i1 %308, label %310, label %309

309:                                              ; preds = %304
  store i32 17, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %42) #7
  br label %324

310:                                              ; preds = %304
  %311 = getelementptr inbounds %struct.b2Hull, ptr %0, i32 0, i32 0
  %312 = getelementptr inbounds %struct.b2Hull, ptr %0, i32 0, i32 1
  %313 = load i32, ptr %312, align 4, !tbaa !11
  %314 = add nsw i32 %313, 1
  store i32 %314, ptr %312, align 4, !tbaa !11
  %315 = sext i32 %313 to i64
  %316 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %311, i64 0, i64 %315
  %317 = getelementptr inbounds %struct.b2Hull, ptr %40, i32 0, i32 0
  %318 = load i32, ptr %42, align 4, !tbaa !9
  %319 = sext i32 %318 to i64
  %320 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %317, i64 0, i64 %319
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %316, ptr align 4 %320, i64 8, i1 false), !tbaa.struct !15
  br label %321

321:                                              ; preds = %310
  %322 = load i32, ptr %42, align 4, !tbaa !9
  %323 = add nsw i32 %322, 1
  store i32 %323, ptr %42, align 4, !tbaa !9
  br label %304, !llvm.loop !26

324:                                              ; preds = %309
  %325 = getelementptr inbounds %struct.b2Hull, ptr %0, i32 0, i32 0
  %326 = getelementptr inbounds %struct.b2Hull, ptr %0, i32 0, i32 1
  %327 = load i32, ptr %326, align 4, !tbaa !11
  %328 = add nsw i32 %327, 1
  store i32 %328, ptr %326, align 4, !tbaa !11
  %329 = sext i32 %327 to i64
  %330 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %325, i64 0, i64 %329
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %330, ptr align 4 %30, i64 8, i1 false), !tbaa.struct !15
  call void @llvm.lifetime.start.p0(i64 4, ptr %43) #7
  store i32 0, ptr %43, align 4, !tbaa !9
  br label %331

331:                                              ; preds = %348, %324
  %332 = load i32, ptr %43, align 4, !tbaa !9
  %333 = getelementptr inbounds %struct.b2Hull, ptr %41, i32 0, i32 1
  %334 = load i32, ptr %333, align 4, !tbaa !11
  %335 = icmp slt i32 %332, %334
  br i1 %335, label %337, label %336

336:                                              ; preds = %331
  store i32 20, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %43) #7
  br label %351

337:                                              ; preds = %331
  %338 = getelementptr inbounds %struct.b2Hull, ptr %0, i32 0, i32 0
  %339 = getelementptr inbounds %struct.b2Hull, ptr %0, i32 0, i32 1
  %340 = load i32, ptr %339, align 4, !tbaa !11
  %341 = add nsw i32 %340, 1
  store i32 %341, ptr %339, align 4, !tbaa !11
  %342 = sext i32 %340 to i64
  %343 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %338, i64 0, i64 %342
  %344 = getelementptr inbounds %struct.b2Hull, ptr %41, i32 0, i32 0
  %345 = load i32, ptr %43, align 4, !tbaa !9
  %346 = sext i32 %345 to i64
  %347 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %344, i64 0, i64 %346
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %343, ptr align 4 %347, i64 8, i1 false), !tbaa.struct !15
  br label %348

348:                                              ; preds = %337
  %349 = load i32, ptr %43, align 4, !tbaa !9
  %350 = add nsw i32 %349, 1
  store i32 %350, ptr %43, align 4, !tbaa !9
  br label %331, !llvm.loop !27

351:                                              ; preds = %336
  br label %352

352:                                              ; preds = %351
  %353 = getelementptr inbounds %struct.b2Hull, ptr %0, i32 0, i32 1
  %354 = load i32, ptr %353, align 4, !tbaa !11
  %355 = icmp sle i32 %354, 8
  br i1 %355, label %360, label %356

356:                                              ; preds = %352
  %357 = call i32 @b2InternalAssertFcn(ptr noundef @.str, ptr noundef @.str.1, i32 noundef 225)
  %358 = icmp ne i32 %357, 0
  br i1 %358, label %359, label %360

359:                                              ; preds = %356
  call void @llvm.trap()
  br label %360

360:                                              ; preds = %359, %356, %352
  br label %361

361:                                              ; preds = %360
  br label %362

362:                                              ; preds = %361
  call void @llvm.lifetime.start.p0(i64 1, ptr %44) #7
  store i8 1, ptr %44, align 1, !tbaa !16
  br label %363

363:                                              ; preds = %452, %362
  %364 = load i8, ptr %44, align 1, !tbaa !16, !range !20, !noundef !21
  %365 = trunc i8 %364 to i1
  br i1 %365, label %366, label %370

366:                                              ; preds = %363
  %367 = getelementptr inbounds %struct.b2Hull, ptr %0, i32 0, i32 1
  %368 = load i32, ptr %367, align 4, !tbaa !11
  %369 = icmp sgt i32 %368, 2
  br label %370

370:                                              ; preds = %366, %363
  %371 = phi i1 [ false, %363 ], [ %369, %366 ]
  br i1 %371, label %372, label %453

372:                                              ; preds = %370
  store i8 0, ptr %44, align 1, !tbaa !16
  call void @llvm.lifetime.start.p0(i64 4, ptr %45) #7
  store i32 0, ptr %45, align 4, !tbaa !9
  br label %373

373:                                              ; preds = %448, %372
  %374 = load i32, ptr %45, align 4, !tbaa !9
  %375 = getelementptr inbounds %struct.b2Hull, ptr %0, i32 0, i32 1
  %376 = load i32, ptr %375, align 4, !tbaa !11
  %377 = icmp slt i32 %374, %376
  br i1 %377, label %379, label %378

378:                                              ; preds = %373
  store i32 27, ptr %12, align 4
  br label %451

379:                                              ; preds = %373
  call void @llvm.lifetime.start.p0(i64 4, ptr %46) #7
  %380 = load i32, ptr %45, align 4, !tbaa !9
  store i32 %380, ptr %46, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %47) #7
  %381 = load i32, ptr %45, align 4, !tbaa !9
  %382 = add nsw i32 %381, 1
  %383 = getelementptr inbounds %struct.b2Hull, ptr %0, i32 0, i32 1
  %384 = load i32, ptr %383, align 4, !tbaa !11
  %385 = srem i32 %382, %384
  store i32 %385, ptr %47, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %48) #7
  %386 = load i32, ptr %45, align 4, !tbaa !9
  %387 = add nsw i32 %386, 2
  %388 = getelementptr inbounds %struct.b2Hull, ptr %0, i32 0, i32 1
  %389 = load i32, ptr %388, align 4, !tbaa !11
  %390 = srem i32 %387, %389
  store i32 %390, ptr %48, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %49) #7
  %391 = getelementptr inbounds %struct.b2Hull, ptr %0, i32 0, i32 0
  %392 = load i32, ptr %46, align 4, !tbaa !9
  %393 = sext i32 %392 to i64
  %394 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %391, i64 0, i64 %393
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %49, ptr align 4 %394, i64 8, i1 false), !tbaa.struct !15
  call void @llvm.lifetime.start.p0(i64 8, ptr %50) #7
  %395 = getelementptr inbounds %struct.b2Hull, ptr %0, i32 0, i32 0
  %396 = load i32, ptr %47, align 4, !tbaa !9
  %397 = sext i32 %396 to i64
  %398 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %395, i64 0, i64 %397
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %50, ptr align 4 %398, i64 8, i1 false), !tbaa.struct !15
  call void @llvm.lifetime.start.p0(i64 8, ptr %51) #7
  %399 = getelementptr inbounds %struct.b2Hull, ptr %0, i32 0, i32 0
  %400 = load i32, ptr %48, align 4, !tbaa !9
  %401 = sext i32 %400 to i64
  %402 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %399, i64 0, i64 %401
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %51, ptr align 4 %402, i64 8, i1 false), !tbaa.struct !15
  call void @llvm.lifetime.start.p0(i64 8, ptr %52) #7
  %403 = load <2 x float>, ptr %51, align 4
  %404 = load <2 x float>, ptr %49, align 4
  %405 = call <2 x float> @b2Sub(<2 x float> %403, <2 x float> %404)
  store <2 x float> %405, ptr %53, align 4
  %406 = load <2 x float>, ptr %53, align 4
  %407 = call <2 x float> @b2Normalize(<2 x float> %406)
  store <2 x float> %407, ptr %52, align 4
  call void @llvm.lifetime.start.p0(i64 4, ptr %54) #7
  %408 = load <2 x float>, ptr %50, align 4
  %409 = load <2 x float>, ptr %49, align 4
  %410 = call <2 x float> @b2Sub(<2 x float> %408, <2 x float> %409)
  store <2 x float> %410, ptr %55, align 4
  %411 = load <2 x float>, ptr %55, align 4
  %412 = load <2 x float>, ptr %52, align 4
  %413 = call float @b2Cross(<2 x float> %411, <2 x float> %412)
  store float %413, ptr %54, align 4, !tbaa !13
  %414 = load float, ptr %54, align 4, !tbaa !13
  %415 = load float, ptr %9, align 4, !tbaa !13
  %416 = fmul float 2.000000e+00, %415
  %417 = fcmp ole float %414, %416
  br i1 %417, label %418, label %444

418:                                              ; preds = %379
  call void @llvm.lifetime.start.p0(i64 4, ptr %56) #7
  %419 = load i32, ptr %47, align 4, !tbaa !9
  store i32 %419, ptr %56, align 4, !tbaa !9
  br label %420

420:                                              ; preds = %437, %418
  %421 = load i32, ptr %56, align 4, !tbaa !9
  %422 = getelementptr inbounds %struct.b2Hull, ptr %0, i32 0, i32 1
  %423 = load i32, ptr %422, align 4, !tbaa !11
  %424 = sub nsw i32 %423, 1
  %425 = icmp slt i32 %421, %424
  br i1 %425, label %427, label %426

426:                                              ; preds = %420
  store i32 30, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %56) #7
  br label %440

427:                                              ; preds = %420
  %428 = getelementptr inbounds %struct.b2Hull, ptr %0, i32 0, i32 0
  %429 = load i32, ptr %56, align 4, !tbaa !9
  %430 = sext i32 %429 to i64
  %431 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %428, i64 0, i64 %430
  %432 = getelementptr inbounds %struct.b2Hull, ptr %0, i32 0, i32 0
  %433 = load i32, ptr %56, align 4, !tbaa !9
  %434 = add nsw i32 %433, 1
  %435 = sext i32 %434 to i64
  %436 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %432, i64 0, i64 %435
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %431, ptr align 4 %436, i64 8, i1 false), !tbaa.struct !15
  br label %437

437:                                              ; preds = %427
  %438 = load i32, ptr %56, align 4, !tbaa !9
  %439 = add nsw i32 %438, 1
  store i32 %439, ptr %56, align 4, !tbaa !9
  br label %420, !llvm.loop !28

440:                                              ; preds = %426
  %441 = getelementptr inbounds %struct.b2Hull, ptr %0, i32 0, i32 1
  %442 = load i32, ptr %441, align 4, !tbaa !11
  %443 = sub nsw i32 %442, 1
  store i32 %443, ptr %441, align 4, !tbaa !11
  store i8 1, ptr %44, align 1, !tbaa !16
  store i32 27, ptr %12, align 4
  br label %445

444:                                              ; preds = %379
  store i32 0, ptr %12, align 4
  br label %445

445:                                              ; preds = %444, %440
  call void @llvm.lifetime.end.p0(i64 4, ptr %54) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %52) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %51) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %50) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %49) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %48) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %47) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %46) #7
  %446 = load i32, ptr %12, align 4
  switch i32 %446, label %451 [
    i32 0, label %447
  ]

447:                                              ; preds = %445
  br label %448

448:                                              ; preds = %447
  %449 = load i32, ptr %45, align 4, !tbaa !9
  %450 = add nsw i32 %449, 1
  store i32 %450, ptr %45, align 4, !tbaa !9
  br label %373, !llvm.loop !29

451:                                              ; preds = %445, %378
  call void @llvm.lifetime.end.p0(i64 4, ptr %45) #7
  br label %452

452:                                              ; preds = %451
  br label %363, !llvm.loop !30

453:                                              ; preds = %370
  %454 = getelementptr inbounds %struct.b2Hull, ptr %0, i32 0, i32 1
  %455 = load i32, ptr %454, align 4, !tbaa !11
  %456 = icmp slt i32 %455, 3
  br i1 %456, label %457, label %459

457:                                              ; preds = %453
  %458 = getelementptr inbounds %struct.b2Hull, ptr %0, i32 0, i32 1
  store i32 0, ptr %458, align 4, !tbaa !11
  br label %459

459:                                              ; preds = %457, %453
  store i32 1, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 1, ptr %44) #7
  br label %460

460:                                              ; preds = %459, %296
  call void @llvm.lifetime.end.p0(i64 68, ptr %41) #7
  call void @llvm.lifetime.end.p0(i64 68, ptr %40) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %34) #7
  call void @llvm.lifetime.end.p0(i64 48, ptr %33) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %32) #7
  call void @llvm.lifetime.end.p0(i64 48, ptr %31) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %27) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #7
  br label %461

461:                                              ; preds = %460, %141
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #7
  call void @llvm.lifetime.end.p0(i64 64, ptr %7) #7
  call void @llvm.lifetime.end.p0(i64 16, ptr %6) #7
  br label %462

462:                                              ; preds = %461, %63
  ret void
}

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

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

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: readwrite)
declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #3

; Function Attrs: inlinehint nounwind uwtable
declare hidden <2 x float> @b2Min(<2 x float>, <2 x float>) #4

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

; Function Attrs: inlinehint nounwind uwtable
declare hidden <2 x float> @b2Max(<2 x float>, <2 x float>) #4

; Function Attrs: inlinehint nounwind uwtable
declare hidden float @b2DistanceSquared(<2 x float>, <2 x float>) #4

; Function Attrs: inlinehint nounwind uwtable
declare hidden <2 x float> @b2AABB_Center(<2 x float>, <2 x float>) #4

; Function Attrs: inlinehint nounwind uwtable
declare hidden <2 x float> @b2Normalize(<2 x float>) #4

; Function Attrs: inlinehint nounwind uwtable
declare hidden <2 x float> @b2Sub(<2 x float>, <2 x float>) #4

; Function Attrs: inlinehint nounwind uwtable
declare hidden float @b2Cross(<2 x float>, <2 x float>) #4

; Function Attrs: nounwind uwtable
declare hidden void @b2RecurseHull(ptr dead_on_unwind noalias writable sret(%struct.b2Hull) align 4, <2 x float>, <2 x float>, ptr noundef, i32 noundef) #0

declare i32 @b2InternalAssertFcn(ptr noundef, ptr noundef, i32 noundef) #5

; Function Attrs: cold noreturn nounwind memory(inaccessiblemem: write)
declare void @llvm.trap() #6

attributes #0 = { nounwind uwtable "min-legal-vector-width"="64" "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 = { inlinehint 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 nosync nounwind willreturn memory(argmem: readwrite) }
attributes #3 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #4 = { inlinehint nounwind uwtable "min-legal-vector-width"="64" "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 #5 = { "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 #6 = { cold noreturn nounwind memory(inaccessiblemem: write) }
attributes #7 = { nounwind }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = !{!12, !10, i64 64}
!12 = !{!"b2Hull", !7, i64 0, !10, i64 64}
!13 = !{!14, !14, i64 0}
!14 = !{!"float", !7, i64 0}
!15 = !{i64 0, i64 4, !13, i64 4, i64 4, !13}
!16 = !{!17, !17, i64 0}
!17 = !{!"_Bool", !7, i64 0}
!18 = distinct !{!18, !19}
!19 = !{!"llvm.loop.mustprogress"}
!20 = !{i8 0, i8 2}
!21 = !{}
!22 = distinct !{!22, !19}
!23 = distinct !{!23, !19}
!24 = distinct !{!24, !19}
!25 = distinct !{!25, !19}
!26 = distinct !{!26, !19}
!27 = distinct !{!27, !19}
!28 = distinct !{!28, !19}
!29 = distinct !{!29, !19}
!30 = distinct !{!30, !19}


; Optimized IR (opt -passes='default<O3>'):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%struct.b2AABB = type { %struct.b2Vec2, %struct.b2Vec2 }
%struct.b2Vec2 = type { float, float }
%struct.b2Hull = type { [8 x %struct.b2Vec2], i32 }

@__const.b2ComputeHull.aabb = external hidden unnamed_addr constant %struct.b2AABB, align 4
@b2_lengthUnitsPerMeter = external local_unnamed_addr global float, align 4
@.str = external hidden unnamed_addr constant [38 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [60 x i8], align 1

; Function Attrs: nounwind uwtable
define dso_local void @b2ComputeHull(ptr dead_on_unwind noalias nocapture writable sret(%struct.b2Hull) align 4 %0, ptr nocapture noundef readonly %1, i32 noundef %2) local_unnamed_addr #0 {
  %4 = alloca [8 x %struct.b2Vec2], align 16
  %5 = alloca [6 x %struct.b2Vec2], align 16
  %6 = alloca [6 x %struct.b2Vec2], align 16
  %7 = alloca %struct.b2Hull, align 4
  %8 = alloca %struct.b2Hull, align 4
  %9 = getelementptr inbounds i8, ptr %0, i64 64
  store i32 0, ptr %9, align 4, !tbaa !5
  %10 = add i32 %2, -9
  %or.cond = icmp ult i32 %10, -6
  br i1 %or.cond, label %176, label %11

11:                                               ; preds = %3
  %12 = tail call i32 @b2MinInt(i32 noundef %2, i32 noundef 8)
  %.sroa.0111.0.copyload = load <2 x float>, ptr @__const.b2ComputeHull.aabb, align 4
  %.sroa.6.0.copyload = load <2 x float>, ptr getelementptr inbounds (i8, ptr @__const.b2ComputeHull.aabb, i64 8), align 4
  call void @llvm.lifetime.start.p0(i64 64, ptr nonnull %4) #7
  %13 = load float, ptr @b2_lengthUnitsPerMeter, align 4, !tbaa !10
  %14 = fmul float %13, 0x3F747AE140000000
  %15 = fmul float %14, 1.600000e+01
  %16 = fmul float %14, %15
  %17 = icmp sgt i32 %12, 0
  br i1 %17, label %.lr.ph167.preheader, label %._crit_edge.thread

.lr.ph167.preheader:                              ; preds = %11
  %wide.trip.count210 = zext nneg i32 %12 to i64
  br label %.lr.ph167

._crit_edge:                                      ; preds = %.loopexit
  %18 = icmp slt i32 %.1, 3
  br i1 %18, label %._crit_edge.thread, label %31

.lr.ph167:                                        ; preds = %.lr.ph167.preheader, %.loopexit
  %indvars.iv207 = phi i64 [ 0, %.lr.ph167.preheader ], [ %indvars.iv.next208, %.loopexit ]
  %.sroa.6.0166 = phi <2 x float> [ %.sroa.6.0.copyload, %.lr.ph167.preheader ], [ %23, %.loopexit ]
  %.sroa.0111.0165 = phi <2 x float> [ %.sroa.0111.0.copyload, %.lr.ph167.preheader ], [ %21, %.loopexit ]
  %.0122164 = phi i32 [ 0, %.lr.ph167.preheader ], [ %.1, %.loopexit ]
  %19 = getelementptr inbounds %struct.b2Vec2, ptr %1, i64 %indvars.iv207
  %20 = load <2 x float>, ptr %19, align 4
  %21 = tail call <2 x float> @b2Min(<2 x float> %.sroa.0111.0165, <2 x float> %20)
  %22 = load <2 x float>, ptr %19, align 4
  %23 = tail call <2 x float> @b2Max(<2 x float> %.sroa.6.0166, <2 x float> %22)
  %.sroa.084.0.copyload = load <2 x float>, ptr %19, align 4
  %.not157160.not = icmp eq i64 %indvars.iv207, 0
  br i1 %.not157160.not, label %.critedge.loopexit, label %.lr.ph

24:                                               ; preds = %.lr.ph
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next, %indvars.iv207
  br i1 %exitcond.not, label %.critedge.loopexit, label %.lr.ph, !llvm.loop !12

.lr.ph:                                           ; preds = %.lr.ph167, %24
  %indvars.iv = phi i64 [ %indvars.iv.next, %24 ], [ 0, %.lr.ph167 ]
  %25 = getelementptr inbounds %struct.b2Vec2, ptr %1, i64 %indvars.iv
  %.sroa.079.0.copyload = load <2 x float>, ptr %25, align 4
  %26 = tail call float @b2DistanceSquared(<2 x float> %.sroa.084.0.copyload, <2 x float> %.sroa.079.0.copyload)
  %27 = fcmp uge float %26, %16
  br i1 %27, label %24, label %.loopexit

.critedge.loopexit:                               ; preds = %24, %.lr.ph167
  %28 = add nsw i32 %.0122164, 1
  %29 = sext i32 %.0122164 to i64
  %30 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %4, i64 0, i64 %29
  store <2 x float> %.sroa.084.0.copyload, ptr %30, align 8
  br label %.loopexit

.loopexit:                                        ; preds = %.lr.ph, %.critedge.loopexit
  %.1 = phi i32 [ %28, %.critedge.loopexit ], [ %.0122164, %.lr.ph ]
  %indvars.iv.next208 = add nuw nsw i64 %indvars.iv207, 1
  %exitcond211.not = icmp eq i64 %indvars.iv.next208, %wide.trip.count210
  br i1 %exitcond211.not, label %._crit_edge, label %.lr.ph167, !llvm.loop !14

31:                                               ; preds = %._crit_edge
  %32 = tail call <2 x float> @b2AABB_Center(<2 x float> %21, <2 x float> %23)
  %33 = load <2 x float>, ptr %4, align 16
  %34 = tail call float @b2DistanceSquared(<2 x float> %32, <2 x float> %33)
  %wide.trip.count = zext nneg i32 %.1 to i64
  br label %43

.lr.ph177.preheader:                              ; preds = %43
  %35 = sext i32 %.1130 to i64
  %36 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %4, i64 0, i64 %35
  %.sroa.059.0.copyload = load <2 x float>, ptr %36, align 8
  %37 = add nsw i32 %.1, -1
  %38 = zext i32 %37 to i64
  %39 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %4, i64 0, i64 %38
  %40 = load i64, ptr %39, align 8
  store i64 %40, ptr %36, align 8
  %41 = load <2 x float>, ptr %4, align 16
  %42 = tail call float @b2DistanceSquared(<2 x float> %.sroa.059.0.copyload, <2 x float> %41)
  br label %.lr.ph177

43:                                               ; preds = %31, %43
  %indvars.iv212 = phi i64 [ 1, %31 ], [ %indvars.iv.next213, %43 ]
  %.0129172 = phi i32 [ 0, %31 ], [ %.1130, %43 ]
  %.0131171 = phi float [ %34, %31 ], [ %.1132, %43 ]
  %44 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %4, i64 0, i64 %indvars.iv212
  %45 = load <2 x float>, ptr %44, align 8
  %46 = tail call float @b2DistanceSquared(<2 x float> %32, <2 x float> %45)
  %47 = fcmp ogt float %46, %.0131171
  %.1132 = select i1 %47, float %46, float %.0131171
  %48 = trunc nuw nsw i64 %indvars.iv212 to i32
  %.1130 = select i1 %47, i32 %48, i32 %.0129172
  %indvars.iv.next213 = add nuw nsw i64 %indvars.iv212, 1
  %exitcond215.not = icmp eq i64 %indvars.iv.next213, %wide.trip.count
  br i1 %exitcond215.not, label %.lr.ph177.preheader, label %43, !llvm.loop !15

.lr.ph184:                                        ; preds = %.lr.ph177
  %49 = sext i32 %.1141 to i64
  %50 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %4, i64 0, i64 %49
  %.sroa.045.0.copyload = load <2 x float>, ptr %50, align 8
  %51 = add nsw i32 %.1, -2
  %52 = zext nneg i32 %51 to i64
  %53 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %4, i64 0, i64 %52
  %54 = load i64, ptr %53, align 8
  store i64 %54, ptr %50, align 8
  call void @llvm.lifetime.start.p0(i64 48, ptr nonnull %5) #7
  call void @llvm.lifetime.start.p0(i64 48, ptr nonnull %6) #7
  %55 = tail call <2 x float> @b2Sub(<2 x float> %.sroa.045.0.copyload, <2 x float> %.sroa.059.0.copyload)
  %56 = tail call <2 x float> @b2Normalize(<2 x float> %55)
  %57 = fmul float %14, 2.000000e+00
  %58 = fmul float %14, -2.000000e+00
  %smax = tail call i32 @llvm.smax.i32(i32 %51, i32 1)
  %wide.trip.count224 = zext nneg i32 %smax to i64
  br label %70

.lr.ph177:                                        ; preds = %.lr.ph177.preheader, %.lr.ph177
  %indvars.iv216 = phi i64 [ 1, %.lr.ph177.preheader ], [ %indvars.iv.next217, %.lr.ph177 ]
  %.0140175 = phi i32 [ 0, %.lr.ph177.preheader ], [ %.1141, %.lr.ph177 ]
  %.0143174 = phi float [ %42, %.lr.ph177.preheader ], [ %.1144, %.lr.ph177 ]
  %59 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %4, i64 0, i64 %indvars.iv216
  %60 = load <2 x float>, ptr %59, align 8
  %61 = tail call float @b2DistanceSquared(<2 x float> %.sroa.059.0.copyload, <2 x float> %60)
  %62 = fcmp ogt float %61, %.0143174
  %.1144 = select i1 %62, float %61, float %.0143174
  %63 = trunc nuw nsw i64 %indvars.iv216 to i32
  %.1141 = select i1 %62, i32 %63, i32 %.0140175
  %indvars.iv.next217 = add nuw nsw i64 %indvars.iv216, 1
  %exitcond220.not = icmp eq i64 %indvars.iv.next217, %38
  br i1 %exitcond220.not, label %.lr.ph184, label %.lr.ph177, !llvm.loop !16

._crit_edge185:                                   ; preds = %84
  call void @llvm.lifetime.start.p0(i64 68, ptr nonnull %7) #7
  call void @b2RecurseHull(ptr dead_on_unwind nonnull writable sret(%struct.b2Hull) align 4 %7, <2 x float> %.sroa.059.0.copyload, <2 x float> %.sroa.045.0.copyload, ptr noundef nonnull %5, i32 noundef %.1149)
  call void @llvm.lifetime.start.p0(i64 68, ptr nonnull %8) #7
  call void @b2RecurseHull(ptr dead_on_unwind nonnull writable sret(%struct.b2Hull) align 4 %8, <2 x float> %.sroa.045.0.copyload, <2 x float> %.sroa.059.0.copyload, ptr noundef nonnull %6, i32 noundef %.1147)
  %64 = getelementptr inbounds i8, ptr %7, i64 64
  %65 = load i32, ptr %64, align 4, !tbaa !5
  %66 = icmp eq i32 %65, 0
  %67 = getelementptr inbounds i8, ptr %8, i64 64
  %68 = load i32, ptr %67, align 4
  %69 = icmp eq i32 %68, 0
  %or.cond5 = select i1 %66, i1 %69, i1 false
  br i1 %or.cond5, label %175, label %85

70:                                               ; preds = %.lr.ph184, %84
  %indvars.iv221 = phi i64 [ 0, %.lr.ph184 ], [ %indvars.iv.next222, %84 ]
  %.0146181 = phi i32 [ 0, %.lr.ph184 ], [ %.1147, %84 ]
  %.0148180 = phi i32 [ 0, %.lr.ph184 ], [ %.1149, %84 ]
  %71 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %4, i64 0, i64 %indvars.iv221
  %72 = load <2 x float>, ptr %71, align 8
  %73 = tail call <2 x float> @b2Sub(<2 x float> %72, <2 x float> %.sroa.059.0.copyload)
  %74 = tail call float @b2Cross(<2 x float> %73, <2 x float> %56)
  %75 = fcmp ult float %74, %57
  br i1 %75, label %78, label %76

76:                                               ; preds = %70
  %77 = add nsw i32 %.0148180, 1
  br label %.sink.split

78:                                               ; preds = %70
  %79 = fcmp ugt float %74, %58
  br i1 %79, label %84, label %80

80:                                               ; preds = %78
  %81 = add nsw i32 %.0146181, 1
  br label %.sink.split

.sink.split:                                      ; preds = %76, %80
  %.0146181.sink = phi i32 [ %.0146181, %80 ], [ %.0148180, %76 ]
  %.sink249 = phi ptr [ %6, %80 ], [ %5, %76 ]
  %.1149.ph = phi i32 [ %.0148180, %80 ], [ %77, %76 ]
  %.1147.ph = phi i32 [ %81, %80 ], [ %.0146181, %76 ]
  %82 = sext i32 %.0146181.sink to i64
  %83 = getelementptr inbounds [6 x %struct.b2Vec2], ptr %.sink249, i64 0, i64 %82
  store <2 x float> %72, ptr %83, align 8
  br label %84

84:                                               ; preds = %.sink.split, %78
  %.1149 = phi i32 [ %.0148180, %78 ], [ %.1149.ph, %.sink.split ]
  %.1147 = phi i32 [ %.0146181, %78 ], [ %.1147.ph, %.sink.split ]
  %indvars.iv.next222 = add nuw nsw i64 %indvars.iv221, 1
  %exitcond225.not = icmp eq i64 %indvars.iv.next222, %wide.trip.count224
  br i1 %exitcond225.not, label %._crit_edge185, label %70, !llvm.loop !17

85:                                               ; preds = %._crit_edge185
  store i32 1, ptr %9, align 4, !tbaa !5
  store <2 x float> %.sroa.059.0.copyload, ptr %0, align 4
  %86 = icmp sgt i32 %65, 0
  br i1 %86, label %.lr.ph190.preheader, label %._crit_edge191

.lr.ph190.preheader:                              ; preds = %85
  %wide.trip.count229 = zext nneg i32 %65 to i64
  %xtraiter = and i64 %wide.trip.count229, 1
  %87 = icmp eq i32 %65, 1
  br i1 %87, label %._crit_edge191.loopexit.unr-lcssa, label %.lr.ph190.preheader.new

.lr.ph190.preheader.new:                          ; preds = %.lr.ph190.preheader
  %unroll_iter = and i64 %wide.trip.count229, 2147483646
  br label %.lr.ph190

._crit_edge191.loopexit.unr-lcssa:                ; preds = %.lr.ph190, %.lr.ph190.preheader
  %indvars.iv226.unr = phi i64 [ 0, %.lr.ph190.preheader ], [ %indvars.iv.next227.1, %.lr.ph190 ]
  %lcmp.mod.not = icmp eq i64 %xtraiter, 0
  br i1 %lcmp.mod.not, label %._crit_edge191.loopexit, label %.lr.ph190.epil

.lr.ph190.epil:                                   ; preds = %._crit_edge191.loopexit.unr-lcssa
  %88 = load i32, ptr %9, align 4, !tbaa !5
  %89 = add nsw i32 %88, 1
  store i32 %89, ptr %9, align 4, !tbaa !5
  %90 = sext i32 %88 to i64
  %91 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %0, i64 0, i64 %90
  %92 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %7, i64 0, i64 %indvars.iv226.unr
  %93 = load i64, ptr %92, align 4
  store i64 %93, ptr %91, align 4
  br label %._crit_edge191.loopexit

._crit_edge191.loopexit:                          ; preds = %._crit_edge191.loopexit.unr-lcssa, %.lr.ph190.epil
  %.pre = load i32, ptr %9, align 4, !tbaa !5
  br label %._crit_edge191

._crit_edge191:                                   ; preds = %._crit_edge191.loopexit, %85
  %94 = phi i32 [ %.pre, %._crit_edge191.loopexit ], [ 1, %85 ]
  %95 = add nsw i32 %94, 1
  store i32 %95, ptr %9, align 4, !tbaa !5
  %96 = sext i32 %94 to i64
  %97 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %0, i64 0, i64 %96
  store <2 x float> %.sroa.045.0.copyload, ptr %97, align 4
  %98 = icmp sgt i32 %68, 0
  br i1 %98, label %.lr.ph194.preheader, label %._crit_edge195

.lr.ph194.preheader:                              ; preds = %._crit_edge191
  %wide.trip.count234 = zext nneg i32 %68 to i64
  %xtraiter260 = and i64 %wide.trip.count234, 1
  %99 = icmp eq i32 %68, 1
  br i1 %99, label %._crit_edge195.loopexit.unr-lcssa, label %.lr.ph194.preheader.new

.lr.ph194.preheader.new:                          ; preds = %.lr.ph194.preheader
  %unroll_iter262 = and i64 %wide.trip.count234, 2147483646
  br label %.lr.ph194

.lr.ph190:                                        ; preds = %.lr.ph190, %.lr.ph190.preheader.new
  %indvars.iv226 = phi i64 [ 0, %.lr.ph190.preheader.new ], [ %indvars.iv.next227.1, %.lr.ph190 ]
  %niter = phi i64 [ 0, %.lr.ph190.preheader.new ], [ %niter.next.1, %.lr.ph190 ]
  %100 = load i32, ptr %9, align 4, !tbaa !5
  %101 = add nsw i32 %100, 1
  store i32 %101, ptr %9, align 4, !tbaa !5
  %102 = sext i32 %100 to i64
  %103 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %0, i64 0, i64 %102
  %104 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %7, i64 0, i64 %indvars.iv226
  %105 = load i64, ptr %104, align 4
  store i64 %105, ptr %103, align 4
  %indvars.iv.next227 = or disjoint i64 %indvars.iv226, 1
  %106 = load i32, ptr %9, align 4, !tbaa !5
  %107 = add nsw i32 %106, 1
  store i32 %107, ptr %9, align 4, !tbaa !5
  %108 = sext i32 %106 to i64
  %109 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %0, i64 0, i64 %108
  %110 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %7, i64 0, i64 %indvars.iv.next227
  %111 = load i64, ptr %110, align 4
  store i64 %111, ptr %109, align 4
  %indvars.iv.next227.1 = add nuw nsw i64 %indvars.iv226, 2
  %niter.next.1 = add i64 %niter, 2
  %niter.ncmp.1 = icmp eq i64 %niter.next.1, %unroll_iter
  br i1 %niter.ncmp.1, label %._crit_edge191.loopexit.unr-lcssa, label %.lr.ph190, !llvm.loop !18

._crit_edge195.loopexit.unr-lcssa:                ; preds = %.lr.ph194, %.lr.ph194.preheader
  %indvars.iv231.unr = phi i64 [ 0, %.lr.ph194.preheader ], [ %indvars.iv.next232.1, %.lr.ph194 ]
  %lcmp.mod261.not = icmp eq i64 %xtraiter260, 0
  br i1 %lcmp.mod261.not, label %._crit_edge195, label %.lr.ph194.epil

.lr.ph194.epil:                                   ; preds = %._crit_edge195.loopexit.unr-lcssa
  %112 = load i32, ptr %9, align 4, !tbaa !5
  %113 = add nsw i32 %112, 1
  store i32 %113, ptr %9, align 4, !tbaa !5
  %114 = sext i32 %112 to i64
  %115 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %0, i64 0, i64 %114
  %116 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %8, i64 0, i64 %indvars.iv231.unr
  %117 = load i64, ptr %116, align 4
  store i64 %117, ptr %115, align 4
  br label %._crit_edge195

._crit_edge195:                                   ; preds = %.lr.ph194.epil, %._crit_edge195.loopexit.unr-lcssa, %._crit_edge191
  %118 = load i32, ptr %9, align 4
  %119 = icmp slt i32 %118, 9
  br i1 %119, label %135, label %132

.lr.ph194:                                        ; preds = %.lr.ph194, %.lr.ph194.preheader.new
  %indvars.iv231 = phi i64 [ 0, %.lr.ph194.preheader.new ], [ %indvars.iv.next232.1, %.lr.ph194 ]
  %niter263 = phi i64 [ 0, %.lr.ph194.preheader.new ], [ %niter263.next.1, %.lr.ph194 ]
  %120 = load i32, ptr %9, align 4, !tbaa !5
  %121 = add nsw i32 %120, 1
  store i32 %121, ptr %9, align 4, !tbaa !5
  %122 = sext i32 %120 to i64
  %123 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %0, i64 0, i64 %122
  %124 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %8, i64 0, i64 %indvars.iv231
  %125 = load i64, ptr %124, align 4
  store i64 %125, ptr %123, align 4
  %indvars.iv.next232 = or disjoint i64 %indvars.iv231, 1
  %126 = load i32, ptr %9, align 4, !tbaa !5
  %127 = add nsw i32 %126, 1
  store i32 %127, ptr %9, align 4, !tbaa !5
  %128 = sext i32 %126 to i64
  %129 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %0, i64 0, i64 %128
  %130 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %8, i64 0, i64 %indvars.iv.next232
  %131 = load i64, ptr %130, align 4
  store i64 %131, ptr %129, align 4
  %indvars.iv.next232.1 = add nuw nsw i64 %indvars.iv231, 2
  %niter263.next.1 = add i64 %niter263, 2
  %niter263.ncmp.1 = icmp eq i64 %niter263.next.1, %unroll_iter262
  br i1 %niter263.ncmp.1, label %._crit_edge195.loopexit.unr-lcssa, label %.lr.ph194, !llvm.loop !19

132:                                              ; preds = %._crit_edge195
  %133 = call i32 @b2InternalAssertFcn(ptr noundef nonnull @.str, ptr noundef nonnull @.str.1, i32 noundef 225) #7
  %.not = icmp eq i32 %133, 0
  br i1 %.not, label %.preheader158.lr.ph, label %134

134:                                              ; preds = %132
  call void @llvm.trap()
  unreachable

135:                                              ; preds = %._crit_edge195
  %136 = icmp sgt i32 %118, 2
  br i1 %136, label %.preheader158.lr.ph, label %._crit_edge200.thread

.preheader158.lr.ph:                              ; preds = %132, %135
  %137 = fmul float %14, 2.000000e+00
  br label %.preheader158

.preheader158:                                    ; preds = %.preheader158.backedge, %.preheader158.lr.ph
  %138 = phi i32 [ %118, %.preheader158.lr.ph ], [ %.be, %.preheader158.backedge ]
  %139 = phi i32 [ %118, %.preheader158.lr.ph ], [ %.be255, %.preheader158.backedge ]
  %indvars.iv239 = phi i64 [ 0, %.preheader158.lr.ph ], [ %indvars.iv239.be, %.preheader158.backedge ]
  %.1135 = phi i1 [ false, %.preheader158.lr.ph ], [ %.1135.be, %.preheader158.backedge ]
  %140 = sext i32 %139 to i64
  %141 = icmp slt i64 %indvars.iv239, %140
  br i1 %141, label %142, label %170

142:                                              ; preds = %.preheader158
  %indvars.iv.next240 = add nuw nsw i64 %indvars.iv239, 1
  %143 = trunc nuw i64 %indvars.iv.next240 to i32
  %144 = srem i32 %143, %139
  %145 = trunc i64 %indvars.iv239 to i32
  %146 = add i32 %145, 2
  %147 = srem i32 %146, %139
  %148 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %0, i64 0, i64 %indvars.iv239
  %.sroa.013.0.copyload = load <2 x float>, ptr %148, align 4
  %149 = zext nneg i32 %144 to i64
  %150 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %0, i64 0, i64 %149
  %.sroa.012.0.copyload = load <2 x float>, ptr %150, align 4
  %151 = zext nneg i32 %147 to i64
  %152 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %0, i64 0, i64 %151
  %.sroa.011.0.copyload = load <2 x float>, ptr %152, align 4
  %153 = call <2 x float> @b2Sub(<2 x float> %.sroa.011.0.copyload, <2 x float> %.sroa.013.0.copyload)
  %154 = call <2 x float> @b2Normalize(<2 x float> %153)
  %155 = call <2 x float> @b2Sub(<2 x float> %.sroa.012.0.copyload, <2 x float> %.sroa.013.0.copyload)
  %156 = call float @b2Cross(<2 x float> %155, <2 x float> %154)
  %157 = fcmp ugt float %156, %137
  br i1 %157, label %167, label %.preheader

.preheader:                                       ; preds = %142
  %158 = add nsw i32 %139, -1
  %159 = icmp slt i32 %144, %158
  br i1 %159, label %.lr.ph197, label %._crit_edge198

._crit_edge198:                                   ; preds = %.lr.ph197, %.preheader
  %.lcssa = phi i32 [ %158, %.preheader ], [ %164, %.lr.ph197 ]
  store i32 %.lcssa, ptr %9, align 4, !tbaa !5
  br label %167

.lr.ph197:                                        ; preds = %.preheader, %.lr.ph197
  %indvars.iv236 = phi i64 [ %indvars.iv.next237, %.lr.ph197 ], [ %149, %.preheader ]
  %160 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %0, i64 0, i64 %indvars.iv236
  %indvars.iv.next237 = add nuw nsw i64 %indvars.iv236, 1
  %161 = getelementptr inbounds [8 x %struct.b2Vec2], ptr %0, i64 0, i64 %indvars.iv.next237
  %162 = load i64, ptr %161, align 4
  store i64 %162, ptr %160, align 4
  %163 = load i32, ptr %9, align 4, !tbaa !5
  %164 = add nsw i32 %163, -1
  %165 = trunc nuw i64 %indvars.iv.next237 to i32
  %166 = icmp sgt i32 %164, %165
  br i1 %166, label %.lr.ph197, label %._crit_edge198, !llvm.loop !20

167:                                              ; preds = %142, %._crit_edge198
  %168 = phi i32 [ %.lcssa, %._crit_edge198 ], [ %138, %142 ]
  %169 = phi i32 [ %.lcssa, %._crit_edge198 ], [ %139, %142 ]
  %.2136 = phi i1 [ true, %._crit_edge198 ], [ %.1135, %142 ]
  br i1 %157, label %.preheader158.backedge, label %170

.preheader158.backedge:                           ; preds = %167, %170
  %.be = phi i32 [ %168, %167 ], [ %171, %170 ]
  %.be255 = phi i32 [ %169, %167 ], [ %171, %170 ]
  %indvars.iv239.be = phi i64 [ %indvars.iv.next240, %167 ], [ 0, %170 ]
  %.1135.be = phi i1 [ %.2136, %167 ], [ false, %170 ]
  br label %.preheader158, !llvm.loop !21

170:                                              ; preds = %.preheader158, %167
  %171 = phi i32 [ %168, %167 ], [ %138, %.preheader158 ]
  %.3 = phi i1 [ %.2136, %167 ], [ %.1135, %.preheader158 ]
  %172 = icmp sgt i32 %171, 2
  %173 = select i1 %.3, i1 %172, i1 false
  br i1 %173, label %.preheader158.backedge, label %._crit_edge200

._crit_edge200:                                   ; preds = %170
  %174 = icmp slt i32 %171, 3
  br i1 %174, label %._crit_edge200.thread, label %175

._crit_edge200.thread:                            ; preds = %135, %._crit_edge200
  store i32 0, ptr %9, align 4, !tbaa !5
  br label %175

175:                                              ; preds = %._crit_edge200, %._crit_edge200.thread, %._crit_edge185
  call void @llvm.lifetime.end.p0(i64 68, ptr nonnull %8) #7
  call void @llvm.lifetime.end.p0(i64 68, ptr nonnull %7) #7
  call void @llvm.lifetime.end.p0(i64 48, ptr nonnull %6) #7
  call void @llvm.lifetime.end.p0(i64 48, ptr nonnull %5) #7
  br label %._crit_edge.thread

._crit_edge.thread:                               ; preds = %11, %._crit_edge, %175
  call void @llvm.lifetime.end.p0(i64 64, ptr nonnull %4) #7
  br label %176

176:                                              ; preds = %3, %._crit_edge.thread
  ret void
}

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

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

; Function Attrs: inlinehint nounwind uwtable
declare hidden <2 x float> @b2Min(<2 x float>, <2 x float>) local_unnamed_addr #3

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

; Function Attrs: inlinehint nounwind uwtable
declare hidden <2 x float> @b2Max(<2 x float>, <2 x float>) local_unnamed_addr #3

; Function Attrs: inlinehint nounwind uwtable
declare hidden float @b2DistanceSquared(<2 x float>, <2 x float>) local_unnamed_addr #3

; Function Attrs: inlinehint nounwind uwtable
declare hidden <2 x float> @b2AABB_Center(<2 x float>, <2 x float>) local_unnamed_addr #3

; Function Attrs: inlinehint nounwind uwtable
declare hidden <2 x float> @b2Normalize(<2 x float>) local_unnamed_addr #3

; Function Attrs: inlinehint nounwind uwtable
declare hidden <2 x float> @b2Sub(<2 x float>, <2 x float>) local_unnamed_addr #3

; Function Attrs: inlinehint nounwind uwtable
declare hidden float @b2Cross(<2 x float>, <2 x float>) local_unnamed_addr #3

; Function Attrs: nounwind uwtable
declare hidden void @b2RecurseHull(ptr dead_on_unwind noalias writable sret(%struct.b2Hull) align 4, <2 x float>, <2 x float>, ptr noundef, i32 noundef) local_unnamed_addr #0

declare i32 @b2InternalAssertFcn(ptr noundef, ptr noundef, i32 noundef) local_unnamed_addr #4

; Function Attrs: cold noreturn nounwind memory(inaccessiblemem: write)
declare void @llvm.trap() #5

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

attributes #0 = { nounwind uwtable "min-legal-vector-width"="64" "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 = { inlinehint 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 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #3 = { inlinehint nounwind uwtable "min-legal-vector-width"="64" "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 #4 = { "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 #5 = { cold noreturn nounwind memory(inaccessiblemem: write) }
attributes #6 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #7 = { 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, !9, i64 64}
!6 = !{!"b2Hull", !7, i64 0, !9, i64 64}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!"int", !7, i64 0}
!10 = !{!11, !11, i64 0}
!11 = !{!"float", !7, i64 0}
!12 = distinct !{!12, !13}
!13 = !{!"llvm.loop.mustprogress"}
!14 = distinct !{!14, !13}
!15 = distinct !{!15, !13}
!16 = distinct !{!16, !13}
!17 = distinct !{!17, !13}
!18 = distinct !{!18, !13}
!19 = distinct !{!19, !13}
!20 = distinct !{!20, !13}
!21 = distinct !{!21, !13}


; Effective O3 passes: AggressiveInstCombinePass,ConstraintEliminationPass,CorrelatedValuePropagationPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferAlignmentPass,InferFunctionAttrsPass,InstCombinePass,InstSimplifyPass,JumpThreadingPass,LCSSAPass,LICMPass,LoopInstSimplifyPass,LoopRotatePass,LoopSimplifyCFGPass,LoopSimplifyPass,LoopUnrollPass,PostOrderFunctionAttrsPass,ReassociatePass,SCCPPass,SROAPass,SimplifyCFGPass,TailCallElimPass