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

; 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 @ippsGFpECVerifySM2(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 ptr, align 8
  %29 = alloca %struct._cpGFpECPoint, align 8
  %30 = alloca %struct._cpGFpECPoint, align 8
  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) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #5
  %31 = load ptr, ptr %14, align 8, !tbaa !5
  %32 = icmp eq ptr null, %31
  br i1 %32, label %33, label %34

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

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

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

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

47:                                               ; preds = %38
  store i32 -13, ptr %8, align 4
  store i32 1, ptr %18, align 4
  br label %330

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

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

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

65:                                               ; preds = %54
  store i32 -14, ptr %8, align 4
  store i32 1, ptr %18, align 4
  br label %330

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

69:                                               ; preds = %66
  store i32 -8, ptr %8, align 4
  store i32 1, ptr %18, align 4
  br label %330

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

79:                                               ; preds = %70
  store i32 -13, ptr %8, align 4
  store i32 1, ptr %18, align 4
  br label %330

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

85:                                               ; preds = %80
  store i32 -1010, ptr %8, align 4
  store i32 1, ptr %18, align 4
  br label %330

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

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

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

97:                                               ; preds = %94
  store i32 -8, ptr %8, align 4
  store i32 1, ptr %18, align 4
  br label %330

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

107:                                              ; preds = %98
  store i32 -13, ptr %8, align 4
  store i32 1, ptr %18, align 4
  br label %330

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

116:                                              ; preds = %108
  store i32 -11, ptr %8, align 4
  store i32 1, ptr %18, align 4
  br label %330

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

120:                                              ; preds = %117
  store i32 -8, ptr %8, align 4
  store i32 1, ptr %18, align 4
  br label %330

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

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

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

134:                                              ; preds = %125
  store i32 -13, ptr %8, align 4
  store i32 1, ptr %18, align 4
  br label %330

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

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

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

150:                                              ; preds = %145
  store i32 -7, ptr %8, align 4
  store i32 1, ptr %18, align 4
  br label %330

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

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

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

160:                                              ; preds = %157
  store i32 -8, ptr %8, align 4
  store i32 1, ptr %18, align 4
  br label %330

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

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

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

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

210:                                              ; preds = %199
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #5
  %211 = load ptr, ptr %17, align 8, !tbaa !5
  %212 = getelementptr inbounds %struct._gsModEngine, ptr %211, i32 0, i32 3
  %213 = load i32, ptr %212, align 8, !tbaa !26
  store i32 %213, ptr %23, align 4, !tbaa !27
  call void @llvm.lifetime.start.p0(i64 4, ptr %24) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %25) #5
  %214 = load ptr, ptr %17, align 8, !tbaa !5
  %215 = call ptr @gsModPoolAlloc(ptr noundef %214, i32 noundef 4)
  store ptr %215, ptr %25, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #5
  %216 = load ptr, ptr %25, align 8, !tbaa !5
  %217 = load i32, ptr %22, align 4, !tbaa !27
  %218 = sext i32 %217 to i64
  %219 = getelementptr inbounds i64, ptr %216, i64 %218
  store ptr %219, ptr %26, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #5
  %220 = load ptr, ptr %26, align 8, !tbaa !5
  %221 = load i32, ptr %22, align 4, !tbaa !27
  %222 = sext i32 %221 to i64
  %223 = getelementptr inbounds i64, ptr %220, i64 %222
  store ptr %223, ptr %27, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %28) #5
  %224 = load ptr, ptr %27, align 8, !tbaa !5
  %225 = load i32, ptr %22, align 4, !tbaa !27
  %226 = sext i32 %225 to i64
  %227 = getelementptr inbounds i64, ptr %224, i64 %226
  store ptr %227, ptr %28, align 8, !tbaa !5
  %228 = load ptr, ptr %25, align 8, !tbaa !5
  %229 = load i32, ptr %22, align 4, !tbaa !27
  %230 = load ptr, ptr %11, align 8, !tbaa !5
  %231 = getelementptr inbounds %struct._cpBigNum, ptr %230, i32 0, i32 4
  %232 = load ptr, ptr %231, align 8, !tbaa !30
  %233 = load ptr, ptr %11, align 8, !tbaa !5
  %234 = getelementptr inbounds %struct._cpBigNum, ptr %233, i32 0, i32 2
  %235 = load i32, ptr %234, align 8, !tbaa !31
  %236 = call ptr @cpGFpElementCopyPad(ptr noundef %228, i32 noundef %229, ptr noundef %232, i32 noundef %235)
  %237 = load ptr, ptr %26, align 8, !tbaa !5
  %238 = load i32, ptr %22, align 4, !tbaa !27
  %239 = load ptr, ptr %12, 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 ptr, ptr %12, align 8, !tbaa !5
  %243 = getelementptr inbounds %struct._cpBigNum, ptr %242, i32 0, i32 2
  %244 = load i32, ptr %243, align 8, !tbaa !31
  %245 = call ptr @cpGFpElementCopyPad(ptr noundef %237, i32 noundef %238, ptr noundef %241, i32 noundef %244)
  %246 = load ptr, ptr %27, align 8, !tbaa !5
  %247 = load ptr, ptr %25, align 8, !tbaa !5
  %248 = load ptr, ptr %26, align 8, !tbaa !5
  %249 = load ptr, ptr %21, align 8, !tbaa !5
  %250 = load i32, ptr %22, align 4, !tbaa !27
  %251 = load ptr, ptr %28, align 8, !tbaa !5
  %252 = call ptr @cpModAdd_BNU(ptr noundef %246, ptr noundef %247, ptr noundef %248, ptr noundef %249, i32 noundef %250, ptr noundef %251)
  %253 = load ptr, ptr %27, align 8, !tbaa !5
  %254 = load i32, ptr %22, align 4, !tbaa !27
  %255 = call i64 @cpIsGFpElemEquChunk_ct(ptr noundef %253, i32 noundef %254, i64 noundef 0)
  %256 = icmp ne i64 %255, 0
  br i1 %256, label %294, label %257

257:                                              ; preds = %210
  call void @llvm.lifetime.start.p0(i64 24, ptr %29) #5
  call void @llvm.lifetime.start.p0(i64 24, ptr %30) #5
  %258 = load ptr, ptr %14, align 8, !tbaa !5
  %259 = call ptr @cpEcGFpGetPool(i32 noundef 1, ptr noundef %258)
  %260 = load ptr, ptr %14, align 8, !tbaa !5
  %261 = call ptr @cpEcGFpInitPoint(ptr noundef %29, ptr noundef %259, i32 noundef 0, ptr noundef %260)
  %262 = load ptr, ptr %14, align 8, !tbaa !5
  %263 = getelementptr inbounds %struct._cpGFpEC, ptr %262, i32 0, i32 8
  %264 = load ptr, ptr %263, align 8, !tbaa !32
  %265 = load ptr, ptr %14, align 8, !tbaa !5
  %266 = call ptr @cpEcGFpInitPoint(ptr noundef %30, ptr noundef %264, i32 noundef 3, ptr noundef %265)
  %267 = load ptr, ptr %26, align 8, !tbaa !5
  %268 = load i32, ptr %22, align 4, !tbaa !27
  %269 = load ptr, ptr %10, align 8, !tbaa !5
  %270 = load ptr, ptr %27, align 8, !tbaa !5
  %271 = load i32, ptr %22, align 4, !tbaa !27
  %272 = load ptr, ptr %14, align 8, !tbaa !5
  %273 = load ptr, ptr %15, align 8, !tbaa !5
  %274 = call ptr @gfec_BasePointProduct(ptr noundef %29, ptr noundef %267, i32 noundef %268, ptr noundef %269, ptr noundef %270, i32 noundef %271, ptr noundef %272, ptr noundef %273)
  %275 = load ptr, ptr %27, align 8, !tbaa !5
  %276 = load ptr, ptr %14, align 8, !tbaa !5
  %277 = call i32 @gfec_GetPoint(ptr noundef %275, ptr noundef null, ptr noundef %29, ptr noundef %276)
  %278 = load ptr, ptr %17, align 8, !tbaa !5
  %279 = getelementptr inbounds %struct._gsModEngine, ptr %278, i32 0, i32 6
  %280 = load ptr, ptr %279, align 8, !tbaa !33
  %281 = getelementptr inbounds %struct._gsModMethod, ptr %280, i32 0, i32 1
  %282 = load ptr, ptr %281, align 8, !tbaa !34
  %283 = load ptr, ptr %27, align 8, !tbaa !5
  %284 = load ptr, ptr %27, align 8, !tbaa !5
  %285 = load ptr, ptr %17, align 8, !tbaa !5
  %286 = call ptr %282(ptr noundef %283, ptr noundef %284, ptr noundef %285)
  %287 = load ptr, ptr %27, align 8, !tbaa !5
  %288 = load i32, ptr %23, align 4, !tbaa !27
  %289 = load ptr, ptr %21, align 8, !tbaa !5
  %290 = load i32, ptr %22, align 4, !tbaa !27
  %291 = call i32 @cpMod_BNU(ptr noundef %287, i32 noundef %288, ptr noundef %289, i32 noundef %290)
  store i32 %291, ptr %24, align 4, !tbaa !27
  %292 = load ptr, ptr %14, align 8, !tbaa !5
  call void @cpEcGFpReleasePool(i32 noundef 1, ptr noundef %292)
  %293 = load i32, ptr %24, align 4, !tbaa !27
  call void @llvm.lifetime.end.p0(i64 24, ptr %30) #5
  call void @llvm.lifetime.end.p0(i64 24, ptr %29) #5
  br label %294

294:                                              ; preds = %257, %210
  %295 = load ptr, ptr %28, align 8, !tbaa !5
  %296 = load i32, ptr %22, align 4, !tbaa !27
  %297 = load ptr, ptr %9, align 8, !tbaa !5
  %298 = getelementptr inbounds %struct._cpBigNum, ptr %297, i32 0, i32 4
  %299 = load ptr, ptr %298, align 8, !tbaa !30
  %300 = load ptr, ptr %9, align 8, !tbaa !5
  %301 = getelementptr inbounds %struct._cpBigNum, ptr %300, i32 0, i32 2
  %302 = load i32, ptr %301, align 8, !tbaa !31
  %303 = call ptr @cpGFpElementCopyPad(ptr noundef %295, i32 noundef %296, ptr noundef %299, i32 noundef %302)
  %304 = load ptr, ptr %28, align 8, !tbaa !5
  %305 = load ptr, ptr %28, align 8, !tbaa !5
  %306 = load ptr, ptr %21, align 8, !tbaa !5
  %307 = load ptr, ptr %21, align 8, !tbaa !5
  %308 = load i32, ptr %22, align 4, !tbaa !27
  %309 = load ptr, ptr %26, align 8, !tbaa !5
  %310 = call ptr @cpModSub_BNU(ptr noundef %304, ptr noundef %305, ptr noundef %306, ptr noundef %307, i32 noundef %308, ptr noundef %309)
  %311 = load ptr, ptr %27, align 8, !tbaa !5
  %312 = load ptr, ptr %27, align 8, !tbaa !5
  %313 = load ptr, ptr %28, align 8, !tbaa !5
  %314 = load ptr, ptr %21, align 8, !tbaa !5
  %315 = load i32, ptr %22, align 4, !tbaa !27
  %316 = load ptr, ptr %28, align 8, !tbaa !5
  %317 = call ptr @cpModAdd_BNU(ptr noundef %311, ptr noundef %312, ptr noundef %313, ptr noundef %314, i32 noundef %315, ptr noundef %316)
  %318 = load ptr, ptr %27, align 8, !tbaa !5
  %319 = load i32, ptr %22, align 4, !tbaa !27
  %320 = load ptr, ptr %25, align 8, !tbaa !5
  %321 = load i32, ptr %22, align 4, !tbaa !27
  %322 = call i32 @cpCmp_BNU(ptr noundef %318, i32 noundef %319, ptr noundef %320, i32 noundef %321)
  %323 = icmp eq i32 0, %322
  br i1 %323, label %324, label %325

324:                                              ; preds = %294
  store i32 0, ptr %19, align 4, !tbaa !27
  br label %325

325:                                              ; preds = %324, %294
  %326 = load ptr, ptr %17, align 8, !tbaa !5
  call void @gsModPoolFree(ptr noundef %326, i32 noundef 4)
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %24) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #5
  br label %327

327:                                              ; preds = %325, %199, %188, %179, %161
  %328 = load i32, ptr %19, align 4, !tbaa !27
  %329 = load ptr, ptr %13, align 8, !tbaa !5
  store i32 %328, ptr %329, 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) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #5
  br label %330

330:                                              ; preds = %327, %160, %156, %150, %144, %134, %124, %120, %116, %107, %97, %93, %85, %79, %69, %65, %53, %47, %37, %33
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #5
  %331 = load i32, ptr %8, align 4
  ret i32 %331
}

; 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 @cpGFpElementCopyPad(ptr noundef, i32 noundef, ptr noundef, i32 noundef) #2

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

; Function Attrs: noinline nounwind uwtable
declare hidden i64 @cpIsGFpElemEquChunk_ct(ptr noundef, i32 noundef, i64 noundef) #3

; 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

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

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

; 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 void @cpEcGFpReleasePool(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

; 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 = { noinline 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 #4 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { 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 = !{!10, !6, i64 48}
!33 = !{!17, !6, i64 32}
!34 = !{!35, !6, i64 8}
!35 = !{!"_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 @ippsGFpECVerifySM2(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 = alloca %struct._cpGFpECPoint, align 8
  %10 = icmp eq ptr %5, null
  %11 = icmp eq ptr %6, null
  %or.cond = or i1 %10, %11
  br i1 %or.cond, label %152, label %12

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

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

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

29:                                               ; preds = %21
  %30 = icmp eq ptr %0, null
  br i1 %30, label %152, label %31

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

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

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

46:                                               ; preds = %41
  %47 = icmp eq ptr %1, null
  br i1 %47, label %152, label %48

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

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

59:                                               ; preds = %54
  %60 = icmp eq ptr %2, null
  %61 = icmp eq ptr %3, null
  %or.cond125 = or i1 %60, %61
  br i1 %or.cond125, label %152, label %62

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

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

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

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

82:                                               ; preds = %78
  %83 = icmp eq ptr %4, null
  br i1 %83, label %152, label %84

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

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

102:                                              ; preds = %96
  %103 = load ptr, ptr %91, align 8, !tbaa !28
  %104 = load i32, ptr %93, align 8, !tbaa !29
  %105 = tail call i32 @cpCmp_BNU(ptr noundef %103, i32 noundef %104, ptr noundef %88, i32 noundef %90)
  %106 = icmp slt i32 %105, 0
  br i1 %106, label %107, label %151

107:                                              ; preds = %102
  %108 = load ptr, ptr %97, align 8, !tbaa !28
  %109 = load i32, ptr %99, align 8, !tbaa !29
  %110 = tail call i32 @cpCmp_BNU(ptr noundef %108, i32 noundef %109, ptr noundef %88, i32 noundef %90)
  %111 = icmp slt i32 %110, 0
  br i1 %111, label %112, label %151

112:                                              ; preds = %107
  %113 = load i32, ptr %57, align 8, !tbaa !25
  %114 = tail call ptr @gsModPoolAlloc(ptr noundef nonnull %25, i32 noundef 4)
  %115 = sext i32 %90 to i64
  %116 = getelementptr inbounds i64, ptr %114, i64 %115
  %117 = getelementptr inbounds i64, ptr %116, i64 %115
  %118 = getelementptr inbounds i64, ptr %117, i64 %115
  %119 = load ptr, ptr %91, align 8, !tbaa !28
  %120 = load i32, ptr %93, align 8, !tbaa !29
  %121 = tail call ptr @cpGFpElementCopyPad(ptr noundef %114, i32 noundef %90, ptr noundef %119, i32 noundef %120)
  %122 = load ptr, ptr %97, align 8, !tbaa !28
  %123 = load i32, ptr %99, align 8, !tbaa !29
  %124 = tail call ptr @cpGFpElementCopyPad(ptr noundef %116, i32 noundef %90, ptr noundef %122, i32 noundef %123)
  %125 = tail call ptr @cpModAdd_BNU(ptr noundef %117, ptr noundef %114, ptr noundef %116, ptr noundef %88, i32 noundef %90, ptr noundef %118)
  %126 = tail call i64 @cpIsGFpElemEquChunk_ct(ptr noundef %117, i32 noundef %90, i64 noundef 0)
  %.not124 = icmp eq i64 %126, 0
  br i1 %.not124, label %127, label %141

127:                                              ; preds = %112
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %8) #5
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %9) #5
  %128 = tail call ptr @cpEcGFpGetPool(i32 noundef 1, ptr noundef nonnull %5)
  %129 = call ptr @cpEcGFpInitPoint(ptr noundef nonnull %8, ptr noundef %128, i32 noundef 0, ptr noundef nonnull %5)
  %130 = getelementptr inbounds i8, ptr %5, i64 48
  %131 = load ptr, ptr %130, align 8, !tbaa !30
  %132 = call ptr @cpEcGFpInitPoint(ptr noundef nonnull %9, ptr noundef %131, i32 noundef 3, ptr noundef nonnull %5)
  %133 = call ptr @gfec_BasePointProduct(ptr noundef nonnull %8, ptr noundef %116, i32 noundef %90, ptr noundef nonnull %1, ptr noundef %117, i32 noundef %90, ptr noundef nonnull %5, ptr noundef nonnull %6) #5
  %134 = call i32 @gfec_GetPoint(ptr noundef %117, ptr noundef null, ptr noundef nonnull %8, ptr noundef nonnull %5) #5
  %135 = getelementptr inbounds i8, ptr %25, i64 32
  %136 = load ptr, ptr %135, align 8, !tbaa !31
  %137 = getelementptr inbounds i8, ptr %136, i64 8
  %138 = load ptr, ptr %137, align 8, !tbaa !32
  %139 = call ptr %138(ptr noundef %117, ptr noundef %117, ptr noundef nonnull %25) #5
  %140 = call i32 @cpMod_BNU(ptr noundef %117, i32 noundef %113, ptr noundef %88, i32 noundef %90)
  call void @cpEcGFpReleasePool(i32 noundef 1, ptr noundef nonnull %5)
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %9) #5
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %8) #5
  br label %141

141:                                              ; preds = %127, %112
  %142 = getelementptr inbounds i8, ptr %0, i64 16
  %143 = load ptr, ptr %142, align 8, !tbaa !28
  %144 = getelementptr inbounds i8, ptr %0, i64 8
  %145 = load i32, ptr %144, align 8, !tbaa !29
  %146 = call ptr @cpGFpElementCopyPad(ptr noundef %118, i32 noundef %90, ptr noundef %143, i32 noundef %145)
  %147 = call ptr @cpModSub_BNU(ptr noundef %118, ptr noundef %118, ptr noundef %88, ptr noundef %88, i32 noundef %90, ptr noundef %116)
  %148 = call ptr @cpModAdd_BNU(ptr noundef %117, ptr noundef %117, ptr noundef %118, ptr noundef %88, i32 noundef %90, ptr noundef %118)
  %149 = call i32 @cpCmp_BNU(ptr noundef %117, i32 noundef %90, ptr noundef %114, i32 noundef %90)
  %150 = icmp eq i32 %149, 0
  %spec.select = select i1 %150, i32 0, i32 17
  call void @gsModPoolFree(ptr noundef nonnull %25, i32 noundef 4)
  br label %151

151:                                              ; preds = %141, %107, %102, %96, %84
  %.1 = phi i32 [ 17, %84 ], [ 17, %96 ], [ %spec.select, %141 ], [ 17, %107 ], [ 17, %102 ]
  store i32 %.1, ptr %4, align 4, !tbaa !34
  br label %152

152:                                              ; preds = %82, %78, %74, %68, %62, %59, %54, %48, %46, %41, %37, %31, %29, %21, %18, %12, %7, %151
  %.0 = phi i32 [ 0, %151 ], [ -8, %7 ], [ -13, %12 ], [ -13, %18 ], [ -14, %21 ], [ -8, %29 ], [ -13, %31 ], [ -1010, %37 ], [ -1010, %41 ], [ -8, %46 ], [ -13, %48 ], [ -11, %54 ], [ -8, %59 ], [ -13, %62 ], [ -13, %68 ], [ -7, %74 ], [ -7, %78 ], [ -8, %82 ]
  ret i32 %.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: 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 @cpGFpElementCopyPad(ptr noundef, i32 noundef, ptr noundef, i32 noundef) local_unnamed_addr #2

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

; Function Attrs: noinline nounwind uwtable
declare hidden i64 @cpIsGFpElemEquChunk_ct(ptr noundef, i32 noundef, i64 noundef) local_unnamed_addr #3

; 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

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

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

; 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 void @cpEcGFpReleasePool(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

; Function Attrs: inlinehint nounwind uwtable
declare hidden void @gsModPoolFree(ptr noundef, i32 noundef) local_unnamed_addr #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 = { 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 = { noinline 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 #4 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { 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 = !{!6, !10, i64 48}
!31 = !{!16, !10, i64 32}
!32 = !{!33, !10, i64 8}
!33 = !{!"_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}
!34 = !{!7, !7, i64 0}


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