; LLVM IR from mtsamis/box2d-optimized :: src/dynamics (b2_distance_joint)

; 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.b2Vec2 = type { float, float }
%struct.b2SolverData = type { %struct.b2TimeStep, ptr, ptr }
%struct.b2TimeStep = type { float, float, float, i32, i32, i32, i8 }
%class.b2DistanceJoint = type <{ %class.b2Joint, float, float, float, float, float, float, %struct.b2Vec2, %struct.b2Vec2, float, float, float, float, i32, i32, %struct.b2Vec2, %struct.b2Vec2, %struct.b2Vec2, %struct.b2Vec2, %struct.b2Vec2, float, float, float, float, float, float, float, [4 x i8] }>
%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 }
%struct.b2Velocity = type { %struct.b2Vec2, float }

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

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local <2 x float> @_ZmiRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8), ptr noundef nonnull align 4 dereferenceable(8)) #2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef float @_Z5b2MaxIfET_S0_S0_(float noundef, float noundef) #3

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local <2 x float> @_ZplRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8), ptr noundef nonnull align 4 dereferenceable(8)) #2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef float @_Z7b2CrossRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8), ptr noundef nonnull align 4 dereferenceable(8)) #3

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare float @llvm.fmuladd.f32(float, float, float) #4

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local <2 x float> @_ZmlfRK6b2Vec2(float noundef, ptr noundef nonnull align 4 dereferenceable(8)) #2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZN6b2Vec2mIERKS_(ptr noundef nonnull align 4 dereferenceable(8), ptr noundef nonnull align 4 dereferenceable(8)) #5 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZN6b2Vec2pLERKS_(ptr noundef nonnull align 4 dereferenceable(8), ptr noundef nonnull align 4 dereferenceable(8)) #5 align 2

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN15b2DistanceJoint24SolveVelocityConstraintsERK12b2SolverData(ptr noundef nonnull align 8 dereferenceable(260) %0, ptr noundef nonnull align 8 dereferenceable(48) %1) unnamed_addr #6 align 2 {
  %3 = alloca ptr, align 8
  %4 = alloca ptr, align 8
  %5 = alloca %struct.b2Vec2, align 4
  %6 = alloca float, align 4
  %7 = alloca %struct.b2Vec2, align 4
  %8 = alloca float, align 4
  %9 = alloca %struct.b2Vec2, align 4
  %10 = alloca %struct.b2Vec2, align 4
  %11 = alloca %struct.b2Vec2, align 4
  %12 = alloca %struct.b2Vec2, align 4
  %13 = alloca float, align 4
  %14 = alloca %struct.b2Vec2, align 4
  %15 = alloca float, align 4
  %16 = alloca %struct.b2Vec2, align 4
  %17 = alloca %struct.b2Vec2, align 4
  %18 = alloca %struct.b2Vec2, align 4
  %19 = alloca float, align 4
  %20 = alloca float, align 4
  %21 = alloca %struct.b2Vec2, align 4
  %22 = alloca %struct.b2Vec2, align 4
  %23 = alloca %struct.b2Vec2, align 4
  %24 = alloca %struct.b2Vec2, align 4
  %25 = alloca float, align 4
  %26 = alloca %struct.b2Vec2, align 4
  %27 = alloca float, align 4
  %28 = alloca float, align 4
  %29 = alloca %struct.b2Vec2, align 4
  %30 = alloca %struct.b2Vec2, align 4
  %31 = alloca %struct.b2Vec2, align 4
  %32 = alloca float, align 4
  %33 = alloca float, align 4
  %34 = alloca %struct.b2Vec2, align 4
  %35 = alloca %struct.b2Vec2, align 4
  %36 = alloca %struct.b2Vec2, align 4
  %37 = alloca %struct.b2Vec2, align 4
  %38 = alloca float, align 4
  %39 = alloca %struct.b2Vec2, align 4
  %40 = alloca float, align 4
  %41 = alloca float, align 4
  %42 = alloca %struct.b2Vec2, align 4
  %43 = alloca %struct.b2Vec2, align 4
  %44 = alloca %struct.b2Vec2, align 4
  %45 = alloca %struct.b2Vec2, align 4
  %46 = alloca %struct.b2Vec2, align 4
  %47 = alloca %struct.b2Vec2, align 4
  %48 = alloca %struct.b2Vec2, align 4
  %49 = alloca float, align 4
  %50 = alloca %struct.b2Vec2, align 4
  %51 = alloca float, align 4
  %52 = alloca %struct.b2Vec2, align 4
  %53 = alloca %struct.b2Vec2, align 4
  %54 = alloca %struct.b2Vec2, align 4
  store ptr %0, ptr %3, align 8, !tbaa !5
  store ptr %1, ptr %4, align 8, !tbaa !5
  %55 = load ptr, ptr %3, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %5) #7
  %56 = load ptr, ptr %4, align 8, !tbaa !5
  %57 = getelementptr inbounds %struct.b2SolverData, ptr %56, i32 0, i32 2
  %58 = load ptr, ptr %57, align 8, !tbaa !9
  %59 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 13
  %60 = load i32, ptr %59, align 8, !tbaa !15
  %61 = sext i32 %60 to i64
  %62 = getelementptr inbounds %struct.b2Velocity, ptr %58, i64 %61
  %63 = getelementptr inbounds %struct.b2Velocity, ptr %62, i32 0, i32 0
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %5, ptr align 4 %63, i64 8, i1 false), !tbaa.struct !23
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #7
  %64 = load ptr, ptr %4, align 8, !tbaa !5
  %65 = getelementptr inbounds %struct.b2SolverData, ptr %64, i32 0, i32 2
  %66 = load ptr, ptr %65, align 8, !tbaa !9
  %67 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 13
  %68 = load i32, ptr %67, align 8, !tbaa !15
  %69 = sext i32 %68 to i64
  %70 = getelementptr inbounds %struct.b2Velocity, ptr %66, i64 %69
  %71 = getelementptr inbounds %struct.b2Velocity, ptr %70, i32 0, i32 1
  %72 = load float, ptr %71, align 4, !tbaa !25
  store float %72, ptr %6, align 4, !tbaa !24
  call void @llvm.lifetime.start.p0(i64 8, ptr %7) #7
  %73 = load ptr, ptr %4, align 8, !tbaa !5
  %74 = getelementptr inbounds %struct.b2SolverData, ptr %73, i32 0, i32 2
  %75 = load ptr, ptr %74, align 8, !tbaa !9
  %76 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 14
  %77 = load i32, ptr %76, align 4, !tbaa !27
  %78 = sext i32 %77 to i64
  %79 = getelementptr inbounds %struct.b2Velocity, ptr %75, i64 %78
  %80 = getelementptr inbounds %struct.b2Velocity, ptr %79, i32 0, i32 0
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %7, ptr align 4 %80, i64 8, i1 false), !tbaa.struct !23
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #7
  %81 = load ptr, ptr %4, align 8, !tbaa !5
  %82 = getelementptr inbounds %struct.b2SolverData, ptr %81, i32 0, i32 2
  %83 = load ptr, ptr %82, align 8, !tbaa !9
  %84 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 14
  %85 = load i32, ptr %84, align 4, !tbaa !27
  %86 = sext i32 %85 to i64
  %87 = getelementptr inbounds %struct.b2Velocity, ptr %83, i64 %86
  %88 = getelementptr inbounds %struct.b2Velocity, ptr %87, i32 0, i32 1
  %89 = load float, ptr %88, align 4, !tbaa !25
  store float %89, ptr %8, align 4, !tbaa !24
  %90 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 5
  %91 = load float, ptr %90, align 8, !tbaa !28
  %92 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 6
  %93 = load float, ptr %92, align 4, !tbaa !29
  %94 = fcmp olt float %91, %93
  br i1 %94, label %95, label %280

95:                                               ; preds = %2
  %96 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 1
  %97 = load float, ptr %96, align 8, !tbaa !30
  %98 = fcmp ogt float %97, 0.000000e+00
  br i1 %98, label %99, label %150

99:                                               ; preds = %95
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #7
  %100 = load float, ptr %6, align 4, !tbaa !24
  %101 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 16
  %102 = call <2 x float> @_Z7b2CrossfRK6b2Vec2(float noundef %100, ptr noundef nonnull align 4 dereferenceable(8) %101)
  store <2 x float> %102, ptr %10, align 4
  %103 = call <2 x float> @_ZplRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %5, ptr noundef nonnull align 4 dereferenceable(8) %10)
  store <2 x float> %103, ptr %9, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #7
  %104 = load float, ptr %8, align 4, !tbaa !24
  %105 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 17
  %106 = call <2 x float> @_Z7b2CrossfRK6b2Vec2(float noundef %104, ptr noundef nonnull align 4 dereferenceable(8) %105)
  store <2 x float> %106, ptr %12, align 4
  %107 = call <2 x float> @_ZplRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %7, ptr noundef nonnull align 4 dereferenceable(8) %12)
  store <2 x float> %107, ptr %11, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #7
  %108 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 15
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #7
  %109 = call <2 x float> @_ZmiRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %11, ptr noundef nonnull align 4 dereferenceable(8) %9)
  store <2 x float> %109, ptr %14, align 4
  %110 = call noundef float @_Z5b2DotRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %108, ptr noundef nonnull align 4 dereferenceable(8) %14)
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #7
  store float %110, ptr %13, align 4, !tbaa !24
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #7
  %111 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 25
  %112 = load float, ptr %111, align 4, !tbaa !31
  %113 = fneg float %112
  %114 = load float, ptr %13, align 4, !tbaa !24
  %115 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 3
  %116 = load float, ptr %115, align 8, !tbaa !32
  %117 = fadd float %114, %116
  %118 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 9
  %119 = load float, ptr %118, align 8, !tbaa !33
  %120 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 10
  %121 = load float, ptr %120, align 4, !tbaa !34
  %122 = call float @llvm.fmuladd.f32(float %119, float %121, float %117)
  %123 = fmul float %113, %122
  store float %123, ptr %15, align 4, !tbaa !24
  %124 = load float, ptr %15, align 4, !tbaa !24
  %125 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 10
  %126 = load float, ptr %125, align 4, !tbaa !34
  %127 = fadd float %126, %124
  store float %127, ptr %125, align 4, !tbaa !34
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #7
  %128 = load float, ptr %15, align 4, !tbaa !24
  %129 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 15
  %130 = call <2 x float> @_ZmlfRK6b2Vec2(float noundef %128, ptr noundef nonnull align 4 dereferenceable(8) %129)
  store <2 x float> %130, ptr %16, align 4
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #7
  %131 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 21
  %132 = load float, ptr %131, align 4, !tbaa !35
  %133 = call <2 x float> @_ZmlfRK6b2Vec2(float noundef %132, ptr noundef nonnull align 4 dereferenceable(8) %16)
  store <2 x float> %133, ptr %17, align 4
  call void @_ZN6b2Vec2mIERKS_(ptr noundef nonnull align 4 dereferenceable(8) %5, ptr noundef nonnull align 4 dereferenceable(8) %17)
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #7
  %134 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 23
  %135 = load float, ptr %134, align 4, !tbaa !36
  %136 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 16
  %137 = call noundef float @_Z7b2CrossRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %136, ptr noundef nonnull align 4 dereferenceable(8) %16)
  %138 = load float, ptr %6, align 4, !tbaa !24
  %139 = fneg float %135
  %140 = call float @llvm.fmuladd.f32(float %139, float %137, float %138)
  store float %140, ptr %6, align 4, !tbaa !24
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #7
  %141 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 22
  %142 = load float, ptr %141, align 8, !tbaa !37
  %143 = call <2 x float> @_ZmlfRK6b2Vec2(float noundef %142, ptr noundef nonnull align 4 dereferenceable(8) %16)
  store <2 x float> %143, ptr %18, align 4
  call void @_ZN6b2Vec2pLERKS_(ptr noundef nonnull align 4 dereferenceable(8) %7, ptr noundef nonnull align 4 dereferenceable(8) %18)
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #7
  %144 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 24
  %145 = load float, ptr %144, align 8, !tbaa !38
  %146 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 17
  %147 = call noundef float @_Z7b2CrossRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %146, ptr noundef nonnull align 4 dereferenceable(8) %16)
  %148 = load float, ptr %8, align 4, !tbaa !24
  %149 = call float @llvm.fmuladd.f32(float %145, float %147, float %148)
  store float %149, ptr %8, align 4, !tbaa !24
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #7
  br label %150

150:                                              ; preds = %99, %95
  call void @llvm.lifetime.start.p0(i64 4, ptr %19) #7
  %151 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 20
  %152 = load float, ptr %151, align 8, !tbaa !39
  %153 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 5
  %154 = load float, ptr %153, align 8, !tbaa !28
  %155 = fsub float %152, %154
  store float %155, ptr %19, align 4, !tbaa !24
  call void @llvm.lifetime.start.p0(i64 4, ptr %20) #7
  %156 = load float, ptr %19, align 4, !tbaa !24
  %157 = call noundef float @_Z5b2MaxIfET_S0_S0_(float noundef 0.000000e+00, float noundef %156)
  %158 = load ptr, ptr %4, align 8, !tbaa !5
  %159 = getelementptr inbounds %struct.b2SolverData, ptr %158, i32 0, i32 0
  %160 = getelementptr inbounds %struct.b2TimeStep, ptr %159, i32 0, i32 1
  %161 = load float, ptr %160, align 4, !tbaa !40
  %162 = fmul float %157, %161
  store float %162, ptr %20, align 4, !tbaa !24
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #7
  %163 = load float, ptr %6, align 4, !tbaa !24
  %164 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 16
  %165 = call <2 x float> @_Z7b2CrossfRK6b2Vec2(float noundef %163, ptr noundef nonnull align 4 dereferenceable(8) %164)
  store <2 x float> %165, ptr %22, align 4
  %166 = call <2 x float> @_ZplRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %5, ptr noundef nonnull align 4 dereferenceable(8) %22)
  store <2 x float> %166, ptr %21, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #7
  %167 = load float, ptr %8, align 4, !tbaa !24
  %168 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 17
  %169 = call <2 x float> @_Z7b2CrossfRK6b2Vec2(float noundef %167, ptr noundef nonnull align 4 dereferenceable(8) %168)
  store <2 x float> %169, ptr %24, align 4
  %170 = call <2 x float> @_ZplRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %7, ptr noundef nonnull align 4 dereferenceable(8) %24)
  store <2 x float> %170, ptr %23, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #7
  %171 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 15
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #7
  %172 = call <2 x float> @_ZmiRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %23, ptr noundef nonnull align 4 dereferenceable(8) %21)
  store <2 x float> %172, ptr %26, align 4
  %173 = call noundef float @_Z5b2DotRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %171, ptr noundef nonnull align 4 dereferenceable(8) %26)
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #7
  store float %173, ptr %25, align 4, !tbaa !24
  call void @llvm.lifetime.start.p0(i64 4, ptr %27) #7
  %174 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 26
  %175 = load float, ptr %174, align 8, !tbaa !41
  %176 = fneg float %175
  %177 = load float, ptr %25, align 4, !tbaa !24
  %178 = load float, ptr %20, align 4, !tbaa !24
  %179 = fadd float %177, %178
  %180 = fmul float %176, %179
  store float %180, ptr %27, align 4, !tbaa !24
  call void @llvm.lifetime.start.p0(i64 4, ptr %28) #7
  %181 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 11
  %182 = load float, ptr %181, align 8, !tbaa !42
  store float %182, ptr %28, align 4, !tbaa !24
  %183 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 11
  %184 = load float, ptr %183, align 8, !tbaa !42
  %185 = load float, ptr %27, align 4, !tbaa !24
  %186 = fadd float %184, %185
  %187 = call noundef float @_Z5b2MaxIfET_S0_S0_(float noundef 0.000000e+00, float noundef %186)
  %188 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 11
  store float %187, ptr %188, align 8, !tbaa !42
  %189 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 11
  %190 = load float, ptr %189, align 8, !tbaa !42
  %191 = load float, ptr %28, align 4, !tbaa !24
  %192 = fsub float %190, %191
  store float %192, ptr %27, align 4, !tbaa !24
  call void @llvm.lifetime.start.p0(i64 8, ptr %29) #7
  %193 = load float, ptr %27, align 4, !tbaa !24
  %194 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 15
  %195 = call <2 x float> @_ZmlfRK6b2Vec2(float noundef %193, ptr noundef nonnull align 4 dereferenceable(8) %194)
  store <2 x float> %195, ptr %29, align 4
  call void @llvm.lifetime.start.p0(i64 8, ptr %30) #7
  %196 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 21
  %197 = load float, ptr %196, align 4, !tbaa !35
  %198 = call <2 x float> @_ZmlfRK6b2Vec2(float noundef %197, ptr noundef nonnull align 4 dereferenceable(8) %29)
  store <2 x float> %198, ptr %30, align 4
  call void @_ZN6b2Vec2mIERKS_(ptr noundef nonnull align 4 dereferenceable(8) %5, ptr noundef nonnull align 4 dereferenceable(8) %30)
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #7
  %199 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 23
  %200 = load float, ptr %199, align 4, !tbaa !36
  %201 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 16
  %202 = call noundef float @_Z7b2CrossRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %201, ptr noundef nonnull align 4 dereferenceable(8) %29)
  %203 = load float, ptr %6, align 4, !tbaa !24
  %204 = fneg float %200
  %205 = call float @llvm.fmuladd.f32(float %204, float %202, float %203)
  store float %205, ptr %6, align 4, !tbaa !24
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #7
  %206 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 22
  %207 = load float, ptr %206, align 8, !tbaa !37
  %208 = call <2 x float> @_ZmlfRK6b2Vec2(float noundef %207, ptr noundef nonnull align 4 dereferenceable(8) %29)
  store <2 x float> %208, ptr %31, align 4
  call void @_ZN6b2Vec2pLERKS_(ptr noundef nonnull align 4 dereferenceable(8) %7, ptr noundef nonnull align 4 dereferenceable(8) %31)
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #7
  %209 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 24
  %210 = load float, ptr %209, align 8, !tbaa !38
  %211 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 17
  %212 = call noundef float @_Z7b2CrossRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %211, ptr noundef nonnull align 4 dereferenceable(8) %29)
  %213 = load float, ptr %8, align 4, !tbaa !24
  %214 = call float @llvm.fmuladd.f32(float %210, float %212, float %213)
  store float %214, ptr %8, align 4, !tbaa !24
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %27) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %32) #7
  %215 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 6
  %216 = load float, ptr %215, align 4, !tbaa !29
  %217 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 20
  %218 = load float, ptr %217, align 8, !tbaa !39
  %219 = fsub float %216, %218
  store float %219, ptr %32, align 4, !tbaa !24
  call void @llvm.lifetime.start.p0(i64 4, ptr %33) #7
  %220 = load float, ptr %32, align 4, !tbaa !24
  %221 = call noundef float @_Z5b2MaxIfET_S0_S0_(float noundef 0.000000e+00, float noundef %220)
  %222 = load ptr, ptr %4, align 8, !tbaa !5
  %223 = getelementptr inbounds %struct.b2SolverData, ptr %222, i32 0, i32 0
  %224 = getelementptr inbounds %struct.b2TimeStep, ptr %223, i32 0, i32 1
  %225 = load float, ptr %224, align 4, !tbaa !40
  %226 = fmul float %221, %225
  store float %226, ptr %33, align 4, !tbaa !24
  call void @llvm.lifetime.start.p0(i64 8, ptr %34) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %35) #7
  %227 = load float, ptr %6, align 4, !tbaa !24
  %228 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 16
  %229 = call <2 x float> @_Z7b2CrossfRK6b2Vec2(float noundef %227, ptr noundef nonnull align 4 dereferenceable(8) %228)
  store <2 x float> %229, ptr %35, align 4
  %230 = call <2 x float> @_ZplRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %5, ptr noundef nonnull align 4 dereferenceable(8) %35)
  store <2 x float> %230, ptr %34, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %36) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %37) #7
  %231 = load float, ptr %8, align 4, !tbaa !24
  %232 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 17
  %233 = call <2 x float> @_Z7b2CrossfRK6b2Vec2(float noundef %231, ptr noundef nonnull align 4 dereferenceable(8) %232)
  store <2 x float> %233, ptr %37, align 4
  %234 = call <2 x float> @_ZplRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %7, ptr noundef nonnull align 4 dereferenceable(8) %37)
  store <2 x float> %234, ptr %36, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %37) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %38) #7
  %235 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 15
  call void @llvm.lifetime.start.p0(i64 8, ptr %39) #7
  %236 = call <2 x float> @_ZmiRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %34, ptr noundef nonnull align 4 dereferenceable(8) %36)
  store <2 x float> %236, ptr %39, align 4
  %237 = call noundef float @_Z5b2DotRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %235, ptr noundef nonnull align 4 dereferenceable(8) %39)
  call void @llvm.lifetime.end.p0(i64 8, ptr %39) #7
  store float %237, ptr %38, align 4, !tbaa !24
  call void @llvm.lifetime.start.p0(i64 4, ptr %40) #7
  %238 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 26
  %239 = load float, ptr %238, align 8, !tbaa !41
  %240 = fneg float %239
  %241 = load float, ptr %38, align 4, !tbaa !24
  %242 = load float, ptr %33, align 4, !tbaa !24
  %243 = fadd float %241, %242
  %244 = fmul float %240, %243
  store float %244, ptr %40, align 4, !tbaa !24
  call void @llvm.lifetime.start.p0(i64 4, ptr %41) #7
  %245 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 12
  %246 = load float, ptr %245, align 4, !tbaa !43
  store float %246, ptr %41, align 4, !tbaa !24
  %247 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 12
  %248 = load float, ptr %247, align 4, !tbaa !43
  %249 = load float, ptr %40, align 4, !tbaa !24
  %250 = fadd float %248, %249
  %251 = call noundef float @_Z5b2MaxIfET_S0_S0_(float noundef 0.000000e+00, float noundef %250)
  %252 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 12
  store float %251, ptr %252, align 4, !tbaa !43
  %253 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 12
  %254 = load float, ptr %253, align 4, !tbaa !43
  %255 = load float, ptr %41, align 4, !tbaa !24
  %256 = fsub float %254, %255
  store float %256, ptr %40, align 4, !tbaa !24
  call void @llvm.lifetime.start.p0(i64 8, ptr %42) #7
  %257 = load float, ptr %40, align 4, !tbaa !24
  %258 = fneg float %257
  %259 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 15
  %260 = call <2 x float> @_ZmlfRK6b2Vec2(float noundef %258, ptr noundef nonnull align 4 dereferenceable(8) %259)
  store <2 x float> %260, ptr %42, align 4
  call void @llvm.lifetime.start.p0(i64 8, ptr %43) #7
  %261 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 21
  %262 = load float, ptr %261, align 4, !tbaa !35
  %263 = call <2 x float> @_ZmlfRK6b2Vec2(float noundef %262, ptr noundef nonnull align 4 dereferenceable(8) %42)
  store <2 x float> %263, ptr %43, align 4
  call void @_ZN6b2Vec2mIERKS_(ptr noundef nonnull align 4 dereferenceable(8) %5, ptr noundef nonnull align 4 dereferenceable(8) %43)
  call void @llvm.lifetime.end.p0(i64 8, ptr %43) #7
  %264 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 23
  %265 = load float, ptr %264, align 4, !tbaa !36
  %266 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 16
  %267 = call noundef float @_Z7b2CrossRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %266, ptr noundef nonnull align 4 dereferenceable(8) %42)
  %268 = load float, ptr %6, align 4, !tbaa !24
  %269 = fneg float %265
  %270 = call float @llvm.fmuladd.f32(float %269, float %267, float %268)
  store float %270, ptr %6, align 4, !tbaa !24
  call void @llvm.lifetime.start.p0(i64 8, ptr %44) #7
  %271 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 22
  %272 = load float, ptr %271, align 8, !tbaa !37
  %273 = call <2 x float> @_ZmlfRK6b2Vec2(float noundef %272, ptr noundef nonnull align 4 dereferenceable(8) %42)
  store <2 x float> %273, ptr %44, align 4
  call void @_ZN6b2Vec2pLERKS_(ptr noundef nonnull align 4 dereferenceable(8) %7, ptr noundef nonnull align 4 dereferenceable(8) %44)
  call void @llvm.lifetime.end.p0(i64 8, ptr %44) #7
  %274 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 24
  %275 = load float, ptr %274, align 8, !tbaa !38
  %276 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 17
  %277 = call noundef float @_Z7b2CrossRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %276, ptr noundef nonnull align 4 dereferenceable(8) %42)
  %278 = load float, ptr %8, align 4, !tbaa !24
  %279 = call float @llvm.fmuladd.f32(float %275, float %277, float %278)
  store float %279, ptr %8, align 4, !tbaa !24
  call void @llvm.lifetime.end.p0(i64 8, ptr %42) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %41) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %40) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %38) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %36) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %33) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %32) #7
  br label %323

280:                                              ; preds = %2
  call void @llvm.lifetime.start.p0(i64 8, ptr %45) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %46) #7
  %281 = load float, ptr %6, align 4, !tbaa !24
  %282 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 16
  %283 = call <2 x float> @_Z7b2CrossfRK6b2Vec2(float noundef %281, ptr noundef nonnull align 4 dereferenceable(8) %282)
  store <2 x float> %283, ptr %46, align 4
  %284 = call <2 x float> @_ZplRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %5, ptr noundef nonnull align 4 dereferenceable(8) %46)
  store <2 x float> %284, ptr %45, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %46) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %47) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %48) #7
  %285 = load float, ptr %8, align 4, !tbaa !24
  %286 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 17
  %287 = call <2 x float> @_Z7b2CrossfRK6b2Vec2(float noundef %285, ptr noundef nonnull align 4 dereferenceable(8) %286)
  store <2 x float> %287, ptr %48, align 4
  %288 = call <2 x float> @_ZplRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %7, ptr noundef nonnull align 4 dereferenceable(8) %48)
  store <2 x float> %288, ptr %47, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %48) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %49) #7
  %289 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 15
  call void @llvm.lifetime.start.p0(i64 8, ptr %50) #7
  %290 = call <2 x float> @_ZmiRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %47, ptr noundef nonnull align 4 dereferenceable(8) %45)
  store <2 x float> %290, ptr %50, align 4
  %291 = call noundef float @_Z5b2DotRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %289, ptr noundef nonnull align 4 dereferenceable(8) %50)
  call void @llvm.lifetime.end.p0(i64 8, ptr %50) #7
  store float %291, ptr %49, align 4, !tbaa !24
  call void @llvm.lifetime.start.p0(i64 4, ptr %51) #7
  %292 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 26
  %293 = load float, ptr %292, align 8, !tbaa !41
  %294 = fneg float %293
  %295 = load float, ptr %49, align 4, !tbaa !24
  %296 = fmul float %294, %295
  store float %296, ptr %51, align 4, !tbaa !24
  %297 = load float, ptr %51, align 4, !tbaa !24
  %298 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 10
  %299 = load float, ptr %298, align 4, !tbaa !34
  %300 = fadd float %299, %297
  store float %300, ptr %298, align 4, !tbaa !34
  call void @llvm.lifetime.start.p0(i64 8, ptr %52) #7
  %301 = load float, ptr %51, align 4, !tbaa !24
  %302 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 15
  %303 = call <2 x float> @_ZmlfRK6b2Vec2(float noundef %301, ptr noundef nonnull align 4 dereferenceable(8) %302)
  store <2 x float> %303, ptr %52, align 4
  call void @llvm.lifetime.start.p0(i64 8, ptr %53) #7
  %304 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 21
  %305 = load float, ptr %304, align 4, !tbaa !35
  %306 = call <2 x float> @_ZmlfRK6b2Vec2(float noundef %305, ptr noundef nonnull align 4 dereferenceable(8) %52)
  store <2 x float> %306, ptr %53, align 4
  call void @_ZN6b2Vec2mIERKS_(ptr noundef nonnull align 4 dereferenceable(8) %5, ptr noundef nonnull align 4 dereferenceable(8) %53)
  call void @llvm.lifetime.end.p0(i64 8, ptr %53) #7
  %307 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 23
  %308 = load float, ptr %307, align 4, !tbaa !36
  %309 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 16
  %310 = call noundef float @_Z7b2CrossRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %309, ptr noundef nonnull align 4 dereferenceable(8) %52)
  %311 = load float, ptr %6, align 4, !tbaa !24
  %312 = fneg float %308
  %313 = call float @llvm.fmuladd.f32(float %312, float %310, float %311)
  store float %313, ptr %6, align 4, !tbaa !24
  call void @llvm.lifetime.start.p0(i64 8, ptr %54) #7
  %314 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 22
  %315 = load float, ptr %314, align 8, !tbaa !37
  %316 = call <2 x float> @_ZmlfRK6b2Vec2(float noundef %315, ptr noundef nonnull align 4 dereferenceable(8) %52)
  store <2 x float> %316, ptr %54, align 4
  call void @_ZN6b2Vec2pLERKS_(ptr noundef nonnull align 4 dereferenceable(8) %7, ptr noundef nonnull align 4 dereferenceable(8) %54)
  call void @llvm.lifetime.end.p0(i64 8, ptr %54) #7
  %317 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 24
  %318 = load float, ptr %317, align 8, !tbaa !38
  %319 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 17
  %320 = call noundef float @_Z7b2CrossRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %319, ptr noundef nonnull align 4 dereferenceable(8) %52)
  %321 = load float, ptr %8, align 4, !tbaa !24
  %322 = call float @llvm.fmuladd.f32(float %318, float %320, float %321)
  store float %322, ptr %8, align 4, !tbaa !24
  call void @llvm.lifetime.end.p0(i64 8, ptr %52) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %51) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %49) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %47) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %45) #7
  br label %323

323:                                              ; preds = %280, %150
  %324 = load ptr, ptr %4, align 8, !tbaa !5
  %325 = getelementptr inbounds %struct.b2SolverData, ptr %324, i32 0, i32 2
  %326 = load ptr, ptr %325, align 8, !tbaa !9
  %327 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 13
  %328 = load i32, ptr %327, align 8, !tbaa !15
  %329 = sext i32 %328 to i64
  %330 = getelementptr inbounds %struct.b2Velocity, ptr %326, i64 %329
  %331 = getelementptr inbounds %struct.b2Velocity, ptr %330, i32 0, i32 0
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %331, ptr align 4 %5, i64 8, i1 false), !tbaa.struct !23
  %332 = load float, ptr %6, align 4, !tbaa !24
  %333 = load ptr, ptr %4, align 8, !tbaa !5
  %334 = getelementptr inbounds %struct.b2SolverData, ptr %333, i32 0, i32 2
  %335 = load ptr, ptr %334, align 8, !tbaa !9
  %336 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 13
  %337 = load i32, ptr %336, align 8, !tbaa !15
  %338 = sext i32 %337 to i64
  %339 = getelementptr inbounds %struct.b2Velocity, ptr %335, i64 %338
  %340 = getelementptr inbounds %struct.b2Velocity, ptr %339, i32 0, i32 1
  store float %332, ptr %340, align 4, !tbaa !25
  %341 = load ptr, ptr %4, align 8, !tbaa !5
  %342 = getelementptr inbounds %struct.b2SolverData, ptr %341, i32 0, i32 2
  %343 = load ptr, ptr %342, align 8, !tbaa !9
  %344 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 14
  %345 = load i32, ptr %344, align 4, !tbaa !27
  %346 = sext i32 %345 to i64
  %347 = getelementptr inbounds %struct.b2Velocity, ptr %343, i64 %346
  %348 = getelementptr inbounds %struct.b2Velocity, ptr %347, i32 0, i32 0
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %348, ptr align 4 %7, i64 8, i1 false), !tbaa.struct !23
  %349 = load float, ptr %8, align 4, !tbaa !24
  %350 = load ptr, ptr %4, align 8, !tbaa !5
  %351 = getelementptr inbounds %struct.b2SolverData, ptr %350, i32 0, i32 2
  %352 = load ptr, ptr %351, align 8, !tbaa !9
  %353 = getelementptr inbounds %class.b2DistanceJoint, ptr %55, i32 0, i32 14
  %354 = load i32, ptr %353, align 4, !tbaa !27
  %355 = sext i32 %354 to i64
  %356 = getelementptr inbounds %struct.b2Velocity, ptr %352, i64 %355
  %357 = getelementptr inbounds %struct.b2Velocity, ptr %356, i32 0, i32 1
  store float %349, ptr %357, align 4, !tbaa !25
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %5) #7
  ret void
}

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local <2 x float> @_Z7b2CrossfRK6b2Vec2(float noundef, ptr noundef nonnull align 4 dereferenceable(8)) #2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef float @_Z5b2DotRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8), ptr noundef nonnull align 4 dereferenceable(8)) #3

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { inlinehint mustprogress uwtable "min-legal-vector-width"="64" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #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 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #5 = { 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 #6 = { mustprogress uwtable "min-legal-vector-width"="64" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #7 = { nounwind }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !6, i64 40}
!10 = !{!"_ZTS12b2SolverData", !11, i64 0, !6, i64 32, !6, i64 40}
!11 = !{!"_ZTS10b2TimeStep", !12, i64 0, !12, i64 4, !12, i64 8, !13, i64 12, !13, i64 16, !13, i64 20, !14, i64 24}
!12 = !{!"float", !7, i64 0}
!13 = !{!"int", !7, i64 0}
!14 = !{!"bool", !7, i64 0}
!15 = !{!16, !13, i64 184}
!16 = !{!"_ZTS15b2DistanceJoint", !17, i64 0, !12, i64 128, !12, i64 132, !12, i64 136, !12, i64 140, !12, i64 144, !12, i64 148, !22, i64 152, !22, i64 160, !12, i64 168, !12, i64 172, !12, i64 176, !12, i64 180, !13, i64 184, !13, i64 188, !22, i64 192, !22, i64 200, !22, i64 208, !22, i64 216, !22, i64 224, !12, i64 232, !12, i64 236, !12, i64 240, !12, i64 244, !12, i64 248, !12, i64 252, !12, i64 256}
!17 = !{!"_ZTS7b2Joint", !18, i64 8, !6, i64 16, !6, i64 24, !19, i64 32, !19, i64 64, !6, i64 96, !6, i64 104, !13, i64 112, !14, i64 116, !14, i64 117, !20, i64 120}
!18 = !{!"_ZTS11b2JointType", !7, i64 0}
!19 = !{!"_ZTS11b2JointEdge", !6, i64 0, !6, i64 8, !6, i64 16, !6, i64 24}
!20 = !{!"_ZTS15b2JointUserData", !21, i64 0}
!21 = !{!"long", !7, i64 0}
!22 = !{!"_ZTS6b2Vec2", !12, i64 0, !12, i64 4}
!23 = !{i64 0, i64 4, !24, i64 4, i64 4, !24}
!24 = !{!12, !12, i64 0}
!25 = !{!26, !12, i64 8}
!26 = !{!"_ZTS10b2Velocity", !22, i64 0, !12, i64 8}
!27 = !{!16, !13, i64 188}
!28 = !{!16, !12, i64 144}
!29 = !{!16, !12, i64 148}
!30 = !{!16, !12, i64 128}
!31 = !{!16, !12, i64 252}
!32 = !{!16, !12, i64 136}
!33 = !{!16, !12, i64 168}
!34 = !{!16, !12, i64 172}
!35 = !{!16, !12, i64 236}
!36 = !{!16, !12, i64 244}
!37 = !{!16, !12, i64 240}
!38 = !{!16, !12, i64 248}
!39 = !{!16, !12, i64 232}
!40 = !{!10, !12, i64 4}
!41 = !{!16, !12, i64 256}
!42 = !{!16, !12, i64 176}
!43 = !{!16, !12, i64 180}


; 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.b2Vec2 = type { float, float }
%struct.b2Velocity = type { %struct.b2Vec2, float }

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local <2 x float> @_ZmiRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8), ptr noundef nonnull align 4 dereferenceable(8)) local_unnamed_addr #1

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef float @_Z5b2MaxIfET_S0_S0_(float noundef, float noundef) local_unnamed_addr #2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local <2 x float> @_ZplRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8), ptr noundef nonnull align 4 dereferenceable(8)) local_unnamed_addr #1

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef float @_Z7b2CrossRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8), ptr noundef nonnull align 4 dereferenceable(8)) local_unnamed_addr #2

; Function Attrs: mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare float @llvm.fmuladd.f32(float, float, float) #3

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local <2 x float> @_ZmlfRK6b2Vec2(float noundef, ptr noundef nonnull align 4 dereferenceable(8)) local_unnamed_addr #1

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

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN15b2DistanceJoint24SolveVelocityConstraintsERK12b2SolverData(ptr noundef nonnull align 8 dereferenceable(260) %0, ptr nocapture noundef nonnull readonly align 8 dereferenceable(48) %1) unnamed_addr #5 align 2 {
  %3 = alloca %struct.b2Vec2, align 8
  %4 = alloca %struct.b2Vec2, align 8
  %5 = alloca %struct.b2Vec2, align 8
  %6 = alloca %struct.b2Vec2, align 8
  %7 = alloca %struct.b2Vec2, align 8
  %8 = alloca %struct.b2Vec2, align 8
  %9 = alloca %struct.b2Vec2, align 8
  %10 = alloca %struct.b2Vec2, align 8
  %11 = alloca %struct.b2Vec2, align 8
  %12 = alloca %struct.b2Vec2, align 8
  %13 = alloca %struct.b2Vec2, align 8
  %14 = alloca %struct.b2Vec2, align 8
  %15 = alloca %struct.b2Vec2, align 8
  %16 = alloca %struct.b2Vec2, align 8
  %17 = alloca %struct.b2Vec2, align 8
  %18 = alloca %struct.b2Vec2, align 8
  %19 = alloca %struct.b2Vec2, align 8
  %20 = alloca %struct.b2Vec2, align 8
  %21 = alloca %struct.b2Vec2, align 8
  %22 = alloca %struct.b2Vec2, align 8
  %23 = alloca %struct.b2Vec2, align 8
  %24 = alloca %struct.b2Vec2, align 8
  %25 = alloca %struct.b2Vec2, align 8
  %26 = alloca %struct.b2Vec2, align 8
  %27 = alloca %struct.b2Vec2, align 8
  %28 = alloca %struct.b2Vec2, align 8
  %29 = alloca %struct.b2Vec2, align 8
  %30 = alloca %struct.b2Vec2, align 8
  %31 = alloca %struct.b2Vec2, align 8
  %32 = alloca %struct.b2Vec2, align 8
  %33 = alloca %struct.b2Vec2, align 8
  %34 = alloca %struct.b2Vec2, align 8
  %35 = alloca %struct.b2Vec2, align 8
  %36 = alloca %struct.b2Vec2, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %3) #7
  %37 = getelementptr inbounds i8, ptr %1, i64 40
  %38 = load ptr, ptr %37, align 8, !tbaa !5
  %39 = getelementptr inbounds i8, ptr %0, i64 184
  %40 = load i32, ptr %39, align 8, !tbaa !14
  %41 = sext i32 %40 to i64
  %42 = getelementptr inbounds %struct.b2Velocity, ptr %38, i64 %41
  %43 = load i64, ptr %42, align 4
  store i64 %43, ptr %3, align 8
  %44 = getelementptr inbounds %struct.b2Velocity, ptr %38, i64 %41, i32 1
  %45 = load float, ptr %44, align 4, !tbaa !22
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %4) #7
  %46 = getelementptr inbounds i8, ptr %0, i64 188
  %47 = load i32, ptr %46, align 4, !tbaa !24
  %48 = sext i32 %47 to i64
  %49 = getelementptr inbounds %struct.b2Velocity, ptr %38, i64 %48
  %50 = load i64, ptr %49, align 4
  store i64 %50, ptr %4, align 8
  %51 = getelementptr inbounds %struct.b2Velocity, ptr %38, i64 %48, i32 1
  %52 = load float, ptr %51, align 4, !tbaa !22
  %53 = getelementptr inbounds i8, ptr %0, i64 144
  %54 = load float, ptr %53, align 8, !tbaa !25
  %55 = getelementptr inbounds i8, ptr %0, i64 148
  %56 = load float, ptr %55, align 4, !tbaa !26
  %57 = fcmp olt float %54, %56
  br i1 %57, label %58, label %193

58:                                               ; preds = %2
  %59 = getelementptr inbounds i8, ptr %0, i64 128
  %60 = load float, ptr %59, align 8, !tbaa !27
  %61 = fcmp ogt float %60, 0.000000e+00
  %62 = insertelement <2 x float> poison, float %52, i64 0
  %63 = insertelement <2 x float> %62, float %45, i64 1
  br i1 %61, label %64, label %106

64:                                               ; preds = %58
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %5) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %6) #7
  %65 = getelementptr inbounds i8, ptr %0, i64 200
  %66 = tail call <2 x float> @_Z7b2CrossfRK6b2Vec2(float noundef %45, ptr noundef nonnull align 4 dereferenceable(8) %65)
  store <2 x float> %66, ptr %6, align 8
  %67 = call <2 x float> @_ZplRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %3, ptr noundef nonnull align 4 dereferenceable(8) %6)
  store <2 x float> %67, ptr %5, align 8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %6) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %7) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %8) #7
  %68 = getelementptr inbounds i8, ptr %0, i64 208
  %69 = call <2 x float> @_Z7b2CrossfRK6b2Vec2(float noundef %52, ptr noundef nonnull align 4 dereferenceable(8) %68)
  store <2 x float> %69, ptr %8, align 8
  %70 = call <2 x float> @_ZplRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %4, ptr noundef nonnull align 4 dereferenceable(8) %8)
  store <2 x float> %70, ptr %7, align 8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %8) #7
  %71 = getelementptr inbounds i8, ptr %0, i64 192
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %9) #7
  %72 = call <2 x float> @_ZmiRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %7, ptr noundef nonnull align 4 dereferenceable(8) %5)
  store <2 x float> %72, ptr %9, align 8
  %73 = call noundef float @_Z5b2DotRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %71, ptr noundef nonnull align 4 dereferenceable(8) %9)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #7
  %74 = getelementptr inbounds i8, ptr %0, i64 252
  %75 = load float, ptr %74, align 4, !tbaa !28
  %76 = fneg float %75
  %77 = getelementptr inbounds i8, ptr %0, i64 136
  %78 = load float, ptr %77, align 8, !tbaa !29
  %79 = fadd float %73, %78
  %80 = getelementptr inbounds i8, ptr %0, i64 168
  %81 = load float, ptr %80, align 8, !tbaa !30
  %82 = getelementptr inbounds i8, ptr %0, i64 172
  %83 = load float, ptr %82, align 4, !tbaa !31
  %84 = call float @llvm.fmuladd.f32(float %81, float %83, float %79)
  %85 = fmul float %84, %76
  %86 = fadd float %83, %85
  store float %86, ptr %82, align 4, !tbaa !31
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %10) #7
  %87 = call <2 x float> @_ZmlfRK6b2Vec2(float noundef %85, ptr noundef nonnull align 4 dereferenceable(8) %71)
  store <2 x float> %87, ptr %10, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %11) #7
  %88 = getelementptr inbounds i8, ptr %0, i64 236
  %89 = load float, ptr %88, align 4, !tbaa !32
  %90 = call <2 x float> @_ZmlfRK6b2Vec2(float noundef %89, ptr noundef nonnull align 4 dereferenceable(8) %10)
  store <2 x float> %90, ptr %11, align 8
  call void @_ZN6b2Vec2mIERKS_(ptr noundef nonnull align 4 dereferenceable(8) %3, ptr noundef nonnull align 4 dereferenceable(8) %11)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %11) #7
  %91 = getelementptr inbounds i8, ptr %0, i64 244
  %92 = load float, ptr %91, align 4, !tbaa !33
  %93 = call noundef float @_Z7b2CrossRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %65, ptr noundef nonnull align 4 dereferenceable(8) %10)
  %94 = fneg float %92
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %12) #7
  %95 = getelementptr inbounds i8, ptr %0, i64 240
  %96 = load float, ptr %95, align 8, !tbaa !34
  %97 = call <2 x float> @_ZmlfRK6b2Vec2(float noundef %96, ptr noundef nonnull align 4 dereferenceable(8) %10)
  store <2 x float> %97, ptr %12, align 8
  call void @_ZN6b2Vec2pLERKS_(ptr noundef nonnull align 4 dereferenceable(8) %4, ptr noundef nonnull align 4 dereferenceable(8) %12)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %12) #7
  %98 = getelementptr inbounds i8, ptr %0, i64 248
  %99 = load float, ptr %98, align 8, !tbaa !35
  %100 = call noundef float @_Z7b2CrossRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %68, ptr noundef nonnull align 4 dereferenceable(8) %10)
  %101 = insertelement <2 x float> poison, float %99, i64 0
  %102 = insertelement <2 x float> %101, float %94, i64 1
  %103 = insertelement <2 x float> poison, float %100, i64 0
  %104 = insertelement <2 x float> %103, float %93, i64 1
  %105 = call <2 x float> @llvm.fmuladd.v2f32(<2 x float> %102, <2 x float> %104, <2 x float> %63)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %10) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %7) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %5) #7
  %.pre = load float, ptr %53, align 8, !tbaa !25
  br label %106

106:                                              ; preds = %64, %58
  %107 = phi float [ %.pre, %64 ], [ %54, %58 ]
  %108 = phi <2 x float> [ %105, %64 ], [ %63, %58 ]
  %109 = getelementptr inbounds i8, ptr %0, i64 232
  %110 = load float, ptr %109, align 8, !tbaa !36
  %111 = fsub float %110, %107
  %112 = call noundef float @_Z5b2MaxIfET_S0_S0_(float noundef 0.000000e+00, float noundef %111)
  %113 = getelementptr inbounds i8, ptr %1, i64 4
  %114 = load float, ptr %113, align 4, !tbaa !37
  %115 = fmul float %112, %114
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %13) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %14) #7
  %116 = getelementptr inbounds i8, ptr %0, i64 200
  %117 = extractelement <2 x float> %108, i64 1
  %118 = call <2 x float> @_Z7b2CrossfRK6b2Vec2(float noundef %117, ptr noundef nonnull align 4 dereferenceable(8) %116)
  store <2 x float> %118, ptr %14, align 8
  %119 = call <2 x float> @_ZplRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %3, ptr noundef nonnull align 4 dereferenceable(8) %14)
  store <2 x float> %119, ptr %13, align 8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %14) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %15) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %16) #7
  %120 = getelementptr inbounds i8, ptr %0, i64 208
  %121 = extractelement <2 x float> %108, i64 0
  %122 = call <2 x float> @_Z7b2CrossfRK6b2Vec2(float noundef %121, ptr noundef nonnull align 4 dereferenceable(8) %120)
  store <2 x float> %122, ptr %16, align 8
  %123 = call <2 x float> @_ZplRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %4, ptr noundef nonnull align 4 dereferenceable(8) %16)
  store <2 x float> %123, ptr %15, align 8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %16) #7
  %124 = getelementptr inbounds i8, ptr %0, i64 192
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %17) #7
  %125 = call <2 x float> @_ZmiRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %15, ptr noundef nonnull align 4 dereferenceable(8) %13)
  store <2 x float> %125, ptr %17, align 8
  %126 = call noundef float @_Z5b2DotRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %124, ptr noundef nonnull align 4 dereferenceable(8) %17)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %17) #7
  %127 = getelementptr inbounds i8, ptr %0, i64 256
  %128 = load float, ptr %127, align 8, !tbaa !38
  %129 = fadd float %115, %126
  %130 = getelementptr inbounds i8, ptr %0, i64 176
  %131 = load float, ptr %130, align 8, !tbaa !39
  %132 = fmul float %129, %128
  %133 = fsub float %131, %132
  %134 = call noundef float @_Z5b2MaxIfET_S0_S0_(float noundef 0.000000e+00, float noundef %133)
  store float %134, ptr %130, align 8, !tbaa !39
  %135 = fsub float %134, %131
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %18) #7
  %136 = call <2 x float> @_ZmlfRK6b2Vec2(float noundef %135, ptr noundef nonnull align 4 dereferenceable(8) %124)
  store <2 x float> %136, ptr %18, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %19) #7
  %137 = getelementptr inbounds i8, ptr %0, i64 236
  %138 = load float, ptr %137, align 4, !tbaa !32
  %139 = call <2 x float> @_ZmlfRK6b2Vec2(float noundef %138, ptr noundef nonnull align 4 dereferenceable(8) %18)
  store <2 x float> %139, ptr %19, align 8
  call void @_ZN6b2Vec2mIERKS_(ptr noundef nonnull align 4 dereferenceable(8) %3, ptr noundef nonnull align 4 dereferenceable(8) %19)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %19) #7
  %140 = getelementptr inbounds i8, ptr %0, i64 244
  %141 = load float, ptr %140, align 4, !tbaa !33
  %142 = call noundef float @_Z7b2CrossRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %116, ptr noundef nonnull align 4 dereferenceable(8) %18)
  %143 = fneg float %141
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %20) #7
  %144 = getelementptr inbounds i8, ptr %0, i64 240
  %145 = load float, ptr %144, align 8, !tbaa !34
  %146 = call <2 x float> @_ZmlfRK6b2Vec2(float noundef %145, ptr noundef nonnull align 4 dereferenceable(8) %18)
  store <2 x float> %146, ptr %20, align 8
  call void @_ZN6b2Vec2pLERKS_(ptr noundef nonnull align 4 dereferenceable(8) %4, ptr noundef nonnull align 4 dereferenceable(8) %20)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %20) #7
  %147 = getelementptr inbounds i8, ptr %0, i64 248
  %148 = load float, ptr %147, align 8, !tbaa !35
  %149 = call noundef float @_Z7b2CrossRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %120, ptr noundef nonnull align 4 dereferenceable(8) %18)
  %150 = insertelement <2 x float> poison, float %148, i64 0
  %151 = insertelement <2 x float> %150, float %143, i64 1
  %152 = insertelement <2 x float> poison, float %149, i64 0
  %153 = insertelement <2 x float> %152, float %142, i64 1
  %154 = call <2 x float> @llvm.fmuladd.v2f32(<2 x float> %151, <2 x float> %153, <2 x float> %108)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %18) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %15) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %13) #7
  %155 = load float, ptr %55, align 4, !tbaa !26
  %156 = load float, ptr %109, align 8, !tbaa !36
  %157 = fsub float %155, %156
  %158 = call noundef float @_Z5b2MaxIfET_S0_S0_(float noundef 0.000000e+00, float noundef %157)
  %159 = load float, ptr %113, align 4, !tbaa !37
  %160 = fmul float %158, %159
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %21) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %22) #7
  %161 = extractelement <2 x float> %154, i64 1
  %162 = call <2 x float> @_Z7b2CrossfRK6b2Vec2(float noundef %161, ptr noundef nonnull align 4 dereferenceable(8) %116)
  store <2 x float> %162, ptr %22, align 8
  %163 = call <2 x float> @_ZplRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %3, ptr noundef nonnull align 4 dereferenceable(8) %22)
  store <2 x float> %163, ptr %21, align 8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %22) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %23) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %24) #7
  %164 = extractelement <2 x float> %154, i64 0
  %165 = call <2 x float> @_Z7b2CrossfRK6b2Vec2(float noundef %164, ptr noundef nonnull align 4 dereferenceable(8) %120)
  store <2 x float> %165, ptr %24, align 8
  %166 = call <2 x float> @_ZplRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %4, ptr noundef nonnull align 4 dereferenceable(8) %24)
  store <2 x float> %166, ptr %23, align 8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %24) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %25) #7
  %167 = call <2 x float> @_ZmiRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %21, ptr noundef nonnull align 4 dereferenceable(8) %23)
  store <2 x float> %167, ptr %25, align 8
  %168 = call noundef float @_Z5b2DotRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %124, ptr noundef nonnull align 4 dereferenceable(8) %25)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %25) #7
  %169 = load float, ptr %127, align 8, !tbaa !38
  %170 = fadd float %160, %168
  %171 = getelementptr inbounds i8, ptr %0, i64 180
  %172 = load float, ptr %171, align 4, !tbaa !40
  %173 = fmul float %170, %169
  %174 = fsub float %172, %173
  %175 = call noundef float @_Z5b2MaxIfET_S0_S0_(float noundef 0.000000e+00, float noundef %174)
  store float %175, ptr %171, align 4, !tbaa !40
  %176 = fsub float %175, %172
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %26) #7
  %177 = fneg float %176
  %178 = call <2 x float> @_ZmlfRK6b2Vec2(float noundef %177, ptr noundef nonnull align 4 dereferenceable(8) %124)
  store <2 x float> %178, ptr %26, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %27) #7
  %179 = load float, ptr %137, align 4, !tbaa !32
  %180 = call <2 x float> @_ZmlfRK6b2Vec2(float noundef %179, ptr noundef nonnull align 4 dereferenceable(8) %26)
  store <2 x float> %180, ptr %27, align 8
  call void @_ZN6b2Vec2mIERKS_(ptr noundef nonnull align 4 dereferenceable(8) %3, ptr noundef nonnull align 4 dereferenceable(8) %27)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %27) #7
  %181 = load float, ptr %140, align 4, !tbaa !33
  %182 = call noundef float @_Z7b2CrossRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %116, ptr noundef nonnull align 4 dereferenceable(8) %26)
  %183 = fneg float %181
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %28) #7
  %184 = load float, ptr %144, align 8, !tbaa !34
  %185 = call <2 x float> @_ZmlfRK6b2Vec2(float noundef %184, ptr noundef nonnull align 4 dereferenceable(8) %26)
  store <2 x float> %185, ptr %28, align 8
  call void @_ZN6b2Vec2pLERKS_(ptr noundef nonnull align 4 dereferenceable(8) %4, ptr noundef nonnull align 4 dereferenceable(8) %28)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %28) #7
  %186 = load float, ptr %147, align 8, !tbaa !35
  %187 = call noundef float @_Z7b2CrossRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %120, ptr noundef nonnull align 4 dereferenceable(8) %26)
  %188 = insertelement <2 x float> poison, float %186, i64 0
  %189 = insertelement <2 x float> %188, float %183, i64 1
  %190 = insertelement <2 x float> poison, float %187, i64 0
  %191 = insertelement <2 x float> %190, float %182, i64 1
  %192 = call <2 x float> @llvm.fmuladd.v2f32(<2 x float> %189, <2 x float> %191, <2 x float> %154)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %26) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %23) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %21) #7
  br label %231

193:                                              ; preds = %2
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %29) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %30) #7
  %194 = getelementptr inbounds i8, ptr %0, i64 200
  %195 = tail call <2 x float> @_Z7b2CrossfRK6b2Vec2(float noundef %45, ptr noundef nonnull align 4 dereferenceable(8) %194)
  store <2 x float> %195, ptr %30, align 8
  %196 = call <2 x float> @_ZplRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %3, ptr noundef nonnull align 4 dereferenceable(8) %30)
  store <2 x float> %196, ptr %29, align 8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %30) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %31) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %32) #7
  %197 = getelementptr inbounds i8, ptr %0, i64 208
  %198 = call <2 x float> @_Z7b2CrossfRK6b2Vec2(float noundef %52, ptr noundef nonnull align 4 dereferenceable(8) %197)
  store <2 x float> %198, ptr %32, align 8
  %199 = call <2 x float> @_ZplRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %4, ptr noundef nonnull align 4 dereferenceable(8) %32)
  store <2 x float> %199, ptr %31, align 8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %32) #7
  %200 = getelementptr inbounds i8, ptr %0, i64 192
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %33) #7
  %201 = call <2 x float> @_ZmiRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %31, ptr noundef nonnull align 4 dereferenceable(8) %29)
  store <2 x float> %201, ptr %33, align 8
  %202 = call noundef float @_Z5b2DotRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %200, ptr noundef nonnull align 4 dereferenceable(8) %33)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %33) #7
  %203 = getelementptr inbounds i8, ptr %0, i64 256
  %204 = load float, ptr %203, align 8, !tbaa !38
  %205 = fneg float %204
  %206 = fmul float %202, %205
  %207 = getelementptr inbounds i8, ptr %0, i64 172
  %208 = load float, ptr %207, align 4, !tbaa !31
  %209 = fadd float %208, %206
  store float %209, ptr %207, align 4, !tbaa !31
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %34) #7
  %210 = call <2 x float> @_ZmlfRK6b2Vec2(float noundef %206, ptr noundef nonnull align 4 dereferenceable(8) %200)
  store <2 x float> %210, ptr %34, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %35) #7
  %211 = getelementptr inbounds i8, ptr %0, i64 236
  %212 = load float, ptr %211, align 4, !tbaa !32
  %213 = call <2 x float> @_ZmlfRK6b2Vec2(float noundef %212, ptr noundef nonnull align 4 dereferenceable(8) %34)
  store <2 x float> %213, ptr %35, align 8
  call void @_ZN6b2Vec2mIERKS_(ptr noundef nonnull align 4 dereferenceable(8) %3, ptr noundef nonnull align 4 dereferenceable(8) %35)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %35) #7
  %214 = getelementptr inbounds i8, ptr %0, i64 244
  %215 = load float, ptr %214, align 4, !tbaa !33
  %216 = call noundef float @_Z7b2CrossRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %194, ptr noundef nonnull align 4 dereferenceable(8) %34)
  %217 = fneg float %215
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %36) #7
  %218 = getelementptr inbounds i8, ptr %0, i64 240
  %219 = load float, ptr %218, align 8, !tbaa !34
  %220 = call <2 x float> @_ZmlfRK6b2Vec2(float noundef %219, ptr noundef nonnull align 4 dereferenceable(8) %34)
  store <2 x float> %220, ptr %36, align 8
  call void @_ZN6b2Vec2pLERKS_(ptr noundef nonnull align 4 dereferenceable(8) %4, ptr noundef nonnull align 4 dereferenceable(8) %36)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %36) #7
  %221 = getelementptr inbounds i8, ptr %0, i64 248
  %222 = load float, ptr %221, align 8, !tbaa !35
  %223 = call noundef float @_Z7b2CrossRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8) %197, ptr noundef nonnull align 4 dereferenceable(8) %34)
  %224 = insertelement <2 x float> poison, float %222, i64 0
  %225 = insertelement <2 x float> %224, float %217, i64 1
  %226 = insertelement <2 x float> poison, float %223, i64 0
  %227 = insertelement <2 x float> %226, float %216, i64 1
  %228 = insertelement <2 x float> poison, float %52, i64 0
  %229 = insertelement <2 x float> %228, float %45, i64 1
  %230 = call <2 x float> @llvm.fmuladd.v2f32(<2 x float> %225, <2 x float> %227, <2 x float> %229)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %34) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %31) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %29) #7
  br label %231

231:                                              ; preds = %193, %106
  %232 = phi <2 x float> [ %192, %106 ], [ %230, %193 ]
  %233 = load ptr, ptr %37, align 8, !tbaa !5
  %234 = load i32, ptr %39, align 8, !tbaa !14
  %235 = sext i32 %234 to i64
  %236 = getelementptr inbounds %struct.b2Velocity, ptr %233, i64 %235
  %237 = load i64, ptr %3, align 8
  store i64 %237, ptr %236, align 4
  %238 = load ptr, ptr %37, align 8, !tbaa !5
  %239 = load i32, ptr %39, align 8, !tbaa !14
  %240 = sext i32 %239 to i64
  %241 = getelementptr inbounds %struct.b2Velocity, ptr %238, i64 %240, i32 1
  %242 = extractelement <2 x float> %232, i64 1
  store float %242, ptr %241, align 4, !tbaa !22
  %243 = load i32, ptr %46, align 4, !tbaa !24
  %244 = sext i32 %243 to i64
  %245 = getelementptr inbounds %struct.b2Velocity, ptr %238, i64 %244
  %246 = load i64, ptr %4, align 8
  store i64 %246, ptr %245, align 4
  %247 = load ptr, ptr %37, align 8, !tbaa !5
  %248 = load i32, ptr %46, align 4, !tbaa !24
  %249 = sext i32 %248 to i64
  %250 = getelementptr inbounds %struct.b2Velocity, ptr %247, i64 %249, i32 1
  %251 = extractelement <2 x float> %232, i64 0
  store float %251, ptr %250, align 4, !tbaa !22
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %4) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %3) #7
  ret void
}

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local <2 x float> @_Z7b2CrossfRK6b2Vec2(float noundef, ptr noundef nonnull align 4 dereferenceable(8)) local_unnamed_addr #1

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef float @_Z5b2DotRK6b2Vec2S1_(ptr noundef nonnull align 4 dereferenceable(8), ptr noundef nonnull align 4 dereferenceable(8)) local_unnamed_addr #2

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare <2 x float> @llvm.fmuladd.v2f32(<2 x float>, <2 x float>, <2 x float>) #6

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { inlinehint mustprogress uwtable "min-legal-vector-width"="64" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { 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 #3 = { mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #4 = { 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 #5 = { mustprogress uwtable "min-legal-vector-width"="64" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #6 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #7 = { nounwind }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !13, i64 40}
!6 = !{!"_ZTS12b2SolverData", !7, i64 0, !13, i64 32, !13, i64 40}
!7 = !{!"_ZTS10b2TimeStep", !8, i64 0, !8, i64 4, !8, i64 8, !11, i64 12, !11, i64 16, !11, i64 20, !12, i64 24}
!8 = !{!"float", !9, i64 0}
!9 = !{!"omnipotent char", !10, i64 0}
!10 = !{!"Simple C++ TBAA"}
!11 = !{!"int", !9, i64 0}
!12 = !{!"bool", !9, i64 0}
!13 = !{!"any pointer", !9, i64 0}
!14 = !{!15, !11, i64 184}
!15 = !{!"_ZTS15b2DistanceJoint", !16, i64 0, !8, i64 128, !8, i64 132, !8, i64 136, !8, i64 140, !8, i64 144, !8, i64 148, !21, i64 152, !21, i64 160, !8, i64 168, !8, i64 172, !8, i64 176, !8, i64 180, !11, i64 184, !11, i64 188, !21, i64 192, !21, i64 200, !21, i64 208, !21, i64 216, !21, i64 224, !8, i64 232, !8, i64 236, !8, i64 240, !8, i64 244, !8, i64 248, !8, i64 252, !8, i64 256}
!16 = !{!"_ZTS7b2Joint", !17, i64 8, !13, i64 16, !13, i64 24, !18, i64 32, !18, i64 64, !13, i64 96, !13, i64 104, !11, i64 112, !12, i64 116, !12, i64 117, !19, i64 120}
!17 = !{!"_ZTS11b2JointType", !9, i64 0}
!18 = !{!"_ZTS11b2JointEdge", !13, i64 0, !13, i64 8, !13, i64 16, !13, i64 24}
!19 = !{!"_ZTS15b2JointUserData", !20, i64 0}
!20 = !{!"long", !9, i64 0}
!21 = !{!"_ZTS6b2Vec2", !8, i64 0, !8, i64 4}
!22 = !{!23, !8, i64 8}
!23 = !{!"_ZTS10b2Velocity", !21, i64 0, !8, i64 8}
!24 = !{!15, !11, i64 188}
!25 = !{!15, !8, i64 144}
!26 = !{!15, !8, i64 148}
!27 = !{!15, !8, i64 128}
!28 = !{!15, !8, i64 252}
!29 = !{!15, !8, i64 136}
!30 = !{!15, !8, i64 168}
!31 = !{!15, !8, i64 172}
!32 = !{!15, !8, i64 236}
!33 = !{!15, !8, i64 244}
!34 = !{!15, !8, i64 240}
!35 = !{!15, !8, i64 248}
!36 = !{!15, !8, i64 232}
!37 = !{!6, !8, i64 4}
!38 = !{!15, !8, i64 256}
!39 = !{!15, !8, i64 176}
!40 = !{!15, !8, i64 180}


; Effective O3 passes: EarlyCSEPass,GVNPass,GlobalOptPass,InferAlignmentPass,InferFunctionAttrsPass,InstCombinePass,PostOrderFunctionAttrsPass,ReassociatePass,SLPVectorizerPass,SROAPass,TailCallElimPass