; LLVM IR from sympiler/nasoq :: src/QP (updown_test)

; 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" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"struct.nasoq::sympiler_CSC" = type { i64, i64, i64, ptr, ptr, ptr, ptr, ptr, i32, i32, i32, i32, i32, i32 }
%"struct.nasoq::SolverSettings" = type { i32, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, i64, i64, ptr, ptr, i32, i32, i32, ptr, ptr, ptr, ptr, ptr, ptr, i32, i32, i64, i64, i32, i32, ptr, ptr, ptr, ptr, i32, i32, ptr, ptr, ptr, ptr, ptr, i32, ptr, ptr, ptr, [3 x i32], [3 x double], i32, i32, i32, i32, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, %"class.std::vector.0", %"class.std::vector", i32, i32, double, i32, i32, i32, i32, i32, double, double, %"class.std::vector.5", i32, i32, i32, i32, i32, i32, i32, ptr, %"class.std::vector", ptr, ptr, ptr, ptr, ptr, ptr, i32, double, double, double, double, double }
%"class.std::vector.0" = type { %"struct.std::_Vector_base.1" }
%"struct.std::_Vector_base.1" = type { %"struct.std::_Vector_base<std::vector<int>, std::allocator<std::vector<int>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::vector<int>, std::allocator<std::vector<int>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::vector<int>, std::allocator<std::vector<int>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::vector<int>, std::allocator<std::vector<int>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.5" = type { %"struct.std::_Vector_base.6" }
%"struct.std::_Vector_base.6" = type { %"struct.std::_Vector_base<nasoq::perturbed_value, std::allocator<nasoq::perturbed_value>>::_Vector_impl" }
%"struct.std::_Vector_base<nasoq::perturbed_value, std::allocator<nasoq::perturbed_value>>::_Vector_impl" = type { %"struct.std::_Vector_base<nasoq::perturbed_value, std::allocator<nasoq::perturbed_value>>::_Vector_impl_data" }
%"struct.std::_Vector_base<nasoq::perturbed_value, std::allocator<nasoq::perturbed_value>>::_Vector_impl_data" = type { ptr, ptr, ptr }

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

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

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN5nasoq25build_super_solve_with_eqEPNS_12sympiler_CSCEPKS0_S1_PKddRKSt6vectorIiSaIiEEPdiid(ptr noundef %0, ptr noundef %1, ptr noundef %2, ptr noundef %3, double noundef %4, ptr noundef nonnull align 8 dereferenceable(24) %5, ptr noundef %6, i32 noundef %7, i32 noundef %8, double noundef %9) #0 personality ptr @__gxx_personality_v0 {
  %11 = alloca ptr, align 8
  %12 = alloca ptr, align 8
  %13 = alloca ptr, align 8
  %14 = alloca ptr, align 8
  %15 = alloca double, align 8
  %16 = alloca ptr, align 8
  %17 = alloca ptr, align 8
  %18 = alloca i32, align 4
  %19 = alloca i32, align 4
  %20 = alloca double, align 8
  %21 = alloca ptr, align 8
  %22 = alloca ptr, align 8
  %23 = alloca ptr, align 8
  %24 = alloca ptr, align 8
  %25 = alloca %"class.std::vector", align 8
  %26 = alloca ptr, align 8
  %27 = alloca i32, align 4
  %28 = alloca i32, align 4
  %29 = alloca i32, align 4
  store ptr %0, ptr %11, align 8, !tbaa !5
  store ptr %1, ptr %12, align 8, !tbaa !5
  store ptr %2, ptr %13, align 8, !tbaa !5
  store ptr %3, ptr %14, align 8, !tbaa !5
  store double %4, ptr %15, align 8, !tbaa !9
  store ptr %5, ptr %16, align 8, !tbaa !5
  store ptr %6, ptr %17, align 8, !tbaa !5
  store i32 %7, ptr %18, align 4, !tbaa !11
  store i32 %8, ptr %19, align 4, !tbaa !11
  store double %9, ptr %20, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #7
  %30 = call noalias noundef nonnull ptr @_Znwm(i64 noundef 88) #8
  store ptr %30, ptr %24, align 8, !tbaa !5
  %31 = call noalias noundef nonnull ptr @_Znwm(i64 noundef 88) #8
  store ptr %31, ptr %21, align 8, !tbaa !5
  %32 = load ptr, ptr %16, align 8, !tbaa !5
  call void @_ZNSt6vectorIiSaIiEEC2ERKS1_(ptr noundef nonnull align 8 dereferenceable(24) %25, ptr noundef nonnull align 8 dereferenceable(24) %32)
  %33 = load ptr, ptr %12, align 8, !tbaa !5
  %34 = getelementptr inbounds %"struct.nasoq::sympiler_CSC", ptr %33, i32 0, i32 0
  %35 = load i64, ptr %34, align 8, !tbaa !13
  %36 = load ptr, ptr %12, align 8, !tbaa !5
  %37 = getelementptr inbounds %"struct.nasoq::sympiler_CSC", ptr %36, i32 0, i32 1
  %38 = load i64, ptr %37, align 8, !tbaa !16
  %39 = load ptr, ptr %12, align 8, !tbaa !5
  %40 = getelementptr inbounds %"struct.nasoq::sympiler_CSC", ptr %39, i32 0, i32 3
  %41 = load ptr, ptr %40, align 8, !tbaa !17
  %42 = load ptr, ptr %12, align 8, !tbaa !5
  %43 = getelementptr inbounds %"struct.nasoq::sympiler_CSC", ptr %42, i32 0, i32 4
  %44 = load ptr, ptr %43, align 8, !tbaa !18
  %45 = load ptr, ptr %12, align 8, !tbaa !5
  %46 = getelementptr inbounds %"struct.nasoq::sympiler_CSC", ptr %45, i32 0, i32 6
  %47 = load ptr, ptr %46, align 8, !tbaa !19
  %48 = load ptr, ptr %24, align 8, !tbaa !5
  %49 = getelementptr inbounds %"struct.nasoq::sympiler_CSC", ptr %48, i32 0, i32 0
  %50 = load ptr, ptr %24, align 8, !tbaa !5
  %51 = getelementptr inbounds %"struct.nasoq::sympiler_CSC", ptr %50, i32 0, i32 1
  %52 = load ptr, ptr %24, align 8, !tbaa !5
  %53 = getelementptr inbounds %"struct.nasoq::sympiler_CSC", ptr %52, i32 0, i32 2
  %54 = load ptr, ptr %24, align 8, !tbaa !5
  %55 = getelementptr inbounds %"struct.nasoq::sympiler_CSC", ptr %54, i32 0, i32 3
  %56 = load ptr, ptr %24, align 8, !tbaa !5
  %57 = getelementptr inbounds %"struct.nasoq::sympiler_CSC", ptr %56, i32 0, i32 4
  %58 = load ptr, ptr %24, align 8, !tbaa !5
  %59 = getelementptr inbounds %"struct.nasoq::sympiler_CSC", ptr %58, i32 0, i32 6
  invoke void @_ZN5nasoq11gather_rowsESt6vectorIiSaIiEEmmPiS3_PdRmS5_S5_RS3_S6_RS4_(ptr noundef %25, i64 noundef %35, i64 noundef %38, ptr noundef %41, ptr noundef %44, ptr noundef %47, ptr noundef nonnull align 8 dereferenceable(8) %49, ptr noundef nonnull align 8 dereferenceable(8) %51, ptr noundef nonnull align 8 dereferenceable(8) %53, ptr noundef nonnull align 8 dereferenceable(8) %55, ptr noundef nonnull align 8 dereferenceable(8) %57, ptr noundef nonnull align 8 dereferenceable(8) %59)
          to label %60 unwind label %91

60:                                               ; preds = %10
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %25) #7
  %61 = load ptr, ptr %11, align 8, !tbaa !5
  %62 = load ptr, ptr %24, align 8, !tbaa !5
  %63 = load ptr, ptr %13, align 8, !tbaa !5
  %64 = load ptr, ptr %21, align 8, !tbaa !5
  %65 = getelementptr inbounds %"struct.nasoq::sympiler_CSC", ptr %64, i32 0, i32 1
  %66 = load ptr, ptr %21, align 8, !tbaa !5
  %67 = getelementptr inbounds %"struct.nasoq::sympiler_CSC", ptr %66, i32 0, i32 2
  %68 = load ptr, ptr %21, align 8, !tbaa !5
  %69 = getelementptr inbounds %"struct.nasoq::sympiler_CSC", ptr %68, i32 0, i32 3
  %70 = load ptr, ptr %21, align 8, !tbaa !5
  %71 = getelementptr inbounds %"struct.nasoq::sympiler_CSC", ptr %70, i32 0, i32 4
  %72 = load ptr, ptr %21, align 8, !tbaa !5
  %73 = getelementptr inbounds %"struct.nasoq::sympiler_CSC", ptr %72, i32 0, i32 6
  %74 = call noundef i32 @_ZN5nasoq26build_super_matrix_with_eqEPNS_12sympiler_CSCES1_S1_dRmS2_RPiS4_RPdS6_(ptr noundef %61, ptr noundef %62, ptr noundef %63, double noundef 0.000000e+00, ptr noundef nonnull align 8 dereferenceable(8) %65, ptr noundef nonnull align 8 dereferenceable(8) %67, ptr noundef nonnull align 8 dereferenceable(8) %69, ptr noundef nonnull align 8 dereferenceable(8) %71, ptr noundef nonnull align 8 dereferenceable(8) %73, ptr noundef nonnull align 8 dereferenceable(8) %22)
  call void @llvm.lifetime.start.p0(i64 4, ptr %28) #7
  store i32 0, ptr %28, align 4, !tbaa !11
  br label %75

75:                                               ; preds = %105, %60
  %76 = load i32, ptr %28, align 4, !tbaa !11
  %77 = sext i32 %76 to i64
  %78 = load ptr, ptr %11, align 8, !tbaa !5
  %79 = getelementptr inbounds %"struct.nasoq::sympiler_CSC", ptr %78, i32 0, i32 1
  %80 = load i64, ptr %79, align 8, !tbaa !16
  %81 = load ptr, ptr %24, align 8, !tbaa !5
  %82 = getelementptr inbounds %"struct.nasoq::sympiler_CSC", ptr %81, i32 0, i32 0
  %83 = load i64, ptr %82, align 8, !tbaa !13
  %84 = add i64 %80, %83
  %85 = load ptr, ptr %13, align 8, !tbaa !5
  %86 = getelementptr inbounds %"struct.nasoq::sympiler_CSC", ptr %85, i32 0, i32 0
  %87 = load i64, ptr %86, align 8, !tbaa !13
  %88 = add i64 %84, %87
  %89 = icmp ult i64 %77, %88
  br i1 %89, label %95, label %90

90:                                               ; preds = %75
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #7
  br label %108

91:                                               ; preds = %10
  %92 = landingpad { ptr, i32 }
          cleanup
  %93 = extractvalue { ptr, i32 } %92, 0
  store ptr %93, ptr %26, align 8
  %94 = extractvalue { ptr, i32 } %92, 1
  store i32 %94, ptr %27, align 4
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %25) #7
  br label %211

95:                                               ; preds = %75
  %96 = load ptr, ptr %14, align 8, !tbaa !5
  %97 = load i32, ptr %28, align 4, !tbaa !11
  %98 = sext i32 %97 to i64
  %99 = getelementptr inbounds double, ptr %96, i64 %98
  %100 = load double, ptr %99, align 8, !tbaa !9
  %101 = load ptr, ptr %22, align 8, !tbaa !5
  %102 = load i32, ptr %28, align 4, !tbaa !11
  %103 = sext i32 %102 to i64
  %104 = getelementptr inbounds double, ptr %101, i64 %103
  store double %100, ptr %104, align 8, !tbaa !9
  br label %105

105:                                              ; preds = %95
  %106 = load i32, ptr %28, align 4, !tbaa !11
  %107 = add nsw i32 %106, 1
  store i32 %107, ptr %28, align 4, !tbaa !11
  br label %75, !llvm.loop !20

108:                                              ; preds = %90
  %109 = load ptr, ptr %21, align 8, !tbaa !5
  %110 = getelementptr inbounds %"struct.nasoq::sympiler_CSC", ptr %109, i32 0, i32 1
  %111 = load i64, ptr %110, align 8, !tbaa !16
  %112 = load ptr, ptr %21, align 8, !tbaa !5
  %113 = getelementptr inbounds %"struct.nasoq::sympiler_CSC", ptr %112, i32 0, i32 0
  store i64 %111, ptr %113, align 8, !tbaa !13
  %114 = load ptr, ptr %21, align 8, !tbaa !5
  %115 = getelementptr inbounds %"struct.nasoq::sympiler_CSC", ptr %114, i32 0, i32 8
  store i32 -1, ptr %115, align 8, !tbaa !22
  %116 = load ptr, ptr %21, align 8, !tbaa !5
  %117 = getelementptr inbounds %"struct.nasoq::sympiler_CSC", ptr %116, i32 0, i32 10
  store i32 1, ptr %117, align 8, !tbaa !23
  %118 = load ptr, ptr %21, align 8, !tbaa !5
  %119 = getelementptr inbounds %"struct.nasoq::sympiler_CSC", ptr %118, i32 0, i32 13
  store i32 1, ptr %119, align 4, !tbaa !24
  %120 = load ptr, ptr %21, align 8, !tbaa !5
  %121 = getelementptr inbounds %"struct.nasoq::sympiler_CSC", ptr %120, i32 0, i32 12
  store i32 1, ptr %121, align 8, !tbaa !25
  %122 = call noalias noundef nonnull ptr @_Znwm(i64 noundef 784) #8
  %123 = load ptr, ptr %21, align 8, !tbaa !5
  %124 = load ptr, ptr %22, align 8, !tbaa !5
  invoke void @_ZN5nasoq14SolverSettingsC1EPNS_12sympiler_CSCEPd(ptr noundef nonnull align 8 dereferenceable(784) %122, ptr noundef %123, ptr noundef %124)
          to label %125 unwind label %175

125:                                              ; preds = %108
  store ptr %122, ptr %23, align 8, !tbaa !5
  %126 = load ptr, ptr %21, align 8, !tbaa !5
  %127 = getelementptr inbounds %"struct.nasoq::sympiler_CSC", ptr %126, i32 0, i32 1
  %128 = load i64, ptr %127, align 8, !tbaa !16
  %129 = load ptr, ptr %21, align 8, !tbaa !5
  %130 = getelementptr inbounds %"struct.nasoq::sympiler_CSC", ptr %129, i32 0, i32 0
  store i64 %128, ptr %130, align 8, !tbaa !13
  %131 = load ptr, ptr %21, align 8, !tbaa !5
  %132 = getelementptr inbounds %"struct.nasoq::sympiler_CSC", ptr %131, i32 0, i32 8
  store i32 -1, ptr %132, align 8, !tbaa !22
  %133 = load ptr, ptr %21, align 8, !tbaa !5
  %134 = getelementptr inbounds %"struct.nasoq::sympiler_CSC", ptr %133, i32 0, i32 10
  store i32 1, ptr %134, align 8, !tbaa !23
  %135 = load ptr, ptr %21, align 8, !tbaa !5
  %136 = getelementptr inbounds %"struct.nasoq::sympiler_CSC", ptr %135, i32 0, i32 13
  store i32 1, ptr %136, align 4, !tbaa !24
  %137 = load ptr, ptr %21, align 8, !tbaa !5
  %138 = getelementptr inbounds %"struct.nasoq::sympiler_CSC", ptr %137, i32 0, i32 12
  store i32 1, ptr %138, align 8, !tbaa !25
  %139 = load ptr, ptr %23, align 8, !tbaa !5
  %140 = getelementptr inbounds %"struct.nasoq::SolverSettings", ptr %139, i32 0, i32 80
  store i32 0, ptr %140, align 8, !tbaa !26
  %141 = load ptr, ptr %23, align 8, !tbaa !5
  %142 = getelementptr inbounds %"struct.nasoq::SolverSettings", ptr %141, i32 0, i32 81
  store i32 4, ptr %142, align 4, !tbaa !40
  %143 = load ptr, ptr %23, align 8, !tbaa !5
  %144 = getelementptr inbounds %"struct.nasoq::SolverSettings", ptr %143, i32 0, i32 20
  store i32 1, ptr %144, align 4, !tbaa !41
  %145 = load i32, ptr %18, align 4, !tbaa !11
  %146 = load ptr, ptr %23, align 8, !tbaa !5
  %147 = getelementptr inbounds %"struct.nasoq::SolverSettings", ptr %146, i32 0, i32 74
  store i32 %145, ptr %147, align 8, !tbaa !42
  %148 = load i32, ptr %19, align 4, !tbaa !11
  %149 = load ptr, ptr %23, align 8, !tbaa !5
  %150 = getelementptr inbounds %"struct.nasoq::SolverSettings", ptr %149, i32 0, i32 72
  store i32 %148, ptr %150, align 8, !tbaa !43
  %151 = load double, ptr %15, align 8, !tbaa !9
  %152 = load ptr, ptr %23, align 8, !tbaa !5
  %153 = getelementptr inbounds %"struct.nasoq::SolverSettings", ptr %152, i32 0, i32 69
  store double %151, ptr %153, align 8, !tbaa !44
  %154 = load double, ptr %20, align 8, !tbaa !9
  %155 = load ptr, ptr %23, align 8, !tbaa !5
  %156 = getelementptr inbounds %"struct.nasoq::SolverSettings", ptr %155, i32 0, i32 75
  store double %154, ptr %156, align 8, !tbaa !45
  %157 = load ptr, ptr %23, align 8, !tbaa !5
  %158 = getelementptr inbounds %"struct.nasoq::SolverSettings", ptr %157, i32 0, i32 76
  store double %154, ptr %158, align 8, !tbaa !46
  %159 = load ptr, ptr %23, align 8, !tbaa !5
  %160 = getelementptr inbounds %"struct.nasoq::SolverSettings", ptr %159, i32 0, i32 0
  store i32 0, ptr %160, align 8, !tbaa !47
  %161 = load ptr, ptr %23, align 8, !tbaa !5
  %162 = call noundef i32 @_ZN5nasoq14SolverSettings17symbolic_analysisEv(ptr noundef nonnull align 8 dereferenceable(784) %161)
  %163 = load ptr, ptr %23, align 8, !tbaa !5
  %164 = call noundef i32 @_ZN5nasoq14SolverSettings23numerical_factorizationEv(ptr noundef nonnull align 8 dereferenceable(784) %163)
  %165 = load ptr, ptr %23, align 8, !tbaa !5
  %166 = call noundef ptr @_ZN5nasoq14SolverSettings10solve_onlyEv(ptr noundef nonnull align 8 dereferenceable(784) %165)
  call void @llvm.lifetime.start.p0(i64 4, ptr %29) #7
  store i32 0, ptr %29, align 4, !tbaa !11
  br label %167

167:                                              ; preds = %191, %125
  %168 = load i32, ptr %29, align 4, !tbaa !11
  %169 = sext i32 %168 to i64
  %170 = load ptr, ptr %21, align 8, !tbaa !5
  %171 = getelementptr inbounds %"struct.nasoq::sympiler_CSC", ptr %170, i32 0, i32 1
  %172 = load i64, ptr %171, align 8, !tbaa !16
  %173 = icmp ult i64 %169, %172
  br i1 %173, label %179, label %174

174:                                              ; preds = %167
  call void @llvm.lifetime.end.p0(i64 4, ptr %29) #7
  br label %194

175:                                              ; preds = %108
  %176 = landingpad { ptr, i32 }
          cleanup
  %177 = extractvalue { ptr, i32 } %176, 0
  store ptr %177, ptr %26, align 8
  %178 = extractvalue { ptr, i32 } %176, 1
  store i32 %178, ptr %27, align 4
  call void @_ZdlPvm(ptr noundef %122, i64 noundef 784) #9
  br label %211

179:                                              ; preds = %167
  %180 = load ptr, ptr %23, align 8, !tbaa !5
  %181 = getelementptr inbounds %"struct.nasoq::SolverSettings", ptr %180, i32 0, i32 4
  %182 = load ptr, ptr %181, align 8, !tbaa !48
  %183 = load i32, ptr %29, align 4, !tbaa !11
  %184 = sext i32 %183 to i64
  %185 = getelementptr inbounds double, ptr %182, i64 %184
  %186 = load double, ptr %185, align 8, !tbaa !9
  %187 = load ptr, ptr %17, align 8, !tbaa !5
  %188 = load i32, ptr %29, align 4, !tbaa !11
  %189 = sext i32 %188 to i64
  %190 = getelementptr inbounds double, ptr %187, i64 %189
  store double %186, ptr %190, align 8, !tbaa !9
  br label %191

191:                                              ; preds = %179
  %192 = load i32, ptr %29, align 4, !tbaa !11
  %193 = add nsw i32 %192, 1
  store i32 %193, ptr %29, align 4, !tbaa !11
  br label %167, !llvm.loop !49

194:                                              ; preds = %174
  %195 = load ptr, ptr %23, align 8, !tbaa !5
  %196 = getelementptr inbounds %"struct.nasoq::SolverSettings", ptr %195, i32 0, i32 4
  %197 = load ptr, ptr %196, align 8, !tbaa !48
  %198 = icmp eq ptr %197, null
  br i1 %198, label %200, label %199

199:                                              ; preds = %194
  call void @_ZdaPv(ptr noundef %197) #9
  br label %200

200:                                              ; preds = %199, %194
  %201 = load ptr, ptr %23, align 8, !tbaa !5
  %202 = icmp eq ptr %201, null
  br i1 %202, label %204, label %203

203:                                              ; preds = %200
  call void @_ZN5nasoq14SolverSettingsD1Ev(ptr noundef nonnull align 8 dereferenceable(784) %201) #7
  call void @_ZdlPvm(ptr noundef %201, i64 noundef 784) #9
  br label %204

204:                                              ; preds = %203, %200
  %205 = load ptr, ptr %24, align 8, !tbaa !5
  call void @_ZN5nasoq10allocateACEPNS_12sympiler_CSCEiiii(ptr noundef %205, i32 noundef 0, i32 noundef 0, i32 noundef 0, i32 noundef 0)
  %206 = load ptr, ptr %21, align 8, !tbaa !5
  call void @_ZN5nasoq10allocateACEPNS_12sympiler_CSCEiiii(ptr noundef %206, i32 noundef 0, i32 noundef 0, i32 noundef 0, i32 noundef 0)
  %207 = load ptr, ptr %22, align 8, !tbaa !5
  %208 = icmp eq ptr %207, null
  br i1 %208, label %210, label %209

209:                                              ; preds = %204
  call void @_ZdaPv(ptr noundef %207) #9
  br label %210

210:                                              ; preds = %209, %204
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #7
  ret void

211:                                              ; preds = %175, %91
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #7
  br label %212

212:                                              ; preds = %211
  %213 = load ptr, ptr %26, align 8
  %214 = load i32, ptr %27, align 4
  %215 = insertvalue { ptr, i32 } poison, ptr %213, 0
  %216 = insertvalue { ptr, i32 } %215, i32 %214, 1
  resume { ptr, i32 } %216
}

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

declare void @_ZN5nasoq11gather_rowsESt6vectorIiSaIiEEmmPiS3_PdRmS5_S5_RS3_S6_RS4_(ptr noundef, i64 noundef, i64 noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) #3

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

declare i32 @__gxx_personality_v0(...)

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

declare void @_ZN5nasoq14SolverSettingsC1EPNS_12sympiler_CSCEPd(ptr noundef nonnull align 8 dereferenceable(784), ptr noundef, ptr noundef) unnamed_addr #3

; Function Attrs: nobuiltin nounwind
declare void @_ZdlPvm(ptr noundef, i64 noundef) #5

declare noundef i32 @_ZN5nasoq14SolverSettings17symbolic_analysisEv(ptr noundef nonnull align 8 dereferenceable(784)) #3

declare noundef i32 @_ZN5nasoq14SolverSettings23numerical_factorizationEv(ptr noundef nonnull align 8 dereferenceable(784)) #3

declare noundef ptr @_ZN5nasoq14SolverSettings10solve_onlyEv(ptr noundef nonnull align 8 dereferenceable(784)) #3

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

; Function Attrs: nounwind
declare void @_ZN5nasoq14SolverSettingsD1Ev(ptr noundef nonnull align 8 dereferenceable(784)) unnamed_addr #6

declare void @_ZN5nasoq10allocateACEPNS_12sympiler_CSCEiiii(ptr noundef, i32 noundef, i32 noundef, i32 noundef, i32 noundef) #3

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 = { 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 #3 = { "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 = { 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 #6 = { 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 #7 = { nounwind }
attributes #8 = { builtin allocsize(0) }
attributes #9 = { 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 = !{!"double", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"int", !7, i64 0}
!13 = !{!14, !15, i64 0}
!14 = !{!"_ZTSN5nasoq12sympiler_CSCE", !15, i64 0, !15, i64 8, !15, i64 16, !6, i64 24, !6, i64 32, !6, i64 40, !6, i64 48, !6, i64 56, !12, i64 64, !12, i64 68, !12, i64 72, !12, i64 76, !12, i64 80, !12, i64 84}
!15 = !{!"long", !7, i64 0}
!16 = !{!14, !15, i64 8}
!17 = !{!14, !6, i64 24}
!18 = !{!14, !6, i64 32}
!19 = !{!14, !6, i64 48}
!20 = distinct !{!20, !21}
!21 = !{!"llvm.loop.mustprogress"}
!22 = !{!14, !12, i64 64}
!23 = !{!14, !12, i64 72}
!24 = !{!14, !12, i64 84}
!25 = !{!14, !12, i64 80}
!26 = !{!27, !12, i64 632}
!27 = !{!"_ZTSN5nasoq14SolverSettingsE", !12, i64 0, !6, i64 8, !6, i64 16, !6, i64 24, !6, i64 32, !6, i64 40, !6, i64 48, !6, i64 56, !6, i64 64, !6, i64 72, !6, i64 80, !6, i64 88, !6, i64 96, !6, i64 104, !6, i64 112, !15, i64 120, !15, i64 128, !6, i64 136, !6, i64 144, !12, i64 152, !12, i64 156, !12, i64 160, !6, i64 168, !6, i64 176, !6, i64 184, !6, i64 192, !6, i64 200, !6, i64 208, !12, i64 216, !12, i64 220, !15, i64 224, !15, i64 232, !12, i64 240, !12, i64 244, !6, i64 248, !6, i64 256, !6, i64 264, !6, i64 272, !12, i64 280, !12, i64 284, !6, i64 288, !6, i64 296, !6, i64 304, !6, i64 312, !6, i64 320, !12, i64 328, !6, i64 336, !6, i64 344, !6, i64 352, !7, i64 360, !7, i64 376, !12, i64 400, !12, i64 404, !12, i64 408, !12, i64 412, !6, i64 416, !6, i64 424, !6, i64 432, !6, i64 440, !6, i64 448, !6, i64 456, !6, i64 464, !6, i64 472, !6, i64 480, !6, i64 488, !28, i64 496, !32, i64 520, !12, i64 544, !12, i64 548, !10, i64 552, !12, i64 560, !12, i64 564, !12, i64 568, !12, i64 572, !12, i64 576, !10, i64 584, !10, i64 592, !36, i64 600, !12, i64 624, !12, i64 628, !12, i64 632, !12, i64 636, !12, i64 640, !12, i64 644, !12, i64 648, !6, i64 656, !32, i64 664, !6, i64 688, !6, i64 696, !6, i64 704, !6, i64 712, !6, i64 720, !6, i64 728, !12, i64 736, !10, i64 744, !10, i64 752, !10, i64 760, !10, i64 768, !10, i64 776}
!28 = !{!"_ZTSSt6vectorIS_IiSaIiEESaIS1_EE", !29, i64 0}
!29 = !{!"_ZTSSt12_Vector_baseISt6vectorIiSaIiEESaIS2_EE", !30, i64 0}
!30 = !{!"_ZTSNSt12_Vector_baseISt6vectorIiSaIiEESaIS2_EE12_Vector_implE", !31, i64 0}
!31 = !{!"_ZTSNSt12_Vector_baseISt6vectorIiSaIiEESaIS2_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!32 = !{!"_ZTSSt6vectorIiSaIiEE", !33, i64 0}
!33 = !{!"_ZTSSt12_Vector_baseIiSaIiEE", !34, i64 0}
!34 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE12_Vector_implE", !35, i64 0}
!35 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!36 = !{!"_ZTSSt6vectorIN5nasoq15perturbed_valueESaIS1_EE", !37, i64 0}
!37 = !{!"_ZTSSt12_Vector_baseIN5nasoq15perturbed_valueESaIS1_EE", !38, i64 0}
!38 = !{!"_ZTSNSt12_Vector_baseIN5nasoq15perturbed_valueESaIS1_EE12_Vector_implE", !39, i64 0}
!39 = !{!"_ZTSNSt12_Vector_baseIN5nasoq15perturbed_valueESaIS1_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!40 = !{!27, !12, i64 636}
!41 = !{!27, !12, i64 156}
!42 = !{!27, !12, i64 576}
!43 = !{!27, !12, i64 568}
!44 = !{!27, !10, i64 552}
!45 = !{!27, !10, i64 584}
!46 = !{!27, !10, i64 592}
!47 = !{!27, !12, i64 0}
!48 = !{!27, !6, i64 32}
!49 = distinct !{!49, !21}


; 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" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" = type { ptr, ptr, ptr }

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

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

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN5nasoq25build_super_solve_with_eqEPNS_12sympiler_CSCEPKS0_S1_PKddRKSt6vectorIiSaIiEEPdiid(ptr noundef %0, ptr nocapture noundef readonly %1, ptr noundef %2, ptr nocapture noundef readonly %3, double noundef %4, ptr noundef nonnull align 8 dereferenceable(24) %5, ptr nocapture noundef writeonly %6, i32 noundef %7, i32 noundef %8, double noundef %9) local_unnamed_addr #0 personality ptr @__gxx_personality_v0 {
  %11 = ptrtoint ptr %6 to i64
  %12 = ptrtoint ptr %3 to i64
  %13 = alloca ptr, align 8
  %14 = alloca %"class.std::vector", align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %13) #7
  %15 = tail call noalias noundef nonnull dereferenceable(88) ptr @_Znwm(i64 noundef 88) #8
  %16 = tail call noalias noundef nonnull dereferenceable(88) ptr @_Znwm(i64 noundef 88) #8
  call void @_ZNSt6vectorIiSaIiEEC2ERKS1_(ptr noundef nonnull align 8 dereferenceable(24) %14, ptr noundef nonnull align 8 dereferenceable(24) %5)
  %17 = load i64, ptr %1, align 8, !tbaa !5
  %18 = getelementptr inbounds i8, ptr %1, i64 8
  %19 = load i64, ptr %18, align 8, !tbaa !12
  %20 = getelementptr inbounds i8, ptr %1, i64 24
  %21 = load ptr, ptr %20, align 8, !tbaa !13
  %22 = getelementptr inbounds i8, ptr %1, i64 32
  %23 = load ptr, ptr %22, align 8, !tbaa !14
  %24 = getelementptr inbounds i8, ptr %1, i64 48
  %25 = load ptr, ptr %24, align 8, !tbaa !15
  %26 = getelementptr inbounds i8, ptr %15, i64 8
  %27 = getelementptr inbounds i8, ptr %15, i64 16
  %28 = getelementptr inbounds i8, ptr %15, i64 24
  %29 = getelementptr inbounds i8, ptr %15, i64 32
  %30 = getelementptr inbounds i8, ptr %15, i64 48
  invoke void @_ZN5nasoq11gather_rowsESt6vectorIiSaIiEEmmPiS3_PdRmS5_S5_RS3_S6_RS4_(ptr noundef nonnull %14, i64 noundef %17, i64 noundef %19, ptr noundef %21, ptr noundef %23, ptr noundef %25, ptr noundef nonnull align 8 dereferenceable(8) %15, ptr noundef nonnull align 8 dereferenceable(8) %26, ptr noundef nonnull align 8 dereferenceable(8) %27, ptr noundef nonnull align 8 dereferenceable(8) %28, ptr noundef nonnull align 8 dereferenceable(8) %29, ptr noundef nonnull align 8 dereferenceable(8) %30)
          to label %31 unwind label %56

31:                                               ; preds = %10
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %14) #7
  %32 = getelementptr inbounds i8, ptr %16, i64 8
  %33 = getelementptr inbounds i8, ptr %16, i64 16
  %34 = getelementptr inbounds i8, ptr %16, i64 24
  %35 = getelementptr inbounds i8, ptr %16, i64 32
  %36 = getelementptr inbounds i8, ptr %16, i64 48
  %37 = call noundef i32 @_ZN5nasoq26build_super_matrix_with_eqEPNS_12sympiler_CSCES1_S1_dRmS2_RPiS4_RPdS6_(ptr noundef %0, ptr noundef nonnull %15, ptr noundef %2, double noundef 0.000000e+00, ptr noundef nonnull align 8 dereferenceable(8) %32, ptr noundef nonnull align 8 dereferenceable(8) %33, ptr noundef nonnull align 8 dereferenceable(8) %34, ptr noundef nonnull align 8 dereferenceable(8) %35, ptr noundef nonnull align 8 dereferenceable(8) %36, ptr noundef nonnull align 8 dereferenceable(8) %13)
  %38 = getelementptr inbounds i8, ptr %0, i64 8
  %39 = load i64, ptr %38, align 8, !tbaa !12
  %40 = load i64, ptr %15, align 8, !tbaa !5
  %41 = add i64 %40, %39
  %42 = load i64, ptr %2, align 8, !tbaa !5
  %43 = add i64 %41, %42
  %.not = icmp eq i64 %43, 0
  %.pre = load ptr, ptr %13, align 8, !tbaa !16
  br i1 %.not, label %._crit_edge, label %.lr.ph.preheader

.lr.ph.preheader:                                 ; preds = %31
  %.pre89 = ptrtoint ptr %.pre to i64
  %min.iters.check = icmp ult i64 %43, 6
  %44 = sub i64 %.pre89, %12
  %diff.check = icmp ult i64 %44, 32
  %or.cond = select i1 %min.iters.check, i1 true, i1 %diff.check
  br i1 %or.cond, label %.lr.ph.preheader109, label %vector.ph

.lr.ph.preheader109:                              ; preds = %middle.block, %.lr.ph.preheader
  %indvars.iv.ph = phi i64 [ 0, %.lr.ph.preheader ], [ %n.vec, %middle.block ]
  br label %.lr.ph

vector.ph:                                        ; preds = %.lr.ph.preheader
  %n.vec = and i64 %43, -4
  br label %vector.body

vector.body:                                      ; preds = %vector.body, %vector.ph
  %index = phi i64 [ 0, %vector.ph ], [ %index.next, %vector.body ]
  %45 = getelementptr inbounds double, ptr %3, i64 %index
  %46 = getelementptr inbounds i8, ptr %45, i64 16
  %wide.load = load <2 x double>, ptr %45, align 8, !tbaa !17
  %wide.load90 = load <2 x double>, ptr %46, align 8, !tbaa !17
  %47 = getelementptr inbounds double, ptr %.pre, i64 %index
  %48 = getelementptr inbounds i8, ptr %47, i64 16
  store <2 x double> %wide.load, ptr %47, align 8, !tbaa !17
  store <2 x double> %wide.load90, ptr %48, align 8, !tbaa !17
  %index.next = add nuw i64 %index, 4
  %49 = icmp eq i64 %index.next, %n.vec
  br i1 %49, label %middle.block, label %vector.body, !llvm.loop !19

middle.block:                                     ; preds = %vector.body
  %cmp.n = icmp eq i64 %43, %n.vec
  br i1 %cmp.n, label %._crit_edge, label %.lr.ph.preheader109

._crit_edge:                                      ; preds = %.lr.ph, %middle.block, %31
  %50 = load i64, ptr %32, align 8, !tbaa !12
  store i64 %50, ptr %16, align 8, !tbaa !5
  %51 = getelementptr inbounds i8, ptr %16, i64 64
  store i32 -1, ptr %51, align 8, !tbaa !23
  %52 = getelementptr inbounds i8, ptr %16, i64 72
  store i32 1, ptr %52, align 8, !tbaa !24
  %53 = getelementptr inbounds i8, ptr %16, i64 84
  store i32 1, ptr %53, align 4, !tbaa !25
  %54 = getelementptr inbounds i8, ptr %16, i64 80
  store i32 1, ptr %54, align 8, !tbaa !26
  %55 = call noalias noundef nonnull dereferenceable(784) ptr @_Znwm(i64 noundef 784) #8
  invoke void @_ZN5nasoq14SolverSettingsC1EPNS_12sympiler_CSCEPd(ptr noundef nonnull align 8 dereferenceable(784) %55, ptr noundef nonnull %16, ptr noundef %.pre)
          to label %61 unwind label %87

56:                                               ; preds = %10
  %57 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %14) #7
  br label %106

.lr.ph:                                           ; preds = %.lr.ph.preheader109, %.lr.ph
  %indvars.iv = phi i64 [ %indvars.iv.next, %.lr.ph ], [ %indvars.iv.ph, %.lr.ph.preheader109 ]
  %58 = getelementptr inbounds double, ptr %3, i64 %indvars.iv
  %59 = load double, ptr %58, align 8, !tbaa !17
  %60 = getelementptr inbounds double, ptr %.pre, i64 %indvars.iv
  store double %59, ptr %60, align 8, !tbaa !17
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next, %43
  br i1 %exitcond.not, label %._crit_edge, label %.lr.ph, !llvm.loop !27

61:                                               ; preds = %._crit_edge
  %62 = load i64, ptr %32, align 8, !tbaa !12
  store i64 %62, ptr %16, align 8, !tbaa !5
  store i32 -1, ptr %51, align 8, !tbaa !23
  store i32 1, ptr %52, align 8, !tbaa !24
  store i32 1, ptr %53, align 4, !tbaa !25
  store i32 1, ptr %54, align 8, !tbaa !26
  %63 = getelementptr inbounds i8, ptr %55, i64 632
  store i32 0, ptr %63, align 8, !tbaa !28
  %64 = getelementptr inbounds i8, ptr %55, i64 636
  store i32 4, ptr %64, align 4, !tbaa !42
  %65 = getelementptr inbounds i8, ptr %55, i64 156
  store i32 1, ptr %65, align 4, !tbaa !43
  %66 = getelementptr inbounds i8, ptr %55, i64 576
  store i32 %7, ptr %66, align 8, !tbaa !44
  %67 = getelementptr inbounds i8, ptr %55, i64 568
  store i32 %8, ptr %67, align 8, !tbaa !45
  %68 = getelementptr inbounds i8, ptr %55, i64 552
  store double %4, ptr %68, align 8, !tbaa !46
  %69 = getelementptr inbounds i8, ptr %55, i64 584
  store double %9, ptr %69, align 8, !tbaa !47
  %70 = getelementptr inbounds i8, ptr %55, i64 592
  store double %9, ptr %70, align 8, !tbaa !48
  store i32 0, ptr %55, align 8, !tbaa !49
  %71 = call noundef i32 @_ZN5nasoq14SolverSettings17symbolic_analysisEv(ptr noundef nonnull align 8 dereferenceable(784) %55)
  %72 = call noundef i32 @_ZN5nasoq14SolverSettings23numerical_factorizationEv(ptr noundef nonnull align 8 dereferenceable(784) %55)
  %73 = call noundef ptr @_ZN5nasoq14SolverSettings10solve_onlyEv(ptr noundef nonnull align 8 dereferenceable(784) %55)
  %74 = load i64, ptr %32, align 8, !tbaa !12
  %.not82 = icmp eq i64 %74, 0
  %.phi.trans.insert = getelementptr inbounds i8, ptr %55, i64 32
  %.pre88 = load ptr, ptr %.phi.trans.insert, align 8, !tbaa !50
  br i1 %.not82, label %._crit_edge81, label %.lr.ph80.preheader

.lr.ph80.preheader:                               ; preds = %61
  %.pre8892 = ptrtoint ptr %.pre88 to i64
  %min.iters.check96 = icmp ult i64 %74, 6
  %75 = sub i64 %11, %.pre8892
  %diff.check93 = icmp ult i64 %75, 32
  %or.cond107 = select i1 %min.iters.check96, i1 true, i1 %diff.check93
  br i1 %or.cond107, label %.lr.ph80.preheader108, label %vector.ph97

.lr.ph80.preheader108:                            ; preds = %middle.block94, %.lr.ph80.preheader
  %indvars.iv84.ph = phi i64 [ 0, %.lr.ph80.preheader ], [ %n.vec99, %middle.block94 ]
  %xtraiter = and i64 %74, 3
  %lcmp.mod.not = icmp eq i64 %xtraiter, 0
  br i1 %lcmp.mod.not, label %.lr.ph80.prol.loopexit, label %.lr.ph80.prol

.lr.ph80.prol:                                    ; preds = %.lr.ph80.preheader108, %.lr.ph80.prol
  %indvars.iv84.prol = phi i64 [ %indvars.iv.next85.prol, %.lr.ph80.prol ], [ %indvars.iv84.ph, %.lr.ph80.preheader108 ]
  %prol.iter = phi i64 [ %prol.iter.next, %.lr.ph80.prol ], [ 0, %.lr.ph80.preheader108 ]
  %76 = getelementptr inbounds double, ptr %.pre88, i64 %indvars.iv84.prol
  %77 = load double, ptr %76, align 8, !tbaa !17
  %78 = getelementptr inbounds double, ptr %6, i64 %indvars.iv84.prol
  store double %77, ptr %78, align 8, !tbaa !17
  %indvars.iv.next85.prol = add nuw nsw i64 %indvars.iv84.prol, 1
  %prol.iter.next = add i64 %prol.iter, 1
  %prol.iter.cmp.not = icmp eq i64 %prol.iter.next, %xtraiter
  br i1 %prol.iter.cmp.not, label %.lr.ph80.prol.loopexit, label %.lr.ph80.prol, !llvm.loop !51

.lr.ph80.prol.loopexit:                           ; preds = %.lr.ph80.prol, %.lr.ph80.preheader108
  %indvars.iv84.unr = phi i64 [ %indvars.iv84.ph, %.lr.ph80.preheader108 ], [ %indvars.iv.next85.prol, %.lr.ph80.prol ]
  %79 = sub i64 %indvars.iv84.ph, %74
  %80 = icmp ugt i64 %79, -4
  br i1 %80, label %._crit_edge81.thread, label %.lr.ph80

vector.ph97:                                      ; preds = %.lr.ph80.preheader
  %n.vec99 = and i64 %74, -4
  br label %vector.body101

vector.body101:                                   ; preds = %vector.body101, %vector.ph97
  %index102 = phi i64 [ 0, %vector.ph97 ], [ %index.next105, %vector.body101 ]
  %81 = getelementptr inbounds double, ptr %.pre88, i64 %index102
  %82 = getelementptr inbounds i8, ptr %81, i64 16
  %wide.load103 = load <2 x double>, ptr %81, align 8, !tbaa !17
  %wide.load104 = load <2 x double>, ptr %82, align 8, !tbaa !17
  %83 = getelementptr inbounds double, ptr %6, i64 %index102
  %84 = getelementptr inbounds i8, ptr %83, i64 16
  store <2 x double> %wide.load103, ptr %83, align 8, !tbaa !17
  store <2 x double> %wide.load104, ptr %84, align 8, !tbaa !17
  %index.next105 = add nuw i64 %index102, 4
  %85 = icmp eq i64 %index.next105, %n.vec99
  br i1 %85, label %middle.block94, label %vector.body101, !llvm.loop !53

middle.block94:                                   ; preds = %vector.body101
  %cmp.n106 = icmp eq i64 %74, %n.vec99
  br i1 %cmp.n106, label %._crit_edge81.thread, label %.lr.ph80.preheader108

._crit_edge81:                                    ; preds = %61
  %86 = icmp eq ptr %.pre88, null
  br i1 %86, label %101, label %._crit_edge81.thread

87:                                               ; preds = %._crit_edge
  %88 = landingpad { ptr, i32 }
          cleanup
  call void @_ZdlPvm(ptr noundef nonnull %55, i64 noundef 784) #9
  br label %106

.lr.ph80:                                         ; preds = %.lr.ph80.prol.loopexit, %.lr.ph80
  %indvars.iv84 = phi i64 [ %indvars.iv.next85.3, %.lr.ph80 ], [ %indvars.iv84.unr, %.lr.ph80.prol.loopexit ]
  %89 = getelementptr inbounds double, ptr %.pre88, i64 %indvars.iv84
  %90 = load double, ptr %89, align 8, !tbaa !17
  %91 = getelementptr inbounds double, ptr %6, i64 %indvars.iv84
  store double %90, ptr %91, align 8, !tbaa !17
  %indvars.iv.next85 = add nuw nsw i64 %indvars.iv84, 1
  %92 = getelementptr inbounds double, ptr %.pre88, i64 %indvars.iv.next85
  %93 = load double, ptr %92, align 8, !tbaa !17
  %94 = getelementptr inbounds double, ptr %6, i64 %indvars.iv.next85
  store double %93, ptr %94, align 8, !tbaa !17
  %indvars.iv.next85.1 = add nuw nsw i64 %indvars.iv84, 2
  %95 = getelementptr inbounds double, ptr %.pre88, i64 %indvars.iv.next85.1
  %96 = load double, ptr %95, align 8, !tbaa !17
  %97 = getelementptr inbounds double, ptr %6, i64 %indvars.iv.next85.1
  store double %96, ptr %97, align 8, !tbaa !17
  %indvars.iv.next85.2 = add nuw nsw i64 %indvars.iv84, 3
  %98 = getelementptr inbounds double, ptr %.pre88, i64 %indvars.iv.next85.2
  %99 = load double, ptr %98, align 8, !tbaa !17
  %100 = getelementptr inbounds double, ptr %6, i64 %indvars.iv.next85.2
  store double %99, ptr %100, align 8, !tbaa !17
  %indvars.iv.next85.3 = add nuw nsw i64 %indvars.iv84, 4
  %exitcond87.not.3 = icmp eq i64 %indvars.iv.next85.3, %74
  br i1 %exitcond87.not.3, label %._crit_edge81.thread, label %.lr.ph80, !llvm.loop !54

._crit_edge81.thread:                             ; preds = %.lr.ph80.prol.loopexit, %.lr.ph80, %middle.block94, %._crit_edge81
  call void @_ZdaPv(ptr noundef nonnull %.pre88) #9
  br label %101

101:                                              ; preds = %._crit_edge81, %._crit_edge81.thread
  call void @_ZN5nasoq14SolverSettingsD1Ev(ptr noundef nonnull align 8 dereferenceable(784) %55) #7
  call void @_ZdlPvm(ptr noundef nonnull %55, i64 noundef 784) #9
  call void @_ZN5nasoq10allocateACEPNS_12sympiler_CSCEiiii(ptr noundef nonnull %15, i32 noundef 0, i32 noundef 0, i32 noundef 0, i32 noundef 0)
  call void @_ZN5nasoq10allocateACEPNS_12sympiler_CSCEiiii(ptr noundef nonnull %16, i32 noundef 0, i32 noundef 0, i32 noundef 0, i32 noundef 0)
  %102 = load ptr, ptr %13, align 8, !tbaa !16
  %103 = icmp eq ptr %102, null
  br i1 %103, label %105, label %104

104:                                              ; preds = %101
  call void @_ZdaPv(ptr noundef nonnull %102) #9
  br label %105

105:                                              ; preds = %104, %101
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %13) #7
  ret void

106:                                              ; preds = %87, %56
  %.pn = phi { ptr, i32 } [ %88, %87 ], [ %57, %56 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %13) #7
  resume { ptr, i32 } %.pn
}

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

declare void @_ZN5nasoq11gather_rowsESt6vectorIiSaIiEEmmPiS3_PdRmS5_S5_RS3_S6_RS4_(ptr noundef, i64 noundef, i64 noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #3

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

declare i32 @__gxx_personality_v0(...)

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

declare void @_ZN5nasoq14SolverSettingsC1EPNS_12sympiler_CSCEPd(ptr noundef nonnull align 8 dereferenceable(784), ptr noundef, ptr noundef) unnamed_addr #3

; Function Attrs: nobuiltin nounwind
declare void @_ZdlPvm(ptr noundef, i64 noundef) local_unnamed_addr #5

declare noundef i32 @_ZN5nasoq14SolverSettings17symbolic_analysisEv(ptr noundef nonnull align 8 dereferenceable(784)) local_unnamed_addr #3

declare noundef i32 @_ZN5nasoq14SolverSettings23numerical_factorizationEv(ptr noundef nonnull align 8 dereferenceable(784)) local_unnamed_addr #3

declare noundef ptr @_ZN5nasoq14SolverSettings10solve_onlyEv(ptr noundef nonnull align 8 dereferenceable(784)) local_unnamed_addr #3

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

; Function Attrs: nounwind
declare void @_ZN5nasoq14SolverSettingsD1Ev(ptr noundef nonnull align 8 dereferenceable(784)) unnamed_addr #6

declare void @_ZN5nasoq10allocateACEPNS_12sympiler_CSCEiiii(ptr noundef, i32 noundef, i32 noundef, i32 noundef, i32 noundef) local_unnamed_addr #3

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 = { 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 #3 = { "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 = { 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 #6 = { 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 #7 = { nounwind }
attributes #8 = { builtin allocsize(0) }
attributes #9 = { 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, !7, i64 0}
!6 = !{!"_ZTSN5nasoq12sympiler_CSCE", !7, i64 0, !7, i64 8, !7, i64 16, !10, i64 24, !10, i64 32, !10, i64 40, !10, i64 48, !10, i64 56, !11, i64 64, !11, i64 68, !11, i64 72, !11, i64 76, !11, i64 80, !11, i64 84}
!7 = !{!"long", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C++ TBAA"}
!10 = !{!"any pointer", !8, i64 0}
!11 = !{!"int", !8, i64 0}
!12 = !{!6, !7, i64 8}
!13 = !{!6, !10, i64 24}
!14 = !{!6, !10, i64 32}
!15 = !{!6, !10, i64 48}
!16 = !{!10, !10, i64 0}
!17 = !{!18, !18, i64 0}
!18 = !{!"double", !8, i64 0}
!19 = distinct !{!19, !20, !21, !22}
!20 = !{!"llvm.loop.mustprogress"}
!21 = !{!"llvm.loop.isvectorized", i32 1}
!22 = !{!"llvm.loop.unroll.runtime.disable"}
!23 = !{!6, !11, i64 64}
!24 = !{!6, !11, i64 72}
!25 = !{!6, !11, i64 84}
!26 = !{!6, !11, i64 80}
!27 = distinct !{!27, !20, !21}
!28 = !{!29, !11, i64 632}
!29 = !{!"_ZTSN5nasoq14SolverSettingsE", !11, i64 0, !10, i64 8, !10, i64 16, !10, i64 24, !10, i64 32, !10, i64 40, !10, i64 48, !10, i64 56, !10, i64 64, !10, i64 72, !10, i64 80, !10, i64 88, !10, i64 96, !10, i64 104, !10, i64 112, !7, i64 120, !7, i64 128, !10, i64 136, !10, i64 144, !11, i64 152, !11, i64 156, !11, i64 160, !10, i64 168, !10, i64 176, !10, i64 184, !10, i64 192, !10, i64 200, !10, i64 208, !11, i64 216, !11, i64 220, !7, i64 224, !7, i64 232, !11, i64 240, !11, i64 244, !10, i64 248, !10, i64 256, !10, i64 264, !10, i64 272, !11, i64 280, !11, i64 284, !10, i64 288, !10, i64 296, !10, i64 304, !10, i64 312, !10, i64 320, !11, i64 328, !10, i64 336, !10, i64 344, !10, i64 352, !8, i64 360, !8, i64 376, !11, i64 400, !11, i64 404, !11, i64 408, !11, i64 412, !10, i64 416, !10, i64 424, !10, i64 432, !10, i64 440, !10, i64 448, !10, i64 456, !10, i64 464, !10, i64 472, !10, i64 480, !10, i64 488, !30, i64 496, !34, i64 520, !11, i64 544, !11, i64 548, !18, i64 552, !11, i64 560, !11, i64 564, !11, i64 568, !11, i64 572, !11, i64 576, !18, i64 584, !18, i64 592, !38, i64 600, !11, i64 624, !11, i64 628, !11, i64 632, !11, i64 636, !11, i64 640, !11, i64 644, !11, i64 648, !10, i64 656, !34, i64 664, !10, i64 688, !10, i64 696, !10, i64 704, !10, i64 712, !10, i64 720, !10, i64 728, !11, i64 736, !18, i64 744, !18, i64 752, !18, i64 760, !18, i64 768, !18, i64 776}
!30 = !{!"_ZTSSt6vectorIS_IiSaIiEESaIS1_EE", !31, i64 0}
!31 = !{!"_ZTSSt12_Vector_baseISt6vectorIiSaIiEESaIS2_EE", !32, i64 0}
!32 = !{!"_ZTSNSt12_Vector_baseISt6vectorIiSaIiEESaIS2_EE12_Vector_implE", !33, i64 0}
!33 = !{!"_ZTSNSt12_Vector_baseISt6vectorIiSaIiEESaIS2_EE17_Vector_impl_dataE", !10, i64 0, !10, i64 8, !10, i64 16}
!34 = !{!"_ZTSSt6vectorIiSaIiEE", !35, i64 0}
!35 = !{!"_ZTSSt12_Vector_baseIiSaIiEE", !36, i64 0}
!36 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE12_Vector_implE", !37, i64 0}
!37 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE17_Vector_impl_dataE", !10, i64 0, !10, i64 8, !10, i64 16}
!38 = !{!"_ZTSSt6vectorIN5nasoq15perturbed_valueESaIS1_EE", !39, i64 0}
!39 = !{!"_ZTSSt12_Vector_baseIN5nasoq15perturbed_valueESaIS1_EE", !40, i64 0}
!40 = !{!"_ZTSNSt12_Vector_baseIN5nasoq15perturbed_valueESaIS1_EE12_Vector_implE", !41, i64 0}
!41 = !{!"_ZTSNSt12_Vector_baseIN5nasoq15perturbed_valueESaIS1_EE17_Vector_impl_dataE", !10, i64 0, !10, i64 8, !10, i64 16}
!42 = !{!29, !11, i64 636}
!43 = !{!29, !11, i64 156}
!44 = !{!29, !11, i64 576}
!45 = !{!29, !11, i64 568}
!46 = !{!29, !18, i64 552}
!47 = !{!29, !18, i64 584}
!48 = !{!29, !18, i64 592}
!49 = !{!29, !11, i64 0}
!50 = !{!29, !10, i64 32}
!51 = distinct !{!51, !52}
!52 = !{!"llvm.loop.unroll.disable"}
!53 = distinct !{!53, !20, !21, !22}
!54 = distinct !{!54, !20, !21}


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