; LLVM IR from askforalfred/alfred :: gen/ff_planner (relax)

; 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._FtConn = type { ptr, i32, ptr, i32, ptr, i32, ptr, i32, i32, float, i8, i32, i32, i8, i32, i8 }
%struct._FlConn = type { ptr, i32, ptr, ptr, ptr, i32, ptr, ptr, ptr, i32, i8, ptr, ptr, i32, i8, float, i8, ptr, ptr, i8, float, i32 }

@gnum_fl_conn = external global i32, align 4
@gfl_conn = external global ptr, align 8
@gft_conn = external global ptr, align 8
@gnum_ft_conn = external global i32, align 4
@gnum_flogic_goal = external global i32, align 4
@gflogic_goal = external global ptr, align 8
@gnum_fnumeric_goal = external global i32, align 4
@gfnumeric_goal_fl = external global ptr, align 8
@gfnumeric_goal_comp = external global ptr, align 8
@gfnumeric_goal_c = external global ptr, align 8
@lch_F = external dso_local global ptr, align 8
@lnum_ch_F = external dso_local global i32, align 4
@initialize_goals.first_call = external hidden global i8, align 1
@initialize_goals.highest_seen = external hidden global i32, align 4
@lgoals_at = external dso_local global ptr, align 8
@lnum_goals_at = external dso_local global ptr, align 8
@lf_goals_c_at = external dso_local global ptr, align 8
@lf_goals_comp_at = external dso_local global ptr, align 8
@lHcomp = external dso_local global ptr, align 8
@lHc = external dso_local global ptr, align 8
@.str.48 = external hidden unnamed_addr constant [37 x i8], align 1

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

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

; Function Attrs: nounwind allocsize(0,1)
declare noalias ptr @calloc(i64 noundef, i64 noundef) #1

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

; Function Attrs: nounwind
declare void @free(ptr noundef) #3

; Function Attrs: noreturn nounwind
declare void @exit(i32 noundef) #4

declare zeroext i8 @number_comparison_holds(i32 noundef, float noundef, float noundef) #2

; Function Attrs: nounwind uwtable
define dso_local i32 @initialize_goals(i32 noundef %0) #5 {
  %2 = alloca i32, align 4
  %3 = alloca i32, align 4
  %4 = alloca i32, align 4
  %5 = alloca i32, align 4
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  %8 = alloca i32, align 4
  %9 = alloca float, align 4
  store i32 %0, ptr %2, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %3) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %4) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %5) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #6
  %10 = load i8, ptr @initialize_goals.first_call, align 1, !tbaa !9
  %11 = icmp ne i8 %10, 0
  br i1 %11, label %12, label %52

12:                                               ; preds = %1
  %13 = call noalias ptr @calloc(i64 noundef 25, i64 noundef 8) #7
  store ptr %13, ptr @lgoals_at, align 8, !tbaa !10
  %14 = call noalias ptr @calloc(i64 noundef 25, i64 noundef 4) #7
  store ptr %14, ptr @lnum_goals_at, align 8, !tbaa !10
  %15 = call noalias ptr @calloc(i64 noundef 25, i64 noundef 8) #7
  store ptr %15, ptr @lf_goals_c_at, align 8, !tbaa !10
  %16 = call noalias ptr @calloc(i64 noundef 25, i64 noundef 8) #7
  store ptr %16, ptr @lf_goals_comp_at, align 8, !tbaa !10
  store i32 0, ptr %3, align 4, !tbaa !5
  br label %17

17:                                               ; preds = %42, %12
  %18 = load i32, ptr %3, align 4, !tbaa !5
  %19 = icmp slt i32 %18, 25
  br i1 %19, label %20, label %45

20:                                               ; preds = %17
  %21 = load i32, ptr @gnum_ft_conn, align 4, !tbaa !5
  %22 = sext i32 %21 to i64
  %23 = call noalias ptr @calloc(i64 noundef %22, i64 noundef 4) #7
  %24 = load ptr, ptr @lgoals_at, align 8, !tbaa !10
  %25 = load i32, ptr %3, align 4, !tbaa !5
  %26 = sext i32 %25 to i64
  %27 = getelementptr inbounds ptr, ptr %24, i64 %26
  store ptr %23, ptr %27, align 8, !tbaa !10
  %28 = load i32, ptr @gnum_fl_conn, align 4, !tbaa !5
  %29 = sext i32 %28 to i64
  %30 = call noalias ptr @calloc(i64 noundef %29, i64 noundef 4) #7
  %31 = load ptr, ptr @lf_goals_c_at, align 8, !tbaa !10
  %32 = load i32, ptr %3, align 4, !tbaa !5
  %33 = sext i32 %32 to i64
  %34 = getelementptr inbounds ptr, ptr %31, i64 %33
  store ptr %30, ptr %34, align 8, !tbaa !10
  %35 = load i32, ptr @gnum_fl_conn, align 4, !tbaa !5
  %36 = sext i32 %35 to i64
  %37 = call noalias ptr @calloc(i64 noundef %36, i64 noundef 4) #7
  %38 = load ptr, ptr @lf_goals_comp_at, align 8, !tbaa !10
  %39 = load i32, ptr %3, align 4, !tbaa !5
  %40 = sext i32 %39 to i64
  %41 = getelementptr inbounds ptr, ptr %38, i64 %40
  store ptr %37, ptr %41, align 8, !tbaa !10
  br label %42

42:                                               ; preds = %20
  %43 = load i32, ptr %3, align 4, !tbaa !5
  %44 = add nsw i32 %43, 1
  store i32 %44, ptr %3, align 4, !tbaa !5
  br label %17, !llvm.loop !12

45:                                               ; preds = %17
  store i32 25, ptr @initialize_goals.highest_seen, align 4, !tbaa !5
  %46 = load i32, ptr @gnum_fl_conn, align 4, !tbaa !5
  %47 = sext i32 %46 to i64
  %48 = call noalias ptr @calloc(i64 noundef %47, i64 noundef 4) #7
  store ptr %48, ptr @lHcomp, align 8, !tbaa !10
  %49 = load i32, ptr @gnum_fl_conn, align 4, !tbaa !5
  %50 = sext i32 %49 to i64
  %51 = call noalias ptr @calloc(i64 noundef %50, i64 noundef 4) #7
  store ptr %51, ptr @lHc, align 8, !tbaa !10
  store i8 0, ptr @initialize_goals.first_call, align 1, !tbaa !9
  br label %52

52:                                               ; preds = %45, %1
  %53 = load i32, ptr %2, align 4, !tbaa !5
  %54 = add nsw i32 %53, 1
  %55 = load i32, ptr @initialize_goals.highest_seen, align 4, !tbaa !5
  %56 = icmp sgt i32 %54, %55
  br i1 %56, label %57, label %130

57:                                               ; preds = %52
  store i32 0, ptr %3, align 4, !tbaa !5
  br label %58

58:                                               ; preds = %78, %57
  %59 = load i32, ptr %3, align 4, !tbaa !5
  %60 = load i32, ptr @initialize_goals.highest_seen, align 4, !tbaa !5
  %61 = icmp slt i32 %59, %60
  br i1 %61, label %62, label %81

62:                                               ; preds = %58
  %63 = load ptr, ptr @lgoals_at, align 8, !tbaa !10
  %64 = load i32, ptr %3, align 4, !tbaa !5
  %65 = sext i32 %64 to i64
  %66 = getelementptr inbounds ptr, ptr %63, i64 %65
  %67 = load ptr, ptr %66, align 8, !tbaa !10
  call void @free(ptr noundef %67) #6
  %68 = load ptr, ptr @lf_goals_c_at, align 8, !tbaa !10
  %69 = load i32, ptr %3, align 4, !tbaa !5
  %70 = sext i32 %69 to i64
  %71 = getelementptr inbounds ptr, ptr %68, i64 %70
  %72 = load ptr, ptr %71, align 8, !tbaa !10
  call void @free(ptr noundef %72) #6
  %73 = load ptr, ptr @lf_goals_comp_at, align 8, !tbaa !10
  %74 = load i32, ptr %3, align 4, !tbaa !5
  %75 = sext i32 %74 to i64
  %76 = getelementptr inbounds ptr, ptr %73, i64 %75
  %77 = load ptr, ptr %76, align 8, !tbaa !10
  call void @free(ptr noundef %77) #6
  br label %78

78:                                               ; preds = %62
  %79 = load i32, ptr %3, align 4, !tbaa !5
  %80 = add nsw i32 %79, 1
  store i32 %80, ptr %3, align 4, !tbaa !5
  br label %58, !llvm.loop !14

81:                                               ; preds = %58
  %82 = load ptr, ptr @lgoals_at, align 8, !tbaa !10
  call void @free(ptr noundef %82) #6
  %83 = load ptr, ptr @lnum_goals_at, align 8, !tbaa !10
  call void @free(ptr noundef %83) #6
  %84 = load ptr, ptr @lf_goals_c_at, align 8, !tbaa !10
  call void @free(ptr noundef %84) #6
  %85 = load ptr, ptr @lf_goals_comp_at, align 8, !tbaa !10
  call void @free(ptr noundef %85) #6
  %86 = load i32, ptr %2, align 4, !tbaa !5
  %87 = add nsw i32 %86, 10
  store i32 %87, ptr @initialize_goals.highest_seen, align 4, !tbaa !5
  %88 = load i32, ptr @initialize_goals.highest_seen, align 4, !tbaa !5
  %89 = sext i32 %88 to i64
  %90 = call noalias ptr @calloc(i64 noundef %89, i64 noundef 8) #7
  store ptr %90, ptr @lgoals_at, align 8, !tbaa !10
  %91 = load i32, ptr @initialize_goals.highest_seen, align 4, !tbaa !5
  %92 = sext i32 %91 to i64
  %93 = call noalias ptr @calloc(i64 noundef %92, i64 noundef 4) #7
  store ptr %93, ptr @lnum_goals_at, align 8, !tbaa !10
  %94 = load i32, ptr @initialize_goals.highest_seen, align 4, !tbaa !5
  %95 = sext i32 %94 to i64
  %96 = call noalias ptr @calloc(i64 noundef %95, i64 noundef 8) #7
  store ptr %96, ptr @lf_goals_c_at, align 8, !tbaa !10
  %97 = load i32, ptr @initialize_goals.highest_seen, align 4, !tbaa !5
  %98 = sext i32 %97 to i64
  %99 = call noalias ptr @calloc(i64 noundef %98, i64 noundef 8) #7
  store ptr %99, ptr @lf_goals_comp_at, align 8, !tbaa !10
  store i32 0, ptr %3, align 4, !tbaa !5
  br label %100

100:                                              ; preds = %126, %81
  %101 = load i32, ptr %3, align 4, !tbaa !5
  %102 = load i32, ptr @initialize_goals.highest_seen, align 4, !tbaa !5
  %103 = icmp slt i32 %101, %102
  br i1 %103, label %104, label %129

104:                                              ; preds = %100
  %105 = load i32, ptr @gnum_ft_conn, align 4, !tbaa !5
  %106 = sext i32 %105 to i64
  %107 = call noalias ptr @calloc(i64 noundef %106, i64 noundef 4) #7
  %108 = load ptr, ptr @lgoals_at, align 8, !tbaa !10
  %109 = load i32, ptr %3, align 4, !tbaa !5
  %110 = sext i32 %109 to i64
  %111 = getelementptr inbounds ptr, ptr %108, i64 %110
  store ptr %107, ptr %111, align 8, !tbaa !10
  %112 = load i32, ptr @gnum_fl_conn, align 4, !tbaa !5
  %113 = sext i32 %112 to i64
  %114 = call noalias ptr @calloc(i64 noundef %113, i64 noundef 4) #7
  %115 = load ptr, ptr @lf_goals_c_at, align 8, !tbaa !10
  %116 = load i32, ptr %3, align 4, !tbaa !5
  %117 = sext i32 %116 to i64
  %118 = getelementptr inbounds ptr, ptr %115, i64 %117
  store ptr %114, ptr %118, align 8, !tbaa !10
  %119 = load i32, ptr @gnum_fl_conn, align 4, !tbaa !5
  %120 = sext i32 %119 to i64
  %121 = call noalias ptr @calloc(i64 noundef %120, i64 noundef 4) #7
  %122 = load ptr, ptr @lf_goals_comp_at, align 8, !tbaa !10
  %123 = load i32, ptr %3, align 4, !tbaa !5
  %124 = sext i32 %123 to i64
  %125 = getelementptr inbounds ptr, ptr %122, i64 %124
  store ptr %121, ptr %125, align 8, !tbaa !10
  br label %126

126:                                              ; preds = %104
  %127 = load i32, ptr %3, align 4, !tbaa !5
  %128 = add nsw i32 %127, 1
  store i32 %128, ptr %3, align 4, !tbaa !5
  br label %100, !llvm.loop !15

129:                                              ; preds = %100
  br label %130

130:                                              ; preds = %129, %52
  store i32 0, ptr %3, align 4, !tbaa !5
  br label %131

131:                                              ; preds = %162, %130
  %132 = load i32, ptr %3, align 4, !tbaa !5
  %133 = load i32, ptr %2, align 4, !tbaa !5
  %134 = add nsw i32 %133, 1
  %135 = icmp slt i32 %132, %134
  br i1 %135, label %136, label %165

136:                                              ; preds = %131
  %137 = load ptr, ptr @lnum_goals_at, align 8, !tbaa !10
  %138 = load i32, ptr %3, align 4, !tbaa !5
  %139 = sext i32 %138 to i64
  %140 = getelementptr inbounds i32, ptr %137, i64 %139
  store i32 0, ptr %140, align 4, !tbaa !5
  store i32 0, ptr %4, align 4, !tbaa !5
  br label %141

141:                                              ; preds = %158, %136
  %142 = load i32, ptr %4, align 4, !tbaa !5
  %143 = load i32, ptr @gnum_fl_conn, align 4, !tbaa !5
  %144 = icmp slt i32 %142, %143
  br i1 %144, label %145, label %161

145:                                              ; preds = %141
  %146 = load ptr, ptr @lf_goals_comp_at, align 8, !tbaa !10
  %147 = load i32, ptr %3, align 4, !tbaa !5
  %148 = sext i32 %147 to i64
  %149 = getelementptr inbounds ptr, ptr %146, i64 %148
  %150 = load ptr, ptr %149, align 8, !tbaa !10
  %151 = load i32, ptr %4, align 4, !tbaa !5
  %152 = sext i32 %151 to i64
  %153 = getelementptr inbounds i32, ptr %150, i64 %152
  store i32 3000, ptr %153, align 4, !tbaa !5
  %154 = load ptr, ptr @lHcomp, align 8, !tbaa !10
  %155 = load i32, ptr %4, align 4, !tbaa !5
  %156 = sext i32 %155 to i64
  %157 = getelementptr inbounds i32, ptr %154, i64 %156
  store i32 3000, ptr %157, align 4, !tbaa !5
  br label %158

158:                                              ; preds = %145
  %159 = load i32, ptr %4, align 4, !tbaa !5
  %160 = add nsw i32 %159, 1
  store i32 %160, ptr %4, align 4, !tbaa !5
  br label %141, !llvm.loop !16

161:                                              ; preds = %141
  br label %162

162:                                              ; preds = %161
  %163 = load i32, ptr %3, align 4, !tbaa !5
  %164 = add nsw i32 %163, 1
  store i32 %164, ptr %3, align 4, !tbaa !5
  br label %131, !llvm.loop !17

165:                                              ; preds = %131
  store i32 0, ptr %5, align 4, !tbaa !5
  store i32 0, ptr %3, align 4, !tbaa !5
  br label %166

166:                                              ; preds = %241, %165
  %167 = load i32, ptr %3, align 4, !tbaa !5
  %168 = load i32, ptr @gnum_flogic_goal, align 4, !tbaa !5
  %169 = icmp slt i32 %167, %168
  br i1 %169, label %170, label %244

170:                                              ; preds = %166
  %171 = load ptr, ptr @gflogic_goal, align 8, !tbaa !10
  %172 = load i32, ptr %3, align 4, !tbaa !5
  %173 = sext i32 %172 to i64
  %174 = getelementptr inbounds i32, ptr %171, i64 %173
  %175 = load i32, ptr %174, align 4, !tbaa !5
  store i32 %175, ptr %6, align 4, !tbaa !5
  %176 = load ptr, ptr @gft_conn, align 8, !tbaa !10
  %177 = load i32, ptr %6, align 4, !tbaa !5
  %178 = sext i32 %177 to i64
  %179 = getelementptr inbounds %struct._FtConn, ptr %176, i64 %178
  %180 = getelementptr inbounds %struct._FtConn, ptr %179, i32 0, i32 8
  %181 = load i32, ptr %180, align 4, !tbaa !18
  %182 = load i32, ptr %5, align 4, !tbaa !5
  %183 = icmp sgt i32 %181, %182
  br i1 %183, label %184, label %191

184:                                              ; preds = %170
  %185 = load ptr, ptr @gft_conn, align 8, !tbaa !10
  %186 = load i32, ptr %6, align 4, !tbaa !5
  %187 = sext i32 %186 to i64
  %188 = getelementptr inbounds %struct._FtConn, ptr %185, i64 %187
  %189 = getelementptr inbounds %struct._FtConn, ptr %188, i32 0, i32 8
  %190 = load i32, ptr %189, align 4, !tbaa !18
  store i32 %190, ptr %5, align 4, !tbaa !5
  br label %191

191:                                              ; preds = %184, %170
  %192 = load i32, ptr %6, align 4, !tbaa !5
  %193 = load ptr, ptr @lgoals_at, align 8, !tbaa !10
  %194 = load ptr, ptr @gft_conn, align 8, !tbaa !10
  %195 = load i32, ptr %6, align 4, !tbaa !5
  %196 = sext i32 %195 to i64
  %197 = getelementptr inbounds %struct._FtConn, ptr %194, i64 %196
  %198 = getelementptr inbounds %struct._FtConn, ptr %197, i32 0, i32 8
  %199 = load i32, ptr %198, align 4, !tbaa !18
  %200 = sext i32 %199 to i64
  %201 = getelementptr inbounds ptr, ptr %193, i64 %200
  %202 = load ptr, ptr %201, align 8, !tbaa !10
  %203 = load ptr, ptr @lnum_goals_at, align 8, !tbaa !10
  %204 = load ptr, ptr @gft_conn, align 8, !tbaa !10
  %205 = load i32, ptr %6, align 4, !tbaa !5
  %206 = sext i32 %205 to i64
  %207 = getelementptr inbounds %struct._FtConn, ptr %204, i64 %206
  %208 = getelementptr inbounds %struct._FtConn, ptr %207, i32 0, i32 8
  %209 = load i32, ptr %208, align 4, !tbaa !18
  %210 = sext i32 %209 to i64
  %211 = getelementptr inbounds i32, ptr %203, i64 %210
  %212 = load i32, ptr %211, align 4, !tbaa !5
  %213 = add nsw i32 %212, 1
  store i32 %213, ptr %211, align 4, !tbaa !5
  %214 = sext i32 %212 to i64
  %215 = getelementptr inbounds i32, ptr %202, i64 %214
  store i32 %192, ptr %215, align 4, !tbaa !5
  %216 = load ptr, ptr @gft_conn, align 8, !tbaa !10
  %217 = load i32, ptr %6, align 4, !tbaa !5
  %218 = sext i32 %217 to i64
  %219 = getelementptr inbounds %struct._FtConn, ptr %216, i64 %218
  %220 = getelementptr inbounds %struct._FtConn, ptr %219, i32 0, i32 11
  store i32 1, ptr %220, align 8, !tbaa !21
  %221 = load ptr, ptr @gft_conn, align 8, !tbaa !10
  %222 = load i32, ptr %6, align 4, !tbaa !5
  %223 = sext i32 %222 to i64
  %224 = getelementptr inbounds %struct._FtConn, ptr %221, i64 %223
  %225 = getelementptr inbounds %struct._FtConn, ptr %224, i32 0, i32 13
  %226 = load i8, ptr %225, align 8, !tbaa !22
  %227 = icmp ne i8 %226, 0
  br i1 %227, label %240, label %228

228:                                              ; preds = %191
  %229 = load i32, ptr %6, align 4, !tbaa !5
  %230 = load ptr, ptr @lch_F, align 8, !tbaa !10
  %231 = load i32, ptr @lnum_ch_F, align 4, !tbaa !5
  %232 = add nsw i32 %231, 1
  store i32 %232, ptr @lnum_ch_F, align 4, !tbaa !5
  %233 = sext i32 %231 to i64
  %234 = getelementptr inbounds i32, ptr %230, i64 %233
  store i32 %229, ptr %234, align 4, !tbaa !5
  %235 = load ptr, ptr @gft_conn, align 8, !tbaa !10
  %236 = load i32, ptr %6, align 4, !tbaa !5
  %237 = sext i32 %236 to i64
  %238 = getelementptr inbounds %struct._FtConn, ptr %235, i64 %237
  %239 = getelementptr inbounds %struct._FtConn, ptr %238, i32 0, i32 13
  store i8 1, ptr %239, align 8, !tbaa !22
  br label %240

240:                                              ; preds = %228, %191
  br label %241

241:                                              ; preds = %240
  %242 = load i32, ptr %3, align 4, !tbaa !5
  %243 = add nsw i32 %242, 1
  store i32 %243, ptr %3, align 4, !tbaa !5
  br label %166, !llvm.loop !23

244:                                              ; preds = %166
  store i32 0, ptr %3, align 4, !tbaa !5
  br label %245

245:                                              ; preds = %333, %244
  %246 = load i32, ptr %3, align 4, !tbaa !5
  %247 = load i32, ptr @gnum_fnumeric_goal, align 4, !tbaa !5
  %248 = icmp slt i32 %246, %247
  br i1 %248, label %249, label %336

249:                                              ; preds = %245
  %250 = load ptr, ptr @gfnumeric_goal_fl, align 8, !tbaa !10
  %251 = load i32, ptr %3, align 4, !tbaa !5
  %252 = sext i32 %251 to i64
  %253 = getelementptr inbounds i32, ptr %250, i64 %252
  %254 = load i32, ptr %253, align 4, !tbaa !5
  store i32 %254, ptr %7, align 4, !tbaa !5
  %255 = load ptr, ptr @gfnumeric_goal_c, align 8, !tbaa !10
  %256 = load i32, ptr %3, align 4, !tbaa !5
  %257 = sext i32 %256 to i64
  %258 = getelementptr inbounds float, ptr %255, i64 %257
  %259 = load float, ptr %258, align 4, !tbaa !24
  store float %259, ptr %9, align 4, !tbaa !24
  %260 = load ptr, ptr @gfnumeric_goal_comp, align 8, !tbaa !10
  %261 = load i32, ptr %3, align 4, !tbaa !5
  %262 = sext i32 %261 to i64
  %263 = getelementptr inbounds i32, ptr %260, i64 %262
  %264 = load i32, ptr %263, align 4, !tbaa !5
  store i32 %264, ptr %8, align 4, !tbaa !5
  store i32 0, ptr %4, align 4, !tbaa !5
  br label %265

265:                                              ; preds = %299, %249
  %266 = load i32, ptr %4, align 4, !tbaa !5
  %267 = load i32, ptr %2, align 4, !tbaa !5
  %268 = icmp sle i32 %266, %267
  br i1 %268, label %269, label %302

269:                                              ; preds = %265
  %270 = load ptr, ptr @gfl_conn, align 8, !tbaa !10
  %271 = load i32, ptr %7, align 4, !tbaa !5
  %272 = sext i32 %271 to i64
  %273 = getelementptr inbounds %struct._FlConn, ptr %270, i64 %272
  %274 = getelementptr inbounds %struct._FlConn, ptr %273, i32 0, i32 17
  %275 = load ptr, ptr %274, align 8, !tbaa !25
  %276 = load i32, ptr %4, align 4, !tbaa !5
  %277 = sext i32 %276 to i64
  %278 = getelementptr inbounds i8, ptr %275, i64 %277
  %279 = load i8, ptr %278, align 1, !tbaa !9
  %280 = icmp ne i8 %279, 0
  br i1 %280, label %282, label %281

281:                                              ; preds = %269
  br label %299

282:                                              ; preds = %269
  %283 = load i32, ptr %8, align 4, !tbaa !5
  %284 = load ptr, ptr @gfl_conn, align 8, !tbaa !10
  %285 = load i32, ptr %7, align 4, !tbaa !5
  %286 = sext i32 %285 to i64
  %287 = getelementptr inbounds %struct._FlConn, ptr %284, i64 %286
  %288 = getelementptr inbounds %struct._FlConn, ptr %287, i32 0, i32 18
  %289 = load ptr, ptr %288, align 8, !tbaa !27
  %290 = load i32, ptr %4, align 4, !tbaa !5
  %291 = sext i32 %290 to i64
  %292 = getelementptr inbounds float, ptr %289, i64 %291
  %293 = load float, ptr %292, align 4, !tbaa !24
  %294 = load float, ptr %9, align 4, !tbaa !24
  %295 = call zeroext i8 @number_comparison_holds(i32 noundef %283, float noundef %293, float noundef %294)
  %296 = icmp ne i8 %295, 0
  br i1 %296, label %297, label %298

297:                                              ; preds = %282
  br label %302

298:                                              ; preds = %282
  br label %299

299:                                              ; preds = %298, %281
  %300 = load i32, ptr %4, align 4, !tbaa !5
  %301 = add nsw i32 %300, 1
  store i32 %301, ptr %4, align 4, !tbaa !5
  br label %265, !llvm.loop !28

302:                                              ; preds = %297, %265
  %303 = load i32, ptr %4, align 4, !tbaa !5
  %304 = load i32, ptr %2, align 4, !tbaa !5
  %305 = icmp sgt i32 %303, %304
  br i1 %305, label %306, label %308

306:                                              ; preds = %302
  %307 = call i32 (ptr, ...) @printf(ptr noundef @.str.48)
  call void @exit(i32 noundef 1) #8
  unreachable

308:                                              ; preds = %302
  %309 = load i32, ptr %4, align 4, !tbaa !5
  %310 = load i32, ptr %5, align 4, !tbaa !5
  %311 = icmp sgt i32 %309, %310
  br i1 %311, label %312, label %314

312:                                              ; preds = %308
  %313 = load i32, ptr %4, align 4, !tbaa !5
  store i32 %313, ptr %5, align 4, !tbaa !5
  br label %314

314:                                              ; preds = %312, %308
  %315 = load float, ptr %9, align 4, !tbaa !24
  %316 = load ptr, ptr @lf_goals_c_at, align 8, !tbaa !10
  %317 = load i32, ptr %4, align 4, !tbaa !5
  %318 = sext i32 %317 to i64
  %319 = getelementptr inbounds ptr, ptr %316, i64 %318
  %320 = load ptr, ptr %319, align 8, !tbaa !10
  %321 = load i32, ptr %7, align 4, !tbaa !5
  %322 = sext i32 %321 to i64
  %323 = getelementptr inbounds float, ptr %320, i64 %322
  store float %315, ptr %323, align 4, !tbaa !24
  %324 = load i32, ptr %8, align 4, !tbaa !5
  %325 = load ptr, ptr @lf_goals_comp_at, align 8, !tbaa !10
  %326 = load i32, ptr %4, align 4, !tbaa !5
  %327 = sext i32 %326 to i64
  %328 = getelementptr inbounds ptr, ptr %325, i64 %327
  %329 = load ptr, ptr %328, align 8, !tbaa !10
  %330 = load i32, ptr %7, align 4, !tbaa !5
  %331 = sext i32 %330 to i64
  %332 = getelementptr inbounds i32, ptr %329, i64 %331
  store i32 %324, ptr %332, align 4, !tbaa !5
  br label %333

333:                                              ; preds = %314
  %334 = load i32, ptr %3, align 4, !tbaa !5
  %335 = add nsw i32 %334, 1
  store i32 %335, ptr %3, align 4, !tbaa !5
  br label %245, !llvm.loop !29

336:                                              ; preds = %245
  %337 = load i32, ptr %5, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %4) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %3) #6
  ret i32 %337
}

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!7, !7, i64 0}
!10 = !{!11, !11, i64 0}
!11 = !{!"any pointer", !7, i64 0}
!12 = distinct !{!12, !13}
!13 = !{!"llvm.loop.mustprogress"}
!14 = distinct !{!14, !13}
!15 = distinct !{!15, !13}
!16 = distinct !{!16, !13}
!17 = distinct !{!17, !13}
!18 = !{!19, !6, i64 60}
!19 = !{!"_FtConn", !11, i64 0, !6, i64 8, !11, i64 16, !6, i64 24, !11, i64 32, !6, i64 40, !11, i64 48, !6, i64 56, !6, i64 60, !20, i64 64, !7, i64 68, !6, i64 72, !6, i64 76, !7, i64 80, !6, i64 84, !7, i64 88}
!20 = !{!"float", !7, i64 0}
!21 = !{!19, !6, i64 72}
!22 = !{!19, !7, i64 80}
!23 = distinct !{!23, !13}
!24 = !{!20, !20, i64 0}
!25 = !{!26, !11, i64 112}
!26 = !{!"_FlConn", !11, i64 0, !6, i64 8, !11, i64 16, !11, i64 24, !11, i64 32, !6, i64 40, !11, i64 48, !11, i64 56, !11, i64 64, !6, i64 72, !7, i64 76, !11, i64 80, !11, i64 88, !6, i64 96, !7, i64 100, !20, i64 104, !7, i64 108, !11, i64 112, !11, i64 120, !7, i64 128, !20, i64 132, !6, i64 136}
!27 = !{!26, !11, i64 120}
!28 = distinct !{!28, !13}
!29 = distinct !{!29, !13}


; 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._FtConn = type { ptr, i32, ptr, i32, ptr, i32, ptr, i32, i32, float, i8, i32, i32, i8, i32, i8 }
%struct._FlConn = type { ptr, i32, ptr, ptr, ptr, i32, ptr, ptr, ptr, i32, i8, ptr, ptr, i32, i8, float, i8, ptr, ptr, i8, float, i32 }

@gnum_fl_conn = external local_unnamed_addr global i32, align 4
@gfl_conn = external local_unnamed_addr global ptr, align 8
@gft_conn = external local_unnamed_addr global ptr, align 8
@gnum_ft_conn = external local_unnamed_addr global i32, align 4
@gnum_flogic_goal = external local_unnamed_addr global i32, align 4
@gflogic_goal = external local_unnamed_addr global ptr, align 8
@gnum_fnumeric_goal = external local_unnamed_addr global i32, align 4
@gfnumeric_goal_fl = external local_unnamed_addr global ptr, align 8
@gfnumeric_goal_comp = external local_unnamed_addr global ptr, align 8
@gfnumeric_goal_c = external local_unnamed_addr global ptr, align 8
@lch_F = external dso_local local_unnamed_addr global ptr, align 8
@lnum_ch_F = external dso_local local_unnamed_addr global i32, align 4
@initialize_goals.first_call = external hidden local_unnamed_addr global i8, align 1
@initialize_goals.highest_seen = external hidden local_unnamed_addr global i32, align 4
@lgoals_at = external dso_local local_unnamed_addr global ptr, align 8
@lnum_goals_at = external dso_local local_unnamed_addr global ptr, align 8
@lf_goals_c_at = external dso_local local_unnamed_addr global ptr, align 8
@lf_goals_comp_at = external dso_local local_unnamed_addr global ptr, align 8
@lHcomp = external dso_local local_unnamed_addr global ptr, align 8
@lHc = external dso_local local_unnamed_addr global ptr, align 8
@.str.48 = external hidden unnamed_addr constant [37 x i8], align 1

; Function Attrs: mustprogress nofree nounwind willreturn allockind("alloc,zeroed") allocsize(0,1) memory(inaccessiblemem: readwrite)
declare noalias noundef ptr @calloc(i64 noundef, i64 noundef) local_unnamed_addr #0

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

; Function Attrs: mustprogress nounwind willreturn allockind("free") memory(argmem: readwrite, inaccessiblemem: readwrite)
declare void @free(ptr allocptr nocapture noundef) local_unnamed_addr #2

; Function Attrs: noreturn nounwind
declare void @exit(i32 noundef) local_unnamed_addr #3

declare zeroext i8 @number_comparison_holds(i32 noundef, float noundef, float noundef) local_unnamed_addr #4

; Function Attrs: nounwind uwtable
define dso_local range(i32 0, -2147483648) i32 @initialize_goals(i32 noundef %0) local_unnamed_addr #5 {
  %2 = load i8, ptr @initialize_goals.first_call, align 1, !tbaa !5
  %.not = icmp eq i8 %2, 0
  br i1 %.not, label %22, label %3

3:                                                ; preds = %1
  %4 = tail call noalias dereferenceable_or_null(200) ptr @calloc(i64 noundef 25, i64 noundef 8) #7
  store ptr %4, ptr @lgoals_at, align 8, !tbaa !8
  %5 = tail call noalias dereferenceable_or_null(100) ptr @calloc(i64 noundef 25, i64 noundef 4) #7
  store ptr %5, ptr @lnum_goals_at, align 8, !tbaa !8
  %6 = tail call noalias dereferenceable_or_null(200) ptr @calloc(i64 noundef 25, i64 noundef 8) #7
  store ptr %6, ptr @lf_goals_c_at, align 8, !tbaa !8
  %7 = tail call noalias dereferenceable_or_null(200) ptr @calloc(i64 noundef 25, i64 noundef 8) #7
  store ptr %7, ptr @lf_goals_comp_at, align 8, !tbaa !8
  %8 = load i32, ptr @gnum_ft_conn, align 4, !tbaa !10
  %9 = sext i32 %8 to i64
  %10 = load i32, ptr @gnum_fl_conn, align 4, !tbaa !10
  %11 = sext i32 %10 to i64
  br label %12

12:                                               ; preds = %3, %12
  %indvars.iv = phi i64 [ 0, %3 ], [ %indvars.iv.next, %12 ]
  %13 = tail call noalias ptr @calloc(i64 noundef %9, i64 noundef 4) #7
  %14 = load ptr, ptr @lgoals_at, align 8, !tbaa !8
  %15 = getelementptr inbounds ptr, ptr %14, i64 %indvars.iv
  store ptr %13, ptr %15, align 8, !tbaa !8
  %16 = tail call noalias ptr @calloc(i64 noundef %11, i64 noundef 4) #7
  %17 = load ptr, ptr @lf_goals_c_at, align 8, !tbaa !8
  %18 = getelementptr inbounds ptr, ptr %17, i64 %indvars.iv
  store ptr %16, ptr %18, align 8, !tbaa !8
  %19 = tail call noalias ptr @calloc(i64 noundef %11, i64 noundef 4) #7
  %20 = load ptr, ptr @lf_goals_comp_at, align 8, !tbaa !8
  %21 = getelementptr inbounds ptr, ptr %20, i64 %indvars.iv
  store ptr %19, ptr %21, align 8, !tbaa !8
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next, 25
  br i1 %exitcond.not, label %.thread, label %12, !llvm.loop !12

22:                                               ; preds = %1
  %.pre = load i32, ptr @initialize_goals.highest_seen, align 4, !tbaa !10
  %.not71 = icmp sgt i32 %.pre, %0
  br i1 %.not71, label %.loopexit, label %.preheader79

.thread:                                          ; preds = %12
  store i32 25, ptr @initialize_goals.highest_seen, align 4, !tbaa !10
  %23 = tail call noalias ptr @calloc(i64 noundef %11, i64 noundef 4) #7
  store ptr %23, ptr @lHcomp, align 8, !tbaa !8
  %24 = tail call noalias ptr @calloc(i64 noundef %11, i64 noundef 4) #7
  store ptr %24, ptr @lHc, align 8, !tbaa !8
  store i8 0, ptr @initialize_goals.first_call, align 1, !tbaa !5
  %.not71141 = icmp slt i32 %0, 25
  br i1 %.not71141, label %.loopexit, label %.lr.ph.preheader

.preheader79:                                     ; preds = %22
  %25 = icmp sgt i32 %.pre, 0
  br i1 %25, label %.lr.ph.preheader, label %._crit_edge

.lr.ph.preheader:                                 ; preds = %.thread, %.preheader79
  br label %.lr.ph

.lr.ph:                                           ; preds = %.lr.ph.preheader, %.lr.ph
  %indvars.iv111 = phi i64 [ %indvars.iv.next112, %.lr.ph ], [ 0, %.lr.ph.preheader ]
  %26 = load ptr, ptr @lgoals_at, align 8, !tbaa !8
  %27 = getelementptr inbounds ptr, ptr %26, i64 %indvars.iv111
  %28 = load ptr, ptr %27, align 8, !tbaa !8
  tail call void @free(ptr noundef %28) #8
  %29 = load ptr, ptr @lf_goals_c_at, align 8, !tbaa !8
  %30 = getelementptr inbounds ptr, ptr %29, i64 %indvars.iv111
  %31 = load ptr, ptr %30, align 8, !tbaa !8
  tail call void @free(ptr noundef %31) #8
  %32 = load ptr, ptr @lf_goals_comp_at, align 8, !tbaa !8
  %33 = getelementptr inbounds ptr, ptr %32, i64 %indvars.iv111
  %34 = load ptr, ptr %33, align 8, !tbaa !8
  tail call void @free(ptr noundef %34) #8
  %indvars.iv.next112 = add nuw nsw i64 %indvars.iv111, 1
  %35 = load i32, ptr @initialize_goals.highest_seen, align 4, !tbaa !10
  %36 = sext i32 %35 to i64
  %37 = icmp slt i64 %indvars.iv.next112, %36
  br i1 %37, label %.lr.ph, label %._crit_edge, !llvm.loop !14

._crit_edge:                                      ; preds = %.lr.ph, %.preheader79
  %38 = load ptr, ptr @lgoals_at, align 8, !tbaa !8
  tail call void @free(ptr noundef %38) #8
  %39 = load ptr, ptr @lnum_goals_at, align 8, !tbaa !8
  tail call void @free(ptr noundef %39) #8
  %40 = load ptr, ptr @lf_goals_c_at, align 8, !tbaa !8
  tail call void @free(ptr noundef %40) #8
  %41 = load ptr, ptr @lf_goals_comp_at, align 8, !tbaa !8
  tail call void @free(ptr noundef %41) #8
  %42 = add nsw i32 %0, 10
  store i32 %42, ptr @initialize_goals.highest_seen, align 4, !tbaa !10
  %43 = sext i32 %42 to i64
  %44 = tail call noalias ptr @calloc(i64 noundef %43, i64 noundef 8) #7
  store ptr %44, ptr @lgoals_at, align 8, !tbaa !8
  %45 = tail call noalias ptr @calloc(i64 noundef %43, i64 noundef 4) #7
  store ptr %45, ptr @lnum_goals_at, align 8, !tbaa !8
  %46 = tail call noalias ptr @calloc(i64 noundef %43, i64 noundef 8) #7
  store ptr %46, ptr @lf_goals_c_at, align 8, !tbaa !8
  %47 = tail call noalias ptr @calloc(i64 noundef %43, i64 noundef 8) #7
  store ptr %47, ptr @lf_goals_comp_at, align 8, !tbaa !8
  %48 = icmp sgt i32 %0, -10
  br i1 %48, label %.lr.ph86, label %.preheader78

.lr.ph86:                                         ; preds = %._crit_edge
  %49 = load i32, ptr @gnum_ft_conn, align 4, !tbaa !10
  %50 = sext i32 %49 to i64
  %51 = load i32, ptr @gnum_fl_conn, align 4, !tbaa !10
  %52 = sext i32 %51 to i64
  %wide.trip.count = zext nneg i32 %42 to i64
  br label %53

53:                                               ; preds = %.lr.ph86, %53
  %indvars.iv114 = phi i64 [ 0, %.lr.ph86 ], [ %indvars.iv.next115, %53 ]
  %54 = tail call noalias ptr @calloc(i64 noundef %50, i64 noundef 4) #7
  %55 = load ptr, ptr @lgoals_at, align 8, !tbaa !8
  %56 = getelementptr inbounds ptr, ptr %55, i64 %indvars.iv114
  store ptr %54, ptr %56, align 8, !tbaa !8
  %57 = tail call noalias ptr @calloc(i64 noundef %52, i64 noundef 4) #7
  %58 = load ptr, ptr @lf_goals_c_at, align 8, !tbaa !8
  %59 = getelementptr inbounds ptr, ptr %58, i64 %indvars.iv114
  store ptr %57, ptr %59, align 8, !tbaa !8
  %60 = tail call noalias ptr @calloc(i64 noundef %52, i64 noundef 4) #7
  %61 = load ptr, ptr @lf_goals_comp_at, align 8, !tbaa !8
  %62 = getelementptr inbounds ptr, ptr %61, i64 %indvars.iv114
  store ptr %60, ptr %62, align 8, !tbaa !8
  %indvars.iv.next115 = add nuw nsw i64 %indvars.iv114, 1
  %exitcond117.not = icmp eq i64 %indvars.iv.next115, %wide.trip.count
  br i1 %exitcond117.not, label %.loopexit, label %53, !llvm.loop !15

.loopexit:                                        ; preds = %53, %.thread, %22
  %.not7291 = icmp slt i32 %0, 0
  br i1 %.not7291, label %.preheader78, label %.lr.ph94

.lr.ph94:                                         ; preds = %.loopexit
  %63 = load ptr, ptr @lnum_goals_at, align 8, !tbaa !8
  %64 = load ptr, ptr @lf_goals_comp_at, align 8
  %65 = load ptr, ptr @lHcomp, align 8
  %66 = add nuw i32 %0, 1
  %wide.trip.count124 = zext i32 %66 to i64
  br label %74

.preheader78:                                     ; preds = %._crit_edge90, %._crit_edge, %.loopexit
  %.not7291143 = phi i1 [ true, %.loopexit ], [ true, %._crit_edge ], [ %.not7291, %._crit_edge90 ]
  %67 = load i32, ptr @gnum_flogic_goal, align 4, !tbaa !10
  %68 = icmp sgt i32 %67, 0
  br i1 %68, label %.lr.ph97, label %.preheader

.lr.ph97:                                         ; preds = %.preheader78
  %69 = load ptr, ptr @gflogic_goal, align 8, !tbaa !8
  %70 = load ptr, ptr @gft_conn, align 8, !tbaa !8
  %71 = load ptr, ptr @lgoals_at, align 8, !tbaa !8
  %72 = load ptr, ptr @lnum_goals_at, align 8, !tbaa !8
  %73 = load ptr, ptr @lch_F, align 8
  br label %89

74:                                               ; preds = %.lr.ph94, %._crit_edge90
  %indvars.iv121 = phi i64 [ 0, %.lr.ph94 ], [ %indvars.iv.next122, %._crit_edge90 ]
  %75 = getelementptr inbounds i32, ptr %63, i64 %indvars.iv121
  store i32 0, ptr %75, align 4, !tbaa !10
  %76 = load i32, ptr @gnum_fl_conn, align 4, !tbaa !10
  %77 = icmp sgt i32 %76, 0
  br i1 %77, label %.lr.ph89, label %._crit_edge90

.lr.ph89:                                         ; preds = %74
  %78 = getelementptr inbounds ptr, ptr %64, i64 %indvars.iv121
  %79 = load ptr, ptr %78, align 8, !tbaa !8
  br label %80

80:                                               ; preds = %.lr.ph89, %80
  %indvars.iv118 = phi i64 [ 0, %.lr.ph89 ], [ %indvars.iv.next119, %80 ]
  %81 = getelementptr inbounds i32, ptr %79, i64 %indvars.iv118
  store i32 3000, ptr %81, align 4, !tbaa !10
  %82 = getelementptr inbounds i32, ptr %65, i64 %indvars.iv118
  store i32 3000, ptr %82, align 4, !tbaa !10
  %indvars.iv.next119 = add nuw nsw i64 %indvars.iv118, 1
  %83 = load i32, ptr @gnum_fl_conn, align 4, !tbaa !10
  %84 = sext i32 %83 to i64
  %85 = icmp slt i64 %indvars.iv.next119, %84
  br i1 %85, label %80, label %._crit_edge90, !llvm.loop !16

._crit_edge90:                                    ; preds = %80, %74
  %indvars.iv.next122 = add nuw nsw i64 %indvars.iv121, 1
  %exitcond125.not = icmp eq i64 %indvars.iv.next122, %wide.trip.count124
  br i1 %exitcond125.not, label %.preheader78, label %74, !llvm.loop !17

.preheader:                                       ; preds = %111, %.preheader78
  %.066.lcssa = phi i32 [ 0, %.preheader78 ], [ %spec.select, %111 ]
  %86 = load i32, ptr @gnum_fnumeric_goal, align 4, !tbaa !10
  %87 = icmp sgt i32 %86, 0
  br i1 %87, label %.lr.ph106, label %._crit_edge107

.lr.ph106:                                        ; preds = %.preheader
  br i1 %.not7291143, label %._crit_edge102, label %.lr.ph101.preheader

.lr.ph101.preheader:                              ; preds = %.lr.ph106
  %88 = add nuw i32 %0, 1
  %.pre139.pre = load ptr, ptr @gfl_conn, align 8, !tbaa !8
  %wide.trip.count132 = zext i32 %88 to i64
  br label %.lr.ph101

89:                                               ; preds = %.lr.ph97, %111
  %indvars.iv126 = phi i64 [ 0, %.lr.ph97 ], [ %indvars.iv.next127, %111 ]
  %.06695 = phi i32 [ 0, %.lr.ph97 ], [ %spec.select, %111 ]
  %90 = getelementptr inbounds i32, ptr %69, i64 %indvars.iv126
  %91 = load i32, ptr %90, align 4, !tbaa !10
  %92 = sext i32 %91 to i64
  %93 = getelementptr inbounds %struct._FtConn, ptr %70, i64 %92, i32 8
  %94 = load i32, ptr %93, align 4, !tbaa !18
  %spec.select = tail call i32 @llvm.smax.i32(i32 %94, i32 %.06695)
  %95 = sext i32 %94 to i64
  %96 = getelementptr inbounds ptr, ptr %71, i64 %95
  %97 = load ptr, ptr %96, align 8, !tbaa !8
  %98 = getelementptr inbounds i32, ptr %72, i64 %95
  %99 = load i32, ptr %98, align 4, !tbaa !10
  %100 = add nsw i32 %99, 1
  store i32 %100, ptr %98, align 4, !tbaa !10
  %101 = sext i32 %99 to i64
  %102 = getelementptr inbounds i32, ptr %97, i64 %101
  store i32 %91, ptr %102, align 4, !tbaa !10
  %103 = getelementptr inbounds %struct._FtConn, ptr %70, i64 %92, i32 11
  store i32 1, ptr %103, align 8, !tbaa !21
  %104 = getelementptr inbounds %struct._FtConn, ptr %70, i64 %92, i32 13
  %105 = load i8, ptr %104, align 8, !tbaa !22
  %.not76 = icmp eq i8 %105, 0
  br i1 %.not76, label %106, label %111

106:                                              ; preds = %89
  %107 = load i32, ptr @lnum_ch_F, align 4, !tbaa !10
  %108 = add nsw i32 %107, 1
  store i32 %108, ptr @lnum_ch_F, align 4, !tbaa !10
  %109 = sext i32 %107 to i64
  %110 = getelementptr inbounds i32, ptr %73, i64 %109
  store i32 %91, ptr %110, align 4, !tbaa !10
  store i8 1, ptr %104, align 8, !tbaa !22
  br label %111

111:                                              ; preds = %89, %106
  %indvars.iv.next127 = add nuw nsw i64 %indvars.iv126, 1
  %112 = load i32, ptr @gnum_flogic_goal, align 4, !tbaa !10
  %113 = sext i32 %112 to i64
  %114 = icmp slt i64 %indvars.iv.next127, %113
  br i1 %114, label %89, label %.preheader, !llvm.loop !23

.lr.ph101:                                        ; preds = %.lr.ph101.preheader, %141
  %.pre139 = phi ptr [ %.pre139.pre, %.lr.ph101.preheader ], [ %.pre138, %141 ]
  %indvars.iv134 = phi i64 [ 0, %.lr.ph101.preheader ], [ %indvars.iv.next135, %141 ]
  %.268104 = phi i32 [ %.066.lcssa, %.lr.ph101.preheader ], [ %spec.select77, %141 ]
  %115 = load ptr, ptr @gfnumeric_goal_fl, align 8, !tbaa !8
  %116 = getelementptr inbounds i32, ptr %115, i64 %indvars.iv134
  %117 = load i32, ptr %116, align 4, !tbaa !10
  %118 = load ptr, ptr @gfnumeric_goal_c, align 8, !tbaa !8
  %119 = getelementptr inbounds float, ptr %118, i64 %indvars.iv134
  %120 = load float, ptr %119, align 4, !tbaa !24
  %121 = load ptr, ptr @gfnumeric_goal_comp, align 8, !tbaa !8
  %122 = getelementptr inbounds i32, ptr %121, i64 %indvars.iv134
  %123 = load i32, ptr %122, align 4, !tbaa !10
  %124 = sext i32 %117 to i64
  br label %125

125:                                              ; preds = %.lr.ph101, %138
  %126 = phi ptr [ %.pre139, %.lr.ph101 ], [ %139, %138 ]
  %indvars.iv129 = phi i64 [ 0, %.lr.ph101 ], [ %indvars.iv.next130, %138 ]
  %127 = getelementptr inbounds %struct._FlConn, ptr %126, i64 %124
  %128 = getelementptr inbounds i8, ptr %127, i64 112
  %129 = load ptr, ptr %128, align 8, !tbaa !25
  %130 = getelementptr inbounds i8, ptr %129, i64 %indvars.iv129
  %131 = load i8, ptr %130, align 1, !tbaa !5
  %.not74 = icmp eq i8 %131, 0
  br i1 %.not74, label %138, label %132

132:                                              ; preds = %125
  %133 = getelementptr inbounds i8, ptr %127, i64 120
  %134 = load ptr, ptr %133, align 8, !tbaa !27
  %135 = getelementptr inbounds float, ptr %134, i64 %indvars.iv129
  %136 = load float, ptr %135, align 4, !tbaa !24
  %137 = tail call zeroext i8 @number_comparison_holds(i32 noundef %123, float noundef %136, float noundef %120) #8
  %.not75 = icmp eq i8 %137, 0
  %.pre138 = load ptr, ptr @gfl_conn, align 8, !tbaa !8
  br i1 %.not75, label %138, label %141

138:                                              ; preds = %132, %125
  %139 = phi ptr [ %.pre138, %132 ], [ %126, %125 ]
  %indvars.iv.next130 = add nuw nsw i64 %indvars.iv129, 1
  %exitcond133.not = icmp eq i64 %indvars.iv.next130, %wide.trip.count132
  br i1 %exitcond133.not, label %._crit_edge102, label %125, !llvm.loop !28

._crit_edge102:                                   ; preds = %138, %.lr.ph106
  %140 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.48)
  tail call void @exit(i32 noundef 1) #9
  unreachable

141:                                              ; preds = %132
  %142 = trunc nuw nsw i64 %indvars.iv129 to i32
  %spec.select77 = tail call i32 @llvm.smax.i32(i32 %142, i32 %.268104)
  %143 = load ptr, ptr @lf_goals_c_at, align 8, !tbaa !8
  %144 = and i64 %indvars.iv129, 4294967295
  %145 = getelementptr inbounds ptr, ptr %143, i64 %144
  %146 = load ptr, ptr %145, align 8, !tbaa !8
  %147 = getelementptr inbounds float, ptr %146, i64 %124
  store float %120, ptr %147, align 4, !tbaa !24
  %148 = load ptr, ptr @lf_goals_comp_at, align 8, !tbaa !8
  %149 = getelementptr inbounds ptr, ptr %148, i64 %144
  %150 = load ptr, ptr %149, align 8, !tbaa !8
  %151 = getelementptr inbounds i32, ptr %150, i64 %124
  store i32 %123, ptr %151, align 4, !tbaa !10
  %indvars.iv.next135 = add nuw nsw i64 %indvars.iv134, 1
  %152 = load i32, ptr @gnum_fnumeric_goal, align 4, !tbaa !10
  %153 = sext i32 %152 to i64
  %154 = icmp slt i64 %indvars.iv.next135, %153
  br i1 %154, label %.lr.ph101, label %._crit_edge107, !llvm.loop !29

._crit_edge107:                                   ; preds = %141, %.preheader
  %.268.lcssa = phi i32 [ %.066.lcssa, %.preheader ], [ %spec.select77, %141 ]
  ret i32 %.268.lcssa
}

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

attributes #0 = { mustprogress nofree nounwind willreturn allockind("alloc,zeroed") allocsize(0,1) memory(inaccessiblemem: readwrite) "alloc-family"="malloc" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { 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 #2 = { mustprogress nounwind willreturn allockind("free") memory(argmem: readwrite, inaccessiblemem: readwrite) "alloc-family"="malloc" "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 = { noreturn nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { "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 speculatable willreturn memory(none) }
attributes #7 = { nounwind allocsize(0,1) }
attributes #8 = { nounwind }
attributes #9 = { noreturn nounwind }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"omnipotent char", !7, i64 0}
!7 = !{!"Simple C/C++ TBAA"}
!8 = !{!9, !9, i64 0}
!9 = !{!"any pointer", !6, i64 0}
!10 = !{!11, !11, i64 0}
!11 = !{!"int", !6, i64 0}
!12 = distinct !{!12, !13}
!13 = !{!"llvm.loop.mustprogress"}
!14 = distinct !{!14, !13}
!15 = distinct !{!15, !13}
!16 = distinct !{!16, !13}
!17 = distinct !{!17, !13}
!18 = !{!19, !11, i64 60}
!19 = !{!"_FtConn", !9, i64 0, !11, i64 8, !9, i64 16, !11, i64 24, !9, i64 32, !11, i64 40, !9, i64 48, !11, i64 56, !11, i64 60, !20, i64 64, !6, i64 68, !11, i64 72, !11, i64 76, !6, i64 80, !11, i64 84, !6, i64 88}
!20 = !{!"float", !6, i64 0}
!21 = !{!19, !11, i64 72}
!22 = !{!19, !6, i64 80}
!23 = distinct !{!23, !13}
!24 = !{!20, !20, i64 0}
!25 = !{!26, !9, i64 112}
!26 = !{!"_FlConn", !9, i64 0, !11, i64 8, !9, i64 16, !9, i64 24, !9, i64 32, !11, i64 40, !9, i64 48, !9, i64 56, !9, i64 64, !11, i64 72, !6, i64 76, !9, i64 80, !9, i64 88, !11, i64 96, !6, i64 100, !20, i64 104, !6, i64 108, !9, i64 112, !9, i64 120, !6, i64 128, !20, i64 132, !11, i64 136}
!27 = !{!26, !9, i64 120}
!28 = distinct !{!28, !13}
!29 = distinct !{!29, !13}


; Effective O3 passes: CorrelatedValuePropagationPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferFunctionAttrsPass,InstCombinePass,InstSimplifyPass,JumpThreadingPass,LCSSAPass,LICMPass,LoopRotatePass,LoopSimplifyCFGPass,LoopSimplifyPass,LoopUnrollPass,SCCPPass,SROAPass,SimplifyCFGPass,TailCallElimPass