; 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._command_line = type { [256 x i8], [256 x i8], [256 x i8], i32, i32, i32, i8, i32, float }
%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 }
%struct._FtConn = type { ptr, i32, ptr, i32, ptr, i32, ptr, i32, i32, float, i8, i32, i32, i8, i32, i8 }
%struct._EfConn = type { i32, i8, i8, float, ptr, i32, ptr, ptr, ptr, i32, ptr, ptr, ptr, i32, ptr, i32, ptr, ptr, ptr, i32, ptr, ptr, ptr, i32, ptr, i32, i32, float, i8, i32, i8, i32, i32 }

@gcmd_line = external global %struct._command_line, align 4
@lnum_E = external dso_local global i32, align 4
@gef_conn = external global ptr, align 8
@lE = external dso_local global ptr, align 8
@lnum_F = external dso_local global i32, align 4
@lF = external dso_local global ptr, align 8
@lnum_0P_E = external dso_local global i32, align 4
@l0P_E = external dso_local global ptr, align 8
@gnum_fl_conn = external global i32, align 4
@.str.8 = external hidden unnamed_addr constant [50 x i8], align 1
@gfl_conn = external global ptr, align 8
@gcost_rplans = external global i8, align 1
@gft_conn = external global ptr, align 8
@gnum_real_fl_conn = external global i32, align 4

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

; Function Attrs: nounwind uwtable
define dso_local zeroext i8 @build_fixpoint(ptr noundef %0, ptr noundef %1) #1 {
  %3 = alloca i8, align 1
  %4 = alloca ptr, align 8
  %5 = alloca ptr, align 8
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  %8 = alloca i32, align 4
  %9 = alloca i32, align 4
  %10 = alloca i32, align 4
  %11 = alloca i32, align 4
  %12 = alloca float, align 4
  %13 = alloca i32, align 4
  store ptr %0, ptr %4, align 8, !tbaa !5
  store ptr %1, ptr %5, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #3
  store i32 0, ptr %11, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #3
  %14 = load ptr, ptr %4, align 8, !tbaa !5
  call void @initialize_fixpoint(ptr noundef %14)
  store i32 0, ptr %6, align 4, !tbaa !9
  store i32 0, ptr %8, align 4, !tbaa !9
  br label %15

15:                                               ; preds = %327, %2
  br label %16

16:                                               ; preds = %15
  %17 = load i32, ptr getelementptr inbounds (%struct._command_line, ptr @gcmd_line, i32 0, i32 4), align 4, !tbaa !11
  %18 = icmp ne i32 %17, 0
  br i1 %18, label %19, label %22

19:                                               ; preds = %16
  %20 = load i32, ptr %11, align 4, !tbaa !9
  %21 = call i32 (ptr, ...) @printf(ptr noundef @.str.8, i32 noundef %20)
  br label %22

22:                                               ; preds = %19, %16
  %23 = load i32, ptr %11, align 4, !tbaa !9
  %24 = call zeroext i8 @all_goals_activated(i32 noundef %23)
  %25 = icmp ne i8 %24, 0
  br i1 %25, label %26, label %27

26:                                               ; preds = %22
  br label %334

27:                                               ; preds = %22
  %28 = load i32, ptr %11, align 4, !tbaa !9
  %29 = icmp sgt i32 %28, 0
  br i1 %29, label %33, label %30

30:                                               ; preds = %27
  %31 = load i32, ptr @lnum_0P_E, align 4, !tbaa !9
  %32 = icmp eq i32 %31, 0
  br i1 %32, label %33, label %46

33:                                               ; preds = %30, %27
  %34 = load i32, ptr %6, align 4, !tbaa !9
  %35 = load i32, ptr @lnum_F, align 4, !tbaa !9
  %36 = icmp eq i32 %34, %35
  br i1 %36, label %37, label %45

37:                                               ; preds = %33
  %38 = load i32, ptr %11, align 4, !tbaa !9
  %39 = call zeroext i8 @fluents_hopeless(i32 noundef %38)
  %40 = icmp ne i8 %39, 0
  br i1 %40, label %41, label %44

41:                                               ; preds = %37
  %42 = load i32, ptr %11, align 4, !tbaa !9
  %43 = load ptr, ptr %5, align 8, !tbaa !5
  store i32 %42, ptr %43, align 4, !tbaa !9
  store i8 0, ptr %3, align 1
  store i32 1, ptr %13, align 4
  br label %337

44:                                               ; preds = %37
  br label %45

45:                                               ; preds = %44, %33
  br label %46

46:                                               ; preds = %45, %30
  %47 = load i32, ptr %11, align 4, !tbaa !9
  call void @extend_fluent_levels(i32 noundef %47)
  store i32 0, ptr %10, align 4, !tbaa !9
  br label %48

48:                                               ; preds = %96, %46
  %49 = load i32, ptr %10, align 4, !tbaa !9
  %50 = load i32, ptr @gnum_fl_conn, align 4, !tbaa !9
  %51 = icmp slt i32 %49, %50
  br i1 %51, label %52, label %99

52:                                               ; preds = %48
  %53 = load ptr, ptr @gfl_conn, align 8, !tbaa !5
  %54 = load i32, ptr %10, align 4, !tbaa !9
  %55 = sext i32 %54 to i64
  %56 = getelementptr inbounds %struct._FlConn, ptr %53, i64 %55
  %57 = getelementptr inbounds %struct._FlConn, ptr %56, i32 0, i32 17
  %58 = load ptr, ptr %57, align 8, !tbaa !14
  %59 = load i32, ptr %11, align 4, !tbaa !9
  %60 = sext i32 %59 to i64
  %61 = getelementptr inbounds i8, ptr %58, i64 %60
  %62 = load i8, ptr %61, align 1, !tbaa !16
  %63 = icmp ne i8 %62, 0
  br i1 %63, label %64, label %95

64:                                               ; preds = %52
  %65 = load ptr, ptr @gfl_conn, align 8, !tbaa !5
  %66 = load i32, ptr %10, align 4, !tbaa !9
  %67 = sext i32 %66 to i64
  %68 = getelementptr inbounds %struct._FlConn, ptr %65, i64 %67
  %69 = getelementptr inbounds %struct._FlConn, ptr %68, i32 0, i32 17
  %70 = load ptr, ptr %69, align 8, !tbaa !14
  %71 = load i32, ptr %11, align 4, !tbaa !9
  %72 = add nsw i32 %71, 1
  %73 = sext i32 %72 to i64
  %74 = getelementptr inbounds i8, ptr %70, i64 %73
  store i8 1, ptr %74, align 1, !tbaa !16
  %75 = load ptr, ptr @gfl_conn, align 8, !tbaa !5
  %76 = load i32, ptr %10, align 4, !tbaa !9
  %77 = sext i32 %76 to i64
  %78 = getelementptr inbounds %struct._FlConn, ptr %75, i64 %77
  %79 = getelementptr inbounds %struct._FlConn, ptr %78, i32 0, i32 18
  %80 = load ptr, ptr %79, align 8, !tbaa !17
  %81 = load i32, ptr %11, align 4, !tbaa !9
  %82 = sext i32 %81 to i64
  %83 = getelementptr inbounds float, ptr %80, i64 %82
  %84 = load float, ptr %83, align 4, !tbaa !18
  %85 = load ptr, ptr @gfl_conn, align 8, !tbaa !5
  %86 = load i32, ptr %10, align 4, !tbaa !9
  %87 = sext i32 %86 to i64
  %88 = getelementptr inbounds %struct._FlConn, ptr %85, i64 %87
  %89 = getelementptr inbounds %struct._FlConn, ptr %88, i32 0, i32 18
  %90 = load ptr, ptr %89, align 8, !tbaa !17
  %91 = load i32, ptr %11, align 4, !tbaa !9
  %92 = add nsw i32 %91, 1
  %93 = sext i32 %92 to i64
  %94 = getelementptr inbounds float, ptr %90, i64 %93
  store float %84, ptr %94, align 4, !tbaa !18
  br label %95

95:                                               ; preds = %64, %52
  br label %96

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

99:                                               ; preds = %48
  %100 = load i8, ptr @gcost_rplans, align 1, !tbaa !16
  %101 = icmp ne i8 %100, 0
  br i1 %101, label %104, label %102

102:                                              ; preds = %99
  %103 = load i32, ptr @lnum_F, align 4, !tbaa !9
  store i32 %103, ptr %7, align 4, !tbaa !9
  br label %140

104:                                              ; preds = %99
  %105 = load ptr, ptr @gft_conn, align 8, !tbaa !5
  %106 = load ptr, ptr @lF, align 8, !tbaa !5
  %107 = load i32, ptr %6, align 4, !tbaa !9
  %108 = sext i32 %107 to i64
  %109 = getelementptr inbounds i32, ptr %106, i64 %108
  %110 = load i32, ptr %109, align 4, !tbaa !9
  %111 = sext i32 %110 to i64
  %112 = getelementptr inbounds %struct._FtConn, ptr %105, i64 %111
  %113 = getelementptr inbounds %struct._FtConn, ptr %112, i32 0, i32 9
  %114 = load float, ptr %113, align 8, !tbaa !21
  store float %114, ptr %12, align 4, !tbaa !18
  %115 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %115, ptr %10, align 4, !tbaa !9
  br label %116

116:                                              ; preds = %135, %104
  %117 = load i32, ptr %10, align 4, !tbaa !9
  %118 = load i32, ptr @lnum_F, align 4, !tbaa !9
  %119 = icmp slt i32 %117, %118
  br i1 %119, label %120, label %138

120:                                              ; preds = %116
  %121 = load ptr, ptr @gft_conn, align 8, !tbaa !5
  %122 = load ptr, ptr @lF, align 8, !tbaa !5
  %123 = load i32, ptr %10, align 4, !tbaa !9
  %124 = sext i32 %123 to i64
  %125 = getelementptr inbounds i32, ptr %122, i64 %124
  %126 = load i32, ptr %125, align 4, !tbaa !9
  %127 = sext i32 %126 to i64
  %128 = getelementptr inbounds %struct._FtConn, ptr %121, i64 %127
  %129 = getelementptr inbounds %struct._FtConn, ptr %128, i32 0, i32 9
  %130 = load float, ptr %129, align 8, !tbaa !21
  %131 = load float, ptr %12, align 4, !tbaa !18
  %132 = fcmp ogt float %130, %131
  br i1 %132, label %133, label %134

133:                                              ; preds = %120
  br label %138

134:                                              ; preds = %120
  br label %135

135:                                              ; preds = %134
  %136 = load i32, ptr %10, align 4, !tbaa !9
  %137 = add nsw i32 %136, 1
  store i32 %137, ptr %10, align 4, !tbaa !9
  br label %116, !llvm.loop !23

138:                                              ; preds = %133, %116
  %139 = load i32, ptr %10, align 4, !tbaa !9
  store i32 %139, ptr %7, align 4, !tbaa !9
  br label %140

140:                                              ; preds = %138, %102
  %141 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %141, ptr %10, align 4, !tbaa !9
  br label %142

142:                                              ; preds = %153, %140
  %143 = load i32, ptr %10, align 4, !tbaa !9
  %144 = load i32, ptr %7, align 4, !tbaa !9
  %145 = icmp slt i32 %143, %144
  br i1 %145, label %146, label %156

146:                                              ; preds = %142
  %147 = load ptr, ptr @lF, align 8, !tbaa !5
  %148 = load i32, ptr %10, align 4, !tbaa !9
  %149 = sext i32 %148 to i64
  %150 = getelementptr inbounds i32, ptr %147, i64 %149
  %151 = load i32, ptr %150, align 4, !tbaa !9
  %152 = load i32, ptr %11, align 4, !tbaa !9
  call void @activate_ft(i32 noundef %151, i32 noundef %152)
  br label %153

153:                                              ; preds = %146
  %154 = load i32, ptr %10, align 4, !tbaa !9
  %155 = add nsw i32 %154, 1
  store i32 %155, ptr %10, align 4, !tbaa !9
  br label %142, !llvm.loop !24

156:                                              ; preds = %142
  %157 = load i32, ptr %11, align 4, !tbaa !9
  %158 = icmp eq i32 %157, 0
  br i1 %158, label %159, label %187

159:                                              ; preds = %156
  store i32 0, ptr %10, align 4, !tbaa !9
  br label %160

160:                                              ; preds = %183, %159
  %161 = load i32, ptr %10, align 4, !tbaa !9
  %162 = load i32, ptr @lnum_0P_E, align 4, !tbaa !9
  %163 = icmp slt i32 %161, %162
  br i1 %163, label %164, label %186

164:                                              ; preds = %160
  %165 = load ptr, ptr @gef_conn, align 8, !tbaa !5
  %166 = load ptr, ptr @l0P_E, align 8, !tbaa !5
  %167 = load i32, ptr %10, align 4, !tbaa !9
  %168 = sext i32 %167 to i64
  %169 = getelementptr inbounds i32, ptr %166, i64 %168
  %170 = load i32, ptr %169, align 4, !tbaa !9
  %171 = sext i32 %170 to i64
  %172 = getelementptr inbounds %struct._EfConn, ptr %165, i64 %171
  %173 = getelementptr inbounds %struct._EfConn, ptr %172, i32 0, i32 28
  %174 = load i8, ptr %173, align 4, !tbaa !25
  %175 = icmp ne i8 %174, 0
  br i1 %175, label %176, label %177

176:                                              ; preds = %164
  br label %183

177:                                              ; preds = %164
  %178 = load ptr, ptr @l0P_E, align 8, !tbaa !5
  %179 = load i32, ptr %10, align 4, !tbaa !9
  %180 = sext i32 %179 to i64
  %181 = getelementptr inbounds i32, ptr %178, i64 %180
  %182 = load i32, ptr %181, align 4, !tbaa !9
  call void @new_ef(i32 noundef %182)
  br label %183

183:                                              ; preds = %177, %176
  %184 = load i32, ptr %10, align 4, !tbaa !9
  %185 = add nsw i32 %184, 1
  store i32 %185, ptr %10, align 4, !tbaa !9
  br label %160, !llvm.loop !27

186:                                              ; preds = %160
  br label %187

187:                                              ; preds = %186, %156
  store i32 0, ptr %10, align 4, !tbaa !9
  br label %188

188:                                              ; preds = %195, %187
  %189 = load i32, ptr %10, align 4, !tbaa !9
  %190 = load i32, ptr @gnum_fl_conn, align 4, !tbaa !9
  %191 = icmp slt i32 %189, %190
  br i1 %191, label %192, label %198

192:                                              ; preds = %188
  %193 = load i32, ptr %10, align 4, !tbaa !9
  %194 = load i32, ptr %11, align 4, !tbaa !9
  call void @activate_fl(i32 noundef %193, i32 noundef %194)
  br label %195

195:                                              ; preds = %192
  %196 = load i32, ptr %10, align 4, !tbaa !9
  %197 = add nsw i32 %196, 1
  store i32 %197, ptr %10, align 4, !tbaa !9
  br label %188, !llvm.loop !28

198:                                              ; preds = %188
  %199 = load i32, ptr @lnum_E, align 4, !tbaa !9
  store i32 %199, ptr %9, align 4, !tbaa !9
  %200 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %200, ptr %10, align 4, !tbaa !9
  br label %201

201:                                              ; preds = %212, %198
  %202 = load i32, ptr %10, align 4, !tbaa !9
  %203 = load i32, ptr %9, align 4, !tbaa !9
  %204 = icmp slt i32 %202, %203
  br i1 %204, label %205, label %215

205:                                              ; preds = %201
  %206 = load ptr, ptr @lE, align 8, !tbaa !5
  %207 = load i32, ptr %10, align 4, !tbaa !9
  %208 = sext i32 %207 to i64
  %209 = getelementptr inbounds i32, ptr %206, i64 %208
  %210 = load i32, ptr %209, align 4, !tbaa !9
  %211 = load i32, ptr %11, align 4, !tbaa !9
  call void @activate_ef(i32 noundef %210, i32 noundef %211)
  br label %212

212:                                              ; preds = %205
  %213 = load i32, ptr %10, align 4, !tbaa !9
  %214 = add nsw i32 %213, 1
  store i32 %214, ptr %10, align 4, !tbaa !9
  br label %201, !llvm.loop !29

215:                                              ; preds = %201
  %216 = load i32, ptr %11, align 4, !tbaa !9
  %217 = icmp sgt i32 %216, 0
  br i1 %217, label %218, label %234

218:                                              ; preds = %215
  store i32 0, ptr %10, align 4, !tbaa !9
  br label %219

219:                                              ; preds = %230, %218
  %220 = load i32, ptr %10, align 4, !tbaa !9
  %221 = load i32, ptr %8, align 4, !tbaa !9
  %222 = icmp slt i32 %220, %221
  br i1 %222, label %223, label %233

223:                                              ; preds = %219
  %224 = load ptr, ptr @lE, align 8, !tbaa !5
  %225 = load i32, ptr %10, align 4, !tbaa !9
  %226 = sext i32 %225 to i64
  %227 = getelementptr inbounds i32, ptr %224, i64 %226
  %228 = load i32, ptr %227, align 4, !tbaa !9
  %229 = load i32, ptr %11, align 4, !tbaa !9
  call void @apply_ef(i32 noundef %228, i32 noundef %229)
  br label %230

230:                                              ; preds = %223
  %231 = load i32, ptr %10, align 4, !tbaa !9
  %232 = add nsw i32 %231, 1
  store i32 %232, ptr %10, align 4, !tbaa !9
  br label %219, !llvm.loop !30

233:                                              ; preds = %219
  br label %234

234:                                              ; preds = %233, %215
  store i32 0, ptr %10, align 4, !tbaa !9
  br label %235

235:                                              ; preds = %324, %234
  %236 = load i32, ptr %10, align 4, !tbaa !9
  %237 = load i32, ptr @gnum_real_fl_conn, align 4, !tbaa !9
  %238 = icmp slt i32 %236, %237
  br i1 %238, label %239, label %327

239:                                              ; preds = %235
  %240 = load ptr, ptr @gfl_conn, align 8, !tbaa !5
  %241 = load i32, ptr %10, align 4, !tbaa !9
  %242 = sext i32 %241 to i64
  %243 = getelementptr inbounds %struct._FlConn, ptr %240, i64 %242
  %244 = getelementptr inbounds %struct._FlConn, ptr %243, i32 0, i32 19
  %245 = load i8, ptr %244, align 8, !tbaa !31
  %246 = icmp ne i8 %245, 0
  br i1 %246, label %248, label %247

247:                                              ; preds = %239
  br label %324

248:                                              ; preds = %239
  %249 = load ptr, ptr @gfl_conn, align 8, !tbaa !5
  %250 = load i32, ptr %10, align 4, !tbaa !9
  %251 = sext i32 %250 to i64
  %252 = getelementptr inbounds %struct._FlConn, ptr %249, i64 %251
  %253 = getelementptr inbounds %struct._FlConn, ptr %252, i32 0, i32 17
  %254 = load ptr, ptr %253, align 8, !tbaa !14
  %255 = load i32, ptr %11, align 4, !tbaa !9
  %256 = sext i32 %255 to i64
  %257 = getelementptr inbounds i8, ptr %254, i64 %256
  %258 = load i8, ptr %257, align 1, !tbaa !16
  %259 = icmp ne i8 %258, 0
  br i1 %259, label %287, label %260

260:                                              ; preds = %248
  %261 = load ptr, ptr @gfl_conn, align 8, !tbaa !5
  %262 = load i32, ptr %10, align 4, !tbaa !9
  %263 = sext i32 %262 to i64
  %264 = getelementptr inbounds %struct._FlConn, ptr %261, i64 %263
  %265 = getelementptr inbounds %struct._FlConn, ptr %264, i32 0, i32 17
  %266 = load ptr, ptr %265, align 8, !tbaa !14
  %267 = load i32, ptr %11, align 4, !tbaa !9
  %268 = add nsw i32 %267, 1
  %269 = sext i32 %268 to i64
  %270 = getelementptr inbounds i8, ptr %266, i64 %269
  store i8 1, ptr %270, align 1, !tbaa !16
  %271 = load ptr, ptr @gfl_conn, align 8, !tbaa !5
  %272 = load i32, ptr %10, align 4, !tbaa !9
  %273 = sext i32 %272 to i64
  %274 = getelementptr inbounds %struct._FlConn, ptr %271, i64 %273
  %275 = getelementptr inbounds %struct._FlConn, ptr %274, i32 0, i32 20
  %276 = load float, ptr %275, align 4, !tbaa !32
  %277 = load ptr, ptr @gfl_conn, align 8, !tbaa !5
  %278 = load i32, ptr %10, align 4, !tbaa !9
  %279 = sext i32 %278 to i64
  %280 = getelementptr inbounds %struct._FlConn, ptr %277, i64 %279
  %281 = getelementptr inbounds %struct._FlConn, ptr %280, i32 0, i32 18
  %282 = load ptr, ptr %281, align 8, !tbaa !17
  %283 = load i32, ptr %11, align 4, !tbaa !9
  %284 = add nsw i32 %283, 1
  %285 = sext i32 %284 to i64
  %286 = getelementptr inbounds float, ptr %282, i64 %285
  store float %276, ptr %286, align 4, !tbaa !18
  br label %324

287:                                              ; preds = %248
  %288 = load ptr, ptr @gfl_conn, align 8, !tbaa !5
  %289 = load i32, ptr %10, align 4, !tbaa !9
  %290 = sext i32 %289 to i64
  %291 = getelementptr inbounds %struct._FlConn, ptr %288, i64 %290
  %292 = getelementptr inbounds %struct._FlConn, ptr %291, i32 0, i32 20
  %293 = load float, ptr %292, align 4, !tbaa !32
  %294 = load ptr, ptr @gfl_conn, align 8, !tbaa !5
  %295 = load i32, ptr %10, align 4, !tbaa !9
  %296 = sext i32 %295 to i64
  %297 = getelementptr inbounds %struct._FlConn, ptr %294, i64 %296
  %298 = getelementptr inbounds %struct._FlConn, ptr %297, i32 0, i32 18
  %299 = load ptr, ptr %298, align 8, !tbaa !17
  %300 = load i32, ptr %11, align 4, !tbaa !9
  %301 = add nsw i32 %300, 1
  %302 = sext i32 %301 to i64
  %303 = getelementptr inbounds float, ptr %299, i64 %302
  %304 = load float, ptr %303, align 4, !tbaa !18
  %305 = fcmp ogt float %293, %304
  br i1 %305, label %306, label %323

306:                                              ; preds = %287
  %307 = load ptr, ptr @gfl_conn, align 8, !tbaa !5
  %308 = load i32, ptr %10, align 4, !tbaa !9
  %309 = sext i32 %308 to i64
  %310 = getelementptr inbounds %struct._FlConn, ptr %307, i64 %309
  %311 = getelementptr inbounds %struct._FlConn, ptr %310, i32 0, i32 20
  %312 = load float, ptr %311, align 4, !tbaa !32
  %313 = load ptr, ptr @gfl_conn, align 8, !tbaa !5
  %314 = load i32, ptr %10, align 4, !tbaa !9
  %315 = sext i32 %314 to i64
  %316 = getelementptr inbounds %struct._FlConn, ptr %313, i64 %315
  %317 = getelementptr inbounds %struct._FlConn, ptr %316, i32 0, i32 18
  %318 = load ptr, ptr %317, align 8, !tbaa !17
  %319 = load i32, ptr %11, align 4, !tbaa !9
  %320 = add nsw i32 %319, 1
  %321 = sext i32 %320 to i64
  %322 = getelementptr inbounds float, ptr %318, i64 %321
  store float %312, ptr %322, align 4, !tbaa !18
  br label %323

323:                                              ; preds = %306, %287
  br label %324

324:                                              ; preds = %323, %260, %247
  %325 = load i32, ptr %10, align 4, !tbaa !9
  %326 = add nsw i32 %325, 1
  store i32 %326, ptr %10, align 4, !tbaa !9
  br label %235, !llvm.loop !33

327:                                              ; preds = %235
  %328 = load i32, ptr %11, align 4, !tbaa !9
  %329 = add nsw i32 %328, 1
  call void @determine_artificial_fl_levels(i32 noundef %329)
  %330 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %330, ptr %6, align 4, !tbaa !9
  %331 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %331, ptr %8, align 4, !tbaa !9
  %332 = load i32, ptr %11, align 4, !tbaa !9
  %333 = add nsw i32 %332, 1
  store i32 %333, ptr %11, align 4, !tbaa !9
  br label %15

334:                                              ; preds = %26
  %335 = load i32, ptr %11, align 4, !tbaa !9
  %336 = load ptr, ptr %5, align 8, !tbaa !5
  store i32 %335, ptr %336, align 4, !tbaa !9
  store i8 1, ptr %3, align 1
  store i32 1, ptr %13, align 4
  br label %337

337:                                              ; preds = %334, %41
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #3
  %338 = load i8, ptr %3, align 1
  ret i8 %338
}

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

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

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

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

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

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

; Function Attrs: nounwind uwtable
declare dso_local zeroext i8 @all_goals_activated(i32 noundef) #1

; Function Attrs: nounwind uwtable
declare dso_local zeroext i8 @fluents_hopeless(i32 noundef) #1

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

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

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

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

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

!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, !10, i64 772}
!12 = !{!"_command_line", !7, i64 0, !7, i64 256, !7, i64 512, !10, i64 768, !10, i64 772, !10, i64 776, !7, i64 780, !10, i64 784, !13, i64 788}
!13 = !{!"float", !7, i64 0}
!14 = !{!15, !6, i64 112}
!15 = !{!"_FlConn", !6, i64 0, !10, i64 8, !6, i64 16, !6, i64 24, !6, i64 32, !10, i64 40, !6, i64 48, !6, i64 56, !6, i64 64, !10, i64 72, !7, i64 76, !6, i64 80, !6, i64 88, !10, i64 96, !7, i64 100, !13, i64 104, !7, i64 108, !6, i64 112, !6, i64 120, !7, i64 128, !13, i64 132, !10, i64 136}
!16 = !{!7, !7, i64 0}
!17 = !{!15, !6, i64 120}
!18 = !{!13, !13, i64 0}
!19 = distinct !{!19, !20}
!20 = !{!"llvm.loop.mustprogress"}
!21 = !{!22, !13, i64 64}
!22 = !{!"_FtConn", !6, i64 0, !10, i64 8, !6, i64 16, !10, i64 24, !6, i64 32, !10, i64 40, !6, i64 48, !10, i64 56, !10, i64 60, !13, i64 64, !7, i64 68, !10, i64 72, !10, i64 76, !7, i64 80, !10, i64 84, !7, i64 88}
!23 = distinct !{!23, !20}
!24 = distinct !{!24, !20}
!25 = !{!26, !7, i64 196}
!26 = !{!"_EfConn", !10, i64 0, !7, i64 4, !7, i64 5, !13, i64 8, !6, i64 16, !10, i64 24, !6, i64 32, !6, i64 40, !6, i64 48, !10, i64 56, !6, i64 64, !6, i64 72, !6, i64 80, !10, i64 88, !6, i64 96, !10, i64 104, !6, i64 112, !6, i64 120, !6, i64 128, !10, i64 136, !6, i64 144, !6, i64 152, !6, i64 160, !10, i64 168, !6, i64 176, !10, i64 184, !10, i64 188, !13, i64 192, !7, i64 196, !10, i64 200, !7, i64 204, !10, i64 208, !10, i64 212}
!27 = distinct !{!27, !20}
!28 = distinct !{!28, !20}
!29 = distinct !{!29, !20}
!30 = distinct !{!30, !20}
!31 = !{!15, !7, i64 128}
!32 = !{!15, !13, i64 132}
!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"

%struct._command_line = type { [256 x i8], [256 x i8], [256 x i8], i32, i32, i32, i8, i32, float }
%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 }
%struct._FtConn = type { ptr, i32, ptr, i32, ptr, i32, ptr, i32, i32, float, i8, i32, i32, i8, i32, i8 }
%struct._EfConn = type { i32, i8, i8, float, ptr, i32, ptr, ptr, ptr, i32, ptr, ptr, ptr, i32, ptr, i32, ptr, ptr, ptr, i32, ptr, ptr, ptr, i32, ptr, i32, i32, float, i8, i32, i8, i32, i32 }

@gcmd_line = external local_unnamed_addr global %struct._command_line, align 4
@lnum_E = external dso_local local_unnamed_addr global i32, align 4
@gef_conn = external local_unnamed_addr global ptr, align 8
@lE = external dso_local local_unnamed_addr global ptr, align 8
@lnum_F = external dso_local local_unnamed_addr global i32, align 4
@lF = external dso_local local_unnamed_addr global ptr, align 8
@lnum_0P_E = external dso_local local_unnamed_addr global i32, align 4
@l0P_E = external dso_local local_unnamed_addr global ptr, align 8
@gnum_fl_conn = external local_unnamed_addr global i32, align 4
@.str.8 = external hidden unnamed_addr constant [50 x i8], align 1
@gfl_conn = external local_unnamed_addr global ptr, align 8
@gcost_rplans = external local_unnamed_addr global i8, align 1
@gft_conn = external local_unnamed_addr global ptr, align 8
@gnum_real_fl_conn = external local_unnamed_addr global i32, align 4

; Function Attrs: nounwind uwtable
define dso_local zeroext range(i8 0, 2) i8 @build_fixpoint(ptr noundef %0, ptr nocapture noundef writeonly %1) local_unnamed_addr #0 {
  tail call void @initialize_fixpoint(ptr noundef %0)
  br label %3

3:                                                ; preds = %._crit_edge120, %2
  %indvars.iv147 = phi i64 [ %103, %._crit_edge120 ], [ 0, %2 ]
  %.079 = phi i32 [ %91, %._crit_edge120 ], [ 0, %2 ]
  %.078 = phi i32 [ %.080, %._crit_edge120 ], [ 0, %2 ]
  %4 = load i32, ptr getelementptr inbounds (i8, ptr @gcmd_line, i64 772), align 4, !tbaa !5
  %.not = icmp eq i32 %4, 0
  %.pre159 = trunc nuw nsw i64 %indvars.iv147 to i32
  br i1 %.not, label %._crit_edge158, label %5

5:                                                ; preds = %3
  %6 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.8, i32 noundef %.pre159)
  br label %._crit_edge158

._crit_edge158:                                   ; preds = %3, %5
  %7 = tail call zeroext i8 @all_goals_activated(i32 noundef %.pre159)
  %.not83 = icmp eq i8 %7, 0
  br i1 %.not83, label %8, label %140

8:                                                ; preds = %._crit_edge158
  %9 = icmp ne i64 %indvars.iv147, 0
  %10 = load i32, ptr @lnum_0P_E, align 4
  %11 = icmp eq i32 %10, 0
  %or.cond = select i1 %9, i1 true, i1 %11
  %12 = load i32, ptr @lnum_F, align 4
  %13 = icmp eq i32 %.078, %12
  %or.cond91 = select i1 %or.cond, i1 %13, i1 false
  br i1 %or.cond91, label %14, label %16

14:                                               ; preds = %8
  %15 = tail call zeroext i8 @fluents_hopeless(i32 noundef %.pre159)
  %.not84 = icmp eq i8 %15, 0
  br i1 %.not84, label %16, label %140

16:                                               ; preds = %14, %8
  tail call void @extend_fluent_levels(i32 noundef %.pre159)
  %17 = load i32, ptr @gnum_fl_conn, align 4, !tbaa !11
  %18 = icmp sgt i32 %17, 0
  br i1 %18, label %.lr.ph, label %._crit_edge

.lr.ph:                                           ; preds = %16
  %19 = add nuw nsw i64 %indvars.iv147, 1
  %.pre = load ptr, ptr @gfl_conn, align 8, !tbaa !12
  br label %20

20:                                               ; preds = %.lr.ph, %35
  %21 = phi i32 [ %17, %.lr.ph ], [ %36, %35 ]
  %22 = phi ptr [ %.pre, %.lr.ph ], [ %37, %35 ]
  %indvars.iv = phi i64 [ 0, %.lr.ph ], [ %indvars.iv.next, %35 ]
  %23 = getelementptr inbounds %struct._FlConn, ptr %22, i64 %indvars.iv, i32 17
  %24 = load ptr, ptr %23, align 8, !tbaa !14
  %25 = getelementptr inbounds i8, ptr %24, i64 %indvars.iv147
  %26 = load i8, ptr %25, align 1, !tbaa !16
  %.not89 = icmp eq i8 %26, 0
  br i1 %.not89, label %35, label %27

27:                                               ; preds = %20
  %28 = getelementptr inbounds i8, ptr %24, i64 %19
  store i8 1, ptr %28, align 1, !tbaa !16
  %29 = load ptr, ptr @gfl_conn, align 8, !tbaa !12
  %30 = getelementptr inbounds %struct._FlConn, ptr %29, i64 %indvars.iv, i32 18
  %31 = load ptr, ptr %30, align 8, !tbaa !17
  %32 = getelementptr inbounds float, ptr %31, i64 %indvars.iv147
  %33 = load float, ptr %32, align 4, !tbaa !18
  %34 = getelementptr inbounds float, ptr %31, i64 %19
  store float %33, ptr %34, align 4, !tbaa !18
  %.pre150 = load i32, ptr @gnum_fl_conn, align 4, !tbaa !11
  br label %35

35:                                               ; preds = %20, %27
  %36 = phi i32 [ %21, %20 ], [ %.pre150, %27 ]
  %37 = phi ptr [ %22, %20 ], [ %29, %27 ]
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %38 = sext i32 %36 to i64
  %39 = icmp slt i64 %indvars.iv.next, %38
  br i1 %39, label %20, label %._crit_edge, !llvm.loop !19

._crit_edge:                                      ; preds = %35, %16
  %40 = load i8, ptr @gcost_rplans, align 1, !tbaa !16
  %.not85 = icmp eq i8 %40, 0
  br i1 %.not85, label %41, label %43

41:                                               ; preds = %._crit_edge
  %42 = load i32, ptr @lnum_F, align 4, !tbaa !11
  br label %.loopexit94

43:                                               ; preds = %._crit_edge
  %44 = load ptr, ptr @gft_conn, align 8, !tbaa !12
  %45 = load ptr, ptr @lF, align 8, !tbaa !12
  %46 = sext i32 %.078 to i64
  %47 = getelementptr inbounds i32, ptr %45, i64 %46
  %48 = load i32, ptr %47, align 4, !tbaa !11
  %49 = sext i32 %48 to i64
  %50 = getelementptr inbounds %struct._FtConn, ptr %44, i64 %49, i32 9
  %51 = load float, ptr %50, align 8, !tbaa !21
  %52 = load i32, ptr @lnum_F, align 4, !tbaa !11
  %53 = icmp slt i32 %.078, %52
  br i1 %53, label %.lr.ph98.preheader, label %.loopexit94

.lr.ph98.preheader:                               ; preds = %43
  %54 = sext i32 %52 to i64
  br label %.lr.ph98

.lr.ph98:                                         ; preds = %.lr.ph98.preheader, %61
  %indvars.iv125 = phi i64 [ %46, %.lr.ph98.preheader ], [ %indvars.iv.next126, %61 ]
  %55 = getelementptr inbounds i32, ptr %45, i64 %indvars.iv125
  %56 = load i32, ptr %55, align 4, !tbaa !11
  %57 = sext i32 %56 to i64
  %58 = getelementptr inbounds %struct._FtConn, ptr %44, i64 %57, i32 9
  %59 = load float, ptr %58, align 8, !tbaa !21
  %60 = fcmp ogt float %59, %51
  br i1 %60, label %.loopexit94.loopexit.split.loop.exit161, label %61

61:                                               ; preds = %.lr.ph98
  %indvars.iv.next126 = add nsw i64 %indvars.iv125, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next126, %54
  br i1 %exitcond.not, label %.loopexit94, label %.lr.ph98, !llvm.loop !23

.loopexit94.loopexit.split.loop.exit161:          ; preds = %.lr.ph98
  %62 = trunc nsw i64 %indvars.iv125 to i32
  br label %.loopexit94

.loopexit94:                                      ; preds = %61, %.loopexit94.loopexit.split.loop.exit161, %43, %41
  %.080 = phi i32 [ %42, %41 ], [ %.078, %43 ], [ %62, %.loopexit94.loopexit.split.loop.exit161 ], [ %52, %61 ]
  %63 = icmp slt i32 %.078, %.080
  br i1 %63, label %.lr.ph103.preheader, label %._crit_edge104

.lr.ph103.preheader:                              ; preds = %.loopexit94
  %64 = sext i32 %.078 to i64
  br label %.lr.ph103

.lr.ph103:                                        ; preds = %.lr.ph103.preheader, %.lr.ph103
  %indvars.iv128 = phi i64 [ %64, %.lr.ph103.preheader ], [ %indvars.iv.next129, %.lr.ph103 ]
  %65 = load ptr, ptr @lF, align 8, !tbaa !12
  %66 = getelementptr inbounds i32, ptr %65, i64 %indvars.iv128
  %67 = load i32, ptr %66, align 4, !tbaa !11
  tail call void @activate_ft(i32 noundef %67, i32 noundef %.pre159)
  %indvars.iv.next129 = add nsw i64 %indvars.iv128, 1
  %lftr.wideiv = trunc i64 %indvars.iv.next129 to i32
  %exitcond131.not = icmp eq i32 %.080, %lftr.wideiv
  br i1 %exitcond131.not, label %._crit_edge104, label %.lr.ph103, !llvm.loop !24

._crit_edge104:                                   ; preds = %.lr.ph103, %.loopexit94
  %68 = icmp eq i64 %indvars.iv147, 0
  %69 = load i32, ptr @lnum_0P_E, align 4
  %70 = icmp sgt i32 %69, 0
  %or.cond122 = select i1 %68, i1 %70, i1 false
  br i1 %or.cond122, label %.lr.ph106.preheader, label %.loopexit93

.lr.ph106.preheader:                              ; preds = %._crit_edge104
  %.pre152 = load ptr, ptr @gef_conn, align 8, !tbaa !12
  %.pre154 = load ptr, ptr @l0P_E, align 8, !tbaa !12
  br label %.lr.ph106

.lr.ph106:                                        ; preds = %.lr.ph106.preheader, %80
  %71 = phi i32 [ %69, %.lr.ph106.preheader ], [ %81, %80 ]
  %72 = phi ptr [ %.pre154, %.lr.ph106.preheader ], [ %82, %80 ]
  %73 = phi ptr [ %.pre152, %.lr.ph106.preheader ], [ %83, %80 ]
  %indvars.iv132 = phi i64 [ 0, %.lr.ph106.preheader ], [ %indvars.iv.next133, %80 ]
  %74 = getelementptr inbounds i32, ptr %72, i64 %indvars.iv132
  %75 = load i32, ptr %74, align 4, !tbaa !11
  %76 = sext i32 %75 to i64
  %77 = getelementptr inbounds %struct._EfConn, ptr %73, i64 %76, i32 28
  %78 = load i8, ptr %77, align 4, !tbaa !25
  %.not88 = icmp eq i8 %78, 0
  br i1 %.not88, label %79, label %80

79:                                               ; preds = %.lr.ph106
  tail call void @new_ef(i32 noundef %75)
  %.pre151 = load ptr, ptr @gef_conn, align 8, !tbaa !12
  %.pre153 = load ptr, ptr @l0P_E, align 8, !tbaa !12
  %.pre155 = load i32, ptr @lnum_0P_E, align 4, !tbaa !11
  br label %80

80:                                               ; preds = %.lr.ph106, %79
  %81 = phi i32 [ %71, %.lr.ph106 ], [ %.pre155, %79 ]
  %82 = phi ptr [ %72, %.lr.ph106 ], [ %.pre153, %79 ]
  %83 = phi ptr [ %73, %.lr.ph106 ], [ %.pre151, %79 ]
  %indvars.iv.next133 = add nuw nsw i64 %indvars.iv132, 1
  %84 = sext i32 %81 to i64
  %85 = icmp slt i64 %indvars.iv.next133, %84
  br i1 %85, label %.lr.ph106, label %.loopexit93, !llvm.loop !27

.loopexit93:                                      ; preds = %80, %._crit_edge104
  %86 = load i32, ptr @gnum_fl_conn, align 4, !tbaa !11
  %87 = icmp sgt i32 %86, 0
  br i1 %87, label %.lr.ph109, label %._crit_edge110

.lr.ph109:                                        ; preds = %.loopexit93, %.lr.ph109
  %.4107 = phi i32 [ %88, %.lr.ph109 ], [ 0, %.loopexit93 ]
  tail call void @activate_fl(i32 noundef %.4107, i32 noundef %.pre159)
  %88 = add nuw nsw i32 %.4107, 1
  %89 = load i32, ptr @gnum_fl_conn, align 4, !tbaa !11
  %90 = icmp slt i32 %88, %89
  br i1 %90, label %.lr.ph109, label %._crit_edge110, !llvm.loop !28

._crit_edge110:                                   ; preds = %.lr.ph109, %.loopexit93
  %91 = load i32, ptr @lnum_E, align 4, !tbaa !11
  %92 = icmp slt i32 %.079, %91
  br i1 %92, label %.lr.ph113.preheader, label %._crit_edge114

.lr.ph113.preheader:                              ; preds = %._crit_edge110
  %93 = sext i32 %.079 to i64
  br label %.lr.ph113

.lr.ph113:                                        ; preds = %.lr.ph113.preheader, %.lr.ph113
  %indvars.iv135 = phi i64 [ %93, %.lr.ph113.preheader ], [ %indvars.iv.next136, %.lr.ph113 ]
  %94 = load ptr, ptr @lE, align 8, !tbaa !12
  %95 = getelementptr inbounds i32, ptr %94, i64 %indvars.iv135
  %96 = load i32, ptr %95, align 4, !tbaa !11
  tail call void @activate_ef(i32 noundef %96, i32 noundef %.pre159)
  %indvars.iv.next136 = add nsw i64 %indvars.iv135, 1
  %lftr.wideiv138 = trunc i64 %indvars.iv.next136 to i32
  %exitcond139.not = icmp eq i32 %91, %lftr.wideiv138
  br i1 %exitcond139.not, label %._crit_edge114, label %.lr.ph113, !llvm.loop !29

._crit_edge114:                                   ; preds = %.lr.ph113, %._crit_edge110
  %97 = icmp sgt i32 %.079, 0
  %or.cond123 = and i1 %9, %97
  br i1 %or.cond123, label %.lr.ph116.preheader, label %.loopexit

.lr.ph116.preheader:                              ; preds = %._crit_edge114
  %wide.trip.count = zext nneg i32 %.079 to i64
  br label %.lr.ph116

.lr.ph116:                                        ; preds = %.lr.ph116.preheader, %.lr.ph116
  %indvars.iv140 = phi i64 [ 0, %.lr.ph116.preheader ], [ %indvars.iv.next141, %.lr.ph116 ]
  %98 = load ptr, ptr @lE, align 8, !tbaa !12
  %99 = getelementptr inbounds i32, ptr %98, i64 %indvars.iv140
  %100 = load i32, ptr %99, align 4, !tbaa !11
  tail call void @apply_ef(i32 noundef %100, i32 noundef %.pre159)
  %indvars.iv.next141 = add nuw nsw i64 %indvars.iv140, 1
  %exitcond143.not = icmp eq i64 %indvars.iv.next141, %wide.trip.count
  br i1 %exitcond143.not, label %.loopexit, label %.lr.ph116, !llvm.loop !30

.loopexit:                                        ; preds = %.lr.ph116, %._crit_edge114
  %101 = load i32, ptr @gnum_real_fl_conn, align 4, !tbaa !11
  %102 = icmp sgt i32 %101, 0
  %103 = add nuw nsw i64 %indvars.iv147, 1
  br i1 %102, label %.lr.ph119, label %._crit_edge120

.lr.ph119:                                        ; preds = %.loopexit
  %.pre156 = load ptr, ptr @gfl_conn, align 8, !tbaa !12
  br label %104

104:                                              ; preds = %.lr.ph119, %134
  %105 = phi i32 [ %101, %.lr.ph119 ], [ %135, %134 ]
  %106 = phi ptr [ %.pre156, %.lr.ph119 ], [ %136, %134 ]
  %indvars.iv144 = phi i64 [ 0, %.lr.ph119 ], [ %indvars.iv.next145, %134 ]
  %107 = getelementptr inbounds %struct._FlConn, ptr %106, i64 %indvars.iv144
  %108 = getelementptr inbounds i8, ptr %107, i64 128
  %109 = load i8, ptr %108, align 8, !tbaa !31
  %.not86 = icmp eq i8 %109, 0
  br i1 %.not86, label %134, label %110

110:                                              ; preds = %104
  %111 = getelementptr inbounds i8, ptr %107, i64 112
  %112 = load ptr, ptr %111, align 8, !tbaa !14
  %113 = getelementptr inbounds i8, ptr %112, i64 %indvars.iv147
  %114 = load i8, ptr %113, align 1, !tbaa !16
  %.not87 = icmp eq i8 %114, 0
  br i1 %.not87, label %115, label %124

115:                                              ; preds = %110
  %116 = getelementptr inbounds i8, ptr %112, i64 %103
  store i8 1, ptr %116, align 1, !tbaa !16
  %117 = load ptr, ptr @gfl_conn, align 8, !tbaa !12
  %118 = getelementptr inbounds %struct._FlConn, ptr %117, i64 %indvars.iv144
  %119 = getelementptr inbounds i8, ptr %118, i64 132
  %120 = load float, ptr %119, align 4, !tbaa !32
  %121 = getelementptr inbounds i8, ptr %118, i64 120
  %122 = load ptr, ptr %121, align 8, !tbaa !17
  %123 = getelementptr inbounds float, ptr %122, i64 %103
  store float %120, ptr %123, align 4, !tbaa !18
  %.pre157 = load i32, ptr @gnum_real_fl_conn, align 4, !tbaa !11
  br label %134

124:                                              ; preds = %110
  %125 = getelementptr inbounds i8, ptr %107, i64 132
  %126 = load float, ptr %125, align 4, !tbaa !32
  %127 = getelementptr inbounds i8, ptr %107, i64 120
  %128 = load ptr, ptr %127, align 8, !tbaa !17
  %129 = getelementptr inbounds float, ptr %128, i64 %indvars.iv147
  %130 = getelementptr inbounds i8, ptr %129, i64 4
  %131 = load float, ptr %130, align 4, !tbaa !18
  %132 = fcmp ogt float %126, %131
  br i1 %132, label %133, label %134

133:                                              ; preds = %124
  store float %126, ptr %130, align 4, !tbaa !18
  br label %134

134:                                              ; preds = %124, %133, %104, %115
  %135 = phi i32 [ %105, %124 ], [ %105, %133 ], [ %105, %104 ], [ %.pre157, %115 ]
  %136 = phi ptr [ %106, %124 ], [ %106, %133 ], [ %106, %104 ], [ %117, %115 ]
  %indvars.iv.next145 = add nuw nsw i64 %indvars.iv144, 1
  %137 = sext i32 %135 to i64
  %138 = icmp slt i64 %indvars.iv.next145, %137
  br i1 %138, label %104, label %._crit_edge120, !llvm.loop !33

._crit_edge120:                                   ; preds = %134, %.loopexit
  %139 = trunc nuw i64 %103 to i32
  tail call void @determine_artificial_fl_levels(i32 noundef %139)
  br label %3

140:                                              ; preds = %._crit_edge158, %14
  %.0 = phi i8 [ 0, %14 ], [ 1, %._crit_edge158 ]
  store i32 %.pre159, ptr %1, align 4, !tbaa !11
  ret i8 %.0
}

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

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

; Function Attrs: nounwind uwtable
declare dso_local void @activate_ft(i32 noundef, i32 noundef) local_unnamed_addr #0

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

; Function Attrs: nounwind uwtable
declare dso_local void @activate_fl(i32 noundef, i32 noundef) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
declare dso_local zeroext i8 @all_goals_activated(i32 noundef) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
declare dso_local zeroext i8 @fluents_hopeless(i32 noundef) local_unnamed_addr #0

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

; Function Attrs: nounwind uwtable
declare dso_local void @activate_ef(i32 noundef, i32 noundef) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
declare dso_local void @apply_ef(i32 noundef, i32 noundef) local_unnamed_addr #0

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

attributes #0 = { 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 #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" }

!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, !9, i64 772}
!6 = !{!"_command_line", !7, i64 0, !7, i64 256, !7, i64 512, !9, i64 768, !9, i64 772, !9, i64 776, !7, i64 780, !9, i64 784, !10, i64 788}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!"int", !7, i64 0}
!10 = !{!"float", !7, i64 0}
!11 = !{!9, !9, i64 0}
!12 = !{!13, !13, i64 0}
!13 = !{!"any pointer", !7, i64 0}
!14 = !{!15, !13, i64 112}
!15 = !{!"_FlConn", !13, i64 0, !9, i64 8, !13, i64 16, !13, i64 24, !13, i64 32, !9, i64 40, !13, i64 48, !13, i64 56, !13, i64 64, !9, i64 72, !7, i64 76, !13, i64 80, !13, i64 88, !9, i64 96, !7, i64 100, !10, i64 104, !7, i64 108, !13, i64 112, !13, i64 120, !7, i64 128, !10, i64 132, !9, i64 136}
!16 = !{!7, !7, i64 0}
!17 = !{!15, !13, i64 120}
!18 = !{!10, !10, i64 0}
!19 = distinct !{!19, !20}
!20 = !{!"llvm.loop.mustprogress"}
!21 = !{!22, !10, i64 64}
!22 = !{!"_FtConn", !13, i64 0, !9, i64 8, !13, i64 16, !9, i64 24, !13, i64 32, !9, i64 40, !13, i64 48, !9, i64 56, !9, i64 60, !10, i64 64, !7, i64 68, !9, i64 72, !9, i64 76, !7, i64 80, !9, i64 84, !7, i64 88}
!23 = distinct !{!23, !20}
!24 = distinct !{!24, !20}
!25 = !{!26, !7, i64 196}
!26 = !{!"_EfConn", !9, i64 0, !7, i64 4, !7, i64 5, !10, i64 8, !13, i64 16, !9, i64 24, !13, i64 32, !13, i64 40, !13, i64 48, !9, i64 56, !13, i64 64, !13, i64 72, !13, i64 80, !9, i64 88, !13, i64 96, !9, i64 104, !13, i64 112, !13, i64 120, !13, i64 128, !9, i64 136, !13, i64 144, !13, i64 152, !13, i64 160, !9, i64 168, !13, i64 176, !9, i64 184, !9, i64 188, !10, i64 192, !7, i64 196, !9, i64 200, !7, i64 204, !9, i64 208, !9, i64 212}
!27 = distinct !{!27, !20}
!28 = distinct !{!28, !20}
!29 = distinct !{!29, !20}
!30 = distinct !{!30, !20}
!31 = !{!15, !7, i64 128}
!32 = !{!15, !10, i64 132}
!33 = distinct !{!33, !20}


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