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

; 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] }
%struct._FluentValue = type { %struct._Fluent, float }

@gf_arity = external global [50 x i32], align 16
@linst_table = external dso_local global [15 x i32], align 16
@gis_changed = external global [50 x i8], align 16
@gnum_initial_function = external global ptr, align 8
@ginitial_function = external global ptr, align 8
@.str.6 = external hidden unnamed_addr constant [31 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: nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #0

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

; Function Attrs: nounwind uwtable
define dso_local void @instantiate_exp(ptr noundef %0) #3 {
  %2 = alloca ptr, align 8
  %3 = alloca i32, align 4
  %4 = alloca i32, align 4
  %5 = alloca i32, align 4
  %6 = alloca i32, align 4
  %7 = alloca i8, align 1
  store ptr %0, ptr %2, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %3) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %4) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %5) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #4
  call void @llvm.lifetime.start.p0(i64 1, ptr %7) #4
  %8 = load ptr, ptr %2, align 8, !tbaa !5
  %9 = load ptr, ptr %8, align 8, !tbaa !5
  %10 = getelementptr inbounds %struct._ExpNode, ptr %9, i32 0, i32 0
  %11 = load i32, ptr %10, align 8, !tbaa !9
  switch i32 %11, label %438 [
    i32 1003, label %12
    i32 1004, label %69
    i32 1005, label %126
    i32 1006, label %183
    i32 1002, label %249
    i32 1001, label %444
    i32 1000, label %282
  ]

12:                                               ; preds = %1
  %13 = load ptr, ptr %2, align 8, !tbaa !5
  %14 = load ptr, ptr %13, align 8, !tbaa !5
  %15 = getelementptr inbounds %struct._ExpNode, ptr %14, i32 0, i32 6
  call void @instantiate_exp(ptr noundef %15)
  %16 = load ptr, ptr %2, align 8, !tbaa !5
  %17 = load ptr, ptr %16, align 8, !tbaa !5
  %18 = getelementptr inbounds %struct._ExpNode, ptr %17, i32 0, i32 7
  call void @instantiate_exp(ptr noundef %18)
  %19 = load ptr, ptr %2, align 8, !tbaa !5
  %20 = load ptr, ptr %19, align 8, !tbaa !5
  %21 = getelementptr inbounds %struct._ExpNode, ptr %20, i32 0, i32 6
  %22 = load ptr, ptr %21, align 8, !tbaa !13
  %23 = getelementptr inbounds %struct._ExpNode, ptr %22, i32 0, i32 0
  %24 = load i32, ptr %23, align 8, !tbaa !9
  %25 = icmp ne i32 %24, 1001
  br i1 %25, label %34, label %26

26:                                               ; preds = %12
  %27 = load ptr, ptr %2, align 8, !tbaa !5
  %28 = load ptr, ptr %27, align 8, !tbaa !5
  %29 = getelementptr inbounds %struct._ExpNode, ptr %28, i32 0, i32 7
  %30 = load ptr, ptr %29, align 8, !tbaa !14
  %31 = getelementptr inbounds %struct._ExpNode, ptr %30, i32 0, i32 0
  %32 = load i32, ptr %31, align 8, !tbaa !9
  %33 = icmp ne i32 %32, 1001
  br i1 %33, label %34, label %35

34:                                               ; preds = %26, %12
  br label %444

35:                                               ; preds = %26
  %36 = load ptr, ptr %2, align 8, !tbaa !5
  %37 = load ptr, ptr %36, align 8, !tbaa !5
  %38 = getelementptr inbounds %struct._ExpNode, ptr %37, i32 0, i32 0
  store i32 1001, ptr %38, align 8, !tbaa !9
  %39 = load ptr, ptr %2, align 8, !tbaa !5
  %40 = load ptr, ptr %39, align 8, !tbaa !5
  %41 = getelementptr inbounds %struct._ExpNode, ptr %40, i32 0, i32 6
  %42 = load ptr, ptr %41, align 8, !tbaa !13
  %43 = getelementptr inbounds %struct._ExpNode, ptr %42, i32 0, i32 4
  %44 = load float, ptr %43, align 8, !tbaa !15
  %45 = load ptr, ptr %2, align 8, !tbaa !5
  %46 = load ptr, ptr %45, align 8, !tbaa !5
  %47 = getelementptr inbounds %struct._ExpNode, ptr %46, i32 0, i32 7
  %48 = load ptr, ptr %47, align 8, !tbaa !14
  %49 = getelementptr inbounds %struct._ExpNode, ptr %48, i32 0, i32 4
  %50 = load float, ptr %49, align 8, !tbaa !15
  %51 = fadd float %44, %50
  %52 = load ptr, ptr %2, align 8, !tbaa !5
  %53 = load ptr, ptr %52, align 8, !tbaa !5
  %54 = getelementptr inbounds %struct._ExpNode, ptr %53, i32 0, i32 4
  store float %51, ptr %54, align 8, !tbaa !15
  %55 = load ptr, ptr %2, align 8, !tbaa !5
  %56 = load ptr, ptr %55, align 8, !tbaa !5
  %57 = getelementptr inbounds %struct._ExpNode, ptr %56, i32 0, i32 6
  %58 = load ptr, ptr %57, align 8, !tbaa !13
  call void @free_ExpNode(ptr noundef %58)
  %59 = load ptr, ptr %2, align 8, !tbaa !5
  %60 = load ptr, ptr %59, align 8, !tbaa !5
  %61 = getelementptr inbounds %struct._ExpNode, ptr %60, i32 0, i32 6
  store ptr null, ptr %61, align 8, !tbaa !13
  %62 = load ptr, ptr %2, align 8, !tbaa !5
  %63 = load ptr, ptr %62, align 8, !tbaa !5
  %64 = getelementptr inbounds %struct._ExpNode, ptr %63, i32 0, i32 7
  %65 = load ptr, ptr %64, align 8, !tbaa !14
  call void @free_ExpNode(ptr noundef %65)
  %66 = load ptr, ptr %2, align 8, !tbaa !5
  %67 = load ptr, ptr %66, align 8, !tbaa !5
  %68 = getelementptr inbounds %struct._ExpNode, ptr %67, i32 0, i32 7
  store ptr null, ptr %68, align 8, !tbaa !14
  br label %444

69:                                               ; preds = %1
  %70 = load ptr, ptr %2, align 8, !tbaa !5
  %71 = load ptr, ptr %70, align 8, !tbaa !5
  %72 = getelementptr inbounds %struct._ExpNode, ptr %71, i32 0, i32 6
  call void @instantiate_exp(ptr noundef %72)
  %73 = load ptr, ptr %2, align 8, !tbaa !5
  %74 = load ptr, ptr %73, align 8, !tbaa !5
  %75 = getelementptr inbounds %struct._ExpNode, ptr %74, i32 0, i32 7
  call void @instantiate_exp(ptr noundef %75)
  %76 = load ptr, ptr %2, align 8, !tbaa !5
  %77 = load ptr, ptr %76, align 8, !tbaa !5
  %78 = getelementptr inbounds %struct._ExpNode, ptr %77, i32 0, i32 6
  %79 = load ptr, ptr %78, align 8, !tbaa !13
  %80 = getelementptr inbounds %struct._ExpNode, ptr %79, i32 0, i32 0
  %81 = load i32, ptr %80, align 8, !tbaa !9
  %82 = icmp ne i32 %81, 1001
  br i1 %82, label %91, label %83

83:                                               ; preds = %69
  %84 = load ptr, ptr %2, 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 = load ptr, ptr %86, align 8, !tbaa !14
  %88 = getelementptr inbounds %struct._ExpNode, ptr %87, i32 0, i32 0
  %89 = load i32, ptr %88, align 8, !tbaa !9
  %90 = icmp ne i32 %89, 1001
  br i1 %90, label %91, label %92

91:                                               ; preds = %83, %69
  br label %444

92:                                               ; preds = %83
  %93 = load ptr, ptr %2, align 8, !tbaa !5
  %94 = load ptr, ptr %93, align 8, !tbaa !5
  %95 = getelementptr inbounds %struct._ExpNode, ptr %94, i32 0, i32 0
  store i32 1001, ptr %95, align 8, !tbaa !9
  %96 = load ptr, ptr %2, align 8, !tbaa !5
  %97 = load ptr, ptr %96, align 8, !tbaa !5
  %98 = getelementptr inbounds %struct._ExpNode, ptr %97, i32 0, i32 6
  %99 = load ptr, ptr %98, align 8, !tbaa !13
  %100 = getelementptr inbounds %struct._ExpNode, ptr %99, i32 0, i32 4
  %101 = load float, ptr %100, align 8, !tbaa !15
  %102 = load ptr, ptr %2, align 8, !tbaa !5
  %103 = load ptr, ptr %102, align 8, !tbaa !5
  %104 = getelementptr inbounds %struct._ExpNode, ptr %103, i32 0, i32 7
  %105 = load ptr, ptr %104, align 8, !tbaa !14
  %106 = getelementptr inbounds %struct._ExpNode, ptr %105, i32 0, i32 4
  %107 = load float, ptr %106, align 8, !tbaa !15
  %108 = fsub float %101, %107
  %109 = load ptr, ptr %2, align 8, !tbaa !5
  %110 = load ptr, ptr %109, align 8, !tbaa !5
  %111 = getelementptr inbounds %struct._ExpNode, ptr %110, i32 0, i32 4
  store float %108, ptr %111, align 8, !tbaa !15
  %112 = load ptr, ptr %2, align 8, !tbaa !5
  %113 = load ptr, ptr %112, align 8, !tbaa !5
  %114 = getelementptr inbounds %struct._ExpNode, ptr %113, i32 0, i32 6
  %115 = load ptr, ptr %114, align 8, !tbaa !13
  call void @free_ExpNode(ptr noundef %115)
  %116 = load ptr, ptr %2, align 8, !tbaa !5
  %117 = load ptr, ptr %116, align 8, !tbaa !5
  %118 = getelementptr inbounds %struct._ExpNode, ptr %117, i32 0, i32 6
  store ptr null, ptr %118, align 8, !tbaa !13
  %119 = load ptr, ptr %2, align 8, !tbaa !5
  %120 = load ptr, ptr %119, align 8, !tbaa !5
  %121 = getelementptr inbounds %struct._ExpNode, ptr %120, i32 0, i32 7
  %122 = load ptr, ptr %121, align 8, !tbaa !14
  call void @free_ExpNode(ptr noundef %122)
  %123 = load ptr, ptr %2, align 8, !tbaa !5
  %124 = load ptr, ptr %123, align 8, !tbaa !5
  %125 = getelementptr inbounds %struct._ExpNode, ptr %124, i32 0, i32 7
  store ptr null, ptr %125, align 8, !tbaa !14
  br label %444

126:                                              ; preds = %1
  %127 = load ptr, ptr %2, align 8, !tbaa !5
  %128 = load ptr, ptr %127, align 8, !tbaa !5
  %129 = getelementptr inbounds %struct._ExpNode, ptr %128, i32 0, i32 6
  call void @instantiate_exp(ptr noundef %129)
  %130 = load ptr, ptr %2, align 8, !tbaa !5
  %131 = load ptr, ptr %130, align 8, !tbaa !5
  %132 = getelementptr inbounds %struct._ExpNode, ptr %131, i32 0, i32 7
  call void @instantiate_exp(ptr noundef %132)
  %133 = load ptr, ptr %2, align 8, !tbaa !5
  %134 = load ptr, ptr %133, align 8, !tbaa !5
  %135 = getelementptr inbounds %struct._ExpNode, ptr %134, i32 0, i32 6
  %136 = load ptr, ptr %135, align 8, !tbaa !13
  %137 = getelementptr inbounds %struct._ExpNode, ptr %136, i32 0, i32 0
  %138 = load i32, ptr %137, align 8, !tbaa !9
  %139 = icmp ne i32 %138, 1001
  br i1 %139, label %148, label %140

140:                                              ; preds = %126
  %141 = load ptr, ptr %2, align 8, !tbaa !5
  %142 = load ptr, ptr %141, align 8, !tbaa !5
  %143 = getelementptr inbounds %struct._ExpNode, ptr %142, i32 0, i32 7
  %144 = load ptr, ptr %143, align 8, !tbaa !14
  %145 = getelementptr inbounds %struct._ExpNode, ptr %144, i32 0, i32 0
  %146 = load i32, ptr %145, align 8, !tbaa !9
  %147 = icmp ne i32 %146, 1001
  br i1 %147, label %148, label %149

148:                                              ; preds = %140, %126
  br label %444

149:                                              ; preds = %140
  %150 = load ptr, ptr %2, align 8, !tbaa !5
  %151 = load ptr, ptr %150, align 8, !tbaa !5
  %152 = getelementptr inbounds %struct._ExpNode, ptr %151, i32 0, i32 0
  store i32 1001, ptr %152, align 8, !tbaa !9
  %153 = load ptr, ptr %2, align 8, !tbaa !5
  %154 = load ptr, ptr %153, align 8, !tbaa !5
  %155 = getelementptr inbounds %struct._ExpNode, ptr %154, i32 0, i32 6
  %156 = load ptr, ptr %155, align 8, !tbaa !13
  %157 = getelementptr inbounds %struct._ExpNode, ptr %156, i32 0, i32 4
  %158 = load float, ptr %157, align 8, !tbaa !15
  %159 = load ptr, ptr %2, align 8, !tbaa !5
  %160 = load ptr, ptr %159, align 8, !tbaa !5
  %161 = getelementptr inbounds %struct._ExpNode, ptr %160, i32 0, i32 7
  %162 = load ptr, ptr %161, align 8, !tbaa !14
  %163 = getelementptr inbounds %struct._ExpNode, ptr %162, i32 0, i32 4
  %164 = load float, ptr %163, align 8, !tbaa !15
  %165 = fmul float %158, %164
  %166 = load ptr, ptr %2, align 8, !tbaa !5
  %167 = load ptr, ptr %166, align 8, !tbaa !5
  %168 = getelementptr inbounds %struct._ExpNode, ptr %167, i32 0, i32 4
  store float %165, ptr %168, align 8, !tbaa !15
  %169 = load ptr, ptr %2, align 8, !tbaa !5
  %170 = load ptr, ptr %169, align 8, !tbaa !5
  %171 = getelementptr inbounds %struct._ExpNode, ptr %170, i32 0, i32 6
  %172 = load ptr, ptr %171, align 8, !tbaa !13
  call void @free_ExpNode(ptr noundef %172)
  %173 = load ptr, ptr %2, align 8, !tbaa !5
  %174 = load ptr, ptr %173, align 8, !tbaa !5
  %175 = getelementptr inbounds %struct._ExpNode, ptr %174, i32 0, i32 6
  store ptr null, ptr %175, align 8, !tbaa !13
  %176 = load ptr, ptr %2, align 8, !tbaa !5
  %177 = load ptr, ptr %176, align 8, !tbaa !5
  %178 = getelementptr inbounds %struct._ExpNode, ptr %177, i32 0, i32 7
  %179 = load ptr, ptr %178, align 8, !tbaa !14
  call void @free_ExpNode(ptr noundef %179)
  %180 = load ptr, ptr %2, align 8, !tbaa !5
  %181 = load ptr, ptr %180, align 8, !tbaa !5
  %182 = getelementptr inbounds %struct._ExpNode, ptr %181, i32 0, i32 7
  store ptr null, ptr %182, align 8, !tbaa !14
  br label %444

183:                                              ; preds = %1
  %184 = load ptr, ptr %2, align 8, !tbaa !5
  %185 = load ptr, ptr %184, align 8, !tbaa !5
  %186 = getelementptr inbounds %struct._ExpNode, ptr %185, i32 0, i32 6
  call void @instantiate_exp(ptr noundef %186)
  %187 = load ptr, ptr %2, align 8, !tbaa !5
  %188 = load ptr, ptr %187, align 8, !tbaa !5
  %189 = getelementptr inbounds %struct._ExpNode, ptr %188, i32 0, i32 7
  call void @instantiate_exp(ptr noundef %189)
  %190 = load ptr, ptr %2, align 8, !tbaa !5
  %191 = load ptr, ptr %190, align 8, !tbaa !5
  %192 = getelementptr inbounds %struct._ExpNode, ptr %191, i32 0, i32 6
  %193 = load ptr, ptr %192, align 8, !tbaa !13
  %194 = getelementptr inbounds %struct._ExpNode, ptr %193, i32 0, i32 0
  %195 = load i32, ptr %194, align 8, !tbaa !9
  %196 = icmp ne i32 %195, 1001
  br i1 %196, label %205, label %197

197:                                              ; preds = %183
  %198 = load ptr, ptr %2, align 8, !tbaa !5
  %199 = load ptr, ptr %198, align 8, !tbaa !5
  %200 = getelementptr inbounds %struct._ExpNode, ptr %199, i32 0, i32 7
  %201 = load ptr, ptr %200, align 8, !tbaa !14
  %202 = getelementptr inbounds %struct._ExpNode, ptr %201, i32 0, i32 0
  %203 = load i32, ptr %202, align 8, !tbaa !9
  %204 = icmp ne i32 %203, 1001
  br i1 %204, label %205, label %206

205:                                              ; preds = %197, %183
  br label %444

206:                                              ; preds = %197
  %207 = load ptr, ptr %2, align 8, !tbaa !5
  %208 = load ptr, ptr %207, align 8, !tbaa !5
  %209 = getelementptr inbounds %struct._ExpNode, ptr %208, i32 0, i32 7
  %210 = load ptr, ptr %209, align 8, !tbaa !14
  %211 = getelementptr inbounds %struct._ExpNode, ptr %210, i32 0, i32 4
  %212 = load float, ptr %211, align 8, !tbaa !15
  %213 = fcmp oeq float %212, 0.000000e+00
  br i1 %213, label %214, label %215

214:                                              ; preds = %206
  br label %444

215:                                              ; preds = %206
  %216 = load ptr, ptr %2, align 8, !tbaa !5
  %217 = load ptr, ptr %216, align 8, !tbaa !5
  %218 = getelementptr inbounds %struct._ExpNode, ptr %217, i32 0, i32 0
  store i32 1001, ptr %218, align 8, !tbaa !9
  %219 = load ptr, ptr %2, align 8, !tbaa !5
  %220 = load ptr, ptr %219, align 8, !tbaa !5
  %221 = getelementptr inbounds %struct._ExpNode, ptr %220, i32 0, i32 6
  %222 = load ptr, ptr %221, align 8, !tbaa !13
  %223 = getelementptr inbounds %struct._ExpNode, ptr %222, i32 0, i32 4
  %224 = load float, ptr %223, align 8, !tbaa !15
  %225 = load ptr, ptr %2, align 8, !tbaa !5
  %226 = load ptr, ptr %225, align 8, !tbaa !5
  %227 = getelementptr inbounds %struct._ExpNode, ptr %226, i32 0, i32 7
  %228 = load ptr, ptr %227, align 8, !tbaa !14
  %229 = getelementptr inbounds %struct._ExpNode, ptr %228, i32 0, i32 4
  %230 = load float, ptr %229, align 8, !tbaa !15
  %231 = fdiv float %224, %230
  %232 = load ptr, ptr %2, align 8, !tbaa !5
  %233 = load ptr, ptr %232, align 8, !tbaa !5
  %234 = getelementptr inbounds %struct._ExpNode, ptr %233, i32 0, i32 4
  store float %231, ptr %234, align 8, !tbaa !15
  %235 = load ptr, ptr %2, align 8, !tbaa !5
  %236 = load ptr, ptr %235, align 8, !tbaa !5
  %237 = getelementptr inbounds %struct._ExpNode, ptr %236, i32 0, i32 6
  %238 = load ptr, ptr %237, align 8, !tbaa !13
  call void @free_ExpNode(ptr noundef %238)
  %239 = load ptr, ptr %2, align 8, !tbaa !5
  %240 = load ptr, ptr %239, align 8, !tbaa !5
  %241 = getelementptr inbounds %struct._ExpNode, ptr %240, i32 0, i32 6
  store ptr null, ptr %241, align 8, !tbaa !13
  %242 = load ptr, ptr %2, align 8, !tbaa !5
  %243 = load ptr, ptr %242, align 8, !tbaa !5
  %244 = getelementptr inbounds %struct._ExpNode, ptr %243, i32 0, i32 7
  %245 = load ptr, ptr %244, align 8, !tbaa !14
  call void @free_ExpNode(ptr noundef %245)
  %246 = load ptr, ptr %2, align 8, !tbaa !5
  %247 = load ptr, ptr %246, align 8, !tbaa !5
  %248 = getelementptr inbounds %struct._ExpNode, ptr %247, i32 0, i32 7
  store ptr null, ptr %248, align 8, !tbaa !14
  br label %444

249:                                              ; preds = %1
  %250 = load ptr, ptr %2, align 8, !tbaa !5
  %251 = load ptr, ptr %250, align 8, !tbaa !5
  %252 = getelementptr inbounds %struct._ExpNode, ptr %251, i32 0, i32 5
  call void @instantiate_exp(ptr noundef %252)
  %253 = load ptr, ptr %2, align 8, !tbaa !5
  %254 = load ptr, ptr %253, align 8, !tbaa !5
  %255 = getelementptr inbounds %struct._ExpNode, ptr %254, i32 0, i32 5
  %256 = load ptr, ptr %255, align 8, !tbaa !16
  %257 = getelementptr inbounds %struct._ExpNode, ptr %256, i32 0, i32 0
  %258 = load i32, ptr %257, align 8, !tbaa !9
  %259 = icmp ne i32 %258, 1001
  br i1 %259, label %260, label %261

260:                                              ; preds = %249
  br label %444

261:                                              ; preds = %249
  %262 = load ptr, ptr %2, align 8, !tbaa !5
  %263 = load ptr, ptr %262, align 8, !tbaa !5
  %264 = getelementptr inbounds %struct._ExpNode, ptr %263, i32 0, i32 0
  store i32 1001, ptr %264, align 8, !tbaa !9
  %265 = load ptr, ptr %2, align 8, !tbaa !5
  %266 = load ptr, ptr %265, align 8, !tbaa !5
  %267 = getelementptr inbounds %struct._ExpNode, ptr %266, i32 0, i32 5
  %268 = load ptr, ptr %267, align 8, !tbaa !16
  %269 = getelementptr inbounds %struct._ExpNode, ptr %268, i32 0, i32 4
  %270 = load float, ptr %269, align 8, !tbaa !15
  %271 = fmul float -1.000000e+00, %270
  %272 = load ptr, ptr %2, align 8, !tbaa !5
  %273 = load ptr, ptr %272, align 8, !tbaa !5
  %274 = getelementptr inbounds %struct._ExpNode, ptr %273, i32 0, i32 4
  store float %271, ptr %274, align 8, !tbaa !15
  %275 = load ptr, ptr %2, align 8, !tbaa !5
  %276 = load ptr, ptr %275, align 8, !tbaa !5
  %277 = getelementptr inbounds %struct._ExpNode, ptr %276, i32 0, i32 5
  %278 = load ptr, ptr %277, align 8, !tbaa !16
  call void @free_ExpNode(ptr noundef %278)
  %279 = load ptr, ptr %2, align 8, !tbaa !5
  %280 = load ptr, ptr %279, align 8, !tbaa !5
  %281 = getelementptr inbounds %struct._ExpNode, ptr %280, i32 0, i32 5
  store ptr null, ptr %281, align 8, !tbaa !16
  br label %444

282:                                              ; preds = %1
  %283 = load ptr, ptr %2, align 8, !tbaa !5
  %284 = load ptr, ptr %283, align 8, !tbaa !5
  %285 = getelementptr inbounds %struct._ExpNode, ptr %284, i32 0, i32 1
  %286 = load ptr, ptr %285, align 8, !tbaa !17
  %287 = getelementptr inbounds %struct._Fluent, ptr %286, i32 0, i32 0
  %288 = load i32, ptr %287, align 4, !tbaa !18
  store i32 %288, ptr %4, align 4, !tbaa !20
  store i8 1, ptr %7, align 1, !tbaa !21
  store i32 0, ptr %3, align 4, !tbaa !20
  br label %289

289:                                              ; preds = %348, %282
  %290 = load i32, ptr %3, align 4, !tbaa !20
  %291 = load i32, ptr %4, align 4, !tbaa !20
  %292 = sext i32 %291 to i64
  %293 = getelementptr inbounds [50 x i32], ptr @gf_arity, i64 0, i64 %292
  %294 = load i32, ptr %293, align 4, !tbaa !20
  %295 = icmp slt i32 %290, %294
  br i1 %295, label %296, label %351

296:                                              ; preds = %289
  %297 = load ptr, ptr %2, align 8, !tbaa !5
  %298 = load ptr, ptr %297, align 8, !tbaa !5
  %299 = getelementptr inbounds %struct._ExpNode, ptr %298, i32 0, i32 1
  %300 = load ptr, ptr %299, align 8, !tbaa !17
  %301 = getelementptr inbounds %struct._Fluent, ptr %300, i32 0, i32 1
  %302 = load i32, ptr %3, align 4, !tbaa !20
  %303 = sext i32 %302 to i64
  %304 = getelementptr inbounds [5 x i32], ptr %301, i64 0, i64 %303
  %305 = load i32, ptr %304, align 4, !tbaa !20
  %306 = icmp slt i32 %305, 0
  br i1 %306, label %307, label %322

307:                                              ; preds = %296
  %308 = load ptr, ptr %2, align 8, !tbaa !5
  %309 = load ptr, ptr %308, align 8, !tbaa !5
  %310 = getelementptr inbounds %struct._ExpNode, ptr %309, i32 0, i32 1
  %311 = load ptr, ptr %310, align 8, !tbaa !17
  %312 = getelementptr inbounds %struct._Fluent, ptr %311, i32 0, i32 1
  %313 = load i32, ptr %3, align 4, !tbaa !20
  %314 = sext i32 %313 to i64
  %315 = getelementptr inbounds [5 x i32], ptr %312, i64 0, i64 %314
  %316 = load i32, ptr %315, align 4, !tbaa !20
  %317 = add nsw i32 %316, 1
  %318 = mul nsw i32 %317, -1
  %319 = sext i32 %318 to i64
  %320 = getelementptr inbounds [15 x i32], ptr @linst_table, i64 0, i64 %319
  %321 = load i32, ptr %320, align 4, !tbaa !20
  br label %332

322:                                              ; preds = %296
  %323 = load ptr, ptr %2, align 8, !tbaa !5
  %324 = load ptr, ptr %323, align 8, !tbaa !5
  %325 = getelementptr inbounds %struct._ExpNode, ptr %324, i32 0, i32 1
  %326 = load ptr, ptr %325, align 8, !tbaa !17
  %327 = getelementptr inbounds %struct._Fluent, ptr %326, i32 0, i32 1
  %328 = load i32, ptr %3, align 4, !tbaa !20
  %329 = sext i32 %328 to i64
  %330 = getelementptr inbounds [5 x i32], ptr %327, i64 0, i64 %329
  %331 = load i32, ptr %330, align 4, !tbaa !20
  br label %332

332:                                              ; preds = %322, %307
  %333 = phi i32 [ %321, %307 ], [ %331, %322 ]
  store i32 %333, ptr %6, align 4, !tbaa !20
  %334 = load i32, ptr %6, align 4, !tbaa !20
  %335 = icmp slt i32 %334, 0
  br i1 %335, label %336, label %337

336:                                              ; preds = %332
  store i8 0, ptr %7, align 1, !tbaa !21
  br label %347

337:                                              ; preds = %332
  %338 = load i32, ptr %6, align 4, !tbaa !20
  %339 = load ptr, ptr %2, align 8, !tbaa !5
  %340 = load ptr, ptr %339, align 8, !tbaa !5
  %341 = getelementptr inbounds %struct._ExpNode, ptr %340, i32 0, i32 1
  %342 = load ptr, ptr %341, align 8, !tbaa !17
  %343 = getelementptr inbounds %struct._Fluent, ptr %342, i32 0, i32 1
  %344 = load i32, ptr %3, align 4, !tbaa !20
  %345 = sext i32 %344 to i64
  %346 = getelementptr inbounds [5 x i32], ptr %343, i64 0, i64 %345
  store i32 %338, ptr %346, align 4, !tbaa !20
  br label %347

347:                                              ; preds = %337, %336
  br label %348

348:                                              ; preds = %347
  %349 = load i32, ptr %3, align 4, !tbaa !20
  %350 = add nsw i32 %349, 1
  store i32 %350, ptr %3, align 4, !tbaa !20
  br label %289, !llvm.loop !22

351:                                              ; preds = %289
  %352 = load i8, ptr %7, align 1, !tbaa !21
  %353 = icmp ne i8 %352, 0
  br i1 %353, label %355, label %354

354:                                              ; preds = %351
  br label %444

355:                                              ; preds = %351
  %356 = load i32, ptr %4, align 4, !tbaa !20
  %357 = sext i32 %356 to i64
  %358 = getelementptr inbounds [50 x i8], ptr @gis_changed, i64 0, i64 %357
  %359 = load i8, ptr %358, align 1, !tbaa !21
  %360 = icmp ne i8 %359, 0
  br i1 %360, label %361, label %362

361:                                              ; preds = %355
  br label %444

362:                                              ; preds = %355
  store i32 0, ptr %3, align 4, !tbaa !20
  br label %363

363:                                              ; preds = %434, %362
  %364 = load i32, ptr %3, align 4, !tbaa !20
  %365 = load ptr, ptr @gnum_initial_function, align 8, !tbaa !5
  %366 = load i32, ptr %4, align 4, !tbaa !20
  %367 = sext i32 %366 to i64
  %368 = getelementptr inbounds i32, ptr %365, i64 %367
  %369 = load i32, ptr %368, align 4, !tbaa !20
  %370 = icmp slt i32 %364, %369
  br i1 %370, label %371, label %437

371:                                              ; preds = %363
  store i32 0, ptr %5, align 4, !tbaa !20
  br label %372

372:                                              ; preds = %406, %371
  %373 = load i32, ptr %5, align 4, !tbaa !20
  %374 = load i32, ptr %4, align 4, !tbaa !20
  %375 = sext i32 %374 to i64
  %376 = getelementptr inbounds [50 x i32], ptr @gf_arity, i64 0, i64 %375
  %377 = load i32, ptr %376, align 4, !tbaa !20
  %378 = icmp slt i32 %373, %377
  br i1 %378, label %379, label %409

379:                                              ; preds = %372
  %380 = load ptr, ptr @ginitial_function, align 8, !tbaa !5
  %381 = load i32, ptr %4, align 4, !tbaa !20
  %382 = sext i32 %381 to i64
  %383 = getelementptr inbounds ptr, ptr %380, i64 %382
  %384 = load ptr, ptr %383, align 8, !tbaa !5
  %385 = load i32, ptr %3, align 4, !tbaa !20
  %386 = sext i32 %385 to i64
  %387 = getelementptr inbounds %struct._FluentValue, ptr %384, i64 %386
  %388 = getelementptr inbounds %struct._FluentValue, ptr %387, i32 0, i32 0
  %389 = getelementptr inbounds %struct._Fluent, ptr %388, i32 0, i32 1
  %390 = load i32, ptr %5, align 4, !tbaa !20
  %391 = sext i32 %390 to i64
  %392 = getelementptr inbounds [5 x i32], ptr %389, i64 0, i64 %391
  %393 = load i32, ptr %392, align 4, !tbaa !20
  %394 = load ptr, ptr %2, align 8, !tbaa !5
  %395 = load ptr, ptr %394, align 8, !tbaa !5
  %396 = getelementptr inbounds %struct._ExpNode, ptr %395, i32 0, i32 1
  %397 = load ptr, ptr %396, align 8, !tbaa !17
  %398 = getelementptr inbounds %struct._Fluent, ptr %397, i32 0, i32 1
  %399 = load i32, ptr %5, align 4, !tbaa !20
  %400 = sext i32 %399 to i64
  %401 = getelementptr inbounds [5 x i32], ptr %398, i64 0, i64 %400
  %402 = load i32, ptr %401, align 4, !tbaa !20
  %403 = icmp ne i32 %393, %402
  br i1 %403, label %404, label %405

404:                                              ; preds = %379
  br label %409

405:                                              ; preds = %379
  br label %406

406:                                              ; preds = %405
  %407 = load i32, ptr %5, align 4, !tbaa !20
  %408 = add nsw i32 %407, 1
  store i32 %408, ptr %5, align 4, !tbaa !20
  br label %372, !llvm.loop !24

409:                                              ; preds = %404, %372
  %410 = load i32, ptr %5, align 4, !tbaa !20
  %411 = load i32, ptr %4, align 4, !tbaa !20
  %412 = sext i32 %411 to i64
  %413 = getelementptr inbounds [50 x i32], ptr @gf_arity, i64 0, i64 %412
  %414 = load i32, ptr %413, align 4, !tbaa !20
  %415 = icmp slt i32 %410, %414
  br i1 %415, label %416, label %417

416:                                              ; preds = %409
  br label %434

417:                                              ; preds = %409
  %418 = load ptr, ptr %2, align 8, !tbaa !5
  %419 = load ptr, ptr %418, align 8, !tbaa !5
  %420 = getelementptr inbounds %struct._ExpNode, ptr %419, i32 0, i32 0
  store i32 1001, ptr %420, align 8, !tbaa !9
  %421 = load ptr, ptr @ginitial_function, align 8, !tbaa !5
  %422 = load i32, ptr %4, align 4, !tbaa !20
  %423 = sext i32 %422 to i64
  %424 = getelementptr inbounds ptr, ptr %421, i64 %423
  %425 = load ptr, ptr %424, align 8, !tbaa !5
  %426 = load i32, ptr %3, align 4, !tbaa !20
  %427 = sext i32 %426 to i64
  %428 = getelementptr inbounds %struct._FluentValue, ptr %425, i64 %427
  %429 = getelementptr inbounds %struct._FluentValue, ptr %428, i32 0, i32 1
  %430 = load float, ptr %429, align 4, !tbaa !25
  %431 = load ptr, ptr %2, align 8, !tbaa !5
  %432 = load ptr, ptr %431, align 8, !tbaa !5
  %433 = getelementptr inbounds %struct._ExpNode, ptr %432, i32 0, i32 4
  store float %430, ptr %433, align 8, !tbaa !15
  br label %437

434:                                              ; preds = %416
  %435 = load i32, ptr %3, align 4, !tbaa !20
  %436 = add nsw i32 %435, 1
  store i32 %436, ptr %3, align 4, !tbaa !20
  br label %363, !llvm.loop !27

437:                                              ; preds = %417, %363
  br label %444

438:                                              ; preds = %1
  %439 = load ptr, ptr %2, align 8, !tbaa !5
  %440 = load ptr, ptr %439, align 8, !tbaa !5
  %441 = getelementptr inbounds %struct._ExpNode, ptr %440, i32 0, i32 0
  %442 = load i32, ptr %441, align 8, !tbaa !9
  %443 = call i32 (ptr, ...) @printf(ptr noundef @.str.6, i32 noundef %442)
  call void @exit(i32 noundef 1) #5
  unreachable

444:                                              ; preds = %437, %361, %354, %261, %260, %215, %214, %205, %149, %148, %92, %91, %35, %34, %1
  call void @llvm.lifetime.end.p0(i64 1, ptr %7) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %4) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %3) #4
  ret void
}

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 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 = { nounwind }
attributes #5 = { 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 = !{!7, !7, i64 0}
!22 = distinct !{!22, !23}
!23 = !{!"llvm.loop.mustprogress"}
!24 = distinct !{!24, !23}
!25 = !{!26, !12, i64 24}
!26 = !{!"_FluentValue", !19, i64 0, !12, i64 24}
!27 = distinct !{!27, !23}


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

@gf_arity = external local_unnamed_addr global [50 x i32], align 16
@linst_table = external dso_local local_unnamed_addr global [15 x i32], align 16
@gis_changed = external local_unnamed_addr global [50 x i8], align 16
@gnum_initial_function = external local_unnamed_addr global ptr, align 8
@ginitial_function = external local_unnamed_addr global ptr, align 8
@.str.6 = external hidden unnamed_addr constant [31 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: nounwind uwtable
define dso_local void @instantiate_exp(ptr nocapture noundef readonly %0) local_unnamed_addr #2 {
  %2 = load ptr, ptr %0, align 8, !tbaa !5
  %3 = load i32, ptr %2, align 8, !tbaa !9
  switch i32 %3, label %183 [
    i32 1003, label %4
    i32 1004, label %30
    i32 1005, label %56
    i32 1006, label %82
    i32 1002, label %110
    i32 1001, label %.loopexit
    i32 1000, label %123
  ]

4:                                                ; preds = %1
  %5 = getelementptr inbounds i8, ptr %2, i64 40
  tail call void @instantiate_exp(ptr noundef nonnull %5)
  %6 = load ptr, ptr %0, align 8, !tbaa !5
  %7 = getelementptr inbounds i8, ptr %6, i64 48
  tail call void @instantiate_exp(ptr noundef nonnull %7)
  %8 = load ptr, ptr %0, align 8, !tbaa !5
  %9 = getelementptr inbounds i8, ptr %8, i64 40
  %10 = load ptr, ptr %9, align 8, !tbaa !13
  %11 = load i32, ptr %10, align 8, !tbaa !9
  %.not105 = icmp eq i32 %11, 1001
  br i1 %.not105, label %12, label %.loopexit

12:                                               ; preds = %4
  %13 = getelementptr inbounds i8, ptr %8, i64 48
  %14 = load ptr, ptr %13, align 8, !tbaa !14
  %15 = load i32, ptr %14, align 8, !tbaa !9
  %.not106 = icmp eq i32 %15, 1001
  br i1 %.not106, label %16, label %.loopexit

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

30:                                               ; preds = %1
  %31 = getelementptr inbounds i8, ptr %2, i64 40
  tail call void @instantiate_exp(ptr noundef nonnull %31)
  %32 = load ptr, ptr %0, align 8, !tbaa !5
  %33 = getelementptr inbounds i8, ptr %32, i64 48
  tail call void @instantiate_exp(ptr noundef nonnull %33)
  %34 = load ptr, ptr %0, align 8, !tbaa !5
  %35 = getelementptr inbounds i8, ptr %34, i64 40
  %36 = load ptr, ptr %35, align 8, !tbaa !13
  %37 = load i32, ptr %36, align 8, !tbaa !9
  %.not103 = icmp eq i32 %37, 1001
  br i1 %.not103, label %38, label %.loopexit

38:                                               ; preds = %30
  %39 = getelementptr inbounds i8, ptr %34, i64 48
  %40 = load ptr, ptr %39, align 8, !tbaa !14
  %41 = load i32, ptr %40, align 8, !tbaa !9
  %.not104 = icmp eq i32 %41, 1001
  br i1 %.not104, label %42, label %.loopexit

42:                                               ; preds = %38
  store i32 1001, ptr %34, align 8, !tbaa !9
  %43 = getelementptr inbounds i8, ptr %36, i64 24
  %44 = load float, ptr %43, align 8, !tbaa !15
  %45 = getelementptr inbounds i8, ptr %40, i64 24
  %46 = load float, ptr %45, align 8, !tbaa !15
  %47 = fsub float %44, %46
  %48 = getelementptr inbounds i8, ptr %34, i64 24
  store float %47, ptr %48, align 8, !tbaa !15
  tail call void @free_ExpNode(ptr noundef nonnull %36) #4
  %49 = load ptr, ptr %0, align 8, !tbaa !5
  %50 = getelementptr inbounds i8, ptr %49, i64 40
  store ptr null, ptr %50, align 8, !tbaa !13
  %51 = load ptr, ptr %0, align 8, !tbaa !5
  %52 = getelementptr inbounds i8, ptr %51, i64 48
  %53 = load ptr, ptr %52, align 8, !tbaa !14
  tail call void @free_ExpNode(ptr noundef %53) #4
  %54 = load ptr, ptr %0, align 8, !tbaa !5
  %55 = getelementptr inbounds i8, ptr %54, i64 48
  store ptr null, ptr %55, align 8, !tbaa !14
  br label %.loopexit

56:                                               ; preds = %1
  %57 = getelementptr inbounds i8, ptr %2, i64 40
  tail call void @instantiate_exp(ptr noundef nonnull %57)
  %58 = load ptr, ptr %0, align 8, !tbaa !5
  %59 = getelementptr inbounds i8, ptr %58, i64 48
  tail call void @instantiate_exp(ptr noundef nonnull %59)
  %60 = load ptr, ptr %0, align 8, !tbaa !5
  %61 = getelementptr inbounds i8, ptr %60, i64 40
  %62 = load ptr, ptr %61, align 8, !tbaa !13
  %63 = load i32, ptr %62, align 8, !tbaa !9
  %.not101 = icmp eq i32 %63, 1001
  br i1 %.not101, label %64, label %.loopexit

64:                                               ; preds = %56
  %65 = getelementptr inbounds i8, ptr %60, i64 48
  %66 = load ptr, ptr %65, align 8, !tbaa !14
  %67 = load i32, ptr %66, align 8, !tbaa !9
  %.not102 = icmp eq i32 %67, 1001
  br i1 %.not102, label %68, label %.loopexit

68:                                               ; preds = %64
  store i32 1001, ptr %60, align 8, !tbaa !9
  %69 = getelementptr inbounds i8, ptr %62, i64 24
  %70 = load float, ptr %69, align 8, !tbaa !15
  %71 = getelementptr inbounds i8, ptr %66, i64 24
  %72 = load float, ptr %71, align 8, !tbaa !15
  %73 = fmul float %70, %72
  %74 = getelementptr inbounds i8, ptr %60, i64 24
  store float %73, ptr %74, align 8, !tbaa !15
  tail call void @free_ExpNode(ptr noundef nonnull %62) #4
  %75 = load ptr, ptr %0, align 8, !tbaa !5
  %76 = getelementptr inbounds i8, ptr %75, i64 40
  store ptr null, ptr %76, align 8, !tbaa !13
  %77 = load ptr, ptr %0, align 8, !tbaa !5
  %78 = getelementptr inbounds i8, ptr %77, i64 48
  %79 = load ptr, ptr %78, align 8, !tbaa !14
  tail call void @free_ExpNode(ptr noundef %79) #4
  %80 = load ptr, ptr %0, align 8, !tbaa !5
  %81 = getelementptr inbounds i8, ptr %80, i64 48
  store ptr null, ptr %81, align 8, !tbaa !14
  br label %.loopexit

82:                                               ; preds = %1
  %83 = getelementptr inbounds i8, ptr %2, i64 40
  tail call void @instantiate_exp(ptr noundef nonnull %83)
  %84 = load ptr, ptr %0, align 8, !tbaa !5
  %85 = getelementptr inbounds i8, ptr %84, i64 48
  tail call void @instantiate_exp(ptr noundef nonnull %85)
  %86 = load ptr, ptr %0, align 8, !tbaa !5
  %87 = getelementptr inbounds i8, ptr %86, i64 40
  %88 = load ptr, ptr %87, align 8, !tbaa !13
  %89 = load i32, ptr %88, align 8, !tbaa !9
  %.not99 = icmp eq i32 %89, 1001
  br i1 %.not99, label %90, label %.loopexit

90:                                               ; preds = %82
  %91 = getelementptr inbounds i8, ptr %86, i64 48
  %92 = load ptr, ptr %91, align 8, !tbaa !14
  %93 = load i32, ptr %92, align 8, !tbaa !9
  %.not100 = icmp eq i32 %93, 1001
  br i1 %.not100, label %94, label %.loopexit

94:                                               ; preds = %90
  %95 = getelementptr inbounds i8, ptr %92, i64 24
  %96 = load float, ptr %95, align 8, !tbaa !15
  %97 = fcmp oeq float %96, 0.000000e+00
  br i1 %97, label %.loopexit, label %98

98:                                               ; preds = %94
  store i32 1001, ptr %86, align 8, !tbaa !9
  %99 = getelementptr inbounds i8, ptr %88, i64 24
  %100 = load float, ptr %99, align 8, !tbaa !15
  %101 = fdiv float %100, %96
  %102 = getelementptr inbounds i8, ptr %86, i64 24
  store float %101, ptr %102, align 8, !tbaa !15
  tail call void @free_ExpNode(ptr noundef nonnull %88) #4
  %103 = load ptr, ptr %0, align 8, !tbaa !5
  %104 = getelementptr inbounds i8, ptr %103, i64 40
  store ptr null, ptr %104, align 8, !tbaa !13
  %105 = load ptr, ptr %0, align 8, !tbaa !5
  %106 = getelementptr inbounds i8, ptr %105, i64 48
  %107 = load ptr, ptr %106, align 8, !tbaa !14
  tail call void @free_ExpNode(ptr noundef %107) #4
  %108 = load ptr, ptr %0, align 8, !tbaa !5
  %109 = getelementptr inbounds i8, ptr %108, i64 48
  store ptr null, ptr %109, align 8, !tbaa !14
  br label %.loopexit

110:                                              ; preds = %1
  %111 = getelementptr inbounds i8, ptr %2, i64 32
  tail call void @instantiate_exp(ptr noundef nonnull %111)
  %112 = load ptr, ptr %0, align 8, !tbaa !5
  %113 = getelementptr inbounds i8, ptr %112, i64 32
  %114 = load ptr, ptr %113, align 8, !tbaa !16
  %115 = load i32, ptr %114, align 8, !tbaa !9
  %.not98 = icmp eq i32 %115, 1001
  br i1 %.not98, label %116, label %.loopexit

116:                                              ; preds = %110
  store i32 1001, ptr %112, align 8, !tbaa !9
  %117 = getelementptr inbounds i8, ptr %114, i64 24
  %118 = load float, ptr %117, align 8, !tbaa !15
  %119 = fneg float %118
  %120 = getelementptr inbounds i8, ptr %112, i64 24
  store float %119, ptr %120, align 8, !tbaa !15
  tail call void @free_ExpNode(ptr noundef nonnull %114) #4
  %121 = load ptr, ptr %0, align 8, !tbaa !5
  %122 = getelementptr inbounds i8, ptr %121, i64 32
  store ptr null, ptr %122, align 8, !tbaa !16
  br label %.loopexit

123:                                              ; preds = %1
  %124 = getelementptr inbounds i8, ptr %2, i64 8
  %125 = load ptr, ptr %124, align 8, !tbaa !17
  %126 = load i32, ptr %125, align 4, !tbaa !18
  %127 = sext i32 %126 to i64
  %128 = getelementptr inbounds [50 x i32], ptr @gf_arity, i64 0, i64 %127
  %129 = load i32, ptr %128, align 4, !tbaa !20
  %130 = icmp sgt i32 %129, 0
  br i1 %130, label %.lr.ph, label %._crit_edge.thread

.lr.ph:                                           ; preds = %123
  %131 = getelementptr inbounds i8, ptr %125, i64 4
  br label %.outer

.outer:                                           ; preds = %._crit_edge155, %.lr.ph
  %.ph = phi i32 [ %.pre, %._crit_edge155 ], [ %129, %.lr.ph ]
  %indvars.iv.ph = phi i64 [ %indvars.iv.next, %._crit_edge155 ], [ 0, %.lr.ph ]
  %.0112.ph = phi i8 [ %.0112.lcssa, %._crit_edge155 ], [ 1, %.lr.ph ]
  %132 = sext i32 %.ph to i64
  %133 = getelementptr inbounds [5 x i32], ptr %131, i64 0, i64 %indvars.iv.ph
  %134 = load i32, ptr %133, align 4, !tbaa !20
  %135 = icmp slt i32 %134, 0
  br i1 %135, label %.lr.ph154.peel, label %._crit_edge155

.lr.ph154.peel:                                   ; preds = %.outer
  %136 = xor i32 %134, -1
  %137 = zext nneg i32 %136 to i64
  %138 = getelementptr inbounds [15 x i32], ptr @linst_table, i64 0, i64 %137
  %139 = load i32, ptr %138, align 4, !tbaa !20
  %140 = icmp slt i32 %139, 0
  br i1 %140, label %.thread136.peel, label %._crit_edge155

.thread136.peel:                                  ; preds = %.lr.ph154.peel
  %indvars.iv.next138.peel = add nuw nsw i64 %indvars.iv.ph, 1
  %141 = icmp slt i64 %indvars.iv.next138.peel, %132
  br i1 %141, label %142, label %.loopexit, !llvm.loop !21

142:                                              ; preds = %.thread136.peel
  %143 = getelementptr inbounds [5 x i32], ptr %131, i64 0, i64 %indvars.iv.next138.peel
  %144 = load i32, ptr %143, align 4, !tbaa !20
  %145 = icmp slt i32 %144, 0
  br i1 %145, label %.lr.ph154, label %._crit_edge155

146:                                              ; preds = %.thread136
  %147 = getelementptr inbounds [5 x i32], ptr %131, i64 0, i64 %indvars.iv.next138
  %148 = load i32, ptr %147, align 4, !tbaa !20
  %149 = icmp slt i32 %148, 0
  br i1 %149, label %.lr.ph154, label %._crit_edge155, !llvm.loop !23

.lr.ph154:                                        ; preds = %142, %146
  %150 = phi i32 [ %148, %146 ], [ %144, %142 ]
  %indvars.iv152 = phi i64 [ %indvars.iv.next138, %146 ], [ %indvars.iv.next138.peel, %142 ]
  %151 = xor i32 %150, -1
  %152 = zext nneg i32 %151 to i64
  %153 = getelementptr inbounds [15 x i32], ptr @linst_table, i64 0, i64 %152
  %154 = load i32, ptr %153, align 4, !tbaa !20
  %155 = icmp slt i32 %154, 0
  br i1 %155, label %.thread136, label %._crit_edge155

._crit_edge155:                                   ; preds = %.lr.ph154.peel, %142, %146, %.lr.ph154, %.outer
  %indvars.iv.lcssa = phi i64 [ %indvars.iv.ph, %.outer ], [ %indvars.iv.ph, %.lr.ph154.peel ], [ %indvars.iv.next138.peel, %142 ], [ %indvars.iv152, %.lr.ph154 ], [ %indvars.iv.next138, %146 ]
  %.0112.lcssa = phi i8 [ %.0112.ph, %.outer ], [ %.0112.ph, %.lr.ph154.peel ], [ 0, %142 ], [ 0, %146 ], [ 0, %.lr.ph154 ]
  %156 = phi i32 [ %134, %.outer ], [ %139, %.lr.ph154.peel ], [ %144, %142 ], [ %154, %.lr.ph154 ], [ %148, %146 ]
  %157 = getelementptr inbounds [5 x i32], ptr %131, i64 0, i64 %indvars.iv.lcssa
  store i32 %156, ptr %157, align 4, !tbaa !20
  %.pre = load i32, ptr %128, align 4, !tbaa !20
  %indvars.iv.next = add nuw nsw i64 %indvars.iv.lcssa, 1
  %158 = sext i32 %.pre to i64
  %159 = icmp slt i64 %indvars.iv.next, %158
  br i1 %159, label %.outer, label %._crit_edge, !llvm.loop !21

.thread136:                                       ; preds = %.lr.ph154
  %indvars.iv.next138 = add nuw nsw i64 %indvars.iv152, 1
  %160 = icmp slt i64 %indvars.iv.next138, %132
  br i1 %160, label %146, label %.loopexit, !llvm.loop !21

._crit_edge:                                      ; preds = %._crit_edge155
  %161 = icmp eq i8 %.0112.lcssa, 0
  br i1 %161, label %.loopexit, label %._crit_edge.thread

._crit_edge.thread:                               ; preds = %123, %._crit_edge
  %.lcssa135 = phi i32 [ %.pre, %._crit_edge ], [ %129, %123 ]
  %162 = getelementptr inbounds [50 x i8], ptr @gis_changed, i64 0, i64 %127
  %163 = load i8, ptr %162, align 1, !tbaa !25
  %.not96 = icmp eq i8 %163, 0
  br i1 %.not96, label %.preheader108, label %.loopexit

.preheader108:                                    ; preds = %._crit_edge.thread
  %164 = load ptr, ptr @gnum_initial_function, align 8, !tbaa !5
  %165 = getelementptr inbounds i32, ptr %164, i64 %127
  %166 = load i32, ptr %165, align 4, !tbaa !20
  %167 = icmp sgt i32 %166, 0
  br i1 %167, label %.preheader.lr.ph, label %.loopexit

.preheader.lr.ph:                                 ; preds = %.preheader108
  %168 = icmp sgt i32 %.lcssa135, 0
  %169 = getelementptr inbounds i8, ptr %125, i64 4
  %.pre131 = load ptr, ptr @ginitial_function, align 8
  %170 = getelementptr inbounds ptr, ptr %.pre131, i64 %127
  %171 = load ptr, ptr %170, align 8, !tbaa !5
  br i1 %168, label %.preheader.lr.ph.split.us, label %.preheader._crit_edge

.preheader.lr.ph.split.us:                        ; preds = %.preheader.lr.ph
  %wide.trip.count129 = zext nneg i32 %166 to i64
  %wide.trip.count = zext nneg i32 %.lcssa135 to i64
  br label %.preheader.us

.preheader.us:                                    ; preds = %178, %.preheader.lr.ph.split.us
  %indvars.iv126 = phi i64 [ %indvars.iv.next127, %178 ], [ 0, %.preheader.lr.ph.split.us ]
  br label %173

172:                                              ; preds = %173
  %indvars.iv.next124 = add nuw nsw i64 %indvars.iv123, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next124, %wide.trip.count
  br i1 %exitcond.not, label %.preheader._crit_edge.loopexit, label %173, !llvm.loop !26

173:                                              ; preds = %.preheader.us, %172
  %indvars.iv123 = phi i64 [ 0, %.preheader.us ], [ %indvars.iv.next124, %172 ]
  %174 = getelementptr inbounds %struct._FluentValue, ptr %171, i64 %indvars.iv126, i32 0, i32 1, i64 %indvars.iv123
  %175 = load i32, ptr %174, align 4, !tbaa !20
  %176 = getelementptr inbounds [5 x i32], ptr %169, i64 0, i64 %indvars.iv123
  %177 = load i32, ptr %176, align 4, !tbaa !20
  %.not97.us = icmp eq i32 %175, %177
  br i1 %.not97.us, label %172, label %178

178:                                              ; preds = %173
  %indvars.iv.next127 = add nuw nsw i64 %indvars.iv126, 1
  %exitcond130.not = icmp eq i64 %indvars.iv.next127, %wide.trip.count129
  br i1 %exitcond130.not, label %.loopexit, label %.preheader.us, !llvm.loop !27

.preheader._crit_edge.loopexit:                   ; preds = %172
  %179 = and i64 %indvars.iv126, 4294967295
  br label %.preheader._crit_edge

.preheader._crit_edge:                            ; preds = %.preheader.lr.ph, %.preheader._crit_edge.loopexit
  %.191.lcssa109 = phi i64 [ %179, %.preheader._crit_edge.loopexit ], [ 0, %.preheader.lr.ph ]
  store i32 1001, ptr %2, align 8, !tbaa !9
  %180 = getelementptr inbounds %struct._FluentValue, ptr %171, i64 %.191.lcssa109, i32 1
  %181 = load float, ptr %180, align 4, !tbaa !28
  %182 = getelementptr inbounds i8, ptr %2, i64 24
  store float %181, ptr %182, align 8, !tbaa !15
  br label %.loopexit

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

.loopexit:                                        ; preds = %.thread136, %.thread136.peel, %178, %.preheader108, %.preheader._crit_edge, %._crit_edge.thread, %._crit_edge, %110, %94, %82, %90, %56, %64, %30, %38, %4, %12, %116, %98, %68, %42, %16, %1
  ret void
}

declare void @free_ExpNode(ptr noundef) local_unnamed_addr #3

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 = { 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 #3 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { nounwind }
attributes #5 = { 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 = distinct !{!23, !22, !24}
!24 = !{!"llvm.loop.peeled.count", i32 1}
!25 = !{!7, !7, i64 0}
!26 = distinct !{!26, !22}
!27 = distinct !{!27, !22}
!28 = !{!29, !12, i64 24}
!29 = !{!"_FluentValue", !19, i64 0, !12, i64 24}


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