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

; 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._ExpNode = type { i32, ptr, i32, float, float, ptr, ptr, ptr }
%struct._Fluent = type { i32, [5 x i32] }

@gf_arity = external global [50 x i32], align 16
@lf = external dso_local global i32, align 4
@lf_args = external dso_local global [15 x i32], align 16
@lf_index = external dso_local global [50 x ptr], align 16
@.str.40 = external hidden unnamed_addr constant [47 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

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

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

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

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

; Function Attrs: nounwind uwtable
declare dso_local i32 @fluent_adress() #4

; Function Attrs: nounwind uwtable
define dso_local zeroext i8 @set_relevants_in_exp(ptr noundef %0) #4 {
  %2 = alloca i8, align 1
  %3 = alloca ptr, align 8
  %4 = alloca i32, align 4
  %5 = alloca i32, align 4
  %6 = alloca i32, align 4
  store ptr %0, ptr %3, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %4) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %5) #5
  %7 = load ptr, ptr %3, align 8, !tbaa !5
  %8 = load ptr, ptr %7, align 8, !tbaa !5
  %9 = getelementptr inbounds %struct._ExpNode, ptr %8, i32 0, i32 0
  %10 = load i32, ptr %9, align 8, !tbaa !9
  switch i32 %10, label %386 [
    i32 1003, label %11
    i32 1004, label %76
    i32 1005, label %141
    i32 1006, label %206
    i32 1002, label %280
    i32 1001, label %392
    i32 1000, label %317
  ]

11:                                               ; preds = %1
  %12 = load ptr, ptr %3, align 8, !tbaa !5
  %13 = load ptr, ptr %12, align 8, !tbaa !5
  %14 = getelementptr inbounds %struct._ExpNode, ptr %13, i32 0, i32 6
  %15 = call zeroext i8 @set_relevants_in_exp(ptr noundef %14)
  %16 = icmp ne i8 %15, 0
  br i1 %16, label %18, label %17

17:                                               ; preds = %11
  store i8 0, ptr %2, align 1
  store i32 1, ptr %6, align 4
  br label %393

18:                                               ; preds = %11
  %19 = load ptr, ptr %3, align 8, !tbaa !5
  %20 = load ptr, ptr %19, align 8, !tbaa !5
  %21 = getelementptr inbounds %struct._ExpNode, ptr %20, i32 0, i32 7
  %22 = call zeroext i8 @set_relevants_in_exp(ptr noundef %21)
  %23 = icmp ne i8 %22, 0
  br i1 %23, label %25, label %24

24:                                               ; preds = %18
  store i8 0, ptr %2, align 1
  store i32 1, ptr %6, align 4
  br label %393

25:                                               ; preds = %18
  %26 = load ptr, ptr %3, align 8, !tbaa !5
  %27 = load ptr, ptr %26, align 8, !tbaa !5
  %28 = getelementptr inbounds %struct._ExpNode, ptr %27, i32 0, i32 6
  %29 = load ptr, ptr %28, align 8, !tbaa !13
  %30 = getelementptr inbounds %struct._ExpNode, ptr %29, i32 0, i32 0
  %31 = load i32, ptr %30, align 8, !tbaa !9
  %32 = icmp ne i32 %31, 1001
  br i1 %32, label %41, label %33

33:                                               ; preds = %25
  %34 = load ptr, ptr %3, align 8, !tbaa !5
  %35 = load ptr, ptr %34, align 8, !tbaa !5
  %36 = getelementptr inbounds %struct._ExpNode, ptr %35, i32 0, i32 7
  %37 = load ptr, ptr %36, align 8, !tbaa !14
  %38 = getelementptr inbounds %struct._ExpNode, ptr %37, i32 0, i32 0
  %39 = load i32, ptr %38, align 8, !tbaa !9
  %40 = icmp ne i32 %39, 1001
  br i1 %40, label %41, label %42

41:                                               ; preds = %33, %25
  br label %392

42:                                               ; preds = %33
  %43 = load ptr, ptr %3, align 8, !tbaa !5
  %44 = load ptr, ptr %43, align 8, !tbaa !5
  %45 = getelementptr inbounds %struct._ExpNode, ptr %44, i32 0, i32 0
  store i32 1001, ptr %45, align 8, !tbaa !9
  %46 = load ptr, ptr %3, align 8, !tbaa !5
  %47 = load ptr, ptr %46, align 8, !tbaa !5
  %48 = getelementptr inbounds %struct._ExpNode, ptr %47, i32 0, i32 6
  %49 = load ptr, ptr %48, align 8, !tbaa !13
  %50 = getelementptr inbounds %struct._ExpNode, ptr %49, i32 0, i32 4
  %51 = load float, ptr %50, align 8, !tbaa !15
  %52 = load ptr, ptr %3, align 8, !tbaa !5
  %53 = load ptr, ptr %52, align 8, !tbaa !5
  %54 = getelementptr inbounds %struct._ExpNode, ptr %53, i32 0, i32 7
  %55 = load ptr, ptr %54, align 8, !tbaa !14
  %56 = getelementptr inbounds %struct._ExpNode, ptr %55, i32 0, i32 4
  %57 = load float, ptr %56, align 8, !tbaa !15
  %58 = fadd float %51, %57
  %59 = load ptr, ptr %3, align 8, !tbaa !5
  %60 = load ptr, ptr %59, align 8, !tbaa !5
  %61 = getelementptr inbounds %struct._ExpNode, ptr %60, i32 0, i32 4
  store float %58, ptr %61, align 8, !tbaa !15
  %62 = load ptr, ptr %3, align 8, !tbaa !5
  %63 = load ptr, ptr %62, align 8, !tbaa !5
  %64 = getelementptr inbounds %struct._ExpNode, ptr %63, i32 0, i32 6
  %65 = load ptr, ptr %64, align 8, !tbaa !13
  call void @free_ExpNode(ptr noundef %65)
  %66 = load ptr, ptr %3, align 8, !tbaa !5
  %67 = load ptr, ptr %66, align 8, !tbaa !5
  %68 = getelementptr inbounds %struct._ExpNode, ptr %67, i32 0, i32 6
  store ptr null, ptr %68, align 8, !tbaa !13
  %69 = load ptr, ptr %3, align 8, !tbaa !5
  %70 = load ptr, ptr %69, align 8, !tbaa !5
  %71 = getelementptr inbounds %struct._ExpNode, ptr %70, i32 0, i32 7
  %72 = load ptr, ptr %71, align 8, !tbaa !14
  call void @free_ExpNode(ptr noundef %72)
  %73 = load ptr, ptr %3, align 8, !tbaa !5
  %74 = load ptr, ptr %73, align 8, !tbaa !5
  %75 = getelementptr inbounds %struct._ExpNode, ptr %74, i32 0, i32 7
  store ptr null, ptr %75, align 8, !tbaa !14
  br label %392

76:                                               ; preds = %1
  %77 = load ptr, ptr %3, align 8, !tbaa !5
  %78 = load ptr, ptr %77, align 8, !tbaa !5
  %79 = getelementptr inbounds %struct._ExpNode, ptr %78, i32 0, i32 6
  %80 = call zeroext i8 @set_relevants_in_exp(ptr noundef %79)
  %81 = icmp ne i8 %80, 0
  br i1 %81, label %83, label %82

82:                                               ; preds = %76
  store i8 0, ptr %2, align 1
  store i32 1, ptr %6, align 4
  br label %393

83:                                               ; preds = %76
  %84 = load ptr, ptr %3, align 8, !tbaa !5
  %85 = load ptr, ptr %84, align 8, !tbaa !5
  %86 = getelementptr inbounds %struct._ExpNode, ptr %85, i32 0, i32 7
  %87 = call zeroext i8 @set_relevants_in_exp(ptr noundef %86)
  %88 = icmp ne i8 %87, 0
  br i1 %88, label %90, label %89

89:                                               ; preds = %83
  store i8 0, ptr %2, align 1
  store i32 1, ptr %6, align 4
  br label %393

90:                                               ; preds = %83
  %91 = load ptr, ptr %3, align 8, !tbaa !5
  %92 = load ptr, ptr %91, align 8, !tbaa !5
  %93 = getelementptr inbounds %struct._ExpNode, ptr %92, i32 0, i32 6
  %94 = load ptr, ptr %93, align 8, !tbaa !13
  %95 = getelementptr inbounds %struct._ExpNode, ptr %94, i32 0, i32 0
  %96 = load i32, ptr %95, align 8, !tbaa !9
  %97 = icmp ne i32 %96, 1001
  br i1 %97, label %106, label %98

98:                                               ; preds = %90
  %99 = load ptr, ptr %3, align 8, !tbaa !5
  %100 = load ptr, ptr %99, align 8, !tbaa !5
  %101 = getelementptr inbounds %struct._ExpNode, ptr %100, i32 0, i32 7
  %102 = load ptr, ptr %101, align 8, !tbaa !14
  %103 = getelementptr inbounds %struct._ExpNode, ptr %102, i32 0, i32 0
  %104 = load i32, ptr %103, align 8, !tbaa !9
  %105 = icmp ne i32 %104, 1001
  br i1 %105, label %106, label %107

106:                                              ; preds = %98, %90
  br label %392

107:                                              ; preds = %98
  %108 = load ptr, ptr %3, align 8, !tbaa !5
  %109 = load ptr, ptr %108, align 8, !tbaa !5
  %110 = getelementptr inbounds %struct._ExpNode, ptr %109, i32 0, i32 0
  store i32 1001, ptr %110, align 8, !tbaa !9
  %111 = load ptr, ptr %3, align 8, !tbaa !5
  %112 = load ptr, ptr %111, align 8, !tbaa !5
  %113 = getelementptr inbounds %struct._ExpNode, ptr %112, i32 0, i32 6
  %114 = load ptr, ptr %113, align 8, !tbaa !13
  %115 = getelementptr inbounds %struct._ExpNode, ptr %114, i32 0, i32 4
  %116 = load float, ptr %115, align 8, !tbaa !15
  %117 = load ptr, ptr %3, align 8, !tbaa !5
  %118 = load ptr, ptr %117, align 8, !tbaa !5
  %119 = getelementptr inbounds %struct._ExpNode, ptr %118, i32 0, i32 7
  %120 = load ptr, ptr %119, align 8, !tbaa !14
  %121 = getelementptr inbounds %struct._ExpNode, ptr %120, i32 0, i32 4
  %122 = load float, ptr %121, align 8, !tbaa !15
  %123 = fsub float %116, %122
  %124 = load ptr, ptr %3, align 8, !tbaa !5
  %125 = load ptr, ptr %124, align 8, !tbaa !5
  %126 = getelementptr inbounds %struct._ExpNode, ptr %125, i32 0, i32 4
  store float %123, ptr %126, align 8, !tbaa !15
  %127 = load ptr, ptr %3, align 8, !tbaa !5
  %128 = load ptr, ptr %127, align 8, !tbaa !5
  %129 = getelementptr inbounds %struct._ExpNode, ptr %128, i32 0, i32 6
  %130 = load ptr, ptr %129, align 8, !tbaa !13
  call void @free_ExpNode(ptr noundef %130)
  %131 = load ptr, ptr %3, align 8, !tbaa !5
  %132 = load ptr, ptr %131, align 8, !tbaa !5
  %133 = getelementptr inbounds %struct._ExpNode, ptr %132, i32 0, i32 6
  store ptr null, ptr %133, align 8, !tbaa !13
  %134 = load ptr, ptr %3, align 8, !tbaa !5
  %135 = load ptr, ptr %134, align 8, !tbaa !5
  %136 = getelementptr inbounds %struct._ExpNode, ptr %135, i32 0, i32 7
  %137 = load ptr, ptr %136, align 8, !tbaa !14
  call void @free_ExpNode(ptr noundef %137)
  %138 = load ptr, ptr %3, align 8, !tbaa !5
  %139 = load ptr, ptr %138, align 8, !tbaa !5
  %140 = getelementptr inbounds %struct._ExpNode, ptr %139, i32 0, i32 7
  store ptr null, ptr %140, align 8, !tbaa !14
  br label %392

141:                                              ; preds = %1
  %142 = load ptr, ptr %3, align 8, !tbaa !5
  %143 = load ptr, ptr %142, align 8, !tbaa !5
  %144 = getelementptr inbounds %struct._ExpNode, ptr %143, i32 0, i32 6
  %145 = call zeroext i8 @set_relevants_in_exp(ptr noundef %144)
  %146 = icmp ne i8 %145, 0
  br i1 %146, label %148, label %147

147:                                              ; preds = %141
  store i8 0, ptr %2, align 1
  store i32 1, ptr %6, align 4
  br label %393

148:                                              ; preds = %141
  %149 = load ptr, ptr %3, align 8, !tbaa !5
  %150 = load ptr, ptr %149, align 8, !tbaa !5
  %151 = getelementptr inbounds %struct._ExpNode, ptr %150, i32 0, i32 7
  %152 = call zeroext i8 @set_relevants_in_exp(ptr noundef %151)
  %153 = icmp ne i8 %152, 0
  br i1 %153, label %155, label %154

154:                                              ; preds = %148
  store i8 0, ptr %2, align 1
  store i32 1, ptr %6, align 4
  br label %393

155:                                              ; preds = %148
  %156 = load ptr, ptr %3, align 8, !tbaa !5
  %157 = load ptr, ptr %156, align 8, !tbaa !5
  %158 = getelementptr inbounds %struct._ExpNode, ptr %157, i32 0, i32 6
  %159 = load ptr, ptr %158, align 8, !tbaa !13
  %160 = getelementptr inbounds %struct._ExpNode, ptr %159, i32 0, i32 0
  %161 = load i32, ptr %160, align 8, !tbaa !9
  %162 = icmp ne i32 %161, 1001
  br i1 %162, label %171, label %163

163:                                              ; preds = %155
  %164 = load ptr, ptr %3, align 8, !tbaa !5
  %165 = load ptr, ptr %164, align 8, !tbaa !5
  %166 = getelementptr inbounds %struct._ExpNode, ptr %165, i32 0, i32 7
  %167 = load ptr, ptr %166, align 8, !tbaa !14
  %168 = getelementptr inbounds %struct._ExpNode, ptr %167, i32 0, i32 0
  %169 = load i32, ptr %168, align 8, !tbaa !9
  %170 = icmp ne i32 %169, 1001
  br i1 %170, label %171, label %172

171:                                              ; preds = %163, %155
  br label %392

172:                                              ; preds = %163
  %173 = load ptr, ptr %3, align 8, !tbaa !5
  %174 = load ptr, ptr %173, align 8, !tbaa !5
  %175 = getelementptr inbounds %struct._ExpNode, ptr %174, i32 0, i32 0
  store i32 1001, ptr %175, align 8, !tbaa !9
  %176 = load ptr, ptr %3, align 8, !tbaa !5
  %177 = load ptr, ptr %176, align 8, !tbaa !5
  %178 = getelementptr inbounds %struct._ExpNode, ptr %177, i32 0, i32 6
  %179 = load ptr, ptr %178, align 8, !tbaa !13
  %180 = getelementptr inbounds %struct._ExpNode, ptr %179, i32 0, i32 4
  %181 = load float, ptr %180, align 8, !tbaa !15
  %182 = load ptr, ptr %3, align 8, !tbaa !5
  %183 = load ptr, ptr %182, align 8, !tbaa !5
  %184 = getelementptr inbounds %struct._ExpNode, ptr %183, i32 0, i32 7
  %185 = load ptr, ptr %184, align 8, !tbaa !14
  %186 = getelementptr inbounds %struct._ExpNode, ptr %185, i32 0, i32 4
  %187 = load float, ptr %186, align 8, !tbaa !15
  %188 = fmul float %181, %187
  %189 = load ptr, ptr %3, align 8, !tbaa !5
  %190 = load ptr, ptr %189, align 8, !tbaa !5
  %191 = getelementptr inbounds %struct._ExpNode, ptr %190, i32 0, i32 4
  store float %188, ptr %191, align 8, !tbaa !15
  %192 = load ptr, ptr %3, align 8, !tbaa !5
  %193 = load ptr, ptr %192, align 8, !tbaa !5
  %194 = getelementptr inbounds %struct._ExpNode, ptr %193, i32 0, i32 6
  %195 = load ptr, ptr %194, align 8, !tbaa !13
  call void @free_ExpNode(ptr noundef %195)
  %196 = load ptr, ptr %3, align 8, !tbaa !5
  %197 = load ptr, ptr %196, align 8, !tbaa !5
  %198 = getelementptr inbounds %struct._ExpNode, ptr %197, i32 0, i32 6
  store ptr null, ptr %198, align 8, !tbaa !13
  %199 = load ptr, ptr %3, align 8, !tbaa !5
  %200 = load ptr, ptr %199, align 8, !tbaa !5
  %201 = getelementptr inbounds %struct._ExpNode, ptr %200, i32 0, i32 7
  %202 = load ptr, ptr %201, align 8, !tbaa !14
  call void @free_ExpNode(ptr noundef %202)
  %203 = load ptr, ptr %3, align 8, !tbaa !5
  %204 = load ptr, ptr %203, align 8, !tbaa !5
  %205 = getelementptr inbounds %struct._ExpNode, ptr %204, i32 0, i32 7
  store ptr null, ptr %205, align 8, !tbaa !14
  br label %392

206:                                              ; preds = %1
  %207 = load ptr, ptr %3, align 8, !tbaa !5
  %208 = load ptr, ptr %207, align 8, !tbaa !5
  %209 = getelementptr inbounds %struct._ExpNode, ptr %208, i32 0, i32 6
  %210 = call zeroext i8 @set_relevants_in_exp(ptr noundef %209)
  %211 = icmp ne i8 %210, 0
  br i1 %211, label %213, label %212

212:                                              ; preds = %206
  store i8 0, ptr %2, align 1
  store i32 1, ptr %6, align 4
  br label %393

213:                                              ; preds = %206
  %214 = load ptr, ptr %3, align 8, !tbaa !5
  %215 = load ptr, ptr %214, align 8, !tbaa !5
  %216 = getelementptr inbounds %struct._ExpNode, ptr %215, i32 0, i32 7
  %217 = call zeroext i8 @set_relevants_in_exp(ptr noundef %216)
  %218 = icmp ne i8 %217, 0
  br i1 %218, label %220, label %219

219:                                              ; preds = %213
  store i8 0, ptr %2, align 1
  store i32 1, ptr %6, align 4
  br label %393

220:                                              ; preds = %213
  %221 = load ptr, ptr %3, align 8, !tbaa !5
  %222 = load ptr, ptr %221, align 8, !tbaa !5
  %223 = getelementptr inbounds %struct._ExpNode, ptr %222, i32 0, i32 6
  %224 = load ptr, ptr %223, align 8, !tbaa !13
  %225 = getelementptr inbounds %struct._ExpNode, ptr %224, i32 0, i32 0
  %226 = load i32, ptr %225, align 8, !tbaa !9
  %227 = icmp ne i32 %226, 1001
  br i1 %227, label %236, label %228

228:                                              ; preds = %220
  %229 = load ptr, ptr %3, align 8, !tbaa !5
  %230 = load ptr, ptr %229, align 8, !tbaa !5
  %231 = getelementptr inbounds %struct._ExpNode, ptr %230, i32 0, i32 7
  %232 = load ptr, ptr %231, align 8, !tbaa !14
  %233 = getelementptr inbounds %struct._ExpNode, ptr %232, i32 0, i32 0
  %234 = load i32, ptr %233, align 8, !tbaa !9
  %235 = icmp ne i32 %234, 1001
  br i1 %235, label %236, label %237

236:                                              ; preds = %228, %220
  br label %392

237:                                              ; preds = %228
  %238 = load ptr, ptr %3, align 8, !tbaa !5
  %239 = load ptr, ptr %238, align 8, !tbaa !5
  %240 = getelementptr inbounds %struct._ExpNode, ptr %239, i32 0, i32 7
  %241 = load ptr, ptr %240, align 8, !tbaa !14
  %242 = getelementptr inbounds %struct._ExpNode, ptr %241, i32 0, i32 4
  %243 = load float, ptr %242, align 8, !tbaa !15
  %244 = fcmp oeq float %243, 0.000000e+00
  br i1 %244, label %245, label %246

245:                                              ; preds = %237
  br label %392

246:                                              ; preds = %237
  %247 = load ptr, ptr %3, align 8, !tbaa !5
  %248 = load ptr, ptr %247, align 8, !tbaa !5
  %249 = getelementptr inbounds %struct._ExpNode, ptr %248, i32 0, i32 0
  store i32 1001, ptr %249, align 8, !tbaa !9
  %250 = load ptr, ptr %3, align 8, !tbaa !5
  %251 = load ptr, ptr %250, align 8, !tbaa !5
  %252 = getelementptr inbounds %struct._ExpNode, ptr %251, i32 0, i32 6
  %253 = load ptr, ptr %252, align 8, !tbaa !13
  %254 = getelementptr inbounds %struct._ExpNode, ptr %253, i32 0, i32 4
  %255 = load float, ptr %254, align 8, !tbaa !15
  %256 = load ptr, ptr %3, align 8, !tbaa !5
  %257 = load ptr, ptr %256, align 8, !tbaa !5
  %258 = getelementptr inbounds %struct._ExpNode, ptr %257, i32 0, i32 7
  %259 = load ptr, ptr %258, align 8, !tbaa !14
  %260 = getelementptr inbounds %struct._ExpNode, ptr %259, i32 0, i32 4
  %261 = load float, ptr %260, align 8, !tbaa !15
  %262 = fdiv float %255, %261
  %263 = load ptr, ptr %3, align 8, !tbaa !5
  %264 = load ptr, ptr %263, align 8, !tbaa !5
  %265 = getelementptr inbounds %struct._ExpNode, ptr %264, i32 0, i32 4
  store float %262, ptr %265, align 8, !tbaa !15
  %266 = load ptr, ptr %3, align 8, !tbaa !5
  %267 = load ptr, ptr %266, align 8, !tbaa !5
  %268 = getelementptr inbounds %struct._ExpNode, ptr %267, i32 0, i32 6
  %269 = load ptr, ptr %268, align 8, !tbaa !13
  call void @free_ExpNode(ptr noundef %269)
  %270 = load ptr, ptr %3, align 8, !tbaa !5
  %271 = load ptr, ptr %270, align 8, !tbaa !5
  %272 = getelementptr inbounds %struct._ExpNode, ptr %271, i32 0, i32 6
  store ptr null, ptr %272, align 8, !tbaa !13
  %273 = load ptr, ptr %3, align 8, !tbaa !5
  %274 = load ptr, ptr %273, align 8, !tbaa !5
  %275 = getelementptr inbounds %struct._ExpNode, ptr %274, i32 0, i32 7
  %276 = load ptr, ptr %275, align 8, !tbaa !14
  call void @free_ExpNode(ptr noundef %276)
  %277 = load ptr, ptr %3, align 8, !tbaa !5
  %278 = load ptr, ptr %277, align 8, !tbaa !5
  %279 = getelementptr inbounds %struct._ExpNode, ptr %278, i32 0, i32 7
  store ptr null, ptr %279, align 8, !tbaa !14
  br label %392

280:                                              ; preds = %1
  %281 = load ptr, ptr %3, align 8, !tbaa !5
  %282 = load ptr, ptr %281, align 8, !tbaa !5
  %283 = getelementptr inbounds %struct._ExpNode, ptr %282, i32 0, i32 5
  %284 = call zeroext i8 @set_relevants_in_exp(ptr noundef %283)
  %285 = icmp ne i8 %284, 0
  br i1 %285, label %287, label %286

286:                                              ; preds = %280
  store i8 0, ptr %2, align 1
  store i32 1, ptr %6, align 4
  br label %393

287:                                              ; preds = %280
  %288 = load ptr, ptr %3, align 8, !tbaa !5
  %289 = load ptr, ptr %288, align 8, !tbaa !5
  %290 = getelementptr inbounds %struct._ExpNode, ptr %289, i32 0, i32 5
  %291 = load ptr, ptr %290, align 8, !tbaa !16
  %292 = getelementptr inbounds %struct._ExpNode, ptr %291, i32 0, i32 0
  %293 = load i32, ptr %292, align 8, !tbaa !9
  %294 = icmp ne i32 %293, 1001
  br i1 %294, label %295, label %296

295:                                              ; preds = %287
  br label %392

296:                                              ; preds = %287
  %297 = load ptr, ptr %3, align 8, !tbaa !5
  %298 = load ptr, ptr %297, align 8, !tbaa !5
  %299 = getelementptr inbounds %struct._ExpNode, ptr %298, i32 0, i32 0
  store i32 1001, ptr %299, align 8, !tbaa !9
  %300 = load ptr, ptr %3, align 8, !tbaa !5
  %301 = load ptr, ptr %300, align 8, !tbaa !5
  %302 = getelementptr inbounds %struct._ExpNode, ptr %301, i32 0, i32 5
  %303 = load ptr, ptr %302, align 8, !tbaa !16
  %304 = getelementptr inbounds %struct._ExpNode, ptr %303, i32 0, i32 4
  %305 = load float, ptr %304, align 8, !tbaa !15
  %306 = fmul float -1.000000e+00, %305
  %307 = load ptr, ptr %3, align 8, !tbaa !5
  %308 = load ptr, ptr %307, align 8, !tbaa !5
  %309 = getelementptr inbounds %struct._ExpNode, ptr %308, i32 0, i32 4
  store float %306, ptr %309, align 8, !tbaa !15
  %310 = load ptr, ptr %3, align 8, !tbaa !5
  %311 = load ptr, ptr %310, align 8, !tbaa !5
  %312 = getelementptr inbounds %struct._ExpNode, ptr %311, i32 0, i32 5
  %313 = load ptr, ptr %312, align 8, !tbaa !16
  call void @free_ExpNode(ptr noundef %313)
  %314 = load ptr, ptr %3, align 8, !tbaa !5
  %315 = load ptr, ptr %314, align 8, !tbaa !5
  %316 = getelementptr inbounds %struct._ExpNode, ptr %315, i32 0, i32 5
  store ptr null, ptr %316, align 8, !tbaa !16
  br label %392

317:                                              ; preds = %1
  %318 = load ptr, ptr %3, align 8, !tbaa !5
  %319 = load ptr, ptr %318, align 8, !tbaa !5
  %320 = getelementptr inbounds %struct._ExpNode, ptr %319, i32 0, i32 1
  %321 = load ptr, ptr %320, align 8, !tbaa !17
  %322 = getelementptr inbounds %struct._Fluent, ptr %321, i32 0, i32 0
  %323 = load i32, ptr %322, align 4, !tbaa !18
  store i32 %323, ptr @lf, align 4, !tbaa !20
  store i32 0, ptr %4, align 4, !tbaa !20
  br label %324

324:                                              ; preds = %344, %317
  %325 = load i32, ptr %4, align 4, !tbaa !20
  %326 = load i32, ptr @lf, align 4, !tbaa !20
  %327 = sext i32 %326 to i64
  %328 = getelementptr inbounds [50 x i32], ptr @gf_arity, i64 0, i64 %327
  %329 = load i32, ptr %328, align 4, !tbaa !20
  %330 = icmp slt i32 %325, %329
  br i1 %330, label %331, label %347

331:                                              ; preds = %324
  %332 = load ptr, ptr %3, align 8, !tbaa !5
  %333 = load ptr, ptr %332, align 8, !tbaa !5
  %334 = getelementptr inbounds %struct._ExpNode, ptr %333, i32 0, i32 1
  %335 = load ptr, ptr %334, align 8, !tbaa !17
  %336 = getelementptr inbounds %struct._Fluent, ptr %335, i32 0, i32 1
  %337 = load i32, ptr %4, align 4, !tbaa !20
  %338 = sext i32 %337 to i64
  %339 = getelementptr inbounds [5 x i32], ptr %336, i64 0, i64 %338
  %340 = load i32, ptr %339, align 4, !tbaa !20
  %341 = load i32, ptr %4, align 4, !tbaa !20
  %342 = sext i32 %341 to i64
  %343 = getelementptr inbounds [15 x i32], ptr @lf_args, i64 0, i64 %342
  store i32 %340, ptr %343, align 4, !tbaa !20
  br label %344

344:                                              ; preds = %331
  %345 = load i32, ptr %4, align 4, !tbaa !20
  %346 = add nsw i32 %345, 1
  store i32 %346, ptr %4, align 4, !tbaa !20
  br label %324, !llvm.loop !21

347:                                              ; preds = %324
  %348 = call i32 @fluent_adress()
  store i32 %348, ptr %5, align 4, !tbaa !20
  %349 = load i32, ptr @lf, align 4, !tbaa !20
  %350 = sext i32 %349 to i64
  %351 = getelementptr inbounds [50 x ptr], ptr @lf_index, i64 0, i64 %350
  %352 = load ptr, ptr %351, align 8, !tbaa !5
  %353 = load i32, ptr %5, align 4, !tbaa !20
  %354 = sext i32 %353 to i64
  %355 = getelementptr inbounds i32, ptr %352, i64 %354
  %356 = load i32, ptr %355, align 4, !tbaa !20
  %357 = load ptr, ptr %3, align 8, !tbaa !5
  %358 = load ptr, ptr %357, align 8, !tbaa !5
  %359 = getelementptr inbounds %struct._ExpNode, ptr %358, i32 0, i32 2
  store i32 %356, ptr %359, align 8, !tbaa !23
  %360 = load ptr, ptr %3, align 8, !tbaa !5
  %361 = load ptr, ptr %360, align 8, !tbaa !5
  %362 = getelementptr inbounds %struct._ExpNode, ptr %361, i32 0, i32 1
  %363 = load ptr, ptr %362, align 8, !tbaa !17
  call void @free(ptr noundef %363) #5
  %364 = load ptr, ptr %3, align 8, !tbaa !5
  %365 = load ptr, ptr %364, align 8, !tbaa !5
  %366 = getelementptr inbounds %struct._ExpNode, ptr %365, i32 0, i32 1
  store ptr null, ptr %366, align 8, !tbaa !17
  %367 = load i32, ptr @lf, align 4, !tbaa !20
  %368 = sext i32 %367 to i64
  %369 = getelementptr inbounds [50 x ptr], ptr @lf_index, i64 0, i64 %368
  %370 = load ptr, ptr %369, align 8, !tbaa !5
  %371 = load i32, ptr %5, align 4, !tbaa !20
  %372 = sext i32 %371 to i64
  %373 = getelementptr inbounds i32, ptr %370, i64 %372
  %374 = load i32, ptr %373, align 4, !tbaa !20
  %375 = icmp eq i32 %374, -1
  br i1 %375, label %376, label %385

376:                                              ; preds = %347
  %377 = load i32, ptr @lf, align 4, !tbaa !20
  %378 = icmp eq i32 %377, 0
  br i1 %378, label %379, label %383

379:                                              ; preds = %376
  %380 = load ptr, ptr %3, align 8, !tbaa !5
  %381 = load ptr, ptr %380, align 8, !tbaa !5
  %382 = getelementptr inbounds %struct._ExpNode, ptr %381, i32 0, i32 2
  store i32 -2, ptr %382, align 8, !tbaa !23
  br label %384

383:                                              ; preds = %376
  store i8 0, ptr %2, align 1
  store i32 1, ptr %6, align 4
  br label %393

384:                                              ; preds = %379
  br label %385

385:                                              ; preds = %384, %347
  br label %392

386:                                              ; preds = %1
  %387 = load ptr, ptr %3, align 8, !tbaa !5
  %388 = load ptr, ptr %387, align 8, !tbaa !5
  %389 = getelementptr inbounds %struct._ExpNode, ptr %388, i32 0, i32 0
  %390 = load i32, ptr %389, align 8, !tbaa !9
  %391 = call i32 (ptr, ...) @printf(ptr noundef @.str.40, i32 noundef %390)
  call void @exit(i32 noundef 1) #6
  unreachable

392:                                              ; preds = %385, %296, %295, %246, %245, %236, %172, %171, %107, %106, %42, %41, %1
  store i8 1, ptr %2, align 1
  store i32 1, ptr %6, align 4
  br label %393

393:                                              ; preds = %392, %383, %286, %219, %212, %154, %147, %89, %82, %24, %17
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %4) #5
  %394 = load i8, ptr %2, align 1
  ret i8 %394
}

declare void @free_ExpNode(ptr noundef) #1

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #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 = { 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 #3 = { nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { nounwind 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 #5 = { nounwind }
attributes #6 = { 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 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !11, i64 0}
!10 = !{!"_ExpNode", !11, i64 0, !6, i64 8, !11, i64 16, !12, i64 20, !12, i64 24, !6, i64 32, !6, i64 40, !6, i64 48}
!11 = !{!"int", !7, i64 0}
!12 = !{!"float", !7, i64 0}
!13 = !{!10, !6, i64 40}
!14 = !{!10, !6, i64 48}
!15 = !{!10, !12, i64 24}
!16 = !{!10, !6, i64 32}
!17 = !{!10, !6, i64 8}
!18 = !{!19, !11, i64 0}
!19 = !{!"_Fluent", !11, i64 0, !7, i64 4}
!20 = !{!11, !11, i64 0}
!21 = distinct !{!21, !22}
!22 = !{!"llvm.loop.mustprogress"}
!23 = !{!10, !11, i64 16}


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

@gf_arity = external local_unnamed_addr global [50 x i32], align 16
@lf = external dso_local local_unnamed_addr global i32, align 4
@lf_args = external dso_local local_unnamed_addr global [15 x i32], align 16
@lf_index = external dso_local local_unnamed_addr global [50 x ptr], align 16
@.str.40 = external hidden unnamed_addr constant [47 x i8], align 1

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

; Function Attrs: noreturn nounwind
declare void @exit(i32 noundef) 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: nounwind uwtable
declare dso_local i32 @fluent_adress() local_unnamed_addr #3

; Function Attrs: nounwind uwtable
define dso_local zeroext range(i8 0, 2) i8 @set_relevants_in_exp(ptr nocapture noundef readonly %0) local_unnamed_addr #3 {
  %2 = load ptr, ptr %0, align 8, !tbaa !5
  %3 = load i32, ptr %2, align 8, !tbaa !9
  switch i32 %3, label %200 [
    i32 1003, label %4
    i32 1004, label %34
    i32 1005, label %64
    i32 1006, label %94
    i32 1002, label %126
    i32 1001, label %202
    i32 1000, label %141
  ]

4:                                                ; preds = %1
  %5 = getelementptr inbounds i8, ptr %2, i64 40
  %6 = tail call zeroext i8 @set_relevants_in_exp(ptr noundef nonnull %5)
  %.not84 = icmp eq i8 %6, 0
  br i1 %.not84, label %202, label %7

7:                                                ; preds = %4
  %8 = load ptr, ptr %0, align 8, !tbaa !5
  %9 = getelementptr inbounds i8, ptr %8, i64 48
  %10 = tail call zeroext i8 @set_relevants_in_exp(ptr noundef nonnull %9)
  %.not85 = icmp eq i8 %10, 0
  br i1 %.not85, label %202, label %11

11:                                               ; preds = %7
  %12 = load ptr, ptr %0, align 8, !tbaa !5
  %13 = getelementptr inbounds i8, ptr %12, i64 40
  %14 = load ptr, ptr %13, align 8, !tbaa !13
  %15 = load i32, ptr %14, align 8, !tbaa !9
  %.not86 = icmp eq i32 %15, 1001
  br i1 %.not86, label %16, label %202

16:                                               ; preds = %11
  %17 = getelementptr inbounds i8, ptr %12, i64 48
  %18 = load ptr, ptr %17, align 8, !tbaa !14
  %19 = load i32, ptr %18, align 8, !tbaa !9
  %.not87 = icmp eq i32 %19, 1001
  br i1 %.not87, label %20, label %202

20:                                               ; preds = %16
  store i32 1001, ptr %12, align 8, !tbaa !9
  %21 = getelementptr inbounds i8, ptr %14, i64 24
  %22 = load float, ptr %21, align 8, !tbaa !15
  %23 = getelementptr inbounds i8, ptr %18, i64 24
  %24 = load float, ptr %23, align 8, !tbaa !15
  %25 = fadd float %22, %24
  %26 = getelementptr inbounds i8, ptr %12, i64 24
  store float %25, ptr %26, align 8, !tbaa !15
  tail call void @free_ExpNode(ptr noundef nonnull %14) #5
  %27 = load ptr, ptr %0, align 8, !tbaa !5
  %28 = getelementptr inbounds i8, ptr %27, i64 40
  store ptr null, ptr %28, align 8, !tbaa !13
  %29 = load ptr, ptr %0, align 8, !tbaa !5
  %30 = getelementptr inbounds i8, ptr %29, i64 48
  %31 = load ptr, ptr %30, align 8, !tbaa !14
  tail call void @free_ExpNode(ptr noundef %31) #5
  %32 = load ptr, ptr %0, align 8, !tbaa !5
  %33 = getelementptr inbounds i8, ptr %32, i64 48
  store ptr null, ptr %33, align 8, !tbaa !14
  br label %202

34:                                               ; preds = %1
  %35 = getelementptr inbounds i8, ptr %2, i64 40
  %36 = tail call zeroext i8 @set_relevants_in_exp(ptr noundef nonnull %35)
  %.not80 = icmp eq i8 %36, 0
  br i1 %.not80, label %202, label %37

37:                                               ; preds = %34
  %38 = load ptr, ptr %0, align 8, !tbaa !5
  %39 = getelementptr inbounds i8, ptr %38, i64 48
  %40 = tail call zeroext i8 @set_relevants_in_exp(ptr noundef nonnull %39)
  %.not81 = icmp eq i8 %40, 0
  br i1 %.not81, label %202, label %41

41:                                               ; preds = %37
  %42 = load ptr, ptr %0, align 8, !tbaa !5
  %43 = getelementptr inbounds i8, ptr %42, i64 40
  %44 = load ptr, ptr %43, align 8, !tbaa !13
  %45 = load i32, ptr %44, align 8, !tbaa !9
  %.not82 = icmp eq i32 %45, 1001
  br i1 %.not82, label %46, label %202

46:                                               ; preds = %41
  %47 = getelementptr inbounds i8, ptr %42, i64 48
  %48 = load ptr, ptr %47, align 8, !tbaa !14
  %49 = load i32, ptr %48, align 8, !tbaa !9
  %.not83 = icmp eq i32 %49, 1001
  br i1 %.not83, label %50, label %202

50:                                               ; preds = %46
  store i32 1001, ptr %42, align 8, !tbaa !9
  %51 = getelementptr inbounds i8, ptr %44, i64 24
  %52 = load float, ptr %51, align 8, !tbaa !15
  %53 = getelementptr inbounds i8, ptr %48, i64 24
  %54 = load float, ptr %53, align 8, !tbaa !15
  %55 = fsub float %52, %54
  %56 = getelementptr inbounds i8, ptr %42, i64 24
  store float %55, ptr %56, align 8, !tbaa !15
  tail call void @free_ExpNode(ptr noundef nonnull %44) #5
  %57 = load ptr, ptr %0, align 8, !tbaa !5
  %58 = getelementptr inbounds i8, ptr %57, i64 40
  store ptr null, ptr %58, align 8, !tbaa !13
  %59 = load ptr, ptr %0, align 8, !tbaa !5
  %60 = getelementptr inbounds i8, ptr %59, i64 48
  %61 = load ptr, ptr %60, align 8, !tbaa !14
  tail call void @free_ExpNode(ptr noundef %61) #5
  %62 = load ptr, ptr %0, align 8, !tbaa !5
  %63 = getelementptr inbounds i8, ptr %62, i64 48
  store ptr null, ptr %63, align 8, !tbaa !14
  br label %202

64:                                               ; preds = %1
  %65 = getelementptr inbounds i8, ptr %2, i64 40
  %66 = tail call zeroext i8 @set_relevants_in_exp(ptr noundef nonnull %65)
  %.not76 = icmp eq i8 %66, 0
  br i1 %.not76, label %202, label %67

67:                                               ; preds = %64
  %68 = load ptr, ptr %0, align 8, !tbaa !5
  %69 = getelementptr inbounds i8, ptr %68, i64 48
  %70 = tail call zeroext i8 @set_relevants_in_exp(ptr noundef nonnull %69)
  %.not77 = icmp eq i8 %70, 0
  br i1 %.not77, label %202, label %71

71:                                               ; preds = %67
  %72 = load ptr, ptr %0, align 8, !tbaa !5
  %73 = getelementptr inbounds i8, ptr %72, i64 40
  %74 = load ptr, ptr %73, align 8, !tbaa !13
  %75 = load i32, ptr %74, align 8, !tbaa !9
  %.not78 = icmp eq i32 %75, 1001
  br i1 %.not78, label %76, label %202

76:                                               ; preds = %71
  %77 = getelementptr inbounds i8, ptr %72, i64 48
  %78 = load ptr, ptr %77, align 8, !tbaa !14
  %79 = load i32, ptr %78, align 8, !tbaa !9
  %.not79 = icmp eq i32 %79, 1001
  br i1 %.not79, label %80, label %202

80:                                               ; preds = %76
  store i32 1001, ptr %72, align 8, !tbaa !9
  %81 = getelementptr inbounds i8, ptr %74, i64 24
  %82 = load float, ptr %81, align 8, !tbaa !15
  %83 = getelementptr inbounds i8, ptr %78, i64 24
  %84 = load float, ptr %83, align 8, !tbaa !15
  %85 = fmul float %82, %84
  %86 = getelementptr inbounds i8, ptr %72, i64 24
  store float %85, ptr %86, align 8, !tbaa !15
  tail call void @free_ExpNode(ptr noundef nonnull %74) #5
  %87 = load ptr, ptr %0, align 8, !tbaa !5
  %88 = getelementptr inbounds i8, ptr %87, i64 40
  store ptr null, ptr %88, align 8, !tbaa !13
  %89 = load ptr, ptr %0, align 8, !tbaa !5
  %90 = getelementptr inbounds i8, ptr %89, i64 48
  %91 = load ptr, ptr %90, align 8, !tbaa !14
  tail call void @free_ExpNode(ptr noundef %91) #5
  %92 = load ptr, ptr %0, align 8, !tbaa !5
  %93 = getelementptr inbounds i8, ptr %92, i64 48
  store ptr null, ptr %93, align 8, !tbaa !14
  br label %202

94:                                               ; preds = %1
  %95 = getelementptr inbounds i8, ptr %2, i64 40
  %96 = tail call zeroext i8 @set_relevants_in_exp(ptr noundef nonnull %95)
  %.not72 = icmp eq i8 %96, 0
  br i1 %.not72, label %202, label %97

97:                                               ; preds = %94
  %98 = load ptr, ptr %0, align 8, !tbaa !5
  %99 = getelementptr inbounds i8, ptr %98, i64 48
  %100 = tail call zeroext i8 @set_relevants_in_exp(ptr noundef nonnull %99)
  %.not73 = icmp eq i8 %100, 0
  br i1 %.not73, label %202, label %101

101:                                              ; preds = %97
  %102 = load ptr, ptr %0, align 8, !tbaa !5
  %103 = getelementptr inbounds i8, ptr %102, i64 40
  %104 = load ptr, ptr %103, align 8, !tbaa !13
  %105 = load i32, ptr %104, align 8, !tbaa !9
  %.not74 = icmp eq i32 %105, 1001
  br i1 %.not74, label %106, label %202

106:                                              ; preds = %101
  %107 = getelementptr inbounds i8, ptr %102, i64 48
  %108 = load ptr, ptr %107, align 8, !tbaa !14
  %109 = load i32, ptr %108, align 8, !tbaa !9
  %.not75 = icmp eq i32 %109, 1001
  br i1 %.not75, label %110, label %202

110:                                              ; preds = %106
  %111 = getelementptr inbounds i8, ptr %108, i64 24
  %112 = load float, ptr %111, align 8, !tbaa !15
  %113 = fcmp oeq float %112, 0.000000e+00
  br i1 %113, label %202, label %114

114:                                              ; preds = %110
  store i32 1001, ptr %102, align 8, !tbaa !9
  %115 = getelementptr inbounds i8, ptr %104, i64 24
  %116 = load float, ptr %115, align 8, !tbaa !15
  %117 = fdiv float %116, %112
  %118 = getelementptr inbounds i8, ptr %102, i64 24
  store float %117, ptr %118, align 8, !tbaa !15
  tail call void @free_ExpNode(ptr noundef nonnull %104) #5
  %119 = load ptr, ptr %0, align 8, !tbaa !5
  %120 = getelementptr inbounds i8, ptr %119, i64 40
  store ptr null, ptr %120, align 8, !tbaa !13
  %121 = load ptr, ptr %0, align 8, !tbaa !5
  %122 = getelementptr inbounds i8, ptr %121, i64 48
  %123 = load ptr, ptr %122, align 8, !tbaa !14
  tail call void @free_ExpNode(ptr noundef %123) #5
  %124 = load ptr, ptr %0, align 8, !tbaa !5
  %125 = getelementptr inbounds i8, ptr %124, i64 48
  store ptr null, ptr %125, align 8, !tbaa !14
  br label %202

126:                                              ; preds = %1
  %127 = getelementptr inbounds i8, ptr %2, i64 32
  %128 = tail call zeroext i8 @set_relevants_in_exp(ptr noundef nonnull %127)
  %.not = icmp eq i8 %128, 0
  br i1 %.not, label %202, label %129

129:                                              ; preds = %126
  %130 = load ptr, ptr %0, align 8, !tbaa !5
  %131 = getelementptr inbounds i8, ptr %130, i64 32
  %132 = load ptr, ptr %131, align 8, !tbaa !16
  %133 = load i32, ptr %132, align 8, !tbaa !9
  %.not71 = icmp eq i32 %133, 1001
  br i1 %.not71, label %134, label %202

134:                                              ; preds = %129
  store i32 1001, ptr %130, align 8, !tbaa !9
  %135 = getelementptr inbounds i8, ptr %132, i64 24
  %136 = load float, ptr %135, align 8, !tbaa !15
  %137 = fneg float %136
  %138 = getelementptr inbounds i8, ptr %130, i64 24
  store float %137, ptr %138, align 8, !tbaa !15
  tail call void @free_ExpNode(ptr noundef nonnull %132) #5
  %139 = load ptr, ptr %0, align 8, !tbaa !5
  %140 = getelementptr inbounds i8, ptr %139, i64 32
  store ptr null, ptr %140, align 8, !tbaa !16
  br label %202

141:                                              ; preds = %1
  %142 = getelementptr inbounds i8, ptr %2, i64 8
  %143 = load ptr, ptr %142, align 8, !tbaa !17
  %144 = load i32, ptr %143, align 4, !tbaa !18
  store i32 %144, ptr @lf, align 4, !tbaa !20
  %145 = sext i32 %144 to i64
  %146 = getelementptr inbounds [50 x i32], ptr @gf_arity, i64 0, i64 %145
  %147 = load i32, ptr %146, align 4, !tbaa !20
  %148 = icmp sgt i32 %147, 0
  br i1 %148, label %.lr.ph, label %._crit_edge

.lr.ph:                                           ; preds = %141
  %149 = ptrtoint ptr %143 to i64
  %150 = getelementptr inbounds i8, ptr %143, i64 4
  %wide.trip.count = zext nneg i32 %147 to i64
  %min.iters.check = icmp ult i32 %147, 8
  %151 = sub i64 add (i64 ptrtoint (ptr @lf_args to i64), i64 -4), %149
  %diff.check = icmp ult i64 %151, 32
  %or.cond = or i1 %min.iters.check, %diff.check
  br i1 %or.cond, label %scalar.ph.preheader, label %vector.ph

vector.ph:                                        ; preds = %.lr.ph
  %n.vec = and i64 %wide.trip.count, 2147483640
  br label %vector.body

vector.body:                                      ; preds = %vector.body, %vector.ph
  %index = phi i64 [ 0, %vector.ph ], [ %index.next, %vector.body ]
  %152 = getelementptr inbounds [5 x i32], ptr %150, i64 0, i64 %index
  %153 = getelementptr inbounds i8, ptr %152, i64 16
  %wide.load = load <4 x i32>, ptr %152, align 4, !tbaa !20
  %wide.load90 = load <4 x i32>, ptr %153, align 4, !tbaa !20
  %154 = getelementptr inbounds [15 x i32], ptr @lf_args, i64 0, i64 %index
  %155 = getelementptr inbounds i8, ptr %154, i64 16
  store <4 x i32> %wide.load, ptr %154, align 16, !tbaa !20
  store <4 x i32> %wide.load90, ptr %155, align 16, !tbaa !20
  %index.next = add nuw i64 %index, 8
  %156 = icmp eq i64 %index.next, %n.vec
  br i1 %156, label %middle.block, label %vector.body, !llvm.loop !21

middle.block:                                     ; preds = %vector.body
  %cmp.n = icmp eq i64 %n.vec, %wide.trip.count
  br i1 %cmp.n, label %._crit_edge, label %scalar.ph.preheader

scalar.ph.preheader:                              ; preds = %middle.block, %.lr.ph
  %indvars.iv.ph = phi i64 [ 0, %.lr.ph ], [ %n.vec, %middle.block ]
  %xtraiter = and i64 %wide.trip.count, 3
  %lcmp.mod.not = icmp eq i64 %xtraiter, 0
  br i1 %lcmp.mod.not, label %scalar.ph.prol.loopexit, label %scalar.ph.prol

scalar.ph.prol:                                   ; preds = %scalar.ph.preheader, %scalar.ph.prol
  %indvars.iv.prol = phi i64 [ %indvars.iv.next.prol, %scalar.ph.prol ], [ %indvars.iv.ph, %scalar.ph.preheader ]
  %prol.iter = phi i64 [ %prol.iter.next, %scalar.ph.prol ], [ 0, %scalar.ph.preheader ]
  %157 = getelementptr inbounds [5 x i32], ptr %150, i64 0, i64 %indvars.iv.prol
  %158 = load i32, ptr %157, align 4, !tbaa !20
  %159 = getelementptr inbounds [15 x i32], ptr @lf_args, i64 0, i64 %indvars.iv.prol
  store i32 %158, ptr %159, align 4, !tbaa !20
  %indvars.iv.next.prol = add nuw nsw i64 %indvars.iv.prol, 1
  %prol.iter.next = add i64 %prol.iter, 1
  %prol.iter.cmp.not = icmp eq i64 %prol.iter.next, %xtraiter
  br i1 %prol.iter.cmp.not, label %scalar.ph.prol.loopexit, label %scalar.ph.prol, !llvm.loop !25

scalar.ph.prol.loopexit:                          ; preds = %scalar.ph.prol, %scalar.ph.preheader
  %indvars.iv.unr = phi i64 [ %indvars.iv.ph, %scalar.ph.preheader ], [ %indvars.iv.next.prol, %scalar.ph.prol ]
  %160 = sub nsw i64 %indvars.iv.ph, %wide.trip.count
  %161 = icmp ugt i64 %160, -4
  br i1 %161, label %._crit_edge, label %scalar.ph

scalar.ph:                                        ; preds = %scalar.ph.prol.loopexit, %scalar.ph
  %indvars.iv = phi i64 [ %indvars.iv.next.3, %scalar.ph ], [ %indvars.iv.unr, %scalar.ph.prol.loopexit ]
  %162 = getelementptr inbounds [5 x i32], ptr %150, i64 0, i64 %indvars.iv
  %163 = load i32, ptr %162, align 4, !tbaa !20
  %164 = getelementptr inbounds [15 x i32], ptr @lf_args, i64 0, i64 %indvars.iv
  store i32 %163, ptr %164, align 4, !tbaa !20
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %165 = getelementptr inbounds [5 x i32], ptr %150, i64 0, i64 %indvars.iv.next
  %166 = load i32, ptr %165, align 4, !tbaa !20
  %167 = getelementptr inbounds [15 x i32], ptr @lf_args, i64 0, i64 %indvars.iv.next
  store i32 %166, ptr %167, align 4, !tbaa !20
  %indvars.iv.next.1 = add nuw nsw i64 %indvars.iv, 2
  %168 = getelementptr inbounds [5 x i32], ptr %150, i64 0, i64 %indvars.iv.next.1
  %169 = load i32, ptr %168, align 4, !tbaa !20
  %170 = getelementptr inbounds [15 x i32], ptr @lf_args, i64 0, i64 %indvars.iv.next.1
  store i32 %169, ptr %170, align 4, !tbaa !20
  %indvars.iv.next.2 = add nuw nsw i64 %indvars.iv, 3
  %171 = getelementptr inbounds [5 x i32], ptr %150, i64 0, i64 %indvars.iv.next.2
  %172 = load i32, ptr %171, align 4, !tbaa !20
  %173 = getelementptr inbounds [15 x i32], ptr @lf_args, i64 0, i64 %indvars.iv.next.2
  store i32 %172, ptr %173, align 4, !tbaa !20
  %indvars.iv.next.3 = add nuw nsw i64 %indvars.iv, 4
  %exitcond.not.3 = icmp eq i64 %indvars.iv.next.3, %wide.trip.count
  br i1 %exitcond.not.3, label %._crit_edge, label %scalar.ph, !llvm.loop !27

._crit_edge:                                      ; preds = %scalar.ph.prol.loopexit, %scalar.ph, %middle.block, %141
  %174 = tail call i32 @fluent_adress()
  %175 = load i32, ptr @lf, align 4, !tbaa !20
  %176 = sext i32 %175 to i64
  %177 = getelementptr inbounds [50 x ptr], ptr @lf_index, i64 0, i64 %176
  %178 = load ptr, ptr %177, align 8, !tbaa !5
  %179 = sext i32 %174 to i64
  %180 = getelementptr inbounds i32, ptr %178, i64 %179
  %181 = load i32, ptr %180, align 4, !tbaa !20
  %182 = load ptr, ptr %0, align 8, !tbaa !5
  %183 = getelementptr inbounds i8, ptr %182, i64 16
  store i32 %181, ptr %183, align 8, !tbaa !28
  %184 = getelementptr inbounds i8, ptr %182, i64 8
  %185 = load ptr, ptr %184, align 8, !tbaa !17
  tail call void @free(ptr noundef %185) #5
  %186 = load ptr, ptr %0, align 8, !tbaa !5
  %187 = getelementptr inbounds i8, ptr %186, i64 8
  store ptr null, ptr %187, align 8, !tbaa !17
  %188 = load i32, ptr @lf, align 4, !tbaa !20
  %189 = sext i32 %188 to i64
  %190 = getelementptr inbounds [50 x ptr], ptr @lf_index, i64 0, i64 %189
  %191 = load ptr, ptr %190, align 8, !tbaa !5
  %192 = getelementptr inbounds i32, ptr %191, i64 %179
  %193 = load i32, ptr %192, align 4, !tbaa !20
  %194 = icmp eq i32 %193, -1
  br i1 %194, label %195, label %202

195:                                              ; preds = %._crit_edge
  %196 = icmp eq i32 %188, 0
  br i1 %196, label %197, label %202

197:                                              ; preds = %195
  %198 = load ptr, ptr %0, align 8, !tbaa !5
  %199 = getelementptr inbounds i8, ptr %198, i64 16
  store i32 -2, ptr %199, align 8, !tbaa !28
  br label %202

200:                                              ; preds = %1
  %201 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.40, i32 noundef %3)
  tail call void @exit(i32 noundef 1) #6
  unreachable

202:                                              ; preds = %1, %20, %50, %80, %114, %134, %16, %11, %46, %41, %76, %71, %106, %101, %110, %129, %197, %._crit_edge, %195, %126, %97, %94, %67, %64, %37, %34, %7, %4
  %.0 = phi i8 [ 0, %4 ], [ 0, %7 ], [ 0, %34 ], [ 0, %37 ], [ 0, %64 ], [ 0, %67 ], [ 0, %94 ], [ 0, %97 ], [ 0, %126 ], [ 0, %195 ], [ 1, %._crit_edge ], [ 1, %197 ], [ 1, %129 ], [ 1, %110 ], [ 1, %101 ], [ 1, %106 ], [ 1, %71 ], [ 1, %76 ], [ 1, %41 ], [ 1, %46 ], [ 1, %11 ], [ 1, %16 ], [ 1, %134 ], [ 1, %114 ], [ 1, %80 ], [ 1, %50 ], [ 1, %20 ], [ 1, %1 ]
  ret i8 %.0
}

declare void @free_ExpNode(ptr noundef) local_unnamed_addr #4

attributes #0 = { 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 #1 = { 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 #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 = { 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 #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 }
attributes #6 = { 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 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !11, i64 0}
!10 = !{!"_ExpNode", !11, i64 0, !6, i64 8, !11, i64 16, !12, i64 20, !12, i64 24, !6, i64 32, !6, i64 40, !6, i64 48}
!11 = !{!"int", !7, i64 0}
!12 = !{!"float", !7, i64 0}
!13 = !{!10, !6, i64 40}
!14 = !{!10, !6, i64 48}
!15 = !{!10, !12, i64 24}
!16 = !{!10, !6, i64 32}
!17 = !{!10, !6, i64 8}
!18 = !{!19, !11, i64 0}
!19 = !{!"_Fluent", !11, i64 0, !7, i64 4}
!20 = !{!11, !11, i64 0}
!21 = distinct !{!21, !22, !23, !24}
!22 = !{!"llvm.loop.mustprogress"}
!23 = !{!"llvm.loop.isvectorized", i32 1}
!24 = !{!"llvm.loop.unroll.runtime.disable"}
!25 = distinct !{!25, !26}
!26 = !{!"llvm.loop.unroll.disable"}
!27 = distinct !{!27, !22, !23}
!28 = !{!10, !11, i64 16}


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