; LLVM IR from ETH3D/dataset-pipeline :: thirdparty/cork/cork/isct (triangle)

; Unoptimized IR (clang -disable-llvm-passes):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%struct.otri = type { ptr, i32 }
%struct.osub = type { ptr, i32 }
%struct.mesh = type { %struct.memorypool, %struct.memorypool, %struct.memorypool, %struct.memorypool, %struct.memorypool, %struct.memorypool, %struct.memorypool, %struct.memorypool, [4096 x ptr], [4096 x ptr], [4096 x i32], i32, ptr, double, double, double, double, double, i32, i32, i32, i32, i32, i32, i64, i32, i32, i32, i64, i32, i32, i32, i32, i32, i32, i32, i32, i32, i64, i64, i64, i64, i64, i64, i64, ptr, ptr, ptr, ptr, ptr, ptr, ptr, %struct.otri }
%struct.memorypool = type { ptr, ptr, ptr, ptr, ptr, ptr, i32, i32, i32, i32, i64, i64, i32, i32 }
%struct.badsubseg = type { ptr, ptr, ptr }
%struct.behavior = type { i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, double, double, double, double, [2048 x i8], [2048 x i8], [2048 x i8], [2048 x i8], [2048 x i8], [2048 x i8], [2048 x i8], [2048 x i8], [2048 x i8], [2048 x i8], [2048 x i8], [2048 x i8] }

@plus1mod3 = external dso_local global [3 x i32], align 4
@minus1mod3 = external dso_local global [3 x i32], align 4
@.str.1006 = external hidden unnamed_addr constant [73 x i8], align 1
@.str.1008 = external hidden unnamed_addr constant [31 x i8], align 1
@.str.1040 = external hidden unnamed_addr constant [49 x i8], align 1
@.str.1041 = external hidden unnamed_addr constant [55 x i8], align 1
@.str.1042 = external hidden unnamed_addr constant [50 x i8], align 1
@.str.1043 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.1044 = external hidden unnamed_addr constant [35 x i8], align 1

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

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

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

; Function Attrs: nounwind uwtable
declare dso_local void @triexit(i32 noundef) #2

declare i32 @printf(ptr noundef, ...) #3

; Function Attrs: nounwind uwtable
declare dso_local void @internalerror() #2

; Function Attrs: nounwind
declare double @sqrt(double noundef) #4

; Function Attrs: nounwind uwtable
declare dso_local ptr @poolalloc(ptr noundef) #2

; Function Attrs: nounwind uwtable
declare dso_local void @traversalinit(ptr noundef) #2

; Function Attrs: nounwind uwtable
declare dso_local void @badsubsegdealloc(ptr noundef, ptr noundef) #2

; Function Attrs: nounwind uwtable
declare dso_local ptr @badsubsegtraverse(ptr noundef) #2

; Function Attrs: nounwind uwtable
declare dso_local double @counterclockwise(ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef) #2

; Function Attrs: nounwind uwtable
declare dso_local i32 @checkseg4encroach(ptr noundef, ptr noundef, ptr noundef) #2

; Function Attrs: nounwind uwtable
declare dso_local i32 @insertvertex(ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, i32 noundef, i32 noundef) #2

; Function Attrs: nounwind uwtable
declare dso_local void @deletevertex(ptr noundef, ptr noundef, ptr noundef) #2

; Function Attrs: nounwind uwtable
declare dso_local void @precisionerror() #2

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

30:                                               ; preds = %832, %3
  %31 = load ptr, ptr %4, align 8, !tbaa !5
  %32 = getelementptr inbounds %struct.mesh, ptr %31, i32 0, i32 4
  %33 = getelementptr inbounds %struct.memorypool, ptr %32, i32 0, i32 10
  %34 = load i64, ptr %33, align 8, !tbaa !11
  %35 = icmp sgt i64 %34, 0
  br i1 %35, label %36, label %41

36:                                               ; preds = %30
  %37 = load ptr, ptr %4, align 8, !tbaa !5
  %38 = getelementptr inbounds %struct.mesh, ptr %37, i32 0, i32 29
  %39 = load i32, ptr %38, align 8, !tbaa !17
  %40 = icmp ne i32 %39, 0
  br label %41

41:                                               ; preds = %36, %30
  %42 = phi i1 [ false, %30 ], [ %40, %36 ]
  br i1 %42, label %43, label %833

43:                                               ; preds = %41
  %44 = load ptr, ptr %4, align 8, !tbaa !5
  %45 = getelementptr inbounds %struct.mesh, ptr %44, i32 0, i32 4
  call void @traversalinit(ptr noundef %45)
  %46 = load ptr, ptr %4, align 8, !tbaa !5
  %47 = call ptr @badsubsegtraverse(ptr noundef %46)
  store ptr %47, ptr %11, align 8, !tbaa !5
  br label %48

48:                                               ; preds = %827, %43
  %49 = load ptr, ptr %11, align 8, !tbaa !5
  %50 = icmp ne ptr %49, null
  br i1 %50, label %51, label %56

51:                                               ; preds = %48
  %52 = load ptr, ptr %4, align 8, !tbaa !5
  %53 = getelementptr inbounds %struct.mesh, ptr %52, i32 0, i32 29
  %54 = load i32, ptr %53, align 8, !tbaa !17
  %55 = icmp ne i32 %54, 0
  br label %56

56:                                               ; preds = %51, %48
  %57 = phi i1 [ false, %48 ], [ %55, %51 ]
  br i1 %57, label %58, label %832

58:                                               ; preds = %56
  %59 = load ptr, ptr %11, align 8, !tbaa !5
  %60 = getelementptr inbounds %struct.badsubseg, ptr %59, i32 0, i32 0
  %61 = load ptr, ptr %60, align 8, !tbaa !18
  %62 = ptrtoint ptr %61 to i64
  %63 = and i64 %62, 1
  %64 = trunc i64 %63 to i32
  %65 = getelementptr inbounds %struct.osub, ptr %10, i32 0, i32 1
  store i32 %64, ptr %65, align 8, !tbaa !20
  %66 = load ptr, ptr %11, align 8, !tbaa !5
  %67 = getelementptr inbounds %struct.badsubseg, ptr %66, i32 0, i32 0
  %68 = load ptr, ptr %67, align 8, !tbaa !18
  %69 = ptrtoint ptr %68 to i64
  %70 = and i64 %69, -4
  %71 = inttoptr i64 %70 to ptr
  %72 = getelementptr inbounds %struct.osub, ptr %10, i32 0, i32 0
  store ptr %71, ptr %72, align 8, !tbaa !22
  %73 = getelementptr inbounds %struct.osub, ptr %10, i32 0, i32 0
  %74 = load ptr, ptr %73, align 8, !tbaa !22
  %75 = getelementptr inbounds %struct.osub, ptr %10, i32 0, i32 1
  %76 = load i32, ptr %75, align 8, !tbaa !20
  %77 = add nsw i32 2, %76
  %78 = sext i32 %77 to i64
  %79 = getelementptr inbounds ptr, ptr %74, i64 %78
  %80 = load ptr, ptr %79, align 8, !tbaa !5
  store ptr %80, ptr %12, align 8, !tbaa !5
  %81 = getelementptr inbounds %struct.osub, ptr %10, i32 0, i32 0
  %82 = load ptr, ptr %81, align 8, !tbaa !22
  %83 = getelementptr inbounds %struct.osub, ptr %10, i32 0, i32 1
  %84 = load i32, ptr %83, align 8, !tbaa !20
  %85 = sub nsw i32 3, %84
  %86 = sext i32 %85 to i64
  %87 = getelementptr inbounds ptr, ptr %82, i64 %86
  %88 = load ptr, ptr %87, align 8, !tbaa !5
  store ptr %88, ptr %13, align 8, !tbaa !5
  %89 = getelementptr inbounds %struct.osub, ptr %10, i32 0, i32 0
  %90 = load ptr, ptr %89, align 8, !tbaa !22
  %91 = getelementptr inbounds ptr, ptr %90, i64 1
  %92 = load ptr, ptr %91, align 8, !tbaa !5
  %93 = icmp eq ptr %92, null
  br i1 %93, label %827, label %94

94:                                               ; preds = %58
  %95 = load ptr, ptr %12, align 8, !tbaa !5
  %96 = load ptr, ptr %11, align 8, !tbaa !5
  %97 = getelementptr inbounds %struct.badsubseg, ptr %96, i32 0, i32 1
  %98 = load ptr, ptr %97, align 8, !tbaa !23
  %99 = icmp eq ptr %95, %98
  br i1 %99, label %100, label %827

100:                                              ; preds = %94
  %101 = load ptr, ptr %13, align 8, !tbaa !5
  %102 = load ptr, ptr %11, align 8, !tbaa !5
  %103 = getelementptr inbounds %struct.badsubseg, ptr %102, i32 0, i32 2
  %104 = load ptr, ptr %103, align 8, !tbaa !24
  %105 = icmp eq ptr %101, %104
  br i1 %105, label %106, label %827

106:                                              ; preds = %100
  %107 = getelementptr inbounds %struct.osub, ptr %10, i32 0, i32 0
  %108 = load ptr, ptr %107, align 8, !tbaa !22
  %109 = getelementptr inbounds %struct.osub, ptr %10, i32 0, i32 1
  %110 = load i32, ptr %109, align 8, !tbaa !20
  %111 = add nsw i32 6, %110
  %112 = sext i32 %111 to i64
  %113 = getelementptr inbounds ptr, ptr %108, i64 %112
  %114 = load ptr, ptr %113, align 8, !tbaa !5
  store ptr %114, ptr %28, align 8, !tbaa !5
  %115 = load ptr, ptr %28, align 8, !tbaa !5
  %116 = ptrtoint ptr %115 to i64
  %117 = and i64 %116, 3
  %118 = trunc i64 %117 to i32
  %119 = getelementptr inbounds %struct.otri, ptr %7, i32 0, i32 1
  store i32 %118, ptr %119, align 8, !tbaa !25
  %120 = load ptr, ptr %28, align 8, !tbaa !5
  %121 = ptrtoint ptr %120 to i64
  %122 = getelementptr inbounds %struct.otri, ptr %7, i32 0, i32 1
  %123 = load i32, ptr %122, align 8, !tbaa !25
  %124 = sext i32 %123 to i64
  %125 = xor i64 %121, %124
  %126 = inttoptr i64 %125 to ptr
  %127 = getelementptr inbounds %struct.otri, ptr %7, i32 0, i32 0
  store ptr %126, ptr %127, align 8, !tbaa !26
  %128 = getelementptr inbounds %struct.otri, ptr %7, i32 0, i32 0
  %129 = load ptr, ptr %128, align 8, !tbaa !26
  %130 = getelementptr inbounds %struct.otri, ptr %8, i32 0, i32 0
  store ptr %129, ptr %130, align 8, !tbaa !26
  %131 = getelementptr inbounds %struct.otri, ptr %7, i32 0, i32 1
  %132 = load i32, ptr %131, align 8, !tbaa !25
  %133 = sext i32 %132 to i64
  %134 = getelementptr inbounds [3 x i32], ptr @plus1mod3, i64 0, i64 %133
  %135 = load i32, ptr %134, align 4, !tbaa !9
  %136 = getelementptr inbounds %struct.otri, ptr %8, i32 0, i32 1
  store i32 %135, ptr %136, align 8, !tbaa !25
  %137 = getelementptr inbounds %struct.otri, ptr %8, i32 0, i32 0
  %138 = load ptr, ptr %137, align 8, !tbaa !26
  %139 = getelementptr inbounds %struct.otri, ptr %8, i32 0, i32 1
  %140 = load i32, ptr %139, align 8, !tbaa !25
  %141 = add nsw i32 6, %140
  %142 = sext i32 %141 to i64
  %143 = getelementptr inbounds ptr, ptr %138, i64 %142
  %144 = load ptr, ptr %143, align 8, !tbaa !5
  store ptr %144, ptr %29, align 8, !tbaa !5
  %145 = load ptr, ptr %29, align 8, !tbaa !5
  %146 = ptrtoint ptr %145 to i64
  %147 = and i64 %146, 1
  %148 = trunc i64 %147 to i32
  %149 = getelementptr inbounds %struct.osub, ptr %9, i32 0, i32 1
  store i32 %148, ptr %149, align 8, !tbaa !20
  %150 = load ptr, ptr %29, align 8, !tbaa !5
  %151 = ptrtoint ptr %150 to i64
  %152 = and i64 %151, -4
  %153 = inttoptr i64 %152 to ptr
  %154 = getelementptr inbounds %struct.osub, ptr %9, i32 0, i32 0
  store ptr %153, ptr %154, align 8, !tbaa !22
  %155 = getelementptr inbounds %struct.osub, ptr %9, i32 0, i32 0
  %156 = load ptr, ptr %155, align 8, !tbaa !22
  %157 = load ptr, ptr %4, align 8, !tbaa !5
  %158 = getelementptr inbounds %struct.mesh, ptr %157, i32 0, i32 50
  %159 = load ptr, ptr %158, align 8, !tbaa !27
  %160 = icmp ne ptr %156, %159
  %161 = zext i1 %160 to i32
  store i32 %161, ptr %22, align 4, !tbaa !9
  %162 = getelementptr inbounds %struct.otri, ptr %8, i32 0, i32 1
  %163 = load i32, ptr %162, align 8, !tbaa !25
  %164 = sext i32 %163 to i64
  %165 = getelementptr inbounds [3 x i32], ptr @plus1mod3, i64 0, i64 %164
  %166 = load i32, ptr %165, align 4, !tbaa !9
  %167 = getelementptr inbounds %struct.otri, ptr %8, i32 0, i32 1
  store i32 %166, ptr %167, align 8, !tbaa !25
  %168 = getelementptr inbounds %struct.otri, ptr %8, i32 0, i32 0
  %169 = load ptr, ptr %168, align 8, !tbaa !26
  %170 = getelementptr inbounds %struct.otri, ptr %8, i32 0, i32 1
  %171 = load i32, ptr %170, align 8, !tbaa !25
  %172 = add nsw i32 6, %171
  %173 = sext i32 %172 to i64
  %174 = getelementptr inbounds ptr, ptr %169, i64 %173
  %175 = load ptr, ptr %174, align 8, !tbaa !5
  store ptr %175, ptr %29, align 8, !tbaa !5
  %176 = load ptr, ptr %29, align 8, !tbaa !5
  %177 = ptrtoint ptr %176 to i64
  %178 = and i64 %177, 1
  %179 = trunc i64 %178 to i32
  %180 = getelementptr inbounds %struct.osub, ptr %9, i32 0, i32 1
  store i32 %179, ptr %180, align 8, !tbaa !20
  %181 = load ptr, ptr %29, align 8, !tbaa !5
  %182 = ptrtoint ptr %181 to i64
  %183 = and i64 %182, -4
  %184 = inttoptr i64 %183 to ptr
  %185 = getelementptr inbounds %struct.osub, ptr %9, i32 0, i32 0
  store ptr %184, ptr %185, align 8, !tbaa !22
  %186 = getelementptr inbounds %struct.osub, ptr %9, i32 0, i32 0
  %187 = load ptr, ptr %186, align 8, !tbaa !22
  %188 = load ptr, ptr %4, align 8, !tbaa !5
  %189 = getelementptr inbounds %struct.mesh, ptr %188, i32 0, i32 50
  %190 = load ptr, ptr %189, align 8, !tbaa !27
  %191 = icmp ne ptr %187, %190
  %192 = zext i1 %191 to i32
  store i32 %192, ptr %24, align 4, !tbaa !9
  %193 = load ptr, ptr %5, align 8, !tbaa !5
  %194 = getelementptr inbounds %struct.behavior, ptr %193, i32 0, i32 22
  %195 = load i32, ptr %194, align 8, !tbaa !28
  %196 = icmp ne i32 %195, 0
  br i1 %196, label %298, label %197

197:                                              ; preds = %106
  %198 = load i32, ptr %22, align 4, !tbaa !9
  %199 = icmp ne i32 %198, 0
  br i1 %199, label %298, label %200

200:                                              ; preds = %197
  %201 = load i32, ptr %24, align 4, !tbaa !9
  %202 = icmp ne i32 %201, 0
  br i1 %202, label %298, label %203

203:                                              ; preds = %200
  %204 = getelementptr inbounds %struct.otri, ptr %7, i32 0, i32 0
  %205 = load ptr, ptr %204, align 8, !tbaa !26
  %206 = getelementptr inbounds %struct.otri, ptr %7, i32 0, i32 1
  %207 = load i32, ptr %206, align 8, !tbaa !25
  %208 = add nsw i32 %207, 3
  %209 = sext i32 %208 to i64
  %210 = getelementptr inbounds ptr, ptr %205, i64 %209
  %211 = load ptr, ptr %210, align 8, !tbaa !5
  store ptr %211, ptr %14, align 8, !tbaa !5
  br label %212

212:                                              ; preds = %256, %203
  %213 = load ptr, ptr %14, align 8, !tbaa !5
  %214 = load ptr, ptr %4, align 8, !tbaa !5
  %215 = getelementptr inbounds %struct.mesh, ptr %214, i32 0, i32 30
  %216 = load i32, ptr %215, align 4, !tbaa !30
  %217 = add nsw i32 %216, 1
  %218 = sext i32 %217 to i64
  %219 = getelementptr inbounds i32, ptr %213, i64 %218
  %220 = load i32, ptr %219, align 4, !tbaa !9
  %221 = icmp eq i32 %220, 2
  br i1 %221, label %222, label %254

222:                                              ; preds = %212
  %223 = load ptr, ptr %12, align 8, !tbaa !5
  %224 = getelementptr inbounds double, ptr %223, i64 0
  %225 = load double, ptr %224, align 8, !tbaa !31
  %226 = load ptr, ptr %14, align 8, !tbaa !5
  %227 = getelementptr inbounds double, ptr %226, i64 0
  %228 = load double, ptr %227, align 8, !tbaa !31
  %229 = fsub double %225, %228
  %230 = load ptr, ptr %13, align 8, !tbaa !5
  %231 = getelementptr inbounds double, ptr %230, i64 0
  %232 = load double, ptr %231, align 8, !tbaa !31
  %233 = load ptr, ptr %14, align 8, !tbaa !5
  %234 = getelementptr inbounds double, ptr %233, i64 0
  %235 = load double, ptr %234, align 8, !tbaa !31
  %236 = fsub double %232, %235
  %237 = load ptr, ptr %12, align 8, !tbaa !5
  %238 = getelementptr inbounds double, ptr %237, i64 1
  %239 = load double, ptr %238, align 8, !tbaa !31
  %240 = load ptr, ptr %14, align 8, !tbaa !5
  %241 = getelementptr inbounds double, ptr %240, i64 1
  %242 = load double, ptr %241, align 8, !tbaa !31
  %243 = fsub double %239, %242
  %244 = load ptr, ptr %13, align 8, !tbaa !5
  %245 = getelementptr inbounds double, ptr %244, i64 1
  %246 = load double, ptr %245, align 8, !tbaa !31
  %247 = load ptr, ptr %14, align 8, !tbaa !5
  %248 = getelementptr inbounds double, ptr %247, i64 1
  %249 = load double, ptr %248, align 8, !tbaa !31
  %250 = fsub double %246, %249
  %251 = fmul double %243, %250
  %252 = call double @llvm.fmuladd.f64(double %229, double %236, double %251)
  %253 = fcmp olt double %252, 0.000000e+00
  br label %254

254:                                              ; preds = %222, %212
  %255 = phi i1 [ false, %212 ], [ %253, %222 ]
  br i1 %255, label %256, label %297

256:                                              ; preds = %254
  %257 = load ptr, ptr %4, align 8, !tbaa !5
  %258 = load ptr, ptr %5, align 8, !tbaa !5
  call void @deletevertex(ptr noundef %257, ptr noundef %258, ptr noundef %8)
  %259 = getelementptr inbounds %struct.osub, ptr %10, i32 0, i32 0
  %260 = load ptr, ptr %259, align 8, !tbaa !22
  %261 = getelementptr inbounds %struct.osub, ptr %10, i32 0, i32 1
  %262 = load i32, ptr %261, align 8, !tbaa !20
  %263 = add nsw i32 6, %262
  %264 = sext i32 %263 to i64
  %265 = getelementptr inbounds ptr, ptr %260, i64 %264
  %266 = load ptr, ptr %265, align 8, !tbaa !5
  store ptr %266, ptr %28, align 8, !tbaa !5
  %267 = load ptr, ptr %28, align 8, !tbaa !5
  %268 = ptrtoint ptr %267 to i64
  %269 = and i64 %268, 3
  %270 = trunc i64 %269 to i32
  %271 = getelementptr inbounds %struct.otri, ptr %7, i32 0, i32 1
  store i32 %270, ptr %271, align 8, !tbaa !25
  %272 = load ptr, ptr %28, align 8, !tbaa !5
  %273 = ptrtoint ptr %272 to i64
  %274 = getelementptr inbounds %struct.otri, ptr %7, i32 0, i32 1
  %275 = load i32, ptr %274, align 8, !tbaa !25
  %276 = sext i32 %275 to i64
  %277 = xor i64 %273, %276
  %278 = inttoptr i64 %277 to ptr
  %279 = getelementptr inbounds %struct.otri, ptr %7, i32 0, i32 0
  store ptr %278, ptr %279, align 8, !tbaa !26
  %280 = getelementptr inbounds %struct.otri, ptr %7, i32 0, i32 0
  %281 = load ptr, ptr %280, align 8, !tbaa !26
  %282 = getelementptr inbounds %struct.otri, ptr %7, i32 0, i32 1
  %283 = load i32, ptr %282, align 8, !tbaa !25
  %284 = add nsw i32 %283, 3
  %285 = sext i32 %284 to i64
  %286 = getelementptr inbounds ptr, ptr %281, i64 %285
  %287 = load ptr, ptr %286, align 8, !tbaa !5
  store ptr %287, ptr %14, align 8, !tbaa !5
  %288 = getelementptr inbounds %struct.otri, ptr %7, i32 0, i32 0
  %289 = load ptr, ptr %288, align 8, !tbaa !26
  %290 = getelementptr inbounds %struct.otri, ptr %8, i32 0, i32 0
  store ptr %289, ptr %290, align 8, !tbaa !26
  %291 = getelementptr inbounds %struct.otri, ptr %7, i32 0, i32 1
  %292 = load i32, ptr %291, align 8, !tbaa !25
  %293 = sext i32 %292 to i64
  %294 = getelementptr inbounds [3 x i32], ptr @minus1mod3, i64 0, i64 %293
  %295 = load i32, ptr %294, align 4, !tbaa !9
  %296 = getelementptr inbounds %struct.otri, ptr %8, i32 0, i32 1
  store i32 %295, ptr %296, align 8, !tbaa !25
  br label %212, !llvm.loop !32

297:                                              ; preds = %254
  br label %298

298:                                              ; preds = %297, %200, %197, %106
  %299 = getelementptr inbounds %struct.otri, ptr %7, i32 0, i32 0
  %300 = load ptr, ptr %299, align 8, !tbaa !26
  %301 = getelementptr inbounds %struct.otri, ptr %7, i32 0, i32 1
  %302 = load i32, ptr %301, align 8, !tbaa !25
  %303 = sext i32 %302 to i64
  %304 = getelementptr inbounds ptr, ptr %300, i64 %303
  %305 = load ptr, ptr %304, align 8, !tbaa !5
  store ptr %305, ptr %28, align 8, !tbaa !5
  %306 = load ptr, ptr %28, align 8, !tbaa !5
  %307 = ptrtoint ptr %306 to i64
  %308 = and i64 %307, 3
  %309 = trunc i64 %308 to i32
  %310 = getelementptr inbounds %struct.otri, ptr %8, i32 0, i32 1
  store i32 %309, ptr %310, align 8, !tbaa !25
  %311 = load ptr, ptr %28, align 8, !tbaa !5
  %312 = ptrtoint ptr %311 to i64
  %313 = getelementptr inbounds %struct.otri, ptr %8, i32 0, i32 1
  %314 = load i32, ptr %313, align 8, !tbaa !25
  %315 = sext i32 %314 to i64
  %316 = xor i64 %312, %315
  %317 = inttoptr i64 %316 to ptr
  %318 = getelementptr inbounds %struct.otri, ptr %8, i32 0, i32 0
  store ptr %317, ptr %318, align 8, !tbaa !26
  %319 = getelementptr inbounds %struct.otri, ptr %8, i32 0, i32 0
  %320 = load ptr, ptr %319, align 8, !tbaa !26
  %321 = load ptr, ptr %4, align 8, !tbaa !5
  %322 = getelementptr inbounds %struct.mesh, ptr %321, i32 0, i32 48
  %323 = load ptr, ptr %322, align 8, !tbaa !34
  %324 = icmp ne ptr %320, %323
  br i1 %324, label %325, label %509

325:                                              ; preds = %298
  %326 = getelementptr inbounds %struct.otri, ptr %8, i32 0, i32 1
  %327 = load i32, ptr %326, align 8, !tbaa !25
  %328 = sext i32 %327 to i64
  %329 = getelementptr inbounds [3 x i32], ptr @plus1mod3, i64 0, i64 %328
  %330 = load i32, ptr %329, align 4, !tbaa !9
  %331 = getelementptr inbounds %struct.otri, ptr %8, i32 0, i32 1
  store i32 %330, ptr %331, align 8, !tbaa !25
  %332 = getelementptr inbounds %struct.otri, ptr %8, i32 0, i32 0
  %333 = load ptr, ptr %332, align 8, !tbaa !26
  %334 = getelementptr inbounds %struct.otri, ptr %8, i32 0, i32 1
  %335 = load i32, ptr %334, align 8, !tbaa !25
  %336 = add nsw i32 6, %335
  %337 = sext i32 %336 to i64
  %338 = getelementptr inbounds ptr, ptr %333, i64 %337
  %339 = load ptr, ptr %338, align 8, !tbaa !5
  store ptr %339, ptr %29, align 8, !tbaa !5
  %340 = load ptr, ptr %29, align 8, !tbaa !5
  %341 = ptrtoint ptr %340 to i64
  %342 = and i64 %341, 1
  %343 = trunc i64 %342 to i32
  %344 = getelementptr inbounds %struct.osub, ptr %9, i32 0, i32 1
  store i32 %343, ptr %344, align 8, !tbaa !20
  %345 = load ptr, ptr %29, align 8, !tbaa !5
  %346 = ptrtoint ptr %345 to i64
  %347 = and i64 %346, -4
  %348 = inttoptr i64 %347 to ptr
  %349 = getelementptr inbounds %struct.osub, ptr %9, i32 0, i32 0
  store ptr %348, ptr %349, align 8, !tbaa !22
  %350 = getelementptr inbounds %struct.osub, ptr %9, i32 0, i32 0
  %351 = load ptr, ptr %350, align 8, !tbaa !22
  %352 = load ptr, ptr %4, align 8, !tbaa !5
  %353 = getelementptr inbounds %struct.mesh, ptr %352, i32 0, i32 50
  %354 = load ptr, ptr %353, align 8, !tbaa !27
  %355 = icmp ne ptr %351, %354
  %356 = zext i1 %355 to i32
  store i32 %356, ptr %25, align 4, !tbaa !9
  %357 = load i32, ptr %24, align 4, !tbaa !9
  %358 = icmp ne i32 %357, 0
  br i1 %358, label %362, label %359

359:                                              ; preds = %325
  %360 = load i32, ptr %25, align 4, !tbaa !9
  %361 = icmp ne i32 %360, 0
  br label %362

362:                                              ; preds = %359, %325
  %363 = phi i1 [ true, %325 ], [ %361, %359 ]
  %364 = zext i1 %363 to i32
  store i32 %364, ptr %24, align 4, !tbaa !9
  %365 = getelementptr inbounds %struct.otri, ptr %8, i32 0, i32 1
  %366 = load i32, ptr %365, align 8, !tbaa !25
  %367 = sext i32 %366 to i64
  %368 = getelementptr inbounds [3 x i32], ptr @plus1mod3, i64 0, i64 %367
  %369 = load i32, ptr %368, align 4, !tbaa !9
  %370 = getelementptr inbounds %struct.otri, ptr %8, i32 0, i32 1
  store i32 %369, ptr %370, align 8, !tbaa !25
  %371 = getelementptr inbounds %struct.otri, ptr %8, i32 0, i32 0
  %372 = load ptr, ptr %371, align 8, !tbaa !26
  %373 = getelementptr inbounds %struct.otri, ptr %8, i32 0, i32 1
  %374 = load i32, ptr %373, align 8, !tbaa !25
  %375 = add nsw i32 6, %374
  %376 = sext i32 %375 to i64
  %377 = getelementptr inbounds ptr, ptr %372, i64 %376
  %378 = load ptr, ptr %377, align 8, !tbaa !5
  store ptr %378, ptr %29, align 8, !tbaa !5
  %379 = load ptr, ptr %29, align 8, !tbaa !5
  %380 = ptrtoint ptr %379 to i64
  %381 = and i64 %380, 1
  %382 = trunc i64 %381 to i32
  %383 = getelementptr inbounds %struct.osub, ptr %9, i32 0, i32 1
  store i32 %382, ptr %383, align 8, !tbaa !20
  %384 = load ptr, ptr %29, align 8, !tbaa !5
  %385 = ptrtoint ptr %384 to i64
  %386 = and i64 %385, -4
  %387 = inttoptr i64 %386 to ptr
  %388 = getelementptr inbounds %struct.osub, ptr %9, i32 0, i32 0
  store ptr %387, ptr %388, align 8, !tbaa !22
  %389 = getelementptr inbounds %struct.osub, ptr %9, i32 0, i32 0
  %390 = load ptr, ptr %389, align 8, !tbaa !22
  %391 = load ptr, ptr %4, align 8, !tbaa !5
  %392 = getelementptr inbounds %struct.mesh, ptr %391, i32 0, i32 50
  %393 = load ptr, ptr %392, align 8, !tbaa !27
  %394 = icmp ne ptr %390, %393
  %395 = zext i1 %394 to i32
  store i32 %395, ptr %23, align 4, !tbaa !9
  %396 = load i32, ptr %22, align 4, !tbaa !9
  %397 = icmp ne i32 %396, 0
  br i1 %397, label %401, label %398

398:                                              ; preds = %362
  %399 = load i32, ptr %23, align 4, !tbaa !9
  %400 = icmp ne i32 %399, 0
  br label %401

401:                                              ; preds = %398, %362
  %402 = phi i1 [ true, %362 ], [ %400, %398 ]
  %403 = zext i1 %402 to i32
  store i32 %403, ptr %22, align 4, !tbaa !9
  %404 = load ptr, ptr %5, align 8, !tbaa !5
  %405 = getelementptr inbounds %struct.behavior, ptr %404, i32 0, i32 22
  %406 = load i32, ptr %405, align 8, !tbaa !28
  %407 = icmp ne i32 %406, 0
  br i1 %407, label %508, label %408

408:                                              ; preds = %401
  %409 = load i32, ptr %23, align 4, !tbaa !9
  %410 = icmp ne i32 %409, 0
  br i1 %410, label %508, label %411

411:                                              ; preds = %408
  %412 = load i32, ptr %25, align 4, !tbaa !9
  %413 = icmp ne i32 %412, 0
  br i1 %413, label %508, label %414

414:                                              ; preds = %411
  %415 = getelementptr inbounds %struct.otri, ptr %8, i32 0, i32 0
  %416 = load ptr, ptr %415, align 8, !tbaa !26
  %417 = getelementptr inbounds %struct.otri, ptr %8, i32 0, i32 1
  %418 = load i32, ptr %417, align 8, !tbaa !25
  %419 = sext i32 %418 to i64
  %420 = getelementptr inbounds [3 x i32], ptr @plus1mod3, i64 0, i64 %419
  %421 = load i32, ptr %420, align 4, !tbaa !9
  %422 = add nsw i32 %421, 3
  %423 = sext i32 %422 to i64
  %424 = getelementptr inbounds ptr, ptr %416, i64 %423
  %425 = load ptr, ptr %424, align 8, !tbaa !5
  store ptr %425, ptr %14, align 8, !tbaa !5
  br label %426

426:                                              ; preds = %470, %414
  %427 = load ptr, ptr %14, align 8, !tbaa !5
  %428 = load ptr, ptr %4, align 8, !tbaa !5
  %429 = getelementptr inbounds %struct.mesh, ptr %428, i32 0, i32 30
  %430 = load i32, ptr %429, align 4, !tbaa !30
  %431 = add nsw i32 %430, 1
  %432 = sext i32 %431 to i64
  %433 = getelementptr inbounds i32, ptr %427, i64 %432
  %434 = load i32, ptr %433, align 4, !tbaa !9
  %435 = icmp eq i32 %434, 2
  br i1 %435, label %436, label %468

436:                                              ; preds = %426
  %437 = load ptr, ptr %12, align 8, !tbaa !5
  %438 = getelementptr inbounds double, ptr %437, i64 0
  %439 = load double, ptr %438, align 8, !tbaa !31
  %440 = load ptr, ptr %14, align 8, !tbaa !5
  %441 = getelementptr inbounds double, ptr %440, i64 0
  %442 = load double, ptr %441, align 8, !tbaa !31
  %443 = fsub double %439, %442
  %444 = load ptr, ptr %13, align 8, !tbaa !5
  %445 = getelementptr inbounds double, ptr %444, i64 0
  %446 = load double, ptr %445, align 8, !tbaa !31
  %447 = load ptr, ptr %14, align 8, !tbaa !5
  %448 = getelementptr inbounds double, ptr %447, i64 0
  %449 = load double, ptr %448, align 8, !tbaa !31
  %450 = fsub double %446, %449
  %451 = load ptr, ptr %12, align 8, !tbaa !5
  %452 = getelementptr inbounds double, ptr %451, i64 1
  %453 = load double, ptr %452, align 8, !tbaa !31
  %454 = load ptr, ptr %14, align 8, !tbaa !5
  %455 = getelementptr inbounds double, ptr %454, i64 1
  %456 = load double, ptr %455, align 8, !tbaa !31
  %457 = fsub double %453, %456
  %458 = load ptr, ptr %13, align 8, !tbaa !5
  %459 = getelementptr inbounds double, ptr %458, i64 1
  %460 = load double, ptr %459, align 8, !tbaa !31
  %461 = load ptr, ptr %14, align 8, !tbaa !5
  %462 = getelementptr inbounds double, ptr %461, i64 1
  %463 = load double, ptr %462, align 8, !tbaa !31
  %464 = fsub double %460, %463
  %465 = fmul double %457, %464
  %466 = call double @llvm.fmuladd.f64(double %443, double %450, double %465)
  %467 = fcmp olt double %466, 0.000000e+00
  br label %468

468:                                              ; preds = %436, %426
  %469 = phi i1 [ false, %426 ], [ %467, %436 ]
  br i1 %469, label %470, label %507

470:                                              ; preds = %468
  %471 = load ptr, ptr %4, align 8, !tbaa !5
  %472 = load ptr, ptr %5, align 8, !tbaa !5
  call void @deletevertex(ptr noundef %471, ptr noundef %472, ptr noundef %8)
  %473 = getelementptr inbounds %struct.otri, ptr %7, i32 0, i32 0
  %474 = load ptr, ptr %473, align 8, !tbaa !26
  %475 = getelementptr inbounds %struct.otri, ptr %7, i32 0, i32 1
  %476 = load i32, ptr %475, align 8, !tbaa !25
  %477 = sext i32 %476 to i64
  %478 = getelementptr inbounds ptr, ptr %474, i64 %477
  %479 = load ptr, ptr %478, align 8, !tbaa !5
  store ptr %479, ptr %28, align 8, !tbaa !5
  %480 = load ptr, ptr %28, align 8, !tbaa !5
  %481 = ptrtoint ptr %480 to i64
  %482 = and i64 %481, 3
  %483 = trunc i64 %482 to i32
  %484 = getelementptr inbounds %struct.otri, ptr %8, i32 0, i32 1
  store i32 %483, ptr %484, align 8, !tbaa !25
  %485 = load ptr, ptr %28, align 8, !tbaa !5
  %486 = ptrtoint ptr %485 to i64
  %487 = getelementptr inbounds %struct.otri, ptr %8, i32 0, i32 1
  %488 = load i32, ptr %487, align 8, !tbaa !25
  %489 = sext i32 %488 to i64
  %490 = xor i64 %486, %489
  %491 = inttoptr i64 %490 to ptr
  %492 = getelementptr inbounds %struct.otri, ptr %8, i32 0, i32 0
  store ptr %491, ptr %492, align 8, !tbaa !26
  %493 = getelementptr inbounds %struct.otri, ptr %8, i32 0, i32 0
  %494 = load ptr, ptr %493, align 8, !tbaa !26
  %495 = getelementptr inbounds %struct.otri, ptr %8, i32 0, i32 1
  %496 = load i32, ptr %495, align 8, !tbaa !25
  %497 = add nsw i32 %496, 3
  %498 = sext i32 %497 to i64
  %499 = getelementptr inbounds ptr, ptr %494, i64 %498
  %500 = load ptr, ptr %499, align 8, !tbaa !5
  store ptr %500, ptr %14, align 8, !tbaa !5
  %501 = getelementptr inbounds %struct.otri, ptr %8, i32 0, i32 1
  %502 = load i32, ptr %501, align 8, !tbaa !25
  %503 = sext i32 %502 to i64
  %504 = getelementptr inbounds [3 x i32], ptr @minus1mod3, i64 0, i64 %503
  %505 = load i32, ptr %504, align 4, !tbaa !9
  %506 = getelementptr inbounds %struct.otri, ptr %8, i32 0, i32 1
  store i32 %505, ptr %506, align 8, !tbaa !25
  br label %426, !llvm.loop !35

507:                                              ; preds = %468
  br label %508

508:                                              ; preds = %507, %411, %408, %401
  br label %509

509:                                              ; preds = %508, %298
  %510 = load i32, ptr %22, align 4, !tbaa !9
  %511 = icmp ne i32 %510, 0
  br i1 %511, label %515, label %512

512:                                              ; preds = %509
  %513 = load i32, ptr %24, align 4, !tbaa !9
  %514 = icmp ne i32 %513, 0
  br i1 %514, label %515, label %574

515:                                              ; preds = %512, %509
  %516 = load ptr, ptr %13, align 8, !tbaa !5
  %517 = getelementptr inbounds double, ptr %516, i64 0
  %518 = load double, ptr %517, align 8, !tbaa !31
  %519 = load ptr, ptr %12, align 8, !tbaa !5
  %520 = getelementptr inbounds double, ptr %519, i64 0
  %521 = load double, ptr %520, align 8, !tbaa !31
  %522 = fsub double %518, %521
  %523 = load ptr, ptr %13, align 8, !tbaa !5
  %524 = getelementptr inbounds double, ptr %523, i64 0
  %525 = load double, ptr %524, align 8, !tbaa !31
  %526 = load ptr, ptr %12, align 8, !tbaa !5
  %527 = getelementptr inbounds double, ptr %526, i64 0
  %528 = load double, ptr %527, align 8, !tbaa !31
  %529 = fsub double %525, %528
  %530 = load ptr, ptr %13, align 8, !tbaa !5
  %531 = getelementptr inbounds double, ptr %530, i64 1
  %532 = load double, ptr %531, align 8, !tbaa !31
  %533 = load ptr, ptr %12, align 8, !tbaa !5
  %534 = getelementptr inbounds double, ptr %533, i64 1
  %535 = load double, ptr %534, align 8, !tbaa !31
  %536 = fsub double %532, %535
  %537 = load ptr, ptr %13, align 8, !tbaa !5
  %538 = getelementptr inbounds double, ptr %537, i64 1
  %539 = load double, ptr %538, align 8, !tbaa !31
  %540 = load ptr, ptr %12, align 8, !tbaa !5
  %541 = getelementptr inbounds double, ptr %540, i64 1
  %542 = load double, ptr %541, align 8, !tbaa !31
  %543 = fsub double %539, %542
  %544 = fmul double %536, %543
  %545 = call double @llvm.fmuladd.f64(double %522, double %529, double %544)
  %546 = call double @sqrt(double noundef %545) #5
  store double %546, ptr %17, align 8, !tbaa !31
  store double 1.000000e+00, ptr %18, align 8, !tbaa !31
  br label %547

547:                                              ; preds = %552, %515
  %548 = load double, ptr %17, align 8, !tbaa !31
  %549 = load double, ptr %18, align 8, !tbaa !31
  %550 = fmul double 3.000000e+00, %549
  %551 = fcmp ogt double %548, %550
  br i1 %551, label %552, label %555

552:                                              ; preds = %547
  %553 = load double, ptr %18, align 8, !tbaa !31
  %554 = fmul double %553, 2.000000e+00
  store double %554, ptr %18, align 8, !tbaa !31
  br label %547, !llvm.loop !36

555:                                              ; preds = %547
  br label %556

556:                                              ; preds = %561, %555
  %557 = load double, ptr %17, align 8, !tbaa !31
  %558 = load double, ptr %18, align 8, !tbaa !31
  %559 = fmul double 1.500000e+00, %558
  %560 = fcmp olt double %557, %559
  br i1 %560, label %561, label %564

561:                                              ; preds = %556
  %562 = load double, ptr %18, align 8, !tbaa !31
  %563 = fmul double %562, 5.000000e-01
  store double %563, ptr %18, align 8, !tbaa !31
  br label %556, !llvm.loop !37

564:                                              ; preds = %556
  %565 = load double, ptr %18, align 8, !tbaa !31
  %566 = load double, ptr %17, align 8, !tbaa !31
  %567 = fdiv double %565, %566
  store double %567, ptr %19, align 8, !tbaa !31
  %568 = load i32, ptr %24, align 4, !tbaa !9
  %569 = icmp ne i32 %568, 0
  br i1 %569, label %570, label %573

570:                                              ; preds = %564
  %571 = load double, ptr %19, align 8, !tbaa !31
  %572 = fsub double 1.000000e+00, %571
  store double %572, ptr %19, align 8, !tbaa !31
  br label %573

573:                                              ; preds = %570, %564
  br label %575

574:                                              ; preds = %512
  store double 5.000000e-01, ptr %19, align 8, !tbaa !31
  br label %575

575:                                              ; preds = %574, %573
  %576 = load ptr, ptr %4, align 8, !tbaa !5
  %577 = getelementptr inbounds %struct.mesh, ptr %576, i32 0, i32 2
  %578 = call ptr @poolalloc(ptr noundef %577)
  store ptr %578, ptr %15, align 8, !tbaa !5
  store i32 0, ptr %27, align 4, !tbaa !9
  br label %579

579:                                              ; preds = %609, %575
  %580 = load i32, ptr %27, align 4, !tbaa !9
  %581 = load ptr, ptr %4, align 8, !tbaa !5
  %582 = getelementptr inbounds %struct.mesh, ptr %581, i32 0, i32 26
  %583 = load i32, ptr %582, align 4, !tbaa !38
  %584 = add nsw i32 2, %583
  %585 = icmp slt i32 %580, %584
  br i1 %585, label %586, label %612

586:                                              ; preds = %579
  %587 = load ptr, ptr %12, align 8, !tbaa !5
  %588 = load i32, ptr %27, align 4, !tbaa !9
  %589 = sext i32 %588 to i64
  %590 = getelementptr inbounds double, ptr %587, i64 %589
  %591 = load double, ptr %590, align 8, !tbaa !31
  %592 = load double, ptr %19, align 8, !tbaa !31
  %593 = load ptr, ptr %13, align 8, !tbaa !5
  %594 = load i32, ptr %27, align 4, !tbaa !9
  %595 = sext i32 %594 to i64
  %596 = getelementptr inbounds double, ptr %593, i64 %595
  %597 = load double, ptr %596, align 8, !tbaa !31
  %598 = load ptr, ptr %12, align 8, !tbaa !5
  %599 = load i32, ptr %27, align 4, !tbaa !9
  %600 = sext i32 %599 to i64
  %601 = getelementptr inbounds double, ptr %598, i64 %600
  %602 = load double, ptr %601, align 8, !tbaa !31
  %603 = fsub double %597, %602
  %604 = call double @llvm.fmuladd.f64(double %592, double %603, double %591)
  %605 = load ptr, ptr %15, align 8, !tbaa !5
  %606 = load i32, ptr %27, align 4, !tbaa !9
  %607 = sext i32 %606 to i64
  %608 = getelementptr inbounds double, ptr %605, i64 %607
  store double %604, ptr %608, align 8, !tbaa !31
  br label %609

609:                                              ; preds = %586
  %610 = load i32, ptr %27, align 4, !tbaa !9
  %611 = add nsw i32 %610, 1
  store i32 %611, ptr %27, align 4, !tbaa !9
  br label %579, !llvm.loop !39

612:                                              ; preds = %579
  %613 = load ptr, ptr %5, align 8, !tbaa !5
  %614 = getelementptr inbounds %struct.behavior, ptr %613, i32 0, i32 21
  %615 = load i32, ptr %614, align 4, !tbaa !40
  %616 = icmp ne i32 %615, 0
  br i1 %616, label %693, label %617

617:                                              ; preds = %612
  %618 = load ptr, ptr %4, align 8, !tbaa !5
  %619 = load ptr, ptr %5, align 8, !tbaa !5
  %620 = load ptr, ptr %12, align 8, !tbaa !5
  %621 = load ptr, ptr %13, align 8, !tbaa !5
  %622 = load ptr, ptr %15, align 8, !tbaa !5
  %623 = call double @counterclockwise(ptr noundef %618, ptr noundef %619, ptr noundef %620, ptr noundef %621, ptr noundef %622)
  store double %623, ptr %20, align 8, !tbaa !31
  %624 = load ptr, ptr %12, align 8, !tbaa !5
  %625 = getelementptr inbounds double, ptr %624, i64 0
  %626 = load double, ptr %625, align 8, !tbaa !31
  %627 = load ptr, ptr %13, align 8, !tbaa !5
  %628 = getelementptr inbounds double, ptr %627, i64 0
  %629 = load double, ptr %628, align 8, !tbaa !31
  %630 = fsub double %626, %629
  %631 = load ptr, ptr %12, align 8, !tbaa !5
  %632 = getelementptr inbounds double, ptr %631, i64 0
  %633 = load double, ptr %632, align 8, !tbaa !31
  %634 = load ptr, ptr %13, align 8, !tbaa !5
  %635 = getelementptr inbounds double, ptr %634, i64 0
  %636 = load double, ptr %635, align 8, !tbaa !31
  %637 = fsub double %633, %636
  %638 = load ptr, ptr %12, align 8, !tbaa !5
  %639 = getelementptr inbounds double, ptr %638, i64 1
  %640 = load double, ptr %639, align 8, !tbaa !31
  %641 = load ptr, ptr %13, align 8, !tbaa !5
  %642 = getelementptr inbounds double, ptr %641, i64 1
  %643 = load double, ptr %642, align 8, !tbaa !31
  %644 = fsub double %640, %643
  %645 = load ptr, ptr %12, align 8, !tbaa !5
  %646 = getelementptr inbounds double, ptr %645, i64 1
  %647 = load double, ptr %646, align 8, !tbaa !31
  %648 = load ptr, ptr %13, align 8, !tbaa !5
  %649 = getelementptr inbounds double, ptr %648, i64 1
  %650 = load double, ptr %649, align 8, !tbaa !31
  %651 = fsub double %647, %650
  %652 = fmul double %644, %651
  %653 = call double @llvm.fmuladd.f64(double %630, double %637, double %652)
  store double %653, ptr %21, align 8, !tbaa !31
  %654 = load double, ptr %20, align 8, !tbaa !31
  %655 = fcmp une double %654, 0.000000e+00
  br i1 %655, label %656, label %692

656:                                              ; preds = %617
  %657 = load double, ptr %21, align 8, !tbaa !31
  %658 = fcmp une double %657, 0.000000e+00
  br i1 %658, label %659, label %692

659:                                              ; preds = %656
  %660 = load double, ptr %20, align 8, !tbaa !31
  %661 = load double, ptr %21, align 8, !tbaa !31
  %662 = fdiv double %660, %661
  store double %662, ptr %20, align 8, !tbaa !31
  %663 = load double, ptr %20, align 8, !tbaa !31
  %664 = load double, ptr %20, align 8, !tbaa !31
  %665 = fcmp oeq double %663, %664
  br i1 %665, label %666, label %691

666:                                              ; preds = %659
  %667 = load double, ptr %20, align 8, !tbaa !31
  %668 = load ptr, ptr %13, align 8, !tbaa !5
  %669 = getelementptr inbounds double, ptr %668, i64 1
  %670 = load double, ptr %669, align 8, !tbaa !31
  %671 = load ptr, ptr %12, align 8, !tbaa !5
  %672 = getelementptr inbounds double, ptr %671, i64 1
  %673 = load double, ptr %672, align 8, !tbaa !31
  %674 = fsub double %670, %673
  %675 = load ptr, ptr %15, align 8, !tbaa !5
  %676 = getelementptr inbounds double, ptr %675, i64 0
  %677 = load double, ptr %676, align 8, !tbaa !31
  %678 = call double @llvm.fmuladd.f64(double %667, double %674, double %677)
  store double %678, ptr %676, align 8, !tbaa !31
  %679 = load double, ptr %20, align 8, !tbaa !31
  %680 = load ptr, ptr %12, align 8, !tbaa !5
  %681 = getelementptr inbounds double, ptr %680, i64 0
  %682 = load double, ptr %681, align 8, !tbaa !31
  %683 = load ptr, ptr %13, align 8, !tbaa !5
  %684 = getelementptr inbounds double, ptr %683, i64 0
  %685 = load double, ptr %684, align 8, !tbaa !31
  %686 = fsub double %682, %685
  %687 = load ptr, ptr %15, align 8, !tbaa !5
  %688 = getelementptr inbounds double, ptr %687, i64 1
  %689 = load double, ptr %688, align 8, !tbaa !31
  %690 = call double @llvm.fmuladd.f64(double %679, double %686, double %689)
  store double %690, ptr %688, align 8, !tbaa !31
  br label %691

691:                                              ; preds = %666, %659
  br label %692

692:                                              ; preds = %691, %656, %617
  br label %693

693:                                              ; preds = %692, %612
  %694 = getelementptr inbounds %struct.osub, ptr %10, i32 0, i32 0
  %695 = load ptr, ptr %694, align 8, !tbaa !22
  %696 = getelementptr inbounds ptr, ptr %695, i64 8
  %697 = load i32, ptr %696, align 4, !tbaa !9
  %698 = load ptr, ptr %15, align 8, !tbaa !5
  %699 = load ptr, ptr %4, align 8, !tbaa !5
  %700 = getelementptr inbounds %struct.mesh, ptr %699, i32 0, i32 30
  %701 = load i32, ptr %700, align 4, !tbaa !30
  %702 = sext i32 %701 to i64
  %703 = getelementptr inbounds i32, ptr %698, i64 %702
  store i32 %697, ptr %703, align 4, !tbaa !9
  %704 = load ptr, ptr %15, align 8, !tbaa !5
  %705 = load ptr, ptr %4, align 8, !tbaa !5
  %706 = getelementptr inbounds %struct.mesh, ptr %705, i32 0, i32 30
  %707 = load i32, ptr %706, align 4, !tbaa !30
  %708 = add nsw i32 %707, 1
  %709 = sext i32 %708 to i64
  %710 = getelementptr inbounds i32, ptr %704, i64 %709
  store i32 1, ptr %710, align 4, !tbaa !9
  %711 = load ptr, ptr %5, align 8, !tbaa !5
  %712 = getelementptr inbounds %struct.behavior, ptr %711, i32 0, i32 29
  %713 = load i32, ptr %712, align 4, !tbaa !41
  %714 = icmp sgt i32 %713, 1
  br i1 %714, label %715, label %735

715:                                              ; preds = %693
  %716 = load ptr, ptr %12, align 8, !tbaa !5
  %717 = getelementptr inbounds double, ptr %716, i64 0
  %718 = load double, ptr %717, align 8, !tbaa !31
  %719 = load ptr, ptr %12, align 8, !tbaa !5
  %720 = getelementptr inbounds double, ptr %719, i64 1
  %721 = load double, ptr %720, align 8, !tbaa !31
  %722 = load ptr, ptr %13, align 8, !tbaa !5
  %723 = getelementptr inbounds double, ptr %722, i64 0
  %724 = load double, ptr %723, align 8, !tbaa !31
  %725 = load ptr, ptr %13, align 8, !tbaa !5
  %726 = getelementptr inbounds double, ptr %725, i64 1
  %727 = load double, ptr %726, align 8, !tbaa !31
  %728 = load ptr, ptr %15, align 8, !tbaa !5
  %729 = getelementptr inbounds double, ptr %728, i64 0
  %730 = load double, ptr %729, align 8, !tbaa !31
  %731 = load ptr, ptr %15, align 8, !tbaa !5
  %732 = getelementptr inbounds double, ptr %731, i64 1
  %733 = load double, ptr %732, align 8, !tbaa !31
  %734 = call i32 (ptr, ...) @printf(ptr noundef @.str.1006, double noundef %718, double noundef %721, double noundef %724, double noundef %727, double noundef %730, double noundef %733)
  br label %735

735:                                              ; preds = %715, %693
  %736 = load ptr, ptr %15, align 8, !tbaa !5
  %737 = getelementptr inbounds double, ptr %736, i64 0
  %738 = load double, ptr %737, align 8, !tbaa !31
  %739 = load ptr, ptr %12, align 8, !tbaa !5
  %740 = getelementptr inbounds double, ptr %739, i64 0
  %741 = load double, ptr %740, align 8, !tbaa !31
  %742 = fcmp oeq double %738, %741
  br i1 %742, label %743, label %751

743:                                              ; preds = %735
  %744 = load ptr, ptr %15, align 8, !tbaa !5
  %745 = getelementptr inbounds double, ptr %744, i64 1
  %746 = load double, ptr %745, align 8, !tbaa !31
  %747 = load ptr, ptr %12, align 8, !tbaa !5
  %748 = getelementptr inbounds double, ptr %747, i64 1
  %749 = load double, ptr %748, align 8, !tbaa !31
  %750 = fcmp oeq double %746, %749
  br i1 %750, label %767, label %751

751:                                              ; preds = %743, %735
  %752 = load ptr, ptr %15, align 8, !tbaa !5
  %753 = getelementptr inbounds double, ptr %752, i64 0
  %754 = load double, ptr %753, align 8, !tbaa !31
  %755 = load ptr, ptr %13, align 8, !tbaa !5
  %756 = getelementptr inbounds double, ptr %755, i64 0
  %757 = load double, ptr %756, align 8, !tbaa !31
  %758 = fcmp oeq double %754, %757
  br i1 %758, label %759, label %778

759:                                              ; preds = %751
  %760 = load ptr, ptr %15, align 8, !tbaa !5
  %761 = getelementptr inbounds double, ptr %760, i64 1
  %762 = load double, ptr %761, align 8, !tbaa !31
  %763 = load ptr, ptr %13, align 8, !tbaa !5
  %764 = getelementptr inbounds double, ptr %763, i64 1
  %765 = load double, ptr %764, align 8, !tbaa !31
  %766 = fcmp oeq double %762, %765
  br i1 %766, label %767, label %778

767:                                              ; preds = %759, %743
  %768 = load ptr, ptr %15, align 8, !tbaa !5
  %769 = getelementptr inbounds double, ptr %768, i64 0
  %770 = load double, ptr %769, align 8, !tbaa !31
  %771 = load ptr, ptr %15, align 8, !tbaa !5
  %772 = getelementptr inbounds double, ptr %771, i64 1
  %773 = load double, ptr %772, align 8, !tbaa !31
  %774 = call i32 (ptr, ...) @printf(ptr noundef @.str.1040, double noundef %770, double noundef %773)
  %775 = call i32 (ptr, ...) @printf(ptr noundef @.str.1041)
  %776 = call i32 (ptr, ...) @printf(ptr noundef @.str.1042)
  %777 = call i32 (ptr, ...) @printf(ptr noundef @.str.1043)
  call void @precisionerror()
  call void @triexit(i32 noundef 1)
  br label %778

778:                                              ; preds = %767, %759, %751
  %779 = load ptr, ptr %4, align 8, !tbaa !5
  %780 = load ptr, ptr %5, align 8, !tbaa !5
  %781 = load ptr, ptr %15, align 8, !tbaa !5
  %782 = load i32, ptr %6, align 4, !tbaa !9
  %783 = call i32 @insertvertex(ptr noundef %779, ptr noundef %780, ptr noundef %781, ptr noundef %7, ptr noundef %10, i32 noundef 1, i32 noundef %782)
  store i32 %783, ptr %16, align 4, !tbaa !9
  %784 = load i32, ptr %16, align 4, !tbaa !9
  %785 = icmp ne i32 %784, 0
  br i1 %785, label %786, label %792

786:                                              ; preds = %778
  %787 = load i32, ptr %16, align 4, !tbaa !9
  %788 = icmp ne i32 %787, 1
  br i1 %788, label %789, label %792

789:                                              ; preds = %786
  %790 = call i32 (ptr, ...) @printf(ptr noundef @.str.1044)
  %791 = call i32 (ptr, ...) @printf(ptr noundef @.str.1008)
  call void @internalerror()
  br label %792

792:                                              ; preds = %789, %786, %778
  %793 = load ptr, ptr %4, align 8, !tbaa !5
  %794 = getelementptr inbounds %struct.mesh, ptr %793, i32 0, i32 29
  %795 = load i32, ptr %794, align 8, !tbaa !17
  %796 = icmp sgt i32 %795, 0
  br i1 %796, label %797, label %802

797:                                              ; preds = %792
  %798 = load ptr, ptr %4, align 8, !tbaa !5
  %799 = getelementptr inbounds %struct.mesh, ptr %798, i32 0, i32 29
  %800 = load i32, ptr %799, align 8, !tbaa !17
  %801 = add nsw i32 %800, -1
  store i32 %801, ptr %799, align 8, !tbaa !17
  br label %802

802:                                              ; preds = %797, %792
  %803 = load ptr, ptr %4, align 8, !tbaa !5
  %804 = load ptr, ptr %5, align 8, !tbaa !5
  %805 = call i32 @checkseg4encroach(ptr noundef %803, ptr noundef %804, ptr noundef %10)
  store i32 %805, ptr %26, align 4, !tbaa !9
  %806 = getelementptr inbounds %struct.osub, ptr %10, i32 0, i32 0
  %807 = load ptr, ptr %806, align 8, !tbaa !22
  %808 = getelementptr inbounds %struct.osub, ptr %10, i32 0, i32 1
  %809 = load i32, ptr %808, align 8, !tbaa !20
  %810 = sub nsw i32 1, %809
  %811 = sext i32 %810 to i64
  %812 = getelementptr inbounds ptr, ptr %807, i64 %811
  %813 = load ptr, ptr %812, align 8, !tbaa !5
  store ptr %813, ptr %29, align 8, !tbaa !5
  %814 = load ptr, ptr %29, align 8, !tbaa !5
  %815 = ptrtoint ptr %814 to i64
  %816 = and i64 %815, 1
  %817 = trunc i64 %816 to i32
  %818 = getelementptr inbounds %struct.osub, ptr %10, i32 0, i32 1
  store i32 %817, ptr %818, align 8, !tbaa !20
  %819 = load ptr, ptr %29, align 8, !tbaa !5
  %820 = ptrtoint ptr %819 to i64
  %821 = and i64 %820, -4
  %822 = inttoptr i64 %821 to ptr
  %823 = getelementptr inbounds %struct.osub, ptr %10, i32 0, i32 0
  store ptr %822, ptr %823, align 8, !tbaa !22
  %824 = load ptr, ptr %4, align 8, !tbaa !5
  %825 = load ptr, ptr %5, align 8, !tbaa !5
  %826 = call i32 @checkseg4encroach(ptr noundef %824, ptr noundef %825, ptr noundef %10)
  store i32 %826, ptr %26, align 4, !tbaa !9
  br label %827

827:                                              ; preds = %802, %100, %94, %58
  %828 = load ptr, ptr %4, align 8, !tbaa !5
  %829 = load ptr, ptr %11, align 8, !tbaa !5
  call void @badsubsegdealloc(ptr noundef %828, ptr noundef %829)
  %830 = load ptr, ptr %4, align 8, !tbaa !5
  %831 = call ptr @badsubsegtraverse(ptr noundef %830)
  store ptr %831, ptr %11, align 8, !tbaa !5
  br label %48, !llvm.loop !42

832:                                              ; preds = %56
  br label %30, !llvm.loop !43

833:                                              ; preds = %41
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %27) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %24) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %10) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %9) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %8) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %7) #5
  ret void
}

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = !{!12, !14, i64 416}
!12 = !{!"mesh", !13, i64 0, !13, i64 88, !13, i64 176, !13, i64 264, !13, i64 352, !13, i64 440, !13, i64 528, !13, i64 616, !7, i64 704, !7, i64 33472, !7, i64 66240, !10, i64 82624, !6, i64 82632, !15, i64 82640, !15, i64 82648, !15, i64 82656, !15, i64 82664, !15, i64 82672, !10, i64 82680, !10, i64 82684, !10, i64 82688, !10, i64 82692, !10, i64 82696, !10, i64 82700, !14, i64 82704, !10, i64 82712, !10, i64 82716, !10, i64 82720, !14, i64 82728, !10, i64 82736, !10, i64 82740, !10, i64 82744, !10, i64 82748, !10, i64 82752, !10, i64 82756, !10, i64 82760, !10, i64 82764, !10, i64 82768, !14, i64 82776, !14, i64 82784, !14, i64 82792, !14, i64 82800, !14, i64 82808, !14, i64 82816, !14, i64 82824, !6, i64 82832, !6, i64 82840, !6, i64 82848, !6, i64 82856, !6, i64 82864, !6, i64 82872, !6, i64 82880, !16, i64 82888}
!13 = !{!"memorypool", !6, i64 0, !6, i64 8, !6, i64 16, !6, i64 24, !6, i64 32, !6, i64 40, !10, i64 48, !10, i64 52, !10, i64 56, !10, i64 60, !14, i64 64, !14, i64 72, !10, i64 80, !10, i64 84}
!14 = !{!"long", !7, i64 0}
!15 = !{!"double", !7, i64 0}
!16 = !{!"otri", !6, i64 0, !10, i64 8}
!17 = !{!12, !10, i64 82736}
!18 = !{!19, !6, i64 0}
!19 = !{!"badsubseg", !6, i64 0, !6, i64 8, !6, i64 16}
!20 = !{!21, !10, i64 8}
!21 = !{!"osub", !6, i64 0, !10, i64 8}
!22 = !{!21, !6, i64 0}
!23 = !{!19, !6, i64 8}
!24 = !{!19, !6, i64 16}
!25 = !{!16, !10, i64 8}
!26 = !{!16, !6, i64 0}
!27 = !{!12, !6, i64 82872}
!28 = !{!29, !10, i64 88}
!29 = !{!"behavior", !10, i64 0, !10, i64 4, !10, i64 8, !10, i64 12, !10, i64 16, !10, i64 20, !10, i64 24, !10, i64 28, !10, i64 32, !10, i64 36, !10, i64 40, !10, i64 44, !10, i64 48, !10, i64 52, !10, i64 56, !10, i64 60, !10, i64 64, !10, i64 68, !10, i64 72, !10, i64 76, !10, i64 80, !10, i64 84, !10, i64 88, !10, i64 92, !10, i64 96, !10, i64 100, !10, i64 104, !10, i64 108, !10, i64 112, !10, i64 116, !10, i64 120, !10, i64 124, !10, i64 128, !10, i64 132, !15, i64 136, !15, i64 144, !15, i64 152, !15, i64 160, !7, i64 168, !7, i64 2216, !7, i64 4264, !7, i64 6312, !7, i64 8360, !7, i64 10408, !7, i64 12456, !7, i64 14504, !7, i64 16552, !7, i64 18600, !7, i64 20648, !7, i64 22696}
!30 = !{!12, !10, i64 82740}
!31 = !{!15, !15, i64 0}
!32 = distinct !{!32, !33}
!33 = !{!"llvm.loop.mustprogress"}
!34 = !{!12, !6, i64 82856}
!35 = distinct !{!35, !33}
!36 = distinct !{!36, !33}
!37 = distinct !{!37, !33}
!38 = !{!12, !10, i64 82716}
!39 = distinct !{!39, !33}
!40 = !{!29, !10, i64 84}
!41 = !{!29, !10, i64 116}
!42 = distinct !{!42, !33}
!43 = distinct !{!43, !33}


; Optimized IR (opt -passes='default<O3>'):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%struct.otri = type { ptr, i32 }
%struct.osub = type { ptr, i32 }

@plus1mod3 = external dso_local local_unnamed_addr global [3 x i32], align 4
@minus1mod3 = external dso_local local_unnamed_addr global [3 x i32], align 4
@.str.1006 = external hidden unnamed_addr constant [73 x i8], align 1
@.str.1008 = external hidden unnamed_addr constant [31 x i8], align 1
@.str.1040 = external hidden unnamed_addr constant [49 x i8], align 1
@.str.1041 = external hidden unnamed_addr constant [55 x i8], align 1
@.str.1042 = external hidden unnamed_addr constant [50 x i8], align 1
@.str.1043 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.1044 = external hidden unnamed_addr constant [35 x i8], align 1

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

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

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

; Function Attrs: nounwind uwtable
declare dso_local void @triexit(i32 noundef) local_unnamed_addr #2

; Function Attrs: nofree nounwind
declare noundef i32 @printf(ptr nocapture noundef readonly, ...) local_unnamed_addr #3

; Function Attrs: nounwind uwtable
declare dso_local void @internalerror() local_unnamed_addr #2

; Function Attrs: nounwind uwtable
declare dso_local ptr @poolalloc(ptr noundef) local_unnamed_addr #2

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

; Function Attrs: nounwind uwtable
declare dso_local void @badsubsegdealloc(ptr noundef, ptr noundef) local_unnamed_addr #2

; Function Attrs: nounwind uwtable
declare dso_local ptr @badsubsegtraverse(ptr noundef) local_unnamed_addr #2

; Function Attrs: nounwind uwtable
declare dso_local double @counterclockwise(ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #2

; Function Attrs: nounwind uwtable
declare dso_local i32 @checkseg4encroach(ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #2

; Function Attrs: nounwind uwtable
declare dso_local i32 @insertvertex(ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, i32 noundef, i32 noundef) local_unnamed_addr #2

; Function Attrs: nounwind uwtable
declare dso_local void @deletevertex(ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #2

; Function Attrs: nounwind uwtable
declare dso_local void @precisionerror() local_unnamed_addr #2

; Function Attrs: nounwind uwtable
define dso_local void @splitencsegs(ptr noundef %0, ptr noundef %1, i32 noundef %2) local_unnamed_addr #2 {
  %4 = alloca %struct.otri, align 8
  %5 = alloca %struct.otri, align 8
  %6 = alloca %struct.osub, align 8
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %4) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %5) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %6) #5
  %7 = getelementptr inbounds i8, ptr %0, i64 82736
  %8 = getelementptr inbounds i8, ptr %0, i64 352
  %9 = getelementptr inbounds i8, ptr %0, i64 416
  %10 = load i64, ptr %9, align 8, !tbaa !5
  %11 = icmp sgt i64 %10, 0
  br i1 %11, label %.lr.ph224, label %.critedge

.lr.ph224:                                        ; preds = %3
  %12 = getelementptr inbounds i8, ptr %6, i64 8
  %13 = getelementptr inbounds i8, ptr %4, i64 8
  %14 = getelementptr inbounds i8, ptr %5, i64 8
  %15 = getelementptr inbounds i8, ptr %0, i64 82872
  %16 = getelementptr inbounds i8, ptr %1, i64 88
  %17 = getelementptr inbounds i8, ptr %0, i64 82740
  %18 = getelementptr inbounds i8, ptr %0, i64 82856
  %19 = getelementptr inbounds i8, ptr %0, i64 176
  %20 = getelementptr inbounds i8, ptr %0, i64 82716
  %21 = getelementptr inbounds i8, ptr %1, i64 84
  %22 = getelementptr inbounds i8, ptr %1, i64 116
  br label %23

23:                                               ; preds = %.lr.ph224, %.critedge2
  %24 = load i32, ptr %7, align 8, !tbaa !15
  %.not = icmp eq i32 %24, 0
  br i1 %.not, label %.critedge, label %25

25:                                               ; preds = %23
  call void @traversalinit(ptr noundef nonnull %8)
  %26 = call ptr @badsubsegtraverse(ptr noundef nonnull %0)
  %.not200218 = icmp eq ptr %26, null
  br i1 %.not200218, label %.critedge2, label %.lr.ph221

.lr.ph221:                                        ; preds = %25, %407
  %.0188219 = phi ptr [ %408, %407 ], [ %26, %25 ]
  %27 = load i32, ptr %7, align 8, !tbaa !15
  %.not201 = icmp eq i32 %27, 0
  br i1 %.not201, label %.critedge2, label %28

28:                                               ; preds = %.lr.ph221
  %29 = load ptr, ptr %.0188219, align 8, !tbaa !16
  %30 = ptrtoint ptr %29 to i64
  %31 = trunc i64 %30 to i32
  %32 = and i32 %31, 1
  store i32 %32, ptr %12, align 8, !tbaa !18
  %33 = and i64 %30, -4
  %34 = inttoptr i64 %33 to ptr
  store ptr %34, ptr %6, align 8, !tbaa !20
  %35 = or disjoint i32 %32, 2
  %36 = zext nneg i32 %35 to i64
  %37 = getelementptr inbounds ptr, ptr %34, i64 %36
  %38 = load ptr, ptr %37, align 8, !tbaa !21
  %39 = ptrtoint ptr %38 to i64
  %40 = xor i32 %32, 3
  %41 = zext nneg i32 %40 to i64
  %42 = getelementptr inbounds ptr, ptr %34, i64 %41
  %43 = load ptr, ptr %42, align 8, !tbaa !21
  %44 = ptrtoint ptr %43 to i64
  %45 = getelementptr inbounds i8, ptr %34, i64 8
  %46 = load ptr, ptr %45, align 8, !tbaa !21
  %47 = icmp eq ptr %46, null
  br i1 %47, label %407, label %48

48:                                               ; preds = %28
  %49 = getelementptr inbounds i8, ptr %.0188219, i64 8
  %50 = load ptr, ptr %49, align 8, !tbaa !22
  %51 = icmp eq ptr %38, %50
  br i1 %51, label %52, label %407

52:                                               ; preds = %48
  %53 = getelementptr inbounds i8, ptr %.0188219, i64 16
  %54 = load ptr, ptr %53, align 8, !tbaa !23
  %55 = icmp eq ptr %43, %54
  br i1 %55, label %56, label %407

56:                                               ; preds = %52
  %57 = or disjoint i32 %32, 6
  %58 = zext nneg i32 %57 to i64
  %59 = getelementptr inbounds ptr, ptr %34, i64 %58
  %60 = load ptr, ptr %59, align 8, !tbaa !21
  %61 = ptrtoint ptr %60 to i64
  %62 = trunc i64 %61 to i32
  %63 = and i32 %62, 3
  store i32 %63, ptr %13, align 8, !tbaa !24
  %64 = and i64 %61, -4
  %65 = inttoptr i64 %64 to ptr
  store ptr %65, ptr %4, align 8, !tbaa !25
  store ptr %65, ptr %5, align 8, !tbaa !25
  %66 = and i64 %61, 3
  %67 = getelementptr inbounds [3 x i32], ptr @plus1mod3, i64 0, i64 %66
  %68 = load i32, ptr %67, align 4, !tbaa !26
  %69 = sext i32 %68 to i64
  %70 = getelementptr ptr, ptr %65, i64 %69
  %71 = getelementptr i8, ptr %70, i64 48
  %72 = load ptr, ptr %71, align 8, !tbaa !21
  %73 = ptrtoint ptr %72 to i64
  %74 = and i64 %73, -4
  %75 = inttoptr i64 %74 to ptr
  %76 = load ptr, ptr %15, align 8, !tbaa !27
  %77 = icmp ne ptr %76, %75
  %78 = getelementptr inbounds [3 x i32], ptr @plus1mod3, i64 0, i64 %69
  %79 = load i32, ptr %78, align 4, !tbaa !26
  store i32 %79, ptr %14, align 8, !tbaa !24
  %80 = sext i32 %79 to i64
  %81 = getelementptr ptr, ptr %65, i64 %80
  %82 = getelementptr i8, ptr %81, i64 48
  %83 = load ptr, ptr %82, align 8, !tbaa !21
  %84 = ptrtoint ptr %83 to i64
  %85 = and i64 %84, -4
  %86 = inttoptr i64 %85 to ptr
  %87 = icmp ne ptr %76, %86
  %88 = load i32, ptr %16, align 8, !tbaa !28
  %89 = icmp ne i32 %88, 0
  %or.cond = select i1 %89, i1 true, i1 %77
  %or.cond5 = select i1 %or.cond, i1 true, i1 %87
  br i1 %or.cond5, label %.critedge7, label %90

90:                                               ; preds = %56
  %91 = getelementptr ptr, ptr %65, i64 %66
  %92 = getelementptr i8, ptr %91, i64 24
  %93 = load ptr, ptr %92, align 8, !tbaa !21
  %94 = load i32, ptr %17, align 4, !tbaa !30
  %95 = sext i32 %94 to i64
  %96 = getelementptr i32, ptr %93, i64 %95
  %97 = getelementptr i8, ptr %96, i64 4
  %98 = load i32, ptr %97, align 4, !tbaa !26
  %99 = icmp eq i32 %98, 2
  br i1 %99, label %.lr.ph, label %.critedge7

.lr.ph:                                           ; preds = %90
  %100 = getelementptr inbounds i8, ptr %38, i64 8
  %101 = getelementptr inbounds i8, ptr %43, i64 8
  %102 = load double, ptr %38, align 8, !tbaa !31
  %103 = load double, ptr %93, align 8, !tbaa !31
  %104 = fsub double %102, %103
  %105 = load double, ptr %43, align 8, !tbaa !31
  %106 = fsub double %105, %103
  %107 = load double, ptr %100, align 8, !tbaa !31
  %108 = getelementptr inbounds i8, ptr %93, i64 8
  %109 = load double, ptr %108, align 8, !tbaa !31
  %110 = fsub double %107, %109
  %111 = load double, ptr %101, align 8, !tbaa !31
  %112 = fsub double %111, %109
  %113 = fmul double %110, %112
  %114 = call double @llvm.fmuladd.f64(double %104, double %106, double %113)
  %115 = fcmp olt double %114, 0.000000e+00
  br i1 %115, label %.lr.ph236, label %.critedge7

116:                                              ; preds = %.lr.ph236
  %117 = load double, ptr %38, align 8, !tbaa !31
  %118 = load double, ptr %145, align 8, !tbaa !31
  %119 = fsub double %117, %118
  %120 = load double, ptr %43, align 8, !tbaa !31
  %121 = fsub double %120, %118
  %122 = load double, ptr %100, align 8, !tbaa !31
  %123 = getelementptr inbounds i8, ptr %145, i64 8
  %124 = load double, ptr %123, align 8, !tbaa !31
  %125 = fsub double %122, %124
  %126 = load double, ptr %101, align 8, !tbaa !31
  %127 = fsub double %126, %124
  %128 = fmul double %125, %127
  %129 = call double @llvm.fmuladd.f64(double %119, double %121, double %128)
  %130 = fcmp olt double %129, 0.000000e+00
  br i1 %130, label %.lr.ph236, label %.critedge7, !llvm.loop !32

.lr.ph236:                                        ; preds = %.lr.ph, %116
  call void @deletevertex(ptr noundef nonnull %0, ptr noundef %1, ptr noundef nonnull %5)
  %131 = load ptr, ptr %6, align 8, !tbaa !20
  %132 = load i32, ptr %12, align 8, !tbaa !18
  %133 = sext i32 %132 to i64
  %134 = getelementptr ptr, ptr %131, i64 %133
  %135 = getelementptr i8, ptr %134, i64 48
  %136 = load ptr, ptr %135, align 8, !tbaa !21
  %137 = ptrtoint ptr %136 to i64
  %138 = trunc i64 %137 to i32
  %139 = and i32 %138, 3
  store i32 %139, ptr %13, align 8, !tbaa !24
  %140 = and i64 %137, -4
  %141 = inttoptr i64 %140 to ptr
  store ptr %141, ptr %4, align 8, !tbaa !25
  %142 = and i64 %137, 3
  %143 = getelementptr inbounds ptr, ptr %141, i64 %142
  %144 = getelementptr inbounds i8, ptr %143, i64 24
  %145 = load ptr, ptr %144, align 8, !tbaa !21
  store ptr %141, ptr %5, align 8, !tbaa !25
  %146 = getelementptr inbounds [3 x i32], ptr @minus1mod3, i64 0, i64 %142
  %147 = load i32, ptr %146, align 4, !tbaa !26
  store i32 %147, ptr %14, align 8, !tbaa !24
  %148 = load i32, ptr %17, align 4, !tbaa !30
  %149 = sext i32 %148 to i64
  %150 = getelementptr i32, ptr %145, i64 %149
  %151 = getelementptr i8, ptr %150, i64 4
  %152 = load i32, ptr %151, align 4, !tbaa !26
  %153 = icmp eq i32 %152, 2
  br i1 %153, label %116, label %.critedge7, !llvm.loop !32

.critedge7:                                       ; preds = %116, %.lr.ph236, %.lr.ph, %90, %56
  %154 = phi i32 [ %63, %90 ], [ %63, %56 ], [ %63, %.lr.ph ], [ %139, %.lr.ph236 ], [ %139, %116 ]
  %155 = phi ptr [ %65, %90 ], [ %65, %56 ], [ %65, %.lr.ph ], [ %141, %.lr.ph236 ], [ %141, %116 ]
  %156 = zext nneg i32 %154 to i64
  %157 = getelementptr inbounds ptr, ptr %155, i64 %156
  %158 = load ptr, ptr %157, align 8, !tbaa !21
  %159 = ptrtoint ptr %158 to i64
  %160 = trunc i64 %159 to i32
  %161 = and i32 %160, 3
  store i32 %161, ptr %14, align 8, !tbaa !24
  %162 = and i64 %159, -4
  %163 = inttoptr i64 %162 to ptr
  store ptr %163, ptr %5, align 8, !tbaa !25
  %164 = load ptr, ptr %18, align 8, !tbaa !34
  %.not202 = icmp eq ptr %164, %163
  br i1 %.not202, label %.critedge13, label %165

165:                                              ; preds = %.critedge7
  %166 = and i64 %159, 3
  %167 = getelementptr inbounds [3 x i32], ptr @plus1mod3, i64 0, i64 %166
  %168 = load i32, ptr %167, align 4, !tbaa !26
  %169 = sext i32 %168 to i64
  %170 = getelementptr ptr, ptr %163, i64 %169
  %171 = getelementptr i8, ptr %170, i64 48
  %172 = load ptr, ptr %171, align 8, !tbaa !21
  %173 = ptrtoint ptr %172 to i64
  %174 = and i64 %173, -4
  %175 = inttoptr i64 %174 to ptr
  %176 = load ptr, ptr %15, align 8, !tbaa !27
  %177 = icmp ne ptr %176, %175
  %178 = select i1 %87, i1 true, i1 %177
  %179 = getelementptr inbounds [3 x i32], ptr @plus1mod3, i64 0, i64 %169
  %180 = load i32, ptr %179, align 4, !tbaa !26
  store i32 %180, ptr %14, align 8, !tbaa !24
  %181 = sext i32 %180 to i64
  %182 = getelementptr ptr, ptr %163, i64 %181
  %183 = getelementptr i8, ptr %182, i64 48
  %184 = load ptr, ptr %183, align 8, !tbaa !21
  %185 = ptrtoint ptr %184 to i64
  %186 = and i64 %185, -4
  %187 = inttoptr i64 %186 to ptr
  %188 = icmp ne ptr %176, %187
  %189 = select i1 %77, i1 true, i1 %188
  %190 = load i32, ptr %16, align 8, !tbaa !28
  %191 = icmp ne i32 %190, 0
  %or.cond9 = select i1 %191, i1 true, i1 %188
  %or.cond11 = select i1 %or.cond9, i1 true, i1 %177
  br i1 %or.cond11, label %.critedge13, label %192

192:                                              ; preds = %165
  %193 = getelementptr inbounds [3 x i32], ptr @plus1mod3, i64 0, i64 %181
  %194 = load i32, ptr %193, align 4, !tbaa !26
  %195 = sext i32 %194 to i64
  %196 = getelementptr ptr, ptr %163, i64 %195
  %197 = getelementptr i8, ptr %196, i64 24
  %198 = load ptr, ptr %197, align 8, !tbaa !21
  %199 = load i32, ptr %17, align 4, !tbaa !30
  %200 = sext i32 %199 to i64
  %201 = getelementptr i32, ptr %198, i64 %200
  %202 = getelementptr i8, ptr %201, i64 4
  %203 = load i32, ptr %202, align 4, !tbaa !26
  %204 = icmp eq i32 %203, 2
  br i1 %204, label %.lr.ph207, label %.critedge13

.lr.ph207:                                        ; preds = %192
  %205 = getelementptr inbounds i8, ptr %38, i64 8
  %206 = getelementptr inbounds i8, ptr %43, i64 8
  br label %207

207:                                              ; preds = %.lr.ph207, %222
  %.1206 = phi ptr [ %198, %.lr.ph207 ], [ %234, %222 ]
  %208 = load double, ptr %38, align 8, !tbaa !31
  %209 = load double, ptr %.1206, align 8, !tbaa !31
  %210 = fsub double %208, %209
  %211 = load double, ptr %43, align 8, !tbaa !31
  %212 = fsub double %211, %209
  %213 = load double, ptr %205, align 8, !tbaa !31
  %214 = getelementptr inbounds i8, ptr %.1206, i64 8
  %215 = load double, ptr %214, align 8, !tbaa !31
  %216 = fsub double %213, %215
  %217 = load double, ptr %206, align 8, !tbaa !31
  %218 = fsub double %217, %215
  %219 = fmul double %216, %218
  %220 = call double @llvm.fmuladd.f64(double %210, double %212, double %219)
  %221 = fcmp olt double %220, 0.000000e+00
  br i1 %221, label %222, label %.critedge13

222:                                              ; preds = %207
  call void @deletevertex(ptr noundef nonnull %0, ptr noundef %1, ptr noundef nonnull %5)
  %223 = load ptr, ptr %4, align 8, !tbaa !25
  %224 = load i32, ptr %13, align 8, !tbaa !24
  %225 = sext i32 %224 to i64
  %226 = getelementptr inbounds ptr, ptr %223, i64 %225
  %227 = load ptr, ptr %226, align 8, !tbaa !21
  %228 = ptrtoint ptr %227 to i64
  %229 = and i64 %228, -4
  %230 = inttoptr i64 %229 to ptr
  store ptr %230, ptr %5, align 8, !tbaa !25
  %231 = and i64 %228, 3
  %232 = getelementptr inbounds ptr, ptr %230, i64 %231
  %233 = getelementptr inbounds i8, ptr %232, i64 24
  %234 = load ptr, ptr %233, align 8, !tbaa !21
  %235 = getelementptr inbounds [3 x i32], ptr @minus1mod3, i64 0, i64 %231
  %236 = load i32, ptr %235, align 4, !tbaa !26
  store i32 %236, ptr %14, align 8, !tbaa !24
  %237 = load i32, ptr %17, align 4, !tbaa !30
  %238 = sext i32 %237 to i64
  %239 = getelementptr i32, ptr %234, i64 %238
  %240 = getelementptr i8, ptr %239, i64 4
  %241 = load i32, ptr %240, align 4, !tbaa !26
  %242 = icmp eq i32 %241, 2
  br i1 %242, label %207, label %.critedge13, !llvm.loop !35

.critedge13:                                      ; preds = %207, %222, %192, %165, %.critedge7
  %.0189.in = phi i1 [ %189, %165 ], [ %77, %.critedge7 ], [ %189, %192 ], [ %189, %222 ], [ %189, %207 ]
  %.0187.in = phi i1 [ %178, %165 ], [ %87, %.critedge7 ], [ %178, %192 ], [ %178, %222 ], [ %178, %207 ]
  %or.cond15 = select i1 %.0189.in, i1 true, i1 %.0187.in
  br i1 %or.cond15, label %243, label %266

243:                                              ; preds = %.critedge13
  %244 = load double, ptr %43, align 8, !tbaa !31
  %245 = load double, ptr %38, align 8, !tbaa !31
  %246 = fsub double %244, %245
  %247 = getelementptr inbounds i8, ptr %43, i64 8
  %248 = load double, ptr %247, align 8, !tbaa !31
  %249 = getelementptr inbounds i8, ptr %38, i64 8
  %250 = load double, ptr %249, align 8, !tbaa !31
  %251 = fsub double %248, %250
  %252 = fmul double %251, %251
  %253 = call double @llvm.fmuladd.f64(double %246, double %246, double %252)
  %sqrt = call double @llvm.sqrt.f64(double %253)
  %254 = fcmp ogt double %sqrt, 3.000000e+00
  br i1 %254, label %.lr.ph210, label %.preheader

.preheader:                                       ; preds = %.lr.ph210, %243
  %.0192.lcssa = phi double [ 1.000000e+00, %243 ], [ %257, %.lr.ph210 ]
  %255 = fmul double %.0192.lcssa, 1.500000e+00
  %256 = fcmp olt double %sqrt, %255
  br i1 %256, label %.lr.ph212, label %._crit_edge

.lr.ph210:                                        ; preds = %243, %.lr.ph210
  %.0192209 = phi double [ %257, %.lr.ph210 ], [ 1.000000e+00, %243 ]
  %257 = fmul double %.0192209, 2.000000e+00
  %258 = fmul double %257, 3.000000e+00
  %259 = fcmp ogt double %sqrt, %258
  br i1 %259, label %.lr.ph210, label %.preheader, !llvm.loop !36

.lr.ph212:                                        ; preds = %.preheader, %.lr.ph212
  %.1193211 = phi double [ %260, %.lr.ph212 ], [ %.0192.lcssa, %.preheader ]
  %260 = fmul double %.1193211, 5.000000e-01
  %261 = fmul double %260, 1.500000e+00
  %262 = fcmp olt double %sqrt, %261
  br i1 %262, label %.lr.ph212, label %._crit_edge, !llvm.loop !37

._crit_edge:                                      ; preds = %.lr.ph212, %.preheader
  %.1193.lcssa = phi double [ %.0192.lcssa, %.preheader ], [ %260, %.lr.ph212 ]
  %263 = fdiv double %.1193.lcssa, %sqrt
  br i1 %.0187.in, label %264, label %266

264:                                              ; preds = %._crit_edge
  %265 = fsub double 1.000000e+00, %263
  br label %266

266:                                              ; preds = %.critedge13, %._crit_edge, %264
  %.0191 = phi double [ %265, %264 ], [ %263, %._crit_edge ], [ 5.000000e-01, %.critedge13 ]
  %267 = call ptr @poolalloc(ptr noundef nonnull %19)
  %268 = ptrtoint ptr %267 to i64
  %269 = load i32, ptr %20, align 4, !tbaa !38
  %270 = icmp sgt i32 %269, -2
  br i1 %270, label %.lr.ph216.preheader, label %._crit_edge217

.lr.ph216.preheader:                              ; preds = %266
  %271 = add i32 %269, 2
  %wide.trip.count = zext i32 %271 to i64
  %min.iters.check = icmp ult i32 %271, 4
  br i1 %min.iters.check, label %.lr.ph216.preheader245, label %vector.memcheck

vector.memcheck:                                  ; preds = %.lr.ph216.preheader
  %272 = sub i64 %268, %39
  %diff.check = icmp ult i64 %272, 32
  %273 = sub i64 %268, %44
  %diff.check241 = icmp ult i64 %273, 32
  %conflict.rdx = or i1 %diff.check, %diff.check241
  br i1 %conflict.rdx, label %.lr.ph216.preheader245, label %vector.ph

vector.ph:                                        ; preds = %vector.memcheck
  %n.vec = and i64 %wide.trip.count, 4294967292
  %broadcast.splatinsert = insertelement <2 x double> poison, double %.0191, i64 0
  %broadcast.splat = shufflevector <2 x double> %broadcast.splatinsert, <2 x double> poison, <2 x i32> zeroinitializer
  br label %vector.body

vector.body:                                      ; preds = %vector.body, %vector.ph
  %index = phi i64 [ 0, %vector.ph ], [ %index.next, %vector.body ]
  %274 = getelementptr inbounds double, ptr %38, i64 %index
  %275 = getelementptr inbounds i8, ptr %274, i64 16
  %wide.load = load <2 x double>, ptr %274, align 8, !tbaa !31
  %wide.load242 = load <2 x double>, ptr %275, align 8, !tbaa !31
  %276 = getelementptr inbounds double, ptr %43, i64 %index
  %277 = getelementptr inbounds i8, ptr %276, i64 16
  %wide.load243 = load <2 x double>, ptr %276, align 8, !tbaa !31
  %wide.load244 = load <2 x double>, ptr %277, align 8, !tbaa !31
  %278 = fsub <2 x double> %wide.load243, %wide.load
  %279 = fsub <2 x double> %wide.load244, %wide.load242
  %280 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %broadcast.splat, <2 x double> %278, <2 x double> %wide.load)
  %281 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %broadcast.splat, <2 x double> %279, <2 x double> %wide.load242)
  %282 = getelementptr inbounds double, ptr %267, i64 %index
  %283 = getelementptr inbounds i8, ptr %282, i64 16
  store <2 x double> %280, ptr %282, align 8, !tbaa !31
  store <2 x double> %281, ptr %283, align 8, !tbaa !31
  %index.next = add nuw i64 %index, 4
  %284 = icmp eq i64 %index.next, %n.vec
  br i1 %284, label %middle.block, label %vector.body, !llvm.loop !39

middle.block:                                     ; preds = %vector.body
  %cmp.n = icmp eq i64 %n.vec, %wide.trip.count
  br i1 %cmp.n, label %._crit_edge217, label %.lr.ph216.preheader245

.lr.ph216.preheader245:                           ; preds = %middle.block, %vector.memcheck, %.lr.ph216.preheader
  %indvars.iv.ph = phi i64 [ 0, %vector.memcheck ], [ 0, %.lr.ph216.preheader ], [ %n.vec, %middle.block ]
  %xtraiter = and i64 %wide.trip.count, 1
  %lcmp.mod.not = icmp eq i64 %xtraiter, 0
  br i1 %lcmp.mod.not, label %.lr.ph216.prol.loopexit, label %.lr.ph216.prol

.lr.ph216.prol:                                   ; preds = %.lr.ph216.preheader245
  %285 = getelementptr inbounds double, ptr %38, i64 %indvars.iv.ph
  %286 = load double, ptr %285, align 8, !tbaa !31
  %287 = getelementptr inbounds double, ptr %43, i64 %indvars.iv.ph
  %288 = load double, ptr %287, align 8, !tbaa !31
  %289 = fsub double %288, %286
  %290 = call double @llvm.fmuladd.f64(double %.0191, double %289, double %286)
  %291 = getelementptr inbounds double, ptr %267, i64 %indvars.iv.ph
  store double %290, ptr %291, align 8, !tbaa !31
  %indvars.iv.next.prol = or disjoint i64 %indvars.iv.ph, 1
  br label %.lr.ph216.prol.loopexit

.lr.ph216.prol.loopexit:                          ; preds = %.lr.ph216.prol, %.lr.ph216.preheader245
  %indvars.iv.unr = phi i64 [ %indvars.iv.ph, %.lr.ph216.preheader245 ], [ %indvars.iv.next.prol, %.lr.ph216.prol ]
  %292 = add nsw i64 %wide.trip.count, -1
  %293 = icmp eq i64 %indvars.iv.ph, %292
  br i1 %293, label %._crit_edge217, label %.lr.ph216

.lr.ph216:                                        ; preds = %.lr.ph216.prol.loopexit, %.lr.ph216
  %indvars.iv = phi i64 [ %indvars.iv.next.1, %.lr.ph216 ], [ %indvars.iv.unr, %.lr.ph216.prol.loopexit ]
  %294 = getelementptr inbounds double, ptr %38, i64 %indvars.iv
  %295 = load double, ptr %294, align 8, !tbaa !31
  %296 = getelementptr inbounds double, ptr %43, i64 %indvars.iv
  %297 = load double, ptr %296, align 8, !tbaa !31
  %298 = fsub double %297, %295
  %299 = call double @llvm.fmuladd.f64(double %.0191, double %298, double %295)
  %300 = getelementptr inbounds double, ptr %267, i64 %indvars.iv
  store double %299, ptr %300, align 8, !tbaa !31
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %301 = getelementptr inbounds double, ptr %38, i64 %indvars.iv.next
  %302 = load double, ptr %301, align 8, !tbaa !31
  %303 = getelementptr inbounds double, ptr %43, i64 %indvars.iv.next
  %304 = load double, ptr %303, align 8, !tbaa !31
  %305 = fsub double %304, %302
  %306 = call double @llvm.fmuladd.f64(double %.0191, double %305, double %302)
  %307 = getelementptr inbounds double, ptr %267, i64 %indvars.iv.next
  store double %306, ptr %307, align 8, !tbaa !31
  %indvars.iv.next.1 = add nuw nsw i64 %indvars.iv, 2
  %exitcond.1 = icmp eq i64 %indvars.iv.next.1, %wide.trip.count
  br i1 %exitcond.1, label %._crit_edge217, label %.lr.ph216, !llvm.loop !42

._crit_edge217:                                   ; preds = %.lr.ph216.prol.loopexit, %.lr.ph216, %middle.block, %266
  %308 = load i32, ptr %21, align 4, !tbaa !43
  %.not203 = icmp eq i32 %308, 0
  br i1 %.not203, label %309, label %336

309:                                              ; preds = %._crit_edge217
  %310 = call double @counterclockwise(ptr noundef nonnull %0, ptr noundef nonnull %1, ptr noundef %38, ptr noundef %43, ptr noundef %267)
  %311 = load double, ptr %38, align 8, !tbaa !31
  %312 = load double, ptr %43, align 8, !tbaa !31
  %313 = fsub double %311, %312
  %314 = getelementptr inbounds i8, ptr %38, i64 8
  %315 = load double, ptr %314, align 8, !tbaa !31
  %316 = getelementptr inbounds i8, ptr %43, i64 8
  %317 = load double, ptr %316, align 8, !tbaa !31
  %318 = fsub double %315, %317
  %319 = fmul double %318, %318
  %320 = call double @llvm.fmuladd.f64(double %313, double %313, double %319)
  %321 = fcmp une double %310, 0.000000e+00
  %322 = fcmp une double %320, 0.000000e+00
  %or.cond17 = select i1 %321, i1 %322, i1 false
  br i1 %or.cond17, label %323, label %336

323:                                              ; preds = %309
  %324 = fdiv double %310, %320
  %325 = fcmp ord double %324, 0.000000e+00
  br i1 %325, label %326, label %336

326:                                              ; preds = %323
  %327 = fsub double %317, %315
  %328 = load double, ptr %267, align 8, !tbaa !31
  %329 = call double @llvm.fmuladd.f64(double %324, double %327, double %328)
  store double %329, ptr %267, align 8, !tbaa !31
  %330 = load double, ptr %38, align 8, !tbaa !31
  %331 = load double, ptr %43, align 8, !tbaa !31
  %332 = fsub double %330, %331
  %333 = getelementptr inbounds i8, ptr %267, i64 8
  %334 = load double, ptr %333, align 8, !tbaa !31
  %335 = call double @llvm.fmuladd.f64(double %324, double %332, double %334)
  store double %335, ptr %333, align 8, !tbaa !31
  br label %336

336:                                              ; preds = %309, %326, %323, %._crit_edge217
  %337 = load ptr, ptr %6, align 8, !tbaa !20
  %338 = getelementptr inbounds i8, ptr %337, i64 64
  %339 = load i32, ptr %338, align 4, !tbaa !26
  %340 = load i32, ptr %17, align 4, !tbaa !30
  %341 = sext i32 %340 to i64
  %342 = getelementptr inbounds i32, ptr %267, i64 %341
  store i32 %339, ptr %342, align 4, !tbaa !26
  %343 = load i32, ptr %17, align 4, !tbaa !30
  %344 = sext i32 %343 to i64
  %345 = getelementptr i32, ptr %267, i64 %344
  %346 = getelementptr i8, ptr %345, i64 4
  store i32 1, ptr %346, align 4, !tbaa !26
  %347 = load i32, ptr %22, align 4, !tbaa !44
  %348 = icmp sgt i32 %347, 1
  %.pre229 = load double, ptr %267, align 8, !tbaa !31
  %.pre231 = load double, ptr %38, align 8, !tbaa !31
  br i1 %348, label %349, label %358

349:                                              ; preds = %336
  %350 = getelementptr inbounds i8, ptr %38, i64 8
  %351 = load double, ptr %350, align 8, !tbaa !31
  %352 = load double, ptr %43, align 8, !tbaa !31
  %353 = getelementptr inbounds i8, ptr %43, i64 8
  %354 = load double, ptr %353, align 8, !tbaa !31
  %355 = getelementptr inbounds i8, ptr %267, i64 8
  %356 = load double, ptr %355, align 8, !tbaa !31
  %357 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.1006, double noundef %.pre231, double noundef %351, double noundef %352, double noundef %354, double noundef %.pre229, double noundef %356)
  %.pre = load double, ptr %267, align 8, !tbaa !31
  %.pre230 = load double, ptr %38, align 8, !tbaa !31
  br label %358

358:                                              ; preds = %349, %336
  %359 = phi double [ %.pre230, %349 ], [ %.pre231, %336 ]
  %360 = phi double [ %.pre, %349 ], [ %.pre229, %336 ]
  %361 = fcmp oeq double %360, %359
  br i1 %361, label %362, label %368

362:                                              ; preds = %358
  %363 = getelementptr inbounds i8, ptr %267, i64 8
  %364 = load double, ptr %363, align 8, !tbaa !31
  %365 = getelementptr inbounds i8, ptr %38, i64 8
  %366 = load double, ptr %365, align 8, !tbaa !31
  %367 = fcmp oeq double %364, %366
  br i1 %367, label %377, label %368

368:                                              ; preds = %362, %358
  %369 = load double, ptr %43, align 8, !tbaa !31
  %370 = fcmp oeq double %360, %369
  br i1 %370, label %371, label %383

371:                                              ; preds = %368
  %372 = getelementptr inbounds i8, ptr %267, i64 8
  %373 = load double, ptr %372, align 8, !tbaa !31
  %374 = getelementptr inbounds i8, ptr %43, i64 8
  %375 = load double, ptr %374, align 8, !tbaa !31
  %376 = fcmp oeq double %373, %375
  br i1 %376, label %377, label %383

377:                                              ; preds = %371, %362
  %378 = phi double [ %373, %371 ], [ %364, %362 ]
  %379 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.1040, double noundef %360, double noundef %378)
  %380 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.1041)
  %381 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.1042)
  %382 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.1043)
  call void @precisionerror()
  call void @triexit(i32 noundef 1)
  br label %383

383:                                              ; preds = %377, %371, %368
  %384 = call i32 @insertvertex(ptr noundef nonnull %0, ptr noundef nonnull %1, ptr noundef nonnull %267, ptr noundef nonnull %4, ptr noundef nonnull %6, i32 noundef 1, i32 noundef %2)
  %or.cond19 = icmp ugt i32 %384, 1
  br i1 %or.cond19, label %385, label %388

385:                                              ; preds = %383
  %386 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.1044)
  %387 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.1008)
  call void @internalerror()
  br label %388

388:                                              ; preds = %385, %383
  %389 = load i32, ptr %7, align 8, !tbaa !15
  %390 = icmp sgt i32 %389, 0
  br i1 %390, label %391, label %393

391:                                              ; preds = %388
  %392 = add nsw i32 %389, -1
  store i32 %392, ptr %7, align 8, !tbaa !15
  br label %393

393:                                              ; preds = %391, %388
  %394 = call i32 @checkseg4encroach(ptr noundef nonnull %0, ptr noundef nonnull %1, ptr noundef nonnull %6)
  %395 = load ptr, ptr %6, align 8, !tbaa !20
  %396 = load i32, ptr %12, align 8, !tbaa !18
  %397 = sub nsw i32 1, %396
  %398 = sext i32 %397 to i64
  %399 = getelementptr inbounds ptr, ptr %395, i64 %398
  %400 = load ptr, ptr %399, align 8, !tbaa !21
  %401 = ptrtoint ptr %400 to i64
  %402 = trunc i64 %401 to i32
  %403 = and i32 %402, 1
  store i32 %403, ptr %12, align 8, !tbaa !18
  %404 = and i64 %401, -4
  %405 = inttoptr i64 %404 to ptr
  store ptr %405, ptr %6, align 8, !tbaa !20
  %406 = call i32 @checkseg4encroach(ptr noundef nonnull %0, ptr noundef nonnull %1, ptr noundef nonnull %6)
  br label %407

407:                                              ; preds = %393, %52, %48, %28
  call void @badsubsegdealloc(ptr noundef nonnull %0, ptr noundef nonnull %.0188219)
  %408 = call ptr @badsubsegtraverse(ptr noundef nonnull %0)
  %.not200 = icmp eq ptr %408, null
  br i1 %.not200, label %.critedge2, label %.lr.ph221, !llvm.loop !45

.critedge2:                                       ; preds = %.lr.ph221, %407, %25
  %409 = load i64, ptr %9, align 8, !tbaa !5
  %410 = icmp sgt i64 %409, 0
  br i1 %410, label %23, label %.critedge, !llvm.loop !46

.critedge:                                        ; preds = %23, %.critedge2, %3
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %6) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %5) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %4) #5
  ret void
}

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

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

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !12, i64 416}
!6 = !{!"mesh", !7, i64 0, !7, i64 88, !7, i64 176, !7, i64 264, !7, i64 352, !7, i64 440, !7, i64 528, !7, i64 616, !9, i64 704, !9, i64 33472, !9, i64 66240, !11, i64 82624, !8, i64 82632, !13, i64 82640, !13, i64 82648, !13, i64 82656, !13, i64 82664, !13, i64 82672, !11, i64 82680, !11, i64 82684, !11, i64 82688, !11, i64 82692, !11, i64 82696, !11, i64 82700, !12, i64 82704, !11, i64 82712, !11, i64 82716, !11, i64 82720, !12, i64 82728, !11, i64 82736, !11, i64 82740, !11, i64 82744, !11, i64 82748, !11, i64 82752, !11, i64 82756, !11, i64 82760, !11, i64 82764, !11, i64 82768, !12, i64 82776, !12, i64 82784, !12, i64 82792, !12, i64 82800, !12, i64 82808, !12, i64 82816, !12, i64 82824, !8, i64 82832, !8, i64 82840, !8, i64 82848, !8, i64 82856, !8, i64 82864, !8, i64 82872, !8, i64 82880, !14, i64 82888}
!7 = !{!"memorypool", !8, i64 0, !8, i64 8, !8, i64 16, !8, i64 24, !8, i64 32, !8, i64 40, !11, i64 48, !11, i64 52, !11, i64 56, !11, i64 60, !12, i64 64, !12, i64 72, !11, i64 80, !11, i64 84}
!8 = !{!"any pointer", !9, i64 0}
!9 = !{!"omnipotent char", !10, i64 0}
!10 = !{!"Simple C/C++ TBAA"}
!11 = !{!"int", !9, i64 0}
!12 = !{!"long", !9, i64 0}
!13 = !{!"double", !9, i64 0}
!14 = !{!"otri", !8, i64 0, !11, i64 8}
!15 = !{!6, !11, i64 82736}
!16 = !{!17, !8, i64 0}
!17 = !{!"badsubseg", !8, i64 0, !8, i64 8, !8, i64 16}
!18 = !{!19, !11, i64 8}
!19 = !{!"osub", !8, i64 0, !11, i64 8}
!20 = !{!19, !8, i64 0}
!21 = !{!8, !8, i64 0}
!22 = !{!17, !8, i64 8}
!23 = !{!17, !8, i64 16}
!24 = !{!14, !11, i64 8}
!25 = !{!14, !8, i64 0}
!26 = !{!11, !11, i64 0}
!27 = !{!6, !8, i64 82872}
!28 = !{!29, !11, i64 88}
!29 = !{!"behavior", !11, i64 0, !11, i64 4, !11, i64 8, !11, i64 12, !11, i64 16, !11, i64 20, !11, i64 24, !11, i64 28, !11, i64 32, !11, i64 36, !11, i64 40, !11, i64 44, !11, i64 48, !11, i64 52, !11, i64 56, !11, i64 60, !11, i64 64, !11, i64 68, !11, i64 72, !11, i64 76, !11, i64 80, !11, i64 84, !11, i64 88, !11, i64 92, !11, i64 96, !11, i64 100, !11, i64 104, !11, i64 108, !11, i64 112, !11, i64 116, !11, i64 120, !11, i64 124, !11, i64 128, !11, i64 132, !13, i64 136, !13, i64 144, !13, i64 152, !13, i64 160, !9, i64 168, !9, i64 2216, !9, i64 4264, !9, i64 6312, !9, i64 8360, !9, i64 10408, !9, i64 12456, !9, i64 14504, !9, i64 16552, !9, i64 18600, !9, i64 20648, !9, i64 22696}
!30 = !{!6, !11, i64 82740}
!31 = !{!13, !13, i64 0}
!32 = distinct !{!32, !33}
!33 = !{!"llvm.loop.mustprogress"}
!34 = !{!6, !8, i64 82856}
!35 = distinct !{!35, !33}
!36 = distinct !{!36, !33}
!37 = distinct !{!37, !33}
!38 = !{!6, !11, i64 82716}
!39 = distinct !{!39, !33, !40, !41}
!40 = !{!"llvm.loop.isvectorized", i32 1}
!41 = !{!"llvm.loop.unroll.runtime.disable"}
!42 = distinct !{!42, !33, !40}
!43 = !{!29, !11, i64 84}
!44 = !{!29, !11, i64 116}
!45 = distinct !{!45, !33}
!46 = distinct !{!46, !33}


; Effective O3 passes: AggressiveInstCombinePass,BDCEPass,CorrelatedValuePropagationPass,DSEPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferFunctionAttrsPass,InstCombinePass,InstSimplifyPass,JumpThreadingPass,LCSSAPass,LICMPass,LoopLoadEliminationPass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,LoopVectorizePass,SCCPPass,SROAPass,SimplifyCFGPass