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

; 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._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._ActionEffect = type { ptr, i32, ptr, i32, ptr, i32, ptr, ptr, ptr, i32, ptr, ptr, ptr, i32, ptr, ptr, ptr, i32, ptr, ptr, ptr, i32, i8, i8, float }

@gactions = external global ptr, align 8
@gnum_relevant_facts = external global i32, align 4
@lA = external dso_local global ptr, align 8
@lD = external dso_local global ptr, align 8
@lnum_A = external dso_local global i32, align 4
@lnum_D = external dso_local global i32, align 4

; Function Attrs: nounwind uwtable
define dso_local void @summarize_effects() #0 {
  %1 = alloca ptr, align 8
  %2 = alloca ptr, align 8
  %3 = alloca ptr, align 8
  %4 = alloca i32, align 4
  %5 = alloca i32, align 4
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  call void @llvm.lifetime.start.p0(i64 8, ptr %1) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %2) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %3) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %4) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %5) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #4
  %8 = load i32, ptr @gnum_relevant_facts, align 4, !tbaa !5
  %9 = sext i32 %8 to i64
  %10 = call noalias ptr @calloc(i64 noundef %9, i64 noundef 4) #5
  store ptr %10, ptr @lA, align 8, !tbaa !9
  %11 = load i32, ptr @gnum_relevant_facts, align 4, !tbaa !5
  %12 = sext i32 %11 to i64
  %13 = call noalias ptr @calloc(i64 noundef %12, i64 noundef 4) #5
  store ptr %13, ptr @lD, align 8, !tbaa !9
  %14 = load ptr, ptr @gactions, align 8, !tbaa !9
  store ptr %14, ptr %1, align 8, !tbaa !9
  br label %15

15:                                               ; preds = %469, %0
  %16 = load ptr, ptr %1, align 8, !tbaa !9
  %17 = icmp ne ptr %16, null
  br i1 %17, label %18, label %473

18:                                               ; preds = %15
  store i32 0, ptr %4, align 4, !tbaa !5
  br label %19

19:                                               ; preds = %462, %36, %18
  %20 = load i32, ptr %4, align 4, !tbaa !5
  %21 = load ptr, ptr %1, align 8, !tbaa !9
  %22 = getelementptr inbounds %struct._Action, ptr %21, i32 0, i32 18
  %23 = load i32, ptr %22, align 8, !tbaa !11
  %24 = icmp slt i32 %20, %23
  br i1 %24, label %25, label %468

25:                                               ; preds = %19
  %26 = load ptr, ptr %1, align 8, !tbaa !9
  %27 = getelementptr inbounds %struct._Action, ptr %26, i32 0, i32 17
  %28 = load ptr, ptr %27, align 8, !tbaa !13
  %29 = load i32, ptr %4, align 4, !tbaa !5
  %30 = sext i32 %29 to i64
  %31 = getelementptr inbounds %struct._ActionEffect, ptr %28, i64 %30
  store ptr %31, ptr %2, align 8, !tbaa !9
  %32 = load ptr, ptr %2, align 8, !tbaa !9
  %33 = getelementptr inbounds %struct._ActionEffect, ptr %32, i32 0, i32 23
  %34 = load i8, ptr %33, align 1, !tbaa !14
  %35 = icmp ne i8 %34, 0
  br i1 %35, label %36, label %39

36:                                               ; preds = %25
  %37 = load i32, ptr %4, align 4, !tbaa !5
  %38 = add nsw i32 %37, 1
  store i32 %38, ptr %4, align 4, !tbaa !5
  br label %19, !llvm.loop !17

39:                                               ; preds = %25
  store i32 0, ptr @lnum_A, align 4, !tbaa !5
  store i32 0, ptr %5, align 4, !tbaa !5
  br label %40

40:                                               ; preds = %88, %39
  %41 = load i32, ptr %5, align 4, !tbaa !5
  %42 = load ptr, ptr %2, align 8, !tbaa !9
  %43 = getelementptr inbounds %struct._ActionEffect, ptr %42, i32 0, i32 3
  %44 = load i32, ptr %43, align 8, !tbaa !19
  %45 = icmp slt i32 %41, %44
  br i1 %45, label %46, label %91

46:                                               ; preds = %40
  store i32 0, ptr %6, align 4, !tbaa !5
  br label %47

47:                                               ; preds = %67, %46
  %48 = load i32, ptr %6, align 4, !tbaa !5
  %49 = load i32, ptr @lnum_A, align 4, !tbaa !5
  %50 = icmp slt i32 %48, %49
  br i1 %50, label %51, label %70

51:                                               ; preds = %47
  %52 = load ptr, ptr @lA, align 8, !tbaa !9
  %53 = load i32, ptr %6, align 4, !tbaa !5
  %54 = sext i32 %53 to i64
  %55 = getelementptr inbounds i32, ptr %52, i64 %54
  %56 = load i32, ptr %55, align 4, !tbaa !5
  %57 = load ptr, ptr %2, align 8, !tbaa !9
  %58 = getelementptr inbounds %struct._ActionEffect, ptr %57, i32 0, i32 2
  %59 = load ptr, ptr %58, align 8, !tbaa !20
  %60 = load i32, ptr %5, align 4, !tbaa !5
  %61 = sext i32 %60 to i64
  %62 = getelementptr inbounds i32, ptr %59, i64 %61
  %63 = load i32, ptr %62, align 4, !tbaa !5
  %64 = icmp eq i32 %56, %63
  br i1 %64, label %65, label %66

65:                                               ; preds = %51
  br label %70

66:                                               ; preds = %51
  br label %67

67:                                               ; preds = %66
  %68 = load i32, ptr %6, align 4, !tbaa !5
  %69 = add nsw i32 %68, 1
  store i32 %69, ptr %6, align 4, !tbaa !5
  br label %47, !llvm.loop !21

70:                                               ; preds = %65, %47
  %71 = load i32, ptr %6, align 4, !tbaa !5
  %72 = load i32, ptr @lnum_A, align 4, !tbaa !5
  %73 = icmp slt i32 %71, %72
  br i1 %73, label %74, label %75

74:                                               ; preds = %70
  br label %88

75:                                               ; preds = %70
  %76 = load ptr, ptr %2, align 8, !tbaa !9
  %77 = getelementptr inbounds %struct._ActionEffect, ptr %76, i32 0, i32 2
  %78 = load ptr, ptr %77, align 8, !tbaa !20
  %79 = load i32, ptr %5, align 4, !tbaa !5
  %80 = sext i32 %79 to i64
  %81 = getelementptr inbounds i32, ptr %78, i64 %80
  %82 = load i32, ptr %81, align 4, !tbaa !5
  %83 = load ptr, ptr @lA, align 8, !tbaa !9
  %84 = load i32, ptr @lnum_A, align 4, !tbaa !5
  %85 = add nsw i32 %84, 1
  store i32 %85, ptr @lnum_A, align 4, !tbaa !5
  %86 = sext i32 %84 to i64
  %87 = getelementptr inbounds i32, ptr %83, i64 %86
  store i32 %82, ptr %87, align 4, !tbaa !5
  br label %88

88:                                               ; preds = %75, %74
  %89 = load i32, ptr %5, align 4, !tbaa !5
  %90 = add nsw i32 %89, 1
  store i32 %90, ptr %5, align 4, !tbaa !5
  br label %40, !llvm.loop !22

91:                                               ; preds = %40
  store i32 0, ptr @lnum_D, align 4, !tbaa !5
  store i32 0, ptr %5, align 4, !tbaa !5
  br label %92

92:                                               ; preds = %140, %91
  %93 = load i32, ptr %5, align 4, !tbaa !5
  %94 = load ptr, ptr %2, align 8, !tbaa !9
  %95 = getelementptr inbounds %struct._ActionEffect, ptr %94, i32 0, i32 5
  %96 = load i32, ptr %95, align 8, !tbaa !23
  %97 = icmp slt i32 %93, %96
  br i1 %97, label %98, label %143

98:                                               ; preds = %92
  store i32 0, ptr %6, align 4, !tbaa !5
  br label %99

99:                                               ; preds = %119, %98
  %100 = load i32, ptr %6, align 4, !tbaa !5
  %101 = load i32, ptr @lnum_D, align 4, !tbaa !5
  %102 = icmp slt i32 %100, %101
  br i1 %102, label %103, label %122

103:                                              ; preds = %99
  %104 = load ptr, ptr @lD, align 8, !tbaa !9
  %105 = load i32, ptr %6, align 4, !tbaa !5
  %106 = sext i32 %105 to i64
  %107 = getelementptr inbounds i32, ptr %104, i64 %106
  %108 = load i32, ptr %107, align 4, !tbaa !5
  %109 = load ptr, ptr %2, align 8, !tbaa !9
  %110 = getelementptr inbounds %struct._ActionEffect, ptr %109, i32 0, i32 4
  %111 = load ptr, ptr %110, align 8, !tbaa !24
  %112 = load i32, ptr %5, align 4, !tbaa !5
  %113 = sext i32 %112 to i64
  %114 = getelementptr inbounds i32, ptr %111, i64 %113
  %115 = load i32, ptr %114, align 4, !tbaa !5
  %116 = icmp eq i32 %108, %115
  br i1 %116, label %117, label %118

117:                                              ; preds = %103
  br label %122

118:                                              ; preds = %103
  br label %119

119:                                              ; preds = %118
  %120 = load i32, ptr %6, align 4, !tbaa !5
  %121 = add nsw i32 %120, 1
  store i32 %121, ptr %6, align 4, !tbaa !5
  br label %99, !llvm.loop !25

122:                                              ; preds = %117, %99
  %123 = load i32, ptr %6, align 4, !tbaa !5
  %124 = load i32, ptr @lnum_D, align 4, !tbaa !5
  %125 = icmp slt i32 %123, %124
  br i1 %125, label %126, label %127

126:                                              ; preds = %122
  br label %140

127:                                              ; preds = %122
  %128 = load ptr, ptr %2, align 8, !tbaa !9
  %129 = getelementptr inbounds %struct._ActionEffect, ptr %128, i32 0, i32 4
  %130 = load ptr, ptr %129, align 8, !tbaa !24
  %131 = load i32, ptr %5, align 4, !tbaa !5
  %132 = sext i32 %131 to i64
  %133 = getelementptr inbounds i32, ptr %130, i64 %132
  %134 = load i32, ptr %133, align 4, !tbaa !5
  %135 = load ptr, ptr @lD, align 8, !tbaa !9
  %136 = load i32, ptr @lnum_D, align 4, !tbaa !5
  %137 = add nsw i32 %136, 1
  store i32 %137, ptr @lnum_D, align 4, !tbaa !5
  %138 = sext i32 %136 to i64
  %139 = getelementptr inbounds i32, ptr %135, i64 %138
  store i32 %134, ptr %139, align 4, !tbaa !5
  br label %140

140:                                              ; preds = %127, %126
  %141 = load i32, ptr %5, align 4, !tbaa !5
  %142 = add nsw i32 %141, 1
  store i32 %142, ptr %5, align 4, !tbaa !5
  br label %92, !llvm.loop !26

143:                                              ; preds = %92
  store i32 0, ptr %5, align 4, !tbaa !5
  br label %144

144:                                              ; preds = %318, %143
  %145 = load i32, ptr %5, align 4, !tbaa !5
  %146 = load ptr, ptr %2, align 8, !tbaa !9
  %147 = getelementptr inbounds %struct._ActionEffect, ptr %146, i32 0, i32 21
  %148 = load i32, ptr %147, align 8, !tbaa !27
  %149 = icmp slt i32 %145, %148
  br i1 %149, label %150, label %321

150:                                              ; preds = %144
  %151 = load i32, ptr %5, align 4, !tbaa !5
  %152 = add nsw i32 %151, 1
  store i32 %152, ptr %6, align 4, !tbaa !5
  br label %153

153:                                              ; preds = %306, %175, %150
  %154 = load i32, ptr %6, align 4, !tbaa !5
  %155 = load ptr, ptr %2, align 8, !tbaa !9
  %156 = getelementptr inbounds %struct._ActionEffect, ptr %155, i32 0, i32 21
  %157 = load i32, ptr %156, align 8, !tbaa !27
  %158 = icmp slt i32 %154, %157
  br i1 %158, label %159, label %311

159:                                              ; preds = %153
  %160 = load ptr, ptr %2, align 8, !tbaa !9
  %161 = getelementptr inbounds %struct._ActionEffect, ptr %160, i32 0, i32 19
  %162 = load ptr, ptr %161, align 8, !tbaa !28
  %163 = load i32, ptr %6, align 4, !tbaa !5
  %164 = sext i32 %163 to i64
  %165 = getelementptr inbounds i32, ptr %162, i64 %164
  %166 = load i32, ptr %165, align 4, !tbaa !5
  %167 = load ptr, ptr %2, align 8, !tbaa !9
  %168 = getelementptr inbounds %struct._ActionEffect, ptr %167, i32 0, i32 19
  %169 = load ptr, ptr %168, align 8, !tbaa !28
  %170 = load i32, ptr %5, align 4, !tbaa !5
  %171 = sext i32 %170 to i64
  %172 = getelementptr inbounds i32, ptr %169, i64 %171
  %173 = load i32, ptr %172, align 4, !tbaa !5
  %174 = icmp ne i32 %166, %173
  br i1 %174, label %175, label %178

175:                                              ; preds = %159
  %176 = load i32, ptr %6, align 4, !tbaa !5
  %177 = add nsw i32 %176, 1
  store i32 %177, ptr %6, align 4, !tbaa !5
  br label %153, !llvm.loop !29

178:                                              ; preds = %159
  %179 = load ptr, ptr %2, align 8, !tbaa !9
  %180 = getelementptr inbounds %struct._ActionEffect, ptr %179, i32 0, i32 18
  %181 = load ptr, ptr %180, align 8, !tbaa !30
  %182 = load i32, ptr %5, align 4, !tbaa !5
  %183 = sext i32 %182 to i64
  %184 = getelementptr inbounds i32, ptr %181, i64 %183
  %185 = load i32, ptr %184, align 4, !tbaa !5
  %186 = icmp eq i32 %185, 4000
  br i1 %186, label %187, label %217

187:                                              ; preds = %178
  %188 = load ptr, ptr %2, align 8, !tbaa !9
  %189 = getelementptr inbounds %struct._ActionEffect, ptr %188, i32 0, i32 18
  %190 = load ptr, ptr %189, align 8, !tbaa !30
  %191 = load i32, ptr %6, align 4, !tbaa !5
  %192 = sext i32 %191 to i64
  %193 = getelementptr inbounds i32, ptr %190, i64 %192
  %194 = load i32, ptr %193, align 4, !tbaa !5
  %195 = icmp ne i32 %194, 4000
  br i1 %195, label %213, label %196

196:                                              ; preds = %187
  %197 = load ptr, ptr %2, align 8, !tbaa !9
  %198 = getelementptr inbounds %struct._ActionEffect, ptr %197, i32 0, i32 20
  %199 = load ptr, ptr %198, align 8, !tbaa !31
  %200 = load i32, ptr %5, align 4, !tbaa !5
  %201 = sext i32 %200 to i64
  %202 = getelementptr inbounds ptr, ptr %199, i64 %201
  %203 = load ptr, ptr %202, align 8, !tbaa !9
  %204 = load ptr, ptr %2, align 8, !tbaa !9
  %205 = getelementptr inbounds %struct._ActionEffect, ptr %204, i32 0, i32 20
  %206 = load ptr, ptr %205, align 8, !tbaa !31
  %207 = load i32, ptr %6, align 4, !tbaa !5
  %208 = sext i32 %207 to i64
  %209 = getelementptr inbounds ptr, ptr %206, i64 %208
  %210 = load ptr, ptr %209, align 8, !tbaa !9
  %211 = call zeroext i8 @same_lnfs(ptr noundef %203, ptr noundef %210)
  %212 = icmp ne i8 %211, 0
  br i1 %212, label %216, label %213

213:                                              ; preds = %196, %187
  %214 = load ptr, ptr %2, align 8, !tbaa !9
  %215 = getelementptr inbounds %struct._ActionEffect, ptr %214, i32 0, i32 22
  store i8 1, ptr %215, align 4, !tbaa !32
  br label %311

216:                                              ; preds = %196
  br label %244

217:                                              ; preds = %178
  %218 = load ptr, ptr %2, align 8, !tbaa !9
  %219 = getelementptr inbounds %struct._ActionEffect, ptr %218, i32 0, i32 18
  %220 = load ptr, ptr %219, align 8, !tbaa !30
  %221 = load i32, ptr %6, align 4, !tbaa !5
  %222 = sext i32 %221 to i64
  %223 = getelementptr inbounds i32, ptr %220, i64 %222
  %224 = load i32, ptr %223, align 4, !tbaa !5
  %225 = icmp eq i32 %224, 4000
  br i1 %225, label %226, label %229

226:                                              ; preds = %217
  %227 = load ptr, ptr %2, align 8, !tbaa !9
  %228 = getelementptr inbounds %struct._ActionEffect, ptr %227, i32 0, i32 22
  store i8 1, ptr %228, align 4, !tbaa !32
  br label %311

229:                                              ; preds = %217
  %230 = load ptr, ptr %2, align 8, !tbaa !9
  %231 = getelementptr inbounds %struct._ActionEffect, ptr %230, i32 0, i32 20
  %232 = load ptr, ptr %231, align 8, !tbaa !31
  %233 = load i32, ptr %5, align 4, !tbaa !5
  %234 = sext i32 %233 to i64
  %235 = getelementptr inbounds ptr, ptr %232, i64 %234
  %236 = load ptr, ptr %235, align 8, !tbaa !9
  %237 = load ptr, ptr %2, align 8, !tbaa !9
  %238 = getelementptr inbounds %struct._ActionEffect, ptr %237, i32 0, i32 20
  %239 = load ptr, ptr %238, align 8, !tbaa !31
  %240 = load i32, ptr %6, align 4, !tbaa !5
  %241 = sext i32 %240 to i64
  %242 = getelementptr inbounds ptr, ptr %239, i64 %241
  %243 = load ptr, ptr %242, align 8, !tbaa !9
  call void @merge_lnfs(ptr noundef %236, ptr noundef %243)
  br label %244

244:                                              ; preds = %229, %216
  %245 = load ptr, ptr %2, align 8, !tbaa !9
  %246 = getelementptr inbounds %struct._ActionEffect, ptr %245, i32 0, i32 20
  %247 = load ptr, ptr %246, align 8, !tbaa !31
  %248 = load i32, ptr %6, align 4, !tbaa !5
  %249 = sext i32 %248 to i64
  %250 = getelementptr inbounds ptr, ptr %247, i64 %249
  %251 = load ptr, ptr %250, align 8, !tbaa !9
  call void @free(ptr noundef %251) #4
  %252 = load i32, ptr %6, align 4, !tbaa !5
  store i32 %252, ptr %7, align 4, !tbaa !5
  br label %253

253:                                              ; preds = %303, %244
  %254 = load i32, ptr %7, align 4, !tbaa !5
  %255 = load ptr, ptr %2, align 8, !tbaa !9
  %256 = getelementptr inbounds %struct._ActionEffect, ptr %255, i32 0, i32 21
  %257 = load i32, ptr %256, align 8, !tbaa !27
  %258 = sub nsw i32 %257, 1
  %259 = icmp slt i32 %254, %258
  br i1 %259, label %260, label %306

260:                                              ; preds = %253
  %261 = load ptr, ptr %2, align 8, !tbaa !9
  %262 = getelementptr inbounds %struct._ActionEffect, ptr %261, i32 0, i32 18
  %263 = load ptr, ptr %262, align 8, !tbaa !30
  %264 = load i32, ptr %7, align 4, !tbaa !5
  %265 = add nsw i32 %264, 1
  %266 = sext i32 %265 to i64
  %267 = getelementptr inbounds i32, ptr %263, i64 %266
  %268 = load i32, ptr %267, align 4, !tbaa !5
  %269 = load ptr, ptr %2, align 8, !tbaa !9
  %270 = getelementptr inbounds %struct._ActionEffect, ptr %269, i32 0, i32 18
  %271 = load ptr, ptr %270, align 8, !tbaa !30
  %272 = load i32, ptr %7, align 4, !tbaa !5
  %273 = sext i32 %272 to i64
  %274 = getelementptr inbounds i32, ptr %271, i64 %273
  store i32 %268, ptr %274, align 4, !tbaa !5
  %275 = load ptr, ptr %2, align 8, !tbaa !9
  %276 = getelementptr inbounds %struct._ActionEffect, ptr %275, i32 0, i32 19
  %277 = load ptr, ptr %276, align 8, !tbaa !28
  %278 = load i32, ptr %7, align 4, !tbaa !5
  %279 = add nsw i32 %278, 1
  %280 = sext i32 %279 to i64
  %281 = getelementptr inbounds i32, ptr %277, i64 %280
  %282 = load i32, ptr %281, align 4, !tbaa !5
  %283 = load ptr, ptr %2, align 8, !tbaa !9
  %284 = getelementptr inbounds %struct._ActionEffect, ptr %283, i32 0, i32 19
  %285 = load ptr, ptr %284, align 8, !tbaa !28
  %286 = load i32, ptr %7, align 4, !tbaa !5
  %287 = sext i32 %286 to i64
  %288 = getelementptr inbounds i32, ptr %285, i64 %287
  store i32 %282, ptr %288, align 4, !tbaa !5
  %289 = load ptr, ptr %2, align 8, !tbaa !9
  %290 = getelementptr inbounds %struct._ActionEffect, ptr %289, i32 0, i32 20
  %291 = load ptr, ptr %290, align 8, !tbaa !31
  %292 = load i32, ptr %7, align 4, !tbaa !5
  %293 = add nsw i32 %292, 1
  %294 = sext i32 %293 to i64
  %295 = getelementptr inbounds ptr, ptr %291, i64 %294
  %296 = load ptr, ptr %295, align 8, !tbaa !9
  %297 = load ptr, ptr %2, align 8, !tbaa !9
  %298 = getelementptr inbounds %struct._ActionEffect, ptr %297, i32 0, i32 20
  %299 = load ptr, ptr %298, align 8, !tbaa !31
  %300 = load i32, ptr %7, align 4, !tbaa !5
  %301 = sext i32 %300 to i64
  %302 = getelementptr inbounds ptr, ptr %299, i64 %301
  store ptr %296, ptr %302, align 8, !tbaa !9
  br label %303

303:                                              ; preds = %260
  %304 = load i32, ptr %7, align 4, !tbaa !5
  %305 = add nsw i32 %304, 1
  store i32 %305, ptr %7, align 4, !tbaa !5
  br label %253, !llvm.loop !33

306:                                              ; preds = %253
  %307 = load ptr, ptr %2, align 8, !tbaa !9
  %308 = getelementptr inbounds %struct._ActionEffect, ptr %307, i32 0, i32 21
  %309 = load i32, ptr %308, align 8, !tbaa !27
  %310 = add nsw i32 %309, -1
  store i32 %310, ptr %308, align 8, !tbaa !27
  br label %153, !llvm.loop !29

311:                                              ; preds = %226, %213, %153
  %312 = load i32, ptr %6, align 4, !tbaa !5
  %313 = load ptr, ptr %2, align 8, !tbaa !9
  %314 = getelementptr inbounds %struct._ActionEffect, ptr %313, i32 0, i32 21
  %315 = load i32, ptr %314, align 8, !tbaa !27
  %316 = icmp slt i32 %312, %315
  br i1 %316, label %317, label %318

317:                                              ; preds = %311
  br label %321

318:                                              ; preds = %311
  %319 = load i32, ptr %5, align 4, !tbaa !5
  %320 = add nsw i32 %319, 1
  store i32 %320, ptr %5, align 4, !tbaa !5
  br label %144, !llvm.loop !34

321:                                              ; preds = %317, %144
  %322 = load i32, ptr %4, align 4, !tbaa !5
  %323 = add nsw i32 %322, 1
  store i32 %323, ptr %5, align 4, !tbaa !5
  br label %324

324:                                              ; preds = %386, %349, %341, %321
  %325 = load i32, ptr %5, align 4, !tbaa !5
  %326 = load ptr, ptr %1, align 8, !tbaa !9
  %327 = getelementptr inbounds %struct._Action, ptr %326, i32 0, i32 18
  %328 = load i32, ptr %327, align 8, !tbaa !11
  %329 = icmp slt i32 %325, %328
  br i1 %329, label %330, label %389

330:                                              ; preds = %324
  %331 = load ptr, ptr %1, align 8, !tbaa !9
  %332 = getelementptr inbounds %struct._Action, ptr %331, i32 0, i32 17
  %333 = load ptr, ptr %332, align 8, !tbaa !13
  %334 = load i32, ptr %5, align 4, !tbaa !5
  %335 = sext i32 %334 to i64
  %336 = getelementptr inbounds %struct._ActionEffect, ptr %333, i64 %335
  store ptr %336, ptr %3, align 8, !tbaa !9
  %337 = load ptr, ptr %3, align 8, !tbaa !9
  %338 = getelementptr inbounds %struct._ActionEffect, ptr %337, i32 0, i32 23
  %339 = load i8, ptr %338, align 1, !tbaa !14
  %340 = icmp ne i8 %339, 0
  br i1 %340, label %341, label %344

341:                                              ; preds = %330
  %342 = load i32, ptr %5, align 4, !tbaa !5
  %343 = add nsw i32 %342, 1
  store i32 %343, ptr %5, align 4, !tbaa !5
  br label %324, !llvm.loop !35

344:                                              ; preds = %330
  %345 = load ptr, ptr %2, align 8, !tbaa !9
  %346 = load ptr, ptr %3, align 8, !tbaa !9
  %347 = call zeroext i8 @same_condition(ptr noundef %345, ptr noundef %346)
  %348 = icmp ne i8 %347, 0
  br i1 %348, label %352, label %349

349:                                              ; preds = %344
  %350 = load i32, ptr %5, align 4, !tbaa !5
  %351 = add nsw i32 %350, 1
  store i32 %351, ptr %5, align 4, !tbaa !5
  br label %324, !llvm.loop !35

352:                                              ; preds = %344
  %353 = load ptr, ptr %3, align 8, !tbaa !9
  %354 = getelementptr inbounds %struct._ActionEffect, ptr %353, i32 0, i32 23
  store i8 1, ptr %354, align 1, !tbaa !14
  %355 = load ptr, ptr %3, align 8, !tbaa !9
  %356 = getelementptr inbounds %struct._ActionEffect, ptr %355, i32 0, i32 22
  %357 = load i8, ptr %356, align 4, !tbaa !32
  %358 = icmp ne i8 %357, 0
  br i1 %358, label %359, label %362

359:                                              ; preds = %352
  %360 = load ptr, ptr %2, align 8, !tbaa !9
  %361 = getelementptr inbounds %struct._ActionEffect, ptr %360, i32 0, i32 22
  store i8 1, ptr %361, align 4, !tbaa !32
  br label %362

362:                                              ; preds = %359, %352
  %363 = load ptr, ptr %2, align 8, !tbaa !9
  %364 = getelementptr inbounds %struct._ActionEffect, ptr %363, i32 0, i32 22
  %365 = load i8, ptr %364, align 4, !tbaa !32
  %366 = icmp ne i8 %365, 0
  br i1 %366, label %367, label %370

367:                                              ; preds = %362
  %368 = load ptr, ptr %3, align 8, !tbaa !9
  %369 = getelementptr inbounds %struct._ActionEffect, ptr %368, i32 0, i32 22
  store i8 1, ptr %369, align 4, !tbaa !32
  br label %370

370:                                              ; preds = %367, %362
  %371 = load ptr, ptr %2, align 8, !tbaa !9
  %372 = getelementptr inbounds %struct._ActionEffect, ptr %371, i32 0, i32 22
  %373 = load i8, ptr %372, align 4, !tbaa !32
  %374 = icmp ne i8 %373, 0
  br i1 %374, label %386, label %375

375:                                              ; preds = %370
  %376 = load ptr, ptr %2, align 8, !tbaa !9
  %377 = load ptr, ptr %3, align 8, !tbaa !9
  call void @merge_effects(ptr noundef %376, ptr noundef %377)
  %378 = load ptr, ptr %2, align 8, !tbaa !9
  %379 = getelementptr inbounds %struct._ActionEffect, ptr %378, i32 0, i32 22
  %380 = load i8, ptr %379, align 4, !tbaa !32
  %381 = icmp ne i8 %380, 0
  br i1 %381, label %382, label %385

382:                                              ; preds = %375
  %383 = load ptr, ptr %3, align 8, !tbaa !9
  %384 = getelementptr inbounds %struct._ActionEffect, ptr %383, i32 0, i32 22
  store i8 1, ptr %384, align 4, !tbaa !32
  br label %385

385:                                              ; preds = %382, %375
  br label %386

386:                                              ; preds = %385, %370
  %387 = load i32, ptr %5, align 4, !tbaa !5
  %388 = add nsw i32 %387, 1
  store i32 %388, ptr %5, align 4, !tbaa !5
  br label %324, !llvm.loop !35

389:                                              ; preds = %324
  %390 = load i32, ptr @lnum_A, align 4, !tbaa !5
  %391 = load ptr, ptr %2, align 8, !tbaa !9
  %392 = getelementptr inbounds %struct._ActionEffect, ptr %391, i32 0, i32 3
  %393 = load i32, ptr %392, align 8, !tbaa !19
  %394 = icmp sgt i32 %390, %393
  br i1 %394, label %395, label %404

395:                                              ; preds = %389
  %396 = load ptr, ptr %2, align 8, !tbaa !9
  %397 = getelementptr inbounds %struct._ActionEffect, ptr %396, i32 0, i32 2
  %398 = load ptr, ptr %397, align 8, !tbaa !20
  call void @free(ptr noundef %398) #4
  %399 = load i32, ptr @lnum_A, align 4, !tbaa !5
  %400 = sext i32 %399 to i64
  %401 = call noalias ptr @calloc(i64 noundef %400, i64 noundef 4) #5
  %402 = load ptr, ptr %2, align 8, !tbaa !9
  %403 = getelementptr inbounds %struct._ActionEffect, ptr %402, i32 0, i32 2
  store ptr %401, ptr %403, align 8, !tbaa !20
  br label %404

404:                                              ; preds = %395, %389
  store i32 0, ptr %5, align 4, !tbaa !5
  br label %405

405:                                              ; preds = %421, %404
  %406 = load i32, ptr %5, align 4, !tbaa !5
  %407 = load i32, ptr @lnum_A, align 4, !tbaa !5
  %408 = icmp slt i32 %406, %407
  br i1 %408, label %409, label %424

409:                                              ; preds = %405
  %410 = load ptr, ptr @lA, align 8, !tbaa !9
  %411 = load i32, ptr %5, align 4, !tbaa !5
  %412 = sext i32 %411 to i64
  %413 = getelementptr inbounds i32, ptr %410, i64 %412
  %414 = load i32, ptr %413, align 4, !tbaa !5
  %415 = load ptr, ptr %2, align 8, !tbaa !9
  %416 = getelementptr inbounds %struct._ActionEffect, ptr %415, i32 0, i32 2
  %417 = load ptr, ptr %416, align 8, !tbaa !20
  %418 = load i32, ptr %5, align 4, !tbaa !5
  %419 = sext i32 %418 to i64
  %420 = getelementptr inbounds i32, ptr %417, i64 %419
  store i32 %414, ptr %420, align 4, !tbaa !5
  br label %421

421:                                              ; preds = %409
  %422 = load i32, ptr %5, align 4, !tbaa !5
  %423 = add nsw i32 %422, 1
  store i32 %423, ptr %5, align 4, !tbaa !5
  br label %405, !llvm.loop !36

424:                                              ; preds = %405
  %425 = load i32, ptr @lnum_A, align 4, !tbaa !5
  %426 = load ptr, ptr %2, align 8, !tbaa !9
  %427 = getelementptr inbounds %struct._ActionEffect, ptr %426, i32 0, i32 3
  store i32 %425, ptr %427, align 8, !tbaa !19
  %428 = load i32, ptr @lnum_D, align 4, !tbaa !5
  %429 = load ptr, ptr %2, align 8, !tbaa !9
  %430 = getelementptr inbounds %struct._ActionEffect, ptr %429, i32 0, i32 5
  %431 = load i32, ptr %430, align 8, !tbaa !23
  %432 = icmp sgt i32 %428, %431
  br i1 %432, label %433, label %442

433:                                              ; preds = %424
  %434 = load ptr, ptr %2, align 8, !tbaa !9
  %435 = getelementptr inbounds %struct._ActionEffect, ptr %434, i32 0, i32 4
  %436 = load ptr, ptr %435, align 8, !tbaa !24
  call void @free(ptr noundef %436) #4
  %437 = load i32, ptr @lnum_D, align 4, !tbaa !5
  %438 = sext i32 %437 to i64
  %439 = call noalias ptr @calloc(i64 noundef %438, i64 noundef 4) #5
  %440 = load ptr, ptr %2, align 8, !tbaa !9
  %441 = getelementptr inbounds %struct._ActionEffect, ptr %440, i32 0, i32 4
  store ptr %439, ptr %441, align 8, !tbaa !24
  br label %442

442:                                              ; preds = %433, %424
  store i32 0, ptr %5, align 4, !tbaa !5
  br label %443

443:                                              ; preds = %459, %442
  %444 = load i32, ptr %5, align 4, !tbaa !5
  %445 = load i32, ptr @lnum_D, align 4, !tbaa !5
  %446 = icmp slt i32 %444, %445
  br i1 %446, label %447, label %462

447:                                              ; preds = %443
  %448 = load ptr, ptr @lD, align 8, !tbaa !9
  %449 = load i32, ptr %5, align 4, !tbaa !5
  %450 = sext i32 %449 to i64
  %451 = getelementptr inbounds i32, ptr %448, i64 %450
  %452 = load i32, ptr %451, align 4, !tbaa !5
  %453 = load ptr, ptr %2, align 8, !tbaa !9
  %454 = getelementptr inbounds %struct._ActionEffect, ptr %453, i32 0, i32 4
  %455 = load ptr, ptr %454, align 8, !tbaa !24
  %456 = load i32, ptr %5, align 4, !tbaa !5
  %457 = sext i32 %456 to i64
  %458 = getelementptr inbounds i32, ptr %455, i64 %457
  store i32 %452, ptr %458, align 4, !tbaa !5
  br label %459

459:                                              ; preds = %447
  %460 = load i32, ptr %5, align 4, !tbaa !5
  %461 = add nsw i32 %460, 1
  store i32 %461, ptr %5, align 4, !tbaa !5
  br label %443, !llvm.loop !37

462:                                              ; preds = %443
  %463 = load i32, ptr @lnum_D, align 4, !tbaa !5
  %464 = load ptr, ptr %2, align 8, !tbaa !9
  %465 = getelementptr inbounds %struct._ActionEffect, ptr %464, i32 0, i32 5
  store i32 %463, ptr %465, align 8, !tbaa !23
  %466 = load i32, ptr %4, align 4, !tbaa !5
  %467 = add nsw i32 %466, 1
  store i32 %467, ptr %4, align 4, !tbaa !5
  br label %19, !llvm.loop !17

468:                                              ; preds = %19
  br label %469

469:                                              ; preds = %468
  %470 = load ptr, ptr %1, align 8, !tbaa !9
  %471 = getelementptr inbounds %struct._Action, ptr %470, i32 0, i32 19
  %472 = load ptr, ptr %471, align 8, !tbaa !38
  store ptr %472, ptr %1, align 8, !tbaa !9
  br label %15, !llvm.loop !39

473:                                              ; preds = %15
  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
  call void @llvm.lifetime.end.p0(i64 4, ptr %4) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %3) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %2) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %1) #4
  ret void
}

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

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

; Function Attrs: nounwind allocsize(0,1)
declare noalias ptr @calloc(i64 noundef, i64 noundef) #2

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

; Function Attrs: nounwind uwtable
declare dso_local zeroext i8 @same_lnfs(ptr noundef, ptr noundef) #0

; Function Attrs: nounwind uwtable
declare dso_local void @merge_lnfs(ptr noundef, ptr noundef) #0

; Function Attrs: nounwind uwtable
declare dso_local zeroext i8 @same_condition(ptr noundef, ptr noundef) #0

; Function Attrs: nounwind uwtable
declare dso_local void @merge_effects(ptr noundef, ptr noundef) #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" }
attributes #1 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { nounwind allocsize(0,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 #3 = { nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { nounwind }
attributes #5 = { nounwind allocsize(0,1) }

!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 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"any pointer", !7, i64 0}
!11 = !{!12, !6, i64 248}
!12 = !{!"_Action", !10, i64 0, !10, i64 8, !7, i64 16, !10, i64 24, !6, i64 32, !7, i64 36, !7, i64 96, !10, i64 160, !6, i64 168, !10, i64 176, !10, i64 184, !10, i64 192, !6, i64 200, !10, i64 208, !10, i64 216, !10, i64 224, !6, i64 232, !10, i64 240, !6, i64 248, !10, i64 256}
!13 = !{!12, !10, i64 240}
!14 = !{!15, !7, i64 173}
!15 = !{!"_ActionEffect", !10, i64 0, !6, i64 8, !10, i64 16, !6, i64 24, !10, i64 32, !6, i64 40, !10, i64 48, !10, i64 56, !10, i64 64, !6, i64 72, !10, i64 80, !10, i64 88, !10, i64 96, !6, i64 104, !10, i64 112, !10, i64 120, !10, i64 128, !6, i64 136, !10, i64 144, !10, i64 152, !10, i64 160, !6, i64 168, !7, i64 172, !7, i64 173, !16, i64 176}
!16 = !{!"float", !7, i64 0}
!17 = distinct !{!17, !18}
!18 = !{!"llvm.loop.mustprogress"}
!19 = !{!15, !6, i64 24}
!20 = !{!15, !10, i64 16}
!21 = distinct !{!21, !18}
!22 = distinct !{!22, !18}
!23 = !{!15, !6, i64 40}
!24 = !{!15, !10, i64 32}
!25 = distinct !{!25, !18}
!26 = distinct !{!26, !18}
!27 = !{!15, !6, i64 168}
!28 = !{!15, !10, i64 152}
!29 = distinct !{!29, !18}
!30 = !{!15, !10, i64 144}
!31 = !{!15, !10, i64 160}
!32 = !{!15, !7, i64 172}
!33 = distinct !{!33, !18}
!34 = distinct !{!34, !18}
!35 = distinct !{!35, !18}
!36 = distinct !{!36, !18}
!37 = distinct !{!37, !18}
!38 = !{!12, !10, i64 256}
!39 = distinct !{!39, !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._ActionEffect = type { ptr, i32, ptr, i32, ptr, i32, ptr, ptr, ptr, i32, ptr, ptr, ptr, i32, ptr, ptr, ptr, i32, ptr, ptr, ptr, i32, i8, i8, float }

@gactions = external local_unnamed_addr global ptr, align 8
@gnum_relevant_facts = external local_unnamed_addr global i32, align 4
@lA = external dso_local local_unnamed_addr global ptr, align 8
@lD = external dso_local local_unnamed_addr global ptr, align 8
@lnum_A = external dso_local local_unnamed_addr global i32, align 4
@lnum_D = external dso_local local_unnamed_addr global i32, align 4

; Function Attrs: nounwind uwtable
define dso_local void @summarize_effects() local_unnamed_addr #0 {
  %1 = load i32, ptr @gnum_relevant_facts, align 4, !tbaa !5
  %2 = sext i32 %1 to i64
  %3 = tail call noalias ptr @calloc(i64 noundef %2, i64 noundef 4) #3
  store ptr %3, ptr @lA, align 8, !tbaa !9
  %4 = tail call noalias ptr @calloc(i64 noundef %2, i64 noundef 4) #3
  store ptr %4, ptr @lD, align 8, !tbaa !9
  %.0122188 = load ptr, ptr @gactions, align 8, !tbaa !9
  %.not189 = icmp eq ptr %.0122188, null
  br i1 %.not189, label %._crit_edge191, label %.preheader142

.preheader142:                                    ; preds = %0, %._crit_edge187
  %.0122190 = phi ptr [ %.0122, %._crit_edge187 ], [ %.0122188, %0 ]
  %5 = getelementptr inbounds i8, ptr %.0122190, i64 248
  %6 = load i32, ptr %5, align 8, !tbaa !11
  %7 = icmp sgt i32 %6, 0
  br i1 %7, label %.lr.ph186, label %._crit_edge187

.lr.ph186:                                        ; preds = %.preheader142
  %8 = getelementptr inbounds i8, ptr %.0122190, i64 240
  br label %9

9:                                                ; preds = %.lr.ph186, %.backedge143
  %10 = phi i32 [ %6, %.lr.ph186 ], [ %18, %.backedge143 ]
  %.0121185 = phi i32 [ 0, %.lr.ph186 ], [ %.0121.be, %.backedge143 ]
  %11 = load ptr, ptr %8, align 8, !tbaa !13
  %12 = sext i32 %.0121185 to i64
  %13 = getelementptr inbounds %struct._ActionEffect, ptr %11, i64 %12
  %14 = getelementptr inbounds i8, ptr %13, i64 173
  %15 = load i8, ptr %14, align 1, !tbaa !14
  %.not127 = icmp eq i8 %15, 0
  br i1 %.not127, label %20, label %16

16:                                               ; preds = %9
  %17 = add nsw i32 %.0121185, 1
  br label %.backedge143

.backedge143:                                     ; preds = %16, %._crit_edge183
  %18 = phi i32 [ %10, %16 ], [ %.pre245, %._crit_edge183 ]
  %.0121.be = phi i32 [ %17, %16 ], [ %142, %._crit_edge183 ]
  %19 = icmp slt i32 %.0121.be, %18
  br i1 %19, label %9, label %._crit_edge187, !llvm.loop !17

20:                                               ; preds = %9
  store i32 0, ptr @lnum_A, align 4, !tbaa !5
  %21 = getelementptr inbounds i8, ptr %13, i64 24
  %22 = load i32, ptr %21, align 8, !tbaa !19
  %23 = icmp sgt i32 %22, 0
  br i1 %23, label %.preheader140.lr.ph, label %._crit_edge157

.preheader140.lr.ph:                              ; preds = %20
  %24 = load ptr, ptr @lA, align 8
  %25 = getelementptr inbounds i8, ptr %13, i64 16
  %.pre232.pre = load ptr, ptr %25, align 8, !tbaa !20
  br label %.preheader140

.preheader140:                                    ; preds = %.preheader140.lr.ph, %.thread
  %26 = phi i32 [ %22, %.preheader140.lr.ph ], [ %39, %.thread ]
  %27 = phi i32 [ 0, %.preheader140.lr.ph ], [ %40, %.thread ]
  %indvars.iv200 = phi i64 [ 0, %.preheader140.lr.ph ], [ %indvars.iv.next201, %.thread ]
  %28 = icmp sgt i32 %27, 0
  %29 = getelementptr inbounds i32, ptr %.pre232.pre, i64 %indvars.iv200
  %30 = load i32, ptr %29, align 4, !tbaa !5
  br i1 %28, label %.lr.ph, label %._crit_edge

.lr.ph:                                           ; preds = %.preheader140
  %wide.trip.count = zext nneg i32 %27 to i64
  br label %32

31:                                               ; preds = %32
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next, %wide.trip.count
  br i1 %exitcond.not, label %._crit_edge, label %32, !llvm.loop !21

32:                                               ; preds = %.lr.ph, %31
  %indvars.iv = phi i64 [ 0, %.lr.ph ], [ %indvars.iv.next, %31 ]
  %33 = getelementptr inbounds i32, ptr %24, i64 %indvars.iv
  %34 = load i32, ptr %33, align 4, !tbaa !5
  %35 = icmp eq i32 %34, %30
  br i1 %35, label %.thread, label %31

._crit_edge:                                      ; preds = %31, %.preheader140
  %36 = add nsw i32 %27, 1
  store i32 %36, ptr @lnum_A, align 4, !tbaa !5
  %37 = sext i32 %27 to i64
  %38 = getelementptr inbounds i32, ptr %24, i64 %37
  store i32 %30, ptr %38, align 4, !tbaa !5
  %.pre = load i32, ptr @lnum_A, align 4, !tbaa !5
  %.pre234 = load i32, ptr %21, align 8, !tbaa !19
  br label %.thread

.thread:                                          ; preds = %32, %._crit_edge
  %39 = phi i32 [ %.pre234, %._crit_edge ], [ %26, %32 ]
  %40 = phi i32 [ %.pre, %._crit_edge ], [ %27, %32 ]
  %indvars.iv.next201 = add nuw nsw i64 %indvars.iv200, 1
  %41 = sext i32 %39 to i64
  %42 = icmp slt i64 %indvars.iv.next201, %41
  br i1 %42, label %.preheader140, label %._crit_edge157, !llvm.loop !22

._crit_edge157:                                   ; preds = %.thread, %20
  store i32 0, ptr @lnum_D, align 4, !tbaa !5
  %43 = getelementptr inbounds i8, ptr %13, i64 40
  %44 = load i32, ptr %43, align 8, !tbaa !23
  %45 = icmp sgt i32 %44, 0
  br i1 %45, label %.preheader.lr.ph, label %.preheader141

.preheader.lr.ph:                                 ; preds = %._crit_edge157
  %46 = load ptr, ptr @lD, align 8
  %47 = getelementptr inbounds i8, ptr %13, i64 32
  %.pre237.pre = load ptr, ptr %47, align 8, !tbaa !24
  br label %.preheader

.preheader141:                                    ; preds = %.thread137, %._crit_edge157
  %48 = getelementptr inbounds i8, ptr %13, i64 168
  %49 = getelementptr inbounds i8, ptr %13, i64 152
  %50 = getelementptr inbounds i8, ptr %13, i64 144
  %51 = getelementptr inbounds i8, ptr %13, i64 160
  %52 = getelementptr inbounds i8, ptr %13, i64 172
  %.pre241 = load i32, ptr %48, align 8, !tbaa !25
  br label %70

.preheader:                                       ; preds = %.preheader.lr.ph, %.thread137
  %53 = phi i32 [ %44, %.preheader.lr.ph ], [ %66, %.thread137 ]
  %54 = phi i32 [ 0, %.preheader.lr.ph ], [ %67, %.thread137 ]
  %indvars.iv208 = phi i64 [ 0, %.preheader.lr.ph ], [ %indvars.iv.next209, %.thread137 ]
  %55 = icmp sgt i32 %54, 0
  %56 = getelementptr inbounds i32, ptr %.pre237.pre, i64 %indvars.iv208
  %57 = load i32, ptr %56, align 4, !tbaa !5
  br i1 %55, label %.lr.ph159, label %._crit_edge160

.lr.ph159:                                        ; preds = %.preheader
  %wide.trip.count206 = zext nneg i32 %54 to i64
  br label %59

58:                                               ; preds = %59
  %indvars.iv.next204 = add nuw nsw i64 %indvars.iv203, 1
  %exitcond207.not = icmp eq i64 %indvars.iv.next204, %wide.trip.count206
  br i1 %exitcond207.not, label %._crit_edge160, label %59, !llvm.loop !26

59:                                               ; preds = %.lr.ph159, %58
  %indvars.iv203 = phi i64 [ 0, %.lr.ph159 ], [ %indvars.iv.next204, %58 ]
  %60 = getelementptr inbounds i32, ptr %46, i64 %indvars.iv203
  %61 = load i32, ptr %60, align 4, !tbaa !5
  %62 = icmp eq i32 %61, %57
  br i1 %62, label %.thread137, label %58

._crit_edge160:                                   ; preds = %58, %.preheader
  %63 = add nsw i32 %54, 1
  store i32 %63, ptr @lnum_D, align 4, !tbaa !5
  %64 = sext i32 %54 to i64
  %65 = getelementptr inbounds i32, ptr %46, i64 %64
  store i32 %57, ptr %65, align 4, !tbaa !5
  %.pre235 = load i32, ptr @lnum_D, align 4, !tbaa !5
  %.pre240 = load i32, ptr %43, align 8, !tbaa !23
  br label %.thread137

.thread137:                                       ; preds = %59, %._crit_edge160
  %66 = phi i32 [ %.pre240, %._crit_edge160 ], [ %53, %59 ]
  %67 = phi i32 [ %.pre235, %._crit_edge160 ], [ %54, %59 ]
  %indvars.iv.next209 = add nuw nsw i64 %indvars.iv208, 1
  %68 = sext i32 %66 to i64
  %69 = icmp slt i64 %indvars.iv.next209, %68
  br i1 %69, label %.preheader, label %.preheader141, !llvm.loop !27

70:                                               ; preds = %.preheader141, %.loopexit
  %.pre242249 = phi i32 [ %.pre241, %.preheader141 ], [ %.pre242250, %.loopexit ]
  %71 = phi i32 [ %.pre241, %.preheader141 ], [ %139, %.loopexit ]
  %indvars.iv219 = phi i64 [ 0, %.preheader141 ], [ %indvars.iv.next220, %.loopexit ]
  %indvars.iv211 = phi i64 [ 1, %.preheader141 ], [ %indvars.iv.next212, %.loopexit ]
  %72 = sext i32 %71 to i64
  %73 = icmp slt i64 %indvars.iv219, %72
  br i1 %73, label %74, label %141

74:                                               ; preds = %70
  %indvars.iv.next220 = add nuw nsw i64 %indvars.iv219, 1
  %75 = trunc nuw i64 %indvars.iv.next220 to i32
  %76 = icmp sgt i32 %71, %75
  br i1 %76, label %.lr.ph166, label %.loopexit

.lr.ph166:                                        ; preds = %74, %.outer
  %.pre242248 = phi i32 [ %.pre242247.lcssa, %.outer ], [ %.pre242249, %74 ]
  %77 = phi i32 [ %.lcssa282, %.outer ], [ %71, %74 ]
  %78 = phi i32 [ %.lcssa278, %.outer ], [ %71, %74 ]
  %indvars.iv213 = phi i64 [ %indvars.iv.next214, %.outer ], [ %indvars.iv211, %74 ]
  %79 = trunc nuw i64 %indvars.iv213 to i32
  %80 = load ptr, ptr %49, align 8, !tbaa !28
  %81 = getelementptr inbounds i32, ptr %80, i64 %indvars.iv213
  %82 = load i32, ptr %81, align 4, !tbaa !5
  %83 = getelementptr inbounds i32, ptr %80, i64 %indvars.iv219
  %84 = load i32, ptr %83, align 4, !tbaa !5
  %.not128296 = icmp eq i32 %82, %84
  br i1 %.not128296, label %.lr.ph298, label %.outer

85:                                               ; preds = %._crit_edge165
  %86 = load ptr, ptr %49, align 8, !tbaa !28
  %87 = getelementptr inbounds i32, ptr %86, i64 %indvars.iv213
  %88 = load i32, ptr %87, align 4, !tbaa !5
  %89 = getelementptr inbounds i32, ptr %86, i64 %indvars.iv219
  %90 = load i32, ptr %89, align 4, !tbaa !5
  %.not128 = icmp eq i32 %88, %90
  br i1 %.not128, label %.lr.ph298, label %.outer, !llvm.loop !29

.outer:                                           ; preds = %85, %.lr.ph166
  %.pre242247.lcssa = phi i32 [ %.pre242248, %.lr.ph166 ], [ %.lcssa149, %85 ]
  %.lcssa282 = phi i32 [ %77, %.lr.ph166 ], [ %.lcssa149, %85 ]
  %.lcssa278 = phi i32 [ %78, %.lr.ph166 ], [ %.lcssa149, %85 ]
  %indvars.iv.next214 = add nuw nsw i64 %indvars.iv213, 1
  %91 = trunc nuw i64 %indvars.iv.next214 to i32
  %92 = icmp sgt i32 %.lcssa278, %91
  br i1 %92, label %.lr.ph166, label %.loopexit, !llvm.loop !29

.lr.ph298:                                        ; preds = %.lr.ph166, %85
  %93 = phi i32 [ %.lcssa149, %85 ], [ %77, %.lr.ph166 ]
  %.pre242247297 = phi i32 [ %.lcssa149, %85 ], [ %.pre242248, %.lr.ph166 ]
  %94 = load ptr, ptr %50, align 8, !tbaa !30
  %95 = getelementptr inbounds i32, ptr %94, i64 %indvars.iv219
  %96 = load i32, ptr %95, align 4, !tbaa !5
  %97 = icmp eq i32 %96, 4000
  %98 = getelementptr inbounds i32, ptr %94, i64 %indvars.iv213
  %99 = load i32, ptr %98, align 4, !tbaa !5
  %.not129 = icmp eq i32 %99, 4000
  br i1 %97, label %100, label %108

100:                                              ; preds = %.lr.ph298
  br i1 %.not129, label %101, label %.loopexit.sink.split

101:                                              ; preds = %100
  %102 = load ptr, ptr %51, align 8, !tbaa !31
  %103 = getelementptr inbounds ptr, ptr %102, i64 %indvars.iv219
  %104 = load ptr, ptr %103, align 8, !tbaa !9
  %105 = getelementptr inbounds ptr, ptr %102, i64 %indvars.iv213
  %106 = load ptr, ptr %105, align 8, !tbaa !9
  %107 = tail call zeroext i8 @same_lnfs(ptr noundef %104, ptr noundef %106)
  %.not130 = icmp eq i8 %107, 0
  br i1 %.not130, label %._crit_edge246, label %115

._crit_edge246:                                   ; preds = %101
  %.pre242.pre = load i32, ptr %48, align 8, !tbaa !25
  br label %.loopexit.sink.split

108:                                              ; preds = %.lr.ph298
  br i1 %.not129, label %.loopexit.sink.split, label %109

109:                                              ; preds = %108
  %110 = load ptr, ptr %51, align 8, !tbaa !31
  %111 = getelementptr inbounds ptr, ptr %110, i64 %indvars.iv219
  %112 = load ptr, ptr %111, align 8, !tbaa !9
  %113 = getelementptr inbounds ptr, ptr %110, i64 %indvars.iv213
  %114 = load ptr, ptr %113, align 8, !tbaa !9
  tail call void @merge_lnfs(ptr noundef %112, ptr noundef %114)
  br label %115

115:                                              ; preds = %101, %109
  %116 = load ptr, ptr %51, align 8, !tbaa !31
  %117 = getelementptr inbounds ptr, ptr %116, i64 %indvars.iv213
  %118 = load ptr, ptr %117, align 8, !tbaa !9
  tail call void @free(ptr noundef %118) #4
  %119 = load i32, ptr %48, align 8, !tbaa !25
  %120 = add nsw i32 %119, -1
  %121 = icmp sgt i32 %120, %79
  br i1 %121, label %.lr.ph164, label %._crit_edge165

.lr.ph164:                                        ; preds = %115, %.lr.ph164
  %indvars.iv215 = phi i64 [ %indvars.iv.next216, %.lr.ph164 ], [ %indvars.iv213, %115 ]
  %122 = load ptr, ptr %50, align 8, !tbaa !30
  %indvars.iv.next216 = add nuw nsw i64 %indvars.iv215, 1
  %123 = getelementptr inbounds i32, ptr %122, i64 %indvars.iv.next216
  %124 = load i32, ptr %123, align 4, !tbaa !5
  %125 = getelementptr inbounds i32, ptr %122, i64 %indvars.iv215
  store i32 %124, ptr %125, align 4, !tbaa !5
  %126 = load ptr, ptr %49, align 8, !tbaa !28
  %127 = getelementptr inbounds i32, ptr %126, i64 %indvars.iv.next216
  %128 = load i32, ptr %127, align 4, !tbaa !5
  %129 = getelementptr inbounds i32, ptr %126, i64 %indvars.iv215
  store i32 %128, ptr %129, align 4, !tbaa !5
  %130 = load ptr, ptr %51, align 8, !tbaa !31
  %131 = getelementptr inbounds ptr, ptr %130, i64 %indvars.iv.next216
  %132 = load ptr, ptr %131, align 8, !tbaa !9
  %133 = getelementptr inbounds ptr, ptr %130, i64 %indvars.iv215
  store ptr %132, ptr %133, align 8, !tbaa !9
  %134 = load i32, ptr %48, align 8, !tbaa !25
  %135 = add nsw i32 %134, -1
  %136 = trunc nuw i64 %indvars.iv.next216 to i32
  %137 = icmp sgt i32 %135, %136
  br i1 %137, label %.lr.ph164, label %._crit_edge165, !llvm.loop !32

._crit_edge165:                                   ; preds = %.lr.ph164, %115
  %.lcssa149 = phi i32 [ %120, %115 ], [ %135, %.lr.ph164 ]
  store i32 %.lcssa149, ptr %48, align 8, !tbaa !25
  %138 = icmp sgt i32 %.lcssa149, %79
  br i1 %138, label %85, label %.loopexit, !llvm.loop !29

.loopexit.sink.split:                             ; preds = %108, %100, %._crit_edge246
  %.pre242250.ph = phi i32 [ %.pre242.pre, %._crit_edge246 ], [ %.pre242247297, %100 ], [ %.pre242247297, %108 ]
  %.ph = phi i32 [ %.pre242.pre, %._crit_edge246 ], [ %93, %108 ], [ %.pre242247297, %100 ]
  store i8 1, ptr %52, align 4, !tbaa !33
  br label %.loopexit

.loopexit:                                        ; preds = %.outer, %._crit_edge165, %.loopexit.sink.split, %74
  %.pre242250 = phi i32 [ %.pre242249, %74 ], [ %.pre242250.ph, %.loopexit.sink.split ], [ %.lcssa149, %._crit_edge165 ], [ %.pre242247.lcssa, %.outer ]
  %139 = phi i32 [ %71, %74 ], [ %.ph, %.loopexit.sink.split ], [ %.lcssa149, %._crit_edge165 ], [ %.lcssa282, %.outer ]
  %.2.ph152 = phi i32 [ %75, %74 ], [ %79, %.loopexit.sink.split ], [ %79, %._crit_edge165 ], [ %91, %.outer ]
  %140 = icmp slt i32 %.2.ph152, %139
  %indvars.iv.next212 = add nuw nsw i64 %indvars.iv211, 1
  br i1 %140, label %141, label %70, !llvm.loop !34

141:                                              ; preds = %.loopexit, %70
  %142 = add nsw i32 %.0121185, 1
  %143 = load i32, ptr %5, align 8, !tbaa !11
  %144 = icmp slt i32 %142, %143
  br i1 %144, label %.lr.ph173, label %._crit_edge174

.lr.ph173:                                        ; preds = %141
  %145 = sext i32 %142 to i64
  br label %146

146:                                              ; preds = %.lr.ph173, %.backedge
  %indvars.iv222 = phi i64 [ %145, %.lr.ph173 ], [ %indvars.iv.next223, %.backedge ]
  %147 = load ptr, ptr %8, align 8, !tbaa !13
  %148 = getelementptr inbounds %struct._ActionEffect, ptr %147, i64 %indvars.iv222
  %149 = getelementptr inbounds i8, ptr %148, i64 173
  %150 = load i8, ptr %149, align 1, !tbaa !14
  %.not131 = icmp eq i8 %150, 0
  br i1 %.not131, label %154, label %.backedge

.backedge:                                        ; preds = %160, %162, %.thread138, %154, %146
  %indvars.iv.next223 = add nsw i64 %indvars.iv222, 1
  %151 = load i32, ptr %5, align 8, !tbaa !11
  %152 = sext i32 %151 to i64
  %153 = icmp slt i64 %indvars.iv.next223, %152
  br i1 %153, label %146, label %._crit_edge174, !llvm.loop !35

154:                                              ; preds = %146
  %155 = tail call zeroext i8 @same_condition(ptr noundef %13, ptr noundef nonnull %148)
  %.not132 = icmp eq i8 %155, 0
  br i1 %.not132, label %.backedge, label %156

156:                                              ; preds = %154
  store i8 1, ptr %149, align 1, !tbaa !14
  %157 = getelementptr inbounds i8, ptr %148, i64 172
  %158 = load i8, ptr %157, align 4, !tbaa !33
  %.not133 = icmp eq i8 %158, 0
  br i1 %.not133, label %159, label %.thread252

.thread252:                                       ; preds = %156
  store i8 1, ptr %52, align 4, !tbaa !33
  br label %160

159:                                              ; preds = %156
  %.pre244 = load i8, ptr %52, align 4, !tbaa !33
  %.not134 = icmp eq i8 %.pre244, 0
  br i1 %.not134, label %.thread138, label %160

160:                                              ; preds = %.thread252, %159
  store i8 1, ptr %157, align 4, !tbaa !33
  %.pr = load i8, ptr %52, align 4, !tbaa !33
  %.not135 = icmp eq i8 %.pr, 0
  br i1 %.not135, label %.thread138, label %.backedge

.thread138:                                       ; preds = %159, %160
  tail call void @merge_effects(ptr noundef nonnull %13, ptr noundef nonnull %148)
  %161 = load i8, ptr %52, align 4, !tbaa !33
  %.not136 = icmp eq i8 %161, 0
  br i1 %.not136, label %.backedge, label %162

162:                                              ; preds = %.thread138
  store i8 1, ptr %157, align 4, !tbaa !33
  br label %.backedge

._crit_edge174:                                   ; preds = %.backedge, %141
  %163 = load i32, ptr @lnum_A, align 4, !tbaa !5
  %164 = load i32, ptr %21, align 8, !tbaa !19
  %165 = icmp sgt i32 %163, %164
  br i1 %165, label %166, label %172

166:                                              ; preds = %._crit_edge174
  %167 = getelementptr inbounds i8, ptr %13, i64 16
  %168 = load ptr, ptr %167, align 8, !tbaa !20
  tail call void @free(ptr noundef %168) #4
  %169 = load i32, ptr @lnum_A, align 4, !tbaa !5
  %170 = sext i32 %169 to i64
  %171 = tail call noalias ptr @calloc(i64 noundef %170, i64 noundef 4) #3
  store ptr %171, ptr %167, align 8, !tbaa !20
  br label %172

172:                                              ; preds = %166, %._crit_edge174
  %173 = phi i32 [ %169, %166 ], [ %163, %._crit_edge174 ]
  %174 = icmp sgt i32 %173, 0
  br i1 %174, label %.lr.ph177, label %._crit_edge178

.lr.ph177:                                        ; preds = %172
  %175 = load ptr, ptr @lA, align 8, !tbaa !9
  %176 = getelementptr inbounds i8, ptr %13, i64 16
  %177 = load ptr, ptr %176, align 8, !tbaa !20
  br label %178

178:                                              ; preds = %.lr.ph177, %178
  %indvars.iv225 = phi i64 [ 0, %.lr.ph177 ], [ %indvars.iv.next226, %178 ]
  %179 = getelementptr inbounds i32, ptr %175, i64 %indvars.iv225
  %180 = load i32, ptr %179, align 4, !tbaa !5
  %181 = getelementptr inbounds i32, ptr %177, i64 %indvars.iv225
  store i32 %180, ptr %181, align 4, !tbaa !5
  %indvars.iv.next226 = add nuw nsw i64 %indvars.iv225, 1
  %182 = load i32, ptr @lnum_A, align 4, !tbaa !5
  %183 = sext i32 %182 to i64
  %184 = icmp slt i64 %indvars.iv.next226, %183
  br i1 %184, label %178, label %._crit_edge178, !llvm.loop !36

._crit_edge178:                                   ; preds = %178, %172
  %.lcssa153 = phi i32 [ %173, %172 ], [ %182, %178 ]
  store i32 %.lcssa153, ptr %21, align 8, !tbaa !19
  %185 = load i32, ptr @lnum_D, align 4, !tbaa !5
  %186 = load i32, ptr %43, align 8, !tbaa !23
  %187 = icmp sgt i32 %185, %186
  br i1 %187, label %188, label %194

188:                                              ; preds = %._crit_edge178
  %189 = getelementptr inbounds i8, ptr %13, i64 32
  %190 = load ptr, ptr %189, align 8, !tbaa !24
  tail call void @free(ptr noundef %190) #4
  %191 = load i32, ptr @lnum_D, align 4, !tbaa !5
  %192 = sext i32 %191 to i64
  %193 = tail call noalias ptr @calloc(i64 noundef %192, i64 noundef 4) #3
  store ptr %193, ptr %189, align 8, !tbaa !24
  br label %194

194:                                              ; preds = %188, %._crit_edge178
  %195 = phi i32 [ %191, %188 ], [ %185, %._crit_edge178 ]
  %196 = icmp sgt i32 %195, 0
  br i1 %196, label %.lr.ph182, label %._crit_edge183

.lr.ph182:                                        ; preds = %194
  %197 = load ptr, ptr @lD, align 8, !tbaa !9
  %198 = getelementptr inbounds i8, ptr %13, i64 32
  %199 = load ptr, ptr %198, align 8, !tbaa !24
  br label %200

200:                                              ; preds = %.lr.ph182, %200
  %indvars.iv228 = phi i64 [ 0, %.lr.ph182 ], [ %indvars.iv.next229, %200 ]
  %201 = getelementptr inbounds i32, ptr %197, i64 %indvars.iv228
  %202 = load i32, ptr %201, align 4, !tbaa !5
  %203 = getelementptr inbounds i32, ptr %199, i64 %indvars.iv228
  store i32 %202, ptr %203, align 4, !tbaa !5
  %indvars.iv.next229 = add nuw nsw i64 %indvars.iv228, 1
  %204 = load i32, ptr @lnum_D, align 4, !tbaa !5
  %205 = sext i32 %204 to i64
  %206 = icmp slt i64 %indvars.iv.next229, %205
  br i1 %206, label %200, label %._crit_edge183, !llvm.loop !37

._crit_edge183:                                   ; preds = %200, %194
  %.lcssa154 = phi i32 [ %195, %194 ], [ %204, %200 ]
  store i32 %.lcssa154, ptr %43, align 8, !tbaa !23
  %.pre245 = load i32, ptr %5, align 8, !tbaa !11
  br label %.backedge143

._crit_edge187:                                   ; preds = %.backedge143, %.preheader142
  %207 = getelementptr inbounds i8, ptr %.0122190, i64 256
  %.0122 = load ptr, ptr %207, align 8, !tbaa !9
  %.not = icmp eq ptr %.0122, null
  br i1 %.not, label %._crit_edge191, label %.preheader142, !llvm.loop !38

._crit_edge191:                                   ; preds = %._crit_edge187, %0
  ret void
}

; Function Attrs: mustprogress nofree nounwind willreturn allockind("alloc,zeroed") allocsize(0,1) memory(inaccessiblemem: readwrite)
declare noalias noundef ptr @calloc(i64 noundef, i64 noundef) local_unnamed_addr #1

; Function Attrs: mustprogress nounwind willreturn allockind("free") memory(argmem: readwrite, inaccessiblemem: readwrite)
declare void @free(ptr allocptr nocapture noundef) local_unnamed_addr #2

; Function Attrs: nounwind uwtable
declare dso_local zeroext i8 @same_lnfs(ptr noundef, ptr noundef) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
declare dso_local void @merge_lnfs(ptr noundef, ptr noundef) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
declare dso_local zeroext i8 @same_condition(ptr noundef, ptr noundef) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
declare dso_local void @merge_effects(ptr noundef, ptr 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" }
attributes #1 = { mustprogress nofree nounwind willreturn allockind("alloc,zeroed") allocsize(0,1) memory(inaccessiblemem: readwrite) "alloc-family"="malloc" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { mustprogress nounwind willreturn allockind("free") memory(argmem: readwrite, inaccessiblemem: readwrite) "alloc-family"="malloc" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { nounwind allocsize(0,1) }
attributes #4 = { 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 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"any pointer", !7, i64 0}
!11 = !{!12, !6, i64 248}
!12 = !{!"_Action", !10, i64 0, !10, i64 8, !7, i64 16, !10, i64 24, !6, i64 32, !7, i64 36, !7, i64 96, !10, i64 160, !6, i64 168, !10, i64 176, !10, i64 184, !10, i64 192, !6, i64 200, !10, i64 208, !10, i64 216, !10, i64 224, !6, i64 232, !10, i64 240, !6, i64 248, !10, i64 256}
!13 = !{!12, !10, i64 240}
!14 = !{!15, !7, i64 173}
!15 = !{!"_ActionEffect", !10, i64 0, !6, i64 8, !10, i64 16, !6, i64 24, !10, i64 32, !6, i64 40, !10, i64 48, !10, i64 56, !10, i64 64, !6, i64 72, !10, i64 80, !10, i64 88, !10, i64 96, !6, i64 104, !10, i64 112, !10, i64 120, !10, i64 128, !6, i64 136, !10, i64 144, !10, i64 152, !10, i64 160, !6, i64 168, !7, i64 172, !7, i64 173, !16, i64 176}
!16 = !{!"float", !7, i64 0}
!17 = distinct !{!17, !18}
!18 = !{!"llvm.loop.mustprogress"}
!19 = !{!15, !6, i64 24}
!20 = !{!15, !10, i64 16}
!21 = distinct !{!21, !18}
!22 = distinct !{!22, !18}
!23 = !{!15, !6, i64 40}
!24 = !{!15, !10, i64 32}
!25 = !{!15, !6, i64 168}
!26 = distinct !{!26, !18}
!27 = distinct !{!27, !18}
!28 = !{!15, !10, i64 152}
!29 = distinct !{!29, !18}
!30 = !{!15, !10, i64 144}
!31 = !{!15, !10, i64 160}
!32 = distinct !{!32, !18}
!33 = !{!15, !7, i64 172}
!34 = distinct !{!34, !18}
!35 = distinct !{!35, !18}
!36 = distinct !{!36, !18}
!37 = distinct !{!37, !18}
!38 = distinct !{!38, !18}


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