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

@gf_arity = external global [50 x i32], align 16
@.str.42 = external hidden unnamed_addr constant [57 x i8], align 1
@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.43 = external hidden unnamed_addr constant [42 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: nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #0

declare void @free_ExpNode(ptr noundef) #1

; Function Attrs: nounwind uwtable
define dso_local void @instantiate_exp_by_action(ptr noundef %0, ptr noundef %1) #3 {
  %3 = alloca ptr, align 8
  %4 = alloca ptr, align 8
  %5 = alloca i32, align 4
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  %8 = alloca i32, align 4
  %9 = alloca i8, align 1
  store ptr %0, ptr %3, align 8, !tbaa !5
  store ptr %1, ptr %4, align 8, !tbaa !5
  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 4, ptr %7) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #4
  call void @llvm.lifetime.start.p0(i64 1, ptr %9) #4
  %10 = load ptr, ptr %3, align 8, !tbaa !5
  %11 = load ptr, ptr %10, align 8, !tbaa !5
  %12 = getelementptr inbounds %struct._ExpNode, ptr %11, i32 0, i32 0
  %13 = load i32, ptr %12, align 8, !tbaa !9
  switch i32 %13, label %452 [
    i32 1003, label %14
    i32 1004, label %73
    i32 1005, label %132
    i32 1006, label %191
    i32 1002, label %259
    i32 1001, label %458
    i32 1000, label %293
  ]

14:                                               ; preds = %2
  %15 = load ptr, ptr %3, align 8, !tbaa !5
  %16 = load ptr, ptr %15, align 8, !tbaa !5
  %17 = getelementptr inbounds %struct._ExpNode, ptr %16, i32 0, i32 6
  %18 = load ptr, ptr %4, align 8, !tbaa !5
  call void @instantiate_exp_by_action(ptr noundef %17, ptr noundef %18)
  %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 = load ptr, ptr %4, align 8, !tbaa !5
  call void @instantiate_exp_by_action(ptr noundef %21, ptr noundef %22)
  %23 = load ptr, ptr %3, align 8, !tbaa !5
  %24 = load ptr, ptr %23, align 8, !tbaa !5
  %25 = getelementptr inbounds %struct._ExpNode, ptr %24, i32 0, i32 6
  %26 = load ptr, ptr %25, align 8, !tbaa !13
  %27 = getelementptr inbounds %struct._ExpNode, ptr %26, i32 0, i32 0
  %28 = load i32, ptr %27, align 8, !tbaa !9
  %29 = icmp ne i32 %28, 1001
  br i1 %29, label %38, label %30

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

38:                                               ; preds = %30, %14
  br label %458

39:                                               ; preds = %30
  %40 = load ptr, ptr %3, align 8, !tbaa !5
  %41 = load ptr, ptr %40, align 8, !tbaa !5
  %42 = getelementptr inbounds %struct._ExpNode, ptr %41, i32 0, i32 0
  store i32 1001, ptr %42, align 8, !tbaa !9
  %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 6
  %46 = load ptr, ptr %45, align 8, !tbaa !13
  %47 = getelementptr inbounds %struct._ExpNode, ptr %46, i32 0, i32 4
  %48 = load float, ptr %47, align 8, !tbaa !15
  %49 = load ptr, ptr %3, align 8, !tbaa !5
  %50 = load ptr, ptr %49, align 8, !tbaa !5
  %51 = getelementptr inbounds %struct._ExpNode, ptr %50, i32 0, i32 7
  %52 = load ptr, ptr %51, align 8, !tbaa !14
  %53 = getelementptr inbounds %struct._ExpNode, ptr %52, i32 0, i32 4
  %54 = load float, ptr %53, align 8, !tbaa !15
  %55 = fadd float %48, %54
  %56 = load ptr, ptr %3, align 8, !tbaa !5
  %57 = load ptr, ptr %56, align 8, !tbaa !5
  %58 = getelementptr inbounds %struct._ExpNode, ptr %57, i32 0, i32 4
  store float %55, ptr %58, align 8, !tbaa !15
  %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 6
  %62 = load ptr, ptr %61, align 8, !tbaa !13
  call void @free_ExpNode(ptr noundef %62)
  %63 = load ptr, ptr %3, align 8, !tbaa !5
  %64 = load ptr, ptr %63, align 8, !tbaa !5
  %65 = getelementptr inbounds %struct._ExpNode, ptr %64, i32 0, i32 6
  store ptr null, ptr %65, align 8, !tbaa !13
  %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 7
  %69 = load ptr, ptr %68, align 8, !tbaa !14
  call void @free_ExpNode(ptr noundef %69)
  %70 = load ptr, ptr %3, align 8, !tbaa !5
  %71 = load ptr, ptr %70, align 8, !tbaa !5
  %72 = getelementptr inbounds %struct._ExpNode, ptr %71, i32 0, i32 7
  store ptr null, ptr %72, align 8, !tbaa !14
  br label %458

73:                                               ; preds = %2
  %74 = load ptr, ptr %3, align 8, !tbaa !5
  %75 = load ptr, ptr %74, align 8, !tbaa !5
  %76 = getelementptr inbounds %struct._ExpNode, ptr %75, i32 0, i32 6
  %77 = load ptr, ptr %4, align 8, !tbaa !5
  call void @instantiate_exp_by_action(ptr noundef %76, ptr noundef %77)
  %78 = load ptr, ptr %3, align 8, !tbaa !5
  %79 = load ptr, ptr %78, align 8, !tbaa !5
  %80 = getelementptr inbounds %struct._ExpNode, ptr %79, i32 0, i32 7
  %81 = load ptr, ptr %4, align 8, !tbaa !5
  call void @instantiate_exp_by_action(ptr noundef %80, ptr noundef %81)
  %82 = load ptr, ptr %3, align 8, !tbaa !5
  %83 = load ptr, ptr %82, align 8, !tbaa !5
  %84 = getelementptr inbounds %struct._ExpNode, ptr %83, i32 0, i32 6
  %85 = load ptr, ptr %84, align 8, !tbaa !13
  %86 = getelementptr inbounds %struct._ExpNode, ptr %85, i32 0, i32 0
  %87 = load i32, ptr %86, align 8, !tbaa !9
  %88 = icmp ne i32 %87, 1001
  br i1 %88, label %97, label %89

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

97:                                               ; preds = %89, %73
  br label %458

98:                                               ; preds = %89
  %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 0
  store i32 1001, ptr %101, align 8, !tbaa !9
  %102 = load ptr, ptr %3, align 8, !tbaa !5
  %103 = load ptr, ptr %102, align 8, !tbaa !5
  %104 = getelementptr inbounds %struct._ExpNode, ptr %103, i32 0, i32 6
  %105 = load ptr, ptr %104, align 8, !tbaa !13
  %106 = getelementptr inbounds %struct._ExpNode, ptr %105, i32 0, i32 4
  %107 = load float, ptr %106, align 8, !tbaa !15
  %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 7
  %111 = load ptr, ptr %110, align 8, !tbaa !14
  %112 = getelementptr inbounds %struct._ExpNode, ptr %111, i32 0, i32 4
  %113 = load float, ptr %112, align 8, !tbaa !15
  %114 = fsub float %107, %113
  %115 = load ptr, ptr %3, align 8, !tbaa !5
  %116 = load ptr, ptr %115, align 8, !tbaa !5
  %117 = getelementptr inbounds %struct._ExpNode, ptr %116, i32 0, i32 4
  store float %114, ptr %117, align 8, !tbaa !15
  %118 = load ptr, ptr %3, align 8, !tbaa !5
  %119 = load ptr, ptr %118, align 8, !tbaa !5
  %120 = getelementptr inbounds %struct._ExpNode, ptr %119, i32 0, i32 6
  %121 = load ptr, ptr %120, align 8, !tbaa !13
  call void @free_ExpNode(ptr noundef %121)
  %122 = load ptr, ptr %3, align 8, !tbaa !5
  %123 = load ptr, ptr %122, align 8, !tbaa !5
  %124 = getelementptr inbounds %struct._ExpNode, ptr %123, i32 0, i32 6
  store ptr null, ptr %124, align 8, !tbaa !13
  %125 = load ptr, ptr %3, align 8, !tbaa !5
  %126 = load ptr, ptr %125, align 8, !tbaa !5
  %127 = getelementptr inbounds %struct._ExpNode, ptr %126, i32 0, i32 7
  %128 = load ptr, ptr %127, align 8, !tbaa !14
  call void @free_ExpNode(ptr noundef %128)
  %129 = load ptr, ptr %3, align 8, !tbaa !5
  %130 = load ptr, ptr %129, align 8, !tbaa !5
  %131 = getelementptr inbounds %struct._ExpNode, ptr %130, i32 0, i32 7
  store ptr null, ptr %131, align 8, !tbaa !14
  br label %458

132:                                              ; preds = %2
  %133 = load ptr, ptr %3, 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 %4, align 8, !tbaa !5
  call void @instantiate_exp_by_action(ptr noundef %135, ptr noundef %136)
  %137 = load ptr, ptr %3, align 8, !tbaa !5
  %138 = load ptr, ptr %137, align 8, !tbaa !5
  %139 = getelementptr inbounds %struct._ExpNode, ptr %138, i32 0, i32 7
  %140 = load ptr, ptr %4, align 8, !tbaa !5
  call void @instantiate_exp_by_action(ptr noundef %139, ptr noundef %140)
  %141 = load ptr, ptr %3, align 8, !tbaa !5
  %142 = load ptr, ptr %141, align 8, !tbaa !5
  %143 = getelementptr inbounds %struct._ExpNode, ptr %142, i32 0, i32 6
  %144 = load ptr, ptr %143, align 8, !tbaa !13
  %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 %156, label %148

148:                                              ; preds = %132
  %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 = load ptr, ptr %151, align 8, !tbaa !14
  %153 = getelementptr inbounds %struct._ExpNode, ptr %152, i32 0, i32 0
  %154 = load i32, ptr %153, align 8, !tbaa !9
  %155 = icmp ne i32 %154, 1001
  br i1 %155, label %156, label %157

156:                                              ; preds = %148, %132
  br label %458

157:                                              ; preds = %148
  %158 = load ptr, ptr %3, align 8, !tbaa !5
  %159 = load ptr, ptr %158, align 8, !tbaa !5
  %160 = getelementptr inbounds %struct._ExpNode, ptr %159, i32 0, i32 0
  store i32 1001, ptr %160, align 8, !tbaa !9
  %161 = load ptr, ptr %3, align 8, !tbaa !5
  %162 = load ptr, ptr %161, align 8, !tbaa !5
  %163 = getelementptr inbounds %struct._ExpNode, ptr %162, i32 0, i32 6
  %164 = load ptr, ptr %163, align 8, !tbaa !13
  %165 = getelementptr inbounds %struct._ExpNode, ptr %164, i32 0, i32 4
  %166 = load float, ptr %165, align 8, !tbaa !15
  %167 = load ptr, ptr %3, align 8, !tbaa !5
  %168 = load ptr, ptr %167, align 8, !tbaa !5
  %169 = getelementptr inbounds %struct._ExpNode, ptr %168, i32 0, i32 7
  %170 = load ptr, ptr %169, align 8, !tbaa !14
  %171 = getelementptr inbounds %struct._ExpNode, ptr %170, i32 0, i32 4
  %172 = load float, ptr %171, align 8, !tbaa !15
  %173 = fmul float %166, %172
  %174 = load ptr, ptr %3, align 8, !tbaa !5
  %175 = load ptr, ptr %174, align 8, !tbaa !5
  %176 = getelementptr inbounds %struct._ExpNode, ptr %175, i32 0, i32 4
  store float %173, ptr %176, align 8, !tbaa !15
  %177 = load ptr, ptr %3, align 8, !tbaa !5
  %178 = load ptr, ptr %177, align 8, !tbaa !5
  %179 = getelementptr inbounds %struct._ExpNode, ptr %178, i32 0, i32 6
  %180 = load ptr, ptr %179, align 8, !tbaa !13
  call void @free_ExpNode(ptr noundef %180)
  %181 = load ptr, ptr %3, align 8, !tbaa !5
  %182 = load ptr, ptr %181, align 8, !tbaa !5
  %183 = getelementptr inbounds %struct._ExpNode, ptr %182, i32 0, i32 6
  store ptr null, ptr %183, align 8, !tbaa !13
  %184 = load ptr, ptr %3, align 8, !tbaa !5
  %185 = load ptr, ptr %184, align 8, !tbaa !5
  %186 = getelementptr inbounds %struct._ExpNode, ptr %185, i32 0, i32 7
  %187 = load ptr, ptr %186, align 8, !tbaa !14
  call void @free_ExpNode(ptr noundef %187)
  %188 = load ptr, ptr %3, align 8, !tbaa !5
  %189 = load ptr, ptr %188, align 8, !tbaa !5
  %190 = getelementptr inbounds %struct._ExpNode, ptr %189, i32 0, i32 7
  store ptr null, ptr %190, align 8, !tbaa !14
  br label %458

191:                                              ; preds = %2
  %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 %4, align 8, !tbaa !5
  call void @instantiate_exp_by_action(ptr noundef %194, 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 7
  %199 = load ptr, ptr %4, align 8, !tbaa !5
  call void @instantiate_exp_by_action(ptr noundef %198, ptr noundef %199)
  %200 = load ptr, ptr %3, align 8, !tbaa !5
  %201 = load ptr, ptr %200, align 8, !tbaa !5
  %202 = getelementptr inbounds %struct._ExpNode, ptr %201, i32 0, i32 6
  %203 = load ptr, ptr %202, align 8, !tbaa !13
  %204 = getelementptr inbounds %struct._ExpNode, ptr %203, i32 0, i32 0
  %205 = load i32, ptr %204, align 8, !tbaa !9
  %206 = icmp ne i32 %205, 1001
  br i1 %206, label %215, label %207

207:                                              ; preds = %191
  %208 = load ptr, ptr %3, align 8, !tbaa !5
  %209 = load ptr, ptr %208, align 8, !tbaa !5
  %210 = getelementptr inbounds %struct._ExpNode, ptr %209, i32 0, i32 7
  %211 = load ptr, ptr %210, align 8, !tbaa !14
  %212 = getelementptr inbounds %struct._ExpNode, ptr %211, i32 0, i32 0
  %213 = load i32, ptr %212, align 8, !tbaa !9
  %214 = icmp ne i32 %213, 1001
  br i1 %214, label %215, label %216

215:                                              ; preds = %207, %191
  br label %458

216:                                              ; preds = %207
  %217 = load ptr, ptr %3, align 8, !tbaa !5
  %218 = load ptr, ptr %217, align 8, !tbaa !5
  %219 = getelementptr inbounds %struct._ExpNode, ptr %218, i32 0, i32 7
  %220 = load ptr, ptr %219, align 8, !tbaa !14
  %221 = getelementptr inbounds %struct._ExpNode, ptr %220, i32 0, i32 4
  %222 = load float, ptr %221, align 8, !tbaa !15
  %223 = fcmp oeq float %222, 0.000000e+00
  br i1 %223, label %224, label %225

224:                                              ; preds = %216
  br label %458

225:                                              ; preds = %216
  %226 = load ptr, ptr %3, align 8, !tbaa !5
  %227 = load ptr, ptr %226, align 8, !tbaa !5
  %228 = getelementptr inbounds %struct._ExpNode, ptr %227, i32 0, i32 0
  store i32 1001, ptr %228, align 8, !tbaa !9
  %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 6
  %232 = load ptr, ptr %231, align 8, !tbaa !13
  %233 = getelementptr inbounds %struct._ExpNode, ptr %232, i32 0, i32 4
  %234 = load float, ptr %233, align 8, !tbaa !15
  %235 = load ptr, ptr %3, align 8, !tbaa !5
  %236 = load ptr, ptr %235, align 8, !tbaa !5
  %237 = getelementptr inbounds %struct._ExpNode, ptr %236, i32 0, i32 7
  %238 = load ptr, ptr %237, align 8, !tbaa !14
  %239 = getelementptr inbounds %struct._ExpNode, ptr %238, i32 0, i32 4
  %240 = load float, ptr %239, align 8, !tbaa !15
  %241 = fdiv float %234, %240
  %242 = load ptr, ptr %3, align 8, !tbaa !5
  %243 = load ptr, ptr %242, align 8, !tbaa !5
  %244 = getelementptr inbounds %struct._ExpNode, ptr %243, i32 0, i32 4
  store float %241, ptr %244, align 8, !tbaa !15
  %245 = load ptr, ptr %3, align 8, !tbaa !5
  %246 = load ptr, ptr %245, align 8, !tbaa !5
  %247 = getelementptr inbounds %struct._ExpNode, ptr %246, i32 0, i32 6
  %248 = load ptr, ptr %247, align 8, !tbaa !13
  call void @free_ExpNode(ptr noundef %248)
  %249 = load ptr, ptr %3, align 8, !tbaa !5
  %250 = load ptr, ptr %249, align 8, !tbaa !5
  %251 = getelementptr inbounds %struct._ExpNode, ptr %250, i32 0, i32 6
  store ptr null, ptr %251, align 8, !tbaa !13
  %252 = load ptr, ptr %3, align 8, !tbaa !5
  %253 = load ptr, ptr %252, align 8, !tbaa !5
  %254 = getelementptr inbounds %struct._ExpNode, ptr %253, i32 0, i32 7
  %255 = load ptr, ptr %254, align 8, !tbaa !14
  call void @free_ExpNode(ptr noundef %255)
  %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
  store ptr null, ptr %258, align 8, !tbaa !14
  br label %458

259:                                              ; preds = %2
  %260 = load ptr, ptr %3, align 8, !tbaa !5
  %261 = load ptr, ptr %260, align 8, !tbaa !5
  %262 = getelementptr inbounds %struct._ExpNode, ptr %261, i32 0, i32 5
  %263 = load ptr, ptr %4, align 8, !tbaa !5
  call void @instantiate_exp_by_action(ptr noundef %262, ptr noundef %263)
  %264 = load ptr, ptr %3, align 8, !tbaa !5
  %265 = load ptr, ptr %264, align 8, !tbaa !5
  %266 = getelementptr inbounds %struct._ExpNode, ptr %265, i32 0, i32 5
  %267 = load ptr, ptr %266, align 8, !tbaa !16
  %268 = getelementptr inbounds %struct._ExpNode, ptr %267, i32 0, i32 0
  %269 = load i32, ptr %268, align 8, !tbaa !9
  %270 = icmp ne i32 %269, 1001
  br i1 %270, label %271, label %272

271:                                              ; preds = %259
  br label %458

272:                                              ; preds = %259
  %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 0
  store i32 1001, ptr %275, align 8, !tbaa !9
  %276 = load ptr, ptr %3, align 8, !tbaa !5
  %277 = load ptr, ptr %276, align 8, !tbaa !5
  %278 = getelementptr inbounds %struct._ExpNode, ptr %277, i32 0, i32 5
  %279 = load ptr, ptr %278, align 8, !tbaa !16
  %280 = getelementptr inbounds %struct._ExpNode, ptr %279, i32 0, i32 4
  %281 = load float, ptr %280, align 8, !tbaa !15
  %282 = fmul float -1.000000e+00, %281
  %283 = load ptr, ptr %3, align 8, !tbaa !5
  %284 = load ptr, ptr %283, align 8, !tbaa !5
  %285 = getelementptr inbounds %struct._ExpNode, ptr %284, i32 0, i32 4
  store float %282, ptr %285, align 8, !tbaa !15
  %286 = load ptr, ptr %3, align 8, !tbaa !5
  %287 = load ptr, ptr %286, align 8, !tbaa !5
  %288 = getelementptr inbounds %struct._ExpNode, ptr %287, i32 0, i32 5
  %289 = load ptr, ptr %288, align 8, !tbaa !16
  call void @free_ExpNode(ptr noundef %289)
  %290 = load ptr, ptr %3, align 8, !tbaa !5
  %291 = load ptr, ptr %290, align 8, !tbaa !5
  %292 = getelementptr inbounds %struct._ExpNode, ptr %291, i32 0, i32 5
  store ptr null, ptr %292, align 8, !tbaa !16
  br label %458

293:                                              ; preds = %2
  %294 = load ptr, ptr %3, align 8, !tbaa !5
  %295 = load ptr, ptr %294, align 8, !tbaa !5
  %296 = getelementptr inbounds %struct._ExpNode, ptr %295, i32 0, i32 1
  %297 = load ptr, ptr %296, align 8, !tbaa !17
  %298 = getelementptr inbounds %struct._Fluent, ptr %297, i32 0, i32 0
  %299 = load i32, ptr %298, align 4, !tbaa !18
  store i32 %299, ptr %6, align 4, !tbaa !20
  store i8 1, ptr %9, align 1, !tbaa !21
  store i32 0, ptr %5, align 4, !tbaa !20
  br label %300

300:                                              ; preds = %361, %293
  %301 = load i32, ptr %5, align 4, !tbaa !20
  %302 = load i32, ptr %6, align 4, !tbaa !20
  %303 = sext i32 %302 to i64
  %304 = getelementptr inbounds [50 x i32], ptr @gf_arity, i64 0, i64 %303
  %305 = load i32, ptr %304, align 4, !tbaa !20
  %306 = icmp slt i32 %301, %305
  br i1 %306, label %307, label %364

307:                                              ; preds = %300
  %308 = load ptr, ptr %3, 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 %5, 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 = icmp slt i32 %316, 0
  br i1 %317, label %318, label %335

318:                                              ; preds = %307
  %319 = load ptr, ptr %4, align 8, !tbaa !5
  %320 = getelementptr inbounds %struct._Action, ptr %319, i32 0, i32 6
  %321 = load ptr, ptr %3, align 8, !tbaa !5
  %322 = load ptr, ptr %321, align 8, !tbaa !5
  %323 = getelementptr inbounds %struct._ExpNode, ptr %322, i32 0, i32 1
  %324 = load ptr, ptr %323, align 8, !tbaa !17
  %325 = getelementptr inbounds %struct._Fluent, ptr %324, i32 0, i32 1
  %326 = load i32, ptr %5, align 4, !tbaa !20
  %327 = sext i32 %326 to i64
  %328 = getelementptr inbounds [5 x i32], ptr %325, i64 0, i64 %327
  %329 = load i32, ptr %328, align 4, !tbaa !20
  %330 = add nsw i32 %329, 1
  %331 = mul nsw i32 %330, -1
  %332 = sext i32 %331 to i64
  %333 = getelementptr inbounds [15 x i32], ptr %320, i64 0, i64 %332
  %334 = load i32, ptr %333, align 4, !tbaa !20
  br label %345

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

345:                                              ; preds = %335, %318
  %346 = phi i32 [ %334, %318 ], [ %344, %335 ]
  store i32 %346, ptr %8, align 4, !tbaa !20
  %347 = load i32, ptr %8, align 4, !tbaa !20
  %348 = icmp slt i32 %347, 0
  br i1 %348, label %349, label %350

349:                                              ; preds = %345
  store i8 0, ptr %9, align 1, !tbaa !21
  br label %360

350:                                              ; preds = %345
  %351 = load i32, ptr %8, align 4, !tbaa !20
  %352 = load ptr, ptr %3, align 8, !tbaa !5
  %353 = load ptr, ptr %352, align 8, !tbaa !5
  %354 = getelementptr inbounds %struct._ExpNode, ptr %353, i32 0, i32 1
  %355 = load ptr, ptr %354, align 8, !tbaa !17
  %356 = getelementptr inbounds %struct._Fluent, ptr %355, i32 0, i32 1
  %357 = load i32, ptr %5, align 4, !tbaa !20
  %358 = sext i32 %357 to i64
  %359 = getelementptr inbounds [5 x i32], ptr %356, i64 0, i64 %358
  store i32 %351, ptr %359, align 4, !tbaa !20
  br label %360

360:                                              ; preds = %350, %349
  br label %361

361:                                              ; preds = %360
  %362 = load i32, ptr %5, align 4, !tbaa !20
  %363 = add nsw i32 %362, 1
  store i32 %363, ptr %5, align 4, !tbaa !20
  br label %300, !llvm.loop !22

364:                                              ; preds = %300
  %365 = load i8, ptr %9, align 1, !tbaa !21
  %366 = icmp ne i8 %365, 0
  br i1 %366, label %369, label %367

367:                                              ; preds = %364
  %368 = call i32 (ptr, ...) @printf(ptr noundef @.str.42)
  call void @exit(i32 noundef 1) #5
  unreachable

369:                                              ; preds = %364
  %370 = load i32, ptr %6, align 4, !tbaa !20
  %371 = sext i32 %370 to i64
  %372 = getelementptr inbounds [50 x i8], ptr @gis_changed, i64 0, i64 %371
  %373 = load i8, ptr %372, align 1, !tbaa !21
  %374 = icmp ne i8 %373, 0
  br i1 %374, label %375, label %376

375:                                              ; preds = %369
  br label %458

376:                                              ; preds = %369
  store i32 0, ptr %5, align 4, !tbaa !20
  br label %377

377:                                              ; preds = %448, %376
  %378 = load i32, ptr %5, align 4, !tbaa !20
  %379 = load ptr, ptr @gnum_initial_function, align 8, !tbaa !5
  %380 = load i32, ptr %6, align 4, !tbaa !20
  %381 = sext i32 %380 to i64
  %382 = getelementptr inbounds i32, ptr %379, i64 %381
  %383 = load i32, ptr %382, align 4, !tbaa !20
  %384 = icmp slt i32 %378, %383
  br i1 %384, label %385, label %451

385:                                              ; preds = %377
  store i32 0, ptr %7, align 4, !tbaa !20
  br label %386

386:                                              ; preds = %420, %385
  %387 = load i32, ptr %7, align 4, !tbaa !20
  %388 = load i32, ptr %6, align 4, !tbaa !20
  %389 = sext i32 %388 to i64
  %390 = getelementptr inbounds [50 x i32], ptr @gf_arity, i64 0, i64 %389
  %391 = load i32, ptr %390, align 4, !tbaa !20
  %392 = icmp slt i32 %387, %391
  br i1 %392, label %393, label %423

393:                                              ; preds = %386
  %394 = load ptr, ptr @ginitial_function, align 8, !tbaa !5
  %395 = load i32, ptr %6, align 4, !tbaa !20
  %396 = sext i32 %395 to i64
  %397 = getelementptr inbounds ptr, ptr %394, i64 %396
  %398 = load ptr, ptr %397, align 8, !tbaa !5
  %399 = load i32, ptr %5, align 4, !tbaa !20
  %400 = sext i32 %399 to i64
  %401 = getelementptr inbounds %struct._FluentValue, ptr %398, i64 %400
  %402 = getelementptr inbounds %struct._FluentValue, ptr %401, i32 0, i32 0
  %403 = getelementptr inbounds %struct._Fluent, ptr %402, i32 0, i32 1
  %404 = load i32, ptr %7, align 4, !tbaa !20
  %405 = sext i32 %404 to i64
  %406 = getelementptr inbounds [5 x i32], ptr %403, i64 0, i64 %405
  %407 = load i32, ptr %406, align 4, !tbaa !20
  %408 = load ptr, ptr %3, align 8, !tbaa !5
  %409 = load ptr, ptr %408, align 8, !tbaa !5
  %410 = getelementptr inbounds %struct._ExpNode, ptr %409, i32 0, i32 1
  %411 = load ptr, ptr %410, align 8, !tbaa !17
  %412 = getelementptr inbounds %struct._Fluent, ptr %411, i32 0, i32 1
  %413 = load i32, ptr %7, align 4, !tbaa !20
  %414 = sext i32 %413 to i64
  %415 = getelementptr inbounds [5 x i32], ptr %412, i64 0, i64 %414
  %416 = load i32, ptr %415, align 4, !tbaa !20
  %417 = icmp ne i32 %407, %416
  br i1 %417, label %418, label %419

418:                                              ; preds = %393
  br label %423

419:                                              ; preds = %393
  br label %420

420:                                              ; preds = %419
  %421 = load i32, ptr %7, align 4, !tbaa !20
  %422 = add nsw i32 %421, 1
  store i32 %422, ptr %7, align 4, !tbaa !20
  br label %386, !llvm.loop !24

423:                                              ; preds = %418, %386
  %424 = load i32, ptr %7, align 4, !tbaa !20
  %425 = load i32, ptr %6, align 4, !tbaa !20
  %426 = sext i32 %425 to i64
  %427 = getelementptr inbounds [50 x i32], ptr @gf_arity, i64 0, i64 %426
  %428 = load i32, ptr %427, align 4, !tbaa !20
  %429 = icmp slt i32 %424, %428
  br i1 %429, label %430, label %431

430:                                              ; preds = %423
  br label %448

431:                                              ; preds = %423
  %432 = load ptr, ptr %3, align 8, !tbaa !5
  %433 = load ptr, ptr %432, align 8, !tbaa !5
  %434 = getelementptr inbounds %struct._ExpNode, ptr %433, i32 0, i32 0
  store i32 1001, ptr %434, align 8, !tbaa !9
  %435 = load ptr, ptr @ginitial_function, align 8, !tbaa !5
  %436 = load i32, ptr %6, align 4, !tbaa !20
  %437 = sext i32 %436 to i64
  %438 = getelementptr inbounds ptr, ptr %435, i64 %437
  %439 = load ptr, ptr %438, align 8, !tbaa !5
  %440 = load i32, ptr %5, align 4, !tbaa !20
  %441 = sext i32 %440 to i64
  %442 = getelementptr inbounds %struct._FluentValue, ptr %439, i64 %441
  %443 = getelementptr inbounds %struct._FluentValue, ptr %442, i32 0, i32 1
  %444 = load float, ptr %443, align 4, !tbaa !25
  %445 = load ptr, ptr %3, align 8, !tbaa !5
  %446 = load ptr, ptr %445, align 8, !tbaa !5
  %447 = getelementptr inbounds %struct._ExpNode, ptr %446, i32 0, i32 4
  store float %444, ptr %447, align 8, !tbaa !15
  br label %451

448:                                              ; preds = %430
  %449 = load i32, ptr %5, align 4, !tbaa !20
  %450 = add nsw i32 %449, 1
  store i32 %450, ptr %5, align 4, !tbaa !20
  br label %377, !llvm.loop !27

451:                                              ; preds = %431, %377
  br label %458

452:                                              ; preds = %2
  %453 = load ptr, ptr %3, align 8, !tbaa !5
  %454 = load ptr, ptr %453, align 8, !tbaa !5
  %455 = getelementptr inbounds %struct._ExpNode, ptr %454, i32 0, i32 0
  %456 = load i32, ptr %455, align 8, !tbaa !9
  %457 = call i32 (ptr, ...) @printf(ptr noundef @.str.43, i32 noundef %456)
  call void @exit(i32 noundef 1) #5
  unreachable

458:                                              ; preds = %451, %375, %272, %271, %225, %224, %215, %157, %156, %98, %97, %39, %38, %2
  call void @llvm.lifetime.end.p0(i64 1, ptr %9) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #4
  call void @llvm.lifetime.end.p0(i64 4, 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
  ret void
}

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
@.str.42 = external hidden unnamed_addr constant [57 x i8], align 1
@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.43 = external hidden unnamed_addr constant [42 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

declare void @free_ExpNode(ptr noundef) local_unnamed_addr #2

; Function Attrs: nounwind uwtable
define dso_local void @instantiate_exp_by_action(ptr nocapture noundef readonly %0, ptr noundef %1) local_unnamed_addr #3 {
  %3 = load ptr, ptr %0, align 8, !tbaa !5
  %4 = load i32, ptr %3, align 8, !tbaa !9
  switch i32 %4, label %186 [
    i32 1003, label %5
    i32 1004, label %31
    i32 1005, label %57
    i32 1006, label %83
    i32 1002, label %111
    i32 1001, label %.loopexit
    i32 1000, label %124
  ]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

.lr.ph:                                           ; preds = %124
  %132 = getelementptr inbounds i8, ptr %126, i64 4
  %133 = getelementptr inbounds i8, ptr %1, i64 96
  br label %.outer

.outer:                                           ; preds = %._crit_edge163, %.lr.ph
  %.ph = phi i32 [ %.pre, %._crit_edge163 ], [ %130, %.lr.ph ]
  %indvars.iv.ph = phi i64 [ %indvars.iv.next, %._crit_edge163 ], [ 0, %.lr.ph ]
  %.0122.ph = phi i8 [ %.0122.lcssa, %._crit_edge163 ], [ 1, %.lr.ph ]
  %134 = sext i32 %.ph to i64
  %135 = getelementptr inbounds [5 x i32], ptr %132, i64 0, i64 %indvars.iv.ph
  %136 = load i32, ptr %135, align 4, !tbaa !20
  %137 = icmp slt i32 %136, 0
  br i1 %137, label %.lr.ph162.peel, label %._crit_edge163

.lr.ph162.peel:                                   ; preds = %.outer
  %138 = xor i32 %136, -1
  %139 = zext nneg i32 %138 to i64
  %140 = getelementptr inbounds [15 x i32], ptr %133, i64 0, i64 %139
  %141 = load i32, ptr %140, align 4, !tbaa !20
  %142 = icmp slt i32 %141, 0
  br i1 %142, label %.thread146.peel, label %._crit_edge163

.thread146.peel:                                  ; preds = %.lr.ph162.peel
  %indvars.iv.next148.peel = add nuw nsw i64 %indvars.iv.ph, 1
  %143 = icmp slt i64 %indvars.iv.next148.peel, %134
  br i1 %143, label %144, label %._crit_edge.thread150, !llvm.loop !21

144:                                              ; preds = %.thread146.peel
  %145 = getelementptr inbounds [5 x i32], ptr %132, i64 0, i64 %indvars.iv.next148.peel
  %146 = load i32, ptr %145, align 4, !tbaa !20
  %147 = icmp slt i32 %146, 0
  br i1 %147, label %.lr.ph162, label %._crit_edge163

148:                                              ; preds = %.thread146
  %149 = getelementptr inbounds [5 x i32], ptr %132, i64 0, i64 %indvars.iv.next148
  %150 = load i32, ptr %149, align 4, !tbaa !20
  %151 = icmp slt i32 %150, 0
  br i1 %151, label %.lr.ph162, label %._crit_edge163, !llvm.loop !23

.lr.ph162:                                        ; preds = %144, %148
  %152 = phi i32 [ %150, %148 ], [ %146, %144 ]
  %indvars.iv160 = phi i64 [ %indvars.iv.next148, %148 ], [ %indvars.iv.next148.peel, %144 ]
  %153 = xor i32 %152, -1
  %154 = zext nneg i32 %153 to i64
  %155 = getelementptr inbounds [15 x i32], ptr %133, i64 0, i64 %154
  %156 = load i32, ptr %155, align 4, !tbaa !20
  %157 = icmp slt i32 %156, 0
  br i1 %157, label %.thread146, label %._crit_edge163

._crit_edge163:                                   ; preds = %.lr.ph162.peel, %144, %148, %.lr.ph162, %.outer
  %indvars.iv.lcssa = phi i64 [ %indvars.iv.ph, %.outer ], [ %indvars.iv.ph, %.lr.ph162.peel ], [ %indvars.iv.next148.peel, %144 ], [ %indvars.iv160, %.lr.ph162 ], [ %indvars.iv.next148, %148 ]
  %.0122.lcssa = phi i8 [ %.0122.ph, %.outer ], [ %.0122.ph, %.lr.ph162.peel ], [ 0, %144 ], [ 0, %148 ], [ 0, %.lr.ph162 ]
  %158 = phi i32 [ %136, %.outer ], [ %141, %.lr.ph162.peel ], [ %146, %144 ], [ %156, %.lr.ph162 ], [ %150, %148 ]
  %159 = getelementptr inbounds [5 x i32], ptr %132, i64 0, i64 %indvars.iv.lcssa
  store i32 %158, ptr %159, align 4, !tbaa !20
  %.pre = load i32, ptr %129, align 4, !tbaa !20
  %indvars.iv.next = add nuw nsw i64 %indvars.iv.lcssa, 1
  %160 = sext i32 %.pre to i64
  %161 = icmp slt i64 %indvars.iv.next, %160
  br i1 %161, label %.outer, label %._crit_edge, !llvm.loop !21

.thread146:                                       ; preds = %.lr.ph162
  %indvars.iv.next148 = add nuw nsw i64 %indvars.iv160, 1
  %162 = icmp slt i64 %indvars.iv.next148, %134
  br i1 %162, label %148, label %._crit_edge.thread150, !llvm.loop !21

._crit_edge:                                      ; preds = %._crit_edge163
  %163 = icmp eq i8 %.0122.lcssa, 0
  br i1 %163, label %._crit_edge.thread150, label %._crit_edge.thread

._crit_edge.thread150:                            ; preds = %.thread146, %.thread146.peel, %._crit_edge
  %164 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.42)
  tail call void @exit(i32 noundef 1) #5
  unreachable

._crit_edge.thread:                               ; preds = %124, %._crit_edge
  %.lcssa145 = phi i32 [ %.pre, %._crit_edge ], [ %130, %124 ]
  %165 = getelementptr inbounds [50 x i8], ptr @gis_changed, i64 0, i64 %128
  %166 = load i8, ptr %165, align 1, !tbaa !25
  %.not106 = icmp eq i8 %166, 0
  br i1 %.not106, label %.preheader118, label %.loopexit

.preheader118:                                    ; preds = %._crit_edge.thread
  %167 = load ptr, ptr @gnum_initial_function, align 8, !tbaa !5
  %168 = getelementptr inbounds i32, ptr %167, i64 %128
  %169 = load i32, ptr %168, align 4, !tbaa !20
  %170 = icmp sgt i32 %169, 0
  br i1 %170, label %.preheader.lr.ph, label %.loopexit

.preheader.lr.ph:                                 ; preds = %.preheader118
  %171 = icmp sgt i32 %.lcssa145, 0
  %172 = getelementptr inbounds i8, ptr %126, i64 4
  %.pre141 = load ptr, ptr @ginitial_function, align 8
  %173 = getelementptr inbounds ptr, ptr %.pre141, i64 %128
  %174 = load ptr, ptr %173, align 8, !tbaa !5
  br i1 %171, label %.preheader.lr.ph.split.us, label %.preheader._crit_edge

.preheader.lr.ph.split.us:                        ; preds = %.preheader.lr.ph
  %wide.trip.count139 = zext nneg i32 %169 to i64
  %wide.trip.count = zext nneg i32 %.lcssa145 to i64
  br label %.preheader.us

.preheader.us:                                    ; preds = %181, %.preheader.lr.ph.split.us
  %indvars.iv136 = phi i64 [ %indvars.iv.next137, %181 ], [ 0, %.preheader.lr.ph.split.us ]
  br label %176

175:                                              ; preds = %176
  %indvars.iv.next134 = add nuw nsw i64 %indvars.iv133, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next134, %wide.trip.count
  br i1 %exitcond.not, label %.preheader._crit_edge.loopexit, label %176, !llvm.loop !26

176:                                              ; preds = %.preheader.us, %175
  %indvars.iv133 = phi i64 [ 0, %.preheader.us ], [ %indvars.iv.next134, %175 ]
  %177 = getelementptr inbounds %struct._FluentValue, ptr %174, i64 %indvars.iv136, i32 0, i32 1, i64 %indvars.iv133
  %178 = load i32, ptr %177, align 4, !tbaa !20
  %179 = getelementptr inbounds [5 x i32], ptr %172, i64 0, i64 %indvars.iv133
  %180 = load i32, ptr %179, align 4, !tbaa !20
  %.not107.us = icmp eq i32 %178, %180
  br i1 %.not107.us, label %175, label %181

181:                                              ; preds = %176
  %indvars.iv.next137 = add nuw nsw i64 %indvars.iv136, 1
  %exitcond140.not = icmp eq i64 %indvars.iv.next137, %wide.trip.count139
  br i1 %exitcond140.not, label %.loopexit, label %.preheader.us, !llvm.loop !27

.preheader._crit_edge.loopexit:                   ; preds = %175
  %182 = and i64 %indvars.iv136, 4294967295
  br label %.preheader._crit_edge

.preheader._crit_edge:                            ; preds = %.preheader.lr.ph, %.preheader._crit_edge.loopexit
  %.1101.lcssa119 = phi i64 [ %182, %.preheader._crit_edge.loopexit ], [ 0, %.preheader.lr.ph ]
  store i32 1001, ptr %3, align 8, !tbaa !9
  %183 = getelementptr inbounds %struct._FluentValue, ptr %174, i64 %.1101.lcssa119, i32 1
  %184 = load float, ptr %183, align 4, !tbaa !28
  %185 = getelementptr inbounds i8, ptr %3, i64 24
  store float %184, ptr %185, align 8, !tbaa !15
  br label %.loopexit

186:                                              ; preds = %2
  %187 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.43, i32 noundef %4)
  tail call void @exit(i32 noundef 1) #5
  unreachable

.loopexit:                                        ; preds = %181, %.preheader118, %.preheader._crit_edge, %._crit_edge.thread, %111, %95, %83, %91, %57, %65, %31, %39, %5, %13, %117, %99, %69, %43, %17, %2
  ret void
}

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 = { "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 = 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