; LLVM IR from Tiramisu-Compiler/tiramisu :: 3rdParty/isl/imath (imath)

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

%struct.mpz = type { i32, ptr, i32, i32, i8 }

@.str.1 = external hidden unnamed_addr constant [87 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [94 x i8], align 1
@__PRETTY_FUNCTION__.mp_int_egcd = external hidden unnamed_addr constant [62 x i8], align 1

; Function Attrs: nounwind uwtable
declare dso_local i32 @mp_int_init(ptr noundef) #0

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

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

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

; Function Attrs: nounwind uwtable
declare dso_local i32 @mp_int_init_copy(ptr noundef, ptr noundef) #0

; Function Attrs: nounwind uwtable
declare dso_local i32 @mp_int_set_value(ptr noundef, i64 noundef) #0

; Function Attrs: nounwind uwtable
declare dso_local i32 @mp_int_copy(ptr noundef, ptr noundef) #0

; Function Attrs: nounwind uwtable
declare dso_local void @mp_int_clear(ptr noundef) #0

; Function Attrs: nounwind uwtable
declare dso_local void @mp_int_zero(ptr noundef) #0

; Function Attrs: nounwind uwtable
declare dso_local i32 @mp_int_abs(ptr noundef, ptr noundef) #0

; Function Attrs: nounwind uwtable
declare dso_local i32 @mp_int_add(ptr noundef, ptr noundef, ptr noundef) #0

; Function Attrs: nounwind uwtable
declare dso_local i32 @mp_int_sub(ptr noundef, ptr noundef, ptr noundef) #0

; Function Attrs: nounwind uwtable
declare hidden i32 @s_qmul(ptr noundef, i32 noundef) #0

; Function Attrs: nounwind uwtable
declare hidden void @s_qdiv(ptr noundef, i32 noundef) #0

; Function Attrs: nounwind uwtable
declare dso_local i32 @mp_int_compare(ptr noundef, ptr noundef) #0

; Function Attrs: nounwind uwtable
define dso_local i32 @mp_int_egcd(ptr noundef %0, ptr noundef %1, ptr noundef %2, ptr noundef %3, ptr noundef %4) #0 {
  %6 = alloca i32, align 4
  %7 = alloca ptr, align 8
  %8 = alloca ptr, align 8
  %9 = alloca ptr, align 8
  %10 = alloca ptr, align 8
  %11 = alloca ptr, align 8
  %12 = alloca i32, align 4
  %13 = alloca i32, align 4
  %14 = alloca i32, align 4
  %15 = alloca i32, align 4
  %16 = alloca [8 x %struct.mpz], align 16
  %17 = alloca i32, align 4
  %18 = alloca i32, align 4
  %19 = alloca i32, align 4
  %20 = alloca i32, align 4
  store ptr %0, ptr %7, align 8, !tbaa !5
  store ptr %1, ptr %8, align 8, !tbaa !5
  store ptr %2, ptr %9, align 8, !tbaa !5
  store ptr %3, ptr %10, align 8, !tbaa !5
  store ptr %4, ptr %11, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #3
  call void @llvm.lifetime.start.p0(i64 256, ptr %16) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #3
  store i32 0, ptr %17, align 4, !tbaa !9
  %21 = load ptr, ptr %7, align 8, !tbaa !5
  %22 = icmp ne ptr %21, null
  br i1 %22, label %23, label %36

23:                                               ; preds = %5
  %24 = load ptr, ptr %8, align 8, !tbaa !5
  %25 = icmp ne ptr %24, null
  br i1 %25, label %26, label %36

26:                                               ; preds = %23
  %27 = load ptr, ptr %9, align 8, !tbaa !5
  %28 = icmp ne ptr %27, null
  br i1 %28, label %29, label %36

29:                                               ; preds = %26
  %30 = load ptr, ptr %10, align 8, !tbaa !5
  %31 = icmp ne ptr %30, null
  br i1 %31, label %35, label %32

32:                                               ; preds = %29
  %33 = load ptr, ptr %11, align 8, !tbaa !5
  %34 = icmp ne ptr %33, null
  br i1 %34, label %35, label %36

35:                                               ; preds = %32, %29
  br label %37

36:                                               ; preds = %32, %26, %23, %5
  call void @__assert_fail(ptr noundef @.str.14, ptr noundef @.str.1, i32 noundef 1398, ptr noundef @__PRETTY_FUNCTION__.mp_int_egcd) #4
  unreachable

37:                                               ; preds = %35
  %38 = load ptr, ptr %7, align 8, !tbaa !5
  %39 = getelementptr inbounds %struct.mpz, ptr %38, i32 0, i32 3
  %40 = load i32, ptr %39, align 4, !tbaa !11
  %41 = icmp eq i32 %40, 1
  br i1 %41, label %42, label %50

42:                                               ; preds = %37
  %43 = load ptr, ptr %7, align 8, !tbaa !5
  %44 = getelementptr inbounds %struct.mpz, ptr %43, i32 0, i32 1
  %45 = load ptr, ptr %44, align 8, !tbaa !13
  %46 = getelementptr inbounds i32, ptr %45, i64 0
  %47 = load i32, ptr %46, align 4, !tbaa !9
  %48 = icmp eq i32 %47, 0
  br i1 %48, label %49, label %50

49:                                               ; preds = %42
  br label %58

50:                                               ; preds = %42, %37
  %51 = load ptr, ptr %7, align 8, !tbaa !5
  %52 = getelementptr inbounds %struct.mpz, ptr %51, i32 0, i32 4
  %53 = load i8, ptr %52, align 8, !tbaa !14
  %54 = zext i8 %53 to i32
  %55 = icmp eq i32 %54, 1
  %56 = zext i1 %55 to i64
  %57 = select i1 %55, i32 -1, i32 1
  br label %58

58:                                               ; preds = %50, %49
  %59 = phi i32 [ 0, %49 ], [ %57, %50 ]
  store i32 %59, ptr %13, align 4, !tbaa !9
  %60 = load ptr, ptr %8, align 8, !tbaa !5
  %61 = getelementptr inbounds %struct.mpz, ptr %60, i32 0, i32 3
  %62 = load i32, ptr %61, align 4, !tbaa !11
  %63 = icmp eq i32 %62, 1
  br i1 %63, label %64, label %72

64:                                               ; preds = %58
  %65 = load ptr, ptr %8, align 8, !tbaa !5
  %66 = getelementptr inbounds %struct.mpz, ptr %65, i32 0, i32 1
  %67 = load ptr, ptr %66, align 8, !tbaa !13
  %68 = getelementptr inbounds i32, ptr %67, i64 0
  %69 = load i32, ptr %68, align 4, !tbaa !9
  %70 = icmp eq i32 %69, 0
  br i1 %70, label %71, label %72

71:                                               ; preds = %64
  br label %80

72:                                               ; preds = %64, %58
  %73 = load ptr, ptr %8, align 8, !tbaa !5
  %74 = getelementptr inbounds %struct.mpz, ptr %73, i32 0, i32 4
  %75 = load i8, ptr %74, align 8, !tbaa !14
  %76 = zext i8 %75 to i32
  %77 = icmp eq i32 %76, 1
  %78 = zext i1 %77 to i64
  %79 = select i1 %77, i32 -1, i32 1
  br label %80

80:                                               ; preds = %72, %71
  %81 = phi i32 [ 0, %71 ], [ %79, %72 ]
  store i32 %81, ptr %14, align 4, !tbaa !9
  %82 = load i32, ptr %13, align 4, !tbaa !9
  %83 = icmp eq i32 %82, 0
  br i1 %83, label %84, label %88

84:                                               ; preds = %80
  %85 = load i32, ptr %14, align 4, !tbaa !9
  %86 = icmp eq i32 %85, 0
  br i1 %86, label %87, label %88

87:                                               ; preds = %84
  store i32 -4, ptr %6, align 4
  store i32 1, ptr %18, align 4
  br label %479

88:                                               ; preds = %84, %80
  %89 = load i32, ptr %13, align 4, !tbaa !9
  %90 = icmp eq i32 %89, 0
  br i1 %90, label %91, label %102

91:                                               ; preds = %88
  %92 = load ptr, ptr %8, align 8, !tbaa !5
  %93 = load ptr, ptr %9, align 8, !tbaa !5
  %94 = call i32 @mp_int_abs(ptr noundef %92, ptr noundef %93)
  store i32 %94, ptr %15, align 4, !tbaa !9
  %95 = icmp ne i32 %94, 0
  br i1 %95, label %96, label %98

96:                                               ; preds = %91
  %97 = load i32, ptr %15, align 4, !tbaa !9
  store i32 %97, ptr %6, align 4
  store i32 1, ptr %18, align 4
  br label %479

98:                                               ; preds = %91
  %99 = load ptr, ptr %10, align 8, !tbaa !5
  call void @mp_int_zero(ptr noundef %99)
  %100 = load ptr, ptr %11, align 8, !tbaa !5
  %101 = call i32 @mp_int_set_value(ptr noundef %100, i64 noundef 1)
  store i32 0, ptr %6, align 4
  store i32 1, ptr %18, align 4
  br label %479

102:                                              ; preds = %88
  %103 = load i32, ptr %14, align 4, !tbaa !9
  %104 = icmp eq i32 %103, 0
  br i1 %104, label %105, label %116

105:                                              ; preds = %102
  %106 = load ptr, ptr %7, align 8, !tbaa !5
  %107 = load ptr, ptr %9, align 8, !tbaa !5
  %108 = call i32 @mp_int_abs(ptr noundef %106, ptr noundef %107)
  store i32 %108, ptr %15, align 4, !tbaa !9
  %109 = icmp ne i32 %108, 0
  br i1 %109, label %110, label %112

110:                                              ; preds = %105
  %111 = load i32, ptr %15, align 4, !tbaa !9
  store i32 %111, ptr %6, align 4
  store i32 1, ptr %18, align 4
  br label %479

112:                                              ; preds = %105
  %113 = load ptr, ptr %10, align 8, !tbaa !5
  %114 = call i32 @mp_int_set_value(ptr noundef %113, i64 noundef 1)
  %115 = load ptr, ptr %11, align 8, !tbaa !5
  call void @mp_int_zero(ptr noundef %115)
  store i32 0, ptr %6, align 4
  store i32 1, ptr %18, align 4
  br label %479

116:                                              ; preds = %102
  br label %117

117:                                              ; preds = %116
  br label %118

118:                                              ; preds = %117
  store i32 0, ptr %17, align 4, !tbaa !9
  br label %119

119:                                              ; preds = %128, %118
  %120 = load i32, ptr %17, align 4, !tbaa !9
  %121 = icmp slt i32 %120, 4
  br i1 %121, label %122, label %131

122:                                              ; preds = %119
  %123 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %124 = load i32, ptr %17, align 4, !tbaa !9
  %125 = sext i32 %124 to i64
  %126 = getelementptr inbounds %struct.mpz, ptr %123, i64 %125
  %127 = call i32 @mp_int_init(ptr noundef %126)
  br label %128

128:                                              ; preds = %122
  %129 = load i32, ptr %17, align 4, !tbaa !9
  %130 = add nsw i32 %129, 1
  store i32 %130, ptr %17, align 4, !tbaa !9
  br label %119, !llvm.loop !15

131:                                              ; preds = %119
  %132 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %133 = getelementptr inbounds %struct.mpz, ptr %132, i64 0
  %134 = getelementptr inbounds %struct.mpz, ptr %133, i32 0, i32 1
  %135 = load ptr, ptr %134, align 8, !tbaa !13
  %136 = getelementptr inbounds i32, ptr %135, i64 0
  store i32 1, ptr %136, align 4, !tbaa !9
  %137 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %138 = getelementptr inbounds %struct.mpz, ptr %137, i64 3
  %139 = getelementptr inbounds %struct.mpz, ptr %138, i32 0, i32 1
  %140 = load ptr, ptr %139, align 8, !tbaa !13
  %141 = getelementptr inbounds i32, ptr %140, i64 0
  store i32 1, ptr %141, align 4, !tbaa !9
  br label %142

142:                                              ; preds = %131
  %143 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %144 = getelementptr inbounds %struct.mpz, ptr %143, i64 4
  %145 = load ptr, ptr %7, align 8, !tbaa !5
  %146 = call i32 @mp_int_init_copy(ptr noundef %144, ptr noundef %145)
  store i32 %146, ptr %15, align 4, !tbaa !9
  %147 = icmp ne i32 %146, 0
  br i1 %147, label %148, label %149

148:                                              ; preds = %142
  br label %467

149:                                              ; preds = %142
  %150 = load i32, ptr %17, align 4, !tbaa !9
  %151 = add nsw i32 %150, 1
  store i32 %151, ptr %17, align 4, !tbaa !9
  br label %152

152:                                              ; preds = %149
  br label %153

153:                                              ; preds = %152
  br label %154

154:                                              ; preds = %153
  %155 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %156 = getelementptr inbounds %struct.mpz, ptr %155, i64 5
  %157 = load ptr, ptr %8, align 8, !tbaa !5
  %158 = call i32 @mp_int_init_copy(ptr noundef %156, ptr noundef %157)
  store i32 %158, ptr %15, align 4, !tbaa !9
  %159 = icmp ne i32 %158, 0
  br i1 %159, label %160, label %161

160:                                              ; preds = %154
  br label %467

161:                                              ; preds = %154
  %162 = load i32, ptr %17, align 4, !tbaa !9
  %163 = add nsw i32 %162, 1
  store i32 %163, ptr %17, align 4, !tbaa !9
  br label %164

164:                                              ; preds = %161
  br label %165

165:                                              ; preds = %164
  %166 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %167 = getelementptr inbounds %struct.mpz, ptr %166, i64 4
  %168 = getelementptr inbounds %struct.mpz, ptr %167, i32 0, i32 4
  store i8 0, ptr %168, align 8, !tbaa !14
  %169 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %170 = getelementptr inbounds %struct.mpz, ptr %169, i64 5
  %171 = getelementptr inbounds %struct.mpz, ptr %170, i32 0, i32 4
  store i8 0, ptr %171, align 8, !tbaa !14
  call void @llvm.lifetime.start.p0(i64 4, ptr %19) #3
  %172 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %173 = getelementptr inbounds %struct.mpz, ptr %172, i64 4
  %174 = call i32 @s_dp2k(ptr noundef %173)
  store i32 %174, ptr %19, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %20) #3
  %175 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %176 = getelementptr inbounds %struct.mpz, ptr %175, i64 5
  %177 = call i32 @s_dp2k(ptr noundef %176)
  store i32 %177, ptr %20, align 4, !tbaa !9
  %178 = load i32, ptr %20, align 4, !tbaa !9
  %179 = load i32, ptr %19, align 4, !tbaa !9
  %180 = icmp slt i32 %178, %179
  br i1 %180, label %181, label %183

181:                                              ; preds = %165
  %182 = load i32, ptr %20, align 4, !tbaa !9
  br label %185

183:                                              ; preds = %165
  %184 = load i32, ptr %19, align 4, !tbaa !9
  br label %185

185:                                              ; preds = %183, %181
  %186 = phi i32 [ %182, %181 ], [ %184, %183 ]
  store i32 %186, ptr %12, align 4, !tbaa !9
  %187 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %188 = getelementptr inbounds %struct.mpz, ptr %187, i64 4
  %189 = load i32, ptr %12, align 4, !tbaa !9
  call void @s_qdiv(ptr noundef %188, i32 noundef %189)
  %190 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %191 = getelementptr inbounds %struct.mpz, ptr %190, i64 5
  %192 = load i32, ptr %12, align 4, !tbaa !9
  call void @s_qdiv(ptr noundef %191, i32 noundef %192)
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #3
  br label %193

193:                                              ; preds = %185
  %194 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %195 = getelementptr inbounds %struct.mpz, ptr %194, i64 6
  %196 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %197 = getelementptr inbounds %struct.mpz, ptr %196, i64 4
  %198 = call i32 @mp_int_init_copy(ptr noundef %195, ptr noundef %197)
  store i32 %198, ptr %15, align 4, !tbaa !9
  %199 = icmp ne i32 %198, 0
  br i1 %199, label %200, label %201

200:                                              ; preds = %193
  br label %467

201:                                              ; preds = %193
  %202 = load i32, ptr %17, align 4, !tbaa !9
  %203 = add nsw i32 %202, 1
  store i32 %203, ptr %17, align 4, !tbaa !9
  br label %204

204:                                              ; preds = %201
  br label %205

205:                                              ; preds = %204
  br label %206

206:                                              ; preds = %205
  %207 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %208 = getelementptr inbounds %struct.mpz, ptr %207, i64 7
  %209 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %210 = getelementptr inbounds %struct.mpz, ptr %209, i64 5
  %211 = call i32 @mp_int_init_copy(ptr noundef %208, ptr noundef %210)
  store i32 %211, ptr %15, align 4, !tbaa !9
  %212 = icmp ne i32 %211, 0
  br i1 %212, label %213, label %214

213:                                              ; preds = %206
  br label %467

214:                                              ; preds = %206
  %215 = load i32, ptr %17, align 4, !tbaa !9
  %216 = add nsw i32 %215, 1
  store i32 %216, ptr %17, align 4, !tbaa !9
  br label %217

217:                                              ; preds = %214
  br label %218

218:                                              ; preds = %217
  br label %219

219:                                              ; preds = %465, %218
  br label %220

220:                                              ; preds = %271, %219
  %221 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %222 = getelementptr inbounds %struct.mpz, ptr %221, i64 4
  %223 = getelementptr inbounds %struct.mpz, ptr %222, i32 0, i32 1
  %224 = load ptr, ptr %223, align 8, !tbaa !13
  %225 = getelementptr inbounds i32, ptr %224, i64 0
  %226 = load i32, ptr %225, align 4, !tbaa !9
  %227 = and i32 %226, 1
  %228 = icmp ne i32 %227, 0
  %229 = xor i1 %228, true
  br i1 %229, label %230, label %276

230:                                              ; preds = %220
  %231 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %232 = getelementptr inbounds %struct.mpz, ptr %231, i64 4
  call void @s_qdiv(ptr noundef %232, i32 noundef 1)
  %233 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %234 = getelementptr inbounds %struct.mpz, ptr %233, i64 0
  %235 = getelementptr inbounds %struct.mpz, ptr %234, i32 0, i32 1
  %236 = load ptr, ptr %235, align 8, !tbaa !13
  %237 = getelementptr inbounds i32, ptr %236, i64 0
  %238 = load i32, ptr %237, align 4, !tbaa !9
  %239 = and i32 %238, 1
  %240 = icmp ne i32 %239, 0
  br i1 %240, label %250, label %241

241:                                              ; preds = %230
  %242 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %243 = getelementptr inbounds %struct.mpz, ptr %242, i64 1
  %244 = getelementptr inbounds %struct.mpz, ptr %243, i32 0, i32 1
  %245 = load ptr, ptr %244, align 8, !tbaa !13
  %246 = getelementptr inbounds i32, ptr %245, i64 0
  %247 = load i32, ptr %246, align 4, !tbaa !9
  %248 = and i32 %247, 1
  %249 = icmp ne i32 %248, 0
  br i1 %249, label %250, label %271

250:                                              ; preds = %241, %230
  %251 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %252 = getelementptr inbounds %struct.mpz, ptr %251, i64 0
  %253 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %254 = getelementptr inbounds %struct.mpz, ptr %253, i64 7
  %255 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %256 = getelementptr inbounds %struct.mpz, ptr %255, i64 0
  %257 = call i32 @mp_int_add(ptr noundef %252, ptr noundef %254, ptr noundef %256)
  store i32 %257, ptr %15, align 4, !tbaa !9
  %258 = icmp ne i32 %257, 0
  br i1 %258, label %259, label %260

259:                                              ; preds = %250
  br label %467

260:                                              ; preds = %250
  %261 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %262 = getelementptr inbounds %struct.mpz, ptr %261, i64 1
  %263 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %264 = getelementptr inbounds %struct.mpz, ptr %263, i64 6
  %265 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %266 = getelementptr inbounds %struct.mpz, ptr %265, i64 1
  %267 = call i32 @mp_int_sub(ptr noundef %262, ptr noundef %264, ptr noundef %266)
  store i32 %267, ptr %15, align 4, !tbaa !9
  %268 = icmp ne i32 %267, 0
  br i1 %268, label %269, label %270

269:                                              ; preds = %260
  br label %467

270:                                              ; preds = %260
  br label %271

271:                                              ; preds = %270, %241
  %272 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %273 = getelementptr inbounds %struct.mpz, ptr %272, i64 0
  call void @s_qdiv(ptr noundef %273, i32 noundef 1)
  %274 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %275 = getelementptr inbounds %struct.mpz, ptr %274, i64 1
  call void @s_qdiv(ptr noundef %275, i32 noundef 1)
  br label %220, !llvm.loop !17

276:                                              ; preds = %220
  br label %277

277:                                              ; preds = %328, %276
  %278 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %279 = getelementptr inbounds %struct.mpz, ptr %278, i64 5
  %280 = getelementptr inbounds %struct.mpz, ptr %279, i32 0, i32 1
  %281 = load ptr, ptr %280, align 8, !tbaa !13
  %282 = getelementptr inbounds i32, ptr %281, i64 0
  %283 = load i32, ptr %282, align 4, !tbaa !9
  %284 = and i32 %283, 1
  %285 = icmp ne i32 %284, 0
  %286 = xor i1 %285, true
  br i1 %286, label %287, label %333

287:                                              ; preds = %277
  %288 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %289 = getelementptr inbounds %struct.mpz, ptr %288, i64 5
  call void @s_qdiv(ptr noundef %289, i32 noundef 1)
  %290 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %291 = getelementptr inbounds %struct.mpz, ptr %290, i64 2
  %292 = getelementptr inbounds %struct.mpz, ptr %291, i32 0, i32 1
  %293 = load ptr, ptr %292, align 8, !tbaa !13
  %294 = getelementptr inbounds i32, ptr %293, i64 0
  %295 = load i32, ptr %294, align 4, !tbaa !9
  %296 = and i32 %295, 1
  %297 = icmp ne i32 %296, 0
  br i1 %297, label %307, label %298

298:                                              ; preds = %287
  %299 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %300 = getelementptr inbounds %struct.mpz, ptr %299, i64 3
  %301 = getelementptr inbounds %struct.mpz, ptr %300, i32 0, i32 1
  %302 = load ptr, ptr %301, align 8, !tbaa !13
  %303 = getelementptr inbounds i32, ptr %302, i64 0
  %304 = load i32, ptr %303, align 4, !tbaa !9
  %305 = and i32 %304, 1
  %306 = icmp ne i32 %305, 0
  br i1 %306, label %307, label %328

307:                                              ; preds = %298, %287
  %308 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %309 = getelementptr inbounds %struct.mpz, ptr %308, i64 2
  %310 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %311 = getelementptr inbounds %struct.mpz, ptr %310, i64 7
  %312 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %313 = getelementptr inbounds %struct.mpz, ptr %312, i64 2
  %314 = call i32 @mp_int_add(ptr noundef %309, ptr noundef %311, ptr noundef %313)
  store i32 %314, ptr %15, align 4, !tbaa !9
  %315 = icmp ne i32 %314, 0
  br i1 %315, label %316, label %317

316:                                              ; preds = %307
  br label %467

317:                                              ; preds = %307
  %318 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %319 = getelementptr inbounds %struct.mpz, ptr %318, i64 3
  %320 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %321 = getelementptr inbounds %struct.mpz, ptr %320, i64 6
  %322 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %323 = getelementptr inbounds %struct.mpz, ptr %322, i64 3
  %324 = call i32 @mp_int_sub(ptr noundef %319, ptr noundef %321, ptr noundef %323)
  store i32 %324, ptr %15, align 4, !tbaa !9
  %325 = icmp ne i32 %324, 0
  br i1 %325, label %326, label %327

326:                                              ; preds = %317
  br label %467

327:                                              ; preds = %317
  br label %328

328:                                              ; preds = %327, %298
  %329 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %330 = getelementptr inbounds %struct.mpz, ptr %329, i64 2
  call void @s_qdiv(ptr noundef %330, i32 noundef 1)
  %331 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %332 = getelementptr inbounds %struct.mpz, ptr %331, i64 3
  call void @s_qdiv(ptr noundef %332, i32 noundef 1)
  br label %277, !llvm.loop !18

333:                                              ; preds = %277
  %334 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %335 = getelementptr inbounds %struct.mpz, ptr %334, i64 4
  %336 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %337 = getelementptr inbounds %struct.mpz, ptr %336, i64 5
  %338 = call i32 @mp_int_compare(ptr noundef %335, ptr noundef %337)
  %339 = icmp sge i32 %338, 0
  br i1 %339, label %340, label %371

340:                                              ; preds = %333
  %341 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %342 = getelementptr inbounds %struct.mpz, ptr %341, i64 4
  %343 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %344 = getelementptr inbounds %struct.mpz, ptr %343, i64 5
  %345 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %346 = getelementptr inbounds %struct.mpz, ptr %345, i64 4
  %347 = call i32 @mp_int_sub(ptr noundef %342, ptr noundef %344, ptr noundef %346)
  store i32 %347, ptr %15, align 4, !tbaa !9
  %348 = icmp ne i32 %347, 0
  br i1 %348, label %349, label %350

349:                                              ; preds = %340
  br label %467

350:                                              ; preds = %340
  %351 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %352 = getelementptr inbounds %struct.mpz, ptr %351, i64 0
  %353 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %354 = getelementptr inbounds %struct.mpz, ptr %353, i64 2
  %355 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %356 = getelementptr inbounds %struct.mpz, ptr %355, i64 0
  %357 = call i32 @mp_int_sub(ptr noundef %352, ptr noundef %354, ptr noundef %356)
  store i32 %357, ptr %15, align 4, !tbaa !9
  %358 = icmp ne i32 %357, 0
  br i1 %358, label %359, label %360

359:                                              ; preds = %350
  br label %467

360:                                              ; preds = %350
  %361 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %362 = getelementptr inbounds %struct.mpz, ptr %361, i64 1
  %363 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %364 = getelementptr inbounds %struct.mpz, ptr %363, i64 3
  %365 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %366 = getelementptr inbounds %struct.mpz, ptr %365, i64 1
  %367 = call i32 @mp_int_sub(ptr noundef %362, ptr noundef %364, ptr noundef %366)
  store i32 %367, ptr %15, align 4, !tbaa !9
  %368 = icmp ne i32 %367, 0
  br i1 %368, label %369, label %370

369:                                              ; preds = %360
  br label %467

370:                                              ; preds = %360
  br label %402

371:                                              ; preds = %333
  %372 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %373 = getelementptr inbounds %struct.mpz, ptr %372, i64 5
  %374 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %375 = getelementptr inbounds %struct.mpz, ptr %374, i64 4
  %376 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %377 = getelementptr inbounds %struct.mpz, ptr %376, i64 5
  %378 = call i32 @mp_int_sub(ptr noundef %373, ptr noundef %375, ptr noundef %377)
  store i32 %378, ptr %15, align 4, !tbaa !9
  %379 = icmp ne i32 %378, 0
  br i1 %379, label %380, label %381

380:                                              ; preds = %371
  br label %467

381:                                              ; preds = %371
  %382 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %383 = getelementptr inbounds %struct.mpz, ptr %382, i64 2
  %384 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %385 = getelementptr inbounds %struct.mpz, ptr %384, i64 0
  %386 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %387 = getelementptr inbounds %struct.mpz, ptr %386, i64 2
  %388 = call i32 @mp_int_sub(ptr noundef %383, ptr noundef %385, ptr noundef %387)
  store i32 %388, ptr %15, align 4, !tbaa !9
  %389 = icmp ne i32 %388, 0
  br i1 %389, label %390, label %391

390:                                              ; preds = %381
  br label %467

391:                                              ; preds = %381
  %392 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %393 = getelementptr inbounds %struct.mpz, ptr %392, i64 3
  %394 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %395 = getelementptr inbounds %struct.mpz, ptr %394, i64 1
  %396 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %397 = getelementptr inbounds %struct.mpz, ptr %396, i64 3
  %398 = call i32 @mp_int_sub(ptr noundef %393, ptr noundef %395, ptr noundef %397)
  store i32 %398, ptr %15, align 4, !tbaa !9
  %399 = icmp ne i32 %398, 0
  br i1 %399, label %400, label %401

400:                                              ; preds = %391
  br label %467

401:                                              ; preds = %391
  br label %402

402:                                              ; preds = %401, %370
  %403 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %404 = getelementptr inbounds %struct.mpz, ptr %403, i64 4
  %405 = getelementptr inbounds %struct.mpz, ptr %404, i32 0, i32 3
  %406 = load i32, ptr %405, align 4, !tbaa !11
  %407 = icmp eq i32 %406, 1
  br i1 %407, label %408, label %417

408:                                              ; preds = %402
  %409 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %410 = getelementptr inbounds %struct.mpz, ptr %409, i64 4
  %411 = getelementptr inbounds %struct.mpz, ptr %410, i32 0, i32 1
  %412 = load ptr, ptr %411, align 8, !tbaa !13
  %413 = getelementptr inbounds i32, ptr %412, i64 0
  %414 = load i32, ptr %413, align 4, !tbaa !9
  %415 = icmp eq i32 %414, 0
  br i1 %415, label %416, label %417

416:                                              ; preds = %408
  br label %426

417:                                              ; preds = %408, %402
  %418 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %419 = getelementptr inbounds %struct.mpz, ptr %418, i64 4
  %420 = getelementptr inbounds %struct.mpz, ptr %419, i32 0, i32 4
  %421 = load i8, ptr %420, align 8, !tbaa !14
  %422 = zext i8 %421 to i32
  %423 = icmp eq i32 %422, 1
  %424 = zext i1 %423 to i64
  %425 = select i1 %423, i32 -1, i32 1
  br label %426

426:                                              ; preds = %417, %416
  %427 = phi i32 [ 0, %416 ], [ %425, %417 ]
  %428 = icmp eq i32 %427, 0
  br i1 %428, label %429, label %465

429:                                              ; preds = %426
  %430 = load ptr, ptr %10, align 8, !tbaa !5
  %431 = icmp ne ptr %430, null
  br i1 %431, label %432, label %439

432:                                              ; preds = %429
  %433 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %434 = getelementptr inbounds %struct.mpz, ptr %433, i64 2
  %435 = load ptr, ptr %10, align 8, !tbaa !5
  %436 = call i32 @mp_int_copy(ptr noundef %434, ptr noundef %435)
  store i32 %436, ptr %15, align 4, !tbaa !9
  %437 = icmp ne i32 %436, 0
  br i1 %437, label %438, label %439

438:                                              ; preds = %432
  br label %467

439:                                              ; preds = %432, %429
  %440 = load ptr, ptr %11, align 8, !tbaa !5
  %441 = icmp ne ptr %440, null
  br i1 %441, label %442, label %449

442:                                              ; preds = %439
  %443 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %444 = getelementptr inbounds %struct.mpz, ptr %443, i64 3
  %445 = load ptr, ptr %11, align 8, !tbaa !5
  %446 = call i32 @mp_int_copy(ptr noundef %444, ptr noundef %445)
  store i32 %446, ptr %15, align 4, !tbaa !9
  %447 = icmp ne i32 %446, 0
  br i1 %447, label %448, label %449

448:                                              ; preds = %442
  br label %467

449:                                              ; preds = %442, %439
  %450 = load ptr, ptr %9, align 8, !tbaa !5
  %451 = icmp ne ptr %450, null
  br i1 %451, label %452, label %464

452:                                              ; preds = %449
  %453 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %454 = getelementptr inbounds %struct.mpz, ptr %453, i64 5
  %455 = load i32, ptr %12, align 4, !tbaa !9
  %456 = call i32 @s_qmul(ptr noundef %454, i32 noundef %455)
  %457 = icmp ne i32 %456, 0
  br i1 %457, label %459, label %458

458:                                              ; preds = %452
  store i32 -2, ptr %15, align 4, !tbaa !9
  br label %467

459:                                              ; preds = %452
  %460 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %461 = getelementptr inbounds %struct.mpz, ptr %460, i64 5
  %462 = load ptr, ptr %9, align 8, !tbaa !5
  %463 = call i32 @mp_int_copy(ptr noundef %461, ptr noundef %462)
  store i32 %463, ptr %15, align 4, !tbaa !9
  br label %464

464:                                              ; preds = %459, %449
  br label %466

465:                                              ; preds = %426
  br label %219

466:                                              ; preds = %464
  br label %467

467:                                              ; preds = %466, %458, %448, %438, %400, %390, %380, %369, %359, %349, %326, %316, %269, %259, %213, %200, %160, %148
  br label %468

468:                                              ; preds = %472, %467
  %469 = load i32, ptr %17, align 4, !tbaa !9
  %470 = add nsw i32 %469, -1
  store i32 %470, ptr %17, align 4, !tbaa !9
  %471 = icmp sge i32 %470, 0
  br i1 %471, label %472, label %477

472:                                              ; preds = %468
  %473 = getelementptr inbounds [8 x %struct.mpz], ptr %16, i64 0, i64 0
  %474 = load i32, ptr %17, align 4, !tbaa !9
  %475 = sext i32 %474 to i64
  %476 = getelementptr inbounds %struct.mpz, ptr %473, i64 %475
  call void @mp_int_clear(ptr noundef %476)
  br label %468, !llvm.loop !19

477:                                              ; preds = %468
  %478 = load i32, ptr %15, align 4, !tbaa !9
  store i32 %478, ptr %6, align 4
  store i32 1, ptr %18, align 4
  br label %479

479:                                              ; preds = %477, %112, %110, %98, %96, %87
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #3
  call void @llvm.lifetime.end.p0(i64 256, ptr %16) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #3
  %480 = load i32, ptr %6, align 4
  ret i32 %480
}

; Function Attrs: nounwind uwtable
declare hidden i32 @s_dp2k(ptr noundef) #0

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


; Optimized IR (opt -passes='default<O3>'):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%struct.mpz = type { i32, ptr, i32, i32, i8 }

@.str.1 = external hidden unnamed_addr constant [87 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [94 x i8], align 1
@__PRETTY_FUNCTION__.mp_int_egcd = external hidden unnamed_addr constant [62 x i8], align 1

; Function Attrs: nounwind uwtable
declare dso_local i32 @mp_int_init(ptr noundef) local_unnamed_addr #0

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

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

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

; Function Attrs: nounwind uwtable
declare dso_local i32 @mp_int_init_copy(ptr noundef, ptr noundef) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
declare dso_local i32 @mp_int_set_value(ptr noundef, i64 noundef) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
declare dso_local i32 @mp_int_copy(ptr noundef, ptr noundef) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
declare dso_local void @mp_int_clear(ptr noundef) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
declare dso_local void @mp_int_zero(ptr noundef) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
declare dso_local i32 @mp_int_abs(ptr noundef, ptr noundef) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
declare dso_local i32 @mp_int_add(ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
declare dso_local i32 @mp_int_sub(ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
declare hidden i32 @s_qmul(ptr noundef, i32 noundef) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
declare hidden void @s_qdiv(ptr noundef, i32 noundef) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
declare dso_local i32 @mp_int_compare(ptr noundef, ptr noundef) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
define dso_local i32 @mp_int_egcd(ptr noundef %0, ptr noundef %1, ptr noundef %2, ptr noundef %3, ptr noundef %4) local_unnamed_addr #0 {
  %6 = alloca [8 x %struct.mpz], align 16
  call void @llvm.lifetime.start.p0(i64 256, ptr nonnull %6) #4
  %7 = icmp ne ptr %0, null
  %8 = icmp ne ptr %1, null
  %or.cond = and i1 %7, %8
  %9 = icmp ne ptr %2, null
  %or.cond3 = and i1 %or.cond, %9
  br i1 %or.cond3, label %10, label %13

10:                                               ; preds = %5
  %11 = icmp ne ptr %3, null
  %12 = icmp ne ptr %4, null
  %or.cond5 = or i1 %11, %12
  br i1 %or.cond5, label %14, label %13

13:                                               ; preds = %10, %5
  tail call void @__assert_fail(ptr noundef nonnull @.str.14, ptr noundef nonnull @.str.1, i32 noundef 1398, ptr noundef nonnull @__PRETTY_FUNCTION__.mp_int_egcd) #5
  unreachable

14:                                               ; preds = %10
  %15 = getelementptr inbounds i8, ptr %0, i64 20
  %16 = load i32, ptr %15, align 4, !tbaa !5
  %17 = icmp eq i32 %16, 1
  br i1 %17, label %18, label %.thread138

18:                                               ; preds = %14
  %19 = getelementptr inbounds i8, ptr %0, i64 8
  %20 = load ptr, ptr %19, align 8, !tbaa !11
  %21 = load i32, ptr %20, align 4, !tbaa !12
  %22 = icmp eq i32 %21, 0
  br i1 %22, label %23, label %.thread138

23:                                               ; preds = %18
  %24 = getelementptr inbounds i8, ptr %1, i64 20
  %25 = load i32, ptr %24, align 4, !tbaa !5
  %26 = icmp eq i32 %25, 1
  br i1 %26, label %30, label %.thread.thread

.thread138:                                       ; preds = %14, %18
  %27 = getelementptr inbounds i8, ptr %1, i64 20
  %28 = load i32, ptr %27, align 4, !tbaa !5
  %29 = icmp eq i32 %28, 1
  br i1 %29, label %38, label %.preheader122.preheader

30:                                               ; preds = %23
  %31 = getelementptr inbounds i8, ptr %1, i64 8
  %32 = load ptr, ptr %31, align 8, !tbaa !11
  %33 = load i32, ptr %32, align 4, !tbaa !12
  %34 = icmp eq i32 %33, 0
  br i1 %34, label %.loopexit, label %.thread.thread

.thread.thread:                                   ; preds = %30, %23
  %35 = tail call i32 @mp_int_abs(ptr noundef nonnull %1, ptr noundef nonnull %2)
  %.not112 = icmp eq i32 %35, 0
  br i1 %.not112, label %36, label %.loopexit

36:                                               ; preds = %.thread.thread
  tail call void @mp_int_zero(ptr noundef %3)
  %37 = tail call i32 @mp_int_set_value(ptr noundef %4, i64 noundef 1)
  br label %.loopexit

38:                                               ; preds = %.thread138
  %39 = getelementptr inbounds i8, ptr %1, i64 8
  %40 = load ptr, ptr %39, align 8, !tbaa !11
  %41 = load i32, ptr %40, align 4, !tbaa !12
  %42 = icmp eq i32 %41, 0
  br i1 %42, label %56, label %.preheader122.preheader

.preheader122.preheader:                          ; preds = %.thread138, %38
  %43 = call i32 @mp_int_init(ptr noundef nonnull %6)
  %44 = getelementptr inbounds i8, ptr %6, i64 32
  %45 = call i32 @mp_int_init(ptr noundef nonnull %44)
  %46 = getelementptr inbounds i8, ptr %6, i64 64
  %47 = call i32 @mp_int_init(ptr noundef nonnull %46)
  %48 = getelementptr inbounds i8, ptr %6, i64 96
  %49 = call i32 @mp_int_init(ptr noundef nonnull %48)
  %50 = getelementptr inbounds i8, ptr %6, i64 8
  %51 = load ptr, ptr %50, align 8, !tbaa !11
  store i32 1, ptr %51, align 4, !tbaa !12
  %52 = getelementptr inbounds i8, ptr %6, i64 104
  %53 = load ptr, ptr %52, align 8, !tbaa !11
  store i32 1, ptr %53, align 4, !tbaa !12
  %54 = getelementptr inbounds i8, ptr %6, i64 128
  %55 = call i32 @mp_int_init_copy(ptr noundef nonnull %54, ptr noundef nonnull %0)
  %.not = icmp eq i32 %55, 0
  br i1 %.not, label %60, label %.lr.ph130.preheader

56:                                               ; preds = %38
  %57 = tail call i32 @mp_int_abs(ptr noundef nonnull %0, ptr noundef nonnull %2)
  %.not111 = icmp eq i32 %57, 0
  br i1 %.not111, label %58, label %.loopexit

58:                                               ; preds = %56
  %59 = tail call i32 @mp_int_set_value(ptr noundef %3, i64 noundef 1)
  tail call void @mp_int_zero(ptr noundef %4)
  br label %.loopexit

60:                                               ; preds = %.preheader122.preheader
  %61 = getelementptr inbounds i8, ptr %6, i64 160
  %62 = call i32 @mp_int_init_copy(ptr noundef nonnull %61, ptr noundef nonnull %1)
  %.not90 = icmp eq i32 %62, 0
  br i1 %.not90, label %63, label %.lr.ph130.preheader

63:                                               ; preds = %60
  %64 = getelementptr inbounds i8, ptr %6, i64 152
  store i8 0, ptr %64, align 8, !tbaa !13
  %65 = getelementptr inbounds i8, ptr %6, i64 184
  store i8 0, ptr %65, align 8, !tbaa !13
  %66 = call i32 @s_dp2k(ptr noundef nonnull %54)
  %67 = call i32 @s_dp2k(ptr noundef nonnull %61)
  %68 = call i32 @llvm.smin.i32(i32 %67, i32 %66)
  call void @s_qdiv(ptr noundef nonnull %54, i32 noundef %68)
  call void @s_qdiv(ptr noundef nonnull %61, i32 noundef %68)
  %69 = getelementptr inbounds i8, ptr %6, i64 192
  %70 = call i32 @mp_int_init_copy(ptr noundef nonnull %69, ptr noundef nonnull %54)
  %.not91 = icmp eq i32 %70, 0
  br i1 %.not91, label %71, label %.lr.ph130.preheader

71:                                               ; preds = %63
  %72 = getelementptr inbounds i8, ptr %6, i64 224
  %73 = call i32 @mp_int_init_copy(ptr noundef nonnull %72, ptr noundef nonnull %61)
  %.not92 = icmp eq i32 %73, 0
  br i1 %.not92, label %74, label %.lr.ph130.preheader

74:                                               ; preds = %71
  %75 = getelementptr inbounds i8, ptr %6, i64 136
  %76 = getelementptr inbounds i8, ptr %6, i64 40
  %77 = getelementptr inbounds i8, ptr %6, i64 168
  %78 = getelementptr inbounds i8, ptr %6, i64 72
  %79 = getelementptr inbounds i8, ptr %6, i64 148
  br label %.critedge

.critedge:                                        ; preds = %.critedge.backedge, %74
  %80 = load ptr, ptr %75, align 8, !tbaa !11
  %81 = load i32, ptr %80, align 4, !tbaa !12
  %82 = and i32 %81, 1
  %.not93125 = icmp eq i32 %82, 0
  br i1 %.not93125, label %.lr.ph, label %.preheader

.preheader:                                       ; preds = %97, %.critedge
  %83 = load ptr, ptr %77, align 8, !tbaa !11
  %84 = load i32, ptr %83, align 4, !tbaa !12
  %85 = and i32 %84, 1
  %.not94126 = icmp eq i32 %85, 0
  br i1 %.not94126, label %.lr.ph127, label %._crit_edge

.lr.ph:                                           ; preds = %.critedge, %97
  call void @s_qdiv(ptr noundef nonnull %54, i32 noundef 1)
  %86 = load ptr, ptr %50, align 8, !tbaa !11
  %87 = load i32, ptr %86, align 4, !tbaa !12
  %88 = and i32 %87, 1
  %.not107 = icmp eq i32 %88, 0
  br i1 %.not107, label %89, label %93

89:                                               ; preds = %.lr.ph
  %90 = load ptr, ptr %76, align 8, !tbaa !11
  %91 = load i32, ptr %90, align 4, !tbaa !12
  %92 = and i32 %91, 1
  %.not108 = icmp eq i32 %92, 0
  br i1 %.not108, label %97, label %93

93:                                               ; preds = %89, %.lr.ph
  %94 = call i32 @mp_int_add(ptr noundef nonnull %6, ptr noundef nonnull %72, ptr noundef nonnull %6)
  %.not109 = icmp eq i32 %94, 0
  br i1 %.not109, label %95, label %.lr.ph130.preheader

95:                                               ; preds = %93
  %96 = call i32 @mp_int_sub(ptr noundef nonnull %44, ptr noundef nonnull %69, ptr noundef nonnull %44)
  %.not110 = icmp eq i32 %96, 0
  br i1 %.not110, label %97, label %.lr.ph130.preheader

97:                                               ; preds = %95, %89
  call void @s_qdiv(ptr noundef nonnull %6, i32 noundef 1)
  call void @s_qdiv(ptr noundef nonnull %44, i32 noundef 1)
  %98 = load ptr, ptr %75, align 8, !tbaa !11
  %99 = load i32, ptr %98, align 4, !tbaa !12
  %100 = and i32 %99, 1
  %.not93 = icmp eq i32 %100, 0
  br i1 %.not93, label %.lr.ph, label %.preheader, !llvm.loop !14

.lr.ph127:                                        ; preds = %.preheader, %112
  call void @s_qdiv(ptr noundef nonnull %61, i32 noundef 1)
  %101 = load ptr, ptr %78, align 8, !tbaa !11
  %102 = load i32, ptr %101, align 4, !tbaa !12
  %103 = and i32 %102, 1
  %.not103 = icmp eq i32 %103, 0
  br i1 %.not103, label %104, label %108

104:                                              ; preds = %.lr.ph127
  %105 = load ptr, ptr %52, align 8, !tbaa !11
  %106 = load i32, ptr %105, align 4, !tbaa !12
  %107 = and i32 %106, 1
  %.not104 = icmp eq i32 %107, 0
  br i1 %.not104, label %112, label %108

108:                                              ; preds = %104, %.lr.ph127
  %109 = call i32 @mp_int_add(ptr noundef nonnull %46, ptr noundef nonnull %72, ptr noundef nonnull %46)
  %.not105 = icmp eq i32 %109, 0
  br i1 %.not105, label %110, label %.lr.ph130.preheader

110:                                              ; preds = %108
  %111 = call i32 @mp_int_sub(ptr noundef nonnull %48, ptr noundef nonnull %69, ptr noundef nonnull %48)
  %.not106 = icmp eq i32 %111, 0
  br i1 %.not106, label %112, label %.lr.ph130.preheader

112:                                              ; preds = %110, %104
  call void @s_qdiv(ptr noundef nonnull %46, i32 noundef 1)
  call void @s_qdiv(ptr noundef nonnull %48, i32 noundef 1)
  %113 = load ptr, ptr %77, align 8, !tbaa !11
  %114 = load i32, ptr %113, align 4, !tbaa !12
  %115 = and i32 %114, 1
  %.not94 = icmp eq i32 %115, 0
  br i1 %.not94, label %.lr.ph127, label %._crit_edge, !llvm.loop !16

._crit_edge:                                      ; preds = %112, %.preheader
  %116 = call i32 @mp_int_compare(ptr noundef nonnull %54, ptr noundef nonnull %61)
  %117 = icmp sgt i32 %116, -1
  br i1 %117, label %118, label %124

118:                                              ; preds = %._crit_edge
  %119 = call i32 @mp_int_sub(ptr noundef nonnull %54, ptr noundef nonnull %61, ptr noundef nonnull %54)
  %.not98 = icmp eq i32 %119, 0
  br i1 %.not98, label %120, label %.lr.ph130.preheader

120:                                              ; preds = %118
  %121 = call i32 @mp_int_sub(ptr noundef nonnull %6, ptr noundef nonnull %46, ptr noundef nonnull %6)
  %.not99 = icmp eq i32 %121, 0
  br i1 %.not99, label %122, label %.lr.ph130.preheader

122:                                              ; preds = %120
  %123 = call i32 @mp_int_sub(ptr noundef nonnull %44, ptr noundef nonnull %48, ptr noundef nonnull %44)
  %.not100 = icmp eq i32 %123, 0
  br i1 %.not100, label %130, label %.lr.ph130.preheader

124:                                              ; preds = %._crit_edge
  %125 = call i32 @mp_int_sub(ptr noundef nonnull %61, ptr noundef nonnull %54, ptr noundef nonnull %61)
  %.not95 = icmp eq i32 %125, 0
  br i1 %.not95, label %126, label %.lr.ph130.preheader

126:                                              ; preds = %124
  %127 = call i32 @mp_int_sub(ptr noundef nonnull %46, ptr noundef nonnull %6, ptr noundef nonnull %46)
  %.not96 = icmp eq i32 %127, 0
  br i1 %.not96, label %128, label %.lr.ph130.preheader

128:                                              ; preds = %126
  %129 = call i32 @mp_int_sub(ptr noundef nonnull %48, ptr noundef nonnull %44, ptr noundef nonnull %48)
  %.not97 = icmp eq i32 %129, 0
  br i1 %.not97, label %130, label %.lr.ph130.preheader

130:                                              ; preds = %128, %122
  %131 = load i32, ptr %79, align 4, !tbaa !5
  %132 = icmp eq i32 %131, 1
  br i1 %132, label %133, label %.critedge.backedge

133:                                              ; preds = %130
  %134 = load ptr, ptr %75, align 8, !tbaa !11
  %135 = load i32, ptr %134, align 4, !tbaa !12
  %136 = icmp eq i32 %135, 0
  br i1 %136, label %137, label %.critedge.backedge

.critedge.backedge:                               ; preds = %133, %130
  br label %.critedge

137:                                              ; preds = %133
  br i1 %11, label %138, label %140

138:                                              ; preds = %137
  %139 = call i32 @mp_int_copy(ptr noundef nonnull %46, ptr noundef nonnull %3)
  %.not101 = icmp eq i32 %139, 0
  br i1 %.not101, label %140, label %.lr.ph130.preheader

140:                                              ; preds = %138, %137
  br i1 %12, label %141, label %144

141:                                              ; preds = %140
  %142 = call i32 @mp_int_copy(ptr noundef nonnull %48, ptr noundef nonnull %4)
  %143 = icmp eq i32 %142, 0
  br i1 %143, label %144, label %.lr.ph130.preheader

144:                                              ; preds = %140, %141
  %145 = call i32 @s_qmul(ptr noundef nonnull %61, i32 noundef %68)
  %.not102 = icmp eq i32 %145, 0
  br i1 %.not102, label %.lr.ph130.preheader, label %146

146:                                              ; preds = %144
  %147 = call i32 @mp_int_copy(ptr noundef nonnull %61, ptr noundef nonnull %2)
  br label %.lr.ph130.preheader

.lr.ph130.preheader:                              ; preds = %118, %120, %122, %124, %126, %128, %93, %95, %108, %110, %.preheader122.preheader, %60, %63, %71, %138, %141, %146, %144
  %.161 = phi i64 [ 4, %.preheader122.preheader ], [ 5, %60 ], [ 6, %63 ], [ 7, %71 ], [ 8, %138 ], [ 8, %146 ], [ 8, %141 ], [ 8, %144 ], [ 8, %110 ], [ 8, %108 ], [ 8, %95 ], [ 8, %93 ], [ 8, %128 ], [ 8, %126 ], [ 8, %124 ], [ 8, %122 ], [ 8, %120 ], [ 8, %118 ]
  %.2 = phi i32 [ %55, %.preheader122.preheader ], [ %62, %60 ], [ %70, %63 ], [ %73, %71 ], [ %139, %138 ], [ %147, %146 ], [ %142, %141 ], [ -2, %144 ], [ %109, %108 ], [ %111, %110 ], [ %94, %93 ], [ %96, %95 ], [ %119, %118 ], [ %121, %120 ], [ %123, %122 ], [ %125, %124 ], [ %127, %126 ], [ %129, %128 ]
  br label %.lr.ph130

.lr.ph130:                                        ; preds = %.lr.ph130.preheader, %.lr.ph130
  %indvars.iv = phi i64 [ %.161, %.lr.ph130.preheader ], [ %indvars.iv.next, %.lr.ph130 ]
  %indvars.iv.next = add nsw i64 %indvars.iv, -1
  %148 = getelementptr inbounds %struct.mpz, ptr %6, i64 %indvars.iv.next
  call void @mp_int_clear(ptr noundef nonnull %148)
  %149 = icmp ugt i64 %indvars.iv, 1
  br i1 %149, label %.lr.ph130, label %.loopexit, !llvm.loop !17

.loopexit:                                        ; preds = %.lr.ph130, %30, %56, %.thread.thread, %58, %36
  %.0 = phi i32 [ 0, %36 ], [ 0, %58 ], [ %35, %.thread.thread ], [ %57, %56 ], [ -4, %30 ], [ %.2, %.lr.ph130 ]
  call void @llvm.lifetime.end.p0(i64 256, ptr nonnull %6) #4
  ret i32 %.0
}

; Function Attrs: nounwind uwtable
declare hidden i32 @s_dp2k(ptr noundef) local_unnamed_addr #0

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

attributes #0 = { 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 #1 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { noreturn nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #4 = { nounwind }
attributes #5 = { noreturn 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 20}
!6 = !{!"mpz", !7, i64 0, !10, i64 8, !7, i64 16, !7, i64 20, !8, i64 24}
!7 = !{!"int", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C/C++ TBAA"}
!10 = !{!"any pointer", !8, i64 0}
!11 = !{!6, !10, i64 8}
!12 = !{!7, !7, i64 0}
!13 = !{!6, !8, i64 24}
!14 = distinct !{!14, !15}
!15 = !{!"llvm.loop.mustprogress"}
!16 = distinct !{!16, !15}
!17 = distinct !{!17, !15}


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