; LLVM IR from intel/cryptography-primitives :: sources/ippcp/gfpec (pcpgfpecverifydsa)

; 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._cpGFpECPoint = type { i32, i32, i32, ptr }
%struct._cpGFpEC = type { i32, i32, ptr, i32, i32, i32, ptr, ptr, ptr, ptr, i32, i32, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr }
%struct._cpGFp = type { i32, i32, ptr }
%struct._gsModEngine = type { ptr, i32, i32, i32, i32, i32, ptr, ptr, ptr, i64, ptr, ptr, ptr, ptr, i32, i32, ptr }
%struct._cpBigNum = type { i32, i32, i32, i32, ptr, ptr }
%struct._gsModMethod = type { ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr }

; Function Attrs: nounwind uwtable
define dso_local i32 @ippsGFpECVerifyDSA(ptr noundef %0, ptr noundef %1, ptr noundef %2, ptr noundef %3, ptr noundef %4, ptr noundef %5, ptr noundef %6) #0 {
  %8 = alloca i32, align 4
  %9 = alloca ptr, align 8
  %10 = alloca ptr, align 8
  %11 = alloca ptr, align 8
  %12 = alloca ptr, align 8
  %13 = alloca ptr, align 8
  %14 = alloca ptr, align 8
  %15 = alloca ptr, align 8
  %16 = alloca ptr, align 8
  %17 = alloca ptr, align 8
  %18 = alloca i32, align 4
  %19 = alloca i32, align 4
  %20 = alloca ptr, align 8
  %21 = alloca ptr, align 8
  %22 = alloca i32, align 4
  %23 = alloca i32, align 4
  %24 = alloca i32, align 4
  %25 = alloca ptr, align 8
  %26 = alloca ptr, align 8
  %27 = alloca ptr, align 8
  %28 = alloca %struct._cpGFpECPoint, align 8
  %29 = alloca i32, align 4
  %30 = alloca i32, align 4
  %31 = alloca i32, align 4
  store ptr %0, ptr %9, align 8, !tbaa !5
  store ptr %1, ptr %10, align 8, !tbaa !5
  store ptr %2, ptr %11, align 8, !tbaa !5
  store ptr %3, ptr %12, align 8, !tbaa !5
  store ptr %4, ptr %13, align 8, !tbaa !5
  store ptr %5, ptr %14, align 8, !tbaa !5
  store ptr %6, ptr %15, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #4
  %32 = load ptr, ptr %14, align 8, !tbaa !5
  %33 = icmp eq ptr null, %32
  br i1 %33, label %34, label %35

34:                                               ; preds = %7
  store i32 -8, ptr %8, align 4
  store i32 1, ptr %18, align 4
  br label %415

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

38:                                               ; preds = %35
  store i32 -8, ptr %8, align 4
  store i32 1, ptr %18, align 4
  br label %415

39:                                               ; preds = %35
  %40 = load ptr, ptr %14, align 8, !tbaa !5
  %41 = getelementptr inbounds %struct._cpGFpEC, ptr %40, i32 0, i32 0
  %42 = load i32, ptr %41, align 8, !tbaa !9
  %43 = load ptr, ptr %14, align 8, !tbaa !5
  %44 = call i64 @IPP_UINT_PTR(ptr noundef %43)
  %45 = trunc i64 %44 to i32
  %46 = xor i32 %42, %45
  %47 = icmp eq i32 %46, 1129136461
  br i1 %47, label %49, label %48

48:                                               ; preds = %39
  store i32 -13, ptr %8, align 4
  store i32 1, ptr %18, align 4
  br label %415

49:                                               ; preds = %39
  %50 = load ptr, ptr %14, align 8, !tbaa !5
  %51 = getelementptr inbounds %struct._cpGFpEC, ptr %50, i32 0, i32 3
  %52 = load i32, ptr %51, align 8, !tbaa !12
  %53 = icmp ne i32 %52, 0
  br i1 %53, label %55, label %54

54:                                               ; preds = %49
  store i32 -13, ptr %8, align 4
  store i32 1, ptr %18, align 4
  br label %415

55:                                               ; preds = %49
  %56 = load ptr, ptr %14, align 8, !tbaa !5
  %57 = getelementptr inbounds %struct._cpGFpEC, ptr %56, i32 0, i32 2
  %58 = load ptr, ptr %57, align 8, !tbaa !13
  store ptr %58, ptr %16, align 8, !tbaa !5
  %59 = load ptr, ptr %16, align 8, !tbaa !5
  %60 = getelementptr inbounds %struct._cpGFp, ptr %59, i32 0, i32 2
  %61 = load ptr, ptr %60, align 8, !tbaa !14
  store ptr %61, ptr %17, align 8, !tbaa !5
  %62 = load ptr, ptr %17, align 8, !tbaa !5
  %63 = getelementptr inbounds %struct._gsModEngine, ptr %62, i32 0, i32 1
  %64 = load i32, ptr %63, align 8, !tbaa !16
  %65 = icmp slt i32 1, %64
  br i1 %65, label %66, label %67

66:                                               ; preds = %55
  store i32 -14, ptr %8, align 4
  store i32 1, ptr %18, align 4
  br label %415

67:                                               ; preds = %55
  %68 = load ptr, ptr %9, align 8, !tbaa !5
  %69 = icmp eq ptr null, %68
  br i1 %69, label %70, label %71

70:                                               ; preds = %67
  store i32 -8, ptr %8, align 4
  store i32 1, ptr %18, align 4
  br label %415

71:                                               ; preds = %67
  %72 = load ptr, ptr %9, align 8, !tbaa !5
  %73 = getelementptr inbounds %struct._cpBigNum, ptr %72, i32 0, i32 0
  %74 = load i32, ptr %73, align 8, !tbaa !19
  %75 = load ptr, ptr %9, align 8, !tbaa !5
  %76 = call i64 @IPP_UINT_PTR(ptr noundef %75)
  %77 = trunc i64 %76 to i32
  %78 = xor i32 %74, %77
  %79 = icmp eq i32 %78, 1112098638
  br i1 %79, label %81, label %80

80:                                               ; preds = %71
  store i32 -13, ptr %8, align 4
  store i32 1, ptr %18, align 4
  br label %415

81:                                               ; preds = %71
  %82 = load ptr, ptr %9, align 8, !tbaa !5
  %83 = getelementptr inbounds %struct._cpBigNum, ptr %82, i32 0, i32 1
  %84 = load i32, ptr %83, align 4, !tbaa !21
  %85 = icmp eq i32 %84, 0
  br i1 %85, label %86, label %87

86:                                               ; preds = %81
  store i32 -1010, ptr %8, align 4
  store i32 1, ptr %18, align 4
  br label %415

87:                                               ; preds = %81
  %88 = load ptr, ptr %14, align 8, !tbaa !5
  %89 = getelementptr inbounds %struct._cpGFpEC, ptr %88, i32 0, i32 5
  %90 = load i32, ptr %89, align 8, !tbaa !22
  %91 = load ptr, ptr %9, align 8, !tbaa !5
  %92 = call i32 @cpBN_bitsize(ptr noundef %91)
  %93 = icmp slt i32 %90, %92
  br i1 %93, label %94, label %95

94:                                               ; preds = %87
  store i32 -1010, ptr %8, align 4
  store i32 1, ptr %18, align 4
  br label %415

95:                                               ; preds = %87
  %96 = load ptr, ptr %10, align 8, !tbaa !5
  %97 = icmp eq ptr null, %96
  br i1 %97, label %98, label %99

98:                                               ; preds = %95
  store i32 -8, ptr %8, align 4
  store i32 1, ptr %18, align 4
  br label %415

99:                                               ; preds = %95
  %100 = load ptr, ptr %10, align 8, !tbaa !5
  %101 = getelementptr inbounds %struct._cpGFpECPoint, ptr %100, i32 0, i32 0
  %102 = load i32, ptr %101, align 8, !tbaa !23
  %103 = load ptr, ptr %10, align 8, !tbaa !5
  %104 = call i64 @IPP_UINT_PTR(ptr noundef %103)
  %105 = trunc i64 %104 to i32
  %106 = xor i32 %102, %105
  %107 = icmp eq i32 %106, 1129136462
  br i1 %107, label %109, label %108

108:                                              ; preds = %99
  store i32 -13, ptr %8, align 4
  store i32 1, ptr %18, align 4
  br label %415

109:                                              ; preds = %99
  %110 = load ptr, ptr %10, align 8, !tbaa !5
  %111 = getelementptr inbounds %struct._cpGFpECPoint, ptr %110, i32 0, i32 2
  %112 = load i32, ptr %111, align 8, !tbaa !25
  %113 = load ptr, ptr %17, align 8, !tbaa !5
  %114 = getelementptr inbounds %struct._gsModEngine, ptr %113, i32 0, i32 3
  %115 = load i32, ptr %114, align 8, !tbaa !26
  %116 = icmp ne i32 %112, %115
  br i1 %116, label %117, label %118

117:                                              ; preds = %109
  store i32 -11, ptr %8, align 4
  store i32 1, ptr %18, align 4
  br label %415

118:                                              ; preds = %109
  %119 = load ptr, ptr %11, align 8, !tbaa !5
  %120 = icmp eq ptr null, %119
  br i1 %120, label %121, label %122

121:                                              ; preds = %118
  store i32 -8, ptr %8, align 4
  store i32 1, ptr %18, align 4
  br label %415

122:                                              ; preds = %118
  %123 = load ptr, ptr %12, align 8, !tbaa !5
  %124 = icmp eq ptr null, %123
  br i1 %124, label %125, label %126

125:                                              ; preds = %122
  store i32 -8, ptr %8, align 4
  store i32 1, ptr %18, align 4
  br label %415

126:                                              ; preds = %122
  %127 = load ptr, ptr %11, align 8, !tbaa !5
  %128 = getelementptr inbounds %struct._cpBigNum, ptr %127, i32 0, i32 0
  %129 = load i32, ptr %128, align 8, !tbaa !19
  %130 = load ptr, ptr %11, align 8, !tbaa !5
  %131 = call i64 @IPP_UINT_PTR(ptr noundef %130)
  %132 = trunc i64 %131 to i32
  %133 = xor i32 %129, %132
  %134 = icmp eq i32 %133, 1112098638
  br i1 %134, label %136, label %135

135:                                              ; preds = %126
  store i32 -13, ptr %8, align 4
  store i32 1, ptr %18, align 4
  br label %415

136:                                              ; preds = %126
  %137 = load ptr, ptr %12, align 8, !tbaa !5
  %138 = getelementptr inbounds %struct._cpBigNum, ptr %137, i32 0, i32 0
  %139 = load i32, ptr %138, align 8, !tbaa !19
  %140 = load ptr, ptr %12, align 8, !tbaa !5
  %141 = call i64 @IPP_UINT_PTR(ptr noundef %140)
  %142 = trunc i64 %141 to i32
  %143 = xor i32 %139, %142
  %144 = icmp eq i32 %143, 1112098638
  br i1 %144, label %146, label %145

145:                                              ; preds = %136
  store i32 -13, ptr %8, align 4
  store i32 1, ptr %18, align 4
  br label %415

146:                                              ; preds = %136
  %147 = load ptr, ptr %11, align 8, !tbaa !5
  %148 = getelementptr inbounds %struct._cpBigNum, ptr %147, i32 0, i32 1
  %149 = load i32, ptr %148, align 4, !tbaa !21
  %150 = icmp eq i32 %149, 0
  br i1 %150, label %151, label %152

151:                                              ; preds = %146
  store i32 -7, ptr %8, align 4
  store i32 1, ptr %18, align 4
  br label %415

152:                                              ; preds = %146
  %153 = load ptr, ptr %12, align 8, !tbaa !5
  %154 = getelementptr inbounds %struct._cpBigNum, ptr %153, i32 0, i32 1
  %155 = load i32, ptr %154, align 4, !tbaa !21
  %156 = icmp eq i32 %155, 0
  br i1 %156, label %157, label %158

157:                                              ; preds = %152
  store i32 -7, ptr %8, align 4
  store i32 1, ptr %18, align 4
  br label %415

158:                                              ; preds = %152
  %159 = load ptr, ptr %13, align 8, !tbaa !5
  %160 = icmp eq ptr null, %159
  br i1 %160, label %161, label %162

161:                                              ; preds = %158
  store i32 -8, ptr %8, align 4
  store i32 1, ptr %18, align 4
  br label %415

162:                                              ; preds = %158
  call void @llvm.lifetime.start.p0(i64 4, ptr %19) #4
  store i32 17, ptr %19, align 4, !tbaa !27
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #4
  %163 = load ptr, ptr %14, align 8, !tbaa !5
  %164 = getelementptr inbounds %struct._cpGFpEC, ptr %163, i32 0, i32 13
  %165 = load ptr, ptr %164, align 8, !tbaa !28
  store ptr %165, ptr %20, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #4
  %166 = load ptr, ptr %20, align 8, !tbaa !5
  %167 = getelementptr inbounds %struct._gsModEngine, ptr %166, i32 0, i32 8
  %168 = load ptr, ptr %167, align 8, !tbaa !29
  store ptr %168, ptr %21, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %22) #4
  %169 = load ptr, ptr %20, align 8, !tbaa !5
  %170 = getelementptr inbounds %struct._gsModEngine, ptr %169, i32 0, i32 3
  %171 = load i32, ptr %170, align 8, !tbaa !26
  store i32 %171, ptr %22, align 4, !tbaa !27
  %172 = load ptr, ptr %11, align 8, !tbaa !5
  %173 = getelementptr inbounds %struct._cpBigNum, ptr %172, i32 0, i32 4
  %174 = load ptr, ptr %173, align 8, !tbaa !30
  %175 = load ptr, ptr %11, align 8, !tbaa !5
  %176 = getelementptr inbounds %struct._cpBigNum, ptr %175, i32 0, i32 2
  %177 = load i32, ptr %176, align 8, !tbaa !31
  %178 = call i32 @cpEqu_BNU_CHUNK(ptr noundef %174, i32 noundef %177, i64 noundef 0)
  %179 = icmp ne i32 %178, 0
  br i1 %179, label %412, label %180

180:                                              ; preds = %162
  %181 = load ptr, ptr %12, align 8, !tbaa !5
  %182 = getelementptr inbounds %struct._cpBigNum, ptr %181, i32 0, i32 4
  %183 = load ptr, ptr %182, align 8, !tbaa !30
  %184 = load ptr, ptr %12, align 8, !tbaa !5
  %185 = getelementptr inbounds %struct._cpBigNum, ptr %184, i32 0, i32 2
  %186 = load i32, ptr %185, align 8, !tbaa !31
  %187 = call i32 @cpEqu_BNU_CHUNK(ptr noundef %183, i32 noundef %186, i64 noundef 0)
  %188 = icmp ne i32 %187, 0
  br i1 %188, label %412, label %189

189:                                              ; preds = %180
  %190 = load ptr, ptr %11, align 8, !tbaa !5
  %191 = getelementptr inbounds %struct._cpBigNum, ptr %190, i32 0, i32 4
  %192 = load ptr, ptr %191, align 8, !tbaa !30
  %193 = load ptr, ptr %11, align 8, !tbaa !5
  %194 = getelementptr inbounds %struct._cpBigNum, ptr %193, i32 0, i32 2
  %195 = load i32, ptr %194, align 8, !tbaa !31
  %196 = load ptr, ptr %21, align 8, !tbaa !5
  %197 = load i32, ptr %22, align 4, !tbaa !27
  %198 = call i32 @cpCmp_BNU(ptr noundef %192, i32 noundef %195, ptr noundef %196, i32 noundef %197)
  %199 = icmp sgt i32 0, %198
  br i1 %199, label %200, label %412

200:                                              ; preds = %189
  %201 = load ptr, ptr %12, align 8, !tbaa !5
  %202 = getelementptr inbounds %struct._cpBigNum, ptr %201, i32 0, i32 4
  %203 = load ptr, ptr %202, align 8, !tbaa !30
  %204 = load ptr, ptr %12, align 8, !tbaa !5
  %205 = getelementptr inbounds %struct._cpBigNum, ptr %204, i32 0, i32 2
  %206 = load i32, ptr %205, align 8, !tbaa !31
  %207 = load ptr, ptr %21, align 8, !tbaa !5
  %208 = load i32, ptr %22, align 4, !tbaa !27
  %209 = call i32 @cpCmp_BNU(ptr noundef %203, i32 noundef %206, ptr noundef %207, i32 noundef %208)
  %210 = icmp sgt i32 0, %209
  br i1 %210, label %211, label %412

211:                                              ; preds = %200
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #4
  %212 = load ptr, ptr %17, align 8, !tbaa !5
  %213 = getelementptr inbounds %struct._gsModEngine, ptr %212, i32 0, i32 3
  %214 = load i32, ptr %213, align 8, !tbaa !26
  store i32 %214, ptr %23, align 4, !tbaa !27
  call void @llvm.lifetime.start.p0(i64 4, ptr %24) #4
  %215 = load ptr, ptr %17, align 8, !tbaa !5
  %216 = getelementptr inbounds %struct._gsModEngine, ptr %215, i32 0, i32 5
  %217 = load i32, ptr %216, align 8, !tbaa !32
  store i32 %217, ptr %24, align 4, !tbaa !27
  call void @llvm.lifetime.start.p0(i64 8, ptr %25) #4
  %218 = load ptr, ptr %17, align 8, !tbaa !5
  %219 = call ptr @gsModPoolAlloc(ptr noundef %218, i32 noundef 3)
  store ptr %219, ptr %25, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #4
  %220 = load ptr, ptr %25, align 8, !tbaa !5
  %221 = load i32, ptr %24, align 4, !tbaa !27
  %222 = sext i32 %221 to i64
  %223 = getelementptr inbounds i64, ptr %220, i64 %222
  store ptr %223, ptr %26, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #4
  %224 = load ptr, ptr %26, align 8, !tbaa !5
  %225 = load i32, ptr %24, align 4, !tbaa !27
  %226 = sext i32 %225 to i64
  %227 = getelementptr inbounds i64, ptr %224, i64 %226
  store ptr %227, ptr %27, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 24, ptr %28) #4
  %228 = load ptr, ptr %14, align 8, !tbaa !5
  %229 = call ptr @cpEcGFpGetPool(i32 noundef 1, ptr noundef %228)
  %230 = load ptr, ptr %14, align 8, !tbaa !5
  %231 = call ptr @cpEcGFpInitPoint(ptr noundef %28, ptr noundef %229, i32 noundef 0, ptr noundef %230)
  call void @llvm.lifetime.start.p0(i64 4, ptr %29) #4
  store i32 0, ptr %29, align 4, !tbaa !27
  br label %232

232:                                              ; preds = %250, %211
  %233 = load i32, ptr %29, align 4, !tbaa !27
  %234 = load ptr, ptr %9, align 8, !tbaa !5
  %235 = getelementptr inbounds %struct._cpBigNum, ptr %234, i32 0, i32 2
  %236 = load i32, ptr %235, align 8, !tbaa !31
  %237 = icmp slt i32 %233, %236
  br i1 %237, label %238, label %253

238:                                              ; preds = %232
  %239 = load ptr, ptr %9, align 8, !tbaa !5
  %240 = getelementptr inbounds %struct._cpBigNum, ptr %239, i32 0, i32 4
  %241 = load ptr, ptr %240, align 8, !tbaa !30
  %242 = load i32, ptr %29, align 4, !tbaa !27
  %243 = sext i32 %242 to i64
  %244 = getelementptr inbounds i64, ptr %241, i64 %243
  %245 = load i64, ptr %244, align 8, !tbaa !33
  %246 = load ptr, ptr %25, align 8, !tbaa !5
  %247 = load i32, ptr %29, align 4, !tbaa !27
  %248 = sext i32 %247 to i64
  %249 = getelementptr inbounds i64, ptr %246, i64 %248
  store i64 %245, ptr %249, align 8, !tbaa !33
  br label %250

250:                                              ; preds = %238
  %251 = load i32, ptr %29, align 4, !tbaa !27
  %252 = add nsw i32 %251, 1
  store i32 %252, ptr %29, align 4, !tbaa !27
  br label %232, !llvm.loop !34

253:                                              ; preds = %232
  br label %254

254:                                              ; preds = %263, %253
  %255 = load i32, ptr %29, align 4, !tbaa !27
  %256 = load i32, ptr %22, align 4, !tbaa !27
  %257 = icmp slt i32 %255, %256
  br i1 %257, label %258, label %266

258:                                              ; preds = %254
  %259 = load ptr, ptr %25, align 8, !tbaa !5
  %260 = load i32, ptr %29, align 4, !tbaa !27
  %261 = sext i32 %260 to i64
  %262 = getelementptr inbounds i64, ptr %259, i64 %261
  store i64 0, ptr %262, align 8, !tbaa !33
  br label %263

263:                                              ; preds = %258
  %264 = load i32, ptr %29, align 4, !tbaa !27
  %265 = add nsw i32 %264, 1
  store i32 %265, ptr %29, align 4, !tbaa !27
  br label %254, !llvm.loop !36

266:                                              ; preds = %254
  call void @llvm.lifetime.end.p0(i64 4, ptr %29) #4
  %267 = load ptr, ptr %25, align 8, !tbaa !5
  %268 = load ptr, ptr %25, align 8, !tbaa !5
  %269 = load ptr, ptr %21, align 8, !tbaa !5
  %270 = load ptr, ptr %21, align 8, !tbaa !5
  %271 = load i32, ptr %22, align 4, !tbaa !27
  %272 = load ptr, ptr %26, align 8, !tbaa !5
  %273 = call ptr @cpModSub_BNU(ptr noundef %267, ptr noundef %268, ptr noundef %269, ptr noundef %270, i32 noundef %271, ptr noundef %272)
  call void @llvm.lifetime.start.p0(i64 4, ptr %30) #4
  store i32 0, ptr %30, align 4, !tbaa !27
  br label %274

274:                                              ; preds = %292, %266
  %275 = load i32, ptr %30, align 4, !tbaa !27
  %276 = load ptr, ptr %12, align 8, !tbaa !5
  %277 = getelementptr inbounds %struct._cpBigNum, ptr %276, i32 0, i32 2
  %278 = load i32, ptr %277, align 8, !tbaa !31
  %279 = icmp slt i32 %275, %278
  br i1 %279, label %280, label %295

280:                                              ; preds = %274
  %281 = load ptr, ptr %12, align 8, !tbaa !5
  %282 = getelementptr inbounds %struct._cpBigNum, ptr %281, i32 0, i32 4
  %283 = load ptr, ptr %282, align 8, !tbaa !30
  %284 = load i32, ptr %30, align 4, !tbaa !27
  %285 = sext i32 %284 to i64
  %286 = getelementptr inbounds i64, ptr %283, i64 %285
  %287 = load i64, ptr %286, align 8, !tbaa !33
  %288 = load ptr, ptr %27, align 8, !tbaa !5
  %289 = load i32, ptr %30, align 4, !tbaa !27
  %290 = sext i32 %289 to i64
  %291 = getelementptr inbounds i64, ptr %288, i64 %290
  store i64 %287, ptr %291, align 8, !tbaa !33
  br label %292

292:                                              ; preds = %280
  %293 = load i32, ptr %30, align 4, !tbaa !27
  %294 = add nsw i32 %293, 1
  store i32 %294, ptr %30, align 4, !tbaa !27
  br label %274, !llvm.loop !37

295:                                              ; preds = %274
  br label %296

296:                                              ; preds = %305, %295
  %297 = load i32, ptr %30, align 4, !tbaa !27
  %298 = load i32, ptr %22, align 4, !tbaa !27
  %299 = icmp slt i32 %297, %298
  br i1 %299, label %300, label %308

300:                                              ; preds = %296
  %301 = load ptr, ptr %27, align 8, !tbaa !5
  %302 = load i32, ptr %30, align 4, !tbaa !27
  %303 = sext i32 %302 to i64
  %304 = getelementptr inbounds i64, ptr %301, i64 %303
  store i64 0, ptr %304, align 8, !tbaa !33
  br label %305

305:                                              ; preds = %300
  %306 = load i32, ptr %30, align 4, !tbaa !27
  %307 = add nsw i32 %306, 1
  store i32 %307, ptr %30, align 4, !tbaa !27
  br label %296, !llvm.loop !38

308:                                              ; preds = %296
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #4
  %309 = load ptr, ptr %27, align 8, !tbaa !5
  %310 = load ptr, ptr %27, align 8, !tbaa !5
  %311 = load ptr, ptr %20, align 8, !tbaa !5
  %312 = call ptr @gs_mont_inv(ptr noundef %309, ptr noundef %310, ptr noundef %311, ptr noundef @alm_mont_inv)
  %313 = load ptr, ptr %25, align 8, !tbaa !5
  %314 = load ptr, ptr %27, align 8, !tbaa !5
  %315 = load ptr, ptr %25, align 8, !tbaa !5
  %316 = load ptr, ptr %20, align 8, !tbaa !5
  call void @cpMontMul_BNU(ptr noundef %313, ptr noundef %314, ptr noundef %315, ptr noundef %316)
  call void @llvm.lifetime.start.p0(i64 4, ptr %31) #4
  store i32 0, ptr %31, align 4, !tbaa !27
  br label %317

317:                                              ; preds = %335, %308
  %318 = load i32, ptr %31, align 4, !tbaa !27
  %319 = load ptr, ptr %11, align 8, !tbaa !5
  %320 = getelementptr inbounds %struct._cpBigNum, ptr %319, i32 0, i32 2
  %321 = load i32, ptr %320, align 8, !tbaa !31
  %322 = icmp slt i32 %318, %321
  br i1 %322, label %323, label %338

323:                                              ; preds = %317
  %324 = load ptr, ptr %11, align 8, !tbaa !5
  %325 = getelementptr inbounds %struct._cpBigNum, ptr %324, i32 0, i32 4
  %326 = load ptr, ptr %325, align 8, !tbaa !30
  %327 = load i32, ptr %31, align 4, !tbaa !27
  %328 = sext i32 %327 to i64
  %329 = getelementptr inbounds i64, ptr %326, i64 %328
  %330 = load i64, ptr %329, align 8, !tbaa !33
  %331 = load ptr, ptr %26, align 8, !tbaa !5
  %332 = load i32, ptr %31, align 4, !tbaa !27
  %333 = sext i32 %332 to i64
  %334 = getelementptr inbounds i64, ptr %331, i64 %333
  store i64 %330, ptr %334, align 8, !tbaa !33
  br label %335

335:                                              ; preds = %323
  %336 = load i32, ptr %31, align 4, !tbaa !27
  %337 = add nsw i32 %336, 1
  store i32 %337, ptr %31, align 4, !tbaa !27
  br label %317, !llvm.loop !39

338:                                              ; preds = %317
  br label %339

339:                                              ; preds = %348, %338
  %340 = load i32, ptr %31, align 4, !tbaa !27
  %341 = load i32, ptr %22, align 4, !tbaa !27
  %342 = icmp slt i32 %340, %341
  br i1 %342, label %343, label %351

343:                                              ; preds = %339
  %344 = load ptr, ptr %26, align 8, !tbaa !5
  %345 = load i32, ptr %31, align 4, !tbaa !27
  %346 = sext i32 %345 to i64
  %347 = getelementptr inbounds i64, ptr %344, i64 %346
  store i64 0, ptr %347, align 8, !tbaa !33
  br label %348

348:                                              ; preds = %343
  %349 = load i32, ptr %31, align 4, !tbaa !27
  %350 = add nsw i32 %349, 1
  store i32 %350, ptr %31, align 4, !tbaa !27
  br label %339, !llvm.loop !40

351:                                              ; preds = %339
  call void @llvm.lifetime.end.p0(i64 4, ptr %31) #4
  %352 = load ptr, ptr %26, align 8, !tbaa !5
  %353 = load ptr, ptr %27, align 8, !tbaa !5
  %354 = load ptr, ptr %26, align 8, !tbaa !5
  %355 = load ptr, ptr %20, align 8, !tbaa !5
  call void @cpMontMul_BNU(ptr noundef %352, ptr noundef %353, ptr noundef %354, ptr noundef %355)
  %356 = load ptr, ptr %25, align 8, !tbaa !5
  %357 = load i32, ptr %22, align 4, !tbaa !27
  %358 = load ptr, ptr %10, align 8, !tbaa !5
  %359 = load ptr, ptr %26, align 8, !tbaa !5
  %360 = load i32, ptr %22, align 4, !tbaa !27
  %361 = load ptr, ptr %14, align 8, !tbaa !5
  %362 = load ptr, ptr %15, align 8, !tbaa !5
  %363 = call ptr @gfec_BasePointProduct(ptr noundef %28, ptr noundef %356, i32 noundef %357, ptr noundef %358, ptr noundef %359, i32 noundef %360, ptr noundef %361, ptr noundef %362)
  %364 = call i32 @gfec_IsPointAtInfinity(ptr noundef %28)
  %365 = icmp ne i32 %364, 0
  br i1 %365, label %409, label %366

366:                                              ; preds = %351
  %367 = load ptr, ptr %25, align 8, !tbaa !5
  %368 = load ptr, ptr %14, align 8, !tbaa !5
  %369 = call i32 @gfec_GetPoint(ptr noundef %367, ptr noundef null, ptr noundef %28, ptr noundef %368)
  %370 = load ptr, ptr %17, align 8, !tbaa !5
  %371 = getelementptr inbounds %struct._gsModEngine, ptr %370, i32 0, i32 6
  %372 = load ptr, ptr %371, align 8, !tbaa !41
  %373 = getelementptr inbounds %struct._gsModMethod, ptr %372, i32 0, i32 1
  %374 = load ptr, ptr %373, align 8, !tbaa !42
  %375 = load ptr, ptr %25, align 8, !tbaa !5
  %376 = load ptr, ptr %25, align 8, !tbaa !5
  %377 = load ptr, ptr %17, align 8, !tbaa !5
  %378 = call ptr %374(ptr noundef %375, ptr noundef %376, ptr noundef %377)
  %379 = load ptr, ptr %25, align 8, !tbaa !5
  %380 = load i32, ptr %23, align 4, !tbaa !27
  %381 = load ptr, ptr %21, align 8, !tbaa !5
  %382 = load i32, ptr %22, align 4, !tbaa !27
  %383 = call i32 @cpMod_BNU(ptr noundef %379, i32 noundef %380, ptr noundef %381, i32 noundef %382)
  store i32 %383, ptr %23, align 4, !tbaa !27
  %384 = load ptr, ptr %25, align 8, !tbaa !5
  %385 = load i32, ptr %23, align 4, !tbaa !27
  %386 = sext i32 %385 to i64
  %387 = getelementptr inbounds i64, ptr %384, i64 %386
  %388 = load i32, ptr %22, align 4, !tbaa !27
  %389 = load i32, ptr %23, align 4, !tbaa !27
  %390 = sub nsw i32 %388, %389
  %391 = call ptr @cpGFpElementPad(ptr noundef %387, i32 noundef %390, i64 noundef 0)
  %392 = load ptr, ptr %26, align 8, !tbaa !5
  %393 = load i32, ptr %22, align 4, !tbaa !27
  %394 = load ptr, ptr %11, align 8, !tbaa !5
  %395 = getelementptr inbounds %struct._cpBigNum, ptr %394, i32 0, i32 4
  %396 = load ptr, ptr %395, align 8, !tbaa !30
  %397 = load ptr, ptr %11, align 8, !tbaa !5
  %398 = getelementptr inbounds %struct._cpBigNum, ptr %397, i32 0, i32 2
  %399 = load i32, ptr %398, align 8, !tbaa !31
  %400 = call ptr @cpGFpElementCopyPad(ptr noundef %392, i32 noundef %393, ptr noundef %396, i32 noundef %399)
  %401 = load ptr, ptr %25, align 8, !tbaa !5
  %402 = load i32, ptr %22, align 4, !tbaa !27
  %403 = load ptr, ptr %26, align 8, !tbaa !5
  %404 = load i32, ptr %22, align 4, !tbaa !27
  %405 = call i32 @cpCmp_BNU(ptr noundef %401, i32 noundef %402, ptr noundef %403, i32 noundef %404)
  %406 = icmp eq i32 0, %405
  br i1 %406, label %407, label %408

407:                                              ; preds = %366
  store i32 0, ptr %19, align 4, !tbaa !27
  br label %408

408:                                              ; preds = %407, %366
  br label %409

409:                                              ; preds = %408, %351
  %410 = load ptr, ptr %14, align 8, !tbaa !5
  call void @cpEcGFpReleasePool(i32 noundef 1, ptr noundef %410)
  %411 = load ptr, ptr %17, align 8, !tbaa !5
  call void @gsModPoolFree(ptr noundef %411, i32 noundef 3)
  call void @llvm.lifetime.end.p0(i64 24, ptr %28) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %24) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #4
  br label %412

412:                                              ; preds = %409, %200, %189, %180, %162
  %413 = load i32, ptr %19, align 4, !tbaa !27
  %414 = load ptr, ptr %13, align 8, !tbaa !5
  store i32 %413, ptr %414, align 4, !tbaa !27
  store i32 0, ptr %8, align 4
  store i32 1, ptr %18, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #4
  br label %415

415:                                              ; preds = %412, %161, %157, %151, %145, %135, %125, %121, %117, %108, %98, %94, %86, %80, %70, %66, %54, %48, %38, %34
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #4
  %416 = load i32, ptr %8, align 4
  ret i32 %416
}

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

; Function Attrs: inlinehint nounwind uwtable
declare hidden i64 @IPP_UINT_PTR(ptr noundef) #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden i32 @cpBN_bitsize(ptr noundef) #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden i32 @cpEqu_BNU_CHUNK(ptr noundef, i32 noundef, i64 noundef) #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden i32 @cpCmp_BNU(ptr noundef, i32 noundef, ptr noundef, i32 noundef) #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden ptr @gsModPoolAlloc(ptr noundef, i32 noundef) #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden ptr @cpEcGFpInitPoint(ptr noundef, ptr noundef, i32 noundef, ptr noundef) #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden ptr @cpEcGFpGetPool(i32 noundef, ptr noundef) #2

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

; Function Attrs: inlinehint nounwind uwtable
declare hidden ptr @cpModSub_BNU(ptr noundef, ptr noundef, ptr noundef, ptr noundef, i32 noundef, ptr noundef) #2

declare ptr @gs_mont_inv(ptr noundef, ptr noundef, ptr noundef, ptr noundef) #3

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

; Function Attrs: inlinehint nounwind uwtable
declare hidden void @cpMontMul_BNU(ptr noundef, ptr noundef, ptr noundef, ptr noundef) #2

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

; Function Attrs: inlinehint nounwind uwtable
declare hidden i32 @gfec_IsPointAtInfinity(ptr noundef) #2

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

; Function Attrs: inlinehint nounwind uwtable
declare hidden i32 @cpMod_BNU(ptr noundef, i32 noundef, ptr noundef, i32 noundef) #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden ptr @cpGFpElementPad(ptr noundef, i32 noundef, i64 noundef) #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden ptr @cpGFpElementCopyPad(ptr noundef, i32 noundef, ptr noundef, i32 noundef) #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden void @cpEcGFpReleasePool(i32 noundef, ptr noundef) #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden void @gsModPoolFree(ptr noundef, i32 noundef) #2

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 = { inlinehint 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 #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 = { 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, !11, i64 0}
!10 = !{!"_cpGFpEC", !11, i64 0, !11, i64 4, !6, i64 8, !11, i64 16, !11, i64 20, !11, i64 24, !6, i64 32, !6, i64 40, !6, i64 48, !6, i64 56, !11, i64 64, !11, i64 68, !6, i64 72, !6, i64 80, !6, i64 88, !6, i64 96, !6, i64 104, !6, i64 112, !6, i64 120, !6, i64 128}
!11 = !{!"int", !7, i64 0}
!12 = !{!10, !11, i64 16}
!13 = !{!10, !6, i64 8}
!14 = !{!15, !6, i64 8}
!15 = !{!"_cpGFp", !11, i64 0, !11, i64 4, !6, i64 8}
!16 = !{!17, !11, i64 8}
!17 = !{!"_gsModEngine", !6, i64 0, !11, i64 8, !11, i64 12, !11, i64 16, !11, i64 20, !11, i64 24, !6, i64 32, !6, i64 40, !6, i64 48, !18, i64 56, !6, i64 64, !6, i64 72, !6, i64 80, !6, i64 88, !11, i64 96, !11, i64 100, !6, i64 104}
!18 = !{!"long long", !7, i64 0}
!19 = !{!20, !11, i64 0}
!20 = !{!"_cpBigNum", !11, i64 0, !11, i64 4, !11, i64 8, !11, i64 12, !6, i64 16, !6, i64 24}
!21 = !{!20, !11, i64 4}
!22 = !{!10, !11, i64 24}
!23 = !{!24, !11, i64 0}
!24 = !{!"_cpGFpECPoint", !11, i64 0, !11, i64 4, !11, i64 8, !6, i64 16}
!25 = !{!24, !11, i64 8}
!26 = !{!17, !11, i64 16}
!27 = !{!11, !11, i64 0}
!28 = !{!10, !6, i64 80}
!29 = !{!17, !6, i64 48}
!30 = !{!20, !6, i64 16}
!31 = !{!20, !11, i64 8}
!32 = !{!17, !11, i64 24}
!33 = !{!18, !18, i64 0}
!34 = distinct !{!34, !35}
!35 = !{!"llvm.loop.mustprogress"}
!36 = distinct !{!36, !35}
!37 = distinct !{!37, !35}
!38 = distinct !{!38, !35}
!39 = distinct !{!39, !35}
!40 = distinct !{!40, !35}
!41 = !{!17, !6, i64 32}
!42 = !{!43, !6, i64 8}
!43 = !{!"_gsModMethod", !6, i64 0, !6, i64 8, !6, i64 16, !6, i64 24, !6, i64 32, !6, i64 40, !6, i64 48, !6, i64 56, !6, i64 64, !6, i64 72, !6, i64 80}


; 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._cpGFpECPoint = type { i32, i32, i32, ptr }

; Function Attrs: nounwind uwtable
define dso_local range(i32 -1010, 1) i32 @ippsGFpECVerifyDSA(ptr noundef %0, ptr noundef %1, ptr noundef %2, ptr noundef %3, ptr noundef writeonly %4, ptr noundef %5, ptr noundef %6) local_unnamed_addr #0 {
  %8 = alloca %struct._cpGFpECPoint, align 8
  %9 = icmp eq ptr %5, null
  %10 = icmp eq ptr %6, null
  %or.cond = or i1 %9, %10
  br i1 %or.cond, label %259, label %11

11:                                               ; preds = %7
  %12 = load i32, ptr %5, align 8, !tbaa !5
  %13 = tail call i64 @IPP_UINT_PTR(ptr noundef nonnull %5)
  %14 = trunc i64 %13 to i32
  %15 = xor i32 %12, %14
  %16 = icmp eq i32 %15, 1129136461
  br i1 %16, label %17, label %259

17:                                               ; preds = %11
  %18 = getelementptr inbounds i8, ptr %5, i64 16
  %19 = load i32, ptr %18, align 8, !tbaa !11
  %.not = icmp eq i32 %19, 0
  br i1 %.not, label %259, label %20

20:                                               ; preds = %17
  %21 = getelementptr inbounds i8, ptr %5, i64 8
  %22 = load ptr, ptr %21, align 8, !tbaa !12
  %23 = getelementptr inbounds i8, ptr %22, i64 8
  %24 = load ptr, ptr %23, align 8, !tbaa !13
  %25 = getelementptr inbounds i8, ptr %24, i64 8
  %26 = load i32, ptr %25, align 8, !tbaa !15
  %27 = icmp sgt i32 %26, 1
  br i1 %27, label %259, label %28

28:                                               ; preds = %20
  %29 = icmp eq ptr %0, null
  br i1 %29, label %259, label %30

30:                                               ; preds = %28
  %31 = load i32, ptr %0, align 8, !tbaa !18
  %32 = tail call i64 @IPP_UINT_PTR(ptr noundef nonnull %0)
  %33 = trunc i64 %32 to i32
  %34 = xor i32 %31, %33
  %35 = icmp eq i32 %34, 1112098638
  br i1 %35, label %36, label %259

36:                                               ; preds = %30
  %37 = getelementptr inbounds i8, ptr %0, i64 4
  %38 = load i32, ptr %37, align 4, !tbaa !20
  %39 = icmp eq i32 %38, 0
  br i1 %39, label %259, label %40

40:                                               ; preds = %36
  %41 = getelementptr inbounds i8, ptr %5, i64 24
  %42 = load i32, ptr %41, align 8, !tbaa !21
  %43 = tail call i32 @cpBN_bitsize(ptr noundef nonnull %0)
  %44 = icmp slt i32 %42, %43
  br i1 %44, label %259, label %45

45:                                               ; preds = %40
  %46 = icmp eq ptr %1, null
  br i1 %46, label %259, label %47

47:                                               ; preds = %45
  %48 = load i32, ptr %1, align 8, !tbaa !22
  %49 = tail call i64 @IPP_UINT_PTR(ptr noundef nonnull %1)
  %50 = trunc i64 %49 to i32
  %51 = xor i32 %48, %50
  %52 = icmp eq i32 %51, 1129136462
  br i1 %52, label %53, label %259

53:                                               ; preds = %47
  %54 = getelementptr inbounds i8, ptr %1, i64 8
  %55 = load i32, ptr %54, align 8, !tbaa !24
  %56 = getelementptr inbounds i8, ptr %24, i64 16
  %57 = load i32, ptr %56, align 8, !tbaa !25
  %.not153 = icmp eq i32 %55, %57
  br i1 %.not153, label %58, label %259

58:                                               ; preds = %53
  %59 = icmp eq ptr %2, null
  %60 = icmp eq ptr %3, null
  %or.cond157 = or i1 %59, %60
  br i1 %or.cond157, label %259, label %61

61:                                               ; preds = %58
  %62 = load i32, ptr %2, align 8, !tbaa !18
  %63 = tail call i64 @IPP_UINT_PTR(ptr noundef nonnull %2)
  %64 = trunc i64 %63 to i32
  %65 = xor i32 %62, %64
  %66 = icmp eq i32 %65, 1112098638
  br i1 %66, label %67, label %259

67:                                               ; preds = %61
  %68 = load i32, ptr %3, align 8, !tbaa !18
  %69 = tail call i64 @IPP_UINT_PTR(ptr noundef nonnull %3)
  %70 = trunc i64 %69 to i32
  %71 = xor i32 %68, %70
  %72 = icmp eq i32 %71, 1112098638
  br i1 %72, label %73, label %259

73:                                               ; preds = %67
  %74 = getelementptr inbounds i8, ptr %2, i64 4
  %75 = load i32, ptr %74, align 4, !tbaa !20
  %76 = icmp eq i32 %75, 0
  br i1 %76, label %259, label %77

77:                                               ; preds = %73
  %78 = getelementptr inbounds i8, ptr %3, i64 4
  %79 = load i32, ptr %78, align 4, !tbaa !20
  %80 = icmp eq i32 %79, 0
  br i1 %80, label %259, label %81

81:                                               ; preds = %77
  %82 = icmp eq ptr %4, null
  br i1 %82, label %259, label %83

83:                                               ; preds = %81
  %84 = getelementptr inbounds i8, ptr %5, i64 80
  %85 = load ptr, ptr %84, align 8, !tbaa !26
  %86 = getelementptr inbounds i8, ptr %85, i64 48
  %87 = load ptr, ptr %86, align 8, !tbaa !27
  %88 = getelementptr inbounds i8, ptr %85, i64 16
  %89 = load i32, ptr %88, align 8, !tbaa !25
  %90 = getelementptr inbounds i8, ptr %2, i64 16
  %91 = load ptr, ptr %90, align 8, !tbaa !28
  %92 = getelementptr inbounds i8, ptr %2, i64 8
  %93 = load i32, ptr %92, align 8, !tbaa !29
  %94 = tail call i32 @cpEqu_BNU_CHUNK(ptr noundef %91, i32 noundef %93, i64 noundef 0)
  %.not154 = icmp eq i32 %94, 0
  br i1 %.not154, label %95, label %258

95:                                               ; preds = %83
  %96 = getelementptr inbounds i8, ptr %3, i64 16
  %97 = load ptr, ptr %96, align 8, !tbaa !28
  %98 = getelementptr inbounds i8, ptr %3, i64 8
  %99 = load i32, ptr %98, align 8, !tbaa !29
  %100 = tail call i32 @cpEqu_BNU_CHUNK(ptr noundef %97, i32 noundef %99, i64 noundef 0)
  %.not155 = icmp eq i32 %100, 0
  br i1 %.not155, label %101, label %258

101:                                              ; preds = %95
  %102 = load ptr, ptr %90, align 8, !tbaa !28
  %103 = load i32, ptr %92, align 8, !tbaa !29
  %104 = tail call i32 @cpCmp_BNU(ptr noundef %102, i32 noundef %103, ptr noundef %87, i32 noundef %89)
  %105 = icmp slt i32 %104, 0
  br i1 %105, label %106, label %258

106:                                              ; preds = %101
  %107 = load ptr, ptr %96, align 8, !tbaa !28
  %108 = load i32, ptr %98, align 8, !tbaa !29
  %109 = tail call i32 @cpCmp_BNU(ptr noundef %107, i32 noundef %108, ptr noundef %87, i32 noundef %89)
  %110 = icmp slt i32 %109, 0
  br i1 %110, label %111, label %258

111:                                              ; preds = %106
  %112 = load i32, ptr %56, align 8, !tbaa !25
  %113 = getelementptr inbounds i8, ptr %24, i64 24
  %114 = load i32, ptr %113, align 8, !tbaa !30
  %115 = tail call ptr @gsModPoolAlloc(ptr noundef nonnull %24, i32 noundef 3)
  %116 = ptrtoint ptr %115 to i64
  %117 = sext i32 %114 to i64
  %118 = getelementptr i64, ptr %115, i64 %117
  %119 = getelementptr i64, ptr %118, i64 %117
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %8) #5
  %120 = tail call ptr @cpEcGFpGetPool(i32 noundef 1, ptr noundef nonnull %5)
  %121 = call ptr @cpEcGFpInitPoint(ptr noundef nonnull %8, ptr noundef %120, i32 noundef 0, ptr noundef nonnull %5)
  %122 = getelementptr inbounds i8, ptr %0, i64 8
  %123 = load i32, ptr %122, align 8, !tbaa !29
  %124 = icmp sgt i32 %123, 0
  br i1 %124, label %.lr.ph, label %.preheader159

.lr.ph:                                           ; preds = %111
  %125 = getelementptr inbounds i8, ptr %0, i64 16
  %126 = load ptr, ptr %125, align 8, !tbaa !28
  %wide.trip.count = zext nneg i32 %123 to i64
  %min.iters.check = icmp ult i32 %123, 6
  %127 = ptrtoint ptr %126 to i64
  %128 = sub i64 %116, %127
  %diff.check = icmp ult i64 %128, 32
  %or.cond233 = select i1 %min.iters.check, i1 true, i1 %diff.check
  br i1 %or.cond233, label %scalar.ph.preheader, label %vector.ph

scalar.ph.preheader:                              ; preds = %middle.block, %.lr.ph
  %indvars.iv.ph = phi i64 [ 0, %.lr.ph ], [ %n.vec, %middle.block ]
  %xtraiter = and i64 %wide.trip.count, 3
  %lcmp.mod.not = icmp eq i64 %xtraiter, 0
  br i1 %lcmp.mod.not, label %scalar.ph.prol.loopexit, label %scalar.ph.prol

scalar.ph.prol:                                   ; preds = %scalar.ph.preheader, %scalar.ph.prol
  %indvars.iv.prol = phi i64 [ %indvars.iv.next.prol, %scalar.ph.prol ], [ %indvars.iv.ph, %scalar.ph.preheader ]
  %prol.iter = phi i64 [ %prol.iter.next, %scalar.ph.prol ], [ 0, %scalar.ph.preheader ]
  %129 = getelementptr inbounds i64, ptr %126, i64 %indvars.iv.prol
  %130 = load i64, ptr %129, align 8, !tbaa !31
  %131 = getelementptr inbounds i64, ptr %115, i64 %indvars.iv.prol
  store i64 %130, ptr %131, align 8, !tbaa !31
  %indvars.iv.next.prol = add nuw nsw i64 %indvars.iv.prol, 1
  %prol.iter.next = add i64 %prol.iter, 1
  %prol.iter.cmp.not = icmp eq i64 %prol.iter.next, %xtraiter
  br i1 %prol.iter.cmp.not, label %scalar.ph.prol.loopexit, label %scalar.ph.prol, !llvm.loop !32

scalar.ph.prol.loopexit:                          ; preds = %scalar.ph.prol, %scalar.ph.preheader
  %indvars.iv.unr = phi i64 [ %indvars.iv.ph, %scalar.ph.preheader ], [ %indvars.iv.next.prol, %scalar.ph.prol ]
  %132 = sub nsw i64 %indvars.iv.ph, %wide.trip.count
  %133 = icmp ugt i64 %132, -4
  br i1 %133, label %.preheader159, label %scalar.ph

vector.ph:                                        ; preds = %.lr.ph
  %n.vec = and i64 %wide.trip.count, 2147483644
  br label %vector.body

vector.body:                                      ; preds = %vector.body, %vector.ph
  %index = phi i64 [ 0, %vector.ph ], [ %index.next, %vector.body ]
  %134 = getelementptr inbounds i64, ptr %126, i64 %index
  %135 = getelementptr inbounds i8, ptr %134, i64 16
  %wide.load = load <2 x i64>, ptr %134, align 8, !tbaa !31
  %wide.load201 = load <2 x i64>, ptr %135, align 8, !tbaa !31
  %136 = getelementptr inbounds i64, ptr %115, i64 %index
  %137 = getelementptr inbounds i8, ptr %136, i64 16
  store <2 x i64> %wide.load, ptr %136, align 8, !tbaa !31
  store <2 x i64> %wide.load201, ptr %137, align 8, !tbaa !31
  %index.next = add nuw i64 %index, 4
  %138 = icmp eq i64 %index.next, %n.vec
  br i1 %138, label %middle.block, label %vector.body, !llvm.loop !34

middle.block:                                     ; preds = %vector.body
  %cmp.n = icmp eq i64 %n.vec, %wide.trip.count
  br i1 %cmp.n, label %.preheader159, label %scalar.ph.preheader

.preheader159:                                    ; preds = %scalar.ph.prol.loopexit, %scalar.ph, %middle.block, %111
  %.0140.lcssa = phi i32 [ 0, %111 ], [ %123, %middle.block ], [ %123, %scalar.ph ], [ %123, %scalar.ph.prol.loopexit ]
  %139 = icmp slt i32 %.0140.lcssa, %89
  br i1 %139, label %.lr.ph162.preheader, label %._crit_edge

.lr.ph162.preheader:                              ; preds = %.preheader159
  %140 = zext nneg i32 %.0140.lcssa to i64
  %141 = shl nuw nsw i64 %140, 3
  %scevgep = getelementptr i8, ptr %115, i64 %141
  %142 = xor i32 %.0140.lcssa, -1
  %143 = add i32 %89, %142
  %144 = zext i32 %143 to i64
  %145 = shl nuw nsw i64 %144, 3
  %146 = add nuw nsw i64 %145, 8
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(1) %scevgep, i8 0, i64 %146, i1 false), !tbaa !31
  br label %._crit_edge

scalar.ph:                                        ; preds = %scalar.ph.prol.loopexit, %scalar.ph
  %indvars.iv = phi i64 [ %indvars.iv.next.3, %scalar.ph ], [ %indvars.iv.unr, %scalar.ph.prol.loopexit ]
  %147 = getelementptr inbounds i64, ptr %126, i64 %indvars.iv
  %148 = load i64, ptr %147, align 8, !tbaa !31
  %149 = getelementptr inbounds i64, ptr %115, i64 %indvars.iv
  store i64 %148, ptr %149, align 8, !tbaa !31
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %150 = getelementptr inbounds i64, ptr %126, i64 %indvars.iv.next
  %151 = load i64, ptr %150, align 8, !tbaa !31
  %152 = getelementptr inbounds i64, ptr %115, i64 %indvars.iv.next
  store i64 %151, ptr %152, align 8, !tbaa !31
  %indvars.iv.next.1 = add nuw nsw i64 %indvars.iv, 2
  %153 = getelementptr inbounds i64, ptr %126, i64 %indvars.iv.next.1
  %154 = load i64, ptr %153, align 8, !tbaa !31
  %155 = getelementptr inbounds i64, ptr %115, i64 %indvars.iv.next.1
  store i64 %154, ptr %155, align 8, !tbaa !31
  %indvars.iv.next.2 = add nuw nsw i64 %indvars.iv, 3
  %156 = getelementptr inbounds i64, ptr %126, i64 %indvars.iv.next.2
  %157 = load i64, ptr %156, align 8, !tbaa !31
  %158 = getelementptr inbounds i64, ptr %115, i64 %indvars.iv.next.2
  store i64 %157, ptr %158, align 8, !tbaa !31
  %indvars.iv.next.3 = add nuw nsw i64 %indvars.iv, 4
  %exitcond.not.3 = icmp eq i64 %indvars.iv.next.3, %wide.trip.count
  br i1 %exitcond.not.3, label %.preheader159, label %scalar.ph, !llvm.loop !38

._crit_edge:                                      ; preds = %.lr.ph162.preheader, %.preheader159
  %159 = call ptr @cpModSub_BNU(ptr noundef %115, ptr noundef %115, ptr noundef %87, ptr noundef %87, i32 noundef %89, ptr noundef %118)
  %160 = load i32, ptr %98, align 8, !tbaa !29
  %161 = icmp sgt i32 %160, 0
  br i1 %161, label %.lr.ph165, label %.preheader158

.lr.ph165:                                        ; preds = %._crit_edge
  %162 = load ptr, ptr %96, align 8, !tbaa !28
  %wide.trip.count186 = zext nneg i32 %160 to i64
  %min.iters.check206 = icmp ult i32 %160, 10
  br i1 %min.iters.check206, label %scalar.ph205.preheader, label %vector.memcheck202

scalar.ph205.preheader:                           ; preds = %middle.block204, %vector.memcheck202, %.lr.ph165
  %indvars.iv183.ph = phi i64 [ 0, %vector.memcheck202 ], [ 0, %.lr.ph165 ], [ %n.vec209, %middle.block204 ]
  %xtraiter234 = and i64 %wide.trip.count186, 3
  %lcmp.mod235.not = icmp eq i64 %xtraiter234, 0
  br i1 %lcmp.mod235.not, label %scalar.ph205.prol.loopexit, label %scalar.ph205.prol

scalar.ph205.prol:                                ; preds = %scalar.ph205.preheader, %scalar.ph205.prol
  %indvars.iv183.prol = phi i64 [ %indvars.iv.next184.prol, %scalar.ph205.prol ], [ %indvars.iv183.ph, %scalar.ph205.preheader ]
  %prol.iter236 = phi i64 [ %prol.iter236.next, %scalar.ph205.prol ], [ 0, %scalar.ph205.preheader ]
  %163 = getelementptr inbounds i64, ptr %162, i64 %indvars.iv183.prol
  %164 = load i64, ptr %163, align 8, !tbaa !31
  %165 = getelementptr inbounds i64, ptr %119, i64 %indvars.iv183.prol
  store i64 %164, ptr %165, align 8, !tbaa !31
  %indvars.iv.next184.prol = add nuw nsw i64 %indvars.iv183.prol, 1
  %prol.iter236.next = add i64 %prol.iter236, 1
  %prol.iter236.cmp.not = icmp eq i64 %prol.iter236.next, %xtraiter234
  br i1 %prol.iter236.cmp.not, label %scalar.ph205.prol.loopexit, label %scalar.ph205.prol, !llvm.loop !39

scalar.ph205.prol.loopexit:                       ; preds = %scalar.ph205.prol, %scalar.ph205.preheader
  %indvars.iv183.unr = phi i64 [ %indvars.iv183.ph, %scalar.ph205.preheader ], [ %indvars.iv.next184.prol, %scalar.ph205.prol ]
  %166 = sub nsw i64 %indvars.iv183.ph, %wide.trip.count186
  %167 = icmp ugt i64 %166, -4
  br i1 %167, label %.preheader158, label %scalar.ph205

vector.memcheck202:                               ; preds = %.lr.ph165
  %168 = ptrtoint ptr %162 to i64
  %169 = shl nsw i64 %117, 4
  %170 = add i64 %169, %116
  %171 = sub i64 %170, %168
  %diff.check203 = icmp ult i64 %171, 32
  br i1 %diff.check203, label %scalar.ph205.preheader, label %vector.ph207

vector.ph207:                                     ; preds = %vector.memcheck202
  %n.vec209 = and i64 %wide.trip.count186, 2147483644
  br label %vector.body211

vector.body211:                                   ; preds = %vector.body211, %vector.ph207
  %index212 = phi i64 [ 0, %vector.ph207 ], [ %index.next215, %vector.body211 ]
  %172 = getelementptr inbounds i64, ptr %162, i64 %index212
  %173 = getelementptr inbounds i8, ptr %172, i64 16
  %wide.load213 = load <2 x i64>, ptr %172, align 8, !tbaa !31
  %wide.load214 = load <2 x i64>, ptr %173, align 8, !tbaa !31
  %174 = getelementptr inbounds i64, ptr %119, i64 %index212
  %175 = getelementptr inbounds i8, ptr %174, i64 16
  store <2 x i64> %wide.load213, ptr %174, align 8, !tbaa !31
  store <2 x i64> %wide.load214, ptr %175, align 8, !tbaa !31
  %index.next215 = add nuw i64 %index212, 4
  %176 = icmp eq i64 %index.next215, %n.vec209
  br i1 %176, label %middle.block204, label %vector.body211, !llvm.loop !40

middle.block204:                                  ; preds = %vector.body211
  %cmp.n216 = icmp eq i64 %n.vec209, %wide.trip.count186
  br i1 %cmp.n216, label %.preheader158, label %scalar.ph205.preheader

.preheader158:                                    ; preds = %scalar.ph205.prol.loopexit, %scalar.ph205, %middle.block204, %._crit_edge
  %.0138.lcssa = phi i32 [ 0, %._crit_edge ], [ %160, %middle.block204 ], [ %160, %scalar.ph205 ], [ %160, %scalar.ph205.prol.loopexit ]
  %177 = icmp slt i32 %.0138.lcssa, %89
  br i1 %177, label %.lr.ph168.preheader, label %._crit_edge169

.lr.ph168.preheader:                              ; preds = %.preheader158
  %178 = shl nsw i64 %117, 4
  %179 = zext nneg i32 %.0138.lcssa to i64
  %180 = shl nuw nsw i64 %179, 3
  %181 = getelementptr i8, ptr %115, i64 %178
  %scevgep188 = getelementptr i8, ptr %181, i64 %180
  %182 = xor i32 %.0138.lcssa, -1
  %183 = add i32 %89, %182
  %184 = zext i32 %183 to i64
  %185 = shl nuw nsw i64 %184, 3
  %186 = add nuw nsw i64 %185, 8
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(1) %scevgep188, i8 0, i64 %186, i1 false), !tbaa !31
  br label %._crit_edge169

scalar.ph205:                                     ; preds = %scalar.ph205.prol.loopexit, %scalar.ph205
  %indvars.iv183 = phi i64 [ %indvars.iv.next184.3, %scalar.ph205 ], [ %indvars.iv183.unr, %scalar.ph205.prol.loopexit ]
  %187 = getelementptr inbounds i64, ptr %162, i64 %indvars.iv183
  %188 = load i64, ptr %187, align 8, !tbaa !31
  %189 = getelementptr inbounds i64, ptr %119, i64 %indvars.iv183
  store i64 %188, ptr %189, align 8, !tbaa !31
  %indvars.iv.next184 = add nuw nsw i64 %indvars.iv183, 1
  %190 = getelementptr inbounds i64, ptr %162, i64 %indvars.iv.next184
  %191 = load i64, ptr %190, align 8, !tbaa !31
  %192 = getelementptr inbounds i64, ptr %119, i64 %indvars.iv.next184
  store i64 %191, ptr %192, align 8, !tbaa !31
  %indvars.iv.next184.1 = add nuw nsw i64 %indvars.iv183, 2
  %193 = getelementptr inbounds i64, ptr %162, i64 %indvars.iv.next184.1
  %194 = load i64, ptr %193, align 8, !tbaa !31
  %195 = getelementptr inbounds i64, ptr %119, i64 %indvars.iv.next184.1
  store i64 %194, ptr %195, align 8, !tbaa !31
  %indvars.iv.next184.2 = add nuw nsw i64 %indvars.iv183, 3
  %196 = getelementptr inbounds i64, ptr %162, i64 %indvars.iv.next184.2
  %197 = load i64, ptr %196, align 8, !tbaa !31
  %198 = getelementptr inbounds i64, ptr %119, i64 %indvars.iv.next184.2
  store i64 %197, ptr %198, align 8, !tbaa !31
  %indvars.iv.next184.3 = add nuw nsw i64 %indvars.iv183, 4
  %exitcond187.not.3 = icmp eq i64 %indvars.iv.next184.3, %wide.trip.count186
  br i1 %exitcond187.not.3, label %.preheader158, label %scalar.ph205, !llvm.loop !41

._crit_edge169:                                   ; preds = %.lr.ph168.preheader, %.preheader158
  %199 = call ptr @gs_mont_inv(ptr noundef %119, ptr noundef %119, ptr noundef %85, ptr noundef nonnull @alm_mont_inv) #5
  call void @cpMontMul_BNU(ptr noundef %115, ptr noundef %119, ptr noundef %115, ptr noundef %85)
  %200 = load i32, ptr %92, align 8, !tbaa !29
  %201 = icmp sgt i32 %200, 0
  br i1 %201, label %.lr.ph172, label %.preheader

.lr.ph172:                                        ; preds = %._crit_edge169
  %202 = load ptr, ptr %90, align 8, !tbaa !28
  %wide.trip.count195 = zext nneg i32 %200 to i64
  %min.iters.check221 = icmp ult i32 %200, 10
  br i1 %min.iters.check221, label %scalar.ph220.preheader, label %vector.memcheck217

scalar.ph220.preheader:                           ; preds = %middle.block219, %vector.memcheck217, %.lr.ph172
  %indvars.iv192.ph = phi i64 [ 0, %vector.memcheck217 ], [ 0, %.lr.ph172 ], [ %n.vec224, %middle.block219 ]
  %xtraiter237 = and i64 %wide.trip.count195, 3
  %lcmp.mod238.not = icmp eq i64 %xtraiter237, 0
  br i1 %lcmp.mod238.not, label %scalar.ph220.prol.loopexit, label %scalar.ph220.prol

scalar.ph220.prol:                                ; preds = %scalar.ph220.preheader, %scalar.ph220.prol
  %indvars.iv192.prol = phi i64 [ %indvars.iv.next193.prol, %scalar.ph220.prol ], [ %indvars.iv192.ph, %scalar.ph220.preheader ]
  %prol.iter239 = phi i64 [ %prol.iter239.next, %scalar.ph220.prol ], [ 0, %scalar.ph220.preheader ]
  %203 = getelementptr inbounds i64, ptr %202, i64 %indvars.iv192.prol
  %204 = load i64, ptr %203, align 8, !tbaa !31
  %205 = getelementptr inbounds i64, ptr %118, i64 %indvars.iv192.prol
  store i64 %204, ptr %205, align 8, !tbaa !31
  %indvars.iv.next193.prol = add nuw nsw i64 %indvars.iv192.prol, 1
  %prol.iter239.next = add i64 %prol.iter239, 1
  %prol.iter239.cmp.not = icmp eq i64 %prol.iter239.next, %xtraiter237
  br i1 %prol.iter239.cmp.not, label %scalar.ph220.prol.loopexit, label %scalar.ph220.prol, !llvm.loop !42

scalar.ph220.prol.loopexit:                       ; preds = %scalar.ph220.prol, %scalar.ph220.preheader
  %indvars.iv192.unr = phi i64 [ %indvars.iv192.ph, %scalar.ph220.preheader ], [ %indvars.iv.next193.prol, %scalar.ph220.prol ]
  %206 = sub nsw i64 %indvars.iv192.ph, %wide.trip.count195
  %207 = icmp ugt i64 %206, -4
  br i1 %207, label %.preheader, label %scalar.ph220

vector.memcheck217:                               ; preds = %.lr.ph172
  %208 = ptrtoint ptr %202 to i64
  %209 = shl nsw i64 %117, 3
  %210 = add i64 %209, %116
  %211 = sub i64 %210, %208
  %diff.check218 = icmp ult i64 %211, 32
  br i1 %diff.check218, label %scalar.ph220.preheader, label %vector.ph222

vector.ph222:                                     ; preds = %vector.memcheck217
  %n.vec224 = and i64 %wide.trip.count195, 2147483644
  br label %vector.body226

vector.body226:                                   ; preds = %vector.body226, %vector.ph222
  %index227 = phi i64 [ 0, %vector.ph222 ], [ %index.next230, %vector.body226 ]
  %212 = getelementptr inbounds i64, ptr %202, i64 %index227
  %213 = getelementptr inbounds i8, ptr %212, i64 16
  %wide.load228 = load <2 x i64>, ptr %212, align 8, !tbaa !31
  %wide.load229 = load <2 x i64>, ptr %213, align 8, !tbaa !31
  %214 = getelementptr inbounds i64, ptr %118, i64 %index227
  %215 = getelementptr inbounds i8, ptr %214, i64 16
  store <2 x i64> %wide.load228, ptr %214, align 8, !tbaa !31
  store <2 x i64> %wide.load229, ptr %215, align 8, !tbaa !31
  %index.next230 = add nuw i64 %index227, 4
  %216 = icmp eq i64 %index.next230, %n.vec224
  br i1 %216, label %middle.block219, label %vector.body226, !llvm.loop !43

middle.block219:                                  ; preds = %vector.body226
  %cmp.n231 = icmp eq i64 %n.vec224, %wide.trip.count195
  br i1 %cmp.n231, label %.preheader, label %scalar.ph220.preheader

.preheader:                                       ; preds = %scalar.ph220.prol.loopexit, %scalar.ph220, %middle.block219, %._crit_edge169
  %.0.lcssa = phi i32 [ 0, %._crit_edge169 ], [ %200, %middle.block219 ], [ %200, %scalar.ph220 ], [ %200, %scalar.ph220.prol.loopexit ]
  %217 = icmp slt i32 %.0.lcssa, %89
  br i1 %217, label %.lr.ph175.preheader, label %._crit_edge176

.lr.ph175.preheader:                              ; preds = %.preheader
  %218 = zext nneg i32 %.0.lcssa to i64
  %219 = add nsw i64 %117, %218
  %220 = shl nsw i64 %219, 3
  %scevgep197 = getelementptr i8, ptr %115, i64 %220
  %221 = xor i32 %.0.lcssa, -1
  %222 = add i32 %89, %221
  %223 = zext i32 %222 to i64
  %224 = shl nuw nsw i64 %223, 3
  %225 = add nuw nsw i64 %224, 8
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(1) %scevgep197, i8 0, i64 %225, i1 false), !tbaa !31
  br label %._crit_edge176

scalar.ph220:                                     ; preds = %scalar.ph220.prol.loopexit, %scalar.ph220
  %indvars.iv192 = phi i64 [ %indvars.iv.next193.3, %scalar.ph220 ], [ %indvars.iv192.unr, %scalar.ph220.prol.loopexit ]
  %226 = getelementptr inbounds i64, ptr %202, i64 %indvars.iv192
  %227 = load i64, ptr %226, align 8, !tbaa !31
  %228 = getelementptr inbounds i64, ptr %118, i64 %indvars.iv192
  store i64 %227, ptr %228, align 8, !tbaa !31
  %indvars.iv.next193 = add nuw nsw i64 %indvars.iv192, 1
  %229 = getelementptr inbounds i64, ptr %202, i64 %indvars.iv.next193
  %230 = load i64, ptr %229, align 8, !tbaa !31
  %231 = getelementptr inbounds i64, ptr %118, i64 %indvars.iv.next193
  store i64 %230, ptr %231, align 8, !tbaa !31
  %indvars.iv.next193.1 = add nuw nsw i64 %indvars.iv192, 2
  %232 = getelementptr inbounds i64, ptr %202, i64 %indvars.iv.next193.1
  %233 = load i64, ptr %232, align 8, !tbaa !31
  %234 = getelementptr inbounds i64, ptr %118, i64 %indvars.iv.next193.1
  store i64 %233, ptr %234, align 8, !tbaa !31
  %indvars.iv.next193.2 = add nuw nsw i64 %indvars.iv192, 3
  %235 = getelementptr inbounds i64, ptr %202, i64 %indvars.iv.next193.2
  %236 = load i64, ptr %235, align 8, !tbaa !31
  %237 = getelementptr inbounds i64, ptr %118, i64 %indvars.iv.next193.2
  store i64 %236, ptr %237, align 8, !tbaa !31
  %indvars.iv.next193.3 = add nuw nsw i64 %indvars.iv192, 4
  %exitcond196.not.3 = icmp eq i64 %indvars.iv.next193.3, %wide.trip.count195
  br i1 %exitcond196.not.3, label %.preheader, label %scalar.ph220, !llvm.loop !44

._crit_edge176:                                   ; preds = %.lr.ph175.preheader, %.preheader
  call void @cpMontMul_BNU(ptr noundef %118, ptr noundef %119, ptr noundef %118, ptr noundef %85)
  %238 = call ptr @gfec_BasePointProduct(ptr noundef nonnull %8, ptr noundef %115, i32 noundef %89, ptr noundef nonnull %1, ptr noundef %118, i32 noundef %89, ptr noundef nonnull %5, ptr noundef nonnull %6) #5
  %239 = call i32 @gfec_IsPointAtInfinity(ptr noundef nonnull %8)
  %.not156 = icmp eq i32 %239, 0
  br i1 %.not156, label %240, label %257

240:                                              ; preds = %._crit_edge176
  %241 = call i32 @gfec_GetPoint(ptr noundef %115, ptr noundef null, ptr noundef nonnull %8, ptr noundef nonnull %5) #5
  %242 = getelementptr inbounds i8, ptr %24, i64 32
  %243 = load ptr, ptr %242, align 8, !tbaa !45
  %244 = getelementptr inbounds i8, ptr %243, i64 8
  %245 = load ptr, ptr %244, align 8, !tbaa !46
  %246 = call ptr %245(ptr noundef %115, ptr noundef %115, ptr noundef %24) #5
  %247 = call i32 @cpMod_BNU(ptr noundef %115, i32 noundef %112, ptr noundef %87, i32 noundef %89)
  %248 = sext i32 %247 to i64
  %249 = getelementptr inbounds i64, ptr %115, i64 %248
  %250 = sub nsw i32 %89, %247
  %251 = call ptr @cpGFpElementPad(ptr noundef %249, i32 noundef %250, i64 noundef 0)
  %252 = load ptr, ptr %90, align 8, !tbaa !28
  %253 = load i32, ptr %92, align 8, !tbaa !29
  %254 = call ptr @cpGFpElementCopyPad(ptr noundef %118, i32 noundef %89, ptr noundef %252, i32 noundef %253)
  %255 = call i32 @cpCmp_BNU(ptr noundef %115, i32 noundef %89, ptr noundef %118, i32 noundef %89)
  %256 = icmp eq i32 %255, 0
  %spec.select = select i1 %256, i32 0, i32 17
  br label %257

257:                                              ; preds = %240, %._crit_edge176
  %.0143 = phi i32 [ 17, %._crit_edge176 ], [ %spec.select, %240 ]
  call void @cpEcGFpReleasePool(i32 noundef 1, ptr noundef nonnull %5)
  call void @gsModPoolFree(ptr noundef %24, i32 noundef 3)
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %8) #5
  br label %258

258:                                              ; preds = %257, %106, %101, %95, %83
  %.1144 = phi i32 [ 17, %83 ], [ 17, %95 ], [ %.0143, %257 ], [ 17, %106 ], [ 17, %101 ]
  store i32 %.1144, ptr %4, align 4, !tbaa !48
  br label %259

259:                                              ; preds = %81, %77, %73, %67, %61, %58, %53, %47, %45, %40, %36, %30, %28, %20, %17, %11, %7, %258
  %.0142 = phi i32 [ 0, %258 ], [ -8, %7 ], [ -13, %11 ], [ -13, %17 ], [ -14, %20 ], [ -8, %28 ], [ -13, %30 ], [ -1010, %36 ], [ -1010, %40 ], [ -8, %45 ], [ -13, %47 ], [ -11, %53 ], [ -8, %58 ], [ -13, %61 ], [ -13, %67 ], [ -7, %73 ], [ -7, %77 ], [ -8, %81 ]
  ret i32 %.0142
}

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

; Function Attrs: inlinehint nounwind uwtable
declare hidden i64 @IPP_UINT_PTR(ptr noundef) local_unnamed_addr #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden i32 @cpBN_bitsize(ptr noundef) local_unnamed_addr #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden i32 @cpEqu_BNU_CHUNK(ptr noundef, i32 noundef, i64 noundef) local_unnamed_addr #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden i32 @cpCmp_BNU(ptr noundef, i32 noundef, ptr noundef, i32 noundef) local_unnamed_addr #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden ptr @gsModPoolAlloc(ptr noundef, i32 noundef) local_unnamed_addr #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden ptr @cpEcGFpInitPoint(ptr noundef, ptr noundef, i32 noundef, ptr noundef) local_unnamed_addr #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden ptr @cpEcGFpGetPool(i32 noundef, ptr noundef) local_unnamed_addr #2

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

; Function Attrs: inlinehint nounwind uwtable
declare hidden ptr @cpModSub_BNU(ptr noundef, ptr noundef, ptr noundef, ptr noundef, i32 noundef, ptr noundef) local_unnamed_addr #2

declare ptr @gs_mont_inv(ptr noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #3

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

; Function Attrs: inlinehint nounwind uwtable
declare hidden void @cpMontMul_BNU(ptr noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #2

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

; Function Attrs: inlinehint nounwind uwtable
declare hidden i32 @gfec_IsPointAtInfinity(ptr noundef) local_unnamed_addr #2

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

; Function Attrs: inlinehint nounwind uwtable
declare hidden i32 @cpMod_BNU(ptr noundef, i32 noundef, ptr noundef, i32 noundef) local_unnamed_addr #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden ptr @cpGFpElementPad(ptr noundef, i32 noundef, i64 noundef) local_unnamed_addr #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden ptr @cpGFpElementCopyPad(ptr noundef, i32 noundef, ptr noundef, i32 noundef) local_unnamed_addr #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden void @cpEcGFpReleasePool(i32 noundef, ptr noundef) local_unnamed_addr #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden void @gsModPoolFree(ptr noundef, i32 noundef) local_unnamed_addr #2

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

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 = { inlinehint 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 #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 nounwind willreturn memory(argmem: write) }
attributes #5 = { nounwind }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !7, i64 0}
!6 = !{!"_cpGFpEC", !7, i64 0, !7, i64 4, !10, i64 8, !7, i64 16, !7, i64 20, !7, i64 24, !10, i64 32, !10, i64 40, !10, i64 48, !10, i64 56, !7, i64 64, !7, i64 68, !10, i64 72, !10, i64 80, !10, i64 88, !10, i64 96, !10, i64 104, !10, i64 112, !10, i64 120, !10, i64 128}
!7 = !{!"int", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C/C++ TBAA"}
!10 = !{!"any pointer", !8, i64 0}
!11 = !{!6, !7, i64 16}
!12 = !{!6, !10, i64 8}
!13 = !{!14, !10, i64 8}
!14 = !{!"_cpGFp", !7, i64 0, !7, i64 4, !10, i64 8}
!15 = !{!16, !7, i64 8}
!16 = !{!"_gsModEngine", !10, i64 0, !7, i64 8, !7, i64 12, !7, i64 16, !7, i64 20, !7, i64 24, !10, i64 32, !10, i64 40, !10, i64 48, !17, i64 56, !10, i64 64, !10, i64 72, !10, i64 80, !10, i64 88, !7, i64 96, !7, i64 100, !10, i64 104}
!17 = !{!"long long", !8, i64 0}
!18 = !{!19, !7, i64 0}
!19 = !{!"_cpBigNum", !7, i64 0, !7, i64 4, !7, i64 8, !7, i64 12, !10, i64 16, !10, i64 24}
!20 = !{!19, !7, i64 4}
!21 = !{!6, !7, i64 24}
!22 = !{!23, !7, i64 0}
!23 = !{!"_cpGFpECPoint", !7, i64 0, !7, i64 4, !7, i64 8, !10, i64 16}
!24 = !{!23, !7, i64 8}
!25 = !{!16, !7, i64 16}
!26 = !{!6, !10, i64 80}
!27 = !{!16, !10, i64 48}
!28 = !{!19, !10, i64 16}
!29 = !{!19, !7, i64 8}
!30 = !{!16, !7, i64 24}
!31 = !{!17, !17, i64 0}
!32 = distinct !{!32, !33}
!33 = !{!"llvm.loop.unroll.disable"}
!34 = distinct !{!34, !35, !36, !37}
!35 = !{!"llvm.loop.mustprogress"}
!36 = !{!"llvm.loop.isvectorized", i32 1}
!37 = !{!"llvm.loop.unroll.runtime.disable"}
!38 = distinct !{!38, !35, !36}
!39 = distinct !{!39, !33}
!40 = distinct !{!40, !35, !36, !37}
!41 = distinct !{!41, !35, !36}
!42 = distinct !{!42, !33}
!43 = distinct !{!43, !35, !36, !37}
!44 = distinct !{!44, !35, !36}
!45 = !{!16, !10, i64 32}
!46 = !{!47, !10, i64 8}
!47 = !{!"_gsModMethod", !10, i64 0, !10, i64 8, !10, i64 16, !10, i64 24, !10, i64 32, !10, i64 40, !10, i64 48, !10, i64 56, !10, i64 64, !10, i64 72, !10, i64 80}
!48 = !{!7, !7, i64 0}


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