; LLVM IR from Tencent-RoboticsX/jbdl :: src/jbdl/experimental/qpoases/src (SQProblemSchur)

; 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.qpOASES::QProblemB" = type { ptr, i32, ptr, ptr, ptr, ptr, %"class.qpOASES::Bounds", ptr, i32, ptr, ptr, double, i32, i32, i32, i32, double, i32, ptr, double, double, i32, [4 x i8], %"class.qpOASES::Options", %"class.qpOASES::Flipper", %"struct.qpOASES::TabularOutput" }
%"class.qpOASES::Bounds" = type { %"class.qpOASES::SubjectTo", %"class.qpOASES::Indexlist", %"class.qpOASES::Indexlist" }
%"class.qpOASES::SubjectTo" = type { ptr, i32, ptr, ptr, i32, i32 }
%"class.qpOASES::Indexlist" = type <{ ptr, ptr, i32, i32, i32, i32, i32, [4 x i8] }>
%"class.qpOASES::Options" = type <{ i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, double, double, double, double, double, double, double, double, double, double, double, i32, [4 x i8], double, i32, [4 x i8], double, i32, [4 x i8], double, double, double, double, i32, i32, i32, i32, i32, [4 x i8] }>
%"class.qpOASES::Flipper" = type { i32, i32, %"class.qpOASES::Bounds", %"class.qpOASES::Constraints", ptr, ptr, ptr }
%"class.qpOASES::Constraints" = type { %"class.qpOASES::SubjectTo", %"class.qpOASES::Indexlist", %"class.qpOASES::Indexlist" }
%"struct.qpOASES::TabularOutput" = type { i32, i32, i32, i32, i32, i32, i32, i32 }
%"class.qpOASES::QProblem" = type { %"class.qpOASES::QProblemB", i32, ptr, ptr, ptr, %"class.qpOASES::Constraints", ptr, ptr, i32, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr }

@.str = external hidden unnamed_addr constant [28 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [109 x i8], align 1

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

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

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

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

declare noundef ptr @_ZN7qpOASES23getGlobalMessageHandlerEv() #3

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local noundef i32 @_ZNK7qpOASES9QProblemB5getNVEv(ptr noundef nonnull align 8 dereferenceable(800)) #5 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local noundef i32 @_ZNK7qpOASES8QProblem5getNCEv(ptr noundef nonnull align 8 dereferenceable(1064)) #5 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local noundef i32 @_ZNK7qpOASES8QProblem6getNACEv(ptr noundef nonnull align 8 dereferenceable(1064)) #5 align 2

declare noundef i32 @_ZNK7qpOASES9Indexlist14getNumberArrayEPPi(ptr noundef nonnull align 8 dereferenceable(36), ptr noundef) #3

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local noundef i32 @_ZNK7qpOASES9QProblemB6getNFXEv(ptr noundef nonnull align 8 dereferenceable(800)) #5 align 2

; Function Attrs: mustprogress uwtable
define dso_local noundef i32 @_ZN7qpOASES14SQProblemSchur26addConstraint_checkLISchurEiPdS1_(ptr noundef nonnull align 8 dereferenceable(1256) %0, i32 noundef %1, ptr noundef %2, ptr noundef %3) #6 align 2 {
  %5 = alloca ptr, align 8
  %6 = alloca i32, align 4
  %7 = alloca ptr, align 8
  %8 = alloca ptr, align 8
  %9 = alloca i32, align 4
  %10 = alloca i32, align 4
  %11 = alloca i32, align 4
  %12 = alloca i32, align 4
  %13 = alloca i32, align 4
  %14 = alloca i32, align 4
  %15 = alloca i32, align 4
  %16 = alloca ptr, align 8
  %17 = alloca ptr, align 8
  %18 = alloca ptr, align 8
  %19 = alloca ptr, align 8
  %20 = alloca ptr, align 8
  %21 = alloca ptr, align 8
  %22 = alloca ptr, align 8
  %23 = alloca ptr, align 8
  %24 = alloca ptr, align 8
  %25 = alloca i32, align 4
  %26 = alloca ptr, align 8
  %27 = alloca i32, align 4
  %28 = alloca double, align 8
  %29 = alloca double, align 8
  %30 = alloca double, align 8
  %31 = alloca double, align 8
  %32 = alloca double, align 8
  %33 = alloca double, align 8
  store ptr %0, ptr %5, align 8, !tbaa !5
  store i32 %1, ptr %6, align 4, !tbaa !9
  store ptr %2, ptr %7, align 8, !tbaa !5
  store ptr %3, ptr %8, align 8, !tbaa !5
  %34 = load ptr, ptr %5, align 8
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #8
  store i32 88, ptr %9, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #8
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #8
  %35 = call noundef i32 @_ZNK7qpOASES9QProblemB5getNVEv(ptr noundef nonnull align 8 dereferenceable(800) %34)
  store i32 %35, ptr %11, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #8
  %36 = call noundef i32 @_ZNK7qpOASES9QProblemB6getNFREv(ptr noundef nonnull align 8 dereferenceable(800) %34)
  store i32 %36, ptr %12, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #8
  %37 = call noundef i32 @_ZNK7qpOASES8QProblem5getNCEv(ptr noundef nonnull align 8 dereferenceable(1064) %34)
  store i32 %37, ptr %13, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #8
  %38 = call noundef i32 @_ZNK7qpOASES8QProblem6getNACEv(ptr noundef nonnull align 8 dereferenceable(1064) %34)
  store i32 %38, ptr %14, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #8
  %39 = call noundef i32 @_ZNK7qpOASES9QProblemB6getNFXEv(ptr noundef nonnull align 8 dereferenceable(800) %34)
  store i32 %39, ptr %15, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #8
  %40 = getelementptr inbounds %"class.qpOASES::QProblemB", ptr %34, i32 0, i32 6
  %41 = call noundef ptr @_ZN7qpOASES6Bounds7getFreeEv(ptr noundef nonnull align 8 dereferenceable(120) %40)
  %42 = call noundef i32 @_ZNK7qpOASES9Indexlist14getNumberArrayEPPi(ptr noundef nonnull align 8 dereferenceable(36) %41, ptr noundef %16)
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #8
  %43 = load i32, ptr %11, align 4, !tbaa !9
  %44 = sext i32 %43 to i64
  %45 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %44, i64 8)
  %46 = extractvalue { i64, i1 } %45, 1
  %47 = extractvalue { i64, i1 } %45, 0
  %48 = select i1 %46, i64 -1, i64 %47
  %49 = call noalias noundef nonnull ptr @_Znam(i64 noundef %48) #9
  store ptr %49, ptr %20, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #8
  %50 = load i32, ptr %15, align 4, !tbaa !9
  %51 = sext i32 %50 to i64
  %52 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %51, i64 8)
  %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) #9
  store ptr %56, ptr %21, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #8
  %57 = load i32, ptr %12, align 4, !tbaa !9
  %58 = sext i32 %57 to i64
  %59 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %58, i64 8)
  %60 = extractvalue { i64, i1 } %59, 1
  %61 = extractvalue { i64, i1 } %59, 0
  %62 = select i1 %60, i64 -1, i64 %61
  %63 = call noalias noundef nonnull ptr @_Znam(i64 noundef %62) #9
  store ptr %63, ptr %22, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #8
  %64 = load ptr, ptr %7, align 8, !tbaa !5
  store ptr %64, ptr %23, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #8
  %65 = load ptr, ptr %8, align 8, !tbaa !5
  store ptr %65, ptr %24, align 8, !tbaa !5
  %66 = getelementptr inbounds %"class.qpOASES::QProblemB", ptr %34, i32 0, i32 6
  %67 = call noundef ptr @_ZN7qpOASES6Bounds8getFixedEv(ptr noundef nonnull align 8 dereferenceable(120) %66)
  %68 = call noundef i32 @_ZNK7qpOASES9Indexlist14getNumberArrayEPPi(ptr noundef nonnull align 8 dereferenceable(36) %67, ptr noundef %17)
  %69 = getelementptr inbounds %"class.qpOASES::QProblem", ptr %34, i32 0, i32 5
  %70 = call noundef ptr @_ZN7qpOASES11Constraints9getActiveEv(ptr noundef nonnull align 8 dereferenceable(120) %69)
  %71 = call noundef i32 @_ZNK7qpOASES9Indexlist14getNumberArrayEPPi(ptr noundef nonnull align 8 dereferenceable(36) %70, ptr noundef %18)
  %72 = getelementptr inbounds %"class.qpOASES::QProblem", ptr %34, i32 0, i32 5
  %73 = call noundef ptr @_ZN7qpOASES11Constraints11getInactiveEv(ptr noundef nonnull align 8 dereferenceable(120) %72)
  %74 = call noundef i32 @_ZNK7qpOASES9Indexlist14getNumberArrayEPPi(ptr noundef nonnull align 8 dereferenceable(36) %73, ptr noundef %19)
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #8
  %75 = load i32, ptr %13, align 4, !tbaa !9
  %76 = load i32, ptr %11, align 4, !tbaa !9
  %77 = icmp sgt i32 %75, %76
  br i1 %77, label %78, label %80

78:                                               ; preds = %4
  %79 = load i32, ptr %13, align 4, !tbaa !9
  br label %82

80:                                               ; preds = %4
  %81 = load i32, ptr %11, align 4, !tbaa !9
  br label %82

82:                                               ; preds = %80, %78
  %83 = phi i32 [ %79, %78 ], [ %81, %80 ]
  store i32 %83, ptr %25, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #8
  %84 = load i32, ptr %25, align 4, !tbaa !9
  %85 = sext i32 %84 to i64
  %86 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %85, i64 8)
  %87 = extractvalue { i64, i1 } %86, 1
  %88 = extractvalue { i64, i1 } %86, 0
  %89 = select i1 %87, i64 -1, i64 %88
  %90 = call noalias noundef nonnull ptr @_Znam(i64 noundef %89) #9
  store ptr %90, ptr %26, align 8, !tbaa !5
  store i32 0, ptr %10, align 4, !tbaa !9
  br label %91

91:                                               ; preds = %100, %82
  %92 = load i32, ptr %10, align 4, !tbaa !9
  %93 = load i32, ptr %25, align 4, !tbaa !9
  %94 = icmp slt i32 %92, %93
  br i1 %94, label %95, label %103

95:                                               ; preds = %91
  %96 = load ptr, ptr %26, align 8, !tbaa !5
  %97 = load i32, ptr %10, align 4, !tbaa !9
  %98 = sext i32 %97 to i64
  %99 = getelementptr inbounds double, ptr %96, i64 %98
  store double 0.000000e+00, ptr %99, align 8, !tbaa !13
  br label %100

100:                                              ; preds = %95
  %101 = load i32, ptr %10, align 4, !tbaa !9
  %102 = add nsw i32 %101, 1
  store i32 %102, ptr %10, align 4, !tbaa !9
  br label %91, !llvm.loop !15

103:                                              ; preds = %91
  %104 = getelementptr inbounds %"class.qpOASES::QProblem", ptr %34, i32 0, i32 2
  %105 = load ptr, ptr %104, align 8, !tbaa !17
  %106 = load i32, ptr %6, align 4, !tbaa !9
  %107 = load ptr, ptr %20, align 8, !tbaa !5
  %108 = load ptr, ptr %105, align 8, !tbaa !32
  %109 = getelementptr inbounds ptr, ptr %108, i64 9
  %110 = load ptr, ptr %109, align 8
  %111 = call noundef i32 %110(ptr noundef nonnull align 8 dereferenceable(12) %105, i32 noundef %106, ptr noundef null, double noundef 1.000000e+00, ptr noundef %107)
  call void @llvm.lifetime.start.p0(i64 4, ptr %27) #8
  %112 = load ptr, ptr %20, align 8, !tbaa !5
  %113 = load ptr, ptr %26, align 8, !tbaa !5
  %114 = load ptr, ptr %26, align 8, !tbaa !5
  %115 = load ptr, ptr %26, align 8, !tbaa !5
  %116 = load ptr, ptr %26, align 8, !tbaa !5
  %117 = load ptr, ptr %21, align 8, !tbaa !5
  %118 = load ptr, ptr %22, align 8, !tbaa !5
  %119 = load ptr, ptr %23, align 8, !tbaa !5
  %120 = load ptr, ptr %24, align 8, !tbaa !5
  %121 = load ptr, ptr %34, align 8, !tbaa !32
  %122 = getelementptr inbounds ptr, ptr %121, i64 34
  %123 = load ptr, ptr %122, align 8
  %124 = call noundef i32 %123(ptr noundef nonnull align 8 dereferenceable(1256) %34, ptr noundef %112, ptr noundef %113, ptr noundef %114, ptr noundef %115, ptr noundef %116, i32 noundef 0, i32 noundef 0, ptr noundef %117, ptr noundef %118, ptr noundef %119, ptr noundef %120)
  store i32 %124, ptr %27, align 4, !tbaa !11
  %125 = load i32, ptr %27, align 4, !tbaa !11
  %126 = icmp ne i32 %125, 0
  br i1 %126, label %127, label %129

127:                                              ; preds = %103
  %128 = load i32, ptr %27, align 4, !tbaa !11
  store i32 %128, ptr %9, align 4, !tbaa !11
  br label %129

129:                                              ; preds = %127, %103
  %130 = load ptr, ptr %26, align 8, !tbaa !5
  %131 = icmp eq ptr %130, null
  br i1 %131, label %133, label %132

132:                                              ; preds = %129
  call void @_ZdaPv(ptr noundef %130) #10
  br label %133

133:                                              ; preds = %132, %129
  call void @llvm.lifetime.start.p0(i64 8, ptr %28) #8
  store double 0.000000e+00, ptr %28, align 8, !tbaa !13
  store i32 0, ptr %10, align 4, !tbaa !9
  br label %134

134:                                              ; preds = %151, %133
  %135 = load i32, ptr %10, align 4, !tbaa !9
  %136 = load i32, ptr %14, align 4, !tbaa !9
  %137 = icmp slt i32 %135, %136
  br i1 %137, label %138, label %154

138:                                              ; preds = %134
  call void @llvm.lifetime.start.p0(i64 8, ptr %29) #8
  %139 = load ptr, ptr %23, align 8, !tbaa !5
  %140 = load i32, ptr %10, align 4, !tbaa !9
  %141 = sext i32 %140 to i64
  %142 = getelementptr inbounds double, ptr %139, i64 %141
  %143 = load double, ptr %142, align 8, !tbaa !13
  %144 = call noundef double @_ZN7qpOASES6getAbsEd(double noundef %143)
  store double %144, ptr %29, align 8, !tbaa !13
  %145 = load double, ptr %28, align 8, !tbaa !13
  %146 = load double, ptr %29, align 8, !tbaa !13
  %147 = fcmp olt double %145, %146
  br i1 %147, label %148, label %150

148:                                              ; preds = %138
  %149 = load double, ptr %29, align 8, !tbaa !13
  store double %149, ptr %28, align 8, !tbaa !13
  br label %150

150:                                              ; preds = %148, %138
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #8
  br label %151

151:                                              ; preds = %150
  %152 = load i32, ptr %10, align 4, !tbaa !9
  %153 = add nsw i32 %152, 1
  store i32 %153, ptr %10, align 4, !tbaa !9
  br label %134, !llvm.loop !34

154:                                              ; preds = %134
  store i32 0, ptr %10, align 4, !tbaa !9
  br label %155

155:                                              ; preds = %172, %154
  %156 = load i32, ptr %10, align 4, !tbaa !9
  %157 = load i32, ptr %15, align 4, !tbaa !9
  %158 = icmp slt i32 %156, %157
  br i1 %158, label %159, label %175

159:                                              ; preds = %155
  call void @llvm.lifetime.start.p0(i64 8, ptr %30) #8
  %160 = load ptr, ptr %24, align 8, !tbaa !5
  %161 = load i32, ptr %10, align 4, !tbaa !9
  %162 = sext i32 %161 to i64
  %163 = getelementptr inbounds double, ptr %160, i64 %162
  %164 = load double, ptr %163, align 8, !tbaa !13
  %165 = call noundef double @_ZN7qpOASES6getAbsEd(double noundef %164)
  store double %165, ptr %30, align 8, !tbaa !13
  %166 = load double, ptr %28, align 8, !tbaa !13
  %167 = load double, ptr %30, align 8, !tbaa !13
  %168 = fcmp olt double %166, %167
  br i1 %168, label %169, label %171

169:                                              ; preds = %159
  %170 = load double, ptr %30, align 8, !tbaa !13
  store double %170, ptr %28, align 8, !tbaa !13
  br label %171

171:                                              ; preds = %169, %159
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #8
  br label %172

172:                                              ; preds = %171
  %173 = load i32, ptr %10, align 4, !tbaa !9
  %174 = add nsw i32 %173, 1
  store i32 %174, ptr %10, align 4, !tbaa !9
  br label %155, !llvm.loop !35

175:                                              ; preds = %155
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #8
  store double 0.000000e+00, ptr %31, align 8, !tbaa !13
  store i32 0, ptr %10, align 4, !tbaa !9
  br label %176

176:                                              ; preds = %193, %175
  %177 = load i32, ptr %10, align 4, !tbaa !9
  %178 = load i32, ptr %15, align 4, !tbaa !9
  %179 = icmp slt i32 %177, %178
  br i1 %179, label %180, label %196

180:                                              ; preds = %176
  call void @llvm.lifetime.start.p0(i64 8, ptr %32) #8
  %181 = load ptr, ptr %21, align 8, !tbaa !5
  %182 = load i32, ptr %10, align 4, !tbaa !9
  %183 = sext i32 %182 to i64
  %184 = getelementptr inbounds double, ptr %181, i64 %183
  %185 = load double, ptr %184, align 8, !tbaa !13
  %186 = call noundef double @_ZN7qpOASES6getAbsEd(double noundef %185)
  store double %186, ptr %32, align 8, !tbaa !13
  %187 = load double, ptr %31, align 8, !tbaa !13
  %188 = load double, ptr %32, align 8, !tbaa !13
  %189 = fcmp olt double %187, %188
  br i1 %189, label %190, label %192

190:                                              ; preds = %180
  %191 = load double, ptr %32, align 8, !tbaa !13
  store double %191, ptr %31, align 8, !tbaa !13
  br label %192

192:                                              ; preds = %190, %180
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #8
  br label %193

193:                                              ; preds = %192
  %194 = load i32, ptr %10, align 4, !tbaa !9
  %195 = add nsw i32 %194, 1
  store i32 %195, ptr %10, align 4, !tbaa !9
  br label %176, !llvm.loop !36

196:                                              ; preds = %176
  store i32 0, ptr %10, align 4, !tbaa !9
  br label %197

197:                                              ; preds = %214, %196
  %198 = load i32, ptr %10, align 4, !tbaa !9
  %199 = load i32, ptr %12, align 4, !tbaa !9
  %200 = icmp slt i32 %198, %199
  br i1 %200, label %201, label %217

201:                                              ; preds = %197
  call void @llvm.lifetime.start.p0(i64 8, ptr %33) #8
  %202 = load ptr, ptr %22, align 8, !tbaa !5
  %203 = load i32, ptr %10, align 4, !tbaa !9
  %204 = sext i32 %203 to i64
  %205 = getelementptr inbounds double, ptr %202, i64 %204
  %206 = load double, ptr %205, align 8, !tbaa !13
  %207 = call noundef double @_ZN7qpOASES6getAbsEd(double noundef %206)
  store double %207, ptr %33, align 8, !tbaa !13
  %208 = load double, ptr %31, align 8, !tbaa !13
  %209 = load double, ptr %33, align 8, !tbaa !13
  %210 = fcmp olt double %208, %209
  br i1 %210, label %211, label %213

211:                                              ; preds = %201
  %212 = load double, ptr %33, align 8, !tbaa !13
  store double %212, ptr %31, align 8, !tbaa !13
  br label %213

213:                                              ; preds = %211, %201
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #8
  br label %214

214:                                              ; preds = %213
  %215 = load i32, ptr %10, align 4, !tbaa !9
  %216 = add nsw i32 %215, 1
  store i32 %216, ptr %10, align 4, !tbaa !9
  br label %197, !llvm.loop !37

217:                                              ; preds = %197
  %218 = load double, ptr %31, align 8, !tbaa !13
  %219 = getelementptr inbounds %"class.qpOASES::QProblemB", ptr %34, i32 0, i32 23
  %220 = getelementptr inbounds %"class.qpOASES::Options", ptr %219, i32 0, i32 30
  %221 = load double, ptr %220, align 8, !tbaa !38
  %222 = load double, ptr %28, align 8, !tbaa !13
  %223 = fmul double %221, %222
  %224 = fcmp ogt double %218, %223
  br i1 %224, label %225, label %226

225:                                              ; preds = %217
  store i32 89, ptr %9, align 4, !tbaa !11
  br label %226

226:                                              ; preds = %225, %217
  %227 = load ptr, ptr %22, align 8, !tbaa !5
  %228 = icmp eq ptr %227, null
  br i1 %228, label %230, label %229

229:                                              ; preds = %226
  call void @_ZdaPv(ptr noundef %227) #10
  br label %230

230:                                              ; preds = %229, %226
  %231 = load ptr, ptr %21, align 8, !tbaa !5
  %232 = icmp eq ptr %231, null
  br i1 %232, label %234, label %233

233:                                              ; preds = %230
  call void @_ZdaPv(ptr noundef %231) #10
  br label %234

234:                                              ; preds = %233, %230
  %235 = load ptr, ptr %20, align 8, !tbaa !5
  %236 = icmp eq ptr %235, null
  br i1 %236, label %238, label %237

237:                                              ; preds = %234
  call void @_ZdaPv(ptr noundef %235) #10
  br label %238

238:                                              ; preds = %237, %234
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %27) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #8
  %239 = call noundef ptr @_ZN7qpOASES23getGlobalMessageHandlerEv()
  %240 = load i32, ptr %9, align 4, !tbaa !11
  %241 = call noundef i32 @_ZN7qpOASES15MessageHandling9throwInfoENS_11returnValueEPKcS3_S3_mNS_16VisibilityStatusE(ptr noundef nonnull align 8 dereferenceable(28) %239, i32 noundef %240, ptr noundef null, ptr noundef @.str, ptr noundef @.str.1, i64 noundef 941, i32 noundef 1)
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #8
  ret i32 %241
}

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local noundef i32 @_ZNK7qpOASES9QProblemB6getNFREv(ptr noundef nonnull align 8 dereferenceable(800)) #5 align 2

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

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

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

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef double @_ZN7qpOASES6getAbsEd(double noundef) #7

declare noundef i32 @_ZN7qpOASES15MessageHandling9throwInfoENS_11returnValueEPKcS3_S3_mNS_16VisibilityStatusE(ptr noundef nonnull align 8 dereferenceable(28), i32 noundef, ptr noundef, ptr noundef, ptr noundef, i64 noundef, i32 noundef) #3

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
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 = { 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 #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 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 = { 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 #8 = { nounwind }
attributes #9 = { builtin allocsize(0) }
attributes #10 = { 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 = !{!"_ZTSN7qpOASES11returnValueE", !7, i64 0}
!13 = !{!14, !14, i64 0}
!14 = !{!"double", !7, i64 0}
!15 = distinct !{!15, !16}
!16 = !{!"llvm.loop.mustprogress"}
!17 = !{!18, !6, i64 808}
!18 = !{!"_ZTSN7qpOASES8QProblemE", !19, i64 0, !20, i64 800, !6, i64 808, !6, i64 816, !6, i64 824, !30, i64 832, !6, i64 952, !6, i64 960, !10, i64 968, !6, i64 976, !6, i64 984, !6, i64 992, !6, i64 1000, !6, i64 1008, !6, i64 1016, !6, i64 1024, !6, i64 1032, !6, i64 1040, !6, i64 1048, !6, i64 1056}
!19 = !{!"_ZTSN7qpOASES9QProblemBE", !20, i64 8, !6, i64 16, !6, i64 24, !6, i64 32, !6, i64 40, !21, i64 48, !6, i64 168, !20, i64 176, !6, i64 184, !6, i64 192, !14, i64 200, !24, i64 208, !20, i64 212, !20, i64 216, !25, i64 220, !14, i64 224, !10, i64 232, !6, i64 240, !14, i64 248, !14, i64 256, !10, i64 264, !26, i64 272, !29, i64 496, !31, i64 768}
!20 = !{!"_ZTSN7qpOASES11BooleanTypeE", !7, i64 0}
!21 = !{!"_ZTSN7qpOASES6BoundsE", !22, i64 0, !23, i64 40, !23, i64 80}
!22 = !{!"_ZTSN7qpOASES9SubjectToE", !10, i64 8, !6, i64 16, !6, i64 24, !20, i64 32, !20, i64 36}
!23 = !{!"_ZTSN7qpOASES9IndexlistE", !6, i64 0, !6, i64 8, !10, i64 16, !10, i64 20, !10, i64 24, !10, i64 28, !10, i64 32}
!24 = !{!"_ZTSN7qpOASES14QProblemStatusE", !7, i64 0}
!25 = !{!"_ZTSN7qpOASES11HessianTypeE", !7, i64 0}
!26 = !{!"_ZTSN7qpOASES7OptionsE", !27, i64 0, !20, i64 4, !20, i64 8, !20, i64 12, !20, i64 16, !20, i64 20, !20, i64 24, !10, i64 28, !10, i64 32, !20, i64 36, !14, i64 40, !14, i64 48, !14, i64 56, !14, i64 64, !14, i64 72, !14, i64 80, !14, i64 88, !14, i64 96, !14, i64 104, !14, i64 112, !14, i64 120, !28, i64 128, !14, i64 136, !10, i64 144, !14, i64 152, !10, i64 160, !14, i64 168, !14, i64 176, !14, i64 184, !14, i64 192, !20, i64 200, !20, i64 204, !10, i64 208, !10, i64 212, !10, i64 216}
!27 = !{!"_ZTSN7qpOASES10PrintLevelE", !7, i64 0}
!28 = !{!"_ZTSN7qpOASES15SubjectToStatusE", !7, i64 0}
!29 = !{!"_ZTSN7qpOASES7FlipperE", !10, i64 0, !10, i64 4, !21, i64 8, !30, i64 128, !6, i64 248, !6, i64 256, !6, i64 264}
!30 = !{!"_ZTSN7qpOASES11ConstraintsE", !22, i64 0, !23, i64 40, !23, i64 80}
!31 = !{!"_ZTSN7qpOASES13TabularOutputE", !10, i64 0, !10, i64 4, !10, i64 8, !10, i64 12, !10, i64 16, !10, i64 20, !10, i64 24, !10, i64 28}
!32 = !{!33, !33, i64 0}
!33 = !{!"vtable pointer", !8, i64 0}
!34 = distinct !{!34, !16}
!35 = distinct !{!35, !16}
!36 = distinct !{!36, !16}
!37 = distinct !{!37, !16}
!38 = !{!19, !14, i64 448}


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

@.str = external hidden unnamed_addr constant [28 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [109 x i8], align 1

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

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

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

declare noundef ptr @_ZN7qpOASES23getGlobalMessageHandlerEv() local_unnamed_addr #2

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local noundef i32 @_ZNK7qpOASES9QProblemB5getNVEv(ptr noundef nonnull align 8 dereferenceable(800)) local_unnamed_addr #4 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local noundef i32 @_ZNK7qpOASES8QProblem5getNCEv(ptr noundef nonnull align 8 dereferenceable(1064)) local_unnamed_addr #4 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local noundef i32 @_ZNK7qpOASES8QProblem6getNACEv(ptr noundef nonnull align 8 dereferenceable(1064)) local_unnamed_addr #4 align 2

declare noundef i32 @_ZNK7qpOASES9Indexlist14getNumberArrayEPPi(ptr noundef nonnull align 8 dereferenceable(36), ptr noundef) local_unnamed_addr #2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local noundef i32 @_ZNK7qpOASES9QProblemB6getNFXEv(ptr noundef nonnull align 8 dereferenceable(800)) local_unnamed_addr #4 align 2

; Function Attrs: mustprogress uwtable
define dso_local noundef i32 @_ZN7qpOASES14SQProblemSchur26addConstraint_checkLISchurEiPdS1_(ptr noundef nonnull align 8 dereferenceable(1256) %0, i32 noundef %1, ptr noundef %2, ptr noundef %3) local_unnamed_addr #5 align 2 {
  %5 = alloca ptr, align 8
  %6 = alloca ptr, align 8
  %7 = alloca ptr, align 8
  %8 = alloca ptr, align 8
  %9 = tail call noundef i32 @_ZNK7qpOASES9QProblemB5getNVEv(ptr noundef nonnull align 8 dereferenceable(800) %0)
  %10 = tail call noundef i32 @_ZNK7qpOASES9QProblemB6getNFREv(ptr noundef nonnull align 8 dereferenceable(800) %0)
  %11 = tail call noundef i32 @_ZNK7qpOASES8QProblem5getNCEv(ptr noundef nonnull align 8 dereferenceable(1064) %0)
  %12 = tail call noundef i32 @_ZNK7qpOASES8QProblem6getNACEv(ptr noundef nonnull align 8 dereferenceable(1064) %0)
  %13 = tail call noundef i32 @_ZNK7qpOASES9QProblemB6getNFXEv(ptr noundef nonnull align 8 dereferenceable(800) %0)
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %5) #9
  %14 = getelementptr inbounds i8, ptr %0, i64 48
  %15 = tail call noundef ptr @_ZN7qpOASES6Bounds7getFreeEv(ptr noundef nonnull align 8 dereferenceable(120) %14)
  %16 = call noundef i32 @_ZNK7qpOASES9Indexlist14getNumberArrayEPPi(ptr noundef nonnull align 8 dereferenceable(36) %15, ptr noundef nonnull %5)
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %6) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %7) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %8) #9
  %17 = zext nneg i32 %9 to i64
  %18 = icmp slt i32 %9, 0
  %19 = shl nuw nsw i64 %17, 3
  %20 = select i1 %18, i64 -1, i64 %19
  %21 = call noalias noundef nonnull ptr @_Znam(i64 noundef %20) #10
  %22 = zext i32 %13 to i64
  %23 = icmp slt i32 %13, 0
  %24 = shl nuw nsw i64 %22, 3
  %25 = select i1 %23, i64 -1, i64 %24
  %26 = call noalias noundef nonnull ptr @_Znam(i64 noundef %25) #10
  %27 = zext i32 %10 to i64
  %28 = icmp slt i32 %10, 0
  %29 = shl nuw nsw i64 %27, 3
  %30 = select i1 %28, i64 -1, i64 %29
  %31 = call noalias noundef nonnull ptr @_Znam(i64 noundef %30) #10
  %32 = call noundef ptr @_ZN7qpOASES6Bounds8getFixedEv(ptr noundef nonnull align 8 dereferenceable(120) %14)
  %33 = call noundef i32 @_ZNK7qpOASES9Indexlist14getNumberArrayEPPi(ptr noundef nonnull align 8 dereferenceable(36) %32, ptr noundef nonnull %6)
  %34 = getelementptr inbounds i8, ptr %0, i64 832
  %35 = call noundef ptr @_ZN7qpOASES11Constraints9getActiveEv(ptr noundef nonnull align 8 dereferenceable(120) %34)
  %36 = call noundef i32 @_ZNK7qpOASES9Indexlist14getNumberArrayEPPi(ptr noundef nonnull align 8 dereferenceable(36) %35, ptr noundef nonnull %7)
  %37 = call noundef ptr @_ZN7qpOASES11Constraints11getInactiveEv(ptr noundef nonnull align 8 dereferenceable(120) %34)
  %38 = call noundef i32 @_ZNK7qpOASES9Indexlist14getNumberArrayEPPi(ptr noundef nonnull align 8 dereferenceable(36) %37, ptr noundef nonnull %8)
  %39 = call i32 @llvm.smax.i32(i32 %11, i32 %9)
  %40 = zext i32 %39 to i64
  %41 = icmp slt i32 %39, 0
  %42 = shl nuw nsw i64 %40, 3
  %43 = select i1 %41, i64 -1, i64 %42
  %44 = call noalias noundef nonnull ptr @_Znam(i64 noundef %43) #10
  %45 = icmp sgt i32 %39, 0
  br i1 %45, label %.lr.ph.preheader, label %._crit_edge

.lr.ph.preheader:                                 ; preds = %4
  call void @llvm.memset.p0.i64(ptr nonnull align 8 %44, i8 0, i64 %42, i1 false), !tbaa !5
  br label %._crit_edge

._crit_edge:                                      ; preds = %.lr.ph.preheader, %4
  %46 = getelementptr inbounds i8, ptr %0, i64 808
  %47 = load ptr, ptr %46, align 8, !tbaa !9
  %48 = load ptr, ptr %47, align 8, !tbaa !26
  %49 = getelementptr inbounds i8, ptr %48, i64 72
  %50 = load ptr, ptr %49, align 8
  %51 = call noundef i32 %50(ptr noundef nonnull align 8 dereferenceable(12) %47, i32 noundef %1, ptr noundef null, double noundef 1.000000e+00, ptr noundef nonnull %21)
  %52 = load ptr, ptr %0, align 8, !tbaa !26
  %53 = getelementptr inbounds i8, ptr %52, i64 272
  %54 = load ptr, ptr %53, align 8
  %55 = call noundef i32 %54(ptr noundef nonnull align 8 dereferenceable(1256) %0, ptr noundef nonnull %21, ptr noundef nonnull %44, ptr noundef nonnull %44, ptr noundef nonnull %44, ptr noundef nonnull %44, i32 noundef 0, i32 noundef 0, ptr noundef nonnull %26, ptr noundef nonnull %31, ptr noundef %2, ptr noundef %3)
  call void @_ZdaPv(ptr noundef nonnull %44) #11
  %56 = icmp sgt i32 %12, 0
  br i1 %56, label %.lr.ph89.preheader, label %.preheader84

.lr.ph89.preheader:                               ; preds = %._crit_edge
  %wide.trip.count = zext nneg i32 %12 to i64
  br label %.lr.ph89

.preheader84:                                     ; preds = %.lr.ph89, %._crit_edge
  %.073.lcssa = phi double [ 0.000000e+00, %._crit_edge ], [ %.174, %.lr.ph89 ]
  %57 = icmp sgt i32 %13, 0
  br i1 %57, label %.lr.ph92, label %.preheader

.lr.ph89:                                         ; preds = %.lr.ph89.preheader, %.lr.ph89
  %indvars.iv = phi i64 [ 0, %.lr.ph89.preheader ], [ %indvars.iv.next, %.lr.ph89 ]
  %.07386 = phi double [ 0.000000e+00, %.lr.ph89.preheader ], [ %.174, %.lr.ph89 ]
  %58 = getelementptr inbounds double, ptr %2, i64 %indvars.iv
  %59 = load double, ptr %58, align 8, !tbaa !5
  %60 = call noundef double @_ZN7qpOASES6getAbsEd(double noundef %59)
  %61 = fcmp olt double %.07386, %60
  %.174 = select i1 %61, double %60, double %.07386
  %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 %.preheader84, label %.lr.ph89, !llvm.loop !28

.preheader83:                                     ; preds = %.lr.ph92
  br i1 %57, label %.lr.ph96, label %.preheader

.lr.ph92:                                         ; preds = %.preheader84, %.lr.ph92
  %indvars.iv105 = phi i64 [ %indvars.iv.next106, %.lr.ph92 ], [ 0, %.preheader84 ]
  %.27590 = phi double [ %.376, %.lr.ph92 ], [ %.073.lcssa, %.preheader84 ]
  %62 = getelementptr inbounds double, ptr %3, i64 %indvars.iv105
  %63 = load double, ptr %62, align 8, !tbaa !5
  %64 = call noundef double @_ZN7qpOASES6getAbsEd(double noundef %63)
  %65 = fcmp olt double %.27590, %64
  %.376 = select i1 %65, double %64, double %.27590
  %indvars.iv.next106 = add nuw nsw i64 %indvars.iv105, 1
  %exitcond109.not = icmp eq i64 %indvars.iv.next106, %22
  br i1 %exitcond109.not, label %.preheader83, label %.lr.ph92, !llvm.loop !30

.preheader:                                       ; preds = %.lr.ph96, %.preheader84, %.preheader83
  %.275.lcssa121 = phi double [ %.376, %.preheader83 ], [ %.073.lcssa, %.preheader84 ], [ %.376, %.lr.ph96 ]
  %.069.lcssa = phi double [ 0.000000e+00, %.preheader83 ], [ 0.000000e+00, %.preheader84 ], [ %.170, %.lr.ph96 ]
  %66 = icmp sgt i32 %10, 0
  br i1 %66, label %.lr.ph100, label %._crit_edge101

.lr.ph96:                                         ; preds = %.preheader83, %.lr.ph96
  %indvars.iv110 = phi i64 [ %indvars.iv.next111, %.lr.ph96 ], [ 0, %.preheader83 ]
  %.06994 = phi double [ %.170, %.lr.ph96 ], [ 0.000000e+00, %.preheader83 ]
  %67 = getelementptr inbounds double, ptr %26, i64 %indvars.iv110
  %68 = load double, ptr %67, align 8, !tbaa !5
  %69 = call noundef double @_ZN7qpOASES6getAbsEd(double noundef %68)
  %70 = fcmp olt double %.06994, %69
  %.170 = select i1 %70, double %69, double %.06994
  %indvars.iv.next111 = add nuw nsw i64 %indvars.iv110, 1
  %exitcond114.not = icmp eq i64 %indvars.iv.next111, %22
  br i1 %exitcond114.not, label %.preheader, label %.lr.ph96, !llvm.loop !31

.lr.ph100:                                        ; preds = %.preheader, %.lr.ph100
  %indvars.iv115 = phi i64 [ %indvars.iv.next116, %.lr.ph100 ], [ 0, %.preheader ]
  %.27198 = phi double [ %.372, %.lr.ph100 ], [ %.069.lcssa, %.preheader ]
  %71 = getelementptr inbounds double, ptr %31, i64 %indvars.iv115
  %72 = load double, ptr %71, align 8, !tbaa !5
  %73 = call noundef double @_ZN7qpOASES6getAbsEd(double noundef %72)
  %74 = fcmp olt double %.27198, %73
  %.372 = select i1 %74, double %73, double %.27198
  %indvars.iv.next116 = add nuw nsw i64 %indvars.iv115, 1
  %exitcond119.not = icmp eq i64 %indvars.iv.next116, %27
  br i1 %exitcond119.not, label %._crit_edge101, label %.lr.ph100, !llvm.loop !32

._crit_edge101:                                   ; preds = %.lr.ph100, %.preheader
  %.271.lcssa = phi double [ %.069.lcssa, %.preheader ], [ %.372, %.lr.ph100 ]
  %.not = icmp eq i32 %55, 0
  %spec.select = select i1 %.not, i32 88, i32 %55
  %75 = getelementptr inbounds i8, ptr %0, i64 448
  %76 = load double, ptr %75, align 8, !tbaa !33
  %77 = fmul double %.275.lcssa121, %76
  %78 = fcmp ogt double %.271.lcssa, %77
  %.1 = select i1 %78, i32 89, i32 %spec.select
  call void @_ZdaPv(ptr noundef nonnull %31) #11
  call void @_ZdaPv(ptr noundef nonnull %26) #11
  call void @_ZdaPv(ptr noundef nonnull %21) #11
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %8) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %7) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %6) #9
  %79 = call noundef ptr @_ZN7qpOASES23getGlobalMessageHandlerEv()
  %80 = call noundef i32 @_ZN7qpOASES15MessageHandling9throwInfoENS_11returnValueEPKcS3_S3_mNS_16VisibilityStatusE(ptr noundef nonnull align 8 dereferenceable(28) %79, i32 noundef %.1, ptr noundef null, ptr noundef nonnull @.str, ptr noundef nonnull @.str.1, i64 noundef 941, i32 noundef 1)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %5) #9
  ret i32 %80
}

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local noundef i32 @_ZNK7qpOASES9QProblemB6getNFREv(ptr noundef nonnull align 8 dereferenceable(800)) local_unnamed_addr #4 align 2

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

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

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

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef double @_ZN7qpOASES6getAbsEd(double noundef) local_unnamed_addr #6

declare noundef i32 @_ZN7qpOASES15MessageHandling9throwInfoENS_11returnValueEPKcS3_S3_mNS_16VisibilityStatusE(ptr noundef nonnull align 8 dereferenceable(28), i32 noundef, ptr noundef, ptr noundef, ptr noundef, i64 noundef, i32 noundef) local_unnamed_addr #2

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i32 @llvm.smax.i32(i32, i32) #7

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

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { 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 #2 = { "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 nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { 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 #5 = { 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 = { 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 #7 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #8 = { nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #9 = { nounwind }
attributes #10 = { builtin allocsize(0) }
attributes #11 = { 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 = !{!"double", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !13, i64 808}
!10 = !{!"_ZTSN7qpOASES8QProblemE", !11, i64 0, !12, i64 800, !13, i64 808, !13, i64 816, !13, i64 824, !24, i64 832, !13, i64 952, !13, i64 960, !16, i64 968, !13, i64 976, !13, i64 984, !13, i64 992, !13, i64 1000, !13, i64 1008, !13, i64 1016, !13, i64 1024, !13, i64 1032, !13, i64 1040, !13, i64 1048, !13, i64 1056}
!11 = !{!"_ZTSN7qpOASES9QProblemBE", !12, i64 8, !13, i64 16, !13, i64 24, !13, i64 32, !13, i64 40, !14, i64 48, !13, i64 168, !12, i64 176, !13, i64 184, !13, i64 192, !6, i64 200, !18, i64 208, !12, i64 212, !12, i64 216, !19, i64 220, !6, i64 224, !16, i64 232, !13, i64 240, !6, i64 248, !6, i64 256, !16, i64 264, !20, i64 272, !23, i64 496, !25, i64 768}
!12 = !{!"_ZTSN7qpOASES11BooleanTypeE", !7, i64 0}
!13 = !{!"any pointer", !7, i64 0}
!14 = !{!"_ZTSN7qpOASES6BoundsE", !15, i64 0, !17, i64 40, !17, i64 80}
!15 = !{!"_ZTSN7qpOASES9SubjectToE", !16, i64 8, !13, i64 16, !13, i64 24, !12, i64 32, !12, i64 36}
!16 = !{!"int", !7, i64 0}
!17 = !{!"_ZTSN7qpOASES9IndexlistE", !13, i64 0, !13, i64 8, !16, i64 16, !16, i64 20, !16, i64 24, !16, i64 28, !16, i64 32}
!18 = !{!"_ZTSN7qpOASES14QProblemStatusE", !7, i64 0}
!19 = !{!"_ZTSN7qpOASES11HessianTypeE", !7, i64 0}
!20 = !{!"_ZTSN7qpOASES7OptionsE", !21, i64 0, !12, i64 4, !12, i64 8, !12, i64 12, !12, i64 16, !12, i64 20, !12, i64 24, !16, i64 28, !16, i64 32, !12, i64 36, !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, !6, i64 120, !22, i64 128, !6, i64 136, !16, i64 144, !6, i64 152, !16, i64 160, !6, i64 168, !6, i64 176, !6, i64 184, !6, i64 192, !12, i64 200, !12, i64 204, !16, i64 208, !16, i64 212, !16, i64 216}
!21 = !{!"_ZTSN7qpOASES10PrintLevelE", !7, i64 0}
!22 = !{!"_ZTSN7qpOASES15SubjectToStatusE", !7, i64 0}
!23 = !{!"_ZTSN7qpOASES7FlipperE", !16, i64 0, !16, i64 4, !14, i64 8, !24, i64 128, !13, i64 248, !13, i64 256, !13, i64 264}
!24 = !{!"_ZTSN7qpOASES11ConstraintsE", !15, i64 0, !17, i64 40, !17, i64 80}
!25 = !{!"_ZTSN7qpOASES13TabularOutputE", !16, i64 0, !16, i64 4, !16, i64 8, !16, i64 12, !16, i64 16, !16, i64 20, !16, i64 24, !16, i64 28}
!26 = !{!27, !27, i64 0}
!27 = !{!"vtable pointer", !8, i64 0}
!28 = distinct !{!28, !29}
!29 = !{!"llvm.loop.mustprogress"}
!30 = distinct !{!30, !29}
!31 = distinct !{!31, !29}
!32 = distinct !{!32, !29}
!33 = !{!11, !6, i64 448}


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