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

; 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.4 = 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: mustprogress uwtable
define dso_local void @_Z19volumeApproximationv() #0 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 i64, 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 double, align 8
  %23 = alloca %class.TolerantAssertComparer, align 8
  %24 = alloca %class.TolerantAssertComparer.4, align 8
  %25 = alloca %struct.TolerantAssertBuilder, align 8
  %26 = alloca double, 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 %27 unwind label %74

27:                                               ; 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
  %28 = getelementptr inbounds %"struct.P3D::BoundingBoxTemplate", ptr %2, i32 0, i32 1
  %29 = getelementptr inbounds %"struct.P3D::Vector", ptr %28, i32 0, i32 0
  %30 = getelementptr inbounds %struct.anon, ptr %29, i32 0, i32 0
  %31 = load double, ptr %30, align 8, !tbaa !9
  %32 = getelementptr inbounds %"struct.P3D::BoundingBoxTemplate", ptr %2, i32 0, i32 0
  %33 = getelementptr inbounds %"struct.P3D::Vector", ptr %32, i32 0, i32 0
  %34 = getelementptr inbounds %struct.anon, ptr %33, i32 0, i32 0
  %35 = load double, ptr %34, align 8, !tbaa !9
  %36 = fsub double %31, %35
  %37 = load i32, ptr %5, align 4, !tbaa !5
  %38 = sitofp i32 %37 to double
  %39 = fdiv double %36, %38
  store double %39, ptr %6, align 8, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 8, ptr %7) #10
  %40 = getelementptr inbounds %"struct.P3D::BoundingBoxTemplate", ptr %2, i32 0, i32 1
  %41 = getelementptr inbounds %"struct.P3D::Vector", ptr %40, i32 0, i32 0
  %42 = getelementptr inbounds %struct.anon, ptr %41, i32 0, i32 1
  %43 = load double, ptr %42, align 8, !tbaa !9
  %44 = getelementptr inbounds %"struct.P3D::BoundingBoxTemplate", ptr %2, i32 0, i32 0
  %45 = getelementptr inbounds %"struct.P3D::Vector", ptr %44, i32 0, i32 0
  %46 = getelementptr inbounds %struct.anon, ptr %45, i32 0, i32 1
  %47 = load double, ptr %46, align 8, !tbaa !9
  %48 = fsub double %43, %47
  %49 = load i32, ptr %5, align 4, !tbaa !5
  %50 = sitofp i32 %49 to double
  %51 = fdiv double %48, %50
  store double %51, ptr %7, align 8, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 8, ptr %8) #10
  %52 = getelementptr inbounds %"struct.P3D::BoundingBoxTemplate", ptr %2, i32 0, i32 1
  %53 = getelementptr inbounds %"struct.P3D::Vector", ptr %52, i32 0, i32 0
  %54 = getelementptr inbounds %struct.anon, ptr %53, i32 0, i32 2
  %55 = load double, ptr %54, align 8, !tbaa !9
  %56 = getelementptr inbounds %"struct.P3D::BoundingBoxTemplate", ptr %2, i32 0, i32 0
  %57 = getelementptr inbounds %"struct.P3D::Vector", ptr %56, i32 0, i32 0
  %58 = getelementptr inbounds %struct.anon, ptr %57, i32 0, i32 2
  %59 = load double, ptr %58, align 8, !tbaa !9
  %60 = fsub double %55, %59
  %61 = load i32, ptr %5, align 4, !tbaa !5
  %62 = sitofp i32 %61 to double
  %63 = fdiv double %60, %62
  store double %63, ptr %8, align 8, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #10
  %64 = load double, ptr %6, align 8, !tbaa !10
  %65 = load double, ptr %7, align 8, !tbaa !10
  %66 = fmul double %64, %65
  %67 = load double, ptr %8, align 8, !tbaa !10
  %68 = fmul double %66, %67
  store double %68, ptr %9, align 8, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #10
  store i64 0, ptr %10, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #10
  store i32 0, ptr %11, align 4, !tbaa !5
  br label %69

69:                                               ; preds = %152, %27
  %70 = load i32, ptr %11, align 4, !tbaa !5
  %71 = load i32, ptr %5, align 4, !tbaa !5
  %72 = icmp slt i32 %70, %71
  br i1 %72, label %78, label %73

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

74:                                               ; preds = %0
  %75 = landingpad { ptr, i32 }
          cleanup
  %76 = extractvalue { ptr, i32 } %75, 0
  store ptr %76, ptr %3, align 8
  %77 = extractvalue { ptr, i32 } %75, 1
  store i32 %77, ptr %4, align 4
  br label %207

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

79:                                               ; preds = %148, %78
  %80 = load i32, ptr %13, align 4, !tbaa !5
  %81 = load i32, ptr %5, align 4, !tbaa !5
  %82 = icmp slt i32 %80, %81
  br i1 %82, label %84, label %83

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

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

85:                                               ; preds = %144, %84
  %86 = load i32, ptr %14, align 4, !tbaa !5
  %87 = load i32, ptr %5, align 4, !tbaa !5
  %88 = icmp slt i32 %86, %87
  br i1 %88, label %90, label %89

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

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

135:                                              ; preds = %90
  call void @llvm.lifetime.end.p0(i64 24, ptr %19) #10
  br i1 %134, label %136, label %143

136:                                              ; preds = %135
  %137 = load i64, ptr %10, align 8, !tbaa !12
  %138 = add nsw i64 %137, 1
  store i64 %138, ptr %10, align 8, !tbaa !12
  br label %143

139:                                              ; preds = %90
  %140 = landingpad { ptr, i32 }
          cleanup
  %141 = extractvalue { ptr, i32 } %140, 0
  store ptr %141, ptr %3, align 8
  %142 = extractvalue { ptr, i32 } %140, 1
  store i32 %142, 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 %206

143:                                              ; preds = %136, %135
  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 %144

144:                                              ; preds = %143
  %145 = load i32, ptr %14, align 4, !tbaa !5
  %146 = add nsw i32 %145, 1
  store i32 %146, ptr %14, align 4, !tbaa !5
  br label %85, !llvm.loop !14

147:                                              ; preds = %89
  br label %148

148:                                              ; preds = %147
  %149 = load i32, ptr %13, align 4, !tbaa !5
  %150 = add nsw i32 %149, 1
  store i32 %150, ptr %13, align 4, !tbaa !5
  br label %79, !llvm.loop !16

151:                                              ; preds = %83
  br label %152

152:                                              ; preds = %151
  %153 = load i32, ptr %11, align 4, !tbaa !5
  %154 = add nsw i32 %153, 1
  store i32 %154, ptr %11, align 4, !tbaa !5
  br label %69, !llvm.loop !17

155:                                              ; preds = %73
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #10
  %156 = load i64, ptr %10, align 8, !tbaa !12
  %157 = sitofp i64 %156 to double
  %158 = load double, ptr %9, align 8, !tbaa !10
  %159 = fmul double %157, %158
  store double %159, ptr %22, align 8, !tbaa !10
  br label %160

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

162:                                              ; preds = %160
  %163 = fmul double %161, 1.000000e-03
  invoke void @_ZN21TolerantAssertBuilderIdEC2Eid(ptr noundef nonnull align 8 dereferenceable(16) %25, i32 noundef 39, double noundef %163)
          to label %164 unwind label %180

164:                                              ; preds = %162
  invoke void @_ZNK21TolerantAssertBuilderIdEltIdEE22TolerantAssertComparerIT_dERKS3_(ptr dead_on_unwind writable sret(%class.TolerantAssertComparer.4) align 8 %24, ptr noundef nonnull align 8 dereferenceable(16) %25, ptr noundef nonnull align 8 dereferenceable(8) %22)
          to label %165 unwind label %180

165:                                              ; preds = %164
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #10
  %166 = invoke noundef double @_ZNK3P3D10Polyhedron9getVolumeEv(ptr noundef nonnull align 8 dereferenceable(24) %1)
          to label %167 unwind label %184

167:                                              ; preds = %165
  store double %166, ptr %26, align 8, !tbaa !10
  invoke void @_ZNK22TolerantAssertComparerIddEeqIdEES_IbdERKT_(ptr dead_on_unwind writable sret(%class.TolerantAssertComparer) align 8 %23, ptr noundef nonnull align 8 dereferenceable(24) %24, ptr noundef nonnull align 8 dereferenceable(8) %26)
          to label %168 unwind label %184

168:                                              ; preds = %167
  %169 = getelementptr inbounds %class.TolerantAssertComparer, ptr %23, i32 0, i32 1
  %170 = load ptr, ptr %169, align 8, !tbaa !18
  %171 = load i8, ptr %170, align 1, !tbaa !21, !range !23, !noundef !24
  %172 = trunc i8 %171 to i1
  %173 = xor i1 %172, true
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #10
  call void @llvm.lifetime.end.p0(i64 16, ptr %25) #10
  call void @llvm.lifetime.end.p0(i64 24, ptr %24) #10
  call void @llvm.lifetime.end.p0(i64 24, ptr %23) #10
  br i1 %173, label %174, label %200

174:                                              ; preds = %168
  %175 = call ptr @_ZTW15__testInterface()
  %176 = getelementptr inbounds %class.TestInterface, ptr %175, i32 0, i32 1
  %177 = load i8, ptr %176, align 8, !tbaa !25, !range !23, !noundef !24
  %178 = trunc i8 %177 to i1
  br i1 %178, label %179, label %189

179:                                              ; preds = %174
  br label %189

180:                                              ; preds = %164, %162, %160
  %181 = landingpad { ptr, i32 }
          cleanup
  %182 = extractvalue { ptr, i32 } %181, 0
  store ptr %182, ptr %3, align 8
  %183 = extractvalue { ptr, i32 } %181, 1
  store i32 %183, ptr %4, align 4
  br label %188

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

188:                                              ; preds = %184, %180
  call void @llvm.lifetime.end.p0(i64 16, ptr %25) #10
  call void @llvm.lifetime.end.p0(i64 24, ptr %24) #10
  call void @llvm.lifetime.end.p0(i64 24, ptr %23) #10
  br label %205

189:                                              ; preds = %179, %174
  %190 = call ptr @__cxa_allocate_exception(i64 16) #10
  invoke void @_ZN14AssertionErrorC1EiPKc(ptr noundef nonnull align 8 dereferenceable(12) %190, i32 noundef 39, ptr noundef @.str.3)
          to label %191 unwind label %192

191:                                              ; preds = %189
  invoke void @__cxa_throw(ptr %190, ptr @_ZTI14AssertionError, ptr null) #11
          to label %213 unwind label %196

192:                                              ; preds = %189
  %193 = landingpad { ptr, i32 }
          cleanup
  %194 = extractvalue { ptr, i32 } %193, 0
  store ptr %194, ptr %3, align 8
  %195 = extractvalue { ptr, i32 } %193, 1
  store i32 %195, ptr %4, align 4
  call void @__cxa_free_exception(ptr %190) #10
  br label %205

196:                                              ; preds = %200, %191
  %197 = landingpad { ptr, i32 }
          cleanup
  %198 = extractvalue { ptr, i32 } %197, 0
  store ptr %198, ptr %3, align 8
  %199 = extractvalue { ptr, i32 } %197, 1
  store i32 %199, ptr %4, align 4
  br label %205

200:                                              ; preds = %168
  %201 = call ptr @_ZTW15__testInterface()
  invoke void @_ZN13TestInterface10markAssertEv(ptr noundef nonnull align 8 dereferenceable(9) %201)
          to label %202 unwind label %196

202:                                              ; preds = %200
  br label %203

203:                                              ; preds = %202
  br label %204

204:                                              ; preds = %203
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #10
  call void @llvm.lifetime.end.p0(i64 8, 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

205:                                              ; preds = %196, %192, %188
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #10
  br label %206

206:                                              ; preds = %205, %139
  call void @llvm.lifetime.end.p0(i64 8, 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 %207

207:                                              ; preds = %206, %74
  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 %208

208:                                              ; preds = %207
  %209 = load ptr, ptr %3, align 8
  %210 = load i32, ptr %4, align 4
  %211 = insertvalue { ptr, i32 } poison, ptr %209, 0
  %212 = insertvalue { ptr, i32 } %211, i32 %210, 1
  resume { ptr, i32 } %212

213:                                              ; preds = %191
  unreachable
}

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

; 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 #2 align 2

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

declare i32 @__gxx_personality_v0(...)

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

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

; 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 #5 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local { <2 x float>, float } @_ZNK3P3D6VectorIdLm3EEcvNS0_IT_Lm3EEEIfEEv(ptr noundef nonnull align 8 dereferenceable(24)) #5 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) #6

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK22TolerantAssertComparerIddEeqIdEES_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(8)) #7 align 2

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

declare ptr @__cxa_allocate_exception(i64)

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

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)) #9 align 2

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

attributes #0 = { 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 #1 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { 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 #3 = { "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 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #7 = { 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 #8 = { 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 #9 = { 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 #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 = !{!13, !13, i64 0}
!13 = !{!"long", !7, i64 0}
!14 = distinct !{!14, !15}
!15 = !{!"llvm.loop.mustprogress"}
!16 = distinct !{!16, !15}
!17 = distinct !{!17, !15}
!18 = !{!19, !20, i64 8}
!19 = !{!"_ZTS22TolerantAssertComparerIbdE", !6, i64 0, !20, i64 8, !11, i64 16}
!20 = !{!"any pointer", !7, i64 0}
!21 = !{!22, !22, i64 0}
!22 = !{!"bool", !7, i64 0}
!23 = !{i8 0, i8 2}
!24 = !{}
!25 = !{!26, !22, i64 8}
!26 = !{!"_ZTS13TestInterface", !13, i64 0, !22, i64 8}


; 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.4 = 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 uwtable
define dso_local void @_Z19volumeApproximationv() local_unnamed_addr #0 personality ptr @__gxx_personality_v0 {
  %1 = alloca %"class.P3D::Polyhedron", align 8
  %2 = alloca %"struct.P3D::BoundingBoxTemplate", align 8
  %3 = alloca %"struct.P3D::Vector", align 8
  %4 = alloca double, align 8
  %5 = alloca %class.TolerantAssertComparer, align 8
  %6 = alloca %class.TolerantAssertComparer.4, align 8
  %7 = alloca %struct.TolerantAssertBuilder, align 8
  %8 = alloca double, 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 %9 unwind label %37

9:                                                ; preds = %0
  %10 = getelementptr inbounds i8, ptr %2, i64 24
  %11 = load double, ptr %10, align 8, !tbaa !5
  %12 = load double, ptr %2, align 8, !tbaa !5
  %13 = fsub double %11, %12
  %14 = fdiv double %13, 1.000000e+02
  %15 = getelementptr inbounds i8, ptr %2, i64 32
  %16 = load double, ptr %15, align 8, !tbaa !5
  %17 = getelementptr inbounds i8, ptr %2, i64 8
  %18 = load double, ptr %17, align 8, !tbaa !5
  %19 = fsub double %16, %18
  %20 = fdiv double %19, 1.000000e+02
  %21 = getelementptr inbounds i8, ptr %2, i64 40
  %22 = load double, ptr %21, align 8, !tbaa !5
  %23 = getelementptr inbounds i8, ptr %2, i64 16
  %24 = load double, ptr %23, align 8, !tbaa !5
  %25 = fsub double %22, %24
  %26 = fdiv double %25, 1.000000e+02
  %27 = fmul double %14, %20
  %28 = fmul double %27, %26
  %29 = fmul double %14, 5.000000e-01
  %30 = fmul double %20, 5.000000e-01
  %31 = fmul double %26, 5.000000e-01
  br label %.preheader52

.preheader52:                                     ; preds = %9, %40
  %.03961 = phi i64 [ 0, %9 ], [ %spec.select, %40 ]
  %.04360 = phi i32 [ 0, %9 ], [ %41, %40 ]
  %32 = uitofp nneg i32 %.04360 to double
  br label %.preheader

33:                                               ; preds = %40
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %4) #9
  %34 = sitofp i64 %spec.select to double
  %35 = fmul double %28, %34
  store double %35, ptr %4, align 8, !tbaa !8
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %5) #9
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %6) #9
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %7) #9
  %36 = invoke noundef double @_ZNK3P3D10Polyhedron9getVolumeEv(ptr noundef nonnull align 8 dereferenceable(24) %1)
          to label %62 unwind label %75

37:                                               ; preds = %0
  %38 = landingpad { ptr, i32 }
          cleanup
  br label %87

.preheader:                                       ; preds = %.preheader52, %42
  %.14059 = phi i64 [ %.03961, %.preheader52 ], [ %spec.select, %42 ]
  %.04458 = phi i32 [ 0, %.preheader52 ], [ %43, %42 ]
  %39 = uitofp nneg i32 %.04458 to double
  br label %44

40:                                               ; preds = %42
  %41 = add nuw nsw i32 %.04360, 1
  %exitcond63.not = icmp eq i32 %41, 100
  br i1 %exitcond63.not, label %33, label %.preheader52, !llvm.loop !10

42:                                               ; preds = %57
  %43 = add nuw nsw i32 %.04458, 1
  %exitcond62.not = icmp eq i32 %43, 100
  br i1 %exitcond62.not, label %40, label %.preheader, !llvm.loop !12

44:                                               ; preds = %.preheader, %57
  %.24157 = phi i64 [ %.14059, %.preheader ], [ %spec.select, %57 ]
  %.04556 = phi i32 [ 0, %.preheader ], [ %59, %57 ]
  %45 = load double, ptr %2, align 8, !tbaa !5
  %46 = call double @llvm.fmuladd.f64(double %14, double %32, double %45)
  %47 = fadd double %29, %46
  %48 = load double, ptr %17, align 8, !tbaa !5
  %49 = call double @llvm.fmuladd.f64(double %20, double %39, double %48)
  %50 = fadd double %30, %49
  %51 = load double, ptr %23, align 8, !tbaa !5
  %52 = uitofp nneg i32 %.04556 to double
  %53 = call double @llvm.fmuladd.f64(double %26, double %52, double %51)
  %54 = fadd double %31, %53
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %3) #9
  call void @_ZN3P3D6VectorIdLm3EEC2Eddd(ptr noundef nonnull align 8 dereferenceable(24) %3, double noundef %47, double noundef %50, double noundef %54) #9
  %55 = call { <2 x float>, float } @_ZNK3P3D6VectorIdLm3EEcvNS0_IT_Lm3EEEIfEEv(ptr noundef nonnull align 8 dereferenceable(24) %3) #9
  %.fca.0.extract = extractvalue { <2 x float>, float } %55, 0
  %.fca.1.extract = extractvalue { <2 x float>, float } %55, 1
  %56 = 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 %57 unwind label %60

57:                                               ; preds = %44
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %3) #9
  %58 = zext i1 %56 to i64
  %spec.select = add nsw i64 %.24157, %58
  %59 = add nuw nsw i32 %.04556, 1
  %exitcond.not = icmp eq i32 %59, 100
  br i1 %exitcond.not, label %42, label %44, !llvm.loop !13

60:                                               ; preds = %44
  %61 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %3) #9
  br label %87

62:                                               ; preds = %33
  %63 = fmul double %36, 1.000000e-03
  call void @_ZN21TolerantAssertBuilderIdEC2Eid(ptr noundef nonnull align 8 dereferenceable(16) %7, i32 noundef 39, double noundef %63)
  invoke void @_ZNK21TolerantAssertBuilderIdEltIdEE22TolerantAssertComparerIT_dERKS3_(ptr dead_on_unwind nonnull writable sret(%class.TolerantAssertComparer.4) align 8 %6, ptr noundef nonnull align 8 dereferenceable(16) %7, ptr noundef nonnull align 8 dereferenceable(8) %4)
          to label %64 unwind label %75

64:                                               ; preds = %62
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %8) #9
  %65 = invoke noundef double @_ZNK3P3D10Polyhedron9getVolumeEv(ptr noundef nonnull align 8 dereferenceable(24) %1)
          to label %66 unwind label %77

66:                                               ; preds = %64
  store double %65, ptr %8, align 8, !tbaa !8
  invoke void @_ZNK22TolerantAssertComparerIddEeqIdEES_IbdERKT_(ptr dead_on_unwind nonnull writable sret(%class.TolerantAssertComparer) align 8 %5, ptr noundef nonnull align 8 dereferenceable(24) %6, ptr noundef nonnull align 8 dereferenceable(8) %8)
          to label %67 unwind label %77

67:                                               ; preds = %66
  %68 = getelementptr inbounds i8, ptr %5, i64 8
  %69 = load ptr, ptr %68, align 8, !tbaa !14
  %70 = load i8, ptr %69, align 1, !tbaa !18, !range !20, !noundef !21
  %71 = trunc nuw i8 %70 to i1
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %8) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %7) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %6) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %5) #9
  %72 = call ptr @_ZTW15__testInterface()
  br i1 %71, label %85, label %73

73:                                               ; preds = %67
  %74 = call ptr @__cxa_allocate_exception(i64 16) #9
  invoke void @_ZN14AssertionErrorC1EiPKc(ptr noundef nonnull align 8 dereferenceable(12) %74, i32 noundef 39, ptr noundef nonnull @.str.3)
          to label %80 unwind label %81

75:                                               ; preds = %62, %33
  %76 = landingpad { ptr, i32 }
          cleanup
  br label %79

77:                                               ; preds = %66, %64
  %78 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %8) #9
  br label %79

79:                                               ; preds = %77, %75
  %.pn = phi { ptr, i32 } [ %78, %77 ], [ %76, %75 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %7) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %6) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %5) #9
  br label %86

80:                                               ; preds = %73
  invoke void @__cxa_throw(ptr nonnull %74, ptr nonnull @_ZTI14AssertionError, ptr null) #10
          to label %88 unwind label %83

81:                                               ; preds = %73
  %82 = landingpad { ptr, i32 }
          cleanup
  call void @__cxa_free_exception(ptr %74) #9
  br label %86

83:                                               ; preds = %80
  %84 = landingpad { ptr, i32 }
          cleanup
  br label %86

85:                                               ; preds = %67
  call void @_ZN13TestInterface10markAssertEv(ptr noundef nonnull align 8 dereferenceable(9) %72)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %4) #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

86:                                               ; preds = %83, %81, %79
  %.pn47 = phi { ptr, i32 } [ %84, %83 ], [ %82, %81 ], [ %.pn, %79 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %4) #9
  br label %87

87:                                               ; preds = %60, %86, %37
  %.pn49.pn = phi { ptr, i32 } [ %38, %37 ], [ %61, %60 ], [ %.pn47, %86 ]
  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 } %.pn49.pn

88:                                               ; preds = %80
  unreachable
}

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

; 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 #2 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 #3

declare i32 @__gxx_personality_v0(...)

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

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

; 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 #5 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 #5 align 2

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK22TolerantAssertComparerIddEeqIdEES_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(8)) local_unnamed_addr #6 align 2

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

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 #3

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 #8 align 2

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

attributes #0 = { 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 #1 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { 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 #3 = { "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 = { mustprogress 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"="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 = { 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 #8 = { 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 #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,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferFunctionAttrsPass,InstCombinePass,InstSimplifyPass,LCSSAPass,LICMPass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,ReassociatePass,SROAPass,SimplifyCFGPass