; LLVM IR from t-dillon/tdoku :: other/bb_sudoku/bb_sudoku_solver.ll (Z6DoStepii)

; 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.Grid_Type = type { i32, [81 x i32], [27 x i32] }

@B2V = external dso_local global [512 x i32], align 16
@NSet = external dso_local global [512 x i32], align 16
@NSetX = external dso_local global [512 x [10 x i32]], align 16
@G = external dso_local global [64 x %struct.Grid_Type], align 16
@SolGrid = external dso_local global [81 x i32], align 16
@SingleCnt = external dso_local global i8, align 1
@SinglePos = external dso_local global [128 x i8], align 16
@SingleVal = external dso_local global [128 x i32], align 16
@Changed = external dso_local global i32, align 4
@ChangedGroup = external dso_local global [27 x i8], align 16
@OneStepP = external dso_local global [81 x i32], align 16
@OneStepI = external dso_local global i32, align 4
@No_Sol = external dso_local global i32, align 4
@PIdx = external dso_local global i32, align 4
@_ZL5C2Grp = external hidden constant [81 x [3 x i8]], align 16

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

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef i32 @_Z6SolvercjciPc(i8 noundef signext, i32 noundef, i8 noundef signext, i32 noundef, ptr noundef) #1

; Function Attrs: mustprogress uwtable
define dso_local void @_Z6DoStepii(i32 noundef %0, i32 noundef %1) #1 {
  %3 = alloca i32, align 4
  %4 = alloca i32, align 4
  %5 = alloca i32, align 4
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  %8 = alloca i32, align 4
  %9 = alloca i32, align 4
  %10 = alloca i32, align 4
  %11 = alloca i32, align 4
  %12 = alloca [81 x i32], align 16
  %13 = alloca i32, align 4
  %14 = alloca i32, align 4
  %15 = alloca i32, align 4
  store i32 %0, ptr %3, align 4, !tbaa !5
  store i32 %1, ptr %4, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %5) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #3
  call void @llvm.lifetime.start.p0(i64 324, ptr %12) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #3
  store i32 0, ptr %5, align 4, !tbaa !5
  br label %16

16:                                               ; preds = %23, %2
  %17 = load i32, ptr %5, align 4, !tbaa !5
  %18 = icmp slt i32 %17, 81
  br i1 %18, label %19, label %26

19:                                               ; preds = %16
  %20 = load i32, ptr %5, align 4, !tbaa !5
  %21 = sext i32 %20 to i64
  %22 = getelementptr inbounds [81 x i32], ptr %12, i64 0, i64 %21
  store i32 0, ptr %22, align 4, !tbaa !5
  br label %23

23:                                               ; preds = %19
  %24 = load i32, ptr %5, align 4, !tbaa !5
  %25 = add nsw i32 %24, 1
  store i32 %25, ptr %5, align 4, !tbaa !5
  br label %16, !llvm.loop !9

26:                                               ; preds = %16
  %27 = load i32, ptr @PIdx, align 4, !tbaa !5
  store i32 %27, ptr %13, align 4, !tbaa !5
  br label %28

28:                                               ; preds = %490, %26
  %29 = load i32, ptr @Changed, align 4, !tbaa !5
  %30 = icmp ne i32 %29, 0
  %31 = xor i1 %30, true
  br i1 %31, label %32, label %491

32:                                               ; preds = %28
  store i32 99, ptr %9, align 4, !tbaa !5
  store i32 99, ptr %10, align 4, !tbaa !5
  store i32 99, ptr %11, align 4, !tbaa !5
  store i32 0, ptr %5, align 4, !tbaa !5
  br label %33

33:                                               ; preds = %175, %32
  %34 = load i32, ptr %5, align 4, !tbaa !5
  %35 = icmp slt i32 %34, 81
  br i1 %35, label %36, label %178

36:                                               ; preds = %33
  %37 = load i32, ptr @PIdx, align 4, !tbaa !5
  %38 = sext i32 %37 to i64
  %39 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %38
  %40 = getelementptr inbounds %struct.Grid_Type, ptr %39, i32 0, i32 1
  %41 = load i32, ptr %5, align 4, !tbaa !5
  %42 = sext i32 %41 to i64
  %43 = getelementptr inbounds [81 x i32], ptr %40, i64 0, i64 %42
  %44 = load i32, ptr %43, align 4, !tbaa !5
  %45 = zext i32 %44 to i64
  %46 = getelementptr inbounds [512 x i32], ptr @NSet, i64 0, i64 %45
  %47 = load i32, ptr %46, align 4, !tbaa !5
  %48 = load i32, ptr %10, align 4, !tbaa !5
  %49 = icmp sle i32 %47, %48
  br i1 %49, label %50, label %174

50:                                               ; preds = %36
  %51 = load i32, ptr @PIdx, align 4, !tbaa !5
  %52 = sext i32 %51 to i64
  %53 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %52
  %54 = getelementptr inbounds %struct.Grid_Type, ptr %53, i32 0, i32 1
  %55 = load i32, ptr %5, align 4, !tbaa !5
  %56 = sext i32 %55 to i64
  %57 = getelementptr inbounds [81 x i32], ptr %54, i64 0, i64 %56
  %58 = load i32, ptr %57, align 4, !tbaa !5
  %59 = zext i32 %58 to i64
  %60 = getelementptr inbounds [512 x i32], ptr @NSet, i64 0, i64 %59
  %61 = load i32, ptr %60, align 4, !tbaa !5
  %62 = icmp sgt i32 %61, 1
  br i1 %62, label %63, label %174

63:                                               ; preds = %50
  %64 = load i32, ptr %5, align 4, !tbaa !5
  %65 = sext i32 %64 to i64
  %66 = getelementptr inbounds [81 x i32], ptr %12, i64 0, i64 %65
  %67 = load i32, ptr %66, align 4, !tbaa !5
  %68 = icmp ne i32 %67, 0
  br i1 %68, label %174, label %69

69:                                               ; preds = %63
  %70 = load i32, ptr @PIdx, align 4, !tbaa !5
  %71 = sext i32 %70 to i64
  %72 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %71
  %73 = getelementptr inbounds %struct.Grid_Type, ptr %72, i32 0, i32 2
  %74 = load i32, ptr %5, align 4, !tbaa !5
  %75 = sext i32 %74 to i64
  %76 = getelementptr inbounds [81 x [3 x i8]], ptr @_ZL5C2Grp, i64 0, i64 %75
  %77 = getelementptr inbounds [3 x i8], ptr %76, i64 0, i64 0
  %78 = load i8, ptr %77, align 1, !tbaa !11
  %79 = zext i8 %78 to i64
  %80 = getelementptr inbounds [27 x i32], ptr %73, i64 0, i64 %79
  %81 = load i32, ptr %80, align 4, !tbaa !5
  %82 = zext i32 %81 to i64
  %83 = getelementptr inbounds [512 x i32], ptr @NSet, i64 0, i64 %82
  %84 = load i32, ptr %83, align 4, !tbaa !5
  %85 = load i32, ptr @PIdx, align 4, !tbaa !5
  %86 = sext i32 %85 to i64
  %87 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %86
  %88 = getelementptr inbounds %struct.Grid_Type, ptr %87, i32 0, i32 2
  %89 = load i32, ptr %5, align 4, !tbaa !5
  %90 = sext i32 %89 to i64
  %91 = getelementptr inbounds [81 x [3 x i8]], ptr @_ZL5C2Grp, i64 0, i64 %90
  %92 = getelementptr inbounds [3 x i8], ptr %91, i64 0, i64 1
  %93 = load i8, ptr %92, align 1, !tbaa !11
  %94 = zext i8 %93 to i64
  %95 = getelementptr inbounds [27 x i32], ptr %88, i64 0, i64 %94
  %96 = load i32, ptr %95, align 4, !tbaa !5
  %97 = zext i32 %96 to i64
  %98 = getelementptr inbounds [512 x i32], ptr @NSet, i64 0, i64 %97
  %99 = load i32, ptr %98, align 4, !tbaa !5
  %100 = add nsw i32 %84, %99
  %101 = load i32, ptr @PIdx, align 4, !tbaa !5
  %102 = sext i32 %101 to i64
  %103 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %102
  %104 = getelementptr inbounds %struct.Grid_Type, ptr %103, i32 0, i32 2
  %105 = load i32, ptr %5, align 4, !tbaa !5
  %106 = sext i32 %105 to i64
  %107 = getelementptr inbounds [81 x [3 x i8]], ptr @_ZL5C2Grp, i64 0, i64 %106
  %108 = getelementptr inbounds [3 x i8], ptr %107, i64 0, i64 2
  %109 = load i8, ptr %108, align 1, !tbaa !11
  %110 = zext i8 %109 to i64
  %111 = getelementptr inbounds [27 x i32], ptr %104, i64 0, i64 %110
  %112 = load i32, ptr %111, align 4, !tbaa !5
  %113 = zext i32 %112 to i64
  %114 = getelementptr inbounds [512 x i32], ptr @NSet, i64 0, i64 %113
  %115 = load i32, ptr %114, align 4, !tbaa !5
  %116 = add nsw i32 %100, %115
  store i32 %116, ptr %7, align 4, !tbaa !5
  %117 = load i32, ptr @PIdx, align 4, !tbaa !5
  %118 = sext i32 %117 to i64
  %119 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %118
  %120 = getelementptr inbounds %struct.Grid_Type, ptr %119, i32 0, i32 1
  %121 = load i32, ptr %5, align 4, !tbaa !5
  %122 = sext i32 %121 to i64
  %123 = getelementptr inbounds [81 x i32], ptr %120, i64 0, i64 %122
  %124 = load i32, ptr %123, align 4, !tbaa !5
  %125 = zext i32 %124 to i64
  %126 = getelementptr inbounds [512 x i32], ptr @NSet, i64 0, i64 %125
  %127 = load i32, ptr %126, align 4, !tbaa !5
  %128 = load i32, ptr %10, align 4, !tbaa !5
  %129 = icmp slt i32 %127, %128
  br i1 %129, label %155, label %130

130:                                              ; preds = %69
  %131 = load i32, ptr @PIdx, align 4, !tbaa !5
  %132 = sext i32 %131 to i64
  %133 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %132
  %134 = getelementptr inbounds %struct.Grid_Type, ptr %133, i32 0, i32 1
  %135 = load i32, ptr %5, align 4, !tbaa !5
  %136 = sext i32 %135 to i64
  %137 = getelementptr inbounds [81 x i32], ptr %134, i64 0, i64 %136
  %138 = load i32, ptr %137, align 4, !tbaa !5
  %139 = zext i32 %138 to i64
  %140 = getelementptr inbounds [512 x i32], ptr @NSet, i64 0, i64 %139
  %141 = load i32, ptr %140, align 4, !tbaa !5
  %142 = load i32, ptr %10, align 4, !tbaa !5
  %143 = icmp eq i32 %141, %142
  br i1 %143, label %144, label %173

144:                                              ; preds = %130
  %145 = load i32, ptr %7, align 4, !tbaa !5
  %146 = load i32, ptr %8, align 4, !tbaa !5
  %147 = icmp sle i32 %145, %146
  br i1 %147, label %148, label %173

148:                                              ; preds = %144
  %149 = load i32, ptr %5, align 4, !tbaa !5
  %150 = sext i32 %149 to i64
  %151 = getelementptr inbounds [81 x i32], ptr @OneStepP, i64 0, i64 %150
  %152 = load i32, ptr %151, align 4, !tbaa !5
  %153 = load i32, ptr %9, align 4, !tbaa !5
  %154 = icmp sle i32 %152, %153
  br i1 %154, label %155, label %173

155:                                              ; preds = %148, %69
  %156 = load i32, ptr %7, align 4, !tbaa !5
  store i32 %156, ptr %8, align 4, !tbaa !5
  %157 = load i32, ptr %5, align 4, !tbaa !5
  store i32 %157, ptr %11, align 4, !tbaa !5
  %158 = load i32, ptr @PIdx, align 4, !tbaa !5
  %159 = sext i32 %158 to i64
  %160 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %159
  %161 = getelementptr inbounds %struct.Grid_Type, ptr %160, i32 0, i32 1
  %162 = load i32, ptr %5, align 4, !tbaa !5
  %163 = sext i32 %162 to i64
  %164 = getelementptr inbounds [81 x i32], ptr %161, i64 0, i64 %163
  %165 = load i32, ptr %164, align 4, !tbaa !5
  %166 = zext i32 %165 to i64
  %167 = getelementptr inbounds [512 x i32], ptr @NSet, i64 0, i64 %166
  %168 = load i32, ptr %167, align 4, !tbaa !5
  store i32 %168, ptr %10, align 4, !tbaa !5
  %169 = load i32, ptr %5, align 4, !tbaa !5
  %170 = sext i32 %169 to i64
  %171 = getelementptr inbounds [81 x i32], ptr @OneStepP, i64 0, i64 %170
  %172 = load i32, ptr %171, align 4, !tbaa !5
  store i32 %172, ptr %9, align 4, !tbaa !5
  br label %173

173:                                              ; preds = %155, %148, %144, %130
  br label %174

174:                                              ; preds = %173, %63, %50, %36
  br label %175

175:                                              ; preds = %174
  %176 = load i32, ptr %5, align 4, !tbaa !5
  %177 = add nsw i32 %176, 1
  store i32 %177, ptr %5, align 4, !tbaa !5
  br label %33, !llvm.loop !12

178:                                              ; preds = %33
  %179 = load i32, ptr %11, align 4, !tbaa !5
  %180 = icmp eq i32 %179, 99
  br i1 %180, label %181, label %182

181:                                              ; preds = %178
  store i32 1, ptr %15, align 4
  br label %492

182:                                              ; preds = %178
  %183 = load i32, ptr %11, align 4, !tbaa !5
  %184 = sext i32 %183 to i64
  %185 = getelementptr inbounds [81 x i32], ptr %12, i64 0, i64 %184
  store i32 1, ptr %185, align 4, !tbaa !5
  %186 = load i32, ptr @OneStepI, align 4, !tbaa !5
  %187 = add nsw i32 %186, 1
  store i32 %187, ptr @OneStepI, align 4, !tbaa !5
  %188 = load i32, ptr @OneStepI, align 4, !tbaa !5
  %189 = load i32, ptr %11, align 4, !tbaa !5
  %190 = sext i32 %189 to i64
  %191 = getelementptr inbounds [81 x i32], ptr @OneStepP, i64 0, i64 %190
  store i32 %188, ptr %191, align 4, !tbaa !5
  store i32 0, ptr %6, align 4, !tbaa !5
  br label %192

192:                                              ; preds = %321, %182
  %193 = load i32, ptr %6, align 4, !tbaa !5
  %194 = load i32, ptr @PIdx, align 4, !tbaa !5
  %195 = sext i32 %194 to i64
  %196 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %195
  %197 = getelementptr inbounds %struct.Grid_Type, ptr %196, i32 0, i32 1
  %198 = load i32, ptr %11, align 4, !tbaa !5
  %199 = sext i32 %198 to i64
  %200 = getelementptr inbounds [81 x i32], ptr %197, i64 0, i64 %199
  %201 = load i32, ptr %200, align 4, !tbaa !5
  %202 = zext i32 %201 to i64
  %203 = getelementptr inbounds [512 x i32], ptr @NSet, i64 0, i64 %202
  %204 = load i32, ptr %203, align 4, !tbaa !5
  %205 = icmp slt i32 %193, %204
  br i1 %205, label %206, label %324

206:                                              ; preds = %192
  %207 = load i32, ptr @PIdx, align 4, !tbaa !5
  %208 = sext i32 %207 to i64
  %209 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %208
  %210 = load i32, ptr @PIdx, align 4, !tbaa !5
  %211 = add nsw i32 %210, 1
  %212 = load i32, ptr %6, align 4, !tbaa !5
  %213 = add nsw i32 %211, %212
  %214 = sext i32 %213 to i64
  %215 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %214
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %215, ptr align 4 %209, i64 436, i1 false), !tbaa.struct !13
  %216 = load i32, ptr %11, align 4, !tbaa !5
  %217 = trunc i32 %216 to i8
  %218 = load i8, ptr @SingleCnt, align 1, !tbaa !11
  %219 = sext i8 %218 to i64
  %220 = getelementptr inbounds [128 x i8], ptr @SinglePos, i64 0, i64 %219
  store i8 %217, ptr %220, align 1, !tbaa !11
  %221 = load i32, ptr @PIdx, align 4, !tbaa !5
  %222 = sext i32 %221 to i64
  %223 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %222
  %224 = getelementptr inbounds %struct.Grid_Type, ptr %223, i32 0, i32 1
  %225 = load i32, ptr %11, align 4, !tbaa !5
  %226 = sext i32 %225 to i64
  %227 = getelementptr inbounds [81 x i32], ptr %224, i64 0, i64 %226
  %228 = load i32, ptr %227, align 4, !tbaa !5
  %229 = zext i32 %228 to i64
  %230 = getelementptr inbounds [512 x [10 x i32]], ptr @NSetX, i64 0, i64 %229
  %231 = load i32, ptr %6, align 4, !tbaa !5
  %232 = sext i32 %231 to i64
  %233 = getelementptr inbounds [10 x i32], ptr %230, i64 0, i64 %232
  %234 = load i32, ptr %233, align 4, !tbaa !5
  %235 = load i8, ptr @SingleCnt, align 1, !tbaa !11
  %236 = sext i8 %235 to i64
  %237 = getelementptr inbounds [128 x i32], ptr @SingleVal, i64 0, i64 %236
  store i32 %234, ptr %237, align 4, !tbaa !5
  %238 = load i8, ptr @SingleCnt, align 1, !tbaa !11
  %239 = add i8 %238, 1
  store i8 %239, ptr @SingleCnt, align 1, !tbaa !11
  store i32 1, ptr @Changed, align 4, !tbaa !5
  %240 = load i32, ptr %13, align 4, !tbaa !5
  %241 = add nsw i32 %240, 1
  %242 = load i32, ptr %6, align 4, !tbaa !5
  %243 = add nsw i32 %241, %242
  store i32 %243, ptr @PIdx, align 4, !tbaa !5
  %244 = load i32, ptr %4, align 4, !tbaa !5
  %245 = and i32 %244, 32
  %246 = icmp ne i32 %245, 0
  br i1 %246, label %247, label %254

247:                                              ; preds = %206
  %248 = load i32, ptr %3, align 4, !tbaa !5
  %249 = icmp ne i32 %248, 0
  br i1 %249, label %250, label %254

250:                                              ; preds = %247
  %251 = load i32, ptr %4, align 4, !tbaa !5
  %252 = or i32 %251, 16
  %253 = and i32 %252, -34
  store i32 %253, ptr %14, align 4, !tbaa !5
  br label %257

254:                                              ; preds = %247, %206
  %255 = load i32, ptr %4, align 4, !tbaa !5
  %256 = and i32 %255, -50
  store i32 %256, ptr %14, align 4, !tbaa !5
  br label %257

257:                                              ; preds = %254, %250
  %258 = load i32, ptr %14, align 4, !tbaa !5
  %259 = load i32, ptr @PIdx, align 4, !tbaa !5
  %260 = call noundef i32 @_Z6SolvercjciPc(i8 noundef signext 1, i32 noundef %258, i8 noundef signext 0, i32 noundef %259, ptr noundef null)
  %261 = load i32, ptr %13, align 4, !tbaa !5
  store i32 %261, ptr @PIdx, align 4, !tbaa !5
  %262 = load i32, ptr @No_Sol, align 4, !tbaa !5
  %263 = icmp ne i32 %262, 0
  br i1 %263, label %264, label %283

264:                                              ; preds = %257
  store i32 0, ptr %5, align 4, !tbaa !5
  br label %265

265:                                              ; preds = %279, %264
  %266 = load i32, ptr %5, align 4, !tbaa !5
  %267 = icmp slt i32 %266, 81
  br i1 %267, label %268, label %282

268:                                              ; preds = %265
  %269 = load i32, ptr @PIdx, align 4, !tbaa !5
  %270 = add nsw i32 %269, 1
  %271 = load i32, ptr %6, align 4, !tbaa !5
  %272 = add nsw i32 %270, %271
  %273 = sext i32 %272 to i64
  %274 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %273
  %275 = getelementptr inbounds %struct.Grid_Type, ptr %274, i32 0, i32 1
  %276 = load i32, ptr %5, align 4, !tbaa !5
  %277 = sext i32 %276 to i64
  %278 = getelementptr inbounds [81 x i32], ptr %275, i64 0, i64 %277
  store i32 0, ptr %278, align 4, !tbaa !5
  br label %279

279:                                              ; preds = %268
  %280 = load i32, ptr %5, align 4, !tbaa !5
  %281 = add nsw i32 %280, 1
  store i32 %281, ptr %5, align 4, !tbaa !5
  br label %265, !llvm.loop !14

282:                                              ; preds = %265
  br label %320

283:                                              ; preds = %257
  store i32 0, ptr %5, align 4, !tbaa !5
  br label %284

284:                                              ; preds = %316, %283
  %285 = load i32, ptr %5, align 4, !tbaa !5
  %286 = icmp slt i32 %285, 81
  br i1 %286, label %287, label %319

287:                                              ; preds = %284
  %288 = load i32, ptr @PIdx, align 4, !tbaa !5
  %289 = add nsw i32 %288, 1
  %290 = load i32, ptr %6, align 4, !tbaa !5
  %291 = add nsw i32 %289, %290
  %292 = sext i32 %291 to i64
  %293 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %292
  %294 = getelementptr inbounds %struct.Grid_Type, ptr %293, i32 0, i32 1
  %295 = load i32, ptr %5, align 4, !tbaa !5
  %296 = sext i32 %295 to i64
  %297 = getelementptr inbounds [81 x i32], ptr %294, i64 0, i64 %296
  %298 = load i32, ptr %297, align 4, !tbaa !5
  %299 = icmp ne i32 %298, 0
  br i1 %299, label %315, label %300

300:                                              ; preds = %287
  %301 = load i32, ptr %5, align 4, !tbaa !5
  %302 = sext i32 %301 to i64
  %303 = getelementptr inbounds [81 x i32], ptr @SolGrid, i64 0, i64 %302
  %304 = load i32, ptr %303, align 4, !tbaa !5
  %305 = load i32, ptr @PIdx, align 4, !tbaa !5
  %306 = add nsw i32 %305, 1
  %307 = load i32, ptr %6, align 4, !tbaa !5
  %308 = add nsw i32 %306, %307
  %309 = sext i32 %308 to i64
  %310 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %309
  %311 = getelementptr inbounds %struct.Grid_Type, ptr %310, i32 0, i32 1
  %312 = load i32, ptr %5, align 4, !tbaa !5
  %313 = sext i32 %312 to i64
  %314 = getelementptr inbounds [81 x i32], ptr %311, i64 0, i64 %313
  store i32 %304, ptr %314, align 4, !tbaa !5
  br label %315

315:                                              ; preds = %300, %287
  br label %316

316:                                              ; preds = %315
  %317 = load i32, ptr %5, align 4, !tbaa !5
  %318 = add nsw i32 %317, 1
  store i32 %318, ptr %5, align 4, !tbaa !5
  br label %284, !llvm.loop !15

319:                                              ; preds = %284
  br label %320

320:                                              ; preds = %319, %282
  store i32 0, ptr @No_Sol, align 4, !tbaa !5
  store i8 0, ptr @SingleCnt, align 1, !tbaa !11
  br label %321

321:                                              ; preds = %320
  %322 = load i32, ptr %6, align 4, !tbaa !5
  %323 = add nsw i32 %322, 1
  store i32 %323, ptr %6, align 4, !tbaa !5
  br label %192, !llvm.loop !16

324:                                              ; preds = %192
  store i32 1, ptr %6, align 4, !tbaa !5
  br label %325

325:                                              ; preds = %369, %324
  %326 = load i32, ptr %6, align 4, !tbaa !5
  %327 = load i32, ptr @PIdx, align 4, !tbaa !5
  %328 = sext i32 %327 to i64
  %329 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %328
  %330 = getelementptr inbounds %struct.Grid_Type, ptr %329, i32 0, i32 1
  %331 = load i32, ptr %11, align 4, !tbaa !5
  %332 = sext i32 %331 to i64
  %333 = getelementptr inbounds [81 x i32], ptr %330, i64 0, i64 %332
  %334 = load i32, ptr %333, align 4, !tbaa !5
  %335 = zext i32 %334 to i64
  %336 = getelementptr inbounds [512 x i32], ptr @NSet, i64 0, i64 %335
  %337 = load i32, ptr %336, align 4, !tbaa !5
  %338 = icmp slt i32 %326, %337
  br i1 %338, label %339, label %372

339:                                              ; preds = %325
  store i32 0, ptr %5, align 4, !tbaa !5
  br label %340

340:                                              ; preds = %365, %339
  %341 = load i32, ptr %5, align 4, !tbaa !5
  %342 = icmp slt i32 %341, 81
  br i1 %342, label %343, label %368

343:                                              ; preds = %340
  %344 = load i32, ptr @PIdx, align 4, !tbaa !5
  %345 = add nsw i32 %344, 1
  %346 = load i32, ptr %6, align 4, !tbaa !5
  %347 = add nsw i32 %345, %346
  %348 = sext i32 %347 to i64
  %349 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %348
  %350 = getelementptr inbounds %struct.Grid_Type, ptr %349, i32 0, i32 1
  %351 = load i32, ptr %5, align 4, !tbaa !5
  %352 = sext i32 %351 to i64
  %353 = getelementptr inbounds [81 x i32], ptr %350, i64 0, i64 %352
  %354 = load i32, ptr %353, align 4, !tbaa !5
  %355 = load i32, ptr @PIdx, align 4, !tbaa !5
  %356 = add nsw i32 %355, 1
  %357 = sext i32 %356 to i64
  %358 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %357
  %359 = getelementptr inbounds %struct.Grid_Type, ptr %358, i32 0, i32 1
  %360 = load i32, ptr %5, align 4, !tbaa !5
  %361 = sext i32 %360 to i64
  %362 = getelementptr inbounds [81 x i32], ptr %359, i64 0, i64 %361
  %363 = load i32, ptr %362, align 4, !tbaa !5
  %364 = or i32 %363, %354
  store i32 %364, ptr %362, align 4, !tbaa !5
  br label %365

365:                                              ; preds = %343
  %366 = load i32, ptr %5, align 4, !tbaa !5
  %367 = add nsw i32 %366, 1
  store i32 %367, ptr %5, align 4, !tbaa !5
  br label %340, !llvm.loop !17

368:                                              ; preds = %340
  br label %369

369:                                              ; preds = %368
  %370 = load i32, ptr %6, align 4, !tbaa !5
  %371 = add nsw i32 %370, 1
  store i32 %371, ptr %6, align 4, !tbaa !5
  br label %325, !llvm.loop !18

372:                                              ; preds = %325
  store i32 0, ptr %5, align 4, !tbaa !5
  br label %373

373:                                              ; preds = %380, %372
  %374 = load i32, ptr %5, align 4, !tbaa !5
  %375 = icmp slt i32 %374, 27
  br i1 %375, label %376, label %383

376:                                              ; preds = %373
  %377 = load i32, ptr %5, align 4, !tbaa !5
  %378 = sext i32 %377 to i64
  %379 = getelementptr inbounds [27 x i8], ptr @ChangedGroup, i64 0, i64 %378
  store i8 0, ptr %379, align 1, !tbaa !11
  br label %380

380:                                              ; preds = %376
  %381 = load i32, ptr %5, align 4, !tbaa !5
  %382 = add nsw i32 %381, 1
  store i32 %382, ptr %5, align 4, !tbaa !5
  br label %373, !llvm.loop !19

383:                                              ; preds = %373
  store i32 0, ptr @Changed, align 4, !tbaa !5
  store i32 0, ptr %5, align 4, !tbaa !5
  br label %384

384:                                              ; preds = %487, %383
  %385 = load i32, ptr %5, align 4, !tbaa !5
  %386 = icmp slt i32 %385, 81
  br i1 %386, label %387, label %490

387:                                              ; preds = %384
  %388 = load i32, ptr @PIdx, align 4, !tbaa !5
  %389 = sext i32 %388 to i64
  %390 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %389
  %391 = getelementptr inbounds %struct.Grid_Type, ptr %390, i32 0, i32 1
  %392 = load i32, ptr %5, align 4, !tbaa !5
  %393 = sext i32 %392 to i64
  %394 = getelementptr inbounds [81 x i32], ptr %391, i64 0, i64 %393
  %395 = load i32, ptr %394, align 4, !tbaa !5
  %396 = icmp ne i32 %395, 0
  br i1 %396, label %397, label %486

397:                                              ; preds = %387
  %398 = load i32, ptr @PIdx, align 4, !tbaa !5
  %399 = sext i32 %398 to i64
  %400 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %399
  %401 = getelementptr inbounds %struct.Grid_Type, ptr %400, i32 0, i32 1
  %402 = load i32, ptr %5, align 4, !tbaa !5
  %403 = sext i32 %402 to i64
  %404 = getelementptr inbounds [81 x i32], ptr %401, i64 0, i64 %403
  %405 = load i32, ptr %404, align 4, !tbaa !5
  %406 = load i32, ptr @PIdx, align 4, !tbaa !5
  %407 = add nsw i32 %406, 1
  %408 = sext i32 %407 to i64
  %409 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %408
  %410 = getelementptr inbounds %struct.Grid_Type, ptr %409, i32 0, i32 1
  %411 = load i32, ptr %5, align 4, !tbaa !5
  %412 = sext i32 %411 to i64
  %413 = getelementptr inbounds [81 x i32], ptr %410, i64 0, i64 %412
  %414 = load i32, ptr %413, align 4, !tbaa !5
  %415 = icmp ne i32 %405, %414
  br i1 %415, label %416, label %486

416:                                              ; preds = %397
  %417 = load i32, ptr @PIdx, align 4, !tbaa !5
  %418 = add nsw i32 %417, 1
  %419 = sext i32 %418 to i64
  %420 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %419
  %421 = getelementptr inbounds %struct.Grid_Type, ptr %420, i32 0, i32 1
  %422 = load i32, ptr %5, align 4, !tbaa !5
  %423 = sext i32 %422 to i64
  %424 = getelementptr inbounds [81 x i32], ptr %421, i64 0, i64 %423
  %425 = load i32, ptr %424, align 4, !tbaa !5
  %426 = load i32, ptr @PIdx, align 4, !tbaa !5
  %427 = sext i32 %426 to i64
  %428 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %427
  %429 = getelementptr inbounds %struct.Grid_Type, ptr %428, i32 0, i32 1
  %430 = load i32, ptr %5, align 4, !tbaa !5
  %431 = sext i32 %430 to i64
  %432 = getelementptr inbounds [81 x i32], ptr %429, i64 0, i64 %431
  store i32 %425, ptr %432, align 4, !tbaa !5
  %433 = load i32, ptr @PIdx, align 4, !tbaa !5
  %434 = sext i32 %433 to i64
  %435 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %434
  %436 = getelementptr inbounds %struct.Grid_Type, ptr %435, i32 0, i32 1
  %437 = load i32, ptr %5, align 4, !tbaa !5
  %438 = sext i32 %437 to i64
  %439 = getelementptr inbounds [81 x i32], ptr %436, i64 0, i64 %438
  %440 = load i32, ptr %439, align 4, !tbaa !5
  %441 = zext i32 %440 to i64
  %442 = getelementptr inbounds [512 x i32], ptr @B2V, i64 0, i64 %441
  %443 = load i32, ptr %442, align 4, !tbaa !5
  %444 = icmp ne i32 %443, 0
  br i1 %444, label %445, label %464

445:                                              ; preds = %416
  %446 = load i32, ptr %5, align 4, !tbaa !5
  %447 = trunc i32 %446 to i8
  %448 = load i8, ptr @SingleCnt, align 1, !tbaa !11
  %449 = sext i8 %448 to i64
  %450 = getelementptr inbounds [128 x i8], ptr @SinglePos, i64 0, i64 %449
  store i8 %447, ptr %450, align 1, !tbaa !11
  %451 = load i32, ptr @PIdx, align 4, !tbaa !5
  %452 = sext i32 %451 to i64
  %453 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %452
  %454 = getelementptr inbounds %struct.Grid_Type, ptr %453, i32 0, i32 1
  %455 = load i32, ptr %5, align 4, !tbaa !5
  %456 = sext i32 %455 to i64
  %457 = getelementptr inbounds [81 x i32], ptr %454, i64 0, i64 %456
  %458 = load i32, ptr %457, align 4, !tbaa !5
  %459 = load i8, ptr @SingleCnt, align 1, !tbaa !11
  %460 = sext i8 %459 to i64
  %461 = getelementptr inbounds [128 x i32], ptr @SingleVal, i64 0, i64 %460
  store i32 %458, ptr %461, align 4, !tbaa !5
  %462 = load i8, ptr @SingleCnt, align 1, !tbaa !11
  %463 = add i8 %462, 1
  store i8 %463, ptr @SingleCnt, align 1, !tbaa !11
  store i32 1, ptr @Changed, align 4, !tbaa !5
  br label %464

464:                                              ; preds = %445, %416
  store i32 1, ptr @Changed, align 4, !tbaa !5
  %465 = load i32, ptr %5, align 4, !tbaa !5
  %466 = sext i32 %465 to i64
  %467 = getelementptr inbounds [81 x [3 x i8]], ptr @_ZL5C2Grp, i64 0, i64 %466
  %468 = getelementptr inbounds [3 x i8], ptr %467, i64 0, i64 2
  %469 = load i8, ptr %468, align 1, !tbaa !11
  %470 = zext i8 %469 to i64
  %471 = getelementptr inbounds [27 x i8], ptr @ChangedGroup, i64 0, i64 %470
  store i8 1, ptr %471, align 1, !tbaa !11
  %472 = load i32, ptr %5, align 4, !tbaa !5
  %473 = sext i32 %472 to i64
  %474 = getelementptr inbounds [81 x [3 x i8]], ptr @_ZL5C2Grp, i64 0, i64 %473
  %475 = getelementptr inbounds [3 x i8], ptr %474, i64 0, i64 1
  %476 = load i8, ptr %475, align 1, !tbaa !11
  %477 = zext i8 %476 to i64
  %478 = getelementptr inbounds [27 x i8], ptr @ChangedGroup, i64 0, i64 %477
  store i8 1, ptr %478, align 1, !tbaa !11
  %479 = load i32, ptr %5, align 4, !tbaa !5
  %480 = sext i32 %479 to i64
  %481 = getelementptr inbounds [81 x [3 x i8]], ptr @_ZL5C2Grp, i64 0, i64 %480
  %482 = getelementptr inbounds [3 x i8], ptr %481, i64 0, i64 0
  %483 = load i8, ptr %482, align 1, !tbaa !11
  %484 = zext i8 %483 to i64
  %485 = getelementptr inbounds [27 x i8], ptr @ChangedGroup, i64 0, i64 %484
  store i8 1, ptr %485, align 1, !tbaa !11
  br label %486

486:                                              ; preds = %464, %397, %387
  br label %487

487:                                              ; preds = %486
  %488 = load i32, ptr %5, align 4, !tbaa !5
  %489 = add nsw i32 %488, 1
  store i32 %489, ptr %5, align 4, !tbaa !5
  br label %384, !llvm.loop !20

490:                                              ; preds = %384
  br label %28, !llvm.loop !21

491:                                              ; preds = %28
  store i32 0, ptr %15, align 4
  br label %492

492:                                              ; preds = %491, %181
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #3
  call void @llvm.lifetime.end.p0(i64 324, ptr %12) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #3
  %493 = load i32, ptr %15, align 4
  switch i32 %493, label %495 [
    i32 0, label %494
    i32 1, label %494
  ]

494:                                              ; preds = %492, %492
  ret void

495:                                              ; preds = %492
  unreachable
}

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: readwrite)
declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #2

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { mustprogress 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 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #3 = { 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++ TBAA"}
!9 = distinct !{!9, !10}
!10 = !{!"llvm.loop.mustprogress"}
!11 = !{!7, !7, i64 0}
!12 = distinct !{!12, !10}
!13 = !{i64 0, i64 4, !5, i64 4, i64 324, !11, i64 328, i64 108, !11}
!14 = distinct !{!14, !10}
!15 = distinct !{!15, !10}
!16 = distinct !{!16, !10}
!17 = distinct !{!17, !10}
!18 = distinct !{!18, !10}
!19 = distinct !{!19, !10}
!20 = distinct !{!20, !10}
!21 = distinct !{!21, !10}


; 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.Grid_Type = type { i32, [81 x i32], [27 x i32] }

@B2V = external dso_local local_unnamed_addr global [512 x i32], align 16
@NSet = external dso_local local_unnamed_addr global [512 x i32], align 16
@NSetX = external dso_local local_unnamed_addr global [512 x [10 x i32]], align 16
@G = external dso_local local_unnamed_addr global [64 x %struct.Grid_Type], align 16
@SolGrid = external dso_local local_unnamed_addr global [81 x i32], align 16
@SingleCnt = external dso_local local_unnamed_addr global i8, align 1
@SinglePos = external dso_local local_unnamed_addr global [128 x i8], align 16
@SingleVal = external dso_local local_unnamed_addr global [128 x i32], align 16
@Changed = external dso_local local_unnamed_addr global i32, align 4
@ChangedGroup = external dso_local local_unnamed_addr global [27 x i8], align 16
@OneStepP = external dso_local local_unnamed_addr global [81 x i32], align 16
@OneStepI = external dso_local local_unnamed_addr global i32, align 4
@No_Sol = external dso_local local_unnamed_addr global i32, align 4
@PIdx = external dso_local local_unnamed_addr global i32, align 4
@_ZL5C2Grp = external hidden local_unnamed_addr constant [81 x [3 x i8]], align 16

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

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef i32 @_Z6SolvercjciPc(i8 noundef signext, i32 noundef, i8 noundef signext, i32 noundef, ptr noundef) local_unnamed_addr #1

; Function Attrs: mustprogress uwtable
define dso_local void @_Z6DoStepii(i32 noundef %0, i32 noundef %1) local_unnamed_addr #1 {
  %3 = alloca [81 x i32], align 16
  call void @llvm.lifetime.start.p0(i64 324, ptr nonnull %3) #4
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(324) %3, i8 0, i64 324, i1 false), !tbaa !5
  %4 = load i32, ptr @PIdx, align 4, !tbaa !5
  %5 = load i32, ptr @Changed, align 4, !tbaa !5
  %.not127 = icmp eq i32 %5, 0
  br i1 %.not127, label %.preheader110.lr.ph, label %._crit_edge

.preheader110.lr.ph:                              ; preds = %2
  %6 = add i32 %4, 1
  %7 = and i32 %1, 32
  %8 = icmp ne i32 %7, 0
  %9 = icmp ne i32 %0, 0
  %or.cond = and i1 %9, %8
  %10 = and i32 %1, -50
  %11 = or disjoint i32 %10, 16
  %.0 = select i1 %or.cond, i32 %11, i32 %10
  %12 = sext i32 %6 to i64
  %13 = sext i32 %4 to i64
  %14 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %13
  %15 = getelementptr inbounds i8, ptr %14, i64 4
  %16 = getelementptr inbounds i8, ptr %14, i64 328
  %17 = sext i32 %4 to i64
  %18 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %17
  %19 = getelementptr inbounds i8, ptr %18, i64 4
  %.pre160 = add nsw i32 %4, 1
  %.pre161 = sext i32 %.pre160 to i64
  %20 = add nsw i32 %4, 1
  %21 = sext i32 %20 to i64
  %22 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %21, i32 1, i64 0
  %23 = getelementptr inbounds i8, ptr %22, i64 16
  %24 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %21, i32 1, i64 8
  %25 = getelementptr inbounds i8, ptr %24, i64 16
  %26 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %21, i32 1, i64 16
  %27 = getelementptr inbounds i8, ptr %26, i64 16
  %28 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %21, i32 1, i64 24
  %29 = getelementptr inbounds i8, ptr %28, i64 16
  %30 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %21, i32 1, i64 32
  %31 = getelementptr inbounds i8, ptr %30, i64 16
  %32 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %21, i32 1, i64 40
  %33 = getelementptr inbounds i8, ptr %32, i64 16
  %34 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %21, i32 1, i64 48
  %35 = getelementptr inbounds i8, ptr %34, i64 16
  %36 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %21, i32 1, i64 56
  %37 = getelementptr inbounds i8, ptr %36, i64 16
  %38 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %21, i32 1, i64 64
  %39 = getelementptr inbounds i8, ptr %38, i64 16
  %40 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %21, i32 1, i64 72
  %41 = getelementptr inbounds i8, ptr %40, i64 16
  %42 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %21, i32 1, i64 80
  br label %.preheader110

.loopexit107:                                     ; preds = %251
  br i1 %.not, label %.preheader110.backedge, label %._crit_edge

.preheader110:                                    ; preds = %.preheader110.backedge, %.preheader110.lr.ph
  %indvars.iv = phi i64 [ 0, %.preheader110.lr.ph ], [ %indvars.iv.be, %.preheader110.backedge ]
  %.079116 = phi i32 [ 99, %.preheader110.lr.ph ], [ %.079116.be, %.preheader110.backedge ]
  %.081115 = phi i32 [ 99, %.preheader110.lr.ph ], [ %.081115.be, %.preheader110.backedge ]
  %.083114 = phi i32 [ 99, %.preheader110.lr.ph ], [ %.083114.be, %.preheader110.backedge ]
  %.186113 = phi i32 [ undef, %.preheader110.lr.ph ], [ %.287, %.preheader110.backedge ]
  %43 = getelementptr inbounds [81 x i32], ptr %15, i64 0, i64 %indvars.iv
  %44 = load i32, ptr %43, align 4, !tbaa !5
  %45 = zext i32 %44 to i64
  %46 = getelementptr inbounds [512 x i32], ptr @NSet, i64 0, i64 %45
  %47 = load i32, ptr %46, align 4, !tbaa !5
  %.not98 = icmp sle i32 %47, %.081115
  %48 = icmp sgt i32 %47, 1
  %or.cond102 = and i1 %.not98, %48
  br i1 %or.cond102, label %49, label %88

49:                                               ; preds = %.preheader110
  %50 = getelementptr inbounds [81 x i32], ptr %3, i64 0, i64 %indvars.iv
  %51 = load i32, ptr %50, align 4, !tbaa !5
  %.not99 = icmp eq i32 %51, 0
  br i1 %.not99, label %52, label %88

52:                                               ; preds = %49
  %53 = getelementptr inbounds [81 x [3 x i8]], ptr @_ZL5C2Grp, i64 0, i64 %indvars.iv
  %54 = load i8, ptr %53, align 1, !tbaa !9
  %55 = zext i8 %54 to i64
  %56 = getelementptr inbounds [27 x i32], ptr %16, i64 0, i64 %55
  %57 = load i32, ptr %56, align 4, !tbaa !5
  %58 = zext i32 %57 to i64
  %59 = getelementptr inbounds [512 x i32], ptr @NSet, i64 0, i64 %58
  %60 = load i32, ptr %59, align 4, !tbaa !5
  %61 = getelementptr inbounds i8, ptr %53, i64 1
  %62 = load i8, ptr %61, align 1, !tbaa !9
  %63 = zext i8 %62 to i64
  %64 = getelementptr inbounds [27 x i32], ptr %16, i64 0, i64 %63
  %65 = load i32, ptr %64, align 4, !tbaa !5
  %66 = zext i32 %65 to i64
  %67 = getelementptr inbounds [512 x i32], ptr @NSet, i64 0, i64 %66
  %68 = load i32, ptr %67, align 4, !tbaa !5
  %69 = add nsw i32 %68, %60
  %70 = getelementptr inbounds i8, ptr %53, i64 2
  %71 = load i8, ptr %70, align 1, !tbaa !9
  %72 = zext i8 %71 to i64
  %73 = getelementptr inbounds [27 x i32], ptr %16, i64 0, i64 %72
  %74 = load i32, ptr %73, align 4, !tbaa !5
  %75 = zext i32 %74 to i64
  %76 = getelementptr inbounds [512 x i32], ptr @NSet, i64 0, i64 %75
  %77 = load i32, ptr %76, align 4, !tbaa !5
  %78 = add nsw i32 %69, %77
  %79 = icmp slt i32 %47, %.081115
  br i1 %79, label %._crit_edge158, label %80

._crit_edge158:                                   ; preds = %52
  %.phi.trans.insert = getelementptr inbounds [81 x i32], ptr @OneStepP, i64 0, i64 %indvars.iv
  %.pre = load i32, ptr %.phi.trans.insert, align 4, !tbaa !5
  br label %85

80:                                               ; preds = %52
  %81 = icmp ne i32 %47, %.081115
  %.not100 = icmp sgt i32 %78, %.186113
  %or.cond103 = select i1 %81, i1 true, i1 %.not100
  br i1 %or.cond103, label %88, label %82

82:                                               ; preds = %80
  %83 = getelementptr inbounds [81 x i32], ptr @OneStepP, i64 0, i64 %indvars.iv
  %84 = load i32, ptr %83, align 4, !tbaa !5
  %.not101 = icmp sgt i32 %84, %.083114
  br i1 %.not101, label %88, label %85

85:                                               ; preds = %._crit_edge158, %82
  %86 = phi i32 [ %.pre, %._crit_edge158 ], [ %84, %82 ]
  %87 = trunc nuw nsw i64 %indvars.iv to i32
  br label %88

88:                                               ; preds = %.preheader110, %49, %85, %82, %80
  %.287 = phi i32 [ %.186113, %49 ], [ %78, %85 ], [ %.186113, %82 ], [ %.186113, %80 ], [ %.186113, %.preheader110 ]
  %.184 = phi i32 [ %.083114, %49 ], [ %86, %85 ], [ %.083114, %82 ], [ %.083114, %80 ], [ %.083114, %.preheader110 ]
  %.182 = phi i32 [ %.081115, %49 ], [ %47, %85 ], [ %.081115, %82 ], [ %.081115, %80 ], [ %.081115, %.preheader110 ]
  %.180 = phi i32 [ %.079116, %49 ], [ %87, %85 ], [ %.079116, %82 ], [ %.079116, %80 ], [ %.079116, %.preheader110 ]
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next, 81
  br i1 %exitcond.not, label %89, label %.preheader110.backedge

.preheader110.backedge:                           ; preds = %88, %.loopexit107
  %indvars.iv.be = phi i64 [ %indvars.iv.next, %88 ], [ 0, %.loopexit107 ]
  %.079116.be = phi i32 [ %.180, %88 ], [ 99, %.loopexit107 ]
  %.081115.be = phi i32 [ %.182, %88 ], [ 99, %.loopexit107 ]
  %.083114.be = phi i32 [ %.184, %88 ], [ 99, %.loopexit107 ]
  br label %.preheader110, !llvm.loop !10

89:                                               ; preds = %88
  %90 = icmp eq i32 %.180, 99
  br i1 %90, label %._crit_edge, label %91

91:                                               ; preds = %89
  %92 = sext i32 %.180 to i64
  %93 = getelementptr inbounds [81 x i32], ptr %3, i64 0, i64 %92
  store i32 1, ptr %93, align 4, !tbaa !5
  %94 = load i32, ptr @OneStepI, align 4, !tbaa !5
  %95 = add nsw i32 %94, 1
  store i32 %95, ptr @OneStepI, align 4, !tbaa !5
  %96 = getelementptr inbounds [81 x i32], ptr @OneStepP, i64 0, i64 %92
  store i32 %95, ptr %96, align 4, !tbaa !5
  %97 = getelementptr inbounds [81 x i32], ptr %15, i64 0, i64 %92
  %98 = load i32, ptr %97, align 4, !tbaa !5
  %99 = zext i32 %98 to i64
  %100 = getelementptr inbounds [512 x i32], ptr @NSet, i64 0, i64 %99
  %101 = load i32, ptr %100, align 4, !tbaa !5
  %102 = icmp sgt i32 %101, 0
  br i1 %102, label %.lr.ph, label %.preheader109

.lr.ph:                                           ; preds = %91
  %103 = trunc i32 %.180 to i8
  %.pre159 = load i8, ptr @SingleCnt, align 1, !tbaa !9
  %104 = getelementptr inbounds [81 x i32], ptr %19, i64 0, i64 %92
  br label %111

.preheader109:                                    ; preds = %.loopexit, %91
  %.lcssa = phi i64 [ %13, %91 ], [ %17, %.loopexit ]
  %105 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %.lcssa, i32 1, i64 %92
  %106 = load i32, ptr %105, align 4, !tbaa !5
  %107 = zext i32 %106 to i64
  %108 = getelementptr inbounds [512 x i32], ptr @NSet, i64 0, i64 %107
  %109 = load i32, ptr %108, align 4, !tbaa !5
  %110 = icmp sgt i32 %109, 1
  br i1 %110, label %.preheader, label %.preheader108

111:                                              ; preds = %.lr.ph, %.loopexit
  %112 = phi i8 [ %.pre159, %.lr.ph ], [ 0, %.loopexit ]
  %indvars.iv142 = phi i64 [ 0, %.lr.ph ], [ %indvars.iv.next143, %.loopexit ]
  %113 = phi ptr [ %14, %.lr.ph ], [ %18, %.loopexit ]
  %114 = phi i64 [ %13, %.lr.ph ], [ %17, %.loopexit ]
  %indvars.iv.next143 = add nuw nsw i64 %indvars.iv142, 1
  %115 = trunc nuw nsw i64 %indvars.iv.next143 to i32
  %116 = add i32 %4, %115
  %117 = sext i32 %116 to i64
  %118 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %117
  tail call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 4 dereferenceable(436) %118, ptr noundef nonnull align 4 dereferenceable(436) %113, i64 436, i1 false), !tbaa.struct !12
  %119 = sext i8 %112 to i64
  %120 = getelementptr inbounds [128 x i8], ptr @SinglePos, i64 0, i64 %119
  store i8 %103, ptr %120, align 1, !tbaa !9
  %121 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %114, i32 1, i64 %92
  %122 = load i32, ptr %121, align 4, !tbaa !5
  %123 = zext i32 %122 to i64
  %124 = getelementptr inbounds [512 x [10 x i32]], ptr @NSetX, i64 0, i64 %123, i64 %indvars.iv142
  %125 = load i32, ptr %124, align 4, !tbaa !5
  %126 = getelementptr inbounds [128 x i32], ptr @SingleVal, i64 0, i64 %119
  store i32 %125, ptr %126, align 4, !tbaa !5
  %127 = add i8 %112, 1
  store i8 %127, ptr @SingleCnt, align 1, !tbaa !9
  store i32 1, ptr @Changed, align 4, !tbaa !5
  %128 = add nsw i64 %indvars.iv142, %12
  %129 = trunc nsw i64 %128 to i32
  store i32 %129, ptr @PIdx, align 4, !tbaa !5
  %130 = tail call noundef i32 @_Z6SolvercjciPc(i8 noundef signext 1, i32 noundef %.0, i8 noundef signext 0, i32 noundef %129, ptr noundef null)
  store i32 %4, ptr @PIdx, align 4, !tbaa !5
  %131 = load i32, ptr @No_Sol, align 4, !tbaa !5
  %.not96 = icmp eq i32 %131, 0
  br i1 %.not96, label %vector.body187, label %.preheader105

vector.body187:                                   ; preds = %111, %pred.store.continue206
  %index188 = phi i64 [ %index.next207, %pred.store.continue206 ], [ 0, %111 ]
  %132 = or disjoint i64 %index188, 4
  %133 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %128, i32 1, i64 %index188
  %134 = getelementptr inbounds i8, ptr %133, i64 16
  %wide.load189 = load <4 x i32>, ptr %133, align 4, !tbaa !5
  %wide.load190 = load <4 x i32>, ptr %134, align 4, !tbaa !5
  %135 = icmp eq <4 x i32> %wide.load189, zeroinitializer
  %136 = icmp eq <4 x i32> %wide.load190, zeroinitializer
  %137 = getelementptr [81 x i32], ptr @SolGrid, i64 0, i64 %index188
  %138 = getelementptr i8, ptr %137, i64 16
  %wide.load191 = load <4 x i32>, ptr %137, align 16, !tbaa !5
  %wide.load192 = load <4 x i32>, ptr %138, align 16, !tbaa !5
  %139 = extractelement <4 x i1> %135, i64 0
  br i1 %139, label %pred.store.if, label %pred.store.continue

pred.store.if:                                    ; preds = %vector.body187
  %140 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %128, i32 1, i64 %index188
  %141 = extractelement <4 x i32> %wide.load191, i64 0
  store i32 %141, ptr %140, align 4, !tbaa !5
  br label %pred.store.continue

pred.store.continue:                              ; preds = %pred.store.if, %vector.body187
  %142 = extractelement <4 x i1> %135, i64 1
  br i1 %142, label %pred.store.if193, label %pred.store.continue194

pred.store.if193:                                 ; preds = %pred.store.continue
  %143 = or disjoint i64 %index188, 1
  %144 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %128, i32 1, i64 %143
  %145 = extractelement <4 x i32> %wide.load191, i64 1
  store i32 %145, ptr %144, align 4, !tbaa !5
  br label %pred.store.continue194

pred.store.continue194:                           ; preds = %pred.store.if193, %pred.store.continue
  %146 = extractelement <4 x i1> %135, i64 2
  br i1 %146, label %pred.store.if195, label %pred.store.continue196

pred.store.if195:                                 ; preds = %pred.store.continue194
  %147 = or disjoint i64 %index188, 2
  %148 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %128, i32 1, i64 %147
  %149 = extractelement <4 x i32> %wide.load191, i64 2
  store i32 %149, ptr %148, align 4, !tbaa !5
  br label %pred.store.continue196

pred.store.continue196:                           ; preds = %pred.store.if195, %pred.store.continue194
  %150 = extractelement <4 x i1> %135, i64 3
  br i1 %150, label %pred.store.if197, label %pred.store.continue198

pred.store.if197:                                 ; preds = %pred.store.continue196
  %151 = or disjoint i64 %index188, 3
  %152 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %128, i32 1, i64 %151
  %153 = extractelement <4 x i32> %wide.load191, i64 3
  store i32 %153, ptr %152, align 4, !tbaa !5
  br label %pred.store.continue198

pred.store.continue198:                           ; preds = %pred.store.if197, %pred.store.continue196
  %154 = extractelement <4 x i1> %136, i64 0
  br i1 %154, label %pred.store.if199, label %pred.store.continue200

pred.store.if199:                                 ; preds = %pred.store.continue198
  %155 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %128, i32 1, i64 %132
  %156 = extractelement <4 x i32> %wide.load192, i64 0
  store i32 %156, ptr %155, align 4, !tbaa !5
  br label %pred.store.continue200

pred.store.continue200:                           ; preds = %pred.store.if199, %pred.store.continue198
  %157 = extractelement <4 x i1> %136, i64 1
  br i1 %157, label %pred.store.if201, label %pred.store.continue202

pred.store.if201:                                 ; preds = %pred.store.continue200
  %158 = or disjoint i64 %index188, 5
  %159 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %128, i32 1, i64 %158
  %160 = extractelement <4 x i32> %wide.load192, i64 1
  store i32 %160, ptr %159, align 4, !tbaa !5
  br label %pred.store.continue202

pred.store.continue202:                           ; preds = %pred.store.if201, %pred.store.continue200
  %161 = extractelement <4 x i1> %136, i64 2
  br i1 %161, label %pred.store.if203, label %pred.store.continue204

pred.store.if203:                                 ; preds = %pred.store.continue202
  %162 = or disjoint i64 %index188, 6
  %163 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %128, i32 1, i64 %162
  %164 = extractelement <4 x i32> %wide.load192, i64 2
  store i32 %164, ptr %163, align 4, !tbaa !5
  br label %pred.store.continue204

pred.store.continue204:                           ; preds = %pred.store.if203, %pred.store.continue202
  %165 = extractelement <4 x i1> %136, i64 3
  br i1 %165, label %pred.store.if205, label %pred.store.continue206

pred.store.if205:                                 ; preds = %pred.store.continue204
  %166 = or disjoint i64 %index188, 7
  %167 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %128, i32 1, i64 %166
  %168 = extractelement <4 x i32> %wide.load192, i64 3
  store i32 %168, ptr %167, align 4, !tbaa !5
  br label %pred.store.continue206

pred.store.continue206:                           ; preds = %pred.store.if205, %pred.store.continue204
  %index.next207 = add nuw i64 %index188, 8
  %169 = icmp eq i64 %index.next207, 80
  br i1 %169, label %.preheader104, label %vector.body187, !llvm.loop !13

.preheader105:                                    ; preds = %111
  %170 = trunc nuw nsw i64 %indvars.iv142 to i32
  %171 = add i32 %6, %170
  %172 = sext i32 %171 to i64
  %173 = mul nsw i64 %172, 436
  %scevgep = getelementptr i8, ptr getelementptr inbounds (i8, ptr @G, i64 4), i64 %173
  tail call void @llvm.memset.p0.i64(ptr noundef nonnull align 4 dereferenceable(324) %scevgep, i8 0, i64 324, i1 false), !tbaa !5
  br label %.loopexit

.preheader104:                                    ; preds = %pred.store.continue206
  %174 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %128, i32 1, i64 80
  %175 = load i32, ptr %174, align 4, !tbaa !5
  %.not97 = icmp eq i32 %175, 0
  br i1 %.not97, label %176, label %.loopexit

176:                                              ; preds = %.preheader104
  %177 = load i32, ptr getelementptr inbounds (i8, ptr @SolGrid, i64 320), align 16, !tbaa !5
  store i32 %177, ptr %174, align 4, !tbaa !5
  br label %.loopexit

.loopexit:                                        ; preds = %176, %.preheader104, %.preheader105
  store i32 0, ptr @No_Sol, align 4, !tbaa !5
  store i8 0, ptr @SingleCnt, align 1, !tbaa !9
  %178 = load i32, ptr %104, align 4, !tbaa !5
  %179 = zext i32 %178 to i64
  %180 = getelementptr inbounds [512 x i32], ptr @NSet, i64 0, i64 %179
  %181 = load i32, ptr %180, align 4, !tbaa !5
  %182 = sext i32 %181 to i64
  %183 = icmp slt i64 %indvars.iv.next143, %182
  br i1 %183, label %111, label %.preheader109, !llvm.loop !16

.preheader108:                                    ; preds = %.preheader, %.preheader109
  %.pre-phi162 = phi i64 [ %.pre161, %.preheader109 ], [ %21, %.preheader ]
  tail call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(27) @ChangedGroup, i8 0, i64 27, i1 false), !tbaa !9
  store i32 0, ptr @Changed, align 4, !tbaa !5
  %SingleCnt.promoted = load i8, ptr @SingleCnt, align 1, !tbaa !9
  br label %.outer

.outer:                                           ; preds = %.thread, %.preheader108
  %.not = phi i1 [ false, %.thread ], [ true, %.preheader108 ]
  %indvars.iv155.ph = phi i64 [ %indvars.iv.next156163, %.thread ], [ 0, %.preheader108 ]
  %.ph166 = phi i8 [ %252, %.thread ], [ %SingleCnt.promoted, %.preheader108 ]
  br label %235

.preheader:                                       ; preds = %.preheader109, %.preheader
  %indvars.iv149 = phi i64 [ %indvars.iv.next150, %.preheader ], [ 1, %.preheader109 ]
  %184 = add nsw i64 %indvars.iv149, %21
  %185 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %184, i32 1, i64 0
  %186 = getelementptr inbounds i8, ptr %185, i64 16
  %wide.load = load <4 x i32>, ptr %185, align 4, !tbaa !5
  %wide.load180 = load <4 x i32>, ptr %186, align 4, !tbaa !5
  %wide.load181 = load <4 x i32>, ptr %22, align 4, !tbaa !5
  %wide.load182 = load <4 x i32>, ptr %23, align 4, !tbaa !5
  %187 = or <4 x i32> %wide.load181, %wide.load
  %188 = or <4 x i32> %wide.load182, %wide.load180
  store <4 x i32> %187, ptr %22, align 4, !tbaa !5
  store <4 x i32> %188, ptr %23, align 4, !tbaa !5
  %189 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %184, i32 1, i64 8
  %190 = getelementptr inbounds i8, ptr %189, i64 16
  %wide.load.1 = load <4 x i32>, ptr %189, align 4, !tbaa !5
  %wide.load180.1 = load <4 x i32>, ptr %190, align 4, !tbaa !5
  %wide.load181.1 = load <4 x i32>, ptr %24, align 4, !tbaa !5
  %wide.load182.1 = load <4 x i32>, ptr %25, align 4, !tbaa !5
  %191 = or <4 x i32> %wide.load181.1, %wide.load.1
  %192 = or <4 x i32> %wide.load182.1, %wide.load180.1
  store <4 x i32> %191, ptr %24, align 4, !tbaa !5
  store <4 x i32> %192, ptr %25, align 4, !tbaa !5
  %193 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %184, i32 1, i64 16
  %194 = getelementptr inbounds i8, ptr %193, i64 16
  %wide.load.2 = load <4 x i32>, ptr %193, align 4, !tbaa !5
  %wide.load180.2 = load <4 x i32>, ptr %194, align 4, !tbaa !5
  %wide.load181.2 = load <4 x i32>, ptr %26, align 4, !tbaa !5
  %wide.load182.2 = load <4 x i32>, ptr %27, align 4, !tbaa !5
  %195 = or <4 x i32> %wide.load181.2, %wide.load.2
  %196 = or <4 x i32> %wide.load182.2, %wide.load180.2
  store <4 x i32> %195, ptr %26, align 4, !tbaa !5
  store <4 x i32> %196, ptr %27, align 4, !tbaa !5
  %197 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %184, i32 1, i64 24
  %198 = getelementptr inbounds i8, ptr %197, i64 16
  %wide.load.3 = load <4 x i32>, ptr %197, align 4, !tbaa !5
  %wide.load180.3 = load <4 x i32>, ptr %198, align 4, !tbaa !5
  %wide.load181.3 = load <4 x i32>, ptr %28, align 4, !tbaa !5
  %wide.load182.3 = load <4 x i32>, ptr %29, align 4, !tbaa !5
  %199 = or <4 x i32> %wide.load181.3, %wide.load.3
  %200 = or <4 x i32> %wide.load182.3, %wide.load180.3
  store <4 x i32> %199, ptr %28, align 4, !tbaa !5
  store <4 x i32> %200, ptr %29, align 4, !tbaa !5
  %201 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %184, i32 1, i64 32
  %202 = getelementptr inbounds i8, ptr %201, i64 16
  %wide.load.4 = load <4 x i32>, ptr %201, align 4, !tbaa !5
  %wide.load180.4 = load <4 x i32>, ptr %202, align 4, !tbaa !5
  %wide.load181.4 = load <4 x i32>, ptr %30, align 4, !tbaa !5
  %wide.load182.4 = load <4 x i32>, ptr %31, align 4, !tbaa !5
  %203 = or <4 x i32> %wide.load181.4, %wide.load.4
  %204 = or <4 x i32> %wide.load182.4, %wide.load180.4
  store <4 x i32> %203, ptr %30, align 4, !tbaa !5
  store <4 x i32> %204, ptr %31, align 4, !tbaa !5
  %205 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %184, i32 1, i64 40
  %206 = getelementptr inbounds i8, ptr %205, i64 16
  %wide.load.5 = load <4 x i32>, ptr %205, align 4, !tbaa !5
  %wide.load180.5 = load <4 x i32>, ptr %206, align 4, !tbaa !5
  %wide.load181.5 = load <4 x i32>, ptr %32, align 4, !tbaa !5
  %wide.load182.5 = load <4 x i32>, ptr %33, align 4, !tbaa !5
  %207 = or <4 x i32> %wide.load181.5, %wide.load.5
  %208 = or <4 x i32> %wide.load182.5, %wide.load180.5
  store <4 x i32> %207, ptr %32, align 4, !tbaa !5
  store <4 x i32> %208, ptr %33, align 4, !tbaa !5
  %209 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %184, i32 1, i64 48
  %210 = getelementptr inbounds i8, ptr %209, i64 16
  %wide.load.6 = load <4 x i32>, ptr %209, align 4, !tbaa !5
  %wide.load180.6 = load <4 x i32>, ptr %210, align 4, !tbaa !5
  %wide.load181.6 = load <4 x i32>, ptr %34, align 4, !tbaa !5
  %wide.load182.6 = load <4 x i32>, ptr %35, align 4, !tbaa !5
  %211 = or <4 x i32> %wide.load181.6, %wide.load.6
  %212 = or <4 x i32> %wide.load182.6, %wide.load180.6
  store <4 x i32> %211, ptr %34, align 4, !tbaa !5
  store <4 x i32> %212, ptr %35, align 4, !tbaa !5
  %213 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %184, i32 1, i64 56
  %214 = getelementptr inbounds i8, ptr %213, i64 16
  %wide.load.7 = load <4 x i32>, ptr %213, align 4, !tbaa !5
  %wide.load180.7 = load <4 x i32>, ptr %214, align 4, !tbaa !5
  %wide.load181.7 = load <4 x i32>, ptr %36, align 4, !tbaa !5
  %wide.load182.7 = load <4 x i32>, ptr %37, align 4, !tbaa !5
  %215 = or <4 x i32> %wide.load181.7, %wide.load.7
  %216 = or <4 x i32> %wide.load182.7, %wide.load180.7
  store <4 x i32> %215, ptr %36, align 4, !tbaa !5
  store <4 x i32> %216, ptr %37, align 4, !tbaa !5
  %217 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %184, i32 1, i64 64
  %218 = getelementptr inbounds i8, ptr %217, i64 16
  %wide.load.8 = load <4 x i32>, ptr %217, align 4, !tbaa !5
  %wide.load180.8 = load <4 x i32>, ptr %218, align 4, !tbaa !5
  %wide.load181.8 = load <4 x i32>, ptr %38, align 4, !tbaa !5
  %wide.load182.8 = load <4 x i32>, ptr %39, align 4, !tbaa !5
  %219 = or <4 x i32> %wide.load181.8, %wide.load.8
  %220 = or <4 x i32> %wide.load182.8, %wide.load180.8
  store <4 x i32> %219, ptr %38, align 4, !tbaa !5
  store <4 x i32> %220, ptr %39, align 4, !tbaa !5
  %221 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %184, i32 1, i64 72
  %222 = getelementptr inbounds i8, ptr %221, i64 16
  %wide.load.9 = load <4 x i32>, ptr %221, align 4, !tbaa !5
  %wide.load180.9 = load <4 x i32>, ptr %222, align 4, !tbaa !5
  %wide.load181.9 = load <4 x i32>, ptr %40, align 4, !tbaa !5
  %wide.load182.9 = load <4 x i32>, ptr %41, align 4, !tbaa !5
  %223 = or <4 x i32> %wide.load181.9, %wide.load.9
  %224 = or <4 x i32> %wide.load182.9, %wide.load180.9
  store <4 x i32> %223, ptr %40, align 4, !tbaa !5
  store <4 x i32> %224, ptr %41, align 4, !tbaa !5
  %225 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %184, i32 1, i64 80
  %226 = load i32, ptr %225, align 4, !tbaa !5
  %227 = load i32, ptr %42, align 4, !tbaa !5
  %228 = or i32 %227, %226
  store i32 %228, ptr %42, align 4, !tbaa !5
  %indvars.iv.next150 = add nuw nsw i64 %indvars.iv149, 1
  %229 = load i32, ptr %105, align 4, !tbaa !5
  %230 = zext i32 %229 to i64
  %231 = getelementptr inbounds [512 x i32], ptr @NSet, i64 0, i64 %230
  %232 = load i32, ptr %231, align 4, !tbaa !5
  %233 = sext i32 %232 to i64
  %234 = icmp slt i64 %indvars.iv.next150, %233
  br i1 %234, label %.preheader, label %.preheader108, !llvm.loop !17

235:                                              ; preds = %.outer, %251
  %indvars.iv155 = phi i64 [ %indvars.iv.next156, %251 ], [ %indvars.iv155.ph, %.outer ]
  %236 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %.lcssa, i32 1, i64 %indvars.iv155
  %237 = load i32, ptr %236, align 4, !tbaa !5
  %.not93 = icmp eq i32 %237, 0
  br i1 %.not93, label %251, label %238

238:                                              ; preds = %235
  %239 = getelementptr inbounds [64 x %struct.Grid_Type], ptr @G, i64 0, i64 %.pre-phi162, i32 1, i64 %indvars.iv155
  %240 = load i32, ptr %239, align 4, !tbaa !5
  %.not94 = icmp eq i32 %237, %240
  br i1 %.not94, label %251, label %241

241:                                              ; preds = %238
  store i32 %240, ptr %236, align 4, !tbaa !5
  %242 = zext i32 %240 to i64
  %243 = getelementptr inbounds [512 x i32], ptr @B2V, i64 0, i64 %242
  %244 = load i32, ptr %243, align 4, !tbaa !5
  %.not95 = icmp eq i32 %244, 0
  br i1 %.not95, label %.thread, label %245

245:                                              ; preds = %241
  %246 = trunc i64 %indvars.iv155 to i8
  %247 = sext i8 %.ph166 to i64
  %248 = getelementptr inbounds [128 x i8], ptr @SinglePos, i64 0, i64 %247
  store i8 %246, ptr %248, align 1, !tbaa !9
  %249 = getelementptr inbounds [128 x i32], ptr @SingleVal, i64 0, i64 %247
  store i32 %240, ptr %249, align 4, !tbaa !5
  %250 = add i8 %.ph166, 1
  store i8 %250, ptr @SingleCnt, align 1, !tbaa !9
  br label %.thread

251:                                              ; preds = %235, %238
  %indvars.iv.next156 = add nuw nsw i64 %indvars.iv155, 1
  %exitcond157.not = icmp eq i64 %indvars.iv.next156, 81
  br i1 %exitcond157.not, label %.loopexit107, label %235, !llvm.loop !18

.thread:                                          ; preds = %241, %245
  %252 = phi i8 [ %250, %245 ], [ %.ph166, %241 ]
  store i32 1, ptr @Changed, align 4, !tbaa !5
  %253 = getelementptr inbounds [81 x [3 x i8]], ptr @_ZL5C2Grp, i64 0, i64 %indvars.iv155
  %254 = getelementptr inbounds i8, ptr %253, i64 2
  %255 = load i8, ptr %254, align 1, !tbaa !9
  %256 = zext i8 %255 to i64
  %257 = getelementptr inbounds [27 x i8], ptr @ChangedGroup, i64 0, i64 %256
  store i8 1, ptr %257, align 1, !tbaa !9
  %258 = getelementptr inbounds i8, ptr %253, i64 1
  %259 = load i8, ptr %258, align 1, !tbaa !9
  %260 = zext i8 %259 to i64
  %261 = getelementptr inbounds [27 x i8], ptr @ChangedGroup, i64 0, i64 %260
  store i8 1, ptr %261, align 1, !tbaa !9
  %262 = load i8, ptr %253, align 1, !tbaa !9
  %263 = zext i8 %262 to i64
  %264 = getelementptr inbounds [27 x i8], ptr @ChangedGroup, i64 0, i64 %263
  store i8 1, ptr %264, align 1, !tbaa !9
  %indvars.iv.next156163 = add nuw nsw i64 %indvars.iv155, 1
  %exitcond157.not164 = icmp eq i64 %indvars.iv.next156163, 81
  br i1 %exitcond157.not164, label %._crit_edge, label %.outer, !llvm.loop !18

._crit_edge:                                      ; preds = %89, %.loopexit107, %.thread, %2
  call void @llvm.lifetime.end.p0(i64 324, ptr nonnull %3) #4
  ret void
}

; Function Attrs: mustprogress nocallback nofree nounwind willreturn memory(argmem: readwrite)
declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #2

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #3

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { mustprogress 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 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #3 = { nocallback nofree nounwind willreturn memory(argmem: write) }
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++ TBAA"}
!9 = !{!7, !7, i64 0}
!10 = distinct !{!10, !11}
!11 = !{!"llvm.loop.mustprogress"}
!12 = !{i64 0, i64 4, !5, i64 4, i64 324, !9, i64 328, i64 108, !9}
!13 = distinct !{!13, !11, !14, !15}
!14 = !{!"llvm.loop.isvectorized", i32 1}
!15 = !{!"llvm.loop.unroll.runtime.disable"}
!16 = distinct !{!16, !11}
!17 = distinct !{!17, !11}
!18 = distinct !{!18, !11}


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