; LLVM IR from dkitch/maxsat-ising :: src/ccls/akmaxsat_1.1_src/akmaxsat.ll (Z14fast_backtrackR11CNF_FormulaIxE)

; 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::vector.5" = type { %"struct.std::_Vector_base.6" }
%"struct.std::_Vector_base.6" = type { %"struct.std::_Vector_base<std::pair<long long, int>, std::allocator<std::pair<long long, int>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::pair<long long, int>, std::allocator<std::pair<long long, int>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::pair<long long, int>, std::allocator<std::pair<long long, int>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::pair<long long, int>, std::allocator<std::pair<long long, int>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"struct.std::pair" = type <{ i64, i32, [4 x i8] }>
%"struct.std::pair.10" = type <{ double, i32, [4 x i8] }>
%"class.__gnu_cxx::__normal_iterator" = type { ptr }

@.str = external hidden unnamed_addr constant [29 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [92 x i8], align 1
@__PRETTY_FUNCTION__._Z14fast_backtrackR11CNF_FormulaIxE = external hidden unnamed_addr constant [46 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [15 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [7 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [29 x i8], align 1

; Function Attrs: mustprogress uwtable
define dso_local void @_Z14fast_backtrackR11CNF_FormulaIxE(ptr noundef nonnull align 8 dereferenceable(456) %0) #0 personality ptr @__gxx_personality_v0 {
  %2 = alloca ptr, align 8
  %3 = alloca ptr, align 8
  %4 = alloca ptr, align 8
  %5 = alloca ptr, align 8
  %6 = alloca ptr, align 8
  %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 x86_fp80, align 16
  %13 = alloca i8, align 1
  %14 = alloca i8, align 1
  %15 = alloca i8, align 1
  %16 = alloca %"class.std::vector.5", align 8
  %17 = alloca i32, align 4
  %18 = alloca ptr, align 8
  %19 = alloca i32, align 4
  %20 = alloca double, align 8
  %21 = alloca double, align 8
  %22 = alloca %"struct.std::pair", align 8
  %23 = alloca %"struct.std::pair.10", align 8
  %24 = alloca double, align 8
  %25 = alloca { double, i32 }, align 8
  %26 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %27 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %28 = alloca i32, align 4
  %29 = alloca i32, align 4
  %30 = alloca i32, align 4
  %31 = alloca i32, align 4
  %32 = alloca ptr, align 8
  %33 = alloca i64, align 8
  %34 = alloca i64, align 8
  %35 = alloca i32, align 4
  %36 = alloca ptr, align 8
  %37 = alloca i64, align 8
  %38 = alloca i64, align 8
  %39 = alloca x86_fp80, align 16
  %40 = alloca x86_fp80, align 16
  store ptr %0, ptr %2, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %3) #11
  %41 = load ptr, ptr %2, align 8, !tbaa !5
  %42 = call noundef i32 @_ZNK11CNF_FormulaIxE8getNVarsEv(ptr noundef nonnull align 8 dereferenceable(456) %41)
  %43 = sext i32 %42 to i64
  %44 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %43, i64 4)
  %45 = extractvalue { i64, i1 } %44, 1
  %46 = extractvalue { i64, i1 } %44, 0
  %47 = select i1 %45, i64 -1, i64 %46
  %48 = call noalias noundef nonnull ptr @_Znam(i64 noundef %47) #12
  store ptr %48, ptr %3, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %4) #11
  %49 = load ptr, ptr %2, align 8, !tbaa !5
  %50 = call noundef i32 @_ZNK11CNF_FormulaIxE8getNVarsEv(ptr noundef nonnull align 8 dereferenceable(456) %49)
  %51 = sext i32 %50 to i64
  %52 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %51, i64 4)
  %53 = extractvalue { i64, i1 } %52, 1
  %54 = extractvalue { i64, i1 } %52, 0
  %55 = select i1 %53, i64 -1, i64 %54
  %56 = call noalias noundef nonnull ptr @_Znam(i64 noundef %55) #12
  store ptr %56, ptr %4, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %5) #11
  %57 = load ptr, ptr %2, align 8, !tbaa !5
  %58 = call noundef i32 @_ZNK11CNF_FormulaIxE8getNVarsEv(ptr noundef nonnull align 8 dereferenceable(456) %57)
  %59 = add nsw i32 %58, 1
  %60 = sext i32 %59 to i64
  %61 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %60, i64 4)
  %62 = extractvalue { i64, i1 } %61, 1
  %63 = extractvalue { i64, i1 } %61, 0
  %64 = select i1 %62, i64 -1, i64 %63
  %65 = call noalias noundef nonnull ptr @_Znam(i64 noundef %64) #12
  store ptr %65, ptr %5, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %6) #11
  %66 = load ptr, ptr %2, align 8, !tbaa !5
  %67 = call noundef i32 @_ZNK11CNF_FormulaIxE8getNVarsEv(ptr noundef nonnull align 8 dereferenceable(456) %66)
  %68 = sext i32 %67 to i64
  %69 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %68, i64 4)
  %70 = extractvalue { i64, i1 } %69, 1
  %71 = extractvalue { i64, i1 } %69, 0
  %72 = select i1 %70, i64 -1, i64 %71
  %73 = call noalias noundef nonnull ptr @_Znam(i64 noundef %72) #12
  store ptr %73, ptr %6, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #11
  store i32 0, ptr %7, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #11
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #11
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #11
  store i32 0, ptr %10, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #11
  store i32 0, ptr %11, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 16, ptr %12) #11
  call void @llvm.lifetime.start.p0(i64 1, ptr %13) #11
  call void @llvm.lifetime.start.p0(i64 1, ptr %14) #11
  store i8 0, ptr %14, align 1, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 1, ptr %15) #11
  store i8 1, ptr %15, align 1, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 24, ptr %16) #11
  call void @_ZNSt6vectorISt4pairIxiESaIS1_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %16) #11
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #11
  store i32 1, ptr %17, align 4, !tbaa !9
  br label %74

74:                                               ; preds = %131, %1
  %75 = load i32, ptr %17, align 4, !tbaa !9
  %76 = load ptr, ptr %2, align 8, !tbaa !5
  %77 = invoke noundef i32 @_ZNK11CNF_FormulaIxE8getNVarsEv(ptr noundef nonnull align 8 dereferenceable(456) %76)
          to label %78 unwind label %81

78:                                               ; preds = %74
  %79 = icmp sle i32 %75, %77
  br i1 %79, label %85, label %80

80:                                               ; preds = %78
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #11
  br label %149

81:                                               ; preds = %74
  %82 = landingpad { ptr, i32 }
          cleanup
  %83 = extractvalue { ptr, i32 } %82, 0
  store ptr %83, ptr %18, align 8
  %84 = extractvalue { ptr, i32 } %82, 1
  store i32 %84, ptr %19, align 4
  br label %148

85:                                               ; preds = %78
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #11
  %86 = load ptr, ptr %2, align 8, !tbaa !5
  %87 = load i32, ptr %17, align 4, !tbaa !9
  %88 = invoke noundef i64 @_ZNK11CNF_FormulaIxE15getBinaryLengthEi(ptr noundef nonnull align 8 dereferenceable(456) %86, i32 noundef %87)
          to label %89 unwind label %134

89:                                               ; preds = %85
  %90 = mul nsw i64 %88, 2
  %91 = load ptr, ptr %2, align 8, !tbaa !5
  %92 = load i32, ptr %17, align 4, !tbaa !9
  %93 = invoke noundef i64 @_ZNK11CNF_FormulaIxE13getUnitLengthEi(ptr noundef nonnull align 8 dereferenceable(456) %91, i32 noundef %92)
          to label %94 unwind label %134

94:                                               ; preds = %89
  %95 = add nsw i64 %90, %93
  %96 = load ptr, ptr %2, align 8, !tbaa !5
  %97 = load i32, ptr %17, align 4, !tbaa !9
  %98 = invoke noundef i64 @_ZNK11CNF_FormulaIxE9getLengthEi(ptr noundef nonnull align 8 dereferenceable(456) %96, i32 noundef %97)
          to label %99 unwind label %134

99:                                               ; preds = %94
  %100 = add nsw i64 %95, %98
  %101 = sitofp i64 %100 to double
  store double %101, ptr %20, align 8, !tbaa !13
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #11
  %102 = load ptr, ptr %2, align 8, !tbaa !5
  %103 = load i32, ptr %17, align 4, !tbaa !9
  %104 = sub nsw i32 0, %103
  %105 = invoke noundef i64 @_ZNK11CNF_FormulaIxE15getBinaryLengthEi(ptr noundef nonnull align 8 dereferenceable(456) %102, i32 noundef %104)
          to label %106 unwind label %138

106:                                              ; preds = %99
  %107 = mul nsw i64 %105, 2
  %108 = load ptr, ptr %2, align 8, !tbaa !5
  %109 = load i32, ptr %17, align 4, !tbaa !9
  %110 = sub nsw i32 0, %109
  %111 = invoke noundef i64 @_ZNK11CNF_FormulaIxE13getUnitLengthEi(ptr noundef nonnull align 8 dereferenceable(456) %108, i32 noundef %110)
          to label %112 unwind label %138

112:                                              ; preds = %106
  %113 = add nsw i64 %107, %111
  %114 = load ptr, ptr %2, align 8, !tbaa !5
  %115 = load i32, ptr %17, align 4, !tbaa !9
  %116 = sub nsw i32 0, %115
  %117 = invoke noundef i64 @_ZNK11CNF_FormulaIxE9getLengthEi(ptr noundef nonnull align 8 dereferenceable(456) %114, i32 noundef %116)
          to label %118 unwind label %138

118:                                              ; preds = %112
  %119 = add nsw i64 %113, %117
  %120 = sitofp i64 %119 to double
  store double %120, ptr %21, align 8, !tbaa !13
  call void @llvm.lifetime.start.p0(i64 16, ptr %22) #11
  call void @llvm.lifetime.start.p0(i64 16, ptr %23) #11
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #11
  %121 = load double, ptr %20, align 8, !tbaa !13
  %122 = load double, ptr %20, align 8, !tbaa !13
  %123 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3minIdERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8) %20, ptr noundef nonnull align 8 dereferenceable(8) %21)
          to label %124 unwind label %142

124:                                              ; preds = %118
  %125 = load double, ptr %123, align 8, !tbaa !13
  %126 = call double @llvm.fmuladd.f64(double %121, double %122, double %125)
  store double %126, ptr %24, align 8, !tbaa !13
  %127 = invoke { double, i32 } @_ZSt9make_pairIdRiESt4pairINSt25__strip_reference_wrapperINSt5decayIT_E4typeEE6__typeENS2_INS3_IT0_E4typeEE6__typeEEOS4_OS9_(ptr noundef nonnull align 8 dereferenceable(8) %24, ptr noundef nonnull align 4 dereferenceable(4) %17)
          to label %128 unwind label %142

128:                                              ; preds = %124
  store { double, i32 } %127, ptr %25, align 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %23, ptr align 8 %25, i64 12, i1 false)
  invoke void @_ZNSt4pairIxiEC2IdiTnNSt9enable_ifIXaaclsr6_PCCFPIT_T0_EE22_MoveConstructiblePairIS3_S4_EEclsr6_PCCFPIS3_S4_EE30_ImplicitlyMoveConvertiblePairIS3_S4_EEEbE4typeELb1EEEOS_IS3_S4_E(ptr noundef nonnull align 8 dereferenceable(12) %22, ptr noundef nonnull align 8 dereferenceable(12) %23)
          to label %129 unwind label %142

129:                                              ; preds = %128
  invoke void @_ZNSt6vectorISt4pairIxiESaIS1_EE9push_backEOS1_(ptr noundef nonnull align 8 dereferenceable(24) %16, ptr noundef nonnull align 8 dereferenceable(12) %22)
          to label %130 unwind label %142

130:                                              ; preds = %129
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #11
  call void @llvm.lifetime.end.p0(i64 16, ptr %23) #11
  call void @llvm.lifetime.end.p0(i64 16, ptr %22) #11
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #11
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #11
  br label %131

131:                                              ; preds = %130
  %132 = load i32, ptr %17, align 4, !tbaa !9
  %133 = add nsw i32 %132, 1
  store i32 %133, ptr %17, align 4, !tbaa !9
  br label %74, !llvm.loop !15

134:                                              ; preds = %94, %89, %85
  %135 = landingpad { ptr, i32 }
          cleanup
  %136 = extractvalue { ptr, i32 } %135, 0
  store ptr %136, ptr %18, align 8
  %137 = extractvalue { ptr, i32 } %135, 1
  store i32 %137, ptr %19, align 4
  br label %147

138:                                              ; preds = %112, %106, %99
  %139 = landingpad { ptr, i32 }
          cleanup
  %140 = extractvalue { ptr, i32 } %139, 0
  store ptr %140, ptr %18, align 8
  %141 = extractvalue { ptr, i32 } %139, 1
  store i32 %141, ptr %19, align 4
  br label %146

142:                                              ; preds = %129, %128, %124, %118
  %143 = landingpad { ptr, i32 }
          cleanup
  %144 = extractvalue { ptr, i32 } %143, 0
  store ptr %144, ptr %18, align 8
  %145 = extractvalue { ptr, i32 } %143, 1
  store i32 %145, ptr %19, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #11
  call void @llvm.lifetime.end.p0(i64 16, ptr %23) #11
  call void @llvm.lifetime.end.p0(i64 16, ptr %22) #11
  br label %146

146:                                              ; preds = %142, %138
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #11
  br label %147

147:                                              ; preds = %146, %134
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #11
  br label %148

148:                                              ; preds = %147, %81
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #11
  br label %754

149:                                              ; preds = %80
  %150 = call ptr @_ZNSt6vectorISt4pairIxiESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %16) #11
  %151 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %26, i32 0, i32 0
  store ptr %150, ptr %151, align 8
  %152 = call ptr @_ZNSt6vectorISt4pairIxiESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %16) #11
  %153 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %27, i32 0, i32 0
  store ptr %152, ptr %153, align 8
  %154 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %26, i32 0, i32 0
  %155 = load ptr, ptr %154, align 8
  %156 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %27, i32 0, i32 0
  %157 = load ptr, ptr %156, align 8
  invoke void @_ZSt4sortIN9__gnu_cxx17__normal_iteratorIPSt4pairIxiESt6vectorIS3_SaIS3_EEEEEvT_S9_(ptr %155, ptr %157)
          to label %158 unwind label %167

158:                                              ; preds = %149
  call void @llvm.lifetime.start.p0(i64 4, ptr %28) #11
  store i32 0, ptr %28, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %29) #11
  call void @llvm.lifetime.start.p0(i64 4, ptr %30) #11
  %159 = load ptr, ptr %2, align 8, !tbaa !5
  %160 = invoke noundef i32 @_ZNK11CNF_FormulaIxE8getNVarsEv(ptr noundef nonnull align 8 dereferenceable(456) %159)
          to label %161 unwind label %171

161:                                              ; preds = %158
  store i32 %160, ptr %30, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %31) #11
  store i32 0, ptr %31, align 4, !tbaa !9
  br label %162

162:                                              ; preds = %194, %161
  %163 = load i32, ptr %31, align 4, !tbaa !9
  %164 = load i32, ptr %30, align 4, !tbaa !9
  %165 = icmp slt i32 %163, %164
  br i1 %165, label %175, label %166

166:                                              ; preds = %162
  call void @llvm.lifetime.end.p0(i64 4, ptr %31) #11
  br label %197

167:                                              ; preds = %149
  %168 = landingpad { ptr, i32 }
          cleanup
  %169 = extractvalue { ptr, i32 } %168, 0
  store ptr %169, ptr %18, align 8
  %170 = extractvalue { ptr, i32 } %168, 1
  store i32 %170, ptr %19, align 4
  br label %754

171:                                              ; preds = %158
  %172 = landingpad { ptr, i32 }
          cleanup
  %173 = extractvalue { ptr, i32 } %172, 0
  store ptr %173, ptr %18, align 8
  %174 = extractvalue { ptr, i32 } %172, 1
  store i32 %174, ptr %19, align 4
  br label %753

175:                                              ; preds = %162
  %176 = load i32, ptr %31, align 4, !tbaa !9
  %177 = sext i32 %176 to i64
  %178 = call noundef nonnull align 8 dereferenceable(12) ptr @_ZNSt6vectorISt4pairIxiESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %16, i64 noundef %177) #11
  %179 = getelementptr inbounds %"struct.std::pair", ptr %178, i32 0, i32 1
  %180 = load i32, ptr %179, align 8, !tbaa !17
  %181 = load ptr, ptr %6, align 8, !tbaa !5
  %182 = load i32, ptr %31, align 4, !tbaa !9
  %183 = sext i32 %182 to i64
  %184 = getelementptr inbounds i32, ptr %181, i64 %183
  store i32 %180, ptr %184, align 4, !tbaa !9
  %185 = load i32, ptr %31, align 4, !tbaa !9
  %186 = load ptr, ptr %5, align 8, !tbaa !5
  %187 = load i32, ptr %31, align 4, !tbaa !9
  %188 = sext i32 %187 to i64
  %189 = call noundef nonnull align 8 dereferenceable(12) ptr @_ZNSt6vectorISt4pairIxiESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %16, i64 noundef %188) #11
  %190 = getelementptr inbounds %"struct.std::pair", ptr %189, i32 0, i32 1
  %191 = load i32, ptr %190, align 8, !tbaa !17
  %192 = sext i32 %191 to i64
  %193 = getelementptr inbounds i32, ptr %186, i64 %192
  store i32 %185, ptr %193, align 4, !tbaa !9
  br label %194

194:                                              ; preds = %175
  %195 = load i32, ptr %31, align 4, !tbaa !9
  %196 = add nsw i32 %195, 1
  store i32 %196, ptr %31, align 4, !tbaa !9
  br label %162, !llvm.loop !20

197:                                              ; preds = %166
  call void @llvm.lifetime.start.p0(i64 8, ptr %32) #11
  %198 = load ptr, ptr %6, align 8, !tbaa !5
  %199 = load i32, ptr %30, align 4, !tbaa !9
  %200 = sext i32 %199 to i64
  %201 = getelementptr inbounds i32, ptr %198, i64 %200
  %202 = getelementptr inbounds i32, ptr %201, i64 -1
  store ptr %202, ptr %32, align 8, !tbaa !5
  br label %203

203:                                              ; preds = %728, %197
  %204 = load i32, ptr %7, align 4, !tbaa !9
  %205 = load ptr, ptr %2, align 8, !tbaa !5
  %206 = invoke noundef i32 @_ZNK11CNF_FormulaIxE8getNVarsEv(ptr noundef nonnull align 8 dereferenceable(456) %205)
          to label %207 unwind label %210

207:                                              ; preds = %203
  %208 = icmp eq i32 %204, %206
  br i1 %208, label %209, label %214

209:                                              ; preds = %207
  store i8 1, ptr %14, align 1, !tbaa !11
  br label %676

210:                                              ; preds = %731, %691, %680, %621, %606, %450, %445, %439, %434, %430, %420, %214, %203
  %211 = landingpad { ptr, i32 }
          cleanup
  %212 = extractvalue { ptr, i32 } %211, 0
  store ptr %212, ptr %18, align 8
  %213 = extractvalue { ptr, i32 } %211, 1
  store i32 %213, ptr %19, align 4
  br label %752

214:                                              ; preds = %207
  store i8 0, ptr %15, align 1, !tbaa !11
  %215 = load ptr, ptr %2, align 8, !tbaa !5
  %216 = invoke noundef i64 @_ZN11CNF_FormulaIxE19bestMinusLowerBoundEv(ptr noundef nonnull align 8 dereferenceable(456) %215)
          to label %217 unwind label %210

217:                                              ; preds = %214
  %218 = icmp ne i64 %216, 0
  br i1 %218, label %220, label %219

219:                                              ; preds = %217
  br label %676

220:                                              ; preds = %217
  store i8 0, ptr %13, align 1, !tbaa !11
  %221 = load i32, ptr %30, align 4, !tbaa !9
  %222 = icmp slt i32 %221, 5000
  br i1 %222, label %223, label %229

223:                                              ; preds = %220
  %224 = load ptr, ptr %6, align 8, !tbaa !5
  %225 = load i32, ptr %30, align 4, !tbaa !9
  %226 = sext i32 %225 to i64
  %227 = getelementptr inbounds i32, ptr %224, i64 %226
  %228 = getelementptr inbounds i32, ptr %227, i64 -1
  store ptr %228, ptr %32, align 8, !tbaa !5
  br label %229

229:                                              ; preds = %223, %220
  %230 = load ptr, ptr %32, align 8, !tbaa !5
  %231 = load ptr, ptr %6, align 8, !tbaa !5
  %232 = load i32, ptr %30, align 4, !tbaa !9
  %233 = sext i32 %232 to i64
  %234 = getelementptr inbounds i32, ptr %231, i64 %233
  %235 = icmp uge ptr %230, %234
  br i1 %235, label %236, label %242

236:                                              ; preds = %229
  %237 = load ptr, ptr %6, align 8, !tbaa !5
  %238 = load i32, ptr %30, align 4, !tbaa !9
  %239 = sext i32 %238 to i64
  %240 = getelementptr inbounds i32, ptr %237, i64 %239
  %241 = getelementptr inbounds i32, ptr %240, i64 -1
  store ptr %241, ptr %32, align 8, !tbaa !5
  br label %242

242:                                              ; preds = %236, %229
  br label %243

243:                                              ; preds = %409, %242
  %244 = load ptr, ptr %32, align 8, !tbaa !5
  %245 = load ptr, ptr %6, align 8, !tbaa !5
  %246 = icmp uge ptr %244, %245
  br i1 %246, label %247, label %413

247:                                              ; preds = %243
  call void @llvm.lifetime.start.p0(i64 8, ptr %33) #11
  %248 = load ptr, ptr %2, align 8, !tbaa !5
  %249 = load ptr, ptr %32, align 8, !tbaa !5
  %250 = load i32, ptr %249, align 4, !tbaa !9
  %251 = sub nsw i32 0, %250
  %252 = invoke noundef i64 @_ZNK11CNF_FormulaIxE9getLengthEi(ptr noundef nonnull align 8 dereferenceable(456) %248, i32 noundef %251)
          to label %253 unwind label %273

253:                                              ; preds = %247
  store i64 %252, ptr %33, align 8, !tbaa !21
  call void @llvm.lifetime.start.p0(i64 8, ptr %34) #11
  %254 = load ptr, ptr %2, align 8, !tbaa !5
  %255 = load ptr, ptr %32, align 8, !tbaa !5
  %256 = load i32, ptr %255, align 4, !tbaa !9
  %257 = invoke noundef i64 @_ZNK11CNF_FormulaIxE9getLengthEi(ptr noundef nonnull align 8 dereferenceable(456) %254, i32 noundef %256)
          to label %258 unwind label %277

258:                                              ; preds = %253
  store i64 %257, ptr %34, align 8, !tbaa !21
  %259 = load ptr, ptr %2, align 8, !tbaa !5
  %260 = load ptr, ptr %32, align 8, !tbaa !5
  %261 = load i32, ptr %260, align 4, !tbaa !9
  %262 = invoke noundef i64 @_ZNK11CNF_FormulaIxE13getUnitLengthEi(ptr noundef nonnull align 8 dereferenceable(456) %259, i32 noundef %261)
          to label %263 unwind label %277

263:                                              ; preds = %258
  %264 = load i64, ptr %33, align 8, !tbaa !21
  %265 = icmp sge i64 %262, %264
  br i1 %265, label %266, label %334

266:                                              ; preds = %263
  %267 = load ptr, ptr %2, align 8, !tbaa !5
  %268 = load ptr, ptr %32, align 8, !tbaa !5
  %269 = load i32, ptr %268, align 4, !tbaa !9
  %270 = invoke noundef zeroext i1 @_ZN11CNF_FormulaIxE13assignLiteralEi(ptr noundef nonnull align 8 dereferenceable(456) %267, i32 noundef %269)
          to label %271 unwind label %277

271:                                              ; preds = %266
  br i1 %270, label %281, label %272

272:                                              ; preds = %271
  store i32 10, ptr %35, align 4
  br label %406

273:                                              ; preds = %247
  %274 = landingpad { ptr, i32 }
          cleanup
  %275 = extractvalue { ptr, i32 } %274, 0
  store ptr %275, ptr %18, align 8
  %276 = extractvalue { ptr, i32 } %274, 1
  store i32 %276, ptr %19, align 4
  br label %412

277:                                              ; preds = %343, %334, %266, %258, %253
  %278 = landingpad { ptr, i32 }
          cleanup
  %279 = extractvalue { ptr, i32 } %278, 0
  store ptr %279, ptr %18, align 8
  %280 = extractvalue { ptr, i32 } %278, 1
  store i32 %280, ptr %19, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #11
  br label %412

281:                                              ; preds = %271
  %282 = load ptr, ptr %5, align 8, !tbaa !5
  %283 = load ptr, ptr %32, align 8, !tbaa !5
  %284 = load i32, ptr %283, align 4, !tbaa !9
  %285 = sext i32 %284 to i64
  %286 = getelementptr inbounds i32, ptr %282, i64 %285
  %287 = load i32, ptr %286, align 4, !tbaa !9
  %288 = sext i32 %287 to i64
  %289 = load ptr, ptr %32, align 8, !tbaa !5
  %290 = load ptr, ptr %6, align 8, !tbaa !5
  %291 = ptrtoint ptr %289 to i64
  %292 = ptrtoint ptr %290 to i64
  %293 = sub i64 %291, %292
  %294 = sdiv exact i64 %293, 4
  %295 = icmp eq i64 %288, %294
  br i1 %295, label %296, label %297

296:                                              ; preds = %281
  br label %299

297:                                              ; preds = %281
  call void @__assert_fail(ptr noundef @.str, ptr noundef @.str.1, i32 noundef 345, ptr noundef @__PRETTY_FUNCTION__._Z14fast_backtrackR11CNF_FormulaIxE) #13
  unreachable

298:                                              ; No predecessors!
  br label %299

299:                                              ; preds = %298, %296
  %300 = load i32, ptr %11, align 4, !tbaa !9
  %301 = add nsw i32 %300, 1
  store i32 %301, ptr %11, align 4, !tbaa !9
  %302 = load ptr, ptr %32, align 8, !tbaa !5
  %303 = load i32, ptr %302, align 4, !tbaa !9
  %304 = load ptr, ptr %3, align 8, !tbaa !5
  %305 = load i32, ptr %7, align 4, !tbaa !9
  %306 = sext i32 %305 to i64
  %307 = getelementptr inbounds i32, ptr %304, i64 %306
  store i32 %303, ptr %307, align 4, !tbaa !9
  %308 = load ptr, ptr %6, align 8, !tbaa !5
  %309 = load i32, ptr %30, align 4, !tbaa !9
  %310 = sub nsw i32 %309, 1
  %311 = sext i32 %310 to i64
  %312 = getelementptr inbounds i32, ptr %308, i64 %311
  %313 = load i32, ptr %312, align 4, !tbaa !9
  %314 = load ptr, ptr %32, align 8, !tbaa !5
  store i32 %313, ptr %314, align 4, !tbaa !9
  %315 = load ptr, ptr %32, align 8, !tbaa !5
  %316 = load ptr, ptr %6, align 8, !tbaa !5
  %317 = ptrtoint ptr %315 to i64
  %318 = ptrtoint ptr %316 to i64
  %319 = sub i64 %317, %318
  %320 = sdiv exact i64 %319, 4
  %321 = trunc i64 %320 to i32
  %322 = load ptr, ptr %5, align 8, !tbaa !5
  %323 = load ptr, ptr %32, align 8, !tbaa !5
  %324 = load i32, ptr %323, align 4, !tbaa !9
  %325 = sext i32 %324 to i64
  %326 = getelementptr inbounds i32, ptr %322, i64 %325
  store i32 %321, ptr %326, align 4, !tbaa !9
  %327 = load i32, ptr %30, align 4, !tbaa !9
  %328 = add nsw i32 %327, -1
  store i32 %328, ptr %30, align 4, !tbaa !9
  %329 = load ptr, ptr %4, align 8, !tbaa !5
  %330 = load i32, ptr %7, align 4, !tbaa !9
  %331 = add nsw i32 %330, 1
  store i32 %331, ptr %7, align 4, !tbaa !9
  %332 = sext i32 %330 to i64
  %333 = getelementptr inbounds i32, ptr %329, i64 %332
  store i32 0, ptr %333, align 4, !tbaa !9
  store i8 1, ptr %13, align 1, !tbaa !11
  store i32 11, ptr %35, align 4
  br label %406

334:                                              ; preds = %263
  %335 = load ptr, ptr %2, align 8, !tbaa !5
  %336 = load ptr, ptr %32, align 8, !tbaa !5
  %337 = load i32, ptr %336, align 4, !tbaa !9
  %338 = sub nsw i32 0, %337
  %339 = invoke noundef i64 @_ZNK11CNF_FormulaIxE13getUnitLengthEi(ptr noundef nonnull align 8 dereferenceable(456) %335, i32 noundef %338)
          to label %340 unwind label %277

340:                                              ; preds = %334
  %341 = load i64, ptr %34, align 8, !tbaa !21
  %342 = icmp sge i64 %339, %341
  br i1 %342, label %343, label %404

343:                                              ; preds = %340
  %344 = load ptr, ptr %2, align 8, !tbaa !5
  %345 = load ptr, ptr %32, align 8, !tbaa !5
  %346 = load i32, ptr %345, align 4, !tbaa !9
  %347 = sub nsw i32 0, %346
  %348 = invoke noundef zeroext i1 @_ZN11CNF_FormulaIxE13assignLiteralEi(ptr noundef nonnull align 8 dereferenceable(456) %344, i32 noundef %347)
          to label %349 unwind label %277

349:                                              ; preds = %343
  br i1 %348, label %351, label %350

350:                                              ; preds = %349
  store i32 10, ptr %35, align 4
  br label %406

351:                                              ; preds = %349
  %352 = load ptr, ptr %5, align 8, !tbaa !5
  %353 = load ptr, ptr %32, align 8, !tbaa !5
  %354 = load i32, ptr %353, align 4, !tbaa !9
  %355 = sext i32 %354 to i64
  %356 = getelementptr inbounds i32, ptr %352, i64 %355
  %357 = load i32, ptr %356, align 4, !tbaa !9
  %358 = sext i32 %357 to i64
  %359 = load ptr, ptr %32, align 8, !tbaa !5
  %360 = load ptr, ptr %6, align 8, !tbaa !5
  %361 = ptrtoint ptr %359 to i64
  %362 = ptrtoint ptr %360 to i64
  %363 = sub i64 %361, %362
  %364 = sdiv exact i64 %363, 4
  %365 = icmp eq i64 %358, %364
  br i1 %365, label %366, label %367

366:                                              ; preds = %351
  br label %369

367:                                              ; preds = %351
  call void @__assert_fail(ptr noundef @.str, ptr noundef @.str.1, i32 noundef 359, ptr noundef @__PRETTY_FUNCTION__._Z14fast_backtrackR11CNF_FormulaIxE) #13
  unreachable

368:                                              ; No predecessors!
  br label %369

369:                                              ; preds = %368, %366
  %370 = load i32, ptr %11, align 4, !tbaa !9
  %371 = add nsw i32 %370, 1
  store i32 %371, ptr %11, align 4, !tbaa !9
  %372 = load ptr, ptr %32, align 8, !tbaa !5
  %373 = load i32, ptr %372, align 4, !tbaa !9
  %374 = load ptr, ptr %3, align 8, !tbaa !5
  %375 = load i32, ptr %7, align 4, !tbaa !9
  %376 = sext i32 %375 to i64
  %377 = getelementptr inbounds i32, ptr %374, i64 %376
  store i32 %373, ptr %377, align 4, !tbaa !9
  %378 = load ptr, ptr %6, align 8, !tbaa !5
  %379 = load i32, ptr %30, align 4, !tbaa !9
  %380 = sub nsw i32 %379, 1
  %381 = sext i32 %380 to i64
  %382 = getelementptr inbounds i32, ptr %378, i64 %381
  %383 = load i32, ptr %382, align 4, !tbaa !9
  %384 = load ptr, ptr %32, align 8, !tbaa !5
  store i32 %383, ptr %384, align 4, !tbaa !9
  %385 = load ptr, ptr %32, align 8, !tbaa !5
  %386 = load ptr, ptr %6, align 8, !tbaa !5
  %387 = ptrtoint ptr %385 to i64
  %388 = ptrtoint ptr %386 to i64
  %389 = sub i64 %387, %388
  %390 = sdiv exact i64 %389, 4
  %391 = trunc i64 %390 to i32
  %392 = load ptr, ptr %5, align 8, !tbaa !5
  %393 = load ptr, ptr %32, align 8, !tbaa !5
  %394 = load i32, ptr %393, align 4, !tbaa !9
  %395 = sext i32 %394 to i64
  %396 = getelementptr inbounds i32, ptr %392, i64 %395
  store i32 %391, ptr %396, align 4, !tbaa !9
  %397 = load i32, ptr %30, align 4, !tbaa !9
  %398 = add nsw i32 %397, -1
  store i32 %398, ptr %30, align 4, !tbaa !9
  %399 = load ptr, ptr %4, align 8, !tbaa !5
  %400 = load i32, ptr %7, align 4, !tbaa !9
  %401 = add nsw i32 %400, 1
  store i32 %401, ptr %7, align 4, !tbaa !9
  %402 = sext i32 %400 to i64
  %403 = getelementptr inbounds i32, ptr %399, i64 %402
  store i32 0, ptr %403, align 4, !tbaa !9
  store i8 1, ptr %13, align 1, !tbaa !11
  store i32 11, ptr %35, align 4
  br label %406

404:                                              ; preds = %340
  br label %405

405:                                              ; preds = %404
  store i32 0, ptr %35, align 4
  br label %406

406:                                              ; preds = %405, %369, %350, %299, %272
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #11
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #11
  %407 = load i32, ptr %35, align 4
  switch i32 %407, label %760 [
    i32 0, label %408
    i32 11, label %413
    i32 10, label %676
  ]

408:                                              ; preds = %406
  br label %409

409:                                              ; preds = %408
  %410 = load ptr, ptr %32, align 8, !tbaa !5
  %411 = getelementptr inbounds i32, ptr %410, i32 -1
  store ptr %411, ptr %32, align 8, !tbaa !5
  br label %243, !llvm.loop !22

412:                                              ; preds = %277, %273
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #11
  br label %752

413:                                              ; preds = %406, %243
  %414 = load i8, ptr %13, align 1, !tbaa !11, !range !23, !noundef !24
  %415 = trunc i8 %414 to i1
  br i1 %415, label %416, label %417

416:                                              ; preds = %413
  br label %728

417:                                              ; preds = %413
  store i32 0, ptr %29, align 4, !tbaa !9
  %418 = load i32, ptr %30, align 4, !tbaa !9
  %419 = icmp sge i32 %418, 3000
  br i1 %419, label %420, label %462

420:                                              ; preds = %417
  %421 = load ptr, ptr %6, align 8, !tbaa !5
  %422 = load i32, ptr %30, align 4, !tbaa !9
  %423 = sub nsw i32 %422, 1
  %424 = sext i32 %423 to i64
  %425 = getelementptr inbounds i32, ptr %421, i64 %424
  %426 = load i32, ptr %425, align 4, !tbaa !9
  store i32 %426, ptr %29, align 4, !tbaa !9
  %427 = load ptr, ptr %2, align 8, !tbaa !5
  %428 = load i32, ptr %29, align 4, !tbaa !9
  %429 = invoke noundef i64 @_ZNK11CNF_FormulaIxE7getW_lbEi(ptr noundef nonnull align 8 dereferenceable(456) %427, i32 noundef %428)
          to label %430 unwind label %210

430:                                              ; preds = %420
  %431 = load ptr, ptr %2, align 8, !tbaa !5
  %432 = load i32, ptr %29, align 4, !tbaa !9
  %433 = invoke noundef i64 @_ZNK11CNF_FormulaIxE13getUnitLengthEi(ptr noundef nonnull align 8 dereferenceable(456) %431, i32 noundef %432)
          to label %434 unwind label %210

434:                                              ; preds = %430
  %435 = add nsw i64 %429, %433
  %436 = load ptr, ptr %2, align 8, !tbaa !5
  %437 = load i32, ptr %29, align 4, !tbaa !9
  %438 = invoke noundef i64 @_ZNK11CNF_FormulaIxE15getBinaryLengthEi(ptr noundef nonnull align 8 dereferenceable(456) %436, i32 noundef %437)
          to label %439 unwind label %210

439:                                              ; preds = %434
  %440 = add nsw i64 %435, %438
  %441 = load ptr, ptr %2, align 8, !tbaa !5
  %442 = load i32, ptr %29, align 4, !tbaa !9
  %443 = sub nsw i32 0, %442
  %444 = invoke noundef i64 @_ZNK11CNF_FormulaIxE7getW_lbEi(ptr noundef nonnull align 8 dereferenceable(456) %441, i32 noundef %443)
          to label %445 unwind label %210

445:                                              ; preds = %439
  %446 = load ptr, ptr %2, align 8, !tbaa !5
  %447 = load i32, ptr %29, align 4, !tbaa !9
  %448 = sub nsw i32 0, %447
  %449 = invoke noundef i64 @_ZNK11CNF_FormulaIxE13getUnitLengthEi(ptr noundef nonnull align 8 dereferenceable(456) %446, i32 noundef %448)
          to label %450 unwind label %210

450:                                              ; preds = %445
  %451 = add nsw i64 %444, %449
  %452 = load ptr, ptr %2, align 8, !tbaa !5
  %453 = load i32, ptr %29, align 4, !tbaa !9
  %454 = sub nsw i32 0, %453
  %455 = invoke noundef i64 @_ZNK11CNF_FormulaIxE15getBinaryLengthEi(ptr noundef nonnull align 8 dereferenceable(456) %452, i32 noundef %454)
          to label %456 unwind label %210

456:                                              ; preds = %450
  %457 = add nsw i64 %451, %455
  %458 = icmp sgt i64 %440, %457
  br i1 %458, label %459, label %460

459:                                              ; preds = %456
  store i32 1, ptr %28, align 4, !tbaa !9
  br label %461

460:                                              ; preds = %456
  store i32 -1, ptr %28, align 4, !tbaa !9
  br label %461

461:                                              ; preds = %460, %459
  br label %600

462:                                              ; preds = %417
  store x86_fp80 0xKBFFF8000000000000000, ptr %12, align 16, !tbaa !25
  %463 = load i32, ptr %30, align 4, !tbaa !9
  %464 = icmp sgt i32 %463, 0
  br i1 %464, label %465, label %466

465:                                              ; preds = %462
  br label %468

466:                                              ; preds = %462
  call void @__assert_fail(ptr noundef @.str.2, ptr noundef @.str.1, i32 noundef 382, ptr noundef @__PRETTY_FUNCTION__._Z14fast_backtrackR11CNF_FormulaIxE) #13
  unreachable

467:                                              ; No predecessors!
  br label %468

468:                                              ; preds = %467, %465
  call void @llvm.lifetime.start.p0(i64 8, ptr %36) #11
  %469 = load ptr, ptr %6, align 8, !tbaa !5
  %470 = load i32, ptr %30, align 4, !tbaa !9
  %471 = sext i32 %470 to i64
  %472 = getelementptr inbounds i32, ptr %469, i64 %471
  %473 = getelementptr inbounds i32, ptr %472, i64 -1
  store ptr %473, ptr %36, align 8, !tbaa !5
  br label %474

474:                                              ; preds = %593, %468
  %475 = load ptr, ptr %36, align 8, !tbaa !5
  %476 = load ptr, ptr %6, align 8, !tbaa !5
  %477 = icmp uge ptr %475, %476
  br i1 %477, label %479, label %478

478:                                              ; preds = %474
  store i32 14, ptr %35, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %36) #11
  br label %599

479:                                              ; preds = %474
  %480 = load ptr, ptr %5, align 8, !tbaa !5
  %481 = load ptr, ptr %36, align 8, !tbaa !5
  %482 = load i32, ptr %481, align 4, !tbaa !9
  %483 = sext i32 %482 to i64
  %484 = getelementptr inbounds i32, ptr %480, i64 %483
  %485 = load i32, ptr %484, align 4, !tbaa !9
  %486 = sext i32 %485 to i64
  %487 = load ptr, ptr %36, align 8, !tbaa !5
  %488 = load ptr, ptr %6, align 8, !tbaa !5
  %489 = ptrtoint ptr %487 to i64
  %490 = ptrtoint ptr %488 to i64
  %491 = sub i64 %489, %490
  %492 = sdiv exact i64 %491, 4
  %493 = icmp eq i64 %486, %492
  br i1 %493, label %494, label %495

494:                                              ; preds = %479
  br label %497

495:                                              ; preds = %479
  call void @__assert_fail(ptr noundef @.str.3, ptr noundef @.str.1, i32 noundef 384, ptr noundef @__PRETTY_FUNCTION__._Z14fast_backtrackR11CNF_FormulaIxE) #13
  unreachable

496:                                              ; No predecessors!
  br label %497

497:                                              ; preds = %496, %494
  call void @llvm.lifetime.start.p0(i64 8, ptr %37) #11
  %498 = load ptr, ptr %2, align 8, !tbaa !5
  %499 = load ptr, ptr %36, align 8, !tbaa !5
  %500 = load i32, ptr %499, align 4, !tbaa !9
  %501 = sub nsw i32 0, %500
  %502 = invoke noundef i64 @_ZNK11CNF_FormulaIxE9getLengthEi(ptr noundef nonnull align 8 dereferenceable(456) %498, i32 noundef %501)
          to label %503 unwind label %527

503:                                              ; preds = %497
  store i64 %502, ptr %37, align 8, !tbaa !21
  call void @llvm.lifetime.start.p0(i64 8, ptr %38) #11
  %504 = load ptr, ptr %2, align 8, !tbaa !5
  %505 = load ptr, ptr %36, align 8, !tbaa !5
  %506 = load i32, ptr %505, align 4, !tbaa !9
  %507 = invoke noundef i64 @_ZNK11CNF_FormulaIxE9getLengthEi(ptr noundef nonnull align 8 dereferenceable(456) %504, i32 noundef %506)
          to label %508 unwind label %531

508:                                              ; preds = %503
  store i64 %507, ptr %38, align 8, !tbaa !21
  call void @llvm.lifetime.start.p0(i64 16, ptr %39) #11
  %509 = load ptr, ptr %2, align 8, !tbaa !5
  %510 = load ptr, ptr %36, align 8, !tbaa !5
  %511 = load i32, ptr %510, align 4, !tbaa !9
  %512 = invoke noundef i64 @_ZNK11CNF_FormulaIxE7getW_lbEi(ptr noundef nonnull align 8 dereferenceable(456) %509, i32 noundef %511)
          to label %513 unwind label %535

513:                                              ; preds = %508
  %514 = load ptr, ptr %2, align 8, !tbaa !5
  %515 = load ptr, ptr %36, align 8, !tbaa !5
  %516 = load i32, ptr %515, align 4, !tbaa !9
  %517 = invoke noundef i64 @_ZNK11CNF_FormulaIxE15getBinaryLengthEi(ptr noundef nonnull align 8 dereferenceable(456) %514, i32 noundef %516)
          to label %518 unwind label %535

518:                                              ; preds = %513
  %519 = add nsw i64 %512, %517
  %520 = load i64, ptr %38, align 8, !tbaa !21
  %521 = add nsw i64 %519, %520
  %522 = sitofp i64 %521 to x86_fp80
  store x86_fp80 %522, ptr %39, align 16, !tbaa !25
  %523 = load x86_fp80, ptr %39, align 16, !tbaa !25
  %524 = fcmp oge x86_fp80 %523, 0xK00000000000000000000
  br i1 %524, label %525, label %526

525:                                              ; preds = %518
  br label %540

526:                                              ; preds = %518
  call void @__assert_fail(ptr noundef @.str.4, ptr noundef @.str.1, i32 noundef 388, ptr noundef @__PRETTY_FUNCTION__._Z14fast_backtrackR11CNF_FormulaIxE) #13
  unreachable

527:                                              ; preds = %497
  %528 = landingpad { ptr, i32 }
          cleanup
  %529 = extractvalue { ptr, i32 } %528, 0
  store ptr %529, ptr %18, align 8
  %530 = extractvalue { ptr, i32 } %528, 1
  store i32 %530, ptr %19, align 4
  br label %598

531:                                              ; preds = %503
  %532 = landingpad { ptr, i32 }
          cleanup
  %533 = extractvalue { ptr, i32 } %532, 0
  store ptr %533, ptr %18, align 8
  %534 = extractvalue { ptr, i32 } %532, 1
  store i32 %534, ptr %19, align 4
  br label %597

535:                                              ; preds = %513, %508
  %536 = landingpad { ptr, i32 }
          cleanup
  %537 = extractvalue { ptr, i32 } %536, 0
  store ptr %537, ptr %18, align 8
  %538 = extractvalue { ptr, i32 } %536, 1
  store i32 %538, ptr %19, align 4
  br label %596

539:                                              ; No predecessors!
  br label %540

540:                                              ; preds = %539, %525
  call void @llvm.lifetime.start.p0(i64 16, ptr %40) #11
  %541 = load ptr, ptr %2, align 8, !tbaa !5
  %542 = load ptr, ptr %36, align 8, !tbaa !5
  %543 = load i32, ptr %542, align 4, !tbaa !9
  %544 = sub nsw i32 0, %543
  %545 = invoke noundef i64 @_ZNK11CNF_FormulaIxE7getW_lbEi(ptr noundef nonnull align 8 dereferenceable(456) %541, i32 noundef %544)
          to label %546 unwind label %561

546:                                              ; preds = %540
  %547 = load ptr, ptr %2, align 8, !tbaa !5
  %548 = load ptr, ptr %36, align 8, !tbaa !5
  %549 = load i32, ptr %548, align 4, !tbaa !9
  %550 = sub nsw i32 0, %549
  %551 = invoke noundef i64 @_ZNK11CNF_FormulaIxE15getBinaryLengthEi(ptr noundef nonnull align 8 dereferenceable(456) %547, i32 noundef %550)
          to label %552 unwind label %561

552:                                              ; preds = %546
  %553 = add nsw i64 %545, %551
  %554 = load i64, ptr %37, align 8, !tbaa !21
  %555 = add nsw i64 %553, %554
  %556 = sitofp i64 %555 to x86_fp80
  store x86_fp80 %556, ptr %40, align 16, !tbaa !25
  %557 = load x86_fp80, ptr %40, align 16, !tbaa !25
  %558 = fcmp oge x86_fp80 %557, 0xK00000000000000000000
  br i1 %558, label %559, label %560

559:                                              ; preds = %552
  br label %566

560:                                              ; preds = %552
  call void @__assert_fail(ptr noundef @.str.5, ptr noundef @.str.1, i32 noundef 390, ptr noundef @__PRETTY_FUNCTION__._Z14fast_backtrackR11CNF_FormulaIxE) #13
  unreachable

561:                                              ; preds = %576, %566, %546, %540
  %562 = landingpad { ptr, i32 }
          cleanup
  %563 = extractvalue { ptr, i32 } %562, 0
  store ptr %563, ptr %18, align 8
  %564 = extractvalue { ptr, i32 } %562, 1
  store i32 %564, ptr %19, align 4
  call void @llvm.lifetime.end.p0(i64 16, ptr %40) #11
  br label %596

565:                                              ; No predecessors!
  br label %566

566:                                              ; preds = %565, %559
  %567 = load x86_fp80, ptr %39, align 16, !tbaa !25
  %568 = load x86_fp80, ptr %40, align 16, !tbaa !25
  %569 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3minIxERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8) %38, ptr noundef nonnull align 8 dereferenceable(8) %37)
          to label %570 unwind label %561

570:                                              ; preds = %566
  %571 = load i64, ptr %569, align 8, !tbaa !21
  %572 = sitofp i64 %571 to x86_fp80
  %573 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %567, x86_fp80 %568, x86_fp80 %572)
  %574 = load x86_fp80, ptr %12, align 16, !tbaa !25
  %575 = fcmp oge x86_fp80 %573, %574
  br i1 %575, label %576, label %592

576:                                              ; preds = %570
  %577 = load x86_fp80, ptr %39, align 16, !tbaa !25
  %578 = load x86_fp80, ptr %40, align 16, !tbaa !25
  %579 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3minIxERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8) %38, ptr noundef nonnull align 8 dereferenceable(8) %37)
          to label %580 unwind label %561

580:                                              ; preds = %576
  %581 = load i64, ptr %579, align 8, !tbaa !21
  %582 = sitofp i64 %581 to x86_fp80
  %583 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %577, x86_fp80 %578, x86_fp80 %582)
  store x86_fp80 %583, ptr %12, align 16, !tbaa !25
  %584 = load ptr, ptr %36, align 8, !tbaa !5
  %585 = load i32, ptr %584, align 4, !tbaa !9
  store i32 %585, ptr %29, align 4, !tbaa !9
  %586 = load x86_fp80, ptr %40, align 16, !tbaa !25
  %587 = load x86_fp80, ptr %39, align 16, !tbaa !25
  %588 = fcmp ogt x86_fp80 %586, %587
  br i1 %588, label %589, label %590

589:                                              ; preds = %580
  store i32 -1, ptr %28, align 4, !tbaa !9
  br label %591

590:                                              ; preds = %580
  store i32 1, ptr %28, align 4, !tbaa !9
  br label %591

591:                                              ; preds = %590, %589
  br label %592

592:                                              ; preds = %591, %570
  call void @llvm.lifetime.end.p0(i64 16, ptr %40) #11
  call void @llvm.lifetime.end.p0(i64 16, ptr %39) #11
  call void @llvm.lifetime.end.p0(i64 8, ptr %38) #11
  call void @llvm.lifetime.end.p0(i64 8, ptr %37) #11
  br label %593

593:                                              ; preds = %592
  %594 = load ptr, ptr %36, align 8, !tbaa !5
  %595 = getelementptr inbounds i32, ptr %594, i32 -1
  store ptr %595, ptr %36, align 8, !tbaa !5
  br label %474, !llvm.loop !27

596:                                              ; preds = %561, %535
  call void @llvm.lifetime.end.p0(i64 16, ptr %39) #11
  br label %597

597:                                              ; preds = %596, %531
  call void @llvm.lifetime.end.p0(i64 8, ptr %38) #11
  br label %598

598:                                              ; preds = %597, %527
  call void @llvm.lifetime.end.p0(i64 8, ptr %37) #11
  call void @llvm.lifetime.end.p0(i64 8, ptr %36) #11
  br label %752

599:                                              ; preds = %478
  br label %600

600:                                              ; preds = %599, %461
  %601 = load i32, ptr %29, align 4, !tbaa !9
  %602 = icmp ne i32 %601, 0
  br i1 %602, label %603, label %604

603:                                              ; preds = %600
  br label %606

604:                                              ; preds = %600
  call void @__assert_fail(ptr noundef @.str.6, ptr noundef @.str.1, i32 noundef 413, ptr noundef @__PRETTY_FUNCTION__._Z14fast_backtrackR11CNF_FormulaIxE) #13
  unreachable

605:                                              ; No predecessors!
  br label %606

606:                                              ; preds = %605, %603
  %607 = load i32, ptr %28, align 4, !tbaa !9
  %608 = sub nsw i32 0, %607
  %609 = load i32, ptr %29, align 4, !tbaa !9
  %610 = mul nsw i32 %608, %609
  %611 = load ptr, ptr %4, align 8, !tbaa !5
  %612 = load i32, ptr %7, align 4, !tbaa !9
  %613 = sext i32 %612 to i64
  %614 = getelementptr inbounds i32, ptr %611, i64 %613
  store i32 %610, ptr %614, align 4, !tbaa !9
  %615 = load ptr, ptr %2, align 8, !tbaa !5
  %616 = load i32, ptr %29, align 4, !tbaa !9
  %617 = load i32, ptr %28, align 4, !tbaa !9
  %618 = mul nsw i32 %616, %617
  %619 = invoke noundef zeroext i1 @_ZN11CNF_FormulaIxE13assignLiteralEi(ptr noundef nonnull align 8 dereferenceable(456) %615, i32 noundef %618)
          to label %620 unwind label %210

620:                                              ; preds = %606
  br i1 %619, label %635, label %621

621:                                              ; preds = %620
  %622 = load ptr, ptr %2, align 8, !tbaa !5
  %623 = load i32, ptr %29, align 4, !tbaa !9
  %624 = load i32, ptr %28, align 4, !tbaa !9
  %625 = sub nsw i32 0, %624
  %626 = mul nsw i32 %623, %625
  %627 = invoke noundef zeroext i1 @_ZN11CNF_FormulaIxE13assignLiteralEi(ptr noundef nonnull align 8 dereferenceable(456) %622, i32 noundef %626)
          to label %628 unwind label %210

628:                                              ; preds = %621
  br i1 %627, label %630, label %629

629:                                              ; preds = %628
  br label %676

630:                                              ; preds = %628
  %631 = load ptr, ptr %4, align 8, !tbaa !5
  %632 = load i32, ptr %7, align 4, !tbaa !9
  %633 = sext i32 %632 to i64
  %634 = getelementptr inbounds i32, ptr %631, i64 %633
  store i32 0, ptr %634, align 4, !tbaa !9
  br label %635

635:                                              ; preds = %630, %620
  %636 = load i32, ptr %10, align 4, !tbaa !9
  %637 = add nsw i32 %636, 1
  store i32 %637, ptr %10, align 4, !tbaa !9
  %638 = load i32, ptr %29, align 4, !tbaa !9
  %639 = load ptr, ptr %3, align 8, !tbaa !5
  %640 = load i32, ptr %7, align 4, !tbaa !9
  %641 = add nsw i32 %640, 1
  store i32 %641, ptr %7, align 4, !tbaa !9
  %642 = sext i32 %640 to i64
  %643 = getelementptr inbounds i32, ptr %639, i64 %642
  store i32 %638, ptr %643, align 4, !tbaa !9
  %644 = load ptr, ptr %5, align 8, !tbaa !5
  %645 = load i32, ptr %29, align 4, !tbaa !9
  %646 = sext i32 %645 to i64
  %647 = getelementptr inbounds i32, ptr %644, i64 %646
  %648 = load i32, ptr %647, align 4, !tbaa !9
  store i32 %648, ptr %9, align 4, !tbaa !9
  %649 = load i32, ptr %9, align 4, !tbaa !9
  %650 = icmp sge i32 %649, 0
  br i1 %650, label %651, label %652

651:                                              ; preds = %635
  br label %654

652:                                              ; preds = %635
  call void @__assert_fail(ptr noundef @.str.7, ptr noundef @.str.1, i32 noundef 425, ptr noundef @__PRETTY_FUNCTION__._Z14fast_backtrackR11CNF_FormulaIxE) #13
  unreachable

653:                                              ; No predecessors!
  br label %654

654:                                              ; preds = %653, %651
  %655 = load ptr, ptr %6, align 8, !tbaa !5
  %656 = load i32, ptr %30, align 4, !tbaa !9
  %657 = sub nsw i32 %656, 1
  %658 = sext i32 %657 to i64
  %659 = getelementptr inbounds i32, ptr %655, i64 %658
  %660 = load i32, ptr %659, align 4, !tbaa !9
  %661 = load ptr, ptr %6, align 8, !tbaa !5
  %662 = load i32, ptr %9, align 4, !tbaa !9
  %663 = sext i32 %662 to i64
  %664 = getelementptr inbounds i32, ptr %661, i64 %663
  store i32 %660, ptr %664, align 4, !tbaa !9
  %665 = load i32, ptr %9, align 4, !tbaa !9
  %666 = load ptr, ptr %5, align 8, !tbaa !5
  %667 = load ptr, ptr %6, align 8, !tbaa !5
  %668 = load i32, ptr %9, align 4, !tbaa !9
  %669 = sext i32 %668 to i64
  %670 = getelementptr inbounds i32, ptr %667, i64 %669
  %671 = load i32, ptr %670, align 4, !tbaa !9
  %672 = sext i32 %671 to i64
  %673 = getelementptr inbounds i32, ptr %666, i64 %672
  store i32 %665, ptr %673, align 4, !tbaa !9
  %674 = load i32, ptr %30, align 4, !tbaa !9
  %675 = add nsw i32 %674, -1
  store i32 %675, ptr %30, align 4, !tbaa !9
  br label %728

676:                                              ; preds = %629, %406, %219, %209
  br label %677

677:                                              ; preds = %707, %676
  %678 = load i32, ptr %7, align 4, !tbaa !9
  %679 = icmp ne i32 %678, 0
  br i1 %679, label %680, label %727

680:                                              ; preds = %677
  %681 = load i32, ptr %7, align 4, !tbaa !9
  %682 = add nsw i32 %681, -1
  store i32 %682, ptr %7, align 4, !tbaa !9
  %683 = load ptr, ptr %2, align 8, !tbaa !5
  invoke void @_ZN11CNF_FormulaIxE15unassignLiteralEv(ptr noundef nonnull align 8 dereferenceable(456) %683)
          to label %684 unwind label %210

684:                                              ; preds = %680
  %685 = load ptr, ptr %4, align 8, !tbaa !5
  %686 = load i32, ptr %7, align 4, !tbaa !9
  %687 = sext i32 %686 to i64
  %688 = getelementptr inbounds i32, ptr %685, i64 %687
  %689 = load i32, ptr %688, align 4, !tbaa !9
  %690 = icmp ne i32 %689, 0
  br i1 %690, label %691, label %707

691:                                              ; preds = %684
  %692 = load ptr, ptr %2, align 8, !tbaa !5
  %693 = load ptr, ptr %4, align 8, !tbaa !5
  %694 = load i32, ptr %7, align 4, !tbaa !9
  %695 = sext i32 %694 to i64
  %696 = getelementptr inbounds i32, ptr %693, i64 %695
  %697 = load i32, ptr %696, align 4, !tbaa !9
  %698 = invoke noundef zeroext i1 @_ZN11CNF_FormulaIxE13assignLiteralEi(ptr noundef nonnull align 8 dereferenceable(456) %692, i32 noundef %697)
          to label %699 unwind label %210

699:                                              ; preds = %691
  br i1 %698, label %700, label %706

700:                                              ; preds = %699
  %701 = load ptr, ptr %4, align 8, !tbaa !5
  %702 = load i32, ptr %7, align 4, !tbaa !9
  %703 = add nsw i32 %702, 1
  store i32 %703, ptr %7, align 4, !tbaa !9
  %704 = sext i32 %702 to i64
  %705 = getelementptr inbounds i32, ptr %701, i64 %704
  store i32 0, ptr %705, align 4, !tbaa !9
  br label %727

706:                                              ; preds = %699
  br label %707

707:                                              ; preds = %706, %684
  %708 = load i32, ptr %30, align 4, !tbaa !9
  %709 = load ptr, ptr %5, align 8, !tbaa !5
  %710 = load ptr, ptr %3, align 8, !tbaa !5
  %711 = load i32, ptr %7, align 4, !tbaa !9
  %712 = sext i32 %711 to i64
  %713 = getelementptr inbounds i32, ptr %710, i64 %712
  %714 = load i32, ptr %713, align 4, !tbaa !9
  %715 = sext i32 %714 to i64
  %716 = getelementptr inbounds i32, ptr %709, i64 %715
  store i32 %708, ptr %716, align 4, !tbaa !9
  %717 = load ptr, ptr %3, align 8, !tbaa !5
  %718 = load i32, ptr %7, align 4, !tbaa !9
  %719 = sext i32 %718 to i64
  %720 = getelementptr inbounds i32, ptr %717, i64 %719
  %721 = load i32, ptr %720, align 4, !tbaa !9
  %722 = load ptr, ptr %6, align 8, !tbaa !5
  %723 = load i32, ptr %30, align 4, !tbaa !9
  %724 = add nsw i32 %723, 1
  store i32 %724, ptr %30, align 4, !tbaa !9
  %725 = sext i32 %723 to i64
  %726 = getelementptr inbounds i32, ptr %722, i64 %725
  store i32 %721, ptr %726, align 4, !tbaa !9
  br label %677, !llvm.loop !28

727:                                              ; preds = %700, %677
  br label %728

728:                                              ; preds = %727, %654, %416
  %729 = load i32, ptr %7, align 4, !tbaa !9
  %730 = icmp ne i32 %729, 0
  br i1 %730, label %203, label %731, !llvm.loop !29

731:                                              ; preds = %728
  %732 = load i32, ptr %10, align 4, !tbaa !9
  %733 = load i32, ptr %11, align 4, !tbaa !9
  %734 = invoke i32 (ptr, ...) @printf(ptr noundef @.str.8, i32 noundef %732, i32 noundef %733)
          to label %735 unwind label %210

735:                                              ; preds = %731
  %736 = load ptr, ptr %3, align 8, !tbaa !5
  %737 = icmp eq ptr %736, null
  br i1 %737, label %739, label %738

738:                                              ; preds = %735
  call void @_ZdaPv(ptr noundef %736) #14
  br label %739

739:                                              ; preds = %738, %735
  %740 = load ptr, ptr %4, align 8, !tbaa !5
  %741 = icmp eq ptr %740, null
  br i1 %741, label %743, label %742

742:                                              ; preds = %739
  call void @_ZdaPv(ptr noundef %740) #14
  br label %743

743:                                              ; preds = %742, %739
  %744 = load ptr, ptr %6, align 8, !tbaa !5
  %745 = icmp eq ptr %744, null
  br i1 %745, label %747, label %746

746:                                              ; preds = %743
  call void @_ZdaPv(ptr noundef %744) #14
  br label %747

747:                                              ; preds = %746, %743
  %748 = load ptr, ptr %5, align 8, !tbaa !5
  %749 = icmp eq ptr %748, null
  br i1 %749, label %751, label %750

750:                                              ; preds = %747
  call void @_ZdaPv(ptr noundef %748) #14
  br label %751

751:                                              ; preds = %750, %747
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #11
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #11
  call void @llvm.lifetime.end.p0(i64 4, ptr %29) #11
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #11
  call void @_ZNSt6vectorISt4pairIxiESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %16) #11
  call void @llvm.lifetime.end.p0(i64 24, ptr %16) #11
  call void @llvm.lifetime.end.p0(i64 1, ptr %15) #11
  call void @llvm.lifetime.end.p0(i64 1, ptr %14) #11
  call void @llvm.lifetime.end.p0(i64 1, ptr %13) #11
  call void @llvm.lifetime.end.p0(i64 16, ptr %12) #11
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #11
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #11
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #11
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #11
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #11
  call void @llvm.lifetime.end.p0(i64 8, ptr %6) #11
  call void @llvm.lifetime.end.p0(i64 8, ptr %5) #11
  call void @llvm.lifetime.end.p0(i64 8, ptr %4) #11
  call void @llvm.lifetime.end.p0(i64 8, ptr %3) #11
  ret void

752:                                              ; preds = %598, %412, %210
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #11
  br label %753

753:                                              ; preds = %752, %171
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #11
  call void @llvm.lifetime.end.p0(i64 4, ptr %29) #11
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #11
  br label %754

754:                                              ; preds = %753, %167, %148
  call void @_ZNSt6vectorISt4pairIxiESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %16) #11
  call void @llvm.lifetime.end.p0(i64 24, ptr %16) #11
  call void @llvm.lifetime.end.p0(i64 1, ptr %15) #11
  call void @llvm.lifetime.end.p0(i64 1, ptr %14) #11
  call void @llvm.lifetime.end.p0(i64 1, ptr %13) #11
  call void @llvm.lifetime.end.p0(i64 16, ptr %12) #11
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #11
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #11
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #11
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #11
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #11
  call void @llvm.lifetime.end.p0(i64 8, ptr %6) #11
  call void @llvm.lifetime.end.p0(i64 8, ptr %5) #11
  call void @llvm.lifetime.end.p0(i64 8, ptr %4) #11
  call void @llvm.lifetime.end.p0(i64 8, ptr %3) #11
  br label %755

755:                                              ; preds = %754
  %756 = load ptr, ptr %18, align 8
  %757 = load i32, ptr %19, align 4
  %758 = insertvalue { ptr, i32 } poison, ptr %756, 0
  %759 = insertvalue { ptr, i32 } %758, i32 %757, 1
  resume { ptr, i32 } %759

760:                                              ; preds = %406
  unreachable
}

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZNK11CNF_FormulaIxE8getNVarsEv(ptr noundef nonnull align 8 dereferenceable(456)) #2 align 2

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare { i64, i1 } @llvm.umul.with.overflow.i64(i64, i64) #3

; Function Attrs: nobuiltin allocsize(0)
declare noundef nonnull ptr @_Znam(i64 noundef) #4

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

declare i32 @__gxx_personality_v0(...)

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local noundef i64 @_ZNK11CNF_FormulaIxE15getBinaryLengthEi(ptr noundef nonnull align 8 dereferenceable(456), i32 noundef) #6 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef i64 @_ZNK11CNF_FormulaIxE13getUnitLengthEi(ptr noundef nonnull align 8 dereferenceable(456), i32 noundef) #2 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef i64 @_ZNK11CNF_FormulaIxE9getLengthEi(ptr noundef nonnull align 8 dereferenceable(456), i32 noundef) #2 align 2

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

; Function Attrs: mustprogress uwtable
declare dso_local { double, i32 } @_ZSt9make_pairIdRiESt4pairINSt25__strip_reference_wrapperINSt5decayIT_E4typeEE6__typeENS2_INS3_IT0_E4typeEE6__typeEEOS4_OS9_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 4 dereferenceable(4)) #0

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3minIdERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) #2

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare double @llvm.fmuladd.f64(double, double, double) #3

; 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) #7

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt4pairIxiEC2IdiTnNSt9enable_ifIXaaclsr6_PCCFPIT_T0_EE22_MoveConstructiblePairIS3_S4_EEclsr6_PCCFPIS3_S4_EE30_ImplicitlyMoveConvertiblePairIS3_S4_EEEbE4typeELb1EEEOS_IS3_S4_E(ptr noundef nonnull align 8 dereferenceable(12), ptr noundef nonnull align 8 dereferenceable(12)) unnamed_addr #5 align 2

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZSt4sortIN9__gnu_cxx17__normal_iteratorIPSt4pairIxiESt6vectorIS3_SaIS3_EEEEEvT_S9_(ptr, ptr) #6

; Function Attrs: mustprogress nounwind uwtable
declare dso_local ptr @_ZNSt6vectorISt4pairIxiESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24)) #5 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local ptr @_ZNSt6vectorISt4pairIxiESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24)) #5 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(12) ptr @_ZNSt6vectorISt4pairIxiESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) #5 align 2

; Function Attrs: mustprogress uwtable
declare dso_local noundef i64 @_ZN11CNF_FormulaIxE19bestMinusLowerBoundEv(ptr noundef nonnull align 8 dereferenceable(456)) #0 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZN11CNF_FormulaIxE13assignLiteralEi(ptr noundef nonnull align 8 dereferenceable(456), i32 noundef) #6 align 2

; Function Attrs: noreturn nounwind
declare void @__assert_fail(ptr noundef, ptr noundef, i32 noundef, ptr noundef) #8

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef i64 @_ZNK11CNF_FormulaIxE7getW_lbEi(ptr noundef nonnull align 8 dereferenceable(456), i32 noundef) #2 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3minIxERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) #2

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare x86_fp80 @llvm.fmuladd.f80(x86_fp80, x86_fp80, x86_fp80) #3

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN11CNF_FormulaIxE15unassignLiteralEv(ptr noundef nonnull align 8 dereferenceable(456)) #0 align 2

declare i32 @printf(ptr noundef, ...) #9

; Function Attrs: nobuiltin nounwind
declare void @_ZdaPv(ptr noundef) #10

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

attributes #0 = { 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 #1 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { inlinehint 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 #3 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #4 = { nobuiltin allocsize(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 #5 = { 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 #6 = { 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 #7 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #8 = { noreturn nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #9 = { "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 #10 = { nobuiltin nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #11 = { nounwind }
attributes #12 = { builtin allocsize(0) }
attributes #13 = { noreturn nounwind }
attributes #14 = { builtin nounwind }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"bool", !7, i64 0}
!13 = !{!14, !14, i64 0}
!14 = !{!"double", !7, i64 0}
!15 = distinct !{!15, !16}
!16 = !{!"llvm.loop.mustprogress"}
!17 = !{!18, !10, i64 8}
!18 = !{!"_ZTSSt4pairIxiE", !19, i64 0, !10, i64 8}
!19 = !{!"long long", !7, i64 0}
!20 = distinct !{!20, !16}
!21 = !{!19, !19, i64 0}
!22 = distinct !{!22, !16}
!23 = !{i8 0, i8 2}
!24 = !{}
!25 = !{!26, !26, i64 0}
!26 = !{!"long double", !7, i64 0}
!27 = distinct !{!27, !16}
!28 = distinct !{!28, !16}
!29 = distinct !{!29, !16}


; 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::vector.5" = type { %"struct.std::_Vector_base.6" }
%"struct.std::_Vector_base.6" = type { %"struct.std::_Vector_base<std::pair<long long, int>, std::allocator<std::pair<long long, int>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::pair<long long, int>, std::allocator<std::pair<long long, int>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::pair<long long, int>, std::allocator<std::pair<long long, int>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::pair<long long, int>, std::allocator<std::pair<long long, int>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"struct.std::pair" = type <{ i64, i32, [4 x i8] }>
%"struct.std::pair.10" = type <{ double, i32, [4 x i8] }>

@.str = external hidden unnamed_addr constant [29 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [92 x i8], align 1
@__PRETTY_FUNCTION__._Z14fast_backtrackR11CNF_FormulaIxE = external hidden unnamed_addr constant [46 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [15 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [7 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [29 x i8], align 1

; Function Attrs: mustprogress uwtable
define dso_local void @_Z14fast_backtrackR11CNF_FormulaIxE(ptr noundef nonnull align 8 dereferenceable(456) %0) local_unnamed_addr #0 personality ptr @__gxx_personality_v0 {
  %2 = alloca %"class.std::vector.5", align 8
  %3 = alloca i32, align 4
  %4 = alloca double, align 8
  %5 = alloca double, align 8
  %6 = alloca %"struct.std::pair", align 8
  %7 = alloca %"struct.std::pair.10", align 8
  %8 = alloca double, align 8
  %9 = alloca i64, align 8
  %10 = alloca i64, align 8
  %11 = tail call noundef i32 @_ZNK11CNF_FormulaIxE8getNVarsEv(ptr noundef nonnull align 8 dereferenceable(456) %0)
  %12 = zext nneg i32 %11 to i64
  %13 = icmp slt i32 %11, 0
  %14 = shl nuw nsw i64 %12, 2
  %15 = select i1 %13, i64 -1, i64 %14
  %16 = tail call noalias noundef nonnull ptr @_Znam(i64 noundef %15) #10
  %17 = tail call noundef i32 @_ZNK11CNF_FormulaIxE8getNVarsEv(ptr noundef nonnull align 8 dereferenceable(456) %0)
  %18 = zext nneg i32 %17 to i64
  %19 = icmp slt i32 %17, 0
  %20 = shl nuw nsw i64 %18, 2
  %21 = select i1 %19, i64 -1, i64 %20
  %22 = tail call noalias noundef nonnull ptr @_Znam(i64 noundef %21) #10
  %23 = tail call noundef i32 @_ZNK11CNF_FormulaIxE8getNVarsEv(ptr noundef nonnull align 8 dereferenceable(456) %0)
  %24 = add nsw i32 %23, 1
  %25 = zext nneg i32 %24 to i64
  %26 = icmp slt i32 %23, -1
  %27 = shl nuw nsw i64 %25, 2
  %28 = select i1 %26, i64 -1, i64 %27
  %29 = tail call noalias noundef nonnull ptr @_Znam(i64 noundef %28) #10
  %30 = tail call noundef i32 @_ZNK11CNF_FormulaIxE8getNVarsEv(ptr noundef nonnull align 8 dereferenceable(456) %0)
  %31 = zext nneg i32 %30 to i64
  %32 = icmp slt i32 %30, 0
  %33 = shl nuw nsw i64 %31, 2
  %34 = select i1 %32, i64 -1, i64 %33
  %35 = tail call noalias noundef nonnull ptr @_Znam(i64 noundef %34) #10
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %2) #11
  call void @_ZNSt6vectorISt4pairIxiESaIS1_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %2) #11
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %3) #11
  store i32 1, ptr %3, align 4, !tbaa !5
  %36 = call noundef i32 @_ZNK11CNF_FormulaIxE8getNVarsEv(ptr noundef nonnull align 8 dereferenceable(456) %0)
  %.not344 = icmp slt i32 %36, 1
  br i1 %.not344, label %._crit_edge, label %.lr.ph

.lr.ph:                                           ; preds = %1
  %.sroa.2.0..sroa_idx = getelementptr inbounds i8, ptr %7, i64 8
  br label %39

._crit_edge:                                      ; preds = %71, %1
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %3) #11
  %37 = call ptr @_ZNSt6vectorISt4pairIxiESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %2) #11
  %38 = call ptr @_ZNSt6vectorISt4pairIxiESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %2) #11
  invoke void @_ZSt4sortIN9__gnu_cxx17__normal_iteratorIPSt4pairIxiESt6vectorIS3_SaIS3_EEEEEvT_S9_(ptr %37, ptr %38)
          to label %83 unwind label %90

39:                                               ; preds = %.lr.ph, %71
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %4) #11
  %40 = load i32, ptr %3, align 4, !tbaa !5
  %41 = invoke noundef i64 @_ZNK11CNF_FormulaIxE15getBinaryLengthEi(ptr noundef nonnull align 8 dereferenceable(456) %0, i32 noundef %40)
          to label %42 unwind label %75

42:                                               ; preds = %39
  %43 = shl nsw i64 %41, 1
  %44 = load i32, ptr %3, align 4, !tbaa !5
  %45 = call noundef i64 @_ZNK11CNF_FormulaIxE13getUnitLengthEi(ptr noundef nonnull align 8 dereferenceable(456) %0, i32 noundef %44)
  %46 = add nsw i64 %45, %43
  %47 = load i32, ptr %3, align 4, !tbaa !5
  %48 = call noundef i64 @_ZNK11CNF_FormulaIxE9getLengthEi(ptr noundef nonnull align 8 dereferenceable(456) %0, i32 noundef %47)
  %49 = add nsw i64 %46, %48
  %50 = sitofp i64 %49 to double
  store double %50, ptr %4, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %5) #11
  %51 = load i32, ptr %3, align 4, !tbaa !5
  %52 = sub nsw i32 0, %51
  %53 = invoke noundef i64 @_ZNK11CNF_FormulaIxE15getBinaryLengthEi(ptr noundef nonnull align 8 dereferenceable(456) %0, i32 noundef %52)
          to label %54 unwind label %77

54:                                               ; preds = %42
  %55 = shl nsw i64 %53, 1
  %56 = load i32, ptr %3, align 4, !tbaa !5
  %57 = sub nsw i32 0, %56
  %58 = call noundef i64 @_ZNK11CNF_FormulaIxE13getUnitLengthEi(ptr noundef nonnull align 8 dereferenceable(456) %0, i32 noundef %57)
  %59 = add nsw i64 %58, %55
  %60 = load i32, ptr %3, align 4, !tbaa !5
  %61 = sub nsw i32 0, %60
  %62 = call noundef i64 @_ZNK11CNF_FormulaIxE9getLengthEi(ptr noundef nonnull align 8 dereferenceable(456) %0, i32 noundef %61)
  %63 = add nsw i64 %59, %62
  %64 = sitofp i64 %63 to double
  store double %64, ptr %5, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %6) #11
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %7) #11
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %8) #11
  %65 = load double, ptr %4, align 8, !tbaa !9
  %66 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3minIdERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8) %4, ptr noundef nonnull align 8 dereferenceable(8) %5)
  %67 = load double, ptr %66, align 8, !tbaa !9
  %68 = call double @llvm.fmuladd.f64(double %65, double %65, double %67)
  store double %68, ptr %8, align 8, !tbaa !9
  %69 = invoke { double, i32 } @_ZSt9make_pairIdRiESt4pairINSt25__strip_reference_wrapperINSt5decayIT_E4typeEE6__typeENS2_INS3_IT0_E4typeEE6__typeEEOS4_OS9_(ptr noundef nonnull align 8 dereferenceable(8) %8, ptr noundef nonnull align 4 dereferenceable(4) %3)
          to label %70 unwind label %79

70:                                               ; preds = %54
  %.fca.0.extract = extractvalue { double, i32 } %69, 0
  %.fca.1.extract = extractvalue { double, i32 } %69, 1
  store double %.fca.0.extract, ptr %7, align 8
  store i32 %.fca.1.extract, ptr %.sroa.2.0..sroa_idx, align 8
  call void @_ZNSt4pairIxiEC2IdiTnNSt9enable_ifIXaaclsr6_PCCFPIT_T0_EE22_MoveConstructiblePairIS3_S4_EEclsr6_PCCFPIS3_S4_EE30_ImplicitlyMoveConvertiblePairIS3_S4_EEEbE4typeELb1EEEOS_IS3_S4_E(ptr noundef nonnull align 8 dereferenceable(12) %6, ptr noundef nonnull align 8 dereferenceable(12) %7)
  invoke void @_ZNSt6vectorISt4pairIxiESaIS1_EE9push_backEOS1_(ptr noundef nonnull align 8 dereferenceable(24) %2, ptr noundef nonnull align 8 dereferenceable(12) %6)
          to label %71 unwind label %79

71:                                               ; preds = %70
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %8) #11
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %7) #11
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %6) #11
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %5) #11
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %4) #11
  %72 = load i32, ptr %3, align 4, !tbaa !5
  %73 = add nsw i32 %72, 1
  store i32 %73, ptr %3, align 4, !tbaa !5
  %74 = call noundef i32 @_ZNK11CNF_FormulaIxE8getNVarsEv(ptr noundef nonnull align 8 dereferenceable(456) %0)
  %.not.not = icmp slt i32 %72, %74
  br i1 %.not.not, label %39, label %._crit_edge, !llvm.loop !11

75:                                               ; preds = %39
  %76 = landingpad { ptr, i32 }
          cleanup
  br label %82

77:                                               ; preds = %42
  %78 = landingpad { ptr, i32 }
          cleanup
  br label %81

79:                                               ; preds = %70, %54
  %80 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %8) #11
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %7) #11
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %6) #11
  br label %81

81:                                               ; preds = %79, %77
  %.pn266 = phi { ptr, i32 } [ %80, %79 ], [ %78, %77 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %5) #11
  br label %82

82:                                               ; preds = %81, %75
  %.pn266.pn = phi { ptr, i32 } [ %.pn266, %81 ], [ %76, %75 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %4) #11
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %3) #11
  br label %308

83:                                               ; preds = %._crit_edge
  %84 = call noundef i32 @_ZNK11CNF_FormulaIxE8getNVarsEv(ptr noundef nonnull align 8 dereferenceable(456) %0)
  %85 = icmp sgt i32 %84, 0
  br i1 %85, label %.lr.ph347.preheader, label %._crit_edge348

.lr.ph347.preheader:                              ; preds = %83
  %wide.trip.count = zext nneg i32 %84 to i64
  br label %.lr.ph347

._crit_edge348:                                   ; preds = %.lr.ph347, %83
  %86 = sext i32 %84 to i64
  %87 = getelementptr inbounds i32, ptr %35, i64 %86
  %88 = getelementptr inbounds i8, ptr %87, i64 -4
  %invariant.gep = getelementptr i8, ptr %35, i64 -4
  %89 = ptrtoint ptr %35 to i64
  br label %102

90:                                               ; preds = %._crit_edge
  %91 = landingpad { ptr, i32 }
          cleanup
  br label %308

.lr.ph347:                                        ; preds = %.lr.ph347.preheader, %.lr.ph347
  %indvars.iv = phi i64 [ 0, %.lr.ph347.preheader ], [ %indvars.iv.next, %.lr.ph347 ]
  %92 = call noundef nonnull align 8 dereferenceable(12) ptr @_ZNSt6vectorISt4pairIxiESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %2, i64 noundef %indvars.iv) #11
  %93 = getelementptr inbounds i8, ptr %92, i64 8
  %94 = load i32, ptr %93, align 8, !tbaa !13
  %95 = getelementptr inbounds i32, ptr %35, i64 %indvars.iv
  store i32 %94, ptr %95, align 4, !tbaa !5
  %96 = call noundef nonnull align 8 dereferenceable(12) ptr @_ZNSt6vectorISt4pairIxiESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %2, i64 noundef %indvars.iv) #11
  %97 = getelementptr inbounds i8, ptr %96, i64 8
  %98 = load i32, ptr %97, align 8, !tbaa !13
  %99 = sext i32 %98 to i64
  %100 = getelementptr inbounds i32, ptr %29, i64 %99
  %101 = trunc nuw nsw i64 %indvars.iv to i32
  store i32 %101, ptr %100, align 4, !tbaa !5
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next, %wide.trip.count
  br i1 %exitcond.not, label %._crit_edge348, label %.lr.ph347, !llvm.loop !16

102:                                              ; preds = %.thread283, %._crit_edge348
  %.0226 = phi i32 [ 0, %._crit_edge348 ], [ %.5231, %.thread283 ]
  %.0216 = phi i32 [ %84, %._crit_edge348 ], [ %.6222, %.thread283 ]
  %.0209 = phi ptr [ %88, %._crit_edge348 ], [ %.5214, %.thread283 ]
  %.0196 = phi i32 [ 0, %._crit_edge348 ], [ %.5201, %.thread283 ]
  %.0194 = phi i32 [ 0, %._crit_edge348 ], [ %.1195, %.thread283 ]
  %.0 = phi i32 [ 0, %._crit_edge348 ], [ %.6, %.thread283 ]
  %103 = call noundef i32 @_ZNK11CNF_FormulaIxE8getNVarsEv(ptr noundef nonnull align 8 dereferenceable(456) %0)
  %104 = icmp eq i32 %.0, %103
  br i1 %104, label %.thread277, label %105

.loopexit:                                        ; preds = %.lr.ph368, %293
  %lpad.loopexit = landingpad { ptr, i32 }
          cleanup
  br label %308

.loopexit.split-lp:                               ; preds = %105, %180, %186, %261, %268
  %lpad.loopexit.split-lp = landingpad { ptr, i32 }
          cleanup
  br label %308

105:                                              ; preds = %102
  %106 = invoke noundef i64 @_ZN11CNF_FormulaIxE19bestMinusLowerBoundEv(ptr noundef nonnull align 8 dereferenceable(456) %0)
          to label %107 unwind label %.loopexit.split-lp

107:                                              ; preds = %105
  %.not252 = icmp eq i64 %106, 0
  br i1 %.not252, label %.thread277, label %108

108:                                              ; preds = %107
  %109 = icmp slt i32 %.0216, 5000
  %110 = sext i32 %.0216 to i64
  %111 = getelementptr inbounds i32, ptr %35, i64 %110
  %112 = getelementptr inbounds i8, ptr %111, i64 -4
  %.1210 = select i1 %109, ptr %112, ptr %.0209
  %.not253 = icmp ult ptr %.1210, %111
  %.2211 = select i1 %.not253, ptr %.1210, ptr %112
  %.not254349 = icmp ult ptr %.2211, %35
  br i1 %.not254349, label %._crit_edge353, label %.lr.ph352

.lr.ph352:                                        ; preds = %108, %177
  %.3212350 = phi ptr [ %178, %177 ], [ %.2211, %108 ]
  %113 = load i32, ptr %.3212350, align 4, !tbaa !5
  %114 = sub nsw i32 0, %113
  %115 = call noundef i64 @_ZNK11CNF_FormulaIxE9getLengthEi(ptr noundef nonnull align 8 dereferenceable(456) %0, i32 noundef %114)
  %116 = load i32, ptr %.3212350, align 4, !tbaa !5
  %117 = call noundef i64 @_ZNK11CNF_FormulaIxE9getLengthEi(ptr noundef nonnull align 8 dereferenceable(456) %0, i32 noundef %116)
  %118 = load i32, ptr %.3212350, align 4, !tbaa !5
  %119 = call noundef i64 @_ZNK11CNF_FormulaIxE13getUnitLengthEi(ptr noundef nonnull align 8 dereferenceable(456) %0, i32 noundef %118)
  %.not255 = icmp slt i64 %119, %115
  %120 = load i32, ptr %.3212350, align 4, !tbaa !5
  br i1 %.not255, label %147, label %121

121:                                              ; preds = %.lr.ph352
  %122 = invoke noundef zeroext i1 @_ZN11CNF_FormulaIxE13assignLiteralEi(ptr noundef nonnull align 8 dereferenceable(456) %0, i32 noundef %120)
          to label %123 unwind label %124

123:                                              ; preds = %121
  br i1 %122, label %126, label %.thread277

124:                                              ; preds = %150, %121
  %125 = landingpad { ptr, i32 }
          cleanup
  br label %308

126:                                              ; preds = %123
  %127 = load i32, ptr %.3212350, align 4, !tbaa !5
  %128 = sext i32 %127 to i64
  %129 = getelementptr inbounds i32, ptr %29, i64 %128
  %130 = load i32, ptr %129, align 4, !tbaa !5
  %131 = sext i32 %130 to i64
  %132 = ptrtoint ptr %.3212350 to i64
  %133 = sub i64 %132, %89
  %134 = ashr exact i64 %133, 2
  %135 = icmp eq i64 %134, %131
  br i1 %135, label %137, label %136

136:                                              ; preds = %126
  call void @__assert_fail(ptr noundef nonnull @.str, ptr noundef nonnull @.str.1, i32 noundef 345, ptr noundef nonnull @__PRETTY_FUNCTION__._Z14fast_backtrackR11CNF_FormulaIxE) #12
  unreachable

137:                                              ; preds = %126
  %138 = add nsw i32 %.0196, 1
  %139 = sext i32 %.0 to i64
  %140 = getelementptr inbounds i32, ptr %16, i64 %139
  store i32 %127, ptr %140, align 4, !tbaa !5
  %gep = getelementptr i32, ptr %invariant.gep, i64 %110
  %141 = load i32, ptr %gep, align 4, !tbaa !5
  store i32 %141, ptr %.3212350, align 4, !tbaa !5
  %142 = sext i32 %141 to i64
  %143 = getelementptr inbounds i32, ptr %29, i64 %142
  store i32 %130, ptr %143, align 4, !tbaa !5
  %144 = add nsw i32 %.0216, -1
  %145 = add nsw i32 %.0, 1
  %146 = getelementptr inbounds i32, ptr %22, i64 %139
  store i32 0, ptr %146, align 4, !tbaa !5
  br label %.thread283

147:                                              ; preds = %.lr.ph352
  %148 = sub nsw i32 0, %120
  %149 = call noundef i64 @_ZNK11CNF_FormulaIxE13getUnitLengthEi(ptr noundef nonnull align 8 dereferenceable(456) %0, i32 noundef %148)
  %.not256 = icmp slt i64 %149, %117
  br i1 %.not256, label %177, label %150

150:                                              ; preds = %147
  %151 = load i32, ptr %.3212350, align 4, !tbaa !5
  %152 = sub nsw i32 0, %151
  %153 = invoke noundef zeroext i1 @_ZN11CNF_FormulaIxE13assignLiteralEi(ptr noundef nonnull align 8 dereferenceable(456) %0, i32 noundef %152)
          to label %154 unwind label %124

154:                                              ; preds = %150
  br i1 %153, label %155, label %.thread277

155:                                              ; preds = %154
  %156 = load i32, ptr %.3212350, align 4, !tbaa !5
  %157 = sext i32 %156 to i64
  %158 = getelementptr inbounds i32, ptr %29, i64 %157
  %159 = load i32, ptr %158, align 4, !tbaa !5
  %160 = sext i32 %159 to i64
  %161 = ptrtoint ptr %.3212350 to i64
  %162 = sub i64 %161, %89
  %163 = ashr exact i64 %162, 2
  %164 = icmp eq i64 %163, %160
  br i1 %164, label %166, label %165

165:                                              ; preds = %155
  call void @__assert_fail(ptr noundef nonnull @.str, ptr noundef nonnull @.str.1, i32 noundef 359, ptr noundef nonnull @__PRETTY_FUNCTION__._Z14fast_backtrackR11CNF_FormulaIxE) #12
  unreachable

166:                                              ; preds = %155
  %167 = add nsw i32 %.0196, 1
  %168 = sext i32 %.0 to i64
  %169 = getelementptr inbounds i32, ptr %16, i64 %168
  store i32 %156, ptr %169, align 4, !tbaa !5
  %gep374 = getelementptr i32, ptr %invariant.gep, i64 %110
  %170 = load i32, ptr %gep374, align 4, !tbaa !5
  store i32 %170, ptr %.3212350, align 4, !tbaa !5
  %171 = trunc nsw i64 %163 to i32
  %172 = sext i32 %170 to i64
  %173 = getelementptr inbounds i32, ptr %29, i64 %172
  store i32 %171, ptr %173, align 4, !tbaa !5
  %174 = add nsw i32 %.0216, -1
  %175 = add nsw i32 %.0, 1
  %176 = getelementptr inbounds i32, ptr %22, i64 %168
  store i32 0, ptr %176, align 4, !tbaa !5
  br label %.thread283

177:                                              ; preds = %147
  %178 = getelementptr inbounds i8, ptr %.3212350, i64 -4
  %.not254 = icmp ult ptr %178, %35
  br i1 %.not254, label %._crit_edge353, label %.lr.ph352, !llvm.loop !17

._crit_edge353:                                   ; preds = %177, %108
  %.3212.lcssa = phi ptr [ %.2211, %108 ], [ %178, %177 ]
  %179 = icmp sgt i32 %.0216, 2999
  br i1 %179, label %180, label %197

180:                                              ; preds = %._crit_edge353
  %181 = zext nneg i32 %.0216 to i64
  %gep378 = getelementptr i32, ptr %invariant.gep, i64 %181
  %182 = load i32, ptr %gep378, align 4, !tbaa !5
  %183 = call noundef i64 @_ZNK11CNF_FormulaIxE7getW_lbEi(ptr noundef nonnull align 8 dereferenceable(456) %0, i32 noundef %182)
  %184 = call noundef i64 @_ZNK11CNF_FormulaIxE13getUnitLengthEi(ptr noundef nonnull align 8 dereferenceable(456) %0, i32 noundef %182)
  %185 = invoke noundef i64 @_ZNK11CNF_FormulaIxE15getBinaryLengthEi(ptr noundef nonnull align 8 dereferenceable(456) %0, i32 noundef %182)
          to label %186 unwind label %.loopexit.split-lp

186:                                              ; preds = %180
  %187 = sub nsw i32 0, %182
  %188 = call noundef i64 @_ZNK11CNF_FormulaIxE7getW_lbEi(ptr noundef nonnull align 8 dereferenceable(456) %0, i32 noundef %187)
  %189 = call noundef i64 @_ZNK11CNF_FormulaIxE13getUnitLengthEi(ptr noundef nonnull align 8 dereferenceable(456) %0, i32 noundef %187)
  %190 = invoke noundef i64 @_ZNK11CNF_FormulaIxE15getBinaryLengthEi(ptr noundef nonnull align 8 dereferenceable(456) %0, i32 noundef %187)
          to label %191 unwind label %.loopexit.split-lp

191:                                              ; preds = %186
  %192 = add nsw i64 %189, %188
  %193 = add nsw i64 %184, %183
  %194 = add nsw i64 %193, %185
  %195 = add nsw i64 %192, %190
  %196 = icmp sgt i64 %194, %195
  %. = select i1 %196, i32 1, i32 -1
  br label %.loopexit298

197:                                              ; preds = %._crit_edge353
  %198 = icmp sgt i32 %.0216, 0
  br i1 %198, label %200, label %199

199:                                              ; preds = %197
  call void @__assert_fail(ptr noundef nonnull @.str.2, ptr noundef nonnull @.str.1, i32 noundef 382, ptr noundef nonnull @__PRETTY_FUNCTION__._Z14fast_backtrackR11CNF_FormulaIxE) #12
  unreachable

200:                                              ; preds = %197
  %201 = zext nneg i32 %.0216 to i64
  %gep376 = getelementptr i32, ptr %invariant.gep, i64 %201
  %.not257355 = icmp ult ptr %gep376, %35
  br i1 %.not257355, label %.loopexit298.thread, label %.lr.ph361

.lr.ph361:                                        ; preds = %200, %259
  %.0204359 = phi ptr [ %.0204, %259 ], [ %gep376, %200 ]
  %.0202358 = phi x86_fp80 [ %.1203, %259 ], [ 0xKBFFF8000000000000000, %200 ]
  %.0223357 = phi i32 [ %.1224, %259 ], [ 0, %200 ]
  %.1227356 = phi i32 [ %.2228, %259 ], [ %.0226, %200 ]
  %202 = load i32, ptr %.0204359, align 4, !tbaa !5
  %203 = sext i32 %202 to i64
  %204 = getelementptr inbounds i32, ptr %29, i64 %203
  %205 = load i32, ptr %204, align 4, !tbaa !5
  %206 = sext i32 %205 to i64
  %207 = ptrtoint ptr %.0204359 to i64
  %208 = sub i64 %207, %89
  %209 = ashr exact i64 %208, 2
  %210 = icmp eq i64 %209, %206
  br i1 %210, label %212, label %211

211:                                              ; preds = %.lr.ph361
  call void @__assert_fail(ptr noundef nonnull @.str.3, ptr noundef nonnull @.str.1, i32 noundef 384, ptr noundef nonnull @__PRETTY_FUNCTION__._Z14fast_backtrackR11CNF_FormulaIxE) #12
  unreachable

212:                                              ; preds = %.lr.ph361
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %9) #11
  %213 = sub nsw i32 0, %202
  %214 = call noundef i64 @_ZNK11CNF_FormulaIxE9getLengthEi(ptr noundef nonnull align 8 dereferenceable(456) %0, i32 noundef %213)
  store i64 %214, ptr %9, align 8, !tbaa !18
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %10) #11
  %215 = load i32, ptr %.0204359, align 4, !tbaa !5
  %216 = call noundef i64 @_ZNK11CNF_FormulaIxE9getLengthEi(ptr noundef nonnull align 8 dereferenceable(456) %0, i32 noundef %215)
  store i64 %216, ptr %10, align 8, !tbaa !18
  %217 = load i32, ptr %.0204359, align 4, !tbaa !5
  %218 = call noundef i64 @_ZNK11CNF_FormulaIxE7getW_lbEi(ptr noundef nonnull align 8 dereferenceable(456) %0, i32 noundef %217)
  %219 = load i32, ptr %.0204359, align 4, !tbaa !5
  %220 = invoke noundef i64 @_ZNK11CNF_FormulaIxE15getBinaryLengthEi(ptr noundef nonnull align 8 dereferenceable(456) %0, i32 noundef %219)
          to label %221 unwind label %228

221:                                              ; preds = %212
  %222 = add nsw i64 %220, %218
  %223 = load i64, ptr %10, align 8, !tbaa !18
  %224 = add nsw i64 %222, %223
  %225 = sitofp i64 %224 to x86_fp80
  %226 = icmp sgt i64 %224, -1
  br i1 %226, label %230, label %227

227:                                              ; preds = %221
  call void @__assert_fail(ptr noundef nonnull @.str.4, ptr noundef nonnull @.str.1, i32 noundef 388, ptr noundef nonnull @__PRETTY_FUNCTION__._Z14fast_backtrackR11CNF_FormulaIxE) #12
  unreachable

228:                                              ; preds = %212
  %229 = landingpad { ptr, i32 }
          cleanup
  br label %260

230:                                              ; preds = %221
  %231 = load i32, ptr %.0204359, align 4, !tbaa !5
  %232 = sub nsw i32 0, %231
  %233 = call noundef i64 @_ZNK11CNF_FormulaIxE7getW_lbEi(ptr noundef nonnull align 8 dereferenceable(456) %0, i32 noundef %232)
  %234 = load i32, ptr %.0204359, align 4, !tbaa !5
  %235 = sub nsw i32 0, %234
  %236 = invoke noundef i64 @_ZNK11CNF_FormulaIxE15getBinaryLengthEi(ptr noundef nonnull align 8 dereferenceable(456) %0, i32 noundef %235)
          to label %237 unwind label %244

237:                                              ; preds = %230
  %238 = add nsw i64 %236, %233
  %239 = load i64, ptr %9, align 8, !tbaa !18
  %240 = add nsw i64 %238, %239
  %241 = sitofp i64 %240 to x86_fp80
  %242 = icmp sgt i64 %240, -1
  br i1 %242, label %246, label %243

243:                                              ; preds = %237
  call void @__assert_fail(ptr noundef nonnull @.str.5, ptr noundef nonnull @.str.1, i32 noundef 390, ptr noundef nonnull @__PRETTY_FUNCTION__._Z14fast_backtrackR11CNF_FormulaIxE) #12
  unreachable

244:                                              ; preds = %230
  %245 = landingpad { ptr, i32 }
          cleanup
  br label %260

246:                                              ; preds = %237
  %247 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3minIxERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8) %10, ptr noundef nonnull align 8 dereferenceable(8) %9)
  %248 = load i64, ptr %247, align 8, !tbaa !18
  %249 = sitofp i64 %248 to x86_fp80
  %250 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %225, x86_fp80 %241, x86_fp80 %249)
  %251 = fcmp ult x86_fp80 %250, %.0202358
  br i1 %251, label %259, label %252

252:                                              ; preds = %246
  %253 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3minIxERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8) %10, ptr noundef nonnull align 8 dereferenceable(8) %9)
  %254 = load i64, ptr %253, align 8, !tbaa !18
  %255 = sitofp i64 %254 to x86_fp80
  %256 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %225, x86_fp80 %241, x86_fp80 %255)
  %257 = load i32, ptr %.0204359, align 4, !tbaa !5
  %258 = fcmp ogt x86_fp80 %241, %225
  %.270 = select i1 %258, i32 -1, i32 1
  br label %259

259:                                              ; preds = %252, %246
  %.2228 = phi i32 [ %.1227356, %246 ], [ %.270, %252 ]
  %.1224 = phi i32 [ %.0223357, %246 ], [ %257, %252 ]
  %.1203 = phi x86_fp80 [ %.0202358, %246 ], [ %256, %252 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %10) #11
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #11
  %.0204 = getelementptr inbounds i8, ptr %.0204359, i64 -4
  %.not257 = icmp ult ptr %.0204, %35
  br i1 %.not257, label %.loopexit298, label %.lr.ph361, !llvm.loop !19

260:                                              ; preds = %244, %228
  %.pn = phi { ptr, i32 } [ %245, %244 ], [ %229, %228 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %10) #11
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #11
  br label %308

.loopexit298:                                     ; preds = %259, %191
  %.3229 = phi i32 [ %., %191 ], [ %.2228, %259 ]
  %.2225 = phi i32 [ %182, %191 ], [ %.1224, %259 ]
  %.not260 = icmp eq i32 %.2225, 0
  br i1 %.not260, label %.loopexit298.thread, label %261

.loopexit298.thread:                              ; preds = %200, %.loopexit298
  call void @__assert_fail(ptr noundef nonnull @.str.6, ptr noundef nonnull @.str.1, i32 noundef 413, ptr noundef nonnull @__PRETTY_FUNCTION__._Z14fast_backtrackR11CNF_FormulaIxE) #12
  unreachable

261:                                              ; preds = %.loopexit298
  %262 = mul i32 %.2225, %.3229
  %263 = sub i32 0, %262
  %264 = sext i32 %.0 to i64
  %265 = getelementptr inbounds i32, ptr %22, i64 %264
  store i32 %263, ptr %265, align 4, !tbaa !5
  %266 = invoke noundef zeroext i1 @_ZN11CNF_FormulaIxE13assignLiteralEi(ptr noundef nonnull align 8 dereferenceable(456) %0, i32 noundef %262)
          to label %267 unwind label %.loopexit.split-lp

267:                                              ; preds = %261
  br i1 %266, label %272, label %268

268:                                              ; preds = %267
  %269 = invoke noundef zeroext i1 @_ZN11CNF_FormulaIxE13assignLiteralEi(ptr noundef nonnull align 8 dereferenceable(456) %0, i32 noundef %263)
          to label %270 unwind label %.loopexit.split-lp

270:                                              ; preds = %268
  br i1 %269, label %271, label %.thread277

271:                                              ; preds = %270
  store i32 0, ptr %265, align 4, !tbaa !5
  br label %272

272:                                              ; preds = %271, %267
  %273 = getelementptr inbounds i32, ptr %16, i64 %264
  store i32 %.2225, ptr %273, align 4, !tbaa !5
  %274 = sext i32 %.2225 to i64
  %275 = getelementptr inbounds i32, ptr %29, i64 %274
  %276 = load i32, ptr %275, align 4, !tbaa !5
  %277 = icmp sgt i32 %276, -1
  br i1 %277, label %279, label %278

278:                                              ; preds = %272
  call void @__assert_fail(ptr noundef nonnull @.str.7, ptr noundef nonnull @.str.1, i32 noundef 425, ptr noundef nonnull @__PRETTY_FUNCTION__._Z14fast_backtrackR11CNF_FormulaIxE) #12
  unreachable

279:                                              ; preds = %272
  %280 = add nsw i32 %.0, 1
  %281 = add nsw i32 %.0194, 1
  %gep380 = getelementptr i32, ptr %invariant.gep, i64 %110
  %282 = load i32, ptr %gep380, align 4, !tbaa !5
  %283 = zext nneg i32 %276 to i64
  %284 = getelementptr inbounds i32, ptr %35, i64 %283
  store i32 %282, ptr %284, align 4, !tbaa !5
  %285 = sext i32 %282 to i64
  %286 = getelementptr inbounds i32, ptr %29, i64 %285
  store i32 %276, ptr %286, align 4, !tbaa !5
  %287 = add nsw i32 %.0216, -1
  br label %.thread283

.thread277:                                       ; preds = %154, %123, %102, %270, %107
  %.4230 = phi i32 [ %.3229, %270 ], [ %.0226, %107 ], [ %.0226, %102 ], [ %.0226, %123 ], [ %.0226, %154 ]
  %.4213 = phi ptr [ %.3212.lcssa, %270 ], [ %.0209, %107 ], [ %.0209, %102 ], [ %.3212350, %123 ], [ %.3212350, %154 ]
  %.not261365 = icmp eq i32 %.0, 0
  br i1 %.not261365, label %.thread288, label %.lr.ph368.preheader

.lr.ph368.preheader:                              ; preds = %.thread277
  %288 = sext i32 %.0 to i64
  %289 = sext i32 %.0216 to i64
  br label %.lr.ph368

.lr.ph368:                                        ; preds = %.lr.ph368.preheader, %300
  %indvars.iv421 = phi i64 [ %289, %.lr.ph368.preheader ], [ %indvars.iv.next422, %300 ]
  %indvars.iv419 = phi i64 [ %288, %.lr.ph368.preheader ], [ %indvars.iv.next420, %300 ]
  %indvars.iv.next420 = add nsw i64 %indvars.iv419, -1
  invoke void @_ZN11CNF_FormulaIxE15unassignLiteralEv(ptr noundef nonnull align 8 dereferenceable(456) %0)
          to label %290 unwind label %.loopexit

290:                                              ; preds = %.lr.ph368
  %291 = getelementptr inbounds i32, ptr %22, i64 %indvars.iv.next420
  %292 = load i32, ptr %291, align 4, !tbaa !5
  %.not262 = icmp eq i32 %292, 0
  br i1 %.not262, label %300, label %293

293:                                              ; preds = %290
  %294 = invoke noundef zeroext i1 @_ZN11CNF_FormulaIxE13assignLiteralEi(ptr noundef nonnull align 8 dereferenceable(456) %0, i32 noundef %292)
          to label %295 unwind label %.loopexit

295:                                              ; preds = %293
  br i1 %294, label %296, label %300

296:                                              ; preds = %295
  %297 = getelementptr inbounds i32, ptr %22, i64 %indvars.iv.next420
  %298 = trunc nsw i64 %indvars.iv421 to i32
  %299 = trunc nsw i64 %indvars.iv419 to i32
  store i32 0, ptr %297, align 4, !tbaa !5
  br label %.thread283

300:                                              ; preds = %295, %290
  %301 = getelementptr inbounds i32, ptr %16, i64 %indvars.iv.next420
  %302 = load i32, ptr %301, align 4, !tbaa !5
  %303 = sext i32 %302 to i64
  %304 = getelementptr inbounds i32, ptr %29, i64 %303
  %305 = trunc nsw i64 %indvars.iv421 to i32
  store i32 %305, ptr %304, align 4, !tbaa !5
  %indvars.iv.next422 = add nsw i64 %indvars.iv421, 1
  %306 = getelementptr inbounds i32, ptr %35, i64 %indvars.iv421
  store i32 %302, ptr %306, align 4, !tbaa !5
  %.not261 = icmp eq i64 %indvars.iv.next420, 0
  br i1 %.not261, label %.thread288, label %.lr.ph368, !llvm.loop !20

.thread283:                                       ; preds = %137, %166, %296, %279
  %.5231 = phi i32 [ %.4230, %296 ], [ %.3229, %279 ], [ %.0226, %166 ], [ %.0226, %137 ]
  %.6222 = phi i32 [ %298, %296 ], [ %287, %279 ], [ %174, %166 ], [ %144, %137 ]
  %.5214 = phi ptr [ %.4213, %296 ], [ %.3212.lcssa, %279 ], [ %.3212350, %166 ], [ %.3212350, %137 ]
  %.5201 = phi i32 [ %.0196, %296 ], [ %.0196, %279 ], [ %167, %166 ], [ %138, %137 ]
  %.1195 = phi i32 [ %.0194, %296 ], [ %281, %279 ], [ %.0194, %166 ], [ %.0194, %137 ]
  %.6 = phi i32 [ %299, %296 ], [ %280, %279 ], [ %175, %166 ], [ %145, %137 ]
  %.not265 = icmp eq i32 %.6, 0
  br i1 %.not265, label %.thread288, label %102, !llvm.loop !21

.thread288:                                       ; preds = %.thread283, %.thread277, %300
  %.1195297 = phi i32 [ %.0194, %300 ], [ %.0194, %.thread277 ], [ %.1195, %.thread283 ]
  %.5201296 = phi i32 [ %.0196, %300 ], [ %.0196, %.thread277 ], [ %.5201, %.thread283 ]
  %307 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.8, i32 noundef %.1195297, i32 noundef %.5201296)
  call void @_ZdaPv(ptr noundef nonnull %16) #13
  call void @_ZdaPv(ptr noundef nonnull %22) #13
  call void @_ZdaPv(ptr noundef nonnull %35) #13
  call void @_ZdaPv(ptr noundef nonnull %29) #13
  call void @_ZNSt6vectorISt4pairIxiESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %2) #11
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %2) #11
  ret void

308:                                              ; preds = %.loopexit, %.loopexit.split-lp, %124, %260, %90, %82
  %.pn266.pn.pn = phi { ptr, i32 } [ %.pn266.pn, %82 ], [ %91, %90 ], [ %.pn, %260 ], [ %125, %124 ], [ %lpad.loopexit, %.loopexit ], [ %lpad.loopexit.split-lp, %.loopexit.split-lp ]
  call void @_ZNSt6vectorISt4pairIxiESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %2) #11
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %2) #11
  resume { ptr, i32 } %.pn266.pn.pn
}

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZNK11CNF_FormulaIxE8getNVarsEv(ptr noundef nonnull align 8 dereferenceable(456)) local_unnamed_addr #2 align 2

; Function Attrs: nobuiltin allocsize(0)
declare noundef nonnull ptr @_Znam(i64 noundef) local_unnamed_addr #3

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

declare i32 @__gxx_personality_v0(...)

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local noundef i64 @_ZNK11CNF_FormulaIxE15getBinaryLengthEi(ptr noundef nonnull align 8 dereferenceable(456), i32 noundef) local_unnamed_addr #5 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef i64 @_ZNK11CNF_FormulaIxE13getUnitLengthEi(ptr noundef nonnull align 8 dereferenceable(456), i32 noundef) local_unnamed_addr #2 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef i64 @_ZNK11CNF_FormulaIxE9getLengthEi(ptr noundef nonnull align 8 dereferenceable(456), i32 noundef) local_unnamed_addr #2 align 2

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

; Function Attrs: mustprogress uwtable
declare dso_local { double, i32 } @_ZSt9make_pairIdRiESt4pairINSt25__strip_reference_wrapperINSt5decayIT_E4typeEE6__typeENS2_INS3_IT0_E4typeEE6__typeEEOS4_OS9_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 4 dereferenceable(4)) local_unnamed_addr #0

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

; Function Attrs: mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare double @llvm.fmuladd.f64(double, double, double) #6

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt4pairIxiEC2IdiTnNSt9enable_ifIXaaclsr6_PCCFPIT_T0_EE22_MoveConstructiblePairIS3_S4_EEclsr6_PCCFPIS3_S4_EE30_ImplicitlyMoveConvertiblePairIS3_S4_EEEbE4typeELb1EEEOS_IS3_S4_E(ptr noundef nonnull align 8 dereferenceable(12), ptr noundef nonnull align 8 dereferenceable(12)) unnamed_addr #4 align 2

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZSt4sortIN9__gnu_cxx17__normal_iteratorIPSt4pairIxiESt6vectorIS3_SaIS3_EEEEEvT_S9_(ptr, ptr) local_unnamed_addr #5

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef i64 @_ZN11CNF_FormulaIxE19bestMinusLowerBoundEv(ptr noundef nonnull align 8 dereferenceable(456)) local_unnamed_addr #0 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZN11CNF_FormulaIxE13assignLiteralEi(ptr noundef nonnull align 8 dereferenceable(456), i32 noundef) local_unnamed_addr #5 align 2

; Function Attrs: noreturn nounwind
declare void @__assert_fail(ptr noundef, ptr noundef, i32 noundef, ptr noundef) local_unnamed_addr #7

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef i64 @_ZNK11CNF_FormulaIxE7getW_lbEi(ptr noundef nonnull align 8 dereferenceable(456), i32 noundef) local_unnamed_addr #2 align 2

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

; Function Attrs: mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare x86_fp80 @llvm.fmuladd.f80(x86_fp80, x86_fp80, x86_fp80) #6

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN11CNF_FormulaIxE15unassignLiteralEv(ptr noundef nonnull align 8 dereferenceable(456)) local_unnamed_addr #0 align 2

; Function Attrs: nofree nounwind
declare noundef i32 @printf(ptr nocapture noundef readonly, ...) local_unnamed_addr #8

; Function Attrs: nobuiltin nounwind
declare void @_ZdaPv(ptr noundef) local_unnamed_addr #9

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

attributes #0 = { 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 #1 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { inlinehint 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 #3 = { nobuiltin allocsize(0) "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { 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 #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 = { mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #7 = { noreturn nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #8 = { nofree nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #9 = { nobuiltin nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #10 = { builtin allocsize(0) }
attributes #11 = { nounwind }
attributes #12 = { noreturn nounwind }
attributes #13 = { builtin 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 = !{!10, !10, i64 0}
!10 = !{!"double", !7, i64 0}
!11 = distinct !{!11, !12}
!12 = !{!"llvm.loop.mustprogress"}
!13 = !{!14, !6, i64 8}
!14 = !{!"_ZTSSt4pairIxiE", !15, i64 0, !6, i64 8}
!15 = !{!"long long", !7, i64 0}
!16 = distinct !{!16, !12}
!17 = distinct !{!17, !12}
!18 = !{!15, !15, i64 0}
!19 = distinct !{!19, !12}
!20 = distinct !{!20, !12}
!21 = distinct !{!21, !12}


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