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

; 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.b2World = type { %struct.b2ArenaAllocator, %struct.b2BroadPhase, %struct.b2ConstraintGraph, %struct.b2IdPool, %struct.b2BodyArray, %struct.b2IdPool, %struct.b2SolverSetArray, %struct.b2IdPool, %struct.b2JointArray, %struct.b2IdPool, %struct.b2ContactArray, %struct.b2IdPool, %struct.b2IslandArray, %struct.b2IdPool, %struct.b2IdPool, %struct.b2ShapeArray, %struct.b2ChainShapeArray, %struct.b2SensorArray, %struct.b2TaskContextArray, %struct.b2SensorTaskContextArray, %struct.b2BodyMoveEventArray, %struct.b2SensorBeginTouchEventArray, %struct.b2ContactBeginTouchEventArray, [2 x %struct.b2SensorEndTouchEventArray], [2 x %struct.b2ContactEndTouchEventArray], i32, %struct.b2ContactHitEventArray, %struct.b2BitSet, %struct.b2BitSet, %struct.b2BitSet, %struct.b2BitSet, i64, i32, %struct.b2Vec2, float, float, float, float, float, float, float, float, ptr, ptr, i16, %struct.b2Profile, ptr, ptr, ptr, ptr, i32, ptr, ptr, ptr, ptr, ptr, float, i32, i32, i16, i8, i8, i8, i8, i8, i8 }
%struct.b2ArenaAllocator = type { ptr, i32, i32, i32, i32, %struct.b2ArenaEntryArray }
%struct.b2ArenaEntryArray = type { ptr, i32, i32 }
%struct.b2BroadPhase = type { [3 x %struct.b2DynamicTree], i32, %struct.b2HashSet, %struct.b2IntArray, ptr, ptr, i32, %struct.b2AtomicInt, %struct.b2HashSet }
%struct.b2DynamicTree = type { ptr, i32, i32, i32, i32, i32, ptr, ptr, ptr, ptr, i32 }
%struct.b2IntArray = type { ptr, i32, i32 }
%struct.b2AtomicInt = type { i32 }
%struct.b2HashSet = type { ptr, i32, i32 }
%struct.b2ConstraintGraph = type { [12 x %struct.b2GraphColor] }
%struct.b2GraphColor = type { %struct.b2BitSet, %struct.b2ContactSimArray, %struct.b2JointSimArray, %union.anon }
%struct.b2ContactSimArray = type { ptr, i32, i32 }
%struct.b2JointSimArray = type { ptr, i32, i32 }
%union.anon = type { ptr }
%struct.b2BodyArray = type { ptr, i32, i32 }
%struct.b2SolverSetArray = type { ptr, i32, i32 }
%struct.b2JointArray = type { ptr, i32, i32 }
%struct.b2ContactArray = type { ptr, i32, i32 }
%struct.b2IslandArray = type { ptr, i32, i32 }
%struct.b2IdPool = type { %struct.b2IntArray, i32 }
%struct.b2ShapeArray = type { ptr, i32, i32 }
%struct.b2ChainShapeArray = type { ptr, i32, i32 }
%struct.b2SensorArray = type { ptr, i32, i32 }
%struct.b2TaskContextArray = type { ptr, i32, i32 }
%struct.b2SensorTaskContextArray = type { ptr, i32, i32 }
%struct.b2BodyMoveEventArray = type { ptr, i32, i32 }
%struct.b2SensorBeginTouchEventArray = type { ptr, i32, i32 }
%struct.b2ContactBeginTouchEventArray = type { ptr, i32, i32 }
%struct.b2SensorEndTouchEventArray = type { ptr, i32, i32 }
%struct.b2ContactEndTouchEventArray = type { ptr, i32, i32 }
%struct.b2ContactHitEventArray = type { ptr, i32, i32 }
%struct.b2BitSet = type { ptr, i32, i32 }
%struct.b2Vec2 = type { float, float }
%struct.b2Profile = type { float, float, float, float, float, float, float, float, float, float, float, float, float, float, float, float, float, float, float, float, float, float }
%struct.b2Island = type { i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32 }
%struct.b2Body = type { [32 x i8], ptr, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, float, float, float, float, i32, i32, i32, i16, i8, i8, i8, i8 }
%struct.b2Contact = type { i32, i32, i32, [2 x %struct.b2ContactEdge], i32, i32, i32, i32, i32, i32, i32, i8 }
%struct.b2ContactEdge = type { i32, i32, i32 }
%struct.b2Joint = type { ptr, i32, i32, i32, [2 x %struct.b2JointEdge], i32, i32, i32, i32, float, i32, i16, i8, i8 }
%struct.b2JointEdge = type { i32, i32, i32 }

@.str.1 = external hidden unnamed_addr constant [62 x i8], align 1
@.str.21 = external hidden unnamed_addr constant [13 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.23 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.24 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.25 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.26 = external hidden unnamed_addr constant [23 x i8], align 1
@.str.27 = external hidden unnamed_addr constant [32 x i8], align 1
@.str.28 = external hidden unnamed_addr constant [23 x i8], align 1
@.str.29 = external hidden unnamed_addr constant [26 x i8], align 1

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

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

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

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

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

; Function Attrs: inlinehint nounwind uwtable
declare hidden ptr @b2IslandArray_Get(ptr noundef, i32 noundef) #4

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

; Function Attrs: inlinehint nounwind uwtable
declare hidden ptr @b2ContactArray_Get(ptr noundef, i32 noundef) #4

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

; Function Attrs: inlinehint nounwind uwtable
declare hidden ptr @b2JointArray_Get(ptr noundef, i32 noundef) #4

; Function Attrs: nounwind uwtable
define dso_local void @b2SplitIsland(ptr noundef %0, i32 noundef %1) #0 {
  %3 = alloca ptr, align 8
  %4 = alloca i32, align 4
  %5 = alloca ptr, align 8
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  %8 = alloca i32, align 4
  %9 = alloca ptr, align 8
  %10 = alloca ptr, align 8
  %11 = alloca ptr, align 8
  %12 = alloca ptr, align 8
  %13 = alloca i32, align 4
  %14 = alloca i32, align 4
  %15 = alloca ptr, align 8
  %16 = alloca i32, align 4
  %17 = alloca ptr, align 8
  %18 = alloca i32, align 4
  %19 = alloca ptr, align 8
  %20 = alloca i32, align 4
  %21 = alloca i32, align 4
  %22 = alloca ptr, align 8
  %23 = alloca i32, align 4
  %24 = alloca ptr, align 8
  %25 = alloca i32, align 4
  %26 = alloca i32, align 4
  %27 = alloca ptr, align 8
  %28 = alloca i32, align 4
  %29 = alloca i32, align 4
  %30 = alloca i32, align 4
  %31 = alloca ptr, align 8
  %32 = alloca i32, align 4
  %33 = alloca i32, align 4
  %34 = alloca ptr, align 8
  %35 = alloca ptr, align 8
  %36 = alloca i32, align 4
  %37 = alloca i32, align 4
  %38 = alloca i32, align 4
  %39 = alloca ptr, align 8
  %40 = alloca i32, align 4
  %41 = alloca i32, align 4
  %42 = alloca ptr, align 8
  %43 = alloca ptr, align 8
  store ptr %0, ptr %3, align 8, !tbaa !5
  store i32 %1, ptr %4, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %5) #5
  %44 = load ptr, ptr %3, align 8, !tbaa !5
  %45 = getelementptr inbounds %struct.b2World, ptr %44, i32 0, i32 12
  %46 = load i32, ptr %4, align 4, !tbaa !9
  %47 = call ptr @b2IslandArray_Get(ptr noundef %45, i32 noundef %46)
  store ptr %47, ptr %5, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #5
  %48 = load ptr, ptr %5, align 8, !tbaa !5
  %49 = getelementptr inbounds %struct.b2Island, ptr %48, i32 0, i32 0
  %50 = load i32, ptr %49, align 4, !tbaa !11
  store i32 %50, ptr %6, align 4, !tbaa !9
  %51 = load i32, ptr %6, align 4, !tbaa !9
  %52 = icmp ne i32 %51, 2
  br i1 %52, label %53, label %54

53:                                               ; preds = %2
  store i32 1, ptr %7, align 4
  br label %578

54:                                               ; preds = %2
  %55 = load ptr, ptr %5, align 8, !tbaa !5
  %56 = getelementptr inbounds %struct.b2Island, ptr %55, i32 0, i32 13
  %57 = load i32, ptr %56, align 4, !tbaa !13
  %58 = icmp eq i32 %57, 0
  br i1 %58, label %59, label %60

59:                                               ; preds = %54
  store i32 1, ptr %7, align 4
  br label %578

60:                                               ; preds = %54
  %61 = load ptr, ptr %3, align 8, !tbaa !5
  %62 = load i32, ptr %4, align 4, !tbaa !9
  call void @b2ValidateIsland(ptr noundef %61, i32 noundef %62)
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #5
  %63 = load ptr, ptr %5, align 8, !tbaa !5
  %64 = getelementptr inbounds %struct.b2Island, ptr %63, i32 0, i32 5
  %65 = load i32, ptr %64, align 4, !tbaa !14
  store i32 %65, ptr %8, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #5
  %66 = load ptr, ptr %3, align 8, !tbaa !5
  %67 = getelementptr inbounds %struct.b2World, ptr %66, i32 0, i32 4
  %68 = getelementptr inbounds %struct.b2BodyArray, ptr %67, i32 0, i32 0
  %69 = load ptr, ptr %68, align 8, !tbaa !15
  store ptr %69, ptr %9, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #5
  %70 = load ptr, ptr %3, align 8, !tbaa !5
  %71 = getelementptr inbounds %struct.b2World, ptr %70, i32 0, i32 0
  store ptr %71, ptr %10, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #5
  %72 = load ptr, ptr %10, align 8, !tbaa !5
  %73 = load i32, ptr %8, align 4, !tbaa !9
  %74 = sext i32 %73 to i64
  %75 = mul i64 %74, 4
  %76 = trunc i64 %75 to i32
  %77 = call ptr @b2AllocateArenaItem(ptr noundef %72, i32 noundef %76, ptr noundef @.str.21)
  store ptr %77, ptr %11, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #5
  %78 = load ptr, ptr %10, align 8, !tbaa !5
  %79 = load i32, ptr %8, align 4, !tbaa !9
  %80 = sext i32 %79 to i64
  %81 = mul i64 %80, 4
  %82 = trunc i64 %81 to i32
  %83 = call ptr @b2AllocateArenaItem(ptr noundef %78, i32 noundef %82, ptr noundef @.str.22)
  store ptr %83, ptr %12, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #5
  store i32 0, ptr %13, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #5
  %84 = load ptr, ptr %5, align 8, !tbaa !5
  %85 = getelementptr inbounds %struct.b2Island, ptr %84, i32 0, i32 3
  %86 = load i32, ptr %85, align 4, !tbaa !31
  store i32 %86, ptr %14, align 4, !tbaa !9
  br label %87

87:                                               ; preds = %90, %60
  %88 = load i32, ptr %14, align 4, !tbaa !9
  %89 = icmp ne i32 %88, -1
  br i1 %89, label %90, label %106

90:                                               ; preds = %87
  %91 = load i32, ptr %14, align 4, !tbaa !9
  %92 = load ptr, ptr %12, align 8, !tbaa !5
  %93 = load i32, ptr %13, align 4, !tbaa !9
  %94 = add nsw i32 %93, 1
  store i32 %94, ptr %13, align 4, !tbaa !9
  %95 = sext i32 %93 to i64
  %96 = getelementptr inbounds i32, ptr %92, i64 %95
  store i32 %91, ptr %96, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #5
  %97 = load ptr, ptr %9, align 8, !tbaa !5
  %98 = load i32, ptr %14, align 4, !tbaa !9
  %99 = sext i32 %98 to i64
  %100 = getelementptr inbounds %struct.b2Body, ptr %97, i64 %99
  store ptr %100, ptr %15, align 8, !tbaa !5
  %101 = load ptr, ptr %15, align 8, !tbaa !5
  %102 = getelementptr inbounds %struct.b2Body, ptr %101, i32 0, i32 25
  store i8 0, ptr %102, align 1, !tbaa !32
  %103 = load ptr, ptr %15, align 8, !tbaa !5
  %104 = getelementptr inbounds %struct.b2Body, ptr %103, i32 0, i32 13
  %105 = load i32, ptr %104, align 4, !tbaa !34
  store i32 %105, ptr %14, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #5
  br label %87, !llvm.loop !35

106:                                              ; preds = %87
  br label %107

107:                                              ; preds = %106
  %108 = load i32, ptr %13, align 4, !tbaa !9
  %109 = load i32, ptr %8, align 4, !tbaa !9
  %110 = icmp eq i32 %108, %109
  br i1 %110, label %115, label %111

111:                                              ; preds = %107
  %112 = call i32 @b2InternalAssertFcn(ptr noundef @.str.23, ptr noundef @.str.1, i32 noundef 644)
  %113 = icmp ne i32 %112, 0
  br i1 %113, label %114, label %115

114:                                              ; preds = %111
  call void @llvm.trap()
  br label %115

115:                                              ; preds = %114, %111, %107
  br label %116

116:                                              ; preds = %115
  br label %117

117:                                              ; preds = %116
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #5
  %118 = load ptr, ptr %5, align 8, !tbaa !5
  %119 = getelementptr inbounds %struct.b2Island, ptr %118, i32 0, i32 6
  %120 = load i32, ptr %119, align 4, !tbaa !37
  store i32 %120, ptr %16, align 4, !tbaa !9
  br label %121

121:                                              ; preds = %124, %117
  %122 = load i32, ptr %16, align 4, !tbaa !9
  %123 = icmp ne i32 %122, -1
  br i1 %123, label %124, label %134

124:                                              ; preds = %121
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #5
  %125 = load ptr, ptr %3, align 8, !tbaa !5
  %126 = getelementptr inbounds %struct.b2World, ptr %125, i32 0, i32 10
  %127 = load i32, ptr %16, align 4, !tbaa !9
  %128 = call ptr @b2ContactArray_Get(ptr noundef %126, i32 noundef %127)
  store ptr %128, ptr %17, align 8, !tbaa !5
  %129 = load ptr, ptr %17, align 8, !tbaa !5
  %130 = getelementptr inbounds %struct.b2Contact, ptr %129, i32 0, i32 11
  store i8 0, ptr %130, align 4, !tbaa !38
  %131 = load ptr, ptr %17, align 8, !tbaa !5
  %132 = getelementptr inbounds %struct.b2Contact, ptr %131, i32 0, i32 7
  %133 = load i32, ptr %132, align 4, !tbaa !40
  store i32 %133, ptr %16, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #5
  br label %121, !llvm.loop !41

134:                                              ; preds = %121
  call void @llvm.lifetime.start.p0(i64 4, ptr %18) #5
  %135 = load ptr, ptr %5, align 8, !tbaa !5
  %136 = getelementptr inbounds %struct.b2Island, ptr %135, i32 0, i32 9
  %137 = load i32, ptr %136, align 4, !tbaa !42
  store i32 %137, ptr %18, align 4, !tbaa !9
  br label %138

138:                                              ; preds = %141, %134
  %139 = load i32, ptr %18, align 4, !tbaa !9
  %140 = icmp ne i32 %139, -1
  br i1 %140, label %141, label %151

141:                                              ; preds = %138
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #5
  %142 = load ptr, ptr %3, align 8, !tbaa !5
  %143 = getelementptr inbounds %struct.b2World, ptr %142, i32 0, i32 8
  %144 = load i32, ptr %18, align 4, !tbaa !9
  %145 = call ptr @b2JointArray_Get(ptr noundef %143, i32 noundef %144)
  store ptr %145, ptr %19, align 8, !tbaa !5
  %146 = load ptr, ptr %19, align 8, !tbaa !5
  %147 = getelementptr inbounds %struct.b2Joint, ptr %146, i32 0, i32 12
  store i8 0, ptr %147, align 2, !tbaa !43
  %148 = load ptr, ptr %19, align 8, !tbaa !5
  %149 = getelementptr inbounds %struct.b2Joint, ptr %148, i32 0, i32 8
  %150 = load i32, ptr %149, align 8, !tbaa !45
  store i32 %150, ptr %18, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #5
  br label %138, !llvm.loop !46

151:                                              ; preds = %138
  %152 = load ptr, ptr %3, align 8, !tbaa !5
  %153 = load i32, ptr %4, align 4, !tbaa !9
  call void @b2DestroyIsland(ptr noundef %152, i32 noundef %153)
  call void @llvm.lifetime.start.p0(i64 4, ptr %20) #5
  store i32 0, ptr %20, align 4, !tbaa !9
  br label %154

154:                                              ; preds = %570, %151
  %155 = load i32, ptr %20, 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 10, ptr %7, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #5
  br label %573

159:                                              ; preds = %154
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #5
  %160 = load ptr, ptr %12, align 8, !tbaa !5
  %161 = load i32, ptr %20, align 4, !tbaa !9
  %162 = sext i32 %161 to i64
  %163 = getelementptr inbounds i32, ptr %160, i64 %162
  %164 = load i32, ptr %163, align 4, !tbaa !9
  store i32 %164, ptr %21, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #5
  %165 = load ptr, ptr %9, align 8, !tbaa !5
  %166 = load i32, ptr %21, align 4, !tbaa !9
  %167 = sext i32 %166 to i64
  %168 = getelementptr inbounds %struct.b2Body, ptr %165, i64 %167
  store ptr %168, ptr %22, align 8, !tbaa !5
  br label %169

169:                                              ; preds = %159
  %170 = load ptr, ptr %22, align 8, !tbaa !5
  %171 = getelementptr inbounds %struct.b2Body, ptr %170, i32 0, i32 2
  %172 = load i32, ptr %171, align 8, !tbaa !47
  %173 = load i32, ptr %6, align 4, !tbaa !9
  %174 = icmp eq i32 %172, %173
  br i1 %174, label %179, label %175

175:                                              ; preds = %169
  %176 = call i32 @b2InternalAssertFcn(ptr noundef @.str.24, ptr noundef @.str.1, i32 noundef 673)
  %177 = icmp ne i32 %176, 0
  br i1 %177, label %178, label %179

178:                                              ; preds = %175
  call void @llvm.trap()
  br label %179

179:                                              ; preds = %178, %175, %169
  br label %180

180:                                              ; preds = %179
  br label %181

181:                                              ; preds = %180
  %182 = load ptr, ptr %22, align 8, !tbaa !5
  %183 = getelementptr inbounds %struct.b2Body, ptr %182, i32 0, i32 25
  %184 = load i8, ptr %183, align 1, !tbaa !32, !range !48, !noundef !49
  %185 = trunc i8 %184 to i1
  %186 = zext i1 %185 to i32
  %187 = icmp eq i32 %186, 1
  br i1 %187, label %188, label %189

188:                                              ; preds = %181
  store i32 12, ptr %7, align 4
  br label %567

189:                                              ; preds = %181
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #5
  store i32 0, ptr %23, align 4, !tbaa !9
  %190 = load i32, ptr %21, align 4, !tbaa !9
  %191 = load ptr, ptr %11, align 8, !tbaa !5
  %192 = load i32, ptr %23, align 4, !tbaa !9
  %193 = add nsw i32 %192, 1
  store i32 %193, ptr %23, align 4, !tbaa !9
  %194 = sext i32 %192 to i64
  %195 = getelementptr inbounds i32, ptr %191, i64 %194
  store i32 %190, ptr %195, align 4, !tbaa !9
  %196 = load ptr, ptr %22, align 8, !tbaa !5
  %197 = getelementptr inbounds %struct.b2Body, ptr %196, i32 0, i32 25
  store i8 1, ptr %197, align 1, !tbaa !32
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #5
  %198 = load ptr, ptr %3, align 8, !tbaa !5
  %199 = load i32, ptr %6, align 4, !tbaa !9
  %200 = call ptr @b2CreateIsland(ptr noundef %198, i32 noundef %199)
  store ptr %200, ptr %24, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #5
  %201 = load ptr, ptr %24, align 8, !tbaa !5
  %202 = getelementptr inbounds %struct.b2Island, ptr %201, i32 0, i32 2
  %203 = load i32, ptr %202, align 4, !tbaa !50
  store i32 %203, ptr %25, align 4, !tbaa !9
  br label %204

204:                                              ; preds = %563, %189
  %205 = load i32, ptr %23, align 4, !tbaa !9
  %206 = icmp sgt i32 %205, 0
  br i1 %206, label %207, label %564

207:                                              ; preds = %204
  call void @llvm.lifetime.start.p0(i64 4, ptr %26) #5
  %208 = load ptr, ptr %11, align 8, !tbaa !5
  %209 = load i32, ptr %23, align 4, !tbaa !9
  %210 = add nsw i32 %209, -1
  store i32 %210, ptr %23, align 4, !tbaa !9
  %211 = sext i32 %210 to i64
  %212 = getelementptr inbounds i32, ptr %208, i64 %211
  %213 = load i32, ptr %212, align 4, !tbaa !9
  store i32 %213, ptr %26, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #5
  %214 = load ptr, ptr %9, align 8, !tbaa !5
  %215 = load i32, ptr %26, align 4, !tbaa !9
  %216 = sext i32 %215 to i64
  %217 = getelementptr inbounds %struct.b2Body, ptr %214, i64 %216
  store ptr %217, ptr %27, align 8, !tbaa !5
  br label %218

218:                                              ; preds = %207
  %219 = load ptr, ptr %27, align 8, !tbaa !5
  %220 = getelementptr inbounds %struct.b2Body, ptr %219, i32 0, i32 2
  %221 = load i32, ptr %220, align 8, !tbaa !47
  %222 = icmp eq i32 %221, 2
  br i1 %222, label %227, label %223

223:                                              ; preds = %218
  %224 = call i32 @b2InternalAssertFcn(ptr noundef @.str.25, ptr noundef @.str.1, i32 noundef 698)
  %225 = icmp ne i32 %224, 0
  br i1 %225, label %226, label %227

226:                                              ; preds = %223
  call void @llvm.trap()
  br label %227

227:                                              ; preds = %226, %223, %218
  br label %228

228:                                              ; preds = %227
  br label %229

229:                                              ; preds = %228
  br label %230

230:                                              ; preds = %229
  %231 = load ptr, ptr %27, align 8, !tbaa !5
  %232 = getelementptr inbounds %struct.b2Body, ptr %231, i32 0, i32 25
  %233 = load i8, ptr %232, align 1, !tbaa !32, !range !48, !noundef !49
  %234 = trunc i8 %233 to i1
  %235 = zext i1 %234 to i32
  %236 = icmp eq i32 %235, 1
  br i1 %236, label %241, label %237

237:                                              ; preds = %230
  %238 = call i32 @b2InternalAssertFcn(ptr noundef @.str.26, ptr noundef @.str.1, i32 noundef 699)
  %239 = icmp ne i32 %238, 0
  br i1 %239, label %240, label %241

240:                                              ; preds = %237
  call void @llvm.trap()
  br label %241

241:                                              ; preds = %240, %237, %230
  br label %242

242:                                              ; preds = %241
  br label %243

243:                                              ; preds = %242
  %244 = load i32, ptr %25, align 4, !tbaa !9
  %245 = load ptr, ptr %27, align 8, !tbaa !5
  %246 = getelementptr inbounds %struct.b2Body, ptr %245, i32 0, i32 11
  store i32 %244, ptr %246, align 4, !tbaa !51
  %247 = load ptr, ptr %24, align 8, !tbaa !5
  %248 = getelementptr inbounds %struct.b2Island, ptr %247, i32 0, i32 4
  %249 = load i32, ptr %248, align 4, !tbaa !52
  %250 = icmp ne i32 %249, -1
  br i1 %250, label %251, label %260

251:                                              ; preds = %243
  %252 = load i32, ptr %26, align 4, !tbaa !9
  %253 = load ptr, ptr %9, align 8, !tbaa !5
  %254 = load ptr, ptr %24, align 8, !tbaa !5
  %255 = getelementptr inbounds %struct.b2Island, ptr %254, i32 0, i32 4
  %256 = load i32, ptr %255, align 4, !tbaa !52
  %257 = sext i32 %256 to i64
  %258 = getelementptr inbounds %struct.b2Body, ptr %253, i64 %257
  %259 = getelementptr inbounds %struct.b2Body, ptr %258, i32 0, i32 13
  store i32 %252, ptr %259, align 4, !tbaa !34
  br label %260

260:                                              ; preds = %251, %243
  %261 = load ptr, ptr %24, align 8, !tbaa !5
  %262 = getelementptr inbounds %struct.b2Island, ptr %261, i32 0, i32 4
  %263 = load i32, ptr %262, align 4, !tbaa !52
  %264 = load ptr, ptr %27, align 8, !tbaa !5
  %265 = getelementptr inbounds %struct.b2Body, ptr %264, i32 0, i32 12
  store i32 %263, ptr %265, align 8, !tbaa !53
  %266 = load ptr, ptr %27, align 8, !tbaa !5
  %267 = getelementptr inbounds %struct.b2Body, ptr %266, i32 0, i32 13
  store i32 -1, ptr %267, align 4, !tbaa !34
  %268 = load i32, ptr %26, align 4, !tbaa !9
  %269 = load ptr, ptr %24, align 8, !tbaa !5
  %270 = getelementptr inbounds %struct.b2Island, ptr %269, i32 0, i32 4
  store i32 %268, ptr %270, align 4, !tbaa !52
  %271 = load ptr, ptr %24, align 8, !tbaa !5
  %272 = getelementptr inbounds %struct.b2Island, ptr %271, i32 0, i32 3
  %273 = load i32, ptr %272, align 4, !tbaa !31
  %274 = icmp eq i32 %273, -1
  br i1 %274, label %275, label %279

275:                                              ; preds = %260
  %276 = load i32, ptr %26, align 4, !tbaa !9
  %277 = load ptr, ptr %24, align 8, !tbaa !5
  %278 = getelementptr inbounds %struct.b2Island, ptr %277, i32 0, i32 3
  store i32 %276, ptr %278, align 4, !tbaa !31
  br label %279

279:                                              ; preds = %275, %260
  %280 = load ptr, ptr %24, align 8, !tbaa !5
  %281 = getelementptr inbounds %struct.b2Island, ptr %280, i32 0, i32 5
  %282 = load i32, ptr %281, align 4, !tbaa !14
  %283 = add nsw i32 %282, 1
  store i32 %283, ptr %281, align 4, !tbaa !14
  call void @llvm.lifetime.start.p0(i64 4, ptr %28) #5
  %284 = load ptr, ptr %27, align 8, !tbaa !5
  %285 = getelementptr inbounds %struct.b2Body, ptr %284, i32 0, i32 4
  %286 = load i32, ptr %285, align 8, !tbaa !54
  store i32 %286, ptr %28, align 4, !tbaa !9
  br label %287

287:                                              ; preds = %422, %420, %279
  %288 = load i32, ptr %28, align 4, !tbaa !9
  %289 = icmp ne i32 %288, -1
  br i1 %289, label %290, label %423

290:                                              ; preds = %287
  call void @llvm.lifetime.start.p0(i64 4, ptr %29) #5
  %291 = load i32, ptr %28, align 4, !tbaa !9
  %292 = ashr i32 %291, 1
  store i32 %292, ptr %29, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %30) #5
  %293 = load i32, ptr %28, align 4, !tbaa !9
  %294 = and i32 %293, 1
  store i32 %294, ptr %30, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #5
  %295 = load ptr, ptr %3, align 8, !tbaa !5
  %296 = getelementptr inbounds %struct.b2World, ptr %295, i32 0, i32 10
  %297 = load i32, ptr %29, align 4, !tbaa !9
  %298 = call ptr @b2ContactArray_Get(ptr noundef %296, i32 noundef %297)
  store ptr %298, ptr %31, align 8, !tbaa !5
  br label %299

299:                                              ; preds = %290
  %300 = load ptr, ptr %31, align 8, !tbaa !5
  %301 = getelementptr inbounds %struct.b2Contact, ptr %300, i32 0, i32 9
  %302 = load i32, ptr %301, align 4, !tbaa !55
  %303 = load i32, ptr %29, align 4, !tbaa !9
  %304 = icmp eq i32 %302, %303
  br i1 %304, label %309, label %305

305:                                              ; preds = %299
  %306 = call i32 @b2InternalAssertFcn(ptr noundef @.str.27, ptr noundef @.str.1, i32 noundef 726)
  %307 = icmp ne i32 %306, 0
  br i1 %307, label %308, label %309

308:                                              ; preds = %305
  call void @llvm.trap()
  br label %309

309:                                              ; preds = %308, %305, %299
  br label %310

310:                                              ; preds = %309
  br label %311

311:                                              ; preds = %310
  %312 = load ptr, ptr %31, align 8, !tbaa !5
  %313 = getelementptr inbounds %struct.b2Contact, ptr %312, i32 0, i32 3
  %314 = load i32, ptr %30, align 4, !tbaa !9
  %315 = sext i32 %314 to i64
  %316 = getelementptr inbounds [2 x %struct.b2ContactEdge], ptr %313, i64 0, i64 %315
  %317 = getelementptr inbounds %struct.b2ContactEdge, ptr %316, i32 0, i32 2
  %318 = load i32, ptr %317, align 4, !tbaa !56
  store i32 %318, ptr %28, align 4, !tbaa !9
  %319 = load ptr, ptr %31, align 8, !tbaa !5
  %320 = getelementptr inbounds %struct.b2Contact, ptr %319, i32 0, i32 11
  %321 = load i8, ptr %320, align 4, !tbaa !38, !range !48, !noundef !49
  %322 = trunc i8 %321 to i1
  br i1 %322, label %323, label %324

323:                                              ; preds = %311
  store i32 21, ptr %7, align 4
  br label %420, !llvm.loop !58

324:                                              ; preds = %311
  %325 = load ptr, ptr %31, align 8, !tbaa !5
  %326 = getelementptr inbounds %struct.b2Contact, ptr %325, i32 0, i32 10
  %327 = load i32, ptr %326, align 4, !tbaa !59
  %328 = and i32 %327, 1
  %329 = icmp eq i32 %328, 0
  br i1 %329, label %330, label %331

330:                                              ; preds = %324
  store i32 21, ptr %7, align 4
  br label %420, !llvm.loop !58

331:                                              ; preds = %324
  %332 = load ptr, ptr %31, align 8, !tbaa !5
  %333 = getelementptr inbounds %struct.b2Contact, ptr %332, i32 0, i32 11
  store i8 1, ptr %333, align 4, !tbaa !38
  call void @llvm.lifetime.start.p0(i64 4, ptr %32) #5
  %334 = load i32, ptr %30, align 4, !tbaa !9
  %335 = xor i32 %334, 1
  store i32 %335, ptr %32, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %33) #5
  %336 = load ptr, ptr %31, align 8, !tbaa !5
  %337 = getelementptr inbounds %struct.b2Contact, ptr %336, i32 0, i32 3
  %338 = load i32, ptr %32, align 4, !tbaa !9
  %339 = sext i32 %338 to i64
  %340 = getelementptr inbounds [2 x %struct.b2ContactEdge], ptr %337, i64 0, i64 %339
  %341 = getelementptr inbounds %struct.b2ContactEdge, ptr %340, i32 0, i32 0
  %342 = load i32, ptr %341, align 4, !tbaa !60
  store i32 %342, ptr %33, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %34) #5
  %343 = load ptr, ptr %9, align 8, !tbaa !5
  %344 = load i32, ptr %33, align 4, !tbaa !9
  %345 = sext i32 %344 to i64
  %346 = getelementptr inbounds %struct.b2Body, ptr %343, i64 %345
  store ptr %346, ptr %34, align 8, !tbaa !5
  %347 = load ptr, ptr %34, align 8, !tbaa !5
  %348 = getelementptr inbounds %struct.b2Body, ptr %347, i32 0, i32 25
  %349 = load i8, ptr %348, align 1, !tbaa !32, !range !48, !noundef !49
  %350 = trunc i8 %349 to i1
  %351 = zext i1 %350 to i32
  %352 = icmp eq i32 %351, 0
  br i1 %352, label %353, label %378

353:                                              ; preds = %331
  %354 = load ptr, ptr %34, align 8, !tbaa !5
  %355 = getelementptr inbounds %struct.b2Body, ptr %354, i32 0, i32 2
  %356 = load i32, ptr %355, align 8, !tbaa !47
  %357 = icmp ne i32 %356, 0
  br i1 %357, label %358, label %378

358:                                              ; preds = %353
  br label %359

359:                                              ; preds = %358
  %360 = load i32, ptr %23, align 4, !tbaa !9
  %361 = load i32, ptr %8, align 4, !tbaa !9
  %362 = icmp slt i32 %360, %361
  br i1 %362, label %367, label %363

363:                                              ; preds = %359
  %364 = call i32 @b2InternalAssertFcn(ptr noundef @.str.28, ptr noundef @.str.1, i32 noundef 752)
  %365 = icmp ne i32 %364, 0
  br i1 %365, label %366, label %367

366:                                              ; preds = %363
  call void @llvm.trap()
  br label %367

367:                                              ; preds = %366, %363, %359
  br label %368

368:                                              ; preds = %367
  br label %369

369:                                              ; preds = %368
  %370 = load i32, ptr %33, align 4, !tbaa !9
  %371 = load ptr, ptr %11, align 8, !tbaa !5
  %372 = load i32, ptr %23, align 4, !tbaa !9
  %373 = add nsw i32 %372, 1
  store i32 %373, ptr %23, align 4, !tbaa !9
  %374 = sext i32 %372 to i64
  %375 = getelementptr inbounds i32, ptr %371, i64 %374
  store i32 %370, ptr %375, align 4, !tbaa !9
  %376 = load ptr, ptr %34, align 8, !tbaa !5
  %377 = getelementptr inbounds %struct.b2Body, ptr %376, i32 0, i32 25
  store i8 1, ptr %377, align 1, !tbaa !32
  br label %378

378:                                              ; preds = %369, %353, %331
  %379 = load i32, ptr %25, align 4, !tbaa !9
  %380 = load ptr, ptr %31, align 8, !tbaa !5
  %381 = getelementptr inbounds %struct.b2Contact, ptr %380, i32 0, i32 8
  store i32 %379, ptr %381, align 4, !tbaa !61
  %382 = load ptr, ptr %24, align 8, !tbaa !5
  %383 = getelementptr inbounds %struct.b2Island, ptr %382, i32 0, i32 7
  %384 = load i32, ptr %383, align 4, !tbaa !62
  %385 = icmp ne i32 %384, -1
  br i1 %385, label %386, label %396

386:                                              ; preds = %378
  call void @llvm.lifetime.start.p0(i64 8, ptr %35) #5
  %387 = load ptr, ptr %3, align 8, !tbaa !5
  %388 = getelementptr inbounds %struct.b2World, ptr %387, i32 0, i32 10
  %389 = load ptr, ptr %24, align 8, !tbaa !5
  %390 = getelementptr inbounds %struct.b2Island, ptr %389, i32 0, i32 7
  %391 = load i32, ptr %390, align 4, !tbaa !62
  %392 = call ptr @b2ContactArray_Get(ptr noundef %388, i32 noundef %391)
  store ptr %392, ptr %35, align 8, !tbaa !5
  %393 = load i32, ptr %29, align 4, !tbaa !9
  %394 = load ptr, ptr %35, align 8, !tbaa !5
  %395 = getelementptr inbounds %struct.b2Contact, ptr %394, i32 0, i32 7
  store i32 %393, ptr %395, align 4, !tbaa !40
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #5
  br label %396

396:                                              ; preds = %386, %378
  %397 = load ptr, ptr %24, align 8, !tbaa !5
  %398 = getelementptr inbounds %struct.b2Island, ptr %397, i32 0, i32 7
  %399 = load i32, ptr %398, align 4, !tbaa !62
  %400 = load ptr, ptr %31, align 8, !tbaa !5
  %401 = getelementptr inbounds %struct.b2Contact, ptr %400, i32 0, i32 6
  store i32 %399, ptr %401, align 4, !tbaa !63
  %402 = load ptr, ptr %31, align 8, !tbaa !5
  %403 = getelementptr inbounds %struct.b2Contact, ptr %402, i32 0, i32 7
  store i32 -1, ptr %403, align 4, !tbaa !40
  %404 = load i32, ptr %29, align 4, !tbaa !9
  %405 = load ptr, ptr %24, align 8, !tbaa !5
  %406 = getelementptr inbounds %struct.b2Island, ptr %405, i32 0, i32 7
  store i32 %404, ptr %406, align 4, !tbaa !62
  %407 = load ptr, ptr %24, align 8, !tbaa !5
  %408 = getelementptr inbounds %struct.b2Island, ptr %407, i32 0, i32 6
  %409 = load i32, ptr %408, align 4, !tbaa !37
  %410 = icmp eq i32 %409, -1
  br i1 %410, label %411, label %415

411:                                              ; preds = %396
  %412 = load i32, ptr %29, align 4, !tbaa !9
  %413 = load ptr, ptr %24, align 8, !tbaa !5
  %414 = getelementptr inbounds %struct.b2Island, ptr %413, i32 0, i32 6
  store i32 %412, ptr %414, align 4, !tbaa !37
  br label %415

415:                                              ; preds = %411, %396
  %416 = load ptr, ptr %24, align 8, !tbaa !5
  %417 = getelementptr inbounds %struct.b2Island, ptr %416, i32 0, i32 8
  %418 = load i32, ptr %417, align 4, !tbaa !64
  %419 = add nsw i32 %418, 1
  store i32 %419, ptr %417, align 4, !tbaa !64
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %33) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %32) #5
  store i32 0, ptr %7, align 4
  br label %420

420:                                              ; preds = %415, %330, %323
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %29) #5
  %421 = load i32, ptr %7, align 4
  switch i32 %421, label %581 [
    i32 0, label %422
    i32 21, label %287
  ]

422:                                              ; preds = %420
  br label %287, !llvm.loop !58

423:                                              ; preds = %287
  call void @llvm.lifetime.start.p0(i64 4, ptr %36) #5
  %424 = load ptr, ptr %27, align 8, !tbaa !5
  %425 = getelementptr inbounds %struct.b2Body, ptr %424, i32 0, i32 9
  %426 = load i32, ptr %425, align 4, !tbaa !65
  store i32 %426, ptr %36, align 4, !tbaa !9
  br label %427

427:                                              ; preds = %562, %560, %423
  %428 = load i32, ptr %36, align 4, !tbaa !9
  %429 = icmp ne i32 %428, -1
  br i1 %429, label %430, label %563

430:                                              ; preds = %427
  call void @llvm.lifetime.start.p0(i64 4, ptr %37) #5
  %431 = load i32, ptr %36, align 4, !tbaa !9
  %432 = ashr i32 %431, 1
  store i32 %432, ptr %37, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %38) #5
  %433 = load i32, ptr %36, align 4, !tbaa !9
  %434 = and i32 %433, 1
  store i32 %434, ptr %38, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %39) #5
  %435 = load ptr, ptr %3, align 8, !tbaa !5
  %436 = getelementptr inbounds %struct.b2World, ptr %435, i32 0, i32 8
  %437 = load i32, ptr %37, align 4, !tbaa !9
  %438 = call ptr @b2JointArray_Get(ptr noundef %436, i32 noundef %437)
  store ptr %438, ptr %39, align 8, !tbaa !5
  br label %439

439:                                              ; preds = %430
  %440 = load ptr, ptr %39, align 8, !tbaa !5
  %441 = getelementptr inbounds %struct.b2Joint, ptr %440, i32 0, i32 5
  %442 = load i32, ptr %441, align 4, !tbaa !66
  %443 = load i32, ptr %37, align 4, !tbaa !9
  %444 = icmp eq i32 %442, %443
  br i1 %444, label %449, label %445

445:                                              ; preds = %439
  %446 = call i32 @b2InternalAssertFcn(ptr noundef @.str.29, ptr noundef @.str.1, i32 noundef 784)
  %447 = icmp ne i32 %446, 0
  br i1 %447, label %448, label %449

448:                                              ; preds = %445
  call void @llvm.trap()
  br label %449

449:                                              ; preds = %448, %445, %439
  br label %450

450:                                              ; preds = %449
  br label %451

451:                                              ; preds = %450
  %452 = load ptr, ptr %39, align 8, !tbaa !5
  %453 = getelementptr inbounds %struct.b2Joint, ptr %452, i32 0, i32 4
  %454 = load i32, ptr %38, align 4, !tbaa !9
  %455 = sext i32 %454 to i64
  %456 = getelementptr inbounds [2 x %struct.b2JointEdge], ptr %453, i64 0, i64 %455
  %457 = getelementptr inbounds %struct.b2JointEdge, ptr %456, i32 0, i32 2
  %458 = load i32, ptr %457, align 4, !tbaa !67
  store i32 %458, ptr %36, align 4, !tbaa !9
  %459 = load ptr, ptr %39, align 8, !tbaa !5
  %460 = getelementptr inbounds %struct.b2Joint, ptr %459, i32 0, i32 12
  %461 = load i8, ptr %460, align 2, !tbaa !43, !range !48, !noundef !49
  %462 = trunc i8 %461 to i1
  br i1 %462, label %463, label %464

463:                                              ; preds = %451
  store i32 27, ptr %7, align 4
  br label %560, !llvm.loop !69

464:                                              ; preds = %451
  %465 = load ptr, ptr %39, align 8, !tbaa !5
  %466 = getelementptr inbounds %struct.b2Joint, ptr %465, i32 0, i32 12
  store i8 1, ptr %466, align 2, !tbaa !43
  call void @llvm.lifetime.start.p0(i64 4, ptr %40) #5
  %467 = load i32, ptr %38, align 4, !tbaa !9
  %468 = xor i32 %467, 1
  store i32 %468, ptr %40, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %41) #5
  %469 = load ptr, ptr %39, align 8, !tbaa !5
  %470 = getelementptr inbounds %struct.b2Joint, ptr %469, i32 0, i32 4
  %471 = load i32, ptr %40, align 4, !tbaa !9
  %472 = sext i32 %471 to i64
  %473 = getelementptr inbounds [2 x %struct.b2JointEdge], ptr %470, i64 0, i64 %472
  %474 = getelementptr inbounds %struct.b2JointEdge, ptr %473, i32 0, i32 0
  %475 = load i32, ptr %474, align 4, !tbaa !70
  store i32 %475, ptr %41, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %42) #5
  %476 = load ptr, ptr %9, align 8, !tbaa !5
  %477 = load i32, ptr %41, align 4, !tbaa !9
  %478 = sext i32 %477 to i64
  %479 = getelementptr inbounds %struct.b2Body, ptr %476, i64 %478
  store ptr %479, ptr %42, align 8, !tbaa !5
  %480 = load ptr, ptr %42, align 8, !tbaa !5
  %481 = getelementptr inbounds %struct.b2Body, ptr %480, i32 0, i32 2
  %482 = load i32, ptr %481, align 8, !tbaa !47
  %483 = icmp eq i32 %482, 1
  br i1 %483, label %484, label %485

484:                                              ; preds = %464
  store i32 27, ptr %7, align 4
  br label %559, !llvm.loop !69

485:                                              ; preds = %464
  %486 = load ptr, ptr %42, align 8, !tbaa !5
  %487 = getelementptr inbounds %struct.b2Body, ptr %486, i32 0, i32 25
  %488 = load i8, ptr %487, align 1, !tbaa !32, !range !48, !noundef !49
  %489 = trunc i8 %488 to i1
  %490 = zext i1 %489 to i32
  %491 = icmp eq i32 %490, 0
  br i1 %491, label %492, label %517

492:                                              ; preds = %485
  %493 = load ptr, ptr %42, align 8, !tbaa !5
  %494 = getelementptr inbounds %struct.b2Body, ptr %493, i32 0, i32 2
  %495 = load i32, ptr %494, align 8, !tbaa !47
  %496 = icmp eq i32 %495, 2
  br i1 %496, label %497, label %517

497:                                              ; preds = %492
  br label %498

498:                                              ; preds = %497
  %499 = load i32, ptr %23, align 4, !tbaa !9
  %500 = load i32, ptr %8, align 4, !tbaa !9
  %501 = icmp slt i32 %499, %500
  br i1 %501, label %506, label %502

502:                                              ; preds = %498
  %503 = call i32 @b2InternalAssertFcn(ptr noundef @.str.28, ptr noundef @.str.1, i32 noundef 810)
  %504 = icmp ne i32 %503, 0
  br i1 %504, label %505, label %506

505:                                              ; preds = %502
  call void @llvm.trap()
  br label %506

506:                                              ; preds = %505, %502, %498
  br label %507

507:                                              ; preds = %506
  br label %508

508:                                              ; preds = %507
  %509 = load i32, ptr %41, align 4, !tbaa !9
  %510 = load ptr, ptr %11, align 8, !tbaa !5
  %511 = load i32, ptr %23, align 4, !tbaa !9
  %512 = add nsw i32 %511, 1
  store i32 %512, ptr %23, align 4, !tbaa !9
  %513 = sext i32 %511 to i64
  %514 = getelementptr inbounds i32, ptr %510, i64 %513
  store i32 %509, ptr %514, align 4, !tbaa !9
  %515 = load ptr, ptr %42, align 8, !tbaa !5
  %516 = getelementptr inbounds %struct.b2Body, ptr %515, i32 0, i32 25
  store i8 1, ptr %516, align 1, !tbaa !32
  br label %517

517:                                              ; preds = %508, %492, %485
  %518 = load i32, ptr %25, align 4, !tbaa !9
  %519 = load ptr, ptr %39, align 8, !tbaa !5
  %520 = getelementptr inbounds %struct.b2Joint, ptr %519, i32 0, i32 6
  store i32 %518, ptr %520, align 8, !tbaa !71
  %521 = load ptr, ptr %24, align 8, !tbaa !5
  %522 = getelementptr inbounds %struct.b2Island, ptr %521, i32 0, i32 10
  %523 = load i32, ptr %522, align 4, !tbaa !72
  %524 = icmp ne i32 %523, -1
  br i1 %524, label %525, label %535

525:                                              ; preds = %517
  call void @llvm.lifetime.start.p0(i64 8, ptr %43) #5
  %526 = load ptr, ptr %3, align 8, !tbaa !5
  %527 = getelementptr inbounds %struct.b2World, ptr %526, i32 0, i32 8
  %528 = load ptr, ptr %24, align 8, !tbaa !5
  %529 = getelementptr inbounds %struct.b2Island, ptr %528, i32 0, i32 10
  %530 = load i32, ptr %529, align 4, !tbaa !72
  %531 = call ptr @b2JointArray_Get(ptr noundef %527, i32 noundef %530)
  store ptr %531, ptr %43, align 8, !tbaa !5
  %532 = load i32, ptr %37, align 4, !tbaa !9
  %533 = load ptr, ptr %43, align 8, !tbaa !5
  %534 = getelementptr inbounds %struct.b2Joint, ptr %533, i32 0, i32 8
  store i32 %532, ptr %534, align 8, !tbaa !45
  call void @llvm.lifetime.end.p0(i64 8, ptr %43) #5
  br label %535

535:                                              ; preds = %525, %517
  %536 = load ptr, ptr %24, align 8, !tbaa !5
  %537 = getelementptr inbounds %struct.b2Island, ptr %536, i32 0, i32 10
  %538 = load i32, ptr %537, align 4, !tbaa !72
  %539 = load ptr, ptr %39, align 8, !tbaa !5
  %540 = getelementptr inbounds %struct.b2Joint, ptr %539, i32 0, i32 7
  store i32 %538, ptr %540, align 4, !tbaa !73
  %541 = load ptr, ptr %39, align 8, !tbaa !5
  %542 = getelementptr inbounds %struct.b2Joint, ptr %541, i32 0, i32 8
  store i32 -1, ptr %542, align 8, !tbaa !45
  %543 = load i32, ptr %37, align 4, !tbaa !9
  %544 = load ptr, ptr %24, align 8, !tbaa !5
  %545 = getelementptr inbounds %struct.b2Island, ptr %544, i32 0, i32 10
  store i32 %543, ptr %545, align 4, !tbaa !72
  %546 = load ptr, ptr %24, align 8, !tbaa !5
  %547 = getelementptr inbounds %struct.b2Island, ptr %546, i32 0, i32 9
  %548 = load i32, ptr %547, align 4, !tbaa !42
  %549 = icmp eq i32 %548, -1
  br i1 %549, label %550, label %554

550:                                              ; preds = %535
  %551 = load i32, ptr %37, align 4, !tbaa !9
  %552 = load ptr, ptr %24, align 8, !tbaa !5
  %553 = getelementptr inbounds %struct.b2Island, ptr %552, i32 0, i32 9
  store i32 %551, ptr %553, align 4, !tbaa !42
  br label %554

554:                                              ; preds = %550, %535
  %555 = load ptr, ptr %24, align 8, !tbaa !5
  %556 = getelementptr inbounds %struct.b2Island, ptr %555, i32 0, i32 11
  %557 = load i32, ptr %556, align 4, !tbaa !74
  %558 = add nsw i32 %557, 1
  store i32 %558, ptr %556, align 4, !tbaa !74
  store i32 0, ptr %7, align 4
  br label %559

559:                                              ; preds = %554, %484
  call void @llvm.lifetime.end.p0(i64 8, ptr %42) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %41) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %40) #5
  br label %560

560:                                              ; preds = %559, %463
  call void @llvm.lifetime.end.p0(i64 8, ptr %39) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %38) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %37) #5
  %561 = load i32, ptr %7, align 4
  switch i32 %561, label %581 [
    i32 0, label %562
    i32 27, label %427
  ]

562:                                              ; preds = %560
  br label %427, !llvm.loop !69

563:                                              ; preds = %427
  call void @llvm.lifetime.end.p0(i64 4, ptr %36) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #5
  br label %204, !llvm.loop !75

564:                                              ; preds = %204
  %565 = load ptr, ptr %3, align 8, !tbaa !5
  %566 = load i32, ptr %25, align 4, !tbaa !9
  call void @b2ValidateIsland(ptr noundef %565, i32 noundef %566)
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #5
  store i32 0, ptr %7, align 4
  br label %567

567:                                              ; preds = %564, %188
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #5
  %568 = load i32, ptr %7, align 4
  switch i32 %568, label %581 [
    i32 0, label %569
    i32 12, label %570
  ]

569:                                              ; preds = %567
  br label %570

570:                                              ; preds = %569, %567
  %571 = load i32, ptr %20, align 4, !tbaa !9
  %572 = add nsw i32 %571, 1
  store i32 %572, ptr %20, align 4, !tbaa !9
  br label %154, !llvm.loop !76

573:                                              ; preds = %158
  %574 = load ptr, ptr %10, align 8, !tbaa !5
  %575 = load ptr, ptr %12, align 8, !tbaa !5
  call void @b2FreeArenaItem(ptr noundef %574, ptr noundef %575)
  %576 = load ptr, ptr %10, align 8, !tbaa !5
  %577 = load ptr, ptr %11, align 8, !tbaa !5
  call void @b2FreeArenaItem(ptr noundef %576, ptr noundef %577)
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #5
  store i32 0, ptr %7, align 4
  br label %578

578:                                              ; preds = %573, %59, %53
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %5) #5
  %579 = load i32, ptr %7, align 4
  switch i32 %579, label %581 [
    i32 0, label %580
    i32 1, label %580
  ]

580:                                              ; preds = %578, %578
  ret void

581:                                              ; preds = %578, %567, %560, %420
  unreachable
}

declare ptr @b2AllocateArenaItem(ptr noundef, i32 noundef, ptr noundef) #1

declare void @b2FreeArenaItem(ptr noundef, ptr noundef) #1

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 = { cold noreturn nounwind memory(inaccessiblemem: write) }
attributes #3 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #4 = { 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 #5 = { nounwind }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"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 0}
!12 = !{!"b2Island", !10, i64 0, !10, i64 4, !10, i64 8, !10, i64 12, !10, i64 16, !10, i64 20, !10, i64 24, !10, i64 28, !10, i64 32, !10, i64 36, !10, i64 40, !10, i64 44, !10, i64 48, !10, i64 52}
!13 = !{!12, !10, i64 52}
!14 = !{!12, !10, i64 20}
!15 = !{!16, !6, i64 1032}
!16 = !{!"b2World", !17, i64 0, !19, i64 40, !22, i64 336, !23, i64 1008, !18, i64 1032, !23, i64 1048, !18, i64 1072, !23, i64 1088, !18, i64 1112, !23, i64 1128, !18, i64 1152, !23, i64 1168, !18, i64 1192, !23, i64 1208, !23, i64 1232, !18, i64 1256, !18, i64 1272, !18, i64 1288, !18, i64 1304, !18, i64 1320, !18, i64 1336, !18, i64 1352, !18, i64 1368, !7, i64 1384, !7, i64 1416, !10, i64 1448, !18, i64 1456, !24, i64 1472, !24, i64 1488, !24, i64 1504, !24, i64 1520, !25, i64 1536, !10, i64 1544, !26, i64 1548, !27, i64 1556, !27, i64 1560, !27, i64 1564, !27, i64 1568, !27, i64 1572, !27, i64 1576, !27, i64 1580, !27, i64 1584, !6, i64 1592, !6, i64 1600, !28, i64 1608, !29, i64 1612, !6, i64 1704, !6, i64 1712, !6, i64 1720, !6, i64 1728, !10, i64 1736, !6, i64 1744, !6, i64 1752, !6, i64 1760, !6, i64 1768, !6, i64 1776, !27, i64 1784, !10, i64 1788, !10, i64 1792, !28, i64 1796, !30, i64 1798, !30, i64 1799, !30, i64 1800, !30, i64 1801, !30, i64 1802, !30, i64 1803}
!17 = !{!"b2ArenaAllocator", !6, i64 0, !10, i64 8, !10, i64 12, !10, i64 16, !10, i64 20, !18, i64 24}
!18 = !{!"", !6, i64 0, !10, i64 8, !10, i64 12}
!19 = !{!"b2BroadPhase", !7, i64 0, !10, i64 216, !20, i64 224, !18, i64 240, !6, i64 256, !6, i64 264, !10, i64 272, !21, i64 276, !20, i64 280}
!20 = !{!"b2HashSet", !6, i64 0, !10, i64 8, !10, i64 12}
!21 = !{!"b2AtomicInt", !10, i64 0}
!22 = !{!"b2ConstraintGraph", !7, i64 0}
!23 = !{!"b2IdPool", !18, i64 0, !10, i64 16}
!24 = !{!"b2BitSet", !6, i64 0, !10, i64 8, !10, i64 12}
!25 = !{!"long", !7, i64 0}
!26 = !{!"b2Vec2", !27, i64 0, !27, i64 4}
!27 = !{!"float", !7, i64 0}
!28 = !{!"short", !7, i64 0}
!29 = !{!"b2Profile", !27, i64 0, !27, i64 4, !27, i64 8, !27, i64 12, !27, i64 16, !27, i64 20, !27, i64 24, !27, i64 28, !27, i64 32, !27, i64 36, !27, i64 40, !27, i64 44, !27, i64 48, !27, i64 52, !27, i64 56, !27, i64 60, !27, i64 64, !27, i64 68, !27, i64 72, !27, i64 76, !27, i64 80, !27, i64 84}
!30 = !{!"_Bool", !7, i64 0}
!31 = !{!12, !10, i64 12}
!32 = !{!33, !30, i64 121}
!33 = !{!"b2Body", !7, i64 0, !6, i64 32, !10, i64 40, !10, i64 44, !10, i64 48, !10, i64 52, !10, i64 56, !10, i64 60, !10, i64 64, !10, i64 68, !10, i64 72, !10, i64 76, !10, i64 80, !10, i64 84, !27, i64 88, !27, i64 92, !27, i64 96, !27, i64 100, !10, i64 104, !10, i64 108, !10, i64 112, !28, i64 116, !30, i64 118, !30, i64 119, !30, i64 120, !30, i64 121}
!34 = !{!33, !10, i64 84}
!35 = distinct !{!35, !36}
!36 = !{!"llvm.loop.mustprogress"}
!37 = !{!12, !10, i64 24}
!38 = !{!39, !30, i64 64}
!39 = !{!"b2Contact", !10, i64 0, !10, i64 4, !10, i64 8, !7, i64 12, !10, i64 36, !10, i64 40, !10, i64 44, !10, i64 48, !10, i64 52, !10, i64 56, !10, i64 60, !30, i64 64}
!40 = !{!39, !10, i64 48}
!41 = distinct !{!41, !36}
!42 = !{!12, !10, i64 36}
!43 = !{!44, !30, i64 70}
!44 = !{!"b2Joint", !6, i64 0, !10, i64 8, !10, i64 12, !10, i64 16, !7, i64 20, !10, i64 44, !10, i64 48, !10, i64 52, !10, i64 56, !27, i64 60, !10, i64 64, !28, i64 68, !30, i64 70, !30, i64 71}
!45 = !{!44, !10, i64 56}
!46 = distinct !{!46, !36}
!47 = !{!33, !10, i64 40}
!48 = !{i8 0, i8 2}
!49 = !{}
!50 = !{!12, !10, i64 8}
!51 = !{!33, !10, i64 76}
!52 = !{!12, !10, i64 16}
!53 = !{!33, !10, i64 80}
!54 = !{!33, !10, i64 48}
!55 = !{!39, !10, i64 56}
!56 = !{!57, !10, i64 8}
!57 = !{!"b2ContactEdge", !10, i64 0, !10, i64 4, !10, i64 8}
!58 = distinct !{!58, !36}
!59 = !{!39, !10, i64 60}
!60 = !{!57, !10, i64 0}
!61 = !{!39, !10, i64 52}
!62 = !{!12, !10, i64 28}
!63 = !{!39, !10, i64 44}
!64 = !{!12, !10, i64 32}
!65 = !{!33, !10, i64 68}
!66 = !{!44, !10, i64 44}
!67 = !{!68, !10, i64 8}
!68 = !{!"b2JointEdge", !10, i64 0, !10, i64 4, !10, i64 8}
!69 = distinct !{!69, !36}
!70 = !{!68, !10, i64 0}
!71 = !{!44, !10, i64 48}
!72 = !{!12, !10, i64 40}
!73 = !{!44, !10, i64 52}
!74 = !{!12, !10, i64 44}
!75 = distinct !{!75, !36}
!76 = distinct !{!76, !36}


; 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.b2Body = type { [32 x i8], ptr, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, float, float, float, float, i32, i32, i32, i16, i8, i8, i8, i8 }
%struct.b2ContactEdge = type { i32, i32, i32 }
%struct.b2JointEdge = type { i32, i32, i32 }

@.str.1 = external hidden unnamed_addr constant [62 x i8], align 1
@.str.21 = external hidden unnamed_addr constant [13 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.23 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.24 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.25 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.26 = external hidden unnamed_addr constant [23 x i8], align 1
@.str.27 = external hidden unnamed_addr constant [32 x i8], align 1
@.str.28 = external hidden unnamed_addr constant [23 x i8], align 1
@.str.29 = external hidden unnamed_addr constant [26 x i8], align 1

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

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

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

; Function Attrs: inlinehint nounwind uwtable
declare hidden ptr @b2IslandArray_Get(ptr noundef, i32 noundef) local_unnamed_addr #3

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

; Function Attrs: inlinehint nounwind uwtable
declare hidden ptr @b2ContactArray_Get(ptr noundef, i32 noundef) local_unnamed_addr #3

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

; Function Attrs: inlinehint nounwind uwtable
declare hidden ptr @b2JointArray_Get(ptr noundef, i32 noundef) local_unnamed_addr #3

; Function Attrs: nounwind uwtable
define dso_local void @b2SplitIsland(ptr noundef %0, i32 noundef %1) local_unnamed_addr #0 {
  %3 = getelementptr inbounds i8, ptr %0, i64 1192
  %4 = tail call ptr @b2IslandArray_Get(ptr noundef nonnull %3, i32 noundef %1)
  %5 = load i32, ptr %4, align 4, !tbaa !5
  %.not = icmp eq i32 %5, 2
  br i1 %.not, label %6, label %234

6:                                                ; preds = %2
  %7 = getelementptr inbounds i8, ptr %4, i64 52
  %8 = load i32, ptr %7, align 4, !tbaa !10
  %9 = icmp eq i32 %8, 0
  br i1 %9, label %234, label %10

10:                                               ; preds = %6
  tail call void @b2ValidateIsland(ptr noundef %0, i32 noundef %1)
  %11 = getelementptr inbounds i8, ptr %4, i64 20
  %12 = load i32, ptr %11, align 4, !tbaa !11
  %13 = getelementptr inbounds i8, ptr %0, i64 1032
  %14 = load ptr, ptr %13, align 8, !tbaa !12
  %15 = shl i32 %12, 2
  %16 = tail call ptr @b2AllocateArenaItem(ptr noundef %0, i32 noundef %15, ptr noundef nonnull @.str.21) #4
  %17 = tail call ptr @b2AllocateArenaItem(ptr noundef %0, i32 noundef %15, ptr noundef nonnull @.str.22) #4
  %18 = getelementptr inbounds i8, ptr %4, i64 12
  %.0167201 = load i32, ptr %18, align 4, !tbaa !29
  %.not180202 = icmp eq i32 %.0167201, -1
  br i1 %.not180202, label %._crit_edge, label %.lr.ph

.lr.ph:                                           ; preds = %10, %.lr.ph
  %indvars.iv = phi i64 [ %indvars.iv.next, %.lr.ph ], [ 0, %10 ]
  %.0167204 = phi i32 [ %.0167, %.lr.ph ], [ %.0167201, %10 ]
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %19 = getelementptr inbounds i32, ptr %17, i64 %indvars.iv
  store i32 %.0167204, ptr %19, align 4, !tbaa !29
  %20 = sext i32 %.0167204 to i64
  %21 = getelementptr inbounds %struct.b2Body, ptr %14, i64 %20
  %22 = getelementptr inbounds i8, ptr %21, i64 121
  store i8 0, ptr %22, align 1, !tbaa !30
  %23 = getelementptr inbounds i8, ptr %21, i64 84
  %.0167 = load i32, ptr %23, align 4, !tbaa !29
  %.not180 = icmp eq i32 %.0167, -1
  br i1 %.not180, label %._crit_edge.loopexit, label %.lr.ph, !llvm.loop !32

._crit_edge.loopexit:                             ; preds = %.lr.ph
  %24 = trunc nuw i64 %indvars.iv.next to i32
  br label %._crit_edge

._crit_edge:                                      ; preds = %._crit_edge.loopexit, %10
  %.0.lcssa = phi i32 [ 0, %10 ], [ %24, %._crit_edge.loopexit ]
  %25 = icmp eq i32 %.0.lcssa, %12
  br i1 %25, label %29, label %26

26:                                               ; preds = %._crit_edge
  %27 = tail call i32 @b2InternalAssertFcn(ptr noundef nonnull @.str.23, ptr noundef nonnull @.str.1, i32 noundef 644) #4
  %.not181 = icmp eq i32 %27, 0
  br i1 %.not181, label %29, label %28

28:                                               ; preds = %26
  tail call void @llvm.trap()
  unreachable

29:                                               ; preds = %26, %._crit_edge
  %30 = getelementptr inbounds i8, ptr %4, i64 24
  %.0168205 = load i32, ptr %30, align 4, !tbaa !29
  %.not182206 = icmp eq i32 %.0168205, -1
  br i1 %.not182206, label %._crit_edge210, label %.lr.ph209

.lr.ph209:                                        ; preds = %29
  %31 = getelementptr inbounds i8, ptr %0, i64 1152
  br label %32

32:                                               ; preds = %.lr.ph209, %32
  %.0168207 = phi i32 [ %.0168205, %.lr.ph209 ], [ %.0168, %32 ]
  %33 = tail call ptr @b2ContactArray_Get(ptr noundef nonnull %31, i32 noundef %.0168207)
  %34 = getelementptr inbounds i8, ptr %33, i64 64
  store i8 0, ptr %34, align 4, !tbaa !34
  %35 = getelementptr inbounds i8, ptr %33, i64 48
  %.0168 = load i32, ptr %35, align 4, !tbaa !29
  %.not182 = icmp eq i32 %.0168, -1
  br i1 %.not182, label %._crit_edge210, label %32, !llvm.loop !36

._crit_edge210:                                   ; preds = %32, %29
  %36 = getelementptr inbounds i8, ptr %4, i64 36
  %.0169211 = load i32, ptr %36, align 4, !tbaa !29
  %.not183212 = icmp eq i32 %.0169211, -1
  br i1 %.not183212, label %._crit_edge216, label %.lr.ph215

.lr.ph215:                                        ; preds = %._crit_edge210
  %37 = getelementptr inbounds i8, ptr %0, i64 1112
  br label %38

38:                                               ; preds = %.lr.ph215, %38
  %.0169213 = phi i32 [ %.0169211, %.lr.ph215 ], [ %.0169, %38 ]
  %39 = tail call ptr @b2JointArray_Get(ptr noundef nonnull %37, i32 noundef %.0169213)
  %40 = getelementptr inbounds i8, ptr %39, i64 70
  store i8 0, ptr %40, align 2, !tbaa !37
  %41 = getelementptr inbounds i8, ptr %39, i64 56
  %.0169 = load i32, ptr %41, align 4, !tbaa !29
  %.not183 = icmp eq i32 %.0169, -1
  br i1 %.not183, label %._crit_edge216, label %38, !llvm.loop !39

._crit_edge216:                                   ; preds = %38, %._crit_edge210
  tail call void @b2DestroyIsland(ptr noundef %0, i32 noundef %1)
  %42 = icmp sgt i32 %12, 0
  br i1 %42, label %.lr.ph233, label %._crit_edge234

.lr.ph233:                                        ; preds = %._crit_edge216
  %43 = getelementptr inbounds i8, ptr %0, i64 1152
  %44 = getelementptr inbounds i8, ptr %0, i64 1112
  %wide.trip.count = zext nneg i32 %12 to i64
  br label %45

._crit_edge234:                                   ; preds = %233, %._crit_edge216
  tail call void @b2FreeArenaItem(ptr noundef %0, ptr noundef %17) #4
  tail call void @b2FreeArenaItem(ptr noundef %0, ptr noundef %16) #4
  br label %234

45:                                               ; preds = %.lr.ph233, %233
  %indvars.iv236 = phi i64 [ 0, %.lr.ph233 ], [ %indvars.iv.next237, %233 ]
  %46 = getelementptr inbounds i32, ptr %17, i64 %indvars.iv236
  %47 = load i32, ptr %46, align 4, !tbaa !29
  %48 = sext i32 %47 to i64
  %49 = getelementptr inbounds %struct.b2Body, ptr %14, i64 %48
  %50 = getelementptr inbounds i8, ptr %49, i64 40
  %51 = load i32, ptr %50, align 8, !tbaa !40
  %52 = icmp eq i32 %51, 2
  br i1 %52, label %56, label %53

53:                                               ; preds = %45
  %54 = tail call i32 @b2InternalAssertFcn(ptr noundef nonnull @.str.24, ptr noundef nonnull @.str.1, i32 noundef 673) #4
  %.not184 = icmp eq i32 %54, 0
  br i1 %.not184, label %56, label %55

55:                                               ; preds = %53
  tail call void @llvm.trap()
  unreachable

56:                                               ; preds = %53, %45
  %57 = getelementptr inbounds i8, ptr %49, i64 121
  %58 = load i8, ptr %57, align 1, !tbaa !30, !range !41, !noundef !42
  %59 = trunc nuw i8 %58 to i1
  br i1 %59, label %233, label %60

60:                                               ; preds = %56
  store i32 %47, ptr %16, align 4, !tbaa !29
  store i8 1, ptr %57, align 1, !tbaa !30
  %61 = tail call ptr @b2CreateIsland(ptr noundef %0, i32 noundef 2)
  %62 = getelementptr inbounds i8, ptr %61, i64 8
  %63 = load i32, ptr %62, align 4, !tbaa !43
  %64 = getelementptr inbounds i8, ptr %61, i64 16
  %65 = getelementptr inbounds i8, ptr %61, i64 12
  %66 = getelementptr inbounds i8, ptr %61, i64 20
  %67 = getelementptr inbounds i8, ptr %61, i64 28
  %68 = getelementptr inbounds i8, ptr %61, i64 24
  %69 = getelementptr inbounds i8, ptr %61, i64 32
  %70 = getelementptr inbounds i8, ptr %61, i64 40
  %71 = getelementptr inbounds i8, ptr %61, i64 36
  %72 = getelementptr inbounds i8, ptr %61, i64 44
  br label %74

.loopexit:                                        ; preds = %231, %._crit_edge222
  %.4.lcssa = phi i32 [ %.1.lcssa, %._crit_edge222 ], [ %.7, %231 ]
  %73 = icmp sgt i32 %.4.lcssa, 0
  br i1 %73, label %74, label %232, !llvm.loop !44

74:                                               ; preds = %60, %.loopexit
  %.0171230 = phi i32 [ 1, %60 ], [ %.4.lcssa, %.loopexit ]
  %75 = add nsw i32 %.0171230, -1
  %76 = zext nneg i32 %75 to i64
  %77 = getelementptr inbounds i32, ptr %16, i64 %76
  %78 = load i32, ptr %77, align 4, !tbaa !29
  %79 = sext i32 %78 to i64
  %80 = getelementptr inbounds %struct.b2Body, ptr %14, i64 %79
  %81 = getelementptr inbounds i8, ptr %80, i64 40
  %82 = load i32, ptr %81, align 8, !tbaa !40
  %83 = icmp eq i32 %82, 2
  br i1 %83, label %87, label %84

84:                                               ; preds = %74
  %85 = tail call i32 @b2InternalAssertFcn(ptr noundef nonnull @.str.25, ptr noundef nonnull @.str.1, i32 noundef 698) #4
  %.not185 = icmp eq i32 %85, 0
  br i1 %.not185, label %87, label %86

86:                                               ; preds = %84
  tail call void @llvm.trap()
  unreachable

87:                                               ; preds = %74, %84
  %88 = getelementptr inbounds i8, ptr %80, i64 121
  %89 = load i8, ptr %88, align 1, !tbaa !30, !range !41, !noundef !42
  %90 = trunc nuw i8 %89 to i1
  br i1 %90, label %94, label %91

91:                                               ; preds = %87
  %92 = tail call i32 @b2InternalAssertFcn(ptr noundef nonnull @.str.26, ptr noundef nonnull @.str.1, i32 noundef 699) #4
  %.not186 = icmp eq i32 %92, 0
  br i1 %.not186, label %94, label %93

93:                                               ; preds = %91
  tail call void @llvm.trap()
  unreachable

94:                                               ; preds = %91, %87
  %95 = getelementptr inbounds i8, ptr %80, i64 76
  store i32 %63, ptr %95, align 4, !tbaa !45
  %96 = load i32, ptr %64, align 4, !tbaa !46
  %.not187 = icmp eq i32 %96, -1
  br i1 %.not187, label %100, label %97

97:                                               ; preds = %94
  %98 = sext i32 %96 to i64
  %99 = getelementptr inbounds %struct.b2Body, ptr %14, i64 %98, i32 13
  store i32 %78, ptr %99, align 4, !tbaa !47
  br label %100

100:                                              ; preds = %97, %94
  %101 = getelementptr inbounds i8, ptr %80, i64 80
  store i32 %96, ptr %101, align 8, !tbaa !48
  %102 = getelementptr inbounds i8, ptr %80, i64 84
  store i32 -1, ptr %102, align 4, !tbaa !47
  store i32 %78, ptr %64, align 4, !tbaa !46
  %103 = load i32, ptr %65, align 4, !tbaa !49
  %104 = icmp eq i32 %103, -1
  br i1 %104, label %105, label %106

105:                                              ; preds = %100
  store i32 %78, ptr %65, align 4, !tbaa !49
  br label %106

106:                                              ; preds = %105, %100
  %107 = load i32, ptr %66, align 4, !tbaa !11
  %108 = add nsw i32 %107, 1
  store i32 %108, ptr %66, align 4, !tbaa !11
  %109 = getelementptr inbounds i8, ptr %80, i64 48
  %110 = load i32, ptr %109, align 8, !tbaa !50
  %.not188217 = icmp eq i32 %110, -1
  br i1 %.not188217, label %._crit_edge222, label %.lr.ph221

.lr.ph221:                                        ; preds = %106, %171
  %.1219 = phi i32 [ %.3, %171 ], [ %75, %106 ]
  %.0173218 = phi i32 [ %124, %171 ], [ %110, %106 ]
  %111 = ashr i32 %.0173218, 1
  %112 = and i32 %.0173218, 1
  %113 = tail call ptr @b2ContactArray_Get(ptr noundef nonnull %43, i32 noundef %111)
  %114 = getelementptr inbounds i8, ptr %113, i64 56
  %115 = load i32, ptr %114, align 4, !tbaa !51
  %116 = icmp eq i32 %115, %111
  br i1 %116, label %120, label %117

117:                                              ; preds = %.lr.ph221
  %118 = tail call i32 @b2InternalAssertFcn(ptr noundef nonnull @.str.27, ptr noundef nonnull @.str.1, i32 noundef 726) #4
  %.not193 = icmp eq i32 %118, 0
  br i1 %.not193, label %120, label %119

119:                                              ; preds = %117
  tail call void @llvm.trap()
  unreachable

120:                                              ; preds = %117, %.lr.ph221
  %121 = getelementptr inbounds i8, ptr %113, i64 12
  %122 = zext nneg i32 %112 to i64
  %123 = getelementptr inbounds [2 x %struct.b2ContactEdge], ptr %121, i64 0, i64 %122, i32 2
  %124 = load i32, ptr %123, align 4, !tbaa !52
  %125 = getelementptr inbounds i8, ptr %113, i64 64
  %126 = load i8, ptr %125, align 4, !tbaa !34, !range !41, !noundef !42
  %127 = trunc nuw i8 %126 to i1
  br i1 %127, label %171, label %128, !llvm.loop !54

128:                                              ; preds = %120
  %129 = getelementptr inbounds i8, ptr %113, i64 60
  %130 = load i32, ptr %129, align 4, !tbaa !55
  %131 = and i32 %130, 1
  %132 = icmp eq i32 %131, 0
  br i1 %132, label %171, label %133, !llvm.loop !54

133:                                              ; preds = %128
  store i8 1, ptr %125, align 4, !tbaa !34
  %134 = xor i32 %112, 1
  %135 = zext nneg i32 %134 to i64
  %136 = getelementptr inbounds [2 x %struct.b2ContactEdge], ptr %121, i64 0, i64 %135
  %137 = load i32, ptr %136, align 4, !tbaa !56
  %138 = sext i32 %137 to i64
  %139 = getelementptr inbounds %struct.b2Body, ptr %14, i64 %138
  %140 = getelementptr inbounds i8, ptr %139, i64 121
  %141 = load i8, ptr %140, align 1, !tbaa !30, !range !41, !noundef !42
  %142 = icmp eq i8 %141, 0
  br i1 %142, label %143, label %155

143:                                              ; preds = %133
  %144 = getelementptr inbounds i8, ptr %139, i64 40
  %145 = load i32, ptr %144, align 8, !tbaa !40
  %.not194 = icmp eq i32 %145, 0
  br i1 %.not194, label %155, label %146

146:                                              ; preds = %143
  %147 = icmp slt i32 %.1219, %12
  br i1 %147, label %151, label %148

148:                                              ; preds = %146
  %149 = tail call i32 @b2InternalAssertFcn(ptr noundef nonnull @.str.28, ptr noundef nonnull @.str.1, i32 noundef 752) #4
  %.not195 = icmp eq i32 %149, 0
  br i1 %.not195, label %151, label %150

150:                                              ; preds = %148
  tail call void @llvm.trap()
  unreachable

151:                                              ; preds = %148, %146
  %152 = add nsw i32 %.1219, 1
  %153 = sext i32 %.1219 to i64
  %154 = getelementptr inbounds i32, ptr %16, i64 %153
  store i32 %137, ptr %154, align 4, !tbaa !29
  store i8 1, ptr %140, align 1, !tbaa !30
  br label %155

155:                                              ; preds = %151, %143, %133
  %.2 = phi i32 [ %152, %151 ], [ %.1219, %143 ], [ %.1219, %133 ]
  %156 = getelementptr inbounds i8, ptr %113, i64 52
  store i32 %63, ptr %156, align 4, !tbaa !57
  %157 = load i32, ptr %67, align 4, !tbaa !58
  %.not196 = icmp eq i32 %157, -1
  br i1 %.not196, label %161, label %158

158:                                              ; preds = %155
  %159 = tail call ptr @b2ContactArray_Get(ptr noundef nonnull %43, i32 noundef %157)
  %160 = getelementptr inbounds i8, ptr %159, i64 48
  store i32 %111, ptr %160, align 4, !tbaa !59
  %.pre = load i32, ptr %67, align 4, !tbaa !58
  br label %161

161:                                              ; preds = %158, %155
  %162 = phi i32 [ %.pre, %158 ], [ -1, %155 ]
  %163 = getelementptr inbounds i8, ptr %113, i64 44
  store i32 %162, ptr %163, align 4, !tbaa !60
  %164 = getelementptr inbounds i8, ptr %113, i64 48
  store i32 -1, ptr %164, align 4, !tbaa !59
  store i32 %111, ptr %67, align 4, !tbaa !58
  %165 = load i32, ptr %68, align 4, !tbaa !61
  %166 = icmp eq i32 %165, -1
  br i1 %166, label %167, label %168

167:                                              ; preds = %161
  store i32 %111, ptr %68, align 4, !tbaa !61
  br label %168

168:                                              ; preds = %167, %161
  %169 = load i32, ptr %69, align 4, !tbaa !62
  %170 = add nsw i32 %169, 1
  store i32 %170, ptr %69, align 4, !tbaa !62
  br label %171

171:                                              ; preds = %128, %120, %168
  %.3 = phi i32 [ %.2, %168 ], [ %.1219, %120 ], [ %.1219, %128 ]
  %.not188 = icmp eq i32 %124, -1
  br i1 %.not188, label %._crit_edge222, label %.lr.ph221

._crit_edge222:                                   ; preds = %171, %106
  %.1.lcssa = phi i32 [ %75, %106 ], [ %.3, %171 ]
  %172 = getelementptr inbounds i8, ptr %80, i64 68
  %173 = load i32, ptr %172, align 4, !tbaa !63
  %.not189224 = icmp eq i32 %173, -1
  br i1 %.not189224, label %.loopexit, label %.lr.ph228

.lr.ph228:                                        ; preds = %._crit_edge222, %231
  %.4226 = phi i32 [ %.7, %231 ], [ %.1.lcssa, %._crit_edge222 ]
  %.0172225 = phi i32 [ %187, %231 ], [ %173, %._crit_edge222 ]
  %174 = ashr i32 %.0172225, 1
  %175 = and i32 %.0172225, 1
  %176 = tail call ptr @b2JointArray_Get(ptr noundef nonnull %44, i32 noundef %174)
  %177 = getelementptr inbounds i8, ptr %176, i64 44
  %178 = load i32, ptr %177, align 4, !tbaa !64
  %179 = icmp eq i32 %178, %174
  br i1 %179, label %183, label %180

180:                                              ; preds = %.lr.ph228
  %181 = tail call i32 @b2InternalAssertFcn(ptr noundef nonnull @.str.29, ptr noundef nonnull @.str.1, i32 noundef 784) #4
  %.not190 = icmp eq i32 %181, 0
  br i1 %.not190, label %183, label %182

182:                                              ; preds = %180
  tail call void @llvm.trap()
  unreachable

183:                                              ; preds = %180, %.lr.ph228
  %184 = getelementptr inbounds i8, ptr %176, i64 20
  %185 = zext nneg i32 %175 to i64
  %186 = getelementptr inbounds [2 x %struct.b2JointEdge], ptr %184, i64 0, i64 %185, i32 2
  %187 = load i32, ptr %186, align 4, !tbaa !65
  %188 = getelementptr inbounds i8, ptr %176, i64 70
  %189 = load i8, ptr %188, align 2, !tbaa !37, !range !41, !noundef !42
  %190 = trunc nuw i8 %189 to i1
  br i1 %190, label %231, label %191, !llvm.loop !67

191:                                              ; preds = %183
  store i8 1, ptr %188, align 2, !tbaa !37
  %192 = xor i32 %175, 1
  %193 = zext nneg i32 %192 to i64
  %194 = getelementptr inbounds [2 x %struct.b2JointEdge], ptr %184, i64 0, i64 %193
  %195 = load i32, ptr %194, align 4, !tbaa !68
  %196 = sext i32 %195 to i64
  %197 = getelementptr inbounds %struct.b2Body, ptr %14, i64 %196
  %198 = getelementptr inbounds i8, ptr %197, i64 40
  %199 = load i32, ptr %198, align 8, !tbaa !40
  %200 = icmp eq i32 %199, 1
  br i1 %200, label %231, label %201, !llvm.loop !67

201:                                              ; preds = %191
  %202 = getelementptr inbounds i8, ptr %197, i64 121
  %203 = load i8, ptr %202, align 1, !tbaa !30, !range !41, !noundef !42
  %204 = icmp eq i8 %203, 0
  %205 = icmp eq i32 %199, 2
  %or.cond = and i1 %205, %204
  br i1 %or.cond, label %206, label %215

206:                                              ; preds = %201
  %207 = icmp slt i32 %.4226, %12
  br i1 %207, label %211, label %208

208:                                              ; preds = %206
  %209 = tail call i32 @b2InternalAssertFcn(ptr noundef nonnull @.str.28, ptr noundef nonnull @.str.1, i32 noundef 810) #4
  %.not191 = icmp eq i32 %209, 0
  br i1 %.not191, label %211, label %210

210:                                              ; preds = %208
  tail call void @llvm.trap()
  unreachable

211:                                              ; preds = %208, %206
  %212 = add nsw i32 %.4226, 1
  %213 = sext i32 %.4226 to i64
  %214 = getelementptr inbounds i32, ptr %16, i64 %213
  store i32 %195, ptr %214, align 4, !tbaa !29
  store i8 1, ptr %202, align 1, !tbaa !30
  br label %215

215:                                              ; preds = %211, %201
  %.5 = phi i32 [ %212, %211 ], [ %.4226, %201 ]
  %216 = getelementptr inbounds i8, ptr %176, i64 48
  store i32 %63, ptr %216, align 8, !tbaa !69
  %217 = load i32, ptr %70, align 4, !tbaa !70
  %.not192 = icmp eq i32 %217, -1
  br i1 %.not192, label %221, label %218

218:                                              ; preds = %215
  %219 = tail call ptr @b2JointArray_Get(ptr noundef nonnull %44, i32 noundef %217)
  %220 = getelementptr inbounds i8, ptr %219, i64 56
  store i32 %174, ptr %220, align 8, !tbaa !71
  %.pre239 = load i32, ptr %70, align 4, !tbaa !70
  br label %221

221:                                              ; preds = %218, %215
  %222 = phi i32 [ %.pre239, %218 ], [ -1, %215 ]
  %223 = getelementptr inbounds i8, ptr %176, i64 52
  store i32 %222, ptr %223, align 4, !tbaa !72
  %224 = getelementptr inbounds i8, ptr %176, i64 56
  store i32 -1, ptr %224, align 8, !tbaa !71
  store i32 %174, ptr %70, align 4, !tbaa !70
  %225 = load i32, ptr %71, align 4, !tbaa !73
  %226 = icmp eq i32 %225, -1
  br i1 %226, label %227, label %228

227:                                              ; preds = %221
  store i32 %174, ptr %71, align 4, !tbaa !73
  br label %228

228:                                              ; preds = %227, %221
  %229 = load i32, ptr %72, align 4, !tbaa !74
  %230 = add nsw i32 %229, 1
  store i32 %230, ptr %72, align 4, !tbaa !74
  br label %231

231:                                              ; preds = %228, %191, %183
  %.7 = phi i32 [ %.4226, %183 ], [ %.5, %228 ], [ %.4226, %191 ]
  %.not189 = icmp eq i32 %187, -1
  br i1 %.not189, label %.loopexit, label %.lr.ph228

232:                                              ; preds = %.loopexit
  tail call void @b2ValidateIsland(ptr noundef %0, i32 noundef %63)
  br label %233

233:                                              ; preds = %56, %232
  %indvars.iv.next237 = add nuw nsw i64 %indvars.iv236, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next237, %wide.trip.count
  br i1 %exitcond.not, label %._crit_edge234, label %45, !llvm.loop !75

234:                                              ; preds = %6, %2, %._crit_edge234
  ret void
}

declare ptr @b2AllocateArenaItem(ptr noundef, i32 noundef, ptr noundef) local_unnamed_addr #1

declare void @b2FreeArenaItem(ptr noundef, ptr noundef) local_unnamed_addr #1

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 = { cold noreturn nounwind memory(inaccessiblemem: write) }
attributes #3 = { 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 #4 = { nounwind }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !7, i64 0}
!6 = !{!"b2Island", !7, i64 0, !7, i64 4, !7, i64 8, !7, i64 12, !7, i64 16, !7, i64 20, !7, i64 24, !7, i64 28, !7, i64 32, !7, i64 36, !7, i64 40, !7, i64 44, !7, i64 48, !7, i64 52}
!7 = !{!"int", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C/C++ TBAA"}
!10 = !{!6, !7, i64 52}
!11 = !{!6, !7, i64 20}
!12 = !{!13, !15, i64 1032}
!13 = !{!"b2World", !14, i64 0, !17, i64 40, !20, i64 336, !21, i64 1008, !16, i64 1032, !21, i64 1048, !16, i64 1072, !21, i64 1088, !16, i64 1112, !21, i64 1128, !16, i64 1152, !21, i64 1168, !16, i64 1192, !21, i64 1208, !21, i64 1232, !16, i64 1256, !16, i64 1272, !16, i64 1288, !16, i64 1304, !16, i64 1320, !16, i64 1336, !16, i64 1352, !16, i64 1368, !8, i64 1384, !8, i64 1416, !7, i64 1448, !16, i64 1456, !22, i64 1472, !22, i64 1488, !22, i64 1504, !22, i64 1520, !23, i64 1536, !7, i64 1544, !24, i64 1548, !25, i64 1556, !25, i64 1560, !25, i64 1564, !25, i64 1568, !25, i64 1572, !25, i64 1576, !25, i64 1580, !25, i64 1584, !15, i64 1592, !15, i64 1600, !26, i64 1608, !27, i64 1612, !15, i64 1704, !15, i64 1712, !15, i64 1720, !15, i64 1728, !7, i64 1736, !15, i64 1744, !15, i64 1752, !15, i64 1760, !15, i64 1768, !15, i64 1776, !25, i64 1784, !7, i64 1788, !7, i64 1792, !26, i64 1796, !28, i64 1798, !28, i64 1799, !28, i64 1800, !28, i64 1801, !28, i64 1802, !28, i64 1803}
!14 = !{!"b2ArenaAllocator", !15, i64 0, !7, i64 8, !7, i64 12, !7, i64 16, !7, i64 20, !16, i64 24}
!15 = !{!"any pointer", !8, i64 0}
!16 = !{!"", !15, i64 0, !7, i64 8, !7, i64 12}
!17 = !{!"b2BroadPhase", !8, i64 0, !7, i64 216, !18, i64 224, !16, i64 240, !15, i64 256, !15, i64 264, !7, i64 272, !19, i64 276, !18, i64 280}
!18 = !{!"b2HashSet", !15, i64 0, !7, i64 8, !7, i64 12}
!19 = !{!"b2AtomicInt", !7, i64 0}
!20 = !{!"b2ConstraintGraph", !8, i64 0}
!21 = !{!"b2IdPool", !16, i64 0, !7, i64 16}
!22 = !{!"b2BitSet", !15, i64 0, !7, i64 8, !7, i64 12}
!23 = !{!"long", !8, i64 0}
!24 = !{!"b2Vec2", !25, i64 0, !25, i64 4}
!25 = !{!"float", !8, i64 0}
!26 = !{!"short", !8, i64 0}
!27 = !{!"b2Profile", !25, i64 0, !25, i64 4, !25, i64 8, !25, i64 12, !25, i64 16, !25, i64 20, !25, i64 24, !25, i64 28, !25, i64 32, !25, i64 36, !25, i64 40, !25, i64 44, !25, i64 48, !25, i64 52, !25, i64 56, !25, i64 60, !25, i64 64, !25, i64 68, !25, i64 72, !25, i64 76, !25, i64 80, !25, i64 84}
!28 = !{!"_Bool", !8, i64 0}
!29 = !{!7, !7, i64 0}
!30 = !{!31, !28, i64 121}
!31 = !{!"b2Body", !8, i64 0, !15, i64 32, !7, i64 40, !7, i64 44, !7, i64 48, !7, i64 52, !7, i64 56, !7, i64 60, !7, i64 64, !7, i64 68, !7, i64 72, !7, i64 76, !7, i64 80, !7, i64 84, !25, i64 88, !25, i64 92, !25, i64 96, !25, i64 100, !7, i64 104, !7, i64 108, !7, i64 112, !26, i64 116, !28, i64 118, !28, i64 119, !28, i64 120, !28, i64 121}
!32 = distinct !{!32, !33}
!33 = !{!"llvm.loop.mustprogress"}
!34 = !{!35, !28, i64 64}
!35 = !{!"b2Contact", !7, i64 0, !7, i64 4, !7, i64 8, !8, i64 12, !7, i64 36, !7, i64 40, !7, i64 44, !7, i64 48, !7, i64 52, !7, i64 56, !7, i64 60, !28, i64 64}
!36 = distinct !{!36, !33}
!37 = !{!38, !28, i64 70}
!38 = !{!"b2Joint", !15, i64 0, !7, i64 8, !7, i64 12, !7, i64 16, !8, i64 20, !7, i64 44, !7, i64 48, !7, i64 52, !7, i64 56, !25, i64 60, !7, i64 64, !26, i64 68, !28, i64 70, !28, i64 71}
!39 = distinct !{!39, !33}
!40 = !{!31, !7, i64 40}
!41 = !{i8 0, i8 2}
!42 = !{}
!43 = !{!6, !7, i64 8}
!44 = distinct !{!44, !33}
!45 = !{!31, !7, i64 76}
!46 = !{!6, !7, i64 16}
!47 = !{!31, !7, i64 84}
!48 = !{!31, !7, i64 80}
!49 = !{!6, !7, i64 12}
!50 = !{!31, !7, i64 48}
!51 = !{!35, !7, i64 56}
!52 = !{!53, !7, i64 8}
!53 = !{!"b2ContactEdge", !7, i64 0, !7, i64 4, !7, i64 8}
!54 = distinct !{!54, !33}
!55 = !{!35, !7, i64 60}
!56 = !{!53, !7, i64 0}
!57 = !{!35, !7, i64 52}
!58 = !{!6, !7, i64 28}
!59 = !{!35, !7, i64 48}
!60 = !{!35, !7, i64 44}
!61 = !{!6, !7, i64 24}
!62 = !{!6, !7, i64 32}
!63 = !{!31, !7, i64 68}
!64 = !{!38, !7, i64 44}
!65 = !{!66, !7, i64 8}
!66 = !{!"b2JointEdge", !7, i64 0, !7, i64 4, !7, i64 8}
!67 = distinct !{!67, !33}
!68 = !{!66, !7, i64 0}
!69 = !{!38, !7, i64 48}
!70 = !{!6, !7, i64 40}
!71 = !{!38, !7, i64 56}
!72 = !{!38, !7, i64 52}
!73 = !{!6, !7, i64 36}
!74 = !{!6, !7, i64 44}
!75 = distinct !{!75, !33}


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