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

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

@.str.1 = external hidden unnamed_addr constant [28 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [107 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [10 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [10 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [12 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [12 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [14 x i8], align 1

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

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

; Function Attrs: nounwind
declare i32 @snprintf(ptr noundef, i64 noundef, ptr noundef, ...) #2

declare noundef ptr @_ZN7qpOASES23getGlobalMessageHandlerEv() #3

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

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

; Function Attrs: mustprogress uwtable
define dso_local noundef i32 @_ZN7qpOASES11readOqpDataEPKcRiS2_S2_S2_PPdS4_S4_S4_S4_S4_S4_S4_S4_S4_(ptr noundef %0, ptr noundef nonnull align 4 dereferenceable(4) %1, ptr noundef nonnull align 4 dereferenceable(4) %2, ptr noundef nonnull align 4 dereferenceable(4) %3, ptr noundef nonnull align 4 dereferenceable(4) %4, ptr noundef %5, ptr noundef %6, ptr noundef %7, ptr noundef %8, ptr noundef %9, ptr noundef %10, ptr noundef %11, ptr noundef %12, ptr noundef %13, ptr noundef %14) #0 {
  %16 = alloca i32, align 4
  %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 ptr, align 8
  %26 = alloca ptr, align 8
  %27 = alloca ptr, align 8
  %28 = alloca ptr, align 8
  %29 = alloca ptr, align 8
  %30 = alloca ptr, align 8
  %31 = alloca ptr, align 8
  %32 = alloca [160 x i8], align 16
  %33 = alloca i32, align 4
  store ptr %0, ptr %17, align 8, !tbaa !5
  store ptr %1, ptr %18, align 8, !tbaa !5
  store ptr %2, ptr %19, align 8, !tbaa !5
  store ptr %3, ptr %20, align 8, !tbaa !5
  store ptr %4, ptr %21, align 8, !tbaa !5
  store ptr %5, ptr %22, align 8, !tbaa !5
  store ptr %6, ptr %23, align 8, !tbaa !5
  store ptr %7, ptr %24, align 8, !tbaa !5
  store ptr %8, ptr %25, align 8, !tbaa !5
  store ptr %9, ptr %26, align 8, !tbaa !5
  store ptr %10, ptr %27, align 8, !tbaa !5
  store ptr %11, ptr %28, align 8, !tbaa !5
  store ptr %12, ptr %29, align 8, !tbaa !5
  store ptr %13, ptr %30, align 8, !tbaa !5
  store ptr %14, ptr %31, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 160, ptr %32) #7
  %34 = load ptr, ptr %22, align 8, !tbaa !5
  %35 = icmp eq ptr %34, null
  br i1 %35, label %45, label %36

36:                                               ; preds = %15
  %37 = load ptr, ptr %23, align 8, !tbaa !5
  %38 = icmp eq ptr %37, null
  br i1 %38, label %45, label %39

39:                                               ; preds = %36
  %40 = load ptr, ptr %25, align 8, !tbaa !5
  %41 = icmp eq ptr %40, null
  br i1 %41, label %45, label %42

42:                                               ; preds = %39
  %43 = load ptr, ptr %26, align 8, !tbaa !5
  %44 = icmp eq ptr %43, null
  br i1 %44, label %45, label %48

45:                                               ; preds = %42, %39, %36, %15
  %46 = call noundef ptr @_ZN7qpOASES23getGlobalMessageHandlerEv()
  %47 = call noundef i32 @_ZN7qpOASES15MessageHandling10throwErrorENS_11returnValueEPKcS3_S3_mNS_16VisibilityStatusE(ptr noundef nonnull align 8 dereferenceable(28) %46, i32 noundef 3, ptr noundef null, ptr noundef @.str.1, ptr noundef @.str.2, i64 noundef 89, i32 noundef 1)
  store i32 %47, ptr %16, align 4
  store i32 1, ptr %33, align 4
  br label %674

48:                                               ; preds = %42
  %49 = load ptr, ptr %17, align 8, !tbaa !5
  %50 = load ptr, ptr %18, align 8, !tbaa !5
  %51 = load ptr, ptr %19, align 8, !tbaa !5
  %52 = load ptr, ptr %20, align 8, !tbaa !5
  %53 = load ptr, ptr %21, align 8, !tbaa !5
  %54 = call noundef i32 @_ZN7qpOASES17readOqpDimensionsEPKcRiS2_S2_S2_(ptr noundef %49, ptr noundef nonnull align 4 dereferenceable(4) %50, ptr noundef nonnull align 4 dereferenceable(4) %51, ptr noundef nonnull align 4 dereferenceable(4) %52, ptr noundef nonnull align 4 dereferenceable(4) %53)
  %55 = icmp ne i32 %54, 0
  br i1 %55, label %56, label %59

56:                                               ; preds = %48
  %57 = call noundef ptr @_ZN7qpOASES23getGlobalMessageHandlerEv()
  %58 = call noundef i32 @_ZN7qpOASES15MessageHandling10throwErrorENS_11returnValueEPKcS3_S3_mNS_16VisibilityStatusE(ptr noundef nonnull align 8 dereferenceable(28) %57, i32 noundef 129, ptr noundef null, ptr noundef @.str.1, ptr noundef @.str.2, i64 noundef 94, i32 noundef 1)
  store i32 %58, ptr %16, align 4
  store i32 1, ptr %33, align 4
  br label %674

59:                                               ; preds = %48
  %60 = load ptr, ptr %20, align 8, !tbaa !5
  %61 = load i32, ptr %60, align 4, !tbaa !9
  %62 = icmp sgt i32 %61, 0
  br i1 %62, label %63, label %75

63:                                               ; preds = %59
  %64 = load ptr, ptr %24, align 8, !tbaa !5
  %65 = icmp eq ptr %64, null
  br i1 %65, label %72, label %66

66:                                               ; preds = %63
  %67 = load ptr, ptr %27, align 8, !tbaa !5
  %68 = icmp eq ptr %67, null
  br i1 %68, label %72, label %69

69:                                               ; preds = %66
  %70 = load ptr, ptr %28, align 8, !tbaa !5
  %71 = icmp eq ptr %70, null
  br i1 %71, label %72, label %75

72:                                               ; preds = %69, %66, %63
  %73 = call noundef ptr @_ZN7qpOASES23getGlobalMessageHandlerEv()
  %74 = call noundef i32 @_ZN7qpOASES15MessageHandling10throwErrorENS_11returnValueEPKcS3_S3_mNS_16VisibilityStatusE(ptr noundef nonnull align 8 dereferenceable(28) %73, i32 noundef 130, ptr noundef null, ptr noundef @.str.1, ptr noundef @.str.2, i64 noundef 99, i32 noundef 1)
  store i32 %74, ptr %16, align 4
  store i32 1, ptr %33, align 4
  br label %674

75:                                               ; preds = %69, %59
  %76 = load ptr, ptr %19, align 8, !tbaa !5
  %77 = load i32, ptr %76, align 4, !tbaa !9
  %78 = load ptr, ptr %19, align 8, !tbaa !5
  %79 = load i32, ptr %78, align 4, !tbaa !9
  %80 = mul nsw i32 %77, %79
  %81 = sext i32 %80 to i64
  %82 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %81, i64 8)
  %83 = extractvalue { i64, i1 } %82, 1
  %84 = extractvalue { i64, i1 } %82, 0
  %85 = select i1 %83, i64 -1, i64 %84
  %86 = call noalias noundef nonnull ptr @_Znam(i64 noundef %85) #8
  %87 = load ptr, ptr %22, align 8, !tbaa !5
  store ptr %86, ptr %87, align 8, !tbaa !5
  %88 = getelementptr inbounds [160 x i8], ptr %32, i64 0, i64 0
  %89 = load ptr, ptr %17, align 8, !tbaa !5
  %90 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %88, i64 noundef 160, ptr noundef @.str.3, ptr noundef %89) #7
  %91 = load ptr, ptr %22, align 8, !tbaa !5
  %92 = load ptr, ptr %91, align 8, !tbaa !5
  %93 = load ptr, ptr %19, align 8, !tbaa !5
  %94 = load i32, ptr %93, align 4, !tbaa !9
  %95 = load ptr, ptr %19, align 8, !tbaa !5
  %96 = load i32, ptr %95, align 4, !tbaa !9
  %97 = getelementptr inbounds [160 x i8], ptr %32, i64 0, i64 0
  %98 = call noundef i32 @_ZN7qpOASES12readFromFileEPdiiPKc(ptr noundef %92, i32 noundef %94, i32 noundef %96, ptr noundef %97)
  %99 = icmp ne i32 %98, 0
  br i1 %99, label %100, label %108

100:                                              ; preds = %75
  %101 = load ptr, ptr %22, align 8, !tbaa !5
  %102 = load ptr, ptr %101, align 8, !tbaa !5
  %103 = icmp eq ptr %102, null
  br i1 %103, label %105, label %104

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

105:                                              ; preds = %104, %100
  %106 = call noundef ptr @_ZN7qpOASES23getGlobalMessageHandlerEv()
  %107 = call noundef i32 @_ZN7qpOASES15MessageHandling10throwErrorENS_11returnValueEPKcS3_S3_mNS_16VisibilityStatusE(ptr noundef nonnull align 8 dereferenceable(28) %106, i32 noundef 129, ptr noundef null, ptr noundef @.str.1, ptr noundef @.str.2, i64 noundef 109, i32 noundef 1)
  store i32 %107, ptr %16, align 4
  store i32 1, ptr %33, align 4
  br label %674

108:                                              ; preds = %75
  %109 = load ptr, ptr %18, align 8, !tbaa !5
  %110 = load i32, ptr %109, align 4, !tbaa !9
  %111 = load ptr, ptr %19, align 8, !tbaa !5
  %112 = load i32, ptr %111, align 4, !tbaa !9
  %113 = mul nsw i32 %110, %112
  %114 = sext i32 %113 to i64
  %115 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %114, i64 8)
  %116 = extractvalue { i64, i1 } %115, 1
  %117 = extractvalue { i64, i1 } %115, 0
  %118 = select i1 %116, i64 -1, i64 %117
  %119 = call noalias noundef nonnull ptr @_Znam(i64 noundef %118) #8
  %120 = load ptr, ptr %23, align 8, !tbaa !5
  store ptr %119, ptr %120, align 8, !tbaa !5
  %121 = getelementptr inbounds [160 x i8], ptr %32, i64 0, i64 0
  %122 = load ptr, ptr %17, align 8, !tbaa !5
  %123 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %121, i64 noundef 160, ptr noundef @.str.4, ptr noundef %122) #7
  %124 = load ptr, ptr %23, align 8, !tbaa !5
  %125 = load ptr, ptr %124, align 8, !tbaa !5
  %126 = load ptr, ptr %18, align 8, !tbaa !5
  %127 = load i32, ptr %126, align 4, !tbaa !9
  %128 = load ptr, ptr %19, align 8, !tbaa !5
  %129 = load i32, ptr %128, align 4, !tbaa !9
  %130 = getelementptr inbounds [160 x i8], ptr %32, i64 0, i64 0
  %131 = call noundef i32 @_ZN7qpOASES12readFromFileEPdiiPKc(ptr noundef %125, i32 noundef %127, i32 noundef %129, ptr noundef %130)
  %132 = icmp ne i32 %131, 0
  br i1 %132, label %133, label %146

133:                                              ; preds = %108
  %134 = load ptr, ptr %23, align 8, !tbaa !5
  %135 = load ptr, ptr %134, align 8, !tbaa !5
  %136 = icmp eq ptr %135, null
  br i1 %136, label %138, label %137

137:                                              ; preds = %133
  call void @_ZdaPv(ptr noundef %135) #9
  br label %138

138:                                              ; preds = %137, %133
  %139 = load ptr, ptr %22, align 8, !tbaa !5
  %140 = load ptr, ptr %139, align 8, !tbaa !5
  %141 = icmp eq ptr %140, null
  br i1 %141, label %143, label %142

142:                                              ; preds = %138
  call void @_ZdaPv(ptr noundef %140) #9
  br label %143

143:                                              ; preds = %142, %138
  %144 = call noundef ptr @_ZN7qpOASES23getGlobalMessageHandlerEv()
  %145 = call noundef i32 @_ZN7qpOASES15MessageHandling10throwErrorENS_11returnValueEPKcS3_S3_mNS_16VisibilityStatusE(ptr noundef nonnull align 8 dereferenceable(28) %144, i32 noundef 129, ptr noundef null, ptr noundef @.str.1, ptr noundef @.str.2, i64 noundef 118, i32 noundef 1)
  store i32 %145, ptr %16, align 4
  store i32 1, ptr %33, align 4
  br label %674

146:                                              ; preds = %108
  %147 = load ptr, ptr %18, align 8, !tbaa !5
  %148 = load i32, ptr %147, align 4, !tbaa !9
  %149 = load ptr, ptr %19, align 8, !tbaa !5
  %150 = load i32, ptr %149, align 4, !tbaa !9
  %151 = mul nsw i32 %148, %150
  %152 = sext i32 %151 to i64
  %153 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %152, i64 8)
  %154 = extractvalue { i64, i1 } %153, 1
  %155 = extractvalue { i64, i1 } %153, 0
  %156 = select i1 %154, i64 -1, i64 %155
  %157 = call noalias noundef nonnull ptr @_Znam(i64 noundef %156) #8
  %158 = load ptr, ptr %25, align 8, !tbaa !5
  store ptr %157, ptr %158, align 8, !tbaa !5
  %159 = getelementptr inbounds [160 x i8], ptr %32, i64 0, i64 0
  %160 = load ptr, ptr %17, align 8, !tbaa !5
  %161 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %159, i64 noundef 160, ptr noundef @.str.5, ptr noundef %160) #7
  %162 = load ptr, ptr %25, align 8, !tbaa !5
  %163 = load ptr, ptr %162, align 8, !tbaa !5
  %164 = load ptr, ptr %18, align 8, !tbaa !5
  %165 = load i32, ptr %164, align 4, !tbaa !9
  %166 = load ptr, ptr %19, align 8, !tbaa !5
  %167 = load i32, ptr %166, align 4, !tbaa !9
  %168 = getelementptr inbounds [160 x i8], ptr %32, i64 0, i64 0
  %169 = call noundef i32 @_ZN7qpOASES12readFromFileEPdiiPKc(ptr noundef %163, i32 noundef %165, i32 noundef %167, ptr noundef %168)
  %170 = icmp ne i32 %169, 0
  br i1 %170, label %171, label %189

171:                                              ; preds = %146
  %172 = load ptr, ptr %25, align 8, !tbaa !5
  %173 = load ptr, ptr %172, align 8, !tbaa !5
  %174 = icmp eq ptr %173, null
  br i1 %174, label %176, label %175

175:                                              ; preds = %171
  call void @_ZdaPv(ptr noundef %173) #9
  br label %176

176:                                              ; preds = %175, %171
  %177 = load ptr, ptr %23, align 8, !tbaa !5
  %178 = load ptr, ptr %177, align 8, !tbaa !5
  %179 = icmp eq ptr %178, null
  br i1 %179, label %181, label %180

180:                                              ; preds = %176
  call void @_ZdaPv(ptr noundef %178) #9
  br label %181

181:                                              ; preds = %180, %176
  %182 = load ptr, ptr %22, align 8, !tbaa !5
  %183 = load ptr, ptr %182, align 8, !tbaa !5
  %184 = icmp eq ptr %183, null
  br i1 %184, label %186, label %185

185:                                              ; preds = %181
  call void @_ZdaPv(ptr noundef %183) #9
  br label %186

186:                                              ; preds = %185, %181
  %187 = call noundef ptr @_ZN7qpOASES23getGlobalMessageHandlerEv()
  %188 = call noundef i32 @_ZN7qpOASES15MessageHandling10throwErrorENS_11returnValueEPKcS3_S3_mNS_16VisibilityStatusE(ptr noundef nonnull align 8 dereferenceable(28) %187, i32 noundef 129, ptr noundef null, ptr noundef @.str.1, ptr noundef @.str.2, i64 noundef 127, i32 noundef 1)
  store i32 %188, ptr %16, align 4
  store i32 1, ptr %33, align 4
  br label %674

189:                                              ; preds = %146
  %190 = load ptr, ptr %18, align 8, !tbaa !5
  %191 = load i32, ptr %190, align 4, !tbaa !9
  %192 = load ptr, ptr %19, align 8, !tbaa !5
  %193 = load i32, ptr %192, align 4, !tbaa !9
  %194 = mul nsw i32 %191, %193
  %195 = sext i32 %194 to i64
  %196 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %195, i64 8)
  %197 = extractvalue { i64, i1 } %196, 1
  %198 = extractvalue { i64, i1 } %196, 0
  %199 = select i1 %197, i64 -1, i64 %198
  %200 = call noalias noundef nonnull ptr @_Znam(i64 noundef %199) #8
  %201 = load ptr, ptr %26, align 8, !tbaa !5
  store ptr %200, ptr %201, align 8, !tbaa !5
  %202 = getelementptr inbounds [160 x i8], ptr %32, i64 0, i64 0
  %203 = load ptr, ptr %17, align 8, !tbaa !5
  %204 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %202, i64 noundef 160, ptr noundef @.str.6, ptr noundef %203) #7
  %205 = load ptr, ptr %26, align 8, !tbaa !5
  %206 = load ptr, ptr %205, align 8, !tbaa !5
  %207 = load ptr, ptr %18, align 8, !tbaa !5
  %208 = load i32, ptr %207, align 4, !tbaa !9
  %209 = load ptr, ptr %19, align 8, !tbaa !5
  %210 = load i32, ptr %209, align 4, !tbaa !9
  %211 = getelementptr inbounds [160 x i8], ptr %32, i64 0, i64 0
  %212 = call noundef i32 @_ZN7qpOASES12readFromFileEPdiiPKc(ptr noundef %206, i32 noundef %208, i32 noundef %210, ptr noundef %211)
  %213 = icmp ne i32 %212, 0
  br i1 %213, label %214, label %237

214:                                              ; preds = %189
  %215 = load ptr, ptr %26, align 8, !tbaa !5
  %216 = load ptr, ptr %215, align 8, !tbaa !5
  %217 = icmp eq ptr %216, null
  br i1 %217, label %219, label %218

218:                                              ; preds = %214
  call void @_ZdaPv(ptr noundef %216) #9
  br label %219

219:                                              ; preds = %218, %214
  %220 = load ptr, ptr %25, align 8, !tbaa !5
  %221 = load ptr, ptr %220, align 8, !tbaa !5
  %222 = icmp eq ptr %221, null
  br i1 %222, label %224, label %223

223:                                              ; preds = %219
  call void @_ZdaPv(ptr noundef %221) #9
  br label %224

224:                                              ; preds = %223, %219
  %225 = load ptr, ptr %23, align 8, !tbaa !5
  %226 = load ptr, ptr %225, align 8, !tbaa !5
  %227 = icmp eq ptr %226, null
  br i1 %227, label %229, label %228

228:                                              ; preds = %224
  call void @_ZdaPv(ptr noundef %226) #9
  br label %229

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

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

234:                                              ; preds = %233, %229
  %235 = call noundef ptr @_ZN7qpOASES23getGlobalMessageHandlerEv()
  %236 = call noundef i32 @_ZN7qpOASES15MessageHandling10throwErrorENS_11returnValueEPKcS3_S3_mNS_16VisibilityStatusE(ptr noundef nonnull align 8 dereferenceable(28) %235, i32 noundef 129, ptr noundef null, ptr noundef @.str.1, ptr noundef @.str.2, i64 noundef 136, i32 noundef 1)
  store i32 %236, ptr %16, align 4
  store i32 1, ptr %33, align 4
  br label %674

237:                                              ; preds = %189
  %238 = load ptr, ptr %20, align 8, !tbaa !5
  %239 = load i32, ptr %238, align 4, !tbaa !9
  %240 = icmp sgt i32 %239, 0
  br i1 %240, label %241, label %416

241:                                              ; preds = %237
  %242 = load ptr, ptr %20, align 8, !tbaa !5
  %243 = load i32, ptr %242, align 4, !tbaa !9
  %244 = load ptr, ptr %19, align 8, !tbaa !5
  %245 = load i32, ptr %244, align 4, !tbaa !9
  %246 = mul nsw i32 %243, %245
  %247 = sext i32 %246 to i64
  %248 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %247, i64 8)
  %249 = extractvalue { i64, i1 } %248, 1
  %250 = extractvalue { i64, i1 } %248, 0
  %251 = select i1 %249, i64 -1, i64 %250
  %252 = call noalias noundef nonnull ptr @_Znam(i64 noundef %251) #8
  %253 = load ptr, ptr %24, align 8, !tbaa !5
  store ptr %252, ptr %253, align 8, !tbaa !5
  %254 = getelementptr inbounds [160 x i8], ptr %32, i64 0, i64 0
  %255 = load ptr, ptr %17, align 8, !tbaa !5
  %256 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %254, i64 noundef 160, ptr noundef @.str.7, ptr noundef %255) #7
  %257 = load ptr, ptr %24, align 8, !tbaa !5
  %258 = load ptr, ptr %257, align 8, !tbaa !5
  %259 = load ptr, ptr %20, align 8, !tbaa !5
  %260 = load i32, ptr %259, align 4, !tbaa !9
  %261 = load ptr, ptr %19, align 8, !tbaa !5
  %262 = load i32, ptr %261, align 4, !tbaa !9
  %263 = getelementptr inbounds [160 x i8], ptr %32, i64 0, i64 0
  %264 = call noundef i32 @_ZN7qpOASES12readFromFileEPdiiPKc(ptr noundef %258, i32 noundef %260, i32 noundef %262, ptr noundef %263)
  %265 = icmp ne i32 %264, 0
  br i1 %265, label %266, label %294

266:                                              ; preds = %241
  %267 = load ptr, ptr %24, align 8, !tbaa !5
  %268 = load ptr, ptr %267, align 8, !tbaa !5
  %269 = icmp eq ptr %268, null
  br i1 %269, label %271, label %270

270:                                              ; preds = %266
  call void @_ZdaPv(ptr noundef %268) #9
  br label %271

271:                                              ; preds = %270, %266
  %272 = load ptr, ptr %26, align 8, !tbaa !5
  %273 = load ptr, ptr %272, align 8, !tbaa !5
  %274 = icmp eq ptr %273, null
  br i1 %274, label %276, label %275

275:                                              ; preds = %271
  call void @_ZdaPv(ptr noundef %273) #9
  br label %276

276:                                              ; preds = %275, %271
  %277 = load ptr, ptr %25, align 8, !tbaa !5
  %278 = load ptr, ptr %277, align 8, !tbaa !5
  %279 = icmp eq ptr %278, null
  br i1 %279, label %281, label %280

280:                                              ; preds = %276
  call void @_ZdaPv(ptr noundef %278) #9
  br label %281

281:                                              ; preds = %280, %276
  %282 = load ptr, ptr %23, align 8, !tbaa !5
  %283 = load ptr, ptr %282, align 8, !tbaa !5
  %284 = icmp eq ptr %283, null
  br i1 %284, label %286, label %285

285:                                              ; preds = %281
  call void @_ZdaPv(ptr noundef %283) #9
  br label %286

286:                                              ; preds = %285, %281
  %287 = load ptr, ptr %22, align 8, !tbaa !5
  %288 = load ptr, ptr %287, align 8, !tbaa !5
  %289 = icmp eq ptr %288, null
  br i1 %289, label %291, label %290

290:                                              ; preds = %286
  call void @_ZdaPv(ptr noundef %288) #9
  br label %291

291:                                              ; preds = %290, %286
  %292 = call noundef ptr @_ZN7qpOASES23getGlobalMessageHandlerEv()
  %293 = call noundef i32 @_ZN7qpOASES15MessageHandling10throwErrorENS_11returnValueEPKcS3_S3_mNS_16VisibilityStatusE(ptr noundef nonnull align 8 dereferenceable(28) %292, i32 noundef 129, ptr noundef null, ptr noundef @.str.1, ptr noundef @.str.2, i64 noundef 148, i32 noundef 1)
  store i32 %293, ptr %16, align 4
  store i32 1, ptr %33, align 4
  br label %674

294:                                              ; preds = %241
  %295 = load ptr, ptr %18, align 8, !tbaa !5
  %296 = load i32, ptr %295, align 4, !tbaa !9
  %297 = load ptr, ptr %20, align 8, !tbaa !5
  %298 = load i32, ptr %297, align 4, !tbaa !9
  %299 = mul nsw i32 %296, %298
  %300 = sext i32 %299 to i64
  %301 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %300, i64 8)
  %302 = extractvalue { i64, i1 } %301, 1
  %303 = extractvalue { i64, i1 } %301, 0
  %304 = select i1 %302, i64 -1, i64 %303
  %305 = call noalias noundef nonnull ptr @_Znam(i64 noundef %304) #8
  %306 = load ptr, ptr %27, align 8, !tbaa !5
  store ptr %305, ptr %306, align 8, !tbaa !5
  %307 = getelementptr inbounds [160 x i8], ptr %32, i64 0, i64 0
  %308 = load ptr, ptr %17, align 8, !tbaa !5
  %309 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %307, i64 noundef 160, ptr noundef @.str.8, ptr noundef %308) #7
  %310 = load ptr, ptr %27, align 8, !tbaa !5
  %311 = load ptr, ptr %310, align 8, !tbaa !5
  %312 = load ptr, ptr %18, align 8, !tbaa !5
  %313 = load i32, ptr %312, align 4, !tbaa !9
  %314 = load ptr, ptr %20, align 8, !tbaa !5
  %315 = load i32, ptr %314, align 4, !tbaa !9
  %316 = getelementptr inbounds [160 x i8], ptr %32, i64 0, i64 0
  %317 = call noundef i32 @_ZN7qpOASES12readFromFileEPdiiPKc(ptr noundef %311, i32 noundef %313, i32 noundef %315, ptr noundef %316)
  %318 = icmp ne i32 %317, 0
  br i1 %318, label %319, label %352

319:                                              ; preds = %294
  %320 = load ptr, ptr %27, align 8, !tbaa !5
  %321 = load ptr, ptr %320, align 8, !tbaa !5
  %322 = icmp eq ptr %321, null
  br i1 %322, label %324, label %323

323:                                              ; preds = %319
  call void @_ZdaPv(ptr noundef %321) #9
  br label %324

324:                                              ; preds = %323, %319
  %325 = load ptr, ptr %24, align 8, !tbaa !5
  %326 = load ptr, ptr %325, align 8, !tbaa !5
  %327 = icmp eq ptr %326, null
  br i1 %327, label %329, label %328

328:                                              ; preds = %324
  call void @_ZdaPv(ptr noundef %326) #9
  br label %329

329:                                              ; preds = %328, %324
  %330 = load ptr, ptr %26, align 8, !tbaa !5
  %331 = load ptr, ptr %330, align 8, !tbaa !5
  %332 = icmp eq ptr %331, null
  br i1 %332, label %334, label %333

333:                                              ; preds = %329
  call void @_ZdaPv(ptr noundef %331) #9
  br label %334

334:                                              ; preds = %333, %329
  %335 = load ptr, ptr %25, align 8, !tbaa !5
  %336 = load ptr, ptr %335, align 8, !tbaa !5
  %337 = icmp eq ptr %336, null
  br i1 %337, label %339, label %338

338:                                              ; preds = %334
  call void @_ZdaPv(ptr noundef %336) #9
  br label %339

339:                                              ; preds = %338, %334
  %340 = load ptr, ptr %23, align 8, !tbaa !5
  %341 = load ptr, ptr %340, align 8, !tbaa !5
  %342 = icmp eq ptr %341, null
  br i1 %342, label %344, label %343

343:                                              ; preds = %339
  call void @_ZdaPv(ptr noundef %341) #9
  br label %344

344:                                              ; preds = %343, %339
  %345 = load ptr, ptr %22, align 8, !tbaa !5
  %346 = load ptr, ptr %345, align 8, !tbaa !5
  %347 = icmp eq ptr %346, null
  br i1 %347, label %349, label %348

348:                                              ; preds = %344
  call void @_ZdaPv(ptr noundef %346) #9
  br label %349

349:                                              ; preds = %348, %344
  %350 = call noundef ptr @_ZN7qpOASES23getGlobalMessageHandlerEv()
  %351 = call noundef i32 @_ZN7qpOASES15MessageHandling10throwErrorENS_11returnValueEPKcS3_S3_mNS_16VisibilityStatusE(ptr noundef nonnull align 8 dereferenceable(28) %350, i32 noundef 129, ptr noundef null, ptr noundef @.str.1, ptr noundef @.str.2, i64 noundef 158, i32 noundef 1)
  store i32 %351, ptr %16, align 4
  store i32 1, ptr %33, align 4
  br label %674

352:                                              ; preds = %294
  %353 = load ptr, ptr %18, align 8, !tbaa !5
  %354 = load i32, ptr %353, align 4, !tbaa !9
  %355 = load ptr, ptr %20, align 8, !tbaa !5
  %356 = load i32, ptr %355, align 4, !tbaa !9
  %357 = mul nsw i32 %354, %356
  %358 = sext i32 %357 to i64
  %359 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %358, i64 8)
  %360 = extractvalue { i64, i1 } %359, 1
  %361 = extractvalue { i64, i1 } %359, 0
  %362 = select i1 %360, i64 -1, i64 %361
  %363 = call noalias noundef nonnull ptr @_Znam(i64 noundef %362) #8
  %364 = load ptr, ptr %28, align 8, !tbaa !5
  store ptr %363, ptr %364, align 8, !tbaa !5
  %365 = getelementptr inbounds [160 x i8], ptr %32, i64 0, i64 0
  %366 = load ptr, ptr %17, align 8, !tbaa !5
  %367 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %365, i64 noundef 160, ptr noundef @.str.9, ptr noundef %366) #7
  %368 = load ptr, ptr %28, align 8, !tbaa !5
  %369 = load ptr, ptr %368, align 8, !tbaa !5
  %370 = load ptr, ptr %18, align 8, !tbaa !5
  %371 = load i32, ptr %370, align 4, !tbaa !9
  %372 = load ptr, ptr %20, align 8, !tbaa !5
  %373 = load i32, ptr %372, align 4, !tbaa !9
  %374 = getelementptr inbounds [160 x i8], ptr %32, i64 0, i64 0
  %375 = call noundef i32 @_ZN7qpOASES12readFromFileEPdiiPKc(ptr noundef %369, i32 noundef %371, i32 noundef %373, ptr noundef %374)
  %376 = icmp ne i32 %375, 0
  br i1 %376, label %377, label %415

377:                                              ; preds = %352
  %378 = load ptr, ptr %28, align 8, !tbaa !5
  %379 = load ptr, ptr %378, align 8, !tbaa !5
  %380 = icmp eq ptr %379, null
  br i1 %380, label %382, label %381

381:                                              ; preds = %377
  call void @_ZdaPv(ptr noundef %379) #9
  br label %382

382:                                              ; preds = %381, %377
  %383 = load ptr, ptr %27, align 8, !tbaa !5
  %384 = load ptr, ptr %383, align 8, !tbaa !5
  %385 = icmp eq ptr %384, null
  br i1 %385, label %387, label %386

386:                                              ; preds = %382
  call void @_ZdaPv(ptr noundef %384) #9
  br label %387

387:                                              ; preds = %386, %382
  %388 = load ptr, ptr %24, align 8, !tbaa !5
  %389 = load ptr, ptr %388, align 8, !tbaa !5
  %390 = icmp eq ptr %389, null
  br i1 %390, label %392, label %391

391:                                              ; preds = %387
  call void @_ZdaPv(ptr noundef %389) #9
  br label %392

392:                                              ; preds = %391, %387
  %393 = load ptr, ptr %26, align 8, !tbaa !5
  %394 = load ptr, ptr %393, align 8, !tbaa !5
  %395 = icmp eq ptr %394, null
  br i1 %395, label %397, label %396

396:                                              ; preds = %392
  call void @_ZdaPv(ptr noundef %394) #9
  br label %397

397:                                              ; preds = %396, %392
  %398 = load ptr, ptr %25, align 8, !tbaa !5
  %399 = load ptr, ptr %398, align 8, !tbaa !5
  %400 = icmp eq ptr %399, null
  br i1 %400, label %402, label %401

401:                                              ; preds = %397
  call void @_ZdaPv(ptr noundef %399) #9
  br label %402

402:                                              ; preds = %401, %397
  %403 = load ptr, ptr %23, align 8, !tbaa !5
  %404 = load ptr, ptr %403, align 8, !tbaa !5
  %405 = icmp eq ptr %404, null
  br i1 %405, label %407, label %406

406:                                              ; preds = %402
  call void @_ZdaPv(ptr noundef %404) #9
  br label %407

407:                                              ; preds = %406, %402
  %408 = load ptr, ptr %22, align 8, !tbaa !5
  %409 = load ptr, ptr %408, align 8, !tbaa !5
  %410 = icmp eq ptr %409, null
  br i1 %410, label %412, label %411

411:                                              ; preds = %407
  call void @_ZdaPv(ptr noundef %409) #9
  br label %412

412:                                              ; preds = %411, %407
  %413 = call noundef ptr @_ZN7qpOASES23getGlobalMessageHandlerEv()
  %414 = call noundef i32 @_ZN7qpOASES15MessageHandling10throwErrorENS_11returnValueEPKcS3_S3_mNS_16VisibilityStatusE(ptr noundef nonnull align 8 dereferenceable(28) %413, i32 noundef 129, ptr noundef null, ptr noundef @.str.1, ptr noundef @.str.2, i64 noundef 168, i32 noundef 1)
  store i32 %414, ptr %16, align 4
  store i32 1, ptr %33, align 4
  br label %674

415:                                              ; preds = %352
  br label %420

416:                                              ; preds = %237
  %417 = load ptr, ptr %24, align 8, !tbaa !5
  store ptr null, ptr %417, align 8, !tbaa !5
  %418 = load ptr, ptr %27, align 8, !tbaa !5
  store ptr null, ptr %418, align 8, !tbaa !5
  %419 = load ptr, ptr %28, align 8, !tbaa !5
  store ptr null, ptr %419, align 8, !tbaa !5
  br label %420

420:                                              ; preds = %416, %415
  %421 = load ptr, ptr %29, align 8, !tbaa !5
  %422 = icmp ne ptr %421, null
  br i1 %422, label %423, label %496

423:                                              ; preds = %420
  %424 = load ptr, ptr %18, align 8, !tbaa !5
  %425 = load i32, ptr %424, align 4, !tbaa !9
  %426 = load ptr, ptr %19, align 8, !tbaa !5
  %427 = load i32, ptr %426, align 4, !tbaa !9
  %428 = mul nsw i32 %425, %427
  %429 = sext i32 %428 to i64
  %430 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %429, i64 8)
  %431 = extractvalue { i64, i1 } %430, 1
  %432 = extractvalue { i64, i1 } %430, 0
  %433 = select i1 %431, i64 -1, i64 %432
  %434 = call noalias noundef nonnull ptr @_Znam(i64 noundef %433) #8
  %435 = load ptr, ptr %29, align 8, !tbaa !5
  store ptr %434, ptr %435, align 8, !tbaa !5
  %436 = getelementptr inbounds [160 x i8], ptr %32, i64 0, i64 0
  %437 = load ptr, ptr %17, align 8, !tbaa !5
  %438 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %436, i64 noundef 160, ptr noundef @.str.10, ptr noundef %437) #7
  %439 = load ptr, ptr %29, align 8, !tbaa !5
  %440 = load ptr, ptr %439, align 8, !tbaa !5
  %441 = load ptr, ptr %18, align 8, !tbaa !5
  %442 = load i32, ptr %441, align 4, !tbaa !9
  %443 = load ptr, ptr %19, align 8, !tbaa !5
  %444 = load i32, ptr %443, align 4, !tbaa !9
  %445 = getelementptr inbounds [160 x i8], ptr %32, i64 0, i64 0
  %446 = call noundef i32 @_ZN7qpOASES12readFromFileEPdiiPKc(ptr noundef %440, i32 noundef %442, i32 noundef %444, ptr noundef %445)
  %447 = icmp ne i32 %446, 0
  br i1 %447, label %448, label %495

448:                                              ; preds = %423
  %449 = load ptr, ptr %29, align 8, !tbaa !5
  %450 = icmp eq ptr %449, null
  br i1 %450, label %452, label %451

451:                                              ; preds = %448
  call void @_ZdaPv(ptr noundef %449) #9
  br label %452

452:                                              ; preds = %451, %448
  %453 = load ptr, ptr %20, align 8, !tbaa !5
  %454 = load i32, ptr %453, align 4, !tbaa !9
  %455 = icmp sgt i32 %454, 0
  br i1 %455, label %456, label %472

456:                                              ; preds = %452
  %457 = load ptr, ptr %28, align 8, !tbaa !5
  %458 = load ptr, ptr %457, align 8, !tbaa !5
  %459 = icmp eq ptr %458, null
  br i1 %459, label %461, label %460

460:                                              ; preds = %456
  call void @_ZdaPv(ptr noundef %458) #9
  br label %461

461:                                              ; preds = %460, %456
  %462 = load ptr, ptr %27, align 8, !tbaa !5
  %463 = load ptr, ptr %462, align 8, !tbaa !5
  %464 = icmp eq ptr %463, null
  br i1 %464, label %466, label %465

465:                                              ; preds = %461
  call void @_ZdaPv(ptr noundef %463) #9
  br label %466

466:                                              ; preds = %465, %461
  %467 = load ptr, ptr %24, align 8, !tbaa !5
  %468 = load ptr, ptr %467, align 8, !tbaa !5
  %469 = icmp eq ptr %468, null
  br i1 %469, label %471, label %470

470:                                              ; preds = %466
  call void @_ZdaPv(ptr noundef %468) #9
  br label %471

471:                                              ; preds = %470, %466
  br label %472

472:                                              ; preds = %471, %452
  %473 = load ptr, ptr %26, align 8, !tbaa !5
  %474 = load ptr, ptr %473, align 8, !tbaa !5
  %475 = icmp eq ptr %474, null
  br i1 %475, label %477, label %476

476:                                              ; preds = %472
  call void @_ZdaPv(ptr noundef %474) #9
  br label %477

477:                                              ; preds = %476, %472
  %478 = load ptr, ptr %25, align 8, !tbaa !5
  %479 = load ptr, ptr %478, align 8, !tbaa !5
  %480 = icmp eq ptr %479, null
  br i1 %480, label %482, label %481

481:                                              ; preds = %477
  call void @_ZdaPv(ptr noundef %479) #9
  br label %482

482:                                              ; preds = %481, %477
  %483 = load ptr, ptr %23, align 8, !tbaa !5
  %484 = load ptr, ptr %483, align 8, !tbaa !5
  %485 = icmp eq ptr %484, null
  br i1 %485, label %487, label %486

486:                                              ; preds = %482
  call void @_ZdaPv(ptr noundef %484) #9
  br label %487

487:                                              ; preds = %486, %482
  %488 = load ptr, ptr %22, align 8, !tbaa !5
  %489 = load ptr, ptr %488, align 8, !tbaa !5
  %490 = icmp eq ptr %489, null
  br i1 %490, label %492, label %491

491:                                              ; preds = %487
  call void @_ZdaPv(ptr noundef %489) #9
  br label %492

492:                                              ; preds = %491, %487
  %493 = call noundef ptr @_ZN7qpOASES23getGlobalMessageHandlerEv()
  %494 = call noundef i32 @_ZN7qpOASES15MessageHandling10throwErrorENS_11returnValueEPKcS3_S3_mNS_16VisibilityStatusE(ptr noundef nonnull align 8 dereferenceable(28) %493, i32 noundef 129, ptr noundef null, ptr noundef @.str.1, ptr noundef @.str.2, i64 noundef 188, i32 noundef 1)
  store i32 %494, ptr %16, align 4
  store i32 1, ptr %33, align 4
  br label %674

495:                                              ; preds = %423
  br label %496

496:                                              ; preds = %495, %420
  %497 = load ptr, ptr %30, align 8, !tbaa !5
  %498 = icmp ne ptr %497, null
  br i1 %498, label %499, label %586

499:                                              ; preds = %496
  %500 = load ptr, ptr %18, align 8, !tbaa !5
  %501 = load i32, ptr %500, align 4, !tbaa !9
  %502 = load ptr, ptr %19, align 8, !tbaa !5
  %503 = load i32, ptr %502, align 4, !tbaa !9
  %504 = load ptr, ptr %20, align 8, !tbaa !5
  %505 = load i32, ptr %504, align 4, !tbaa !9
  %506 = add nsw i32 %503, %505
  %507 = mul nsw i32 %501, %506
  %508 = sext i32 %507 to i64
  %509 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %508, i64 8)
  %510 = extractvalue { i64, i1 } %509, 1
  %511 = extractvalue { i64, i1 } %509, 0
  %512 = select i1 %510, i64 -1, i64 %511
  %513 = call noalias noundef nonnull ptr @_Znam(i64 noundef %512) #8
  %514 = load ptr, ptr %30, align 8, !tbaa !5
  store ptr %513, ptr %514, align 8, !tbaa !5
  %515 = getelementptr inbounds [160 x i8], ptr %32, i64 0, i64 0
  %516 = load ptr, ptr %17, align 8, !tbaa !5
  %517 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %515, i64 noundef 160, ptr noundef @.str.11, ptr noundef %516) #7
  %518 = load ptr, ptr %30, align 8, !tbaa !5
  %519 = load ptr, ptr %518, align 8, !tbaa !5
  %520 = load ptr, ptr %18, align 8, !tbaa !5
  %521 = load i32, ptr %520, align 4, !tbaa !9
  %522 = load ptr, ptr %19, align 8, !tbaa !5
  %523 = load i32, ptr %522, align 4, !tbaa !9
  %524 = load ptr, ptr %20, align 8, !tbaa !5
  %525 = load i32, ptr %524, align 4, !tbaa !9
  %526 = add nsw i32 %523, %525
  %527 = getelementptr inbounds [160 x i8], ptr %32, i64 0, i64 0
  %528 = call noundef i32 @_ZN7qpOASES12readFromFileEPdiiPKc(ptr noundef %519, i32 noundef %521, i32 noundef %526, ptr noundef %527)
  %529 = icmp ne i32 %528, 0
  br i1 %529, label %530, label %585

530:                                              ; preds = %499
  %531 = load ptr, ptr %30, align 8, !tbaa !5
  %532 = icmp eq ptr %531, null
  br i1 %532, label %534, label %533

533:                                              ; preds = %530
  call void @_ZdaPv(ptr noundef %531) #9
  br label %534

534:                                              ; preds = %533, %530
  %535 = load ptr, ptr %29, align 8, !tbaa !5
  %536 = icmp ne ptr %535, null
  br i1 %536, label %537, label %542

537:                                              ; preds = %534
  %538 = load ptr, ptr %29, align 8, !tbaa !5
  %539 = icmp eq ptr %538, null
  br i1 %539, label %541, label %540

540:                                              ; preds = %537
  call void @_ZdaPv(ptr noundef %538) #9
  br label %541

541:                                              ; preds = %540, %537
  br label %542

542:                                              ; preds = %541, %534
  %543 = load ptr, ptr %20, align 8, !tbaa !5
  %544 = load i32, ptr %543, align 4, !tbaa !9
  %545 = icmp sgt i32 %544, 0
  br i1 %545, label %546, label %562

546:                                              ; preds = %542
  %547 = load ptr, ptr %28, align 8, !tbaa !5
  %548 = load ptr, ptr %547, align 8, !tbaa !5
  %549 = icmp eq ptr %548, null
  br i1 %549, label %551, label %550

550:                                              ; preds = %546
  call void @_ZdaPv(ptr noundef %548) #9
  br label %551

551:                                              ; preds = %550, %546
  %552 = load ptr, ptr %27, align 8, !tbaa !5
  %553 = load ptr, ptr %552, align 8, !tbaa !5
  %554 = icmp eq ptr %553, null
  br i1 %554, label %556, label %555

555:                                              ; preds = %551
  call void @_ZdaPv(ptr noundef %553) #9
  br label %556

556:                                              ; preds = %555, %551
  %557 = load ptr, ptr %24, align 8, !tbaa !5
  %558 = load ptr, ptr %557, align 8, !tbaa !5
  %559 = icmp eq ptr %558, null
  br i1 %559, label %561, label %560

560:                                              ; preds = %556
  call void @_ZdaPv(ptr noundef %558) #9
  br label %561

561:                                              ; preds = %560, %556
  br label %562

562:                                              ; preds = %561, %542
  %563 = load ptr, ptr %26, align 8, !tbaa !5
  %564 = load ptr, ptr %563, align 8, !tbaa !5
  %565 = icmp eq ptr %564, null
  br i1 %565, label %567, label %566

566:                                              ; preds = %562
  call void @_ZdaPv(ptr noundef %564) #9
  br label %567

567:                                              ; preds = %566, %562
  %568 = load ptr, ptr %25, align 8, !tbaa !5
  %569 = load ptr, ptr %568, align 8, !tbaa !5
  %570 = icmp eq ptr %569, null
  br i1 %570, label %572, label %571

571:                                              ; preds = %567
  call void @_ZdaPv(ptr noundef %569) #9
  br label %572

572:                                              ; preds = %571, %567
  %573 = load ptr, ptr %23, align 8, !tbaa !5
  %574 = load ptr, ptr %573, align 8, !tbaa !5
  %575 = icmp eq ptr %574, null
  br i1 %575, label %577, label %576

576:                                              ; preds = %572
  call void @_ZdaPv(ptr noundef %574) #9
  br label %577

577:                                              ; preds = %576, %572
  %578 = load ptr, ptr %22, align 8, !tbaa !5
  %579 = load ptr, ptr %578, align 8, !tbaa !5
  %580 = icmp eq ptr %579, null
  br i1 %580, label %582, label %581

581:                                              ; preds = %577
  call void @_ZdaPv(ptr noundef %579) #9
  br label %582

582:                                              ; preds = %581, %577
  %583 = call noundef ptr @_ZN7qpOASES23getGlobalMessageHandlerEv()
  %584 = call noundef i32 @_ZN7qpOASES15MessageHandling10throwErrorENS_11returnValueEPKcS3_S3_mNS_16VisibilityStatusE(ptr noundef nonnull align 8 dereferenceable(28) %583, i32 noundef 129, ptr noundef null, ptr noundef @.str.1, ptr noundef @.str.2, i64 noundef 203, i32 noundef 1)
  store i32 %584, ptr %16, align 4
  store i32 1, ptr %33, align 4
  br label %674

585:                                              ; preds = %499
  br label %586

586:                                              ; preds = %585, %496
  %587 = load ptr, ptr %31, align 8, !tbaa !5
  %588 = icmp ne ptr %587, null
  br i1 %588, label %589, label %673

589:                                              ; preds = %586
  %590 = load ptr, ptr %18, align 8, !tbaa !5
  %591 = load i32, ptr %590, align 4, !tbaa !9
  %592 = sext i32 %591 to i64
  %593 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %592, i64 8)
  %594 = extractvalue { i64, i1 } %593, 1
  %595 = extractvalue { i64, i1 } %593, 0
  %596 = select i1 %594, i64 -1, i64 %595
  %597 = call noalias noundef nonnull ptr @_Znam(i64 noundef %596) #8
  %598 = load ptr, ptr %31, align 8, !tbaa !5
  store ptr %597, ptr %598, align 8, !tbaa !5
  %599 = getelementptr inbounds [160 x i8], ptr %32, i64 0, i64 0
  %600 = load ptr, ptr %17, align 8, !tbaa !5
  %601 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %599, i64 noundef 160, ptr noundef @.str.12, ptr noundef %600) #7
  %602 = load ptr, ptr %31, align 8, !tbaa !5
  %603 = load ptr, ptr %602, align 8, !tbaa !5
  %604 = load ptr, ptr %18, align 8, !tbaa !5
  %605 = load i32, ptr %604, align 4, !tbaa !9
  %606 = getelementptr inbounds [160 x i8], ptr %32, i64 0, i64 0
  %607 = call noundef i32 @_ZN7qpOASES12readFromFileEPdiiPKc(ptr noundef %603, i32 noundef %605, i32 noundef 1, ptr noundef %606)
  %608 = icmp ne i32 %607, 0
  br i1 %608, label %609, label %672

609:                                              ; preds = %589
  %610 = load ptr, ptr %31, align 8, !tbaa !5
  %611 = icmp eq ptr %610, null
  br i1 %611, label %613, label %612

612:                                              ; preds = %609
  call void @_ZdaPv(ptr noundef %610) #9
  br label %613

613:                                              ; preds = %612, %609
  %614 = load ptr, ptr %30, align 8, !tbaa !5
  %615 = icmp ne ptr %614, null
  br i1 %615, label %616, label %621

616:                                              ; preds = %613
  %617 = load ptr, ptr %30, align 8, !tbaa !5
  %618 = icmp eq ptr %617, null
  br i1 %618, label %620, label %619

619:                                              ; preds = %616
  call void @_ZdaPv(ptr noundef %617) #9
  br label %620

620:                                              ; preds = %619, %616
  br label %621

621:                                              ; preds = %620, %613
  %622 = load ptr, ptr %29, align 8, !tbaa !5
  %623 = icmp ne ptr %622, null
  br i1 %623, label %624, label %629

624:                                              ; preds = %621
  %625 = load ptr, ptr %29, align 8, !tbaa !5
  %626 = icmp eq ptr %625, null
  br i1 %626, label %628, label %627

627:                                              ; preds = %624
  call void @_ZdaPv(ptr noundef %625) #9
  br label %628

628:                                              ; preds = %627, %624
  br label %629

629:                                              ; preds = %628, %621
  %630 = load ptr, ptr %20, align 8, !tbaa !5
  %631 = load i32, ptr %630, align 4, !tbaa !9
  %632 = icmp sgt i32 %631, 0
  br i1 %632, label %633, label %649

633:                                              ; preds = %629
  %634 = load ptr, ptr %28, align 8, !tbaa !5
  %635 = load ptr, ptr %634, align 8, !tbaa !5
  %636 = icmp eq ptr %635, null
  br i1 %636, label %638, label %637

637:                                              ; preds = %633
  call void @_ZdaPv(ptr noundef %635) #9
  br label %638

638:                                              ; preds = %637, %633
  %639 = load ptr, ptr %27, align 8, !tbaa !5
  %640 = load ptr, ptr %639, align 8, !tbaa !5
  %641 = icmp eq ptr %640, null
  br i1 %641, label %643, label %642

642:                                              ; preds = %638
  call void @_ZdaPv(ptr noundef %640) #9
  br label %643

643:                                              ; preds = %642, %638
  %644 = load ptr, ptr %24, align 8, !tbaa !5
  %645 = load ptr, ptr %644, align 8, !tbaa !5
  %646 = icmp eq ptr %645, null
  br i1 %646, label %648, label %647

647:                                              ; preds = %643
  call void @_ZdaPv(ptr noundef %645) #9
  br label %648

648:                                              ; preds = %647, %643
  br label %649

649:                                              ; preds = %648, %629
  %650 = load ptr, ptr %26, align 8, !tbaa !5
  %651 = load ptr, ptr %650, align 8, !tbaa !5
  %652 = icmp eq ptr %651, null
  br i1 %652, label %654, label %653

653:                                              ; preds = %649
  call void @_ZdaPv(ptr noundef %651) #9
  br label %654

654:                                              ; preds = %653, %649
  %655 = load ptr, ptr %25, align 8, !tbaa !5
  %656 = load ptr, ptr %655, align 8, !tbaa !5
  %657 = icmp eq ptr %656, null
  br i1 %657, label %659, label %658

658:                                              ; preds = %654
  call void @_ZdaPv(ptr noundef %656) #9
  br label %659

659:                                              ; preds = %658, %654
  %660 = load ptr, ptr %23, align 8, !tbaa !5
  %661 = load ptr, ptr %660, align 8, !tbaa !5
  %662 = icmp eq ptr %661, null
  br i1 %662, label %664, label %663

663:                                              ; preds = %659
  call void @_ZdaPv(ptr noundef %661) #9
  br label %664

664:                                              ; preds = %663, %659
  %665 = load ptr, ptr %22, align 8, !tbaa !5
  %666 = load ptr, ptr %665, align 8, !tbaa !5
  %667 = icmp eq ptr %666, null
  br i1 %667, label %669, label %668

668:                                              ; preds = %664
  call void @_ZdaPv(ptr noundef %666) #9
  br label %669

669:                                              ; preds = %668, %664
  %670 = call noundef ptr @_ZN7qpOASES23getGlobalMessageHandlerEv()
  %671 = call noundef i32 @_ZN7qpOASES15MessageHandling10throwErrorENS_11returnValueEPKcS3_S3_mNS_16VisibilityStatusE(ptr noundef nonnull align 8 dereferenceable(28) %670, i32 noundef 129, ptr noundef null, ptr noundef @.str.1, ptr noundef @.str.2, i64 noundef 219, i32 noundef 1)
  store i32 %671, ptr %16, align 4
  store i32 1, ptr %33, align 4
  br label %674

672:                                              ; preds = %589
  br label %673

673:                                              ; preds = %672, %586
  store i32 0, ptr %16, align 4
  store i32 1, ptr %33, align 4
  br label %674

674:                                              ; preds = %673, %669, %582, %492, %412, %349, %291, %234, %186, %143, %105, %72, %56, %45
  call void @llvm.lifetime.end.p0(i64 160, ptr %32) #7
  %675 = load i32, ptr %16, align 4
  ret i32 %675
}

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

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

declare noundef i32 @_ZN7qpOASES12readFromFileEPdiiPKc(ptr noundef, i32 noundef, i32 noundef, ptr noundef) #3

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

attributes #0 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { 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 = { "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 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #5 = { 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 #6 = { 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 #7 = { nounwind }
attributes #8 = { builtin allocsize(0) }
attributes #9 = { builtin nounwind }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}


; 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.1 = external hidden unnamed_addr constant [28 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [107 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [10 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [10 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [12 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [12 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [14 x i8], align 1

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

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

; Function Attrs: nofree nounwind
declare noundef i32 @snprintf(ptr noalias nocapture noundef writeonly, i64 noundef, ptr nocapture noundef readonly, ...) local_unnamed_addr #2

declare noundef ptr @_ZN7qpOASES23getGlobalMessageHandlerEv() local_unnamed_addr #3

declare noundef i32 @_ZN7qpOASES15MessageHandling10throwErrorENS_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 #3

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

; Function Attrs: mustprogress uwtable
define dso_local noundef i32 @_ZN7qpOASES11readOqpDataEPKcRiS2_S2_S2_PPdS4_S4_S4_S4_S4_S4_S4_S4_S4_(ptr noundef %0, ptr noundef nonnull align 4 dereferenceable(4) %1, ptr noundef nonnull align 4 dereferenceable(4) %2, ptr noundef nonnull align 4 dereferenceable(4) %3, ptr noundef nonnull align 4 dereferenceable(4) %4, ptr noundef %5, ptr noundef %6, ptr noundef %7, ptr noundef %8, ptr noundef %9, ptr noundef %10, ptr noundef %11, ptr noundef %12, ptr noundef %13, ptr noundef %14) local_unnamed_addr #0 {
  %16 = alloca [160 x i8], align 16
  call void @llvm.lifetime.start.p0(i64 160, ptr nonnull %16) #6
  %17 = insertelement <4 x ptr> poison, ptr %5, i64 0
  %18 = insertelement <4 x ptr> %17, ptr %6, i64 1
  %19 = insertelement <4 x ptr> %18, ptr %8, i64 2
  %20 = insertelement <4 x ptr> %19, ptr %9, i64 3
  %21 = icmp eq <4 x ptr> %20, zeroinitializer
  %22 = bitcast <4 x i1> %21 to i4
  %.not231 = icmp eq i4 %22, 0
  br i1 %.not231, label %26, label %23

23:                                               ; preds = %15
  %24 = tail call noundef ptr @_ZN7qpOASES23getGlobalMessageHandlerEv()
  %25 = tail call noundef i32 @_ZN7qpOASES15MessageHandling10throwErrorENS_11returnValueEPKcS3_S3_mNS_16VisibilityStatusE(ptr noundef nonnull align 8 dereferenceable(28) %24, i32 noundef 3, ptr noundef null, ptr noundef nonnull @.str.1, ptr noundef nonnull @.str.2, i64 noundef 89, i32 noundef 1)
  br label %425

26:                                               ; preds = %15
  %27 = tail call noundef i32 @_ZN7qpOASES17readOqpDimensionsEPKcRiS2_S2_S2_(ptr noundef %0, ptr noundef nonnull align 4 dereferenceable(4) %1, ptr noundef nonnull align 4 dereferenceable(4) %2, ptr noundef nonnull align 4 dereferenceable(4) %3, ptr noundef nonnull align 4 dereferenceable(4) %4)
  %.not = icmp eq i32 %27, 0
  br i1 %.not, label %31, label %28

28:                                               ; preds = %26
  %29 = tail call noundef ptr @_ZN7qpOASES23getGlobalMessageHandlerEv()
  %30 = tail call noundef i32 @_ZN7qpOASES15MessageHandling10throwErrorENS_11returnValueEPKcS3_S3_mNS_16VisibilityStatusE(ptr noundef nonnull align 8 dereferenceable(28) %29, i32 noundef 129, ptr noundef null, ptr noundef nonnull @.str.1, ptr noundef nonnull @.str.2, i64 noundef 94, i32 noundef 1)
  br label %425

31:                                               ; preds = %26
  %32 = load i32, ptr %3, align 4, !tbaa !5
  %33 = icmp sgt i32 %32, 0
  br i1 %33, label %34, label %41

34:                                               ; preds = %31
  %35 = icmp eq ptr %7, null
  %36 = icmp eq ptr %10, null
  %or.cond7 = or i1 %35, %36
  %37 = icmp eq ptr %11, null
  %or.cond9 = or i1 %or.cond7, %37
  br i1 %or.cond9, label %38, label %41

38:                                               ; preds = %34
  %39 = tail call noundef ptr @_ZN7qpOASES23getGlobalMessageHandlerEv()
  %40 = tail call noundef i32 @_ZN7qpOASES15MessageHandling10throwErrorENS_11returnValueEPKcS3_S3_mNS_16VisibilityStatusE(ptr noundef nonnull align 8 dereferenceable(28) %39, i32 noundef 130, ptr noundef null, ptr noundef nonnull @.str.1, ptr noundef nonnull @.str.2, i64 noundef 99, i32 noundef 1)
  br label %425

41:                                               ; preds = %34, %31
  %42 = load i32, ptr %2, align 4, !tbaa !5
  %43 = mul nsw i32 %42, %42
  %44 = zext nneg i32 %43 to i64
  %45 = shl nuw nsw i64 %44, 3
  %46 = tail call noalias noundef nonnull ptr @_Znam(i64 noundef %45) #7
  store ptr %46, ptr %5, align 8, !tbaa !9
  %47 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %16, i64 noundef 160, ptr noundef nonnull @.str.3, ptr noundef %0) #6
  %48 = load ptr, ptr %5, align 8, !tbaa !9
  %49 = load i32, ptr %2, align 4, !tbaa !5
  %50 = call noundef i32 @_ZN7qpOASES12readFromFileEPdiiPKc(ptr noundef %48, i32 noundef %49, i32 noundef %49, ptr noundef nonnull %16)
  %.not218 = icmp eq i32 %50, 0
  br i1 %.not218, label %58, label %51

51:                                               ; preds = %41
  %52 = load ptr, ptr %5, align 8, !tbaa !9
  %53 = icmp eq ptr %52, null
  br i1 %53, label %55, label %54

54:                                               ; preds = %51
  call void @_ZdaPv(ptr noundef nonnull %52) #8
  br label %55

55:                                               ; preds = %54, %51
  %56 = call noundef ptr @_ZN7qpOASES23getGlobalMessageHandlerEv()
  %57 = call noundef i32 @_ZN7qpOASES15MessageHandling10throwErrorENS_11returnValueEPKcS3_S3_mNS_16VisibilityStatusE(ptr noundef nonnull align 8 dereferenceable(28) %56, i32 noundef 129, ptr noundef null, ptr noundef nonnull @.str.1, ptr noundef nonnull @.str.2, i64 noundef 109, i32 noundef 1)
  br label %425

58:                                               ; preds = %41
  %59 = load i32, ptr %1, align 4, !tbaa !5
  %60 = load i32, ptr %2, align 4, !tbaa !5
  %61 = mul nsw i32 %60, %59
  %62 = sext i32 %61 to i64
  %63 = icmp slt i32 %61, 0
  %64 = shl nsw i64 %62, 3
  %65 = select i1 %63, i64 -1, i64 %64
  %66 = call noalias noundef nonnull ptr @_Znam(i64 noundef %65) #7
  store ptr %66, ptr %6, align 8, !tbaa !9
  %67 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %16, i64 noundef 160, ptr noundef nonnull @.str.4, ptr noundef %0) #6
  %68 = load ptr, ptr %6, align 8, !tbaa !9
  %69 = load i32, ptr %1, align 4, !tbaa !5
  %70 = load i32, ptr %2, align 4, !tbaa !5
  %71 = call noundef i32 @_ZN7qpOASES12readFromFileEPdiiPKc(ptr noundef %68, i32 noundef %69, i32 noundef %70, ptr noundef nonnull %16)
  %.not219 = icmp eq i32 %71, 0
  br i1 %.not219, label %83, label %72

72:                                               ; preds = %58
  %73 = load ptr, ptr %6, align 8, !tbaa !9
  %74 = icmp eq ptr %73, null
  br i1 %74, label %76, label %75

75:                                               ; preds = %72
  call void @_ZdaPv(ptr noundef nonnull %73) #8
  br label %76

76:                                               ; preds = %75, %72
  %77 = load ptr, ptr %5, align 8, !tbaa !9
  %78 = icmp eq ptr %77, null
  br i1 %78, label %80, label %79

79:                                               ; preds = %76
  call void @_ZdaPv(ptr noundef nonnull %77) #8
  br label %80

80:                                               ; preds = %79, %76
  %81 = call noundef ptr @_ZN7qpOASES23getGlobalMessageHandlerEv()
  %82 = call noundef i32 @_ZN7qpOASES15MessageHandling10throwErrorENS_11returnValueEPKcS3_S3_mNS_16VisibilityStatusE(ptr noundef nonnull align 8 dereferenceable(28) %81, i32 noundef 129, ptr noundef null, ptr noundef nonnull @.str.1, ptr noundef nonnull @.str.2, i64 noundef 118, i32 noundef 1)
  br label %425

83:                                               ; preds = %58
  %84 = load i32, ptr %1, align 4, !tbaa !5
  %85 = load i32, ptr %2, align 4, !tbaa !5
  %86 = mul nsw i32 %85, %84
  %87 = sext i32 %86 to i64
  %88 = icmp slt i32 %86, 0
  %89 = shl nsw i64 %87, 3
  %90 = select i1 %88, i64 -1, i64 %89
  %91 = call noalias noundef nonnull ptr @_Znam(i64 noundef %90) #7
  store ptr %91, ptr %8, align 8, !tbaa !9
  %92 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %16, i64 noundef 160, ptr noundef nonnull @.str.5, ptr noundef %0) #6
  %93 = load ptr, ptr %8, align 8, !tbaa !9
  %94 = load i32, ptr %1, align 4, !tbaa !5
  %95 = load i32, ptr %2, align 4, !tbaa !5
  %96 = call noundef i32 @_ZN7qpOASES12readFromFileEPdiiPKc(ptr noundef %93, i32 noundef %94, i32 noundef %95, ptr noundef nonnull %16)
  %.not220 = icmp eq i32 %96, 0
  br i1 %.not220, label %112, label %97

97:                                               ; preds = %83
  %98 = load ptr, ptr %8, align 8, !tbaa !9
  %99 = icmp eq ptr %98, null
  br i1 %99, label %101, label %100

100:                                              ; preds = %97
  call void @_ZdaPv(ptr noundef nonnull %98) #8
  br label %101

101:                                              ; preds = %100, %97
  %102 = load ptr, ptr %6, align 8, !tbaa !9
  %103 = icmp eq ptr %102, null
  br i1 %103, label %105, label %104

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

105:                                              ; preds = %104, %101
  %106 = load ptr, ptr %5, align 8, !tbaa !9
  %107 = icmp eq ptr %106, null
  br i1 %107, label %109, label %108

108:                                              ; preds = %105
  call void @_ZdaPv(ptr noundef nonnull %106) #8
  br label %109

109:                                              ; preds = %108, %105
  %110 = call noundef ptr @_ZN7qpOASES23getGlobalMessageHandlerEv()
  %111 = call noundef i32 @_ZN7qpOASES15MessageHandling10throwErrorENS_11returnValueEPKcS3_S3_mNS_16VisibilityStatusE(ptr noundef nonnull align 8 dereferenceable(28) %110, i32 noundef 129, ptr noundef null, ptr noundef nonnull @.str.1, ptr noundef nonnull @.str.2, i64 noundef 127, i32 noundef 1)
  br label %425

112:                                              ; preds = %83
  %113 = load i32, ptr %1, align 4, !tbaa !5
  %114 = load i32, ptr %2, align 4, !tbaa !5
  %115 = mul nsw i32 %114, %113
  %116 = sext i32 %115 to i64
  %117 = icmp slt i32 %115, 0
  %118 = shl nsw i64 %116, 3
  %119 = select i1 %117, i64 -1, i64 %118
  %120 = call noalias noundef nonnull ptr @_Znam(i64 noundef %119) #7
  store ptr %120, ptr %9, align 8, !tbaa !9
  %121 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %16, i64 noundef 160, ptr noundef nonnull @.str.6, ptr noundef %0) #6
  %122 = load ptr, ptr %9, align 8, !tbaa !9
  %123 = load i32, ptr %1, align 4, !tbaa !5
  %124 = load i32, ptr %2, align 4, !tbaa !5
  %125 = call noundef i32 @_ZN7qpOASES12readFromFileEPdiiPKc(ptr noundef %122, i32 noundef %123, i32 noundef %124, ptr noundef nonnull %16)
  %.not221 = icmp eq i32 %125, 0
  br i1 %.not221, label %145, label %126

126:                                              ; preds = %112
  %127 = load ptr, ptr %9, align 8, !tbaa !9
  %128 = icmp eq ptr %127, null
  br i1 %128, label %130, label %129

129:                                              ; preds = %126
  call void @_ZdaPv(ptr noundef nonnull %127) #8
  br label %130

130:                                              ; preds = %129, %126
  %131 = load ptr, ptr %8, align 8, !tbaa !9
  %132 = icmp eq ptr %131, null
  br i1 %132, label %134, label %133

133:                                              ; preds = %130
  call void @_ZdaPv(ptr noundef nonnull %131) #8
  br label %134

134:                                              ; preds = %133, %130
  %135 = load ptr, ptr %6, align 8, !tbaa !9
  %136 = icmp eq ptr %135, null
  br i1 %136, label %138, label %137

137:                                              ; preds = %134
  call void @_ZdaPv(ptr noundef nonnull %135) #8
  br label %138

138:                                              ; preds = %137, %134
  %139 = load ptr, ptr %5, align 8, !tbaa !9
  %140 = icmp eq ptr %139, null
  br i1 %140, label %142, label %141

141:                                              ; preds = %138
  call void @_ZdaPv(ptr noundef nonnull %139) #8
  br label %142

142:                                              ; preds = %141, %138
  %143 = call noundef ptr @_ZN7qpOASES23getGlobalMessageHandlerEv()
  %144 = call noundef i32 @_ZN7qpOASES15MessageHandling10throwErrorENS_11returnValueEPKcS3_S3_mNS_16VisibilityStatusE(ptr noundef nonnull align 8 dereferenceable(28) %143, i32 noundef 129, ptr noundef null, ptr noundef nonnull @.str.1, ptr noundef nonnull @.str.2, i64 noundef 136, i32 noundef 1)
  br label %425

145:                                              ; preds = %112
  %146 = load i32, ptr %3, align 4, !tbaa !5
  %147 = icmp sgt i32 %146, 0
  br i1 %147, label %148, label %270

148:                                              ; preds = %145
  %149 = load i32, ptr %2, align 4, !tbaa !5
  %150 = mul nsw i32 %149, %146
  %151 = sext i32 %150 to i64
  %152 = icmp slt i32 %150, 0
  %153 = shl nsw i64 %151, 3
  %154 = select i1 %152, i64 -1, i64 %153
  %155 = call noalias noundef nonnull ptr @_Znam(i64 noundef %154) #7
  store ptr %155, ptr %7, align 8, !tbaa !9
  %156 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %16, i64 noundef 160, ptr noundef nonnull @.str.7, ptr noundef %0) #6
  %157 = load ptr, ptr %7, align 8, !tbaa !9
  %158 = load i32, ptr %3, align 4, !tbaa !5
  %159 = load i32, ptr %2, align 4, !tbaa !5
  %160 = call noundef i32 @_ZN7qpOASES12readFromFileEPdiiPKc(ptr noundef %157, i32 noundef %158, i32 noundef %159, ptr noundef nonnull %16)
  %.not222 = icmp eq i32 %160, 0
  br i1 %.not222, label %184, label %161

161:                                              ; preds = %148
  %162 = load ptr, ptr %7, align 8, !tbaa !9
  %163 = icmp eq ptr %162, null
  br i1 %163, label %165, label %164

164:                                              ; preds = %161
  call void @_ZdaPv(ptr noundef nonnull %162) #8
  br label %165

165:                                              ; preds = %164, %161
  %166 = load ptr, ptr %9, align 8, !tbaa !9
  %167 = icmp eq ptr %166, null
  br i1 %167, label %169, label %168

168:                                              ; preds = %165
  call void @_ZdaPv(ptr noundef nonnull %166) #8
  br label %169

169:                                              ; preds = %168, %165
  %170 = load ptr, ptr %8, align 8, !tbaa !9
  %171 = icmp eq ptr %170, null
  br i1 %171, label %173, label %172

172:                                              ; preds = %169
  call void @_ZdaPv(ptr noundef nonnull %170) #8
  br label %173

173:                                              ; preds = %172, %169
  %174 = load ptr, ptr %6, align 8, !tbaa !9
  %175 = icmp eq ptr %174, null
  br i1 %175, label %177, label %176

176:                                              ; preds = %173
  call void @_ZdaPv(ptr noundef nonnull %174) #8
  br label %177

177:                                              ; preds = %176, %173
  %178 = load ptr, ptr %5, align 8, !tbaa !9
  %179 = icmp eq ptr %178, null
  br i1 %179, label %181, label %180

180:                                              ; preds = %177
  call void @_ZdaPv(ptr noundef nonnull %178) #8
  br label %181

181:                                              ; preds = %180, %177
  %182 = call noundef ptr @_ZN7qpOASES23getGlobalMessageHandlerEv()
  %183 = call noundef i32 @_ZN7qpOASES15MessageHandling10throwErrorENS_11returnValueEPKcS3_S3_mNS_16VisibilityStatusE(ptr noundef nonnull align 8 dereferenceable(28) %182, i32 noundef 129, ptr noundef null, ptr noundef nonnull @.str.1, ptr noundef nonnull @.str.2, i64 noundef 148, i32 noundef 1)
  br label %425

184:                                              ; preds = %148
  %185 = load i32, ptr %1, align 4, !tbaa !5
  %186 = load i32, ptr %3, align 4, !tbaa !5
  %187 = mul nsw i32 %186, %185
  %188 = sext i32 %187 to i64
  %189 = icmp slt i32 %187, 0
  %190 = shl nsw i64 %188, 3
  %191 = select i1 %189, i64 -1, i64 %190
  %192 = call noalias noundef nonnull ptr @_Znam(i64 noundef %191) #7
  store ptr %192, ptr %10, align 8, !tbaa !9
  %193 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %16, i64 noundef 160, ptr noundef nonnull @.str.8, ptr noundef %0) #6
  %194 = load ptr, ptr %10, align 8, !tbaa !9
  %195 = load i32, ptr %1, align 4, !tbaa !5
  %196 = load i32, ptr %3, align 4, !tbaa !5
  %197 = call noundef i32 @_ZN7qpOASES12readFromFileEPdiiPKc(ptr noundef %194, i32 noundef %195, i32 noundef %196, ptr noundef nonnull %16)
  %.not223 = icmp eq i32 %197, 0
  br i1 %.not223, label %225, label %198

198:                                              ; preds = %184
  %199 = load ptr, ptr %10, align 8, !tbaa !9
  %200 = icmp eq ptr %199, null
  br i1 %200, label %202, label %201

201:                                              ; preds = %198
  call void @_ZdaPv(ptr noundef nonnull %199) #8
  br label %202

202:                                              ; preds = %201, %198
  %203 = load ptr, ptr %7, align 8, !tbaa !9
  %204 = icmp eq ptr %203, null
  br i1 %204, label %206, label %205

205:                                              ; preds = %202
  call void @_ZdaPv(ptr noundef nonnull %203) #8
  br label %206

206:                                              ; preds = %205, %202
  %207 = load ptr, ptr %9, align 8, !tbaa !9
  %208 = icmp eq ptr %207, null
  br i1 %208, label %210, label %209

209:                                              ; preds = %206
  call void @_ZdaPv(ptr noundef nonnull %207) #8
  br label %210

210:                                              ; preds = %209, %206
  %211 = load ptr, ptr %8, align 8, !tbaa !9
  %212 = icmp eq ptr %211, null
  br i1 %212, label %214, label %213

213:                                              ; preds = %210
  call void @_ZdaPv(ptr noundef nonnull %211) #8
  br label %214

214:                                              ; preds = %213, %210
  %215 = load ptr, ptr %6, align 8, !tbaa !9
  %216 = icmp eq ptr %215, null
  br i1 %216, label %218, label %217

217:                                              ; preds = %214
  call void @_ZdaPv(ptr noundef nonnull %215) #8
  br label %218

218:                                              ; preds = %217, %214
  %219 = load ptr, ptr %5, align 8, !tbaa !9
  %220 = icmp eq ptr %219, null
  br i1 %220, label %222, label %221

221:                                              ; preds = %218
  call void @_ZdaPv(ptr noundef nonnull %219) #8
  br label %222

222:                                              ; preds = %221, %218
  %223 = call noundef ptr @_ZN7qpOASES23getGlobalMessageHandlerEv()
  %224 = call noundef i32 @_ZN7qpOASES15MessageHandling10throwErrorENS_11returnValueEPKcS3_S3_mNS_16VisibilityStatusE(ptr noundef nonnull align 8 dereferenceable(28) %223, i32 noundef 129, ptr noundef null, ptr noundef nonnull @.str.1, ptr noundef nonnull @.str.2, i64 noundef 158, i32 noundef 1)
  br label %425

225:                                              ; preds = %184
  %226 = load i32, ptr %1, align 4, !tbaa !5
  %227 = load i32, ptr %3, align 4, !tbaa !5
  %228 = mul nsw i32 %227, %226
  %229 = sext i32 %228 to i64
  %230 = icmp slt i32 %228, 0
  %231 = shl nsw i64 %229, 3
  %232 = select i1 %230, i64 -1, i64 %231
  %233 = call noalias noundef nonnull ptr @_Znam(i64 noundef %232) #7
  store ptr %233, ptr %11, align 8, !tbaa !9
  %234 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %16, i64 noundef 160, ptr noundef nonnull @.str.9, ptr noundef %0) #6
  %235 = load ptr, ptr %11, align 8, !tbaa !9
  %236 = load i32, ptr %1, align 4, !tbaa !5
  %237 = load i32, ptr %3, align 4, !tbaa !5
  %238 = call noundef i32 @_ZN7qpOASES12readFromFileEPdiiPKc(ptr noundef %235, i32 noundef %236, i32 noundef %237, ptr noundef nonnull %16)
  %.not224 = icmp eq i32 %238, 0
  br i1 %.not224, label %271, label %239

239:                                              ; preds = %225
  %240 = load ptr, ptr %11, align 8, !tbaa !9
  %241 = icmp eq ptr %240, null
  br i1 %241, label %243, label %242

242:                                              ; preds = %239
  call void @_ZdaPv(ptr noundef nonnull %240) #8
  br label %243

243:                                              ; preds = %242, %239
  %244 = load ptr, ptr %10, align 8, !tbaa !9
  %245 = icmp eq ptr %244, null
  br i1 %245, label %247, label %246

246:                                              ; preds = %243
  call void @_ZdaPv(ptr noundef nonnull %244) #8
  br label %247

247:                                              ; preds = %246, %243
  %248 = load ptr, ptr %7, align 8, !tbaa !9
  %249 = icmp eq ptr %248, null
  br i1 %249, label %251, label %250

250:                                              ; preds = %247
  call void @_ZdaPv(ptr noundef nonnull %248) #8
  br label %251

251:                                              ; preds = %250, %247
  %252 = load ptr, ptr %9, align 8, !tbaa !9
  %253 = icmp eq ptr %252, null
  br i1 %253, label %255, label %254

254:                                              ; preds = %251
  call void @_ZdaPv(ptr noundef nonnull %252) #8
  br label %255

255:                                              ; preds = %254, %251
  %256 = load ptr, ptr %8, align 8, !tbaa !9
  %257 = icmp eq ptr %256, null
  br i1 %257, label %259, label %258

258:                                              ; preds = %255
  call void @_ZdaPv(ptr noundef nonnull %256) #8
  br label %259

259:                                              ; preds = %258, %255
  %260 = load ptr, ptr %6, align 8, !tbaa !9
  %261 = icmp eq ptr %260, null
  br i1 %261, label %263, label %262

262:                                              ; preds = %259
  call void @_ZdaPv(ptr noundef nonnull %260) #8
  br label %263

263:                                              ; preds = %262, %259
  %264 = load ptr, ptr %5, align 8, !tbaa !9
  %265 = icmp eq ptr %264, null
  br i1 %265, label %267, label %266

266:                                              ; preds = %263
  call void @_ZdaPv(ptr noundef nonnull %264) #8
  br label %267

267:                                              ; preds = %266, %263
  %268 = call noundef ptr @_ZN7qpOASES23getGlobalMessageHandlerEv()
  %269 = call noundef i32 @_ZN7qpOASES15MessageHandling10throwErrorENS_11returnValueEPKcS3_S3_mNS_16VisibilityStatusE(ptr noundef nonnull align 8 dereferenceable(28) %268, i32 noundef 129, ptr noundef null, ptr noundef nonnull @.str.1, ptr noundef nonnull @.str.2, i64 noundef 168, i32 noundef 1)
  br label %425

270:                                              ; preds = %145
  store ptr null, ptr %7, align 8, !tbaa !9
  store ptr null, ptr %10, align 8, !tbaa !9
  store ptr null, ptr %11, align 8, !tbaa !9
  br label %271

271:                                              ; preds = %225, %270
  %.not225 = icmp eq ptr %12, null
  br i1 %.not225, label %320, label %272

272:                                              ; preds = %271
  %273 = load i32, ptr %1, align 4, !tbaa !5
  %274 = load i32, ptr %2, align 4, !tbaa !5
  %275 = mul nsw i32 %274, %273
  %276 = sext i32 %275 to i64
  %277 = icmp slt i32 %275, 0
  %278 = shl nsw i64 %276, 3
  %279 = select i1 %277, i64 -1, i64 %278
  %280 = call noalias noundef nonnull ptr @_Znam(i64 noundef %279) #7
  store ptr %280, ptr %12, align 8, !tbaa !9
  %281 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %16, i64 noundef 160, ptr noundef nonnull @.str.10, ptr noundef %0) #6
  %282 = load ptr, ptr %12, align 8, !tbaa !9
  %283 = load i32, ptr %1, align 4, !tbaa !5
  %284 = load i32, ptr %2, align 4, !tbaa !5
  %285 = call noundef i32 @_ZN7qpOASES12readFromFileEPdiiPKc(ptr noundef %282, i32 noundef %283, i32 noundef %284, ptr noundef nonnull %16)
  %.not226 = icmp eq i32 %285, 0
  br i1 %.not226, label %320, label %286

286:                                              ; preds = %272
  call void @_ZdaPv(ptr noundef nonnull %12) #8
  %287 = load i32, ptr %3, align 4, !tbaa !5
  %288 = icmp sgt i32 %287, 0
  br i1 %288, label %289, label %301

289:                                              ; preds = %286
  %290 = load ptr, ptr %11, align 8, !tbaa !9
  %291 = icmp eq ptr %290, null
  br i1 %291, label %293, label %292

292:                                              ; preds = %289
  call void @_ZdaPv(ptr noundef nonnull %290) #8
  br label %293

293:                                              ; preds = %292, %289
  %294 = load ptr, ptr %10, align 8, !tbaa !9
  %295 = icmp eq ptr %294, null
  br i1 %295, label %297, label %296

296:                                              ; preds = %293
  call void @_ZdaPv(ptr noundef nonnull %294) #8
  br label %297

297:                                              ; preds = %296, %293
  %298 = load ptr, ptr %7, align 8, !tbaa !9
  %299 = icmp eq ptr %298, null
  br i1 %299, label %301, label %300

300:                                              ; preds = %297
  call void @_ZdaPv(ptr noundef nonnull %298) #8
  br label %301

301:                                              ; preds = %297, %300, %286
  %302 = load ptr, ptr %9, align 8, !tbaa !9
  %303 = icmp eq ptr %302, null
  br i1 %303, label %305, label %304

304:                                              ; preds = %301
  call void @_ZdaPv(ptr noundef nonnull %302) #8
  br label %305

305:                                              ; preds = %304, %301
  %306 = load ptr, ptr %8, align 8, !tbaa !9
  %307 = icmp eq ptr %306, null
  br i1 %307, label %309, label %308

308:                                              ; preds = %305
  call void @_ZdaPv(ptr noundef nonnull %306) #8
  br label %309

309:                                              ; preds = %308, %305
  %310 = load ptr, ptr %6, align 8, !tbaa !9
  %311 = icmp eq ptr %310, null
  br i1 %311, label %313, label %312

312:                                              ; preds = %309
  call void @_ZdaPv(ptr noundef nonnull %310) #8
  br label %313

313:                                              ; preds = %312, %309
  %314 = load ptr, ptr %5, align 8, !tbaa !9
  %315 = icmp eq ptr %314, null
  br i1 %315, label %317, label %316

316:                                              ; preds = %313
  call void @_ZdaPv(ptr noundef nonnull %314) #8
  br label %317

317:                                              ; preds = %316, %313
  %318 = call noundef ptr @_ZN7qpOASES23getGlobalMessageHandlerEv()
  %319 = call noundef i32 @_ZN7qpOASES15MessageHandling10throwErrorENS_11returnValueEPKcS3_S3_mNS_16VisibilityStatusE(ptr noundef nonnull align 8 dereferenceable(28) %318, i32 noundef 129, ptr noundef null, ptr noundef nonnull @.str.1, ptr noundef nonnull @.str.2, i64 noundef 188, i32 noundef 1)
  br label %425

320:                                              ; preds = %272, %271
  %.not227 = icmp eq ptr %13, null
  br i1 %.not227, label %375, label %321

321:                                              ; preds = %320
  %322 = load i32, ptr %1, align 4, !tbaa !5
  %323 = load i32, ptr %2, align 4, !tbaa !5
  %324 = load i32, ptr %3, align 4, !tbaa !5
  %325 = add nsw i32 %324, %323
  %326 = mul nsw i32 %325, %322
  %327 = sext i32 %326 to i64
  %328 = icmp slt i32 %326, 0
  %329 = shl nsw i64 %327, 3
  %330 = select i1 %328, i64 -1, i64 %329
  %331 = call noalias noundef nonnull ptr @_Znam(i64 noundef %330) #7
  store ptr %331, ptr %13, align 8, !tbaa !9
  %332 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %16, i64 noundef 160, ptr noundef nonnull @.str.11, ptr noundef %0) #6
  %333 = load ptr, ptr %13, align 8, !tbaa !9
  %334 = load i32, ptr %1, align 4, !tbaa !5
  %335 = load i32, ptr %2, align 4, !tbaa !5
  %336 = load i32, ptr %3, align 4, !tbaa !5
  %337 = add nsw i32 %336, %335
  %338 = call noundef i32 @_ZN7qpOASES12readFromFileEPdiiPKc(ptr noundef %333, i32 noundef %334, i32 noundef %337, ptr noundef nonnull %16)
  %.not228 = icmp eq i32 %338, 0
  br i1 %.not228, label %375, label %339

339:                                              ; preds = %321
  call void @_ZdaPv(ptr noundef nonnull %13) #8
  br i1 %.not225, label %341, label %340

340:                                              ; preds = %339
  call void @_ZdaPv(ptr noundef nonnull %12) #8
  br label %341

341:                                              ; preds = %340, %339
  %342 = load i32, ptr %3, align 4, !tbaa !5
  %343 = icmp sgt i32 %342, 0
  br i1 %343, label %344, label %356

344:                                              ; preds = %341
  %345 = load ptr, ptr %11, align 8, !tbaa !9
  %346 = icmp eq ptr %345, null
  br i1 %346, label %348, label %347

347:                                              ; preds = %344
  call void @_ZdaPv(ptr noundef nonnull %345) #8
  br label %348

348:                                              ; preds = %347, %344
  %349 = load ptr, ptr %10, align 8, !tbaa !9
  %350 = icmp eq ptr %349, null
  br i1 %350, label %352, label %351

351:                                              ; preds = %348
  call void @_ZdaPv(ptr noundef nonnull %349) #8
  br label %352

352:                                              ; preds = %351, %348
  %353 = load ptr, ptr %7, align 8, !tbaa !9
  %354 = icmp eq ptr %353, null
  br i1 %354, label %356, label %355

355:                                              ; preds = %352
  call void @_ZdaPv(ptr noundef nonnull %353) #8
  br label %356

356:                                              ; preds = %352, %355, %341
  %357 = load ptr, ptr %9, align 8, !tbaa !9
  %358 = icmp eq ptr %357, null
  br i1 %358, label %360, label %359

359:                                              ; preds = %356
  call void @_ZdaPv(ptr noundef nonnull %357) #8
  br label %360

360:                                              ; preds = %359, %356
  %361 = load ptr, ptr %8, align 8, !tbaa !9
  %362 = icmp eq ptr %361, null
  br i1 %362, label %364, label %363

363:                                              ; preds = %360
  call void @_ZdaPv(ptr noundef nonnull %361) #8
  br label %364

364:                                              ; preds = %363, %360
  %365 = load ptr, ptr %6, align 8, !tbaa !9
  %366 = icmp eq ptr %365, null
  br i1 %366, label %368, label %367

367:                                              ; preds = %364
  call void @_ZdaPv(ptr noundef nonnull %365) #8
  br label %368

368:                                              ; preds = %367, %364
  %369 = load ptr, ptr %5, align 8, !tbaa !9
  %370 = icmp eq ptr %369, null
  br i1 %370, label %372, label %371

371:                                              ; preds = %368
  call void @_ZdaPv(ptr noundef nonnull %369) #8
  br label %372

372:                                              ; preds = %371, %368
  %373 = call noundef ptr @_ZN7qpOASES23getGlobalMessageHandlerEv()
  %374 = call noundef i32 @_ZN7qpOASES15MessageHandling10throwErrorENS_11returnValueEPKcS3_S3_mNS_16VisibilityStatusE(ptr noundef nonnull align 8 dereferenceable(28) %373, i32 noundef 129, ptr noundef null, ptr noundef nonnull @.str.1, ptr noundef nonnull @.str.2, i64 noundef 203, i32 noundef 1)
  br label %425

375:                                              ; preds = %321, %320
  %.not229 = icmp eq ptr %14, null
  br i1 %.not229, label %425, label %376

376:                                              ; preds = %375
  %377 = load i32, ptr %1, align 4, !tbaa !5
  %378 = sext i32 %377 to i64
  %379 = icmp slt i32 %377, 0
  %380 = shl nsw i64 %378, 3
  %381 = select i1 %379, i64 -1, i64 %380
  %382 = call noalias noundef nonnull ptr @_Znam(i64 noundef %381) #7
  store ptr %382, ptr %14, align 8, !tbaa !9
  %383 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %16, i64 noundef 160, ptr noundef nonnull @.str.12, ptr noundef %0) #6
  %384 = load ptr, ptr %14, align 8, !tbaa !9
  %385 = load i32, ptr %1, align 4, !tbaa !5
  %386 = call noundef i32 @_ZN7qpOASES12readFromFileEPdiiPKc(ptr noundef %384, i32 noundef %385, i32 noundef 1, ptr noundef nonnull %16)
  %.not230 = icmp eq i32 %386, 0
  br i1 %.not230, label %425, label %387

387:                                              ; preds = %376
  call void @_ZdaPv(ptr noundef nonnull %14) #8
  br i1 %.not227, label %389, label %388

388:                                              ; preds = %387
  call void @_ZdaPv(ptr noundef nonnull %13) #8
  br label %389

389:                                              ; preds = %388, %387
  br i1 %.not225, label %391, label %390

390:                                              ; preds = %389
  call void @_ZdaPv(ptr noundef nonnull %12) #8
  br label %391

391:                                              ; preds = %390, %389
  %392 = load i32, ptr %3, align 4, !tbaa !5
  %393 = icmp sgt i32 %392, 0
  br i1 %393, label %394, label %406

394:                                              ; preds = %391
  %395 = load ptr, ptr %11, align 8, !tbaa !9
  %396 = icmp eq ptr %395, null
  br i1 %396, label %398, label %397

397:                                              ; preds = %394
  call void @_ZdaPv(ptr noundef nonnull %395) #8
  br label %398

398:                                              ; preds = %397, %394
  %399 = load ptr, ptr %10, align 8, !tbaa !9
  %400 = icmp eq ptr %399, null
  br i1 %400, label %402, label %401

401:                                              ; preds = %398
  call void @_ZdaPv(ptr noundef nonnull %399) #8
  br label %402

402:                                              ; preds = %401, %398
  %403 = load ptr, ptr %7, align 8, !tbaa !9
  %404 = icmp eq ptr %403, null
  br i1 %404, label %406, label %405

405:                                              ; preds = %402
  call void @_ZdaPv(ptr noundef nonnull %403) #8
  br label %406

406:                                              ; preds = %402, %405, %391
  %407 = load ptr, ptr %9, align 8, !tbaa !9
  %408 = icmp eq ptr %407, null
  br i1 %408, label %410, label %409

409:                                              ; preds = %406
  call void @_ZdaPv(ptr noundef nonnull %407) #8
  br label %410

410:                                              ; preds = %409, %406
  %411 = load ptr, ptr %8, align 8, !tbaa !9
  %412 = icmp eq ptr %411, null
  br i1 %412, label %414, label %413

413:                                              ; preds = %410
  call void @_ZdaPv(ptr noundef nonnull %411) #8
  br label %414

414:                                              ; preds = %413, %410
  %415 = load ptr, ptr %6, align 8, !tbaa !9
  %416 = icmp eq ptr %415, null
  br i1 %416, label %418, label %417

417:                                              ; preds = %414
  call void @_ZdaPv(ptr noundef nonnull %415) #8
  br label %418

418:                                              ; preds = %417, %414
  %419 = load ptr, ptr %5, align 8, !tbaa !9
  %420 = icmp eq ptr %419, null
  br i1 %420, label %422, label %421

421:                                              ; preds = %418
  call void @_ZdaPv(ptr noundef nonnull %419) #8
  br label %422

422:                                              ; preds = %421, %418
  %423 = call noundef ptr @_ZN7qpOASES23getGlobalMessageHandlerEv()
  %424 = call noundef i32 @_ZN7qpOASES15MessageHandling10throwErrorENS_11returnValueEPKcS3_S3_mNS_16VisibilityStatusE(ptr noundef nonnull align 8 dereferenceable(28) %423, i32 noundef 129, ptr noundef null, ptr noundef nonnull @.str.1, ptr noundef nonnull @.str.2, i64 noundef 219, i32 noundef 1)
  br label %425

425:                                              ; preds = %375, %376, %422, %372, %317, %267, %222, %181, %142, %109, %80, %55, %38, %28, %23
  %.0 = phi i32 [ %25, %23 ], [ %30, %28 ], [ %40, %38 ], [ %57, %55 ], [ %82, %80 ], [ %111, %109 ], [ %144, %142 ], [ %183, %181 ], [ %224, %222 ], [ %269, %267 ], [ %319, %317 ], [ %374, %372 ], [ %424, %422 ], [ 0, %376 ], [ 0, %375 ]
  call void @llvm.lifetime.end.p0(i64 160, ptr nonnull %16) #6
  ret i32 %.0
}

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

declare noundef i32 @_ZN7qpOASES12readFromFileEPdiiPKc(ptr noundef, i32 noundef, i32 noundef, ptr noundef) local_unnamed_addr #3

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

attributes #0 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { nofree nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #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 allocsize(0) "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { nobuiltin nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #6 = { nounwind }
attributes #7 = { builtin allocsize(0) }
attributes #8 = { builtin nounwind }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"any pointer", !7, i64 0}


; Effective O3 passes: CorrelatedValuePropagationPass,EarlyCSEPass,GlobalDCEPass,GlobalOptPass,IPSCCPPass,InferFunctionAttrsPass,InstCombinePass,ReassociatePass,SLPVectorizerPass,SROAPass,SimplifyCFGPass,TailCallElimPass