; 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.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] }
%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 }

@plus1mod3 = external dso_local global [3 x i32], align 4
@minus1mod3 = external dso_local global [3 x i32], align 4
@.str.988 = external hidden unnamed_addr constant [13 x i8], align 1
@.str.989 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.990 = external hidden unnamed_addr constant [34 x i8], align 1
@.str.991 = external hidden unnamed_addr constant [56 x i8], align 1
@.str.992 = external hidden unnamed_addr constant [52 x i8], align 1
@.str.993 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.994 = external hidden unnamed_addr constant [25 x i8], align 1
@.str.995 = external hidden unnamed_addr constant [50 x i8], align 1
@.str.996 = external hidden unnamed_addr constant [51 x i8], align 1
@.str.997 = external hidden unnamed_addr constant [38 x i8], align 1
@.str.998 = external hidden unnamed_addr constant [45 x i8], align 1
@.str.999 = external hidden unnamed_addr constant [59 x i8], align 1
@.str.1000 = external hidden unnamed_addr constant [50 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 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) #1

; Function Attrs: nounwind uwtable
declare dso_local ptr @trimalloc(i32 noundef) #1

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

; Function Attrs: nounwind uwtable
declare dso_local void @trifree(ptr noundef) #1

; Function Attrs: nounwind
declare double @strtod(ptr noundef, ptr noundef) #3

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

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

; Function Attrs: nounwind uwtable
declare dso_local ptr @triangletraverse(ptr noundef) #1

; Function Attrs: nounwind uwtable
declare dso_local ptr @subsegtraverse(ptr noundef) #1

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

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

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

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

; Function Attrs: nounwind uwtable
declare dso_local void @insertsubseg(ptr noundef, ptr noundef, ptr noundef, i32 noundef) #1

; Function Attrs: nounwind uwtable
define dso_local i64 @reconstruct(ptr noundef %0, ptr noundef %1, ptr noundef %2, ptr noundef %3, ptr noundef %4, ptr noundef %5) #1 {
  %7 = alloca ptr, align 8
  %8 = alloca ptr, align 8
  %9 = alloca ptr, align 8
  %10 = alloca ptr, align 8
  %11 = alloca ptr, align 8
  %12 = alloca ptr, align 8
  %13 = alloca ptr, align 8
  %14 = alloca ptr, align 8
  %15 = alloca [1024 x i8], align 16
  %16 = alloca ptr, align 8
  %17 = alloca i32, align 4
  %18 = alloca %struct.otri, align 8
  %19 = alloca %struct.otri, align 8
  %20 = alloca %struct.otri, align 8
  %21 = alloca %struct.otri, align 8
  %22 = alloca %struct.otri, align 8
  %23 = alloca %struct.osub, align 8
  %24 = alloca ptr, align 8
  %25 = alloca ptr, align 8
  %26 = alloca ptr, align 8
  %27 = alloca ptr, align 8
  %28 = alloca ptr, align 8
  %29 = alloca ptr, align 8
  %30 = alloca ptr, align 8
  %31 = alloca ptr, align 8
  %32 = alloca ptr, align 8
  %33 = alloca ptr, align 8
  %34 = alloca ptr, align 8
  %35 = alloca double, align 8
  %36 = alloca [3 x i32], align 4
  %37 = alloca [2 x i32], align 4
  %38 = alloca i32, align 4
  %39 = alloca i32, align 4
  %40 = alloca i32, align 4
  %41 = alloca i32, align 4
  %42 = alloca i32, align 4
  %43 = alloca i64, align 8
  %44 = alloca i32, align 4
  %45 = alloca i64, align 8
  %46 = alloca i64, align 8
  %47 = alloca i32, align 4
  %48 = alloca i32, align 4
  %49 = alloca ptr, align 8
  store ptr %0, ptr %7, align 8, !tbaa !5
  store ptr %1, ptr %8, align 8, !tbaa !5
  store ptr %2, ptr %9, align 8, !tbaa !5
  store ptr %3, ptr %10, align 8, !tbaa !5
  store ptr %4, ptr %11, align 8, !tbaa !5
  store ptr %5, ptr %12, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #4
  call void @llvm.lifetime.start.p0(i64 1024, ptr %15) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #4
  call void @llvm.lifetime.start.p0(i64 16, ptr %18) #4
  call void @llvm.lifetime.start.p0(i64 16, ptr %19) #4
  call void @llvm.lifetime.start.p0(i64 16, ptr %20) #4
  call void @llvm.lifetime.start.p0(i64 16, ptr %21) #4
  call void @llvm.lifetime.start.p0(i64 16, ptr %22) #4
  call void @llvm.lifetime.start.p0(i64 16, ptr %23) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %25) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %28) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %29) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %30) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %32) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %33) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %34) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %35) #4
  call void @llvm.lifetime.start.p0(i64 12, ptr %36) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %37) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %38) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %39) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %40) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %41) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %42) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %43) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %44) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %45) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %46) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %47) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %48) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %49) #4
  %50 = load ptr, ptr %8, align 8, !tbaa !5
  %51 = getelementptr inbounds %struct.behavior, ptr %50, i32 0, i32 28
  %52 = load i32, ptr %51, align 8, !tbaa !9
  %53 = icmp ne i32 %52, 0
  br i1 %53, label %57, label %54

54:                                               ; preds = %6
  %55 = load ptr, ptr %9, align 8, !tbaa !5
  %56 = call i32 (ptr, ...) @printf(ptr noundef @.str.988, ptr noundef %55)
  br label %57

57:                                               ; preds = %54, %6
  %58 = load ptr, ptr %9, align 8, !tbaa !5
  %59 = call noalias ptr @fopen(ptr noundef %58, ptr noundef @.str.989)
  store ptr %59, ptr %13, align 8, !tbaa !5
  %60 = load ptr, ptr %13, align 8, !tbaa !5
  %61 = icmp eq ptr %60, null
  br i1 %61, label %62, label %65

62:                                               ; preds = %57
  %63 = load ptr, ptr %9, align 8, !tbaa !5
  %64 = call i32 (ptr, ...) @printf(ptr noundef @.str.990, ptr noundef %63)
  call void @triexit(i32 noundef 1)
  br label %65

65:                                               ; preds = %62, %57
  %66 = getelementptr inbounds [1024 x i8], ptr %15, i64 0, i64 0
  %67 = load ptr, ptr %13, align 8, !tbaa !5
  %68 = load ptr, ptr %9, align 8, !tbaa !5
  %69 = call ptr @readline(ptr noundef %66, ptr noundef %67, ptr noundef %68)
  store ptr %69, ptr %16, align 8, !tbaa !5
  %70 = load ptr, ptr %16, align 8, !tbaa !5
  %71 = call i64 @strtol(ptr noundef %70, ptr noundef %16, i32 noundef 0) #4
  %72 = trunc i64 %71 to i32
  %73 = load ptr, ptr %7, align 8, !tbaa !5
  %74 = getelementptr inbounds %struct.mesh, ptr %73, i32 0, i32 19
  store i32 %72, ptr %74, align 4, !tbaa !13
  %75 = load ptr, ptr %16, align 8, !tbaa !5
  %76 = call ptr @findfield(ptr noundef %75)
  store ptr %76, ptr %16, align 8, !tbaa !5
  %77 = load ptr, ptr %16, align 8, !tbaa !5
  %78 = load i8, ptr %77, align 1, !tbaa !18
  %79 = sext i8 %78 to i32
  %80 = icmp eq i32 %79, 0
  br i1 %80, label %81, label %82

81:                                               ; preds = %65
  store i32 3, ptr %39, align 4, !tbaa !19
  br label %92

82:                                               ; preds = %65
  %83 = load ptr, ptr %16, align 8, !tbaa !5
  %84 = call i64 @strtol(ptr noundef %83, ptr noundef %16, i32 noundef 0) #4
  %85 = trunc i64 %84 to i32
  store i32 %85, ptr %39, align 4, !tbaa !19
  %86 = load i32, ptr %39, align 4, !tbaa !19
  %87 = icmp slt i32 %86, 3
  br i1 %87, label %88, label %91

88:                                               ; preds = %82
  %89 = load ptr, ptr %9, align 8, !tbaa !5
  %90 = call i32 (ptr, ...) @printf(ptr noundef @.str.991, ptr noundef %89)
  call void @triexit(i32 noundef 1)
  br label %91

91:                                               ; preds = %88, %82
  br label %92

92:                                               ; preds = %91, %81
  %93 = load ptr, ptr %16, align 8, !tbaa !5
  %94 = call ptr @findfield(ptr noundef %93)
  store ptr %94, ptr %16, align 8, !tbaa !5
  %95 = load ptr, ptr %16, align 8, !tbaa !5
  %96 = load i8, ptr %95, align 1, !tbaa !18
  %97 = sext i8 %96 to i32
  %98 = icmp eq i32 %97, 0
  br i1 %98, label %99, label %102

99:                                               ; preds = %92
  %100 = load ptr, ptr %7, align 8, !tbaa !5
  %101 = getelementptr inbounds %struct.mesh, ptr %100, i32 0, i32 27
  store i32 0, ptr %101, align 8, !tbaa !20
  br label %108

102:                                              ; preds = %92
  %103 = load ptr, ptr %16, align 8, !tbaa !5
  %104 = call i64 @strtol(ptr noundef %103, ptr noundef %16, i32 noundef 0) #4
  %105 = trunc i64 %104 to i32
  %106 = load ptr, ptr %7, align 8, !tbaa !5
  %107 = getelementptr inbounds %struct.mesh, ptr %106, i32 0, i32 27
  store i32 %105, ptr %107, align 8, !tbaa !20
  br label %108

108:                                              ; preds = %102, %99
  %109 = load ptr, ptr %7, align 8, !tbaa !5
  %110 = load ptr, ptr %8, align 8, !tbaa !5
  call void @initializetrisubpools(ptr noundef %109, ptr noundef %110)
  store i64 1, ptr %45, align 8, !tbaa !21
  br label %111

111:                                              ; preds = %126, %108
  %112 = load i64, ptr %45, align 8, !tbaa !21
  %113 = load ptr, ptr %7, align 8, !tbaa !5
  %114 = getelementptr inbounds %struct.mesh, ptr %113, i32 0, i32 19
  %115 = load i32, ptr %114, align 4, !tbaa !13
  %116 = sext i32 %115 to i64
  %117 = icmp sle i64 %112, %116
  br i1 %117, label %118, label %129

118:                                              ; preds = %111
  %119 = load ptr, ptr %7, align 8, !tbaa !5
  %120 = load ptr, ptr %8, align 8, !tbaa !5
  call void @maketriangle(ptr noundef %119, ptr noundef %120, ptr noundef %18)
  %121 = getelementptr inbounds %struct.otri, ptr %18, i32 0, i32 0
  %122 = load ptr, ptr %121, align 8, !tbaa !22
  %123 = getelementptr inbounds %struct.otri, ptr %18, i32 0, i32 0
  %124 = load ptr, ptr %123, align 8, !tbaa !22
  %125 = getelementptr inbounds ptr, ptr %124, i64 3
  store ptr %122, ptr %125, align 8, !tbaa !5
  br label %126

126:                                              ; preds = %118
  %127 = load i64, ptr %45, align 8, !tbaa !21
  %128 = add nsw i64 %127, 1
  store i64 %128, ptr %45, align 8, !tbaa !21
  br label %111, !llvm.loop !23

129:                                              ; preds = %111
  store i32 0, ptr %40, align 4, !tbaa !19
  %130 = load ptr, ptr %8, align 8, !tbaa !5
  %131 = getelementptr inbounds %struct.behavior, ptr %130, i32 0, i32 0
  %132 = load i32, ptr %131, align 8, !tbaa !25
  %133 = icmp ne i32 %132, 0
  br i1 %133, label %134, label %175

134:                                              ; preds = %129
  %135 = getelementptr inbounds [1024 x i8], ptr %15, i64 0, i64 0
  %136 = load ptr, ptr %12, align 8, !tbaa !5
  %137 = load ptr, ptr %8, align 8, !tbaa !5
  %138 = getelementptr inbounds %struct.behavior, ptr %137, i32 0, i32 40
  %139 = getelementptr inbounds [2048 x i8], ptr %138, i64 0, i64 0
  %140 = call ptr @readline(ptr noundef %135, ptr noundef %136, ptr noundef %139)
  store ptr %140, ptr %16, align 8, !tbaa !5
  %141 = load ptr, ptr %16, align 8, !tbaa !5
  %142 = call i64 @strtol(ptr noundef %141, ptr noundef %16, i32 noundef 0) #4
  %143 = trunc i64 %142 to i32
  %144 = load ptr, ptr %7, align 8, !tbaa !5
  %145 = getelementptr inbounds %struct.mesh, ptr %144, i32 0, i32 20
  store i32 %143, ptr %145, align 8, !tbaa !26
  %146 = load ptr, ptr %16, align 8, !tbaa !5
  %147 = call ptr @findfield(ptr noundef %146)
  store ptr %147, ptr %16, align 8, !tbaa !5
  %148 = load ptr, ptr %16, align 8, !tbaa !5
  %149 = load i8, ptr %148, align 1, !tbaa !18
  %150 = sext i8 %149 to i32
  %151 = icmp ne i32 %150, 0
  br i1 %151, label %152, label %156

152:                                              ; preds = %134
  %153 = load ptr, ptr %16, align 8, !tbaa !5
  %154 = call i64 @strtol(ptr noundef %153, ptr noundef %16, i32 noundef 0) #4
  %155 = trunc i64 %154 to i32
  store i32 %155, ptr %40, align 4, !tbaa !19
  br label %156

156:                                              ; preds = %152, %134
  store i64 1, ptr %46, align 8, !tbaa !21
  br label %157

157:                                              ; preds = %171, %156
  %158 = load i64, ptr %46, align 8, !tbaa !21
  %159 = load ptr, ptr %7, align 8, !tbaa !5
  %160 = getelementptr inbounds %struct.mesh, ptr %159, i32 0, i32 20
  %161 = load i32, ptr %160, align 8, !tbaa !26
  %162 = sext i32 %161 to i64
  %163 = icmp sle i64 %158, %162
  br i1 %163, label %164, label %174

164:                                              ; preds = %157
  %165 = load ptr, ptr %7, align 8, !tbaa !5
  call void @makesubseg(ptr noundef %165, ptr noundef %23)
  %166 = getelementptr inbounds %struct.osub, ptr %23, i32 0, i32 0
  %167 = load ptr, ptr %166, align 8, !tbaa !27
  %168 = getelementptr inbounds %struct.osub, ptr %23, i32 0, i32 0
  %169 = load ptr, ptr %168, align 8, !tbaa !27
  %170 = getelementptr inbounds ptr, ptr %169, i64 2
  store ptr %167, ptr %170, align 8, !tbaa !5
  br label %171

171:                                              ; preds = %164
  %172 = load i64, ptr %46, align 8, !tbaa !21
  %173 = add nsw i64 %172, 1
  store i64 %173, ptr %46, align 8, !tbaa !21
  br label %157, !llvm.loop !29

174:                                              ; preds = %157
  br label %175

175:                                              ; preds = %174, %129
  %176 = load ptr, ptr %8, align 8, !tbaa !5
  %177 = getelementptr inbounds %struct.behavior, ptr %176, i32 0, i32 3
  %178 = load i32, ptr %177, align 4, !tbaa !30
  %179 = icmp ne i32 %178, 0
  br i1 %179, label %180, label %214

180:                                              ; preds = %175
  %181 = load ptr, ptr %8, align 8, !tbaa !5
  %182 = getelementptr inbounds %struct.behavior, ptr %181, i32 0, i32 28
  %183 = load i32, ptr %182, align 8, !tbaa !9
  %184 = icmp ne i32 %183, 0
  br i1 %184, label %188, label %185

185:                                              ; preds = %180
  %186 = load ptr, ptr %10, align 8, !tbaa !5
  %187 = call i32 (ptr, ...) @printf(ptr noundef @.str.988, ptr noundef %186)
  br label %188

188:                                              ; preds = %185, %180
  %189 = load ptr, ptr %10, align 8, !tbaa !5
  %190 = call noalias ptr @fopen(ptr noundef %189, ptr noundef @.str.989)
  store ptr %190, ptr %14, align 8, !tbaa !5
  %191 = load ptr, ptr %14, align 8, !tbaa !5
  %192 = icmp eq ptr %191, null
  br i1 %192, label %193, label %196

193:                                              ; preds = %188
  %194 = load ptr, ptr %10, align 8, !tbaa !5
  %195 = call i32 (ptr, ...) @printf(ptr noundef @.str.990, ptr noundef %194)
  call void @triexit(i32 noundef 1)
  br label %196

196:                                              ; preds = %193, %188
  %197 = getelementptr inbounds [1024 x i8], ptr %15, i64 0, i64 0
  %198 = load ptr, ptr %14, align 8, !tbaa !5
  %199 = load ptr, ptr %10, align 8, !tbaa !5
  %200 = call ptr @readline(ptr noundef %197, ptr noundef %198, ptr noundef %199)
  store ptr %200, ptr %16, align 8, !tbaa !5
  %201 = load ptr, ptr %16, align 8, !tbaa !5
  %202 = call i64 @strtol(ptr noundef %201, ptr noundef %16, i32 noundef 0) #4
  %203 = trunc i64 %202 to i32
  store i32 %203, ptr %17, align 4, !tbaa !19
  %204 = load i32, ptr %17, align 4, !tbaa !19
  %205 = load ptr, ptr %7, align 8, !tbaa !5
  %206 = getelementptr inbounds %struct.mesh, ptr %205, i32 0, i32 19
  %207 = load i32, ptr %206, align 4, !tbaa !13
  %208 = icmp ne i32 %204, %207
  br i1 %208, label %209, label %213

209:                                              ; preds = %196
  %210 = load ptr, ptr %9, align 8, !tbaa !5
  %211 = load ptr, ptr %10, align 8, !tbaa !5
  %212 = call i32 (ptr, ...) @printf(ptr noundef @.str.992, ptr noundef %210, ptr noundef %211)
  call void @triexit(i32 noundef 1)
  br label %213

213:                                              ; preds = %209, %196
  br label %214

214:                                              ; preds = %213, %175
  %215 = load ptr, ptr %8, align 8, !tbaa !5
  %216 = getelementptr inbounds %struct.behavior, ptr %215, i32 0, i32 28
  %217 = load i32, ptr %216, align 8, !tbaa !9
  %218 = icmp ne i32 %217, 0
  br i1 %218, label %221, label %219

219:                                              ; preds = %214
  %220 = call i32 (ptr, ...) @printf(ptr noundef @.str.993)
  br label %221

221:                                              ; preds = %219, %214
  %222 = load ptr, ptr %7, align 8, !tbaa !5
  %223 = getelementptr inbounds %struct.mesh, ptr %222, i32 0, i32 2
  %224 = getelementptr inbounds %struct.memorypool, ptr %223, i32 0, i32 10
  %225 = load i64, ptr %224, align 8, !tbaa !31
  %226 = mul nsw i64 %225, 8
  %227 = trunc i64 %226 to i32
  %228 = call ptr @trimalloc(i32 noundef %227)
  store ptr %228, ptr %24, align 8, !tbaa !5
  store i32 0, ptr %47, align 4, !tbaa !19
  br label %229

229:                                              ; preds = %245, %221
  %230 = load i32, ptr %47, align 4, !tbaa !19
  %231 = sext i32 %230 to i64
  %232 = load ptr, ptr %7, align 8, !tbaa !5
  %233 = getelementptr inbounds %struct.mesh, ptr %232, i32 0, i32 2
  %234 = getelementptr inbounds %struct.memorypool, ptr %233, i32 0, i32 10
  %235 = load i64, ptr %234, align 8, !tbaa !31
  %236 = icmp slt i64 %231, %235
  br i1 %236, label %237, label %248

237:                                              ; preds = %229
  %238 = load ptr, ptr %7, align 8, !tbaa !5
  %239 = getelementptr inbounds %struct.mesh, ptr %238, i32 0, i32 48
  %240 = load ptr, ptr %239, align 8, !tbaa !32
  %241 = load ptr, ptr %24, align 8, !tbaa !5
  %242 = load i32, ptr %47, align 4, !tbaa !19
  %243 = sext i32 %242 to i64
  %244 = getelementptr inbounds ptr, ptr %241, i64 %243
  store ptr %240, ptr %244, align 8, !tbaa !5
  br label %245

245:                                              ; preds = %237
  %246 = load i32, ptr %47, align 4, !tbaa !19
  %247 = add nsw i32 %246, 1
  store i32 %247, ptr %47, align 4, !tbaa !19
  br label %229, !llvm.loop !33

248:                                              ; preds = %229
  %249 = load ptr, ptr %8, align 8, !tbaa !5
  %250 = getelementptr inbounds %struct.behavior, ptr %249, i32 0, i32 29
  %251 = load i32, ptr %250, align 4, !tbaa !34
  %252 = icmp ne i32 %251, 0
  br i1 %252, label %253, label %255

253:                                              ; preds = %248
  %254 = call i32 (ptr, ...) @printf(ptr noundef @.str.994)
  br label %255

255:                                              ; preds = %253, %248
  %256 = load ptr, ptr %7, align 8, !tbaa !5
  %257 = getelementptr inbounds %struct.mesh, ptr %256, i32 0, i32 0
  call void @traversalinit(ptr noundef %257)
  %258 = load ptr, ptr %7, align 8, !tbaa !5
  %259 = call ptr @triangletraverse(ptr noundef %258)
  %260 = getelementptr inbounds %struct.otri, ptr %18, i32 0, i32 0
  store ptr %259, ptr %260, align 8, !tbaa !22
  %261 = load ptr, ptr %8, align 8, !tbaa !5
  %262 = getelementptr inbounds %struct.behavior, ptr %261, i32 0, i32 10
  %263 = load i32, ptr %262, align 8, !tbaa !35
  %264 = sext i32 %263 to i64
  store i64 %264, ptr %45, align 8, !tbaa !21
  br label %265

265:                                              ; preds = %714, %255
  %266 = getelementptr inbounds %struct.otri, ptr %18, i32 0, i32 0
  %267 = load ptr, ptr %266, align 8, !tbaa !22
  %268 = icmp ne ptr %267, null
  br i1 %268, label %269, label %720

269:                                              ; preds = %265
  %270 = getelementptr inbounds [1024 x i8], ptr %15, i64 0, i64 0
  %271 = load ptr, ptr %13, align 8, !tbaa !5
  %272 = load ptr, ptr %9, align 8, !tbaa !5
  %273 = call ptr @readline(ptr noundef %270, ptr noundef %271, ptr noundef %272)
  store ptr %273, ptr %16, align 8, !tbaa !5
  store i32 0, ptr %48, align 4, !tbaa !19
  br label %274

274:                                              ; preds = %323, %269
  %275 = load i32, ptr %48, align 4, !tbaa !19
  %276 = icmp slt i32 %275, 3
  br i1 %276, label %277, label %326

277:                                              ; preds = %274
  %278 = load ptr, ptr %16, align 8, !tbaa !5
  %279 = call ptr @findfield(ptr noundef %278)
  store ptr %279, ptr %16, align 8, !tbaa !5
  %280 = load ptr, ptr %16, align 8, !tbaa !5
  %281 = load i8, ptr %280, align 1, !tbaa !18
  %282 = sext i8 %281 to i32
  %283 = icmp eq i32 %282, 0
  br i1 %283, label %284, label %290

284:                                              ; preds = %277
  %285 = load i64, ptr %45, align 8, !tbaa !21
  %286 = load i32, ptr %48, align 4, !tbaa !19
  %287 = add nsw i32 %286, 1
  %288 = load ptr, ptr %9, align 8, !tbaa !5
  %289 = call i32 (ptr, ...) @printf(ptr noundef @.str.995, i64 noundef %285, i32 noundef %287, ptr noundef %288)
  call void @triexit(i32 noundef 1)
  br label %322

290:                                              ; preds = %277
  %291 = load ptr, ptr %16, align 8, !tbaa !5
  %292 = call i64 @strtol(ptr noundef %291, ptr noundef %16, i32 noundef 0) #4
  %293 = trunc i64 %292 to i32
  %294 = load i32, ptr %48, align 4, !tbaa !19
  %295 = sext i32 %294 to i64
  %296 = getelementptr inbounds [3 x i32], ptr %36, i64 0, i64 %295
  store i32 %293, ptr %296, align 4, !tbaa !19
  %297 = load i32, ptr %48, align 4, !tbaa !19
  %298 = sext i32 %297 to i64
  %299 = getelementptr inbounds [3 x i32], ptr %36, i64 0, i64 %298
  %300 = load i32, ptr %299, align 4, !tbaa !19
  %301 = load ptr, ptr %8, align 8, !tbaa !5
  %302 = getelementptr inbounds %struct.behavior, ptr %301, i32 0, i32 10
  %303 = load i32, ptr %302, align 8, !tbaa !35
  %304 = icmp slt i32 %300, %303
  br i1 %304, label %318, label %305

305:                                              ; preds = %290
  %306 = load i32, ptr %48, align 4, !tbaa !19
  %307 = sext i32 %306 to i64
  %308 = getelementptr inbounds [3 x i32], ptr %36, i64 0, i64 %307
  %309 = load i32, ptr %308, align 4, !tbaa !19
  %310 = load ptr, ptr %8, align 8, !tbaa !5
  %311 = getelementptr inbounds %struct.behavior, ptr %310, i32 0, i32 10
  %312 = load i32, ptr %311, align 8, !tbaa !35
  %313 = load ptr, ptr %7, align 8, !tbaa !5
  %314 = getelementptr inbounds %struct.mesh, ptr %313, i32 0, i32 18
  %315 = load i32, ptr %314, align 8, !tbaa !36
  %316 = add nsw i32 %312, %315
  %317 = icmp sge i32 %309, %316
  br i1 %317, label %318, label %321

318:                                              ; preds = %305, %290
  %319 = load i64, ptr %45, align 8, !tbaa !21
  %320 = call i32 (ptr, ...) @printf(ptr noundef @.str.996, i64 noundef %319)
  call void @triexit(i32 noundef 1)
  br label %321

321:                                              ; preds = %318, %305
  br label %322

322:                                              ; preds = %321, %284
  br label %323

323:                                              ; preds = %322
  %324 = load i32, ptr %48, align 4, !tbaa !19
  %325 = add nsw i32 %324, 1
  store i32 %325, ptr %48, align 4, !tbaa !19
  br label %274, !llvm.loop !37

326:                                              ; preds = %274
  store i32 3, ptr %48, align 4, !tbaa !19
  br label %327

327:                                              ; preds = %377, %326
  %328 = load i32, ptr %48, align 4, !tbaa !19
  %329 = load i32, ptr %39, align 4, !tbaa !19
  %330 = icmp slt i32 %328, %329
  br i1 %330, label %331, label %380

331:                                              ; preds = %327
  %332 = load ptr, ptr %16, align 8, !tbaa !5
  %333 = call ptr @findfield(ptr noundef %332)
  store ptr %333, ptr %16, align 8, !tbaa !5
  %334 = load ptr, ptr %16, align 8, !tbaa !5
  %335 = load i8, ptr %334, align 1, !tbaa !18
  %336 = sext i8 %335 to i32
  %337 = icmp ne i32 %336, 0
  br i1 %337, label %338, label %376

338:                                              ; preds = %331
  %339 = load ptr, ptr %16, align 8, !tbaa !5
  %340 = call i64 @strtol(ptr noundef %339, ptr noundef %16, i32 noundef 0) #4
  %341 = trunc i64 %340 to i32
  store i32 %341, ptr %38, align 4, !tbaa !19
  %342 = load i32, ptr %38, align 4, !tbaa !19
  %343 = load ptr, ptr %8, align 8, !tbaa !5
  %344 = getelementptr inbounds %struct.behavior, ptr %343, i32 0, i32 10
  %345 = load i32, ptr %344, align 8, !tbaa !35
  %346 = icmp sge i32 %342, %345
  br i1 %346, label %347, label %375

347:                                              ; preds = %338
  %348 = load i32, ptr %38, align 4, !tbaa !19
  %349 = load ptr, ptr %8, align 8, !tbaa !5
  %350 = getelementptr inbounds %struct.behavior, ptr %349, i32 0, i32 10
  %351 = load i32, ptr %350, align 8, !tbaa !35
  %352 = load ptr, ptr %7, align 8, !tbaa !5
  %353 = getelementptr inbounds %struct.mesh, ptr %352, i32 0, i32 18
  %354 = load i32, ptr %353, align 8, !tbaa !36
  %355 = add nsw i32 %351, %354
  %356 = icmp slt i32 %348, %355
  br i1 %356, label %357, label %375

357:                                              ; preds = %347
  %358 = load ptr, ptr %7, align 8, !tbaa !5
  %359 = load ptr, ptr %8, align 8, !tbaa !5
  %360 = load i32, ptr %38, align 4, !tbaa !19
  %361 = call ptr @getvertex(ptr noundef %358, ptr noundef %359, i32 noundef %360)
  store ptr %361, ptr %32, align 8, !tbaa !5
  %362 = load ptr, ptr %32, align 8, !tbaa !5
  %363 = load ptr, ptr %7, align 8, !tbaa !5
  %364 = getelementptr inbounds %struct.mesh, ptr %363, i32 0, i32 30
  %365 = load i32, ptr %364, align 4, !tbaa !38
  %366 = add nsw i32 %365, 1
  %367 = sext i32 %366 to i64
  %368 = getelementptr inbounds i32, ptr %362, i64 %367
  %369 = load i32, ptr %368, align 4, !tbaa !19
  %370 = icmp ne i32 %369, -32768
  br i1 %370, label %371, label %374

371:                                              ; preds = %357
  %372 = load ptr, ptr %7, align 8, !tbaa !5
  %373 = load ptr, ptr %32, align 8, !tbaa !5
  call void @vertexdealloc(ptr noundef %372, ptr noundef %373)
  br label %374

374:                                              ; preds = %371, %357
  br label %375

375:                                              ; preds = %374, %347, %338
  br label %376

376:                                              ; preds = %375, %331
  br label %377

377:                                              ; preds = %376
  %378 = load i32, ptr %48, align 4, !tbaa !19
  %379 = add nsw i32 %378, 1
  store i32 %379, ptr %48, align 4, !tbaa !19
  br label %327, !llvm.loop !39

380:                                              ; preds = %327
  store i32 0, ptr %48, align 4, !tbaa !19
  br label %381

381:                                              ; preds = %417, %380
  %382 = load i32, ptr %48, align 4, !tbaa !19
  %383 = load ptr, ptr %7, align 8, !tbaa !5
  %384 = getelementptr inbounds %struct.mesh, ptr %383, i32 0, i32 27
  %385 = load i32, ptr %384, align 8, !tbaa !20
  %386 = icmp slt i32 %382, %385
  br i1 %386, label %387, label %420

387:                                              ; preds = %381
  %388 = load ptr, ptr %16, align 8, !tbaa !5
  %389 = call ptr @findfield(ptr noundef %388)
  store ptr %389, ptr %16, align 8, !tbaa !5
  %390 = load ptr, ptr %16, align 8, !tbaa !5
  %391 = load i8, ptr %390, align 1, !tbaa !18
  %392 = sext i8 %391 to i32
  %393 = icmp eq i32 %392, 0
  br i1 %393, label %394, label %404

394:                                              ; preds = %387
  %395 = getelementptr inbounds %struct.otri, ptr %18, i32 0, i32 0
  %396 = load ptr, ptr %395, align 8, !tbaa !22
  %397 = load ptr, ptr %7, align 8, !tbaa !5
  %398 = getelementptr inbounds %struct.mesh, ptr %397, i32 0, i32 33
  %399 = load i32, ptr %398, align 8, !tbaa !40
  %400 = load i32, ptr %48, align 4, !tbaa !19
  %401 = add nsw i32 %399, %400
  %402 = sext i32 %401 to i64
  %403 = getelementptr inbounds double, ptr %396, i64 %402
  store double 0.000000e+00, ptr %403, align 8, !tbaa !41
  br label %416

404:                                              ; preds = %387
  %405 = load ptr, ptr %16, align 8, !tbaa !5
  %406 = call double @strtod(ptr noundef %405, ptr noundef %16) #4
  %407 = getelementptr inbounds %struct.otri, ptr %18, i32 0, i32 0
  %408 = load ptr, ptr %407, align 8, !tbaa !22
  %409 = load ptr, ptr %7, align 8, !tbaa !5
  %410 = getelementptr inbounds %struct.mesh, ptr %409, i32 0, i32 33
  %411 = load i32, ptr %410, align 8, !tbaa !40
  %412 = load i32, ptr %48, align 4, !tbaa !19
  %413 = add nsw i32 %411, %412
  %414 = sext i32 %413 to i64
  %415 = getelementptr inbounds double, ptr %408, i64 %414
  store double %406, ptr %415, align 8, !tbaa !41
  br label %416

416:                                              ; preds = %404, %394
  br label %417

417:                                              ; preds = %416
  %418 = load i32, ptr %48, align 4, !tbaa !19
  %419 = add nsw i32 %418, 1
  store i32 %419, ptr %48, align 4, !tbaa !19
  br label %381, !llvm.loop !42

420:                                              ; preds = %381
  %421 = load ptr, ptr %8, align 8, !tbaa !5
  %422 = getelementptr inbounds %struct.behavior, ptr %421, i32 0, i32 3
  %423 = load i32, ptr %422, align 4, !tbaa !30
  %424 = icmp ne i32 %423, 0
  br i1 %424, label %425, label %449

425:                                              ; preds = %420
  %426 = getelementptr inbounds [1024 x i8], ptr %15, i64 0, i64 0
  %427 = load ptr, ptr %14, align 8, !tbaa !5
  %428 = load ptr, ptr %10, align 8, !tbaa !5
  %429 = call ptr @readline(ptr noundef %426, ptr noundef %427, ptr noundef %428)
  store ptr %429, ptr %16, align 8, !tbaa !5
  %430 = load ptr, ptr %16, align 8, !tbaa !5
  %431 = call ptr @findfield(ptr noundef %430)
  store ptr %431, ptr %16, align 8, !tbaa !5
  %432 = load ptr, ptr %16, align 8, !tbaa !5
  %433 = load i8, ptr %432, align 1, !tbaa !18
  %434 = sext i8 %433 to i32
  %435 = icmp eq i32 %434, 0
  br i1 %435, label %436, label %437

436:                                              ; preds = %425
  store double -1.000000e+00, ptr %35, align 8, !tbaa !41
  br label %440

437:                                              ; preds = %425
  %438 = load ptr, ptr %16, align 8, !tbaa !5
  %439 = call double @strtod(ptr noundef %438, ptr noundef %16) #4
  store double %439, ptr %35, align 8, !tbaa !41
  br label %440

440:                                              ; preds = %437, %436
  %441 = load double, ptr %35, align 8, !tbaa !41
  %442 = getelementptr inbounds %struct.otri, ptr %18, i32 0, i32 0
  %443 = load ptr, ptr %442, align 8, !tbaa !22
  %444 = load ptr, ptr %7, align 8, !tbaa !5
  %445 = getelementptr inbounds %struct.mesh, ptr %444, i32 0, i32 34
  %446 = load i32, ptr %445, align 4, !tbaa !43
  %447 = sext i32 %446 to i64
  %448 = getelementptr inbounds double, ptr %443, i64 %447
  store double %441, ptr %448, align 8, !tbaa !41
  br label %449

449:                                              ; preds = %440, %420
  %450 = getelementptr inbounds %struct.otri, ptr %18, i32 0, i32 1
  store i32 0, ptr %450, align 8, !tbaa !44
  %451 = load ptr, ptr %7, align 8, !tbaa !5
  %452 = load ptr, ptr %8, align 8, !tbaa !5
  %453 = getelementptr inbounds [3 x i32], ptr %36, i64 0, i64 0
  %454 = load i32, ptr %453, align 4, !tbaa !19
  %455 = call ptr @getvertex(ptr noundef %451, ptr noundef %452, i32 noundef %454)
  %456 = getelementptr inbounds %struct.otri, ptr %18, i32 0, i32 0
  %457 = load ptr, ptr %456, align 8, !tbaa !22
  %458 = getelementptr inbounds %struct.otri, ptr %18, i32 0, i32 1
  %459 = load i32, ptr %458, align 8, !tbaa !44
  %460 = sext i32 %459 to i64
  %461 = getelementptr inbounds [3 x i32], ptr @plus1mod3, i64 0, i64 %460
  %462 = load i32, ptr %461, align 4, !tbaa !19
  %463 = add nsw i32 %462, 3
  %464 = sext i32 %463 to i64
  %465 = getelementptr inbounds ptr, ptr %457, i64 %464
  store ptr %455, ptr %465, align 8, !tbaa !5
  %466 = load ptr, ptr %7, align 8, !tbaa !5
  %467 = load ptr, ptr %8, align 8, !tbaa !5
  %468 = getelementptr inbounds [3 x i32], ptr %36, i64 0, i64 1
  %469 = load i32, ptr %468, align 4, !tbaa !19
  %470 = call ptr @getvertex(ptr noundef %466, ptr noundef %467, i32 noundef %469)
  %471 = getelementptr inbounds %struct.otri, ptr %18, i32 0, i32 0
  %472 = load ptr, ptr %471, align 8, !tbaa !22
  %473 = getelementptr inbounds %struct.otri, ptr %18, i32 0, i32 1
  %474 = load i32, ptr %473, align 8, !tbaa !44
  %475 = sext i32 %474 to i64
  %476 = getelementptr inbounds [3 x i32], ptr @minus1mod3, i64 0, i64 %475
  %477 = load i32, ptr %476, align 4, !tbaa !19
  %478 = add nsw i32 %477, 3
  %479 = sext i32 %478 to i64
  %480 = getelementptr inbounds ptr, ptr %472, i64 %479
  store ptr %470, ptr %480, align 8, !tbaa !5
  %481 = load ptr, ptr %7, align 8, !tbaa !5
  %482 = load ptr, ptr %8, align 8, !tbaa !5
  %483 = getelementptr inbounds [3 x i32], ptr %36, i64 0, i64 2
  %484 = load i32, ptr %483, align 4, !tbaa !19
  %485 = call ptr @getvertex(ptr noundef %481, ptr noundef %482, i32 noundef %484)
  %486 = getelementptr inbounds %struct.otri, ptr %18, i32 0, i32 0
  %487 = load ptr, ptr %486, align 8, !tbaa !22
  %488 = getelementptr inbounds %struct.otri, ptr %18, i32 0, i32 1
  %489 = load i32, ptr %488, align 8, !tbaa !44
  %490 = add nsw i32 %489, 3
  %491 = sext i32 %490 to i64
  %492 = getelementptr inbounds ptr, ptr %487, i64 %491
  store ptr %485, ptr %492, align 8, !tbaa !5
  %493 = getelementptr inbounds %struct.otri, ptr %18, i32 0, i32 1
  store i32 0, ptr %493, align 8, !tbaa !44
  br label %494

494:                                              ; preds = %710, %449
  %495 = getelementptr inbounds %struct.otri, ptr %18, i32 0, i32 1
  %496 = load i32, ptr %495, align 8, !tbaa !44
  %497 = icmp slt i32 %496, 3
  br i1 %497, label %498, label %714

498:                                              ; preds = %494
  %499 = getelementptr inbounds %struct.otri, ptr %18, i32 0, i32 1
  %500 = load i32, ptr %499, align 8, !tbaa !44
  %501 = sext i32 %500 to i64
  %502 = getelementptr inbounds [3 x i32], ptr %36, i64 0, i64 %501
  %503 = load i32, ptr %502, align 4, !tbaa !19
  store i32 %503, ptr %42, align 4, !tbaa !19
  %504 = load ptr, ptr %24, align 8, !tbaa !5
  %505 = load i32, ptr %42, align 4, !tbaa !19
  %506 = load ptr, ptr %8, align 8, !tbaa !5
  %507 = getelementptr inbounds %struct.behavior, ptr %506, i32 0, i32 10
  %508 = load i32, ptr %507, align 8, !tbaa !35
  %509 = sub nsw i32 %505, %508
  %510 = sext i32 %509 to i64
  %511 = getelementptr inbounds ptr, ptr %504, i64 %510
  %512 = load ptr, ptr %511, align 8, !tbaa !5
  store ptr %512, ptr %26, align 8, !tbaa !5
  %513 = load ptr, ptr %26, align 8, !tbaa !5
  %514 = getelementptr inbounds %struct.otri, ptr %18, i32 0, i32 0
  %515 = load ptr, ptr %514, align 8, !tbaa !22
  %516 = getelementptr inbounds %struct.otri, ptr %18, i32 0, i32 1
  %517 = load i32, ptr %516, align 8, !tbaa !44
  %518 = add nsw i32 6, %517
  %519 = sext i32 %518 to i64
  %520 = getelementptr inbounds ptr, ptr %515, i64 %519
  store ptr %513, ptr %520, align 8, !tbaa !5
  %521 = getelementptr inbounds %struct.otri, ptr %18, i32 0, i32 0
  %522 = load ptr, ptr %521, align 8, !tbaa !22
  %523 = ptrtoint ptr %522 to i64
  %524 = getelementptr inbounds %struct.otri, ptr %18, i32 0, i32 1
  %525 = load i32, ptr %524, align 8, !tbaa !44
  %526 = sext i32 %525 to i64
  %527 = or i64 %523, %526
  %528 = inttoptr i64 %527 to ptr
  %529 = load ptr, ptr %24, align 8, !tbaa !5
  %530 = load i32, ptr %42, align 4, !tbaa !19
  %531 = load ptr, ptr %8, align 8, !tbaa !5
  %532 = getelementptr inbounds %struct.behavior, ptr %531, i32 0, i32 10
  %533 = load i32, ptr %532, align 8, !tbaa !35
  %534 = sub nsw i32 %530, %533
  %535 = sext i32 %534 to i64
  %536 = getelementptr inbounds ptr, ptr %529, i64 %535
  store ptr %528, ptr %536, align 8, !tbaa !5
  %537 = load ptr, ptr %26, align 8, !tbaa !5
  %538 = ptrtoint ptr %537 to i64
  %539 = and i64 %538, 3
  %540 = trunc i64 %539 to i32
  %541 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 1
  store i32 %540, ptr %541, align 8, !tbaa !44
  %542 = load ptr, ptr %26, align 8, !tbaa !5
  %543 = ptrtoint ptr %542 to i64
  %544 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 1
  %545 = load i32, ptr %544, align 8, !tbaa !44
  %546 = sext i32 %545 to i64
  %547 = xor i64 %543, %546
  %548 = inttoptr i64 %547 to ptr
  %549 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 0
  store ptr %548, ptr %549, align 8, !tbaa !22
  %550 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 0
  %551 = load ptr, ptr %550, align 8, !tbaa !22
  %552 = load ptr, ptr %7, align 8, !tbaa !5
  %553 = getelementptr inbounds %struct.mesh, ptr %552, i32 0, i32 48
  %554 = load ptr, ptr %553, align 8, !tbaa !32
  %555 = icmp ne ptr %551, %554
  br i1 %555, label %556, label %709

556:                                              ; preds = %498
  %557 = getelementptr inbounds %struct.otri, ptr %18, i32 0, i32 0
  %558 = load ptr, ptr %557, align 8, !tbaa !22
  %559 = getelementptr inbounds %struct.otri, ptr %18, i32 0, i32 1
  %560 = load i32, ptr %559, align 8, !tbaa !44
  %561 = sext i32 %560 to i64
  %562 = getelementptr inbounds [3 x i32], ptr @minus1mod3, i64 0, i64 %561
  %563 = load i32, ptr %562, align 4, !tbaa !19
  %564 = add nsw i32 %563, 3
  %565 = sext i32 %564 to i64
  %566 = getelementptr inbounds ptr, ptr %558, i64 %565
  %567 = load ptr, ptr %566, align 8, !tbaa !5
  store ptr %567, ptr %27, align 8, !tbaa !5
  %568 = getelementptr inbounds %struct.otri, ptr %18, i32 0, i32 0
  %569 = load ptr, ptr %568, align 8, !tbaa !22
  %570 = getelementptr inbounds %struct.otri, ptr %18, i32 0, i32 1
  %571 = load i32, ptr %570, align 8, !tbaa !44
  %572 = add nsw i32 %571, 3
  %573 = sext i32 %572 to i64
  %574 = getelementptr inbounds ptr, ptr %569, i64 %573
  %575 = load ptr, ptr %574, align 8, !tbaa !5
  store ptr %575, ptr %28, align 8, !tbaa !5
  br label %576

576:                                              ; preds = %701, %556
  %577 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 0
  %578 = load ptr, ptr %577, align 8, !tbaa !22
  %579 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 1
  %580 = load i32, ptr %579, align 8, !tbaa !44
  %581 = sext i32 %580 to i64
  %582 = getelementptr inbounds [3 x i32], ptr @minus1mod3, i64 0, i64 %581
  %583 = load i32, ptr %582, align 4, !tbaa !19
  %584 = add nsw i32 %583, 3
  %585 = sext i32 %584 to i64
  %586 = getelementptr inbounds ptr, ptr %578, i64 %585
  %587 = load ptr, ptr %586, align 8, !tbaa !5
  store ptr %587, ptr %29, align 8, !tbaa !5
  %588 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 0
  %589 = load ptr, ptr %588, align 8, !tbaa !22
  %590 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 1
  %591 = load i32, ptr %590, align 8, !tbaa !44
  %592 = add nsw i32 %591, 3
  %593 = sext i32 %592 to i64
  %594 = getelementptr inbounds ptr, ptr %589, i64 %593
  %595 = load ptr, ptr %594, align 8, !tbaa !5
  store ptr %595, ptr %30, align 8, !tbaa !5
  %596 = load ptr, ptr %28, align 8, !tbaa !5
  %597 = load ptr, ptr %29, align 8, !tbaa !5
  %598 = icmp eq ptr %596, %597
  br i1 %598, label %599, label %637

599:                                              ; preds = %576
  %600 = getelementptr inbounds %struct.otri, ptr %18, i32 0, i32 0
  %601 = load ptr, ptr %600, align 8, !tbaa !22
  %602 = getelementptr inbounds %struct.otri, ptr %19, i32 0, i32 0
  store ptr %601, ptr %602, align 8, !tbaa !22
  %603 = getelementptr inbounds %struct.otri, ptr %18, i32 0, i32 1
  %604 = load i32, ptr %603, align 8, !tbaa !44
  %605 = sext i32 %604 to i64
  %606 = getelementptr inbounds [3 x i32], ptr @minus1mod3, i64 0, i64 %605
  %607 = load i32, ptr %606, align 4, !tbaa !19
  %608 = getelementptr inbounds %struct.otri, ptr %19, i32 0, i32 1
  store i32 %607, ptr %608, align 8, !tbaa !44
  %609 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 0
  %610 = load ptr, ptr %609, align 8, !tbaa !22
  %611 = ptrtoint ptr %610 to i64
  %612 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 1
  %613 = load i32, ptr %612, align 8, !tbaa !44
  %614 = sext i32 %613 to i64
  %615 = or i64 %611, %614
  %616 = inttoptr i64 %615 to ptr
  %617 = getelementptr inbounds %struct.otri, ptr %19, i32 0, i32 0
  %618 = load ptr, ptr %617, align 8, !tbaa !22
  %619 = getelementptr inbounds %struct.otri, ptr %19, i32 0, i32 1
  %620 = load i32, ptr %619, align 8, !tbaa !44
  %621 = sext i32 %620 to i64
  %622 = getelementptr inbounds ptr, ptr %618, i64 %621
  store ptr %616, ptr %622, align 8, !tbaa !5
  %623 = getelementptr inbounds %struct.otri, ptr %19, i32 0, i32 0
  %624 = load ptr, ptr %623, align 8, !tbaa !22
  %625 = ptrtoint ptr %624 to i64
  %626 = getelementptr inbounds %struct.otri, ptr %19, i32 0, i32 1
  %627 = load i32, ptr %626, align 8, !tbaa !44
  %628 = sext i32 %627 to i64
  %629 = or i64 %625, %628
  %630 = inttoptr i64 %629 to ptr
  %631 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 0
  %632 = load ptr, ptr %631, align 8, !tbaa !22
  %633 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 1
  %634 = load i32, ptr %633, align 8, !tbaa !44
  %635 = sext i32 %634 to i64
  %636 = getelementptr inbounds ptr, ptr %632, i64 %635
  store ptr %630, ptr %636, align 8, !tbaa !5
  br label %637

637:                                              ; preds = %599, %576
  %638 = load ptr, ptr %27, align 8, !tbaa !5
  %639 = load ptr, ptr %30, align 8, !tbaa !5
  %640 = icmp eq ptr %638, %639
  br i1 %640, label %641, label %679

641:                                              ; preds = %637
  %642 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 0
  %643 = load ptr, ptr %642, align 8, !tbaa !22
  %644 = getelementptr inbounds %struct.otri, ptr %21, i32 0, i32 0
  store ptr %643, ptr %644, align 8, !tbaa !22
  %645 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 1
  %646 = load i32, ptr %645, align 8, !tbaa !44
  %647 = sext i32 %646 to i64
  %648 = getelementptr inbounds [3 x i32], ptr @minus1mod3, i64 0, i64 %647
  %649 = load i32, ptr %648, align 4, !tbaa !19
  %650 = getelementptr inbounds %struct.otri, ptr %21, i32 0, i32 1
  store i32 %649, ptr %650, align 8, !tbaa !44
  %651 = getelementptr inbounds %struct.otri, ptr %21, i32 0, i32 0
  %652 = load ptr, ptr %651, align 8, !tbaa !22
  %653 = ptrtoint ptr %652 to i64
  %654 = getelementptr inbounds %struct.otri, ptr %21, i32 0, i32 1
  %655 = load i32, ptr %654, align 8, !tbaa !44
  %656 = sext i32 %655 to i64
  %657 = or i64 %653, %656
  %658 = inttoptr i64 %657 to ptr
  %659 = getelementptr inbounds %struct.otri, ptr %18, i32 0, i32 0
  %660 = load ptr, ptr %659, align 8, !tbaa !22
  %661 = getelementptr inbounds %struct.otri, ptr %18, i32 0, i32 1
  %662 = load i32, ptr %661, align 8, !tbaa !44
  %663 = sext i32 %662 to i64
  %664 = getelementptr inbounds ptr, ptr %660, i64 %663
  store ptr %658, ptr %664, align 8, !tbaa !5
  %665 = getelementptr inbounds %struct.otri, ptr %18, i32 0, i32 0
  %666 = load ptr, ptr %665, align 8, !tbaa !22
  %667 = ptrtoint ptr %666 to i64
  %668 = getelementptr inbounds %struct.otri, ptr %18, i32 0, i32 1
  %669 = load i32, ptr %668, align 8, !tbaa !44
  %670 = sext i32 %669 to i64
  %671 = or i64 %667, %670
  %672 = inttoptr i64 %671 to ptr
  %673 = getelementptr inbounds %struct.otri, ptr %21, i32 0, i32 0
  %674 = load ptr, ptr %673, align 8, !tbaa !22
  %675 = getelementptr inbounds %struct.otri, ptr %21, i32 0, i32 1
  %676 = load i32, ptr %675, align 8, !tbaa !44
  %677 = sext i32 %676 to i64
  %678 = getelementptr inbounds ptr, ptr %674, i64 %677
  store ptr %672, ptr %678, align 8, !tbaa !5
  br label %679

679:                                              ; preds = %641, %637
  %680 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 0
  %681 = load ptr, ptr %680, align 8, !tbaa !22
  %682 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 1
  %683 = load i32, ptr %682, align 8, !tbaa !44
  %684 = add nsw i32 6, %683
  %685 = sext i32 %684 to i64
  %686 = getelementptr inbounds ptr, ptr %681, i64 %685
  %687 = load ptr, ptr %686, align 8, !tbaa !5
  store ptr %687, ptr %26, align 8, !tbaa !5
  %688 = load ptr, ptr %26, align 8, !tbaa !5
  %689 = ptrtoint ptr %688 to i64
  %690 = and i64 %689, 3
  %691 = trunc i64 %690 to i32
  %692 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 1
  store i32 %691, ptr %692, align 8, !tbaa !44
  %693 = load ptr, ptr %26, align 8, !tbaa !5
  %694 = ptrtoint ptr %693 to i64
  %695 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 1
  %696 = load i32, ptr %695, align 8, !tbaa !44
  %697 = sext i32 %696 to i64
  %698 = xor i64 %694, %697
  %699 = inttoptr i64 %698 to ptr
  %700 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 0
  store ptr %699, ptr %700, align 8, !tbaa !22
  br label %701

701:                                              ; preds = %679
  %702 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 0
  %703 = load ptr, ptr %702, align 8, !tbaa !22
  %704 = load ptr, ptr %7, align 8, !tbaa !5
  %705 = getelementptr inbounds %struct.mesh, ptr %704, i32 0, i32 48
  %706 = load ptr, ptr %705, align 8, !tbaa !32
  %707 = icmp ne ptr %703, %706
  br i1 %707, label %576, label %708, !llvm.loop !45

708:                                              ; preds = %701
  br label %709

709:                                              ; preds = %708, %498
  br label %710

710:                                              ; preds = %709
  %711 = getelementptr inbounds %struct.otri, ptr %18, i32 0, i32 1
  %712 = load i32, ptr %711, align 8, !tbaa !44
  %713 = add nsw i32 %712, 1
  store i32 %713, ptr %711, align 8, !tbaa !44
  br label %494, !llvm.loop !46

714:                                              ; preds = %494
  %715 = load ptr, ptr %7, align 8, !tbaa !5
  %716 = call ptr @triangletraverse(ptr noundef %715)
  %717 = getelementptr inbounds %struct.otri, ptr %18, i32 0, i32 0
  store ptr %716, ptr %717, align 8, !tbaa !22
  %718 = load i64, ptr %45, align 8, !tbaa !21
  %719 = add nsw i64 %718, 1
  store i64 %719, ptr %45, align 8, !tbaa !21
  br label %265, !llvm.loop !47

720:                                              ; preds = %265
  %721 = load ptr, ptr %13, align 8, !tbaa !5
  %722 = call i32 @fclose(ptr noundef %721)
  %723 = load ptr, ptr %8, align 8, !tbaa !5
  %724 = getelementptr inbounds %struct.behavior, ptr %723, i32 0, i32 3
  %725 = load i32, ptr %724, align 4, !tbaa !30
  %726 = icmp ne i32 %725, 0
  br i1 %726, label %727, label %730

727:                                              ; preds = %720
  %728 = load ptr, ptr %14, align 8, !tbaa !5
  %729 = call i32 @fclose(ptr noundef %728)
  br label %730

730:                                              ; preds = %727, %720
  store i64 0, ptr %43, align 8, !tbaa !21
  %731 = load ptr, ptr %8, align 8, !tbaa !5
  %732 = getelementptr inbounds %struct.behavior, ptr %731, i32 0, i32 0
  %733 = load i32, ptr %732, align 8, !tbaa !25
  %734 = icmp ne i32 %733, 0
  br i1 %734, label %735, label %1081

735:                                              ; preds = %730
  %736 = load ptr, ptr %8, align 8, !tbaa !5
  %737 = getelementptr inbounds %struct.behavior, ptr %736, i32 0, i32 29
  %738 = load i32, ptr %737, align 4, !tbaa !34
  %739 = icmp ne i32 %738, 0
  br i1 %739, label %740, label %742

740:                                              ; preds = %735
  %741 = call i32 (ptr, ...) @printf(ptr noundef @.str.997)
  br label %742

742:                                              ; preds = %740, %735
  store i32 0, ptr %41, align 4, !tbaa !19
  %743 = load ptr, ptr %7, align 8, !tbaa !5
  %744 = getelementptr inbounds %struct.mesh, ptr %743, i32 0, i32 1
  call void @traversalinit(ptr noundef %744)
  %745 = load ptr, ptr %7, align 8, !tbaa !5
  %746 = call ptr @subsegtraverse(ptr noundef %745)
  %747 = getelementptr inbounds %struct.osub, ptr %23, i32 0, i32 0
  store ptr %746, ptr %747, align 8, !tbaa !27
  %748 = load ptr, ptr %8, align 8, !tbaa !5
  %749 = getelementptr inbounds %struct.behavior, ptr %748, i32 0, i32 10
  %750 = load i32, ptr %749, align 8, !tbaa !35
  %751 = sext i32 %750 to i64
  store i64 %751, ptr %46, align 8, !tbaa !21
  br label %752

752:                                              ; preds = %1074, %742
  %753 = getelementptr inbounds %struct.osub, ptr %23, i32 0, i32 0
  %754 = load ptr, ptr %753, align 8, !tbaa !27
  %755 = icmp ne ptr %754, null
  br i1 %755, label %756, label %1080

756:                                              ; preds = %752
  %757 = getelementptr inbounds [1024 x i8], ptr %15, i64 0, i64 0
  %758 = load ptr, ptr %12, align 8, !tbaa !5
  %759 = load ptr, ptr %8, align 8, !tbaa !5
  %760 = getelementptr inbounds %struct.behavior, ptr %759, i32 0, i32 40
  %761 = getelementptr inbounds [2048 x i8], ptr %760, i64 0, i64 0
  %762 = call ptr @readline(ptr noundef %757, ptr noundef %758, ptr noundef %761)
  store ptr %762, ptr %16, align 8, !tbaa !5
  %763 = load ptr, ptr %16, align 8, !tbaa !5
  %764 = call ptr @findfield(ptr noundef %763)
  store ptr %764, ptr %16, align 8, !tbaa !5
  %765 = load ptr, ptr %16, align 8, !tbaa !5
  %766 = load i8, ptr %765, align 1, !tbaa !18
  %767 = sext i8 %766 to i32
  %768 = icmp eq i32 %767, 0
  br i1 %768, label %769, label %773

769:                                              ; preds = %756
  %770 = load i64, ptr %46, align 8, !tbaa !21
  %771 = load ptr, ptr %11, align 8, !tbaa !5
  %772 = call i32 (ptr, ...) @printf(ptr noundef @.str.998, i64 noundef %770, ptr noundef %771)
  call void @triexit(i32 noundef 1)
  br label %778

773:                                              ; preds = %756
  %774 = load ptr, ptr %16, align 8, !tbaa !5
  %775 = call i64 @strtol(ptr noundef %774, ptr noundef %16, i32 noundef 0) #4
  %776 = trunc i64 %775 to i32
  %777 = getelementptr inbounds [2 x i32], ptr %37, i64 0, i64 0
  store i32 %776, ptr %777, align 4, !tbaa !19
  br label %778

778:                                              ; preds = %773, %769
  %779 = load ptr, ptr %16, align 8, !tbaa !5
  %780 = call ptr @findfield(ptr noundef %779)
  store ptr %780, ptr %16, align 8, !tbaa !5
  %781 = load ptr, ptr %16, align 8, !tbaa !5
  %782 = load i8, ptr %781, align 1, !tbaa !18
  %783 = sext i8 %782 to i32
  %784 = icmp eq i32 %783, 0
  br i1 %784, label %785, label %789

785:                                              ; preds = %778
  %786 = load i64, ptr %46, align 8, !tbaa !21
  %787 = load ptr, ptr %11, align 8, !tbaa !5
  %788 = call i32 (ptr, ...) @printf(ptr noundef @.str.999, i64 noundef %786, ptr noundef %787)
  call void @triexit(i32 noundef 1)
  br label %794

789:                                              ; preds = %778
  %790 = load ptr, ptr %16, align 8, !tbaa !5
  %791 = call i64 @strtol(ptr noundef %790, ptr noundef %16, i32 noundef 0) #4
  %792 = trunc i64 %791 to i32
  %793 = getelementptr inbounds [2 x i32], ptr %37, i64 0, i64 1
  store i32 %792, ptr %793, align 4, !tbaa !19
  br label %794

794:                                              ; preds = %789, %785
  %795 = load i32, ptr %40, align 4, !tbaa !19
  %796 = icmp ne i32 %795, 0
  br i1 %796, label %797, label %810

797:                                              ; preds = %794
  %798 = load ptr, ptr %16, align 8, !tbaa !5
  %799 = call ptr @findfield(ptr noundef %798)
  store ptr %799, ptr %16, align 8, !tbaa !5
  %800 = load ptr, ptr %16, align 8, !tbaa !5
  %801 = load i8, ptr %800, align 1, !tbaa !18
  %802 = sext i8 %801 to i32
  %803 = icmp eq i32 %802, 0
  br i1 %803, label %804, label %805

804:                                              ; preds = %797
  store i32 0, ptr %41, align 4, !tbaa !19
  br label %809

805:                                              ; preds = %797
  %806 = load ptr, ptr %16, align 8, !tbaa !5
  %807 = call i64 @strtol(ptr noundef %806, ptr noundef %16, i32 noundef 0) #4
  %808 = trunc i64 %807 to i32
  store i32 %808, ptr %41, align 4, !tbaa !19
  br label %809

809:                                              ; preds = %805, %804
  br label %810

810:                                              ; preds = %809, %794
  store i32 0, ptr %48, align 4, !tbaa !19
  br label %811

811:                                              ; preds = %840, %810
  %812 = load i32, ptr %48, align 4, !tbaa !19
  %813 = icmp slt i32 %812, 2
  br i1 %813, label %814, label %843

814:                                              ; preds = %811
  %815 = load i32, ptr %48, align 4, !tbaa !19
  %816 = sext i32 %815 to i64
  %817 = getelementptr inbounds [2 x i32], ptr %37, i64 0, i64 %816
  %818 = load i32, ptr %817, align 4, !tbaa !19
  %819 = load ptr, ptr %8, align 8, !tbaa !5
  %820 = getelementptr inbounds %struct.behavior, ptr %819, i32 0, i32 10
  %821 = load i32, ptr %820, align 8, !tbaa !35
  %822 = icmp slt i32 %818, %821
  br i1 %822, label %836, label %823

823:                                              ; preds = %814
  %824 = load i32, ptr %48, align 4, !tbaa !19
  %825 = sext i32 %824 to i64
  %826 = getelementptr inbounds [2 x i32], ptr %37, i64 0, i64 %825
  %827 = load i32, ptr %826, align 4, !tbaa !19
  %828 = load ptr, ptr %8, align 8, !tbaa !5
  %829 = getelementptr inbounds %struct.behavior, ptr %828, i32 0, i32 10
  %830 = load i32, ptr %829, align 8, !tbaa !35
  %831 = load ptr, ptr %7, align 8, !tbaa !5
  %832 = getelementptr inbounds %struct.mesh, ptr %831, i32 0, i32 18
  %833 = load i32, ptr %832, align 8, !tbaa !36
  %834 = add nsw i32 %830, %833
  %835 = icmp sge i32 %827, %834
  br i1 %835, label %836, label %839

836:                                              ; preds = %823, %814
  %837 = load i64, ptr %46, align 8, !tbaa !21
  %838 = call i32 (ptr, ...) @printf(ptr noundef @.str.1000, i64 noundef %837)
  call void @triexit(i32 noundef 1)
  br label %839

839:                                              ; preds = %836, %823
  br label %840

840:                                              ; preds = %839
  %841 = load i32, ptr %48, align 4, !tbaa !19
  %842 = add nsw i32 %841, 1
  store i32 %842, ptr %48, align 4, !tbaa !19
  br label %811, !llvm.loop !48

843:                                              ; preds = %811
  %844 = getelementptr inbounds %struct.osub, ptr %23, i32 0, i32 1
  store i32 0, ptr %844, align 8, !tbaa !49
  %845 = load ptr, ptr %7, align 8, !tbaa !5
  %846 = load ptr, ptr %8, align 8, !tbaa !5
  %847 = getelementptr inbounds [2 x i32], ptr %37, i64 0, i64 0
  %848 = load i32, ptr %847, align 4, !tbaa !19
  %849 = call ptr @getvertex(ptr noundef %845, ptr noundef %846, i32 noundef %848)
  store ptr %849, ptr %33, align 8, !tbaa !5
  %850 = load ptr, ptr %7, align 8, !tbaa !5
  %851 = load ptr, ptr %8, align 8, !tbaa !5
  %852 = getelementptr inbounds [2 x i32], ptr %37, i64 0, i64 1
  %853 = load i32, ptr %852, align 4, !tbaa !19
  %854 = call ptr @getvertex(ptr noundef %850, ptr noundef %851, i32 noundef %853)
  store ptr %854, ptr %34, align 8, !tbaa !5
  %855 = load ptr, ptr %33, align 8, !tbaa !5
  %856 = getelementptr inbounds %struct.osub, ptr %23, i32 0, i32 0
  %857 = load ptr, ptr %856, align 8, !tbaa !27
  %858 = getelementptr inbounds %struct.osub, ptr %23, i32 0, i32 1
  %859 = load i32, ptr %858, align 8, !tbaa !49
  %860 = add nsw i32 2, %859
  %861 = sext i32 %860 to i64
  %862 = getelementptr inbounds ptr, ptr %857, i64 %861
  store ptr %855, ptr %862, align 8, !tbaa !5
  %863 = load ptr, ptr %34, align 8, !tbaa !5
  %864 = getelementptr inbounds %struct.osub, ptr %23, i32 0, i32 0
  %865 = load ptr, ptr %864, align 8, !tbaa !27
  %866 = getelementptr inbounds %struct.osub, ptr %23, i32 0, i32 1
  %867 = load i32, ptr %866, align 8, !tbaa !49
  %868 = sub nsw i32 3, %867
  %869 = sext i32 %868 to i64
  %870 = getelementptr inbounds ptr, ptr %865, i64 %869
  store ptr %863, ptr %870, align 8, !tbaa !5
  %871 = load ptr, ptr %33, align 8, !tbaa !5
  %872 = getelementptr inbounds %struct.osub, ptr %23, i32 0, i32 0
  %873 = load ptr, ptr %872, align 8, !tbaa !27
  %874 = getelementptr inbounds %struct.osub, ptr %23, i32 0, i32 1
  %875 = load i32, ptr %874, align 8, !tbaa !49
  %876 = add nsw i32 4, %875
  %877 = sext i32 %876 to i64
  %878 = getelementptr inbounds ptr, ptr %873, i64 %877
  store ptr %871, ptr %878, align 8, !tbaa !5
  %879 = load ptr, ptr %34, align 8, !tbaa !5
  %880 = getelementptr inbounds %struct.osub, ptr %23, i32 0, i32 0
  %881 = load ptr, ptr %880, align 8, !tbaa !27
  %882 = getelementptr inbounds %struct.osub, ptr %23, i32 0, i32 1
  %883 = load i32, ptr %882, align 8, !tbaa !49
  %884 = sub nsw i32 5, %883
  %885 = sext i32 %884 to i64
  %886 = getelementptr inbounds ptr, ptr %881, i64 %885
  store ptr %879, ptr %886, align 8, !tbaa !5
  %887 = load i32, ptr %41, align 4, !tbaa !19
  %888 = getelementptr inbounds %struct.osub, ptr %23, i32 0, i32 0
  %889 = load ptr, ptr %888, align 8, !tbaa !27
  %890 = getelementptr inbounds ptr, ptr %889, i64 8
  store i32 %887, ptr %890, align 4, !tbaa !19
  %891 = getelementptr inbounds %struct.osub, ptr %23, i32 0, i32 1
  store i32 0, ptr %891, align 8, !tbaa !49
  br label %892

892:                                              ; preds = %1070, %843
  %893 = getelementptr inbounds %struct.osub, ptr %23, i32 0, i32 1
  %894 = load i32, ptr %893, align 8, !tbaa !49
  %895 = icmp slt i32 %894, 2
  br i1 %895, label %896, label %1074

896:                                              ; preds = %892
  %897 = getelementptr inbounds %struct.osub, ptr %23, i32 0, i32 1
  %898 = load i32, ptr %897, align 8, !tbaa !49
  %899 = sub nsw i32 1, %898
  %900 = sext i32 %899 to i64
  %901 = getelementptr inbounds [2 x i32], ptr %37, i64 0, i64 %900
  %902 = load i32, ptr %901, align 4, !tbaa !19
  store i32 %902, ptr %42, align 4, !tbaa !19
  %903 = load ptr, ptr %24, align 8, !tbaa !5
  %904 = load i32, ptr %42, align 4, !tbaa !19
  %905 = load ptr, ptr %8, align 8, !tbaa !5
  %906 = getelementptr inbounds %struct.behavior, ptr %905, i32 0, i32 10
  %907 = load i32, ptr %906, align 8, !tbaa !35
  %908 = sub nsw i32 %904, %907
  %909 = sext i32 %908 to i64
  %910 = getelementptr inbounds ptr, ptr %903, i64 %909
  store ptr %910, ptr %25, align 8, !tbaa !5
  %911 = load ptr, ptr %24, align 8, !tbaa !5
  %912 = load i32, ptr %42, align 4, !tbaa !19
  %913 = load ptr, ptr %8, align 8, !tbaa !5
  %914 = getelementptr inbounds %struct.behavior, ptr %913, i32 0, i32 10
  %915 = load i32, ptr %914, align 8, !tbaa !35
  %916 = sub nsw i32 %912, %915
  %917 = sext i32 %916 to i64
  %918 = getelementptr inbounds ptr, ptr %911, i64 %917
  %919 = load ptr, ptr %918, align 8, !tbaa !5
  store ptr %919, ptr %26, align 8, !tbaa !5
  %920 = load ptr, ptr %26, align 8, !tbaa !5
  %921 = ptrtoint ptr %920 to i64
  %922 = and i64 %921, 3
  %923 = trunc i64 %922 to i32
  %924 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 1
  store i32 %923, ptr %924, align 8, !tbaa !44
  %925 = load ptr, ptr %26, align 8, !tbaa !5
  %926 = ptrtoint ptr %925 to i64
  %927 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 1
  %928 = load i32, ptr %927, align 8, !tbaa !44
  %929 = sext i32 %928 to i64
  %930 = xor i64 %926, %929
  %931 = inttoptr i64 %930 to ptr
  %932 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 0
  store ptr %931, ptr %932, align 8, !tbaa !22
  %933 = getelementptr inbounds %struct.osub, ptr %23, i32 0, i32 0
  %934 = load ptr, ptr %933, align 8, !tbaa !27
  %935 = getelementptr inbounds %struct.osub, ptr %23, i32 0, i32 1
  %936 = load i32, ptr %935, align 8, !tbaa !49
  %937 = add nsw i32 2, %936
  %938 = sext i32 %937 to i64
  %939 = getelementptr inbounds ptr, ptr %934, i64 %938
  %940 = load ptr, ptr %939, align 8, !tbaa !5
  store ptr %940, ptr %31, align 8, !tbaa !5
  store i32 1, ptr %44, align 4, !tbaa !19
  br label %941

941:                                              ; preds = %1040, %896
  %942 = load i32, ptr %44, align 4, !tbaa !19
  %943 = icmp ne i32 %942, 0
  br i1 %943, label %944, label %951

944:                                              ; preds = %941
  %945 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 0
  %946 = load ptr, ptr %945, align 8, !tbaa !22
  %947 = load ptr, ptr %7, align 8, !tbaa !5
  %948 = getelementptr inbounds %struct.mesh, ptr %947, i32 0, i32 48
  %949 = load ptr, ptr %948, align 8, !tbaa !32
  %950 = icmp ne ptr %946, %949
  br label %951

951:                                              ; preds = %944, %941
  %952 = phi i1 [ false, %941 ], [ %950, %944 ]
  br i1 %952, label %953, label %1069

953:                                              ; preds = %951
  %954 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 0
  %955 = load ptr, ptr %954, align 8, !tbaa !22
  %956 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 1
  %957 = load i32, ptr %956, align 8, !tbaa !44
  %958 = sext i32 %957 to i64
  %959 = getelementptr inbounds [3 x i32], ptr @minus1mod3, i64 0, i64 %958
  %960 = load i32, ptr %959, align 4, !tbaa !19
  %961 = add nsw i32 %960, 3
  %962 = sext i32 %961 to i64
  %963 = getelementptr inbounds ptr, ptr %955, i64 %962
  %964 = load ptr, ptr %963, align 8, !tbaa !5
  store ptr %964, ptr %29, align 8, !tbaa !5
  %965 = load ptr, ptr %31, align 8, !tbaa !5
  %966 = load ptr, ptr %29, align 8, !tbaa !5
  %967 = icmp eq ptr %965, %966
  br i1 %967, label %968, label %1040

968:                                              ; preds = %953
  %969 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 0
  %970 = load ptr, ptr %969, align 8, !tbaa !22
  %971 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 1
  %972 = load i32, ptr %971, align 8, !tbaa !44
  %973 = add nsw i32 6, %972
  %974 = sext i32 %973 to i64
  %975 = getelementptr inbounds ptr, ptr %970, i64 %974
  %976 = load ptr, ptr %975, align 8, !tbaa !5
  %977 = load ptr, ptr %25, align 8, !tbaa !5
  store ptr %976, ptr %977, align 8, !tbaa !5
  %978 = getelementptr inbounds %struct.osub, ptr %23, i32 0, i32 0
  %979 = load ptr, ptr %978, align 8, !tbaa !27
  %980 = ptrtoint ptr %979 to i64
  %981 = getelementptr inbounds %struct.osub, ptr %23, i32 0, i32 1
  %982 = load i32, ptr %981, align 8, !tbaa !49
  %983 = sext i32 %982 to i64
  %984 = or i64 %980, %983
  %985 = inttoptr i64 %984 to ptr
  %986 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 0
  %987 = load ptr, ptr %986, align 8, !tbaa !22
  %988 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 1
  %989 = load i32, ptr %988, align 8, !tbaa !44
  %990 = add nsw i32 6, %989
  %991 = sext i32 %990 to i64
  %992 = getelementptr inbounds ptr, ptr %987, i64 %991
  store ptr %985, ptr %992, align 8, !tbaa !5
  %993 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 0
  %994 = load ptr, ptr %993, align 8, !tbaa !22
  %995 = ptrtoint ptr %994 to i64
  %996 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 1
  %997 = load i32, ptr %996, align 8, !tbaa !44
  %998 = sext i32 %997 to i64
  %999 = or i64 %995, %998
  %1000 = inttoptr i64 %999 to ptr
  %1001 = getelementptr inbounds %struct.osub, ptr %23, i32 0, i32 0
  %1002 = load ptr, ptr %1001, align 8, !tbaa !27
  %1003 = getelementptr inbounds %struct.osub, ptr %23, i32 0, i32 1
  %1004 = load i32, ptr %1003, align 8, !tbaa !49
  %1005 = add nsw i32 6, %1004
  %1006 = sext i32 %1005 to i64
  %1007 = getelementptr inbounds ptr, ptr %1002, i64 %1006
  store ptr %1000, ptr %1007, align 8, !tbaa !5
  %1008 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 0
  %1009 = load ptr, ptr %1008, align 8, !tbaa !22
  %1010 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 1
  %1011 = load i32, ptr %1010, align 8, !tbaa !44
  %1012 = sext i32 %1011 to i64
  %1013 = getelementptr inbounds ptr, ptr %1009, i64 %1012
  %1014 = load ptr, ptr %1013, align 8, !tbaa !5
  store ptr %1014, ptr %49, align 8, !tbaa !5
  %1015 = load ptr, ptr %49, align 8, !tbaa !5
  %1016 = ptrtoint ptr %1015 to i64
  %1017 = and i64 %1016, 3
  %1018 = trunc i64 %1017 to i32
  %1019 = getelementptr inbounds %struct.otri, ptr %22, i32 0, i32 1
  store i32 %1018, ptr %1019, align 8, !tbaa !44
  %1020 = load ptr, ptr %49, align 8, !tbaa !5
  %1021 = ptrtoint ptr %1020 to i64
  %1022 = getelementptr inbounds %struct.otri, ptr %22, i32 0, i32 1
  %1023 = load i32, ptr %1022, align 8, !tbaa !44
  %1024 = sext i32 %1023 to i64
  %1025 = xor i64 %1021, %1024
  %1026 = inttoptr i64 %1025 to ptr
  %1027 = getelementptr inbounds %struct.otri, ptr %22, i32 0, i32 0
  store ptr %1026, ptr %1027, align 8, !tbaa !22
  %1028 = getelementptr inbounds %struct.otri, ptr %22, i32 0, i32 0
  %1029 = load ptr, ptr %1028, align 8, !tbaa !22
  %1030 = load ptr, ptr %7, align 8, !tbaa !5
  %1031 = getelementptr inbounds %struct.mesh, ptr %1030, i32 0, i32 48
  %1032 = load ptr, ptr %1031, align 8, !tbaa !32
  %1033 = icmp eq ptr %1029, %1032
  br i1 %1033, label %1034, label %1039

1034:                                             ; preds = %968
  %1035 = load ptr, ptr %7, align 8, !tbaa !5
  %1036 = load ptr, ptr %8, align 8, !tbaa !5
  call void @insertsubseg(ptr noundef %1035, ptr noundef %1036, ptr noundef %20, i32 noundef 1)
  %1037 = load i64, ptr %43, align 8, !tbaa !21
  %1038 = add nsw i64 %1037, 1
  store i64 %1038, ptr %43, align 8, !tbaa !21
  br label %1039

1039:                                             ; preds = %1034, %968
  store i32 0, ptr %44, align 4, !tbaa !19
  br label %1040

1040:                                             ; preds = %1039, %953
  %1041 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 0
  %1042 = load ptr, ptr %1041, align 8, !tbaa !22
  %1043 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 1
  %1044 = load i32, ptr %1043, align 8, !tbaa !44
  %1045 = add nsw i32 6, %1044
  %1046 = sext i32 %1045 to i64
  %1047 = getelementptr inbounds ptr, ptr %1042, i64 %1046
  store ptr %1047, ptr %25, align 8, !tbaa !5
  %1048 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 0
  %1049 = load ptr, ptr %1048, align 8, !tbaa !22
  %1050 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 1
  %1051 = load i32, ptr %1050, align 8, !tbaa !44
  %1052 = add nsw i32 6, %1051
  %1053 = sext i32 %1052 to i64
  %1054 = getelementptr inbounds ptr, ptr %1049, i64 %1053
  %1055 = load ptr, ptr %1054, align 8, !tbaa !5
  store ptr %1055, ptr %26, align 8, !tbaa !5
  %1056 = load ptr, ptr %26, align 8, !tbaa !5
  %1057 = ptrtoint ptr %1056 to i64
  %1058 = and i64 %1057, 3
  %1059 = trunc i64 %1058 to i32
  %1060 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 1
  store i32 %1059, ptr %1060, align 8, !tbaa !44
  %1061 = load ptr, ptr %26, align 8, !tbaa !5
  %1062 = ptrtoint ptr %1061 to i64
  %1063 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 1
  %1064 = load i32, ptr %1063, align 8, !tbaa !44
  %1065 = sext i32 %1064 to i64
  %1066 = xor i64 %1062, %1065
  %1067 = inttoptr i64 %1066 to ptr
  %1068 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 0
  store ptr %1067, ptr %1068, align 8, !tbaa !22
  br label %941, !llvm.loop !50

1069:                                             ; preds = %951
  br label %1070

1070:                                             ; preds = %1069
  %1071 = getelementptr inbounds %struct.osub, ptr %23, i32 0, i32 1
  %1072 = load i32, ptr %1071, align 8, !tbaa !49
  %1073 = add nsw i32 %1072, 1
  store i32 %1073, ptr %1071, align 8, !tbaa !49
  br label %892, !llvm.loop !51

1074:                                             ; preds = %892
  %1075 = load ptr, ptr %7, align 8, !tbaa !5
  %1076 = call ptr @subsegtraverse(ptr noundef %1075)
  %1077 = getelementptr inbounds %struct.osub, ptr %23, i32 0, i32 0
  store ptr %1076, ptr %1077, align 8, !tbaa !27
  %1078 = load i64, ptr %46, align 8, !tbaa !21
  %1079 = add nsw i64 %1078, 1
  store i64 %1079, ptr %46, align 8, !tbaa !21
  br label %752, !llvm.loop !52

1080:                                             ; preds = %752
  br label %1081

1081:                                             ; preds = %1080, %730
  store i32 0, ptr %47, align 4, !tbaa !19
  br label %1082

1082:                                             ; preds = %1181, %1081
  %1083 = load i32, ptr %47, align 4, !tbaa !19
  %1084 = sext i32 %1083 to i64
  %1085 = load ptr, ptr %7, align 8, !tbaa !5
  %1086 = getelementptr inbounds %struct.mesh, ptr %1085, i32 0, i32 2
  %1087 = getelementptr inbounds %struct.memorypool, ptr %1086, i32 0, i32 10
  %1088 = load i64, ptr %1087, align 8, !tbaa !31
  %1089 = icmp slt i64 %1084, %1088
  br i1 %1089, label %1090, label %1184

1090:                                             ; preds = %1082
  %1091 = load ptr, ptr %24, align 8, !tbaa !5
  %1092 = load i32, ptr %47, align 4, !tbaa !19
  %1093 = sext i32 %1092 to i64
  %1094 = getelementptr inbounds ptr, ptr %1091, i64 %1093
  %1095 = load ptr, ptr %1094, align 8, !tbaa !5
  store ptr %1095, ptr %26, align 8, !tbaa !5
  %1096 = load ptr, ptr %26, align 8, !tbaa !5
  %1097 = ptrtoint ptr %1096 to i64
  %1098 = and i64 %1097, 3
  %1099 = trunc i64 %1098 to i32
  %1100 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 1
  store i32 %1099, ptr %1100, align 8, !tbaa !44
  %1101 = load ptr, ptr %26, align 8, !tbaa !5
  %1102 = ptrtoint ptr %1101 to i64
  %1103 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 1
  %1104 = load i32, ptr %1103, align 8, !tbaa !44
  %1105 = sext i32 %1104 to i64
  %1106 = xor i64 %1102, %1105
  %1107 = inttoptr i64 %1106 to ptr
  %1108 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 0
  store ptr %1107, ptr %1108, align 8, !tbaa !22
  br label %1109

1109:                                             ; preds = %1166, %1090
  %1110 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 0
  %1111 = load ptr, ptr %1110, align 8, !tbaa !22
  %1112 = load ptr, ptr %7, align 8, !tbaa !5
  %1113 = getelementptr inbounds %struct.mesh, ptr %1112, i32 0, i32 48
  %1114 = load ptr, ptr %1113, align 8, !tbaa !32
  %1115 = icmp ne ptr %1111, %1114
  br i1 %1115, label %1116, label %1180

1116:                                             ; preds = %1109
  %1117 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 0
  %1118 = load ptr, ptr %1117, align 8, !tbaa !22
  %1119 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 1
  %1120 = load i32, ptr %1119, align 8, !tbaa !44
  %1121 = add nsw i32 6, %1120
  %1122 = sext i32 %1121 to i64
  %1123 = getelementptr inbounds ptr, ptr %1118, i64 %1122
  %1124 = load ptr, ptr %1123, align 8, !tbaa !5
  store ptr %1124, ptr %26, align 8, !tbaa !5
  %1125 = load ptr, ptr %7, align 8, !tbaa !5
  %1126 = getelementptr inbounds %struct.mesh, ptr %1125, i32 0, i32 50
  %1127 = load ptr, ptr %1126, align 8, !tbaa !53
  %1128 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 0
  %1129 = load ptr, ptr %1128, align 8, !tbaa !22
  %1130 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 1
  %1131 = load i32, ptr %1130, align 8, !tbaa !44
  %1132 = add nsw i32 6, %1131
  %1133 = sext i32 %1132 to i64
  %1134 = getelementptr inbounds ptr, ptr %1129, i64 %1133
  store ptr %1127, ptr %1134, align 8, !tbaa !5
  %1135 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 0
  %1136 = load ptr, ptr %1135, align 8, !tbaa !22
  %1137 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 1
  %1138 = load i32, ptr %1137, align 8, !tbaa !44
  %1139 = sext i32 %1138 to i64
  %1140 = getelementptr inbounds ptr, ptr %1136, i64 %1139
  %1141 = load ptr, ptr %1140, align 8, !tbaa !5
  store ptr %1141, ptr %49, align 8, !tbaa !5
  %1142 = load ptr, ptr %49, align 8, !tbaa !5
  %1143 = ptrtoint ptr %1142 to i64
  %1144 = and i64 %1143, 3
  %1145 = trunc i64 %1144 to i32
  %1146 = getelementptr inbounds %struct.otri, ptr %22, i32 0, i32 1
  store i32 %1145, ptr %1146, align 8, !tbaa !44
  %1147 = load ptr, ptr %49, align 8, !tbaa !5
  %1148 = ptrtoint ptr %1147 to i64
  %1149 = getelementptr inbounds %struct.otri, ptr %22, i32 0, i32 1
  %1150 = load i32, ptr %1149, align 8, !tbaa !44
  %1151 = sext i32 %1150 to i64
  %1152 = xor i64 %1148, %1151
  %1153 = inttoptr i64 %1152 to ptr
  %1154 = getelementptr inbounds %struct.otri, ptr %22, i32 0, i32 0
  store ptr %1153, ptr %1154, align 8, !tbaa !22
  %1155 = getelementptr inbounds %struct.otri, ptr %22, i32 0, i32 0
  %1156 = load ptr, ptr %1155, align 8, !tbaa !22
  %1157 = load ptr, ptr %7, align 8, !tbaa !5
  %1158 = getelementptr inbounds %struct.mesh, ptr %1157, i32 0, i32 48
  %1159 = load ptr, ptr %1158, align 8, !tbaa !32
  %1160 = icmp eq ptr %1156, %1159
  br i1 %1160, label %1161, label %1166

1161:                                             ; preds = %1116
  %1162 = load ptr, ptr %7, align 8, !tbaa !5
  %1163 = load ptr, ptr %8, align 8, !tbaa !5
  call void @insertsubseg(ptr noundef %1162, ptr noundef %1163, ptr noundef %20, i32 noundef 1)
  %1164 = load i64, ptr %43, align 8, !tbaa !21
  %1165 = add nsw i64 %1164, 1
  store i64 %1165, ptr %43, align 8, !tbaa !21
  br label %1166

1166:                                             ; preds = %1161, %1116
  %1167 = load ptr, ptr %26, align 8, !tbaa !5
  %1168 = ptrtoint ptr %1167 to i64
  %1169 = and i64 %1168, 3
  %1170 = trunc i64 %1169 to i32
  %1171 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 1
  store i32 %1170, ptr %1171, align 8, !tbaa !44
  %1172 = load ptr, ptr %26, align 8, !tbaa !5
  %1173 = ptrtoint ptr %1172 to i64
  %1174 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 1
  %1175 = load i32, ptr %1174, align 8, !tbaa !44
  %1176 = sext i32 %1175 to i64
  %1177 = xor i64 %1173, %1176
  %1178 = inttoptr i64 %1177 to ptr
  %1179 = getelementptr inbounds %struct.otri, ptr %20, i32 0, i32 0
  store ptr %1178, ptr %1179, align 8, !tbaa !22
  br label %1109, !llvm.loop !54

1180:                                             ; preds = %1109
  br label %1181

1181:                                             ; preds = %1180
  %1182 = load i32, ptr %47, align 4, !tbaa !19
  %1183 = add nsw i32 %1182, 1
  store i32 %1183, ptr %47, align 4, !tbaa !19
  br label %1082, !llvm.loop !55

1184:                                             ; preds = %1082
  %1185 = load ptr, ptr %24, align 8, !tbaa !5
  call void @trifree(ptr noundef %1185)
  %1186 = load i64, ptr %43, align 8, !tbaa !21
  call void @llvm.lifetime.end.p0(i64 8, ptr %49) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %48) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %47) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %46) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %45) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %44) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %43) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %42) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %41) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %40) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %39) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %38) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %37) #4
  call void @llvm.lifetime.end.p0(i64 12, ptr %36) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #4
  call void @llvm.lifetime.end.p0(i64 16, ptr %23) #4
  call void @llvm.lifetime.end.p0(i64 16, ptr %22) #4
  call void @llvm.lifetime.end.p0(i64 16, ptr %21) #4
  call void @llvm.lifetime.end.p0(i64 16, ptr %20) #4
  call void @llvm.lifetime.end.p0(i64 16, ptr %19) #4
  call void @llvm.lifetime.end.p0(i64 16, ptr %18) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #4
  call void @llvm.lifetime.end.p0(i64 1024, ptr %15) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #4
  ret i64 %1186
}

declare noalias ptr @fopen(ptr noundef, ptr noundef) #2

; Function Attrs: nounwind
declare i64 @strtol(ptr noundef, ptr noundef, i32 noundef) #3

declare i32 @fclose(ptr noundef) #2

; Function Attrs: nounwind uwtable
declare dso_local ptr @readline(ptr noundef, ptr noundef, ptr noundef) #1

; Function Attrs: nounwind uwtable
declare dso_local ptr @findfield(ptr noundef) #1

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { 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 #2 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { 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 = { 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, !11, i64 112}
!10 = !{!"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, !12, i64 136, !12, i64 144, !12, i64 152, !12, 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}
!11 = !{!"int", !7, i64 0}
!12 = !{!"double", !7, i64 0}
!13 = !{!14, !11, i64 82684}
!14 = !{!"mesh", !15, i64 0, !15, i64 88, !15, i64 176, !15, i64 264, !15, i64 352, !15, i64 440, !15, i64 528, !15, i64 616, !7, i64 704, !7, i64 33472, !7, i64 66240, !11, i64 82624, !6, i64 82632, !12, i64 82640, !12, i64 82648, !12, i64 82656, !12, i64 82664, !12, i64 82672, !11, i64 82680, !11, i64 82684, !11, i64 82688, !11, i64 82692, !11, i64 82696, !11, i64 82700, !16, i64 82704, !11, i64 82712, !11, i64 82716, !11, i64 82720, !16, 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, !16, i64 82776, !16, i64 82784, !16, i64 82792, !16, i64 82800, !16, i64 82808, !16, i64 82816, !16, i64 82824, !6, i64 82832, !6, i64 82840, !6, i64 82848, !6, i64 82856, !6, i64 82864, !6, i64 82872, !6, i64 82880, !17, i64 82888}
!15 = !{!"memorypool", !6, i64 0, !6, i64 8, !6, i64 16, !6, i64 24, !6, i64 32, !6, i64 40, !11, i64 48, !11, i64 52, !11, i64 56, !11, i64 60, !16, i64 64, !16, i64 72, !11, i64 80, !11, i64 84}
!16 = !{!"long", !7, i64 0}
!17 = !{!"otri", !6, i64 0, !11, i64 8}
!18 = !{!7, !7, i64 0}
!19 = !{!11, !11, i64 0}
!20 = !{!14, !11, i64 82720}
!21 = !{!16, !16, i64 0}
!22 = !{!17, !6, i64 0}
!23 = distinct !{!23, !24}
!24 = !{!"llvm.loop.mustprogress"}
!25 = !{!10, !11, i64 0}
!26 = !{!14, !11, i64 82688}
!27 = !{!28, !6, i64 0}
!28 = !{!"osub", !6, i64 0, !11, i64 8}
!29 = distinct !{!29, !24}
!30 = !{!10, !11, i64 12}
!31 = !{!14, !16, i64 240}
!32 = !{!14, !6, i64 82856}
!33 = distinct !{!33, !24}
!34 = !{!10, !11, i64 116}
!35 = !{!10, !11, i64 40}
!36 = !{!14, !11, i64 82680}
!37 = distinct !{!37, !24}
!38 = !{!14, !11, i64 82740}
!39 = distinct !{!39, !24}
!40 = !{!14, !11, i64 82752}
!41 = !{!12, !12, i64 0}
!42 = distinct !{!42, !24}
!43 = !{!14, !11, i64 82756}
!44 = !{!17, !11, i64 8}
!45 = distinct !{!45, !24}
!46 = distinct !{!46, !24}
!47 = distinct !{!47, !24}
!48 = distinct !{!48, !24}
!49 = !{!28, !11, i64 8}
!50 = distinct !{!50, !24}
!51 = distinct !{!51, !24}
!52 = distinct !{!52, !24}
!53 = !{!14, !6, i64 82872}
!54 = distinct !{!54, !24}
!55 = distinct !{!55, !24}


; 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.988 = external hidden unnamed_addr constant [13 x i8], align 1
@.str.989 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.990 = external hidden unnamed_addr constant [34 x i8], align 1
@.str.991 = external hidden unnamed_addr constant [56 x i8], align 1
@.str.992 = external hidden unnamed_addr constant [52 x i8], align 1
@.str.993 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.994 = external hidden unnamed_addr constant [25 x i8], align 1
@.str.995 = external hidden unnamed_addr constant [50 x i8], align 1
@.str.996 = external hidden unnamed_addr constant [51 x i8], align 1
@.str.997 = external hidden unnamed_addr constant [38 x i8], align 1
@.str.998 = external hidden unnamed_addr constant [45 x i8], align 1
@.str.999 = external hidden unnamed_addr constant [59 x i8], align 1
@.str.1000 = external hidden unnamed_addr constant [50 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 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 #1

; Function Attrs: nounwind uwtable
declare dso_local ptr @trimalloc(i32 noundef) local_unnamed_addr #1

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

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

; Function Attrs: mustprogress nofree nounwind willreturn
declare double @strtod(ptr noundef readonly, ptr nocapture noundef) local_unnamed_addr #3

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

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

; Function Attrs: nounwind uwtable
declare dso_local ptr @triangletraverse(ptr noundef) local_unnamed_addr #1

; Function Attrs: nounwind uwtable
declare dso_local ptr @subsegtraverse(ptr noundef) local_unnamed_addr #1

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

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

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

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

; Function Attrs: nounwind uwtable
declare dso_local void @insertsubseg(ptr noundef, ptr noundef, ptr noundef, i32 noundef) local_unnamed_addr #1

; Function Attrs: nounwind uwtable
define dso_local i64 @reconstruct(ptr noundef %0, ptr noundef %1, ptr noundef %2, ptr noundef %3, ptr noundef %4, ptr noundef %5) local_unnamed_addr #1 {
  %7 = alloca [1024 x i8], align 16
  %8 = alloca ptr, align 8
  %9 = alloca %struct.otri, align 8
  %10 = alloca %struct.otri, align 8
  %11 = alloca %struct.osub, align 8
  %12 = alloca [2 x i32], align 4
  call void @llvm.lifetime.start.p0(i64 1024, ptr nonnull %7) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %8) #4
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %9) #4
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %10) #4
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %11) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %12) #4
  %13 = getelementptr inbounds i8, ptr %1, i64 112
  %14 = load i32, ptr %13, align 8, !tbaa !5
  %.not = icmp eq i32 %14, 0
  br i1 %.not, label %15, label %17

15:                                               ; preds = %6
  %16 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.988, ptr noundef %2)
  br label %17

17:                                               ; preds = %15, %6
  %18 = tail call noalias ptr @fopen(ptr noundef %2, ptr noundef nonnull @.str.989)
  %19 = icmp eq ptr %18, null
  br i1 %19, label %20, label %22

20:                                               ; preds = %17
  %21 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.990, ptr noundef %2)
  tail call void @triexit(i32 noundef 1)
  br label %22

22:                                               ; preds = %20, %17
  %23 = call ptr @readline(ptr noundef nonnull %7, ptr noundef %18, ptr noundef %2)
  store ptr %23, ptr %8, align 8, !tbaa !11
  %24 = call i64 @strtol(ptr noundef %23, ptr noundef nonnull %8, i32 noundef 0) #4
  %25 = trunc i64 %24 to i32
  %26 = getelementptr inbounds i8, ptr %0, i64 82684
  store i32 %25, ptr %26, align 4, !tbaa !13
  %27 = load ptr, ptr %8, align 8, !tbaa !11
  %28 = call ptr @findfield(ptr noundef %27)
  store ptr %28, ptr %8, align 8, !tbaa !11
  %29 = load i8, ptr %28, align 1, !tbaa !18
  %30 = icmp eq i8 %29, 0
  br i1 %30, label %37, label %31

31:                                               ; preds = %22
  %32 = call i64 @strtol(ptr noundef nonnull %28, ptr noundef nonnull %8, i32 noundef 0) #4
  %33 = trunc i64 %32 to i32
  %34 = icmp slt i32 %33, 3
  br i1 %34, label %35, label %37

35:                                               ; preds = %31
  %36 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.991, ptr noundef %2)
  call void @triexit(i32 noundef 1)
  br label %37

37:                                               ; preds = %22, %31, %35
  %.0216 = phi i32 [ %33, %35 ], [ %33, %31 ], [ 3, %22 ]
  %38 = load ptr, ptr %8, align 8, !tbaa !11
  %39 = call ptr @findfield(ptr noundef %38)
  store ptr %39, ptr %8, align 8, !tbaa !11
  %40 = load i8, ptr %39, align 1, !tbaa !18
  %41 = icmp eq i8 %40, 0
  br i1 %41, label %45, label %42

42:                                               ; preds = %37
  %43 = call i64 @strtol(ptr noundef nonnull %39, ptr noundef nonnull %8, i32 noundef 0) #4
  %44 = trunc i64 %43 to i32
  br label %45

45:                                               ; preds = %37, %42
  %.sink = phi i32 [ %44, %42 ], [ 0, %37 ]
  %46 = getelementptr inbounds i8, ptr %0, i64 82720
  store i32 %.sink, ptr %46, align 8
  call void @initializetrisubpools(ptr noundef nonnull %0, ptr noundef nonnull %1)
  %47 = load i32, ptr %26, align 4, !tbaa !13
  %.not234266 = icmp slt i32 %47, 1
  br i1 %.not234266, label %._crit_edge, label %.lr.ph

.lr.ph:                                           ; preds = %45, %.lr.ph
  %.0204267 = phi i64 [ %50, %.lr.ph ], [ 1, %45 ]
  call void @maketriangle(ptr noundef nonnull %0, ptr noundef %1, ptr noundef nonnull %9)
  %48 = load ptr, ptr %9, align 8, !tbaa !19
  %49 = getelementptr inbounds i8, ptr %48, i64 24
  store ptr %48, ptr %49, align 8, !tbaa !11
  %50 = add nuw nsw i64 %.0204267, 1
  %51 = load i32, ptr %26, align 4, !tbaa !13
  %52 = sext i32 %51 to i64
  %.not234.not = icmp slt i64 %.0204267, %52
  br i1 %.not234.not, label %.lr.ph, label %._crit_edge, !llvm.loop !20

._crit_edge:                                      ; preds = %.lr.ph, %45
  %53 = load i32, ptr %1, align 8, !tbaa !22
  %.not235 = icmp eq i32 %53, 0
  br i1 %.not235, label %.loopexit265, label %54

54:                                               ; preds = %._crit_edge
  %55 = getelementptr inbounds i8, ptr %1, i64 4264
  %56 = call ptr @readline(ptr noundef nonnull %7, ptr noundef %5, ptr noundef nonnull %55)
  store ptr %56, ptr %8, align 8, !tbaa !11
  %57 = call i64 @strtol(ptr noundef %56, ptr noundef nonnull %8, i32 noundef 0) #4
  %58 = trunc i64 %57 to i32
  %59 = getelementptr inbounds i8, ptr %0, i64 82688
  store i32 %58, ptr %59, align 8, !tbaa !23
  %60 = load ptr, ptr %8, align 8, !tbaa !11
  %61 = call ptr @findfield(ptr noundef %60)
  store ptr %61, ptr %8, align 8, !tbaa !11
  %62 = load i8, ptr %61, align 1, !tbaa !18
  %.not236 = icmp eq i8 %62, 0
  br i1 %.not236, label %66, label %63

63:                                               ; preds = %54
  %64 = call i64 @strtol(ptr noundef nonnull %61, ptr noundef nonnull %8, i32 noundef 0) #4
  %65 = trunc i64 %64 to i32
  br label %66

66:                                               ; preds = %63, %54
  %.0214 = phi i32 [ %65, %63 ], [ 0, %54 ]
  %67 = load i32, ptr %59, align 8, !tbaa !23
  %.not237268 = icmp slt i32 %67, 1
  br i1 %.not237268, label %.loopexit265, label %.lr.ph271

.lr.ph271:                                        ; preds = %66, %.lr.ph271
  %.0202269 = phi i64 [ %70, %.lr.ph271 ], [ 1, %66 ]
  call void @makesubseg(ptr noundef nonnull %0, ptr noundef nonnull %11)
  %68 = load ptr, ptr %11, align 8, !tbaa !24
  %69 = getelementptr inbounds i8, ptr %68, i64 16
  store ptr %68, ptr %69, align 8, !tbaa !11
  %70 = add nuw nsw i64 %.0202269, 1
  %71 = load i32, ptr %59, align 8, !tbaa !23
  %72 = sext i32 %71 to i64
  %.not237.not = icmp slt i64 %.0202269, %72
  br i1 %.not237.not, label %.lr.ph271, label %.loopexit265, !llvm.loop !26

.loopexit265:                                     ; preds = %.lr.ph271, %66, %._crit_edge
  %.1215 = phi i32 [ 0, %._crit_edge ], [ %.0214, %66 ], [ %.0214, %.lr.ph271 ]
  %73 = getelementptr inbounds i8, ptr %1, i64 12
  %74 = load i32, ptr %73, align 4, !tbaa !27
  %.not238 = icmp eq i32 %74, 0
  br i1 %.not238, label %91, label %75

75:                                               ; preds = %.loopexit265
  %76 = load i32, ptr %13, align 8, !tbaa !5
  %.not239 = icmp eq i32 %76, 0
  br i1 %.not239, label %77, label %79

77:                                               ; preds = %75
  %78 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.988, ptr noundef %3)
  br label %79

79:                                               ; preds = %77, %75
  %80 = call noalias ptr @fopen(ptr noundef %3, ptr noundef nonnull @.str.989)
  %81 = icmp eq ptr %80, null
  br i1 %81, label %82, label %84

82:                                               ; preds = %79
  %83 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.990, ptr noundef %3)
  call void @triexit(i32 noundef 1)
  br label %84

84:                                               ; preds = %82, %79
  %85 = call ptr @readline(ptr noundef nonnull %7, ptr noundef %80, ptr noundef %3)
  store ptr %85, ptr %8, align 8, !tbaa !11
  %86 = call i64 @strtol(ptr noundef %85, ptr noundef nonnull %8, i32 noundef 0) #4
  %87 = trunc i64 %86 to i32
  %88 = load i32, ptr %26, align 4, !tbaa !13
  %.not240 = icmp eq i32 %88, %87
  br i1 %.not240, label %91, label %89

89:                                               ; preds = %84
  %90 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.992, ptr noundef %2, ptr noundef %3)
  call void @triexit(i32 noundef 1)
  br label %91

91:                                               ; preds = %84, %89, %.loopexit265
  %.0217 = phi ptr [ %80, %89 ], [ %80, %84 ], [ undef, %.loopexit265 ]
  %92 = load i32, ptr %13, align 8, !tbaa !5
  %.not241 = icmp eq i32 %92, 0
  br i1 %.not241, label %93, label %95

93:                                               ; preds = %91
  %94 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.993)
  br label %95

95:                                               ; preds = %93, %91
  %96 = getelementptr inbounds i8, ptr %0, i64 240
  %97 = load i64, ptr %96, align 8, !tbaa !28
  %.tr = trunc i64 %97 to i32
  %98 = shl i32 %.tr, 3
  %99 = call ptr @trimalloc(i32 noundef %98)
  %100 = load i64, ptr %96, align 8, !tbaa !28
  %101 = icmp sgt i64 %100, 0
  br i1 %101, label %.lr.ph274, label %._crit_edge275

.lr.ph274:                                        ; preds = %95
  %102 = getelementptr inbounds i8, ptr %0, i64 82856
  %.pre = load ptr, ptr %102, align 8, !tbaa !29
  %min.iters.check = icmp ult i64 %100, 4
  br i1 %min.iters.check, label %scalar.ph.preheader, label %vector.ph

vector.ph:                                        ; preds = %.lr.ph274
  %n.vec = and i64 %100, 9223372036854775804
  %broadcast.splatinsert = insertelement <2 x ptr> poison, ptr %.pre, i64 0
  %broadcast.splat = shufflevector <2 x ptr> %broadcast.splatinsert, <2 x ptr> 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 ]
  %103 = getelementptr inbounds ptr, ptr %99, i64 %index
  %104 = getelementptr inbounds i8, ptr %103, i64 16
  store <2 x ptr> %broadcast.splat, ptr %103, align 8, !tbaa !11
  store <2 x ptr> %broadcast.splat, ptr %104, align 8, !tbaa !11
  %index.next = add nuw i64 %index, 4
  %105 = icmp eq i64 %index.next, %n.vec
  br i1 %105, label %middle.block, label %vector.body, !llvm.loop !30

middle.block:                                     ; preds = %vector.body
  %cmp.n = icmp eq i64 %100, %n.vec
  br i1 %cmp.n, label %._crit_edge275, label %scalar.ph.preheader

scalar.ph.preheader:                              ; preds = %middle.block, %.lr.ph274
  %indvars.iv.ph = phi i64 [ 0, %.lr.ph274 ], [ %n.vec, %middle.block ]
  br label %scalar.ph

scalar.ph:                                        ; preds = %scalar.ph.preheader, %scalar.ph
  %indvars.iv = phi i64 [ %indvars.iv.next, %scalar.ph ], [ %indvars.iv.ph, %scalar.ph.preheader ]
  %106 = getelementptr inbounds ptr, ptr %99, i64 %indvars.iv
  store ptr %.pre, ptr %106, align 8, !tbaa !11
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next, %100
  br i1 %exitcond.not, label %._crit_edge275, label %scalar.ph, !llvm.loop !33

._crit_edge275:                                   ; preds = %scalar.ph, %middle.block, %95
  %107 = getelementptr inbounds i8, ptr %1, i64 116
  %108 = load i32, ptr %107, align 4, !tbaa !34
  %.not242 = icmp eq i32 %108, 0
  br i1 %.not242, label %111, label %109

109:                                              ; preds = %._crit_edge275
  %110 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.994)
  br label %111

111:                                              ; preds = %109, %._crit_edge275
  call void @traversalinit(ptr noundef nonnull %0)
  %112 = call ptr @triangletraverse(ptr noundef nonnull %0)
  store ptr %112, ptr %9, align 8, !tbaa !19
  %113 = getelementptr inbounds i8, ptr %1, i64 40
  %.not243286 = icmp eq ptr %112, null
  br i1 %.not243286, label %._crit_edge290, label %.lr.ph289

.lr.ph289:                                        ; preds = %111
  %114 = load i32, ptr %113, align 8, !tbaa !35
  %115 = sext i32 %114 to i64
  %116 = getelementptr inbounds i8, ptr %0, i64 82680
  %117 = icmp sgt i32 %.0216, 3
  %118 = getelementptr inbounds i8, ptr %0, i64 82740
  %119 = getelementptr inbounds i8, ptr %0, i64 82752
  %120 = getelementptr inbounds i8, ptr %0, i64 82756
  %121 = getelementptr inbounds i8, ptr %9, i64 8
  %122 = getelementptr inbounds i8, ptr %10, i64 8
  %123 = getelementptr inbounds i8, ptr %0, i64 82856
  br label %124

124:                                              ; preds = %.lr.ph289, %.loopexit263.2
  %.sroa.8.0 = phi i32 [ undef, %.lr.ph289 ], [ %.sroa.8.1, %.loopexit263.2 ]
  %.sroa.5.0 = phi i32 [ undef, %.lr.ph289 ], [ %.sroa.5.1, %.loopexit263.2 ]
  %.sroa.0.0 = phi i32 [ undef, %.lr.ph289 ], [ %.sroa.0.1, %.loopexit263.2 ]
  %.1205287 = phi i64 [ %115, %.lr.ph289 ], [ %453, %.loopexit263.2 ]
  %125 = call ptr @readline(ptr noundef nonnull %7, ptr noundef %18, ptr noundef %2)
  %126 = call ptr @findfield(ptr noundef %125)
  store ptr %126, ptr %8, align 8, !tbaa !11
  %127 = load i8, ptr %126, align 1, !tbaa !18
  %128 = icmp eq i8 %127, 0
  br i1 %128, label %129, label %131

129:                                              ; preds = %124
  %130 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.995, i64 noundef %.1205287, i32 noundef 1, ptr noundef %2)
  br label %.sink.split

131:                                              ; preds = %124
  %132 = call i64 @strtol(ptr noundef nonnull %126, ptr noundef nonnull %8, i32 noundef 0) #4
  %133 = trunc i64 %132 to i32
  %134 = load i32, ptr %113, align 8, !tbaa !35
  %135 = icmp sgt i32 %134, %133
  br i1 %135, label %139, label %136

136:                                              ; preds = %131
  %137 = load i32, ptr %116, align 8, !tbaa !36
  %138 = add nsw i32 %137, %134
  %.not262 = icmp sgt i32 %138, %133
  br i1 %.not262, label %141, label %139

139:                                              ; preds = %136, %131
  %140 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.996, i64 noundef %.1205287)
  br label %.sink.split

.sink.split:                                      ; preds = %139, %129
  %.sroa.0.1.ph = phi i32 [ %133, %139 ], [ %.sroa.0.0, %129 ]
  call void @triexit(i32 noundef 1)
  br label %141

141:                                              ; preds = %.sink.split, %136
  %.sroa.0.1 = phi i32 [ %133, %136 ], [ %.sroa.0.1.ph, %.sink.split ]
  %142 = load ptr, ptr %8, align 8, !tbaa !11
  %143 = call ptr @findfield(ptr noundef %142)
  store ptr %143, ptr %8, align 8, !tbaa !11
  %144 = load i8, ptr %143, align 1, !tbaa !18
  %145 = icmp eq i8 %144, 0
  br i1 %145, label %156, label %146

146:                                              ; preds = %141
  %147 = call i64 @strtol(ptr noundef nonnull %143, ptr noundef nonnull %8, i32 noundef 0) #4
  %148 = trunc i64 %147 to i32
  %149 = load i32, ptr %113, align 8, !tbaa !35
  %150 = icmp sgt i32 %149, %148
  br i1 %150, label %154, label %151

151:                                              ; preds = %146
  %152 = load i32, ptr %116, align 8, !tbaa !36
  %153 = add nsw i32 %152, %149
  %.not262.1 = icmp sgt i32 %153, %148
  br i1 %.not262.1, label %158, label %154

154:                                              ; preds = %151, %146
  %155 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.996, i64 noundef %.1205287)
  br label %.sink.split370

156:                                              ; preds = %141
  %157 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.995, i64 noundef %.1205287, i32 noundef 2, ptr noundef %2)
  br label %.sink.split370

.sink.split370:                                   ; preds = %154, %156
  %.sroa.5.1.ph = phi i32 [ %148, %154 ], [ %.sroa.5.0, %156 ]
  call void @triexit(i32 noundef 1)
  br label %158

158:                                              ; preds = %.sink.split370, %151
  %.sroa.5.1 = phi i32 [ %148, %151 ], [ %.sroa.5.1.ph, %.sink.split370 ]
  %159 = load ptr, ptr %8, align 8, !tbaa !11
  %160 = call ptr @findfield(ptr noundef %159)
  store ptr %160, ptr %8, align 8, !tbaa !11
  %161 = load i8, ptr %160, align 1, !tbaa !18
  %162 = icmp eq i8 %161, 0
  br i1 %162, label %173, label %163

163:                                              ; preds = %158
  %164 = call i64 @strtol(ptr noundef nonnull %160, ptr noundef nonnull %8, i32 noundef 0) #4
  %165 = trunc i64 %164 to i32
  %166 = load i32, ptr %113, align 8, !tbaa !35
  %167 = icmp sgt i32 %166, %165
  br i1 %167, label %171, label %168

168:                                              ; preds = %163
  %169 = load i32, ptr %116, align 8, !tbaa !36
  %170 = add nsw i32 %169, %166
  %.not262.2 = icmp sgt i32 %170, %165
  br i1 %.not262.2, label %.preheader264, label %171

171:                                              ; preds = %168, %163
  %172 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.996, i64 noundef %.1205287)
  br label %.preheader264.sink.split

173:                                              ; preds = %158
  %174 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.995, i64 noundef %.1205287, i32 noundef 3, ptr noundef %2)
  br label %.preheader264.sink.split

.preheader264.sink.split:                         ; preds = %171, %173
  %.sroa.8.1.ph = phi i32 [ %165, %171 ], [ %.sroa.8.0, %173 ]
  call void @triexit(i32 noundef 1)
  br label %.preheader264

.preheader264:                                    ; preds = %.preheader264.sink.split, %168
  %.sroa.8.1 = phi i32 [ %165, %168 ], [ %.sroa.8.1.ph, %.preheader264.sink.split ]
  br i1 %117, label %.lr.ph278, label %.preheader

.preheader:                                       ; preds = %196, %.preheader264
  %175 = load i32, ptr %46, align 8, !tbaa !37
  %176 = icmp sgt i32 %175, 0
  br i1 %176, label %.lr.ph280, label %._crit_edge281

.lr.ph278:                                        ; preds = %.preheader264, %196
  %.1277 = phi i32 [ %197, %196 ], [ 3, %.preheader264 ]
  %177 = load ptr, ptr %8, align 8, !tbaa !11
  %178 = call ptr @findfield(ptr noundef %177)
  store ptr %178, ptr %8, align 8, !tbaa !11
  %179 = load i8, ptr %178, align 1, !tbaa !18
  %.not259 = icmp eq i8 %179, 0
  br i1 %.not259, label %196, label %180

180:                                              ; preds = %.lr.ph278
  %181 = call i64 @strtol(ptr noundef nonnull %178, ptr noundef nonnull %8, i32 noundef 0) #4
  %182 = trunc i64 %181 to i32
  %183 = load i32, ptr %113, align 8, !tbaa !35
  %.not260 = icmp sgt i32 %183, %182
  br i1 %.not260, label %196, label %184

184:                                              ; preds = %180
  %185 = load i32, ptr %116, align 8, !tbaa !36
  %186 = add nsw i32 %185, %183
  %187 = icmp sgt i32 %186, %182
  br i1 %187, label %188, label %196

188:                                              ; preds = %184
  %189 = call ptr @getvertex(ptr noundef nonnull %0, ptr noundef nonnull %1, i32 noundef %182)
  %190 = load i32, ptr %118, align 4, !tbaa !38
  %191 = sext i32 %190 to i64
  %192 = getelementptr i32, ptr %189, i64 %191
  %193 = getelementptr i8, ptr %192, i64 4
  %194 = load i32, ptr %193, align 4, !tbaa !39
  %.not261 = icmp eq i32 %194, -32768
  br i1 %.not261, label %196, label %195

195:                                              ; preds = %188
  call void @vertexdealloc(ptr noundef nonnull %0, ptr noundef nonnull %189)
  br label %196

196:                                              ; preds = %.lr.ph278, %188, %195, %184, %180
  %197 = add nuw nsw i32 %.1277, 1
  %exitcond328.not = icmp eq i32 %197, %.0216
  br i1 %exitcond328.not, label %.preheader, label %.lr.ph278, !llvm.loop !40

.lr.ph280:                                        ; preds = %.preheader, %204
  %.2279 = phi i32 [ %209, %204 ], [ 0, %.preheader ]
  %198 = load ptr, ptr %8, align 8, !tbaa !11
  %199 = call ptr @findfield(ptr noundef %198)
  store ptr %199, ptr %8, align 8, !tbaa !11
  %200 = load i8, ptr %199, align 1, !tbaa !18
  %201 = icmp eq i8 %200, 0
  br i1 %201, label %204, label %202

202:                                              ; preds = %.lr.ph280
  %203 = call double @strtod(ptr noundef nonnull %199, ptr noundef nonnull %8) #4
  br label %204

204:                                              ; preds = %.lr.ph280, %202
  %.sink371 = phi double [ %203, %202 ], [ 0.000000e+00, %.lr.ph280 ]
  %.sink373 = load ptr, ptr %9, align 8, !tbaa !19
  %205 = load i32, ptr %119, align 8, !tbaa !41
  %206 = add nsw i32 %205, %.2279
  %207 = sext i32 %206 to i64
  %208 = getelementptr inbounds double, ptr %.sink373, i64 %207
  store double %.sink371, ptr %208, align 8, !tbaa !42
  %209 = add nuw nsw i32 %.2279, 1
  %210 = load i32, ptr %46, align 8, !tbaa !37
  %211 = icmp slt i32 %209, %210
  br i1 %211, label %.lr.ph280, label %._crit_edge281, !llvm.loop !43

._crit_edge281:                                   ; preds = %204, %.preheader
  %212 = load i32, ptr %73, align 4, !tbaa !27
  %.not255 = icmp eq i32 %212, 0
  br i1 %.not255, label %225, label %213

213:                                              ; preds = %._crit_edge281
  %214 = call ptr @readline(ptr noundef nonnull %7, ptr noundef %.0217, ptr noundef %3)
  %215 = call ptr @findfield(ptr noundef %214)
  store ptr %215, ptr %8, align 8, !tbaa !11
  %216 = load i8, ptr %215, align 1, !tbaa !18
  %217 = icmp eq i8 %216, 0
  br i1 %217, label %220, label %218

218:                                              ; preds = %213
  %219 = call double @strtod(ptr noundef nonnull %215, ptr noundef nonnull %8) #4
  br label %220

220:                                              ; preds = %213, %218
  %.0218 = phi double [ %219, %218 ], [ -1.000000e+00, %213 ]
  %221 = load ptr, ptr %9, align 8, !tbaa !19
  %222 = load i32, ptr %120, align 4, !tbaa !44
  %223 = sext i32 %222 to i64
  %224 = getelementptr inbounds double, ptr %221, i64 %223
  store double %.0218, ptr %224, align 8, !tbaa !42
  br label %225

225:                                              ; preds = %220, %._crit_edge281
  store i32 0, ptr %121, align 8, !tbaa !45
  %226 = call ptr @getvertex(ptr noundef nonnull %0, ptr noundef nonnull %1, i32 noundef %.sroa.0.1)
  %227 = load ptr, ptr %9, align 8, !tbaa !19
  %228 = load i32, ptr %121, align 8, !tbaa !45
  %229 = sext i32 %228 to i64
  %230 = getelementptr inbounds [3 x i32], ptr @plus1mod3, i64 0, i64 %229
  %231 = load i32, ptr %230, align 4, !tbaa !39
  %232 = sext i32 %231 to i64
  %233 = getelementptr ptr, ptr %227, i64 %232
  %234 = getelementptr i8, ptr %233, i64 24
  store ptr %226, ptr %234, align 8, !tbaa !11
  %235 = call ptr @getvertex(ptr noundef nonnull %0, ptr noundef nonnull %1, i32 noundef %.sroa.5.1)
  %236 = load ptr, ptr %9, align 8, !tbaa !19
  %237 = load i32, ptr %121, align 8, !tbaa !45
  %238 = sext i32 %237 to i64
  %239 = getelementptr inbounds [3 x i32], ptr @minus1mod3, i64 0, i64 %238
  %240 = load i32, ptr %239, align 4, !tbaa !39
  %241 = sext i32 %240 to i64
  %242 = getelementptr ptr, ptr %236, i64 %241
  %243 = getelementptr i8, ptr %242, i64 24
  store ptr %235, ptr %243, align 8, !tbaa !11
  %244 = call ptr @getvertex(ptr noundef nonnull %0, ptr noundef nonnull %1, i32 noundef %.sroa.8.1)
  %245 = load ptr, ptr %9, align 8, !tbaa !19
  %246 = load i32, ptr %121, align 8, !tbaa !45
  %247 = sext i32 %246 to i64
  %248 = getelementptr ptr, ptr %245, i64 %247
  %249 = getelementptr i8, ptr %248, i64 24
  store ptr %244, ptr %249, align 8, !tbaa !11
  %250 = load i32, ptr %113, align 8, !tbaa !35
  %251 = sub nsw i32 %.sroa.0.1, %250
  %252 = sext i32 %251 to i64
  %253 = getelementptr inbounds ptr, ptr %99, i64 %252
  %254 = load ptr, ptr %253, align 8, !tbaa !11
  %255 = load ptr, ptr %9, align 8, !tbaa !19
  %256 = getelementptr i8, ptr %255, i64 48
  store ptr %254, ptr %256, align 8, !tbaa !11
  %257 = load ptr, ptr %9, align 8, !tbaa !19
  store ptr %257, ptr %253, align 8, !tbaa !11
  %258 = ptrtoint ptr %254 to i64
  %259 = and i64 %258, -4
  %260 = inttoptr i64 %259 to ptr
  store ptr %260, ptr %10, align 8, !tbaa !19
  %261 = load ptr, ptr %123, align 8, !tbaa !29
  %.not257 = icmp eq ptr %261, %260
  br i1 %.not257, label %.loopexit263, label %262

262:                                              ; preds = %225
  %263 = load i32, ptr @minus1mod3, align 4, !tbaa !39
  %264 = sext i32 %263 to i64
  %265 = getelementptr ptr, ptr %257, i64 %264
  %266 = getelementptr i8, ptr %265, i64 24
  %267 = load ptr, ptr %266, align 8, !tbaa !11
  %268 = getelementptr i8, ptr %257, i64 24
  %269 = load ptr, ptr %268, align 8, !tbaa !11
  br label %270

270:                                              ; preds = %303, %262
  %271 = phi ptr [ %310, %303 ], [ %260, %262 ]
  %.in.in = phi i64 [ %308, %303 ], [ %258, %262 ]
  %272 = and i64 %.in.in, 3
  %273 = getelementptr inbounds [3 x i32], ptr @minus1mod3, i64 0, i64 %272
  %274 = load i32, ptr %273, align 4, !tbaa !39
  %275 = sext i32 %274 to i64
  %276 = getelementptr ptr, ptr %271, i64 %275
  %277 = getelementptr i8, ptr %276, i64 24
  %278 = load ptr, ptr %277, align 8, !tbaa !11
  %279 = getelementptr ptr, ptr %271, i64 %272
  %280 = getelementptr i8, ptr %279, i64 24
  %281 = load ptr, ptr %280, align 8, !tbaa !11
  %282 = icmp eq ptr %269, %278
  br i1 %282, label %283, label %294

283:                                              ; preds = %270
  %284 = load ptr, ptr %9, align 8, !tbaa !19
  %285 = ptrtoint ptr %271 to i64
  %286 = or i64 %272, %285
  %287 = inttoptr i64 %286 to ptr
  %288 = getelementptr inbounds ptr, ptr %284, i64 %264
  store ptr %287, ptr %288, align 8, !tbaa !11
  %289 = ptrtoint ptr %284 to i64
  %290 = or i64 %289, %264
  %291 = inttoptr i64 %290 to ptr
  %292 = load ptr, ptr %10, align 8, !tbaa !19
  %293 = getelementptr inbounds ptr, ptr %292, i64 %272
  store ptr %291, ptr %293, align 8, !tbaa !11
  %.pre343.pre = load ptr, ptr %10, align 8, !tbaa !19
  br label %294

294:                                              ; preds = %283, %270
  %.pre343 = phi ptr [ %.pre343.pre, %283 ], [ %271, %270 ]
  %295 = icmp eq ptr %267, %281
  br i1 %295, label %296, label %303

296:                                              ; preds = %294
  %297 = ptrtoint ptr %.pre343 to i64
  %298 = or i64 %297, %275
  %299 = inttoptr i64 %298 to ptr
  %300 = load ptr, ptr %9, align 8, !tbaa !19
  store ptr %299, ptr %300, align 8, !tbaa !11
  %301 = load ptr, ptr %9, align 8, !tbaa !19
  %302 = getelementptr inbounds ptr, ptr %.pre343, i64 %275
  store ptr %301, ptr %302, align 8, !tbaa !11
  %.pre342 = load ptr, ptr %10, align 8, !tbaa !19
  br label %303

303:                                              ; preds = %296, %294
  %304 = phi ptr [ %.pre342, %296 ], [ %.pre343, %294 ]
  %305 = getelementptr ptr, ptr %304, i64 %272
  %306 = getelementptr i8, ptr %305, i64 48
  %307 = load ptr, ptr %306, align 8, !tbaa !11
  %308 = ptrtoint ptr %307 to i64
  %309 = and i64 %308, -4
  %310 = inttoptr i64 %309 to ptr
  store ptr %310, ptr %10, align 8, !tbaa !19
  %311 = load ptr, ptr %123, align 8, !tbaa !29
  %.not258 = icmp eq ptr %311, %310
  br i1 %.not258, label %.loopexit263.loopexit, label %270, !llvm.loop !46

.loopexit263.loopexit:                            ; preds = %303
  %.pre344 = load ptr, ptr %9, align 8, !tbaa !19
  br label %.loopexit263

.loopexit263:                                     ; preds = %.loopexit263.loopexit, %225
  %312 = phi ptr [ %.pre344, %.loopexit263.loopexit ], [ %257, %225 ]
  %313 = sub nsw i32 %.sroa.5.1, %250
  %314 = sext i32 %313 to i64
  %315 = getelementptr inbounds ptr, ptr %99, i64 %314
  %316 = load ptr, ptr %315, align 8, !tbaa !11
  %317 = getelementptr i8, ptr %312, i64 56
  store ptr %316, ptr %317, align 8, !tbaa !11
  %318 = load ptr, ptr %9, align 8, !tbaa !19
  %319 = ptrtoint ptr %318 to i64
  %320 = or i64 %319, 1
  %321 = inttoptr i64 %320 to ptr
  store ptr %321, ptr %315, align 8, !tbaa !11
  %322 = ptrtoint ptr %316 to i64
  %323 = and i64 %322, -4
  %324 = inttoptr i64 %323 to ptr
  store ptr %324, ptr %10, align 8, !tbaa !19
  %325 = load ptr, ptr %123, align 8, !tbaa !29
  %.not257.1 = icmp eq ptr %325, %324
  %.pre348 = load ptr, ptr %9, align 8, !tbaa !19
  br i1 %.not257.1, label %.loopexit263.1, label %326

326:                                              ; preds = %.loopexit263
  %327 = load i32, ptr getelementptr inbounds (i8, ptr @minus1mod3, i64 4), align 4, !tbaa !39
  %328 = sext i32 %327 to i64
  %329 = getelementptr ptr, ptr %.pre348, i64 %328
  %330 = getelementptr i8, ptr %329, i64 24
  %331 = load ptr, ptr %330, align 8, !tbaa !11
  %332 = getelementptr i8, ptr %.pre348, i64 32
  %333 = load ptr, ptr %332, align 8, !tbaa !11
  br label %334

334:                                              ; preds = %370, %326
  %335 = phi ptr [ %377, %370 ], [ %324, %326 ]
  %.in.in362 = phi i64 [ %375, %370 ], [ %322, %326 ]
  %336 = and i64 %.in.in362, 3
  %337 = getelementptr inbounds [3 x i32], ptr @minus1mod3, i64 0, i64 %336
  %338 = load i32, ptr %337, align 4, !tbaa !39
  %339 = sext i32 %338 to i64
  %340 = getelementptr ptr, ptr %335, i64 %339
  %341 = getelementptr i8, ptr %340, i64 24
  %342 = load ptr, ptr %341, align 8, !tbaa !11
  %343 = getelementptr ptr, ptr %335, i64 %336
  %344 = getelementptr i8, ptr %343, i64 24
  %345 = load ptr, ptr %344, align 8, !tbaa !11
  %346 = icmp eq ptr %333, %342
  br i1 %346, label %347, label %358

347:                                              ; preds = %334
  %348 = load ptr, ptr %9, align 8, !tbaa !19
  %349 = ptrtoint ptr %335 to i64
  %350 = or i64 %336, %349
  %351 = inttoptr i64 %350 to ptr
  %352 = getelementptr inbounds ptr, ptr %348, i64 %328
  store ptr %351, ptr %352, align 8, !tbaa !11
  %353 = ptrtoint ptr %348 to i64
  %354 = or i64 %353, %328
  %355 = inttoptr i64 %354 to ptr
  %356 = load ptr, ptr %10, align 8, !tbaa !19
  %357 = getelementptr inbounds ptr, ptr %356, i64 %336
  store ptr %355, ptr %357, align 8, !tbaa !11
  %.pre346.pre = load ptr, ptr %10, align 8, !tbaa !19
  br label %358

358:                                              ; preds = %347, %334
  %.pre346 = phi ptr [ %.pre346.pre, %347 ], [ %335, %334 ]
  %359 = icmp eq ptr %331, %345
  br i1 %359, label %360, label %370

360:                                              ; preds = %358
  %361 = ptrtoint ptr %.pre346 to i64
  %362 = or i64 %361, %339
  %363 = inttoptr i64 %362 to ptr
  %364 = load ptr, ptr %9, align 8, !tbaa !19
  %365 = getelementptr inbounds i8, ptr %364, i64 8
  store ptr %363, ptr %365, align 8, !tbaa !11
  %366 = ptrtoint ptr %364 to i64
  %367 = or i64 %366, 1
  %368 = inttoptr i64 %367 to ptr
  %369 = getelementptr inbounds ptr, ptr %.pre346, i64 %339
  store ptr %368, ptr %369, align 8, !tbaa !11
  %.pre345 = load ptr, ptr %10, align 8, !tbaa !19
  br label %370

370:                                              ; preds = %360, %358
  %371 = phi ptr [ %.pre345, %360 ], [ %.pre346, %358 ]
  %372 = getelementptr ptr, ptr %371, i64 %336
  %373 = getelementptr i8, ptr %372, i64 48
  %374 = load ptr, ptr %373, align 8, !tbaa !11
  %375 = ptrtoint ptr %374 to i64
  %376 = and i64 %375, -4
  %377 = inttoptr i64 %376 to ptr
  store ptr %377, ptr %10, align 8, !tbaa !19
  %378 = load ptr, ptr %123, align 8, !tbaa !29
  %.not258.1 = icmp eq ptr %378, %377
  br i1 %.not258.1, label %.loopexit263.loopexit.1, label %334, !llvm.loop !46

.loopexit263.loopexit.1:                          ; preds = %370
  %.pre347 = load ptr, ptr %9, align 8, !tbaa !19
  br label %.loopexit263.1

.loopexit263.1:                                   ; preds = %.loopexit263.loopexit.1, %.loopexit263
  %379 = phi ptr [ %.pre347, %.loopexit263.loopexit.1 ], [ %.pre348, %.loopexit263 ]
  %380 = sub nsw i32 %.sroa.8.1, %250
  %381 = sext i32 %380 to i64
  %382 = getelementptr inbounds ptr, ptr %99, i64 %381
  %383 = load ptr, ptr %382, align 8, !tbaa !11
  %384 = getelementptr i8, ptr %379, i64 64
  store ptr %383, ptr %384, align 8, !tbaa !11
  %385 = load ptr, ptr %9, align 8, !tbaa !19
  %386 = ptrtoint ptr %385 to i64
  %387 = or i64 %386, 2
  %388 = inttoptr i64 %387 to ptr
  store ptr %388, ptr %382, align 8, !tbaa !11
  %389 = ptrtoint ptr %383 to i64
  %390 = trunc i64 %389 to i32
  %391 = and i32 %390, 3
  %392 = and i64 %389, -4
  %393 = inttoptr i64 %392 to ptr
  store ptr %393, ptr %10, align 8, !tbaa !19
  %394 = load ptr, ptr %123, align 8, !tbaa !29
  %.not257.2 = icmp eq ptr %394, %393
  br i1 %.not257.2, label %.loopexit263.2, label %395

395:                                              ; preds = %.loopexit263.1
  %396 = load ptr, ptr %9, align 8, !tbaa !19
  %397 = load i32, ptr getelementptr inbounds (i8, ptr @minus1mod3, i64 8), align 4, !tbaa !39
  %398 = sext i32 %397 to i64
  %399 = getelementptr ptr, ptr %396, i64 %398
  %400 = getelementptr i8, ptr %399, i64 24
  %401 = load ptr, ptr %400, align 8, !tbaa !11
  %402 = getelementptr i8, ptr %396, i64 40
  %403 = load ptr, ptr %402, align 8, !tbaa !11
  br label %404

404:                                              ; preds = %441, %395
  %405 = phi ptr [ %450, %441 ], [ %393, %395 ]
  %406 = phi i32 [ %448, %441 ], [ %391, %395 ]
  %407 = zext nneg i32 %406 to i64
  %408 = getelementptr inbounds [3 x i32], ptr @minus1mod3, i64 0, i64 %407
  %409 = load i32, ptr %408, align 4, !tbaa !39
  %410 = sext i32 %409 to i64
  %411 = getelementptr ptr, ptr %405, i64 %410
  %412 = getelementptr i8, ptr %411, i64 24
  %413 = load ptr, ptr %412, align 8, !tbaa !11
  %414 = getelementptr ptr, ptr %405, i64 %407
  %415 = getelementptr i8, ptr %414, i64 24
  %416 = load ptr, ptr %415, align 8, !tbaa !11
  %417 = icmp eq ptr %403, %413
  br i1 %417, label %418, label %429

418:                                              ; preds = %404
  %419 = load ptr, ptr %9, align 8, !tbaa !19
  %420 = ptrtoint ptr %405 to i64
  %421 = or i64 %407, %420
  %422 = inttoptr i64 %421 to ptr
  %423 = getelementptr inbounds ptr, ptr %419, i64 %398
  store ptr %422, ptr %423, align 8, !tbaa !11
  %424 = ptrtoint ptr %419 to i64
  %425 = or i64 %424, %398
  %426 = inttoptr i64 %425 to ptr
  %427 = load ptr, ptr %10, align 8, !tbaa !19
  %428 = getelementptr inbounds ptr, ptr %427, i64 %407
  store ptr %426, ptr %428, align 8, !tbaa !11
  %.pre350.pre = load ptr, ptr %10, align 8, !tbaa !19
  br label %429

429:                                              ; preds = %418, %404
  %.pre350 = phi ptr [ %.pre350.pre, %418 ], [ %405, %404 ]
  %430 = icmp eq ptr %401, %416
  br i1 %430, label %431, label %441

431:                                              ; preds = %429
  %432 = ptrtoint ptr %.pre350 to i64
  %433 = or i64 %432, %410
  %434 = inttoptr i64 %433 to ptr
  %435 = load ptr, ptr %9, align 8, !tbaa !19
  %436 = getelementptr inbounds i8, ptr %435, i64 16
  store ptr %434, ptr %436, align 8, !tbaa !11
  %437 = ptrtoint ptr %435 to i64
  %438 = or i64 %437, 2
  %439 = inttoptr i64 %438 to ptr
  %440 = getelementptr inbounds ptr, ptr %.pre350, i64 %410
  store ptr %439, ptr %440, align 8, !tbaa !11
  %.pre349 = load ptr, ptr %10, align 8, !tbaa !19
  br label %441

441:                                              ; preds = %431, %429
  %442 = phi ptr [ %.pre349, %431 ], [ %.pre350, %429 ]
  %443 = getelementptr ptr, ptr %442, i64 %407
  %444 = getelementptr i8, ptr %443, i64 48
  %445 = load ptr, ptr %444, align 8, !tbaa !11
  %446 = ptrtoint ptr %445 to i64
  %447 = trunc i64 %446 to i32
  %448 = and i32 %447, 3
  %449 = and i64 %446, -4
  %450 = inttoptr i64 %449 to ptr
  store ptr %450, ptr %10, align 8, !tbaa !19
  %451 = load ptr, ptr %123, align 8, !tbaa !29
  %.not258.2 = icmp eq ptr %451, %450
  br i1 %.not258.2, label %.loopexit263.2, label %404, !llvm.loop !46

.loopexit263.2:                                   ; preds = %441, %.loopexit263.1
  %.lcssa284.2 = phi i32 [ %391, %.loopexit263.1 ], [ %448, %441 ]
  store i32 3, ptr %121, align 8, !tbaa !45
  store i32 %.lcssa284.2, ptr %122, align 8, !tbaa !45
  %452 = call ptr @triangletraverse(ptr noundef nonnull %0)
  store ptr %452, ptr %9, align 8, !tbaa !19
  %453 = add nsw i64 %.1205287, 1
  %.not243 = icmp eq ptr %452, null
  br i1 %.not243, label %._crit_edge290, label %124, !llvm.loop !47

._crit_edge290:                                   ; preds = %.loopexit263.2, %111
  %454 = call i32 @fclose(ptr noundef %18)
  %455 = load i32, ptr %73, align 4, !tbaa !27
  %.not244 = icmp eq i32 %455, 0
  br i1 %.not244, label %458, label %456

456:                                              ; preds = %._crit_edge290
  %457 = call i32 @fclose(ptr noundef %.0217)
  br label %458

458:                                              ; preds = %456, %._crit_edge290
  %459 = load i32, ptr %1, align 8, !tbaa !22
  %.not245 = icmp eq i32 %459, 0
  br i1 %.not245, label %.loopexit, label %460

460:                                              ; preds = %458
  %461 = load i32, ptr %107, align 4, !tbaa !34
  %.not246 = icmp eq i32 %461, 0
  br i1 %.not246, label %464, label %462

462:                                              ; preds = %460
  %463 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.997)
  br label %464

464:                                              ; preds = %462, %460
  %465 = getelementptr inbounds i8, ptr %0, i64 88
  call void @traversalinit(ptr noundef nonnull %465)
  %466 = call ptr @subsegtraverse(ptr noundef nonnull %0)
  store ptr %466, ptr %11, align 8, !tbaa !24
  %.not247296 = icmp eq ptr %466, null
  br i1 %.not247296, label %.loopexit, label %.lr.ph301

.lr.ph301:                                        ; preds = %464
  %467 = load i32, ptr %113, align 8, !tbaa !35
  %468 = sext i32 %467 to i64
  %469 = getelementptr inbounds i8, ptr %1, i64 4264
  %470 = getelementptr inbounds i8, ptr %12, i64 4
  %.not250 = icmp eq i32 %.1215, 0
  %471 = getelementptr inbounds i8, ptr %0, i64 82680
  %472 = getelementptr inbounds i8, ptr %11, i64 8
  %473 = getelementptr inbounds i8, ptr %10, i64 8
  %474 = getelementptr inbounds i8, ptr %0, i64 82856
  br label %475

475:                                              ; preds = %.lr.ph301, %623
  %476 = phi i32 [ undef, %.lr.ph301 ], [ %499, %623 ]
  %.1203299 = phi i64 [ %468, %.lr.ph301 ], [ %625, %623 ]
  %.0208298 = phi i64 [ 0, %.lr.ph301 ], [ %.2210.lcssa, %623 ]
  %.0212297 = phi i32 [ 0, %.lr.ph301 ], [ %.1213, %623 ]
  %477 = phi i32 [ undef, %.lr.ph301 ], [ %489, %623 ]
  %478 = call ptr @readline(ptr noundef nonnull %7, ptr noundef %5, ptr noundef nonnull %469)
  %479 = call ptr @findfield(ptr noundef %478)
  store ptr %479, ptr %8, align 8, !tbaa !11
  %480 = load i8, ptr %479, align 1, !tbaa !18
  %481 = icmp eq i8 %480, 0
  br i1 %481, label %482, label %484

482:                                              ; preds = %475
  %483 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.998, i64 noundef %.1203299, ptr noundef %4)
  call void @triexit(i32 noundef 1)
  br label %487

484:                                              ; preds = %475
  %485 = call i64 @strtol(ptr noundef nonnull %479, ptr noundef nonnull %8, i32 noundef 0) #4
  %486 = trunc i64 %485 to i32
  store i32 %486, ptr %12, align 4, !tbaa !39
  %.pre351 = load ptr, ptr %8, align 8, !tbaa !11
  br label %487

487:                                              ; preds = %484, %482
  %488 = phi ptr [ %.pre351, %484 ], [ %479, %482 ]
  %489 = phi i32 [ %486, %484 ], [ %477, %482 ]
  %490 = call ptr @findfield(ptr noundef %488)
  store ptr %490, ptr %8, align 8, !tbaa !11
  %491 = load i8, ptr %490, align 1, !tbaa !18
  %492 = icmp eq i8 %491, 0
  br i1 %492, label %493, label %495

493:                                              ; preds = %487
  %494 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.999, i64 noundef %.1203299, ptr noundef %4)
  call void @triexit(i32 noundef 1)
  br label %498

495:                                              ; preds = %487
  %496 = call i64 @strtol(ptr noundef nonnull %490, ptr noundef nonnull %8, i32 noundef 0) #4
  %497 = trunc i64 %496 to i32
  store i32 %497, ptr %470, align 4, !tbaa !39
  br label %498

498:                                              ; preds = %495, %493
  %499 = phi i32 [ %497, %495 ], [ %476, %493 ]
  br i1 %.not250, label %508, label %500

500:                                              ; preds = %498
  %501 = load ptr, ptr %8, align 8, !tbaa !11
  %502 = call ptr @findfield(ptr noundef %501)
  store ptr %502, ptr %8, align 8, !tbaa !11
  %503 = load i8, ptr %502, align 1, !tbaa !18
  %504 = icmp eq i8 %503, 0
  br i1 %504, label %508, label %505

505:                                              ; preds = %500
  %506 = call i64 @strtol(ptr noundef nonnull %502, ptr noundef nonnull %8, i32 noundef 0) #4
  %507 = trunc i64 %506 to i32
  br label %508

508:                                              ; preds = %500, %505, %498
  %.1213 = phi i32 [ %507, %505 ], [ %.0212297, %498 ], [ 0, %500 ]
  %509 = load i32, ptr %113, align 8, !tbaa !35
  %510 = icmp slt i32 %489, %509
  br i1 %510, label %514, label %511

511:                                              ; preds = %508
  %512 = load i32, ptr %471, align 8, !tbaa !36
  %513 = add nsw i32 %512, %509
  %.not254 = icmp slt i32 %489, %513
  br i1 %.not254, label %516, label %514

514:                                              ; preds = %511, %508
  %515 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.1000, i64 noundef %.1203299)
  call void @triexit(i32 noundef 1)
  %.pre352 = load i32, ptr %113, align 8, !tbaa !35
  br label %516

516:                                              ; preds = %511, %514
  %517 = phi i32 [ %509, %511 ], [ %.pre352, %514 ]
  %518 = icmp slt i32 %499, %517
  br i1 %518, label %522, label %519

519:                                              ; preds = %516
  %520 = load i32, ptr %471, align 8, !tbaa !36
  %521 = add nsw i32 %520, %517
  %.not254.1 = icmp slt i32 %499, %521
  br i1 %.not254.1, label %524, label %522

522:                                              ; preds = %519, %516
  %523 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.1000, i64 noundef %.1203299)
  call void @triexit(i32 noundef 1)
  br label %524

524:                                              ; preds = %522, %519
  store i32 0, ptr %472, align 8, !tbaa !48
  %525 = call ptr @getvertex(ptr noundef %0, ptr noundef nonnull %1, i32 noundef %489)
  %526 = call ptr @getvertex(ptr noundef %0, ptr noundef nonnull %1, i32 noundef %499)
  %527 = load ptr, ptr %11, align 8, !tbaa !24
  %528 = load i32, ptr %472, align 8, !tbaa !48
  %529 = sext i32 %528 to i64
  %530 = getelementptr ptr, ptr %527, i64 %529
  %531 = getelementptr i8, ptr %530, i64 16
  store ptr %525, ptr %531, align 8, !tbaa !11
  %532 = load ptr, ptr %11, align 8, !tbaa !24
  %533 = sub nsw i32 3, %528
  %534 = sext i32 %533 to i64
  %535 = getelementptr inbounds ptr, ptr %532, i64 %534
  store ptr %526, ptr %535, align 8, !tbaa !11
  %536 = load ptr, ptr %11, align 8, !tbaa !24
  %537 = getelementptr ptr, ptr %536, i64 %529
  %538 = getelementptr i8, ptr %537, i64 32
  store ptr %525, ptr %538, align 8, !tbaa !11
  %539 = load ptr, ptr %11, align 8, !tbaa !24
  %540 = sub nsw i32 5, %528
  %541 = sext i32 %540 to i64
  %542 = getelementptr inbounds ptr, ptr %539, i64 %541
  store ptr %526, ptr %542, align 8, !tbaa !11
  %543 = load ptr, ptr %11, align 8, !tbaa !24
  %544 = getelementptr inbounds i8, ptr %543, i64 64
  store i32 %.1213, ptr %544, align 4, !tbaa !39
  store i32 0, ptr %472, align 8, !tbaa !48
  br label %545

545:                                              ; preds = %524, %.critedge
  %.1209295 = phi i64 [ %.0208298, %524 ], [ %.2210.lcssa, %.critedge ]
  %storemerge251294 = phi i32 [ 0, %524 ], [ %621, %.critedge ]
  %546 = sub nsw i32 1, %storemerge251294
  %547 = zext nneg i32 %546 to i64
  %548 = getelementptr inbounds [2 x i32], ptr %12, i64 0, i64 %547
  %549 = load i32, ptr %548, align 4, !tbaa !39
  %550 = load i32, ptr %113, align 8, !tbaa !35
  %551 = sub nsw i32 %549, %550
  %552 = sext i32 %551 to i64
  %553 = getelementptr inbounds ptr, ptr %99, i64 %552
  %554 = load ptr, ptr %553, align 8, !tbaa !11
  %555 = ptrtoint ptr %554 to i64
  %556 = trunc i64 %555 to i32
  %557 = and i32 %556, 3
  store i32 %557, ptr %473, align 8, !tbaa !45
  %558 = and i64 %555, -4
  %559 = inttoptr i64 %558 to ptr
  store ptr %559, ptr %10, align 8, !tbaa !19
  %560 = load ptr, ptr %11, align 8, !tbaa !24
  %561 = sext i32 %storemerge251294 to i64
  %562 = getelementptr ptr, ptr %560, i64 %561
  %563 = getelementptr i8, ptr %562, i64 16
  %564 = load ptr, ptr %563, align 8, !tbaa !11
  %565 = load ptr, ptr %474, align 8, !tbaa !29
  %.not253382 = icmp eq ptr %565, %559
  br i1 %.not253382, label %.critedge, label %.lr.ph385

.lr.ph385:                                        ; preds = %545, %614
  %.0219292383 = phi ptr [ %577, %614 ], [ %553, %545 ]
  %566 = phi ptr [ %619, %614 ], [ %559, %545 ]
  %567 = phi i32 [ %617, %614 ], [ %557, %545 ]
  %568 = zext nneg i32 %567 to i64
  %569 = getelementptr inbounds [3 x i32], ptr @minus1mod3, i64 0, i64 %568
  %570 = load i32, ptr %569, align 4, !tbaa !39
  %571 = sext i32 %570 to i64
  %572 = getelementptr ptr, ptr %566, i64 %571
  %573 = getelementptr i8, ptr %572, i64 24
  %574 = load ptr, ptr %573, align 8, !tbaa !11
  %575 = icmp eq ptr %564, %574
  %576 = getelementptr ptr, ptr %566, i64 %568
  %577 = getelementptr i8, ptr %576, i64 48
  %578 = load ptr, ptr %577, align 8, !tbaa !11
  br i1 %575, label %579, label %614

579:                                              ; preds = %.lr.ph385
  store ptr %578, ptr %.0219292383, align 8, !tbaa !11
  %580 = load ptr, ptr %11, align 8, !tbaa !24
  %581 = ptrtoint ptr %580 to i64
  %582 = load i32, ptr %472, align 8, !tbaa !48
  %583 = sext i32 %582 to i64
  %584 = or i64 %583, %581
  %585 = inttoptr i64 %584 to ptr
  %586 = load ptr, ptr %10, align 8, !tbaa !19
  %587 = getelementptr ptr, ptr %586, i64 %568
  %588 = getelementptr i8, ptr %587, i64 48
  store ptr %585, ptr %588, align 8, !tbaa !11
  %589 = load ptr, ptr %10, align 8, !tbaa !19
  %590 = ptrtoint ptr %589 to i64
  %591 = or i64 %590, %568
  %592 = inttoptr i64 %591 to ptr
  %593 = load ptr, ptr %11, align 8, !tbaa !24
  %594 = getelementptr ptr, ptr %593, i64 %583
  %595 = getelementptr i8, ptr %594, i64 48
  store ptr %592, ptr %595, align 8, !tbaa !11
  %596 = load ptr, ptr %10, align 8, !tbaa !19
  %597 = getelementptr inbounds ptr, ptr %596, i64 %568
  %598 = load ptr, ptr %597, align 8, !tbaa !11
  %599 = ptrtoint ptr %598 to i64
  %600 = and i64 %599, -4
  %601 = inttoptr i64 %600 to ptr
  %602 = load ptr, ptr %474, align 8, !tbaa !29
  %603 = icmp eq ptr %602, %601
  br i1 %603, label %604, label %.thread

604:                                              ; preds = %579
  call void @insertsubseg(ptr noundef nonnull %0, ptr noundef nonnull %1, ptr noundef nonnull %10, i32 noundef 1)
  %605 = add nsw i64 %.1209295, 1
  %.pre353 = load ptr, ptr %10, align 8, !tbaa !19
  %.pre354 = load i32, ptr %473, align 8, !tbaa !45
  %.pre361 = sext i32 %.pre354 to i64
  br label %.thread

.thread:                                          ; preds = %579, %604
  %.pre-phi.ph = phi i64 [ %.pre361, %604 ], [ %568, %579 ]
  %.ph = phi ptr [ %.pre353, %604 ], [ %596, %579 ]
  %.4.ph = phi i64 [ %605, %604 ], [ %.1209295, %579 ]
  %606 = getelementptr ptr, ptr %.ph, i64 %.pre-phi.ph
  %607 = getelementptr i8, ptr %606, i64 48
  %608 = load ptr, ptr %607, align 8, !tbaa !11
  %609 = ptrtoint ptr %608 to i64
  %610 = trunc i64 %609 to i32
  %611 = and i32 %610, 3
  store i32 %611, ptr %473, align 8, !tbaa !45
  %612 = and i64 %609, -4
  %613 = inttoptr i64 %612 to ptr
  store ptr %613, ptr %10, align 8, !tbaa !19
  br label %.critedge

614:                                              ; preds = %.lr.ph385
  %615 = ptrtoint ptr %578 to i64
  %616 = trunc i64 %615 to i32
  %617 = and i32 %616, 3
  store i32 %617, ptr %473, align 8, !tbaa !45
  %618 = and i64 %615, -4
  %619 = inttoptr i64 %618 to ptr
  store ptr %619, ptr %10, align 8, !tbaa !19
  %.not253 = icmp eq ptr %565, %619
  br i1 %.not253, label %.critedge, label %.lr.ph385

.critedge:                                        ; preds = %614, %545, %.thread
  %.2210.lcssa = phi i64 [ %.4.ph, %.thread ], [ %.1209295, %545 ], [ %.1209295, %614 ]
  %620 = load i32, ptr %472, align 8, !tbaa !48
  %621 = add nsw i32 %620, 1
  store i32 %621, ptr %472, align 8, !tbaa !48
  %622 = icmp slt i32 %620, 1
  br i1 %622, label %545, label %623, !llvm.loop !49

623:                                              ; preds = %.critedge
  %624 = call ptr @subsegtraverse(ptr noundef nonnull %0)
  store ptr %624, ptr %11, align 8, !tbaa !24
  %625 = add nsw i64 %.1203299, 1
  %.not247 = icmp eq ptr %624, null
  br i1 %.not247, label %.loopexit, label %475, !llvm.loop !50

.loopexit:                                        ; preds = %623, %464, %458
  %.5 = phi i64 [ 0, %458 ], [ 0, %464 ], [ %.2210.lcssa, %623 ]
  %626 = load i64, ptr %96, align 8, !tbaa !28
  %627 = icmp sgt i64 %626, 0
  br i1 %627, label %.lr.ph319, label %._crit_edge320

.lr.ph319:                                        ; preds = %.loopexit
  %628 = getelementptr inbounds i8, ptr %10, i64 8
  %629 = getelementptr inbounds i8, ptr %0, i64 82856
  %630 = getelementptr inbounds i8, ptr %0, i64 82872
  %.pre355 = load ptr, ptr %629, align 8, !tbaa !29
  br label %631

631:                                              ; preds = %.lr.ph319, %._crit_edge314
  %632 = phi i64 [ %626, %.lr.ph319 ], [ %653, %._crit_edge314 ]
  %633 = phi ptr [ %.pre355, %.lr.ph319 ], [ %654, %._crit_edge314 ]
  %indvars.iv336 = phi i64 [ 0, %.lr.ph319 ], [ %indvars.iv.next337, %._crit_edge314 ]
  %.6316 = phi i64 [ %.5, %.lr.ph319 ], [ %.7.lcssa, %._crit_edge314 ]
  %634 = getelementptr inbounds ptr, ptr %99, i64 %indvars.iv336
  %635 = load ptr, ptr %634, align 8, !tbaa !11
  %storemerge.in.in303 = ptrtoint ptr %635 to i64
  %storemerge249.in304 = trunc i64 %storemerge.in.in303 to i32
  %storemerge249305 = and i32 %storemerge249.in304, 3
  store i32 %storemerge249305, ptr %628, align 8, !tbaa !45
  %storemerge.in306 = and i64 %storemerge.in.in303, -4
  %storemerge307 = inttoptr i64 %storemerge.in306 to ptr
  store ptr %storemerge307, ptr %10, align 8, !tbaa !19
  %.not248308 = icmp eq ptr %633, %storemerge307
  br i1 %.not248308, label %._crit_edge314, label %.lr.ph313

.lr.ph313:                                        ; preds = %631, %651
  %storemerge311 = phi ptr [ %storemerge, %651 ], [ %storemerge307, %631 ]
  %storemerge.in.in310 = phi i64 [ %storemerge.in.in, %651 ], [ %storemerge.in.in303, %631 ]
  %.7309 = phi i64 [ %.8, %651 ], [ %.6316, %631 ]
  %636 = and i64 %storemerge.in.in310, 3
  %637 = getelementptr ptr, ptr %storemerge311, i64 %636
  %638 = getelementptr i8, ptr %637, i64 48
  %639 = load ptr, ptr %638, align 8, !tbaa !11
  %640 = load ptr, ptr %630, align 8, !tbaa !51
  store ptr %640, ptr %638, align 8, !tbaa !11
  %641 = load ptr, ptr %10, align 8, !tbaa !19
  %642 = getelementptr inbounds ptr, ptr %641, i64 %636
  %643 = load ptr, ptr %642, align 8, !tbaa !11
  %644 = ptrtoint ptr %643 to i64
  %645 = and i64 %644, -4
  %646 = inttoptr i64 %645 to ptr
  %647 = load ptr, ptr %629, align 8, !tbaa !29
  %648 = icmp eq ptr %647, %646
  br i1 %648, label %649, label %651

649:                                              ; preds = %.lr.ph313
  call void @insertsubseg(ptr noundef nonnull %0, ptr noundef nonnull %1, ptr noundef nonnull %10, i32 noundef 1)
  %650 = add nsw i64 %.7309, 1
  %.pre356 = load ptr, ptr %629, align 8, !tbaa !29
  br label %651

651:                                              ; preds = %649, %.lr.ph313
  %652 = phi ptr [ %.pre356, %649 ], [ %647, %.lr.ph313 ]
  %.8 = phi i64 [ %650, %649 ], [ %.7309, %.lr.ph313 ]
  %storemerge.in.in = ptrtoint ptr %639 to i64
  %storemerge249.in = trunc i64 %storemerge.in.in to i32
  %storemerge249 = and i32 %storemerge249.in, 3
  store i32 %storemerge249, ptr %628, align 8, !tbaa !45
  %storemerge.in = and i64 %storemerge.in.in, -4
  %storemerge = inttoptr i64 %storemerge.in to ptr
  store ptr %storemerge, ptr %10, align 8, !tbaa !19
  %.not248 = icmp eq ptr %652, %storemerge
  br i1 %.not248, label %._crit_edge314.loopexit, label %.lr.ph313, !llvm.loop !52

._crit_edge314.loopexit:                          ; preds = %651
  %.pre357 = load i64, ptr %96, align 8, !tbaa !28
  br label %._crit_edge314

._crit_edge314:                                   ; preds = %._crit_edge314.loopexit, %631
  %653 = phi i64 [ %632, %631 ], [ %.pre357, %._crit_edge314.loopexit ]
  %654 = phi ptr [ %633, %631 ], [ %652, %._crit_edge314.loopexit ]
  %.7.lcssa = phi i64 [ %.6316, %631 ], [ %.8, %._crit_edge314.loopexit ]
  %indvars.iv.next337 = add nuw nsw i64 %indvars.iv336, 1
  %655 = icmp sgt i64 %653, %indvars.iv.next337
  br i1 %655, label %631, label %._crit_edge320, !llvm.loop !53

._crit_edge320:                                   ; preds = %._crit_edge314, %.loopexit
  %.6.lcssa = phi i64 [ %.5, %.loopexit ], [ %.7.lcssa, %._crit_edge314 ]
  call void @trifree(ptr noundef %99)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %12) #4
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %11) #4
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %10) #4
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %9) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %8) #4
  call void @llvm.lifetime.end.p0(i64 1024, ptr nonnull %7) #4
  ret i64 %.6.lcssa
}

; Function Attrs: nofree nounwind
declare noalias noundef ptr @fopen(ptr nocapture noundef readonly, ptr nocapture noundef readonly) local_unnamed_addr #2

; Function Attrs: mustprogress nofree nounwind willreturn
declare i64 @strtol(ptr noundef readonly, ptr nocapture noundef, i32 noundef) local_unnamed_addr #3

; Function Attrs: nofree nounwind
declare noundef i32 @fclose(ptr nocapture noundef) local_unnamed_addr #2

; Function Attrs: nounwind uwtable
declare dso_local ptr @readline(ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #1

; Function Attrs: nounwind uwtable
declare dso_local ptr @findfield(ptr noundef) local_unnamed_addr #1

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { 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 #2 = { 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 #3 = { mustprogress nofree nounwind willreturn "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 }

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


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