; LLVM IR from Discngine/fpocket :: src (voronoi)

; 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.s_vvertice = type { i32, i32, i32, i32, i32, float, float, float, float, i32, i32, [4 x i32], [4 x ptr], [3 x float], float }
%struct.s_lst_vvertice = type { ptr, ptr, ptr, i32, ptr, i32, i32 }
%struct.s_atm = type { i32, float, float, float, float, float, float, float, [5 x i8], [7 x i8], [16 x i8], [16 x i8], [3 x i8], [8 x i8], i32, i32, i32, i32, i32, i32, i32, float, float, float, float, float, float, float, i8, i8, float, float, float, float, i16, ptr, i32 }
%struct.s_fparams = type { [2000 x i8], [2000 x i8], [2000 x i8], [8000 x i8], ptr, ptr, ptr, i32, i32, ptr, ptr, ptr, i8, i8, i32, i32, i16, i32, i32, i32, i16, i32, i32, i32, i16, float, float, float, float, float, [20 x ptr], i16, i16, [20 x ptr], i32, [10 x i8] }

@.str.9 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [12 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [15 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 nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #1

; Function Attrs: nounwind
declare i32 @sprintf(ptr noundef, ptr noundef, ...) #2

declare ptr @my_malloc(i64 noundef) #3

; Function Attrs: nounwind willreturn memory(read)
declare i32 @strcmp(ptr noundef, ptr noundef) #4

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

; Function Attrs: nounwind uwtable
define dso_local void @add_missing_vvertices(ptr noundef %0, ptr noundef %1, ptr noundef %2, ptr noundef %3, float noundef %4, float noundef %5, float noundef %6, float noundef %7, ptr noundef %8) #5 {
  %10 = alloca ptr, align 8
  %11 = alloca ptr, align 8
  %12 = alloca ptr, align 8
  %13 = alloca ptr, align 8
  %14 = alloca float, align 4
  %15 = alloca float, align 4
  %16 = alloca float, align 4
  %17 = alloca float, align 4
  %18 = alloca ptr, align 8
  %19 = alloca ptr, align 8
  %20 = alloca ptr, align 8
  %21 = alloca ptr, align 8
  %22 = alloca ptr, align 8
  %23 = alloca float, align 4
  %24 = alloca [3 x float], align 4
  %25 = alloca i32, align 4
  %26 = alloca i32, align 4
  %27 = alloca i32, align 4
  %28 = alloca i32, align 4
  %29 = alloca i32, align 4
  %30 = alloca [4 x i32], align 16
  %31 = alloca [4 x i32], align 16
  %32 = alloca ptr, align 8
  %33 = alloca i64, align 8
  %34 = alloca i64, align 8
  %35 = alloca i64, align 8
  %36 = alloca ptr, align 8
  %37 = alloca ptr, align 8
  %38 = alloca i32, align 4
  %39 = alloca i32, align 4
  %40 = alloca i32, align 4
  %41 = alloca i16, align 2
  store ptr %0, ptr %10, align 8, !tbaa !5
  store ptr %1, ptr %11, align 8, !tbaa !5
  store ptr %2, ptr %12, align 8, !tbaa !5
  store ptr %3, ptr %13, align 8, !tbaa !5
  store float %4, ptr %14, align 4, !tbaa !9
  store float %5, ptr %15, align 4, !tbaa !9
  store float %6, ptr %16, align 4, !tbaa !9
  store float %7, ptr %17, align 4, !tbaa !9
  store ptr %8, ptr %18, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #7
  store ptr null, ptr %19, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #7
  store ptr null, ptr %20, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #7
  store ptr null, ptr %21, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #7
  store ptr null, ptr %22, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #7
  call void @llvm.lifetime.start.p0(i64 12, ptr %24) #7
  call void @llvm.memset.p0.i64(ptr align 4 %24, i8 0, i64 12, i1 false)
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %26) #7
  store i32 255, ptr %26, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %27) #7
  store i32 0, ptr %27, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %28) #7
  store i32 0, ptr %28, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %29) #7
  store i32 0, ptr %29, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 16, ptr %30) #7
  call void @llvm.lifetime.start.p0(i64 16, ptr %31) #7
  %42 = load i32, ptr %26, align 4, !tbaa !11
  %43 = zext i32 %42 to i64
  %44 = call ptr @llvm.stacksave.p0()
  store ptr %44, ptr %32, align 8
  %45 = alloca i8, i64 %43, align 16
  store i64 %43, ptr %33, align 8
  %46 = load i32, ptr %26, align 4, !tbaa !11
  %47 = zext i32 %46 to i64
  %48 = alloca i8, i64 %47, align 16
  store i64 %47, ptr %34, align 8
  %49 = load i32, ptr %26, align 4, !tbaa !11
  %50 = zext i32 %49 to i64
  %51 = alloca i8, i64 %50, align 16
  store i64 %50, ptr %35, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %36) #7
  %52 = load i32, ptr %26, align 4, !tbaa !11
  %53 = sext i32 %52 to i64
  %54 = mul i64 1, %53
  %55 = call ptr @my_malloc(i64 noundef %54)
  store ptr %55, ptr %36, align 8, !tbaa !5
  %56 = call ptr @my_malloc(i64 noundef 112)
  store ptr %56, ptr %22, align 8, !tbaa !5
  %57 = load ptr, ptr %11, align 8, !tbaa !5
  %58 = call noalias ptr @fopen(ptr noundef %57, ptr noundef @.str.9)
  store ptr %58, ptr %19, align 8, !tbaa !5
  %59 = load ptr, ptr %11, align 8, !tbaa !5
  %60 = call noalias ptr @fopen(ptr noundef %59, ptr noundef @.str.9)
  store ptr %60, ptr %20, align 8, !tbaa !5
  %61 = load ptr, ptr %11, align 8, !tbaa !5
  %62 = call noalias ptr @fopen(ptr noundef %61, ptr noundef @.str.9)
  store ptr %62, ptr %21, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %37) #7
  store ptr null, ptr %37, align 8, !tbaa !5
  %63 = load i32, ptr %26, align 4, !tbaa !11
  %64 = load ptr, ptr %19, align 8, !tbaa !5
  %65 = call ptr @fgets(ptr noundef %45, i32 noundef %63, ptr noundef %64)
  store ptr %65, ptr %37, align 8, !tbaa !5
  %66 = load i32, ptr %26, align 4, !tbaa !11
  %67 = load ptr, ptr %19, align 8, !tbaa !5
  %68 = call ptr @fgets(ptr noundef %45, i32 noundef %66, ptr noundef %67)
  store ptr %68, ptr %37, align 8, !tbaa !5
  %69 = load i32, ptr %26, align 4, !tbaa !11
  %70 = load ptr, ptr %20, align 8, !tbaa !5
  %71 = call ptr @fgets(ptr noundef %48, i32 noundef %69, ptr noundef %70)
  store ptr %71, ptr %37, align 8, !tbaa !5
  %72 = load i32, ptr %26, align 4, !tbaa !11
  %73 = load ptr, ptr %20, align 8, !tbaa !5
  %74 = call ptr @fgets(ptr noundef %48, i32 noundef %72, ptr noundef %73)
  store ptr %74, ptr %37, align 8, !tbaa !5
  %75 = load i32, ptr %26, align 4, !tbaa !11
  %76 = load ptr, ptr %21, align 8, !tbaa !5
  %77 = call ptr @fgets(ptr noundef %51, i32 noundef %75, ptr noundef %76)
  store ptr %77, ptr %37, align 8, !tbaa !5
  %78 = load i32, ptr %26, align 4, !tbaa !11
  %79 = load ptr, ptr %21, align 8, !tbaa !5
  %80 = call ptr @fgets(ptr noundef %51, i32 noundef %78, ptr noundef %79)
  store ptr %80, ptr %37, align 8, !tbaa !5
  %81 = load ptr, ptr %37, align 8, !tbaa !5
  %82 = icmp ne ptr %81, null
  br i1 %82, label %84, label %83

83:                                               ; preds = %9
  store i32 1, ptr %38, align 4
  br label %372

84:                                               ; preds = %9
  call void @llvm.lifetime.start.p0(i64 4, ptr %39) #7
  store i32 0, ptr %39, align 4, !tbaa !11
  %85 = call i32 (ptr, ptr, ...) @__isoc99_sscanf(ptr noundef %45, ptr noundef @.str.10, ptr noundef %39) #7
  %86 = load ptr, ptr %36, align 8, !tbaa !5
  %87 = load i32, ptr %39, align 4, !tbaa !11
  %88 = call i32 (ptr, ptr, ...) @sprintf(ptr noundef %86, ptr noundef @.str.10, i32 noundef %87) #7
  %89 = load ptr, ptr %36, align 8, !tbaa !5
  %90 = call ptr @strcat(ptr noundef %89, ptr noundef @.str.11) #7
  br label %91

91:                                               ; preds = %102, %84
  %92 = load i32, ptr %26, align 4, !tbaa !11
  %93 = load ptr, ptr %20, align 8, !tbaa !5
  %94 = call ptr @fgets(ptr noundef %48, i32 noundef %92, ptr noundef %93)
  %95 = icmp ne ptr %94, null
  br i1 %95, label %96, label %100

96:                                               ; preds = %91
  %97 = load ptr, ptr %36, align 8, !tbaa !5
  %98 = call i32 @strcmp(ptr noundef %97, ptr noundef %48) #8
  %99 = icmp ne i32 %98, 0
  br label %100

100:                                              ; preds = %96, %91
  %101 = phi i1 [ false, %91 ], [ %99, %96 ]
  br i1 %101, label %102, label %103

102:                                              ; preds = %100
  br label %91, !llvm.loop !13

103:                                              ; preds = %100
  br label %104

104:                                              ; preds = %118, %103
  %105 = load i32, ptr %26, align 4, !tbaa !11
  %106 = load ptr, ptr %21, align 8, !tbaa !5
  %107 = call ptr @fgets(ptr noundef %51, i32 noundef %105, ptr noundef %106)
  %108 = icmp ne ptr %107, null
  br i1 %108, label %109, label %116

109:                                              ; preds = %104
  %110 = load i32, ptr %27, align 4, !tbaa !11
  %111 = add nsw i32 %110, 1
  store i32 %111, ptr %27, align 4, !tbaa !11
  %112 = load i32, ptr %39, align 4, !tbaa !11
  %113 = mul nsw i32 %112, 2
  %114 = add nsw i32 %113, 1
  %115 = icmp slt i32 %110, %114
  br label %116

116:                                              ; preds = %109, %104
  %117 = phi i1 [ false, %104 ], [ %115, %109 ]
  br i1 %117, label %118, label %119

118:                                              ; preds = %116
  br label %104, !llvm.loop !15

119:                                              ; preds = %116
  call void @llvm.lifetime.start.p0(i64 4, ptr %40) #7
  store i32 0, ptr %40, align 4, !tbaa !11
  br label %120

120:                                              ; preds = %350, %119
  %121 = load i32, ptr %26, align 4, !tbaa !11
  %122 = load ptr, ptr %19, align 8, !tbaa !5
  %123 = call ptr @fgets(ptr noundef %45, i32 noundef %121, ptr noundef %122)
  %124 = icmp ne ptr %123, null
  br i1 %124, label %125, label %351

125:                                              ; preds = %120
  %126 = load i32, ptr %26, align 4, !tbaa !11
  %127 = load ptr, ptr %20, align 8, !tbaa !5
  %128 = call ptr @fgets(ptr noundef %48, i32 noundef %126, ptr noundef %127)
  %129 = icmp ne ptr %128, null
  br i1 %129, label %130, label %350

130:                                              ; preds = %125
  %131 = load i32, ptr %26, align 4, !tbaa !11
  %132 = load ptr, ptr %21, align 8, !tbaa !5
  %133 = call ptr @fgets(ptr noundef %51, i32 noundef %131, ptr noundef %132)
  %134 = icmp ne ptr %133, null
  br i1 %134, label %135, label %349

135:                                              ; preds = %130
  %136 = call i32 @strcmp(ptr noundef @.str.11, ptr noundef %45) #8
  %137 = icmp ne i32 %136, 0
  br i1 %137, label %138, label %348

138:                                              ; preds = %135
  %139 = call i32 @strcmp(ptr noundef @.str.11, ptr noundef %48) #8
  %140 = icmp ne i32 %139, 0
  br i1 %140, label %141, label %348

141:                                              ; preds = %138
  %142 = call i32 @strcmp(ptr noundef @.str.11, ptr noundef %51) #8
  %143 = icmp ne i32 %142, 0
  br i1 %143, label %144, label %348

144:                                              ; preds = %141
  %145 = getelementptr inbounds [3 x float], ptr %24, i64 0, i64 0
  %146 = getelementptr inbounds [3 x float], ptr %24, i64 0, i64 1
  %147 = getelementptr inbounds [3 x float], ptr %24, i64 0, i64 2
  %148 = call i32 (ptr, ptr, ...) @__isoc99_sscanf(ptr noundef %45, ptr noundef @.str.12, ptr noundef %145, ptr noundef %146, ptr noundef %147) #7
  %149 = getelementptr inbounds [4 x i32], ptr %31, i64 0, i64 0
  %150 = getelementptr inbounds [4 x i32], ptr %31, i64 0, i64 1
  %151 = getelementptr inbounds [4 x i32], ptr %31, i64 0, i64 2
  %152 = getelementptr inbounds [4 x i32], ptr %31, i64 0, i64 3
  %153 = call i32 (ptr, ptr, ...) @__isoc99_sscanf(ptr noundef %48, ptr noundef @.str.13, ptr noundef %149, ptr noundef %150, ptr noundef %151, ptr noundef %152) #7
  %154 = getelementptr inbounds [4 x i32], ptr %30, i64 0, i64 0
  %155 = getelementptr inbounds [4 x i32], ptr %30, i64 0, i64 1
  %156 = getelementptr inbounds [4 x i32], ptr %30, i64 0, i64 2
  %157 = getelementptr inbounds [4 x i32], ptr %30, i64 0, i64 3
  %158 = call i32 (ptr, ptr, ...) @__isoc99_sscanf(ptr noundef %51, ptr noundef @.str.14, ptr noundef %28, ptr noundef %154, ptr noundef %155, ptr noundef %156, ptr noundef %157) #7
  %159 = getelementptr inbounds [3 x float], ptr %24, i64 0, i64 0
  %160 = getelementptr inbounds [4 x i32], ptr %31, i64 0, i64 0
  %161 = load ptr, ptr %12, align 8, !tbaa !5
  %162 = load ptr, ptr %13, align 8, !tbaa !5
  %163 = load ptr, ptr %10, align 8, !tbaa !5
  %164 = load float, ptr %14, align 4, !tbaa !9
  %165 = load float, ptr %15, align 4, !tbaa !9
  %166 = load float, ptr %16, align 4, !tbaa !9
  %167 = load float, ptr %17, align 4, !tbaa !9
  %168 = load ptr, ptr %18, align 8, !tbaa !5
  %169 = call float @testVvertice(ptr noundef %159, ptr noundef %160, ptr noundef %161, ptr noundef %162, ptr noundef %163, float noundef %164, float noundef %165, float noundef %166, float noundef %167, ptr noundef %168)
  store float %169, ptr %23, align 4, !tbaa !9
  %170 = load float, ptr %23, align 4, !tbaa !9
  %171 = fcmp ogt float %170, 0.000000e+00
  br i1 %171, label %172, label %347

172:                                              ; preds = %144
  %173 = getelementptr inbounds [3 x float], ptr %24, i64 0, i64 0
  %174 = load float, ptr %173, align 4, !tbaa !9
  %175 = load float, ptr %14, align 4, !tbaa !9
  %176 = fsub float %174, %175
  %177 = load ptr, ptr %22, align 8, !tbaa !5
  %178 = getelementptr inbounds %struct.s_vvertice, ptr %177, i32 0, i32 6
  store float %176, ptr %178, align 8, !tbaa !16
  %179 = getelementptr inbounds [3 x float], ptr %24, i64 0, i64 1
  %180 = load float, ptr %179, align 4, !tbaa !9
  %181 = load float, ptr %15, align 4, !tbaa !9
  %182 = fsub float %180, %181
  %183 = load ptr, ptr %22, align 8, !tbaa !5
  %184 = getelementptr inbounds %struct.s_vvertice, ptr %183, i32 0, i32 7
  store float %182, ptr %184, align 4, !tbaa !18
  %185 = getelementptr inbounds [3 x float], ptr %24, i64 0, i64 2
  %186 = load float, ptr %185, align 4, !tbaa !9
  %187 = load float, ptr %16, align 4, !tbaa !9
  %188 = fsub float %186, %187
  %189 = load ptr, ptr %22, align 8, !tbaa !5
  %190 = getelementptr inbounds %struct.s_vvertice, ptr %189, i32 0, i32 8
  store float %188, ptr %190, align 8, !tbaa !19
  %191 = load float, ptr %23, align 4, !tbaa !9
  %192 = load ptr, ptr %22, align 8, !tbaa !5
  %193 = getelementptr inbounds %struct.s_vvertice, ptr %192, i32 0, i32 5
  store float %191, ptr %193, align 4, !tbaa !20
  store i32 0, ptr %25, align 4, !tbaa !11
  br label %194

194:                                              ; preds = %259, %172
  %195 = load i32, ptr %25, align 4, !tbaa !11
  %196 = icmp slt i32 %195, 4
  br i1 %196, label %197, label %262

197:                                              ; preds = %194
  %198 = load ptr, ptr %12, align 8, !tbaa !5
  %199 = load ptr, ptr %10, align 8, !tbaa !5
  %200 = getelementptr inbounds %struct.s_lst_vvertice, ptr %199, i32 0, i32 2
  %201 = load ptr, ptr %200, align 8, !tbaa !21
  %202 = load i32, ptr %25, align 4, !tbaa !11
  %203 = sext i32 %202 to i64
  %204 = getelementptr inbounds [4 x i32], ptr %31, i64 0, i64 %203
  %205 = load i32, ptr %204, align 4, !tbaa !11
  %206 = sext i32 %205 to i64
  %207 = getelementptr inbounds i32, ptr %201, i64 %206
  %208 = load i32, ptr %207, align 4, !tbaa !11
  %209 = sext i32 %208 to i64
  %210 = getelementptr inbounds %struct.s_atm, ptr %198, i64 %209
  %211 = getelementptr inbounds %struct.s_atm, ptr %210, i32 0, i32 22
  %212 = load float, ptr %211, align 8, !tbaa !23
  %213 = fpext float %212 to double
  %214 = fcmp olt double %213, 2.800000e+00
  br i1 %214, label %215, label %218

215:                                              ; preds = %197
  %216 = load i32, ptr %29, align 4, !tbaa !11
  %217 = add nsw i32 %216, 1
  store i32 %217, ptr %29, align 4, !tbaa !11
  br label %218

218:                                              ; preds = %215, %197
  %219 = load i32, ptr %25, align 4, !tbaa !11
  %220 = sext i32 %219 to i64
  %221 = getelementptr inbounds [4 x i32], ptr %30, i64 0, i64 %220
  %222 = load i32, ptr %221, align 4, !tbaa !11
  %223 = icmp sge i32 %222, 0
  br i1 %223, label %224, label %234

224:                                              ; preds = %218
  %225 = load i32, ptr %25, align 4, !tbaa !11
  %226 = sext i32 %225 to i64
  %227 = getelementptr inbounds [4 x i32], ptr %30, i64 0, i64 %226
  %228 = load i32, ptr %227, align 4, !tbaa !11
  %229 = load ptr, ptr %22, align 8, !tbaa !5
  %230 = getelementptr inbounds %struct.s_vvertice, ptr %229, i32 0, i32 11
  %231 = load i32, ptr %25, align 4, !tbaa !11
  %232 = sext i32 %231 to i64
  %233 = getelementptr inbounds [4 x i32], ptr %230, i64 0, i64 %232
  store i32 %228, ptr %233, align 4, !tbaa !11
  br label %240

234:                                              ; preds = %218
  %235 = load ptr, ptr %22, align 8, !tbaa !5
  %236 = getelementptr inbounds %struct.s_vvertice, ptr %235, i32 0, i32 11
  %237 = load i32, ptr %25, align 4, !tbaa !11
  %238 = sext i32 %237 to i64
  %239 = getelementptr inbounds [4 x i32], ptr %236, i64 0, i64 %238
  store i32 -1, ptr %239, align 4, !tbaa !11
  br label %240

240:                                              ; preds = %234, %224
  %241 = load ptr, ptr %12, align 8, !tbaa !5
  %242 = load ptr, ptr %10, align 8, !tbaa !5
  %243 = getelementptr inbounds %struct.s_lst_vvertice, ptr %242, i32 0, i32 2
  %244 = load ptr, ptr %243, align 8, !tbaa !21
  %245 = load i32, ptr %25, align 4, !tbaa !11
  %246 = sext i32 %245 to i64
  %247 = getelementptr inbounds [4 x i32], ptr %31, i64 0, i64 %246
  %248 = load i32, ptr %247, align 4, !tbaa !11
  %249 = sext i32 %248 to i64
  %250 = getelementptr inbounds i32, ptr %244, i64 %249
  %251 = load i32, ptr %250, align 4, !tbaa !11
  %252 = sext i32 %251 to i64
  %253 = getelementptr inbounds %struct.s_atm, ptr %241, i64 %252
  %254 = load ptr, ptr %22, align 8, !tbaa !5
  %255 = getelementptr inbounds %struct.s_vvertice, ptr %254, i32 0, i32 12
  %256 = load i32, ptr %25, align 4, !tbaa !11
  %257 = sext i32 %256 to i64
  %258 = getelementptr inbounds [4 x ptr], ptr %255, i64 0, i64 %257
  store ptr %253, ptr %258, align 8, !tbaa !5
  br label %259

259:                                              ; preds = %240
  %260 = load i32, ptr %25, align 4, !tbaa !11
  %261 = add nsw i32 %260, 1
  store i32 %261, ptr %25, align 4, !tbaa !11
  br label %194, !llvm.loop !26

262:                                              ; preds = %194
  %263 = load ptr, ptr %12, align 8, !tbaa !5
  %264 = load ptr, ptr %10, align 8, !tbaa !5
  %265 = getelementptr inbounds %struct.s_lst_vvertice, ptr %264, i32 0, i32 2
  %266 = load ptr, ptr %265, align 8, !tbaa !21
  %267 = getelementptr inbounds [4 x i32], ptr %31, i64 0, i64 0
  %268 = load i32, ptr %267, align 16, !tbaa !11
  %269 = sext i32 %268 to i64
  %270 = getelementptr inbounds i32, ptr %266, i64 %269
  %271 = load i32, ptr %270, align 4, !tbaa !11
  %272 = sext i32 %271 to i64
  %273 = getelementptr inbounds %struct.s_atm, ptr %263, i64 %272
  %274 = load ptr, ptr %22, align 8, !tbaa !5
  %275 = getelementptr inbounds %struct.s_vvertice, ptr %274, i32 0, i32 12
  %276 = getelementptr inbounds [4 x ptr], ptr %275, i64 0, i64 0
  store ptr %273, ptr %276, align 8, !tbaa !5
  %277 = load ptr, ptr %12, align 8, !tbaa !5
  %278 = load ptr, ptr %10, align 8, !tbaa !5
  %279 = getelementptr inbounds %struct.s_lst_vvertice, ptr %278, i32 0, i32 2
  %280 = load ptr, ptr %279, align 8, !tbaa !21
  %281 = getelementptr inbounds [4 x i32], ptr %31, i64 0, i64 1
  %282 = load i32, ptr %281, align 4, !tbaa !11
  %283 = sext i32 %282 to i64
  %284 = getelementptr inbounds i32, ptr %280, i64 %283
  %285 = load i32, ptr %284, align 4, !tbaa !11
  %286 = sext i32 %285 to i64
  %287 = getelementptr inbounds %struct.s_atm, ptr %277, i64 %286
  %288 = load ptr, ptr %22, align 8, !tbaa !5
  %289 = getelementptr inbounds %struct.s_vvertice, ptr %288, i32 0, i32 12
  %290 = getelementptr inbounds [4 x ptr], ptr %289, i64 0, i64 1
  store ptr %287, ptr %290, align 8, !tbaa !5
  %291 = load ptr, ptr %12, align 8, !tbaa !5
  %292 = load ptr, ptr %10, align 8, !tbaa !5
  %293 = getelementptr inbounds %struct.s_lst_vvertice, ptr %292, i32 0, i32 2
  %294 = load ptr, ptr %293, align 8, !tbaa !21
  %295 = getelementptr inbounds [4 x i32], ptr %31, i64 0, i64 2
  %296 = load i32, ptr %295, align 8, !tbaa !11
  %297 = sext i32 %296 to i64
  %298 = getelementptr inbounds i32, ptr %294, i64 %297
  %299 = load i32, ptr %298, align 4, !tbaa !11
  %300 = sext i32 %299 to i64
  %301 = getelementptr inbounds %struct.s_atm, ptr %291, i64 %300
  %302 = load ptr, ptr %22, align 8, !tbaa !5
  %303 = getelementptr inbounds %struct.s_vvertice, ptr %302, i32 0, i32 12
  %304 = getelementptr inbounds [4 x ptr], ptr %303, i64 0, i64 2
  store ptr %301, ptr %304, align 8, !tbaa !5
  %305 = load ptr, ptr %12, align 8, !tbaa !5
  %306 = load ptr, ptr %10, align 8, !tbaa !5
  %307 = getelementptr inbounds %struct.s_lst_vvertice, ptr %306, i32 0, i32 2
  %308 = load ptr, ptr %307, align 8, !tbaa !21
  %309 = getelementptr inbounds [4 x i32], ptr %31, i64 0, i64 3
  %310 = load i32, ptr %309, align 4, !tbaa !11
  %311 = sext i32 %310 to i64
  %312 = getelementptr inbounds i32, ptr %308, i64 %311
  %313 = load i32, ptr %312, align 4, !tbaa !11
  %314 = sext i32 %313 to i64
  %315 = getelementptr inbounds %struct.s_atm, ptr %305, i64 %314
  %316 = load ptr, ptr %22, align 8, !tbaa !5
  %317 = getelementptr inbounds %struct.s_vvertice, ptr %316, i32 0, i32 12
  %318 = getelementptr inbounds [4 x ptr], ptr %317, i64 0, i64 3
  store ptr %315, ptr %318, align 8, !tbaa !5
  %319 = load ptr, ptr %22, align 8, !tbaa !5
  %320 = getelementptr inbounds %struct.s_vvertice, ptr %319, i32 0, i32 10
  store i32 0, ptr %320, align 8, !tbaa !27
  %321 = load i32, ptr %29, align 4, !tbaa !11
  %322 = load ptr, ptr %13, align 8, !tbaa !5
  %323 = getelementptr inbounds %struct.s_fparams, ptr %322, i32 0, i32 21
  %324 = load i32, ptr %323, align 8, !tbaa !28
  %325 = icmp sge i32 %321, %324
  br i1 %325, label %326, label %329

326:                                              ; preds = %262
  %327 = load ptr, ptr %22, align 8, !tbaa !5
  %328 = getelementptr inbounds %struct.s_vvertice, ptr %327, i32 0, i32 4
  store i32 0, ptr %328, align 8, !tbaa !30
  br label %332

329:                                              ; preds = %262
  %330 = load ptr, ptr %22, align 8, !tbaa !5
  %331 = getelementptr inbounds %struct.s_vvertice, ptr %330, i32 0, i32 4
  store i32 1, ptr %331, align 8, !tbaa !30
  br label %332

332:                                              ; preds = %329, %326
  %333 = load ptr, ptr %22, align 8, !tbaa !5
  %334 = getelementptr inbounds %struct.s_vvertice, ptr %333, i32 0, i32 0
  store i32 -1, ptr %334, align 8, !tbaa !31
  %335 = load ptr, ptr %22, align 8, !tbaa !5
  call void @set_barycenter(ptr noundef %335)
  call void @llvm.lifetime.start.p0(i64 2, ptr %41) #7
  %336 = load ptr, ptr %22, align 8, !tbaa !5
  %337 = load ptr, ptr %10, align 8, !tbaa !5
  %338 = call zeroext i16 @check_if_similar_vertice_in_list(ptr noundef %336, ptr noundef %337)
  store i16 %338, ptr %41, align 2, !tbaa !32
  %339 = load i16, ptr %41, align 2, !tbaa !32
  %340 = icmp ne i16 %339, 0
  br i1 %340, label %346, label %341

341:                                              ; preds = %332
  %342 = load ptr, ptr %10, align 8, !tbaa !5
  %343 = load ptr, ptr %22, align 8, !tbaa !5
  call void @add_vertice_to_vertice_list(ptr noundef %342, ptr noundef %343)
  %344 = load i32, ptr %40, align 4, !tbaa !11
  %345 = add nsw i32 %344, 1
  store i32 %345, ptr %40, align 4, !tbaa !11
  br label %346

346:                                              ; preds = %341, %332
  call void @llvm.lifetime.end.p0(i64 2, ptr %41) #7
  br label %347

347:                                              ; preds = %346, %144
  br label %348

348:                                              ; preds = %347, %141, %138, %135
  br label %349

349:                                              ; preds = %348, %130
  br label %350

350:                                              ; preds = %349, %125
  br label %120, !llvm.loop !33

351:                                              ; preds = %120
  %352 = load ptr, ptr %36, align 8, !tbaa !5
  call void @my_free(ptr noundef %352)
  %353 = load ptr, ptr %22, align 8, !tbaa !5
  call void @my_free(ptr noundef %353)
  %354 = load ptr, ptr %19, align 8, !tbaa !5
  %355 = icmp ne ptr %354, null
  br i1 %355, label %356, label %359

356:                                              ; preds = %351
  %357 = load ptr, ptr %19, align 8, !tbaa !5
  %358 = call i32 @fclose(ptr noundef %357)
  br label %359

359:                                              ; preds = %356, %351
  %360 = load ptr, ptr %20, align 8, !tbaa !5
  %361 = icmp ne ptr %360, null
  br i1 %361, label %362, label %365

362:                                              ; preds = %359
  %363 = load ptr, ptr %20, align 8, !tbaa !5
  %364 = call i32 @fclose(ptr noundef %363)
  br label %365

365:                                              ; preds = %362, %359
  %366 = load ptr, ptr %21, align 8, !tbaa !5
  %367 = icmp ne ptr %366, null
  br i1 %367, label %368, label %371

368:                                              ; preds = %365
  %369 = load ptr, ptr %21, align 8, !tbaa !5
  %370 = call i32 @fclose(ptr noundef %369)
  br label %371

371:                                              ; preds = %368, %365
  call void @llvm.lifetime.end.p0(i64 4, ptr %40) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %39) #7
  store i32 0, ptr %38, align 4
  br label %372

372:                                              ; preds = %371, %83
  call void @llvm.lifetime.end.p0(i64 8, ptr %37) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %36) #7
  %373 = load ptr, ptr %32, align 8
  call void @llvm.stackrestore.p0(ptr %373)
  call void @llvm.lifetime.end.p0(i64 16, ptr %31) #7
  call void @llvm.lifetime.end.p0(i64 16, ptr %30) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %29) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %27) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #7
  call void @llvm.lifetime.end.p0(i64 12, ptr %24) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #7
  %374 = load i32, ptr %38, align 4
  switch i32 %374, label %376 [
    i32 0, label %375
    i32 1, label %375
  ]

375:                                              ; preds = %372, %372
  ret void

376:                                              ; preds = %372
  unreachable
}

declare i32 @fclose(ptr noundef) #3

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

declare void @my_free(ptr noundef) #3

; Function Attrs: nocallback nofree nosync nounwind willreturn
declare ptr @llvm.stacksave.p0() #6

declare ptr @fgets(ptr noundef, i32 noundef, ptr noundef) #3

; Function Attrs: nounwind
declare i32 @__isoc99_sscanf(ptr noundef, ptr noundef, ...) #2

; Function Attrs: nounwind
declare ptr @strcat(ptr noundef, ptr noundef) #2

; Function Attrs: nounwind uwtable
declare dso_local float @testVvertice(ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, float noundef, float noundef, float noundef, float noundef, ptr noundef) #5

; Function Attrs: nounwind uwtable
declare dso_local void @set_barycenter(ptr noundef) #5

; Function Attrs: nocallback nofree nosync nounwind willreturn
declare void @llvm.stackrestore.p0(ptr) #6

; Function Attrs: nounwind uwtable
declare dso_local zeroext i16 @check_if_similar_vertice_in_list(ptr noundef, ptr noundef) #5

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

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"float", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"int", !7, i64 0}
!13 = distinct !{!13, !14}
!14 = !{!"llvm.loop.mustprogress"}
!15 = distinct !{!15, !14}
!16 = !{!17, !10, i64 24}
!17 = !{!"s_vvertice", !12, i64 0, !12, i64 4, !12, i64 8, !12, i64 12, !12, i64 16, !10, i64 20, !10, i64 24, !10, i64 28, !10, i64 32, !12, i64 36, !12, i64 40, !7, i64 44, !7, i64 64, !7, i64 96, !10, i64 108}
!18 = !{!17, !10, i64 28}
!19 = !{!17, !10, i64 32}
!20 = !{!17, !10, i64 20}
!21 = !{!22, !6, i64 16}
!22 = !{!"s_lst_vvertice", !6, i64 0, !6, i64 8, !6, i64 16, !12, i64 24, !6, i64 32, !12, i64 40, !12, i64 44}
!23 = !{!24, !10, i64 120}
!24 = !{!"s_atm", !12, i64 0, !10, i64 4, !10, i64 8, !10, i64 12, !10, i64 16, !10, i64 20, !10, i64 24, !10, i64 28, !7, i64 32, !7, i64 37, !7, i64 44, !7, i64 60, !7, i64 76, !7, i64 79, !12, i64 88, !12, i64 92, !12, i64 96, !12, i64 100, !12, i64 104, !12, i64 108, !12, i64 112, !10, i64 116, !10, i64 120, !10, i64 124, !10, i64 128, !10, i64 132, !10, i64 136, !10, i64 140, !7, i64 144, !7, i64 145, !10, i64 148, !10, i64 152, !10, i64 156, !10, i64 160, !25, i64 164, !6, i64 168, !12, i64 176}
!25 = !{!"short", !7, i64 0}
!26 = distinct !{!26, !14}
!27 = !{!17, !12, i64 40}
!28 = !{!29, !12, i64 14088}
!29 = !{!"s_fparams", !7, i64 0, !7, i64 2000, !7, i64 4000, !7, i64 6000, !6, i64 14000, !6, i64 14008, !6, i64 14016, !12, i64 14024, !12, i64 14028, !6, i64 14032, !6, i64 14040, !6, i64 14048, !7, i64 14056, !7, i64 14057, !12, i64 14060, !12, i64 14064, !25, i64 14068, !12, i64 14072, !12, i64 14076, !12, i64 14080, !25, i64 14084, !12, i64 14088, !12, i64 14092, !12, i64 14096, !25, i64 14100, !10, i64 14104, !10, i64 14108, !10, i64 14112, !10, i64 14116, !10, i64 14120, !7, i64 14128, !25, i64 14288, !25, i64 14290, !7, i64 14296, !12, i64 14456, !7, i64 14460}
!30 = !{!17, !12, i64 16}
!31 = !{!17, !12, i64 0}
!32 = !{!25, !25, i64 0}
!33 = distinct !{!33, !14}


; 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.s_atm = type { i32, float, float, float, float, float, float, float, [5 x i8], [7 x i8], [16 x i8], [16 x i8], [3 x i8], [8 x i8], i32, i32, i32, i32, i32, i32, i32, float, float, float, float, float, float, float, i8, i8, float, float, float, float, i16, ptr, i32 }

@.str.9 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [12 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [15 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 nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #1

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

declare ptr @my_malloc(i64 noundef) local_unnamed_addr #3

; Function Attrs: mustprogress nofree nounwind willreturn memory(argmem: read)
declare i32 @strcmp(ptr nocapture noundef, ptr nocapture noundef) local_unnamed_addr #4

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

; Function Attrs: nounwind uwtable
define dso_local void @add_missing_vvertices(ptr noundef %0, ptr nocapture noundef readonly %1, ptr noundef %2, ptr noundef %3, float noundef %4, float noundef %5, float noundef %6, float noundef %7, ptr noundef %8) local_unnamed_addr #5 {
  %10 = alloca [3 x float], align 8
  %11 = alloca i32, align 4
  %12 = alloca [4 x i32], align 16
  %13 = alloca [4 x i32], align 16
  %14 = alloca i32, align 4
  call void @llvm.lifetime.start.p0(i64 12, ptr nonnull %10) #9
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(12) %10, i8 0, i64 12, i1 false)
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %11) #9
  store i32 0, ptr %11, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %12) #9
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %13) #9
  %15 = tail call ptr @llvm.stacksave.p0()
  %16 = alloca [255 x i8], align 16
  %17 = alloca [255 x i8], align 16
  %18 = alloca [255 x i8], align 16
  %19 = tail call ptr @my_malloc(i64 noundef 255) #9
  %20 = tail call ptr @my_malloc(i64 noundef 112) #9
  %21 = tail call noalias ptr @fopen(ptr noundef %1, ptr noundef nonnull @.str.9)
  %22 = tail call noalias ptr @fopen(ptr noundef %1, ptr noundef nonnull @.str.9)
  %23 = tail call noalias ptr @fopen(ptr noundef %1, ptr noundef nonnull @.str.9)
  %24 = call ptr @fgets(ptr noundef nonnull %16, i32 noundef 255, ptr noundef %21)
  %25 = call ptr @fgets(ptr noundef nonnull %16, i32 noundef 255, ptr noundef %21)
  %26 = call ptr @fgets(ptr noundef nonnull %17, i32 noundef 255, ptr noundef %22)
  %27 = call ptr @fgets(ptr noundef nonnull %17, i32 noundef 255, ptr noundef %22)
  %28 = call ptr @fgets(ptr noundef nonnull %18, i32 noundef 255, ptr noundef %23)
  %29 = call ptr @fgets(ptr noundef nonnull %18, i32 noundef 255, ptr noundef %23)
  %.not = icmp eq ptr %29, null
  br i1 %.not, label %203, label %30

30:                                               ; preds = %9
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %14) #9
  store i32 0, ptr %14, align 4, !tbaa !5
  %31 = call i32 (ptr, ptr, ...) @__isoc99_sscanf(ptr noundef nonnull %16, ptr noundef nonnull @.str.10, ptr noundef nonnull %14) #9
  %32 = load i32, ptr %14, align 4, !tbaa !5
  %33 = call i32 (ptr, ptr, ...) @sprintf(ptr noundef nonnull dereferenceable(1) %19, ptr noundef nonnull dereferenceable(1) @.str.10, i32 noundef %32) #9
  %34 = call ptr @strcat(ptr noundef nonnull dereferenceable(1) %19, ptr noundef nonnull dereferenceable(1) @.str.11) #9
  br label %35

35:                                               ; preds = %37, %30
  %36 = call ptr @fgets(ptr noundef nonnull %17, i32 noundef 255, ptr noundef %22)
  %.not113 = icmp eq ptr %36, null
  br i1 %.not113, label %.critedge.preheader, label %37

37:                                               ; preds = %35
  %38 = call i32 @strcmp(ptr noundef nonnull dereferenceable(1) %19, ptr noundef nonnull dereferenceable(1) %17) #10
  %.not114 = icmp eq i32 %38, 0
  br i1 %.not114, label %.critedge.preheader, label %35, !llvm.loop !9

.critedge.preheader:                              ; preds = %35, %37
  br label %.critedge

.critedge:                                        ; preds = %.critedge.preheader, %40
  %.0104 = phi i32 [ %41, %40 ], [ 0, %.critedge.preheader ]
  %39 = call ptr @fgets(ptr noundef nonnull %18, i32 noundef 255, ptr noundef %23)
  %.not115 = icmp eq ptr %39, null
  br i1 %.not115, label %.critedge2, label %40

40:                                               ; preds = %.critedge
  %41 = add nuw nsw i32 %.0104, 1
  %42 = load i32, ptr %14, align 4, !tbaa !5
  %43 = shl nsw i32 %42, 1
  %.not116 = icmp sgt i32 %.0104, %43
  br i1 %.not116, label %.critedge2, label %.critedge, !llvm.loop !11

.critedge2:                                       ; preds = %.critedge, %40
  %44 = call ptr @fgets(ptr noundef nonnull %16, i32 noundef 255, ptr noundef %21)
  %.not117130 = icmp eq ptr %44, null
  br i1 %.not117130, label %._crit_edge, label %.lr.ph

.lr.ph:                                           ; preds = %.critedge2
  %45 = getelementptr inbounds i8, ptr %10, i64 4
  %46 = getelementptr inbounds i8, ptr %10, i64 8
  %47 = getelementptr inbounds i8, ptr %13, i64 4
  %48 = getelementptr inbounds i8, ptr %13, i64 8
  %49 = getelementptr inbounds i8, ptr %13, i64 12
  %50 = getelementptr inbounds i8, ptr %12, i64 4
  %51 = getelementptr inbounds i8, ptr %12, i64 8
  %52 = getelementptr inbounds i8, ptr %12, i64 12
  %53 = getelementptr inbounds i8, ptr %20, i64 24
  %54 = getelementptr inbounds i8, ptr %20, i64 32
  %55 = getelementptr inbounds i8, ptr %20, i64 20
  %56 = getelementptr inbounds i8, ptr %0, i64 16
  %57 = getelementptr inbounds i8, ptr %20, i64 64
  %58 = getelementptr inbounds i8, ptr %20, i64 44
  %59 = getelementptr inbounds i8, ptr %20, i64 72
  %60 = getelementptr inbounds i8, ptr %20, i64 80
  %61 = getelementptr inbounds i8, ptr %20, i64 88
  %62 = getelementptr inbounds i8, ptr %20, i64 40
  %63 = getelementptr inbounds i8, ptr %3, i64 14088
  %64 = getelementptr inbounds i8, ptr %20, i64 16
  %65 = getelementptr inbounds i8, ptr %20, i64 48
  %66 = getelementptr inbounds i8, ptr %20, i64 48
  %67 = getelementptr inbounds i8, ptr %20, i64 72
  %68 = getelementptr inbounds i8, ptr %20, i64 52
  %69 = getelementptr inbounds i8, ptr %20, i64 52
  %70 = getelementptr inbounds i8, ptr %20, i64 80
  %71 = getelementptr inbounds i8, ptr %20, i64 56
  %72 = getelementptr inbounds i8, ptr %20, i64 56
  %73 = getelementptr inbounds i8, ptr %20, i64 88
  %74 = insertelement <2 x float> poison, float %4, i64 0
  %75 = insertelement <2 x float> %74, float %5, i64 1
  br label %76

76:                                               ; preds = %.lr.ph, %192
  %.0105131 = phi i32 [ 0, %.lr.ph ], [ %.3, %192 ]
  %77 = call ptr @fgets(ptr noundef nonnull %17, i32 noundef 255, ptr noundef %22)
  %.not121 = icmp eq ptr %77, null
  br i1 %.not121, label %192, label %78

78:                                               ; preds = %76
  %79 = call ptr @fgets(ptr noundef nonnull %18, i32 noundef 255, ptr noundef %23)
  %.not122 = icmp eq ptr %79, null
  br i1 %.not122, label %192, label %80

80:                                               ; preds = %78
  %81 = call i32 @strcmp(ptr noundef nonnull dereferenceable(1) @.str.11, ptr noundef nonnull dereferenceable(1) %16) #10
  %.not123 = icmp eq i32 %81, 0
  br i1 %.not123, label %192, label %82

82:                                               ; preds = %80
  %83 = call i32 @strcmp(ptr noundef nonnull dereferenceable(1) @.str.11, ptr noundef nonnull dereferenceable(1) %17) #10
  %.not124 = icmp eq i32 %83, 0
  br i1 %.not124, label %192, label %84

84:                                               ; preds = %82
  %85 = call i32 @strcmp(ptr noundef nonnull dereferenceable(1) @.str.11, ptr noundef nonnull dereferenceable(1) %18) #10
  %.not125 = icmp eq i32 %85, 0
  br i1 %.not125, label %192, label %86

86:                                               ; preds = %84
  %87 = call i32 (ptr, ptr, ...) @__isoc99_sscanf(ptr noundef nonnull %16, ptr noundef nonnull @.str.12, ptr noundef nonnull %10, ptr noundef nonnull %45, ptr noundef nonnull %46) #9
  %88 = call i32 (ptr, ptr, ...) @__isoc99_sscanf(ptr noundef nonnull %17, ptr noundef nonnull @.str.13, ptr noundef nonnull %13, ptr noundef nonnull %47, ptr noundef nonnull %48, ptr noundef nonnull %49) #9
  %89 = call i32 (ptr, ptr, ...) @__isoc99_sscanf(ptr noundef nonnull %18, ptr noundef nonnull @.str.14, ptr noundef nonnull %11, ptr noundef nonnull %12, ptr noundef nonnull %50, ptr noundef nonnull %51, ptr noundef nonnull %52) #9
  %90 = call float @testVvertice(ptr noundef nonnull %10, ptr noundef nonnull %13, ptr noundef %2, ptr noundef %3, ptr noundef %0, float noundef %4, float noundef %5, float noundef %6, float noundef %7, ptr noundef %8)
  %91 = fcmp ogt float %90, 0.000000e+00
  br i1 %91, label %92, label %192

92:                                               ; preds = %86
  %93 = load <2 x float>, ptr %10, align 8, !tbaa !12
  %94 = fsub <2 x float> %93, %75
  store <2 x float> %94, ptr %53, align 8, !tbaa !12
  %95 = load float, ptr %46, align 8, !tbaa !12
  %96 = fsub float %95, %6
  store float %96, ptr %54, align 8, !tbaa !14
  store float %90, ptr %55, align 4, !tbaa !16
  %97 = load ptr, ptr %56, align 8, !tbaa !17
  %98 = load i32, ptr %13, align 16, !tbaa !5
  %99 = sext i32 %98 to i64
  %100 = getelementptr inbounds i32, ptr %97, i64 %99
  %101 = load i32, ptr %100, align 4, !tbaa !5
  %102 = sext i32 %101 to i64
  %103 = getelementptr inbounds %struct.s_atm, ptr %2, i64 %102, i32 22
  %104 = load float, ptr %103, align 8, !tbaa !20
  %105 = fpext float %104 to double
  %106 = fcmp olt double %105, 2.800000e+00
  %107 = zext i1 %106 to i32
  %.2107 = add nsw i32 %.0105131, %107
  %108 = load i32, ptr %12, align 16, !tbaa !5
  %spec.select = call i32 @llvm.smax.i32(i32 %108, i32 -1)
  store i32 %spec.select, ptr %58, align 4, !tbaa !5
  %109 = load i32, ptr %100, align 4, !tbaa !5
  %110 = sext i32 %109 to i64
  %111 = getelementptr inbounds %struct.s_atm, ptr %2, i64 %110
  store ptr %111, ptr %57, align 8, !tbaa !23
  %112 = load ptr, ptr %56, align 8, !tbaa !17
  %113 = load i32, ptr %47, align 4, !tbaa !5
  %114 = sext i32 %113 to i64
  %115 = getelementptr inbounds i32, ptr %112, i64 %114
  %116 = load i32, ptr %115, align 4, !tbaa !5
  %117 = sext i32 %116 to i64
  %118 = getelementptr inbounds %struct.s_atm, ptr %2, i64 %117, i32 22
  %119 = load float, ptr %118, align 8, !tbaa !20
  %120 = fpext float %119 to double
  %121 = fcmp olt double %120, 2.800000e+00
  %122 = zext i1 %121 to i32
  %.2107.1 = add nsw i32 %.2107, %122
  %123 = load i32, ptr %50, align 4, !tbaa !5
  %124 = icmp sgt i32 %123, -1
  br i1 %124, label %126, label %125

125:                                              ; preds = %92
  store i32 -1, ptr %65, align 4, !tbaa !5
  br label %127

126:                                              ; preds = %92
  store i32 %123, ptr %66, align 4, !tbaa !5
  br label %127

127:                                              ; preds = %126, %125
  %128 = load i32, ptr %115, align 4, !tbaa !5
  %129 = sext i32 %128 to i64
  %130 = getelementptr inbounds %struct.s_atm, ptr %2, i64 %129
  store ptr %130, ptr %67, align 8, !tbaa !23
  %131 = load ptr, ptr %56, align 8, !tbaa !17
  %132 = load i32, ptr %48, align 8, !tbaa !5
  %133 = sext i32 %132 to i64
  %134 = getelementptr inbounds i32, ptr %131, i64 %133
  %135 = load i32, ptr %134, align 4, !tbaa !5
  %136 = sext i32 %135 to i64
  %137 = getelementptr inbounds %struct.s_atm, ptr %2, i64 %136, i32 22
  %138 = load float, ptr %137, align 8, !tbaa !20
  %139 = fpext float %138 to double
  %140 = fcmp olt double %139, 2.800000e+00
  %141 = zext i1 %140 to i32
  %.2107.2 = add nsw i32 %.2107.1, %141
  %142 = load i32, ptr %51, align 8, !tbaa !5
  %143 = icmp sgt i32 %142, -1
  br i1 %143, label %145, label %144

144:                                              ; preds = %127
  store i32 -1, ptr %68, align 4, !tbaa !5
  br label %146

145:                                              ; preds = %127
  store i32 %142, ptr %69, align 4, !tbaa !5
  br label %146

146:                                              ; preds = %145, %144
  %147 = load i32, ptr %134, align 4, !tbaa !5
  %148 = sext i32 %147 to i64
  %149 = getelementptr inbounds %struct.s_atm, ptr %2, i64 %148
  store ptr %149, ptr %70, align 8, !tbaa !23
  %150 = load ptr, ptr %56, align 8, !tbaa !17
  %151 = load i32, ptr %49, align 4, !tbaa !5
  %152 = sext i32 %151 to i64
  %153 = getelementptr inbounds i32, ptr %150, i64 %152
  %154 = load i32, ptr %153, align 4, !tbaa !5
  %155 = sext i32 %154 to i64
  %156 = getelementptr inbounds %struct.s_atm, ptr %2, i64 %155, i32 22
  %157 = load float, ptr %156, align 8, !tbaa !20
  %158 = fpext float %157 to double
  %159 = fcmp olt double %158, 2.800000e+00
  %160 = zext i1 %159 to i32
  %.2107.3 = add nsw i32 %.2107.2, %160
  %161 = load i32, ptr %52, align 4, !tbaa !5
  %162 = icmp sgt i32 %161, -1
  br i1 %162, label %164, label %163

163:                                              ; preds = %146
  store i32 -1, ptr %71, align 4, !tbaa !5
  br label %165

164:                                              ; preds = %146
  store i32 %161, ptr %72, align 4, !tbaa !5
  br label %165

165:                                              ; preds = %164, %163
  %166 = load i32, ptr %153, align 4, !tbaa !5
  %167 = sext i32 %166 to i64
  %168 = getelementptr inbounds %struct.s_atm, ptr %2, i64 %167
  store ptr %168, ptr %73, align 8, !tbaa !23
  %169 = load ptr, ptr %56, align 8, !tbaa !17
  %170 = getelementptr inbounds i32, ptr %169, i64 %99
  %171 = load i32, ptr %170, align 4, !tbaa !5
  %172 = sext i32 %171 to i64
  %173 = getelementptr inbounds %struct.s_atm, ptr %2, i64 %172
  store ptr %173, ptr %57, align 8, !tbaa !23
  %174 = load ptr, ptr %56, align 8, !tbaa !17
  %175 = getelementptr inbounds i32, ptr %174, i64 %114
  %176 = load i32, ptr %175, align 4, !tbaa !5
  %177 = sext i32 %176 to i64
  %178 = getelementptr inbounds %struct.s_atm, ptr %2, i64 %177
  store ptr %178, ptr %59, align 8, !tbaa !23
  %179 = load ptr, ptr %56, align 8, !tbaa !17
  %180 = getelementptr inbounds i32, ptr %179, i64 %133
  %181 = load i32, ptr %180, align 4, !tbaa !5
  %182 = sext i32 %181 to i64
  %183 = getelementptr inbounds %struct.s_atm, ptr %2, i64 %182
  store ptr %183, ptr %60, align 8, !tbaa !23
  %184 = load ptr, ptr %56, align 8, !tbaa !17
  %185 = getelementptr inbounds i32, ptr %184, i64 %152
  %186 = load i32, ptr %185, align 4, !tbaa !5
  %187 = sext i32 %186 to i64
  %188 = getelementptr inbounds %struct.s_atm, ptr %2, i64 %187
  store ptr %188, ptr %61, align 8, !tbaa !23
  store i32 0, ptr %62, align 8, !tbaa !24
  %189 = load i32, ptr %63, align 8, !tbaa !25
  %.not126 = icmp slt i32 %.2107.3, %189
  %spec.select135 = zext i1 %.not126 to i32
  store i32 %spec.select135, ptr %64, align 8, !tbaa !27
  store i32 -1, ptr %20, align 8, !tbaa !28
  call void @set_barycenter(ptr noundef nonnull %20)
  %190 = call zeroext i16 @check_if_similar_vertice_in_list(ptr noundef nonnull %20, ptr noundef nonnull %0)
  %.not127 = icmp eq i16 %190, 0
  br i1 %.not127, label %191, label %192

191:                                              ; preds = %165
  call void @add_vertice_to_vertice_list(ptr noundef nonnull %0, ptr noundef nonnull %20)
  br label %192

192:                                              ; preds = %165, %191, %78, %86, %84, %82, %80, %76
  %.3 = phi i32 [ %.0105131, %86 ], [ %.0105131, %84 ], [ %.0105131, %82 ], [ %.0105131, %80 ], [ %.0105131, %78 ], [ %.0105131, %76 ], [ %.2107.3, %191 ], [ %.2107.3, %165 ]
  %193 = call ptr @fgets(ptr noundef nonnull %16, i32 noundef 255, ptr noundef %21)
  %.not117 = icmp eq ptr %193, null
  br i1 %.not117, label %._crit_edge, label %76, !llvm.loop !29

._crit_edge:                                      ; preds = %192, %.critedge2
  call void @my_free(ptr noundef %19) #9
  call void @my_free(ptr noundef %20) #9
  %.not118 = icmp eq ptr %21, null
  br i1 %.not118, label %196, label %194

194:                                              ; preds = %._crit_edge
  %195 = call i32 @fclose(ptr noundef nonnull %21)
  br label %196

196:                                              ; preds = %194, %._crit_edge
  %.not119 = icmp eq ptr %22, null
  br i1 %.not119, label %199, label %197

197:                                              ; preds = %196
  %198 = call i32 @fclose(ptr noundef nonnull %22)
  br label %199

199:                                              ; preds = %197, %196
  %.not120 = icmp eq ptr %23, null
  br i1 %.not120, label %202, label %200

200:                                              ; preds = %199
  %201 = call i32 @fclose(ptr noundef nonnull %23)
  br label %202

202:                                              ; preds = %200, %199
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %14) #9
  br label %203

203:                                              ; preds = %9, %202
  call void @llvm.stackrestore.p0(ptr %15)
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %13) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %12) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %11) #9
  call void @llvm.lifetime.end.p0(i64 12, ptr nonnull %10) #9
  ret void
}

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

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

declare void @my_free(ptr noundef) local_unnamed_addr #3

; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn
declare ptr @llvm.stacksave.p0() #6

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

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

; Function Attrs: mustprogress nofree nounwind willreturn memory(argmem: readwrite)
declare ptr @strcat(ptr noalias noundef returned, ptr noalias nocapture noundef readonly) local_unnamed_addr #7

; Function Attrs: nounwind uwtable
declare dso_local float @testVvertice(ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, float noundef, float noundef, float noundef, float noundef, ptr noundef) local_unnamed_addr #5

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

; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn
declare void @llvm.stackrestore.p0(ptr) #6

; Function Attrs: nounwind uwtable
declare dso_local zeroext i16 @check_if_similar_vertice_in_list(ptr noundef, ptr noundef) local_unnamed_addr #5

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

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i32 @llvm.smax.i32(i32, i32) #8

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = distinct !{!9, !10}
!10 = !{!"llvm.loop.mustprogress"}
!11 = distinct !{!11, !10}
!12 = !{!13, !13, i64 0}
!13 = !{!"float", !7, i64 0}
!14 = !{!15, !13, i64 32}
!15 = !{!"s_vvertice", !6, i64 0, !6, i64 4, !6, i64 8, !6, i64 12, !6, i64 16, !13, i64 20, !13, i64 24, !13, i64 28, !13, i64 32, !6, i64 36, !6, i64 40, !7, i64 44, !7, i64 64, !7, i64 96, !13, i64 108}
!16 = !{!15, !13, i64 20}
!17 = !{!18, !19, i64 16}
!18 = !{!"s_lst_vvertice", !19, i64 0, !19, i64 8, !19, i64 16, !6, i64 24, !19, i64 32, !6, i64 40, !6, i64 44}
!19 = !{!"any pointer", !7, i64 0}
!20 = !{!21, !13, i64 120}
!21 = !{!"s_atm", !6, i64 0, !13, i64 4, !13, i64 8, !13, i64 12, !13, i64 16, !13, i64 20, !13, i64 24, !13, i64 28, !7, i64 32, !7, i64 37, !7, i64 44, !7, i64 60, !7, i64 76, !7, i64 79, !6, i64 88, !6, i64 92, !6, i64 96, !6, i64 100, !6, i64 104, !6, i64 108, !6, i64 112, !13, i64 116, !13, i64 120, !13, i64 124, !13, i64 128, !13, i64 132, !13, i64 136, !13, i64 140, !7, i64 144, !7, i64 145, !13, i64 148, !13, i64 152, !13, i64 156, !13, i64 160, !22, i64 164, !19, i64 168, !6, i64 176}
!22 = !{!"short", !7, i64 0}
!23 = !{!19, !19, i64 0}
!24 = !{!15, !6, i64 40}
!25 = !{!26, !6, i64 14088}
!26 = !{!"s_fparams", !7, i64 0, !7, i64 2000, !7, i64 4000, !7, i64 6000, !19, i64 14000, !19, i64 14008, !19, i64 14016, !6, i64 14024, !6, i64 14028, !19, i64 14032, !19, i64 14040, !19, i64 14048, !7, i64 14056, !7, i64 14057, !6, i64 14060, !6, i64 14064, !22, i64 14068, !6, i64 14072, !6, i64 14076, !6, i64 14080, !22, i64 14084, !6, i64 14088, !6, i64 14092, !6, i64 14096, !22, i64 14100, !13, i64 14104, !13, i64 14108, !13, i64 14112, !13, i64 14116, !13, i64 14120, !7, i64 14128, !22, i64 14288, !22, i64 14290, !7, i64 14296, !6, i64 14456, !7, i64 14460}
!27 = !{!15, !6, i64 16}
!28 = !{!15, !6, i64 0}
!29 = distinct !{!29, !10}


; Effective O3 passes: BDCEPass,CorrelatedValuePropagationPass,EarlyCSEPass,GVNPass,GlobalOptPass,IndVarSimplifyPass,InferAlignmentPass,InferFunctionAttrsPass,InstCombinePass,JumpThreadingPass,LCSSAPass,LICMPass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,PostOrderFunctionAttrsPass,ReassociatePass,SLPVectorizerPass,SROAPass,SimplifyCFGPass,TailCallElimPass