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

; 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._MixedOperator = type { ptr, [15 x i32], ptr, i32, ptr, ptr, ptr, i32, ptr, ptr }
%struct._Operator = type { ptr, [15 x ptr], i32, i8, i32, [15 x i32], [15 x i8], ptr, ptr, i8 }
%struct._Fact = type { i32, [5 x i32] }
%struct._Effect = type { i32, [15 x i32], [15 x ptr], ptr, ptr, ptr, ptr, ptr }
%struct._Literal = type { i8, %struct._Fact, ptr, ptr }
%struct._NumericEffect = type { %struct._Fluent, i32, ptr, ptr, ptr }
%struct._Fluent = type { i32, [5 x i32] }

@.str.14 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.27 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.28 = external hidden unnamed_addr constant [5 x i8], align 1
@.str.29 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.30 = external hidden unnamed_addr constant [5 x i8], align 1
@.str.31 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.40 = external hidden unnamed_addr constant [2 x i8], align 1
@gtype_names = external global [50 x ptr], align 16
@.str.64 = external hidden unnamed_addr constant [12 x i8], align 1
@.str.65 = external hidden unnamed_addr constant [11 x i8], align 1
@.str.66 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.68 = external hidden unnamed_addr constant [13 x i8], align 1
@.str.69 = external hidden unnamed_addr constant [17 x i8], align 1
@.str.70 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.71 = external hidden unnamed_addr constant [17 x i8], align 1
@.str.72 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.73 = external hidden unnamed_addr constant [11 x i8], align 1
@.str.74 = external hidden unnamed_addr constant [13 x i8], align 1
@.str.75 = external hidden unnamed_addr constant [11 x i8], align 1
@.str.76 = external hidden unnamed_addr constant [11 x i8], align 1
@.str.77 = external hidden unnamed_addr constant [34 x i8], align 1
@.str.87 = external hidden unnamed_addr constant [57 x i8], align 1
@.str.88 = external hidden unnamed_addr constant [19 x i8], align 1
@gconstants = external global [2000 x ptr], align 16
@.str.89 = external hidden unnamed_addr constant [47 x i8], align 1
@.str.90 = external hidden unnamed_addr constant [16 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
declare dso_local void @print_ExpNode(ptr noundef) #3

; Function Attrs: nounwind uwtable
declare dso_local void @print_Fluent(ptr noundef) #3

; Function Attrs: nounwind uwtable
declare dso_local void @print_Wff(ptr noundef, i32 noundef) #3

; Function Attrs: nounwind uwtable
declare dso_local void @print_Fact(ptr noundef) #3

; Function Attrs: nounwind uwtable
declare dso_local void @print_type(i32 noundef) #3

; Function Attrs: nounwind uwtable
define dso_local void @print_MixedOperator(ptr noundef %0) #3 {
  %2 = alloca ptr, align 8
  %3 = alloca i32, align 4
  %4 = alloca i32, align 4
  %5 = alloca ptr, align 8
  %6 = alloca ptr, align 8
  %7 = alloca ptr, align 8
  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 8, ptr %5) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %6) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %7) #4
  %8 = load ptr, ptr %2, align 8, !tbaa !5
  %9 = getelementptr inbounds %struct._MixedOperator, ptr %8, i32 0, i32 0
  %10 = load ptr, ptr %9, align 8, !tbaa !9
  %11 = getelementptr inbounds %struct._Operator, ptr %10, i32 0, i32 0
  %12 = load ptr, ptr %11, align 8, !tbaa !12
  %13 = call i32 (ptr, ...) @printf(ptr noundef @.str.87, ptr noundef %12)
  store i32 0, ptr %3, align 4, !tbaa !14
  br label %14

14:                                               ; preds = %42, %1
  %15 = load i32, ptr %3, align 4, !tbaa !14
  %16 = load ptr, ptr %2, align 8, !tbaa !5
  %17 = getelementptr inbounds %struct._MixedOperator, ptr %16, i32 0, i32 0
  %18 = load ptr, ptr %17, align 8, !tbaa !9
  %19 = getelementptr inbounds %struct._Operator, ptr %18, i32 0, i32 4
  %20 = load i32, ptr %19, align 8, !tbaa !15
  %21 = icmp slt i32 %15, %20
  br i1 %21, label %22, label %45

22:                                               ; preds = %14
  %23 = load i32, ptr %3, align 4, !tbaa !14
  %24 = load ptr, ptr %2, align 8, !tbaa !5
  %25 = getelementptr inbounds %struct._MixedOperator, ptr %24, i32 0, i32 1
  %26 = load i32, ptr %3, align 4, !tbaa !14
  %27 = sext i32 %26 to i64
  %28 = getelementptr inbounds [15 x i32], ptr %25, i64 0, i64 %27
  %29 = load i32, ptr %28, align 4, !tbaa !14
  %30 = sext i32 %29 to i64
  %31 = getelementptr inbounds [2000 x ptr], ptr @gconstants, i64 0, i64 %30
  %32 = load ptr, ptr %31, align 8, !tbaa !5
  %33 = call i32 (ptr, ...) @printf(ptr noundef @.str.88, i32 noundef %23, ptr noundef %32)
  %34 = load ptr, ptr %2, align 8, !tbaa !5
  %35 = getelementptr inbounds %struct._MixedOperator, ptr %34, i32 0, i32 0
  %36 = load ptr, ptr %35, align 8, !tbaa !9
  %37 = getelementptr inbounds %struct._Operator, ptr %36, i32 0, i32 5
  %38 = load i32, ptr %3, align 4, !tbaa !14
  %39 = sext i32 %38 to i64
  %40 = getelementptr inbounds [15 x i32], ptr %37, i64 0, i64 %39
  %41 = load i32, ptr %40, align 4, !tbaa !14
  call void @print_type(i32 noundef %41)
  br label %42

42:                                               ; preds = %22
  %43 = load i32, ptr %3, align 4, !tbaa !14
  %44 = add nsw i32 %43, 1
  store i32 %44, ptr %3, align 4, !tbaa !14
  br label %14, !llvm.loop !16

45:                                               ; preds = %14
  %46 = call i32 (ptr, ...) @printf(ptr noundef @.str.64)
  store i32 0, ptr %3, align 4, !tbaa !14
  br label %47

47:                                               ; preds = %61, %45
  %48 = load i32, ptr %3, align 4, !tbaa !14
  %49 = load ptr, ptr %2, align 8, !tbaa !5
  %50 = getelementptr inbounds %struct._MixedOperator, ptr %49, i32 0, i32 3
  %51 = load i32, ptr %50, align 8, !tbaa !18
  %52 = icmp slt i32 %48, %51
  br i1 %52, label %53, label %64

53:                                               ; preds = %47
  %54 = load ptr, ptr %2, align 8, !tbaa !5
  %55 = getelementptr inbounds %struct._MixedOperator, ptr %54, i32 0, i32 2
  %56 = load ptr, ptr %55, align 8, !tbaa !19
  %57 = load i32, ptr %3, align 4, !tbaa !14
  %58 = sext i32 %57 to i64
  %59 = getelementptr inbounds %struct._Fact, ptr %56, i64 %58
  call void @print_Fact(ptr noundef %59)
  %60 = call i32 (ptr, ...) @printf(ptr noundef @.str.40)
  br label %61

61:                                               ; preds = %53
  %62 = load i32, ptr %3, align 4, !tbaa !14
  %63 = add nsw i32 %62, 1
  store i32 %63, ptr %3, align 4, !tbaa !14
  br label %47, !llvm.loop !20

64:                                               ; preds = %47
  store i32 0, ptr %3, align 4, !tbaa !14
  br label %65

65:                                               ; preds = %114, %64
  %66 = load i32, ptr %3, align 4, !tbaa !14
  %67 = load ptr, ptr %2, align 8, !tbaa !5
  %68 = getelementptr inbounds %struct._MixedOperator, ptr %67, i32 0, i32 7
  %69 = load i32, ptr %68, align 8, !tbaa !21
  %70 = icmp slt i32 %66, %69
  br i1 %70, label %71, label %117

71:                                               ; preds = %65
  %72 = load ptr, ptr %2, align 8, !tbaa !5
  %73 = getelementptr inbounds %struct._MixedOperator, ptr %72, i32 0, i32 4
  %74 = load ptr, ptr %73, align 8, !tbaa !22
  %75 = load i32, ptr %3, align 4, !tbaa !14
  %76 = sext i32 %75 to i64
  %77 = getelementptr inbounds i32, ptr %74, i64 %76
  %78 = load i32, ptr %77, align 4, !tbaa !14
  switch i32 %78, label %89 [
    i32 3001, label %79
    i32 3002, label %81
    i32 3003, label %83
    i32 3004, label %85
    i32 3005, label %87
  ]

79:                                               ; preds = %71
  %80 = call i32 (ptr, ...) @printf(ptr noundef @.str.27)
  br label %98

81:                                               ; preds = %71
  %82 = call i32 (ptr, ...) @printf(ptr noundef @.str.28)
  br label %98

83:                                               ; preds = %71
  %84 = call i32 (ptr, ...) @printf(ptr noundef @.str.29)
  br label %98

85:                                               ; preds = %71
  %86 = call i32 (ptr, ...) @printf(ptr noundef @.str.30)
  br label %98

87:                                               ; preds = %71
  %88 = call i32 (ptr, ...) @printf(ptr noundef @.str.31)
  br label %98

89:                                               ; preds = %71
  %90 = load ptr, ptr %2, align 8, !tbaa !5
  %91 = getelementptr inbounds %struct._MixedOperator, ptr %90, i32 0, i32 4
  %92 = load ptr, ptr %91, align 8, !tbaa !22
  %93 = load i32, ptr %3, align 4, !tbaa !14
  %94 = sext i32 %93 to i64
  %95 = getelementptr inbounds i32, ptr %92, i64 %94
  %96 = load i32, ptr %95, align 4, !tbaa !14
  %97 = call i32 (ptr, ...) @printf(ptr noundef @.str.89, i32 noundef %96)
  call void @exit(i32 noundef 1) #5
  unreachable

98:                                               ; preds = %87, %85, %83, %81, %79
  %99 = load ptr, ptr %2, align 8, !tbaa !5
  %100 = getelementptr inbounds %struct._MixedOperator, ptr %99, i32 0, i32 5
  %101 = load ptr, ptr %100, align 8, !tbaa !23
  %102 = load i32, ptr %3, align 4, !tbaa !14
  %103 = sext i32 %102 to i64
  %104 = getelementptr inbounds ptr, ptr %101, i64 %103
  %105 = load ptr, ptr %104, align 8, !tbaa !5
  call void @print_ExpNode(ptr noundef %105)
  %106 = load ptr, ptr %2, align 8, !tbaa !5
  %107 = getelementptr inbounds %struct._MixedOperator, ptr %106, i32 0, i32 6
  %108 = load ptr, ptr %107, align 8, !tbaa !24
  %109 = load i32, ptr %3, align 4, !tbaa !14
  %110 = sext i32 %109 to i64
  %111 = getelementptr inbounds ptr, ptr %108, i64 %110
  %112 = load ptr, ptr %111, align 8, !tbaa !5
  call void @print_ExpNode(ptr noundef %112)
  %113 = call i32 (ptr, ...) @printf(ptr noundef @.str.14)
  br label %114

114:                                              ; preds = %98
  %115 = load i32, ptr %3, align 4, !tbaa !14
  %116 = add nsw i32 %115, 1
  store i32 %116, ptr %3, align 4, !tbaa !14
  br label %65, !llvm.loop !25

117:                                              ; preds = %65
  store i32 0, ptr %4, align 4, !tbaa !14
  %118 = call i32 (ptr, ...) @printf(ptr noundef @.str.65)
  %119 = load ptr, ptr %2, align 8, !tbaa !5
  %120 = getelementptr inbounds %struct._MixedOperator, ptr %119, i32 0, i32 8
  %121 = load ptr, ptr %120, align 8, !tbaa !26
  store ptr %121, ptr %5, align 8, !tbaa !5
  br label %122

122:                                              ; preds = %225, %117
  %123 = load ptr, ptr %5, align 8, !tbaa !5
  %124 = icmp ne ptr %123, null
  br i1 %124, label %125, label %229

125:                                              ; preds = %122
  %126 = load i32, ptr %4, align 4, !tbaa !14
  %127 = add nsw i32 %126, 1
  store i32 %127, ptr %4, align 4, !tbaa !14
  %128 = load ptr, ptr %5, align 8, !tbaa !5
  %129 = getelementptr inbounds %struct._Effect, ptr %128, i32 0, i32 0
  %130 = load i32, ptr %129, align 8, !tbaa !27
  %131 = call i32 (ptr, ...) @printf(ptr noundef @.str.66, i32 noundef %126, i32 noundef %130)
  store i32 0, ptr %3, align 4, !tbaa !14
  br label %132

132:                                              ; preds = %156, %125
  %133 = load i32, ptr %3, align 4, !tbaa !14
  %134 = load ptr, ptr %5, align 8, !tbaa !5
  %135 = getelementptr inbounds %struct._Effect, ptr %134, i32 0, i32 0
  %136 = load i32, ptr %135, align 8, !tbaa !27
  %137 = icmp slt i32 %133, %136
  br i1 %137, label %138, label %159

138:                                              ; preds = %132
  %139 = load ptr, ptr %2, align 8, !tbaa !5
  %140 = getelementptr inbounds %struct._MixedOperator, ptr %139, i32 0, i32 0
  %141 = load ptr, ptr %140, align 8, !tbaa !9
  %142 = getelementptr inbounds %struct._Operator, ptr %141, i32 0, i32 4
  %143 = load i32, ptr %142, align 8, !tbaa !15
  %144 = load i32, ptr %3, align 4, !tbaa !14
  %145 = add nsw i32 %143, %144
  %146 = load ptr, ptr %5, align 8, !tbaa !5
  %147 = getelementptr inbounds %struct._Effect, ptr %146, i32 0, i32 1
  %148 = load i32, ptr %3, align 4, !tbaa !14
  %149 = sext i32 %148 to i64
  %150 = getelementptr inbounds [15 x i32], ptr %147, i64 0, i64 %149
  %151 = load i32, ptr %150, align 4, !tbaa !14
  %152 = sext i32 %151 to i64
  %153 = getelementptr inbounds [50 x ptr], ptr @gtype_names, i64 0, i64 %152
  %154 = load ptr, ptr %153, align 8, !tbaa !5
  %155 = call i32 (ptr, ...) @printf(ptr noundef @.str.90, i32 noundef %145, ptr noundef %154)
  br label %156

156:                                              ; preds = %138
  %157 = load i32, ptr %3, align 4, !tbaa !14
  %158 = add nsw i32 %157, 1
  store i32 %158, ptr %3, align 4, !tbaa !14
  br label %132, !llvm.loop !29

159:                                              ; preds = %132
  %160 = call i32 (ptr, ...) @printf(ptr noundef @.str.68)
  %161 = load ptr, ptr %5, align 8, !tbaa !5
  %162 = getelementptr inbounds %struct._Effect, ptr %161, i32 0, i32 3
  %163 = load ptr, ptr %162, align 8, !tbaa !30
  call void @print_Wff(ptr noundef %163, i32 noundef 0)
  %164 = call i32 (ptr, ...) @printf(ptr noundef @.str.69)
  %165 = load ptr, ptr %5, align 8, !tbaa !5
  %166 = getelementptr inbounds %struct._Effect, ptr %165, i32 0, i32 4
  %167 = load ptr, ptr %166, align 8, !tbaa !31
  store ptr %167, ptr %7, align 8, !tbaa !5
  br label %168

168:                                              ; preds = %183, %159
  %169 = load ptr, ptr %7, align 8, !tbaa !5
  %170 = icmp ne ptr %169, null
  br i1 %170, label %171, label %187

171:                                              ; preds = %168
  %172 = load ptr, ptr %7, align 8, !tbaa !5
  %173 = getelementptr inbounds %struct._Literal, ptr %172, i32 0, i32 0
  %174 = load i8, ptr %173, align 8, !tbaa !32
  %175 = icmp ne i8 %174, 0
  br i1 %175, label %176, label %178

176:                                              ; preds = %171
  %177 = call i32 (ptr, ...) @printf(ptr noundef @.str.70)
  br label %180

178:                                              ; preds = %171
  %179 = call i32 (ptr, ...) @printf(ptr noundef @.str.40)
  br label %180

180:                                              ; preds = %178, %176
  %181 = load ptr, ptr %7, align 8, !tbaa !5
  %182 = getelementptr inbounds %struct._Literal, ptr %181, i32 0, i32 1
  call void @print_Fact(ptr noundef %182)
  br label %183

183:                                              ; preds = %180
  %184 = load ptr, ptr %7, align 8, !tbaa !5
  %185 = getelementptr inbounds %struct._Literal, ptr %184, i32 0, i32 2
  %186 = load ptr, ptr %185, align 8, !tbaa !35
  store ptr %186, ptr %7, align 8, !tbaa !5
  br label %168, !llvm.loop !36

187:                                              ; preds = %168
  %188 = call i32 (ptr, ...) @printf(ptr noundef @.str.71)
  %189 = load ptr, ptr %5, align 8, !tbaa !5
  %190 = getelementptr inbounds %struct._Effect, ptr %189, i32 0, i32 5
  %191 = load ptr, ptr %190, align 8, !tbaa !37
  store ptr %191, ptr %6, align 8, !tbaa !5
  br label %192

192:                                              ; preds = %220, %187
  %193 = load ptr, ptr %6, align 8, !tbaa !5
  %194 = icmp ne ptr %193, null
  br i1 %194, label %195, label %224

195:                                              ; preds = %192
  %196 = load ptr, ptr %6, align 8, !tbaa !5
  %197 = getelementptr inbounds %struct._NumericEffect, ptr %196, i32 0, i32 1
  %198 = load i32, ptr %197, align 8, !tbaa !38
  switch i32 %198, label %209 [
    i32 4000, label %199
    i32 4001, label %201
    i32 4002, label %203
    i32 4003, label %205
    i32 4004, label %207
  ]

199:                                              ; preds = %195
  %200 = call i32 (ptr, ...) @printf(ptr noundef @.str.72)
  br label %214

201:                                              ; preds = %195
  %202 = call i32 (ptr, ...) @printf(ptr noundef @.str.73)
  br label %214

203:                                              ; preds = %195
  %204 = call i32 (ptr, ...) @printf(ptr noundef @.str.74)
  br label %214

205:                                              ; preds = %195
  %206 = call i32 (ptr, ...) @printf(ptr noundef @.str.75)
  br label %214

207:                                              ; preds = %195
  %208 = call i32 (ptr, ...) @printf(ptr noundef @.str.76)
  br label %214

209:                                              ; preds = %195
  %210 = load ptr, ptr %6, align 8, !tbaa !5
  %211 = getelementptr inbounds %struct._NumericEffect, ptr %210, i32 0, i32 1
  %212 = load i32, ptr %211, align 8, !tbaa !38
  %213 = call i32 (ptr, ...) @printf(ptr noundef @.str.77, i32 noundef %212)
  call void @exit(i32 noundef 1) #5
  unreachable

214:                                              ; preds = %207, %205, %203, %201, %199
  %215 = load ptr, ptr %6, align 8, !tbaa !5
  %216 = getelementptr inbounds %struct._NumericEffect, ptr %215, i32 0, i32 0
  call void @print_Fluent(ptr noundef %216)
  %217 = load ptr, ptr %6, align 8, !tbaa !5
  %218 = getelementptr inbounds %struct._NumericEffect, ptr %217, i32 0, i32 2
  %219 = load ptr, ptr %218, align 8, !tbaa !41
  call void @print_ExpNode(ptr noundef %219)
  br label %220

220:                                              ; preds = %214
  %221 = load ptr, ptr %6, align 8, !tbaa !5
  %222 = getelementptr inbounds %struct._NumericEffect, ptr %221, i32 0, i32 3
  %223 = load ptr, ptr %222, align 8, !tbaa !42
  store ptr %223, ptr %6, align 8, !tbaa !5
  br label %192, !llvm.loop !43

224:                                              ; preds = %192
  br label %225

225:                                              ; preds = %224
  %226 = load ptr, ptr %5, align 8, !tbaa !5
  %227 = getelementptr inbounds %struct._Effect, ptr %226, i32 0, i32 6
  %228 = load ptr, ptr %227, align 8, !tbaa !44
  store ptr %228, ptr %5, align 8, !tbaa !5
  br label %122, !llvm.loop !45

229:                                              ; preds = %122
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %6) #4
  call void @llvm.lifetime.end.p0(i64 8, 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
}

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, !6, i64 0}
!10 = !{!"_MixedOperator", !6, i64 0, !7, i64 8, !6, i64 72, !11, i64 80, !6, i64 88, !6, i64 96, !6, i64 104, !11, i64 112, !6, i64 120, !6, i64 128}
!11 = !{!"int", !7, i64 0}
!12 = !{!13, !6, i64 0}
!13 = !{!"_Operator", !6, i64 0, !7, i64 8, !11, i64 128, !7, i64 132, !11, i64 136, !7, i64 140, !7, i64 200, !6, i64 216, !6, i64 224, !7, i64 232}
!14 = !{!11, !11, i64 0}
!15 = !{!13, !11, i64 136}
!16 = distinct !{!16, !17}
!17 = !{!"llvm.loop.mustprogress"}
!18 = !{!10, !11, i64 80}
!19 = !{!10, !6, i64 72}
!20 = distinct !{!20, !17}
!21 = !{!10, !11, i64 112}
!22 = !{!10, !6, i64 88}
!23 = !{!10, !6, i64 96}
!24 = !{!10, !6, i64 104}
!25 = distinct !{!25, !17}
!26 = !{!10, !6, i64 120}
!27 = !{!28, !11, i64 0}
!28 = !{!"_Effect", !11, i64 0, !7, i64 4, !7, i64 64, !6, i64 184, !6, i64 192, !6, i64 200, !6, i64 208, !6, i64 216}
!29 = distinct !{!29, !17}
!30 = !{!28, !6, i64 184}
!31 = !{!28, !6, i64 192}
!32 = !{!33, !7, i64 0}
!33 = !{!"_Literal", !7, i64 0, !34, i64 4, !6, i64 32, !6, i64 40}
!34 = !{!"_Fact", !11, i64 0, !7, i64 4}
!35 = !{!33, !6, i64 32}
!36 = distinct !{!36, !17}
!37 = !{!28, !6, i64 200}
!38 = !{!39, !11, i64 24}
!39 = !{!"_NumericEffect", !40, i64 0, !11, i64 24, !6, i64 32, !6, i64 40, !6, i64 48}
!40 = !{!"_Fluent", !11, i64 0, !7, i64 4}
!41 = !{!39, !6, i64 32}
!42 = !{!39, !6, i64 40}
!43 = distinct !{!43, !17}
!44 = !{!28, !6, i64 208}
!45 = distinct !{!45, !17}


; 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._Fact = type { i32, [5 x i32] }

@.str.14 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.27 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.28 = external hidden unnamed_addr constant [5 x i8], align 1
@.str.29 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.30 = external hidden unnamed_addr constant [5 x i8], align 1
@.str.31 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.40 = external hidden unnamed_addr constant [2 x i8], align 1
@gtype_names = external local_unnamed_addr global [50 x ptr], align 16
@.str.64 = external hidden unnamed_addr constant [12 x i8], align 1
@.str.65 = external hidden unnamed_addr constant [11 x i8], align 1
@.str.66 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.68 = external hidden unnamed_addr constant [13 x i8], align 1
@.str.69 = external hidden unnamed_addr constant [17 x i8], align 1
@.str.70 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.71 = external hidden unnamed_addr constant [17 x i8], align 1
@.str.72 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.73 = external hidden unnamed_addr constant [11 x i8], align 1
@.str.74 = external hidden unnamed_addr constant [13 x i8], align 1
@.str.75 = external hidden unnamed_addr constant [11 x i8], align 1
@.str.76 = external hidden unnamed_addr constant [11 x i8], align 1
@.str.77 = external hidden unnamed_addr constant [34 x i8], align 1
@.str.87 = external hidden unnamed_addr constant [57 x i8], align 1
@.str.88 = external hidden unnamed_addr constant [19 x i8], align 1
@gconstants = external local_unnamed_addr global [2000 x ptr], align 16
@.str.89 = external hidden unnamed_addr constant [47 x i8], align 1
@.str.90 = external hidden unnamed_addr constant [16 x i8], align 1
@switch.table.print_MixedOperator = private unnamed_addr constant [5 x ptr] [ptr @.str.27, ptr @.str.28, ptr @.str.29, ptr @.str.30, ptr @.str.31], align 8
@switch.table.print_MixedOperator.1 = private unnamed_addr constant [5 x ptr] [ptr @.str.72, ptr @.str.73, ptr @.str.74, ptr @.str.75, ptr @.str.76], align 8

; 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
declare dso_local void @print_ExpNode(ptr noundef) local_unnamed_addr #2

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

; Function Attrs: nounwind uwtable
declare dso_local void @print_Wff(ptr noundef, i32 noundef) local_unnamed_addr #2

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

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

; Function Attrs: nounwind uwtable
define dso_local void @print_MixedOperator(ptr nocapture noundef readonly %0) local_unnamed_addr #2 {
  %2 = load ptr, ptr %0, align 8, !tbaa !5
  %3 = load ptr, ptr %2, align 8, !tbaa !11
  %4 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.87, ptr noundef %3)
  %5 = load ptr, ptr %0, align 8, !tbaa !5
  %6 = getelementptr inbounds i8, ptr %5, i64 136
  %7 = load i32, ptr %6, align 8, !tbaa !13
  %8 = icmp sgt i32 %7, 0
  br i1 %8, label %.lr.ph, label %._crit_edge

.lr.ph:                                           ; preds = %1
  %9 = getelementptr inbounds i8, ptr %0, i64 8
  br label %10

10:                                               ; preds = %.lr.ph, %10
  %indvars.iv = phi i64 [ 0, %.lr.ph ], [ %indvars.iv.next, %10 ]
  %11 = getelementptr inbounds [15 x i32], ptr %9, i64 0, i64 %indvars.iv
  %12 = load i32, ptr %11, align 4, !tbaa !14
  %13 = sext i32 %12 to i64
  %14 = getelementptr inbounds [2000 x ptr], ptr @gconstants, i64 0, i64 %13
  %15 = load ptr, ptr %14, align 8, !tbaa !15
  %16 = trunc nuw nsw i64 %indvars.iv to i32
  %17 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.88, i32 noundef %16, ptr noundef %15)
  %18 = load ptr, ptr %0, align 8, !tbaa !5
  %19 = getelementptr inbounds i8, ptr %18, i64 140
  %20 = getelementptr inbounds [15 x i32], ptr %19, i64 0, i64 %indvars.iv
  %21 = load i32, ptr %20, align 4, !tbaa !14
  tail call void @print_type(i32 noundef %21)
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %22 = load ptr, ptr %0, align 8, !tbaa !5
  %23 = getelementptr inbounds i8, ptr %22, i64 136
  %24 = load i32, ptr %23, align 8, !tbaa !13
  %25 = sext i32 %24 to i64
  %26 = icmp slt i64 %indvars.iv.next, %25
  br i1 %26, label %10, label %._crit_edge, !llvm.loop !16

._crit_edge:                                      ; preds = %10, %1
  %27 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.64)
  %28 = getelementptr inbounds i8, ptr %0, i64 80
  %29 = load i32, ptr %28, align 8, !tbaa !18
  %30 = icmp sgt i32 %29, 0
  br i1 %30, label %.lr.ph60, label %.preheader

.lr.ph60:                                         ; preds = %._crit_edge
  %31 = getelementptr inbounds i8, ptr %0, i64 72
  br label %38

.preheader:                                       ; preds = %38, %._crit_edge
  %32 = getelementptr inbounds i8, ptr %0, i64 112
  %33 = load i32, ptr %32, align 8, !tbaa !19
  %34 = icmp sgt i32 %33, 0
  br i1 %34, label %.lr.ph62, label %._crit_edge63

.lr.ph62:                                         ; preds = %.preheader
  %35 = getelementptr inbounds i8, ptr %0, i64 88
  %36 = getelementptr inbounds i8, ptr %0, i64 96
  %37 = getelementptr inbounds i8, ptr %0, i64 104
  br label %45

38:                                               ; preds = %.lr.ph60, %38
  %indvars.iv91 = phi i64 [ 0, %.lr.ph60 ], [ %indvars.iv.next92, %38 ]
  %39 = load ptr, ptr %31, align 8, !tbaa !20
  %40 = getelementptr inbounds %struct._Fact, ptr %39, i64 %indvars.iv91
  tail call void @print_Fact(ptr noundef %40)
  %41 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.40)
  %indvars.iv.next92 = add nuw nsw i64 %indvars.iv91, 1
  %42 = load i32, ptr %28, align 8, !tbaa !18
  %43 = sext i32 %42 to i64
  %44 = icmp slt i64 %indvars.iv.next92, %43
  br i1 %44, label %38, label %.preheader, !llvm.loop !21

45:                                               ; preds = %.lr.ph62, %switch.lookup
  %indvars.iv94 = phi i64 [ 0, %.lr.ph62 ], [ %indvars.iv.next95, %switch.lookup ]
  %46 = load ptr, ptr %35, align 8, !tbaa !22
  %47 = getelementptr inbounds i32, ptr %46, i64 %indvars.iv94
  %48 = load i32, ptr %47, align 4, !tbaa !14
  %switch.tableidx = add i32 %48, -3001
  %49 = icmp ult i32 %switch.tableidx, 5
  br i1 %49, label %switch.lookup, label %50

50:                                               ; preds = %45
  %51 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.89, i32 noundef %48)
  tail call void @exit(i32 noundef 1) #3
  unreachable

switch.lookup:                                    ; preds = %45
  %52 = zext nneg i32 %switch.tableidx to i64
  %switch.gep = getelementptr inbounds [5 x ptr], ptr @switch.table.print_MixedOperator, i64 0, i64 %52
  %switch.load = load ptr, ptr %switch.gep, align 8
  %53 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) %switch.load)
  %54 = load ptr, ptr %36, align 8, !tbaa !23
  %55 = getelementptr inbounds ptr, ptr %54, i64 %indvars.iv94
  %56 = load ptr, ptr %55, align 8, !tbaa !15
  tail call void @print_ExpNode(ptr noundef %56)
  %57 = load ptr, ptr %37, align 8, !tbaa !24
  %58 = getelementptr inbounds ptr, ptr %57, i64 %indvars.iv94
  %59 = load ptr, ptr %58, align 8, !tbaa !15
  tail call void @print_ExpNode(ptr noundef %59)
  %60 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.14)
  %indvars.iv.next95 = add nuw nsw i64 %indvars.iv94, 1
  %61 = load i32, ptr %32, align 8, !tbaa !19
  %62 = sext i32 %61 to i64
  %63 = icmp slt i64 %indvars.iv.next95, %62
  br i1 %63, label %45, label %._crit_edge63, !llvm.loop !25

._crit_edge63:                                    ; preds = %switch.lookup, %.preheader
  %64 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.65)
  %65 = getelementptr inbounds i8, ptr %0, i64 120
  %.05080 = load ptr, ptr %65, align 8, !tbaa !15
  %.not81 = icmp eq ptr %.05080, null
  br i1 %.not81, label %._crit_edge86, label %.lr.ph85

.lr.ph85:                                         ; preds = %._crit_edge63, %._crit_edge79
  %.05083 = phi ptr [ %.050, %._crit_edge79 ], [ %.05080, %._crit_edge63 ]
  %.05182 = phi i32 [ %66, %._crit_edge79 ], [ 0, %._crit_edge63 ]
  %66 = add nuw nsw i32 %.05182, 1
  %67 = load i32, ptr %.05083, align 8, !tbaa !26
  %68 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.66, i32 noundef %.05182, i32 noundef %67)
  %69 = load i32, ptr %.05083, align 8, !tbaa !26
  %70 = icmp sgt i32 %69, 0
  br i1 %70, label %.lr.ph66, label %._crit_edge67

.lr.ph66:                                         ; preds = %.lr.ph85
  %71 = getelementptr inbounds i8, ptr %.05083, i64 4
  br label %72

72:                                               ; preds = %.lr.ph66, %72
  %indvars.iv97 = phi i64 [ 0, %.lr.ph66 ], [ %indvars.iv.next98, %72 ]
  %73 = load ptr, ptr %0, align 8, !tbaa !5
  %74 = getelementptr inbounds i8, ptr %73, i64 136
  %75 = load i32, ptr %74, align 8, !tbaa !13
  %76 = trunc nuw nsw i64 %indvars.iv97 to i32
  %77 = add nsw i32 %75, %76
  %78 = getelementptr inbounds [15 x i32], ptr %71, i64 0, i64 %indvars.iv97
  %79 = load i32, ptr %78, align 4, !tbaa !14
  %80 = sext i32 %79 to i64
  %81 = getelementptr inbounds [50 x ptr], ptr @gtype_names, i64 0, i64 %80
  %82 = load ptr, ptr %81, align 8, !tbaa !15
  %83 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.90, i32 noundef %77, ptr noundef %82)
  %indvars.iv.next98 = add nuw nsw i64 %indvars.iv97, 1
  %84 = load i32, ptr %.05083, align 8, !tbaa !26
  %85 = sext i32 %84 to i64
  %86 = icmp slt i64 %indvars.iv.next98, %85
  br i1 %86, label %72, label %._crit_edge67, !llvm.loop !28

._crit_edge67:                                    ; preds = %72, %.lr.ph85
  %87 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.68)
  %88 = getelementptr inbounds i8, ptr %.05083, i64 184
  %89 = load ptr, ptr %88, align 8, !tbaa !29
  tail call void @print_Wff(ptr noundef %89, i32 noundef 0)
  %90 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.69)
  %91 = getelementptr inbounds i8, ptr %.05083, i64 192
  %.068 = load ptr, ptr %91, align 8, !tbaa !15
  %.not5369 = icmp eq ptr %.068, null
  br i1 %.not5369, label %._crit_edge73, label %.lr.ph72

.lr.ph72:                                         ; preds = %._crit_edge67, %.lr.ph72
  %.070 = phi ptr [ %.0, %.lr.ph72 ], [ %.068, %._crit_edge67 ]
  %92 = load i8, ptr %.070, align 8, !tbaa !30
  %.not55 = icmp eq i8 %92, 0
  %.str.40..str.70 = select i1 %.not55, ptr @.str.40, ptr @.str.70
  %93 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) %.str.40..str.70)
  %94 = getelementptr inbounds i8, ptr %.070, i64 4
  tail call void @print_Fact(ptr noundef nonnull %94)
  %95 = getelementptr inbounds i8, ptr %.070, i64 32
  %.0 = load ptr, ptr %95, align 8, !tbaa !15
  %.not53 = icmp eq ptr %.0, null
  br i1 %.not53, label %._crit_edge73, label %.lr.ph72, !llvm.loop !33

._crit_edge73:                                    ; preds = %.lr.ph72, %._crit_edge67
  %96 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.71)
  %97 = getelementptr inbounds i8, ptr %.05083, i64 200
  %.04974 = load ptr, ptr %97, align 8, !tbaa !15
  %.not5475 = icmp eq ptr %.04974, null
  br i1 %.not5475, label %._crit_edge79, label %.lr.ph78

.lr.ph78:                                         ; preds = %._crit_edge73, %switch.lookup106
  %.04976 = phi ptr [ %.049, %switch.lookup106 ], [ %.04974, %._crit_edge73 ]
  %98 = getelementptr inbounds i8, ptr %.04976, i64 24
  %99 = load i32, ptr %98, align 8, !tbaa !34
  %switch.tableidx107 = add i32 %99, -4000
  %100 = icmp ult i32 %switch.tableidx107, 5
  br i1 %100, label %switch.lookup106, label %101

101:                                              ; preds = %.lr.ph78
  %102 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.77, i32 noundef %99)
  tail call void @exit(i32 noundef 1) #3
  unreachable

switch.lookup106:                                 ; preds = %.lr.ph78
  %103 = zext nneg i32 %switch.tableidx107 to i64
  %switch.gep108 = getelementptr inbounds [5 x ptr], ptr @switch.table.print_MixedOperator.1, i64 0, i64 %103
  %switch.load109 = load ptr, ptr %switch.gep108, align 8
  %104 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) %switch.load109)
  tail call void @print_Fluent(ptr noundef nonnull %.04976)
  %105 = getelementptr inbounds i8, ptr %.04976, i64 32
  %106 = load ptr, ptr %105, align 8, !tbaa !37
  tail call void @print_ExpNode(ptr noundef %106)
  %107 = getelementptr inbounds i8, ptr %.04976, i64 40
  %.049 = load ptr, ptr %107, align 8, !tbaa !15
  %.not54 = icmp eq ptr %.049, null
  br i1 %.not54, label %._crit_edge79, label %.lr.ph78, !llvm.loop !38

._crit_edge79:                                    ; preds = %switch.lookup106, %._crit_edge73
  %108 = getelementptr inbounds i8, ptr %.05083, i64 208
  %.050 = load ptr, ptr %108, align 8, !tbaa !15
  %.not = icmp eq ptr %.050, null
  br i1 %.not, label %._crit_edge86, label %.lr.ph85, !llvm.loop !39

._crit_edge86:                                    ; preds = %._crit_edge79, %._crit_edge63
  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 = { 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 = { 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, !7, i64 0}
!6 = !{!"_MixedOperator", !7, i64 0, !8, i64 8, !7, i64 72, !10, i64 80, !7, i64 88, !7, i64 96, !7, i64 104, !10, i64 112, !7, i64 120, !7, i64 128}
!7 = !{!"any pointer", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C/C++ TBAA"}
!10 = !{!"int", !8, i64 0}
!11 = !{!12, !7, i64 0}
!12 = !{!"_Operator", !7, i64 0, !8, i64 8, !10, i64 128, !8, i64 132, !10, i64 136, !8, i64 140, !8, i64 200, !7, i64 216, !7, i64 224, !8, i64 232}
!13 = !{!12, !10, i64 136}
!14 = !{!10, !10, i64 0}
!15 = !{!7, !7, i64 0}
!16 = distinct !{!16, !17}
!17 = !{!"llvm.loop.mustprogress"}
!18 = !{!6, !10, i64 80}
!19 = !{!6, !10, i64 112}
!20 = !{!6, !7, i64 72}
!21 = distinct !{!21, !17}
!22 = !{!6, !7, i64 88}
!23 = !{!6, !7, i64 96}
!24 = !{!6, !7, i64 104}
!25 = distinct !{!25, !17}
!26 = !{!27, !10, i64 0}
!27 = !{!"_Effect", !10, i64 0, !8, i64 4, !8, i64 64, !7, i64 184, !7, i64 192, !7, i64 200, !7, i64 208, !7, i64 216}
!28 = distinct !{!28, !17}
!29 = !{!27, !7, i64 184}
!30 = !{!31, !8, i64 0}
!31 = !{!"_Literal", !8, i64 0, !32, i64 4, !7, i64 32, !7, i64 40}
!32 = !{!"_Fact", !10, i64 0, !8, i64 4}
!33 = distinct !{!33, !17}
!34 = !{!35, !10, i64 24}
!35 = !{!"_NumericEffect", !36, i64 0, !10, i64 24, !7, i64 32, !7, i64 40, !7, i64 48}
!36 = !{!"_Fluent", !10, i64 0, !8, i64 4}
!37 = !{!35, !7, i64 32}
!38 = distinct !{!38, !17}
!39 = distinct !{!39, !17}


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