; LLVM IR from VastoLorde95/Competitive-Programming :: Codeforces/279 Division 2/Problem D (D)

; 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"

%"class.std::basic_istream" = type { ptr, i64, %"class.std::basic_ios" }
%"class.std::basic_ios" = type { %"class.std::ios_base", ptr, i8, i8, ptr, ptr, ptr, ptr }
%"class.std::ios_base" = type { ptr, i64, i64, i32, i32, i32, ptr, %"struct.std::ios_base::_Words", [8 x %"struct.std::ios_base::_Words"], i32, ptr, %"class.std::locale" }
%"struct.std::ios_base::_Words" = type { ptr, i64 }
%"class.std::locale" = type { ptr }
%"class.std::basic_ostream" = type { ptr, %"class.std::basic_ios" }
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" = type { ptr, ptr, ptr }

@a1 = external dso_local global i64, align 8
@b1 = external dso_local global i64, align 8
@a2 = external dso_local global i64, align 8
@b2 = external dso_local global i64, align 8
@cnt = external dso_local global [4 x [2 x i32]], align 16
@_ZSt3cin = external global %"class.std::basic_istream", align 8
@_ZSt4cout = external global %"class.std::basic_ostream", align 8
@.str = external hidden unnamed_addr constant [2 x i8], align 1

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i64 @_Z5stripx(i64 noundef) #0

; Function Attrs: mustprogress norecurse uwtable
define dso_local noundef i32 @main() #1 personality ptr @__gxx_personality_v0 {
  %1 = alloca i32, align 4
  %2 = alloca i64, align 8
  %3 = alloca i64, align 8
  %4 = alloca i64, align 8
  %5 = alloca i64, align 8
  %6 = alloca i32, align 4
  %7 = alloca %"class.std::vector", align 8
  %8 = alloca i32, align 4
  %9 = alloca ptr, align 8
  %10 = alloca i32, align 4
  %11 = alloca i32, align 4
  %12 = alloca i32, align 4
  %13 = alloca i32, align 4
  %14 = alloca i32, align 4
  %15 = alloca i32, align 4
  %16 = alloca i32, align 4
  store i32 0, ptr %1, align 4
  %17 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERx(ptr noundef nonnull align 8 dereferenceable(16) @_ZSt3cin, ptr noundef nonnull align 8 dereferenceable(8) @a1)
  %18 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERx(ptr noundef nonnull align 8 dereferenceable(16) %17, ptr noundef nonnull align 8 dereferenceable(8) @b1)
  %19 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERx(ptr noundef nonnull align 8 dereferenceable(16) %18, ptr noundef nonnull align 8 dereferenceable(8) @a2)
  %20 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERx(ptr noundef nonnull align 8 dereferenceable(16) %19, ptr noundef nonnull align 8 dereferenceable(8) @b2)
  call void @llvm.lifetime.start.p0(i64 8, ptr %2) #6
  %21 = load i64, ptr @a1, align 8, !tbaa !5
  store i64 %21, ptr %2, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %3) #6
  %22 = load i64, ptr @b1, align 8, !tbaa !5
  store i64 %22, ptr %3, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %4) #6
  %23 = load i64, ptr @a2, align 8, !tbaa !5
  store i64 %23, ptr %4, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %5) #6
  %24 = load i64, ptr @b2, align 8, !tbaa !5
  store i64 %24, ptr %5, align 8, !tbaa !5
  %25 = load i64, ptr %2, align 8, !tbaa !5
  %26 = call noundef i64 @_Z5stripx(i64 noundef %25)
  %27 = load i64, ptr %3, align 8, !tbaa !5
  %28 = call noundef i64 @_Z5stripx(i64 noundef %27)
  %29 = mul nsw i64 %26, %28
  %30 = load i64, ptr %4, align 8, !tbaa !5
  %31 = call noundef i64 @_Z5stripx(i64 noundef %30)
  %32 = load i64, ptr %5, align 8, !tbaa !5
  %33 = call noundef i64 @_Z5stripx(i64 noundef %32)
  %34 = mul nsw i64 %31, %33
  %35 = icmp ne i64 %29, %34
  br i1 %35, label %36, label %39

36:                                               ; preds = %0
  %37 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, i32 noundef -1)
  %38 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %37, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
  store i32 0, ptr %1, align 4
  store i32 1, ptr %6, align 4
  br label %327

39:                                               ; preds = %0
  call void @llvm.lifetime.start.p0(i64 24, ptr %7) #6
  call void @_ZNSt6vectorIiSaIiEEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %7) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #6
  %40 = load i64, ptr @a1, align 8, !tbaa !5
  %41 = trunc i64 %40 to i32
  store i32 %41, ptr %8, align 4, !tbaa !9
  invoke void @_ZNSt6vectorIiSaIiEE9push_backEOi(ptr noundef nonnull align 8 dereferenceable(24) %7, ptr noundef nonnull align 4 dereferenceable(4) %8)
          to label %42 unwind label %56

42:                                               ; preds = %39
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #6
  %43 = load i64, ptr @b1, align 8, !tbaa !5
  %44 = trunc i64 %43 to i32
  store i32 %44, ptr %11, align 4, !tbaa !9
  invoke void @_ZNSt6vectorIiSaIiEE9push_backEOi(ptr noundef nonnull align 8 dereferenceable(24) %7, ptr noundef nonnull align 4 dereferenceable(4) %11)
          to label %45 unwind label %60

45:                                               ; preds = %42
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #6
  %46 = load i64, ptr @a2, align 8, !tbaa !5
  %47 = trunc i64 %46 to i32
  store i32 %47, ptr %12, align 4, !tbaa !9
  invoke void @_ZNSt6vectorIiSaIiEE9push_backEOi(ptr noundef nonnull align 8 dereferenceable(24) %7, ptr noundef nonnull align 4 dereferenceable(4) %12)
          to label %48 unwind label %64

48:                                               ; preds = %45
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #6
  %49 = load i64, ptr @b2, align 8, !tbaa !5
  %50 = trunc i64 %49 to i32
  store i32 %50, ptr %13, align 4, !tbaa !9
  invoke void @_ZNSt6vectorIiSaIiEE9push_backEOi(ptr noundef nonnull align 8 dereferenceable(24) %7, ptr noundef nonnull align 4 dereferenceable(4) %13)
          to label %51 unwind label %68

51:                                               ; preds = %48
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #6
  store i32 0, ptr %14, align 4, !tbaa !9
  br label %52

52:                                               ; preds = %105, %51
  %53 = load i32, ptr %14, align 4, !tbaa !9
  %54 = icmp slt i32 %53, 4
  br i1 %54, label %72, label %55

55:                                               ; preds = %52
  store i32 2, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #6
  br label %108

56:                                               ; preds = %39
  %57 = landingpad { ptr, i32 }
          cleanup
  %58 = extractvalue { ptr, i32 } %57, 0
  store ptr %58, ptr %9, align 8
  %59 = extractvalue { ptr, i32 } %57, 1
  store i32 %59, ptr %10, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #6
  br label %326

60:                                               ; preds = %42
  %61 = landingpad { ptr, i32 }
          cleanup
  %62 = extractvalue { ptr, i32 } %61, 0
  store ptr %62, ptr %9, align 8
  %63 = extractvalue { ptr, i32 } %61, 1
  store i32 %63, ptr %10, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #6
  br label %326

64:                                               ; preds = %45
  %65 = landingpad { ptr, i32 }
          cleanup
  %66 = extractvalue { ptr, i32 } %65, 0
  store ptr %66, ptr %9, align 8
  %67 = extractvalue { ptr, i32 } %65, 1
  store i32 %67, ptr %10, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #6
  br label %326

68:                                               ; preds = %48
  %69 = landingpad { ptr, i32 }
          cleanup
  %70 = extractvalue { ptr, i32 } %69, 0
  store ptr %70, ptr %9, align 8
  %71 = extractvalue { ptr, i32 } %69, 1
  store i32 %71, ptr %10, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #6
  br label %326

72:                                               ; preds = %52
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #6
  %73 = load i32, ptr %14, align 4, !tbaa !9
  %74 = sext i32 %73 to i64
  %75 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %7, i64 noundef %74) #6
  %76 = load i32, ptr %75, align 4, !tbaa !9
  store i32 %76, ptr %15, align 4, !tbaa !9
  br label %77

77:                                               ; preds = %81, %72
  %78 = load i32, ptr %15, align 4, !tbaa !9
  %79 = srem i32 %78, 2
  %80 = icmp eq i32 %79, 0
  br i1 %80, label %81, label %90

81:                                               ; preds = %77
  %82 = load i32, ptr %15, align 4, !tbaa !9
  %83 = sdiv i32 %82, 2
  store i32 %83, ptr %15, align 4, !tbaa !9
  %84 = load i32, ptr %14, align 4, !tbaa !9
  %85 = sext i32 %84 to i64
  %86 = getelementptr inbounds [4 x [2 x i32]], ptr @cnt, i64 0, i64 %85
  %87 = getelementptr inbounds [2 x i32], ptr %86, i64 0, i64 0
  %88 = load i32, ptr %87, align 8, !tbaa !9
  %89 = add nsw i32 %88, 1
  store i32 %89, ptr %87, align 8, !tbaa !9
  br label %77, !llvm.loop !11

90:                                               ; preds = %77
  br label %91

91:                                               ; preds = %95, %90
  %92 = load i32, ptr %15, align 4, !tbaa !9
  %93 = srem i32 %92, 3
  %94 = icmp eq i32 %93, 0
  br i1 %94, label %95, label %104

95:                                               ; preds = %91
  %96 = load i32, ptr %15, align 4, !tbaa !9
  %97 = sdiv i32 %96, 3
  store i32 %97, ptr %15, align 4, !tbaa !9
  %98 = load i32, ptr %14, align 4, !tbaa !9
  %99 = sext i32 %98 to i64
  %100 = getelementptr inbounds [4 x [2 x i32]], ptr @cnt, i64 0, i64 %99
  %101 = getelementptr inbounds [2 x i32], ptr %100, i64 0, i64 1
  %102 = load i32, ptr %101, align 4, !tbaa !9
  %103 = add nsw i32 %102, 1
  store i32 %103, ptr %101, align 4, !tbaa !9
  br label %91, !llvm.loop !13

104:                                              ; preds = %91
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #6
  br label %105

105:                                              ; preds = %104
  %106 = load i32, ptr %14, align 4, !tbaa !9
  %107 = add nsw i32 %106, 1
  store i32 %107, ptr %14, align 4, !tbaa !9
  br label %52, !llvm.loop !14

108:                                              ; preds = %55
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #6
  store i32 0, ptr %16, align 4, !tbaa !9
  br label %109

109:                                              ; preds = %136, %108
  %110 = load i32, ptr getelementptr inbounds ([2 x i32], ptr @cnt, i64 0, i64 1), align 4, !tbaa !9
  %111 = load i32, ptr getelementptr inbounds ([2 x i32], ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 1), i64 0, i64 1), align 4, !tbaa !9
  %112 = add nsw i32 %110, %111
  %113 = load i32, ptr getelementptr inbounds ([2 x i32], ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 2), i64 0, i64 1), align 4, !tbaa !9
  %114 = load i32, ptr getelementptr inbounds ([2 x i32], ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 3), i64 0, i64 1), align 4, !tbaa !9
  %115 = add nsw i32 %113, %114
  %116 = icmp sgt i32 %112, %115
  br i1 %116, label %117, label %137

117:                                              ; preds = %109
  %118 = load i32, ptr %16, align 4, !tbaa !9
  %119 = add nsw i32 %118, 1
  store i32 %119, ptr %16, align 4, !tbaa !9
  %120 = load i32, ptr getelementptr inbounds ([2 x i32], ptr @cnt, i64 0, i64 1), align 4, !tbaa !9
  %121 = icmp sgt i32 %120, 0
  br i1 %121, label %122, label %127

122:                                              ; preds = %117
  %123 = load i32, ptr getelementptr inbounds ([2 x i32], ptr @cnt, i64 0, i64 1), align 4, !tbaa !9
  %124 = add nsw i32 %123, -1
  store i32 %124, ptr getelementptr inbounds ([2 x i32], ptr @cnt, i64 0, i64 1), align 4, !tbaa !9
  %125 = load i32, ptr @cnt, align 16, !tbaa !9
  %126 = add nsw i32 %125, 1
  store i32 %126, ptr @cnt, align 16, !tbaa !9
  br label %136

127:                                              ; preds = %117
  %128 = load i32, ptr getelementptr inbounds ([2 x i32], ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 1), i64 0, i64 1), align 4, !tbaa !9
  %129 = icmp sgt i32 %128, 0
  br i1 %129, label %130, label %135

130:                                              ; preds = %127
  %131 = load i32, ptr getelementptr inbounds ([2 x i32], ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 1), i64 0, i64 1), align 4, !tbaa !9
  %132 = add nsw i32 %131, -1
  store i32 %132, ptr getelementptr inbounds ([2 x i32], ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 1), i64 0, i64 1), align 4, !tbaa !9
  %133 = load i32, ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 1), align 8, !tbaa !9
  %134 = add nsw i32 %133, 1
  store i32 %134, ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 1), align 8, !tbaa !9
  br label %135

135:                                              ; preds = %130, %127
  br label %136

136:                                              ; preds = %135, %122
  br label %109, !llvm.loop !15

137:                                              ; preds = %109
  br label %138

138:                                              ; preds = %165, %137
  %139 = load i32, ptr getelementptr inbounds ([2 x i32], ptr @cnt, i64 0, i64 1), align 4, !tbaa !9
  %140 = load i32, ptr getelementptr inbounds ([2 x i32], ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 1), i64 0, i64 1), align 4, !tbaa !9
  %141 = add nsw i32 %139, %140
  %142 = load i32, ptr getelementptr inbounds ([2 x i32], ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 2), i64 0, i64 1), align 4, !tbaa !9
  %143 = load i32, ptr getelementptr inbounds ([2 x i32], ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 3), i64 0, i64 1), align 4, !tbaa !9
  %144 = add nsw i32 %142, %143
  %145 = icmp slt i32 %141, %144
  br i1 %145, label %146, label %166

146:                                              ; preds = %138
  %147 = load i32, ptr %16, align 4, !tbaa !9
  %148 = add nsw i32 %147, 1
  store i32 %148, ptr %16, align 4, !tbaa !9
  %149 = load i32, ptr getelementptr inbounds ([2 x i32], ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 2), i64 0, i64 1), align 4, !tbaa !9
  %150 = icmp sgt i32 %149, 0
  br i1 %150, label %151, label %156

151:                                              ; preds = %146
  %152 = load i32, ptr getelementptr inbounds ([2 x i32], ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 2), i64 0, i64 1), align 4, !tbaa !9
  %153 = add nsw i32 %152, -1
  store i32 %153, ptr getelementptr inbounds ([2 x i32], ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 2), i64 0, i64 1), align 4, !tbaa !9
  %154 = load i32, ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 2), align 16, !tbaa !9
  %155 = add nsw i32 %154, 1
  store i32 %155, ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 2), align 16, !tbaa !9
  br label %165

156:                                              ; preds = %146
  %157 = load i32, ptr getelementptr inbounds ([2 x i32], ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 3), i64 0, i64 1), align 4, !tbaa !9
  %158 = icmp sgt i32 %157, 0
  br i1 %158, label %159, label %164

159:                                              ; preds = %156
  %160 = load i32, ptr getelementptr inbounds ([2 x i32], ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 3), i64 0, i64 1), align 4, !tbaa !9
  %161 = add nsw i32 %160, -1
  store i32 %161, ptr getelementptr inbounds ([2 x i32], ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 3), i64 0, i64 1), align 4, !tbaa !9
  %162 = load i32, ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 3), align 8, !tbaa !9
  %163 = add nsw i32 %162, 1
  store i32 %163, ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 3), align 8, !tbaa !9
  br label %164

164:                                              ; preds = %159, %156
  br label %165

165:                                              ; preds = %164, %151
  br label %138, !llvm.loop !16

166:                                              ; preds = %138
  br label %167

167:                                              ; preds = %190, %166
  %168 = load i32, ptr @cnt, align 16, !tbaa !9
  %169 = load i32, ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 1), align 8, !tbaa !9
  %170 = add nsw i32 %168, %169
  %171 = load i32, ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 2), align 16, !tbaa !9
  %172 = load i32, ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 3), align 8, !tbaa !9
  %173 = add nsw i32 %171, %172
  %174 = icmp sgt i32 %170, %173
  br i1 %174, label %175, label %191

175:                                              ; preds = %167
  %176 = load i32, ptr %16, align 4, !tbaa !9
  %177 = add nsw i32 %176, 1
  store i32 %177, ptr %16, align 4, !tbaa !9
  %178 = load i32, ptr @cnt, align 16, !tbaa !9
  %179 = icmp sgt i32 %178, 0
  br i1 %179, label %180, label %183

180:                                              ; preds = %175
  %181 = load i32, ptr @cnt, align 16, !tbaa !9
  %182 = add nsw i32 %181, -1
  store i32 %182, ptr @cnt, align 16, !tbaa !9
  br label %190

183:                                              ; preds = %175
  %184 = load i32, ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 1), align 8, !tbaa !9
  %185 = icmp sgt i32 %184, 0
  br i1 %185, label %186, label %189

186:                                              ; preds = %183
  %187 = load i32, ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 1), align 8, !tbaa !9
  %188 = add nsw i32 %187, -1
  store i32 %188, ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 1), align 8, !tbaa !9
  br label %189

189:                                              ; preds = %186, %183
  br label %190

190:                                              ; preds = %189, %180
  br label %167, !llvm.loop !17

191:                                              ; preds = %167
  br label %192

192:                                              ; preds = %215, %191
  %193 = load i32, ptr @cnt, align 16, !tbaa !9
  %194 = load i32, ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 1), align 8, !tbaa !9
  %195 = add nsw i32 %193, %194
  %196 = load i32, ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 2), align 16, !tbaa !9
  %197 = load i32, ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 3), align 8, !tbaa !9
  %198 = add nsw i32 %196, %197
  %199 = icmp slt i32 %195, %198
  br i1 %199, label %200, label %216

200:                                              ; preds = %192
  %201 = load i32, ptr %16, align 4, !tbaa !9
  %202 = add nsw i32 %201, 1
  store i32 %202, ptr %16, align 4, !tbaa !9
  %203 = load i32, ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 2), align 16, !tbaa !9
  %204 = icmp sgt i32 %203, 0
  br i1 %204, label %205, label %208

205:                                              ; preds = %200
  %206 = load i32, ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 2), align 16, !tbaa !9
  %207 = add nsw i32 %206, -1
  store i32 %207, ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 2), align 16, !tbaa !9
  br label %215

208:                                              ; preds = %200
  %209 = load i32, ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 3), align 8, !tbaa !9
  %210 = icmp sgt i32 %209, 0
  br i1 %210, label %211, label %214

211:                                              ; preds = %208
  %212 = load i32, ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 3), align 8, !tbaa !9
  %213 = add nsw i32 %212, -1
  store i32 %213, ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 3), align 8, !tbaa !9
  br label %214

214:                                              ; preds = %211, %208
  br label %215

215:                                              ; preds = %214, %205
  br label %192, !llvm.loop !18

216:                                              ; preds = %192
  %217 = load i64, ptr @a1, align 8, !tbaa !5
  %218 = call noundef i64 @_Z5stripx(i64 noundef %217)
  store i64 %218, ptr @a1, align 8, !tbaa !5
  %219 = load i64, ptr @a2, align 8, !tbaa !5
  %220 = call noundef i64 @_Z5stripx(i64 noundef %219)
  store i64 %220, ptr @a2, align 8, !tbaa !5
  %221 = load i64, ptr @b1, align 8, !tbaa !5
  %222 = call noundef i64 @_Z5stripx(i64 noundef %221)
  store i64 %222, ptr @b1, align 8, !tbaa !5
  %223 = load i64, ptr @b2, align 8, !tbaa !5
  %224 = call noundef i64 @_Z5stripx(i64 noundef %223)
  store i64 %224, ptr @b2, align 8, !tbaa !5
  br label %225

225:                                              ; preds = %228, %216
  %226 = load i32, ptr @cnt, align 16, !tbaa !9
  %227 = icmp sgt i32 %226, 0
  br i1 %227, label %228, label %233

228:                                              ; preds = %225
  %229 = load i32, ptr @cnt, align 16, !tbaa !9
  %230 = add nsw i32 %229, -1
  store i32 %230, ptr @cnt, align 16, !tbaa !9
  %231 = load i64, ptr @a1, align 8, !tbaa !5
  %232 = mul nsw i64 %231, 2
  store i64 %232, ptr @a1, align 8, !tbaa !5
  br label %225, !llvm.loop !19

233:                                              ; preds = %225
  br label %234

234:                                              ; preds = %237, %233
  %235 = load i32, ptr getelementptr inbounds ([2 x i32], ptr @cnt, i64 0, i64 1), align 4, !tbaa !9
  %236 = icmp sgt i32 %235, 0
  br i1 %236, label %237, label %242

237:                                              ; preds = %234
  %238 = load i32, ptr getelementptr inbounds ([2 x i32], ptr @cnt, i64 0, i64 1), align 4, !tbaa !9
  %239 = add nsw i32 %238, -1
  store i32 %239, ptr getelementptr inbounds ([2 x i32], ptr @cnt, i64 0, i64 1), align 4, !tbaa !9
  %240 = load i64, ptr @a1, align 8, !tbaa !5
  %241 = mul nsw i64 %240, 3
  store i64 %241, ptr @a1, align 8, !tbaa !5
  br label %234, !llvm.loop !20

242:                                              ; preds = %234
  br label %243

243:                                              ; preds = %246, %242
  %244 = load i32, ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 1), align 8, !tbaa !9
  %245 = icmp sgt i32 %244, 0
  br i1 %245, label %246, label %251

246:                                              ; preds = %243
  %247 = load i32, ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 1), align 8, !tbaa !9
  %248 = add nsw i32 %247, -1
  store i32 %248, ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 1), align 8, !tbaa !9
  %249 = load i64, ptr @b1, align 8, !tbaa !5
  %250 = mul nsw i64 %249, 2
  store i64 %250, ptr @b1, align 8, !tbaa !5
  br label %243, !llvm.loop !21

251:                                              ; preds = %243
  br label %252

252:                                              ; preds = %255, %251
  %253 = load i32, ptr getelementptr inbounds ([2 x i32], ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 1), i64 0, i64 1), align 4, !tbaa !9
  %254 = icmp sgt i32 %253, 0
  br i1 %254, label %255, label %260

255:                                              ; preds = %252
  %256 = load i32, ptr getelementptr inbounds ([2 x i32], ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 1), i64 0, i64 1), align 4, !tbaa !9
  %257 = add nsw i32 %256, -1
  store i32 %257, ptr getelementptr inbounds ([2 x i32], ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 1), i64 0, i64 1), align 4, !tbaa !9
  %258 = load i64, ptr @b1, align 8, !tbaa !5
  %259 = mul nsw i64 %258, 3
  store i64 %259, ptr @b1, align 8, !tbaa !5
  br label %252, !llvm.loop !22

260:                                              ; preds = %252
  br label %261

261:                                              ; preds = %264, %260
  %262 = load i32, ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 2), align 16, !tbaa !9
  %263 = icmp sgt i32 %262, 0
  br i1 %263, label %264, label %269

264:                                              ; preds = %261
  %265 = load i32, ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 2), align 16, !tbaa !9
  %266 = add nsw i32 %265, -1
  store i32 %266, ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 2), align 16, !tbaa !9
  %267 = load i64, ptr @a2, align 8, !tbaa !5
  %268 = mul nsw i64 %267, 2
  store i64 %268, ptr @a2, align 8, !tbaa !5
  br label %261, !llvm.loop !23

269:                                              ; preds = %261
  br label %270

270:                                              ; preds = %273, %269
  %271 = load i32, ptr getelementptr inbounds ([2 x i32], ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 2), i64 0, i64 1), align 4, !tbaa !9
  %272 = icmp sgt i32 %271, 0
  br i1 %272, label %273, label %278

273:                                              ; preds = %270
  %274 = load i32, ptr getelementptr inbounds ([2 x i32], ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 2), i64 0, i64 1), align 4, !tbaa !9
  %275 = add nsw i32 %274, -1
  store i32 %275, ptr getelementptr inbounds ([2 x i32], ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 2), i64 0, i64 1), align 4, !tbaa !9
  %276 = load i64, ptr @a2, align 8, !tbaa !5
  %277 = mul nsw i64 %276, 3
  store i64 %277, ptr @a2, align 8, !tbaa !5
  br label %270, !llvm.loop !24

278:                                              ; preds = %270
  br label %279

279:                                              ; preds = %282, %278
  %280 = load i32, ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 3), align 8, !tbaa !9
  %281 = icmp sgt i32 %280, 0
  br i1 %281, label %282, label %287

282:                                              ; preds = %279
  %283 = load i32, ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 3), align 8, !tbaa !9
  %284 = add nsw i32 %283, -1
  store i32 %284, ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 3), align 8, !tbaa !9
  %285 = load i64, ptr @b2, align 8, !tbaa !5
  %286 = mul nsw i64 %285, 2
  store i64 %286, ptr @b2, align 8, !tbaa !5
  br label %279, !llvm.loop !25

287:                                              ; preds = %279
  br label %288

288:                                              ; preds = %291, %287
  %289 = load i32, ptr getelementptr inbounds ([2 x i32], ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 3), i64 0, i64 1), align 4, !tbaa !9
  %290 = icmp sgt i32 %289, 0
  br i1 %290, label %291, label %296

291:                                              ; preds = %288
  %292 = load i32, ptr getelementptr inbounds ([2 x i32], ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 3), i64 0, i64 1), align 4, !tbaa !9
  %293 = add nsw i32 %292, -1
  store i32 %293, ptr getelementptr inbounds ([2 x i32], ptr getelementptr inbounds ([4 x [2 x i32]], ptr @cnt, i64 0, i64 3), i64 0, i64 1), align 4, !tbaa !9
  %294 = load i64, ptr @b2, align 8, !tbaa !5
  %295 = mul nsw i64 %294, 3
  store i64 %295, ptr @b2, align 8, !tbaa !5
  br label %288, !llvm.loop !26

296:                                              ; preds = %288
  %297 = load i32, ptr %16, align 4, !tbaa !9
  %298 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, i32 noundef %297)
          to label %299 unwind label %322

299:                                              ; preds = %296
  %300 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %298, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %301 unwind label %322

301:                                              ; preds = %299
  %302 = load i64, ptr @a1, align 8, !tbaa !5
  %303 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEx(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, i64 noundef %302)
          to label %304 unwind label %322

304:                                              ; preds = %301
  %305 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %303, ptr noundef @.str)
          to label %306 unwind label %322

306:                                              ; preds = %304
  %307 = load i64, ptr @b1, align 8, !tbaa !5
  %308 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEx(ptr noundef nonnull align 8 dereferenceable(8) %305, i64 noundef %307)
          to label %309 unwind label %322

309:                                              ; preds = %306
  %310 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %308, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %311 unwind label %322

311:                                              ; preds = %309
  %312 = load i64, ptr @a2, align 8, !tbaa !5
  %313 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEx(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, i64 noundef %312)
          to label %314 unwind label %322

314:                                              ; preds = %311
  %315 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %313, ptr noundef @.str)
          to label %316 unwind label %322

316:                                              ; preds = %314
  %317 = load i64, ptr @b2, align 8, !tbaa !5
  %318 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEx(ptr noundef nonnull align 8 dereferenceable(8) %315, i64 noundef %317)
          to label %319 unwind label %322

319:                                              ; preds = %316
  %320 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %318, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %321 unwind label %322

321:                                              ; preds = %319
  store i32 0, ptr %1, align 4
  store i32 1, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #6
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %7) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %7) #6
  br label %327

322:                                              ; preds = %319, %316, %314, %311, %309, %306, %304, %301, %299, %296
  %323 = landingpad { ptr, i32 }
          cleanup
  %324 = extractvalue { ptr, i32 } %323, 0
  store ptr %324, ptr %9, align 8
  %325 = extractvalue { ptr, i32 } %323, 1
  store i32 %325, ptr %10, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #6
  br label %326

326:                                              ; preds = %322, %68, %64, %60, %56
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %7) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %7) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %5) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %4) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %3) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %2) #6
  br label %329

327:                                              ; preds = %321, %36
  call void @llvm.lifetime.end.p0(i64 8, ptr %5) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %4) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %3) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %2) #6
  %328 = load i32, ptr %1, align 4
  ret i32 %328

329:                                              ; preds = %326
  %330 = load ptr, ptr %9, align 8
  %331 = load i32, ptr %10, align 4
  %332 = insertvalue { ptr, i32 } poison, ptr %330, 0
  %333 = insertvalue { ptr, i32 } %332, i32 %331, 1
  resume { ptr, i32 } %333
}

; Function Attrs: mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERx(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(8)) #2 align 2

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

declare noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8), i32 noundef) #4

; Function Attrs: mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef) #2 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_(ptr noundef nonnull align 8 dereferenceable(8)) #5

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt6vectorIiSaIiEEC2Ev(ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #0 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt6vectorIiSaIiEE9push_backEOi(ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 4 dereferenceable(4)) #2 align 2

declare i32 @__gxx_personality_v0(...)

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) #0 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef) #5

; Function Attrs: mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEx(ptr noundef nonnull align 8 dereferenceable(8), i64 noundef) #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #0 align 2

attributes #0 = { mustprogress 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 norecurse 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 uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #4 = { "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 #5 = { inlinehint 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 #6 = { 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 = !{!"long long", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = distinct !{!11, !12}
!12 = !{!"llvm.loop.mustprogress"}
!13 = distinct !{!13, !12}
!14 = distinct !{!14, !12}
!15 = distinct !{!15, !12}
!16 = distinct !{!16, !12}
!17 = distinct !{!17, !12}
!18 = distinct !{!18, !12}
!19 = distinct !{!19, !12}
!20 = distinct !{!20, !12}
!21 = distinct !{!21, !12}
!22 = distinct !{!22, !12}
!23 = distinct !{!23, !12}
!24 = distinct !{!24, !12}
!25 = distinct !{!25, !12}
!26 = distinct !{!26, !12}


; 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"

%"class.std::basic_istream" = type { ptr, i64, %"class.std::basic_ios" }
%"class.std::basic_ios" = type { %"class.std::ios_base", ptr, i8, i8, ptr, ptr, ptr, ptr }
%"class.std::ios_base" = type { ptr, i64, i64, i32, i32, i32, ptr, %"struct.std::ios_base::_Words", [8 x %"struct.std::ios_base::_Words"], i32, ptr, %"class.std::locale" }
%"struct.std::ios_base::_Words" = type { ptr, i64 }
%"class.std::locale" = type { ptr }
%"class.std::basic_ostream" = type { ptr, %"class.std::basic_ios" }
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" = type { ptr, ptr, ptr }

@a1 = external dso_local global i64, align 8
@b1 = external dso_local global i64, align 8
@a2 = external dso_local global i64, align 8
@b2 = external dso_local global i64, align 8
@cnt = external dso_local local_unnamed_addr global [4 x [2 x i32]], align 16
@_ZSt3cin = external global %"class.std::basic_istream", align 8
@_ZSt4cout = external global %"class.std::basic_ostream", align 8
@.str = external hidden unnamed_addr constant [2 x i8], align 1

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i64 @_Z5stripx(i64 noundef) local_unnamed_addr #0

; Function Attrs: mustprogress norecurse uwtable
define dso_local noundef i32 @main() local_unnamed_addr #1 personality ptr @__gxx_personality_v0 {
  %1 = alloca %"class.std::vector", align 8
  %2 = alloca i32, align 4
  %3 = alloca i32, align 4
  %4 = alloca i32, align 4
  %5 = alloca i32, align 4
  %6 = tail call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERx(ptr noundef nonnull align 8 dereferenceable(16) @_ZSt3cin, ptr noundef nonnull align 8 dereferenceable(8) @a1)
  %7 = tail call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERx(ptr noundef nonnull align 8 dereferenceable(16) %6, ptr noundef nonnull align 8 dereferenceable(8) @b1)
  %8 = tail call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERx(ptr noundef nonnull align 8 dereferenceable(16) %7, ptr noundef nonnull align 8 dereferenceable(8) @a2)
  %9 = tail call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERx(ptr noundef nonnull align 8 dereferenceable(16) %8, ptr noundef nonnull align 8 dereferenceable(8) @b2)
  %10 = load i64, ptr @a1, align 8, !tbaa !5
  %11 = load i64, ptr @b1, align 8, !tbaa !5
  %12 = load i64, ptr @a2, align 8, !tbaa !5
  %13 = load i64, ptr @b2, align 8, !tbaa !5
  %14 = tail call noundef i64 @_Z5stripx(i64 noundef %10)
  %15 = tail call noundef i64 @_Z5stripx(i64 noundef %11)
  %16 = mul nsw i64 %15, %14
  %17 = tail call noundef i64 @_Z5stripx(i64 noundef %12)
  %18 = tail call noundef i64 @_Z5stripx(i64 noundef %13)
  %19 = mul nsw i64 %18, %17
  %.not = icmp eq i64 %16, %19
  br i1 %.not, label %23, label %20

20:                                               ; preds = %0
  %21 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, i32 noundef -1)
  %22 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %21, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
  br label %327

23:                                               ; preds = %0
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %1) #6
  call void @_ZNSt6vectorIiSaIiEEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %1) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %2) #6
  %24 = load i64, ptr @a1, align 8, !tbaa !5
  %25 = trunc i64 %24 to i32
  store i32 %25, ptr %2, align 4, !tbaa !9
  invoke void @_ZNSt6vectorIiSaIiEE9push_backEOi(ptr noundef nonnull align 8 dereferenceable(24) %1, ptr noundef nonnull align 4 dereferenceable(4) %2)
          to label %26 unwind label %40

26:                                               ; preds = %23
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %2) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %3) #6
  %27 = load i64, ptr @b1, align 8, !tbaa !5
  %28 = trunc i64 %27 to i32
  store i32 %28, ptr %3, align 4, !tbaa !9
  invoke void @_ZNSt6vectorIiSaIiEE9push_backEOi(ptr noundef nonnull align 8 dereferenceable(24) %1, ptr noundef nonnull align 4 dereferenceable(4) %3)
          to label %29 unwind label %42

29:                                               ; preds = %26
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %3) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %4) #6
  %30 = load i64, ptr @a2, align 8, !tbaa !5
  %31 = trunc i64 %30 to i32
  store i32 %31, ptr %4, align 4, !tbaa !9
  invoke void @_ZNSt6vectorIiSaIiEE9push_backEOi(ptr noundef nonnull align 8 dereferenceable(24) %1, ptr noundef nonnull align 4 dereferenceable(4) %4)
          to label %32 unwind label %44

32:                                               ; preds = %29
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %4) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %5) #6
  %33 = load i64, ptr @b2, align 8, !tbaa !5
  %34 = trunc i64 %33 to i32
  store i32 %34, ptr %5, align 4, !tbaa !9
  invoke void @_ZNSt6vectorIiSaIiEE9push_backEOi(ptr noundef nonnull align 8 dereferenceable(24) %1, ptr noundef nonnull align 4 dereferenceable(4) %5)
          to label %35 unwind label %46

35:                                               ; preds = %32
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %5) #6
  %36 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1, i64 noundef 0) #6
  %37 = load i32, ptr %36, align 4, !tbaa !9
  %38 = and i32 %37, 1
  %39 = icmp eq i32 %38, 0
  br i1 %39, label %.lr.ph, label %.preheader63

40:                                               ; preds = %23
  %41 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %2) #6
  br label %326

42:                                               ; preds = %26
  %43 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %3) #6
  br label %326

44:                                               ; preds = %29
  %45 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %4) #6
  br label %326

46:                                               ; preds = %32
  %47 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %5) #6
  br label %326

.lr.ph:                                           ; preds = %35
  %.promoted = load i32, ptr @cnt, align 16, !tbaa !9
  br label %50

..preheader63_crit_edge:                          ; preds = %50
  store i32 %53, ptr @cnt, align 16, !tbaa !9
  br label %.preheader63

.preheader63:                                     ; preds = %..preheader63_crit_edge, %35
  %.020.lcssa = phi i32 [ %52, %..preheader63_crit_edge ], [ %37, %35 ]
  %48 = srem i32 %.020.lcssa, 3
  %49 = icmp eq i32 %48, 0
  br i1 %49, label %.lr.ph72, label %62

.lr.ph72:                                         ; preds = %.preheader63
  %.promoted73 = load i32, ptr getelementptr inbounds (i8, ptr @cnt, i64 4), align 4, !tbaa !9
  br label %56

50:                                               ; preds = %.lr.ph, %50
  %51 = phi i32 [ %.promoted, %.lr.ph ], [ %53, %50 ]
  %.02069 = phi i32 [ %37, %.lr.ph ], [ %52, %50 ]
  %52 = ashr exact i32 %.02069, 1
  %53 = add nsw i32 %51, 1
  %54 = and i32 %.02069, 2
  %55 = icmp eq i32 %54, 0
  br i1 %55, label %50, label %..preheader63_crit_edge, !llvm.loop !11

56:                                               ; preds = %.lr.ph72, %56
  %57 = phi i32 [ %.promoted73, %.lr.ph72 ], [ %59, %56 ]
  %.12171 = phi i32 [ %.020.lcssa, %.lr.ph72 ], [ %58, %56 ]
  %58 = sdiv i32 %.12171, 3
  %59 = add nsw i32 %57, 1
  %60 = srem i32 %58, 3
  %61 = icmp eq i32 %60, 0
  br i1 %61, label %56, label %._crit_edge, !llvm.loop !13

._crit_edge:                                      ; preds = %56
  store i32 %59, ptr getelementptr inbounds (i8, ptr @cnt, i64 4), align 4, !tbaa !9
  br label %62

62:                                               ; preds = %._crit_edge, %.preheader63
  %63 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1, i64 noundef 1) #6
  %64 = load i32, ptr %63, align 4, !tbaa !9
  %65 = and i32 %64, 1
  %66 = icmp eq i32 %65, 0
  br i1 %66, label %.lr.ph.1, label %.preheader63.1

.lr.ph.1:                                         ; preds = %62
  %.promoted.1 = load i32, ptr getelementptr inbounds (i8, ptr @cnt, i64 8), align 8, !tbaa !9
  br label %67

67:                                               ; preds = %67, %.lr.ph.1
  %68 = phi i32 [ %.promoted.1, %.lr.ph.1 ], [ %70, %67 ]
  %.02069.1 = phi i32 [ %64, %.lr.ph.1 ], [ %69, %67 ]
  %69 = ashr exact i32 %.02069.1, 1
  %70 = add nsw i32 %68, 1
  %71 = and i32 %.02069.1, 2
  %72 = icmp eq i32 %71, 0
  br i1 %72, label %67, label %..preheader63_crit_edge.1, !llvm.loop !11

..preheader63_crit_edge.1:                        ; preds = %67
  store i32 %70, ptr getelementptr inbounds (i8, ptr @cnt, i64 8), align 8, !tbaa !9
  br label %.preheader63.1

.preheader63.1:                                   ; preds = %..preheader63_crit_edge.1, %62
  %.020.lcssa.1 = phi i32 [ %69, %..preheader63_crit_edge.1 ], [ %64, %62 ]
  %73 = srem i32 %.020.lcssa.1, 3
  %74 = icmp eq i32 %73, 0
  br i1 %74, label %.lr.ph72.1, label %81

.lr.ph72.1:                                       ; preds = %.preheader63.1
  %.promoted73.1 = load i32, ptr getelementptr inbounds (i8, ptr @cnt, i64 12), align 4, !tbaa !9
  br label %75

75:                                               ; preds = %75, %.lr.ph72.1
  %76 = phi i32 [ %.promoted73.1, %.lr.ph72.1 ], [ %78, %75 ]
  %.12171.1 = phi i32 [ %.020.lcssa.1, %.lr.ph72.1 ], [ %77, %75 ]
  %77 = sdiv i32 %.12171.1, 3
  %78 = add nsw i32 %76, 1
  %79 = srem i32 %77, 3
  %80 = icmp eq i32 %79, 0
  br i1 %80, label %75, label %._crit_edge.1, !llvm.loop !13

._crit_edge.1:                                    ; preds = %75
  store i32 %78, ptr getelementptr inbounds (i8, ptr @cnt, i64 12), align 4, !tbaa !9
  br label %81

81:                                               ; preds = %._crit_edge.1, %.preheader63.1
  %82 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1, i64 noundef 2) #6
  %83 = load i32, ptr %82, align 4, !tbaa !9
  %84 = and i32 %83, 1
  %85 = icmp eq i32 %84, 0
  br i1 %85, label %.lr.ph.2, label %.preheader63.2

.lr.ph.2:                                         ; preds = %81
  %.promoted.2 = load i32, ptr getelementptr inbounds (i8, ptr @cnt, i64 16), align 16, !tbaa !9
  br label %86

86:                                               ; preds = %86, %.lr.ph.2
  %87 = phi i32 [ %.promoted.2, %.lr.ph.2 ], [ %89, %86 ]
  %.02069.2 = phi i32 [ %83, %.lr.ph.2 ], [ %88, %86 ]
  %88 = ashr exact i32 %.02069.2, 1
  %89 = add nsw i32 %87, 1
  %90 = and i32 %.02069.2, 2
  %91 = icmp eq i32 %90, 0
  br i1 %91, label %86, label %..preheader63_crit_edge.2, !llvm.loop !11

..preheader63_crit_edge.2:                        ; preds = %86
  store i32 %89, ptr getelementptr inbounds (i8, ptr @cnt, i64 16), align 16, !tbaa !9
  br label %.preheader63.2

.preheader63.2:                                   ; preds = %..preheader63_crit_edge.2, %81
  %.020.lcssa.2 = phi i32 [ %88, %..preheader63_crit_edge.2 ], [ %83, %81 ]
  %92 = srem i32 %.020.lcssa.2, 3
  %93 = icmp eq i32 %92, 0
  br i1 %93, label %.lr.ph72.2, label %100

.lr.ph72.2:                                       ; preds = %.preheader63.2
  %.promoted73.2 = load i32, ptr getelementptr inbounds (i8, ptr @cnt, i64 20), align 4, !tbaa !9
  br label %94

94:                                               ; preds = %94, %.lr.ph72.2
  %95 = phi i32 [ %.promoted73.2, %.lr.ph72.2 ], [ %97, %94 ]
  %.12171.2 = phi i32 [ %.020.lcssa.2, %.lr.ph72.2 ], [ %96, %94 ]
  %96 = sdiv i32 %.12171.2, 3
  %97 = add nsw i32 %95, 1
  %98 = srem i32 %96, 3
  %99 = icmp eq i32 %98, 0
  br i1 %99, label %94, label %._crit_edge.2, !llvm.loop !13

._crit_edge.2:                                    ; preds = %94
  store i32 %97, ptr getelementptr inbounds (i8, ptr @cnt, i64 20), align 4, !tbaa !9
  br label %100

100:                                              ; preds = %._crit_edge.2, %.preheader63.2
  %101 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1, i64 noundef 3) #6
  %102 = load i32, ptr %101, align 4, !tbaa !9
  %103 = and i32 %102, 1
  %104 = icmp eq i32 %103, 0
  br i1 %104, label %.lr.ph.3, label %.preheader63.3

.lr.ph.3:                                         ; preds = %100
  %.promoted.3 = load i32, ptr getelementptr inbounds (i8, ptr @cnt, i64 24), align 8, !tbaa !9
  br label %105

105:                                              ; preds = %105, %.lr.ph.3
  %106 = phi i32 [ %.promoted.3, %.lr.ph.3 ], [ %108, %105 ]
  %.02069.3 = phi i32 [ %102, %.lr.ph.3 ], [ %107, %105 ]
  %107 = ashr exact i32 %.02069.3, 1
  %108 = add nsw i32 %106, 1
  %109 = and i32 %.02069.3, 2
  %110 = icmp eq i32 %109, 0
  br i1 %110, label %105, label %..preheader63_crit_edge.3, !llvm.loop !11

..preheader63_crit_edge.3:                        ; preds = %105
  store i32 %108, ptr getelementptr inbounds (i8, ptr @cnt, i64 24), align 8, !tbaa !9
  br label %.preheader63.3

.preheader63.3:                                   ; preds = %..preheader63_crit_edge.3, %100
  %.020.lcssa.3 = phi i32 [ %107, %..preheader63_crit_edge.3 ], [ %102, %100 ]
  %111 = srem i32 %.020.lcssa.3, 3
  %112 = icmp eq i32 %111, 0
  %.pre = load i32, ptr getelementptr inbounds (i8, ptr @cnt, i64 28), align 4, !tbaa !9
  br i1 %112, label %.lr.ph72.3, label %.preheader62

.lr.ph72.3:                                       ; preds = %.preheader63.3, %.lr.ph72.3
  %113 = phi i32 [ %115, %.lr.ph72.3 ], [ %.pre, %.preheader63.3 ]
  %.12171.3 = phi i32 [ %114, %.lr.ph72.3 ], [ %.020.lcssa.3, %.preheader63.3 ]
  %114 = sdiv i32 %.12171.3, 3
  %115 = add nsw i32 %113, 1
  %116 = srem i32 %114, 3
  %117 = icmp eq i32 %116, 0
  br i1 %117, label %.lr.ph72.3, label %._crit_edge.3, !llvm.loop !13

._crit_edge.3:                                    ; preds = %.lr.ph72.3
  store i32 %115, ptr getelementptr inbounds (i8, ptr @cnt, i64 28), align 4, !tbaa !9
  br label %.preheader62

.preheader62:                                     ; preds = %._crit_edge.3, %.preheader63.3
  %.promoted85 = phi i32 [ %115, %._crit_edge.3 ], [ %.pre, %.preheader63.3 ]
  %118 = load i32, ptr getelementptr inbounds (i8, ptr @cnt, i64 20), align 4, !tbaa !9
  %119 = add nsw i32 %.promoted85, %118
  %.promoted76 = load i32, ptr getelementptr inbounds (i8, ptr @cnt, i64 4), align 4, !tbaa !9
  %.promoted77 = load i32, ptr getelementptr inbounds (i8, ptr @cnt, i64 12), align 4, !tbaa !9
  %.promoted78 = load i32, ptr getelementptr inbounds (i8, ptr @cnt, i64 8), align 8, !tbaa !9
  %cnt.promoted = load i32, ptr @cnt, align 16, !tbaa !9
  %120 = add nsw i32 %.promoted77, %.promoted76
  %121 = icmp sgt i32 %120, %119
  br i1 %121, label %.lr.ph80, label %.preheader61

.preheader61:                                     ; preds = %137, %.preheader62
  %.promoted99 = phi i32 [ %.promoted78, %.preheader62 ], [ %139, %137 ]
  %cnt.promoted98 = phi i32 [ %cnt.promoted, %.preheader62 ], [ %138, %137 ]
  %.0.lcssa = phi i32 [ 0, %.preheader62 ], [ %127, %137 ]
  %.lcssa68 = phi i32 [ %120, %.preheader62 ], [ %142, %137 ]
  %.promoted88 = load i32, ptr getelementptr inbounds (i8, ptr @cnt, i64 24), align 8, !tbaa !9
  %.promoted92 = load i32, ptr getelementptr inbounds (i8, ptr @cnt, i64 16), align 16, !tbaa !9
  %122 = icmp slt i32 %.lcssa68, %119
  br i1 %122, label %.lr.ph96, label %.preheader60

.lr.ph80:                                         ; preds = %.preheader62, %137
  %.079 = phi i32 [ %127, %137 ], [ 0, %.preheader62 ]
  %123 = phi i32 [ %141, %137 ], [ %.promoted76, %.preheader62 ]
  %124 = phi i32 [ %140, %137 ], [ %.promoted77, %.preheader62 ]
  %125 = phi i32 [ %139, %137 ], [ %.promoted78, %.preheader62 ]
  %126 = phi i32 [ %138, %137 ], [ %cnt.promoted, %.preheader62 ]
  %127 = add nuw nsw i32 %.079, 1
  %128 = icmp sgt i32 %123, 0
  br i1 %128, label %129, label %132

129:                                              ; preds = %.lr.ph80
  %130 = add nsw i32 %123, -1
  store i32 %130, ptr getelementptr inbounds (i8, ptr @cnt, i64 4), align 4, !tbaa !9
  %131 = add nsw i32 %126, 1
  store i32 %131, ptr @cnt, align 16, !tbaa !9
  br label %137

132:                                              ; preds = %.lr.ph80
  %133 = icmp sgt i32 %124, 0
  br i1 %133, label %134, label %137

134:                                              ; preds = %132
  %135 = add nsw i32 %124, -1
  store i32 %135, ptr getelementptr inbounds (i8, ptr @cnt, i64 12), align 4, !tbaa !9
  %136 = add nsw i32 %125, 1
  store i32 %136, ptr getelementptr inbounds (i8, ptr @cnt, i64 8), align 8, !tbaa !9
  br label %137

137:                                              ; preds = %132, %134, %129
  %138 = phi i32 [ %126, %132 ], [ %126, %134 ], [ %131, %129 ]
  %139 = phi i32 [ %125, %132 ], [ %136, %134 ], [ %125, %129 ]
  %140 = phi i32 [ %124, %132 ], [ %135, %134 ], [ %124, %129 ]
  %141 = phi i32 [ %123, %132 ], [ %123, %134 ], [ %130, %129 ]
  %142 = add nsw i32 %140, %141
  %143 = icmp sgt i32 %142, %119
  br i1 %143, label %.lr.ph80, label %.preheader61, !llvm.loop !14

.preheader60:                                     ; preds = %161, %.preheader61
  %.promoted106 = phi i32 [ %.promoted88, %.preheader61 ], [ %163, %161 ]
  %.promoted109 = phi i32 [ %.promoted92, %.preheader61 ], [ %162, %161 ]
  %.1.lcssa = phi i32 [ %.0.lcssa, %.preheader61 ], [ %151, %161 ]
  %144 = add nsw i32 %.promoted106, %.promoted109
  %145 = add nsw i32 %.promoted99, %cnt.promoted98
  %146 = icmp sgt i32 %145, %144
  br i1 %146, label %.lr.ph101, label %.preheader

.lr.ph96:                                         ; preds = %.preheader61, %161
  %.195 = phi i32 [ %151, %161 ], [ %.0.lcssa, %.preheader61 ]
  %147 = phi i32 [ %.pr91, %161 ], [ %118, %.preheader61 ]
  %148 = phi i32 [ %.pr4387, %161 ], [ %.promoted85, %.preheader61 ]
  %149 = phi i32 [ %163, %161 ], [ %.promoted88, %.preheader61 ]
  %150 = phi i32 [ %162, %161 ], [ %.promoted92, %.preheader61 ]
  %151 = add nuw nsw i32 %.195, 1
  %152 = icmp sgt i32 %147, 0
  br i1 %152, label %153, label %156

153:                                              ; preds = %.lr.ph96
  %154 = add nsw i32 %147, -1
  store i32 %154, ptr getelementptr inbounds (i8, ptr @cnt, i64 20), align 4, !tbaa !9
  %155 = add nsw i32 %150, 1
  store i32 %155, ptr getelementptr inbounds (i8, ptr @cnt, i64 16), align 16, !tbaa !9
  br label %161

156:                                              ; preds = %.lr.ph96
  %157 = icmp sgt i32 %148, 0
  br i1 %157, label %158, label %161

158:                                              ; preds = %156
  %159 = add nsw i32 %148, -1
  store i32 %159, ptr getelementptr inbounds (i8, ptr @cnt, i64 28), align 4, !tbaa !9
  %160 = add nsw i32 %149, 1
  store i32 %160, ptr getelementptr inbounds (i8, ptr @cnt, i64 24), align 8, !tbaa !9
  br label %161

161:                                              ; preds = %156, %158, %153
  %162 = phi i32 [ %150, %156 ], [ %150, %158 ], [ %155, %153 ]
  %.pr91 = phi i32 [ %147, %156 ], [ %147, %158 ], [ %154, %153 ]
  %163 = phi i32 [ %149, %156 ], [ %160, %158 ], [ %149, %153 ]
  %.pr4387 = phi i32 [ %148, %156 ], [ %159, %158 ], [ %148, %153 ]
  %164 = add nsw i32 %.pr91, %.pr4387
  %165 = icmp slt i32 %.lcssa68, %164
  br i1 %165, label %.lr.ph96, label %.preheader60, !llvm.loop !15

.preheader:                                       ; preds = %177, %.preheader60
  %.2.lcssa = phi i32 [ %.1.lcssa, %.preheader60 ], [ %169, %177 ]
  %.lcssa65 = phi i32 [ %145, %.preheader60 ], [ %180, %177 ]
  %166 = icmp slt i32 %.lcssa65, %144
  br i1 %166, label %.lr.ph115, label %._crit_edge116

.lr.ph101:                                        ; preds = %.preheader60, %177
  %.2100 = phi i32 [ %169, %177 ], [ %.1.lcssa, %.preheader60 ]
  %167 = phi i32 [ %179, %177 ], [ %cnt.promoted98, %.preheader60 ]
  %168 = phi i32 [ %178, %177 ], [ %.promoted99, %.preheader60 ]
  %169 = add nuw nsw i32 %.2100, 1
  %170 = icmp sgt i32 %167, 0
  br i1 %170, label %171, label %173

171:                                              ; preds = %.lr.ph101
  %172 = add nsw i32 %167, -1
  store i32 %172, ptr @cnt, align 16, !tbaa !9
  br label %177

173:                                              ; preds = %.lr.ph101
  %174 = icmp sgt i32 %168, 0
  br i1 %174, label %175, label %177

175:                                              ; preds = %173
  %176 = add nsw i32 %168, -1
  store i32 %176, ptr getelementptr inbounds (i8, ptr @cnt, i64 8), align 8, !tbaa !9
  br label %177

177:                                              ; preds = %173, %175, %171
  %178 = phi i32 [ %168, %173 ], [ %176, %175 ], [ %168, %171 ]
  %179 = phi i32 [ %167, %173 ], [ %167, %175 ], [ %172, %171 ]
  %180 = add nsw i32 %178, %179
  %181 = icmp sgt i32 %180, %144
  br i1 %181, label %.lr.ph101, label %.preheader, !llvm.loop !16

.lr.ph115:                                        ; preds = %.preheader, %192
  %.3114 = phi i32 [ %184, %192 ], [ %.2.lcssa, %.preheader ]
  %182 = phi i32 [ %.pr44111, %192 ], [ %.promoted109, %.preheader ]
  %183 = phi i32 [ %.pr45108, %192 ], [ %.promoted106, %.preheader ]
  %184 = add nuw nsw i32 %.3114, 1
  %185 = icmp sgt i32 %182, 0
  br i1 %185, label %186, label %188

186:                                              ; preds = %.lr.ph115
  %187 = add nsw i32 %182, -1
  store i32 %187, ptr getelementptr inbounds (i8, ptr @cnt, i64 16), align 16, !tbaa !9
  br label %192

188:                                              ; preds = %.lr.ph115
  %189 = icmp sgt i32 %183, 0
  br i1 %189, label %190, label %192

190:                                              ; preds = %188
  %191 = add nsw i32 %183, -1
  store i32 %191, ptr getelementptr inbounds (i8, ptr @cnt, i64 24), align 8, !tbaa !9
  br label %192

192:                                              ; preds = %188, %190, %186
  %.pr44111 = phi i32 [ %182, %188 ], [ %182, %190 ], [ %187, %186 ]
  %.pr45108 = phi i32 [ %183, %188 ], [ %191, %190 ], [ %183, %186 ]
  %193 = add nsw i32 %.pr44111, %.pr45108
  %194 = icmp slt i32 %.lcssa65, %193
  br i1 %194, label %.lr.ph115, label %._crit_edge116, !llvm.loop !17

._crit_edge116:                                   ; preds = %192, %.preheader
  %.3.lcssa = phi i32 [ %.2.lcssa, %.preheader ], [ %184, %192 ]
  %195 = load i64, ptr @a1, align 8, !tbaa !5
  %196 = call noundef i64 @_Z5stripx(i64 noundef %195)
  store i64 %196, ptr @a1, align 8, !tbaa !5
  %197 = load i64, ptr @a2, align 8, !tbaa !5
  %198 = call noundef i64 @_Z5stripx(i64 noundef %197)
  store i64 %198, ptr @a2, align 8, !tbaa !5
  %199 = load i64, ptr @b1, align 8, !tbaa !5
  %200 = call noundef i64 @_Z5stripx(i64 noundef %199)
  store i64 %200, ptr @b1, align 8, !tbaa !5
  %201 = load i64, ptr @b2, align 8, !tbaa !5
  %202 = call noundef i64 @_Z5stripx(i64 noundef %201)
  store i64 %202, ptr @b2, align 8, !tbaa !5
  %.pr46 = load i32, ptr @cnt, align 16, !tbaa !9
  %a1.promoted = load i64, ptr @a1, align 8, !tbaa !5
  %203 = icmp sgt i32 %.pr46, 0
  br i1 %203, label %.lr.ph119.preheader, label %thread-pre-split

.lr.ph119.preheader:                              ; preds = %._crit_edge116
  %xtraiter = and i32 %.pr46, 7
  %lcmp.mod.not = icmp eq i32 %xtraiter, 0
  br i1 %lcmp.mod.not, label %.lr.ph119.prol.loopexit, label %.lr.ph119.prol

.lr.ph119.prol:                                   ; preds = %.lr.ph119.preheader, %.lr.ph119.prol
  %204 = phi i32 [ %206, %.lr.ph119.prol ], [ %.pr46, %.lr.ph119.preheader ]
  %205 = phi i64 [ %207, %.lr.ph119.prol ], [ %a1.promoted, %.lr.ph119.preheader ]
  %prol.iter = phi i32 [ %prol.iter.next, %.lr.ph119.prol ], [ 0, %.lr.ph119.preheader ]
  %206 = add nsw i32 %204, -1
  %207 = shl nsw i64 %205, 1
  %prol.iter.next = add i32 %prol.iter, 1
  %prol.iter.cmp.not = icmp eq i32 %prol.iter.next, %xtraiter
  br i1 %prol.iter.cmp.not, label %.lr.ph119.prol.loopexit, label %.lr.ph119.prol, !llvm.loop !18

.lr.ph119.prol.loopexit:                          ; preds = %.lr.ph119.prol, %.lr.ph119.preheader
  %.unr = phi i32 [ %.pr46, %.lr.ph119.preheader ], [ %206, %.lr.ph119.prol ]
  %.unr266 = phi i64 [ %a1.promoted, %.lr.ph119.preheader ], [ %207, %.lr.ph119.prol ]
  %.lcssa243.unr = phi i64 [ poison, %.lr.ph119.preheader ], [ %207, %.lr.ph119.prol ]
  %208 = icmp ult i32 %.pr46, 8
  br i1 %208, label %.thread-pre-split_crit_edge, label %.lr.ph119

.lr.ph119:                                        ; preds = %.lr.ph119.prol.loopexit, %.lr.ph119
  %209 = phi i32 [ %212, %.lr.ph119 ], [ %.unr, %.lr.ph119.prol.loopexit ]
  %210 = phi i64 [ %211, %.lr.ph119 ], [ %.unr266, %.lr.ph119.prol.loopexit ]
  %211 = shl i64 %210, 8
  %212 = add nsw i32 %209, -8
  %213 = add i32 %209, -9
  %214 = icmp ult i32 %213, -2
  br i1 %214, label %.lr.ph119, label %.thread-pre-split_crit_edge, !llvm.loop !20

.thread-pre-split_crit_edge:                      ; preds = %.lr.ph119, %.lr.ph119.prol.loopexit
  %.lcssa243 = phi i64 [ %.lcssa243.unr, %.lr.ph119.prol.loopexit ], [ %211, %.lr.ph119 ]
  store i32 0, ptr @cnt, align 16, !tbaa !9
  store i64 %.lcssa243, ptr @a1, align 8, !tbaa !5
  br label %thread-pre-split

thread-pre-split:                                 ; preds = %.thread-pre-split_crit_edge, %._crit_edge116
  %a1.promoted122 = phi i64 [ %.lcssa243, %.thread-pre-split_crit_edge ], [ %a1.promoted, %._crit_edge116 ]
  %.pr47 = load i32, ptr getelementptr inbounds (i8, ptr @cnt, i64 4), align 4, !tbaa !9
  %215 = icmp sgt i32 %.pr47, 0
  br i1 %215, label %.lr.ph123.preheader, label %thread-pre-split48

.lr.ph123.preheader:                              ; preds = %thread-pre-split
  %xtraiter267 = and i32 %.pr47, 7
  %lcmp.mod268.not = icmp eq i32 %xtraiter267, 0
  br i1 %lcmp.mod268.not, label %.lr.ph123.prol.loopexit, label %.lr.ph123.prol

.lr.ph123.prol:                                   ; preds = %.lr.ph123.preheader, %.lr.ph123.prol
  %216 = phi i32 [ %218, %.lr.ph123.prol ], [ %.pr47, %.lr.ph123.preheader ]
  %217 = phi i64 [ %219, %.lr.ph123.prol ], [ %a1.promoted122, %.lr.ph123.preheader ]
  %prol.iter269 = phi i32 [ %prol.iter269.next, %.lr.ph123.prol ], [ 0, %.lr.ph123.preheader ]
  %218 = add nsw i32 %216, -1
  %219 = mul nsw i64 %217, 3
  %prol.iter269.next = add i32 %prol.iter269, 1
  %prol.iter269.cmp.not = icmp eq i32 %prol.iter269.next, %xtraiter267
  br i1 %prol.iter269.cmp.not, label %.lr.ph123.prol.loopexit, label %.lr.ph123.prol, !llvm.loop !21

.lr.ph123.prol.loopexit:                          ; preds = %.lr.ph123.prol, %.lr.ph123.preheader
  %.unr270 = phi i32 [ %.pr47, %.lr.ph123.preheader ], [ %218, %.lr.ph123.prol ]
  %.unr271 = phi i64 [ %a1.promoted122, %.lr.ph123.preheader ], [ %219, %.lr.ph123.prol ]
  %.lcssa242.unr = phi i64 [ poison, %.lr.ph123.preheader ], [ %219, %.lr.ph123.prol ]
  %220 = icmp ult i32 %.pr47, 8
  br i1 %220, label %.thread-pre-split48_crit_edge, label %.lr.ph123

.lr.ph123:                                        ; preds = %.lr.ph123.prol.loopexit, %.lr.ph123
  %221 = phi i32 [ %223, %.lr.ph123 ], [ %.unr270, %.lr.ph123.prol.loopexit ]
  %222 = phi i64 [ %224, %.lr.ph123 ], [ %.unr271, %.lr.ph123.prol.loopexit ]
  %223 = add nsw i32 %221, -8
  %224 = mul i64 %222, 6561
  %225 = add i32 %221, -9
  %226 = icmp ult i32 %225, -2
  br i1 %226, label %.lr.ph123, label %.thread-pre-split48_crit_edge, !llvm.loop !22

.thread-pre-split48_crit_edge:                    ; preds = %.lr.ph123, %.lr.ph123.prol.loopexit
  %.lcssa242 = phi i64 [ %.lcssa242.unr, %.lr.ph123.prol.loopexit ], [ %224, %.lr.ph123 ]
  store i32 0, ptr getelementptr inbounds (i8, ptr @cnt, i64 4), align 4, !tbaa !9
  store i64 %.lcssa242, ptr @a1, align 8, !tbaa !5
  br label %thread-pre-split48

thread-pre-split48:                               ; preds = %.thread-pre-split48_crit_edge, %thread-pre-split
  %.pr49 = load i32, ptr getelementptr inbounds (i8, ptr @cnt, i64 8), align 8, !tbaa !9
  %b1.promoted = load i64, ptr @b1, align 8, !tbaa !5
  %227 = icmp sgt i32 %.pr49, 0
  br i1 %227, label %.lr.ph126.preheader, label %thread-pre-split50

.lr.ph126.preheader:                              ; preds = %thread-pre-split48
  %xtraiter272 = and i32 %.pr49, 7
  %lcmp.mod273.not = icmp eq i32 %xtraiter272, 0
  br i1 %lcmp.mod273.not, label %.lr.ph126.prol.loopexit, label %.lr.ph126.prol

.lr.ph126.prol:                                   ; preds = %.lr.ph126.preheader, %.lr.ph126.prol
  %228 = phi i32 [ %230, %.lr.ph126.prol ], [ %.pr49, %.lr.ph126.preheader ]
  %229 = phi i64 [ %231, %.lr.ph126.prol ], [ %b1.promoted, %.lr.ph126.preheader ]
  %prol.iter274 = phi i32 [ %prol.iter274.next, %.lr.ph126.prol ], [ 0, %.lr.ph126.preheader ]
  %230 = add nsw i32 %228, -1
  %231 = shl nsw i64 %229, 1
  %prol.iter274.next = add i32 %prol.iter274, 1
  %prol.iter274.cmp.not = icmp eq i32 %prol.iter274.next, %xtraiter272
  br i1 %prol.iter274.cmp.not, label %.lr.ph126.prol.loopexit, label %.lr.ph126.prol, !llvm.loop !23

.lr.ph126.prol.loopexit:                          ; preds = %.lr.ph126.prol, %.lr.ph126.preheader
  %.unr275 = phi i32 [ %.pr49, %.lr.ph126.preheader ], [ %230, %.lr.ph126.prol ]
  %.unr276 = phi i64 [ %b1.promoted, %.lr.ph126.preheader ], [ %231, %.lr.ph126.prol ]
  %.lcssa241.unr = phi i64 [ poison, %.lr.ph126.preheader ], [ %231, %.lr.ph126.prol ]
  %232 = icmp ult i32 %.pr49, 8
  br i1 %232, label %.thread-pre-split50_crit_edge, label %.lr.ph126

.lr.ph126:                                        ; preds = %.lr.ph126.prol.loopexit, %.lr.ph126
  %233 = phi i32 [ %236, %.lr.ph126 ], [ %.unr275, %.lr.ph126.prol.loopexit ]
  %234 = phi i64 [ %235, %.lr.ph126 ], [ %.unr276, %.lr.ph126.prol.loopexit ]
  %235 = shl i64 %234, 8
  %236 = add nsw i32 %233, -8
  %237 = add i32 %233, -9
  %238 = icmp ult i32 %237, -2
  br i1 %238, label %.lr.ph126, label %.thread-pre-split50_crit_edge, !llvm.loop !24

.thread-pre-split50_crit_edge:                    ; preds = %.lr.ph126, %.lr.ph126.prol.loopexit
  %.lcssa241 = phi i64 [ %.lcssa241.unr, %.lr.ph126.prol.loopexit ], [ %235, %.lr.ph126 ]
  store i32 0, ptr getelementptr inbounds (i8, ptr @cnt, i64 8), align 8, !tbaa !9
  store i64 %.lcssa241, ptr @b1, align 8, !tbaa !5
  br label %thread-pre-split50

thread-pre-split50:                               ; preds = %.thread-pre-split50_crit_edge, %thread-pre-split48
  %b1.promoted129 = phi i64 [ %.lcssa241, %.thread-pre-split50_crit_edge ], [ %b1.promoted, %thread-pre-split48 ]
  %.pr51 = load i32, ptr getelementptr inbounds (i8, ptr @cnt, i64 12), align 4, !tbaa !9
  %239 = icmp sgt i32 %.pr51, 0
  br i1 %239, label %.lr.ph130.preheader, label %thread-pre-split52

.lr.ph130.preheader:                              ; preds = %thread-pre-split50
  %xtraiter277 = and i32 %.pr51, 7
  %lcmp.mod278.not = icmp eq i32 %xtraiter277, 0
  br i1 %lcmp.mod278.not, label %.lr.ph130.prol.loopexit, label %.lr.ph130.prol

.lr.ph130.prol:                                   ; preds = %.lr.ph130.preheader, %.lr.ph130.prol
  %240 = phi i32 [ %242, %.lr.ph130.prol ], [ %.pr51, %.lr.ph130.preheader ]
  %241 = phi i64 [ %243, %.lr.ph130.prol ], [ %b1.promoted129, %.lr.ph130.preheader ]
  %prol.iter279 = phi i32 [ %prol.iter279.next, %.lr.ph130.prol ], [ 0, %.lr.ph130.preheader ]
  %242 = add nsw i32 %240, -1
  %243 = mul nsw i64 %241, 3
  %prol.iter279.next = add i32 %prol.iter279, 1
  %prol.iter279.cmp.not = icmp eq i32 %prol.iter279.next, %xtraiter277
  br i1 %prol.iter279.cmp.not, label %.lr.ph130.prol.loopexit, label %.lr.ph130.prol, !llvm.loop !25

.lr.ph130.prol.loopexit:                          ; preds = %.lr.ph130.prol, %.lr.ph130.preheader
  %.unr280 = phi i32 [ %.pr51, %.lr.ph130.preheader ], [ %242, %.lr.ph130.prol ]
  %.unr281 = phi i64 [ %b1.promoted129, %.lr.ph130.preheader ], [ %243, %.lr.ph130.prol ]
  %.lcssa240.unr = phi i64 [ poison, %.lr.ph130.preheader ], [ %243, %.lr.ph130.prol ]
  %244 = icmp ult i32 %.pr51, 8
  br i1 %244, label %.thread-pre-split52_crit_edge, label %.lr.ph130

.lr.ph130:                                        ; preds = %.lr.ph130.prol.loopexit, %.lr.ph130
  %245 = phi i32 [ %247, %.lr.ph130 ], [ %.unr280, %.lr.ph130.prol.loopexit ]
  %246 = phi i64 [ %248, %.lr.ph130 ], [ %.unr281, %.lr.ph130.prol.loopexit ]
  %247 = add nsw i32 %245, -8
  %248 = mul i64 %246, 6561
  %249 = add i32 %245, -9
  %250 = icmp ult i32 %249, -2
  br i1 %250, label %.lr.ph130, label %.thread-pre-split52_crit_edge, !llvm.loop !26

.thread-pre-split52_crit_edge:                    ; preds = %.lr.ph130, %.lr.ph130.prol.loopexit
  %.lcssa240 = phi i64 [ %.lcssa240.unr, %.lr.ph130.prol.loopexit ], [ %248, %.lr.ph130 ]
  store i32 0, ptr getelementptr inbounds (i8, ptr @cnt, i64 12), align 4, !tbaa !9
  store i64 %.lcssa240, ptr @b1, align 8, !tbaa !5
  br label %thread-pre-split52

thread-pre-split52:                               ; preds = %.thread-pre-split52_crit_edge, %thread-pre-split50
  %.pr53 = load i32, ptr getelementptr inbounds (i8, ptr @cnt, i64 16), align 16, !tbaa !9
  %a2.promoted = load i64, ptr @a2, align 8, !tbaa !5
  %251 = icmp sgt i32 %.pr53, 0
  br i1 %251, label %.lr.ph133.preheader, label %thread-pre-split54

.lr.ph133.preheader:                              ; preds = %thread-pre-split52
  %xtraiter282 = and i32 %.pr53, 7
  %lcmp.mod283.not = icmp eq i32 %xtraiter282, 0
  br i1 %lcmp.mod283.not, label %.lr.ph133.prol.loopexit, label %.lr.ph133.prol

.lr.ph133.prol:                                   ; preds = %.lr.ph133.preheader, %.lr.ph133.prol
  %252 = phi i32 [ %254, %.lr.ph133.prol ], [ %.pr53, %.lr.ph133.preheader ]
  %253 = phi i64 [ %255, %.lr.ph133.prol ], [ %a2.promoted, %.lr.ph133.preheader ]
  %prol.iter284 = phi i32 [ %prol.iter284.next, %.lr.ph133.prol ], [ 0, %.lr.ph133.preheader ]
  %254 = add nsw i32 %252, -1
  %255 = shl nsw i64 %253, 1
  %prol.iter284.next = add i32 %prol.iter284, 1
  %prol.iter284.cmp.not = icmp eq i32 %prol.iter284.next, %xtraiter282
  br i1 %prol.iter284.cmp.not, label %.lr.ph133.prol.loopexit, label %.lr.ph133.prol, !llvm.loop !27

.lr.ph133.prol.loopexit:                          ; preds = %.lr.ph133.prol, %.lr.ph133.preheader
  %.unr285 = phi i32 [ %.pr53, %.lr.ph133.preheader ], [ %254, %.lr.ph133.prol ]
  %.unr286 = phi i64 [ %a2.promoted, %.lr.ph133.preheader ], [ %255, %.lr.ph133.prol ]
  %.lcssa239.unr = phi i64 [ poison, %.lr.ph133.preheader ], [ %255, %.lr.ph133.prol ]
  %256 = icmp ult i32 %.pr53, 8
  br i1 %256, label %.thread-pre-split54_crit_edge, label %.lr.ph133

.lr.ph133:                                        ; preds = %.lr.ph133.prol.loopexit, %.lr.ph133
  %257 = phi i32 [ %260, %.lr.ph133 ], [ %.unr285, %.lr.ph133.prol.loopexit ]
  %258 = phi i64 [ %259, %.lr.ph133 ], [ %.unr286, %.lr.ph133.prol.loopexit ]
  %259 = shl i64 %258, 8
  %260 = add nsw i32 %257, -8
  %261 = add i32 %257, -9
  %262 = icmp ult i32 %261, -2
  br i1 %262, label %.lr.ph133, label %.thread-pre-split54_crit_edge, !llvm.loop !28

.thread-pre-split54_crit_edge:                    ; preds = %.lr.ph133, %.lr.ph133.prol.loopexit
  %.lcssa239 = phi i64 [ %.lcssa239.unr, %.lr.ph133.prol.loopexit ], [ %259, %.lr.ph133 ]
  store i32 0, ptr getelementptr inbounds (i8, ptr @cnt, i64 16), align 16, !tbaa !9
  store i64 %.lcssa239, ptr @a2, align 8, !tbaa !5
  br label %thread-pre-split54

thread-pre-split54:                               ; preds = %.thread-pre-split54_crit_edge, %thread-pre-split52
  %a2.promoted136 = phi i64 [ %.lcssa239, %.thread-pre-split54_crit_edge ], [ %a2.promoted, %thread-pre-split52 ]
  %.pr55 = load i32, ptr getelementptr inbounds (i8, ptr @cnt, i64 20), align 4, !tbaa !9
  %263 = icmp sgt i32 %.pr55, 0
  br i1 %263, label %.lr.ph137.preheader, label %thread-pre-split56

.lr.ph137.preheader:                              ; preds = %thread-pre-split54
  %xtraiter287 = and i32 %.pr55, 7
  %lcmp.mod288.not = icmp eq i32 %xtraiter287, 0
  br i1 %lcmp.mod288.not, label %.lr.ph137.prol.loopexit, label %.lr.ph137.prol

.lr.ph137.prol:                                   ; preds = %.lr.ph137.preheader, %.lr.ph137.prol
  %264 = phi i32 [ %266, %.lr.ph137.prol ], [ %.pr55, %.lr.ph137.preheader ]
  %265 = phi i64 [ %267, %.lr.ph137.prol ], [ %a2.promoted136, %.lr.ph137.preheader ]
  %prol.iter289 = phi i32 [ %prol.iter289.next, %.lr.ph137.prol ], [ 0, %.lr.ph137.preheader ]
  %266 = add nsw i32 %264, -1
  %267 = mul nsw i64 %265, 3
  %prol.iter289.next = add i32 %prol.iter289, 1
  %prol.iter289.cmp.not = icmp eq i32 %prol.iter289.next, %xtraiter287
  br i1 %prol.iter289.cmp.not, label %.lr.ph137.prol.loopexit, label %.lr.ph137.prol, !llvm.loop !29

.lr.ph137.prol.loopexit:                          ; preds = %.lr.ph137.prol, %.lr.ph137.preheader
  %.unr290 = phi i32 [ %.pr55, %.lr.ph137.preheader ], [ %266, %.lr.ph137.prol ]
  %.unr291 = phi i64 [ %a2.promoted136, %.lr.ph137.preheader ], [ %267, %.lr.ph137.prol ]
  %.lcssa238.unr = phi i64 [ poison, %.lr.ph137.preheader ], [ %267, %.lr.ph137.prol ]
  %268 = icmp ult i32 %.pr55, 8
  br i1 %268, label %.thread-pre-split56_crit_edge, label %.lr.ph137

.lr.ph137:                                        ; preds = %.lr.ph137.prol.loopexit, %.lr.ph137
  %269 = phi i32 [ %271, %.lr.ph137 ], [ %.unr290, %.lr.ph137.prol.loopexit ]
  %270 = phi i64 [ %272, %.lr.ph137 ], [ %.unr291, %.lr.ph137.prol.loopexit ]
  %271 = add nsw i32 %269, -8
  %272 = mul i64 %270, 6561
  %273 = add i32 %269, -9
  %274 = icmp ult i32 %273, -2
  br i1 %274, label %.lr.ph137, label %.thread-pre-split56_crit_edge, !llvm.loop !30

.thread-pre-split56_crit_edge:                    ; preds = %.lr.ph137, %.lr.ph137.prol.loopexit
  %.lcssa238 = phi i64 [ %.lcssa238.unr, %.lr.ph137.prol.loopexit ], [ %272, %.lr.ph137 ]
  store i32 0, ptr getelementptr inbounds (i8, ptr @cnt, i64 20), align 4, !tbaa !9
  store i64 %.lcssa238, ptr @a2, align 8, !tbaa !5
  br label %thread-pre-split56

thread-pre-split56:                               ; preds = %.thread-pre-split56_crit_edge, %thread-pre-split54
  %.pr57 = load i32, ptr getelementptr inbounds (i8, ptr @cnt, i64 24), align 8, !tbaa !9
  %275 = icmp sgt i32 %.pr57, 0
  br i1 %275, label %.lr.ph140.preheader, label %thread-pre-split58

.lr.ph140.preheader:                              ; preds = %thread-pre-split56
  %xtraiter292 = and i32 %.pr57, 7
  %lcmp.mod293.not = icmp eq i32 %xtraiter292, 0
  br i1 %lcmp.mod293.not, label %.lr.ph140.prol.loopexit, label %.lr.ph140.prol

.lr.ph140.prol:                                   ; preds = %.lr.ph140.preheader, %.lr.ph140.prol
  %276 = phi i32 [ %278, %.lr.ph140.prol ], [ %.pr57, %.lr.ph140.preheader ]
  %277 = phi i64 [ %279, %.lr.ph140.prol ], [ %202, %.lr.ph140.preheader ]
  %prol.iter294 = phi i32 [ %prol.iter294.next, %.lr.ph140.prol ], [ 0, %.lr.ph140.preheader ]
  %278 = add nsw i32 %276, -1
  %279 = shl nsw i64 %277, 1
  %prol.iter294.next = add i32 %prol.iter294, 1
  %prol.iter294.cmp.not = icmp eq i32 %prol.iter294.next, %xtraiter292
  br i1 %prol.iter294.cmp.not, label %.lr.ph140.prol.loopexit, label %.lr.ph140.prol, !llvm.loop !31

.lr.ph140.prol.loopexit:                          ; preds = %.lr.ph140.prol, %.lr.ph140.preheader
  %.unr295 = phi i32 [ %.pr57, %.lr.ph140.preheader ], [ %278, %.lr.ph140.prol ]
  %.unr296 = phi i64 [ %202, %.lr.ph140.preheader ], [ %279, %.lr.ph140.prol ]
  %.lcssa237.unr = phi i64 [ poison, %.lr.ph140.preheader ], [ %279, %.lr.ph140.prol ]
  %280 = icmp ult i32 %.pr57, 8
  br i1 %280, label %.thread-pre-split58_crit_edge, label %.lr.ph140

.lr.ph140:                                        ; preds = %.lr.ph140.prol.loopexit, %.lr.ph140
  %281 = phi i32 [ %284, %.lr.ph140 ], [ %.unr295, %.lr.ph140.prol.loopexit ]
  %282 = phi i64 [ %283, %.lr.ph140 ], [ %.unr296, %.lr.ph140.prol.loopexit ]
  %283 = shl i64 %282, 8
  %284 = add nsw i32 %281, -8
  %285 = add i32 %281, -9
  %286 = icmp ult i32 %285, -2
  br i1 %286, label %.lr.ph140, label %.thread-pre-split58_crit_edge, !llvm.loop !32

.thread-pre-split58_crit_edge:                    ; preds = %.lr.ph140, %.lr.ph140.prol.loopexit
  %.lcssa237 = phi i64 [ %.lcssa237.unr, %.lr.ph140.prol.loopexit ], [ %283, %.lr.ph140 ]
  store i32 0, ptr getelementptr inbounds (i8, ptr @cnt, i64 24), align 8, !tbaa !9
  store i64 %.lcssa237, ptr @b2, align 8, !tbaa !5
  br label %thread-pre-split58

thread-pre-split58:                               ; preds = %.thread-pre-split58_crit_edge, %thread-pre-split56
  %b2.promoted143 = phi i64 [ %.lcssa237, %.thread-pre-split58_crit_edge ], [ %202, %thread-pre-split56 ]
  %.pr59 = load i32, ptr getelementptr inbounds (i8, ptr @cnt, i64 28), align 4, !tbaa !9
  %287 = icmp sgt i32 %.pr59, 0
  br i1 %287, label %.lr.ph144.preheader, label %299

.lr.ph144.preheader:                              ; preds = %thread-pre-split58
  %xtraiter297 = and i32 %.pr59, 7
  %lcmp.mod298.not = icmp eq i32 %xtraiter297, 0
  br i1 %lcmp.mod298.not, label %.lr.ph144.prol.loopexit, label %.lr.ph144.prol

.lr.ph144.prol:                                   ; preds = %.lr.ph144.preheader, %.lr.ph144.prol
  %288 = phi i32 [ %290, %.lr.ph144.prol ], [ %.pr59, %.lr.ph144.preheader ]
  %289 = phi i64 [ %291, %.lr.ph144.prol ], [ %b2.promoted143, %.lr.ph144.preheader ]
  %prol.iter299 = phi i32 [ %prol.iter299.next, %.lr.ph144.prol ], [ 0, %.lr.ph144.preheader ]
  %290 = add nsw i32 %288, -1
  %291 = mul nsw i64 %289, 3
  %prol.iter299.next = add i32 %prol.iter299, 1
  %prol.iter299.cmp.not = icmp eq i32 %prol.iter299.next, %xtraiter297
  br i1 %prol.iter299.cmp.not, label %.lr.ph144.prol.loopexit, label %.lr.ph144.prol, !llvm.loop !33

.lr.ph144.prol.loopexit:                          ; preds = %.lr.ph144.prol, %.lr.ph144.preheader
  %.unr300 = phi i32 [ %.pr59, %.lr.ph144.preheader ], [ %290, %.lr.ph144.prol ]
  %.unr301 = phi i64 [ %b2.promoted143, %.lr.ph144.preheader ], [ %291, %.lr.ph144.prol ]
  %.lcssa.unr = phi i64 [ poison, %.lr.ph144.preheader ], [ %291, %.lr.ph144.prol ]
  %292 = icmp ult i32 %.pr59, 8
  br i1 %292, label %._crit_edge145, label %.lr.ph144

.lr.ph144:                                        ; preds = %.lr.ph144.prol.loopexit, %.lr.ph144
  %293 = phi i32 [ %295, %.lr.ph144 ], [ %.unr300, %.lr.ph144.prol.loopexit ]
  %294 = phi i64 [ %296, %.lr.ph144 ], [ %.unr301, %.lr.ph144.prol.loopexit ]
  %295 = add nsw i32 %293, -8
  %296 = mul i64 %294, 6561
  %297 = add i32 %293, -9
  %298 = icmp ult i32 %297, -2
  br i1 %298, label %.lr.ph144, label %._crit_edge145, !llvm.loop !34

._crit_edge145:                                   ; preds = %.lr.ph144, %.lr.ph144.prol.loopexit
  %.lcssa = phi i64 [ %.lcssa.unr, %.lr.ph144.prol.loopexit ], [ %296, %.lr.ph144 ]
  store i32 0, ptr getelementptr inbounds (i8, ptr @cnt, i64 28), align 4, !tbaa !9
  store i64 %.lcssa, ptr @b2, align 8, !tbaa !5
  br label %299

299:                                              ; preds = %._crit_edge145, %thread-pre-split58
  %300 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, i32 noundef %.3.lcssa)
          to label %301 unwind label %324

301:                                              ; preds = %299
  %302 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %300, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %303 unwind label %324

303:                                              ; preds = %301
  %304 = load i64, ptr @a1, align 8, !tbaa !5
  %305 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEx(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, i64 noundef %304)
          to label %306 unwind label %324

306:                                              ; preds = %303
  %307 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %305, ptr noundef nonnull @.str)
          to label %308 unwind label %324

308:                                              ; preds = %306
  %309 = load i64, ptr @b1, align 8, !tbaa !5
  %310 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEx(ptr noundef nonnull align 8 dereferenceable(8) %307, i64 noundef %309)
          to label %311 unwind label %324

311:                                              ; preds = %308
  %312 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %310, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %313 unwind label %324

313:                                              ; preds = %311
  %314 = load i64, ptr @a2, align 8, !tbaa !5
  %315 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEx(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, i64 noundef %314)
          to label %316 unwind label %324

316:                                              ; preds = %313
  %317 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %315, ptr noundef nonnull @.str)
          to label %318 unwind label %324

318:                                              ; preds = %316
  %319 = load i64, ptr @b2, align 8, !tbaa !5
  %320 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEx(ptr noundef nonnull align 8 dereferenceable(8) %317, i64 noundef %319)
          to label %321 unwind label %324

321:                                              ; preds = %318
  %322 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %320, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %323 unwind label %324

323:                                              ; preds = %321
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %1) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %1) #6
  br label %327

324:                                              ; preds = %321, %318, %316, %313, %311, %308, %306, %303, %301, %299
  %325 = landingpad { ptr, i32 }
          cleanup
  br label %326

326:                                              ; preds = %324, %46, %44, %42, %40
  %.pn = phi { ptr, i32 } [ %325, %324 ], [ %47, %46 ], [ %45, %44 ], [ %43, %42 ], [ %41, %40 ]
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %1) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %1) #6
  resume { ptr, i32 } %.pn

327:                                              ; preds = %323, %20
  ret i32 0
}

; Function Attrs: mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(16) ptr @_ZNSirsERx(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #2 align 2

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

declare noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8), i32 noundef) local_unnamed_addr #4

; Function Attrs: mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef) local_unnamed_addr #2 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_(ptr noundef nonnull align 8 dereferenceable(8)) #5

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt6vectorIiSaIiEEC2Ev(ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #0 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt6vectorIiSaIiEE9push_backEOi(ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 4 dereferenceable(4)) local_unnamed_addr #2 align 2

declare i32 @__gxx_personality_v0(...)

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) local_unnamed_addr #0 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef) local_unnamed_addr #5

; Function Attrs: mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEx(ptr noundef nonnull align 8 dereferenceable(8), i64 noundef) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #0 align 2

attributes #0 = { mustprogress 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 norecurse 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 uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #4 = { "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 #5 = { inlinehint 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 #6 = { 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 = !{!"long long", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = distinct !{!11, !12}
!12 = !{!"llvm.loop.mustprogress"}
!13 = distinct !{!13, !12}
!14 = distinct !{!14, !12}
!15 = distinct !{!15, !12}
!16 = distinct !{!16, !12}
!17 = distinct !{!17, !12}
!18 = distinct !{!18, !19}
!19 = !{!"llvm.loop.unroll.disable"}
!20 = distinct !{!20, !12}
!21 = distinct !{!21, !19}
!22 = distinct !{!22, !12}
!23 = distinct !{!23, !19}
!24 = distinct !{!24, !12}
!25 = distinct !{!25, !19}
!26 = distinct !{!26, !12}
!27 = distinct !{!27, !19}
!28 = distinct !{!28, !12}
!29 = distinct !{!29, !19}
!30 = distinct !{!30, !12}
!31 = distinct !{!31, !19}
!32 = distinct !{!32, !12}
!33 = distinct !{!33, !19}
!34 = distinct !{!34, !12}


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