; LLVM IR from mtsamis/box2d-optimized :: src/dynamics/b2_world.ll (ZN7b2World5SolveERK10b2TimeStep)

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

%class.b2Island = type { ptr, ptr, ptr, ptr, ptr, ptr, ptr, i32, i32, i32, i32, i32, i32 }
%class.b2Timer = type { i64, i64 }
%class.b2World = type { %class.b2BlockAllocator, %class.b2StackAllocator, %class.b2ContactManager, ptr, ptr, ptr, ptr, i32, i32, %struct.b2Vec2, i8, ptr, ptr, float, i8, i8, i8, i8, i8, i8, i8, i8, %struct.b2Profile }
%class.b2BlockAllocator = type { ptr, i32, i32, [14 x ptr] }
%class.b2StackAllocator = type <{ [102400 x i8], i32, i32, i32, [4 x i8], [32 x %struct.b2StackEntry], i32, [4 x i8] }>
%struct.b2StackEntry = type { ptr, i32, i8 }
%class.b2ContactManager = type { %class.b2BroadPhase, i32, ptr, ptr, ptr, ptr }
%class.b2BroadPhase = type <{ ptr, ptr, ptr, ptr, %struct.b2TreeNode, ptr, ptr, ptr, i32, i32, %class.b2IntHashTable, i32, i32, i8, [7 x i8] }>
%struct.b2TreeNode = type { ptr, ptr, ptr, ptr, %struct.b2AABB }
%struct.b2AABB = type { %struct.b2Vec2, %struct.b2Vec2 }
%class.b2IntHashTable = type <{ ptr, i32, [4 x i8] }>
%struct.b2Vec2 = type { float, float }
%struct.b2Profile = type { float, float, float, float, float }
%class.b2Body = type { i32, i16, i32, %struct.b2Transform, %struct.b2Transform, %struct.b2Sweep, %struct.b2Vec2, float, %struct.b2Vec2, float, ptr, ptr, ptr, ptr, i32, ptr, ptr, i32, i32, float, float, float, float, float, float, float, float, %struct.b2BodyUserData }
%struct.b2Transform = type { %struct.b2Vec2, %struct.b2Rot }
%struct.b2Rot = type { float, float }
%struct.b2Sweep = type { %struct.b2Vec2, %struct.b2Vec2, %struct.b2Vec2, float, float, float }
%struct.b2BodyUserData = type { i64 }
%class.b2Joint = type { ptr, i32, ptr, ptr, %struct.b2JointEdge, %struct.b2JointEdge, ptr, ptr, i32, i8, i8, %struct.b2JointUserData }
%struct.b2JointEdge = type { ptr, ptr, ptr, ptr }
%struct.b2JointUserData = type { i64 }
%class.b2Contact = type { ptr, ptr, ptr, ptr, ptr, %struct.b2Manifold, i32, i32, float, float, float, float }
%struct.b2Manifold = type { [2 x %struct.b2ManifoldPoint], %struct.b2Vec2, %struct.b2Vec2, i32, i32 }
%struct.b2ManifoldPoint = type { %struct.b2Vec2, float, float, %union.b2ContactID }
%union.b2ContactID = type { i32 }
%class.b2Fixture = type <{ float, [4 x i8], ptr, ptr, ptr, %struct.b2AABB, float, float, float, %struct.b2Filter, i8, [5 x i8], %struct.b2FixtureUserData, i32, [4 x i8] }>
%struct.b2Filter = type { i16, i16, i16 }
%struct.b2FixtureUserData = type { i64 }

@.str.1 = external hidden unnamed_addr constant [83 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [23 x i8], align 1
@__PRETTY_FUNCTION__._ZN7b2World5SolveERK10b2TimeStep = external hidden unnamed_addr constant [40 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [23 x i8], align 1

declare i32 @__gxx_personality_v0(...)

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN7b2World18RemoveDeadContactsEv(ptr noundef nonnull align 8 dereferenceable(103352)) #2 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZN6b2Body15GetContactCountEv(ptr noundef nonnull align 8 dereferenceable(208)) #3 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef ptr @_ZN6b2Body10GetContactEi(ptr noundef nonnull align 8 dereferenceable(208), i32 noundef) #3 align 2

; Function Attrs: noreturn nounwind
declare void @__assert_fail(ptr noundef, ptr noundef, i32 noundef, ptr noundef) #4

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZNK6b2Body7GetTypeEv(ptr noundef nonnull align 8 dereferenceable(208)) #3 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef ptr @_ZN9b2Contact11GetFixtureAEv(ptr noundef nonnull align 8 dereferenceable(128)) #3 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef ptr @_ZN9b2Fixture7GetBodyEv(ptr noundef nonnull align 8 dereferenceable(84)) #3 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef ptr @_ZN9b2Contact11GetFixtureBEv(ptr noundef nonnull align 8 dereferenceable(128)) #3 align 2

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN7b2World5SolveERK10b2TimeStep(ptr noundef nonnull align 8 dereferenceable(103352) %0, ptr noundef nonnull align 4 dereferenceable(28) %1) #2 align 2 personality ptr @__gxx_personality_v0 {
  %3 = alloca ptr, align 8
  %4 = alloca ptr, align 8
  %5 = alloca %class.b2Island, align 8
  %6 = alloca ptr, align 8
  %7 = alloca i32, align 4
  %8 = alloca ptr, align 8
  %9 = alloca i32, align 4
  %10 = alloca ptr, align 8
  %11 = alloca i32, align 4
  %12 = alloca ptr, align 8
  %13 = alloca ptr, align 8
  %14 = alloca i32, align 4
  %15 = alloca ptr, align 8
  %16 = alloca i32, align 4
  %17 = alloca ptr, align 8
  %18 = alloca i8, align 1
  %19 = alloca i8, align 1
  %20 = alloca ptr, align 8
  %21 = alloca ptr, align 8
  %22 = alloca ptr, align 8
  %23 = alloca ptr, align 8
  %24 = alloca ptr, align 8
  %25 = alloca i32, align 4
  %26 = alloca ptr, align 8
  %27 = alloca %class.b2Timer, align 8
  store ptr %0, ptr %3, align 8, !tbaa !5
  store ptr %1, ptr %4, align 8, !tbaa !5
  %28 = load ptr, ptr %3, align 8
  call void @llvm.lifetime.start.p0(i64 80, ptr %5) #8
  %29 = getelementptr inbounds %class.b2World, ptr %28, i32 0, i32 7
  %30 = load i32, ptr %29, align 8, !tbaa !9
  %31 = getelementptr inbounds %class.b2World, ptr %28, i32 0, i32 2
  %32 = getelementptr inbounds %class.b2ContactManager, ptr %31, i32 0, i32 1
  %33 = load i32, ptr %32, align 8, !tbaa !23
  %34 = getelementptr inbounds %class.b2World, ptr %28, i32 0, i32 8
  %35 = load i32, ptr %34, align 4, !tbaa !24
  %36 = getelementptr inbounds %class.b2World, ptr %28, i32 0, i32 1
  %37 = getelementptr inbounds %class.b2World, ptr %28, i32 0, i32 2
  %38 = getelementptr inbounds %class.b2ContactManager, ptr %37, i32 0, i32 3
  %39 = load ptr, ptr %38, align 8, !tbaa !25
  call void @_ZN8b2IslandC1EiiiP16b2StackAllocatorP17b2ContactListener(ptr noundef nonnull align 8 dereferenceable(80) %5, i32 noundef %30, i32 noundef %33, i32 noundef %35, ptr noundef %36, ptr noundef %39)
  call void @llvm.lifetime.start.p0(i64 8, ptr %6) #8
  %40 = getelementptr inbounds %class.b2World, ptr %28, i32 0, i32 3
  %41 = load ptr, ptr %40, align 8, !tbaa !26
  store ptr %41, ptr %6, align 8, !tbaa !5
  br label %42

42:                                               ; preds = %80, %2
  %43 = load ptr, ptr %6, align 8, !tbaa !5
  %44 = icmp ne ptr %43, null
  br i1 %44, label %46, label %45

45:                                               ; preds = %42
  store i32 2, ptr %7, align 4
  br label %84

46:                                               ; preds = %42
  %47 = load ptr, ptr %6, align 8, !tbaa !5
  %48 = getelementptr inbounds %class.b2Body, ptr %47, i32 0, i32 3
  %49 = load ptr, ptr %6, align 8, !tbaa !5
  %50 = getelementptr inbounds %class.b2Body, ptr %49, i32 0, i32 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %50, ptr align 4 %48, i64 16, i1 false), !tbaa.struct !27
  %51 = load ptr, ptr %6, align 8, !tbaa !5
  %52 = getelementptr inbounds %class.b2Body, ptr %51, i32 0, i32 5
  %53 = getelementptr inbounds %struct.b2Sweep, ptr %52, i32 0, i32 2
  %54 = load ptr, ptr %6, align 8, !tbaa !5
  %55 = getelementptr inbounds %class.b2Body, ptr %54, i32 0, i32 5
  %56 = getelementptr inbounds %struct.b2Sweep, ptr %55, i32 0, i32 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %56, ptr align 4 %53, i64 8, i1 false), !tbaa.struct !29
  %57 = load ptr, ptr %6, align 8, !tbaa !5
  %58 = getelementptr inbounds %class.b2Body, ptr %57, i32 0, i32 5
  %59 = getelementptr inbounds %struct.b2Sweep, ptr %58, i32 0, i32 4
  %60 = load float, ptr %59, align 4, !tbaa !30
  %61 = load ptr, ptr %6, align 8, !tbaa !5
  %62 = getelementptr inbounds %class.b2Body, ptr %61, i32 0, i32 5
  %63 = getelementptr inbounds %struct.b2Sweep, ptr %62, i32 0, i32 3
  store float %60, ptr %63, align 4, !tbaa !39
  %64 = load ptr, ptr %6, align 8, !tbaa !5
  %65 = getelementptr inbounds %class.b2Body, ptr %64, i32 0, i32 1
  %66 = load i16, ptr %65, align 4, !tbaa !40
  %67 = zext i16 %66 to i32
  %68 = and i32 %67, -2
  %69 = trunc i32 %68 to i16
  store i16 %69, ptr %65, align 4, !tbaa !40
  %70 = load ptr, ptr %6, align 8, !tbaa !5
  %71 = invoke noundef i32 @_ZNK6b2Body7GetTypeEv(ptr noundef nonnull align 8 dereferenceable(208) %70)
          to label %72 unwind label %75

72:                                               ; preds = %46
  %73 = icmp eq i32 %71, 0
  br i1 %73, label %74, label %79

74:                                               ; preds = %72
  store i32 2, ptr %7, align 4
  br label %84

75:                                               ; preds = %46
  %76 = landingpad { ptr, i32 }
          cleanup
  %77 = extractvalue { ptr, i32 } %76, 0
  store ptr %77, ptr %8, align 8
  %78 = extractvalue { ptr, i32 } %76, 1
  store i32 %78, ptr %9, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %6) #8
  br label %511

79:                                               ; preds = %72
  br label %80

80:                                               ; preds = %79
  %81 = load ptr, ptr %6, align 8, !tbaa !5
  %82 = getelementptr inbounds %class.b2Body, ptr %81, i32 0, i32 12
  %83 = load ptr, ptr %82, align 8, !tbaa !41
  store ptr %83, ptr %6, align 8, !tbaa !5
  br label %42, !llvm.loop !42

84:                                               ; preds = %74, %45
  call void @llvm.lifetime.end.p0(i64 8, ptr %6) #8
  br label %85

85:                                               ; preds = %84
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #8
  %86 = getelementptr inbounds %class.b2World, ptr %28, i32 0, i32 5
  %87 = load ptr, ptr %86, align 8, !tbaa !44
  store ptr %87, ptr %10, align 8, !tbaa !5
  br label %88

88:                                               ; preds = %95, %85
  %89 = load ptr, ptr %10, align 8, !tbaa !5
  %90 = icmp ne ptr %89, null
  br i1 %90, label %92, label %91

91:                                               ; preds = %88
  store i32 5, ptr %7, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #8
  br label %99

92:                                               ; preds = %88
  %93 = load ptr, ptr %10, align 8, !tbaa !5
  %94 = getelementptr inbounds %class.b2Joint, ptr %93, i32 0, i32 9
  store i8 0, ptr %94, align 4, !tbaa !45
  br label %95

95:                                               ; preds = %92
  %96 = load ptr, ptr %10, align 8, !tbaa !5
  %97 = getelementptr inbounds %class.b2Joint, ptr %96, i32 0, i32 3
  %98 = load ptr, ptr %97, align 8, !tbaa !50
  store ptr %98, ptr %10, align 8, !tbaa !5
  br label %88, !llvm.loop !51

99:                                               ; preds = %91
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #8
  %100 = getelementptr inbounds %class.b2World, ptr %28, i32 0, i32 7
  %101 = load i32, ptr %100, align 8, !tbaa !9
  store i32 %101, ptr %11, align 4, !tbaa !52
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #8
  %102 = getelementptr inbounds %class.b2World, ptr %28, i32 0, i32 1
  %103 = load i32, ptr %11, align 4, !tbaa !52
  %104 = sext i32 %103 to i64
  %105 = mul i64 %104, 8
  %106 = trunc i64 %105 to i32
  %107 = invoke noundef ptr @_ZN16b2StackAllocator8AllocateEi(ptr noundef nonnull align 8 dereferenceable(102932) %102, i32 noundef %106)
          to label %108 unwind label %115

108:                                              ; preds = %99
  store ptr %107, ptr %12, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #8
  %109 = getelementptr inbounds %class.b2World, ptr %28, i32 0, i32 3
  %110 = load ptr, ptr %109, align 8, !tbaa !26
  store ptr %110, ptr %13, align 8, !tbaa !5
  br label %111

111:                                              ; preds = %487, %108
  %112 = load ptr, ptr %13, align 8, !tbaa !5
  %113 = icmp ne ptr %112, null
  br i1 %113, label %119, label %114

114:                                              ; preds = %111
  store i32 8, ptr %7, align 4
  br label %492

115:                                              ; preds = %494, %99
  %116 = landingpad { ptr, i32 }
          cleanup
  %117 = extractvalue { ptr, i32 } %116, 0
  store ptr %117, ptr %8, align 8
  %118 = extractvalue { ptr, i32 } %116, 1
  store i32 %118, ptr %9, align 4
  br label %510

119:                                              ; preds = %111
  %120 = load ptr, ptr %13, align 8, !tbaa !5
  %121 = getelementptr inbounds %class.b2Body, ptr %120, i32 0, i32 1
  %122 = load i16, ptr %121, align 4, !tbaa !40
  %123 = zext i16 %122 to i32
  %124 = and i32 %123, 1
  %125 = icmp ne i32 %124, 0
  br i1 %125, label %126, label %127

126:                                              ; preds = %119
  br label %487

127:                                              ; preds = %119
  %128 = load ptr, ptr %13, align 8, !tbaa !5
  %129 = invoke noundef zeroext i1 @_ZNK6b2Body9IsEnabledEv(ptr noundef nonnull align 8 dereferenceable(208) %128)
          to label %130 unwind label %134

130:                                              ; preds = %127
  %131 = zext i1 %129 to i32
  %132 = icmp eq i32 %131, 0
  br i1 %132, label %133, label %138

133:                                              ; preds = %130
  br label %487

134:                                              ; preds = %175, %161, %156, %151, %145, %138, %127
  %135 = landingpad { ptr, i32 }
          cleanup
  %136 = extractvalue { ptr, i32 } %135, 0
  store ptr %136, ptr %8, align 8
  %137 = extractvalue { ptr, i32 } %135, 1
  store i32 %137, ptr %9, align 4
  br label %493

138:                                              ; preds = %130
  %139 = load ptr, ptr %13, align 8, !tbaa !5
  %140 = invoke noundef zeroext i1 @_ZNK6b2Body7IsAwakeEv(ptr noundef nonnull align 8 dereferenceable(208) %139)
          to label %141 unwind label %134

141:                                              ; preds = %138
  %142 = zext i1 %140 to i32
  %143 = icmp eq i32 %142, 0
  br i1 %143, label %144, label %145

144:                                              ; preds = %141
  br label %487

145:                                              ; preds = %141
  %146 = load ptr, ptr %13, align 8, !tbaa !5
  %147 = invoke noundef i32 @_ZNK6b2Body7GetTypeEv(ptr noundef nonnull align 8 dereferenceable(208) %146)
          to label %148 unwind label %134

148:                                              ; preds = %145
  %149 = icmp eq i32 %147, 0
  br i1 %149, label %150, label %151

150:                                              ; preds = %148
  store i32 8, ptr %7, align 4
  br label %492

151:                                              ; preds = %148
  %152 = load ptr, ptr %13, align 8, !tbaa !5
  %153 = invoke noundef i32 @_ZN6b2Body15GetContactCountEv(ptr noundef nonnull align 8 dereferenceable(208) %152)
          to label %154 unwind label %134

154:                                              ; preds = %151
  %155 = icmp eq i32 %153, 0
  br i1 %155, label %156, label %175

156:                                              ; preds = %154
  %157 = load ptr, ptr %13, align 8, !tbaa !5
  %158 = invoke noundef ptr @_ZN6b2Body12GetJointListEv(ptr noundef nonnull align 8 dereferenceable(208) %157)
          to label %159 unwind label %134

159:                                              ; preds = %156
  %160 = icmp eq ptr %158, null
  br i1 %160, label %161, label %175

161:                                              ; preds = %159
  %162 = load ptr, ptr %13, align 8, !tbaa !5
  %163 = load ptr, ptr %4, align 8, !tbaa !5
  %164 = getelementptr inbounds %class.b2World, ptr %28, i32 0, i32 9
  %165 = getelementptr inbounds %class.b2World, ptr %28, i32 0, i32 10
  %166 = load i8, ptr %165, align 8, !tbaa !53, !range !54, !noundef !55
  %167 = trunc i8 %166 to i1
  invoke void @_ZN8b2Island11SolveOrphanEP6b2BodyRK10b2TimeStepRK6b2Vec2b(ptr noundef nonnull align 8 dereferenceable(80) %5, ptr noundef %162, ptr noundef nonnull align 4 dereferenceable(28) %163, ptr noundef nonnull align 4 dereferenceable(8) %164, i1 noundef zeroext %167)
          to label %168 unwind label %134

168:                                              ; preds = %161
  %169 = load ptr, ptr %13, align 8, !tbaa !5
  %170 = getelementptr inbounds %class.b2Body, ptr %169, i32 0, i32 1
  %171 = load i16, ptr %170, align 4, !tbaa !40
  %172 = zext i16 %171 to i32
  %173 = or i32 %172, 3
  %174 = trunc i32 %173 to i16
  store i16 %174, ptr %170, align 4, !tbaa !40
  br label %487

175:                                              ; preds = %159, %154
  invoke void @_ZN8b2Island5ClearEv(ptr noundef nonnull align 8 dereferenceable(80) %5)
          to label %176 unwind label %134

176:                                              ; preds = %175
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #8
  store i32 0, ptr %14, align 4, !tbaa !52
  %177 = load ptr, ptr %13, align 8, !tbaa !5
  %178 = load ptr, ptr %12, align 8, !tbaa !5
  %179 = load i32, ptr %14, align 4, !tbaa !52
  %180 = add nsw i32 %179, 1
  store i32 %180, ptr %14, align 4, !tbaa !52
  %181 = sext i32 %179 to i64
  %182 = getelementptr inbounds ptr, ptr %178, i64 %181
  store ptr %177, ptr %182, align 8, !tbaa !5
  %183 = load ptr, ptr %13, align 8, !tbaa !5
  %184 = getelementptr inbounds %class.b2Body, ptr %183, i32 0, i32 1
  %185 = load i16, ptr %184, align 4, !tbaa !40
  %186 = zext i16 %185 to i32
  %187 = or i32 %186, 1
  %188 = trunc i32 %187 to i16
  store i16 %188, ptr %184, align 4, !tbaa !40
  br label %189

189:                                              ; preds = %441, %439, %176
  %190 = load i32, ptr %14, align 4, !tbaa !52
  %191 = icmp sgt i32 %190, 0
  br i1 %191, label %192, label %443

192:                                              ; preds = %189
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #8
  %193 = load ptr, ptr %12, align 8, !tbaa !5
  %194 = load i32, ptr %14, align 4, !tbaa !52
  %195 = add nsw i32 %194, -1
  store i32 %195, ptr %14, align 4, !tbaa !52
  %196 = sext i32 %195 to i64
  %197 = getelementptr inbounds ptr, ptr %193, i64 %196
  %198 = load ptr, ptr %197, align 8, !tbaa !5
  store ptr %198, ptr %15, align 8, !tbaa !5
  %199 = load ptr, ptr %15, align 8, !tbaa !5
  %200 = invoke noundef zeroext i1 @_ZNK6b2Body9IsEnabledEv(ptr noundef nonnull align 8 dereferenceable(208) %199)
          to label %201 unwind label %206

201:                                              ; preds = %192
  %202 = zext i1 %200 to i32
  %203 = icmp eq i32 %202, 1
  br i1 %203, label %204, label %205

204:                                              ; preds = %201
  br label %211

205:                                              ; preds = %201
  call void @__assert_fail(ptr noundef @.str.5, ptr noundef @.str.1, i32 noundef 563, ptr noundef @__PRETTY_FUNCTION__._ZN7b2World5SolveERK10b2TimeStep) #9
  unreachable

206:                                              ; preds = %213, %211, %192
  %207 = landingpad { ptr, i32 }
          cleanup
  %208 = extractvalue { ptr, i32 } %207, 0
  store ptr %208, ptr %8, align 8
  %209 = extractvalue { ptr, i32 } %207, 1
  store i32 %209, ptr %9, align 4
  br label %442

210:                                              ; No predecessors!
  br label %211

211:                                              ; preds = %210, %204
  %212 = load ptr, ptr %15, align 8, !tbaa !5
  invoke void @_ZN8b2Island3AddEP6b2Body(ptr noundef nonnull align 8 dereferenceable(80) %5, ptr noundef %212)
          to label %213 unwind label %206

213:                                              ; preds = %211
  %214 = load ptr, ptr %15, align 8, !tbaa !5
  %215 = invoke noundef i32 @_ZNK6b2Body7GetTypeEv(ptr noundef nonnull align 8 dereferenceable(208) %214)
          to label %216 unwind label %206

216:                                              ; preds = %213
  %217 = icmp eq i32 %215, 0
  br i1 %217, label %218, label %219

218:                                              ; preds = %216
  store i32 11, ptr %7, align 4
  br label %439, !llvm.loop !56

219:                                              ; preds = %216
  %220 = load ptr, ptr %15, align 8, !tbaa !5
  %221 = getelementptr inbounds %class.b2Body, ptr %220, i32 0, i32 1
  %222 = load i16, ptr %221, align 4, !tbaa !40
  %223 = zext i16 %222 to i32
  %224 = or i32 %223, 2
  %225 = trunc i32 %224 to i16
  store i16 %225, ptr %221, align 4, !tbaa !40
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #8
  store i32 0, ptr %16, align 4, !tbaa !52
  br label %226

226:                                              ; preds = %356, %219
  %227 = load i32, ptr %16, align 4, !tbaa !52
  %228 = load ptr, ptr %15, align 8, !tbaa !5
  %229 = invoke noundef i32 @_ZN6b2Body15GetContactCountEv(ptr noundef nonnull align 8 dereferenceable(208) %228)
          to label %230 unwind label %233

230:                                              ; preds = %226
  %231 = icmp slt i32 %227, %229
  br i1 %231, label %237, label %232

232:                                              ; preds = %230
  store i32 13, ptr %7, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #8
  br label %363

233:                                              ; preds = %226
  %234 = landingpad { ptr, i32 }
          cleanup
  %235 = extractvalue { ptr, i32 } %234, 0
  store ptr %235, ptr %8, align 8
  %236 = extractvalue { ptr, i32 } %234, 1
  store i32 %236, ptr %9, align 4
  br label %362

237:                                              ; preds = %230
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #8
  %238 = load ptr, ptr %15, align 8, !tbaa !5
  %239 = load i32, ptr %16, align 4, !tbaa !52
  %240 = invoke noundef ptr @_ZN6b2Body10GetContactEi(ptr noundef nonnull align 8 dereferenceable(208) %238, i32 noundef %239)
          to label %241 unwind label %248

241:                                              ; preds = %237
  store ptr %240, ptr %17, align 8, !tbaa !5
  %242 = load ptr, ptr %17, align 8, !tbaa !5
  %243 = getelementptr inbounds %class.b2Contact, ptr %242, i32 0, i32 6
  %244 = load i32, ptr %243, align 8, !tbaa !57
  %245 = and i32 %244, 1
  %246 = icmp ne i32 %245, 0
  br i1 %246, label %247, label %252

247:                                              ; preds = %241
  store i32 15, ptr %7, align 4
  br label %353

248:                                              ; preds = %258, %252, %237
  %249 = landingpad { ptr, i32 }
          cleanup
  %250 = extractvalue { ptr, i32 } %249, 0
  store ptr %250, ptr %8, align 8
  %251 = extractvalue { ptr, i32 } %249, 1
  store i32 %251, ptr %9, align 4
  br label %361

252:                                              ; preds = %241
  %253 = load ptr, ptr %17, align 8, !tbaa !5
  %254 = invoke noundef zeroext i1 @_ZNK9b2Contact9IsEnabledEv(ptr noundef nonnull align 8 dereferenceable(128) %253)
          to label %255 unwind label %248

255:                                              ; preds = %252
  %256 = zext i1 %254 to i32
  %257 = icmp eq i32 %256, 0
  br i1 %257, label %264, label %258

258:                                              ; preds = %255
  %259 = load ptr, ptr %17, align 8, !tbaa !5
  %260 = invoke noundef zeroext i1 @_ZNK9b2Contact10IsTouchingEv(ptr noundef nonnull align 8 dereferenceable(128) %259)
          to label %261 unwind label %248

261:                                              ; preds = %258
  %262 = zext i1 %260 to i32
  %263 = icmp eq i32 %262, 0
  br i1 %263, label %264, label %265

264:                                              ; preds = %261, %255
  store i32 15, ptr %7, align 4
  br label %353

265:                                              ; preds = %261
  call void @llvm.lifetime.start.p0(i64 1, ptr %18) #8
  %266 = load ptr, ptr %17, align 8, !tbaa !5
  %267 = getelementptr inbounds %class.b2Contact, ptr %266, i32 0, i32 3
  %268 = load ptr, ptr %267, align 8, !tbaa !61
  %269 = getelementptr inbounds %class.b2Fixture, ptr %268, i32 0, i32 10
  %270 = load i8, ptr %269, align 2, !tbaa !62, !range !54, !noundef !55
  %271 = trunc i8 %270 to i1
  %272 = zext i1 %271 to i8
  store i8 %272, ptr %18, align 1, !tbaa !66
  call void @llvm.lifetime.start.p0(i64 1, ptr %19) #8
  %273 = load ptr, ptr %17, align 8, !tbaa !5
  %274 = getelementptr inbounds %class.b2Contact, ptr %273, i32 0, i32 4
  %275 = load ptr, ptr %274, align 8, !tbaa !67
  %276 = getelementptr inbounds %class.b2Fixture, ptr %275, i32 0, i32 10
  %277 = load i8, ptr %276, align 2, !tbaa !62, !range !54, !noundef !55
  %278 = trunc i8 %277 to i1
  %279 = zext i1 %278 to i8
  store i8 %279, ptr %19, align 1, !tbaa !66
  %280 = load i8, ptr %18, align 1, !tbaa !66, !range !54, !noundef !55
  %281 = trunc i8 %280 to i1
  br i1 %281, label %285, label %282

282:                                              ; preds = %265
  %283 = load i8, ptr %19, align 1, !tbaa !66, !range !54, !noundef !55
  %284 = trunc i8 %283 to i1
  br i1 %284, label %285, label %286

285:                                              ; preds = %282, %265
  store i32 15, ptr %7, align 4
  br label %352

286:                                              ; preds = %282
  %287 = load ptr, ptr %17, align 8, !tbaa !5
  invoke void @_ZN8b2Island3AddEP9b2Contact(ptr noundef nonnull align 8 dereferenceable(80) %5, ptr noundef %287)
          to label %288 unwind label %319

288:                                              ; preds = %286
  %289 = load ptr, ptr %17, align 8, !tbaa !5
  %290 = getelementptr inbounds %class.b2Contact, ptr %289, i32 0, i32 6
  %291 = load i32, ptr %290, align 8, !tbaa !57
  %292 = or i32 %291, 1
  store i32 %292, ptr %290, align 8, !tbaa !57
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #8
  %293 = load ptr, ptr %17, align 8, !tbaa !5
  %294 = invoke noundef ptr @_ZN9b2Contact11GetFixtureAEv(ptr noundef nonnull align 8 dereferenceable(128) %293)
          to label %295 unwind label %323

295:                                              ; preds = %288
  %296 = invoke noundef ptr @_ZN9b2Fixture7GetBodyEv(ptr noundef nonnull align 8 dereferenceable(84) %294)
          to label %297 unwind label %323

297:                                              ; preds = %295
  store ptr %296, ptr %20, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #8
  %298 = load ptr, ptr %17, align 8, !tbaa !5
  %299 = invoke noundef ptr @_ZN9b2Contact11GetFixtureBEv(ptr noundef nonnull align 8 dereferenceable(128) %298)
          to label %300 unwind label %327

300:                                              ; preds = %297
  %301 = invoke noundef ptr @_ZN9b2Fixture7GetBodyEv(ptr noundef nonnull align 8 dereferenceable(84) %299)
          to label %302 unwind label %327

302:                                              ; preds = %300
  store ptr %301, ptr %21, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #8
  %303 = load ptr, ptr %20, align 8, !tbaa !5
  %304 = load ptr, ptr %15, align 8, !tbaa !5
  %305 = icmp eq ptr %303, %304
  br i1 %305, label %306, label %308

306:                                              ; preds = %302
  %307 = load ptr, ptr %21, align 8, !tbaa !5
  br label %310

308:                                              ; preds = %302
  %309 = load ptr, ptr %20, align 8, !tbaa !5
  br label %310

310:                                              ; preds = %308, %306
  %311 = phi ptr [ %307, %306 ], [ %309, %308 ]
  store ptr %311, ptr %22, align 8, !tbaa !5
  %312 = load ptr, ptr %22, align 8, !tbaa !5
  %313 = getelementptr inbounds %class.b2Body, ptr %312, i32 0, i32 1
  %314 = load i16, ptr %313, align 4, !tbaa !40
  %315 = zext i16 %314 to i32
  %316 = and i32 %315, 1
  %317 = icmp ne i32 %316, 0
  br i1 %317, label %318, label %331

318:                                              ; preds = %310
  store i32 15, ptr %7, align 4
  br label %351

319:                                              ; preds = %286
  %320 = landingpad { ptr, i32 }
          cleanup
  %321 = extractvalue { ptr, i32 } %320, 0
  store ptr %321, ptr %8, align 8
  %322 = extractvalue { ptr, i32 } %320, 1
  store i32 %322, ptr %9, align 4
  br label %360

323:                                              ; preds = %295, %288
  %324 = landingpad { ptr, i32 }
          cleanup
  %325 = extractvalue { ptr, i32 } %324, 0
  store ptr %325, ptr %8, align 8
  %326 = extractvalue { ptr, i32 } %324, 1
  store i32 %326, ptr %9, align 4
  br label %359

327:                                              ; preds = %300, %297
  %328 = landingpad { ptr, i32 }
          cleanup
  %329 = extractvalue { ptr, i32 } %328, 0
  store ptr %329, ptr %8, align 8
  %330 = extractvalue { ptr, i32 } %328, 1
  store i32 %330, ptr %9, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #8
  br label %359

331:                                              ; preds = %310
  %332 = load i32, ptr %14, align 4, !tbaa !52
  %333 = load i32, ptr %11, align 4, !tbaa !52
  %334 = icmp slt i32 %332, %333
  br i1 %334, label %335, label %336

335:                                              ; preds = %331
  br label %338

336:                                              ; preds = %331
  call void @__assert_fail(ptr noundef @.str.6, ptr noundef @.str.1, i32 noundef 614, ptr noundef @__PRETTY_FUNCTION__._ZN7b2World5SolveERK10b2TimeStep) #9
  unreachable

337:                                              ; No predecessors!
  br label %338

338:                                              ; preds = %337, %335
  %339 = load ptr, ptr %22, align 8, !tbaa !5
  %340 = load ptr, ptr %12, align 8, !tbaa !5
  %341 = load i32, ptr %14, align 4, !tbaa !52
  %342 = add nsw i32 %341, 1
  store i32 %342, ptr %14, align 4, !tbaa !52
  %343 = sext i32 %341 to i64
  %344 = getelementptr inbounds ptr, ptr %340, i64 %343
  store ptr %339, ptr %344, align 8, !tbaa !5
  %345 = load ptr, ptr %22, align 8, !tbaa !5
  %346 = getelementptr inbounds %class.b2Body, ptr %345, i32 0, i32 1
  %347 = load i16, ptr %346, align 4, !tbaa !40
  %348 = zext i16 %347 to i32
  %349 = or i32 %348, 1
  %350 = trunc i32 %349 to i16
  store i16 %350, ptr %346, align 4, !tbaa !40
  store i32 0, ptr %7, align 4
  br label %351

351:                                              ; preds = %338, %318
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #8
  br label %352

352:                                              ; preds = %351, %285
  call void @llvm.lifetime.end.p0(i64 1, ptr %19) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %18) #8
  br label %353

353:                                              ; preds = %352, %264, %247
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #8
  %354 = load i32, ptr %7, align 4
  switch i32 %354, label %517 [
    i32 0, label %355
    i32 15, label %356
  ]

355:                                              ; preds = %353
  br label %356

356:                                              ; preds = %355, %353
  %357 = load i32, ptr %16, align 4, !tbaa !52
  %358 = add nsw i32 %357, 1
  store i32 %358, ptr %16, align 4, !tbaa !52
  br label %226, !llvm.loop !68

359:                                              ; preds = %327, %323
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #8
  br label %360

360:                                              ; preds = %359, %319
  call void @llvm.lifetime.end.p0(i64 1, ptr %19) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %18) #8
  br label %361

361:                                              ; preds = %360, %248
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #8
  br label %362

362:                                              ; preds = %361, %233
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #8
  br label %442

363:                                              ; preds = %232
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #8
  %364 = load ptr, ptr %15, align 8, !tbaa !5
  %365 = getelementptr inbounds %class.b2Body, ptr %364, i32 0, i32 15
  %366 = load ptr, ptr %365, align 8, !tbaa !69
  store ptr %366, ptr %23, align 8, !tbaa !5
  br label %367

367:                                              ; preds = %434, %363
  %368 = load ptr, ptr %23, align 8, !tbaa !5
  %369 = icmp ne ptr %368, null
  br i1 %369, label %371, label %370

370:                                              ; preds = %367
  store i32 16, ptr %7, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #8
  br label %438

371:                                              ; preds = %367
  %372 = load ptr, ptr %23, align 8, !tbaa !5
  %373 = getelementptr inbounds %struct.b2JointEdge, ptr %372, i32 0, i32 1
  %374 = load ptr, ptr %373, align 8, !tbaa !70
  %375 = getelementptr inbounds %class.b2Joint, ptr %374, i32 0, i32 9
  %376 = load i8, ptr %375, align 4, !tbaa !45, !range !54, !noundef !55
  %377 = trunc i8 %376 to i1
  %378 = zext i1 %377 to i32
  %379 = icmp eq i32 %378, 1
  br i1 %379, label %380, label %381

380:                                              ; preds = %371
  br label %434

381:                                              ; preds = %371
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #8
  %382 = load ptr, ptr %23, align 8, !tbaa !5
  %383 = getelementptr inbounds %struct.b2JointEdge, ptr %382, i32 0, i32 0
  %384 = load ptr, ptr %383, align 8, !tbaa !71
  store ptr %384, ptr %24, align 8, !tbaa !5
  %385 = load ptr, ptr %24, align 8, !tbaa !5
  %386 = invoke noundef zeroext i1 @_ZNK6b2Body9IsEnabledEv(ptr noundef nonnull align 8 dereferenceable(208) %385)
          to label %387 unwind label %391

387:                                              ; preds = %381
  %388 = zext i1 %386 to i32
  %389 = icmp eq i32 %388, 0
  br i1 %389, label %390, label %395

390:                                              ; preds = %387
  store i32 18, ptr %7, align 4
  br label %431

391:                                              ; preds = %395, %381
  %392 = landingpad { ptr, i32 }
          cleanup
  %393 = extractvalue { ptr, i32 } %392, 0
  store ptr %393, ptr %8, align 8
  %394 = extractvalue { ptr, i32 } %392, 1
  store i32 %394, ptr %9, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #8
  br label %442

395:                                              ; preds = %387
  %396 = load ptr, ptr %23, align 8, !tbaa !5
  %397 = getelementptr inbounds %struct.b2JointEdge, ptr %396, i32 0, i32 1
  %398 = load ptr, ptr %397, align 8, !tbaa !70
  invoke void @_ZN8b2Island3AddEP7b2Joint(ptr noundef nonnull align 8 dereferenceable(80) %5, ptr noundef %398)
          to label %399 unwind label %391

399:                                              ; preds = %395
  %400 = load ptr, ptr %23, align 8, !tbaa !5
  %401 = getelementptr inbounds %struct.b2JointEdge, ptr %400, i32 0, i32 1
  %402 = load ptr, ptr %401, align 8, !tbaa !70
  %403 = getelementptr inbounds %class.b2Joint, ptr %402, i32 0, i32 9
  store i8 1, ptr %403, align 4, !tbaa !45
  %404 = load ptr, ptr %24, align 8, !tbaa !5
  %405 = getelementptr inbounds %class.b2Body, ptr %404, i32 0, i32 1
  %406 = load i16, ptr %405, align 4, !tbaa !40
  %407 = zext i16 %406 to i32
  %408 = and i32 %407, 1
  %409 = icmp ne i32 %408, 0
  br i1 %409, label %410, label %411

410:                                              ; preds = %399
  store i32 18, ptr %7, align 4
  br label %431

411:                                              ; preds = %399
  %412 = load i32, ptr %14, align 4, !tbaa !52
  %413 = load i32, ptr %11, align 4, !tbaa !52
  %414 = icmp slt i32 %412, %413
  br i1 %414, label %415, label %416

415:                                              ; preds = %411
  br label %418

416:                                              ; preds = %411
  call void @__assert_fail(ptr noundef @.str.6, ptr noundef @.str.1, i32 noundef 643, ptr noundef @__PRETTY_FUNCTION__._ZN7b2World5SolveERK10b2TimeStep) #9
  unreachable

417:                                              ; No predecessors!
  br label %418

418:                                              ; preds = %417, %415
  %419 = load ptr, ptr %24, align 8, !tbaa !5
  %420 = load ptr, ptr %12, align 8, !tbaa !5
  %421 = load i32, ptr %14, align 4, !tbaa !52
  %422 = add nsw i32 %421, 1
  store i32 %422, ptr %14, align 4, !tbaa !52
  %423 = sext i32 %421 to i64
  %424 = getelementptr inbounds ptr, ptr %420, i64 %423
  store ptr %419, ptr %424, align 8, !tbaa !5
  %425 = load ptr, ptr %24, align 8, !tbaa !5
  %426 = getelementptr inbounds %class.b2Body, ptr %425, i32 0, i32 1
  %427 = load i16, ptr %426, align 4, !tbaa !40
  %428 = zext i16 %427 to i32
  %429 = or i32 %428, 1
  %430 = trunc i32 %429 to i16
  store i16 %430, ptr %426, align 4, !tbaa !40
  store i32 0, ptr %7, align 4
  br label %431

431:                                              ; preds = %418, %410, %390
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #8
  %432 = load i32, ptr %7, align 4
  switch i32 %432, label %517 [
    i32 0, label %433
    i32 18, label %434
  ]

433:                                              ; preds = %431
  br label %434

434:                                              ; preds = %433, %431, %380
  %435 = load ptr, ptr %23, align 8, !tbaa !5
  %436 = getelementptr inbounds %struct.b2JointEdge, ptr %435, i32 0, i32 3
  %437 = load ptr, ptr %436, align 8, !tbaa !72
  store ptr %437, ptr %23, align 8, !tbaa !5
  br label %367, !llvm.loop !73

438:                                              ; preds = %370
  store i32 0, ptr %7, align 4
  br label %439

439:                                              ; preds = %438, %218
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #8
  %440 = load i32, ptr %7, align 4
  switch i32 %440, label %517 [
    i32 0, label %441
    i32 11, label %189
  ]

441:                                              ; preds = %439
  br label %189, !llvm.loop !56

442:                                              ; preds = %391, %362, %206
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #8
  br label %491

443:                                              ; preds = %189
  %444 = load ptr, ptr %4, align 8, !tbaa !5
  %445 = getelementptr inbounds %class.b2World, ptr %28, i32 0, i32 9
  %446 = getelementptr inbounds %class.b2World, ptr %28, i32 0, i32 10
  %447 = load i8, ptr %446, align 8, !tbaa !53, !range !54, !noundef !55
  %448 = trunc i8 %447 to i1
  invoke void @_ZN8b2Island5SolveERK10b2TimeStepRK6b2Vec2b(ptr noundef nonnull align 8 dereferenceable(80) %5, ptr noundef nonnull align 4 dereferenceable(28) %444, ptr noundef nonnull align 4 dereferenceable(8) %445, i1 noundef zeroext %448)
          to label %449 unwind label %456

449:                                              ; preds = %443
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #8
  store i32 0, ptr %25, align 4, !tbaa !52
  br label %450

450:                                              ; preds = %483, %449
  %451 = load i32, ptr %25, align 4, !tbaa !52
  %452 = getelementptr inbounds %class.b2Island, ptr %5, i32 0, i32 7
  %453 = load i32, ptr %452, align 8, !tbaa !74
  %454 = icmp slt i32 %451, %453
  br i1 %454, label %460, label %455

455:                                              ; preds = %450
  store i32 19, ptr %7, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #8
  br label %486

456:                                              ; preds = %443
  %457 = landingpad { ptr, i32 }
          cleanup
  %458 = extractvalue { ptr, i32 } %457, 0
  store ptr %458, ptr %8, align 8
  %459 = extractvalue { ptr, i32 } %457, 1
  store i32 %459, ptr %9, align 4
  br label %491

460:                                              ; preds = %450
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #8
  %461 = getelementptr inbounds %class.b2Island, ptr %5, i32 0, i32 2
  %462 = load ptr, ptr %461, align 8, !tbaa !76
  %463 = load i32, ptr %25, align 4, !tbaa !52
  %464 = sext i32 %463 to i64
  %465 = getelementptr inbounds ptr, ptr %462, i64 %464
  %466 = load ptr, ptr %465, align 8, !tbaa !5
  store ptr %466, ptr %26, align 8, !tbaa !5
  %467 = load ptr, ptr %26, align 8, !tbaa !5
  %468 = invoke noundef i32 @_ZNK6b2Body7GetTypeEv(ptr noundef nonnull align 8 dereferenceable(208) %467)
          to label %469 unwind label %478

469:                                              ; preds = %460
  %470 = icmp eq i32 %468, 0
  br i1 %470, label %471, label %482

471:                                              ; preds = %469
  %472 = load ptr, ptr %26, align 8, !tbaa !5
  %473 = getelementptr inbounds %class.b2Body, ptr %472, i32 0, i32 1
  %474 = load i16, ptr %473, align 4, !tbaa !40
  %475 = zext i16 %474 to i32
  %476 = and i32 %475, -2
  %477 = trunc i32 %476 to i16
  store i16 %477, ptr %473, align 4, !tbaa !40
  br label %482

478:                                              ; preds = %460
  %479 = landingpad { ptr, i32 }
          cleanup
  %480 = extractvalue { ptr, i32 } %479, 0
  store ptr %480, ptr %8, align 8
  %481 = extractvalue { ptr, i32 } %479, 1
  store i32 %481, ptr %9, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #8
  br label %491

482:                                              ; preds = %471, %469
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #8
  br label %483

483:                                              ; preds = %482
  %484 = load i32, ptr %25, align 4, !tbaa !52
  %485 = add nsw i32 %484, 1
  store i32 %485, ptr %25, align 4, !tbaa !52
  br label %450, !llvm.loop !77

486:                                              ; preds = %455
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #8
  br label %487

487:                                              ; preds = %486, %168, %144, %133, %126
  %488 = load ptr, ptr %13, align 8, !tbaa !5
  %489 = getelementptr inbounds %class.b2Body, ptr %488, i32 0, i32 12
  %490 = load ptr, ptr %489, align 8, !tbaa !41
  store ptr %490, ptr %13, align 8, !tbaa !5
  br label %111, !llvm.loop !78

491:                                              ; preds = %478, %456, %442
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #8
  br label %493

492:                                              ; preds = %150, %114
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #8
  br label %494

493:                                              ; preds = %491, %134
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #8
  br label %510

494:                                              ; preds = %492
  %495 = getelementptr inbounds %class.b2World, ptr %28, i32 0, i32 1
  %496 = load ptr, ptr %12, align 8, !tbaa !5
  invoke void @_ZN16b2StackAllocator4FreeEPv(ptr noundef nonnull align 8 dereferenceable(102932) %495, ptr noundef %496)
          to label %497 unwind label %115

497:                                              ; preds = %494
  call void @llvm.lifetime.start.p0(i64 16, ptr %27) #8
  invoke void @_ZN7b2TimerC1Ev(ptr noundef nonnull align 8 dereferenceable(16) %27)
          to label %498 unwind label %506

498:                                              ; preds = %497
  %499 = getelementptr inbounds %class.b2World, ptr %28, i32 0, i32 2
  invoke void @_ZN16b2ContactManager15FindNewContactsEv(ptr noundef nonnull align 8 dereferenceable(184) %499)
          to label %500 unwind label %506

500:                                              ; preds = %498
  invoke void @_ZN7b2World18RemoveDeadContactsEv(ptr noundef nonnull align 8 dereferenceable(103352) %28)
          to label %501 unwind label %506

501:                                              ; preds = %500
  %502 = invoke noundef float @_ZNK7b2Timer15GetMillisecondsEv(ptr noundef nonnull align 8 dereferenceable(16) %27)
          to label %503 unwind label %506

503:                                              ; preds = %501
  %504 = getelementptr inbounds %class.b2World, ptr %28, i32 0, i32 22
  %505 = getelementptr inbounds %struct.b2Profile, ptr %504, i32 0, i32 3
  store float %502, ptr %505, align 4, !tbaa !79
  call void @llvm.lifetime.end.p0(i64 16, ptr %27) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #8
  call void @_ZN8b2IslandD1Ev(ptr noundef nonnull align 8 dereferenceable(80) %5) #8
  call void @llvm.lifetime.end.p0(i64 80, ptr %5) #8
  ret void

506:                                              ; preds = %501, %500, %498, %497
  %507 = landingpad { ptr, i32 }
          cleanup
  %508 = extractvalue { ptr, i32 } %507, 0
  store ptr %508, ptr %8, align 8
  %509 = extractvalue { ptr, i32 } %507, 1
  store i32 %509, ptr %9, align 4
  call void @llvm.lifetime.end.p0(i64 16, ptr %27) #8
  br label %510

510:                                              ; preds = %506, %493, %115
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #8
  br label %511

511:                                              ; preds = %510, %75
  call void @_ZN8b2IslandD1Ev(ptr noundef nonnull align 8 dereferenceable(80) %5) #8
  call void @llvm.lifetime.end.p0(i64 80, ptr %5) #8
  br label %512

512:                                              ; preds = %511
  %513 = load ptr, ptr %8, align 8
  %514 = load i32, ptr %9, align 4
  %515 = insertvalue { ptr, i32 } poison, ptr %513, 0
  %516 = insertvalue { ptr, i32 } %515, i32 %514, 1
  resume { ptr, i32 } %516

517:                                              ; preds = %439, %431, %353
  unreachable
}

declare void @_ZN8b2IslandC1EiiiP16b2StackAllocatorP17b2ContactListener(ptr noundef nonnull align 8 dereferenceable(80), i32 noundef, i32 noundef, i32 noundef, ptr noundef, ptr noundef) unnamed_addr #5

declare noundef ptr @_ZN16b2StackAllocator8AllocateEi(ptr noundef nonnull align 8 dereferenceable(102932), i32 noundef) #5

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNK6b2Body9IsEnabledEv(ptr noundef nonnull align 8 dereferenceable(208)) #3 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNK6b2Body7IsAwakeEv(ptr noundef nonnull align 8 dereferenceable(208)) #3 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef ptr @_ZN6b2Body12GetJointListEv(ptr noundef nonnull align 8 dereferenceable(208)) #3 align 2

declare void @_ZN8b2Island11SolveOrphanEP6b2BodyRK10b2TimeStepRK6b2Vec2b(ptr noundef nonnull align 8 dereferenceable(80), ptr noundef, ptr noundef nonnull align 4 dereferenceable(28), ptr noundef nonnull align 4 dereferenceable(8), i1 noundef zeroext) #5

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZN8b2Island5ClearEv(ptr noundef nonnull align 8 dereferenceable(80)) #6 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZN8b2Island3AddEP6b2Body(ptr noundef nonnull align 8 dereferenceable(80), ptr noundef) #6 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNK9b2Contact9IsEnabledEv(ptr noundef nonnull align 8 dereferenceable(128)) #3 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNK9b2Contact10IsTouchingEv(ptr noundef nonnull align 8 dereferenceable(128)) #3 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZN8b2Island3AddEP9b2Contact(ptr noundef nonnull align 8 dereferenceable(80), ptr noundef) #6 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZN8b2Island3AddEP7b2Joint(ptr noundef nonnull align 8 dereferenceable(80), ptr noundef) #6 align 2

declare void @_ZN8b2Island5SolveERK10b2TimeStepRK6b2Vec2b(ptr noundef nonnull align 8 dereferenceable(80), ptr noundef nonnull align 4 dereferenceable(28), ptr noundef nonnull align 4 dereferenceable(8), i1 noundef zeroext) #5

declare void @_ZN16b2StackAllocator4FreeEPv(ptr noundef nonnull align 8 dereferenceable(102932), ptr noundef) #5

declare void @_ZN7b2TimerC1Ev(ptr noundef nonnull align 8 dereferenceable(16)) unnamed_addr #5

declare void @_ZN16b2ContactManager15FindNewContactsEv(ptr noundef nonnull align 8 dereferenceable(184)) #5

declare noundef float @_ZNK7b2Timer15GetMillisecondsEv(ptr noundef nonnull align 8 dereferenceable(16)) #5

; Function Attrs: nounwind
declare void @_ZN8b2IslandD1Ev(ptr noundef nonnull align 8 dereferenceable(80)) unnamed_addr #7

attributes #0 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { inlinehint mustprogress 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 = { noreturn nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #6 = { mustprogress 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 #7 = { nounwind "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 #8 = { nounwind }
attributes #9 = { noreturn 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++ TBAA"}
!9 = !{!10, !12, i64 103280}
!10 = !{!"_ZTS7b2World", !11, i64 0, !13, i64 128, !14, i64 103064, !6, i64 103248, !6, i64 103256, !6, i64 103264, !6, i64 103272, !12, i64 103280, !12, i64 103284, !18, i64 103288, !21, i64 103296, !6, i64 103304, !6, i64 103312, !19, i64 103320, !21, i64 103324, !21, i64 103325, !21, i64 103326, !21, i64 103327, !21, i64 103328, !21, i64 103329, !21, i64 103330, !21, i64 103331, !22, i64 103332}
!11 = !{!"_ZTS16b2BlockAllocator", !6, i64 0, !12, i64 8, !12, i64 12, !7, i64 16}
!12 = !{!"int", !7, i64 0}
!13 = !{!"_ZTS16b2StackAllocator", !7, i64 0, !12, i64 102400, !12, i64 102404, !12, i64 102408, !7, i64 102416, !12, i64 102928}
!14 = !{!"_ZTS16b2ContactManager", !15, i64 0, !12, i64 144, !6, i64 152, !6, i64 160, !6, i64 168, !6, i64 176}
!15 = !{!"_ZTS12b2BroadPhase", !6, i64 0, !6, i64 8, !6, i64 16, !6, i64 24, !16, i64 32, !6, i64 80, !6, i64 88, !6, i64 96, !12, i64 104, !12, i64 108, !20, i64 112, !12, i64 128, !12, i64 132, !21, i64 136}
!16 = !{!"_ZTS10b2TreeNode", !6, i64 0, !6, i64 8, !6, i64 16, !6, i64 24, !17, i64 32}
!17 = !{!"_ZTS6b2AABB", !18, i64 0, !18, i64 8}
!18 = !{!"_ZTS6b2Vec2", !19, i64 0, !19, i64 4}
!19 = !{!"float", !7, i64 0}
!20 = !{!"_ZTS14b2IntHashTable", !6, i64 0, !12, i64 8}
!21 = !{!"bool", !7, i64 0}
!22 = !{!"_ZTS9b2Profile", !19, i64 0, !19, i64 4, !19, i64 8, !19, i64 12, !19, i64 16}
!23 = !{!10, !12, i64 103208}
!24 = !{!10, !12, i64 103284}
!25 = !{!10, !6, i64 103224}
!26 = !{!10, !6, i64 103248}
!27 = !{i64 0, i64 4, !28, i64 4, i64 4, !28, i64 8, i64 4, !28, i64 12, i64 4, !28}
!28 = !{!19, !19, i64 0}
!29 = !{i64 0, i64 4, !28, i64 4, i64 4, !28}
!30 = !{!31, !19, i64 72}
!31 = !{!"_ZTS6b2Body", !32, i64 0, !33, i64 4, !12, i64 8, !34, i64 12, !34, i64 28, !36, i64 44, !18, i64 80, !19, i64 88, !18, i64 92, !19, i64 100, !6, i64 104, !6, i64 112, !6, i64 120, !6, i64 128, !12, i64 136, !6, i64 144, !6, i64 152, !12, i64 160, !12, i64 164, !19, i64 168, !19, i64 172, !19, i64 176, !19, i64 180, !19, i64 184, !19, i64 188, !19, i64 192, !19, i64 196, !37, i64 200}
!32 = !{!"_ZTS10b2BodyType", !7, i64 0}
!33 = !{!"short", !7, i64 0}
!34 = !{!"_ZTS11b2Transform", !18, i64 0, !35, i64 8}
!35 = !{!"_ZTS5b2Rot", !19, i64 0, !19, i64 4}
!36 = !{!"_ZTS7b2Sweep", !18, i64 0, !18, i64 8, !18, i64 16, !19, i64 24, !19, i64 28, !19, i64 32}
!37 = !{!"_ZTS14b2BodyUserData", !38, i64 0}
!38 = !{!"long", !7, i64 0}
!39 = !{!31, !19, i64 68}
!40 = !{!31, !33, i64 4}
!41 = !{!31, !6, i64 120}
!42 = distinct !{!42, !43}
!43 = !{!"llvm.loop.mustprogress"}
!44 = !{!10, !6, i64 103264}
!45 = !{!46, !21, i64 116}
!46 = !{!"_ZTS7b2Joint", !47, i64 8, !6, i64 16, !6, i64 24, !48, i64 32, !48, i64 64, !6, i64 96, !6, i64 104, !12, i64 112, !21, i64 116, !21, i64 117, !49, i64 120}
!47 = !{!"_ZTS11b2JointType", !7, i64 0}
!48 = !{!"_ZTS11b2JointEdge", !6, i64 0, !6, i64 8, !6, i64 16, !6, i64 24}
!49 = !{!"_ZTS15b2JointUserData", !38, i64 0}
!50 = !{!46, !6, i64 24}
!51 = distinct !{!51, !43}
!52 = !{!12, !12, i64 0}
!53 = !{!10, !21, i64 103296}
!54 = !{i8 0, i8 2}
!55 = !{}
!56 = distinct !{!56, !43}
!57 = !{!58, !12, i64 104}
!58 = !{!"_ZTS9b2Contact", !6, i64 0, !6, i64 8, !6, i64 16, !6, i64 24, !6, i64 32, !59, i64 40, !12, i64 104, !12, i64 108, !19, i64 112, !19, i64 116, !19, i64 120, !19, i64 124}
!59 = !{!"_ZTS10b2Manifold", !7, i64 0, !18, i64 40, !18, i64 48, !60, i64 56, !12, i64 60}
!60 = !{!"_ZTSN10b2Manifold4TypeE", !7, i64 0}
!61 = !{!58, !6, i64 24}
!62 = !{!63, !21, i64 66}
!63 = !{!"_ZTS9b2Fixture", !19, i64 0, !6, i64 8, !6, i64 16, !6, i64 24, !17, i64 32, !19, i64 48, !19, i64 52, !19, i64 56, !64, i64 60, !21, i64 66, !65, i64 72, !12, i64 80}
!64 = !{!"_ZTS8b2Filter", !33, i64 0, !33, i64 2, !33, i64 4}
!65 = !{!"_ZTS17b2FixtureUserData", !38, i64 0}
!66 = !{!21, !21, i64 0}
!67 = !{!58, !6, i64 32}
!68 = distinct !{!68, !43}
!69 = !{!31, !6, i64 144}
!70 = !{!48, !6, i64 8}
!71 = !{!48, !6, i64 0}
!72 = !{!48, !6, i64 24}
!73 = distinct !{!73, !43}
!74 = !{!75, !12, i64 56}
!75 = !{!"_ZTS8b2Island", !6, i64 0, !6, i64 8, !6, i64 16, !6, i64 24, !6, i64 32, !6, i64 40, !6, i64 48, !12, i64 56, !12, i64 60, !12, i64 64, !12, i64 68, !12, i64 72, !12, i64 76}
!76 = !{!75, !6, i64 16}
!77 = distinct !{!77, !43}
!78 = distinct !{!78, !43}
!79 = !{!10, !19, i64 103344}


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

%class.b2Island = type { ptr, ptr, ptr, ptr, ptr, ptr, ptr, i32, i32, i32, i32, i32, i32 }
%class.b2Timer = type { i64, i64 }

@.str.1 = external hidden unnamed_addr constant [83 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [23 x i8], align 1
@__PRETTY_FUNCTION__._ZN7b2World5SolveERK10b2TimeStep = external hidden unnamed_addr constant [40 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [23 x i8], align 1

declare i32 @__gxx_personality_v0(...)

; Function Attrs: mustprogress 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) #0

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN7b2World18RemoveDeadContactsEv(ptr noundef nonnull align 8 dereferenceable(103352)) local_unnamed_addr #2 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZN6b2Body15GetContactCountEv(ptr noundef nonnull align 8 dereferenceable(208)) local_unnamed_addr #3 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef ptr @_ZN6b2Body10GetContactEi(ptr noundef nonnull align 8 dereferenceable(208), i32 noundef) local_unnamed_addr #3 align 2

; Function Attrs: noreturn nounwind
declare void @__assert_fail(ptr noundef, ptr noundef, i32 noundef, ptr noundef) local_unnamed_addr #4

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZNK6b2Body7GetTypeEv(ptr noundef nonnull align 8 dereferenceable(208)) local_unnamed_addr #3 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef ptr @_ZN9b2Contact11GetFixtureAEv(ptr noundef nonnull align 8 dereferenceable(128)) local_unnamed_addr #3 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef ptr @_ZN9b2Fixture7GetBodyEv(ptr noundef nonnull align 8 dereferenceable(84)) local_unnamed_addr #3 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef ptr @_ZN9b2Contact11GetFixtureBEv(ptr noundef nonnull align 8 dereferenceable(128)) local_unnamed_addr #3 align 2

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN7b2World5SolveERK10b2TimeStep(ptr noundef nonnull align 8 dereferenceable(103352) %0, ptr noundef nonnull align 4 dereferenceable(28) %1) local_unnamed_addr #2 align 2 personality ptr @__gxx_personality_v0 {
  %3 = alloca %class.b2Island, align 8
  %4 = alloca %class.b2Timer, align 8
  call void @llvm.lifetime.start.p0(i64 80, ptr nonnull %3) #8
  %5 = getelementptr inbounds i8, ptr %0, i64 103280
  %6 = load i32, ptr %5, align 8, !tbaa !5
  %7 = getelementptr inbounds i8, ptr %0, i64 103064
  %8 = getelementptr inbounds i8, ptr %0, i64 103208
  %9 = load i32, ptr %8, align 8, !tbaa !22
  %10 = getelementptr inbounds i8, ptr %0, i64 103284
  %11 = load i32, ptr %10, align 4, !tbaa !23
  %12 = getelementptr inbounds i8, ptr %0, i64 128
  %13 = getelementptr inbounds i8, ptr %0, i64 103224
  %14 = load ptr, ptr %13, align 8, !tbaa !24
  call void @_ZN8b2IslandC1EiiiP16b2StackAllocatorP17b2ContactListener(ptr noundef nonnull align 8 dereferenceable(80) %3, i32 noundef %6, i32 noundef %9, i32 noundef %11, ptr noundef nonnull %12, ptr noundef %14)
  %15 = getelementptr inbounds i8, ptr %0, i64 103248
  %.0111 = load ptr, ptr %15, align 8, !tbaa !25
  %.not112 = icmp eq ptr %.0111, null
  br i1 %.not112, label %._crit_edge, label %.lr.ph

16:                                               ; preds = %.lr.ph
  %17 = getelementptr inbounds i8, ptr %.0113, i64 120
  %.0 = load ptr, ptr %17, align 8, !tbaa !25
  %.not = icmp eq ptr %.0, null
  br i1 %.not, label %._crit_edge, label %.lr.ph, !llvm.loop !26

.lr.ph:                                           ; preds = %2, %16
  %.0113 = phi ptr [ %.0, %16 ], [ %.0111, %2 ]
  %18 = getelementptr inbounds i8, ptr %.0113, i64 12
  %19 = getelementptr inbounds i8, ptr %.0113, i64 28
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 4 dereferenceable(16) %19, ptr noundef nonnull align 4 dereferenceable(16) %18, i64 16, i1 false), !tbaa.struct !28
  %20 = getelementptr inbounds i8, ptr %.0113, i64 60
  %21 = getelementptr inbounds i8, ptr %.0113, i64 52
  %22 = load i64, ptr %20, align 4
  store i64 %22, ptr %21, align 4
  %23 = getelementptr inbounds i8, ptr %.0113, i64 72
  %24 = load float, ptr %23, align 4, !tbaa !30
  %25 = getelementptr inbounds i8, ptr %.0113, i64 68
  store float %24, ptr %25, align 4, !tbaa !39
  %26 = getelementptr inbounds i8, ptr %.0113, i64 4
  %27 = load i16, ptr %26, align 4, !tbaa !40
  %28 = and i16 %27, -2
  store i16 %28, ptr %26, align 4, !tbaa !40
  %29 = call noundef i32 @_ZNK6b2Body7GetTypeEv(ptr noundef nonnull align 8 dereferenceable(208) %.0113)
  %30 = icmp eq i32 %29, 0
  br i1 %30, label %._crit_edge, label %16

._crit_edge:                                      ; preds = %16, %.lr.ph, %2
  %31 = getelementptr inbounds i8, ptr %0, i64 103264
  %.092115 = load ptr, ptr %31, align 8, !tbaa !25
  %.not97116 = icmp eq ptr %.092115, null
  br i1 %.not97116, label %._crit_edge120, label %.lr.ph119

._crit_edge120:                                   ; preds = %.lr.ph119, %._crit_edge
  %32 = load i32, ptr %5, align 8, !tbaa !5
  %33 = shl i32 %32, 3
  %34 = invoke noundef ptr @_ZN16b2StackAllocator8AllocateEi(ptr noundef nonnull align 8 dereferenceable(102932) %12, i32 noundef %33)
          to label %.preheader108 unwind label %41

.preheader108:                                    ; preds = %._crit_edge120
  %.093136 = load ptr, ptr %15, align 8, !tbaa !25
  %.not98137 = icmp eq ptr %.093136, null
  br i1 %.not98137, label %._crit_edge140, label %.lr.ph139

.lr.ph139:                                        ; preds = %.preheader108
  %35 = getelementptr inbounds i8, ptr %0, i64 103288
  %36 = getelementptr inbounds i8, ptr %0, i64 103296
  %37 = getelementptr inbounds i8, ptr %3, i64 56
  %38 = getelementptr inbounds i8, ptr %3, i64 16
  br label %43

.lr.ph119:                                        ; preds = %._crit_edge, %.lr.ph119
  %.092117 = phi ptr [ %.092, %.lr.ph119 ], [ %.092115, %._crit_edge ]
  %39 = getelementptr inbounds i8, ptr %.092117, i64 116
  store i8 0, ptr %39, align 4, !tbaa !41
  %40 = getelementptr inbounds i8, ptr %.092117, i64 24
  %.092 = load ptr, ptr %40, align 8, !tbaa !25
  %.not97 = icmp eq ptr %.092, null
  br i1 %.not97, label %._crit_edge120, label %.lr.ph119, !llvm.loop !46

41:                                               ; preds = %._crit_edge140, %._crit_edge120
  %42 = landingpad { ptr, i32 }
          cleanup
  br label %188

43:                                               ; preds = %.lr.ph139, %.loopexit107
  %.093138 = phi ptr [ %.093136, %.lr.ph139 ], [ %.093, %.loopexit107 ]
  %44 = getelementptr inbounds i8, ptr %.093138, i64 4
  %45 = load i16, ptr %44, align 4, !tbaa !40
  %46 = and i16 %45, 1
  %.not99 = icmp eq i16 %46, 0
  br i1 %.not99, label %47, label %.loopexit107

47:                                               ; preds = %43
  %48 = call noundef zeroext i1 @_ZNK6b2Body9IsEnabledEv(ptr noundef nonnull align 8 dereferenceable(208) %.093138)
  br i1 %48, label %51, label %.loopexit107

49:                                               ; preds = %62
  %50 = landingpad { ptr, i32 }
          cleanup
  br label %188

51:                                               ; preds = %47
  %52 = call noundef zeroext i1 @_ZNK6b2Body7IsAwakeEv(ptr noundef nonnull align 8 dereferenceable(208) %.093138)
  br i1 %52, label %53, label %.loopexit107

53:                                               ; preds = %51
  %54 = call noundef i32 @_ZNK6b2Body7GetTypeEv(ptr noundef nonnull align 8 dereferenceable(208) %.093138)
  %55 = icmp eq i32 %54, 0
  br i1 %55, label %._crit_edge140, label %56

56:                                               ; preds = %53
  %57 = call noundef i32 @_ZN6b2Body15GetContactCountEv(ptr noundef nonnull align 8 dereferenceable(208) %.093138)
  %58 = icmp eq i32 %57, 0
  br i1 %58, label %59, label %68

59:                                               ; preds = %56
  %60 = call noundef ptr @_ZN6b2Body12GetJointListEv(ptr noundef nonnull align 8 dereferenceable(208) %.093138)
  %61 = icmp eq ptr %60, null
  br i1 %61, label %62, label %68

62:                                               ; preds = %59
  %63 = load i8, ptr %36, align 8, !tbaa !47, !range !48, !noundef !49
  %64 = trunc nuw i8 %63 to i1
  invoke void @_ZN8b2Island11SolveOrphanEP6b2BodyRK10b2TimeStepRK6b2Vec2b(ptr noundef nonnull align 8 dereferenceable(80) %3, ptr noundef nonnull %.093138, ptr noundef nonnull align 4 dereferenceable(28) %1, ptr noundef nonnull align 4 dereferenceable(8) %35, i1 noundef zeroext %64)
          to label %65 unwind label %49

65:                                               ; preds = %62
  %66 = load i16, ptr %44, align 4, !tbaa !40
  %67 = or i16 %66, 3
  store i16 %67, ptr %44, align 4, !tbaa !40
  br label %.loopexit107

68:                                               ; preds = %59, %56
  call void @_ZN8b2Island5ClearEv(ptr noundef nonnull align 8 dereferenceable(80) %3)
  store ptr %.093138, ptr %34, align 8, !tbaa !25
  %69 = load i16, ptr %44, align 4, !tbaa !40
  %70 = or i16 %69, 1
  store i16 %70, ptr %44, align 4, !tbaa !40
  br label %71

71:                                               ; preds = %68, %.loopexit
  %.094133 = phi i32 [ 1, %68 ], [ %.8, %.loopexit ]
  %72 = add nsw i32 %.094133, -1
  %73 = zext nneg i32 %72 to i64
  %74 = getelementptr inbounds ptr, ptr %34, i64 %73
  %75 = load ptr, ptr %74, align 8, !tbaa !25
  %76 = call noundef zeroext i1 @_ZNK6b2Body9IsEnabledEv(ptr noundef nonnull align 8 dereferenceable(208) %75)
  br i1 %76, label %78, label %77

77:                                               ; preds = %71
  call void @__assert_fail(ptr noundef nonnull @.str.5, ptr noundef nonnull @.str.1, i32 noundef 563, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN7b2World5SolveERK10b2TimeStep) #9
  unreachable

78:                                               ; preds = %71
  call void @_ZN8b2Island3AddEP6b2Body(ptr noundef nonnull align 8 dereferenceable(80) %3, ptr noundef nonnull %75)
  %79 = call noundef i32 @_ZNK6b2Body7GetTypeEv(ptr noundef nonnull align 8 dereferenceable(208) %75)
  %80 = icmp eq i32 %79, 0
  br i1 %80, label %.loopexit, label %81, !llvm.loop !50

81:                                               ; preds = %78
  %82 = getelementptr inbounds i8, ptr %75, i64 4
  %83 = load i16, ptr %82, align 4, !tbaa !40
  %84 = or i16 %83, 2
  store i16 %84, ptr %82, align 4, !tbaa !40
  %85 = call noundef i32 @_ZN6b2Body15GetContactCountEv(ptr noundef nonnull align 8 dereferenceable(208) %75)
  %86 = icmp sgt i32 %85, 0
  br i1 %86, label %.lr.ph124, label %._crit_edge125

._crit_edge125:                                   ; preds = %128, %81
  %.195.lcssa = phi i32 [ %72, %81 ], [ %.4, %128 ]
  %87 = getelementptr inbounds i8, ptr %75, i64 144
  %.088126 = load ptr, ptr %87, align 8, !tbaa !25
  %.not100127 = icmp eq ptr %.088126, null
  br i1 %.not100127, label %.loopexit, label %.lr.ph131

.lr.ph124:                                        ; preds = %81, %128
  %.195122 = phi i32 [ %.4, %128 ], [ %72, %81 ]
  %.096121 = phi i32 [ %129, %128 ], [ 0, %81 ]
  %88 = call noundef ptr @_ZN6b2Body10GetContactEi(ptr noundef nonnull align 8 dereferenceable(208) %75, i32 noundef %.096121)
  %89 = getelementptr inbounds i8, ptr %88, i64 104
  %90 = load i32, ptr %89, align 8, !tbaa !51
  %91 = and i32 %90, 1
  %.not102 = icmp eq i32 %91, 0
  br i1 %.not102, label %92, label %128

92:                                               ; preds = %.lr.ph124
  %93 = call noundef zeroext i1 @_ZNK9b2Contact9IsEnabledEv(ptr noundef nonnull align 8 dereferenceable(128) %88)
  br i1 %93, label %94, label %128

94:                                               ; preds = %92
  %95 = call noundef zeroext i1 @_ZNK9b2Contact10IsTouchingEv(ptr noundef nonnull align 8 dereferenceable(128) %88)
  br i1 %95, label %96, label %128

96:                                               ; preds = %94
  %97 = getelementptr inbounds i8, ptr %88, i64 24
  %98 = load ptr, ptr %97, align 8, !tbaa !55
  %99 = getelementptr inbounds i8, ptr %98, i64 66
  %100 = load i8, ptr %99, align 2, !tbaa !56, !range !48, !noundef !49
  %101 = trunc nuw i8 %100 to i1
  br i1 %101, label %128, label %102

102:                                              ; preds = %96
  %103 = getelementptr inbounds i8, ptr %88, i64 32
  %104 = load ptr, ptr %103, align 8, !tbaa !60
  %105 = getelementptr inbounds i8, ptr %104, i64 66
  %106 = load i8, ptr %105, align 2, !tbaa !56, !range !48, !noundef !49
  %107 = trunc nuw i8 %106 to i1
  br i1 %107, label %128, label %108

108:                                              ; preds = %102
  call void @_ZN8b2Island3AddEP9b2Contact(ptr noundef nonnull align 8 dereferenceable(80) %3, ptr noundef nonnull %88)
  %109 = load i32, ptr %89, align 8, !tbaa !51
  %110 = or i32 %109, 1
  store i32 %110, ptr %89, align 8, !tbaa !51
  %111 = call noundef ptr @_ZN9b2Contact11GetFixtureAEv(ptr noundef nonnull align 8 dereferenceable(128) %88)
  %112 = call noundef ptr @_ZN9b2Fixture7GetBodyEv(ptr noundef nonnull align 8 dereferenceable(84) %111)
  %113 = call noundef ptr @_ZN9b2Contact11GetFixtureBEv(ptr noundef nonnull align 8 dereferenceable(128) %88)
  %114 = call noundef ptr @_ZN9b2Fixture7GetBodyEv(ptr noundef nonnull align 8 dereferenceable(84) %113)
  %115 = icmp eq ptr %112, %75
  %116 = select i1 %115, ptr %114, ptr %112
  %117 = getelementptr inbounds i8, ptr %116, i64 4
  %118 = load i16, ptr %117, align 4, !tbaa !40
  %119 = and i16 %118, 1
  %.not103 = icmp eq i16 %119, 0
  br i1 %.not103, label %120, label %128

120:                                              ; preds = %108
  %121 = icmp slt i32 %.195122, %32
  br i1 %121, label %123, label %122

122:                                              ; preds = %120
  call void @__assert_fail(ptr noundef nonnull @.str.6, ptr noundef nonnull @.str.1, i32 noundef 614, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN7b2World5SolveERK10b2TimeStep) #9
  unreachable

123:                                              ; preds = %120
  %124 = add nsw i32 %.195122, 1
  %125 = sext i32 %.195122 to i64
  %126 = getelementptr inbounds ptr, ptr %34, i64 %125
  store ptr %116, ptr %126, align 8, !tbaa !25
  %127 = or disjoint i16 %118, 1
  store i16 %127, ptr %117, align 4, !tbaa !40
  br label %128

128:                                              ; preds = %102, %96, %108, %123, %92, %94, %.lr.ph124
  %.4 = phi i32 [ %.195122, %.lr.ph124 ], [ %.195122, %94 ], [ %.195122, %92 ], [ %.195122, %102 ], [ %.195122, %96 ], [ %124, %123 ], [ %.195122, %108 ]
  %129 = add nuw nsw i32 %.096121, 1
  %130 = call noundef i32 @_ZN6b2Body15GetContactCountEv(ptr noundef nonnull align 8 dereferenceable(208) %75)
  %131 = icmp slt i32 %129, %130
  br i1 %131, label %.lr.ph124, label %._crit_edge125, !llvm.loop !61

.lr.ph131:                                        ; preds = %._crit_edge125, %155
  %.088129 = phi ptr [ %.088, %155 ], [ %.088126, %._crit_edge125 ]
  %.5128 = phi i32 [ %.7, %155 ], [ %.195.lcssa, %._crit_edge125 ]
  %132 = getelementptr inbounds i8, ptr %.088129, i64 8
  %133 = load ptr, ptr %132, align 8, !tbaa !62
  %134 = getelementptr inbounds i8, ptr %133, i64 116
  %135 = load i8, ptr %134, align 4, !tbaa !41, !range !48, !noundef !49
  %136 = trunc nuw i8 %135 to i1
  br i1 %136, label %155, label %137

137:                                              ; preds = %.lr.ph131
  %138 = load ptr, ptr %.088129, align 8, !tbaa !63
  %139 = call noundef zeroext i1 @_ZNK6b2Body9IsEnabledEv(ptr noundef nonnull align 8 dereferenceable(208) %138)
  br i1 %139, label %140, label %155

140:                                              ; preds = %137
  %141 = load ptr, ptr %132, align 8, !tbaa !62
  call void @_ZN8b2Island3AddEP7b2Joint(ptr noundef nonnull align 8 dereferenceable(80) %3, ptr noundef %141)
  %142 = load ptr, ptr %132, align 8, !tbaa !62
  %143 = getelementptr inbounds i8, ptr %142, i64 116
  store i8 1, ptr %143, align 4, !tbaa !41
  %144 = getelementptr inbounds i8, ptr %138, i64 4
  %145 = load i16, ptr %144, align 4, !tbaa !40
  %146 = and i16 %145, 1
  %.not101 = icmp eq i16 %146, 0
  br i1 %.not101, label %147, label %155

147:                                              ; preds = %140
  %148 = icmp slt i32 %.5128, %32
  br i1 %148, label %150, label %149

149:                                              ; preds = %147
  call void @__assert_fail(ptr noundef nonnull @.str.6, ptr noundef nonnull @.str.1, i32 noundef 643, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN7b2World5SolveERK10b2TimeStep) #9
  unreachable

150:                                              ; preds = %147
  %151 = add nsw i32 %.5128, 1
  %152 = sext i32 %.5128 to i64
  %153 = getelementptr inbounds ptr, ptr %34, i64 %152
  store ptr %138, ptr %153, align 8, !tbaa !25
  %154 = or disjoint i16 %145, 1
  store i16 %154, ptr %144, align 4, !tbaa !40
  br label %155

155:                                              ; preds = %150, %137, %140, %.lr.ph131
  %.7 = phi i32 [ %.5128, %.lr.ph131 ], [ %151, %150 ], [ %.5128, %137 ], [ %.5128, %140 ]
  %156 = getelementptr inbounds i8, ptr %.088129, i64 24
  %.088 = load ptr, ptr %156, align 8, !tbaa !25
  %.not100 = icmp eq ptr %.088, null
  br i1 %.not100, label %.loopexit, label %.lr.ph131, !llvm.loop !64

.loopexit:                                        ; preds = %155, %._crit_edge125, %78
  %.8 = phi i32 [ %72, %78 ], [ %.195.lcssa, %._crit_edge125 ], [ %.7, %155 ]
  %157 = icmp sgt i32 %.8, 0
  br i1 %157, label %71, label %158

158:                                              ; preds = %.loopexit
  %159 = load i8, ptr %36, align 8, !tbaa !47, !range !48, !noundef !49
  %160 = trunc nuw i8 %159 to i1
  invoke void @_ZN8b2Island5SolveERK10b2TimeStepRK6b2Vec2b(ptr noundef nonnull align 8 dereferenceable(80) %3, ptr noundef nonnull align 4 dereferenceable(28) %1, ptr noundef nonnull align 4 dereferenceable(8) %35, i1 noundef zeroext %160)
          to label %.preheader unwind label %163

.preheader:                                       ; preds = %158
  %161 = load i32, ptr %37, align 8, !tbaa !65
  %162 = icmp sgt i32 %161, 0
  br i1 %162, label %.lr.ph135, label %.loopexit107

163:                                              ; preds = %158
  %164 = landingpad { ptr, i32 }
          cleanup
  br label %188

.lr.ph135:                                        ; preds = %.preheader, %174
  %indvars.iv = phi i64 [ %indvars.iv.next, %174 ], [ 0, %.preheader ]
  %165 = load ptr, ptr %38, align 8, !tbaa !67
  %166 = getelementptr inbounds ptr, ptr %165, i64 %indvars.iv
  %167 = load ptr, ptr %166, align 8, !tbaa !25
  %168 = call noundef i32 @_ZNK6b2Body7GetTypeEv(ptr noundef nonnull align 8 dereferenceable(208) %167)
  %169 = icmp eq i32 %168, 0
  br i1 %169, label %170, label %174

170:                                              ; preds = %.lr.ph135
  %171 = getelementptr inbounds i8, ptr %167, i64 4
  %172 = load i16, ptr %171, align 4, !tbaa !40
  %173 = and i16 %172, -2
  store i16 %173, ptr %171, align 4, !tbaa !40
  br label %174

174:                                              ; preds = %170, %.lr.ph135
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %175 = load i32, ptr %37, align 8, !tbaa !65
  %176 = sext i32 %175 to i64
  %177 = icmp slt i64 %indvars.iv.next, %176
  br i1 %177, label %.lr.ph135, label %.loopexit107, !llvm.loop !68

.loopexit107:                                     ; preds = %174, %.preheader, %51, %47, %43, %65
  %178 = getelementptr inbounds i8, ptr %.093138, i64 120
  %.093 = load ptr, ptr %178, align 8, !tbaa !25
  %.not98 = icmp eq ptr %.093, null
  br i1 %.not98, label %._crit_edge140, label %43, !llvm.loop !69

._crit_edge140:                                   ; preds = %.loopexit107, %53, %.preheader108
  invoke void @_ZN16b2StackAllocator4FreeEPv(ptr noundef nonnull align 8 dereferenceable(102932) %12, ptr noundef %34)
          to label %179 unwind label %41

179:                                              ; preds = %._crit_edge140
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %4) #8
  invoke void @_ZN7b2TimerC1Ev(ptr noundef nonnull align 8 dereferenceable(16) %4)
          to label %180 unwind label %186

180:                                              ; preds = %179
  invoke void @_ZN16b2ContactManager15FindNewContactsEv(ptr noundef nonnull align 8 dereferenceable(184) %7)
          to label %181 unwind label %186

181:                                              ; preds = %180
  invoke void @_ZN7b2World18RemoveDeadContactsEv(ptr noundef nonnull align 8 dereferenceable(103352) %0)
          to label %182 unwind label %186

182:                                              ; preds = %181
  %183 = invoke noundef float @_ZNK7b2Timer15GetMillisecondsEv(ptr noundef nonnull align 8 dereferenceable(16) %4)
          to label %184 unwind label %186

184:                                              ; preds = %182
  %185 = getelementptr inbounds i8, ptr %0, i64 103344
  store float %183, ptr %185, align 8, !tbaa !70
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %4) #8
  call void @_ZN8b2IslandD1Ev(ptr noundef nonnull align 8 dereferenceable(80) %3) #8
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %3) #8
  ret void

186:                                              ; preds = %182, %181, %180, %179
  %187 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %4) #8
  br label %188

188:                                              ; preds = %49, %163, %186, %41
  %.pn105 = phi { ptr, i32 } [ %187, %186 ], [ %42, %41 ], [ %50, %49 ], [ %164, %163 ]
  call void @_ZN8b2IslandD1Ev(ptr noundef nonnull align 8 dereferenceable(80) %3) #8
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %3) #8
  resume { ptr, i32 } %.pn105
}

declare void @_ZN8b2IslandC1EiiiP16b2StackAllocatorP17b2ContactListener(ptr noundef nonnull align 8 dereferenceable(80), i32 noundef, i32 noundef, i32 noundef, ptr noundef, ptr noundef) unnamed_addr #5

declare noundef ptr @_ZN16b2StackAllocator8AllocateEi(ptr noundef nonnull align 8 dereferenceable(102932), i32 noundef) local_unnamed_addr #5

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNK6b2Body9IsEnabledEv(ptr noundef nonnull align 8 dereferenceable(208)) local_unnamed_addr #3 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNK6b2Body7IsAwakeEv(ptr noundef nonnull align 8 dereferenceable(208)) local_unnamed_addr #3 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef ptr @_ZN6b2Body12GetJointListEv(ptr noundef nonnull align 8 dereferenceable(208)) local_unnamed_addr #3 align 2

declare void @_ZN8b2Island11SolveOrphanEP6b2BodyRK10b2TimeStepRK6b2Vec2b(ptr noundef nonnull align 8 dereferenceable(80), ptr noundef, ptr noundef nonnull align 4 dereferenceable(28), ptr noundef nonnull align 4 dereferenceable(8), i1 noundef zeroext) local_unnamed_addr #5

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZN8b2Island5ClearEv(ptr noundef nonnull align 8 dereferenceable(80)) local_unnamed_addr #6 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZN8b2Island3AddEP6b2Body(ptr noundef nonnull align 8 dereferenceable(80), ptr noundef) local_unnamed_addr #6 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNK9b2Contact9IsEnabledEv(ptr noundef nonnull align 8 dereferenceable(128)) local_unnamed_addr #3 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNK9b2Contact10IsTouchingEv(ptr noundef nonnull align 8 dereferenceable(128)) local_unnamed_addr #3 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZN8b2Island3AddEP9b2Contact(ptr noundef nonnull align 8 dereferenceable(80), ptr noundef) local_unnamed_addr #6 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZN8b2Island3AddEP7b2Joint(ptr noundef nonnull align 8 dereferenceable(80), ptr noundef) local_unnamed_addr #6 align 2

declare void @_ZN8b2Island5SolveERK10b2TimeStepRK6b2Vec2b(ptr noundef nonnull align 8 dereferenceable(80), ptr noundef nonnull align 4 dereferenceable(28), ptr noundef nonnull align 4 dereferenceable(8), i1 noundef zeroext) local_unnamed_addr #5

declare void @_ZN16b2StackAllocator4FreeEPv(ptr noundef nonnull align 8 dereferenceable(102932), ptr noundef) local_unnamed_addr #5

declare void @_ZN7b2TimerC1Ev(ptr noundef nonnull align 8 dereferenceable(16)) unnamed_addr #5

declare void @_ZN16b2ContactManager15FindNewContactsEv(ptr noundef nonnull align 8 dereferenceable(184)) local_unnamed_addr #5

declare noundef float @_ZNK7b2Timer15GetMillisecondsEv(ptr noundef nonnull align 8 dereferenceable(16)) local_unnamed_addr #5

; Function Attrs: nounwind
declare void @_ZN8b2IslandD1Ev(ptr noundef nonnull align 8 dereferenceable(80)) unnamed_addr #7

attributes #0 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { inlinehint mustprogress 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 = { noreturn nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #6 = { mustprogress 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 #7 = { nounwind "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 #8 = { nounwind }
attributes #9 = { noreturn 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 103280}
!6 = !{!"_ZTS7b2World", !7, i64 0, !12, i64 128, !13, i64 103064, !8, i64 103248, !8, i64 103256, !8, i64 103264, !8, i64 103272, !11, i64 103280, !11, i64 103284, !17, i64 103288, !20, i64 103296, !8, i64 103304, !8, i64 103312, !18, i64 103320, !20, i64 103324, !20, i64 103325, !20, i64 103326, !20, i64 103327, !20, i64 103328, !20, i64 103329, !20, i64 103330, !20, i64 103331, !21, i64 103332}
!7 = !{!"_ZTS16b2BlockAllocator", !8, i64 0, !11, i64 8, !11, i64 12, !9, i64 16}
!8 = !{!"any pointer", !9, i64 0}
!9 = !{!"omnipotent char", !10, i64 0}
!10 = !{!"Simple C++ TBAA"}
!11 = !{!"int", !9, i64 0}
!12 = !{!"_ZTS16b2StackAllocator", !9, i64 0, !11, i64 102400, !11, i64 102404, !11, i64 102408, !9, i64 102416, !11, i64 102928}
!13 = !{!"_ZTS16b2ContactManager", !14, i64 0, !11, i64 144, !8, i64 152, !8, i64 160, !8, i64 168, !8, i64 176}
!14 = !{!"_ZTS12b2BroadPhase", !8, i64 0, !8, i64 8, !8, i64 16, !8, i64 24, !15, i64 32, !8, i64 80, !8, i64 88, !8, i64 96, !11, i64 104, !11, i64 108, !19, i64 112, !11, i64 128, !11, i64 132, !20, i64 136}
!15 = !{!"_ZTS10b2TreeNode", !8, i64 0, !8, i64 8, !8, i64 16, !8, i64 24, !16, i64 32}
!16 = !{!"_ZTS6b2AABB", !17, i64 0, !17, i64 8}
!17 = !{!"_ZTS6b2Vec2", !18, i64 0, !18, i64 4}
!18 = !{!"float", !9, i64 0}
!19 = !{!"_ZTS14b2IntHashTable", !8, i64 0, !11, i64 8}
!20 = !{!"bool", !9, i64 0}
!21 = !{!"_ZTS9b2Profile", !18, i64 0, !18, i64 4, !18, i64 8, !18, i64 12, !18, i64 16}
!22 = !{!6, !11, i64 103208}
!23 = !{!6, !11, i64 103284}
!24 = !{!6, !8, i64 103224}
!25 = !{!8, !8, i64 0}
!26 = distinct !{!26, !27}
!27 = !{!"llvm.loop.mustprogress"}
!28 = !{i64 0, i64 4, !29, i64 4, i64 4, !29, i64 8, i64 4, !29, i64 12, i64 4, !29}
!29 = !{!18, !18, i64 0}
!30 = !{!31, !18, i64 72}
!31 = !{!"_ZTS6b2Body", !32, i64 0, !33, i64 4, !11, i64 8, !34, i64 12, !34, i64 28, !36, i64 44, !17, i64 80, !18, i64 88, !17, i64 92, !18, i64 100, !8, i64 104, !8, i64 112, !8, i64 120, !8, i64 128, !11, i64 136, !8, i64 144, !8, i64 152, !11, i64 160, !11, i64 164, !18, i64 168, !18, i64 172, !18, i64 176, !18, i64 180, !18, i64 184, !18, i64 188, !18, i64 192, !18, i64 196, !37, i64 200}
!32 = !{!"_ZTS10b2BodyType", !9, i64 0}
!33 = !{!"short", !9, i64 0}
!34 = !{!"_ZTS11b2Transform", !17, i64 0, !35, i64 8}
!35 = !{!"_ZTS5b2Rot", !18, i64 0, !18, i64 4}
!36 = !{!"_ZTS7b2Sweep", !17, i64 0, !17, i64 8, !17, i64 16, !18, i64 24, !18, i64 28, !18, i64 32}
!37 = !{!"_ZTS14b2BodyUserData", !38, i64 0}
!38 = !{!"long", !9, i64 0}
!39 = !{!31, !18, i64 68}
!40 = !{!31, !33, i64 4}
!41 = !{!42, !20, i64 116}
!42 = !{!"_ZTS7b2Joint", !43, i64 8, !8, i64 16, !8, i64 24, !44, i64 32, !44, i64 64, !8, i64 96, !8, i64 104, !11, i64 112, !20, i64 116, !20, i64 117, !45, i64 120}
!43 = !{!"_ZTS11b2JointType", !9, i64 0}
!44 = !{!"_ZTS11b2JointEdge", !8, i64 0, !8, i64 8, !8, i64 16, !8, i64 24}
!45 = !{!"_ZTS15b2JointUserData", !38, i64 0}
!46 = distinct !{!46, !27}
!47 = !{!6, !20, i64 103296}
!48 = !{i8 0, i8 2}
!49 = !{}
!50 = distinct !{!50, !27}
!51 = !{!52, !11, i64 104}
!52 = !{!"_ZTS9b2Contact", !8, i64 0, !8, i64 8, !8, i64 16, !8, i64 24, !8, i64 32, !53, i64 40, !11, i64 104, !11, i64 108, !18, i64 112, !18, i64 116, !18, i64 120, !18, i64 124}
!53 = !{!"_ZTS10b2Manifold", !9, i64 0, !17, i64 40, !17, i64 48, !54, i64 56, !11, i64 60}
!54 = !{!"_ZTSN10b2Manifold4TypeE", !9, i64 0}
!55 = !{!52, !8, i64 24}
!56 = !{!57, !20, i64 66}
!57 = !{!"_ZTS9b2Fixture", !18, i64 0, !8, i64 8, !8, i64 16, !8, i64 24, !16, i64 32, !18, i64 48, !18, i64 52, !18, i64 56, !58, i64 60, !20, i64 66, !59, i64 72, !11, i64 80}
!58 = !{!"_ZTS8b2Filter", !33, i64 0, !33, i64 2, !33, i64 4}
!59 = !{!"_ZTS17b2FixtureUserData", !38, i64 0}
!60 = !{!52, !8, i64 32}
!61 = distinct !{!61, !27}
!62 = !{!44, !8, i64 8}
!63 = !{!44, !8, i64 0}
!64 = distinct !{!64, !27}
!65 = !{!66, !11, i64 56}
!66 = !{!"_ZTS8b2Island", !8, i64 0, !8, i64 8, !8, i64 16, !8, i64 24, !8, i64 32, !8, i64 40, !8, i64 48, !11, i64 56, !11, i64 60, !11, i64 64, !11, i64 68, !11, i64 72, !11, i64 76}
!67 = !{!66, !8, i64 16}
!68 = distinct !{!68, !27}
!69 = distinct !{!69, !27}
!70 = !{!6, !18, i64 103344}


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