; LLVM IR from Tencent-RoboticsX/jbdl :: src/jbdl/experimental/qpoases/src/QProblem.ll (ZN7qpOASES8QProblem16addBound_checkLIEi)

; 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 [103 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

declare noundef ptr @_ZN7qpOASES23getGlobalMessageHandlerEv() #1

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

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

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

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

; 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 nounwind uwtable
declare dso_local noundef double @_ZN7qpOASES6getAbsEd(double noundef) #6

; 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 uwtable
declare dso_local noundef i32 @_ZNK7qpOASES9QProblemB6getNFXEv(ptr noundef nonnull align 8 dereferenceable(800)) #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 @_ZN7qpOASES15MessageHandling9throwInfoENS_11returnValueEPKcS3_S3_mNS_16VisibilityStatusE(ptr noundef nonnull align 8 dereferenceable(28), i32 noundef, ptr noundef, ptr noundef, ptr noundef, i64 noundef, i32 noundef) #1

; Function Attrs: mustprogress uwtable
define dso_local noundef i32 @_ZN7qpOASES8QProblem16addBound_checkLIEi(ptr noundef nonnull align 8 dereferenceable(1064) %0, i32 noundef %1) unnamed_addr #7 align 2 {
  %3 = alloca ptr, align 8
  %4 = alloca i32, align 4
  %5 = alloca i32, align 4
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  %8 = alloca i32, align 4
  %9 = alloca i32, align 4
  %10 = alloca i32, align 4
  %11 = alloca i32, align 4
  %12 = alloca i32, align 4
  %13 = alloca ptr, align 8
  %14 = alloca ptr, align 8
  %15 = alloca ptr, align 8
  %16 = alloca ptr, align 8
  %17 = alloca ptr, align 8
  %18 = alloca i32, align 4
  %19 = alloca ptr, align 8
  %20 = alloca i32, align 4
  %21 = alloca double, align 8
  %22 = alloca double, align 8
  %23 = alloca double, align 8
  %24 = alloca double, align 8
  %25 = alloca double, align 8
  %26 = alloca double, align 8
  %27 = alloca i32, align 4
  store ptr %0, ptr %3, align 8, !tbaa !5
  store i32 %1, ptr %4, align 4, !tbaa !9
  %28 = load ptr, ptr %3, align 8
  call void @llvm.lifetime.start.p0(i64 4, ptr %5) #8
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #8
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #8
  %29 = call noundef i32 @_ZNK7qpOASES9QProblemB5getNVEv(ptr noundef nonnull align 8 dereferenceable(800) %28)
  store i32 %29, ptr %7, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #8
  %30 = call noundef i32 @_ZNK7qpOASES9QProblemB6getNFREv(ptr noundef nonnull align 8 dereferenceable(800) %28)
  store i32 %30, ptr %8, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #8
  %31 = call noundef i32 @_ZNK7qpOASES8QProblem6getNACEv(ptr noundef nonnull align 8 dereferenceable(1064) %28)
  store i32 %31, ptr %9, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #8
  %32 = call noundef i32 @_ZNK7qpOASES9QProblemB6getNFXEv(ptr noundef nonnull align 8 dereferenceable(800) %28)
  store i32 %32, ptr %10, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #8
  %33 = call noundef i32 @_ZNK7qpOASES8QProblem5getNCEv(ptr noundef nonnull align 8 dereferenceable(1064) %28)
  store i32 %33, ptr %11, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #8
  store i32 88, ptr %12, align 4, !tbaa !11
  %34 = getelementptr inbounds %"class.qpOASES::QProblemB", ptr %28, i32 0, i32 23
  %35 = getelementptr inbounds %"class.qpOASES::Options", ptr %34, i32 0, i32 5
  %36 = load i32, ptr %35, align 4, !tbaa !13
  %37 = icmp ne i32 %36, 0
  br i1 %37, label %38, label %255

38:                                               ; preds = %2
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #8
  %39 = load i32, ptr %7, align 4, !tbaa !9
  %40 = sext i32 %39 to i64
  %41 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %40, i64 8)
  %42 = extractvalue { i64, i1 } %41, 1
  %43 = extractvalue { i64, i1 } %41, 0
  %44 = select i1 %42, i64 -1, i64 %43
  %45 = call noalias noundef nonnull ptr @_Znam(i64 noundef %44) #9
  store ptr %45, ptr %13, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #8
  %46 = load i32, ptr %10, align 4, !tbaa !9
  %47 = sext i32 %46 to i64
  %48 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %47, i64 8)
  %49 = extractvalue { i64, i1 } %48, 1
  %50 = extractvalue { i64, i1 } %48, 0
  %51 = select i1 %49, i64 -1, i64 %50
  %52 = call noalias noundef nonnull ptr @_Znam(i64 noundef %51) #9
  store ptr %52, ptr %14, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #8
  %53 = load i32, ptr %8, align 4, !tbaa !9
  %54 = sext i32 %53 to i64
  %55 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %54, i64 8)
  %56 = extractvalue { i64, i1 } %55, 1
  %57 = extractvalue { i64, i1 } %55, 0
  %58 = select i1 %56, i64 -1, i64 %57
  %59 = call noalias noundef nonnull ptr @_Znam(i64 noundef %58) #9
  store ptr %59, ptr %15, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #8
  %60 = load i32, ptr %9, align 4, !tbaa !9
  %61 = sext i32 %60 to i64
  %62 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %61, i64 8)
  %63 = extractvalue { i64, i1 } %62, 1
  %64 = extractvalue { i64, i1 } %62, 0
  %65 = select i1 %63, i64 -1, i64 %64
  %66 = call noalias noundef nonnull ptr @_Znam(i64 noundef %65) #9
  store ptr %66, ptr %16, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #8
  %67 = load i32, ptr %10, align 4, !tbaa !9
  %68 = sext i32 %67 to i64
  %69 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %68, i64 8)
  %70 = extractvalue { i64, i1 } %69, 1
  %71 = extractvalue { i64, i1 } %69, 0
  %72 = select i1 %70, i64 -1, i64 %71
  %73 = call noalias noundef nonnull ptr @_Znam(i64 noundef %72) #9
  store ptr %73, ptr %17, align 8, !tbaa !5
  store i32 0, ptr %6, align 4, !tbaa !9
  br label %74

74:                                               ; preds = %83, %38
  %75 = load i32, ptr %6, align 4, !tbaa !9
  %76 = load i32, ptr %7, align 4, !tbaa !9
  %77 = icmp slt i32 %75, %76
  br i1 %77, label %78, label %86

78:                                               ; preds = %74
  %79 = load ptr, ptr %13, align 8, !tbaa !5
  %80 = load i32, ptr %6, align 4, !tbaa !9
  %81 = sext i32 %80 to i64
  %82 = getelementptr inbounds double, ptr %79, i64 %81
  store double 0.000000e+00, ptr %82, align 8, !tbaa !28
  br label %83

83:                                               ; preds = %78
  %84 = load i32, ptr %6, align 4, !tbaa !9
  %85 = add nsw i32 %84, 1
  store i32 %85, ptr %6, align 4, !tbaa !9
  br label %74, !llvm.loop !29

86:                                               ; preds = %74
  %87 = load ptr, ptr %13, align 8, !tbaa !5
  %88 = load i32, ptr %4, align 4, !tbaa !9
  %89 = sext i32 %88 to i64
  %90 = getelementptr inbounds double, ptr %87, i64 %89
  store double 1.000000e+00, ptr %90, align 8, !tbaa !28
  call void @llvm.lifetime.start.p0(i64 4, ptr %18) #8
  %91 = load i32, ptr %11, align 4, !tbaa !9
  %92 = load i32, ptr %7, align 4, !tbaa !9
  %93 = icmp sgt i32 %91, %92
  br i1 %93, label %94, label %96

94:                                               ; preds = %86
  %95 = load i32, ptr %11, align 4, !tbaa !9
  br label %98

96:                                               ; preds = %86
  %97 = load i32, ptr %7, align 4, !tbaa !9
  br label %98

98:                                               ; preds = %96, %94
  %99 = phi i32 [ %95, %94 ], [ %97, %96 ]
  store i32 %99, ptr %18, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #8
  %100 = load i32, ptr %18, align 4, !tbaa !9
  %101 = sext i32 %100 to i64
  %102 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %101, i64 8)
  %103 = extractvalue { i64, i1 } %102, 1
  %104 = extractvalue { i64, i1 } %102, 0
  %105 = select i1 %103, i64 -1, i64 %104
  %106 = call noalias noundef nonnull ptr @_Znam(i64 noundef %105) #9
  store ptr %106, ptr %19, align 8, !tbaa !5
  store i32 0, ptr %6, align 4, !tbaa !9
  br label %107

107:                                              ; preds = %116, %98
  %108 = load i32, ptr %6, align 4, !tbaa !9
  %109 = load i32, ptr %18, align 4, !tbaa !9
  %110 = icmp slt i32 %108, %109
  br i1 %110, label %111, label %119

111:                                              ; preds = %107
  %112 = load ptr, ptr %19, align 8, !tbaa !5
  %113 = load i32, ptr %6, align 4, !tbaa !9
  %114 = sext i32 %113 to i64
  %115 = getelementptr inbounds double, ptr %112, i64 %114
  store double 0.000000e+00, ptr %115, align 8, !tbaa !28
  br label %116

116:                                              ; preds = %111
  %117 = load i32, ptr %6, align 4, !tbaa !9
  %118 = add nsw i32 %117, 1
  store i32 %118, ptr %6, align 4, !tbaa !9
  br label %107, !llvm.loop !31

119:                                              ; preds = %107
  call void @llvm.lifetime.start.p0(i64 4, ptr %20) #8
  %120 = load ptr, ptr %13, align 8, !tbaa !5
  %121 = load ptr, ptr %19, align 8, !tbaa !5
  %122 = load ptr, ptr %19, align 8, !tbaa !5
  %123 = load ptr, ptr %19, align 8, !tbaa !5
  %124 = load ptr, ptr %19, align 8, !tbaa !5
  %125 = load ptr, ptr %14, align 8, !tbaa !5
  %126 = load ptr, ptr %15, align 8, !tbaa !5
  %127 = load ptr, ptr %16, align 8, !tbaa !5
  %128 = load ptr, ptr %17, align 8, !tbaa !5
  %129 = load ptr, ptr %28, align 8, !tbaa !32
  %130 = getelementptr inbounds ptr, ptr %129, i64 34
  %131 = load ptr, ptr %130, align 8
  %132 = call noundef i32 %131(ptr noundef nonnull align 8 dereferenceable(1064) %28, ptr noundef %120, ptr noundef %121, ptr noundef %122, ptr noundef %123, ptr noundef %124, i32 noundef 0, i32 noundef 0, ptr noundef %125, ptr noundef %126, ptr noundef %127, ptr noundef %128)
  store i32 %132, ptr %20, align 4, !tbaa !11
  %133 = load i32, ptr %20, align 4, !tbaa !11
  %134 = icmp ne i32 %133, 0
  br i1 %134, label %135, label %137

135:                                              ; preds = %119
  %136 = load i32, ptr %20, align 4, !tbaa !11
  store i32 %136, ptr %12, align 4, !tbaa !11
  br label %137

137:                                              ; preds = %135, %119
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #8
  store double 0.000000e+00, ptr %21, align 8, !tbaa !28
  store i32 0, ptr %6, align 4, !tbaa !9
  br label %138

138:                                              ; preds = %155, %137
  %139 = load i32, ptr %6, align 4, !tbaa !9
  %140 = load i32, ptr %9, align 4, !tbaa !9
  %141 = icmp slt i32 %139, %140
  br i1 %141, label %142, label %158

142:                                              ; preds = %138
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #8
  %143 = load ptr, ptr %16, align 8, !tbaa !5
  %144 = load i32, ptr %6, align 4, !tbaa !9
  %145 = sext i32 %144 to i64
  %146 = getelementptr inbounds double, ptr %143, i64 %145
  %147 = load double, ptr %146, align 8, !tbaa !28
  %148 = call noundef double @_ZN7qpOASES6getAbsEd(double noundef %147)
  store double %148, ptr %22, align 8, !tbaa !28
  %149 = load double, ptr %21, align 8, !tbaa !28
  %150 = load double, ptr %22, align 8, !tbaa !28
  %151 = fcmp olt double %149, %150
  br i1 %151, label %152, label %154

152:                                              ; preds = %142
  %153 = load double, ptr %22, align 8, !tbaa !28
  store double %153, ptr %21, align 8, !tbaa !28
  br label %154

154:                                              ; preds = %152, %142
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #8
  br label %155

155:                                              ; preds = %154
  %156 = load i32, ptr %6, align 4, !tbaa !9
  %157 = add nsw i32 %156, 1
  store i32 %157, ptr %6, align 4, !tbaa !9
  br label %138, !llvm.loop !34

158:                                              ; preds = %138
  store i32 0, ptr %6, align 4, !tbaa !9
  br label %159

159:                                              ; preds = %176, %158
  %160 = load i32, ptr %6, align 4, !tbaa !9
  %161 = load i32, ptr %10, align 4, !tbaa !9
  %162 = icmp slt i32 %160, %161
  br i1 %162, label %163, label %179

163:                                              ; preds = %159
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #8
  %164 = load ptr, ptr %17, align 8, !tbaa !5
  %165 = load i32, ptr %6, align 4, !tbaa !9
  %166 = sext i32 %165 to i64
  %167 = getelementptr inbounds double, ptr %164, i64 %166
  %168 = load double, ptr %167, align 8, !tbaa !28
  %169 = call noundef double @_ZN7qpOASES6getAbsEd(double noundef %168)
  store double %169, ptr %23, align 8, !tbaa !28
  %170 = load double, ptr %21, align 8, !tbaa !28
  %171 = load double, ptr %23, align 8, !tbaa !28
  %172 = fcmp olt double %170, %171
  br i1 %172, label %173, label %175

173:                                              ; preds = %163
  %174 = load double, ptr %23, align 8, !tbaa !28
  store double %174, ptr %21, align 8, !tbaa !28
  br label %175

175:                                              ; preds = %173, %163
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #8
  br label %176

176:                                              ; preds = %175
  %177 = load i32, ptr %6, align 4, !tbaa !9
  %178 = add nsw i32 %177, 1
  store i32 %178, ptr %6, align 4, !tbaa !9
  br label %159, !llvm.loop !35

179:                                              ; preds = %159
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #8
  store double 0.000000e+00, ptr %24, align 8, !tbaa !28
  store i32 0, ptr %6, align 4, !tbaa !9
  br label %180

180:                                              ; preds = %197, %179
  %181 = load i32, ptr %6, align 4, !tbaa !9
  %182 = load i32, ptr %10, align 4, !tbaa !9
  %183 = icmp slt i32 %181, %182
  br i1 %183, label %184, label %200

184:                                              ; preds = %180
  call void @llvm.lifetime.start.p0(i64 8, ptr %25) #8
  %185 = load ptr, ptr %14, align 8, !tbaa !5
  %186 = load i32, ptr %6, align 4, !tbaa !9
  %187 = sext i32 %186 to i64
  %188 = getelementptr inbounds double, ptr %185, i64 %187
  %189 = load double, ptr %188, align 8, !tbaa !28
  %190 = call noundef double @_ZN7qpOASES6getAbsEd(double noundef %189)
  store double %190, ptr %25, align 8, !tbaa !28
  %191 = load double, ptr %24, align 8, !tbaa !28
  %192 = load double, ptr %25, align 8, !tbaa !28
  %193 = fcmp olt double %191, %192
  br i1 %193, label %194, label %196

194:                                              ; preds = %184
  %195 = load double, ptr %25, align 8, !tbaa !28
  store double %195, ptr %24, align 8, !tbaa !28
  br label %196

196:                                              ; preds = %194, %184
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #8
  br label %197

197:                                              ; preds = %196
  %198 = load i32, ptr %6, align 4, !tbaa !9
  %199 = add nsw i32 %198, 1
  store i32 %199, ptr %6, align 4, !tbaa !9
  br label %180, !llvm.loop !36

200:                                              ; preds = %180
  store i32 0, ptr %6, align 4, !tbaa !9
  br label %201

201:                                              ; preds = %218, %200
  %202 = load i32, ptr %6, align 4, !tbaa !9
  %203 = load i32, ptr %8, align 4, !tbaa !9
  %204 = icmp slt i32 %202, %203
  br i1 %204, label %205, label %221

205:                                              ; preds = %201
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #8
  %206 = load ptr, ptr %15, align 8, !tbaa !5
  %207 = load i32, ptr %6, align 4, !tbaa !9
  %208 = sext i32 %207 to i64
  %209 = getelementptr inbounds double, ptr %206, i64 %208
  %210 = load double, ptr %209, align 8, !tbaa !28
  %211 = call noundef double @_ZN7qpOASES6getAbsEd(double noundef %210)
  store double %211, ptr %26, align 8, !tbaa !28
  %212 = load double, ptr %24, align 8, !tbaa !28
  %213 = load double, ptr %26, align 8, !tbaa !28
  %214 = fcmp olt double %212, %213
  br i1 %214, label %215, label %217

215:                                              ; preds = %205
  %216 = load double, ptr %26, align 8, !tbaa !28
  store double %216, ptr %24, align 8, !tbaa !28
  br label %217

217:                                              ; preds = %215, %205
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #8
  br label %218

218:                                              ; preds = %217
  %219 = load i32, ptr %6, align 4, !tbaa !9
  %220 = add nsw i32 %219, 1
  store i32 %220, ptr %6, align 4, !tbaa !9
  br label %201, !llvm.loop !37

221:                                              ; preds = %201
  %222 = load double, ptr %24, align 8, !tbaa !28
  %223 = getelementptr inbounds %"class.qpOASES::QProblemB", ptr %28, i32 0, i32 23
  %224 = getelementptr inbounds %"class.qpOASES::Options", ptr %223, i32 0, i32 30
  %225 = load double, ptr %224, align 8, !tbaa !38
  %226 = load double, ptr %21, align 8, !tbaa !28
  %227 = fmul double %225, %226
  %228 = fcmp ogt double %222, %227
  br i1 %228, label %229, label %230

229:                                              ; preds = %221
  store i32 89, ptr %12, align 4, !tbaa !11
  br label %230

230:                                              ; preds = %229, %221
  %231 = load ptr, ptr %19, 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 %17, 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
  %239 = load ptr, ptr %16, align 8, !tbaa !5
  %240 = icmp eq ptr %239, null
  br i1 %240, label %242, label %241

241:                                              ; preds = %238
  call void @_ZdaPv(ptr noundef %239) #10
  br label %242

242:                                              ; preds = %241, %238
  %243 = load ptr, ptr %15, align 8, !tbaa !5
  %244 = icmp eq ptr %243, null
  br i1 %244, label %246, label %245

245:                                              ; preds = %242
  call void @_ZdaPv(ptr noundef %243) #10
  br label %246

246:                                              ; preds = %245, %242
  %247 = load ptr, ptr %14, align 8, !tbaa !5
  %248 = icmp eq ptr %247, null
  br i1 %248, label %250, label %249

249:                                              ; preds = %246
  call void @_ZdaPv(ptr noundef %247) #10
  br label %250

250:                                              ; preds = %249, %246
  %251 = load ptr, ptr %13, align 8, !tbaa !5
  %252 = icmp eq ptr %251, null
  br i1 %252, label %254, label %253

253:                                              ; preds = %250
  call void @_ZdaPv(ptr noundef %251) #10
  br label %254

254:                                              ; preds = %253, %250
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #8
  br label %286

255:                                              ; preds = %2
  call void @llvm.lifetime.start.p0(i64 4, ptr %27) #8
  %256 = load ptr, ptr %28, align 8, !tbaa !32
  %257 = getelementptr inbounds ptr, ptr %256, i64 7
  %258 = load ptr, ptr %257, align 8
  %259 = call noundef i32 %258(ptr noundef nonnull align 8 dereferenceable(1064) %28)
  store i32 %259, ptr %27, align 4, !tbaa !9
  store i32 0, ptr %5, align 4, !tbaa !9
  br label %260

260:                                              ; preds = %282, %255
  %261 = load i32, ptr %5, align 4, !tbaa !9
  %262 = load i32, ptr %27, align 4, !tbaa !9
  %263 = icmp slt i32 %261, %262
  br i1 %263, label %264, label %285

264:                                              ; preds = %260
  %265 = getelementptr inbounds %"class.qpOASES::QProblem", ptr %28, i32 0, i32 7
  %266 = load ptr, ptr %265, align 8, !tbaa !39
  %267 = load i32, ptr %4, align 4, !tbaa !9
  %268 = load i32, ptr %7, align 4, !tbaa !9
  %269 = load i32, ptr %5, align 4, !tbaa !9
  %270 = mul nsw i32 %268, %269
  %271 = add nsw i32 %267, %270
  %272 = sext i32 %271 to i64
  %273 = getelementptr inbounds double, ptr %266, i64 %272
  %274 = load double, ptr %273, align 8, !tbaa !28
  %275 = call noundef double @_ZN7qpOASES6getAbsEd(double noundef %274)
  %276 = getelementptr inbounds %"class.qpOASES::QProblemB", ptr %28, i32 0, i32 23
  %277 = getelementptr inbounds %"class.qpOASES::Options", ptr %276, i32 0, i32 30
  %278 = load double, ptr %277, align 8, !tbaa !38
  %279 = fcmp ogt double %275, %278
  br i1 %279, label %280, label %281

280:                                              ; preds = %264
  store i32 89, ptr %12, align 4, !tbaa !11
  br label %285

281:                                              ; preds = %264
  br label %282

282:                                              ; preds = %281
  %283 = load i32, ptr %5, align 4, !tbaa !9
  %284 = add nsw i32 %283, 1
  store i32 %284, ptr %5, align 4, !tbaa !9
  br label %260, !llvm.loop !41

285:                                              ; preds = %280, %260
  call void @llvm.lifetime.end.p0(i64 4, ptr %27) #8
  br label %286

286:                                              ; preds = %285, %254
  %287 = call noundef ptr @_ZN7qpOASES23getGlobalMessageHandlerEv()
  %288 = load i32, ptr %12, align 4, !tbaa !11
  %289 = call noundef i32 @_ZN7qpOASES15MessageHandling9throwInfoENS_11returnValueEPKcS3_S3_mNS_16VisibilityStatusE(ptr noundef nonnull align 8 dereferenceable(28) %287, i32 noundef %288, ptr noundef null, ptr noundef @.str, ptr noundef @.str.1, i64 noundef 3589, i32 noundef 1)
  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
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #8
  ret i32 %289
}

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #3 = { nobuiltin allocsize(0) "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { 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 = { 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 = { 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 #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, !15, i64 292}
!14 = !{!"_ZTSN7qpOASES9QProblemBE", !15, i64 8, !6, i64 16, !6, i64 24, !6, i64 32, !6, i64 40, !16, i64 48, !6, i64 168, !15, i64 176, !6, i64 184, !6, i64 192, !19, i64 200, !20, i64 208, !15, i64 212, !15, i64 216, !21, i64 220, !19, i64 224, !10, i64 232, !6, i64 240, !19, i64 248, !19, i64 256, !10, i64 264, !22, i64 272, !25, i64 496, !27, i64 768}
!15 = !{!"_ZTSN7qpOASES11BooleanTypeE", !7, i64 0}
!16 = !{!"_ZTSN7qpOASES6BoundsE", !17, i64 0, !18, i64 40, !18, i64 80}
!17 = !{!"_ZTSN7qpOASES9SubjectToE", !10, i64 8, !6, i64 16, !6, i64 24, !15, i64 32, !15, i64 36}
!18 = !{!"_ZTSN7qpOASES9IndexlistE", !6, i64 0, !6, i64 8, !10, i64 16, !10, i64 20, !10, i64 24, !10, i64 28, !10, i64 32}
!19 = !{!"double", !7, i64 0}
!20 = !{!"_ZTSN7qpOASES14QProblemStatusE", !7, i64 0}
!21 = !{!"_ZTSN7qpOASES11HessianTypeE", !7, i64 0}
!22 = !{!"_ZTSN7qpOASES7OptionsE", !23, i64 0, !15, i64 4, !15, i64 8, !15, i64 12, !15, i64 16, !15, i64 20, !15, i64 24, !10, i64 28, !10, i64 32, !15, i64 36, !19, i64 40, !19, i64 48, !19, i64 56, !19, i64 64, !19, i64 72, !19, i64 80, !19, i64 88, !19, i64 96, !19, i64 104, !19, i64 112, !19, i64 120, !24, i64 128, !19, i64 136, !10, i64 144, !19, i64 152, !10, i64 160, !19, i64 168, !19, i64 176, !19, i64 184, !19, i64 192, !15, i64 200, !15, i64 204, !10, i64 208, !10, i64 212, !10, i64 216}
!23 = !{!"_ZTSN7qpOASES10PrintLevelE", !7, i64 0}
!24 = !{!"_ZTSN7qpOASES15SubjectToStatusE", !7, i64 0}
!25 = !{!"_ZTSN7qpOASES7FlipperE", !10, i64 0, !10, i64 4, !16, i64 8, !26, i64 128, !6, i64 248, !6, i64 256, !6, i64 264}
!26 = !{!"_ZTSN7qpOASES11ConstraintsE", !17, i64 0, !18, i64 40, !18, i64 80}
!27 = !{!"_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}
!28 = !{!19, !19, i64 0}
!29 = distinct !{!29, !30}
!30 = !{!"llvm.loop.mustprogress"}
!31 = distinct !{!31, !30}
!32 = !{!33, !33, i64 0}
!33 = !{!"vtable pointer", !8, i64 0}
!34 = distinct !{!34, !30}
!35 = distinct !{!35, !30}
!36 = distinct !{!36, !30}
!37 = distinct !{!37, !30}
!38 = !{!14, !19, i64 448}
!39 = !{!40, !6, i64 960}
!40 = !{!"_ZTSN7qpOASES8QProblemE", !14, i64 0, !15, i64 800, !6, i64 808, !6, i64 816, !6, i64 824, !26, 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}
!41 = distinct !{!41, !30}


; 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 [103 x i8], align 1

declare noundef ptr @_ZN7qpOASES23getGlobalMessageHandlerEv() local_unnamed_addr #0

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

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

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

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

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

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

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

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

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 #0

; Function Attrs: mustprogress uwtable
define dso_local noundef i32 @_ZN7qpOASES8QProblem16addBound_checkLIEi(ptr noundef nonnull align 8 dereferenceable(1064) %0, i32 noundef %1) unnamed_addr #5 align 2 {
  %3 = tail call noundef i32 @_ZNK7qpOASES9QProblemB5getNVEv(ptr noundef nonnull align 8 dereferenceable(800) %0)
  %4 = tail call noundef i32 @_ZNK7qpOASES9QProblemB6getNFREv(ptr noundef nonnull align 8 dereferenceable(800) %0)
  %5 = tail call noundef i32 @_ZNK7qpOASES8QProblem6getNACEv(ptr noundef nonnull align 8 dereferenceable(1064) %0)
  %6 = tail call noundef i32 @_ZNK7qpOASES9QProblemB6getNFXEv(ptr noundef nonnull align 8 dereferenceable(800) %0)
  %7 = tail call noundef i32 @_ZNK7qpOASES8QProblem5getNCEv(ptr noundef nonnull align 8 dereferenceable(1064) %0)
  %8 = getelementptr inbounds i8, ptr %0, i64 292
  %9 = load i32, ptr %8, align 4, !tbaa !5
  %.not = icmp eq i32 %9, 0
  br i1 %.not, label %69, label %10

10:                                               ; preds = %2
  %11 = zext i32 %3 to i64
  %12 = icmp slt i32 %3, 0
  %13 = shl nuw nsw i64 %11, 3
  %14 = select i1 %12, i64 -1, i64 %13
  %15 = tail call noalias noundef nonnull ptr @_Znam(i64 noundef %14) #8
  %16 = zext i32 %6 to i64
  %17 = icmp slt i32 %6, 0
  %18 = shl nuw nsw i64 %16, 3
  %19 = select i1 %17, i64 -1, i64 %18
  %20 = tail call noalias noundef nonnull ptr @_Znam(i64 noundef %19) #8
  %21 = zext i32 %4 to i64
  %22 = icmp slt i32 %4, 0
  %23 = shl nuw nsw i64 %21, 3
  %24 = select i1 %22, i64 -1, i64 %23
  %25 = tail call noalias noundef nonnull ptr @_Znam(i64 noundef %24) #8
  %26 = zext i32 %5 to i64
  %27 = icmp slt i32 %5, 0
  %28 = shl nuw nsw i64 %26, 3
  %29 = select i1 %27, i64 -1, i64 %28
  %30 = tail call noalias noundef nonnull ptr @_Znam(i64 noundef %29) #8
  %31 = tail call noalias noundef nonnull ptr @_Znam(i64 noundef %19) #8
  %32 = icmp sgt i32 %3, 0
  br i1 %32, label %.lr.ph.preheader, label %._crit_edge

.lr.ph.preheader:                                 ; preds = %10
  tail call void @llvm.memset.p0.i64(ptr nonnull align 8 %15, i8 0, i64 %13, i1 false), !tbaa !24
  br label %._crit_edge

._crit_edge:                                      ; preds = %.lr.ph.preheader, %10
  %33 = sext i32 %1 to i64
  %34 = getelementptr inbounds double, ptr %15, i64 %33
  store double 1.000000e+00, ptr %34, align 8, !tbaa !24
  %35 = tail call i32 @llvm.smax.i32(i32 %7, i32 %3)
  %36 = zext i32 %35 to i64
  %37 = icmp slt i32 %35, 0
  %38 = shl nuw nsw i64 %36, 3
  %39 = select i1 %37, i64 -1, i64 %38
  %40 = tail call noalias noundef nonnull ptr @_Znam(i64 noundef %39) #8
  %41 = icmp sgt i32 %35, 0
  br i1 %41, label %.lr.ph106.preheader, label %._crit_edge107

.lr.ph106.preheader:                              ; preds = %._crit_edge
  tail call void @llvm.memset.p0.i64(ptr nonnull align 8 %40, i8 0, i64 %38, i1 false), !tbaa !24
  br label %._crit_edge107

._crit_edge107:                                   ; preds = %.lr.ph106.preheader, %._crit_edge
  %42 = load ptr, ptr %0, align 8, !tbaa !25
  %43 = getelementptr inbounds i8, ptr %42, i64 272
  %44 = load ptr, ptr %43, align 8
  %45 = tail call noundef i32 %44(ptr noundef nonnull align 8 dereferenceable(1064) %0, ptr noundef nonnull %15, ptr noundef nonnull %40, ptr noundef nonnull %40, ptr noundef nonnull %40, ptr noundef nonnull %40, i32 noundef 0, i32 noundef 0, ptr noundef nonnull %20, ptr noundef nonnull %25, ptr noundef nonnull %30, ptr noundef nonnull %31)
  %.not100 = icmp eq i32 %45, 0
  %spec.select = select i1 %.not100, i32 88, i32 %45
  %46 = icmp sgt i32 %5, 0
  br i1 %46, label %.lr.ph111, label %.preheader102

.preheader102:                                    ; preds = %.lr.ph111, %._crit_edge107
  %.089.lcssa = phi double [ 0.000000e+00, %._crit_edge107 ], [ %.190, %.lr.ph111 ]
  %47 = icmp sgt i32 %6, 0
  br i1 %47, label %.lr.ph114, label %.preheader

.lr.ph111:                                        ; preds = %._crit_edge107, %.lr.ph111
  %indvars.iv = phi i64 [ %indvars.iv.next, %.lr.ph111 ], [ 0, %._crit_edge107 ]
  %.089108 = phi double [ %.190, %.lr.ph111 ], [ 0.000000e+00, %._crit_edge107 ]
  %48 = getelementptr inbounds double, ptr %30, i64 %indvars.iv
  %49 = load double, ptr %48, align 8, !tbaa !24
  %50 = tail call noundef double @_ZN7qpOASES6getAbsEd(double noundef %49)
  %51 = fcmp olt double %.089108, %50
  %.190 = select i1 %51, double %50, double %.089108
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next, %26
  br i1 %exitcond.not, label %.preheader102, label %.lr.ph111, !llvm.loop !27

.preheader101:                                    ; preds = %.lr.ph114
  br i1 %47, label %.lr.ph118, label %.preheader

.lr.ph114:                                        ; preds = %.preheader102, %.lr.ph114
  %indvars.iv134 = phi i64 [ %indvars.iv.next135, %.lr.ph114 ], [ 0, %.preheader102 ]
  %.291112 = phi double [ %.392, %.lr.ph114 ], [ %.089.lcssa, %.preheader102 ]
  %52 = getelementptr inbounds double, ptr %31, i64 %indvars.iv134
  %53 = load double, ptr %52, align 8, !tbaa !24
  %54 = tail call noundef double @_ZN7qpOASES6getAbsEd(double noundef %53)
  %55 = fcmp olt double %.291112, %54
  %.392 = select i1 %55, double %54, double %.291112
  %indvars.iv.next135 = add nuw nsw i64 %indvars.iv134, 1
  %exitcond138.not = icmp eq i64 %indvars.iv.next135, %16
  br i1 %exitcond138.not, label %.preheader101, label %.lr.ph114, !llvm.loop !29

.preheader:                                       ; preds = %.lr.ph118, %.preheader102, %.preheader101
  %.291.lcssa155 = phi double [ %.392, %.preheader101 ], [ %.089.lcssa, %.preheader102 ], [ %.392, %.lr.ph118 ]
  %.085.lcssa = phi double [ 0.000000e+00, %.preheader101 ], [ 0.000000e+00, %.preheader102 ], [ %.186, %.lr.ph118 ]
  %56 = icmp sgt i32 %4, 0
  br i1 %56, label %.lr.ph122, label %._crit_edge123

.lr.ph118:                                        ; preds = %.preheader101, %.lr.ph118
  %indvars.iv139 = phi i64 [ %indvars.iv.next140, %.lr.ph118 ], [ 0, %.preheader101 ]
  %.085116 = phi double [ %.186, %.lr.ph118 ], [ 0.000000e+00, %.preheader101 ]
  %57 = getelementptr inbounds double, ptr %20, i64 %indvars.iv139
  %58 = load double, ptr %57, align 8, !tbaa !24
  %59 = tail call noundef double @_ZN7qpOASES6getAbsEd(double noundef %58)
  %60 = fcmp olt double %.085116, %59
  %.186 = select i1 %60, double %59, double %.085116
  %indvars.iv.next140 = add nuw nsw i64 %indvars.iv139, 1
  %exitcond143.not = icmp eq i64 %indvars.iv.next140, %16
  br i1 %exitcond143.not, label %.preheader, label %.lr.ph118, !llvm.loop !30

.lr.ph122:                                        ; preds = %.preheader, %.lr.ph122
  %indvars.iv144 = phi i64 [ %indvars.iv.next145, %.lr.ph122 ], [ 0, %.preheader ]
  %.287120 = phi double [ %.388, %.lr.ph122 ], [ %.085.lcssa, %.preheader ]
  %61 = getelementptr inbounds double, ptr %25, i64 %indvars.iv144
  %62 = load double, ptr %61, align 8, !tbaa !24
  %63 = tail call noundef double @_ZN7qpOASES6getAbsEd(double noundef %62)
  %64 = fcmp olt double %.287120, %63
  %.388 = select i1 %64, double %63, double %.287120
  %indvars.iv.next145 = add nuw nsw i64 %indvars.iv144, 1
  %exitcond148.not = icmp eq i64 %indvars.iv.next145, %21
  br i1 %exitcond148.not, label %._crit_edge123, label %.lr.ph122, !llvm.loop !31

._crit_edge123:                                   ; preds = %.lr.ph122, %.preheader
  %.287.lcssa = phi double [ %.085.lcssa, %.preheader ], [ %.388, %.lr.ph122 ]
  %65 = getelementptr inbounds i8, ptr %0, i64 448
  %66 = load double, ptr %65, align 8, !tbaa !32
  %67 = fmul double %.291.lcssa155, %66
  %68 = fcmp ogt double %.287.lcssa, %67
  %.182 = select i1 %68, i32 89, i32 %spec.select
  tail call void @_ZdaPv(ptr noundef nonnull %40) #9
  tail call void @_ZdaPv(ptr noundef nonnull %31) #9
  tail call void @_ZdaPv(ptr noundef nonnull %30) #9
  tail call void @_ZdaPv(ptr noundef nonnull %25) #9
  tail call void @_ZdaPv(ptr noundef nonnull %20) #9
  tail call void @_ZdaPv(ptr noundef nonnull %15) #9
  br label %.loopexit

69:                                               ; preds = %2
  %70 = load ptr, ptr %0, align 8, !tbaa !25
  %71 = getelementptr inbounds i8, ptr %70, i64 56
  %72 = load ptr, ptr %71, align 8
  %73 = tail call noundef i32 %72(ptr noundef nonnull align 8 dereferenceable(1064) %0)
  %74 = getelementptr inbounds i8, ptr %0, i64 960
  %75 = icmp sgt i32 %73, 0
  br i1 %75, label %.lr.ph127, label %.loopexit

.lr.ph127:                                        ; preds = %69
  %76 = getelementptr inbounds i8, ptr %0, i64 448
  %77 = sext i32 %3 to i64
  %78 = sext i32 %1 to i64
  %wide.trip.count152 = zext nneg i32 %73 to i64
  br label %80

79:                                               ; preds = %80
  %indvars.iv.next150 = add nuw nsw i64 %indvars.iv149, 1
  %exitcond153.not = icmp eq i64 %indvars.iv.next150, %wide.trip.count152
  br i1 %exitcond153.not, label %.loopexit, label %80, !llvm.loop !33

80:                                               ; preds = %.lr.ph127, %79
  %indvars.iv149 = phi i64 [ 0, %.lr.ph127 ], [ %indvars.iv.next150, %79 ]
  %81 = load ptr, ptr %74, align 8, !tbaa !34
  %82 = mul nsw i64 %indvars.iv149, %77
  %83 = getelementptr double, ptr %81, i64 %82
  %84 = getelementptr double, ptr %83, i64 %78
  %85 = load double, ptr %84, align 8, !tbaa !24
  %86 = tail call noundef double @_ZN7qpOASES6getAbsEd(double noundef %85)
  %87 = load double, ptr %76, align 8, !tbaa !32
  %88 = fcmp ogt double %86, %87
  br i1 %88, label %.loopexit, label %79

.loopexit:                                        ; preds = %80, %79, %69, %._crit_edge123
  %.384 = phi i32 [ %.182, %._crit_edge123 ], [ 88, %69 ], [ 89, %80 ], [ 88, %79 ]
  %89 = tail call noundef ptr @_ZN7qpOASES23getGlobalMessageHandlerEv()
  %90 = tail call noundef i32 @_ZN7qpOASES15MessageHandling9throwInfoENS_11returnValueEPKcS3_S3_mNS_16VisibilityStatusE(ptr noundef nonnull align 8 dereferenceable(28) %89, i32 noundef %.384, ptr noundef null, ptr noundef nonnull @.str, ptr noundef nonnull @.str.1, i64 noundef 3589, i32 noundef 1)
  ret i32 %90
}

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

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

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


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