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

; 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._NormOperator = type { ptr, i32, [15 x i32], [15 x i32], [15 x i32], i32, [15 x i32], ptr, i32, ptr, ptr, ptr, i32, ptr, i8 }
%struct._Fact = type { i32, [5 x i32] }

@gnum_easy_operators = external global i32, align 4
@geasy_operators = external global ptr, align 8
@geasy_templates = external global ptr, align 8
@garity = external global [50 x i32], align 16
@lo = external dso_local global ptr, align 8
@lnum_inertia_conds = external dso_local global i32, align 4
@gis_added = external global [50 x i8], align 16
@gis_deleted = external global [50 x i8], align 16
@linertia_conds = external dso_local global [15 x i32], align 16
@lnum_multiply_parameters = external dso_local global i32, align 4
@lmultiply_parameters = external dso_local global [15 x i32], align 16
@gnum_easy_templates = external global i32, align 4

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

; Function Attrs: nounwind uwtable
define dso_local void @multiply_easy_op_parameters() #1 {
  %1 = alloca i32, align 4
  %2 = alloca i32, align 4
  %3 = alloca i32, align 4
  %4 = alloca i32, align 4
  %5 = alloca i32, align 4
  %6 = alloca ptr, align 8
  call void @llvm.lifetime.start.p0(i64 4, ptr %1) #2
  call void @llvm.lifetime.start.p0(i64 4, ptr %2) #2
  call void @llvm.lifetime.start.p0(i64 4, ptr %3) #2
  call void @llvm.lifetime.start.p0(i64 4, ptr %4) #2
  call void @llvm.lifetime.start.p0(i64 4, ptr %5) #2
  call void @llvm.lifetime.start.p0(i64 8, ptr %6) #2
  store ptr null, ptr @geasy_templates, align 8, !tbaa !5
  store i32 0, ptr @gnum_easy_templates, align 4, !tbaa !9
  store i32 0, ptr %1, align 4, !tbaa !9
  br label %7

7:                                                ; preds = %141, %0
  %8 = load i32, ptr %1, align 4, !tbaa !9
  %9 = load i32, ptr @gnum_easy_operators, align 4, !tbaa !9
  %10 = icmp slt i32 %8, %9
  br i1 %10, label %11, label %144

11:                                               ; preds = %7
  %12 = load ptr, ptr @geasy_operators, align 8, !tbaa !5
  %13 = load i32, ptr %1, align 4, !tbaa !9
  %14 = sext i32 %13 to i64
  %15 = getelementptr inbounds ptr, ptr %12, i64 %14
  %16 = load ptr, ptr %15, align 8, !tbaa !5
  store ptr %16, ptr @lo, align 8, !tbaa !5
  store i32 0, ptr @lnum_inertia_conds, align 4, !tbaa !9
  store i32 0, ptr %2, align 4, !tbaa !9
  br label %17

17:                                               ; preds = %56, %11
  %18 = load i32, ptr %2, align 4, !tbaa !9
  %19 = load ptr, ptr @lo, align 8, !tbaa !5
  %20 = getelementptr inbounds %struct._NormOperator, ptr %19, i32 0, i32 8
  %21 = load i32, ptr %20, align 8, !tbaa !11
  %22 = icmp slt i32 %18, %21
  br i1 %22, label %23, label %59

23:                                               ; preds = %17
  %24 = load ptr, ptr @lo, align 8, !tbaa !5
  %25 = getelementptr inbounds %struct._NormOperator, ptr %24, i32 0, i32 7
  %26 = load ptr, ptr %25, align 8, !tbaa !13
  %27 = load i32, ptr %2, align 4, !tbaa !9
  %28 = sext i32 %27 to i64
  %29 = getelementptr inbounds %struct._Fact, ptr %26, i64 %28
  %30 = getelementptr inbounds %struct._Fact, ptr %29, i32 0, i32 0
  %31 = load i32, ptr %30, align 4, !tbaa !14
  %32 = sext i32 %31 to i64
  %33 = getelementptr inbounds [50 x i8], ptr @gis_added, i64 0, i64 %32
  %34 = load i8, ptr %33, align 1, !tbaa !16
  %35 = icmp ne i8 %34, 0
  br i1 %35, label %55, label %36

36:                                               ; preds = %23
  %37 = load ptr, ptr @lo, align 8, !tbaa !5
  %38 = getelementptr inbounds %struct._NormOperator, ptr %37, i32 0, i32 7
  %39 = load ptr, ptr %38, align 8, !tbaa !13
  %40 = load i32, ptr %2, align 4, !tbaa !9
  %41 = sext i32 %40 to i64
  %42 = getelementptr inbounds %struct._Fact, ptr %39, i64 %41
  %43 = getelementptr inbounds %struct._Fact, ptr %42, i32 0, i32 0
  %44 = load i32, ptr %43, align 4, !tbaa !14
  %45 = sext i32 %44 to i64
  %46 = getelementptr inbounds [50 x i8], ptr @gis_deleted, i64 0, i64 %45
  %47 = load i8, ptr %46, align 1, !tbaa !16
  %48 = icmp ne i8 %47, 0
  br i1 %48, label %55, label %49

49:                                               ; preds = %36
  %50 = load i32, ptr %2, align 4, !tbaa !9
  %51 = load i32, ptr @lnum_inertia_conds, align 4, !tbaa !9
  %52 = add nsw i32 %51, 1
  store i32 %52, ptr @lnum_inertia_conds, align 4, !tbaa !9
  %53 = sext i32 %51 to i64
  %54 = getelementptr inbounds [15 x i32], ptr @linertia_conds, i64 0, i64 %53
  store i32 %50, ptr %54, align 4, !tbaa !9
  br label %55

55:                                               ; preds = %49, %36, %23
  br label %56

56:                                               ; preds = %55
  %57 = load i32, ptr %2, align 4, !tbaa !9
  %58 = add nsw i32 %57, 1
  store i32 %58, ptr %2, align 4, !tbaa !9
  br label %17, !llvm.loop !17

59:                                               ; preds = %17
  store i32 0, ptr @lnum_multiply_parameters, align 4, !tbaa !9
  store i32 0, ptr %2, align 4, !tbaa !9
  br label %60

60:                                               ; preds = %137, %59
  %61 = load i32, ptr %2, align 4, !tbaa !9
  %62 = load ptr, ptr @lo, align 8, !tbaa !5
  %63 = getelementptr inbounds %struct._NormOperator, ptr %62, i32 0, i32 1
  %64 = load i32, ptr %63, align 8, !tbaa !19
  %65 = icmp slt i32 %61, %64
  br i1 %65, label %66, label %140

66:                                               ; preds = %60
  store i32 0, ptr %3, align 4, !tbaa !9
  br label %67

67:                                               ; preds = %123, %66
  %68 = load i32, ptr %3, align 4, !tbaa !9
  %69 = load i32, ptr @lnum_inertia_conds, align 4, !tbaa !9
  %70 = icmp slt i32 %68, %69
  br i1 %70, label %71, label %126

71:                                               ; preds = %67
  %72 = load ptr, ptr @lo, align 8, !tbaa !5
  %73 = getelementptr inbounds %struct._NormOperator, ptr %72, i32 0, i32 7
  %74 = load ptr, ptr %73, align 8, !tbaa !13
  %75 = load i32, ptr %3, align 4, !tbaa !9
  %76 = sext i32 %75 to i64
  %77 = getelementptr inbounds [15 x i32], ptr @linertia_conds, i64 0, i64 %76
  %78 = load i32, ptr %77, align 4, !tbaa !9
  %79 = sext i32 %78 to i64
  %80 = getelementptr inbounds %struct._Fact, ptr %74, i64 %79
  %81 = getelementptr inbounds %struct._Fact, ptr %80, i32 0, i32 0
  %82 = load i32, ptr %81, align 4, !tbaa !14
  store i32 %82, ptr %5, align 4, !tbaa !9
  store i32 0, ptr %4, align 4, !tbaa !9
  br label %83

83:                                               ; preds = %111, %71
  %84 = load i32, ptr %4, align 4, !tbaa !9
  %85 = load i32, ptr %5, align 4, !tbaa !9
  %86 = sext i32 %85 to i64
  %87 = getelementptr inbounds [50 x i32], ptr @garity, i64 0, i64 %86
  %88 = load i32, ptr %87, align 4, !tbaa !9
  %89 = icmp slt i32 %84, %88
  br i1 %89, label %90, label %114

90:                                               ; preds = %83
  %91 = load ptr, ptr @lo, align 8, !tbaa !5
  %92 = getelementptr inbounds %struct._NormOperator, ptr %91, i32 0, i32 7
  %93 = load ptr, ptr %92, align 8, !tbaa !13
  %94 = load i32, ptr %3, align 4, !tbaa !9
  %95 = sext i32 %94 to i64
  %96 = getelementptr inbounds [15 x i32], ptr @linertia_conds, i64 0, i64 %95
  %97 = load i32, ptr %96, align 4, !tbaa !9
  %98 = sext i32 %97 to i64
  %99 = getelementptr inbounds %struct._Fact, ptr %93, i64 %98
  %100 = getelementptr inbounds %struct._Fact, ptr %99, i32 0, i32 1
  %101 = load i32, ptr %4, align 4, !tbaa !9
  %102 = sext i32 %101 to i64
  %103 = getelementptr inbounds [5 x i32], ptr %100, i64 0, i64 %102
  %104 = load i32, ptr %103, align 4, !tbaa !9
  %105 = load i32, ptr %2, align 4, !tbaa !9
  %106 = mul nsw i32 %105, -1
  %107 = sub nsw i32 %106, 1
  %108 = icmp eq i32 %104, %107
  br i1 %108, label %109, label %110

109:                                              ; preds = %90
  br label %114

110:                                              ; preds = %90
  br label %111

111:                                              ; preds = %110
  %112 = load i32, ptr %4, align 4, !tbaa !9
  %113 = add nsw i32 %112, 1
  store i32 %113, ptr %4, align 4, !tbaa !9
  br label %83, !llvm.loop !20

114:                                              ; preds = %109, %83
  %115 = load i32, ptr %4, align 4, !tbaa !9
  %116 = load i32, ptr %5, align 4, !tbaa !9
  %117 = sext i32 %116 to i64
  %118 = getelementptr inbounds [50 x i32], ptr @garity, i64 0, i64 %117
  %119 = load i32, ptr %118, align 4, !tbaa !9
  %120 = icmp slt i32 %115, %119
  br i1 %120, label %121, label %122

121:                                              ; preds = %114
  br label %126

122:                                              ; preds = %114
  br label %123

123:                                              ; preds = %122
  %124 = load i32, ptr %3, align 4, !tbaa !9
  %125 = add nsw i32 %124, 1
  store i32 %125, ptr %3, align 4, !tbaa !9
  br label %67, !llvm.loop !21

126:                                              ; preds = %121, %67
  %127 = load i32, ptr %3, align 4, !tbaa !9
  %128 = load i32, ptr @lnum_inertia_conds, align 4, !tbaa !9
  %129 = icmp slt i32 %127, %128
  br i1 %129, label %130, label %131

130:                                              ; preds = %126
  br label %137

131:                                              ; preds = %126
  %132 = load i32, ptr %2, align 4, !tbaa !9
  %133 = load i32, ptr @lnum_multiply_parameters, align 4, !tbaa !9
  %134 = add nsw i32 %133, 1
  store i32 %134, ptr @lnum_multiply_parameters, align 4, !tbaa !9
  %135 = sext i32 %133 to i64
  %136 = getelementptr inbounds [15 x i32], ptr @lmultiply_parameters, i64 0, i64 %135
  store i32 %132, ptr %136, align 4, !tbaa !9
  br label %137

137:                                              ; preds = %131, %130
  %138 = load i32, ptr %2, align 4, !tbaa !9
  %139 = add nsw i32 %138, 1
  store i32 %139, ptr %2, align 4, !tbaa !9
  br label %60, !llvm.loop !22

140:                                              ; preds = %60
  call void @unify_easy_inertia_preconds(i32 noundef 0)
  br label %141

141:                                              ; preds = %140
  %142 = load i32, ptr %1, align 4, !tbaa !9
  %143 = add nsw i32 %142, 1
  store i32 %143, ptr %1, align 4, !tbaa !9
  br label %7, !llvm.loop !23

144:                                              ; preds = %7
  store i32 0, ptr %1, align 4, !tbaa !9
  br label %145

145:                                              ; preds = %267, %144
  %146 = load i32, ptr %1, align 4, !tbaa !9
  %147 = load i32, ptr @gnum_easy_operators, align 4, !tbaa !9
  %148 = icmp slt i32 %146, %147
  br i1 %148, label %149, label %270

149:                                              ; preds = %145
  %150 = load ptr, ptr @geasy_operators, align 8, !tbaa !5
  %151 = load i32, ptr %1, align 4, !tbaa !9
  %152 = sext i32 %151 to i64
  %153 = getelementptr inbounds ptr, ptr %150, i64 %152
  %154 = load ptr, ptr %153, align 8, !tbaa !5
  store ptr %154, ptr %6, align 8, !tbaa !5
  store i32 0, ptr %2, align 4, !tbaa !9
  br label %155

155:                                              ; preds = %265, %149
  %156 = load i32, ptr %2, align 4, !tbaa !9
  %157 = load ptr, ptr %6, align 8, !tbaa !5
  %158 = getelementptr inbounds %struct._NormOperator, ptr %157, i32 0, i32 8
  %159 = load i32, ptr %158, align 8, !tbaa !11
  %160 = icmp slt i32 %156, %159
  br i1 %160, label %161, label %266

161:                                              ; preds = %155
  %162 = load ptr, ptr %6, align 8, !tbaa !5
  %163 = getelementptr inbounds %struct._NormOperator, ptr %162, i32 0, i32 7
  %164 = load ptr, ptr %163, align 8, !tbaa !13
  %165 = load i32, ptr %2, align 4, !tbaa !9
  %166 = sext i32 %165 to i64
  %167 = getelementptr inbounds %struct._Fact, ptr %164, i64 %166
  %168 = getelementptr inbounds %struct._Fact, ptr %167, i32 0, i32 0
  %169 = load i32, ptr %168, align 4, !tbaa !14
  %170 = sext i32 %169 to i64
  %171 = getelementptr inbounds [50 x i8], ptr @gis_added, i64 0, i64 %170
  %172 = load i8, ptr %171, align 1, !tbaa !16
  %173 = icmp ne i8 %172, 0
  br i1 %173, label %262, label %174

174:                                              ; preds = %161
  %175 = load ptr, ptr %6, align 8, !tbaa !5
  %176 = getelementptr inbounds %struct._NormOperator, ptr %175, i32 0, i32 7
  %177 = load ptr, ptr %176, align 8, !tbaa !13
  %178 = load i32, ptr %2, align 4, !tbaa !9
  %179 = sext i32 %178 to i64
  %180 = getelementptr inbounds %struct._Fact, ptr %177, i64 %179
  %181 = getelementptr inbounds %struct._Fact, ptr %180, i32 0, i32 0
  %182 = load i32, ptr %181, align 4, !tbaa !14
  %183 = sext i32 %182 to i64
  %184 = getelementptr inbounds [50 x i8], ptr @gis_deleted, i64 0, i64 %183
  %185 = load i8, ptr %184, align 1, !tbaa !16
  %186 = icmp ne i8 %185, 0
  br i1 %186, label %262, label %187

187:                                              ; preds = %174
  %188 = load i32, ptr %2, align 4, !tbaa !9
  store i32 %188, ptr %3, align 4, !tbaa !9
  br label %189

189:                                              ; preds = %254, %187
  %190 = load i32, ptr %3, align 4, !tbaa !9
  %191 = load ptr, ptr %6, align 8, !tbaa !5
  %192 = getelementptr inbounds %struct._NormOperator, ptr %191, i32 0, i32 8
  %193 = load i32, ptr %192, align 8, !tbaa !11
  %194 = sub nsw i32 %193, 1
  %195 = icmp slt i32 %190, %194
  br i1 %195, label %196, label %257

196:                                              ; preds = %189
  %197 = load ptr, ptr %6, align 8, !tbaa !5
  %198 = getelementptr inbounds %struct._NormOperator, ptr %197, i32 0, i32 7
  %199 = load ptr, ptr %198, align 8, !tbaa !13
  %200 = load i32, ptr %3, align 4, !tbaa !9
  %201 = add nsw i32 %200, 1
  %202 = sext i32 %201 to i64
  %203 = getelementptr inbounds %struct._Fact, ptr %199, i64 %202
  %204 = getelementptr inbounds %struct._Fact, ptr %203, i32 0, i32 0
  %205 = load i32, ptr %204, align 4, !tbaa !14
  %206 = load ptr, ptr %6, align 8, !tbaa !5
  %207 = getelementptr inbounds %struct._NormOperator, ptr %206, i32 0, i32 7
  %208 = load ptr, ptr %207, align 8, !tbaa !13
  %209 = load i32, ptr %3, align 4, !tbaa !9
  %210 = sext i32 %209 to i64
  %211 = getelementptr inbounds %struct._Fact, ptr %208, i64 %210
  %212 = getelementptr inbounds %struct._Fact, ptr %211, i32 0, i32 0
  store i32 %205, ptr %212, align 4, !tbaa !14
  store i32 0, ptr %4, align 4, !tbaa !9
  br label %213

213:                                              ; preds = %250, %196
  %214 = load i32, ptr %4, align 4, !tbaa !9
  %215 = load ptr, ptr %6, align 8, !tbaa !5
  %216 = getelementptr inbounds %struct._NormOperator, ptr %215, i32 0, i32 7
  %217 = load ptr, ptr %216, align 8, !tbaa !13
  %218 = load i32, ptr %3, align 4, !tbaa !9
  %219 = sext i32 %218 to i64
  %220 = getelementptr inbounds %struct._Fact, ptr %217, i64 %219
  %221 = getelementptr inbounds %struct._Fact, ptr %220, i32 0, i32 0
  %222 = load i32, ptr %221, align 4, !tbaa !14
  %223 = sext i32 %222 to i64
  %224 = getelementptr inbounds [50 x i32], ptr @garity, i64 0, i64 %223
  %225 = load i32, ptr %224, align 4, !tbaa !9
  %226 = icmp slt i32 %214, %225
  br i1 %226, label %227, label %253

227:                                              ; preds = %213
  %228 = load ptr, ptr %6, align 8, !tbaa !5
  %229 = getelementptr inbounds %struct._NormOperator, ptr %228, i32 0, i32 7
  %230 = load ptr, ptr %229, align 8, !tbaa !13
  %231 = load i32, ptr %3, align 4, !tbaa !9
  %232 = add nsw i32 %231, 1
  %233 = sext i32 %232 to i64
  %234 = getelementptr inbounds %struct._Fact, ptr %230, i64 %233
  %235 = getelementptr inbounds %struct._Fact, ptr %234, i32 0, i32 1
  %236 = load i32, ptr %4, align 4, !tbaa !9
  %237 = sext i32 %236 to i64
  %238 = getelementptr inbounds [5 x i32], ptr %235, i64 0, i64 %237
  %239 = load i32, ptr %238, align 4, !tbaa !9
  %240 = load ptr, ptr %6, align 8, !tbaa !5
  %241 = getelementptr inbounds %struct._NormOperator, ptr %240, i32 0, i32 7
  %242 = load ptr, ptr %241, align 8, !tbaa !13
  %243 = load i32, ptr %3, align 4, !tbaa !9
  %244 = sext i32 %243 to i64
  %245 = getelementptr inbounds %struct._Fact, ptr %242, i64 %244
  %246 = getelementptr inbounds %struct._Fact, ptr %245, i32 0, i32 1
  %247 = load i32, ptr %4, align 4, !tbaa !9
  %248 = sext i32 %247 to i64
  %249 = getelementptr inbounds [5 x i32], ptr %246, i64 0, i64 %248
  store i32 %239, ptr %249, align 4, !tbaa !9
  br label %250

250:                                              ; preds = %227
  %251 = load i32, ptr %4, align 4, !tbaa !9
  %252 = add nsw i32 %251, 1
  store i32 %252, ptr %4, align 4, !tbaa !9
  br label %213, !llvm.loop !24

253:                                              ; preds = %213
  br label %254

254:                                              ; preds = %253
  %255 = load i32, ptr %3, align 4, !tbaa !9
  %256 = add nsw i32 %255, 1
  store i32 %256, ptr %3, align 4, !tbaa !9
  br label %189, !llvm.loop !25

257:                                              ; preds = %189
  %258 = load ptr, ptr %6, align 8, !tbaa !5
  %259 = getelementptr inbounds %struct._NormOperator, ptr %258, i32 0, i32 8
  %260 = load i32, ptr %259, align 8, !tbaa !11
  %261 = add nsw i32 %260, -1
  store i32 %261, ptr %259, align 8, !tbaa !11
  br label %265

262:                                              ; preds = %174, %161
  %263 = load i32, ptr %2, align 4, !tbaa !9
  %264 = add nsw i32 %263, 1
  store i32 %264, ptr %2, align 4, !tbaa !9
  br label %265

265:                                              ; preds = %262, %257
  br label %155, !llvm.loop !26

266:                                              ; preds = %155
  br label %267

267:                                              ; preds = %266
  %268 = load i32, ptr %1, align 4, !tbaa !9
  %269 = add nsw i32 %268, 1
  store i32 %269, ptr %1, align 4, !tbaa !9
  br label %145, !llvm.loop !27

270:                                              ; preds = %145
  call void @llvm.lifetime.end.p0(i64 8, ptr %6) #2
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #2
  call void @llvm.lifetime.end.p0(i64 4, ptr %4) #2
  call void @llvm.lifetime.end.p0(i64 4, ptr %3) #2
  call void @llvm.lifetime.end.p0(i64 4, ptr %2) #2
  call void @llvm.lifetime.end.p0(i64 4, ptr %1) #2
  ret void
}

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

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

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

!llvm.module.flags = !{!0, !1, !2, !3}
!llvm.ident = !{!4}

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = !{!12, !10, i64 264}
!12 = !{!"_NormOperator", !6, i64 0, !10, i64 8, !7, i64 12, !7, i64 72, !7, i64 132, !10, i64 192, !7, i64 196, !6, i64 256, !10, i64 264, !6, i64 272, !6, i64 280, !6, i64 288, !10, i64 296, !6, i64 304, !7, i64 312}
!13 = !{!12, !6, i64 256}
!14 = !{!15, !10, i64 0}
!15 = !{!"_Fact", !10, i64 0, !7, i64 4}
!16 = !{!7, !7, i64 0}
!17 = distinct !{!17, !18}
!18 = !{!"llvm.loop.mustprogress"}
!19 = !{!12, !10, i64 8}
!20 = distinct !{!20, !18}
!21 = distinct !{!21, !18}
!22 = distinct !{!22, !18}
!23 = distinct !{!23, !18}
!24 = distinct !{!24, !18}
!25 = distinct !{!25, !18}
!26 = distinct !{!26, !18}
!27 = distinct !{!27, !18}


; 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] }

@gnum_easy_operators = external local_unnamed_addr global i32, align 4
@geasy_operators = external local_unnamed_addr global ptr, align 8
@geasy_templates = external local_unnamed_addr global ptr, align 8
@garity = external local_unnamed_addr global [50 x i32], align 16
@lo = external dso_local local_unnamed_addr global ptr, align 8
@lnum_inertia_conds = external dso_local local_unnamed_addr global i32, align 4
@gis_added = external local_unnamed_addr global [50 x i8], align 16
@gis_deleted = external local_unnamed_addr global [50 x i8], align 16
@linertia_conds = external dso_local local_unnamed_addr global [15 x i32], align 16
@lnum_multiply_parameters = external dso_local local_unnamed_addr global i32, align 4
@lmultiply_parameters = external dso_local local_unnamed_addr global [15 x i32], align 16
@gnum_easy_templates = external local_unnamed_addr global i32, align 4

; Function Attrs: nounwind uwtable
define dso_local void @multiply_easy_op_parameters() local_unnamed_addr #0 {
  store ptr null, ptr @geasy_templates, align 8, !tbaa !5
  store i32 0, ptr @gnum_easy_templates, align 4, !tbaa !9
  %1 = load i32, ptr @gnum_easy_operators, align 4, !tbaa !9
  %2 = icmp sgt i32 %1, 0
  br i1 %2, label %.lr.ph76, label %._crit_edge89

.preheader61:                                     ; preds = %._crit_edge72
  %3 = icmp sgt i32 %71, 0
  br i1 %3, label %.lr.ph88, label %._crit_edge89

.lr.ph88:                                         ; preds = %.preheader61
  %4 = load ptr, ptr @geasy_operators, align 8, !tbaa !5
  br label %74

.lr.ph76:                                         ; preds = %0, %._crit_edge72
  %indvars.iv109 = phi i64 [ %indvars.iv.next110, %._crit_edge72 ], [ 0, %0 ]
  %5 = load ptr, ptr @geasy_operators, align 8, !tbaa !5
  %6 = getelementptr inbounds ptr, ptr %5, i64 %indvars.iv109
  %7 = load ptr, ptr %6, align 8, !tbaa !5
  store ptr %7, ptr @lo, align 8, !tbaa !5
  store i32 0, ptr @lnum_inertia_conds, align 4, !tbaa !9
  %8 = getelementptr inbounds i8, ptr %7, i64 264
  %9 = load i32, ptr %8, align 8, !tbaa !11
  %10 = icmp sgt i32 %9, 0
  br i1 %10, label %.lr.ph, label %._crit_edge.thread

.lr.ph:                                           ; preds = %.lr.ph76
  %11 = getelementptr inbounds i8, ptr %7, i64 256
  %12 = load ptr, ptr %11, align 8, !tbaa !13
  br label %13

13:                                               ; preds = %.lr.ph, %29
  %14 = phi i32 [ %9, %.lr.ph ], [ %30, %29 ]
  %indvars.iv = phi i64 [ 0, %.lr.ph ], [ %indvars.iv.next, %29 ]
  %15 = phi i32 [ 0, %.lr.ph ], [ %31, %29 ]
  %16 = getelementptr inbounds %struct._Fact, ptr %12, i64 %indvars.iv
  %17 = load i32, ptr %16, align 4, !tbaa !14
  %18 = sext i32 %17 to i64
  %19 = getelementptr inbounds [50 x i8], ptr @gis_added, i64 0, i64 %18
  %20 = load i8, ptr %19, align 1, !tbaa !16
  %.not58 = icmp eq i8 %20, 0
  br i1 %.not58, label %21, label %29

21:                                               ; preds = %13
  %22 = getelementptr inbounds [50 x i8], ptr @gis_deleted, i64 0, i64 %18
  %23 = load i8, ptr %22, align 1, !tbaa !16
  %.not59 = icmp eq i8 %23, 0
  br i1 %.not59, label %24, label %29

24:                                               ; preds = %21
  %25 = add nsw i32 %15, 1
  store i32 %25, ptr @lnum_inertia_conds, align 4, !tbaa !9
  %26 = sext i32 %15 to i64
  %27 = getelementptr inbounds [15 x i32], ptr @linertia_conds, i64 0, i64 %26
  %28 = trunc nuw nsw i64 %indvars.iv to i32
  store i32 %28, ptr %27, align 4, !tbaa !9
  %.pre = load i32, ptr %8, align 8, !tbaa !11
  br label %29

29:                                               ; preds = %13, %21, %24
  %30 = phi i32 [ %14, %13 ], [ %14, %21 ], [ %.pre, %24 ]
  %31 = phi i32 [ %15, %13 ], [ %15, %21 ], [ %25, %24 ]
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %32 = sext i32 %30 to i64
  %33 = icmp slt i64 %indvars.iv.next, %32
  br i1 %33, label %13, label %._crit_edge, !llvm.loop !17

._crit_edge:                                      ; preds = %29
  store i32 0, ptr @lnum_multiply_parameters, align 4, !tbaa !9
  %34 = getelementptr inbounds i8, ptr %7, i64 8
  %35 = load i32, ptr %34, align 8, !tbaa !19
  %36 = icmp sgt i32 %35, 0
  br i1 %36, label %.preheader62.lr.ph, label %._crit_edge72

._crit_edge.thread:                               ; preds = %.lr.ph76
  store i32 0, ptr @lnum_multiply_parameters, align 4, !tbaa !9
  %37 = getelementptr inbounds i8, ptr %7, i64 8
  %38 = load i32, ptr %37, align 8, !tbaa !19
  %39 = icmp sgt i32 %38, 0
  br i1 %39, label %.preheader62.preheader, label %._crit_edge72

.preheader62.lr.ph:                               ; preds = %._crit_edge
  %40 = icmp sgt i32 %31, 0
  br i1 %40, label %.preheader62.lr.ph.split.us, label %.preheader62.preheader

.preheader62.preheader:                           ; preds = %._crit_edge.thread, %.preheader62.lr.ph
  %41 = phi ptr [ %34, %.preheader62.lr.ph ], [ %37, %._crit_edge.thread ]
  br label %.preheader62

.preheader62.lr.ph.split.us:                      ; preds = %.preheader62.lr.ph
  %42 = getelementptr inbounds i8, ptr %7, i64 256
  %43 = load ptr, ptr %42, align 8, !tbaa !13
  %wide.trip.count107 = zext nneg i32 %31 to i64
  br label %.preheader62.us

.preheader62.us:                                  ; preds = %.loopexit90, %.preheader62.lr.ph.split.us
  %44 = phi i32 [ %35, %.preheader62.lr.ph.split.us ], [ %61, %.loopexit90 ]
  %.15270.us = phi i32 [ 0, %.preheader62.lr.ph.split.us ], [ %63, %.loopexit90 ]
  %45 = phi i32 [ 0, %.preheader62.lr.ph.split.us ], [ %62, %.loopexit90 ]
  br label %46

46:                                               ; preds = %.preheader62.us, %._crit_edge67.us
  %indvars.iv103 = phi i64 [ 0, %.preheader62.us ], [ %indvars.iv.next104, %._crit_edge67.us ]
  %47 = getelementptr inbounds [15 x i32], ptr @linertia_conds, i64 0, i64 %indvars.iv103
  %48 = load i32, ptr %47, align 4, !tbaa !9
  %49 = sext i32 %48 to i64
  %50 = getelementptr inbounds %struct._Fact, ptr %43, i64 %49
  %51 = load i32, ptr %50, align 4, !tbaa !14
  %52 = sext i32 %51 to i64
  %53 = getelementptr inbounds [50 x i32], ptr @garity, i64 0, i64 %52
  %54 = load i32, ptr %53, align 4, !tbaa !9
  %55 = icmp sgt i32 %54, 0
  br i1 %55, label %.lr.ph66.us.preheader, label %._crit_edge67.us

.lr.ph66.us.preheader:                            ; preds = %46
  %wide.trip.count = zext nneg i32 %54 to i64
  br label %.lr.ph66.us

56:                                               ; preds = %.lr.ph66.us
  %indvars.iv.next100 = add nuw nsw i64 %indvars.iv99, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next100, %wide.trip.count
  br i1 %exitcond.not, label %._crit_edge67.us, label %.lr.ph66.us, !llvm.loop !20

._crit_edge67.us:                                 ; preds = %56, %46
  %indvars.iv.next104 = add nuw nsw i64 %indvars.iv103, 1
  %exitcond108.not = icmp eq i64 %indvars.iv.next104, %wide.trip.count107
  br i1 %exitcond108.not, label %..thread60.loopexit_crit_edge.us, label %46, !llvm.loop !21

.lr.ph66.us:                                      ; preds = %.lr.ph66.us.preheader, %56
  %indvars.iv99 = phi i64 [ 0, %.lr.ph66.us.preheader ], [ %indvars.iv.next100, %56 ]
  %57 = getelementptr inbounds %struct._Fact, ptr %43, i64 %49, i32 1, i64 %indvars.iv99
  %58 = load i32, ptr %57, align 4, !tbaa !9
  %59 = xor i32 %58, %.15270.us
  %60 = icmp eq i32 %59, -1
  br i1 %60, label %.loopexit90, label %56

.loopexit90:                                      ; preds = %.lr.ph66.us, %..thread60.loopexit_crit_edge.us
  %61 = phi i32 [ %.pre125, %..thread60.loopexit_crit_edge.us ], [ %44, %.lr.ph66.us ]
  %62 = phi i32 [ %65, %..thread60.loopexit_crit_edge.us ], [ %45, %.lr.ph66.us ]
  %63 = add nuw nsw i32 %.15270.us, 1
  %64 = icmp slt i32 %63, %61
  br i1 %64, label %.preheader62.us, label %._crit_edge72, !llvm.loop !22

..thread60.loopexit_crit_edge.us:                 ; preds = %._crit_edge67.us
  %65 = add nsw i32 %45, 1
  store i32 %65, ptr @lnum_multiply_parameters, align 4, !tbaa !9
  %66 = sext i32 %45 to i64
  %67 = getelementptr inbounds [15 x i32], ptr @lmultiply_parameters, i64 0, i64 %66
  store i32 %.15270.us, ptr %67, align 4, !tbaa !9
  %.pre125 = load i32, ptr %34, align 8, !tbaa !19
  br label %.loopexit90

.preheader62:                                     ; preds = %.preheader62.preheader, %.preheader62
  %indvars.iv94 = phi i64 [ 0, %.preheader62.preheader ], [ %indvars.iv.next95, %.preheader62 ]
  %indvars96 = trunc i64 %indvars.iv94 to i32
  %indvars.iv.next95 = add nuw nsw i64 %indvars.iv94, 1
  %indvars = trunc i64 %indvars.iv.next95 to i32
  %68 = getelementptr inbounds [15 x i32], ptr @lmultiply_parameters, i64 0, i64 %indvars.iv94
  store i32 %indvars96, ptr %68, align 4, !tbaa !9
  %69 = load i32, ptr %41, align 8, !tbaa !19
  %70 = icmp sgt i32 %69, %indvars
  br i1 %70, label %.preheader62, label %._crit_edge72.split, !llvm.loop !22

._crit_edge72.split:                              ; preds = %.preheader62
  store i32 %indvars, ptr @lnum_multiply_parameters, align 4, !tbaa !9
  br label %._crit_edge72

._crit_edge72:                                    ; preds = %.loopexit90, %._crit_edge.thread, %._crit_edge72.split, %._crit_edge
  tail call void @unify_easy_inertia_preconds(i32 noundef 0)
  %indvars.iv.next110 = add nuw nsw i64 %indvars.iv109, 1
  %71 = load i32, ptr @gnum_easy_operators, align 4, !tbaa !9
  %72 = sext i32 %71 to i64
  %73 = icmp slt i64 %indvars.iv.next110, %72
  br i1 %73, label %.lr.ph76, label %.preheader61, !llvm.loop !23

74:                                               ; preds = %.lr.ph88, %._crit_edge86
  %75 = phi i32 [ %71, %.lr.ph88 ], [ %121, %._crit_edge86 ]
  %indvars.iv121 = phi i64 [ 0, %.lr.ph88 ], [ %indvars.iv.next122, %._crit_edge86 ]
  %76 = getelementptr inbounds ptr, ptr %4, i64 %indvars.iv121
  %77 = load ptr, ptr %76, align 8, !tbaa !5
  %78 = getelementptr inbounds i8, ptr %77, i64 264
  %79 = load i32, ptr %78, align 8, !tbaa !11
  %80 = icmp sgt i32 %79, 0
  br i1 %80, label %.lr.ph85, label %._crit_edge86

.lr.ph85:                                         ; preds = %74
  %81 = getelementptr inbounds i8, ptr %77, i64 256
  %82 = load ptr, ptr %81, align 8, !tbaa !13
  br label %83

83:                                               ; preds = %.lr.ph85, %118
  %84 = phi i32 [ %79, %.lr.ph85 ], [ %119, %118 ]
  %.283 = phi i32 [ 0, %.lr.ph85 ], [ %.3, %118 ]
  %85 = sext i32 %.283 to i64
  %86 = getelementptr inbounds %struct._Fact, ptr %82, i64 %85
  %87 = load i32, ptr %86, align 4, !tbaa !14
  %88 = sext i32 %87 to i64
  %89 = getelementptr inbounds [50 x i8], ptr @gis_added, i64 0, i64 %88
  %90 = load i8, ptr %89, align 1, !tbaa !16
  %.not = icmp eq i8 %90, 0
  br i1 %.not, label %91, label %116

91:                                               ; preds = %83
  %92 = getelementptr inbounds [50 x i8], ptr @gis_deleted, i64 0, i64 %88
  %93 = load i8, ptr %92, align 1, !tbaa !16
  %.not57 = icmp eq i8 %93, 0
  br i1 %.not57, label %.preheader, label %116

.preheader:                                       ; preds = %91
  %94 = add nsw i32 %84, -1
  %95 = icmp slt i32 %.283, %94
  br i1 %95, label %.lr.ph81, label %._crit_edge82

.loopexit.loopexit:                               ; preds = %109
  %.pre126 = load i32, ptr %78, align 8, !tbaa !11
  br label %.loopexit

.loopexit:                                        ; preds = %.loopexit.loopexit, %.lr.ph81
  %96 = phi i32 [ %.pre126, %.loopexit.loopexit ], [ %100, %.lr.ph81 ]
  %97 = add nsw i32 %96, -1
  %98 = sext i32 %97 to i64
  %99 = icmp slt i64 %indvars.iv.next118, %98
  br i1 %99, label %.lr.ph81, label %._crit_edge82, !llvm.loop !24

.lr.ph81:                                         ; preds = %.preheader, %.loopexit
  %100 = phi i32 [ %96, %.loopexit ], [ %84, %.preheader ]
  %indvars.iv117 = phi i64 [ %indvars.iv.next118, %.loopexit ], [ %85, %.preheader ]
  %indvars.iv.next118 = add nsw i64 %indvars.iv117, 1
  %101 = getelementptr inbounds %struct._Fact, ptr %82, i64 %indvars.iv.next118
  %102 = load i32, ptr %101, align 4, !tbaa !14
  %103 = getelementptr inbounds %struct._Fact, ptr %82, i64 %indvars.iv117
  store i32 %102, ptr %103, align 4, !tbaa !14
  %104 = sext i32 %102 to i64
  %105 = getelementptr inbounds [50 x i32], ptr @garity, i64 0, i64 %104
  %106 = load i32, ptr %105, align 4, !tbaa !9
  %107 = icmp sgt i32 %106, 0
  br i1 %107, label %.lr.ph79, label %.loopexit

.lr.ph79:                                         ; preds = %.lr.ph81
  %108 = getelementptr inbounds i8, ptr %103, i64 4
  br label %109

109:                                              ; preds = %.lr.ph79, %109
  %indvars.iv113 = phi i64 [ 0, %.lr.ph79 ], [ %indvars.iv.next114, %109 ]
  %110 = getelementptr inbounds %struct._Fact, ptr %82, i64 %indvars.iv.next118, i32 1, i64 %indvars.iv113
  %111 = load i32, ptr %110, align 4, !tbaa !9
  %112 = getelementptr inbounds [5 x i32], ptr %108, i64 0, i64 %indvars.iv113
  store i32 %111, ptr %112, align 4, !tbaa !9
  %indvars.iv.next114 = add nuw nsw i64 %indvars.iv113, 1
  %113 = load i32, ptr %105, align 4, !tbaa !9
  %114 = sext i32 %113 to i64
  %115 = icmp slt i64 %indvars.iv.next114, %114
  br i1 %115, label %109, label %.loopexit.loopexit, !llvm.loop !25

._crit_edge82:                                    ; preds = %.loopexit, %.preheader
  %.lcssa = phi i32 [ %94, %.preheader ], [ %97, %.loopexit ]
  store i32 %.lcssa, ptr %78, align 8, !tbaa !11
  br label %118

116:                                              ; preds = %91, %83
  %117 = add nsw i32 %.283, 1
  br label %118

118:                                              ; preds = %116, %._crit_edge82
  %119 = phi i32 [ %84, %116 ], [ %.lcssa, %._crit_edge82 ]
  %.3 = phi i32 [ %117, %116 ], [ %.283, %._crit_edge82 ]
  %120 = icmp slt i32 %.3, %119
  br i1 %120, label %83, label %._crit_edge86.loopexit, !llvm.loop !26

._crit_edge86.loopexit:                           ; preds = %118
  %.pre127 = load i32, ptr @gnum_easy_operators, align 4, !tbaa !9
  br label %._crit_edge86

._crit_edge86:                                    ; preds = %._crit_edge86.loopexit, %74
  %121 = phi i32 [ %.pre127, %._crit_edge86.loopexit ], [ %75, %74 ]
  %indvars.iv.next122 = add nuw nsw i64 %indvars.iv121, 1
  %122 = sext i32 %121 to i64
  %123 = icmp slt i64 %indvars.iv.next122, %122
  br i1 %123, label %74, label %._crit_edge89, !llvm.loop !27

._crit_edge89:                                    ; preds = %._crit_edge86, %0, %.preheader61
  ret void
}

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

attributes #0 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }

!llvm.module.flags = !{!0, !1, !2, !3}
!llvm.ident = !{!4}

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = !{!12, !10, i64 264}
!12 = !{!"_NormOperator", !6, i64 0, !10, i64 8, !7, i64 12, !7, i64 72, !7, i64 132, !10, i64 192, !7, i64 196, !6, i64 256, !10, i64 264, !6, i64 272, !6, i64 280, !6, i64 288, !10, i64 296, !6, i64 304, !7, i64 312}
!13 = !{!12, !6, i64 256}
!14 = !{!15, !10, i64 0}
!15 = !{!"_Fact", !10, i64 0, !7, i64 4}
!16 = !{!7, !7, i64 0}
!17 = distinct !{!17, !18}
!18 = !{!"llvm.loop.mustprogress"}
!19 = !{!12, !10, i64 8}
!20 = distinct !{!20, !18}
!21 = distinct !{!21, !18}
!22 = distinct !{!22, !18}
!23 = distinct !{!23, !18}
!24 = distinct !{!24, !18}
!25 = distinct !{!25, !18}
!26 = distinct !{!26, !18}
!27 = distinct !{!27, !18}


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