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

; 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.c_lst_pockets = type { ptr, ptr, ptr, i64, ptr }
%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.node_pocket = type { ptr, ptr, ptr }
%struct.s_pocket = type { ptr, ptr, float, float, float, float, [3 x float], i32, i32, i32, i32 }
%struct.s_desc = type { float, float, float, float, float, float, float, float, float, float, float, float, float, float, float, float, float, float, float, float, float, float, float, float, float, float, float, i32, [20 x i32], i32, i32, i32, float, float, i32, i32, i32, i32, i32, [255 x i8], [255 x i8], [8 x i8] }

; 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
define dso_local void @check_pockets(ptr noundef %0, ptr noundef %1, i32 noundef %2, ptr noundef %3, i32 noundef %4, ptr noundef %5, i32 noundef %6, ptr noundef %7, ptr noundef %8, i32 noundef %9) #1 {
  %11 = alloca ptr, align 8
  %12 = alloca ptr, align 8
  %13 = alloca i32, align 4
  %14 = alloca ptr, align 8
  %15 = alloca i32, align 4
  %16 = alloca ptr, align 8
  %17 = alloca i32, align 4
  %18 = alloca ptr, align 8
  %19 = alloca ptr, align 8
  %20 = alloca i32, align 4
  %21 = alloca [6 x i32], align 16
  %22 = alloca i32, align 4
  %23 = alloca i32, align 4
  %24 = alloca i32, align 4
  %25 = alloca float, align 4
  %26 = alloca float, align 4
  %27 = alloca float, align 4
  %28 = alloca float, align 4
  %29 = alloca float, align 4
  %30 = alloca ptr, align 8
  %31 = alloca ptr, align 8
  %32 = alloca ptr, align 8
  %33 = alloca ptr, align 8
  %34 = alloca i32, align 4
  %35 = alloca [2 x i8], align 1
  %36 = alloca i32, align 4
  store ptr %0, ptr %11, align 8, !tbaa !5
  store ptr %1, ptr %12, align 8, !tbaa !5
  store i32 %2, ptr %13, align 4, !tbaa !9
  store ptr %3, ptr %14, align 8, !tbaa !5
  store i32 %4, ptr %15, align 4, !tbaa !9
  store ptr %5, ptr %16, align 8, !tbaa !5
  store i32 %6, ptr %17, align 4, !tbaa !9
  store ptr %7, ptr %18, align 8, !tbaa !5
  store ptr %8, ptr %19, align 8, !tbaa !5
  store i32 %9, ptr %20, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 24, ptr %21) #6
  call void @llvm.memset.p0.i64(ptr align 16 %21, i8 0, i64 24, i1 false)
  call void @llvm.lifetime.start.p0(i64 4, ptr %22) #6
  store i32 0, ptr %22, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %24) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %26) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %27) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %28) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %29) #6
  store float 0.000000e+00, ptr %29, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %30) #6
  store ptr null, ptr %30, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #6
  store ptr null, ptr %31, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %32) #6
  store ptr null, ptr %32, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %33) #6
  store ptr null, ptr %33, align 8, !tbaa !5
  %37 = load ptr, ptr %11, align 8, !tbaa !5
  %38 = getelementptr inbounds %struct.c_lst_pockets, ptr %37, i32 0, i32 0
  %39 = load ptr, ptr %38, align 8, !tbaa !13
  store ptr %39, ptr %32, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %34) #6
  store i32 1, ptr %34, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 2, ptr %35) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %36) #6
  %40 = getelementptr inbounds [2 x i8], ptr %35, i64 0, i64 0
  %41 = load ptr, ptr %14, align 8, !tbaa !5
  %42 = getelementptr inbounds ptr, ptr %41, i64 0
  %43 = load ptr, ptr %42, align 8, !tbaa !5
  %44 = getelementptr inbounds %struct.s_atm, ptr %43, i32 0, i32 10
  %45 = getelementptr inbounds [16 x i8], ptr %44, i64 0, i64 0
  %46 = call ptr @strncpy(ptr noundef %40, ptr noundef %45, i64 noundef 2) #6
  %47 = load ptr, ptr %14, align 8, !tbaa !5
  %48 = getelementptr inbounds ptr, ptr %47, i64 0
  %49 = load ptr, ptr %48, align 8, !tbaa !5
  %50 = getelementptr inbounds %struct.s_atm, ptr %49, i32 0, i32 16
  %51 = load i32, ptr %50, align 8, !tbaa !16
  store i32 %51, ptr %36, align 4, !tbaa !9
  store i32 1, ptr %24, align 4, !tbaa !9
  br label %52

52:                                               ; preds = %97, %10
  %53 = load i32, ptr %24, align 4, !tbaa !9
  %54 = load i32, ptr %15, align 4, !tbaa !9
  %55 = icmp slt i32 %53, %54
  br i1 %55, label %56, label %100

56:                                               ; preds = %52
  %57 = getelementptr inbounds [2 x i8], ptr %35, i64 0, i64 0
  %58 = load ptr, ptr %14, align 8, !tbaa !5
  %59 = load i32, ptr %24, align 4, !tbaa !9
  %60 = sext i32 %59 to i64
  %61 = getelementptr inbounds ptr, ptr %58, i64 %60
  %62 = load ptr, ptr %61, align 8, !tbaa !5
  %63 = getelementptr inbounds %struct.s_atm, ptr %62, i32 0, i32 10
  %64 = getelementptr inbounds [16 x i8], ptr %63, i64 0, i64 0
  %65 = call i32 @strncmp(ptr noundef %57, ptr noundef %64, i64 noundef 2) #7
  %66 = icmp ne i32 %65, 0
  br i1 %66, label %77, label %67

67:                                               ; preds = %56
  %68 = load i32, ptr %36, align 4, !tbaa !9
  %69 = load ptr, ptr %14, align 8, !tbaa !5
  %70 = load i32, ptr %24, align 4, !tbaa !9
  %71 = sext i32 %70 to i64
  %72 = getelementptr inbounds ptr, ptr %69, i64 %71
  %73 = load ptr, ptr %72, align 8, !tbaa !5
  %74 = getelementptr inbounds %struct.s_atm, ptr %73, i32 0, i32 16
  %75 = load i32, ptr %74, align 8, !tbaa !16
  %76 = icmp ne i32 %68, %75
  br i1 %76, label %77, label %96

77:                                               ; preds = %67, %56
  %78 = load i32, ptr %34, align 4, !tbaa !9
  %79 = add nsw i32 %78, 1
  store i32 %79, ptr %34, align 4, !tbaa !9
  %80 = getelementptr inbounds [2 x i8], ptr %35, i64 0, i64 0
  %81 = load ptr, ptr %14, align 8, !tbaa !5
  %82 = load i32, ptr %24, align 4, !tbaa !9
  %83 = sext i32 %82 to i64
  %84 = getelementptr inbounds ptr, ptr %81, i64 %83
  %85 = load ptr, ptr %84, align 8, !tbaa !5
  %86 = getelementptr inbounds %struct.s_atm, ptr %85, i32 0, i32 10
  %87 = getelementptr inbounds [16 x i8], ptr %86, i64 0, i64 0
  %88 = call ptr @strncpy(ptr noundef %80, ptr noundef %87, i64 noundef 2) #6
  %89 = load ptr, ptr %14, align 8, !tbaa !5
  %90 = load i32, ptr %24, align 4, !tbaa !9
  %91 = sext i32 %90 to i64
  %92 = getelementptr inbounds ptr, ptr %89, i64 %91
  %93 = load ptr, ptr %92, align 8, !tbaa !5
  %94 = getelementptr inbounds %struct.s_atm, ptr %93, i32 0, i32 16
  %95 = load i32, ptr %94, align 8, !tbaa !16
  store i32 %95, ptr %36, align 4, !tbaa !9
  br label %96

96:                                               ; preds = %77, %67
  br label %97

97:                                               ; preds = %96
  %98 = load i32, ptr %24, align 4, !tbaa !9
  %99 = add nsw i32 %98, 1
  store i32 %99, ptr %24, align 4, !tbaa !9
  br label %52, !llvm.loop !19

100:                                              ; preds = %52
  store i32 0, ptr %23, align 4, !tbaa !9
  br label %101

101:                                              ; preds = %504, %100
  %102 = load ptr, ptr %32, align 8, !tbaa !5
  %103 = icmp ne ptr %102, null
  br i1 %103, label %104, label %505

104:                                              ; preds = %101
  %105 = load i32, ptr %23, align 4, !tbaa !9
  %106 = add nsw i32 %105, 1
  store i32 %106, ptr %23, align 4, !tbaa !9
  %107 = load ptr, ptr %32, align 8, !tbaa !5
  %108 = getelementptr inbounds %struct.node_pocket, ptr %107, i32 0, i32 2
  %109 = load ptr, ptr %108, align 8, !tbaa !21
  store ptr %109, ptr %33, align 8, !tbaa !5
  %110 = getelementptr inbounds [6 x i32], ptr %21, i64 0, i64 0
  %111 = load i32, ptr %110, align 16, !tbaa !9
  %112 = icmp ne i32 %111, 0
  br i1 %112, label %212, label %113

113:                                              ; preds = %104
  store i32 0, ptr %24, align 4, !tbaa !9
  br label %114

114:                                              ; preds = %208, %113
  %115 = load i32, ptr %24, align 4, !tbaa !9
  %116 = load i32, ptr %15, align 4, !tbaa !9
  %117 = icmp slt i32 %115, %116
  br i1 %117, label %118, label %211

118:                                              ; preds = %114
  %119 = load ptr, ptr %14, align 8, !tbaa !5
  %120 = load i32, ptr %24, align 4, !tbaa !9
  %121 = sext i32 %120 to i64
  %122 = getelementptr inbounds ptr, ptr %119, i64 %121
  %123 = load ptr, ptr %122, align 8, !tbaa !5
  %124 = getelementptr inbounds %struct.s_atm, ptr %123, i32 0, i32 5
  %125 = load float, ptr %124, align 4, !tbaa !23
  %126 = load ptr, ptr %14, align 8, !tbaa !5
  %127 = load i32, ptr %24, align 4, !tbaa !9
  %128 = sext i32 %127 to i64
  %129 = getelementptr inbounds ptr, ptr %126, i64 %128
  %130 = load ptr, ptr %129, align 8, !tbaa !5
  %131 = getelementptr inbounds %struct.s_atm, ptr %130, i32 0, i32 6
  %132 = load float, ptr %131, align 8, !tbaa !24
  %133 = load ptr, ptr %14, align 8, !tbaa !5
  %134 = load i32, ptr %24, align 4, !tbaa !9
  %135 = sext i32 %134 to i64
  %136 = getelementptr inbounds ptr, ptr %133, i64 %135
  %137 = load ptr, ptr %136, align 8, !tbaa !5
  %138 = getelementptr inbounds %struct.s_atm, ptr %137, i32 0, i32 7
  %139 = load float, ptr %138, align 4, !tbaa !25
  %140 = load ptr, ptr %33, align 8, !tbaa !5
  %141 = getelementptr inbounds %struct.s_pocket, ptr %140, i32 0, i32 6
  %142 = getelementptr inbounds [3 x float], ptr %141, i64 0, i64 0
  %143 = load float, ptr %142, align 8, !tbaa !11
  %144 = load ptr, ptr %33, align 8, !tbaa !5
  %145 = getelementptr inbounds %struct.s_pocket, ptr %144, i32 0, i32 6
  %146 = getelementptr inbounds [3 x float], ptr %145, i64 0, i64 1
  %147 = load float, ptr %146, align 4, !tbaa !11
  %148 = load ptr, ptr %33, align 8, !tbaa !5
  %149 = getelementptr inbounds %struct.s_pocket, ptr %148, i32 0, i32 6
  %150 = getelementptr inbounds [3 x float], ptr %149, i64 0, i64 2
  %151 = load float, ptr %150, align 8, !tbaa !11
  %152 = call float @dist(float noundef %125, float noundef %132, float noundef %139, float noundef %143, float noundef %147, float noundef %151)
  store float %152, ptr %29, align 4, !tbaa !11
  %153 = load float, ptr %29, align 4, !tbaa !11
  %154 = fpext float %153 to double
  %155 = fcmp olt double %154, 4.000000e+00
  br i1 %155, label %156, label %207

156:                                              ; preds = %118
  %157 = load float, ptr %29, align 4, !tbaa !11
  %158 = load ptr, ptr %18, align 8, !tbaa !5
  %159 = load i32, ptr %20, align 4, !tbaa !9
  %160 = sext i32 %159 to i64
  %161 = getelementptr inbounds [16 x float], ptr %158, i64 %160
  %162 = getelementptr inbounds [16 x float], ptr %161, i64 0, i64 2
  store float %157, ptr %162, align 4, !tbaa !11
  %163 = load i32, ptr %13, align 4, !tbaa !9
  %164 = sitofp i32 %163 to double
  %165 = fcmp ole double %164, 0.000000e+00
  br i1 %165, label %166, label %167

166:                                              ; preds = %156
  br label %175

167:                                              ; preds = %156
  %168 = load i32, ptr %22, align 4, !tbaa !9
  %169 = sitofp i32 %168 to float
  %170 = load i32, ptr %13, align 4, !tbaa !9
  %171 = sitofp i32 %170 to float
  %172 = fdiv float %169, %171
  %173 = fpext float %172 to double
  %174 = fmul double %173, 1.000000e+02
  br label %175

175:                                              ; preds = %167, %166
  %176 = phi double [ -1.000000e+00, %166 ], [ %174, %167 ]
  %177 = fptrunc double %176 to float
  %178 = load ptr, ptr %18, align 8, !tbaa !5
  %179 = load i32, ptr %20, align 4, !tbaa !9
  %180 = sext i32 %179 to i64
  %181 = getelementptr inbounds [16 x float], ptr %178, i64 %180
  %182 = getelementptr inbounds [16 x float], ptr %181, i64 0, i64 8
  store float %177, ptr %182, align 4, !tbaa !11
  %183 = load ptr, ptr %33, align 8, !tbaa !5
  %184 = getelementptr inbounds %struct.s_pocket, ptr %183, i32 0, i32 0
  %185 = load ptr, ptr %184, align 8, !tbaa !26
  %186 = getelementptr inbounds %struct.s_desc, ptr %185, i32 0, i32 2
  %187 = load float, ptr %186, align 4, !tbaa !28
  %188 = load ptr, ptr %18, align 8, !tbaa !5
  %189 = load i32, ptr %20, align 4, !tbaa !9
  %190 = sext i32 %189 to i64
  %191 = getelementptr inbounds [16 x float], ptr %188, i64 %190
  %192 = getelementptr inbounds [16 x float], ptr %191, i64 0, i64 14
  store float %187, ptr %192, align 4, !tbaa !11
  %193 = load i32, ptr %23, align 4, !tbaa !9
  %194 = load ptr, ptr %19, align 8, !tbaa !5
  %195 = load i32, ptr %20, align 4, !tbaa !9
  %196 = sext i32 %195 to i64
  %197 = getelementptr inbounds [9 x i32], ptr %194, i64 %196
  %198 = getelementptr inbounds [9 x i32], ptr %197, i64 0, i64 3
  store i32 %193, ptr %198, align 4, !tbaa !9
  %199 = load ptr, ptr %33, align 8, !tbaa !5
  %200 = call i32 @count_pocket_contacted_atms(ptr noundef %199)
  %201 = load ptr, ptr %19, align 8, !tbaa !5
  %202 = load i32, ptr %20, align 4, !tbaa !9
  %203 = sext i32 %202 to i64
  %204 = getelementptr inbounds [9 x i32], ptr %201, i64 %203
  %205 = getelementptr inbounds [9 x i32], ptr %204, i64 0, i64 7
  store i32 %200, ptr %205, align 4, !tbaa !9
  %206 = getelementptr inbounds [6 x i32], ptr %21, i64 0, i64 0
  store i32 1, ptr %206, align 16, !tbaa !9
  br label %211

207:                                              ; preds = %118
  br label %208

208:                                              ; preds = %207
  %209 = load i32, ptr %24, align 4, !tbaa !9
  %210 = add nsw i32 %209, 1
  store i32 %210, ptr %24, align 4, !tbaa !9
  br label %114, !llvm.loop !30

211:                                              ; preds = %175, %114
  br label %212

212:                                              ; preds = %211, %104
  %213 = getelementptr inbounds [6 x i32], ptr %21, i64 0, i64 1
  %214 = load i32, ptr %213, align 4, !tbaa !9
  %215 = icmp ne i32 %214, 0
  br i1 %215, label %216, label %220

216:                                              ; preds = %212
  %217 = getelementptr inbounds [6 x i32], ptr %21, i64 0, i64 2
  %218 = load i32, ptr %217, align 8, !tbaa !9
  %219 = icmp ne i32 %218, 0
  br i1 %219, label %320, label %220

220:                                              ; preds = %216, %212
  %221 = load ptr, ptr %33, align 8, !tbaa !5
  %222 = call ptr @get_pocket_contacted_atms(ptr noundef %221, ptr noundef %22)
  store ptr %222, ptr %30, align 8, !tbaa !5
  %223 = getelementptr inbounds [6 x i32], ptr %21, i64 0, i64 1
  %224 = load i32, ptr %223, align 4, !tbaa !9
  %225 = icmp ne i32 %224, 0
  br i1 %225, label %270, label %226

226:                                              ; preds = %220
  %227 = load ptr, ptr %16, align 8, !tbaa !5
  %228 = load i32, ptr %17, align 4, !tbaa !9
  %229 = load ptr, ptr %30, align 8, !tbaa !5
  %230 = load i32, ptr %22, align 4, !tbaa !9
  %231 = call float @atm_corsp(ptr noundef %227, i32 noundef %228, ptr noundef %229, i32 noundef %230)
  store float %231, ptr %25, align 4, !tbaa !11
  %232 = load float, ptr %25, align 4, !tbaa !11
  %233 = fpext float %232 to double
  %234 = fcmp ogt double %233, 5.000000e+01
  br i1 %234, label %235, label %269

235:                                              ; preds = %226
  %236 = load i32, ptr %23, align 4, !tbaa !9
  %237 = load ptr, ptr %19, align 8, !tbaa !5
  %238 = load i32, ptr %20, align 4, !tbaa !9
  %239 = sext i32 %238 to i64
  %240 = getelementptr inbounds [9 x i32], ptr %237, i64 %239
  %241 = getelementptr inbounds [9 x i32], ptr %240, i64 0, i64 1
  store i32 %236, ptr %241, align 4, !tbaa !9
  %242 = load float, ptr %25, align 4, !tbaa !11
  %243 = load ptr, ptr %18, align 8, !tbaa !5
  %244 = load i32, ptr %20, align 4, !tbaa !9
  %245 = sext i32 %244 to i64
  %246 = getelementptr inbounds [16 x float], ptr %243, i64 %245
  %247 = getelementptr inbounds [16 x float], ptr %246, i64 0, i64 0
  store float %242, ptr %247, align 4, !tbaa !11
  %248 = load i32, ptr %17, align 4, !tbaa !9
  %249 = sitofp i32 %248 to double
  %250 = fcmp ole double %249, 0.000000e+00
  br i1 %250, label %251, label %252

251:                                              ; preds = %235
  br label %260

252:                                              ; preds = %235
  %253 = load i32, ptr %22, align 4, !tbaa !9
  %254 = sitofp i32 %253 to float
  %255 = load i32, ptr %17, align 4, !tbaa !9
  %256 = sitofp i32 %255 to float
  %257 = fdiv float %254, %256
  %258 = fpext float %257 to double
  %259 = fmul double %258, 1.000000e+02
  br label %260

260:                                              ; preds = %252, %251
  %261 = phi double [ -1.000000e+00, %251 ], [ %259, %252 ]
  %262 = fptrunc double %261 to float
  %263 = load ptr, ptr %18, align 8, !tbaa !5
  %264 = load i32, ptr %20, align 4, !tbaa !9
  %265 = sext i32 %264 to i64
  %266 = getelementptr inbounds [16 x float], ptr %263, i64 %265
  %267 = getelementptr inbounds [16 x float], ptr %266, i64 0, i64 6
  store float %262, ptr %267, align 4, !tbaa !11
  %268 = getelementptr inbounds [6 x i32], ptr %21, i64 0, i64 1
  store i32 1, ptr %268, align 4, !tbaa !9
  br label %269

269:                                              ; preds = %260, %226
  br label %270

270:                                              ; preds = %269, %220
  %271 = getelementptr inbounds [6 x i32], ptr %21, i64 0, i64 2
  %272 = load i32, ptr %271, align 8, !tbaa !9
  %273 = icmp ne i32 %272, 0
  br i1 %273, label %318, label %274

274:                                              ; preds = %270
  %275 = load ptr, ptr %12, align 8, !tbaa !5
  %276 = load i32, ptr %13, align 4, !tbaa !9
  %277 = load ptr, ptr %30, align 8, !tbaa !5
  %278 = load i32, ptr %22, align 4, !tbaa !9
  %279 = call float @atm_corsp(ptr noundef %275, i32 noundef %276, ptr noundef %277, i32 noundef %278)
  store float %279, ptr %26, align 4, !tbaa !11
  %280 = load float, ptr %26, align 4, !tbaa !11
  %281 = fpext float %280 to double
  %282 = fcmp ogt double %281, 5.000000e+01
  br i1 %282, label %283, label %317

283:                                              ; preds = %274
  %284 = load i32, ptr %23, align 4, !tbaa !9
  %285 = load ptr, ptr %19, align 8, !tbaa !5
  %286 = load i32, ptr %20, align 4, !tbaa !9
  %287 = sext i32 %286 to i64
  %288 = getelementptr inbounds [9 x i32], ptr %285, i64 %287
  %289 = getelementptr inbounds [9 x i32], ptr %288, i64 0, i64 2
  store i32 %284, ptr %289, align 4, !tbaa !9
  %290 = load float, ptr %26, align 4, !tbaa !11
  %291 = load ptr, ptr %18, align 8, !tbaa !5
  %292 = load i32, ptr %20, align 4, !tbaa !9
  %293 = sext i32 %292 to i64
  %294 = getelementptr inbounds [16 x float], ptr %291, i64 %293
  %295 = getelementptr inbounds [16 x float], ptr %294, i64 0, i64 1
  store float %290, ptr %295, align 4, !tbaa !11
  %296 = load i32, ptr %13, align 4, !tbaa !9
  %297 = sitofp i32 %296 to double
  %298 = fcmp ole double %297, 0.000000e+00
  br i1 %298, label %299, label %300

299:                                              ; preds = %283
  br label %308

300:                                              ; preds = %283
  %301 = load i32, ptr %22, align 4, !tbaa !9
  %302 = sitofp i32 %301 to float
  %303 = load i32, ptr %13, align 4, !tbaa !9
  %304 = sitofp i32 %303 to float
  %305 = fdiv float %302, %304
  %306 = fpext float %305 to double
  %307 = fmul double %306, 1.000000e+02
  br label %308

308:                                              ; preds = %300, %299
  %309 = phi double [ -1.000000e+00, %299 ], [ %307, %300 ]
  %310 = fptrunc double %309 to float
  %311 = load ptr, ptr %18, align 8, !tbaa !5
  %312 = load i32, ptr %20, align 4, !tbaa !9
  %313 = sext i32 %312 to i64
  %314 = getelementptr inbounds [16 x float], ptr %311, i64 %313
  %315 = getelementptr inbounds [16 x float], ptr %314, i64 0, i64 7
  store float %310, ptr %315, align 4, !tbaa !11
  %316 = getelementptr inbounds [6 x i32], ptr %21, i64 0, i64 2
  store i32 1, ptr %316, align 8, !tbaa !9
  br label %317

317:                                              ; preds = %308, %274
  br label %318

318:                                              ; preds = %317, %270
  %319 = load ptr, ptr %30, align 8, !tbaa !5
  call void @my_free(ptr noundef %319)
  br label %320

320:                                              ; preds = %318, %216
  %321 = getelementptr inbounds [6 x i32], ptr %21, i64 0, i64 3
  %322 = load i32, ptr %321, align 4, !tbaa !9
  %323 = icmp ne i32 %322, 0
  br i1 %323, label %324, label %332

324:                                              ; preds = %320
  %325 = getelementptr inbounds [6 x i32], ptr %21, i64 0, i64 4
  %326 = load i32, ptr %325, align 16, !tbaa !9
  %327 = icmp ne i32 %326, 0
  br i1 %327, label %328, label %332

328:                                              ; preds = %324
  %329 = getelementptr inbounds [6 x i32], ptr %21, i64 0, i64 5
  %330 = load i32, ptr %329, align 4, !tbaa !9
  %331 = icmp ne i32 %330, 0
  br i1 %331, label %476, label %332

332:                                              ; preds = %328, %324, %320
  %333 = load ptr, ptr %33, align 8, !tbaa !5
  %334 = call ptr @get_pocket_pvertices(ptr noundef %333)
  store ptr %334, ptr %31, align 8, !tbaa !5
  %335 = getelementptr inbounds [6 x i32], ptr %21, i64 0, i64 3
  %336 = load i32, ptr %335, align 4, !tbaa !9
  %337 = icmp ne i32 %336, 0
  br i1 %337, label %372, label %338

338:                                              ; preds = %332
  %339 = load ptr, ptr %14, align 8, !tbaa !5
  %340 = load i32, ptr %15, align 4, !tbaa !9
  %341 = load ptr, ptr %31, align 8, !tbaa !5
  %342 = load ptr, ptr %33, align 8, !tbaa !5
  %343 = getelementptr inbounds %struct.s_pocket, ptr %342, i32 0, i32 8
  %344 = load i32, ptr %343, align 8, !tbaa !31
  %345 = load i32, ptr %34, align 4, !tbaa !9
  %346 = call float @count_atm_prop_vert_neigh(ptr noundef %339, i32 noundef %340, ptr noundef %341, i32 noundef %344, float noundef 3.000000e+00, i32 noundef %345)
  store float %346, ptr %27, align 4, !tbaa !11
  %347 = load float, ptr %27, align 4, !tbaa !11
  %348 = fpext float %347 to double
  %349 = fcmp ogt double %348, 5.000000e-01
  br i1 %349, label %350, label %371

350:                                              ; preds = %338
  %351 = load i32, ptr %23, align 4, !tbaa !9
  %352 = load ptr, ptr %19, align 8, !tbaa !5
  %353 = load i32, ptr %20, align 4, !tbaa !9
  %354 = sext i32 %353 to i64
  %355 = getelementptr inbounds [9 x i32], ptr %352, i64 %354
  %356 = getelementptr inbounds [9 x i32], ptr %355, i64 0, i64 4
  store i32 %351, ptr %356, align 4, !tbaa !9
  %357 = load float, ptr %27, align 4, !tbaa !11
  %358 = load ptr, ptr %18, align 8, !tbaa !5
  %359 = load i32, ptr %20, align 4, !tbaa !9
  %360 = sext i32 %359 to i64
  %361 = getelementptr inbounds [16 x float], ptr %358, i64 %360
  %362 = getelementptr inbounds [16 x float], ptr %361, i64 0, i64 3
  store float %357, ptr %362, align 4, !tbaa !11
  %363 = load float, ptr %27, align 4, !tbaa !11
  %364 = fmul float %363, 1.000000e+02
  %365 = load ptr, ptr %18, align 8, !tbaa !5
  %366 = load i32, ptr %20, align 4, !tbaa !9
  %367 = sext i32 %366 to i64
  %368 = getelementptr inbounds [16 x float], ptr %365, i64 %367
  %369 = getelementptr inbounds [16 x float], ptr %368, i64 0, i64 9
  store float %364, ptr %369, align 4, !tbaa !11
  %370 = getelementptr inbounds [6 x i32], ptr %21, i64 0, i64 3
  store i32 1, ptr %370, align 4, !tbaa !9
  br label %371

371:                                              ; preds = %350, %338
  br label %372

372:                                              ; preds = %371, %332
  %373 = getelementptr inbounds [6 x i32], ptr %21, i64 0, i64 4
  %374 = load i32, ptr %373, align 16, !tbaa !9
  %375 = icmp ne i32 %374, 0
  br i1 %375, label %409, label %376

376:                                              ; preds = %372
  %377 = load ptr, ptr %14, align 8, !tbaa !5
  %378 = load i32, ptr %15, align 4, !tbaa !9
  %379 = load ptr, ptr %31, align 8, !tbaa !5
  %380 = load ptr, ptr %33, align 8, !tbaa !5
  %381 = getelementptr inbounds %struct.s_pocket, ptr %380, i32 0, i32 8
  %382 = load i32, ptr %381, align 8, !tbaa !31
  %383 = call float @count_pocket_lig_vert_ovlp(ptr noundef %377, i32 noundef %378, ptr noundef %379, i32 noundef %382, float noundef 3.000000e+00)
  store float %383, ptr %28, align 4, !tbaa !11
  %384 = load float, ptr %28, align 4, !tbaa !11
  %385 = fpext float %384 to double
  %386 = fcmp ogt double %385, 2.000000e-01
  br i1 %386, label %387, label %408

387:                                              ; preds = %376
  %388 = load i32, ptr %23, align 4, !tbaa !9
  %389 = load ptr, ptr %19, align 8, !tbaa !5
  %390 = load i32, ptr %20, align 4, !tbaa !9
  %391 = sext i32 %390 to i64
  %392 = getelementptr inbounds [9 x i32], ptr %389, i64 %391
  %393 = getelementptr inbounds [9 x i32], ptr %392, i64 0, i64 5
  store i32 %388, ptr %393, align 4, !tbaa !9
  %394 = load float, ptr %28, align 4, !tbaa !11
  %395 = load ptr, ptr %18, align 8, !tbaa !5
  %396 = load i32, ptr %20, align 4, !tbaa !9
  %397 = sext i32 %396 to i64
  %398 = getelementptr inbounds [16 x float], ptr %395, i64 %397
  %399 = getelementptr inbounds [16 x float], ptr %398, i64 0, i64 4
  store float %394, ptr %399, align 4, !tbaa !11
  %400 = load float, ptr %28, align 4, !tbaa !11
  %401 = fmul float %400, 1.000000e+02
  %402 = load ptr, ptr %18, align 8, !tbaa !5
  %403 = load i32, ptr %20, align 4, !tbaa !9
  %404 = sext i32 %403 to i64
  %405 = getelementptr inbounds [16 x float], ptr %402, i64 %404
  %406 = getelementptr inbounds [16 x float], ptr %405, i64 0, i64 10
  store float %401, ptr %406, align 4, !tbaa !11
  %407 = getelementptr inbounds [6 x i32], ptr %21, i64 0, i64 4
  store i32 1, ptr %407, align 16, !tbaa !9
  br label %408

408:                                              ; preds = %387, %376
  br label %409

409:                                              ; preds = %408, %372
  %410 = getelementptr inbounds [6 x i32], ptr %21, i64 0, i64 5
  %411 = load i32, ptr %410, align 4, !tbaa !9
  %412 = icmp ne i32 %411, 0
  br i1 %412, label %474, label %413

413:                                              ; preds = %409
  %414 = load ptr, ptr %14, align 8, !tbaa !5
  %415 = load i32, ptr %15, align 4, !tbaa !9
  %416 = load ptr, ptr %31, align 8, !tbaa !5
  %417 = load ptr, ptr %33, align 8, !tbaa !5
  %418 = getelementptr inbounds %struct.s_pocket, ptr %417, i32 0, i32 8
  %419 = load i32, ptr %418, align 8, !tbaa !31
  %420 = load i32, ptr %34, align 4, !tbaa !9
  %421 = call float @count_atm_prop_vert_neigh(ptr noundef %414, i32 noundef %415, ptr noundef %416, i32 noundef %419, float noundef 3.000000e+00, i32 noundef %420)
  store float %421, ptr %27, align 4, !tbaa !11
  %422 = load ptr, ptr %14, align 8, !tbaa !5
  %423 = load i32, ptr %15, align 4, !tbaa !9
  %424 = load ptr, ptr %31, align 8, !tbaa !5
  %425 = load ptr, ptr %33, align 8, !tbaa !5
  %426 = getelementptr inbounds %struct.s_pocket, ptr %425, i32 0, i32 8
  %427 = load i32, ptr %426, align 8, !tbaa !31
  %428 = call float @count_pocket_lig_vert_ovlp(ptr noundef %422, i32 noundef %423, ptr noundef %424, i32 noundef %427, float noundef 3.000000e+00)
  store float %428, ptr %28, align 4, !tbaa !11
  %429 = load float, ptr %28, align 4, !tbaa !11
  %430 = fpext float %429 to double
  %431 = fcmp ogt double %430, 2.000000e-01
  br i1 %431, label %432, label %473

432:                                              ; preds = %413
  %433 = load float, ptr %27, align 4, !tbaa !11
  %434 = fpext float %433 to double
  %435 = fcmp ogt double %434, 5.000000e-01
  br i1 %435, label %436, label %473

436:                                              ; preds = %432
  %437 = load i32, ptr %23, align 4, !tbaa !9
  %438 = load ptr, ptr %19, align 8, !tbaa !5
  %439 = load i32, ptr %20, align 4, !tbaa !9
  %440 = sext i32 %439 to i64
  %441 = getelementptr inbounds [9 x i32], ptr %438, i64 %440
  %442 = getelementptr inbounds [9 x i32], ptr %441, i64 0, i64 6
  store i32 %437, ptr %442, align 4, !tbaa !9
  %443 = load ptr, ptr %18, align 8, !tbaa !5
  %444 = load i32, ptr %20, align 4, !tbaa !9
  %445 = sext i32 %444 to i64
  %446 = getelementptr inbounds [16 x float], ptr %443, i64 %445
  %447 = getelementptr inbounds [16 x float], ptr %446, i64 0, i64 5
  store float 1.000000e+00, ptr %447, align 4, !tbaa !11
  %448 = load ptr, ptr %33, align 8, !tbaa !5
  %449 = getelementptr inbounds %struct.s_pocket, ptr %448, i32 0, i32 0
  %450 = load ptr, ptr %449, align 8, !tbaa !26
  %451 = getelementptr inbounds %struct.s_desc, ptr %450, i32 0, i32 2
  %452 = load float, ptr %451, align 4, !tbaa !28
  %453 = load ptr, ptr %18, align 8, !tbaa !5
  %454 = load i32, ptr %20, align 4, !tbaa !9
  %455 = sext i32 %454 to i64
  %456 = getelementptr inbounds [16 x float], ptr %453, i64 %455
  %457 = getelementptr inbounds [16 x float], ptr %456, i64 0, i64 15
  store float %452, ptr %457, align 4, !tbaa !11
  %458 = load float, ptr %28, align 4, !tbaa !11
  %459 = fmul float %458, 1.000000e+02
  %460 = load ptr, ptr %18, align 8, !tbaa !5
  %461 = load i32, ptr %20, align 4, !tbaa !9
  %462 = sext i32 %461 to i64
  %463 = getelementptr inbounds [16 x float], ptr %460, i64 %462
  %464 = getelementptr inbounds [16 x float], ptr %463, i64 0, i64 11
  store float %459, ptr %464, align 4, !tbaa !11
  %465 = load ptr, ptr %33, align 8, !tbaa !5
  %466 = call i32 @count_pocket_contacted_atms(ptr noundef %465)
  %467 = load ptr, ptr %19, align 8, !tbaa !5
  %468 = load i32, ptr %20, align 4, !tbaa !9
  %469 = sext i32 %468 to i64
  %470 = getelementptr inbounds [9 x i32], ptr %467, i64 %469
  %471 = getelementptr inbounds [9 x i32], ptr %470, i64 0, i64 8
  store i32 %466, ptr %471, align 4, !tbaa !9
  %472 = getelementptr inbounds [6 x i32], ptr %21, i64 0, i64 5
  store i32 1, ptr %472, align 4, !tbaa !9
  br label %473

473:                                              ; preds = %436, %432, %413
  br label %474

474:                                              ; preds = %473, %409
  %475 = load ptr, ptr %31, align 8, !tbaa !5
  call void @my_free(ptr noundef %475)
  br label %476

476:                                              ; preds = %474, %328
  %477 = load ptr, ptr %32, align 8, !tbaa !5
  %478 = getelementptr inbounds %struct.node_pocket, ptr %477, i32 0, i32 0
  %479 = load ptr, ptr %478, align 8, !tbaa !32
  store ptr %479, ptr %32, align 8, !tbaa !5
  %480 = getelementptr inbounds [6 x i32], ptr %21, i64 0, i64 0
  %481 = load i32, ptr %480, align 16, !tbaa !9
  %482 = icmp ne i32 %481, 0
  br i1 %482, label %483, label %504

483:                                              ; preds = %476
  %484 = getelementptr inbounds [6 x i32], ptr %21, i64 0, i64 1
  %485 = load i32, ptr %484, align 4, !tbaa !9
  %486 = icmp ne i32 %485, 0
  br i1 %486, label %487, label %504

487:                                              ; preds = %483
  %488 = getelementptr inbounds [6 x i32], ptr %21, i64 0, i64 2
  %489 = load i32, ptr %488, align 8, !tbaa !9
  %490 = icmp ne i32 %489, 0
  br i1 %490, label %491, label %504

491:                                              ; preds = %487
  %492 = getelementptr inbounds [6 x i32], ptr %21, i64 0, i64 3
  %493 = load i32, ptr %492, align 4, !tbaa !9
  %494 = icmp ne i32 %493, 0
  br i1 %494, label %495, label %504

495:                                              ; preds = %491
  %496 = getelementptr inbounds [6 x i32], ptr %21, i64 0, i64 4
  %497 = load i32, ptr %496, align 16, !tbaa !9
  %498 = icmp ne i32 %497, 0
  br i1 %498, label %499, label %504

499:                                              ; preds = %495
  %500 = getelementptr inbounds [6 x i32], ptr %21, i64 0, i64 5
  %501 = load i32, ptr %500, align 4, !tbaa !9
  %502 = icmp ne i32 %501, 0
  br i1 %502, label %503, label %504

503:                                              ; preds = %499
  br label %505

504:                                              ; preds = %499, %495, %491, %487, %483, %476
  br label %101, !llvm.loop !33

505:                                              ; preds = %503, %101
  %506 = getelementptr inbounds [6 x i32], ptr %21, i64 0, i64 0
  %507 = load i32, ptr %506, align 16, !tbaa !9
  %508 = icmp ne i32 %507, 0
  br i1 %508, label %535, label %509

509:                                              ; preds = %505
  %510 = load ptr, ptr %18, align 8, !tbaa !5
  %511 = load i32, ptr %20, align 4, !tbaa !9
  %512 = sext i32 %511 to i64
  %513 = getelementptr inbounds [16 x float], ptr %510, i64 %512
  %514 = getelementptr inbounds [16 x float], ptr %513, i64 0, i64 2
  store float 0.000000e+00, ptr %514, align 4, !tbaa !11
  %515 = load ptr, ptr %18, align 8, !tbaa !5
  %516 = load i32, ptr %20, align 4, !tbaa !9
  %517 = sext i32 %516 to i64
  %518 = getelementptr inbounds [16 x float], ptr %515, i64 %517
  %519 = getelementptr inbounds [16 x float], ptr %518, i64 0, i64 8
  store float 0.000000e+00, ptr %519, align 4, !tbaa !11
  %520 = load ptr, ptr %19, align 8, !tbaa !5
  %521 = load i32, ptr %20, align 4, !tbaa !9
  %522 = sext i32 %521 to i64
  %523 = getelementptr inbounds [9 x i32], ptr %520, i64 %522
  %524 = getelementptr inbounds [9 x i32], ptr %523, i64 0, i64 3
  store i32 0, ptr %524, align 4, !tbaa !9
  %525 = load ptr, ptr %19, align 8, !tbaa !5
  %526 = load i32, ptr %20, align 4, !tbaa !9
  %527 = sext i32 %526 to i64
  %528 = getelementptr inbounds [9 x i32], ptr %525, i64 %527
  %529 = getelementptr inbounds [9 x i32], ptr %528, i64 0, i64 7
  store i32 -1, ptr %529, align 4, !tbaa !9
  %530 = load ptr, ptr %18, align 8, !tbaa !5
  %531 = load i32, ptr %20, align 4, !tbaa !9
  %532 = sext i32 %531 to i64
  %533 = getelementptr inbounds [16 x float], ptr %530, i64 %532
  %534 = getelementptr inbounds [16 x float], ptr %533, i64 0, i64 14
  store float 0.000000e+00, ptr %534, align 4, !tbaa !11
  br label %535

535:                                              ; preds = %509, %505
  %536 = getelementptr inbounds [6 x i32], ptr %21, i64 0, i64 1
  %537 = load i32, ptr %536, align 4, !tbaa !9
  %538 = icmp ne i32 %537, 0
  br i1 %538, label %555, label %539

539:                                              ; preds = %535
  %540 = load ptr, ptr %18, align 8, !tbaa !5
  %541 = load i32, ptr %20, align 4, !tbaa !9
  %542 = sext i32 %541 to i64
  %543 = getelementptr inbounds [16 x float], ptr %540, i64 %542
  %544 = getelementptr inbounds [16 x float], ptr %543, i64 0, i64 0
  store float 0.000000e+00, ptr %544, align 4, !tbaa !11
  %545 = load ptr, ptr %18, align 8, !tbaa !5
  %546 = load i32, ptr %20, align 4, !tbaa !9
  %547 = sext i32 %546 to i64
  %548 = getelementptr inbounds [16 x float], ptr %545, i64 %547
  %549 = getelementptr inbounds [16 x float], ptr %548, i64 0, i64 6
  store float 0.000000e+00, ptr %549, align 4, !tbaa !11
  %550 = load ptr, ptr %19, align 8, !tbaa !5
  %551 = load i32, ptr %20, align 4, !tbaa !9
  %552 = sext i32 %551 to i64
  %553 = getelementptr inbounds [9 x i32], ptr %550, i64 %552
  %554 = getelementptr inbounds [9 x i32], ptr %553, i64 0, i64 1
  store i32 0, ptr %554, align 4, !tbaa !9
  br label %555

555:                                              ; preds = %539, %535
  %556 = getelementptr inbounds [6 x i32], ptr %21, i64 0, i64 2
  %557 = load i32, ptr %556, align 8, !tbaa !9
  %558 = icmp ne i32 %557, 0
  br i1 %558, label %575, label %559

559:                                              ; preds = %555
  %560 = load ptr, ptr %18, align 8, !tbaa !5
  %561 = load i32, ptr %20, align 4, !tbaa !9
  %562 = sext i32 %561 to i64
  %563 = getelementptr inbounds [16 x float], ptr %560, i64 %562
  %564 = getelementptr inbounds [16 x float], ptr %563, i64 0, i64 1
  store float 0.000000e+00, ptr %564, align 4, !tbaa !11
  %565 = load ptr, ptr %18, align 8, !tbaa !5
  %566 = load i32, ptr %20, align 4, !tbaa !9
  %567 = sext i32 %566 to i64
  %568 = getelementptr inbounds [16 x float], ptr %565, i64 %567
  %569 = getelementptr inbounds [16 x float], ptr %568, i64 0, i64 7
  store float 0.000000e+00, ptr %569, align 4, !tbaa !11
  %570 = load ptr, ptr %19, align 8, !tbaa !5
  %571 = load i32, ptr %20, align 4, !tbaa !9
  %572 = sext i32 %571 to i64
  %573 = getelementptr inbounds [9 x i32], ptr %570, i64 %572
  %574 = getelementptr inbounds [9 x i32], ptr %573, i64 0, i64 2
  store i32 0, ptr %574, align 4, !tbaa !9
  br label %575

575:                                              ; preds = %559, %555
  %576 = getelementptr inbounds [6 x i32], ptr %21, i64 0, i64 3
  %577 = load i32, ptr %576, align 4, !tbaa !9
  %578 = icmp ne i32 %577, 0
  br i1 %578, label %595, label %579

579:                                              ; preds = %575
  %580 = load ptr, ptr %18, align 8, !tbaa !5
  %581 = load i32, ptr %20, align 4, !tbaa !9
  %582 = sext i32 %581 to i64
  %583 = getelementptr inbounds [16 x float], ptr %580, i64 %582
  %584 = getelementptr inbounds [16 x float], ptr %583, i64 0, i64 3
  store float 0.000000e+00, ptr %584, align 4, !tbaa !11
  %585 = load ptr, ptr %18, align 8, !tbaa !5
  %586 = load i32, ptr %20, align 4, !tbaa !9
  %587 = sext i32 %586 to i64
  %588 = getelementptr inbounds [16 x float], ptr %585, i64 %587
  %589 = getelementptr inbounds [16 x float], ptr %588, i64 0, i64 9
  store float 0.000000e+00, ptr %589, align 4, !tbaa !11
  %590 = load ptr, ptr %19, align 8, !tbaa !5
  %591 = load i32, ptr %20, align 4, !tbaa !9
  %592 = sext i32 %591 to i64
  %593 = getelementptr inbounds [9 x i32], ptr %590, i64 %592
  %594 = getelementptr inbounds [9 x i32], ptr %593, i64 0, i64 4
  store i32 0, ptr %594, align 4, !tbaa !9
  br label %595

595:                                              ; preds = %579, %575
  %596 = getelementptr inbounds [6 x i32], ptr %21, i64 0, i64 4
  %597 = load i32, ptr %596, align 16, !tbaa !9
  %598 = icmp ne i32 %597, 0
  br i1 %598, label %615, label %599

599:                                              ; preds = %595
  %600 = load ptr, ptr %18, align 8, !tbaa !5
  %601 = load i32, ptr %20, align 4, !tbaa !9
  %602 = sext i32 %601 to i64
  %603 = getelementptr inbounds [16 x float], ptr %600, i64 %602
  %604 = getelementptr inbounds [16 x float], ptr %603, i64 0, i64 4
  store float 0.000000e+00, ptr %604, align 4, !tbaa !11
  %605 = load ptr, ptr %18, align 8, !tbaa !5
  %606 = load i32, ptr %20, align 4, !tbaa !9
  %607 = sext i32 %606 to i64
  %608 = getelementptr inbounds [16 x float], ptr %605, i64 %607
  %609 = getelementptr inbounds [16 x float], ptr %608, i64 0, i64 10
  store float 0.000000e+00, ptr %609, align 4, !tbaa !11
  %610 = load ptr, ptr %19, align 8, !tbaa !5
  %611 = load i32, ptr %20, align 4, !tbaa !9
  %612 = sext i32 %611 to i64
  %613 = getelementptr inbounds [9 x i32], ptr %610, i64 %612
  %614 = getelementptr inbounds [9 x i32], ptr %613, i64 0, i64 5
  store i32 0, ptr %614, align 4, !tbaa !9
  br label %615

615:                                              ; preds = %599, %595
  %616 = getelementptr inbounds [6 x i32], ptr %21, i64 0, i64 5
  %617 = load i32, ptr %616, align 4, !tbaa !9
  %618 = icmp ne i32 %617, 0
  br i1 %618, label %645, label %619

619:                                              ; preds = %615
  %620 = load ptr, ptr %18, align 8, !tbaa !5
  %621 = load i32, ptr %20, align 4, !tbaa !9
  %622 = sext i32 %621 to i64
  %623 = getelementptr inbounds [16 x float], ptr %620, i64 %622
  %624 = getelementptr inbounds [16 x float], ptr %623, i64 0, i64 5
  store float 0.000000e+00, ptr %624, align 4, !tbaa !11
  %625 = load ptr, ptr %18, align 8, !tbaa !5
  %626 = load i32, ptr %20, align 4, !tbaa !9
  %627 = sext i32 %626 to i64
  %628 = getelementptr inbounds [16 x float], ptr %625, i64 %627
  %629 = getelementptr inbounds [16 x float], ptr %628, i64 0, i64 11
  store float 0.000000e+00, ptr %629, align 4, !tbaa !11
  %630 = load ptr, ptr %19, align 8, !tbaa !5
  %631 = load i32, ptr %20, align 4, !tbaa !9
  %632 = sext i32 %631 to i64
  %633 = getelementptr inbounds [9 x i32], ptr %630, i64 %632
  %634 = getelementptr inbounds [9 x i32], ptr %633, i64 0, i64 6
  store i32 0, ptr %634, align 4, !tbaa !9
  %635 = load ptr, ptr %19, align 8, !tbaa !5
  %636 = load i32, ptr %20, align 4, !tbaa !9
  %637 = sext i32 %636 to i64
  %638 = getelementptr inbounds [9 x i32], ptr %635, i64 %637
  %639 = getelementptr inbounds [9 x i32], ptr %638, i64 0, i64 8
  store i32 -1, ptr %639, align 4, !tbaa !9
  %640 = load ptr, ptr %18, align 8, !tbaa !5
  %641 = load i32, ptr %20, align 4, !tbaa !9
  %642 = sext i32 %641 to i64
  %643 = getelementptr inbounds [16 x float], ptr %640, i64 %642
  %644 = getelementptr inbounds [16 x float], ptr %643, i64 0, i64 15
  store float 0.000000e+00, ptr %644, align 4, !tbaa !11
  br label %645

645:                                              ; preds = %619, %615
  call void @llvm.lifetime.end.p0(i64 4, ptr %36) #6
  call void @llvm.lifetime.end.p0(i64 2, ptr %35) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %34) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %29) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %27) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %24) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %21) #6
  ret void
}

declare void @my_free(ptr noundef) #2

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #3

; Function Attrs: nounwind
declare ptr @strncpy(ptr noundef, ptr noundef, i64 noundef) #4

; Function Attrs: nounwind willreturn memory(read)
declare i32 @strncmp(ptr noundef, ptr noundef, i64 noundef) #5

declare float @dist(float noundef, float noundef, float noundef, float noundef, float noundef, float noundef) #2

declare i32 @count_pocket_contacted_atms(ptr noundef) #2

declare ptr @get_pocket_contacted_atms(ptr noundef, ptr noundef) #2

declare float @atm_corsp(ptr noundef, i32 noundef, ptr noundef, i32 noundef) #2

declare ptr @get_pocket_pvertices(ptr noundef) #2

declare float @count_atm_prop_vert_neigh(ptr noundef, i32 noundef, ptr noundef, i32 noundef, float noundef, i32 noundef) #2

declare float @count_pocket_lig_vert_ovlp(ptr noundef, i32 noundef, ptr noundef, i32 noundef, float noundef) #2

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 = { nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #4 = { nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { nounwind 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 #6 = { nounwind }
attributes #7 = { 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 = !{!"int", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"float", !7, i64 0}
!13 = !{!14, !6, i64 0}
!14 = !{!"c_lst_pockets", !6, i64 0, !6, i64 8, !6, i64 16, !15, i64 24, !6, i64 32}
!15 = !{!"long", !7, i64 0}
!16 = !{!17, !10, i64 96}
!17 = !{!"s_atm", !10, i64 0, !12, i64 4, !12, i64 8, !12, i64 12, !12, i64 16, !12, i64 20, !12, i64 24, !12, i64 28, !7, i64 32, !7, i64 37, !7, i64 44, !7, i64 60, !7, i64 76, !7, i64 79, !10, i64 88, !10, i64 92, !10, i64 96, !10, i64 100, !10, i64 104, !10, i64 108, !10, i64 112, !12, i64 116, !12, i64 120, !12, i64 124, !12, i64 128, !12, i64 132, !12, i64 136, !12, i64 140, !7, i64 144, !7, i64 145, !12, i64 148, !12, i64 152, !12, i64 156, !12, i64 160, !18, i64 164, !6, i64 168, !10, i64 176}
!18 = !{!"short", !7, i64 0}
!19 = distinct !{!19, !20}
!20 = !{!"llvm.loop.mustprogress"}
!21 = !{!22, !6, i64 16}
!22 = !{!"node_pocket", !6, i64 0, !6, i64 8, !6, i64 16}
!23 = !{!17, !12, i64 20}
!24 = !{!17, !12, i64 24}
!25 = !{!17, !12, i64 28}
!26 = !{!27, !6, i64 0}
!27 = !{!"s_pocket", !6, i64 0, !6, i64 8, !12, i64 16, !12, i64 20, !12, i64 24, !12, i64 28, !7, i64 32, !10, i64 44, !10, i64 48, !10, i64 52, !10, i64 56}
!28 = !{!29, !12, i64 8}
!29 = !{!"s_desc", !12, i64 0, !12, i64 4, !12, i64 8, !12, i64 12, !12, i64 16, !12, i64 20, !12, i64 24, !12, i64 28, !12, i64 32, !12, i64 36, !12, i64 40, !12, i64 44, !12, i64 48, !12, i64 52, !12, i64 56, !12, i64 60, !12, i64 64, !12, i64 68, !12, i64 72, !12, i64 76, !12, i64 80, !12, i64 84, !12, i64 88, !12, i64 92, !12, i64 96, !12, i64 100, !12, i64 104, !10, i64 108, !7, i64 112, !10, i64 192, !10, i64 196, !10, i64 200, !12, i64 204, !12, i64 208, !10, i64 212, !10, i64 216, !10, i64 220, !10, i64 224, !10, i64 228, !7, i64 232, !7, i64 487, !7, i64 742}
!30 = distinct !{!30, !20}
!31 = !{!27, !10, i64 48}
!32 = !{!22, !6, i64 0}
!33 = distinct !{!33, !20}


; 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"

; 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
define dso_local void @check_pockets(ptr nocapture noundef readonly %0, ptr noundef %1, i32 noundef %2, ptr noundef %3, i32 noundef %4, ptr noundef %5, i32 noundef %6, ptr nocapture noundef writeonly %7, ptr nocapture noundef writeonly %8, i32 noundef %9) local_unnamed_addr #1 {
  %11 = alloca i32, align 4
  %12 = alloca [2 x i8], align 1
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %11) #5
  store i32 0, ptr %11, align 4, !tbaa !5
  %13 = load ptr, ptr %0, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 2, ptr nonnull %12) #5
  %14 = load ptr, ptr %3, align 8, !tbaa !13
  %15 = getelementptr inbounds i8, ptr %14, i64 44
  %16 = call ptr @strncpy(ptr noundef nonnull dereferenceable(1) %12, ptr noundef nonnull dereferenceable(1) %15, i64 noundef 2) #5
  %17 = icmp sgt i32 %4, 1
  br i1 %17, label %.lr.ph.preheader, label %._crit_edge

.lr.ph.preheader:                                 ; preds = %10
  %18 = getelementptr inbounds i8, ptr %14, i64 96
  %19 = load i32, ptr %18, align 8, !tbaa !14
  %wide.trip.count = zext nneg i32 %4 to i64
  br label %.lr.ph

.lr.ph:                                           ; preds = %.lr.ph.preheader, %28
  %indvars.iv = phi i64 [ 1, %.lr.ph.preheader ], [ %indvars.iv.next, %28 ]
  %.0283 = phi i32 [ %19, %.lr.ph.preheader ], [ %.1, %28 ]
  %.0234282 = phi i32 [ 1, %.lr.ph.preheader ], [ %.1235, %28 ]
  %20 = getelementptr inbounds ptr, ptr %3, i64 %indvars.iv
  %21 = load ptr, ptr %20, align 8, !tbaa !13
  %22 = getelementptr inbounds i8, ptr %21, i64 44
  %23 = call i32 @strncmp(ptr noundef nonnull dereferenceable(1) %12, ptr noundef nonnull dereferenceable(1) %22, i64 noundef 2) #6
  %.not260 = icmp eq i32 %23, 0
  %24 = getelementptr inbounds i8, ptr %21, i64 96
  %25 = load i32, ptr %24, align 8, !tbaa !14
  %.not261 = icmp eq i32 %.0283, %25
  %or.cond297 = select i1 %.not260, i1 %.not261, i1 false
  br i1 %or.cond297, label %28, label %.lr.ph._crit_edge

.lr.ph._crit_edge:                                ; preds = %.lr.ph
  %26 = add nsw i32 %.0234282, 1
  %27 = call ptr @strncpy(ptr noundef nonnull dereferenceable(1) %12, ptr noundef nonnull dereferenceable(1) %22, i64 noundef 2) #5
  br label %28

28:                                               ; preds = %.lr.ph, %.lr.ph._crit_edge
  %.1235 = phi i32 [ %26, %.lr.ph._crit_edge ], [ %.0234282, %.lr.ph ]
  %.1 = phi i32 [ %25, %.lr.ph._crit_edge ], [ %.0283, %.lr.ph ]
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next, %wide.trip.count
  br i1 %exitcond.not, label %._crit_edge, label %.lr.ph, !llvm.loop !18

._crit_edge:                                      ; preds = %28, %10
  %.0234.lcssa = phi i32 [ 1, %10 ], [ %.1235, %28 ]
  %.old24.not = icmp eq ptr %13, null
  br i1 %.old24.not, label %._crit_edge..thread_crit_edge, label %.preheader280

._crit_edge..thread_crit_edge:                    ; preds = %._crit_edge
  %.pre295 = sext i32 %9 to i64
  br label %.thread

.preheader280:                                    ; preds = %._crit_edge
  %29 = icmp slt i32 %4, 1
  %30 = sext i32 %9 to i64
  %31 = getelementptr inbounds [16 x float], ptr %7, i64 %30
  %32 = getelementptr inbounds i8, ptr %31, i64 8
  %33 = icmp slt i32 %2, 1
  %34 = uitofp nneg i32 %2 to float
  %35 = getelementptr inbounds i8, ptr %31, i64 32
  %36 = getelementptr inbounds i8, ptr %31, i64 56
  %37 = getelementptr inbounds [9 x i32], ptr %8, i64 %30
  %38 = getelementptr inbounds i8, ptr %37, i64 12
  %39 = getelementptr inbounds i8, ptr %37, i64 28
  %40 = getelementptr inbounds [9 x i32], ptr %8, i64 %30, i64 1
  %41 = icmp slt i32 %6, 1
  %42 = uitofp nneg i32 %6 to float
  %43 = getelementptr inbounds i8, ptr %31, i64 24
  %44 = getelementptr inbounds [9 x i32], ptr %8, i64 %30, i64 2
  %45 = getelementptr inbounds i8, ptr %31, i64 4
  %46 = getelementptr inbounds i8, ptr %31, i64 28
  %47 = getelementptr inbounds [9 x i32], ptr %8, i64 %30, i64 4
  %48 = getelementptr inbounds i8, ptr %31, i64 12
  %49 = getelementptr inbounds i8, ptr %31, i64 36
  %50 = getelementptr inbounds [9 x i32], ptr %8, i64 %30, i64 5
  %51 = getelementptr inbounds i8, ptr %31, i64 16
  %52 = getelementptr inbounds i8, ptr %31, i64 40
  %53 = getelementptr inbounds i8, ptr %37, i64 24
  %54 = getelementptr inbounds i8, ptr %31, i64 20
  %55 = getelementptr inbounds i8, ptr %31, i64 60
  %56 = getelementptr inbounds i8, ptr %31, i64 44
  %57 = getelementptr inbounds i8, ptr %37, i64 32
  %wide.trip.count293 = zext nneg i32 %4 to i64
  br label %58

58:                                               ; preds = %.preheader280, %167
  %.sroa.12.0 = phi i32 [ %.sroa.12.2, %167 ], [ 0, %.preheader280 ]
  %.sroa.17.0 = phi i32 [ %.sroa.17.2, %167 ], [ 0, %.preheader280 ]
  %.sroa.22.0 = phi i32 [ %.sroa.22.2, %167 ], [ 0, %.preheader280 ]
  %.sroa.27.0 = phi i32 [ %.sroa.27.2, %167 ], [ 0, %.preheader280 ]
  %.0239 = phi i32 [ %59, %167 ], [ 0, %.preheader280 ]
  %.sroa.7.0 = phi i32 [ %.sroa.7.2, %167 ], [ 0, %.preheader280 ]
  %.sroa.0.0 = phi i32 [ %.sroa.0.1, %167 ], [ 0, %.preheader280 ]
  %.0236 = phi ptr [ %168, %167 ], [ %13, %.preheader280 ]
  %59 = add nuw nsw i32 %.0239, 1
  %60 = getelementptr inbounds i8, ptr %.0236, i64 16
  %61 = load ptr, ptr %60, align 8, !tbaa !20
  %.not = icmp ne i32 %.sroa.0.0, 0
  %brmerge = or i1 %.not, %29
  %not..not = xor i1 %.not, true
  %.mux287 = zext i1 %.not to i32
  br i1 %brmerge, label %.loopexit, label %.lr.ph285

.lr.ph285:                                        ; preds = %58
  %62 = getelementptr inbounds i8, ptr %61, i64 32
  %63 = getelementptr inbounds i8, ptr %61, i64 36
  %64 = getelementptr inbounds i8, ptr %61, i64 40
  br label %66

65:                                               ; preds = %66
  %indvars.iv.next291 = add nuw nsw i64 %indvars.iv290, 1
  %exitcond294.not = icmp eq i64 %indvars.iv.next291, %wide.trip.count293
  br i1 %exitcond294.not, label %.loopexit, label %66, !llvm.loop !22

66:                                               ; preds = %.lr.ph285, %65
  %indvars.iv290 = phi i64 [ 0, %.lr.ph285 ], [ %indvars.iv.next291, %65 ]
  %67 = getelementptr inbounds ptr, ptr %3, i64 %indvars.iv290
  %68 = load ptr, ptr %67, align 8, !tbaa !13
  %69 = getelementptr inbounds i8, ptr %68, i64 20
  %70 = load float, ptr %69, align 4, !tbaa !23
  %71 = getelementptr inbounds i8, ptr %68, i64 24
  %72 = load float, ptr %71, align 8, !tbaa !24
  %73 = getelementptr inbounds i8, ptr %68, i64 28
  %74 = load float, ptr %73, align 4, !tbaa !25
  %75 = load float, ptr %62, align 8, !tbaa !26
  %76 = load float, ptr %63, align 4, !tbaa !26
  %77 = load float, ptr %64, align 8, !tbaa !26
  %78 = call float @dist(float noundef %70, float noundef %72, float noundef %74, float noundef %75, float noundef %76, float noundef %77) #5
  %79 = fcmp olt float %78, 4.000000e+00
  br i1 %79, label %80, label %65

80:                                               ; preds = %66
  store float %78, ptr %32, align 4, !tbaa !26
  br i1 %33, label %87, label %81

81:                                               ; preds = %80
  %82 = load i32, ptr %11, align 4, !tbaa !5
  %83 = sitofp i32 %82 to float
  %84 = fdiv float %83, %34
  %85 = fpext float %84 to double
  %86 = fmul double %85, 1.000000e+02
  br label %87

87:                                               ; preds = %80, %81
  %88 = phi double [ %86, %81 ], [ -1.000000e+00, %80 ]
  %89 = fptrunc double %88 to float
  store float %89, ptr %35, align 4, !tbaa !26
  %90 = load ptr, ptr %61, align 8, !tbaa !27
  %91 = getelementptr inbounds i8, ptr %90, i64 8
  %92 = load float, ptr %91, align 4, !tbaa !29
  store float %92, ptr %36, align 4, !tbaa !26
  store i32 %59, ptr %38, align 4, !tbaa !5
  %93 = call i32 @count_pocket_contacted_atms(ptr noundef nonnull %61) #5
  store i32 %93, ptr %39, align 4, !tbaa !5
  br label %.loopexit

.loopexit:                                        ; preds = %65, %58, %87
  %.not251 = phi i1 [ %not..not, %58 ], [ false, %87 ], [ true, %65 ]
  %.sroa.0.1 = phi i32 [ %.mux287, %58 ], [ 1, %87 ], [ 0, %65 ]
  %94 = icmp ne i32 %.sroa.7.0, 0
  %95 = icmp ne i32 %.sroa.12.0, 0
  %or.cond = and i1 %95, %94
  br i1 %or.cond, label %128, label %96

96:                                               ; preds = %.loopexit
  %97 = call ptr @get_pocket_contacted_atms(ptr noundef %61, ptr noundef nonnull %11) #5
  br i1 %94, label %112, label %98

98:                                               ; preds = %96
  %99 = load i32, ptr %11, align 4, !tbaa !5
  %100 = call float @atm_corsp(ptr noundef %5, i32 noundef %6, ptr noundef %97, i32 noundef %99) #5
  %101 = fcmp ogt float %100, 5.000000e+01
  br i1 %101, label %102, label %112

102:                                              ; preds = %98
  store i32 %59, ptr %40, align 4, !tbaa !5
  store float %100, ptr %31, align 4, !tbaa !26
  br i1 %41, label %109, label %103

103:                                              ; preds = %102
  %104 = load i32, ptr %11, align 4, !tbaa !5
  %105 = sitofp i32 %104 to float
  %106 = fdiv float %105, %42
  %107 = fpext float %106 to double
  %108 = fmul double %107, 1.000000e+02
  br label %109

109:                                              ; preds = %102, %103
  %110 = phi double [ %108, %103 ], [ -1.000000e+00, %102 ]
  %111 = fptrunc double %110 to float
  store float %111, ptr %43, align 4, !tbaa !26
  br label %112

112:                                              ; preds = %98, %109, %96
  %.sroa.7.1 = phi i32 [ 1, %96 ], [ 1, %109 ], [ 0, %98 ]
  br i1 %95, label %127, label %113

113:                                              ; preds = %112
  %114 = load i32, ptr %11, align 4, !tbaa !5
  %115 = call float @atm_corsp(ptr noundef %1, i32 noundef %2, ptr noundef %97, i32 noundef %114) #5
  %116 = fcmp ogt float %115, 5.000000e+01
  br i1 %116, label %117, label %127

117:                                              ; preds = %113
  store i32 %59, ptr %44, align 4, !tbaa !5
  store float %115, ptr %45, align 4, !tbaa !26
  br i1 %33, label %124, label %118

118:                                              ; preds = %117
  %119 = load i32, ptr %11, align 4, !tbaa !5
  %120 = sitofp i32 %119 to float
  %121 = fdiv float %120, %34
  %122 = fpext float %121 to double
  %123 = fmul double %122, 1.000000e+02
  br label %124

124:                                              ; preds = %117, %118
  %125 = phi double [ %123, %118 ], [ -1.000000e+00, %117 ]
  %126 = fptrunc double %125 to float
  store float %126, ptr %46, align 4, !tbaa !26
  br label %127

127:                                              ; preds = %113, %124, %112
  %.sroa.12.1 = phi i32 [ 1, %112 ], [ 1, %124 ], [ 0, %113 ]
  call void @my_free(ptr noundef %97) #5
  br label %128

128:                                              ; preds = %.loopexit, %127
  %.sroa.12.2 = phi i32 [ 1, %.loopexit ], [ %.sroa.12.1, %127 ]
  %.sroa.7.2 = phi i32 [ 1, %.loopexit ], [ %.sroa.7.1, %127 ]
  %129 = icmp ne i32 %.sroa.17.0, 0
  %130 = icmp ne i32 %.sroa.22.0, 0
  %or.cond5 = and i1 %129, %130
  %131 = icmp ne i32 %.sroa.27.0, 0
  %or.cond8 = and i1 %or.cond5, %131
  br i1 %or.cond8, label %167, label %132

132:                                              ; preds = %128
  %133 = call ptr @get_pocket_pvertices(ptr noundef %61) #5
  br i1 %129, label %141, label %134

134:                                              ; preds = %132
  %135 = getelementptr inbounds i8, ptr %61, i64 48
  %136 = load i32, ptr %135, align 8, !tbaa !31
  %137 = call float @count_atm_prop_vert_neigh(ptr noundef nonnull %3, i32 noundef %4, ptr noundef %133, i32 noundef %136, float noundef 3.000000e+00, i32 noundef %.0234.lcssa) #5
  %138 = fcmp ogt float %137, 5.000000e-01
  br i1 %138, label %139, label %141

139:                                              ; preds = %134
  store i32 %59, ptr %47, align 4, !tbaa !5
  store float %137, ptr %48, align 4, !tbaa !26
  %140 = fmul float %137, 1.000000e+02
  store float %140, ptr %49, align 4, !tbaa !26
  br label %141

141:                                              ; preds = %134, %139, %132
  %.sroa.17.1 = phi i32 [ 1, %132 ], [ 1, %139 ], [ 0, %134 ]
  br i1 %130, label %150, label %142

142:                                              ; preds = %141
  %143 = getelementptr inbounds i8, ptr %61, i64 48
  %144 = load i32, ptr %143, align 8, !tbaa !31
  %145 = call float @count_pocket_lig_vert_ovlp(ptr noundef nonnull %3, i32 noundef %4, ptr noundef %133, i32 noundef %144, float noundef 3.000000e+00) #5
  %146 = fpext float %145 to double
  %147 = fcmp ogt double %146, 2.000000e-01
  br i1 %147, label %148, label %150

148:                                              ; preds = %142
  store i32 %59, ptr %50, align 4, !tbaa !5
  store float %145, ptr %51, align 4, !tbaa !26
  %149 = fmul float %145, 1.000000e+02
  store float %149, ptr %52, align 4, !tbaa !26
  br label %150

150:                                              ; preds = %142, %148, %141
  %.sroa.22.1 = phi i32 [ 1, %141 ], [ 1, %148 ], [ 0, %142 ]
  br i1 %131, label %166, label %151

151:                                              ; preds = %150
  %152 = getelementptr inbounds i8, ptr %61, i64 48
  %153 = load i32, ptr %152, align 8, !tbaa !31
  %154 = call float @count_atm_prop_vert_neigh(ptr noundef nonnull %3, i32 noundef %4, ptr noundef %133, i32 noundef %153, float noundef 3.000000e+00, i32 noundef %.0234.lcssa) #5
  %155 = load i32, ptr %152, align 8, !tbaa !31
  %156 = call float @count_pocket_lig_vert_ovlp(ptr noundef nonnull %3, i32 noundef %4, ptr noundef %133, i32 noundef %155, float noundef 3.000000e+00) #5
  %157 = fpext float %156 to double
  %158 = fcmp ogt double %157, 2.000000e-01
  %159 = fcmp ogt float %154, 5.000000e-01
  %or.cond262 = select i1 %158, i1 %159, i1 false
  br i1 %or.cond262, label %160, label %166

160:                                              ; preds = %151
  store i32 %59, ptr %53, align 4, !tbaa !5
  store float 1.000000e+00, ptr %54, align 4, !tbaa !26
  %161 = load ptr, ptr %61, align 8, !tbaa !27
  %162 = getelementptr inbounds i8, ptr %161, i64 8
  %163 = load float, ptr %162, align 4, !tbaa !29
  store float %163, ptr %55, align 4, !tbaa !26
  %164 = fmul float %156, 1.000000e+02
  store float %164, ptr %56, align 4, !tbaa !26
  %165 = call i32 @count_pocket_contacted_atms(ptr noundef nonnull %61) #5
  store i32 %165, ptr %57, align 4, !tbaa !5
  br label %166

166:                                              ; preds = %151, %160, %150
  %.sroa.27.1 = phi i32 [ 1, %150 ], [ 1, %160 ], [ 0, %151 ]
  call void @my_free(ptr noundef %133) #5
  br label %167

167:                                              ; preds = %128, %166
  %.sroa.17.2 = phi i32 [ 1, %128 ], [ %.sroa.17.1, %166 ]
  %.sroa.22.2 = phi i32 [ 1, %128 ], [ %.sroa.22.1, %166 ]
  %.sroa.27.2 = phi i32 [ 1, %128 ], [ %.sroa.27.1, %166 ]
  %168 = load ptr, ptr %.0236, align 8, !tbaa !32
  %169 = icmp eq i32 %.sroa.7.2, 0
  %170 = icmp eq i32 %.sroa.12.2, 0
  %171 = or i1 %169, %170
  %172 = icmp eq i32 %.sroa.17.2, 0
  %173 = or i1 %171, %172
  %174 = icmp eq i32 %.sroa.22.2, 0
  %175 = or i1 %173, %174
  %176 = icmp eq i32 %.sroa.27.2, 0
  %177 = or i1 %175, %176
  %or.cond23.not244 = or i1 %177, %.not251
  %178 = icmp ne ptr %168, null
  %or.cond25 = select i1 %or.cond23.not244, i1 %178, i1 false
  br i1 %or.cond25, label %58, label %179, !llvm.loop !33

179:                                              ; preds = %167
  br i1 %.not251, label %.thread, label %187

.thread:                                          ; preds = %._crit_edge..thread_crit_edge, %179
  %.pre-phi = phi i64 [ %.pre295, %._crit_edge..thread_crit_edge ], [ %30, %179 ]
  %.sroa.7.3279 = phi i32 [ 0, %._crit_edge..thread_crit_edge ], [ %.sroa.7.2, %179 ]
  %.sroa.27.3277 = phi i32 [ 0, %._crit_edge..thread_crit_edge ], [ %.sroa.27.2, %179 ]
  %.sroa.22.3275 = phi i32 [ 0, %._crit_edge..thread_crit_edge ], [ %.sroa.22.2, %179 ]
  %.sroa.17.3273 = phi i32 [ 0, %._crit_edge..thread_crit_edge ], [ %.sroa.17.2, %179 ]
  %.sroa.12.3271 = phi i32 [ 0, %._crit_edge..thread_crit_edge ], [ %.sroa.12.2, %179 ]
  %180 = getelementptr inbounds [16 x float], ptr %7, i64 %.pre-phi
  %181 = getelementptr inbounds i8, ptr %180, i64 8
  store float 0.000000e+00, ptr %181, align 4, !tbaa !26
  %182 = getelementptr inbounds i8, ptr %180, i64 32
  store float 0.000000e+00, ptr %182, align 4, !tbaa !26
  %183 = getelementptr inbounds [9 x i32], ptr %8, i64 %.pre-phi
  %184 = getelementptr inbounds i8, ptr %183, i64 12
  store i32 0, ptr %184, align 4, !tbaa !5
  %185 = getelementptr inbounds i8, ptr %183, i64 28
  store i32 -1, ptr %185, align 4, !tbaa !5
  %186 = getelementptr inbounds i8, ptr %180, i64 56
  store float 0.000000e+00, ptr %186, align 4, !tbaa !26
  br label %187

187:                                              ; preds = %.thread, %179
  %.sroa.7.3278 = phi i32 [ %.sroa.7.3279, %.thread ], [ %.sroa.7.2, %179 ]
  %.sroa.27.3276 = phi i32 [ %.sroa.27.3277, %.thread ], [ %.sroa.27.2, %179 ]
  %.sroa.22.3274 = phi i32 [ %.sroa.22.3275, %.thread ], [ %.sroa.22.2, %179 ]
  %.sroa.17.3272 = phi i32 [ %.sroa.17.3273, %.thread ], [ %.sroa.17.2, %179 ]
  %.sroa.12.3270 = phi i32 [ %.sroa.12.3271, %.thread ], [ %.sroa.12.2, %179 ]
  %.not255 = icmp eq i32 %.sroa.7.3278, 0
  br i1 %.not255, label %188, label %193

188:                                              ; preds = %187
  %189 = sext i32 %9 to i64
  %190 = getelementptr inbounds [16 x float], ptr %7, i64 %189
  store float 0.000000e+00, ptr %190, align 4, !tbaa !26
  %191 = getelementptr inbounds i8, ptr %190, i64 24
  store float 0.000000e+00, ptr %191, align 4, !tbaa !26
  %192 = getelementptr inbounds [9 x i32], ptr %8, i64 %189, i64 1
  store i32 0, ptr %192, align 4, !tbaa !5
  br label %193

193:                                              ; preds = %188, %187
  %.not256 = icmp eq i32 %.sroa.12.3270, 0
  br i1 %.not256, label %194, label %200

194:                                              ; preds = %193
  %195 = sext i32 %9 to i64
  %196 = getelementptr inbounds [16 x float], ptr %7, i64 %195
  %197 = getelementptr inbounds i8, ptr %196, i64 4
  store float 0.000000e+00, ptr %197, align 4, !tbaa !26
  %198 = getelementptr inbounds i8, ptr %196, i64 28
  store float 0.000000e+00, ptr %198, align 4, !tbaa !26
  %199 = getelementptr inbounds [9 x i32], ptr %8, i64 %195, i64 2
  store i32 0, ptr %199, align 4, !tbaa !5
  br label %200

200:                                              ; preds = %194, %193
  %.not257 = icmp eq i32 %.sroa.17.3272, 0
  br i1 %.not257, label %201, label %207

201:                                              ; preds = %200
  %202 = sext i32 %9 to i64
  %203 = getelementptr inbounds [16 x float], ptr %7, i64 %202
  %204 = getelementptr inbounds i8, ptr %203, i64 12
  store float 0.000000e+00, ptr %204, align 4, !tbaa !26
  %205 = getelementptr inbounds i8, ptr %203, i64 36
  store float 0.000000e+00, ptr %205, align 4, !tbaa !26
  %206 = getelementptr inbounds [9 x i32], ptr %8, i64 %202, i64 4
  store i32 0, ptr %206, align 4, !tbaa !5
  br label %207

207:                                              ; preds = %201, %200
  %.not258 = icmp eq i32 %.sroa.22.3274, 0
  br i1 %.not258, label %208, label %214

208:                                              ; preds = %207
  %209 = sext i32 %9 to i64
  %210 = getelementptr inbounds [16 x float], ptr %7, i64 %209
  %211 = getelementptr inbounds i8, ptr %210, i64 16
  store float 0.000000e+00, ptr %211, align 4, !tbaa !26
  %212 = getelementptr inbounds i8, ptr %210, i64 40
  store float 0.000000e+00, ptr %212, align 4, !tbaa !26
  %213 = getelementptr inbounds [9 x i32], ptr %8, i64 %209, i64 5
  store i32 0, ptr %213, align 4, !tbaa !5
  br label %214

214:                                              ; preds = %208, %207
  %.not259 = icmp eq i32 %.sroa.27.3276, 0
  br i1 %.not259, label %215, label %224

215:                                              ; preds = %214
  %216 = sext i32 %9 to i64
  %217 = getelementptr inbounds [16 x float], ptr %7, i64 %216
  %218 = getelementptr inbounds i8, ptr %217, i64 20
  store float 0.000000e+00, ptr %218, align 4, !tbaa !26
  %219 = getelementptr inbounds i8, ptr %217, i64 44
  store float 0.000000e+00, ptr %219, align 4, !tbaa !26
  %220 = getelementptr inbounds [9 x i32], ptr %8, i64 %216
  %221 = getelementptr inbounds i8, ptr %220, i64 24
  store i32 0, ptr %221, align 4, !tbaa !5
  %222 = getelementptr inbounds i8, ptr %220, i64 32
  store i32 -1, ptr %222, align 4, !tbaa !5
  %223 = getelementptr inbounds i8, ptr %217, i64 60
  store float 0.000000e+00, ptr %223, align 4, !tbaa !26
  br label %224

224:                                              ; preds = %215, %214
  call void @llvm.lifetime.end.p0(i64 2, ptr nonnull %12) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %11) #5
  ret void
}

declare void @my_free(ptr noundef) local_unnamed_addr #2

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

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

declare float @dist(float noundef, float noundef, float noundef, float noundef, float noundef, float noundef) local_unnamed_addr #2

declare i32 @count_pocket_contacted_atms(ptr noundef) local_unnamed_addr #2

declare ptr @get_pocket_contacted_atms(ptr noundef, ptr noundef) local_unnamed_addr #2

declare float @atm_corsp(ptr noundef, i32 noundef, ptr noundef, i32 noundef) local_unnamed_addr #2

declare ptr @get_pocket_pvertices(ptr noundef) local_unnamed_addr #2

declare float @count_atm_prop_vert_neigh(ptr noundef, i32 noundef, ptr noundef, i32 noundef, float noundef, i32 noundef) local_unnamed_addr #2

declare float @count_pocket_lig_vert_ovlp(ptr noundef, i32 noundef, ptr noundef, i32 noundef, float noundef) local_unnamed_addr #2

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 = { "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 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 #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 }
attributes #6 = { 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 = !{!10, !11, i64 0}
!10 = !{!"c_lst_pockets", !11, i64 0, !11, i64 8, !11, i64 16, !12, i64 24, !11, i64 32}
!11 = !{!"any pointer", !7, i64 0}
!12 = !{!"long", !7, i64 0}
!13 = !{!11, !11, i64 0}
!14 = !{!15, !6, i64 96}
!15 = !{!"s_atm", !6, i64 0, !16, i64 4, !16, i64 8, !16, i64 12, !16, i64 16, !16, i64 20, !16, i64 24, !16, 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, !16, i64 116, !16, i64 120, !16, i64 124, !16, i64 128, !16, i64 132, !16, i64 136, !16, i64 140, !7, i64 144, !7, i64 145, !16, i64 148, !16, i64 152, !16, i64 156, !16, i64 160, !17, i64 164, !11, i64 168, !6, i64 176}
!16 = !{!"float", !7, i64 0}
!17 = !{!"short", !7, i64 0}
!18 = distinct !{!18, !19}
!19 = !{!"llvm.loop.mustprogress"}
!20 = !{!21, !11, i64 16}
!21 = !{!"node_pocket", !11, i64 0, !11, i64 8, !11, i64 16}
!22 = distinct !{!22, !19}
!23 = !{!15, !16, i64 20}
!24 = !{!15, !16, i64 24}
!25 = !{!15, !16, i64 28}
!26 = !{!16, !16, i64 0}
!27 = !{!28, !11, i64 0}
!28 = !{!"s_pocket", !11, i64 0, !11, i64 8, !16, i64 16, !16, i64 20, !16, i64 24, !16, i64 28, !7, i64 32, !6, i64 44, !6, i64 48, !6, i64 52, !6, i64 56}
!29 = !{!30, !16, i64 8}
!30 = !{!"s_desc", !16, i64 0, !16, i64 4, !16, i64 8, !16, i64 12, !16, i64 16, !16, i64 20, !16, i64 24, !16, i64 28, !16, i64 32, !16, i64 36, !16, i64 40, !16, i64 44, !16, i64 48, !16, i64 52, !16, i64 56, !16, i64 60, !16, i64 64, !16, i64 68, !16, i64 72, !16, i64 76, !16, i64 80, !16, i64 84, !16, i64 88, !16, i64 92, !16, i64 96, !16, i64 100, !16, i64 104, !6, i64 108, !7, i64 112, !6, i64 192, !6, i64 196, !6, i64 200, !16, i64 204, !16, i64 208, !6, i64 212, !6, i64 216, !6, i64 220, !6, i64 224, !6, i64 228, !7, i64 232, !7, i64 487, !7, i64 742}
!31 = !{!28, !6, i64 48}
!32 = !{!21, !11, i64 0}
!33 = distinct !{!33, !19}


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