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

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

; Function Attrs: nounwind uwtable
define dso_local i32 @ippsDLPVerifyDSA(ptr noundef %0, ptr noundef %1, ptr noundef %2, ptr noundef %3, ptr noundef %4) #0 {
  %6 = alloca i32, align 4
  %7 = alloca ptr, align 8
  %8 = alloca ptr, align 8
  %9 = alloca ptr, align 8
  %10 = alloca ptr, align 8
  %11 = alloca ptr, align 8
  %12 = alloca 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 i32, align 4
  %18 = alloca ptr, align 8
  %19 = alloca ptr, align 8
  %20 = alloca [2 x ptr], align 16
  %21 = alloca i32, align 4
  %22 = alloca i32, align 4
  %23 = alloca i32, align 4
  %24 = alloca i32, align 4
  %25 = alloca i32, align 4
  %26 = alloca ptr, align 8
  %27 = alloca ptr, align 8
  %28 = alloca [2 x ptr], align 16
  %29 = alloca i32, align 4
  %30 = alloca i32, align 4
  store ptr %0, ptr %7, align 8, !tbaa !5
  store ptr %1, ptr %8, align 8, !tbaa !5
  store ptr %2, ptr %9, align 8, !tbaa !5
  store ptr %3, ptr %10, align 8, !tbaa !5
  store ptr %4, ptr %11, align 8, !tbaa !5
  %31 = load ptr, ptr %11, align 8, !tbaa !5
  %32 = icmp eq ptr null, %31
  br i1 %32, label %33, label %34

33:                                               ; preds = %5
  store i32 -8, ptr %6, align 4
  br label %378

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

37:                                               ; preds = %34
  store i32 -8, ptr %6, align 4
  br label %378

38:                                               ; preds = %34
  %39 = load ptr, ptr %11, align 8, !tbaa !5
  %40 = getelementptr inbounds %struct._cpDLP, ptr %39, i32 0, i32 0
  %41 = load i32, ptr %40, align 8, !tbaa !9
  %42 = load ptr, ptr %11, 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, 541346896
  br i1 %46, label %48, label %47

47:                                               ; preds = %38
  store i32 -13, ptr %6, align 4
  br label %378

48:                                               ; preds = %38
  %49 = load ptr, ptr %11, align 8, !tbaa !5
  %50 = getelementptr inbounds %struct._cpDLP, ptr %49, i32 0, i32 1
  %51 = load i32, ptr %50, align 4, !tbaa !12
  %52 = icmp eq i32 %51, 7
  br i1 %52, label %54, label %53

53:                                               ; preds = %48
  store i32 -1013, ptr %6, align 4
  br label %378

54:                                               ; preds = %48
  %55 = load ptr, ptr %7, align 8, !tbaa !5
  %56 = icmp eq ptr null, %55
  br i1 %56, label %57, label %58

57:                                               ; preds = %54
  store i32 -8, ptr %6, align 4
  br label %378

58:                                               ; preds = %54
  %59 = load ptr, ptr %7, align 8, !tbaa !5
  %60 = getelementptr inbounds %struct._cpBigNum, ptr %59, i32 0, i32 0
  %61 = load i32, ptr %60, align 8, !tbaa !13
  %62 = load ptr, ptr %7, align 8, !tbaa !5
  %63 = call i64 @IPP_UINT_PTR(ptr noundef %62)
  %64 = trunc i64 %63 to i32
  %65 = xor i32 %61, %64
  %66 = icmp eq i32 %65, 1112098638
  br i1 %66, label %68, label %67

67:                                               ; preds = %58
  store i32 -13, ptr %6, align 4
  br label %378

68:                                               ; preds = %58
  %69 = load ptr, ptr %7, align 8, !tbaa !5
  %70 = getelementptr inbounds %struct._cpBigNum, ptr %69, i32 0, i32 1
  %71 = load i32, ptr %70, align 4, !tbaa !15
  %72 = icmp eq i32 %71, 0
  br i1 %72, label %73, label %74

73:                                               ; preds = %68
  store i32 -1010, ptr %6, align 4
  br label %378

74:                                               ; preds = %68
  %75 = load ptr, ptr %8, align 8, !tbaa !5
  %76 = icmp eq ptr null, %75
  br i1 %76, label %77, label %78

77:                                               ; preds = %74
  store i32 -8, ptr %6, align 4
  br label %378

78:                                               ; preds = %74
  %79 = load ptr, ptr %9, align 8, !tbaa !5
  %80 = icmp eq ptr null, %79
  br i1 %80, label %81, label %82

81:                                               ; preds = %78
  store i32 -8, ptr %6, align 4
  br label %378

82:                                               ; preds = %78
  %83 = load ptr, ptr %8, align 8, !tbaa !5
  %84 = getelementptr inbounds %struct._cpBigNum, ptr %83, i32 0, i32 0
  %85 = load i32, ptr %84, align 8, !tbaa !13
  %86 = load ptr, ptr %8, align 8, !tbaa !5
  %87 = call i64 @IPP_UINT_PTR(ptr noundef %86)
  %88 = trunc i64 %87 to i32
  %89 = xor i32 %85, %88
  %90 = icmp eq i32 %89, 1112098638
  br i1 %90, label %92, label %91

91:                                               ; preds = %82
  store i32 -13, ptr %6, align 4
  br label %378

92:                                               ; preds = %82
  %93 = load ptr, ptr %9, align 8, !tbaa !5
  %94 = getelementptr inbounds %struct._cpBigNum, ptr %93, i32 0, i32 0
  %95 = load i32, ptr %94, align 8, !tbaa !13
  %96 = load ptr, ptr %9, align 8, !tbaa !5
  %97 = call i64 @IPP_UINT_PTR(ptr noundef %96)
  %98 = trunc i64 %97 to i32
  %99 = xor i32 %95, %98
  %100 = icmp eq i32 %99, 1112098638
  br i1 %100, label %102, label %101

101:                                              ; preds = %92
  store i32 -13, ptr %6, align 4
  br label %378

102:                                              ; preds = %92
  %103 = call ptr @cpBN_OneRef()
  %104 = load ptr, ptr %8, align 8, !tbaa !5
  %105 = call i32 @cpBN_cmp(ptr noundef %103, ptr noundef %104)
  %106 = icmp slt i32 0, %105
  br i1 %106, label %127, label %107

107:                                              ; preds = %102
  %108 = load ptr, ptr %8, align 8, !tbaa !5
  %109 = getelementptr inbounds %struct._cpBigNum, ptr %108, i32 0, i32 4
  %110 = load ptr, ptr %109, align 8, !tbaa !16
  %111 = load ptr, ptr %8, align 8, !tbaa !5
  %112 = getelementptr inbounds %struct._cpBigNum, ptr %111, i32 0, i32 2
  %113 = load i32, ptr %112, align 8, !tbaa !17
  %114 = load ptr, ptr %11, align 8, !tbaa !5
  %115 = getelementptr inbounds %struct._cpDLP, ptr %114, i32 0, i32 7
  %116 = load ptr, ptr %115, align 8, !tbaa !18
  %117 = getelementptr inbounds %struct._gsModEngine, ptr %116, i32 0, i32 8
  %118 = load ptr, ptr %117, align 8, !tbaa !19
  %119 = load ptr, ptr %11, align 8, !tbaa !5
  %120 = getelementptr inbounds %struct._cpDLP, ptr %119, i32 0, i32 3
  %121 = load i32, ptr %120, align 4, !tbaa !22
  %122 = add nsw i32 %121, 64
  %123 = sub nsw i32 %122, 1
  %124 = sdiv i32 %123, 64
  %125 = call i32 @cpCmp_BNU(ptr noundef %110, i32 noundef %113, ptr noundef %118, i32 noundef %124)
  %126 = icmp sle i32 0, %125
  br i1 %126, label %127, label %129

127:                                              ; preds = %107, %102
  %128 = load ptr, ptr %10, align 8, !tbaa !5
  store i32 12, ptr %128, align 4, !tbaa !23
  store i32 0, ptr %6, align 4
  br label %378

129:                                              ; preds = %107
  %130 = call ptr @cpBN_OneRef()
  %131 = load ptr, ptr %9, align 8, !tbaa !5
  %132 = call i32 @cpBN_cmp(ptr noundef %130, ptr noundef %131)
  %133 = icmp slt i32 0, %132
  br i1 %133, label %154, label %134

134:                                              ; preds = %129
  %135 = load ptr, ptr %9, align 8, !tbaa !5
  %136 = getelementptr inbounds %struct._cpBigNum, ptr %135, i32 0, i32 4
  %137 = load ptr, ptr %136, align 8, !tbaa !16
  %138 = load ptr, ptr %9, align 8, !tbaa !5
  %139 = getelementptr inbounds %struct._cpBigNum, ptr %138, i32 0, i32 2
  %140 = load i32, ptr %139, align 8, !tbaa !17
  %141 = load ptr, ptr %11, align 8, !tbaa !5
  %142 = getelementptr inbounds %struct._cpDLP, ptr %141, i32 0, i32 7
  %143 = load ptr, ptr %142, align 8, !tbaa !18
  %144 = getelementptr inbounds %struct._gsModEngine, ptr %143, i32 0, i32 8
  %145 = load ptr, ptr %144, align 8, !tbaa !19
  %146 = load ptr, ptr %11, align 8, !tbaa !5
  %147 = getelementptr inbounds %struct._cpDLP, ptr %146, i32 0, i32 3
  %148 = load i32, ptr %147, align 4, !tbaa !22
  %149 = add nsw i32 %148, 64
  %150 = sub nsw i32 %149, 1
  %151 = sdiv i32 %150, 64
  %152 = call i32 @cpCmp_BNU(ptr noundef %137, i32 noundef %140, ptr noundef %145, i32 noundef %151)
  %153 = icmp sle i32 0, %152
  br i1 %153, label %154, label %156

154:                                              ; preds = %134, %129
  %155 = load ptr, ptr %10, align 8, !tbaa !5
  store i32 12, ptr %155, align 4, !tbaa !23
  store i32 0, ptr %6, align 4
  br label %378

156:                                              ; preds = %134
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #4
  %157 = load ptr, ptr %11, align 8, !tbaa !5
  %158 = getelementptr inbounds %struct._cpDLP, ptr %157, i32 0, i32 13
  %159 = load ptr, ptr %158, align 8, !tbaa !24
  store ptr %159, ptr %12, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #4
  %160 = call ptr @cpBigNumListGet(ptr noundef %12)
  store ptr %160, ptr %13, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #4
  %161 = call ptr @cpBigNumListGet(ptr noundef %12)
  store ptr %161, ptr %14, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #4
  %162 = call ptr @cpBigNumListGet(ptr noundef %12)
  store ptr %162, ptr %15, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #4
  %163 = call ptr @cpBigNumListGet(ptr noundef %12)
  store ptr %163, ptr %16, align 8, !tbaa !5
  %164 = load ptr, ptr %11, align 8, !tbaa !5
  %165 = getelementptr inbounds %struct._cpDLP, ptr %164, i32 0, i32 3
  %166 = load i32, ptr %165, align 4, !tbaa !22
  %167 = add nsw i32 %166, 31
  %168 = ashr i32 %167, 5
  %169 = load ptr, ptr %11, align 8, !tbaa !5
  %170 = getelementptr inbounds %struct._cpDLP, ptr %169, i32 0, i32 7
  %171 = load ptr, ptr %170, align 8, !tbaa !18
  %172 = getelementptr inbounds %struct._gsModEngine, ptr %171, i32 0, i32 8
  %173 = load ptr, ptr %172, align 8, !tbaa !19
  %174 = load ptr, ptr %16, align 8, !tbaa !5
  %175 = call i32 @ippsSet_BN(i32 noundef 1, i32 noundef %168, ptr noundef %173, ptr noundef %174)
  %176 = load ptr, ptr %9, align 8, !tbaa !5
  %177 = load ptr, ptr %16, align 8, !tbaa !5
  %178 = load ptr, ptr %13, align 8, !tbaa !5
  %179 = call i32 @ippsModInv_BN(ptr noundef %176, ptr noundef %177, ptr noundef %178)
  %180 = load ptr, ptr %13, align 8, !tbaa !5
  %181 = load ptr, ptr %13, align 8, !tbaa !5
  %182 = load ptr, ptr %11, align 8, !tbaa !5
  %183 = getelementptr inbounds %struct._cpDLP, ptr %182, i32 0, i32 7
  %184 = load ptr, ptr %183, align 8, !tbaa !18
  call void @cpMontEnc_BN(ptr noundef %180, ptr noundef %181, ptr noundef %184)
  %185 = load ptr, ptr %7, align 8, !tbaa !5
  %186 = load ptr, ptr %16, align 8, !tbaa !5
  %187 = call i32 @cpBN_cmp(ptr noundef %185, ptr noundef %186)
  %188 = icmp slt i32 0, %187
  br i1 %188, label %189, label %194

189:                                              ; preds = %156
  %190 = load ptr, ptr %7, align 8, !tbaa !5
  %191 = load ptr, ptr %16, align 8, !tbaa !5
  %192 = load ptr, ptr %14, align 8, !tbaa !5
  %193 = call i32 @ippsMod_BN(ptr noundef %190, ptr noundef %191, ptr noundef %192)
  br label %198

194:                                              ; preds = %156
  %195 = load ptr, ptr %14, align 8, !tbaa !5
  %196 = load ptr, ptr %7, align 8, !tbaa !5
  %197 = call ptr @cpBN_copy(ptr noundef %195, ptr noundef %196)
  br label %198

198:                                              ; preds = %194, %189
  %199 = load ptr, ptr %14, align 8, !tbaa !5
  %200 = load ptr, ptr %13, align 8, !tbaa !5
  %201 = load ptr, ptr %14, align 8, !tbaa !5
  %202 = load ptr, ptr %11, align 8, !tbaa !5
  %203 = getelementptr inbounds %struct._cpDLP, ptr %202, i32 0, i32 7
  %204 = load ptr, ptr %203, align 8, !tbaa !18
  call void @cpMontMul_BN(ptr noundef %199, ptr noundef %200, ptr noundef %201, ptr noundef %204)
  %205 = load ptr, ptr %15, align 8, !tbaa !5
  %206 = load ptr, ptr %8, align 8, !tbaa !5
  %207 = load ptr, ptr %13, align 8, !tbaa !5
  %208 = load ptr, ptr %11, align 8, !tbaa !5
  %209 = getelementptr inbounds %struct._cpDLP, ptr %208, i32 0, i32 7
  %210 = load ptr, ptr %209, align 8, !tbaa !18
  call void @cpMontMul_BN(ptr noundef %205, ptr noundef %206, ptr noundef %207, ptr noundef %210)
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #4
  %211 = load ptr, ptr %11, align 8, !tbaa !5
  %212 = getelementptr inbounds %struct._cpDLP, ptr %211, i32 0, i32 2
  %213 = load i32, ptr %212, align 8, !tbaa !25
  %214 = add nsw i32 %213, 64
  %215 = sub nsw i32 %214, 1
  %216 = sdiv i32 %215, 64
  store i32 %216, ptr %17, align 4, !tbaa !23
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #4
  %217 = load ptr, ptr %11, align 8, !tbaa !5
  %218 = getelementptr inbounds %struct._cpDLP, ptr %217, i32 0, i32 8
  %219 = load ptr, ptr %218, align 8, !tbaa !26
  %220 = getelementptr inbounds %struct._cpBigNum, ptr %219, i32 0, i32 4
  %221 = load ptr, ptr %220, align 8, !tbaa !16
  store ptr %221, ptr %18, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #4
  %222 = load ptr, ptr %11, align 8, !tbaa !5
  %223 = getelementptr inbounds %struct._cpDLP, ptr %222, i32 0, i32 10
  %224 = load ptr, ptr %223, align 8, !tbaa !27
  %225 = getelementptr inbounds %struct._cpBigNum, ptr %224, i32 0, i32 4
  %226 = load ptr, ptr %225, align 8, !tbaa !16
  store ptr %226, ptr %19, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 16, ptr %20) #4
  %227 = load ptr, ptr %18, align 8, !tbaa !5
  %228 = getelementptr inbounds [2 x ptr], ptr %20, i64 0, i64 0
  store ptr %227, ptr %228, align 16, !tbaa !5
  %229 = load ptr, ptr %19, align 8, !tbaa !5
  %230 = getelementptr inbounds [2 x ptr], ptr %20, i64 0, i64 1
  store ptr %229, ptr %230, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #4
  %231 = load ptr, ptr %11, align 8, !tbaa !5
  %232 = getelementptr inbounds %struct._cpDLP, ptr %231, i32 0, i32 8
  %233 = load ptr, ptr %232, align 8, !tbaa !26
  %234 = getelementptr inbounds %struct._cpBigNum, ptr %233, i32 0, i32 2
  %235 = load i32, ptr %234, align 8, !tbaa !17
  store i32 %235, ptr %21, align 4, !tbaa !23
  br label %236

236:                                              ; preds = %245, %198
  %237 = load i32, ptr %21, align 4, !tbaa !23
  %238 = load i32, ptr %17, align 4, !tbaa !23
  %239 = icmp slt i32 %237, %238
  br i1 %239, label %240, label %248

240:                                              ; preds = %236
  %241 = load ptr, ptr %18, align 8, !tbaa !5
  %242 = load i32, ptr %21, align 4, !tbaa !23
  %243 = sext i32 %242 to i64
  %244 = getelementptr inbounds i64, ptr %241, i64 %243
  store i64 0, ptr %244, align 8, !tbaa !28
  br label %245

245:                                              ; preds = %240
  %246 = load i32, ptr %21, align 4, !tbaa !23
  %247 = add nsw i32 %246, 1
  store i32 %247, ptr %21, align 4, !tbaa !23
  br label %236, !llvm.loop !29

248:                                              ; preds = %236
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %22) #4
  %249 = load ptr, ptr %11, align 8, !tbaa !5
  %250 = getelementptr inbounds %struct._cpDLP, ptr %249, i32 0, i32 10
  %251 = load ptr, ptr %250, align 8, !tbaa !27
  %252 = getelementptr inbounds %struct._cpBigNum, ptr %251, i32 0, i32 2
  %253 = load i32, ptr %252, align 8, !tbaa !17
  store i32 %253, ptr %22, align 4, !tbaa !23
  br label %254

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

258:                                              ; preds = %254
  %259 = load ptr, ptr %19, align 8, !tbaa !5
  %260 = load i32, ptr %22, align 4, !tbaa !23
  %261 = sext i32 %260 to i64
  %262 = getelementptr inbounds i64, ptr %259, i64 %261
  store i64 0, ptr %262, align 8, !tbaa !28
  br label %263

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

266:                                              ; preds = %254
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #4
  %267 = load ptr, ptr %11, align 8, !tbaa !5
  %268 = getelementptr inbounds %struct._cpDLP, ptr %267, i32 0, i32 12
  %269 = load ptr, ptr %268, align 8, !tbaa !32
  %270 = getelementptr inbounds [2 x ptr], ptr %20, i64 0, i64 0
  %271 = load i32, ptr %17, align 4, !tbaa !23
  %272 = mul nsw i32 %271, 64
  %273 = load ptr, ptr %11, align 8, !tbaa !5
  %274 = getelementptr inbounds %struct._cpDLP, ptr %273, i32 0, i32 5
  %275 = load ptr, ptr %274, align 8, !tbaa !33
  call void @cpMontMultiExpInitArray(ptr noundef %269, ptr noundef %270, i32 noundef %272, i32 noundef 2, ptr noundef %275)
  call void @llvm.lifetime.end.p0(i64 16, ptr %20) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #4
  %276 = load ptr, ptr %14, align 8, !tbaa !5
  %277 = getelementptr inbounds %struct._cpBigNum, ptr %276, i32 0, i32 2
  %278 = load i32, ptr %277, align 8, !tbaa !17
  store i32 %278, ptr %23, align 4, !tbaa !23
  call void @llvm.lifetime.start.p0(i64 4, ptr %24) #4
  %279 = load ptr, ptr %15, align 8, !tbaa !5
  %280 = getelementptr inbounds %struct._cpBigNum, ptr %279, i32 0, i32 2
  %281 = load i32, ptr %280, align 8, !tbaa !17
  store i32 %281, ptr %24, align 4, !tbaa !23
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #4
  %282 = load i32, ptr %23, align 4, !tbaa !23
  %283 = load i32, ptr %24, align 4, !tbaa !23
  %284 = icmp sgt i32 %282, %283
  br i1 %284, label %285, label %287

285:                                              ; preds = %266
  %286 = load i32, ptr %23, align 4, !tbaa !23
  br label %289

287:                                              ; preds = %266
  %288 = load i32, ptr %24, align 4, !tbaa !23
  br label %289

289:                                              ; preds = %287, %285
  %290 = phi i32 [ %286, %285 ], [ %288, %287 ]
  store i32 %290, ptr %25, align 4, !tbaa !23
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #4
  %291 = load ptr, ptr %14, align 8, !tbaa !5
  %292 = getelementptr inbounds %struct._cpBigNum, ptr %291, i32 0, i32 4
  %293 = load ptr, ptr %292, align 8, !tbaa !16
  store ptr %293, ptr %26, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #4
  %294 = load ptr, ptr %15, align 8, !tbaa !5
  %295 = getelementptr inbounds %struct._cpBigNum, ptr %294, i32 0, i32 4
  %296 = load ptr, ptr %295, align 8, !tbaa !16
  store ptr %296, ptr %27, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 16, ptr %28) #4
  %297 = load ptr, ptr %26, align 8, !tbaa !5
  %298 = getelementptr inbounds [2 x ptr], ptr %28, i64 0, i64 0
  store ptr %297, ptr %298, align 16, !tbaa !5
  %299 = load ptr, ptr %27, align 8, !tbaa !5
  %300 = getelementptr inbounds [2 x ptr], ptr %28, i64 0, i64 1
  store ptr %299, ptr %300, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %29) #4
  %301 = load i32, ptr %23, align 4, !tbaa !23
  store i32 %301, ptr %29, align 4, !tbaa !23
  br label %302

302:                                              ; preds = %311, %289
  %303 = load i32, ptr %29, align 4, !tbaa !23
  %304 = load i32, ptr %25, align 4, !tbaa !23
  %305 = icmp slt i32 %303, %304
  br i1 %305, label %306, label %314

306:                                              ; preds = %302
  %307 = load ptr, ptr %26, align 8, !tbaa !5
  %308 = load i32, ptr %29, align 4, !tbaa !23
  %309 = sext i32 %308 to i64
  %310 = getelementptr inbounds i64, ptr %307, i64 %309
  store i64 0, ptr %310, align 8, !tbaa !28
  br label %311

311:                                              ; preds = %306
  %312 = load i32, ptr %29, align 4, !tbaa !23
  %313 = add nsw i32 %312, 1
  store i32 %313, ptr %29, align 4, !tbaa !23
  br label %302, !llvm.loop !34

314:                                              ; preds = %302
  call void @llvm.lifetime.end.p0(i64 4, ptr %29) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %30) #4
  %315 = load i32, ptr %24, align 4, !tbaa !23
  store i32 %315, ptr %30, align 4, !tbaa !23
  br label %316

316:                                              ; preds = %325, %314
  %317 = load i32, ptr %30, align 4, !tbaa !23
  %318 = load i32, ptr %25, align 4, !tbaa !23
  %319 = icmp slt i32 %317, %318
  br i1 %319, label %320, label %328

320:                                              ; preds = %316
  %321 = load ptr, ptr %27, align 8, !tbaa !5
  %322 = load i32, ptr %30, align 4, !tbaa !23
  %323 = sext i32 %322 to i64
  %324 = getelementptr inbounds i64, ptr %321, i64 %323
  store i64 0, ptr %324, align 8, !tbaa !28
  br label %325

325:                                              ; preds = %320
  %326 = load i32, ptr %30, align 4, !tbaa !23
  %327 = add nsw i32 %326, 1
  store i32 %327, ptr %30, align 4, !tbaa !23
  br label %316, !llvm.loop !35

328:                                              ; preds = %316
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #4
  %329 = load ptr, ptr %13, align 8, !tbaa !5
  %330 = getelementptr inbounds %struct._cpBigNum, ptr %329, i32 0, i32 4
  %331 = load ptr, ptr %330, align 8, !tbaa !16
  %332 = load ptr, ptr %11, align 8, !tbaa !5
  %333 = getelementptr inbounds %struct._cpDLP, ptr %332, i32 0, i32 12
  %334 = load ptr, ptr %333, align 8, !tbaa !32
  %335 = getelementptr inbounds [2 x ptr], ptr %28, i64 0, i64 0
  %336 = load i32, ptr %25, align 4, !tbaa !23
  %337 = mul nsw i32 %336, 64
  %338 = load ptr, ptr %11, align 8, !tbaa !5
  %339 = getelementptr inbounds %struct._cpDLP, ptr %338, i32 0, i32 5
  %340 = load ptr, ptr %339, align 8, !tbaa !33
  call void @cpFastMontMultiExp(ptr noundef %331, ptr noundef %334, ptr noundef %335, i32 noundef %337, i32 noundef 2, ptr noundef %340)
  %341 = load ptr, ptr %11, align 8, !tbaa !5
  %342 = getelementptr inbounds %struct._cpDLP, ptr %341, i32 0, i32 2
  %343 = load i32, ptr %342, align 8, !tbaa !25
  %344 = add nsw i32 %343, 64
  %345 = sub nsw i32 %344, 1
  %346 = sdiv i32 %345, 64
  %347 = load ptr, ptr %13, align 8, !tbaa !5
  %348 = getelementptr inbounds %struct._cpBigNum, ptr %347, i32 0, i32 2
  store i32 %346, ptr %348, align 8, !tbaa !17
  %349 = load ptr, ptr %13, align 8, !tbaa !5
  %350 = getelementptr inbounds %struct._cpBigNum, ptr %349, i32 0, i32 1
  store i32 1, ptr %350, align 4, !tbaa !15
  call void @llvm.lifetime.end.p0(i64 16, 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 4, 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
  %351 = load ptr, ptr %13, align 8, !tbaa !5
  %352 = load ptr, ptr %13, align 8, !tbaa !5
  %353 = load ptr, ptr %11, align 8, !tbaa !5
  %354 = getelementptr inbounds %struct._cpDLP, ptr %353, i32 0, i32 5
  %355 = load ptr, ptr %354, align 8, !tbaa !33
  call void @cpMontDec_BN(ptr noundef %351, ptr noundef %352, ptr noundef %355)
  %356 = load ptr, ptr %13, align 8, !tbaa !5
  %357 = getelementptr inbounds %struct._cpBigNum, ptr %356, i32 0, i32 4
  %358 = load ptr, ptr %357, align 8, !tbaa !16
  %359 = load ptr, ptr %13, align 8, !tbaa !5
  %360 = getelementptr inbounds %struct._cpBigNum, ptr %359, i32 0, i32 2
  %361 = load i32, ptr %360, align 8, !tbaa !17
  %362 = load ptr, ptr %16, align 8, !tbaa !5
  %363 = getelementptr inbounds %struct._cpBigNum, ptr %362, i32 0, i32 4
  %364 = load ptr, ptr %363, align 8, !tbaa !16
  %365 = load ptr, ptr %16, align 8, !tbaa !5
  %366 = getelementptr inbounds %struct._cpBigNum, ptr %365, i32 0, i32 2
  %367 = load i32, ptr %366, align 8, !tbaa !17
  %368 = call i32 @cpMod_BNU(ptr noundef %358, i32 noundef %361, ptr noundef %364, i32 noundef %367)
  %369 = load ptr, ptr %13, align 8, !tbaa !5
  %370 = getelementptr inbounds %struct._cpBigNum, ptr %369, i32 0, i32 2
  store i32 %368, ptr %370, align 8, !tbaa !17
  %371 = load ptr, ptr %13, align 8, !tbaa !5
  %372 = load ptr, ptr %8, align 8, !tbaa !5
  %373 = call i32 @cpBN_cmp(ptr noundef %371, ptr noundef %372)
  %374 = icmp eq i32 0, %373
  %375 = zext i1 %374 to i64
  %376 = select i1 %374, i32 0, i32 12
  %377 = load ptr, ptr %10, align 8, !tbaa !5
  store i32 %376, ptr %377, align 4, !tbaa !23
  store i32 0, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #4
  br label %378

378:                                              ; preds = %328, %154, %127, %101, %91, %81, %77, %73, %67, %57, %53, %47, %37, %33
  %379 = load i32, ptr %6, align 4
  ret i32 %379
}

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

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

declare ptr @cpBN_OneRef() #2

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

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

declare ptr @cpBigNumListGet(ptr noundef) #2

declare i32 @ippsSet_BN(i32 noundef, i32 noundef, ptr noundef, ptr noundef) #2

declare i32 @ippsModInv_BN(ptr noundef, ptr noundef, ptr noundef) #2

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

declare i32 @ippsMod_BN(ptr noundef, ptr noundef, ptr noundef) #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden ptr @cpBN_copy(ptr noundef, ptr noundef) #1

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

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

declare void @cpMontMultiExpInitArray(ptr noundef, ptr noundef, i32 noundef, i32 noundef, ptr noundef) #2

declare void @cpFastMontMultiExp(ptr noundef, ptr noundef, ptr noundef, i32 noundef, i32 noundef, ptr noundef) #2

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

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

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 = { 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 #2 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
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 = !{!"_cpDLP", !11, i64 0, !11, i64 4, !11, i64 8, !11, i64 12, !11, 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, !6, i64 88, !6, i64 96, !6, i64 104}
!11 = !{!"int", !7, i64 0}
!12 = !{!10, !11, i64 4}
!13 = !{!14, !11, i64 0}
!14 = !{!"_cpBigNum", !11, i64 0, !11, i64 4, !11, i64 8, !11, i64 12, !6, i64 16, !6, i64 24}
!15 = !{!14, !11, i64 4}
!16 = !{!14, !6, i64 16}
!17 = !{!14, !11, i64 8}
!18 = !{!10, !6, i64 40}
!19 = !{!20, !6, i64 48}
!20 = !{!"_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, !21, i64 56, !6, i64 64, !6, i64 72, !6, i64 80, !6, i64 88, !11, i64 96, !11, i64 100, !6, i64 104}
!21 = !{!"long long", !7, i64 0}
!22 = !{!10, !11, i64 12}
!23 = !{!11, !11, i64 0}
!24 = !{!10, !6, i64 88}
!25 = !{!10, !11, i64 8}
!26 = !{!10, !6, i64 48}
!27 = !{!10, !6, i64 64}
!28 = !{!21, !21, i64 0}
!29 = distinct !{!29, !30}
!30 = !{!"llvm.loop.mustprogress"}
!31 = distinct !{!31, !30}
!32 = !{!10, !6, i64 80}
!33 = !{!10, !6, i64 24}
!34 = distinct !{!34, !30}
!35 = distinct !{!35, !30}


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

; Function Attrs: nounwind uwtable
define dso_local range(i32 -1013, 1) i32 @ippsDLPVerifyDSA(ptr noundef %0, ptr noundef %1, ptr noundef %2, ptr noundef writeonly %3, ptr noundef %4) local_unnamed_addr #0 {
  %6 = alloca ptr, align 8
  %7 = alloca [2 x ptr], align 16
  %8 = alloca [2 x ptr], align 16
  %9 = icmp eq ptr %4, null
  %10 = icmp eq ptr %3, null
  %or.cond = or i1 %10, %9
  br i1 %or.cond, label %196, label %11

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

17:                                               ; preds = %11
  %18 = getelementptr inbounds i8, ptr %4, i64 4
  %19 = load i32, ptr %18, align 4, !tbaa !11
  %20 = icmp eq i32 %19, 7
  br i1 %20, label %21, label %196

21:                                               ; preds = %17
  %22 = icmp eq ptr %0, null
  br i1 %22, label %196, label %23

23:                                               ; preds = %21
  %24 = load i32, ptr %0, align 8, !tbaa !12
  %25 = tail call i64 @IPP_UINT_PTR(ptr noundef nonnull %0)
  %26 = trunc i64 %25 to i32
  %27 = xor i32 %24, %26
  %28 = icmp eq i32 %27, 1112098638
  br i1 %28, label %29, label %196

29:                                               ; preds = %23
  %30 = getelementptr inbounds i8, ptr %0, i64 4
  %31 = load i32, ptr %30, align 4, !tbaa !14
  %32 = icmp eq i32 %31, 0
  br i1 %32, label %196, label %33

33:                                               ; preds = %29
  %34 = icmp eq ptr %1, null
  %35 = icmp eq ptr %2, null
  %or.cond123 = or i1 %34, %35
  br i1 %or.cond123, label %196, label %36

36:                                               ; preds = %33
  %37 = load i32, ptr %1, align 8, !tbaa !12
  %38 = tail call i64 @IPP_UINT_PTR(ptr noundef nonnull %1)
  %39 = trunc i64 %38 to i32
  %40 = xor i32 %37, %39
  %41 = icmp eq i32 %40, 1112098638
  br i1 %41, label %42, label %196

42:                                               ; preds = %36
  %43 = load i32, ptr %2, align 8, !tbaa !12
  %44 = tail call i64 @IPP_UINT_PTR(ptr noundef nonnull %2)
  %45 = trunc i64 %44 to i32
  %46 = xor i32 %43, %45
  %47 = icmp eq i32 %46, 1112098638
  br i1 %47, label %48, label %196

48:                                               ; preds = %42
  %49 = tail call ptr @cpBN_OneRef() #6
  %50 = tail call i32 @cpBN_cmp(ptr noundef %49, ptr noundef nonnull %1)
  %51 = icmp sgt i32 %50, 0
  br i1 %51, label %67, label %52

52:                                               ; preds = %48
  %53 = getelementptr inbounds i8, ptr %1, i64 16
  %54 = load ptr, ptr %53, align 8, !tbaa !15
  %55 = getelementptr inbounds i8, ptr %1, i64 8
  %56 = load i32, ptr %55, align 8, !tbaa !16
  %57 = getelementptr inbounds i8, ptr %4, i64 40
  %58 = load ptr, ptr %57, align 8, !tbaa !17
  %59 = getelementptr inbounds i8, ptr %58, i64 48
  %60 = load ptr, ptr %59, align 8, !tbaa !18
  %61 = getelementptr inbounds i8, ptr %4, i64 12
  %62 = load i32, ptr %61, align 4, !tbaa !21
  %63 = add nsw i32 %62, 63
  %64 = sdiv i32 %63, 64
  %65 = tail call i32 @cpCmp_BNU(ptr noundef %54, i32 noundef %56, ptr noundef %60, i32 noundef %64)
  %66 = icmp sgt i32 %65, -1
  br i1 %66, label %67, label %68

67:                                               ; preds = %52, %48
  store i32 12, ptr %3, align 4, !tbaa !22
  br label %196

68:                                               ; preds = %52
  %69 = tail call ptr @cpBN_OneRef() #6
  %70 = tail call i32 @cpBN_cmp(ptr noundef %69, ptr noundef nonnull %2)
  %71 = icmp sgt i32 %70, 0
  br i1 %71, label %85, label %72

72:                                               ; preds = %68
  %73 = getelementptr inbounds i8, ptr %2, i64 16
  %74 = load ptr, ptr %73, align 8, !tbaa !15
  %75 = getelementptr inbounds i8, ptr %2, i64 8
  %76 = load i32, ptr %75, align 8, !tbaa !16
  %77 = load ptr, ptr %57, align 8, !tbaa !17
  %78 = getelementptr inbounds i8, ptr %77, i64 48
  %79 = load ptr, ptr %78, align 8, !tbaa !18
  %80 = load i32, ptr %61, align 4, !tbaa !21
  %81 = add nsw i32 %80, 63
  %82 = sdiv i32 %81, 64
  %83 = tail call i32 @cpCmp_BNU(ptr noundef %74, i32 noundef %76, ptr noundef %79, i32 noundef %82)
  %84 = icmp sgt i32 %83, -1
  br i1 %84, label %85, label %86

85:                                               ; preds = %72, %68
  store i32 12, ptr %3, align 4, !tbaa !22
  br label %196

86:                                               ; preds = %72
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %6) #6
  %87 = getelementptr inbounds i8, ptr %4, i64 88
  %88 = load ptr, ptr %87, align 8, !tbaa !23
  store ptr %88, ptr %6, align 8, !tbaa !24
  %89 = call ptr @cpBigNumListGet(ptr noundef nonnull %6) #6
  %90 = call ptr @cpBigNumListGet(ptr noundef nonnull %6) #6
  %91 = call ptr @cpBigNumListGet(ptr noundef nonnull %6) #6
  %92 = call ptr @cpBigNumListGet(ptr noundef nonnull %6) #6
  %93 = load i32, ptr %61, align 4, !tbaa !21
  %94 = add nsw i32 %93, 31
  %95 = ashr i32 %94, 5
  %96 = load ptr, ptr %57, align 8, !tbaa !17
  %97 = getelementptr inbounds i8, ptr %96, i64 48
  %98 = load ptr, ptr %97, align 8, !tbaa !18
  %99 = call i32 @ippsSet_BN(i32 noundef 1, i32 noundef %95, ptr noundef %98, ptr noundef %92) #6
  %100 = call i32 @ippsModInv_BN(ptr noundef nonnull %2, ptr noundef %92, ptr noundef %89) #6
  %101 = load ptr, ptr %57, align 8, !tbaa !17
  call void @cpMontEnc_BN(ptr noundef %89, ptr noundef %89, ptr noundef %101)
  %102 = call i32 @cpBN_cmp(ptr noundef nonnull %0, ptr noundef %92)
  %103 = icmp sgt i32 %102, 0
  br i1 %103, label %104, label %106

104:                                              ; preds = %86
  %105 = call i32 @ippsMod_BN(ptr noundef nonnull %0, ptr noundef %92, ptr noundef %90) #6
  br label %108

106:                                              ; preds = %86
  %107 = call ptr @cpBN_copy(ptr noundef %90, ptr noundef nonnull %0)
  br label %108

108:                                              ; preds = %106, %104
  %109 = load ptr, ptr %57, align 8, !tbaa !17
  call void @cpMontMul_BN(ptr noundef %90, ptr noundef %89, ptr noundef %90, ptr noundef %109)
  %110 = load ptr, ptr %57, align 8, !tbaa !17
  call void @cpMontMul_BN(ptr noundef %91, ptr noundef nonnull %1, ptr noundef %89, ptr noundef %110)
  %111 = getelementptr inbounds i8, ptr %4, i64 8
  %112 = load i32, ptr %111, align 8, !tbaa !25
  %113 = add nsw i32 %112, 63
  %114 = sdiv i32 %113, 64
  %115 = getelementptr inbounds i8, ptr %4, i64 48
  %116 = load ptr, ptr %115, align 8, !tbaa !26
  %117 = getelementptr inbounds i8, ptr %116, i64 16
  %118 = load ptr, ptr %117, align 8, !tbaa !15
  %119 = getelementptr inbounds i8, ptr %4, i64 64
  %120 = load ptr, ptr %119, align 8, !tbaa !27
  %121 = getelementptr inbounds i8, ptr %120, i64 16
  %122 = load ptr, ptr %121, align 8, !tbaa !15
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %7) #6
  store ptr %118, ptr %7, align 16, !tbaa !24
  %123 = getelementptr inbounds i8, ptr %7, i64 8
  store ptr %122, ptr %123, align 8, !tbaa !24
  %124 = getelementptr inbounds i8, ptr %116, i64 8
  %125 = load i32, ptr %124, align 8, !tbaa !16
  %126 = icmp slt i32 %125, %114
  br i1 %126, label %.lr.ph.preheader, label %._crit_edge

.lr.ph.preheader:                                 ; preds = %108
  %127 = sext i32 %125 to i64
  %128 = shl nsw i64 %127, 3
  %scevgep = getelementptr i8, ptr %118, i64 %128
  %129 = xor i32 %125, -1
  %130 = add i32 %114, %129
  %131 = zext i32 %130 to i64
  %132 = shl nuw nsw i64 %131, 3
  %133 = add nuw nsw i64 %132, 8
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(1) %scevgep, i8 0, i64 %133, i1 false), !tbaa !28
  br label %._crit_edge

._crit_edge:                                      ; preds = %.lr.ph.preheader, %108
  %134 = getelementptr inbounds i8, ptr %120, i64 8
  %135 = load i32, ptr %134, align 8, !tbaa !16
  %136 = icmp slt i32 %135, %114
  br i1 %136, label %.lr.ph127.preheader, label %._crit_edge128

.lr.ph127.preheader:                              ; preds = %._crit_edge
  %137 = sext i32 %135 to i64
  %138 = shl nsw i64 %137, 3
  %scevgep136 = getelementptr i8, ptr %122, i64 %138
  %139 = xor i32 %135, -1
  %140 = add i32 %114, %139
  %141 = zext i32 %140 to i64
  %142 = shl nuw nsw i64 %141, 3
  %143 = add nuw nsw i64 %142, 8
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(1) %scevgep136, i8 0, i64 %143, i1 false), !tbaa !28
  br label %._crit_edge128

._crit_edge128:                                   ; preds = %.lr.ph127.preheader, %._crit_edge
  %144 = getelementptr inbounds i8, ptr %4, i64 80
  %145 = load ptr, ptr %144, align 8, !tbaa !29
  %146 = shl nsw i32 %114, 6
  %147 = getelementptr inbounds i8, ptr %4, i64 24
  %148 = load ptr, ptr %147, align 8, !tbaa !30
  call void @cpMontMultiExpInitArray(ptr noundef %145, ptr noundef nonnull %7, i32 noundef %146, i32 noundef 2, ptr noundef %148) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %7) #6
  %149 = getelementptr inbounds i8, ptr %90, i64 8
  %150 = load i32, ptr %149, align 8, !tbaa !16
  %151 = getelementptr inbounds i8, ptr %91, i64 8
  %152 = load i32, ptr %151, align 8, !tbaa !16
  %153 = call i32 @llvm.smax.i32(i32 %150, i32 %152)
  %154 = getelementptr inbounds i8, ptr %90, i64 16
  %155 = load ptr, ptr %154, align 8, !tbaa !15
  %156 = getelementptr inbounds i8, ptr %91, i64 16
  %157 = load ptr, ptr %156, align 8, !tbaa !15
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %8) #6
  store ptr %155, ptr %8, align 16, !tbaa !24
  %158 = getelementptr inbounds i8, ptr %8, i64 8
  store ptr %157, ptr %158, align 8, !tbaa !24
  %159 = icmp sgt i32 %152, %150
  br i1 %159, label %.lr.ph131.preheader, label %.preheader

.lr.ph131.preheader:                              ; preds = %._crit_edge128
  %160 = sext i32 %150 to i64
  %161 = shl nsw i64 %160, 3
  %scevgep138 = getelementptr i8, ptr %155, i64 %161
  %162 = xor i32 %150, -1
  %163 = add i32 %153, %162
  %164 = zext i32 %163 to i64
  %165 = shl nuw nsw i64 %164, 3
  %166 = add nuw nsw i64 %165, 8
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(1) %scevgep138, i8 0, i64 %166, i1 false), !tbaa !28
  br label %.preheader

.preheader:                                       ; preds = %.lr.ph131.preheader, %._crit_edge128
  %167 = icmp sgt i32 %150, %152
  br i1 %167, label %.lr.ph133.preheader, label %._crit_edge134

.lr.ph133.preheader:                              ; preds = %.preheader
  %168 = sext i32 %152 to i64
  %169 = shl nsw i64 %168, 3
  %scevgep140 = getelementptr i8, ptr %157, i64 %169
  %170 = xor i32 %152, -1
  %171 = add i32 %153, %170
  %172 = zext i32 %171 to i64
  %173 = shl nuw nsw i64 %172, 3
  %174 = add nuw nsw i64 %173, 8
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(1) %scevgep140, i8 0, i64 %174, i1 false), !tbaa !28
  br label %._crit_edge134

._crit_edge134:                                   ; preds = %.lr.ph133.preheader, %.preheader
  %175 = getelementptr inbounds i8, ptr %89, i64 16
  %176 = load ptr, ptr %175, align 8, !tbaa !15
  %177 = load ptr, ptr %144, align 8, !tbaa !29
  %178 = shl nsw i32 %153, 6
  %179 = load ptr, ptr %147, align 8, !tbaa !30
  call void @cpFastMontMultiExp(ptr noundef %176, ptr noundef %177, ptr noundef nonnull %8, i32 noundef %178, i32 noundef 2, ptr noundef %179) #6
  %180 = load i32, ptr %111, align 8, !tbaa !25
  %181 = add nsw i32 %180, 63
  %182 = sdiv i32 %181, 64
  %183 = getelementptr inbounds i8, ptr %89, i64 8
  store i32 %182, ptr %183, align 8, !tbaa !16
  %184 = getelementptr inbounds i8, ptr %89, i64 4
  store i32 1, ptr %184, align 4, !tbaa !14
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %8) #6
  %185 = load ptr, ptr %147, align 8, !tbaa !30
  call void @cpMontDec_BN(ptr noundef %89, ptr noundef %89, ptr noundef %185)
  %186 = load ptr, ptr %175, align 8, !tbaa !15
  %187 = load i32, ptr %183, align 8, !tbaa !16
  %188 = getelementptr inbounds i8, ptr %92, i64 16
  %189 = load ptr, ptr %188, align 8, !tbaa !15
  %190 = getelementptr inbounds i8, ptr %92, i64 8
  %191 = load i32, ptr %190, align 8, !tbaa !16
  %192 = call i32 @cpMod_BNU(ptr noundef %186, i32 noundef %187, ptr noundef %189, i32 noundef %191)
  store i32 %192, ptr %183, align 8, !tbaa !16
  %193 = call i32 @cpBN_cmp(ptr noundef %89, ptr noundef nonnull %1)
  %194 = icmp eq i32 %193, 0
  %195 = select i1 %194, i32 0, i32 12
  store i32 %195, ptr %3, align 4, !tbaa !22
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %6) #6
  br label %196

196:                                              ; preds = %42, %36, %33, %29, %23, %21, %17, %11, %5, %._crit_edge134, %85, %67
  %.0113 = phi i32 [ 0, %67 ], [ 0, %85 ], [ 0, %._crit_edge134 ], [ -8, %5 ], [ -13, %11 ], [ -1013, %17 ], [ -8, %21 ], [ -13, %23 ], [ -1010, %29 ], [ -8, %33 ], [ -13, %36 ], [ -13, %42 ]
  ret i32 %.0113
}

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

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

declare ptr @cpBN_OneRef() 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 #1

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

declare ptr @cpBigNumListGet(ptr noundef) local_unnamed_addr #2

declare i32 @ippsSet_BN(i32 noundef, i32 noundef, ptr noundef, ptr noundef) local_unnamed_addr #2

declare i32 @ippsModInv_BN(ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #2

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

declare i32 @ippsMod_BN(ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden ptr @cpBN_copy(ptr noundef, ptr noundef) local_unnamed_addr #1

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

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

declare void @cpMontMultiExpInitArray(ptr noundef, ptr noundef, i32 noundef, i32 noundef, ptr noundef) local_unnamed_addr #2

declare void @cpFastMontMultiExp(ptr noundef, ptr noundef, ptr noundef, i32 noundef, i32 noundef, ptr noundef) local_unnamed_addr #2

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

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

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

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

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 = { 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 #2 = { "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 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #4 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #5 = { nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #6 = { 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 = !{!"_cpDLP", !7, i64 0, !7, i64 4, !7, i64 8, !7, i64 12, !7, 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, !10, i64 88, !10, i64 96, !10, i64 104}
!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 4}
!12 = !{!13, !7, i64 0}
!13 = !{!"_cpBigNum", !7, i64 0, !7, i64 4, !7, i64 8, !7, i64 12, !10, i64 16, !10, i64 24}
!14 = !{!13, !7, i64 4}
!15 = !{!13, !10, i64 16}
!16 = !{!13, !7, i64 8}
!17 = !{!6, !10, i64 40}
!18 = !{!19, !10, i64 48}
!19 = !{!"_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, !20, i64 56, !10, i64 64, !10, i64 72, !10, i64 80, !10, i64 88, !7, i64 96, !7, i64 100, !10, i64 104}
!20 = !{!"long long", !8, i64 0}
!21 = !{!6, !7, i64 12}
!22 = !{!7, !7, i64 0}
!23 = !{!6, !10, i64 88}
!24 = !{!10, !10, i64 0}
!25 = !{!6, !7, i64 8}
!26 = !{!6, !10, i64 48}
!27 = !{!6, !10, i64 64}
!28 = !{!20, !20, i64 0}
!29 = !{!6, !10, i64 80}
!30 = !{!6, !10, i64 24}


; Effective O3 passes: EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferFunctionAttrsPass,InstCombinePass,LoopIdiomRecognizePass,LoopRotatePass,LoopSimplifyPass,PostOrderFunctionAttrsPass,ReassociatePass,SCCPPass,SROAPass,SimplifyCFGPass,TailCallElimPass