; LLVM IR from ThePhysicsGuys/Physics3D :: tests/estimationTests.ll (Z25centerOfMassApproximationv)

; 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.P3D::Polyhedron" = type { %"class.P3D::TriangleMesh" }
%"class.P3D::TriangleMesh" = type { %"class.P3D::MeshPrototype" }
%"class.P3D::MeshPrototype" = type { %"class.P3D::UniqueAlignedPointer", %"class.P3D::UniqueAlignedPointer.0", i32, i32 }
%"class.P3D::UniqueAlignedPointer" = type { ptr }
%"class.P3D::UniqueAlignedPointer.0" = type { ptr }
%"struct.P3D::BoundingBoxTemplate" = type { %"struct.P3D::Vector", %"struct.P3D::Vector" }
%"struct.P3D::Vector" = type { %union.anon }
%union.anon = type { [3 x double] }
%"struct.P3D::Vector.1" = type { %union.anon.2 }
%union.anon.2 = type { [3 x float] }
%class.TolerantAssertComparer = type { i32, ptr, double }
%class.TolerantAssertComparer.5 = type { i32, ptr, double }
%struct.TolerantAssertBuilder = type { i32, double }
%struct.anon = type { double, double, double }
%class.TestInterface = type <{ i64, i8, [7 x i8] }>

@_ZN3P3D12ShapeLibrary5houseE = external global %"class.P3D::Polyhedron", align 8
@.str.3 = external hidden unnamed_addr constant [6 x i8], align 1
@_ZTI14AssertionError = external dso_local constant { ptr, ptr }, align 8

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN3P3D10PolyhedronC2ERKS0_(ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #1 align 2

declare void @_ZNK3P3D12TriangleMesh9getBoundsEv(ptr dead_on_unwind writable sret(%"struct.P3D::BoundingBoxTemplate") align 8, ptr noundef nonnull align 8 dereferenceable(24)) #2

declare i32 @__gxx_personality_v0(...)

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

declare noundef zeroext i1 @_ZNK3P3D10Polyhedron13containsPointENS_6VectorIfLm3EEE(ptr noundef nonnull align 8 dereferenceable(24), <2 x float>, float) #2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZN3P3D6VectorIdLm3EEC2Eddd(ptr noundef nonnull align 8 dereferenceable(24), double noundef, double noundef, double noundef) unnamed_addr #4 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local { <2 x float>, float } @_ZNK3P3D6VectorIdLm3EEcvNS0_IT_Lm3EEEIfEEv(ptr noundef nonnull align 8 dereferenceable(24)) #4 align 2

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

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

declare noundef double @_ZNK3P3D10Polyhedron9getVolumeEv(ptr noundef nonnull align 8 dereferenceable(24)) #2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZN21TolerantAssertBuilderIdEC2Eid(ptr noundef nonnull align 8 dereferenceable(16), i32 noundef, double noundef) unnamed_addr #4 align 2

; Function Attrs: uwtable
declare hidden noundef ptr @_ZTW15__testInterface() #6

declare ptr @__cxa_allocate_exception(i64)

declare void @_ZN14AssertionErrorC1EiPKc(ptr noundef nonnull align 8 dereferenceable(12), i32 noundef, ptr noundef) unnamed_addr #2

declare void @__cxa_free_exception(ptr)

declare void @__cxa_throw(ptr, ptr, ptr)

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN13TestInterface10markAssertEv(ptr noundef nonnull align 8 dereferenceable(9)) #7 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN3P3D13MeshPrototypeD2Ev(ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #7 align 2

; Function Attrs: mustprogress uwtable
define dso_local void @_Z25centerOfMassApproximationv() #8 personality ptr @__gxx_personality_v0 {
  %1 = alloca %"class.P3D::Polyhedron", align 8
  %2 = alloca %"struct.P3D::BoundingBoxTemplate", align 8
  %3 = alloca ptr, align 8
  %4 = alloca i32, align 4
  %5 = alloca i32, align 4
  %6 = alloca double, align 8
  %7 = alloca double, align 8
  %8 = alloca double, align 8
  %9 = alloca double, align 8
  %10 = alloca %"struct.P3D::Vector", align 8
  %11 = alloca i32, align 4
  %12 = alloca i32, align 4
  %13 = alloca i32, align 4
  %14 = alloca i32, align 4
  %15 = alloca double, align 8
  %16 = alloca double, align 8
  %17 = alloca double, align 8
  %18 = alloca %"struct.P3D::Vector.1", align 4
  %19 = alloca %"struct.P3D::Vector", align 8
  %20 = alloca { <2 x float>, float }, align 8
  %21 = alloca { <2 x float>, float }, align 4
  %22 = alloca %"struct.P3D::Vector", align 8
  %23 = alloca %"struct.P3D::Vector", align 8
  %24 = alloca %"struct.P3D::Vector", align 8
  %25 = alloca double, align 8
  %26 = alloca %class.TolerantAssertComparer, align 8
  %27 = alloca %class.TolerantAssertComparer.5, align 8
  %28 = alloca %struct.TolerantAssertBuilder, align 8
  %29 = alloca %"struct.P3D::Vector", align 8
  call void @llvm.lifetime.start.p0(i64 24, ptr %1) #10
  call void @_ZN3P3D10PolyhedronC2ERKS0_(ptr noundef nonnull align 8 dereferenceable(24) %1, ptr noundef nonnull align 8 dereferenceable(24) @_ZN3P3D12ShapeLibrary5houseE)
  call void @llvm.lifetime.start.p0(i64 48, ptr %2) #10
  invoke void @_ZNK3P3D12TriangleMesh9getBoundsEv(ptr dead_on_unwind writable sret(%"struct.P3D::BoundingBoxTemplate") align 8 %2, ptr noundef nonnull align 8 dereferenceable(24) %1)
          to label %30 unwind label %77

30:                                               ; preds = %0
  call void @llvm.lifetime.start.p0(i64 4, ptr %5) #10
  store i32 100, ptr %5, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %6) #10
  %31 = getelementptr inbounds %"struct.P3D::BoundingBoxTemplate", ptr %2, i32 0, i32 1
  %32 = getelementptr inbounds %"struct.P3D::Vector", ptr %31, i32 0, i32 0
  %33 = getelementptr inbounds %struct.anon, ptr %32, i32 0, i32 0
  %34 = load double, ptr %33, align 8, !tbaa !9
  %35 = getelementptr inbounds %"struct.P3D::BoundingBoxTemplate", ptr %2, i32 0, i32 0
  %36 = getelementptr inbounds %"struct.P3D::Vector", ptr %35, i32 0, i32 0
  %37 = getelementptr inbounds %struct.anon, ptr %36, i32 0, i32 0
  %38 = load double, ptr %37, align 8, !tbaa !9
  %39 = fsub double %34, %38
  %40 = load i32, ptr %5, align 4, !tbaa !5
  %41 = sitofp i32 %40 to double
  %42 = fdiv double %39, %41
  store double %42, ptr %6, align 8, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 8, ptr %7) #10
  %43 = getelementptr inbounds %"struct.P3D::BoundingBoxTemplate", ptr %2, i32 0, i32 1
  %44 = getelementptr inbounds %"struct.P3D::Vector", ptr %43, i32 0, i32 0
  %45 = getelementptr inbounds %struct.anon, ptr %44, i32 0, i32 1
  %46 = load double, ptr %45, align 8, !tbaa !9
  %47 = getelementptr inbounds %"struct.P3D::BoundingBoxTemplate", ptr %2, i32 0, i32 0
  %48 = getelementptr inbounds %"struct.P3D::Vector", ptr %47, i32 0, i32 0
  %49 = getelementptr inbounds %struct.anon, ptr %48, i32 0, i32 1
  %50 = load double, ptr %49, align 8, !tbaa !9
  %51 = fsub double %46, %50
  %52 = load i32, ptr %5, align 4, !tbaa !5
  %53 = sitofp i32 %52 to double
  %54 = fdiv double %51, %53
  store double %54, ptr %7, align 8, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 8, ptr %8) #10
  %55 = getelementptr inbounds %"struct.P3D::BoundingBoxTemplate", ptr %2, i32 0, i32 1
  %56 = getelementptr inbounds %"struct.P3D::Vector", ptr %55, i32 0, i32 0
  %57 = getelementptr inbounds %struct.anon, ptr %56, i32 0, i32 2
  %58 = load double, ptr %57, align 8, !tbaa !9
  %59 = getelementptr inbounds %"struct.P3D::BoundingBoxTemplate", ptr %2, i32 0, i32 0
  %60 = getelementptr inbounds %"struct.P3D::Vector", ptr %59, i32 0, i32 0
  %61 = getelementptr inbounds %struct.anon, ptr %60, i32 0, i32 2
  %62 = load double, ptr %61, align 8, !tbaa !9
  %63 = fsub double %58, %62
  %64 = load i32, ptr %5, align 4, !tbaa !5
  %65 = sitofp i32 %64 to double
  %66 = fdiv double %63, %65
  store double %66, ptr %8, align 8, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #10
  %67 = load double, ptr %6, align 8, !tbaa !10
  %68 = load double, ptr %7, align 8, !tbaa !10
  %69 = fmul double %67, %68
  %70 = load double, ptr %8, align 8, !tbaa !10
  %71 = fmul double %69, %70
  store double %71, ptr %9, align 8, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 24, ptr %10) #10
  call void @_ZN3P3D6VectorIdLm3EEC2Eddd(ptr noundef nonnull align 8 dereferenceable(24) %10, double noundef 0.000000e+00, double noundef 0.000000e+00, double noundef 0.000000e+00) #10
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #10
  store i32 0, ptr %11, align 4, !tbaa !5
  br label %72

72:                                               ; preds = %157, %30
  %73 = load i32, ptr %11, align 4, !tbaa !5
  %74 = load i32, ptr %5, align 4, !tbaa !5
  %75 = icmp slt i32 %73, %74
  br i1 %75, label %81, label %76

76:                                               ; preds = %72
  store i32 2, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #10
  br label %160

77:                                               ; preds = %0
  %78 = landingpad { ptr, i32 }
          cleanup
  %79 = extractvalue { ptr, i32 } %78, 0
  store ptr %79, ptr %3, align 8
  %80 = extractvalue { ptr, i32 } %78, 1
  store i32 %80, ptr %4, align 4
  br label %217

81:                                               ; preds = %72
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #10
  store i32 0, ptr %13, align 4, !tbaa !5
  br label %82

82:                                               ; preds = %153, %81
  %83 = load i32, ptr %13, align 4, !tbaa !5
  %84 = load i32, ptr %5, align 4, !tbaa !5
  %85 = icmp slt i32 %83, %84
  br i1 %85, label %87, label %86

86:                                               ; preds = %82
  store i32 5, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #10
  br label %156

87:                                               ; preds = %82
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #10
  store i32 0, ptr %14, align 4, !tbaa !5
  br label %88

88:                                               ; preds = %149, %87
  %89 = load i32, ptr %14, align 4, !tbaa !5
  %90 = load i32, ptr %5, align 4, !tbaa !5
  %91 = icmp slt i32 %89, %90
  br i1 %91, label %93, label %92

92:                                               ; preds = %88
  store i32 8, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #10
  br label %152

93:                                               ; preds = %88
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #10
  %94 = getelementptr inbounds %"struct.P3D::BoundingBoxTemplate", ptr %2, i32 0, i32 0
  %95 = getelementptr inbounds %"struct.P3D::Vector", ptr %94, i32 0, i32 0
  %96 = getelementptr inbounds %struct.anon, ptr %95, i32 0, i32 0
  %97 = load double, ptr %96, align 8, !tbaa !9
  %98 = load double, ptr %6, align 8, !tbaa !10
  %99 = load i32, ptr %11, align 4, !tbaa !5
  %100 = sitofp i32 %99 to double
  %101 = call double @llvm.fmuladd.f64(double %98, double %100, double %97)
  %102 = load double, ptr %6, align 8, !tbaa !10
  %103 = fdiv double %102, 2.000000e+00
  %104 = fadd double %101, %103
  store double %104, ptr %15, align 8, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #10
  %105 = getelementptr inbounds %"struct.P3D::BoundingBoxTemplate", ptr %2, i32 0, i32 0
  %106 = getelementptr inbounds %"struct.P3D::Vector", ptr %105, i32 0, i32 0
  %107 = getelementptr inbounds %struct.anon, ptr %106, i32 0, i32 1
  %108 = load double, ptr %107, align 8, !tbaa !9
  %109 = load double, ptr %7, align 8, !tbaa !10
  %110 = load i32, ptr %13, align 4, !tbaa !5
  %111 = sitofp i32 %110 to double
  %112 = call double @llvm.fmuladd.f64(double %109, double %111, double %108)
  %113 = load double, ptr %7, align 8, !tbaa !10
  %114 = fdiv double %113, 2.000000e+00
  %115 = fadd double %112, %114
  store double %115, ptr %16, align 8, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #10
  %116 = getelementptr inbounds %"struct.P3D::BoundingBoxTemplate", ptr %2, i32 0, i32 0
  %117 = getelementptr inbounds %"struct.P3D::Vector", ptr %116, i32 0, i32 0
  %118 = getelementptr inbounds %struct.anon, ptr %117, i32 0, i32 2
  %119 = load double, ptr %118, align 8, !tbaa !9
  %120 = load double, ptr %8, align 8, !tbaa !10
  %121 = load i32, ptr %14, align 4, !tbaa !5
  %122 = sitofp i32 %121 to double
  %123 = call double @llvm.fmuladd.f64(double %120, double %122, double %119)
  %124 = load double, ptr %8, align 8, !tbaa !10
  %125 = fdiv double %124, 2.000000e+00
  %126 = fadd double %123, %125
  store double %126, ptr %17, align 8, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 24, ptr %19) #10
  %127 = load double, ptr %15, align 8, !tbaa !10
  %128 = load double, ptr %16, align 8, !tbaa !10
  %129 = load double, ptr %17, align 8, !tbaa !10
  call void @_ZN3P3D6VectorIdLm3EEC2Eddd(ptr noundef nonnull align 8 dereferenceable(24) %19, double noundef %127, double noundef %128, double noundef %129) #10
  %130 = call { <2 x float>, float } @_ZNK3P3D6VectorIdLm3EEcvNS0_IT_Lm3EEEIfEEv(ptr noundef nonnull align 8 dereferenceable(24) %19) #10
  %131 = getelementptr inbounds %"struct.P3D::Vector.1", ptr %18, i32 0, i32 0
  %132 = getelementptr inbounds %union.anon.2, ptr %131, i32 0, i32 0
  store { <2 x float>, float } %130, ptr %20, align 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %132, ptr align 8 %20, i64 12, i1 false)
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %21, ptr align 4 %18, i64 12, i1 false)
  %133 = getelementptr inbounds { <2 x float>, float }, ptr %21, i32 0, i32 0
  %134 = load <2 x float>, ptr %133, align 4
  %135 = getelementptr inbounds { <2 x float>, float }, ptr %21, i32 0, i32 1
  %136 = load float, ptr %135, align 4
  %137 = invoke noundef zeroext i1 @_ZNK3P3D10Polyhedron13containsPointENS_6VectorIfLm3EEE(ptr noundef nonnull align 8 dereferenceable(24) %1, <2 x float> %134, float %136)
          to label %138 unwind label %144

138:                                              ; preds = %93
  call void @llvm.lifetime.end.p0(i64 24, ptr %19) #10
  br i1 %137, label %139, label %148

139:                                              ; preds = %138
  call void @llvm.lifetime.start.p0(i64 24, ptr %22) #10
  call void @llvm.lifetime.start.p0(i64 24, ptr %23) #10
  %140 = load double, ptr %15, align 8, !tbaa !10
  %141 = load double, ptr %16, align 8, !tbaa !10
  %142 = load double, ptr %17, align 8, !tbaa !10
  call void @_ZN3P3D6VectorIdLm3EEC2Eddd(ptr noundef nonnull align 8 dereferenceable(24) %23, double noundef %140, double noundef %141, double noundef %142) #10
  call void @_ZN3P3DmlIddLm3EEENS_6VectorIDTmlixfp_Li0Efp0_EXT1_EEERKNS1_IT_XT1_EEERKT0_(ptr dead_on_unwind writable sret(%"struct.P3D::Vector") align 8 %22, ptr noundef nonnull align 8 dereferenceable(24) %23, ptr noundef nonnull align 8 dereferenceable(8) %9) #10
  %143 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZN3P3DpLIddLm3EEERNS_6VectorIT_XT1_EEES4_RKNS1_IT0_XT1_EEE(ptr noundef nonnull align 8 dereferenceable(24) %10, ptr noundef nonnull align 8 dereferenceable(24) %22) #10
  call void @llvm.lifetime.end.p0(i64 24, ptr %23) #10
  call void @llvm.lifetime.end.p0(i64 24, ptr %22) #10
  br label %148

144:                                              ; preds = %93
  %145 = landingpad { ptr, i32 }
          cleanup
  %146 = extractvalue { ptr, i32 } %145, 0
  store ptr %146, ptr %3, align 8
  %147 = extractvalue { ptr, i32 } %145, 1
  store i32 %147, ptr %4, align 4
  call void @llvm.lifetime.end.p0(i64 24, ptr %19) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #10
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #10
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #10
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #10
  br label %216

148:                                              ; preds = %139, %138
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #10
  br label %149

149:                                              ; preds = %148
  %150 = load i32, ptr %14, align 4, !tbaa !5
  %151 = add nsw i32 %150, 1
  store i32 %151, ptr %14, align 4, !tbaa !5
  br label %88, !llvm.loop !12

152:                                              ; preds = %92
  br label %153

153:                                              ; preds = %152
  %154 = load i32, ptr %13, align 4, !tbaa !5
  %155 = add nsw i32 %154, 1
  store i32 %155, ptr %13, align 4, !tbaa !5
  br label %82, !llvm.loop !14

156:                                              ; preds = %86
  br label %157

157:                                              ; preds = %156
  %158 = load i32, ptr %11, align 4, !tbaa !5
  %159 = add nsw i32 %158, 1
  store i32 %159, ptr %11, align 4, !tbaa !5
  br label %72, !llvm.loop !15

160:                                              ; preds = %76
  call void @llvm.lifetime.start.p0(i64 24, ptr %24) #10
  call void @llvm.lifetime.start.p0(i64 8, ptr %25) #10
  %161 = invoke noundef double @_ZNK3P3D10Polyhedron9getVolumeEv(ptr noundef nonnull align 8 dereferenceable(24) %1)
          to label %162 unwind label %186

162:                                              ; preds = %160
  store double %161, ptr %25, align 8, !tbaa !10
  call void @_ZN3P3DdvIddLm3EEENS_6VectorIDTdvixfp_Li0Efp0_EXT1_EEERKNS1_IT_XT1_EEERKT0_(ptr dead_on_unwind writable sret(%"struct.P3D::Vector") align 8 %24, ptr noundef nonnull align 8 dereferenceable(24) %10, ptr noundef nonnull align 8 dereferenceable(8) %25) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #10
  br label %163

163:                                              ; preds = %162
  call void @llvm.lifetime.start.p0(i64 24, ptr %26) #10
  call void @llvm.lifetime.start.p0(i64 24, ptr %27) #10
  call void @llvm.lifetime.start.p0(i64 16, ptr %28) #10
  %164 = load double, ptr %6, align 8, !tbaa !10
  %165 = load double, ptr %7, align 8, !tbaa !10
  %166 = fadd double %164, %165
  %167 = load double, ptr %8, align 8, !tbaa !10
  %168 = fadd double %166, %167
  %169 = fdiv double %168, 3.000000e+00
  %170 = fmul double %169, 1.000000e-02
  invoke void @_ZN21TolerantAssertBuilderIdEC2Eid(ptr noundef nonnull align 8 dereferenceable(16) %28, i32 noundef 73, double noundef %170)
          to label %171 unwind label %190

171:                                              ; preds = %163
  invoke void @_ZNK21TolerantAssertBuilderIdEltIN3P3D6VectorIdLm3EEEEE22TolerantAssertComparerIT_dERKS6_(ptr dead_on_unwind writable sret(%class.TolerantAssertComparer.5) align 8 %27, ptr noundef nonnull align 8 dereferenceable(16) %28, ptr noundef nonnull align 8 dereferenceable(24) %24)
          to label %172 unwind label %190

172:                                              ; preds = %171
  call void @llvm.lifetime.start.p0(i64 24, ptr %29) #10
  invoke void @_ZNK3P3D10Polyhedron15getCenterOfMassEv(ptr dead_on_unwind writable sret(%"struct.P3D::Vector") align 8 %29, ptr noundef nonnull align 8 dereferenceable(24) %1)
          to label %173 unwind label %194

173:                                              ; preds = %172
  invoke void @_ZNK22TolerantAssertComparerIN3P3D6VectorIdLm3EEEdEeqIS2_EES_IbdERKT_(ptr dead_on_unwind writable sret(%class.TolerantAssertComparer) align 8 %26, ptr noundef nonnull align 8 dereferenceable(24) %27, ptr noundef nonnull align 8 dereferenceable(24) %29)
          to label %174 unwind label %194

174:                                              ; preds = %173
  %175 = getelementptr inbounds %class.TolerantAssertComparer, ptr %26, i32 0, i32 1
  %176 = load ptr, ptr %175, align 8, !tbaa !16
  %177 = load i8, ptr %176, align 1, !tbaa !19, !range !21, !noundef !22
  %178 = trunc i8 %177 to i1
  %179 = xor i1 %178, true
  call void @llvm.lifetime.end.p0(i64 24, ptr %29) #10
  call void @llvm.lifetime.end.p0(i64 16, ptr %28) #10
  call void @llvm.lifetime.end.p0(i64 24, ptr %27) #10
  call void @llvm.lifetime.end.p0(i64 24, ptr %26) #10
  br i1 %179, label %180, label %210

180:                                              ; preds = %174
  %181 = call ptr @_ZTW15__testInterface()
  %182 = getelementptr inbounds %class.TestInterface, ptr %181, i32 0, i32 1
  %183 = load i8, ptr %182, align 8, !tbaa !23, !range !21, !noundef !22
  %184 = trunc i8 %183 to i1
  br i1 %184, label %185, label %199

185:                                              ; preds = %180
  br label %199

186:                                              ; preds = %160
  %187 = landingpad { ptr, i32 }
          cleanup
  %188 = extractvalue { ptr, i32 } %187, 0
  store ptr %188, ptr %3, align 8
  %189 = extractvalue { ptr, i32 } %187, 1
  store i32 %189, ptr %4, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #10
  br label %215

190:                                              ; preds = %171, %163
  %191 = landingpad { ptr, i32 }
          cleanup
  %192 = extractvalue { ptr, i32 } %191, 0
  store ptr %192, ptr %3, align 8
  %193 = extractvalue { ptr, i32 } %191, 1
  store i32 %193, ptr %4, align 4
  br label %198

194:                                              ; preds = %173, %172
  %195 = landingpad { ptr, i32 }
          cleanup
  %196 = extractvalue { ptr, i32 } %195, 0
  store ptr %196, ptr %3, align 8
  %197 = extractvalue { ptr, i32 } %195, 1
  store i32 %197, ptr %4, align 4
  call void @llvm.lifetime.end.p0(i64 24, ptr %29) #10
  br label %198

198:                                              ; preds = %194, %190
  call void @llvm.lifetime.end.p0(i64 16, ptr %28) #10
  call void @llvm.lifetime.end.p0(i64 24, ptr %27) #10
  call void @llvm.lifetime.end.p0(i64 24, ptr %26) #10
  br label %215

199:                                              ; preds = %185, %180
  %200 = call ptr @__cxa_allocate_exception(i64 16) #10
  invoke void @_ZN14AssertionErrorC1EiPKc(ptr noundef nonnull align 8 dereferenceable(12) %200, i32 noundef 73, ptr noundef @.str.3)
          to label %201 unwind label %202

201:                                              ; preds = %199
  invoke void @__cxa_throw(ptr %200, ptr @_ZTI14AssertionError, ptr null) #11
          to label %223 unwind label %206

202:                                              ; preds = %199
  %203 = landingpad { ptr, i32 }
          cleanup
  %204 = extractvalue { ptr, i32 } %203, 0
  store ptr %204, ptr %3, align 8
  %205 = extractvalue { ptr, i32 } %203, 1
  store i32 %205, ptr %4, align 4
  call void @__cxa_free_exception(ptr %200) #10
  br label %215

206:                                              ; preds = %210, %201
  %207 = landingpad { ptr, i32 }
          cleanup
  %208 = extractvalue { ptr, i32 } %207, 0
  store ptr %208, ptr %3, align 8
  %209 = extractvalue { ptr, i32 } %207, 1
  store i32 %209, ptr %4, align 4
  br label %215

210:                                              ; preds = %174
  %211 = call ptr @_ZTW15__testInterface()
  invoke void @_ZN13TestInterface10markAssertEv(ptr noundef nonnull align 8 dereferenceable(9) %211)
          to label %212 unwind label %206

212:                                              ; preds = %210
  br label %213

213:                                              ; preds = %212
  br label %214

214:                                              ; preds = %213
  call void @llvm.lifetime.end.p0(i64 24, ptr %24) #10
  call void @llvm.lifetime.end.p0(i64 24, ptr %10) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %8) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %6) #10
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #10
  call void @llvm.lifetime.end.p0(i64 48, ptr %2) #10
  call void @_ZN3P3D13MeshPrototypeD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %1) #10
  call void @llvm.lifetime.end.p0(i64 24, ptr %1) #10
  ret void

215:                                              ; preds = %206, %202, %198, %186
  call void @llvm.lifetime.end.p0(i64 24, ptr %24) #10
  br label %216

216:                                              ; preds = %215, %144
  call void @llvm.lifetime.end.p0(i64 24, ptr %10) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %8) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %6) #10
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #10
  br label %217

217:                                              ; preds = %216, %77
  call void @llvm.lifetime.end.p0(i64 48, ptr %2) #10
  call void @_ZN3P3D13MeshPrototypeD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %1) #10
  call void @llvm.lifetime.end.p0(i64 24, ptr %1) #10
  br label %218

218:                                              ; preds = %217
  %219 = load ptr, ptr %3, align 8
  %220 = load i32, ptr %4, align 4
  %221 = insertvalue { ptr, i32 } poison, ptr %219, 0
  %222 = insertvalue { ptr, i32 } %221, i32 %220, 1
  resume { ptr, i32 } %222

223:                                              ; preds = %201
  unreachable
}

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(24) ptr @_ZN3P3DpLIddLm3EEERNS_6VectorIT_XT1_EEES4_RKNS1_IT0_XT1_EEE(ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(24)) #4

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZN3P3DmlIddLm3EEENS_6VectorIDTmlixfp_Li0Efp0_EXT1_EEERKNS1_IT_XT1_EEERKT0_(ptr dead_on_unwind noalias writable sret(%"struct.P3D::Vector") align 8, ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(8)) #4

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZN3P3DdvIddLm3EEENS_6VectorIDTdvixfp_Li0Efp0_EXT1_EEERKNS1_IT_XT1_EEERKT0_(ptr dead_on_unwind noalias writable sret(%"struct.P3D::Vector") align 8, ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(8)) #4

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK21TolerantAssertBuilderIdEltIN3P3D6VectorIdLm3EEEEE22TolerantAssertComparerIT_dERKS6_(ptr dead_on_unwind noalias writable sret(%class.TolerantAssertComparer.5) align 8, ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(24)) #9 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK22TolerantAssertComparerIN3P3D6VectorIdLm3EEEdEeqIS2_EES_IbdERKT_(ptr dead_on_unwind noalias writable sret(%class.TolerantAssertComparer) align 8, ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(24)) #9 align 2

declare void @_ZNK3P3D10Polyhedron15getCenterOfMassEv(ptr dead_on_unwind writable sret(%"struct.P3D::Vector") align 8, ptr noundef nonnull align 8 dereferenceable(24)) #2

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

!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 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!7, !7, i64 0}
!10 = !{!11, !11, i64 0}
!11 = !{!"double", !7, i64 0}
!12 = distinct !{!12, !13}
!13 = !{!"llvm.loop.mustprogress"}
!14 = distinct !{!14, !13}
!15 = distinct !{!15, !13}
!16 = !{!17, !18, i64 8}
!17 = !{!"_ZTS22TolerantAssertComparerIbdE", !6, i64 0, !18, i64 8, !11, i64 16}
!18 = !{!"any pointer", !7, i64 0}
!19 = !{!20, !20, i64 0}
!20 = !{!"bool", !7, i64 0}
!21 = !{i8 0, i8 2}
!22 = !{}
!23 = !{!24, !20, i64 8}
!24 = !{!"_ZTS13TestInterface", !25, i64 0, !20, i64 8}
!25 = !{!"long", !7, i64 0}


; 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.P3D::Polyhedron" = type { %"class.P3D::TriangleMesh" }
%"class.P3D::TriangleMesh" = type { %"class.P3D::MeshPrototype" }
%"class.P3D::MeshPrototype" = type { %"class.P3D::UniqueAlignedPointer", %"class.P3D::UniqueAlignedPointer.0", i32, i32 }
%"class.P3D::UniqueAlignedPointer" = type { ptr }
%"class.P3D::UniqueAlignedPointer.0" = type { ptr }
%"struct.P3D::BoundingBoxTemplate" = type { %"struct.P3D::Vector", %"struct.P3D::Vector" }
%"struct.P3D::Vector" = type { %union.anon }
%union.anon = type { [3 x double] }
%class.TolerantAssertComparer = type { i32, ptr, double }
%class.TolerantAssertComparer.5 = type { i32, ptr, double }
%struct.TolerantAssertBuilder = type { i32, double }

@_ZN3P3D12ShapeLibrary5houseE = external global %"class.P3D::Polyhedron", align 8
@.str.3 = external hidden unnamed_addr constant [6 x i8], align 1
@_ZTI14AssertionError = external dso_local constant { ptr, ptr }, align 8

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN3P3D10PolyhedronC2ERKS0_(ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #1 align 2

declare void @_ZNK3P3D12TriangleMesh9getBoundsEv(ptr dead_on_unwind writable sret(%"struct.P3D::BoundingBoxTemplate") align 8, ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #2

declare i32 @__gxx_personality_v0(...)

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

declare noundef zeroext i1 @_ZNK3P3D10Polyhedron13containsPointENS_6VectorIfLm3EEE(ptr noundef nonnull align 8 dereferenceable(24), <2 x float>, float) local_unnamed_addr #2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZN3P3D6VectorIdLm3EEC2Eddd(ptr noundef nonnull align 8 dereferenceable(24), double noundef, double noundef, double noundef) unnamed_addr #4 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local { <2 x float>, float } @_ZNK3P3D6VectorIdLm3EEcvNS0_IT_Lm3EEEIfEEv(ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #4 align 2

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

declare noundef double @_ZNK3P3D10Polyhedron9getVolumeEv(ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZN21TolerantAssertBuilderIdEC2Eid(ptr noundef nonnull align 8 dereferenceable(16), i32 noundef, double noundef) unnamed_addr #4 align 2

; Function Attrs: uwtable
declare hidden noundef ptr @_ZTW15__testInterface() local_unnamed_addr #5

declare ptr @__cxa_allocate_exception(i64) local_unnamed_addr

declare void @_ZN14AssertionErrorC1EiPKc(ptr noundef nonnull align 8 dereferenceable(12), i32 noundef, ptr noundef) unnamed_addr #2

declare void @__cxa_free_exception(ptr) local_unnamed_addr

declare void @__cxa_throw(ptr, ptr, ptr) local_unnamed_addr

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN3P3D13MeshPrototypeD2Ev(ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #6 align 2

; Function Attrs: mustprogress uwtable
define dso_local void @_Z25centerOfMassApproximationv() local_unnamed_addr #7 personality ptr @__gxx_personality_v0 {
  %1 = alloca %"class.P3D::Polyhedron", align 8
  %2 = alloca %"struct.P3D::BoundingBoxTemplate", align 16
  %3 = alloca double, align 8
  %4 = alloca %"struct.P3D::Vector", align 8
  %5 = alloca %"struct.P3D::Vector", align 8
  %6 = alloca %"struct.P3D::Vector", align 8
  %7 = alloca %"struct.P3D::Vector", align 8
  %8 = alloca %"struct.P3D::Vector", align 8
  %9 = alloca double, align 8
  %10 = alloca %class.TolerantAssertComparer, align 8
  %11 = alloca %class.TolerantAssertComparer.5, align 8
  %12 = alloca %struct.TolerantAssertBuilder, align 8
  %13 = alloca %"struct.P3D::Vector", align 8
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %1) #9
  call void @_ZN3P3D10PolyhedronC2ERKS0_(ptr noundef nonnull align 8 dereferenceable(24) %1, ptr noundef nonnull align 8 dereferenceable(24) @_ZN3P3D12ShapeLibrary5houseE)
  call void @llvm.lifetime.start.p0(i64 48, ptr nonnull %2) #9
  invoke void @_ZNK3P3D12TriangleMesh9getBoundsEv(ptr dead_on_unwind nonnull writable sret(%"struct.P3D::BoundingBoxTemplate") align 8 %2, ptr noundef nonnull align 8 dereferenceable(24) %1)
          to label %14 unwind label %42

14:                                               ; preds = %0
  %15 = getelementptr inbounds i8, ptr %2, i64 24
  %16 = load <2 x double>, ptr %15, align 8
  %17 = load <2 x double>, ptr %2, align 16
  %18 = getelementptr inbounds i8, ptr %2, i64 32
  %19 = load double, ptr %18, align 16, !tbaa !5
  %20 = getelementptr inbounds i8, ptr %2, i64 8
  %21 = load double, ptr %20, align 8, !tbaa !5
  %22 = fsub double %19, %21
  %23 = fdiv double %22, 1.000000e+02
  %24 = getelementptr inbounds i8, ptr %2, i64 40
  %25 = load double, ptr %24, align 8, !tbaa !5
  %26 = getelementptr inbounds i8, ptr %2, i64 16
  %27 = load double, ptr %26, align 16, !tbaa !5
  %28 = insertelement <2 x double> %16, double %25, i64 1
  %29 = insertelement <2 x double> %17, double %27, i64 1
  %30 = fsub <2 x double> %28, %29
  %31 = fdiv <2 x double> %30, <double 1.000000e+02, double 1.000000e+02>
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %3) #9
  %32 = extractelement <2 x double> %31, i64 0
  %33 = fmul double %32, %23
  %34 = extractelement <2 x double> %31, i64 1
  %35 = fmul double %33, %34
  store double %35, ptr %3, align 8, !tbaa !8
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %4) #9
  call void @_ZN3P3D6VectorIdLm3EEC2Eddd(ptr noundef nonnull align 8 dereferenceable(24) %4, double noundef 0.000000e+00, double noundef 0.000000e+00, double noundef 0.000000e+00) #9
  %36 = fmul double %32, 5.000000e-01
  %37 = fmul double %23, 5.000000e-01
  %38 = fmul double %34, 5.000000e-01
  br label %.preheader51

.preheader51:                                     ; preds = %14, %45
  %.04254 = phi i32 [ 0, %14 ], [ %46, %45 ]
  %39 = uitofp nneg i32 %.04254 to double
  br label %.preheader

40:                                               ; preds = %45
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %8) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %9) #9
  %41 = invoke noundef double @_ZNK3P3D10Polyhedron9getVolumeEv(ptr noundef nonnull align 8 dereferenceable(24) %1)
          to label %69 unwind label %84

42:                                               ; preds = %0
  %43 = landingpad { ptr, i32 }
          cleanup
  br label %99

.preheader:                                       ; preds = %.preheader51, %47
  %.04353 = phi i32 [ 0, %.preheader51 ], [ %48, %47 ]
  %44 = uitofp nneg i32 %.04353 to double
  br label %49

45:                                               ; preds = %47
  %46 = add nuw nsw i32 %.04254, 1
  %exitcond56.not = icmp eq i32 %46, 100
  br i1 %exitcond56.not, label %40, label %.preheader51, !llvm.loop !10

47:                                               ; preds = %67
  %48 = add nuw nsw i32 %.04353, 1
  %exitcond55.not = icmp eq i32 %48, 100
  br i1 %exitcond55.not, label %45, label %.preheader, !llvm.loop !12

49:                                               ; preds = %.preheader, %67
  %.04452 = phi i32 [ 0, %.preheader ], [ %68, %67 ]
  %50 = load double, ptr %2, align 16, !tbaa !5
  %51 = call double @llvm.fmuladd.f64(double %32, double %39, double %50)
  %52 = fadd double %36, %51
  %53 = load double, ptr %20, align 8, !tbaa !5
  %54 = call double @llvm.fmuladd.f64(double %23, double %44, double %53)
  %55 = fadd double %37, %54
  %56 = load double, ptr %26, align 16, !tbaa !5
  %57 = uitofp nneg i32 %.04452 to double
  %58 = call double @llvm.fmuladd.f64(double %34, double %57, double %56)
  %59 = fadd double %38, %58
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %5) #9
  call void @_ZN3P3D6VectorIdLm3EEC2Eddd(ptr noundef nonnull align 8 dereferenceable(24) %5, double noundef %52, double noundef %55, double noundef %59) #9
  %60 = call { <2 x float>, float } @_ZNK3P3D6VectorIdLm3EEcvNS0_IT_Lm3EEEIfEEv(ptr noundef nonnull align 8 dereferenceable(24) %5) #9
  %.fca.0.extract = extractvalue { <2 x float>, float } %60, 0
  %.fca.1.extract = extractvalue { <2 x float>, float } %60, 1
  %61 = invoke noundef zeroext i1 @_ZNK3P3D10Polyhedron13containsPointENS_6VectorIfLm3EEE(ptr noundef nonnull align 8 dereferenceable(24) %1, <2 x float> %.fca.0.extract, float %.fca.1.extract)
          to label %62 unwind label %65

62:                                               ; preds = %49
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %5) #9
  br i1 %61, label %63, label %67

63:                                               ; preds = %62
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %6) #9
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %7) #9
  call void @_ZN3P3D6VectorIdLm3EEC2Eddd(ptr noundef nonnull align 8 dereferenceable(24) %7, double noundef %52, double noundef %55, double noundef %59) #9
  call void @_ZN3P3DmlIddLm3EEENS_6VectorIDTmlixfp_Li0Efp0_EXT1_EEERKNS1_IT_XT1_EEERKT0_(ptr dead_on_unwind nonnull writable sret(%"struct.P3D::Vector") align 8 %6, ptr noundef nonnull align 8 dereferenceable(24) %7, ptr noundef nonnull align 8 dereferenceable(8) %3) #9
  %64 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZN3P3DpLIddLm3EEERNS_6VectorIT_XT1_EEES4_RKNS1_IT0_XT1_EEE(ptr noundef nonnull align 8 dereferenceable(24) %4, ptr noundef nonnull align 8 dereferenceable(24) %6) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %7) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %6) #9
  br label %67

65:                                               ; preds = %49
  %66 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %5) #9
  br label %98

67:                                               ; preds = %63, %62
  %68 = add nuw nsw i32 %.04452, 1
  %exitcond.not = icmp eq i32 %68, 100
  br i1 %exitcond.not, label %47, label %49, !llvm.loop !13

69:                                               ; preds = %40
  store double %41, ptr %9, align 8, !tbaa !8
  call void @_ZN3P3DdvIddLm3EEENS_6VectorIDTdvixfp_Li0Efp0_EXT1_EEERKNS1_IT_XT1_EEERKT0_(ptr dead_on_unwind nonnull writable sret(%"struct.P3D::Vector") align 8 %8, ptr noundef nonnull align 8 dereferenceable(24) %4, ptr noundef nonnull align 8 dereferenceable(8) %9) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #9
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %10) #9
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %11) #9
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %12) #9
  %70 = fadd double %32, %23
  %71 = fadd double %70, %34
  %72 = fdiv double %71, 3.000000e+00
  %73 = fmul double %72, 1.000000e-02
  call void @_ZN21TolerantAssertBuilderIdEC2Eid(ptr noundef nonnull align 8 dereferenceable(16) %12, i32 noundef 73, double noundef %73)
  invoke void @_ZNK21TolerantAssertBuilderIdEltIN3P3D6VectorIdLm3EEEEE22TolerantAssertComparerIT_dERKS6_(ptr dead_on_unwind nonnull writable sret(%class.TolerantAssertComparer.5) align 8 %11, ptr noundef nonnull align 8 dereferenceable(16) %12, ptr noundef nonnull align 8 dereferenceable(24) %8)
          to label %74 unwind label %86

74:                                               ; preds = %69
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %13) #9
  invoke void @_ZNK3P3D10Polyhedron15getCenterOfMassEv(ptr dead_on_unwind nonnull writable sret(%"struct.P3D::Vector") align 8 %13, ptr noundef nonnull align 8 dereferenceable(24) %1)
          to label %75 unwind label %88

75:                                               ; preds = %74
  invoke void @_ZNK22TolerantAssertComparerIN3P3D6VectorIdLm3EEEdEeqIS2_EES_IbdERKT_(ptr dead_on_unwind nonnull writable sret(%class.TolerantAssertComparer) align 8 %10, ptr noundef nonnull align 8 dereferenceable(24) %11, ptr noundef nonnull align 8 dereferenceable(24) %13)
          to label %76 unwind label %88

76:                                               ; preds = %75
  %77 = getelementptr inbounds i8, ptr %10, i64 8
  %78 = load ptr, ptr %77, align 8, !tbaa !14
  %79 = load i8, ptr %78, align 1, !tbaa !18, !range !20, !noundef !21
  %80 = trunc nuw i8 %79 to i1
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %13) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %12) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %11) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %10) #9
  %81 = call ptr @_ZTW15__testInterface()
  br i1 %80, label %96, label %82

82:                                               ; preds = %76
  %83 = call ptr @__cxa_allocate_exception(i64 16) #9
  invoke void @_ZN14AssertionErrorC1EiPKc(ptr noundef nonnull align 8 dereferenceable(12) %83, i32 noundef 73, ptr noundef nonnull @.str.3)
          to label %91 unwind label %92

84:                                               ; preds = %40
  %85 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #9
  br label %97

86:                                               ; preds = %69
  %87 = landingpad { ptr, i32 }
          cleanup
  br label %90

88:                                               ; preds = %75, %74
  %89 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %13) #9
  br label %90

90:                                               ; preds = %88, %86
  %.pn = phi { ptr, i32 } [ %89, %88 ], [ %87, %86 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %12) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %11) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %10) #9
  br label %97

91:                                               ; preds = %82
  invoke void @__cxa_throw(ptr nonnull %83, ptr nonnull @_ZTI14AssertionError, ptr null) #10
          to label %100 unwind label %94

92:                                               ; preds = %82
  %93 = landingpad { ptr, i32 }
          cleanup
  call void @__cxa_free_exception(ptr %83) #9
  br label %97

94:                                               ; preds = %91
  %95 = landingpad { ptr, i32 }
          cleanup
  br label %97

96:                                               ; preds = %76
  call void @_ZN13TestInterface10markAssertEv(ptr noundef nonnull align 8 dereferenceable(9) %81)
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %8) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %4) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %3) #9
  call void @llvm.lifetime.end.p0(i64 48, ptr nonnull %2) #9
  call void @_ZN3P3D13MeshPrototypeD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %1) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %1) #9
  ret void

97:                                               ; preds = %94, %92, %90, %84
  %.pn46 = phi { ptr, i32 } [ %95, %94 ], [ %93, %92 ], [ %.pn, %90 ], [ %85, %84 ]
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %8) #9
  br label %98

98:                                               ; preds = %97, %65
  %.pn48 = phi { ptr, i32 } [ %66, %65 ], [ %.pn46, %97 ]
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %4) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %3) #9
  br label %99

99:                                               ; preds = %98, %42
  %.pn48.pn = phi { ptr, i32 } [ %.pn48, %98 ], [ %43, %42 ]
  call void @llvm.lifetime.end.p0(i64 48, ptr nonnull %2) #9
  call void @_ZN3P3D13MeshPrototypeD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %1) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %1) #9
  resume { ptr, i32 } %.pn48.pn

100:                                              ; preds = %91
  unreachable
}

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZN3P3DmlIddLm3EEENS_6VectorIDTmlixfp_Li0Efp0_EXT1_EEERKNS1_IT_XT1_EEERKT0_(ptr dead_on_unwind noalias writable sret(%"struct.P3D::Vector") align 8, ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #4

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZN3P3DdvIddLm3EEENS_6VectorIDTdvixfp_Li0Efp0_EXT1_EEERKNS1_IT_XT1_EEERKT0_(ptr dead_on_unwind noalias writable sret(%"struct.P3D::Vector") align 8, ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #4

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK21TolerantAssertBuilderIdEltIN3P3D6VectorIdLm3EEEEE22TolerantAssertComparerIT_dERKS6_(ptr dead_on_unwind noalias writable sret(%class.TolerantAssertComparer.5) align 8, ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #8 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK22TolerantAssertComparerIN3P3D6VectorIdLm3EEEdEeqIS2_EES_IbdERKT_(ptr dead_on_unwind noalias writable sret(%class.TolerantAssertComparer) align 8, ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #8 align 2

declare void @_ZNK3P3D10Polyhedron15getCenterOfMassEv(ptr dead_on_unwind writable sret(%"struct.P3D::Vector") align 8, ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #2

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

!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 = !{!"omnipotent char", !7, i64 0}
!7 = !{!"Simple C++ TBAA"}
!8 = !{!9, !9, i64 0}
!9 = !{!"double", !6, i64 0}
!10 = distinct !{!10, !11}
!11 = !{!"llvm.loop.mustprogress"}
!12 = distinct !{!12, !11}
!13 = distinct !{!13, !11}
!14 = !{!15, !17, i64 8}
!15 = !{!"_ZTS22TolerantAssertComparerIbdE", !16, i64 0, !17, i64 8, !9, i64 16}
!16 = !{!"int", !6, i64 0}
!17 = !{!"any pointer", !6, i64 0}
!18 = !{!19, !19, i64 0}
!19 = !{!"bool", !6, i64 0}
!20 = !{i8 0, i8 2}
!21 = !{}


; Effective O3 passes: EarlyCSEPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferAlignmentPass,InferFunctionAttrsPass,InstCombinePass,LICMPass,LoopRotatePass,LoopSimplifyPass,ReassociatePass,SLPVectorizerPass,SROAPass,SimplifyCFGPass,VectorCombinePass