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

; 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.b2WorldId = type { i16, i16 }
%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.b2TaskContext = type { %struct.b2BitSet, %struct.b2BitSet, %struct.b2BitSet, float, i32 }
%struct.b2SensorTaskContext = type { %struct.b2BitSet }
%struct.b2ChainShape = type { i32, i32, i32, i32, i32, ptr, ptr, i16 }
%struct.b2Sensor = type { %struct.b2ShapeRefArray, %struct.b2ShapeRefArray, i32 }
%struct.b2ShapeRefArray = type { ptr, i32, i32 }
%struct.b2SolverSet = type { %struct.b2BodySimArray, %struct.b2BodyStateArray, %struct.b2JointSimArray, %struct.b2ContactSimArray, %struct.b2IslandSimArray, i32 }
%struct.b2BodySimArray = type { ptr, i32, i32 }
%struct.b2BodyStateArray = type { ptr, i32, i32 }
%struct.b2IslandSimArray = type { ptr, i32, i32 }

@.str.1 = external hidden unnamed_addr constant [61 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [28 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [25 x i8], align 1

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

; Function Attrs: nounwind uwtable
declare dso_local void @b2BodyMoveEventArray_Destroy(ptr noundef) #1

; Function Attrs: nounwind uwtable
declare dso_local void @b2ContactBeginTouchEventArray_Destroy(ptr noundef) #1

; Function Attrs: nounwind uwtable
declare dso_local void @b2ContactEndTouchEventArray_Destroy(ptr noundef) #1

; Function Attrs: nounwind uwtable
declare dso_local void @b2ContactHitEventArray_Destroy(ptr noundef) #1

; Function Attrs: nounwind uwtable
declare dso_local void @b2SensorBeginTouchEventArray_Destroy(ptr noundef) #1

; Function Attrs: nounwind uwtable
declare dso_local void @b2SensorEndTouchEventArray_Destroy(ptr noundef) #1

; Function Attrs: nounwind uwtable
declare dso_local void @b2TaskContextArray_Destroy(ptr noundef) #1

; Function Attrs: nounwind uwtable
declare dso_local ptr @b2GetWorldFromId(i32) #1

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

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

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

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

; 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) #5

; Function Attrs: nounwind uwtable
define dso_local void @b2DestroyWorld(i32 %0) #1 {
  %2 = alloca %struct.b2WorldId, align 2
  %3 = alloca ptr, align 8
  %4 = alloca i32, align 4
  %5 = alloca i32, align 4
  %6 = alloca i32, align 4
  %7 = alloca ptr, align 8
  %8 = alloca i32, align 4
  %9 = alloca i32, align 4
  %10 = alloca i32, align 4
  %11 = alloca i32, align 4
  %12 = alloca ptr, align 8
  %13 = alloca i16, align 2
  %14 = alloca %struct.b2World, align 8
  store i32 %0, ptr %2, align 2
  call void @llvm.lifetime.start.p0(i64 8, ptr %3) #6
  %15 = load i32, ptr %2, align 2
  %16 = call ptr @b2GetWorldFromId(i32 %15)
  store ptr %16, ptr %3, align 8, !tbaa !5
  %17 = load ptr, ptr %3, align 8, !tbaa !5
  %18 = getelementptr inbounds %struct.b2World, ptr %17, i32 0, i32 27
  call void @b2DestroyBitSet(ptr noundef %18)
  %19 = load ptr, ptr %3, align 8, !tbaa !5
  %20 = getelementptr inbounds %struct.b2World, ptr %19, i32 0, i32 28
  call void @b2DestroyBitSet(ptr noundef %20)
  %21 = load ptr, ptr %3, align 8, !tbaa !5
  %22 = getelementptr inbounds %struct.b2World, ptr %21, i32 0, i32 29
  call void @b2DestroyBitSet(ptr noundef %22)
  %23 = load ptr, ptr %3, align 8, !tbaa !5
  %24 = getelementptr inbounds %struct.b2World, ptr %23, i32 0, i32 30
  call void @b2DestroyBitSet(ptr noundef %24)
  call void @llvm.lifetime.start.p0(i64 4, ptr %4) #6
  store i32 0, ptr %4, align 4, !tbaa !9
  br label %25

25:                                               ; preds = %65, %1
  %26 = load i32, ptr %4, align 4, !tbaa !9
  %27 = load ptr, ptr %3, align 8, !tbaa !5
  %28 = getelementptr inbounds %struct.b2World, ptr %27, i32 0, i32 50
  %29 = load i32, ptr %28, align 8, !tbaa !11
  %30 = icmp slt i32 %26, %29
  br i1 %30, label %32, label %31

31:                                               ; preds = %25
  call void @llvm.lifetime.end.p0(i64 4, ptr %4) #6
  br label %68

32:                                               ; preds = %25
  %33 = load ptr, ptr %3, align 8, !tbaa !5
  %34 = getelementptr inbounds %struct.b2World, ptr %33, i32 0, i32 18
  %35 = getelementptr inbounds %struct.b2TaskContextArray, ptr %34, i32 0, i32 0
  %36 = load ptr, ptr %35, align 8, !tbaa !27
  %37 = load i32, ptr %4, align 4, !tbaa !9
  %38 = sext i32 %37 to i64
  %39 = getelementptr inbounds %struct.b2TaskContext, ptr %36, i64 %38
  %40 = getelementptr inbounds %struct.b2TaskContext, ptr %39, i32 0, i32 0
  call void @b2DestroyBitSet(ptr noundef %40)
  %41 = load ptr, ptr %3, align 8, !tbaa !5
  %42 = getelementptr inbounds %struct.b2World, ptr %41, i32 0, i32 18
  %43 = getelementptr inbounds %struct.b2TaskContextArray, ptr %42, i32 0, i32 0
  %44 = load ptr, ptr %43, align 8, !tbaa !27
  %45 = load i32, ptr %4, align 4, !tbaa !9
  %46 = sext i32 %45 to i64
  %47 = getelementptr inbounds %struct.b2TaskContext, ptr %44, i64 %46
  %48 = getelementptr inbounds %struct.b2TaskContext, ptr %47, i32 0, i32 1
  call void @b2DestroyBitSet(ptr noundef %48)
  %49 = load ptr, ptr %3, align 8, !tbaa !5
  %50 = getelementptr inbounds %struct.b2World, ptr %49, i32 0, i32 18
  %51 = getelementptr inbounds %struct.b2TaskContextArray, ptr %50, i32 0, i32 0
  %52 = load ptr, ptr %51, align 8, !tbaa !27
  %53 = load i32, ptr %4, align 4, !tbaa !9
  %54 = sext i32 %53 to i64
  %55 = getelementptr inbounds %struct.b2TaskContext, ptr %52, i64 %54
  %56 = getelementptr inbounds %struct.b2TaskContext, ptr %55, i32 0, i32 2
  call void @b2DestroyBitSet(ptr noundef %56)
  %57 = load ptr, ptr %3, align 8, !tbaa !5
  %58 = getelementptr inbounds %struct.b2World, ptr %57, i32 0, i32 19
  %59 = getelementptr inbounds %struct.b2SensorTaskContextArray, ptr %58, i32 0, i32 0
  %60 = load ptr, ptr %59, align 8, !tbaa !28
  %61 = load i32, ptr %4, align 4, !tbaa !9
  %62 = sext i32 %61 to i64
  %63 = getelementptr inbounds %struct.b2SensorTaskContext, ptr %60, i64 %62
  %64 = getelementptr inbounds %struct.b2SensorTaskContext, ptr %63, i32 0, i32 0
  call void @b2DestroyBitSet(ptr noundef %64)
  br label %65

65:                                               ; preds = %32
  %66 = load i32, ptr %4, align 4, !tbaa !9
  %67 = add nsw i32 %66, 1
  store i32 %67, ptr %4, align 4, !tbaa !9
  br label %25, !llvm.loop !29

68:                                               ; preds = %31
  %69 = load ptr, ptr %3, align 8, !tbaa !5
  %70 = getelementptr inbounds %struct.b2World, ptr %69, i32 0, i32 18
  call void @b2TaskContextArray_Destroy(ptr noundef %70)
  %71 = load ptr, ptr %3, align 8, !tbaa !5
  %72 = getelementptr inbounds %struct.b2World, ptr %71, i32 0, i32 19
  call void @b2SensorTaskContextArray_Destroy(ptr noundef %72)
  %73 = load ptr, ptr %3, align 8, !tbaa !5
  %74 = getelementptr inbounds %struct.b2World, ptr %73, i32 0, i32 20
  call void @b2BodyMoveEventArray_Destroy(ptr noundef %74)
  %75 = load ptr, ptr %3, align 8, !tbaa !5
  %76 = getelementptr inbounds %struct.b2World, ptr %75, i32 0, i32 21
  call void @b2SensorBeginTouchEventArray_Destroy(ptr noundef %76)
  %77 = load ptr, ptr %3, align 8, !tbaa !5
  %78 = getelementptr inbounds %struct.b2World, ptr %77, i32 0, i32 23
  %79 = getelementptr inbounds [2 x %struct.b2SensorEndTouchEventArray], ptr %78, i64 0, i64 0
  %80 = getelementptr inbounds %struct.b2SensorEndTouchEventArray, ptr %79, i64 0
  call void @b2SensorEndTouchEventArray_Destroy(ptr noundef %80)
  %81 = load ptr, ptr %3, align 8, !tbaa !5
  %82 = getelementptr inbounds %struct.b2World, ptr %81, i32 0, i32 23
  %83 = getelementptr inbounds [2 x %struct.b2SensorEndTouchEventArray], ptr %82, i64 0, i64 0
  %84 = getelementptr inbounds %struct.b2SensorEndTouchEventArray, ptr %83, i64 1
  call void @b2SensorEndTouchEventArray_Destroy(ptr noundef %84)
  %85 = load ptr, ptr %3, align 8, !tbaa !5
  %86 = getelementptr inbounds %struct.b2World, ptr %85, i32 0, i32 22
  call void @b2ContactBeginTouchEventArray_Destroy(ptr noundef %86)
  %87 = load ptr, ptr %3, align 8, !tbaa !5
  %88 = getelementptr inbounds %struct.b2World, ptr %87, i32 0, i32 24
  %89 = getelementptr inbounds [2 x %struct.b2ContactEndTouchEventArray], ptr %88, i64 0, i64 0
  %90 = getelementptr inbounds %struct.b2ContactEndTouchEventArray, ptr %89, i64 0
  call void @b2ContactEndTouchEventArray_Destroy(ptr noundef %90)
  %91 = load ptr, ptr %3, align 8, !tbaa !5
  %92 = getelementptr inbounds %struct.b2World, ptr %91, i32 0, i32 24
  %93 = getelementptr inbounds [2 x %struct.b2ContactEndTouchEventArray], ptr %92, i64 0, i64 0
  %94 = getelementptr inbounds %struct.b2ContactEndTouchEventArray, ptr %93, i64 1
  call void @b2ContactEndTouchEventArray_Destroy(ptr noundef %94)
  %95 = load ptr, ptr %3, align 8, !tbaa !5
  %96 = getelementptr inbounds %struct.b2World, ptr %95, i32 0, i32 26
  call void @b2ContactHitEventArray_Destroy(ptr noundef %96)
  call void @llvm.lifetime.start.p0(i64 4, ptr %5) #6
  %97 = load ptr, ptr %3, align 8, !tbaa !5
  %98 = getelementptr inbounds %struct.b2World, ptr %97, i32 0, i32 16
  %99 = getelementptr inbounds %struct.b2ChainShapeArray, ptr %98, i32 0, i32 1
  %100 = load i32, ptr %99, align 8, !tbaa !31
  store i32 %100, ptr %5, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #6
  store i32 0, ptr %6, align 4, !tbaa !9
  br label %101

101:                                              ; preds = %146, %68
  %102 = load i32, ptr %6, align 4, !tbaa !9
  %103 = load i32, ptr %5, align 4, !tbaa !9
  %104 = icmp slt i32 %102, %103
  br i1 %104, label %106, label %105

105:                                              ; preds = %101
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #6
  br label %149

106:                                              ; preds = %101
  call void @llvm.lifetime.start.p0(i64 8, ptr %7) #6
  %107 = load ptr, ptr %3, align 8, !tbaa !5
  %108 = getelementptr inbounds %struct.b2World, ptr %107, i32 0, i32 16
  %109 = getelementptr inbounds %struct.b2ChainShapeArray, ptr %108, i32 0, i32 0
  %110 = load ptr, ptr %109, align 8, !tbaa !32
  %111 = load i32, ptr %6, align 4, !tbaa !9
  %112 = sext i32 %111 to i64
  %113 = getelementptr inbounds %struct.b2ChainShape, ptr %110, i64 %112
  store ptr %113, ptr %7, align 8, !tbaa !5
  %114 = load ptr, ptr %7, align 8, !tbaa !5
  %115 = getelementptr inbounds %struct.b2ChainShape, ptr %114, i32 0, i32 0
  %116 = load i32, ptr %115, align 8, !tbaa !33
  %117 = icmp ne i32 %116, -1
  br i1 %117, label %118, label %120

118:                                              ; preds = %106
  %119 = load ptr, ptr %7, align 8, !tbaa !5
  call void @b2FreeChainData(ptr noundef %119)
  br label %145

120:                                              ; preds = %106
  br label %121

121:                                              ; preds = %120
  %122 = load ptr, ptr %7, align 8, !tbaa !5
  %123 = getelementptr inbounds %struct.b2ChainShape, ptr %122, i32 0, i32 5
  %124 = load ptr, ptr %123, align 8, !tbaa !35
  %125 = icmp eq ptr %124, null
  br i1 %125, label %130, label %126

126:                                              ; preds = %121
  %127 = call i32 @b2InternalAssertFcn(ptr noundef @.str.11, ptr noundef @.str.1, i32 noundef 306)
  %128 = icmp ne i32 %127, 0
  br i1 %128, label %129, label %130

129:                                              ; preds = %126
  call void @llvm.trap()
  br label %130

130:                                              ; preds = %129, %126, %121
  br label %131

131:                                              ; preds = %130
  br label %132

132:                                              ; preds = %131
  br label %133

133:                                              ; preds = %132
  %134 = load ptr, ptr %7, align 8, !tbaa !5
  %135 = getelementptr inbounds %struct.b2ChainShape, ptr %134, i32 0, i32 6
  %136 = load ptr, ptr %135, align 8, !tbaa !36
  %137 = icmp eq ptr %136, null
  br i1 %137, label %142, label %138

138:                                              ; preds = %133
  %139 = call i32 @b2InternalAssertFcn(ptr noundef @.str.12, ptr noundef @.str.1, i32 noundef 307)
  %140 = icmp ne i32 %139, 0
  br i1 %140, label %141, label %142

141:                                              ; preds = %138
  call void @llvm.trap()
  br label %142

142:                                              ; preds = %141, %138, %133
  br label %143

143:                                              ; preds = %142
  br label %144

144:                                              ; preds = %143
  br label %145

145:                                              ; preds = %144, %118
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #6
  br label %146

146:                                              ; preds = %145
  %147 = load i32, ptr %6, align 4, !tbaa !9
  %148 = add nsw i32 %147, 1
  store i32 %148, ptr %6, align 4, !tbaa !9
  br label %101, !llvm.loop !37

149:                                              ; preds = %105
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #6
  %150 = load ptr, ptr %3, align 8, !tbaa !5
  %151 = getelementptr inbounds %struct.b2World, ptr %150, i32 0, i32 17
  %152 = getelementptr inbounds %struct.b2SensorArray, ptr %151, i32 0, i32 1
  %153 = load i32, ptr %152, align 8, !tbaa !38
  store i32 %153, ptr %8, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #6
  store i32 0, ptr %9, align 4, !tbaa !9
  br label %154

154:                                              ; preds = %176, %149
  %155 = load i32, ptr %9, 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
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #6
  br label %179

159:                                              ; preds = %154
  %160 = load ptr, ptr %3, align 8, !tbaa !5
  %161 = getelementptr inbounds %struct.b2World, ptr %160, i32 0, i32 17
  %162 = getelementptr inbounds %struct.b2SensorArray, ptr %161, i32 0, i32 0
  %163 = load ptr, ptr %162, align 8, !tbaa !39
  %164 = load i32, ptr %9, align 4, !tbaa !9
  %165 = sext i32 %164 to i64
  %166 = getelementptr inbounds %struct.b2Sensor, ptr %163, i64 %165
  %167 = getelementptr inbounds %struct.b2Sensor, ptr %166, i32 0, i32 0
  call void @b2ShapeRefArray_Destroy(ptr noundef %167)
  %168 = load ptr, ptr %3, align 8, !tbaa !5
  %169 = getelementptr inbounds %struct.b2World, ptr %168, i32 0, i32 17
  %170 = getelementptr inbounds %struct.b2SensorArray, ptr %169, i32 0, i32 0
  %171 = load ptr, ptr %170, align 8, !tbaa !39
  %172 = load i32, ptr %9, align 4, !tbaa !9
  %173 = sext i32 %172 to i64
  %174 = getelementptr inbounds %struct.b2Sensor, ptr %171, i64 %173
  %175 = getelementptr inbounds %struct.b2Sensor, ptr %174, i32 0, i32 1
  call void @b2ShapeRefArray_Destroy(ptr noundef %175)
  br label %176

176:                                              ; preds = %159
  %177 = load i32, ptr %9, align 4, !tbaa !9
  %178 = add nsw i32 %177, 1
  store i32 %178, ptr %9, align 4, !tbaa !9
  br label %154, !llvm.loop !40

179:                                              ; preds = %158
  %180 = load ptr, ptr %3, align 8, !tbaa !5
  %181 = getelementptr inbounds %struct.b2World, ptr %180, i32 0, i32 17
  call void @b2SensorArray_Destroy(ptr noundef %181)
  %182 = load ptr, ptr %3, align 8, !tbaa !5
  %183 = getelementptr inbounds %struct.b2World, ptr %182, i32 0, i32 4
  call void @b2BodyArray_Destroy(ptr noundef %183)
  %184 = load ptr, ptr %3, align 8, !tbaa !5
  %185 = getelementptr inbounds %struct.b2World, ptr %184, i32 0, i32 15
  call void @b2ShapeArray_Destroy(ptr noundef %185)
  %186 = load ptr, ptr %3, align 8, !tbaa !5
  %187 = getelementptr inbounds %struct.b2World, ptr %186, i32 0, i32 16
  call void @b2ChainShapeArray_Destroy(ptr noundef %187)
  %188 = load ptr, ptr %3, align 8, !tbaa !5
  %189 = getelementptr inbounds %struct.b2World, ptr %188, i32 0, i32 10
  call void @b2ContactArray_Destroy(ptr noundef %189)
  %190 = load ptr, ptr %3, align 8, !tbaa !5
  %191 = getelementptr inbounds %struct.b2World, ptr %190, i32 0, i32 8
  call void @b2JointArray_Destroy(ptr noundef %191)
  %192 = load ptr, ptr %3, align 8, !tbaa !5
  %193 = getelementptr inbounds %struct.b2World, ptr %192, i32 0, i32 12
  call void @b2IslandArray_Destroy(ptr noundef %193)
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #6
  %194 = load ptr, ptr %3, align 8, !tbaa !5
  %195 = getelementptr inbounds %struct.b2World, ptr %194, i32 0, i32 6
  %196 = getelementptr inbounds %struct.b2SolverSetArray, ptr %195, i32 0, i32 1
  %197 = load i32, ptr %196, align 8, !tbaa !41
  store i32 %197, ptr %10, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #6
  store i32 0, ptr %11, align 4, !tbaa !9
  br label %198

198:                                              ; preds = %219, %179
  %199 = load i32, ptr %11, align 4, !tbaa !9
  %200 = load i32, ptr %10, align 4, !tbaa !9
  %201 = icmp slt i32 %199, %200
  br i1 %201, label %203, label %202

202:                                              ; preds = %198
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #6
  br label %222

203:                                              ; preds = %198
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #6
  %204 = load ptr, ptr %3, align 8, !tbaa !5
  %205 = getelementptr inbounds %struct.b2World, ptr %204, i32 0, i32 6
  %206 = getelementptr inbounds %struct.b2SolverSetArray, ptr %205, i32 0, i32 0
  %207 = load ptr, ptr %206, align 8, !tbaa !42
  %208 = load i32, ptr %11, align 4, !tbaa !9
  %209 = sext i32 %208 to i64
  %210 = getelementptr inbounds %struct.b2SolverSet, ptr %207, i64 %209
  store ptr %210, ptr %12, align 8, !tbaa !5
  %211 = load ptr, ptr %12, align 8, !tbaa !5
  %212 = getelementptr inbounds %struct.b2SolverSet, ptr %211, i32 0, i32 5
  %213 = load i32, ptr %212, align 8, !tbaa !43
  %214 = icmp ne i32 %213, -1
  br i1 %214, label %215, label %218

215:                                              ; preds = %203
  %216 = load ptr, ptr %3, align 8, !tbaa !5
  %217 = load i32, ptr %11, align 4, !tbaa !9
  call void @b2DestroySolverSet(ptr noundef %216, i32 noundef %217)
  br label %218

218:                                              ; preds = %215, %203
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #6
  br label %219

219:                                              ; preds = %218
  %220 = load i32, ptr %11, align 4, !tbaa !9
  %221 = add nsw i32 %220, 1
  store i32 %221, ptr %11, align 4, !tbaa !9
  br label %198, !llvm.loop !45

222:                                              ; preds = %202
  %223 = load ptr, ptr %3, align 8, !tbaa !5
  %224 = getelementptr inbounds %struct.b2World, ptr %223, i32 0, i32 6
  call void @b2SolverSetArray_Destroy(ptr noundef %224)
  %225 = load ptr, ptr %3, align 8, !tbaa !5
  %226 = getelementptr inbounds %struct.b2World, ptr %225, i32 0, i32 2
  call void @b2DestroyGraph(ptr noundef %226)
  %227 = load ptr, ptr %3, align 8, !tbaa !5
  %228 = getelementptr inbounds %struct.b2World, ptr %227, i32 0, i32 1
  call void @b2DestroyBroadPhase(ptr noundef %228)
  %229 = load ptr, ptr %3, align 8, !tbaa !5
  %230 = getelementptr inbounds %struct.b2World, ptr %229, i32 0, i32 3
  call void @b2DestroyIdPool(ptr noundef %230)
  %231 = load ptr, ptr %3, align 8, !tbaa !5
  %232 = getelementptr inbounds %struct.b2World, ptr %231, i32 0, i32 13
  call void @b2DestroyIdPool(ptr noundef %232)
  %233 = load ptr, ptr %3, align 8, !tbaa !5
  %234 = getelementptr inbounds %struct.b2World, ptr %233, i32 0, i32 14
  call void @b2DestroyIdPool(ptr noundef %234)
  %235 = load ptr, ptr %3, align 8, !tbaa !5
  %236 = getelementptr inbounds %struct.b2World, ptr %235, i32 0, i32 9
  call void @b2DestroyIdPool(ptr noundef %236)
  %237 = load ptr, ptr %3, align 8, !tbaa !5
  %238 = getelementptr inbounds %struct.b2World, ptr %237, i32 0, i32 7
  call void @b2DestroyIdPool(ptr noundef %238)
  %239 = load ptr, ptr %3, align 8, !tbaa !5
  %240 = getelementptr inbounds %struct.b2World, ptr %239, i32 0, i32 11
  call void @b2DestroyIdPool(ptr noundef %240)
  %241 = load ptr, ptr %3, align 8, !tbaa !5
  %242 = getelementptr inbounds %struct.b2World, ptr %241, i32 0, i32 5
  call void @b2DestroyIdPool(ptr noundef %242)
  %243 = load ptr, ptr %3, align 8, !tbaa !5
  %244 = getelementptr inbounds %struct.b2World, ptr %243, i32 0, i32 0
  call void @b2DestroyArenaAllocator(ptr noundef %244)
  call void @llvm.lifetime.start.p0(i64 2, ptr %13) #6
  %245 = load ptr, ptr %3, align 8, !tbaa !5
  %246 = getelementptr inbounds %struct.b2World, ptr %245, i32 0, i32 44
  %247 = load i16, ptr %246, align 8, !tbaa !46
  store i16 %247, ptr %13, align 2, !tbaa !47
  %248 = load ptr, ptr %3, align 8, !tbaa !5
  call void @llvm.memset.p0.i64(ptr align 8 %14, i8 0, i64 1808, i1 false)
  %249 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 0
  %250 = getelementptr inbounds %struct.b2ArenaAllocator, ptr %249, i32 0, i32 0
  %251 = getelementptr inbounds %struct.b2ArenaAllocator, ptr %249, i32 0, i32 1
  %252 = getelementptr inbounds %struct.b2ArenaAllocator, ptr %249, i32 0, i32 2
  %253 = getelementptr inbounds %struct.b2ArenaAllocator, ptr %249, i32 0, i32 3
  %254 = getelementptr inbounds %struct.b2ArenaAllocator, ptr %249, i32 0, i32 4
  %255 = getelementptr inbounds %struct.b2ArenaAllocator, ptr %249, i32 0, i32 5
  %256 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 1
  %257 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 2
  %258 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 3
  %259 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 4
  %260 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 5
  %261 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 6
  %262 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 7
  %263 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 8
  %264 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 9
  %265 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 10
  %266 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 11
  %267 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 12
  %268 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 13
  %269 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 14
  %270 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 15
  %271 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 16
  %272 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 17
  %273 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 18
  %274 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 19
  %275 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 20
  %276 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 21
  %277 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 22
  %278 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 23
  %279 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 24
  %280 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 25
  %281 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 26
  %282 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 27
  %283 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 28
  %284 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 29
  %285 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 30
  %286 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 31
  %287 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 32
  %288 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 33
  %289 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 34
  %290 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 35
  %291 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 36
  %292 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 37
  %293 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 38
  %294 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 39
  %295 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 40
  %296 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 41
  %297 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 42
  %298 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 43
  %299 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 44
  %300 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 45
  %301 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 46
  %302 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 47
  %303 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 48
  %304 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 49
  %305 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 50
  %306 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 51
  %307 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 52
  %308 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 53
  %309 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 54
  %310 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 55
  %311 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 56
  %312 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 57
  %313 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 58
  %314 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 59
  %315 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 60
  %316 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 61
  %317 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 62
  %318 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 63
  %319 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 64
  %320 = getelementptr inbounds %struct.b2World, ptr %14, i32 0, i32 65
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %248, ptr align 8 %14, i64 1808, i1 false), !tbaa.struct !48
  %321 = load ptr, ptr %3, align 8, !tbaa !5
  %322 = getelementptr inbounds %struct.b2World, ptr %321, i32 0, i32 59
  store i16 0, ptr %322, align 4, !tbaa !53
  %323 = load i16, ptr %13, align 2, !tbaa !47
  %324 = zext i16 %323 to i32
  %325 = add nsw i32 %324, 1
  %326 = trunc i32 %325 to i16
  %327 = load ptr, ptr %3, align 8, !tbaa !5
  %328 = getelementptr inbounds %struct.b2World, ptr %327, i32 0, i32 44
  store i16 %326, ptr %328, align 8, !tbaa !46
  call void @llvm.lifetime.end.p0(i64 2, ptr %13) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %3) #6
  ret void
}

declare void @b2DestroyBitSet(ptr noundef) #2

declare void @b2SensorTaskContextArray_Destroy(ptr noundef) #2

declare void @b2FreeChainData(ptr noundef) #2

declare void @b2ShapeRefArray_Destroy(ptr noundef) #2

declare void @b2SensorArray_Destroy(ptr noundef) #2

declare void @b2BodyArray_Destroy(ptr noundef) #2

declare void @b2ShapeArray_Destroy(ptr noundef) #2

declare void @b2ChainShapeArray_Destroy(ptr noundef) #2

declare void @b2ContactArray_Destroy(ptr noundef) #2

declare void @b2JointArray_Destroy(ptr noundef) #2

declare void @b2IslandArray_Destroy(ptr noundef) #2

declare void @b2DestroySolverSet(ptr noundef, i32 noundef) #2

declare void @b2SolverSetArray_Destroy(ptr noundef) #2

declare void @b2DestroyGraph(ptr noundef) #2

declare void @b2DestroyBroadPhase(ptr noundef) #2

declare void @b2DestroyIdPool(ptr noundef) #2

declare void @b2DestroyArenaAllocator(ptr noundef) #2

attributes #0 = { nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #1 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { cold noreturn nounwind memory(inaccessiblemem: write) }
attributes #4 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #5 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #6 = { 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 1736}
!12 = !{!"b2World", !13, i64 0, !15, i64 40, !18, i64 336, !19, i64 1008, !14, i64 1032, !19, i64 1048, !14, i64 1072, !19, i64 1088, !14, i64 1112, !19, i64 1128, !14, i64 1152, !19, i64 1168, !14, i64 1192, !19, i64 1208, !19, i64 1232, !14, i64 1256, !14, i64 1272, !14, i64 1288, !14, i64 1304, !14, i64 1320, !14, i64 1336, !14, i64 1352, !14, i64 1368, !7, i64 1384, !7, i64 1416, !10, i64 1448, !14, i64 1456, !20, i64 1472, !20, i64 1488, !20, i64 1504, !20, i64 1520, !21, i64 1536, !10, i64 1544, !22, i64 1548, !23, i64 1556, !23, i64 1560, !23, i64 1564, !23, i64 1568, !23, i64 1572, !23, i64 1576, !23, i64 1580, !23, i64 1584, !6, i64 1592, !6, i64 1600, !24, i64 1608, !25, 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, !23, i64 1784, !10, i64 1788, !10, i64 1792, !24, i64 1796, !26, i64 1798, !26, i64 1799, !26, i64 1800, !26, i64 1801, !26, i64 1802, !26, i64 1803}
!13 = !{!"b2ArenaAllocator", !6, i64 0, !10, i64 8, !10, i64 12, !10, i64 16, !10, i64 20, !14, i64 24}
!14 = !{!"", !6, i64 0, !10, i64 8, !10, i64 12}
!15 = !{!"b2BroadPhase", !7, i64 0, !10, i64 216, !16, i64 224, !14, i64 240, !6, i64 256, !6, i64 264, !10, i64 272, !17, i64 276, !16, i64 280}
!16 = !{!"b2HashSet", !6, i64 0, !10, i64 8, !10, i64 12}
!17 = !{!"b2AtomicInt", !10, i64 0}
!18 = !{!"b2ConstraintGraph", !7, i64 0}
!19 = !{!"b2IdPool", !14, i64 0, !10, i64 16}
!20 = !{!"b2BitSet", !6, i64 0, !10, i64 8, !10, i64 12}
!21 = !{!"long", !7, i64 0}
!22 = !{!"b2Vec2", !23, i64 0, !23, i64 4}
!23 = !{!"float", !7, i64 0}
!24 = !{!"short", !7, i64 0}
!25 = !{!"b2Profile", !23, i64 0, !23, i64 4, !23, i64 8, !23, i64 12, !23, i64 16, !23, i64 20, !23, i64 24, !23, i64 28, !23, i64 32, !23, i64 36, !23, i64 40, !23, i64 44, !23, i64 48, !23, i64 52, !23, i64 56, !23, i64 60, !23, i64 64, !23, i64 68, !23, i64 72, !23, i64 76, !23, i64 80, !23, i64 84}
!26 = !{!"_Bool", !7, i64 0}
!27 = !{!12, !6, i64 1304}
!28 = !{!12, !6, i64 1320}
!29 = distinct !{!29, !30}
!30 = !{!"llvm.loop.mustprogress"}
!31 = !{!12, !10, i64 1280}
!32 = !{!12, !6, i64 1272}
!33 = !{!34, !10, i64 0}
!34 = !{!"b2ChainShape", !10, i64 0, !10, i64 4, !10, i64 8, !10, i64 12, !10, i64 16, !6, i64 24, !6, i64 32, !24, i64 40}
!35 = !{!34, !6, i64 24}
!36 = !{!34, !6, i64 32}
!37 = distinct !{!37, !30}
!38 = !{!12, !10, i64 1296}
!39 = !{!12, !6, i64 1288}
!40 = distinct !{!40, !30}
!41 = !{!12, !10, i64 1080}
!42 = !{!12, !6, i64 1072}
!43 = !{!44, !10, i64 80}
!44 = !{!"b2SolverSet", !14, i64 0, !14, i64 16, !14, i64 32, !14, i64 48, !14, i64 64, !10, i64 80}
!45 = distinct !{!45, !30}
!46 = !{!12, !24, i64 1608}
!47 = !{!24, !24, i64 0}
!48 = !{i64 0, i64 8, !5, i64 8, i64 4, !9, i64 12, i64 4, !9, i64 16, i64 4, !9, i64 20, i64 4, !9, i64 24, i64 8, !5, i64 32, i64 4, !9, i64 36, i64 4, !9, i64 40, i64 216, !49, i64 256, i64 4, !9, i64 264, i64 8, !5, i64 272, i64 4, !9, i64 276, i64 4, !9, i64 280, i64 8, !5, i64 288, i64 4, !9, i64 292, i64 4, !9, i64 296, i64 8, !5, i64 304, i64 8, !5, i64 312, i64 4, !9, i64 316, i64 4, !9, i64 320, i64 8, !5, i64 328, i64 4, !9, i64 332, i64 4, !9, i64 336, i64 672, !49, i64 1008, i64 8, !5, i64 1016, i64 4, !9, i64 1020, i64 4, !9, i64 1024, i64 4, !9, i64 1032, i64 8, !5, i64 1040, i64 4, !9, i64 1044, i64 4, !9, i64 1048, i64 8, !5, i64 1056, i64 4, !9, i64 1060, i64 4, !9, i64 1064, i64 4, !9, i64 1072, i64 8, !5, i64 1080, i64 4, !9, i64 1084, i64 4, !9, i64 1088, i64 8, !5, i64 1096, i64 4, !9, i64 1100, i64 4, !9, i64 1104, i64 4, !9, i64 1112, i64 8, !5, i64 1120, i64 4, !9, i64 1124, i64 4, !9, i64 1128, i64 8, !5, i64 1136, i64 4, !9, i64 1140, i64 4, !9, i64 1144, i64 4, !9, i64 1152, i64 8, !5, i64 1160, i64 4, !9, i64 1164, i64 4, !9, i64 1168, i64 8, !5, i64 1176, i64 4, !9, i64 1180, i64 4, !9, i64 1184, i64 4, !9, i64 1192, i64 8, !5, i64 1200, i64 4, !9, i64 1204, i64 4, !9, i64 1208, i64 8, !5, i64 1216, i64 4, !9, i64 1220, i64 4, !9, i64 1224, i64 4, !9, i64 1232, i64 8, !5, i64 1240, i64 4, !9, i64 1244, i64 4, !9, i64 1248, i64 4, !9, i64 1256, i64 8, !5, i64 1264, i64 4, !9, i64 1268, i64 4, !9, i64 1272, i64 8, !5, i64 1280, i64 4, !9, i64 1284, i64 4, !9, i64 1288, i64 8, !5, i64 1296, i64 4, !9, i64 1300, i64 4, !9, i64 1304, i64 8, !5, i64 1312, i64 4, !9, i64 1316, i64 4, !9, i64 1320, i64 8, !5, i64 1328, i64 4, !9, i64 1332, i64 4, !9, i64 1336, i64 8, !5, i64 1344, i64 4, !9, i64 1348, i64 4, !9, i64 1352, i64 8, !5, i64 1360, i64 4, !9, i64 1364, i64 4, !9, i64 1368, i64 8, !5, i64 1376, i64 4, !9, i64 1380, i64 4, !9, i64 1384, i64 32, !49, i64 1416, i64 32, !49, i64 1448, i64 4, !9, i64 1456, i64 8, !5, i64 1464, i64 4, !9, i64 1468, i64 4, !9, i64 1472, i64 8, !5, i64 1480, i64 4, !9, i64 1484, i64 4, !9, i64 1488, i64 8, !5, i64 1496, i64 4, !9, i64 1500, i64 4, !9, i64 1504, i64 8, !5, i64 1512, i64 4, !9, i64 1516, i64 4, !9, i64 1520, i64 8, !5, i64 1528, i64 4, !9, i64 1532, i64 4, !9, i64 1536, i64 8, !50, i64 1544, i64 4, !9, i64 1548, i64 4, !51, i64 1552, i64 4, !51, i64 1556, i64 4, !51, i64 1560, i64 4, !51, i64 1564, i64 4, !51, i64 1568, i64 4, !51, i64 1572, i64 4, !51, i64 1576, i64 4, !51, i64 1580, i64 4, !51, i64 1584, i64 4, !51, i64 1592, i64 8, !5, i64 1600, i64 8, !5, i64 1608, i64 2, !47, i64 1612, i64 4, !51, i64 1616, i64 4, !51, i64 1620, i64 4, !51, i64 1624, i64 4, !51, i64 1628, i64 4, !51, i64 1632, i64 4, !51, i64 1636, i64 4, !51, i64 1640, i64 4, !51, i64 1644, i64 4, !51, i64 1648, i64 4, !51, i64 1652, i64 4, !51, i64 1656, i64 4, !51, i64 1660, i64 4, !51, i64 1664, i64 4, !51, i64 1668, i64 4, !51, i64 1672, i64 4, !51, i64 1676, i64 4, !51, i64 1680, i64 4, !51, i64 1684, i64 4, !51, i64 1688, i64 4, !51, i64 1692, i64 4, !51, i64 1696, i64 4, !51, i64 1704, i64 8, !5, i64 1712, i64 8, !5, i64 1720, i64 8, !5, i64 1728, i64 8, !5, i64 1736, i64 4, !9, i64 1744, i64 8, !5, i64 1752, i64 8, !5, i64 1760, i64 8, !5, i64 1768, i64 8, !5, i64 1776, i64 8, !5, i64 1784, i64 4, !51, i64 1788, i64 4, !9, i64 1792, i64 4, !9, i64 1796, i64 2, !47, i64 1798, i64 1, !52, i64 1799, i64 1, !52, i64 1800, i64 1, !52, i64 1801, i64 1, !52, i64 1802, i64 1, !52, i64 1803, i64 1, !52}
!49 = !{!7, !7, i64 0}
!50 = !{!21, !21, i64 0}
!51 = !{!23, !23, i64 0}
!52 = !{!26, !26, i64 0}
!53 = !{!12, !24, i64 1796}


; 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.b2TaskContext = type { %struct.b2BitSet, %struct.b2BitSet, %struct.b2BitSet, float, i32 }
%struct.b2BitSet = type { ptr, i32, i32 }
%struct.b2SensorTaskContext = type { %struct.b2BitSet }
%struct.b2ChainShape = type { i32, i32, i32, i32, i32, ptr, ptr, i16 }
%struct.b2Sensor = type { %struct.b2ShapeRefArray, %struct.b2ShapeRefArray, i32 }
%struct.b2ShapeRefArray = type { ptr, i32, i32 }
%struct.b2SolverSet = type { %struct.b2BodySimArray, %struct.b2BodyStateArray, %struct.b2JointSimArray, %struct.b2ContactSimArray, %struct.b2IslandSimArray, i32 }
%struct.b2BodySimArray = type { ptr, i32, i32 }
%struct.b2BodyStateArray = type { ptr, i32, i32 }
%struct.b2JointSimArray = type { ptr, i32, i32 }
%struct.b2ContactSimArray = type { ptr, i32, i32 }
%struct.b2IslandSimArray = type { ptr, i32, i32 }

@.str.1 = external hidden unnamed_addr constant [61 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [28 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [25 x i8], align 1

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

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

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

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

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

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

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

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

; Function Attrs: nounwind uwtable
declare dso_local ptr @b2GetWorldFromId(i32) local_unnamed_addr #1

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

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

; Function Attrs: nounwind uwtable
define dso_local void @b2DestroyWorld(i32 %0) local_unnamed_addr #1 {
  %2 = tail call ptr @b2GetWorldFromId(i32 %0)
  %3 = getelementptr inbounds i8, ptr %2, i64 1472
  tail call void @b2DestroyBitSet(ptr noundef nonnull %3) #4
  %4 = getelementptr inbounds i8, ptr %2, i64 1488
  tail call void @b2DestroyBitSet(ptr noundef nonnull %4) #4
  %5 = getelementptr inbounds i8, ptr %2, i64 1504
  tail call void @b2DestroyBitSet(ptr noundef nonnull %5) #4
  %6 = getelementptr inbounds i8, ptr %2, i64 1520
  tail call void @b2DestroyBitSet(ptr noundef nonnull %6) #4
  %7 = getelementptr inbounds i8, ptr %2, i64 1736
  %8 = load i32, ptr %7, align 8, !tbaa !5
  %9 = icmp sgt i32 %8, 0
  br i1 %9, label %.lr.ph, label %._crit_edge

.lr.ph:                                           ; preds = %1
  %10 = getelementptr inbounds i8, ptr %2, i64 1304
  %11 = getelementptr inbounds i8, ptr %2, i64 1320
  br label %26

._crit_edge:                                      ; preds = %26, %1
  %12 = getelementptr inbounds i8, ptr %2, i64 1304
  tail call void @b2TaskContextArray_Destroy(ptr noundef nonnull %12)
  %13 = getelementptr inbounds i8, ptr %2, i64 1320
  tail call void @b2SensorTaskContextArray_Destroy(ptr noundef nonnull %13) #4
  %14 = getelementptr inbounds i8, ptr %2, i64 1336
  tail call void @b2BodyMoveEventArray_Destroy(ptr noundef nonnull %14)
  %15 = getelementptr inbounds i8, ptr %2, i64 1352
  tail call void @b2SensorBeginTouchEventArray_Destroy(ptr noundef nonnull %15)
  %16 = getelementptr inbounds i8, ptr %2, i64 1384
  tail call void @b2SensorEndTouchEventArray_Destroy(ptr noundef nonnull %16)
  %17 = getelementptr inbounds i8, ptr %2, i64 1400
  tail call void @b2SensorEndTouchEventArray_Destroy(ptr noundef nonnull %17)
  %18 = getelementptr inbounds i8, ptr %2, i64 1368
  tail call void @b2ContactBeginTouchEventArray_Destroy(ptr noundef nonnull %18)
  %19 = getelementptr inbounds i8, ptr %2, i64 1416
  tail call void @b2ContactEndTouchEventArray_Destroy(ptr noundef nonnull %19)
  %20 = getelementptr inbounds i8, ptr %2, i64 1432
  tail call void @b2ContactEndTouchEventArray_Destroy(ptr noundef nonnull %20)
  %21 = getelementptr inbounds i8, ptr %2, i64 1456
  tail call void @b2ContactHitEventArray_Destroy(ptr noundef nonnull %21)
  %22 = getelementptr inbounds i8, ptr %2, i64 1272
  %23 = getelementptr inbounds i8, ptr %2, i64 1280
  %24 = load i32, ptr %23, align 8, !tbaa !25
  %25 = icmp sgt i32 %24, 0
  br i1 %25, label %.lr.ph83.preheader, label %._crit_edge84

.lr.ph83.preheader:                               ; preds = %._crit_edge
  %wide.trip.count = zext nneg i32 %24 to i64
  br label %.lr.ph83

26:                                               ; preds = %.lr.ph, %26
  %indvars.iv = phi i64 [ 0, %.lr.ph ], [ %indvars.iv.next, %26 ]
  %27 = load ptr, ptr %10, align 8, !tbaa !26
  %28 = getelementptr inbounds %struct.b2TaskContext, ptr %27, i64 %indvars.iv
  tail call void @b2DestroyBitSet(ptr noundef %28) #4
  %29 = load ptr, ptr %10, align 8, !tbaa !26
  %30 = getelementptr inbounds %struct.b2TaskContext, ptr %29, i64 %indvars.iv, i32 1
  tail call void @b2DestroyBitSet(ptr noundef nonnull %30) #4
  %31 = load ptr, ptr %10, align 8, !tbaa !26
  %32 = getelementptr inbounds %struct.b2TaskContext, ptr %31, i64 %indvars.iv, i32 2
  tail call void @b2DestroyBitSet(ptr noundef nonnull %32) #4
  %33 = load ptr, ptr %11, align 8, !tbaa !27
  %34 = getelementptr inbounds %struct.b2SensorTaskContext, ptr %33, i64 %indvars.iv
  tail call void @b2DestroyBitSet(ptr noundef %34) #4
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %35 = load i32, ptr %7, align 8, !tbaa !5
  %36 = sext i32 %35 to i64
  %37 = icmp slt i64 %indvars.iv.next, %36
  br i1 %37, label %26, label %._crit_edge, !llvm.loop !28

._crit_edge84:                                    ; preds = %60, %._crit_edge
  %38 = getelementptr inbounds i8, ptr %2, i64 1288
  %39 = getelementptr inbounds i8, ptr %2, i64 1296
  %40 = load i32, ptr %39, align 8, !tbaa !30
  %41 = icmp sgt i32 %40, 0
  br i1 %41, label %.lr.ph87.preheader, label %._crit_edge88

.lr.ph87.preheader:                               ; preds = %._crit_edge84
  %wide.trip.count100 = zext nneg i32 %40 to i64
  br label %.lr.ph87

.lr.ph83:                                         ; preds = %.lr.ph83.preheader, %60
  %indvars.iv94 = phi i64 [ 0, %.lr.ph83.preheader ], [ %indvars.iv.next95, %60 ]
  %42 = load ptr, ptr %22, align 8, !tbaa !31
  %43 = getelementptr inbounds %struct.b2ChainShape, ptr %42, i64 %indvars.iv94
  %44 = load i32, ptr %43, align 8, !tbaa !32
  %.not77 = icmp eq i32 %44, -1
  br i1 %.not77, label %46, label %45

45:                                               ; preds = %.lr.ph83
  tail call void @b2FreeChainData(ptr noundef nonnull %43) #4
  br label %60

46:                                               ; preds = %.lr.ph83
  %47 = getelementptr inbounds i8, ptr %43, i64 24
  %48 = load ptr, ptr %47, align 8, !tbaa !34
  %49 = icmp eq ptr %48, null
  br i1 %49, label %53, label %50

50:                                               ; preds = %46
  %51 = tail call i32 @b2InternalAssertFcn(ptr noundef nonnull @.str.11, ptr noundef nonnull @.str.1, i32 noundef 306) #4
  %.not78 = icmp eq i32 %51, 0
  br i1 %.not78, label %53, label %52

52:                                               ; preds = %50
  tail call void @llvm.trap()
  unreachable

53:                                               ; preds = %46, %50
  %54 = getelementptr inbounds i8, ptr %43, i64 32
  %55 = load ptr, ptr %54, align 8, !tbaa !35
  %56 = icmp eq ptr %55, null
  br i1 %56, label %60, label %57

57:                                               ; preds = %53
  %58 = tail call i32 @b2InternalAssertFcn(ptr noundef nonnull @.str.12, ptr noundef nonnull @.str.1, i32 noundef 307) #4
  %.not79 = icmp eq i32 %58, 0
  br i1 %.not79, label %60, label %59

59:                                               ; preds = %57
  tail call void @llvm.trap()
  unreachable

60:                                               ; preds = %53, %57, %45
  %indvars.iv.next95 = add nuw nsw i64 %indvars.iv94, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next95, %wide.trip.count
  br i1 %exitcond.not, label %._crit_edge84, label %.lr.ph83, !llvm.loop !36

._crit_edge88:                                    ; preds = %.lr.ph87, %._crit_edge84
  tail call void @b2SensorArray_Destroy(ptr noundef nonnull %38) #4
  %61 = getelementptr inbounds i8, ptr %2, i64 1032
  tail call void @b2BodyArray_Destroy(ptr noundef nonnull %61) #4
  %62 = getelementptr inbounds i8, ptr %2, i64 1256
  tail call void @b2ShapeArray_Destroy(ptr noundef nonnull %62) #4
  tail call void @b2ChainShapeArray_Destroy(ptr noundef nonnull %22) #4
  %63 = getelementptr inbounds i8, ptr %2, i64 1152
  tail call void @b2ContactArray_Destroy(ptr noundef nonnull %63) #4
  %64 = getelementptr inbounds i8, ptr %2, i64 1112
  tail call void @b2JointArray_Destroy(ptr noundef nonnull %64) #4
  %65 = getelementptr inbounds i8, ptr %2, i64 1192
  tail call void @b2IslandArray_Destroy(ptr noundef nonnull %65) #4
  %66 = getelementptr inbounds i8, ptr %2, i64 1072
  %67 = getelementptr inbounds i8, ptr %2, i64 1080
  %68 = load i32, ptr %67, align 8, !tbaa !37
  %69 = icmp sgt i32 %68, 0
  br i1 %69, label %.lr.ph91.preheader, label %._crit_edge92

.lr.ph91.preheader:                               ; preds = %._crit_edge88
  %wide.trip.count105 = zext nneg i32 %68 to i64
  br label %.lr.ph91

.lr.ph87:                                         ; preds = %.lr.ph87.preheader, %.lr.ph87
  %indvars.iv97 = phi i64 [ 0, %.lr.ph87.preheader ], [ %indvars.iv.next98, %.lr.ph87 ]
  %70 = load ptr, ptr %38, align 8, !tbaa !38
  %71 = getelementptr inbounds %struct.b2Sensor, ptr %70, i64 %indvars.iv97
  tail call void @b2ShapeRefArray_Destroy(ptr noundef %71) #4
  %72 = load ptr, ptr %38, align 8, !tbaa !38
  %73 = getelementptr inbounds %struct.b2Sensor, ptr %72, i64 %indvars.iv97, i32 1
  tail call void @b2ShapeRefArray_Destroy(ptr noundef nonnull %73) #4
  %indvars.iv.next98 = add nuw nsw i64 %indvars.iv97, 1
  %exitcond101.not = icmp eq i64 %indvars.iv.next98, %wide.trip.count100
  br i1 %exitcond101.not, label %._crit_edge88, label %.lr.ph87, !llvm.loop !39

._crit_edge92:                                    ; preds = %91, %._crit_edge88
  tail call void @b2SolverSetArray_Destroy(ptr noundef nonnull %66) #4
  %74 = getelementptr inbounds i8, ptr %2, i64 336
  tail call void @b2DestroyGraph(ptr noundef nonnull %74) #4
  %75 = getelementptr inbounds i8, ptr %2, i64 40
  tail call void @b2DestroyBroadPhase(ptr noundef nonnull %75) #4
  %76 = getelementptr inbounds i8, ptr %2, i64 1008
  tail call void @b2DestroyIdPool(ptr noundef nonnull %76) #4
  %77 = getelementptr inbounds i8, ptr %2, i64 1208
  tail call void @b2DestroyIdPool(ptr noundef nonnull %77) #4
  %78 = getelementptr inbounds i8, ptr %2, i64 1232
  tail call void @b2DestroyIdPool(ptr noundef nonnull %78) #4
  %79 = getelementptr inbounds i8, ptr %2, i64 1128
  tail call void @b2DestroyIdPool(ptr noundef nonnull %79) #4
  %80 = getelementptr inbounds i8, ptr %2, i64 1088
  tail call void @b2DestroyIdPool(ptr noundef nonnull %80) #4
  %81 = getelementptr inbounds i8, ptr %2, i64 1168
  tail call void @b2DestroyIdPool(ptr noundef nonnull %81) #4
  %82 = getelementptr inbounds i8, ptr %2, i64 1048
  tail call void @b2DestroyIdPool(ptr noundef nonnull %82) #4
  tail call void @b2DestroyArenaAllocator(ptr noundef nonnull %2) #4
  %83 = getelementptr inbounds i8, ptr %2, i64 1608
  %84 = load i16, ptr %83, align 8, !tbaa !40
  %85 = add i16 %84, 1
  tail call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(1808) %2, i8 0, i64 1808, i1 false)
  store i16 %85, ptr %83, align 8, !tbaa !40
  ret void

.lr.ph91:                                         ; preds = %.lr.ph91.preheader, %91
  %indvars.iv102 = phi i64 [ 0, %.lr.ph91.preheader ], [ %indvars.iv.next103, %91 ]
  %86 = load ptr, ptr %66, align 8, !tbaa !41
  %87 = getelementptr inbounds %struct.b2SolverSet, ptr %86, i64 %indvars.iv102, i32 5
  %88 = load i32, ptr %87, align 8, !tbaa !42
  %.not = icmp eq i32 %88, -1
  br i1 %.not, label %91, label %89

89:                                               ; preds = %.lr.ph91
  %90 = trunc nuw nsw i64 %indvars.iv102 to i32
  tail call void @b2DestroySolverSet(ptr noundef nonnull %2, i32 noundef %90) #4
  br label %91

91:                                               ; preds = %89, %.lr.ph91
  %indvars.iv.next103 = add nuw nsw i64 %indvars.iv102, 1
  %exitcond106.not = icmp eq i64 %indvars.iv.next103, %wide.trip.count105
  br i1 %exitcond106.not, label %._crit_edge92, label %.lr.ph91, !llvm.loop !44
}

declare void @b2DestroyBitSet(ptr noundef) local_unnamed_addr #2

declare void @b2SensorTaskContextArray_Destroy(ptr noundef) local_unnamed_addr #2

declare void @b2FreeChainData(ptr noundef) local_unnamed_addr #2

declare void @b2ShapeRefArray_Destroy(ptr noundef) local_unnamed_addr #2

declare void @b2SensorArray_Destroy(ptr noundef) local_unnamed_addr #2

declare void @b2BodyArray_Destroy(ptr noundef) local_unnamed_addr #2

declare void @b2ShapeArray_Destroy(ptr noundef) local_unnamed_addr #2

declare void @b2ChainShapeArray_Destroy(ptr noundef) local_unnamed_addr #2

declare void @b2ContactArray_Destroy(ptr noundef) local_unnamed_addr #2

declare void @b2JointArray_Destroy(ptr noundef) local_unnamed_addr #2

declare void @b2IslandArray_Destroy(ptr noundef) local_unnamed_addr #2

declare void @b2DestroySolverSet(ptr noundef, i32 noundef) local_unnamed_addr #2

declare void @b2SolverSetArray_Destroy(ptr noundef) local_unnamed_addr #2

declare void @b2DestroyGraph(ptr noundef) local_unnamed_addr #2

declare void @b2DestroyBroadPhase(ptr noundef) local_unnamed_addr #2

declare void @b2DestroyIdPool(ptr noundef) local_unnamed_addr #2

declare void @b2DestroyArenaAllocator(ptr noundef) local_unnamed_addr #2

attributes #0 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #1 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { cold noreturn nounwind memory(inaccessiblemem: write) }
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, !11, i64 1736}
!6 = !{!"b2World", !7, i64 0, !13, i64 40, !16, i64 336, !17, i64 1008, !12, i64 1032, !17, i64 1048, !12, i64 1072, !17, i64 1088, !12, i64 1112, !17, i64 1128, !12, i64 1152, !17, i64 1168, !12, i64 1192, !17, i64 1208, !17, i64 1232, !12, i64 1256, !12, i64 1272, !12, i64 1288, !12, i64 1304, !12, i64 1320, !12, i64 1336, !12, i64 1352, !12, i64 1368, !9, i64 1384, !9, i64 1416, !11, i64 1448, !12, i64 1456, !18, i64 1472, !18, i64 1488, !18, i64 1504, !18, i64 1520, !19, i64 1536, !11, i64 1544, !20, i64 1548, !21, i64 1556, !21, i64 1560, !21, i64 1564, !21, i64 1568, !21, i64 1572, !21, i64 1576, !21, i64 1580, !21, i64 1584, !8, i64 1592, !8, i64 1600, !22, i64 1608, !23, i64 1612, !8, i64 1704, !8, i64 1712, !8, i64 1720, !8, i64 1728, !11, i64 1736, !8, i64 1744, !8, i64 1752, !8, i64 1760, !8, i64 1768, !8, i64 1776, !21, i64 1784, !11, i64 1788, !11, i64 1792, !22, i64 1796, !24, i64 1798, !24, i64 1799, !24, i64 1800, !24, i64 1801, !24, i64 1802, !24, i64 1803}
!7 = !{!"b2ArenaAllocator", !8, i64 0, !11, i64 8, !11, i64 12, !11, i64 16, !11, i64 20, !12, i64 24}
!8 = !{!"any pointer", !9, i64 0}
!9 = !{!"omnipotent char", !10, i64 0}
!10 = !{!"Simple C/C++ TBAA"}
!11 = !{!"int", !9, i64 0}
!12 = !{!"", !8, i64 0, !11, i64 8, !11, i64 12}
!13 = !{!"b2BroadPhase", !9, i64 0, !11, i64 216, !14, i64 224, !12, i64 240, !8, i64 256, !8, i64 264, !11, i64 272, !15, i64 276, !14, i64 280}
!14 = !{!"b2HashSet", !8, i64 0, !11, i64 8, !11, i64 12}
!15 = !{!"b2AtomicInt", !11, i64 0}
!16 = !{!"b2ConstraintGraph", !9, i64 0}
!17 = !{!"b2IdPool", !12, i64 0, !11, i64 16}
!18 = !{!"b2BitSet", !8, i64 0, !11, i64 8, !11, i64 12}
!19 = !{!"long", !9, i64 0}
!20 = !{!"b2Vec2", !21, i64 0, !21, i64 4}
!21 = !{!"float", !9, i64 0}
!22 = !{!"short", !9, i64 0}
!23 = !{!"b2Profile", !21, i64 0, !21, i64 4, !21, i64 8, !21, i64 12, !21, i64 16, !21, i64 20, !21, i64 24, !21, i64 28, !21, i64 32, !21, i64 36, !21, i64 40, !21, i64 44, !21, i64 48, !21, i64 52, !21, i64 56, !21, i64 60, !21, i64 64, !21, i64 68, !21, i64 72, !21, i64 76, !21, i64 80, !21, i64 84}
!24 = !{!"_Bool", !9, i64 0}
!25 = !{!6, !11, i64 1280}
!26 = !{!6, !8, i64 1304}
!27 = !{!6, !8, i64 1320}
!28 = distinct !{!28, !29}
!29 = !{!"llvm.loop.mustprogress"}
!30 = !{!6, !11, i64 1296}
!31 = !{!6, !8, i64 1272}
!32 = !{!33, !11, i64 0}
!33 = !{!"b2ChainShape", !11, i64 0, !11, i64 4, !11, i64 8, !11, i64 12, !11, i64 16, !8, i64 24, !8, i64 32, !22, i64 40}
!34 = !{!33, !8, i64 24}
!35 = !{!33, !8, i64 32}
!36 = distinct !{!36, !29}
!37 = !{!6, !11, i64 1080}
!38 = !{!6, !8, i64 1288}
!39 = distinct !{!39, !29}
!40 = !{!6, !22, i64 1608}
!41 = !{!6, !8, i64 1072}
!42 = !{!43, !11, i64 80}
!43 = !{!"b2SolverSet", !12, i64 0, !12, i64 16, !12, i64 32, !12, i64 48, !12, i64 64, !11, i64 80}
!44 = distinct !{!44, !29}


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