; LLVM IR from openssl/openssl :: crypto/ec (ecp_nistp256)

; 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.ec_group_st = type { ptr, ptr, ptr, ptr, i32, i32, i32, i32, ptr, i64, ptr, [6 x i32], ptr, ptr, i32, ptr, ptr, ptr, ptr, i32, %union.anon, ptr, ptr }
%union.anon = type { ptr }
%struct.nistp256_pre_comp_st = type { [2 x [16 x [3 x [4 x i64]]]], %struct.CRYPTO_REF_COUNT }
%struct.CRYPTO_REF_COUNT = type { i32 }
%struct.ec_point_st = type { ptr, i32, ptr, ptr, ptr, i32 }

@nistp256_curve_params = external hidden constant [5 x [32 x i8]], align 16
@gmul = external hidden constant [2 x [16 x [3 x [4 x i64]]]], align 16

; Function Attrs: nounwind uwtable
define dso_local i32 @ossl_ec_GFp_nistp256_precompute_mult(ptr noundef %0, ptr noundef %1) #0 {
  %3 = alloca i32, align 4
  %4 = alloca ptr, align 8
  %5 = alloca ptr, align 8
  %6 = alloca i32, align 4
  %7 = alloca ptr, align 8
  %8 = alloca i32, align 4
  %9 = alloca i32, align 4
  %10 = alloca ptr, align 8
  %11 = alloca ptr, align 8
  %12 = alloca ptr, align 8
  %13 = alloca [32 x [4 x i64]], align 16
  %14 = alloca [4 x i128], align 16
  %15 = alloca [4 x i128], align 16
  %16 = alloca [4 x i128], align 16
  %17 = alloca ptr, align 8
  %18 = alloca i32, align 4
  store ptr %0, ptr %4, align 8, !tbaa !5
  store ptr %1, ptr %5, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #5
  store i32 0, ptr %6, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %7) #5
  store ptr null, ptr %7, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #5
  store ptr null, ptr %12, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 1024, ptr %13) #5
  call void @llvm.lifetime.start.p0(i64 64, ptr %14) #5
  call void @llvm.lifetime.start.p0(i64 64, ptr %15) #5
  call void @llvm.lifetime.start.p0(i64 64, ptr %16) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #5
  store ptr null, ptr %17, align 8, !tbaa !5
  %19 = load ptr, ptr %4, align 8, !tbaa !5
  call void @EC_pre_comp_free(ptr noundef %19)
  %20 = load ptr, ptr %5, align 8, !tbaa !5
  %21 = icmp eq ptr %20, null
  br i1 %21, label %22, label %24

22:                                               ; preds = %2
  %23 = call ptr @BN_CTX_new()
  store ptr %23, ptr %17, align 8, !tbaa !5
  store ptr %23, ptr %5, align 8, !tbaa !5
  br label %24

24:                                               ; preds = %22, %2
  %25 = load ptr, ptr %5, align 8, !tbaa !5
  %26 = icmp eq ptr %25, null
  br i1 %26, label %27, label %28

27:                                               ; preds = %24
  store i32 0, ptr %3, align 4
  store i32 1, ptr %18, align 4
  br label %779

28:                                               ; preds = %24
  %29 = load ptr, ptr %5, align 8, !tbaa !5
  call void @BN_CTX_start(ptr noundef %29)
  %30 = load ptr, ptr %5, align 8, !tbaa !5
  %31 = call ptr @BN_CTX_get(ptr noundef %30)
  store ptr %31, ptr %10, align 8, !tbaa !5
  %32 = load ptr, ptr %5, align 8, !tbaa !5
  %33 = call ptr @BN_CTX_get(ptr noundef %32)
  store ptr %33, ptr %11, align 8, !tbaa !5
  %34 = load ptr, ptr %11, align 8, !tbaa !5
  %35 = icmp eq ptr %34, null
  br i1 %35, label %36, label %37

36:                                               ; preds = %28
  br label %773

37:                                               ; preds = %28
  %38 = load ptr, ptr %4, align 8, !tbaa !5
  %39 = getelementptr inbounds %struct.ec_group_st, ptr %38, i32 0, i32 1
  %40 = load ptr, ptr %39, align 8, !tbaa !11
  %41 = icmp eq ptr %40, null
  br i1 %41, label %42, label %43

42:                                               ; preds = %37
  br label %773

43:                                               ; preds = %37
  %44 = load ptr, ptr %4, align 8, !tbaa !5
  %45 = call ptr @EC_POINT_new(ptr noundef %44)
  store ptr %45, ptr %12, align 8, !tbaa !5
  %46 = load ptr, ptr %12, align 8, !tbaa !5
  %47 = icmp eq ptr %46, null
  br i1 %47, label %48, label %49

48:                                               ; preds = %43
  br label %773

49:                                               ; preds = %43
  %50 = load ptr, ptr %10, align 8, !tbaa !5
  %51 = call ptr @BN_bin2bn(ptr noundef getelementptr inbounds ([5 x [32 x i8]], ptr @nistp256_curve_params, i64 0, i64 3), i32 noundef 32, ptr noundef %50)
  %52 = load ptr, ptr %11, align 8, !tbaa !5
  %53 = call ptr @BN_bin2bn(ptr noundef getelementptr inbounds ([5 x [32 x i8]], ptr @nistp256_curve_params, i64 0, i64 4), i32 noundef 32, ptr noundef %52)
  %54 = load ptr, ptr %4, align 8, !tbaa !5
  %55 = load ptr, ptr %12, align 8, !tbaa !5
  %56 = load ptr, ptr %10, align 8, !tbaa !5
  %57 = load ptr, ptr %11, align 8, !tbaa !5
  %58 = load ptr, ptr %5, align 8, !tbaa !5
  %59 = call i32 @EC_POINT_set_affine_coordinates(ptr noundef %54, ptr noundef %55, ptr noundef %56, ptr noundef %57, ptr noundef %58)
  %60 = icmp ne i32 %59, 0
  br i1 %60, label %62, label %61

61:                                               ; preds = %49
  br label %773

62:                                               ; preds = %49
  %63 = call ptr @nistp256_pre_comp_new()
  store ptr %63, ptr %7, align 8, !tbaa !5
  %64 = icmp eq ptr %63, null
  br i1 %64, label %65, label %66

65:                                               ; preds = %62
  br label %773

66:                                               ; preds = %62
  %67 = load ptr, ptr %4, align 8, !tbaa !5
  %68 = load ptr, ptr %12, align 8, !tbaa !5
  %69 = load ptr, ptr %4, align 8, !tbaa !5
  %70 = getelementptr inbounds %struct.ec_group_st, ptr %69, i32 0, i32 1
  %71 = load ptr, ptr %70, align 8, !tbaa !11
  %72 = load ptr, ptr %5, align 8, !tbaa !5
  %73 = call i32 @EC_POINT_cmp(ptr noundef %67, ptr noundef %68, ptr noundef %71, ptr noundef %72)
  %74 = icmp eq i32 0, %73
  br i1 %74, label %75, label %79

75:                                               ; preds = %66
  %76 = load ptr, ptr %7, align 8, !tbaa !5
  %77 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %76, i32 0, i32 0
  %78 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %77, i64 0, i64 0
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %78, ptr align 16 @gmul, i64 3072, i1 false)
  br label %767

79:                                               ; preds = %66
  %80 = getelementptr inbounds [4 x i128], ptr %14, i64 0, i64 0
  %81 = load ptr, ptr %4, align 8, !tbaa !5
  %82 = getelementptr inbounds %struct.ec_group_st, ptr %81, i32 0, i32 1
  %83 = load ptr, ptr %82, align 8, !tbaa !11
  %84 = getelementptr inbounds %struct.ec_point_st, ptr %83, i32 0, i32 2
  %85 = load ptr, ptr %84, align 8, !tbaa !14
  %86 = call i32 @BN_to_felem(ptr noundef %80, ptr noundef %85)
  %87 = icmp ne i32 %86, 0
  br i1 %87, label %88, label %106

88:                                               ; preds = %79
  %89 = getelementptr inbounds [4 x i128], ptr %15, i64 0, i64 0
  %90 = load ptr, ptr %4, align 8, !tbaa !5
  %91 = getelementptr inbounds %struct.ec_group_st, ptr %90, i32 0, i32 1
  %92 = load ptr, ptr %91, align 8, !tbaa !11
  %93 = getelementptr inbounds %struct.ec_point_st, ptr %92, i32 0, i32 3
  %94 = load ptr, ptr %93, align 8, !tbaa !16
  %95 = call i32 @BN_to_felem(ptr noundef %89, ptr noundef %94)
  %96 = icmp ne i32 %95, 0
  br i1 %96, label %97, label %106

97:                                               ; preds = %88
  %98 = getelementptr inbounds [4 x i128], ptr %16, i64 0, i64 0
  %99 = load ptr, ptr %4, align 8, !tbaa !5
  %100 = getelementptr inbounds %struct.ec_group_st, ptr %99, i32 0, i32 1
  %101 = load ptr, ptr %100, align 8, !tbaa !11
  %102 = getelementptr inbounds %struct.ec_point_st, ptr %101, i32 0, i32 4
  %103 = load ptr, ptr %102, align 8, !tbaa !17
  %104 = call i32 @BN_to_felem(ptr noundef %98, ptr noundef %103)
  %105 = icmp ne i32 %104, 0
  br i1 %105, label %107, label %106

106:                                              ; preds = %97, %88, %79
  br label %773

107:                                              ; preds = %97
  %108 = load ptr, ptr %7, align 8, !tbaa !5
  %109 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %108, i32 0, i32 0
  %110 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %109, i64 0, i64 0
  %111 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %110, i64 0, i64 1
  %112 = getelementptr inbounds [3 x [4 x i64]], ptr %111, i64 0, i64 0
  %113 = getelementptr inbounds [4 x i64], ptr %112, i64 0, i64 0
  %114 = getelementptr inbounds [4 x i128], ptr %14, i64 0, i64 0
  call void @felem_shrink(ptr noundef %113, ptr noundef %114)
  %115 = load ptr, ptr %7, align 8, !tbaa !5
  %116 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %115, i32 0, i32 0
  %117 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %116, i64 0, i64 0
  %118 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %117, i64 0, i64 1
  %119 = getelementptr inbounds [3 x [4 x i64]], ptr %118, i64 0, i64 1
  %120 = getelementptr inbounds [4 x i64], ptr %119, i64 0, i64 0
  %121 = getelementptr inbounds [4 x i128], ptr %15, i64 0, i64 0
  call void @felem_shrink(ptr noundef %120, ptr noundef %121)
  %122 = load ptr, ptr %7, align 8, !tbaa !5
  %123 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %122, i32 0, i32 0
  %124 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %123, i64 0, i64 0
  %125 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %124, i64 0, i64 1
  %126 = getelementptr inbounds [3 x [4 x i64]], ptr %125, i64 0, i64 2
  %127 = getelementptr inbounds [4 x i64], ptr %126, i64 0, i64 0
  %128 = getelementptr inbounds [4 x i128], ptr %16, i64 0, i64 0
  call void @felem_shrink(ptr noundef %127, ptr noundef %128)
  store i32 1, ptr %8, align 4, !tbaa !9
  br label %129

129:                                              ; preds = %354, %107
  %130 = load i32, ptr %8, align 4, !tbaa !9
  %131 = icmp sle i32 %130, 8
  br i1 %131, label %132, label %357

132:                                              ; preds = %129
  %133 = load ptr, ptr %7, align 8, !tbaa !5
  %134 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %133, i32 0, i32 0
  %135 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %134, i64 0, i64 1
  %136 = load i32, ptr %8, align 4, !tbaa !9
  %137 = sext i32 %136 to i64
  %138 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %135, i64 0, i64 %137
  %139 = getelementptr inbounds [3 x [4 x i64]], ptr %138, i64 0, i64 0
  %140 = getelementptr inbounds [4 x i64], ptr %139, i64 0, i64 0
  %141 = load ptr, ptr %7, align 8, !tbaa !5
  %142 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %141, i32 0, i32 0
  %143 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %142, i64 0, i64 1
  %144 = load i32, ptr %8, align 4, !tbaa !9
  %145 = sext i32 %144 to i64
  %146 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %143, i64 0, i64 %145
  %147 = getelementptr inbounds [3 x [4 x i64]], ptr %146, i64 0, i64 1
  %148 = getelementptr inbounds [4 x i64], ptr %147, i64 0, i64 0
  %149 = load ptr, ptr %7, align 8, !tbaa !5
  %150 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %149, i32 0, i32 0
  %151 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %150, i64 0, i64 1
  %152 = load i32, ptr %8, align 4, !tbaa !9
  %153 = sext i32 %152 to i64
  %154 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %151, i64 0, i64 %153
  %155 = getelementptr inbounds [3 x [4 x i64]], ptr %154, i64 0, i64 2
  %156 = getelementptr inbounds [4 x i64], ptr %155, i64 0, i64 0
  %157 = load ptr, ptr %7, align 8, !tbaa !5
  %158 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %157, i32 0, i32 0
  %159 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %158, i64 0, i64 0
  %160 = load i32, ptr %8, align 4, !tbaa !9
  %161 = sext i32 %160 to i64
  %162 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %159, i64 0, i64 %161
  %163 = getelementptr inbounds [3 x [4 x i64]], ptr %162, i64 0, i64 0
  %164 = getelementptr inbounds [4 x i64], ptr %163, i64 0, i64 0
  %165 = load ptr, ptr %7, align 8, !tbaa !5
  %166 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %165, i32 0, i32 0
  %167 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %166, i64 0, i64 0
  %168 = load i32, ptr %8, align 4, !tbaa !9
  %169 = sext i32 %168 to i64
  %170 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %167, i64 0, i64 %169
  %171 = getelementptr inbounds [3 x [4 x i64]], ptr %170, i64 0, i64 1
  %172 = getelementptr inbounds [4 x i64], ptr %171, i64 0, i64 0
  %173 = load ptr, ptr %7, align 8, !tbaa !5
  %174 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %173, i32 0, i32 0
  %175 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %174, i64 0, i64 0
  %176 = load i32, ptr %8, align 4, !tbaa !9
  %177 = sext i32 %176 to i64
  %178 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %175, i64 0, i64 %177
  %179 = getelementptr inbounds [3 x [4 x i64]], ptr %178, i64 0, i64 2
  %180 = getelementptr inbounds [4 x i64], ptr %179, i64 0, i64 0
  call void @point_double_small(ptr noundef %140, ptr noundef %148, ptr noundef %156, ptr noundef %164, ptr noundef %172, ptr noundef %180)
  store i32 0, ptr %9, align 4, !tbaa !9
  br label %181

181:                                              ; preds = %233, %132
  %182 = load i32, ptr %9, align 4, !tbaa !9
  %183 = icmp slt i32 %182, 31
  br i1 %183, label %184, label %236

184:                                              ; preds = %181
  %185 = load ptr, ptr %7, align 8, !tbaa !5
  %186 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %185, i32 0, i32 0
  %187 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %186, i64 0, i64 1
  %188 = load i32, ptr %8, align 4, !tbaa !9
  %189 = sext i32 %188 to i64
  %190 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %187, i64 0, i64 %189
  %191 = getelementptr inbounds [3 x [4 x i64]], ptr %190, i64 0, i64 0
  %192 = getelementptr inbounds [4 x i64], ptr %191, i64 0, i64 0
  %193 = load ptr, ptr %7, align 8, !tbaa !5
  %194 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %193, i32 0, i32 0
  %195 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %194, i64 0, i64 1
  %196 = load i32, ptr %8, align 4, !tbaa !9
  %197 = sext i32 %196 to i64
  %198 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %195, i64 0, i64 %197
  %199 = getelementptr inbounds [3 x [4 x i64]], ptr %198, i64 0, i64 1
  %200 = getelementptr inbounds [4 x i64], ptr %199, i64 0, i64 0
  %201 = load ptr, ptr %7, align 8, !tbaa !5
  %202 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %201, i32 0, i32 0
  %203 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %202, i64 0, i64 1
  %204 = load i32, ptr %8, align 4, !tbaa !9
  %205 = sext i32 %204 to i64
  %206 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %203, i64 0, i64 %205
  %207 = getelementptr inbounds [3 x [4 x i64]], ptr %206, i64 0, i64 2
  %208 = getelementptr inbounds [4 x i64], ptr %207, i64 0, i64 0
  %209 = load ptr, ptr %7, align 8, !tbaa !5
  %210 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %209, i32 0, i32 0
  %211 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %210, i64 0, i64 1
  %212 = load i32, ptr %8, align 4, !tbaa !9
  %213 = sext i32 %212 to i64
  %214 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %211, i64 0, i64 %213
  %215 = getelementptr inbounds [3 x [4 x i64]], ptr %214, i64 0, i64 0
  %216 = getelementptr inbounds [4 x i64], ptr %215, i64 0, i64 0
  %217 = load ptr, ptr %7, align 8, !tbaa !5
  %218 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %217, i32 0, i32 0
  %219 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %218, i64 0, i64 1
  %220 = load i32, ptr %8, align 4, !tbaa !9
  %221 = sext i32 %220 to i64
  %222 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %219, i64 0, i64 %221
  %223 = getelementptr inbounds [3 x [4 x i64]], ptr %222, i64 0, i64 1
  %224 = getelementptr inbounds [4 x i64], ptr %223, i64 0, i64 0
  %225 = load ptr, ptr %7, align 8, !tbaa !5
  %226 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %225, i32 0, i32 0
  %227 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %226, i64 0, i64 1
  %228 = load i32, ptr %8, align 4, !tbaa !9
  %229 = sext i32 %228 to i64
  %230 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %227, i64 0, i64 %229
  %231 = getelementptr inbounds [3 x [4 x i64]], ptr %230, i64 0, i64 2
  %232 = getelementptr inbounds [4 x i64], ptr %231, i64 0, i64 0
  call void @point_double_small(ptr noundef %192, ptr noundef %200, ptr noundef %208, ptr noundef %216, ptr noundef %224, ptr noundef %232)
  br label %233

233:                                              ; preds = %184
  %234 = load i32, ptr %9, align 4, !tbaa !9
  %235 = add nsw i32 %234, 1
  store i32 %235, ptr %9, align 4, !tbaa !9
  br label %181, !llvm.loop !18

236:                                              ; preds = %181
  %237 = load i32, ptr %8, align 4, !tbaa !9
  %238 = icmp eq i32 %237, 8
  br i1 %238, label %239, label %240

239:                                              ; preds = %236
  br label %357

240:                                              ; preds = %236
  %241 = load ptr, ptr %7, align 8, !tbaa !5
  %242 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %241, i32 0, i32 0
  %243 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %242, i64 0, i64 0
  %244 = load i32, ptr %8, align 4, !tbaa !9
  %245 = mul nsw i32 2, %244
  %246 = sext i32 %245 to i64
  %247 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %243, i64 0, i64 %246
  %248 = getelementptr inbounds [3 x [4 x i64]], ptr %247, i64 0, i64 0
  %249 = getelementptr inbounds [4 x i64], ptr %248, i64 0, i64 0
  %250 = load ptr, ptr %7, align 8, !tbaa !5
  %251 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %250, i32 0, i32 0
  %252 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %251, i64 0, i64 0
  %253 = load i32, ptr %8, align 4, !tbaa !9
  %254 = mul nsw i32 2, %253
  %255 = sext i32 %254 to i64
  %256 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %252, i64 0, i64 %255
  %257 = getelementptr inbounds [3 x [4 x i64]], ptr %256, i64 0, i64 1
  %258 = getelementptr inbounds [4 x i64], ptr %257, i64 0, i64 0
  %259 = load ptr, ptr %7, align 8, !tbaa !5
  %260 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %259, i32 0, i32 0
  %261 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %260, i64 0, i64 0
  %262 = load i32, ptr %8, align 4, !tbaa !9
  %263 = mul nsw i32 2, %262
  %264 = sext i32 %263 to i64
  %265 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %261, i64 0, i64 %264
  %266 = getelementptr inbounds [3 x [4 x i64]], ptr %265, i64 0, i64 2
  %267 = getelementptr inbounds [4 x i64], ptr %266, i64 0, i64 0
  %268 = load ptr, ptr %7, align 8, !tbaa !5
  %269 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %268, i32 0, i32 0
  %270 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %269, i64 0, i64 1
  %271 = load i32, ptr %8, align 4, !tbaa !9
  %272 = sext i32 %271 to i64
  %273 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %270, i64 0, i64 %272
  %274 = getelementptr inbounds [3 x [4 x i64]], ptr %273, i64 0, i64 0
  %275 = getelementptr inbounds [4 x i64], ptr %274, i64 0, i64 0
  %276 = load ptr, ptr %7, align 8, !tbaa !5
  %277 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %276, i32 0, i32 0
  %278 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %277, i64 0, i64 1
  %279 = load i32, ptr %8, align 4, !tbaa !9
  %280 = sext i32 %279 to i64
  %281 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %278, i64 0, i64 %280
  %282 = getelementptr inbounds [3 x [4 x i64]], ptr %281, i64 0, i64 1
  %283 = getelementptr inbounds [4 x i64], ptr %282, i64 0, i64 0
  %284 = load ptr, ptr %7, align 8, !tbaa !5
  %285 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %284, i32 0, i32 0
  %286 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %285, i64 0, i64 1
  %287 = load i32, ptr %8, align 4, !tbaa !9
  %288 = sext i32 %287 to i64
  %289 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %286, i64 0, i64 %288
  %290 = getelementptr inbounds [3 x [4 x i64]], ptr %289, i64 0, i64 2
  %291 = getelementptr inbounds [4 x i64], ptr %290, i64 0, i64 0
  call void @point_double_small(ptr noundef %249, ptr noundef %258, ptr noundef %267, ptr noundef %275, ptr noundef %283, ptr noundef %291)
  store i32 0, ptr %9, align 4, !tbaa !9
  br label %292

292:                                              ; preds = %350, %240
  %293 = load i32, ptr %9, align 4, !tbaa !9
  %294 = icmp slt i32 %293, 31
  br i1 %294, label %295, label %353

295:                                              ; preds = %292
  %296 = load ptr, ptr %7, align 8, !tbaa !5
  %297 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %296, i32 0, i32 0
  %298 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %297, i64 0, i64 0
  %299 = load i32, ptr %8, align 4, !tbaa !9
  %300 = mul nsw i32 2, %299
  %301 = sext i32 %300 to i64
  %302 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %298, i64 0, i64 %301
  %303 = getelementptr inbounds [3 x [4 x i64]], ptr %302, i64 0, i64 0
  %304 = getelementptr inbounds [4 x i64], ptr %303, i64 0, i64 0
  %305 = load ptr, ptr %7, align 8, !tbaa !5
  %306 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %305, i32 0, i32 0
  %307 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %306, i64 0, i64 0
  %308 = load i32, ptr %8, align 4, !tbaa !9
  %309 = mul nsw i32 2, %308
  %310 = sext i32 %309 to i64
  %311 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %307, i64 0, i64 %310
  %312 = getelementptr inbounds [3 x [4 x i64]], ptr %311, i64 0, i64 1
  %313 = getelementptr inbounds [4 x i64], ptr %312, i64 0, i64 0
  %314 = load ptr, ptr %7, align 8, !tbaa !5
  %315 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %314, i32 0, i32 0
  %316 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %315, i64 0, i64 0
  %317 = load i32, ptr %8, align 4, !tbaa !9
  %318 = mul nsw i32 2, %317
  %319 = sext i32 %318 to i64
  %320 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %316, i64 0, i64 %319
  %321 = getelementptr inbounds [3 x [4 x i64]], ptr %320, i64 0, i64 2
  %322 = getelementptr inbounds [4 x i64], ptr %321, i64 0, i64 0
  %323 = load ptr, ptr %7, align 8, !tbaa !5
  %324 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %323, i32 0, i32 0
  %325 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %324, i64 0, i64 0
  %326 = load i32, ptr %8, align 4, !tbaa !9
  %327 = mul nsw i32 2, %326
  %328 = sext i32 %327 to i64
  %329 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %325, i64 0, i64 %328
  %330 = getelementptr inbounds [3 x [4 x i64]], ptr %329, i64 0, i64 0
  %331 = getelementptr inbounds [4 x i64], ptr %330, i64 0, i64 0
  %332 = load ptr, ptr %7, align 8, !tbaa !5
  %333 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %332, i32 0, i32 0
  %334 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %333, i64 0, i64 0
  %335 = load i32, ptr %8, align 4, !tbaa !9
  %336 = mul nsw i32 2, %335
  %337 = sext i32 %336 to i64
  %338 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %334, i64 0, i64 %337
  %339 = getelementptr inbounds [3 x [4 x i64]], ptr %338, i64 0, i64 1
  %340 = getelementptr inbounds [4 x i64], ptr %339, i64 0, i64 0
  %341 = load ptr, ptr %7, align 8, !tbaa !5
  %342 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %341, i32 0, i32 0
  %343 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %342, i64 0, i64 0
  %344 = load i32, ptr %8, align 4, !tbaa !9
  %345 = mul nsw i32 2, %344
  %346 = sext i32 %345 to i64
  %347 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %343, i64 0, i64 %346
  %348 = getelementptr inbounds [3 x [4 x i64]], ptr %347, i64 0, i64 2
  %349 = getelementptr inbounds [4 x i64], ptr %348, i64 0, i64 0
  call void @point_double_small(ptr noundef %304, ptr noundef %313, ptr noundef %322, ptr noundef %331, ptr noundef %340, ptr noundef %349)
  br label %350

350:                                              ; preds = %295
  %351 = load i32, ptr %9, align 4, !tbaa !9
  %352 = add nsw i32 %351, 1
  store i32 %352, ptr %9, align 4, !tbaa !9
  br label %292, !llvm.loop !20

353:                                              ; preds = %292
  br label %354

354:                                              ; preds = %353
  %355 = load i32, ptr %8, align 4, !tbaa !9
  %356 = shl i32 %355, 1
  store i32 %356, ptr %8, align 4, !tbaa !9
  br label %129, !llvm.loop !21

357:                                              ; preds = %239, %129
  store i32 0, ptr %8, align 4, !tbaa !9
  br label %358

358:                                              ; preds = %758, %357
  %359 = load i32, ptr %8, align 4, !tbaa !9
  %360 = icmp slt i32 %359, 2
  br i1 %360, label %361, label %761

361:                                              ; preds = %358
  %362 = load ptr, ptr %7, align 8, !tbaa !5
  %363 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %362, i32 0, i32 0
  %364 = load i32, ptr %8, align 4, !tbaa !9
  %365 = sext i32 %364 to i64
  %366 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %363, i64 0, i64 %365
  %367 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %366, i64 0, i64 0
  %368 = getelementptr inbounds [3 x [4 x i64]], ptr %367, i64 0, i64 0
  call void @llvm.memset.p0.i64(ptr align 8 %368, i8 0, i64 96, i1 false)
  %369 = load ptr, ptr %7, align 8, !tbaa !5
  %370 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %369, i32 0, i32 0
  %371 = load i32, ptr %8, align 4, !tbaa !9
  %372 = sext i32 %371 to i64
  %373 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %370, i64 0, i64 %372
  %374 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %373, i64 0, i64 6
  %375 = getelementptr inbounds [3 x [4 x i64]], ptr %374, i64 0, i64 0
  %376 = getelementptr inbounds [4 x i64], ptr %375, i64 0, i64 0
  %377 = load ptr, ptr %7, align 8, !tbaa !5
  %378 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %377, i32 0, i32 0
  %379 = load i32, ptr %8, align 4, !tbaa !9
  %380 = sext i32 %379 to i64
  %381 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %378, i64 0, i64 %380
  %382 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %381, i64 0, i64 6
  %383 = getelementptr inbounds [3 x [4 x i64]], ptr %382, i64 0, i64 1
  %384 = getelementptr inbounds [4 x i64], ptr %383, i64 0, i64 0
  %385 = load ptr, ptr %7, align 8, !tbaa !5
  %386 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %385, i32 0, i32 0
  %387 = load i32, ptr %8, align 4, !tbaa !9
  %388 = sext i32 %387 to i64
  %389 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %386, i64 0, i64 %388
  %390 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %389, i64 0, i64 6
  %391 = getelementptr inbounds [3 x [4 x i64]], ptr %390, i64 0, i64 2
  %392 = getelementptr inbounds [4 x i64], ptr %391, i64 0, i64 0
  %393 = load ptr, ptr %7, align 8, !tbaa !5
  %394 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %393, i32 0, i32 0
  %395 = load i32, ptr %8, align 4, !tbaa !9
  %396 = sext i32 %395 to i64
  %397 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %394, i64 0, i64 %396
  %398 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %397, i64 0, i64 4
  %399 = getelementptr inbounds [3 x [4 x i64]], ptr %398, i64 0, i64 0
  %400 = getelementptr inbounds [4 x i64], ptr %399, i64 0, i64 0
  %401 = load ptr, ptr %7, align 8, !tbaa !5
  %402 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %401, i32 0, i32 0
  %403 = load i32, ptr %8, align 4, !tbaa !9
  %404 = sext i32 %403 to i64
  %405 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %402, i64 0, i64 %404
  %406 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %405, i64 0, i64 4
  %407 = getelementptr inbounds [3 x [4 x i64]], ptr %406, i64 0, i64 1
  %408 = getelementptr inbounds [4 x i64], ptr %407, i64 0, i64 0
  %409 = load ptr, ptr %7, align 8, !tbaa !5
  %410 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %409, i32 0, i32 0
  %411 = load i32, ptr %8, align 4, !tbaa !9
  %412 = sext i32 %411 to i64
  %413 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %410, i64 0, i64 %412
  %414 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %413, i64 0, i64 4
  %415 = getelementptr inbounds [3 x [4 x i64]], ptr %414, i64 0, i64 2
  %416 = getelementptr inbounds [4 x i64], ptr %415, i64 0, i64 0
  %417 = load ptr, ptr %7, align 8, !tbaa !5
  %418 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %417, i32 0, i32 0
  %419 = load i32, ptr %8, align 4, !tbaa !9
  %420 = sext i32 %419 to i64
  %421 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %418, i64 0, i64 %420
  %422 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %421, i64 0, i64 2
  %423 = getelementptr inbounds [3 x [4 x i64]], ptr %422, i64 0, i64 0
  %424 = getelementptr inbounds [4 x i64], ptr %423, i64 0, i64 0
  %425 = load ptr, ptr %7, align 8, !tbaa !5
  %426 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %425, i32 0, i32 0
  %427 = load i32, ptr %8, align 4, !tbaa !9
  %428 = sext i32 %427 to i64
  %429 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %426, i64 0, i64 %428
  %430 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %429, i64 0, i64 2
  %431 = getelementptr inbounds [3 x [4 x i64]], ptr %430, i64 0, i64 1
  %432 = getelementptr inbounds [4 x i64], ptr %431, i64 0, i64 0
  %433 = load ptr, ptr %7, align 8, !tbaa !5
  %434 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %433, i32 0, i32 0
  %435 = load i32, ptr %8, align 4, !tbaa !9
  %436 = sext i32 %435 to i64
  %437 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %434, i64 0, i64 %436
  %438 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %437, i64 0, i64 2
  %439 = getelementptr inbounds [3 x [4 x i64]], ptr %438, i64 0, i64 2
  %440 = getelementptr inbounds [4 x i64], ptr %439, i64 0, i64 0
  call void @point_add_small(ptr noundef %376, ptr noundef %384, ptr noundef %392, ptr noundef %400, ptr noundef %408, ptr noundef %416, ptr noundef %424, ptr noundef %432, ptr noundef %440)
  %441 = load ptr, ptr %7, align 8, !tbaa !5
  %442 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %441, i32 0, i32 0
  %443 = load i32, ptr %8, align 4, !tbaa !9
  %444 = sext i32 %443 to i64
  %445 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %442, i64 0, i64 %444
  %446 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %445, i64 0, i64 10
  %447 = getelementptr inbounds [3 x [4 x i64]], ptr %446, i64 0, i64 0
  %448 = getelementptr inbounds [4 x i64], ptr %447, i64 0, i64 0
  %449 = load ptr, ptr %7, align 8, !tbaa !5
  %450 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %449, i32 0, i32 0
  %451 = load i32, ptr %8, align 4, !tbaa !9
  %452 = sext i32 %451 to i64
  %453 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %450, i64 0, i64 %452
  %454 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %453, i64 0, i64 10
  %455 = getelementptr inbounds [3 x [4 x i64]], ptr %454, i64 0, i64 1
  %456 = getelementptr inbounds [4 x i64], ptr %455, i64 0, i64 0
  %457 = load ptr, ptr %7, align 8, !tbaa !5
  %458 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %457, i32 0, i32 0
  %459 = load i32, ptr %8, align 4, !tbaa !9
  %460 = sext i32 %459 to i64
  %461 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %458, i64 0, i64 %460
  %462 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %461, i64 0, i64 10
  %463 = getelementptr inbounds [3 x [4 x i64]], ptr %462, i64 0, i64 2
  %464 = getelementptr inbounds [4 x i64], ptr %463, i64 0, i64 0
  %465 = load ptr, ptr %7, align 8, !tbaa !5
  %466 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %465, i32 0, i32 0
  %467 = load i32, ptr %8, align 4, !tbaa !9
  %468 = sext i32 %467 to i64
  %469 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %466, i64 0, i64 %468
  %470 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %469, i64 0, i64 8
  %471 = getelementptr inbounds [3 x [4 x i64]], ptr %470, i64 0, i64 0
  %472 = getelementptr inbounds [4 x i64], ptr %471, i64 0, i64 0
  %473 = load ptr, ptr %7, align 8, !tbaa !5
  %474 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %473, i32 0, i32 0
  %475 = load i32, ptr %8, align 4, !tbaa !9
  %476 = sext i32 %475 to i64
  %477 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %474, i64 0, i64 %476
  %478 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %477, i64 0, i64 8
  %479 = getelementptr inbounds [3 x [4 x i64]], ptr %478, i64 0, i64 1
  %480 = getelementptr inbounds [4 x i64], ptr %479, i64 0, i64 0
  %481 = load ptr, ptr %7, align 8, !tbaa !5
  %482 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %481, i32 0, i32 0
  %483 = load i32, ptr %8, align 4, !tbaa !9
  %484 = sext i32 %483 to i64
  %485 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %482, i64 0, i64 %484
  %486 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %485, i64 0, i64 8
  %487 = getelementptr inbounds [3 x [4 x i64]], ptr %486, i64 0, i64 2
  %488 = getelementptr inbounds [4 x i64], ptr %487, i64 0, i64 0
  %489 = load ptr, ptr %7, align 8, !tbaa !5
  %490 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %489, i32 0, i32 0
  %491 = load i32, ptr %8, align 4, !tbaa !9
  %492 = sext i32 %491 to i64
  %493 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %490, i64 0, i64 %492
  %494 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %493, i64 0, i64 2
  %495 = getelementptr inbounds [3 x [4 x i64]], ptr %494, i64 0, i64 0
  %496 = getelementptr inbounds [4 x i64], ptr %495, i64 0, i64 0
  %497 = load ptr, ptr %7, align 8, !tbaa !5
  %498 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %497, i32 0, i32 0
  %499 = load i32, ptr %8, align 4, !tbaa !9
  %500 = sext i32 %499 to i64
  %501 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %498, i64 0, i64 %500
  %502 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %501, i64 0, i64 2
  %503 = getelementptr inbounds [3 x [4 x i64]], ptr %502, i64 0, i64 1
  %504 = getelementptr inbounds [4 x i64], ptr %503, i64 0, i64 0
  %505 = load ptr, ptr %7, align 8, !tbaa !5
  %506 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %505, i32 0, i32 0
  %507 = load i32, ptr %8, align 4, !tbaa !9
  %508 = sext i32 %507 to i64
  %509 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %506, i64 0, i64 %508
  %510 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %509, i64 0, i64 2
  %511 = getelementptr inbounds [3 x [4 x i64]], ptr %510, i64 0, i64 2
  %512 = getelementptr inbounds [4 x i64], ptr %511, i64 0, i64 0
  call void @point_add_small(ptr noundef %448, ptr noundef %456, ptr noundef %464, ptr noundef %472, ptr noundef %480, ptr noundef %488, ptr noundef %496, ptr noundef %504, ptr noundef %512)
  %513 = load ptr, ptr %7, align 8, !tbaa !5
  %514 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %513, i32 0, i32 0
  %515 = load i32, ptr %8, align 4, !tbaa !9
  %516 = sext i32 %515 to i64
  %517 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %514, i64 0, i64 %516
  %518 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %517, i64 0, i64 12
  %519 = getelementptr inbounds [3 x [4 x i64]], ptr %518, i64 0, i64 0
  %520 = getelementptr inbounds [4 x i64], ptr %519, i64 0, i64 0
  %521 = load ptr, ptr %7, align 8, !tbaa !5
  %522 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %521, i32 0, i32 0
  %523 = load i32, ptr %8, align 4, !tbaa !9
  %524 = sext i32 %523 to i64
  %525 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %522, i64 0, i64 %524
  %526 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %525, i64 0, i64 12
  %527 = getelementptr inbounds [3 x [4 x i64]], ptr %526, i64 0, i64 1
  %528 = getelementptr inbounds [4 x i64], ptr %527, i64 0, i64 0
  %529 = load ptr, ptr %7, align 8, !tbaa !5
  %530 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %529, i32 0, i32 0
  %531 = load i32, ptr %8, align 4, !tbaa !9
  %532 = sext i32 %531 to i64
  %533 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %530, i64 0, i64 %532
  %534 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %533, i64 0, i64 12
  %535 = getelementptr inbounds [3 x [4 x i64]], ptr %534, i64 0, i64 2
  %536 = getelementptr inbounds [4 x i64], ptr %535, i64 0, i64 0
  %537 = load ptr, ptr %7, align 8, !tbaa !5
  %538 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %537, i32 0, i32 0
  %539 = load i32, ptr %8, align 4, !tbaa !9
  %540 = sext i32 %539 to i64
  %541 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %538, i64 0, i64 %540
  %542 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %541, i64 0, i64 8
  %543 = getelementptr inbounds [3 x [4 x i64]], ptr %542, i64 0, i64 0
  %544 = getelementptr inbounds [4 x i64], ptr %543, i64 0, i64 0
  %545 = load ptr, ptr %7, align 8, !tbaa !5
  %546 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %545, i32 0, i32 0
  %547 = load i32, ptr %8, align 4, !tbaa !9
  %548 = sext i32 %547 to i64
  %549 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %546, i64 0, i64 %548
  %550 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %549, i64 0, i64 8
  %551 = getelementptr inbounds [3 x [4 x i64]], ptr %550, i64 0, i64 1
  %552 = getelementptr inbounds [4 x i64], ptr %551, i64 0, i64 0
  %553 = load ptr, ptr %7, align 8, !tbaa !5
  %554 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %553, i32 0, i32 0
  %555 = load i32, ptr %8, align 4, !tbaa !9
  %556 = sext i32 %555 to i64
  %557 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %554, i64 0, i64 %556
  %558 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %557, i64 0, i64 8
  %559 = getelementptr inbounds [3 x [4 x i64]], ptr %558, i64 0, i64 2
  %560 = getelementptr inbounds [4 x i64], ptr %559, i64 0, i64 0
  %561 = load ptr, ptr %7, align 8, !tbaa !5
  %562 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %561, i32 0, i32 0
  %563 = load i32, ptr %8, align 4, !tbaa !9
  %564 = sext i32 %563 to i64
  %565 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %562, i64 0, i64 %564
  %566 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %565, i64 0, i64 4
  %567 = getelementptr inbounds [3 x [4 x i64]], ptr %566, i64 0, i64 0
  %568 = getelementptr inbounds [4 x i64], ptr %567, i64 0, i64 0
  %569 = load ptr, ptr %7, align 8, !tbaa !5
  %570 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %569, i32 0, i32 0
  %571 = load i32, ptr %8, align 4, !tbaa !9
  %572 = sext i32 %571 to i64
  %573 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %570, i64 0, i64 %572
  %574 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %573, i64 0, i64 4
  %575 = getelementptr inbounds [3 x [4 x i64]], ptr %574, i64 0, i64 1
  %576 = getelementptr inbounds [4 x i64], ptr %575, i64 0, i64 0
  %577 = load ptr, ptr %7, align 8, !tbaa !5
  %578 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %577, i32 0, i32 0
  %579 = load i32, ptr %8, align 4, !tbaa !9
  %580 = sext i32 %579 to i64
  %581 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %578, i64 0, i64 %580
  %582 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %581, i64 0, i64 4
  %583 = getelementptr inbounds [3 x [4 x i64]], ptr %582, i64 0, i64 2
  %584 = getelementptr inbounds [4 x i64], ptr %583, i64 0, i64 0
  call void @point_add_small(ptr noundef %520, ptr noundef %528, ptr noundef %536, ptr noundef %544, ptr noundef %552, ptr noundef %560, ptr noundef %568, ptr noundef %576, ptr noundef %584)
  %585 = load ptr, ptr %7, align 8, !tbaa !5
  %586 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %585, i32 0, i32 0
  %587 = load i32, ptr %8, align 4, !tbaa !9
  %588 = sext i32 %587 to i64
  %589 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %586, i64 0, i64 %588
  %590 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %589, i64 0, i64 14
  %591 = getelementptr inbounds [3 x [4 x i64]], ptr %590, i64 0, i64 0
  %592 = getelementptr inbounds [4 x i64], ptr %591, i64 0, i64 0
  %593 = load ptr, ptr %7, align 8, !tbaa !5
  %594 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %593, i32 0, i32 0
  %595 = load i32, ptr %8, align 4, !tbaa !9
  %596 = sext i32 %595 to i64
  %597 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %594, i64 0, i64 %596
  %598 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %597, i64 0, i64 14
  %599 = getelementptr inbounds [3 x [4 x i64]], ptr %598, i64 0, i64 1
  %600 = getelementptr inbounds [4 x i64], ptr %599, i64 0, i64 0
  %601 = load ptr, ptr %7, align 8, !tbaa !5
  %602 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %601, i32 0, i32 0
  %603 = load i32, ptr %8, align 4, !tbaa !9
  %604 = sext i32 %603 to i64
  %605 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %602, i64 0, i64 %604
  %606 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %605, i64 0, i64 14
  %607 = getelementptr inbounds [3 x [4 x i64]], ptr %606, i64 0, i64 2
  %608 = getelementptr inbounds [4 x i64], ptr %607, i64 0, i64 0
  %609 = load ptr, ptr %7, align 8, !tbaa !5
  %610 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %609, i32 0, i32 0
  %611 = load i32, ptr %8, align 4, !tbaa !9
  %612 = sext i32 %611 to i64
  %613 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %610, i64 0, i64 %612
  %614 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %613, i64 0, i64 12
  %615 = getelementptr inbounds [3 x [4 x i64]], ptr %614, i64 0, i64 0
  %616 = getelementptr inbounds [4 x i64], ptr %615, i64 0, i64 0
  %617 = load ptr, ptr %7, align 8, !tbaa !5
  %618 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %617, i32 0, i32 0
  %619 = load i32, ptr %8, align 4, !tbaa !9
  %620 = sext i32 %619 to i64
  %621 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %618, i64 0, i64 %620
  %622 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %621, i64 0, i64 12
  %623 = getelementptr inbounds [3 x [4 x i64]], ptr %622, i64 0, i64 1
  %624 = getelementptr inbounds [4 x i64], ptr %623, i64 0, i64 0
  %625 = load ptr, ptr %7, align 8, !tbaa !5
  %626 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %625, i32 0, i32 0
  %627 = load i32, ptr %8, align 4, !tbaa !9
  %628 = sext i32 %627 to i64
  %629 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %626, i64 0, i64 %628
  %630 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %629, i64 0, i64 12
  %631 = getelementptr inbounds [3 x [4 x i64]], ptr %630, i64 0, i64 2
  %632 = getelementptr inbounds [4 x i64], ptr %631, i64 0, i64 0
  %633 = load ptr, ptr %7, align 8, !tbaa !5
  %634 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %633, i32 0, i32 0
  %635 = load i32, ptr %8, align 4, !tbaa !9
  %636 = sext i32 %635 to i64
  %637 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %634, i64 0, i64 %636
  %638 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %637, i64 0, i64 2
  %639 = getelementptr inbounds [3 x [4 x i64]], ptr %638, i64 0, i64 0
  %640 = getelementptr inbounds [4 x i64], ptr %639, i64 0, i64 0
  %641 = load ptr, ptr %7, align 8, !tbaa !5
  %642 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %641, i32 0, i32 0
  %643 = load i32, ptr %8, align 4, !tbaa !9
  %644 = sext i32 %643 to i64
  %645 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %642, i64 0, i64 %644
  %646 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %645, i64 0, i64 2
  %647 = getelementptr inbounds [3 x [4 x i64]], ptr %646, i64 0, i64 1
  %648 = getelementptr inbounds [4 x i64], ptr %647, i64 0, i64 0
  %649 = load ptr, ptr %7, align 8, !tbaa !5
  %650 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %649, i32 0, i32 0
  %651 = load i32, ptr %8, align 4, !tbaa !9
  %652 = sext i32 %651 to i64
  %653 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %650, i64 0, i64 %652
  %654 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %653, i64 0, i64 2
  %655 = getelementptr inbounds [3 x [4 x i64]], ptr %654, i64 0, i64 2
  %656 = getelementptr inbounds [4 x i64], ptr %655, i64 0, i64 0
  call void @point_add_small(ptr noundef %592, ptr noundef %600, ptr noundef %608, ptr noundef %616, ptr noundef %624, ptr noundef %632, ptr noundef %640, ptr noundef %648, ptr noundef %656)
  store i32 1, ptr %9, align 4, !tbaa !9
  br label %657

657:                                              ; preds = %754, %361
  %658 = load i32, ptr %9, align 4, !tbaa !9
  %659 = icmp slt i32 %658, 8
  br i1 %659, label %660, label %757

660:                                              ; preds = %657
  %661 = load ptr, ptr %7, align 8, !tbaa !5
  %662 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %661, i32 0, i32 0
  %663 = load i32, ptr %8, align 4, !tbaa !9
  %664 = sext i32 %663 to i64
  %665 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %662, i64 0, i64 %664
  %666 = load i32, ptr %9, align 4, !tbaa !9
  %667 = mul nsw i32 2, %666
  %668 = add nsw i32 %667, 1
  %669 = sext i32 %668 to i64
  %670 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %665, i64 0, i64 %669
  %671 = getelementptr inbounds [3 x [4 x i64]], ptr %670, i64 0, i64 0
  %672 = getelementptr inbounds [4 x i64], ptr %671, i64 0, i64 0
  %673 = load ptr, ptr %7, align 8, !tbaa !5
  %674 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %673, i32 0, i32 0
  %675 = load i32, ptr %8, align 4, !tbaa !9
  %676 = sext i32 %675 to i64
  %677 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %674, i64 0, i64 %676
  %678 = load i32, ptr %9, align 4, !tbaa !9
  %679 = mul nsw i32 2, %678
  %680 = add nsw i32 %679, 1
  %681 = sext i32 %680 to i64
  %682 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %677, i64 0, i64 %681
  %683 = getelementptr inbounds [3 x [4 x i64]], ptr %682, i64 0, i64 1
  %684 = getelementptr inbounds [4 x i64], ptr %683, i64 0, i64 0
  %685 = load ptr, ptr %7, align 8, !tbaa !5
  %686 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %685, i32 0, i32 0
  %687 = load i32, ptr %8, align 4, !tbaa !9
  %688 = sext i32 %687 to i64
  %689 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %686, i64 0, i64 %688
  %690 = load i32, ptr %9, align 4, !tbaa !9
  %691 = mul nsw i32 2, %690
  %692 = add nsw i32 %691, 1
  %693 = sext i32 %692 to i64
  %694 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %689, i64 0, i64 %693
  %695 = getelementptr inbounds [3 x [4 x i64]], ptr %694, i64 0, i64 2
  %696 = getelementptr inbounds [4 x i64], ptr %695, i64 0, i64 0
  %697 = load ptr, ptr %7, align 8, !tbaa !5
  %698 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %697, i32 0, i32 0
  %699 = load i32, ptr %8, align 4, !tbaa !9
  %700 = sext i32 %699 to i64
  %701 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %698, i64 0, i64 %700
  %702 = load i32, ptr %9, align 4, !tbaa !9
  %703 = mul nsw i32 2, %702
  %704 = sext i32 %703 to i64
  %705 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %701, i64 0, i64 %704
  %706 = getelementptr inbounds [3 x [4 x i64]], ptr %705, i64 0, i64 0
  %707 = getelementptr inbounds [4 x i64], ptr %706, i64 0, i64 0
  %708 = load ptr, ptr %7, align 8, !tbaa !5
  %709 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %708, i32 0, i32 0
  %710 = load i32, ptr %8, align 4, !tbaa !9
  %711 = sext i32 %710 to i64
  %712 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %709, i64 0, i64 %711
  %713 = load i32, ptr %9, align 4, !tbaa !9
  %714 = mul nsw i32 2, %713
  %715 = sext i32 %714 to i64
  %716 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %712, i64 0, i64 %715
  %717 = getelementptr inbounds [3 x [4 x i64]], ptr %716, i64 0, i64 1
  %718 = getelementptr inbounds [4 x i64], ptr %717, i64 0, i64 0
  %719 = load ptr, ptr %7, align 8, !tbaa !5
  %720 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %719, i32 0, i32 0
  %721 = load i32, ptr %8, align 4, !tbaa !9
  %722 = sext i32 %721 to i64
  %723 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %720, i64 0, i64 %722
  %724 = load i32, ptr %9, align 4, !tbaa !9
  %725 = mul nsw i32 2, %724
  %726 = sext i32 %725 to i64
  %727 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %723, i64 0, i64 %726
  %728 = getelementptr inbounds [3 x [4 x i64]], ptr %727, i64 0, i64 2
  %729 = getelementptr inbounds [4 x i64], ptr %728, i64 0, i64 0
  %730 = load ptr, ptr %7, align 8, !tbaa !5
  %731 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %730, i32 0, i32 0
  %732 = load i32, ptr %8, align 4, !tbaa !9
  %733 = sext i32 %732 to i64
  %734 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %731, i64 0, i64 %733
  %735 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %734, i64 0, i64 1
  %736 = getelementptr inbounds [3 x [4 x i64]], ptr %735, i64 0, i64 0
  %737 = getelementptr inbounds [4 x i64], ptr %736, i64 0, i64 0
  %738 = load ptr, ptr %7, align 8, !tbaa !5
  %739 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %738, i32 0, i32 0
  %740 = load i32, ptr %8, align 4, !tbaa !9
  %741 = sext i32 %740 to i64
  %742 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %739, i64 0, i64 %741
  %743 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %742, i64 0, i64 1
  %744 = getelementptr inbounds [3 x [4 x i64]], ptr %743, i64 0, i64 1
  %745 = getelementptr inbounds [4 x i64], ptr %744, i64 0, i64 0
  %746 = load ptr, ptr %7, align 8, !tbaa !5
  %747 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %746, i32 0, i32 0
  %748 = load i32, ptr %8, align 4, !tbaa !9
  %749 = sext i32 %748 to i64
  %750 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %747, i64 0, i64 %749
  %751 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %750, i64 0, i64 1
  %752 = getelementptr inbounds [3 x [4 x i64]], ptr %751, i64 0, i64 2
  %753 = getelementptr inbounds [4 x i64], ptr %752, i64 0, i64 0
  call void @point_add_small(ptr noundef %672, ptr noundef %684, ptr noundef %696, ptr noundef %707, ptr noundef %718, ptr noundef %729, ptr noundef %737, ptr noundef %745, ptr noundef %753)
  br label %754

754:                                              ; preds = %660
  %755 = load i32, ptr %9, align 4, !tbaa !9
  %756 = add nsw i32 %755, 1
  store i32 %756, ptr %9, align 4, !tbaa !9
  br label %657, !llvm.loop !22

757:                                              ; preds = %657
  br label %758

758:                                              ; preds = %757
  %759 = load i32, ptr %8, align 4, !tbaa !9
  %760 = add nsw i32 %759, 1
  store i32 %760, ptr %8, align 4, !tbaa !9
  br label %358, !llvm.loop !23

761:                                              ; preds = %358
  %762 = load ptr, ptr %7, align 8, !tbaa !5
  %763 = getelementptr inbounds %struct.nistp256_pre_comp_st, ptr %762, i32 0, i32 0
  %764 = getelementptr inbounds [2 x [16 x [3 x [4 x i64]]]], ptr %763, i64 0, i64 0
  %765 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %764, i64 0, i64 1
  %766 = getelementptr inbounds [32 x [4 x i64]], ptr %13, i64 0, i64 0
  call void @make_points_affine(i64 noundef 31, ptr noundef %765, ptr noundef %766)
  br label %767

767:                                              ; preds = %761, %75
  %768 = load ptr, ptr %4, align 8, !tbaa !5
  %769 = getelementptr inbounds %struct.ec_group_st, ptr %768, i32 0, i32 19
  store i32 2, ptr %769, align 8, !tbaa !24
  %770 = load ptr, ptr %7, align 8, !tbaa !5
  %771 = load ptr, ptr %4, align 8, !tbaa !5
  %772 = getelementptr inbounds %struct.ec_group_st, ptr %771, i32 0, i32 20
  store ptr %770, ptr %772, align 8, !tbaa !25
  store ptr null, ptr %7, align 8, !tbaa !5
  store i32 1, ptr %6, align 4, !tbaa !9
  br label %773

773:                                              ; preds = %767, %106, %65, %61, %48, %42, %36
  %774 = load ptr, ptr %5, align 8, !tbaa !5
  call void @BN_CTX_end(ptr noundef %774)
  %775 = load ptr, ptr %12, align 8, !tbaa !5
  call void @EC_POINT_free(ptr noundef %775)
  %776 = load ptr, ptr %17, align 8, !tbaa !5
  call void @BN_CTX_free(ptr noundef %776)
  %777 = load ptr, ptr %7, align 8, !tbaa !5
  call void @EC_nistp256_pre_comp_free(ptr noundef %777)
  %778 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %778, ptr %3, align 4
  store i32 1, ptr %18, align 4
  br label %779

779:                                              ; preds = %773, %27
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #5
  call void @llvm.lifetime.end.p0(i64 64, ptr %16) #5
  call void @llvm.lifetime.end.p0(i64 64, ptr %15) #5
  call void @llvm.lifetime.end.p0(i64 64, ptr %14) #5
  call void @llvm.lifetime.end.p0(i64 1024, ptr %13) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #5
  %780 = load i32, ptr %3, align 4
  ret i32 %780
}

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

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

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

declare ptr @BN_CTX_new() #2

declare void @BN_CTX_start(ptr noundef) #2

declare ptr @BN_CTX_get(ptr noundef) #2

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

declare void @BN_CTX_end(ptr noundef) #2

declare void @BN_CTX_free(ptr noundef) #2

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

declare ptr @EC_POINT_new(ptr noundef) #2

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

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

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

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

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

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

declare void @EC_POINT_free(ptr noundef) #2

declare void @EC_pre_comp_free(ptr noundef) #2

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

; Function Attrs: nounwind uwtable
declare hidden ptr @nistp256_pre_comp_new() #0

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: readwrite)
declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #4

attributes #0 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
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 nounwind willreturn memory(argmem: write) }
attributes #4 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
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, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = !{!12, !6, i64 8}
!12 = !{!"ec_group_st", !6, i64 0, !6, i64 8, !6, i64 16, !6, i64 24, !10, i64 32, !10, i64 36, !10, i64 40, !10, i64 44, !6, i64 48, !13, i64 56, !6, i64 64, !7, i64 72, !6, i64 96, !6, i64 104, !10, i64 112, !6, i64 120, !6, i64 128, !6, i64 136, !6, i64 144, !10, i64 152, !7, i64 160, !6, i64 168, !6, i64 176}
!13 = !{!"long", !7, i64 0}
!14 = !{!15, !6, i64 16}
!15 = !{!"ec_point_st", !6, i64 0, !10, i64 8, !6, i64 16, !6, i64 24, !6, i64 32, !10, i64 40}
!16 = !{!15, !6, i64 24}
!17 = !{!15, !6, i64 32}
!18 = distinct !{!18, !19}
!19 = !{!"llvm.loop.mustprogress"}
!20 = distinct !{!20, !19}
!21 = distinct !{!21, !19}
!22 = distinct !{!22, !19}
!23 = distinct !{!23, !19}
!24 = !{!12, !10, i64 152}
!25 = !{!7, !7, i64 0}


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

@nistp256_curve_params = external hidden constant [5 x [32 x i8]], align 16
@gmul = external hidden local_unnamed_addr constant [2 x [16 x [3 x [4 x i64]]]], align 16

; Function Attrs: nounwind uwtable
define dso_local range(i32 0, 2) i32 @ossl_ec_GFp_nistp256_precompute_mult(ptr noundef %0, ptr noundef %1) local_unnamed_addr #0 {
  %3 = alloca [32 x [4 x i64]], align 16
  %4 = alloca [4 x i128], align 16
  %5 = alloca [4 x i128], align 16
  %6 = alloca [4 x i128], align 16
  call void @llvm.lifetime.start.p0(i64 1024, ptr nonnull %3) #5
  call void @llvm.lifetime.start.p0(i64 64, ptr nonnull %4) #5
  call void @llvm.lifetime.start.p0(i64 64, ptr nonnull %5) #5
  call void @llvm.lifetime.start.p0(i64 64, ptr nonnull %6) #5
  tail call void @EC_pre_comp_free(ptr noundef %0) #5
  %7 = icmp eq ptr %1, null
  br i1 %7, label %8, label %.thread

8:                                                ; preds = %2
  %9 = tail call ptr @BN_CTX_new() #5
  %10 = icmp eq ptr %9, null
  br i1 %10, label %193, label %.thread

.thread:                                          ; preds = %2, %8
  %.0214 = phi ptr [ %9, %8 ], [ null, %2 ]
  %.0196213 = phi ptr [ %9, %8 ], [ %1, %2 ]
  tail call void @BN_CTX_start(ptr noundef nonnull %.0196213) #5
  %11 = tail call ptr @BN_CTX_get(ptr noundef nonnull %.0196213) #5
  %12 = tail call ptr @BN_CTX_get(ptr noundef nonnull %.0196213) #5
  %13 = icmp eq ptr %12, null
  br i1 %13, label %192, label %14

14:                                               ; preds = %.thread
  %15 = getelementptr inbounds i8, ptr %0, i64 8
  %16 = load ptr, ptr %15, align 8, !tbaa !5
  %17 = icmp eq ptr %16, null
  br i1 %17, label %192, label %18

18:                                               ; preds = %14
  %19 = tail call ptr @EC_POINT_new(ptr noundef nonnull %0) #5
  %20 = icmp eq ptr %19, null
  br i1 %20, label %192, label %21

21:                                               ; preds = %18
  %22 = tail call ptr @BN_bin2bn(ptr noundef nonnull getelementptr inbounds (i8, ptr @nistp256_curve_params, i64 96), i32 noundef 32, ptr noundef %11) #5
  %23 = tail call ptr @BN_bin2bn(ptr noundef nonnull getelementptr inbounds (i8, ptr @nistp256_curve_params, i64 128), i32 noundef 32, ptr noundef nonnull %12) #5
  %24 = tail call i32 @EC_POINT_set_affine_coordinates(ptr noundef nonnull %0, ptr noundef nonnull %19, ptr noundef %11, ptr noundef nonnull %12, ptr noundef nonnull %.0196213) #5
  %.not = icmp eq i32 %24, 0
  br i1 %.not, label %192, label %25

25:                                               ; preds = %21
  %26 = tail call ptr @nistp256_pre_comp_new()
  %27 = icmp eq ptr %26, null
  br i1 %27, label %192, label %28

28:                                               ; preds = %25
  %29 = load ptr, ptr %15, align 8, !tbaa !5
  %30 = tail call i32 @EC_POINT_cmp(ptr noundef nonnull %0, ptr noundef nonnull %19, ptr noundef %29, ptr noundef nonnull %.0196213) #5
  %31 = icmp eq i32 %30, 0
  br i1 %31, label %32, label %33

32:                                               ; preds = %28
  tail call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(3072) %26, ptr noundef nonnull align 16 dereferenceable(3072) @gmul, i64 3072, i1 false)
  br label %189

33:                                               ; preds = %28
  %34 = load ptr, ptr %15, align 8, !tbaa !5
  %35 = getelementptr inbounds i8, ptr %34, i64 16
  %36 = load ptr, ptr %35, align 8, !tbaa !12
  %37 = call i32 @BN_to_felem(ptr noundef nonnull %4, ptr noundef %36)
  %.not208 = icmp eq i32 %37, 0
  br i1 %.not208, label %192, label %38

38:                                               ; preds = %33
  %39 = load ptr, ptr %15, align 8, !tbaa !5
  %40 = getelementptr inbounds i8, ptr %39, i64 24
  %41 = load ptr, ptr %40, align 8, !tbaa !14
  %42 = call i32 @BN_to_felem(ptr noundef nonnull %5, ptr noundef %41)
  %.not209 = icmp eq i32 %42, 0
  br i1 %.not209, label %192, label %43

43:                                               ; preds = %38
  %44 = load ptr, ptr %15, align 8, !tbaa !5
  %45 = getelementptr inbounds i8, ptr %44, i64 32
  %46 = load ptr, ptr %45, align 8, !tbaa !15
  %47 = call i32 @BN_to_felem(ptr noundef nonnull %6, ptr noundef %46)
  %.not210 = icmp eq i32 %47, 0
  br i1 %.not210, label %192, label %48

48:                                               ; preds = %43
  %49 = getelementptr inbounds i8, ptr %26, i64 96
  call void @felem_shrink(ptr noundef nonnull %49, ptr noundef nonnull %4)
  %50 = getelementptr inbounds i8, ptr %26, i64 128
  call void @felem_shrink(ptr noundef nonnull %50, ptr noundef nonnull %5)
  %51 = getelementptr inbounds i8, ptr %26, i64 160
  call void @felem_shrink(ptr noundef nonnull %51, ptr noundef nonnull %6)
  %52 = getelementptr inbounds i8, ptr %26, i64 1536
  br label %53

53:                                               ; preds = %.loopexit, %48
  %.0198217 = phi i32 [ 1, %48 ], [ %62, %.loopexit ]
  %54 = sext i32 %.0198217 to i64
  %55 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %52, i64 0, i64 %54
  %56 = getelementptr inbounds i8, ptr %55, i64 32
  %57 = getelementptr inbounds i8, ptr %55, i64 64
  %58 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %26, i64 0, i64 %54
  %59 = getelementptr inbounds i8, ptr %58, i64 32
  %60 = getelementptr inbounds i8, ptr %58, i64 64
  call void @point_double_small(ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57, ptr noundef nonnull %58, ptr noundef nonnull %59, ptr noundef nonnull %60)
  call void @point_double_small(ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57, ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57)
  call void @point_double_small(ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57, ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57)
  call void @point_double_small(ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57, ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57)
  call void @point_double_small(ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57, ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57)
  call void @point_double_small(ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57, ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57)
  call void @point_double_small(ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57, ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57)
  call void @point_double_small(ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57, ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57)
  call void @point_double_small(ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57, ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57)
  call void @point_double_small(ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57, ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57)
  call void @point_double_small(ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57, ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57)
  call void @point_double_small(ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57, ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57)
  call void @point_double_small(ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57, ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57)
  call void @point_double_small(ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57, ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57)
  call void @point_double_small(ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57, ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57)
  call void @point_double_small(ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57, ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57)
  call void @point_double_small(ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57, ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57)
  call void @point_double_small(ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57, ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57)
  call void @point_double_small(ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57, ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57)
  call void @point_double_small(ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57, ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57)
  call void @point_double_small(ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57, ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57)
  call void @point_double_small(ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57, ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57)
  call void @point_double_small(ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57, ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57)
  call void @point_double_small(ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57, ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57)
  call void @point_double_small(ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57, ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57)
  call void @point_double_small(ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57, ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57)
  call void @point_double_small(ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57, ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57)
  call void @point_double_small(ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57, ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57)
  call void @point_double_small(ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57, ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57)
  call void @point_double_small(ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57, ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57)
  call void @point_double_small(ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57, ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57)
  call void @point_double_small(ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57, ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57)
  %61 = icmp eq i32 %.0198217, 8
  br i1 %61, label %split, label %.loopexit

.loopexit:                                        ; preds = %53
  %62 = shl nsw i32 %.0198217, 1
  %63 = sext i32 %62 to i64
  %64 = getelementptr inbounds [16 x [3 x [4 x i64]]], ptr %26, i64 0, i64 %63
  %65 = getelementptr inbounds i8, ptr %64, i64 32
  %66 = getelementptr inbounds i8, ptr %64, i64 64
  call void @point_double_small(ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66, ptr noundef nonnull %55, ptr noundef nonnull %56, ptr noundef nonnull %57)
  call void @point_double_small(ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66, ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66)
  call void @point_double_small(ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66, ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66)
  call void @point_double_small(ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66, ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66)
  call void @point_double_small(ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66, ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66)
  call void @point_double_small(ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66, ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66)
  call void @point_double_small(ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66, ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66)
  call void @point_double_small(ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66, ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66)
  call void @point_double_small(ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66, ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66)
  call void @point_double_small(ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66, ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66)
  call void @point_double_small(ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66, ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66)
  call void @point_double_small(ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66, ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66)
  call void @point_double_small(ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66, ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66)
  call void @point_double_small(ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66, ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66)
  call void @point_double_small(ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66, ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66)
  call void @point_double_small(ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66, ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66)
  call void @point_double_small(ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66, ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66)
  call void @point_double_small(ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66, ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66)
  call void @point_double_small(ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66, ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66)
  call void @point_double_small(ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66, ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66)
  call void @point_double_small(ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66, ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66)
  call void @point_double_small(ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66, ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66)
  call void @point_double_small(ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66, ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66)
  call void @point_double_small(ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66, ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66)
  call void @point_double_small(ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66, ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66)
  call void @point_double_small(ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66, ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66)
  call void @point_double_small(ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66, ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66)
  call void @point_double_small(ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66, ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66)
  call void @point_double_small(ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66, ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66)
  call void @point_double_small(ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66, ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66)
  call void @point_double_small(ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66, ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66)
  call void @point_double_small(ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66, ptr noundef nonnull %64, ptr noundef nonnull %65, ptr noundef nonnull %66)
  br label %53

split:                                            ; preds = %53
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(96) %26, i8 0, i64 96, i1 false)
  %67 = getelementptr inbounds i8, ptr %26, i64 576
  %68 = getelementptr inbounds i8, ptr %26, i64 608
  %69 = getelementptr inbounds i8, ptr %26, i64 640
  %70 = getelementptr inbounds i8, ptr %26, i64 384
  %71 = getelementptr inbounds i8, ptr %26, i64 416
  %72 = getelementptr inbounds i8, ptr %26, i64 448
  %73 = getelementptr inbounds i8, ptr %26, i64 192
  %74 = getelementptr inbounds i8, ptr %26, i64 224
  %75 = getelementptr inbounds i8, ptr %26, i64 256
  call void @point_add_small(ptr noundef nonnull %67, ptr noundef nonnull %68, ptr noundef nonnull %69, ptr noundef nonnull %70, ptr noundef nonnull %71, ptr noundef nonnull %72, ptr noundef nonnull %73, ptr noundef nonnull %74, ptr noundef nonnull %75)
  %76 = getelementptr inbounds i8, ptr %26, i64 960
  %77 = getelementptr inbounds i8, ptr %26, i64 992
  %78 = getelementptr inbounds i8, ptr %26, i64 1024
  %79 = getelementptr inbounds i8, ptr %26, i64 768
  %80 = getelementptr inbounds i8, ptr %26, i64 800
  %81 = getelementptr inbounds i8, ptr %26, i64 832
  call void @point_add_small(ptr noundef nonnull %76, ptr noundef nonnull %77, ptr noundef nonnull %78, ptr noundef nonnull %79, ptr noundef nonnull %80, ptr noundef nonnull %81, ptr noundef nonnull %73, ptr noundef nonnull %74, ptr noundef nonnull %75)
  %82 = getelementptr inbounds i8, ptr %26, i64 1152
  %83 = getelementptr inbounds i8, ptr %26, i64 1184
  %84 = getelementptr inbounds i8, ptr %26, i64 1216
  call void @point_add_small(ptr noundef nonnull %82, ptr noundef nonnull %83, ptr noundef nonnull %84, ptr noundef nonnull %79, ptr noundef nonnull %80, ptr noundef nonnull %81, ptr noundef nonnull %70, ptr noundef nonnull %71, ptr noundef nonnull %72)
  %85 = getelementptr inbounds i8, ptr %26, i64 1344
  %86 = getelementptr inbounds i8, ptr %26, i64 1376
  %87 = getelementptr inbounds i8, ptr %26, i64 1408
  call void @point_add_small(ptr noundef nonnull %85, ptr noundef nonnull %86, ptr noundef nonnull %87, ptr noundef nonnull %82, ptr noundef nonnull %83, ptr noundef nonnull %84, ptr noundef nonnull %73, ptr noundef nonnull %74, ptr noundef nonnull %75)
  %88 = getelementptr inbounds i8, ptr %26, i64 288
  %89 = getelementptr inbounds i8, ptr %26, i64 320
  %90 = getelementptr inbounds i8, ptr %26, i64 352
  %91 = getelementptr inbounds i8, ptr %26, i64 224
  %92 = getelementptr inbounds i8, ptr %26, i64 256
  call void @point_add_small(ptr noundef nonnull %88, ptr noundef nonnull %89, ptr noundef nonnull %90, ptr noundef nonnull %73, ptr noundef nonnull %91, ptr noundef nonnull %92, ptr noundef nonnull %49, ptr noundef nonnull %50, ptr noundef nonnull %51)
  %93 = getelementptr inbounds i8, ptr %26, i64 480
  %94 = getelementptr inbounds i8, ptr %26, i64 512
  %95 = getelementptr inbounds i8, ptr %26, i64 544
  %96 = getelementptr inbounds i8, ptr %26, i64 416
  %97 = getelementptr inbounds i8, ptr %26, i64 448
  call void @point_add_small(ptr noundef nonnull %93, ptr noundef nonnull %94, ptr noundef nonnull %95, ptr noundef nonnull %70, ptr noundef nonnull %96, ptr noundef nonnull %97, ptr noundef nonnull %49, ptr noundef nonnull %50, ptr noundef nonnull %51)
  %98 = getelementptr inbounds i8, ptr %26, i64 672
  %99 = getelementptr inbounds i8, ptr %26, i64 704
  %100 = getelementptr inbounds i8, ptr %26, i64 736
  %101 = getelementptr inbounds i8, ptr %26, i64 608
  %102 = getelementptr inbounds i8, ptr %26, i64 640
  call void @point_add_small(ptr noundef nonnull %98, ptr noundef nonnull %99, ptr noundef nonnull %100, ptr noundef nonnull %67, ptr noundef nonnull %101, ptr noundef nonnull %102, ptr noundef nonnull %49, ptr noundef nonnull %50, ptr noundef nonnull %51)
  %103 = getelementptr inbounds i8, ptr %26, i64 864
  %104 = getelementptr inbounds i8, ptr %26, i64 896
  %105 = getelementptr inbounds i8, ptr %26, i64 928
  %106 = getelementptr inbounds i8, ptr %26, i64 800
  %107 = getelementptr inbounds i8, ptr %26, i64 832
  call void @point_add_small(ptr noundef nonnull %103, ptr noundef nonnull %104, ptr noundef nonnull %105, ptr noundef nonnull %79, ptr noundef nonnull %106, ptr noundef nonnull %107, ptr noundef nonnull %49, ptr noundef nonnull %50, ptr noundef nonnull %51)
  %108 = getelementptr inbounds i8, ptr %26, i64 1056
  %109 = getelementptr inbounds i8, ptr %26, i64 1088
  %110 = getelementptr inbounds i8, ptr %26, i64 1120
  %111 = getelementptr inbounds i8, ptr %26, i64 992
  %112 = getelementptr inbounds i8, ptr %26, i64 1024
  call void @point_add_small(ptr noundef nonnull %108, ptr noundef nonnull %109, ptr noundef nonnull %110, ptr noundef nonnull %76, ptr noundef nonnull %111, ptr noundef nonnull %112, ptr noundef nonnull %49, ptr noundef nonnull %50, ptr noundef nonnull %51)
  %113 = getelementptr inbounds i8, ptr %26, i64 1248
  %114 = getelementptr inbounds i8, ptr %26, i64 1280
  %115 = getelementptr inbounds i8, ptr %26, i64 1312
  %116 = getelementptr inbounds i8, ptr %26, i64 1184
  %117 = getelementptr inbounds i8, ptr %26, i64 1216
  call void @point_add_small(ptr noundef nonnull %113, ptr noundef nonnull %114, ptr noundef nonnull %115, ptr noundef nonnull %82, ptr noundef nonnull %116, ptr noundef nonnull %117, ptr noundef nonnull %49, ptr noundef nonnull %50, ptr noundef nonnull %51)
  %118 = getelementptr inbounds i8, ptr %26, i64 1440
  %119 = getelementptr inbounds i8, ptr %26, i64 1472
  %120 = getelementptr inbounds i8, ptr %26, i64 1504
  %121 = getelementptr inbounds i8, ptr %26, i64 1376
  %122 = getelementptr inbounds i8, ptr %26, i64 1408
  call void @point_add_small(ptr noundef nonnull %118, ptr noundef nonnull %119, ptr noundef nonnull %120, ptr noundef nonnull %85, ptr noundef nonnull %121, ptr noundef nonnull %122, ptr noundef nonnull %49, ptr noundef nonnull %50, ptr noundef nonnull %51)
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(96) %52, i8 0, i64 96, i1 false)
  %123 = getelementptr inbounds i8, ptr %26, i64 2112
  %124 = getelementptr inbounds i8, ptr %26, i64 2144
  %125 = getelementptr inbounds i8, ptr %26, i64 2176
  %126 = getelementptr inbounds i8, ptr %26, i64 1920
  %127 = getelementptr inbounds i8, ptr %26, i64 1952
  %128 = getelementptr inbounds i8, ptr %26, i64 1984
  %129 = getelementptr inbounds i8, ptr %26, i64 1728
  %130 = getelementptr inbounds i8, ptr %26, i64 1760
  %131 = getelementptr inbounds i8, ptr %26, i64 1792
  call void @point_add_small(ptr noundef nonnull %123, ptr noundef nonnull %124, ptr noundef nonnull %125, ptr noundef nonnull %126, ptr noundef nonnull %127, ptr noundef nonnull %128, ptr noundef nonnull %129, ptr noundef nonnull %130, ptr noundef nonnull %131)
  %132 = getelementptr inbounds i8, ptr %26, i64 2496
  %133 = getelementptr inbounds i8, ptr %26, i64 2528
  %134 = getelementptr inbounds i8, ptr %26, i64 2560
  %135 = getelementptr inbounds i8, ptr %26, i64 2304
  %136 = getelementptr inbounds i8, ptr %26, i64 2336
  %137 = getelementptr inbounds i8, ptr %26, i64 2368
  call void @point_add_small(ptr noundef nonnull %132, ptr noundef nonnull %133, ptr noundef nonnull %134, ptr noundef nonnull %135, ptr noundef nonnull %136, ptr noundef nonnull %137, ptr noundef nonnull %129, ptr noundef nonnull %130, ptr noundef nonnull %131)
  %138 = getelementptr inbounds i8, ptr %26, i64 2688
  %139 = getelementptr inbounds i8, ptr %26, i64 2720
  %140 = getelementptr inbounds i8, ptr %26, i64 2752
  call void @point_add_small(ptr noundef nonnull %138, ptr noundef nonnull %139, ptr noundef nonnull %140, ptr noundef nonnull %135, ptr noundef nonnull %136, ptr noundef nonnull %137, ptr noundef nonnull %126, ptr noundef nonnull %127, ptr noundef nonnull %128)
  %141 = getelementptr inbounds i8, ptr %26, i64 2880
  %142 = getelementptr inbounds i8, ptr %26, i64 2912
  %143 = getelementptr inbounds i8, ptr %26, i64 2944
  call void @point_add_small(ptr noundef nonnull %141, ptr noundef nonnull %142, ptr noundef nonnull %143, ptr noundef nonnull %138, ptr noundef nonnull %139, ptr noundef nonnull %140, ptr noundef nonnull %129, ptr noundef nonnull %130, ptr noundef nonnull %131)
  %144 = getelementptr inbounds i8, ptr %26, i64 1632
  %145 = getelementptr inbounds i8, ptr %26, i64 1664
  %146 = getelementptr inbounds i8, ptr %26, i64 1696
  %147 = getelementptr inbounds i8, ptr %26, i64 1824
  %148 = getelementptr inbounds i8, ptr %26, i64 1856
  %149 = getelementptr inbounds i8, ptr %26, i64 1888
  %150 = getelementptr inbounds i8, ptr %26, i64 1728
  %151 = getelementptr inbounds i8, ptr %26, i64 1760
  %152 = getelementptr inbounds i8, ptr %26, i64 1792
  call void @point_add_small(ptr noundef nonnull %147, ptr noundef nonnull %148, ptr noundef nonnull %149, ptr noundef nonnull %150, ptr noundef nonnull %151, ptr noundef nonnull %152, ptr noundef nonnull %144, ptr noundef nonnull %145, ptr noundef nonnull %146)
  %153 = getelementptr inbounds i8, ptr %26, i64 2016
  %154 = getelementptr inbounds i8, ptr %26, i64 2048
  %155 = getelementptr inbounds i8, ptr %26, i64 2080
  %156 = getelementptr inbounds i8, ptr %26, i64 1920
  %157 = getelementptr inbounds i8, ptr %26, i64 1952
  %158 = getelementptr inbounds i8, ptr %26, i64 1984
  call void @point_add_small(ptr noundef nonnull %153, ptr noundef nonnull %154, ptr noundef nonnull %155, ptr noundef nonnull %156, ptr noundef nonnull %157, ptr noundef nonnull %158, ptr noundef nonnull %144, ptr noundef nonnull %145, ptr noundef nonnull %146)
  %159 = getelementptr inbounds i8, ptr %26, i64 2208
  %160 = getelementptr inbounds i8, ptr %26, i64 2240
  %161 = getelementptr inbounds i8, ptr %26, i64 2272
  %162 = getelementptr inbounds i8, ptr %26, i64 2112
  %163 = getelementptr inbounds i8, ptr %26, i64 2144
  %164 = getelementptr inbounds i8, ptr %26, i64 2176
  call void @point_add_small(ptr noundef nonnull %159, ptr noundef nonnull %160, ptr noundef nonnull %161, ptr noundef nonnull %162, ptr noundef nonnull %163, ptr noundef nonnull %164, ptr noundef nonnull %144, ptr noundef nonnull %145, ptr noundef nonnull %146)
  %165 = getelementptr inbounds i8, ptr %26, i64 2400
  %166 = getelementptr inbounds i8, ptr %26, i64 2432
  %167 = getelementptr inbounds i8, ptr %26, i64 2464
  %168 = getelementptr inbounds i8, ptr %26, i64 2304
  %169 = getelementptr inbounds i8, ptr %26, i64 2336
  %170 = getelementptr inbounds i8, ptr %26, i64 2368
  call void @point_add_small(ptr noundef nonnull %165, ptr noundef nonnull %166, ptr noundef nonnull %167, ptr noundef nonnull %168, ptr noundef nonnull %169, ptr noundef nonnull %170, ptr noundef nonnull %144, ptr noundef nonnull %145, ptr noundef nonnull %146)
  %171 = getelementptr inbounds i8, ptr %26, i64 2592
  %172 = getelementptr inbounds i8, ptr %26, i64 2624
  %173 = getelementptr inbounds i8, ptr %26, i64 2656
  %174 = getelementptr inbounds i8, ptr %26, i64 2496
  %175 = getelementptr inbounds i8, ptr %26, i64 2528
  %176 = getelementptr inbounds i8, ptr %26, i64 2560
  call void @point_add_small(ptr noundef nonnull %171, ptr noundef nonnull %172, ptr noundef nonnull %173, ptr noundef nonnull %174, ptr noundef nonnull %175, ptr noundef nonnull %176, ptr noundef nonnull %144, ptr noundef nonnull %145, ptr noundef nonnull %146)
  %177 = getelementptr inbounds i8, ptr %26, i64 2784
  %178 = getelementptr inbounds i8, ptr %26, i64 2816
  %179 = getelementptr inbounds i8, ptr %26, i64 2848
  %180 = getelementptr inbounds i8, ptr %26, i64 2688
  %181 = getelementptr inbounds i8, ptr %26, i64 2720
  %182 = getelementptr inbounds i8, ptr %26, i64 2752
  call void @point_add_small(ptr noundef nonnull %177, ptr noundef nonnull %178, ptr noundef nonnull %179, ptr noundef nonnull %180, ptr noundef nonnull %181, ptr noundef nonnull %182, ptr noundef nonnull %144, ptr noundef nonnull %145, ptr noundef nonnull %146)
  %183 = getelementptr inbounds i8, ptr %26, i64 2976
  %184 = getelementptr inbounds i8, ptr %26, i64 3008
  %185 = getelementptr inbounds i8, ptr %26, i64 3040
  %186 = getelementptr inbounds i8, ptr %26, i64 2880
  %187 = getelementptr inbounds i8, ptr %26, i64 2912
  %188 = getelementptr inbounds i8, ptr %26, i64 2944
  call void @point_add_small(ptr noundef nonnull %183, ptr noundef nonnull %184, ptr noundef nonnull %185, ptr noundef nonnull %186, ptr noundef nonnull %187, ptr noundef nonnull %188, ptr noundef nonnull %144, ptr noundef nonnull %145, ptr noundef nonnull %146)
  call void @make_points_affine(i64 noundef 31, ptr noundef nonnull %49, ptr noundef nonnull %3)
  br label %189

189:                                              ; preds = %split, %32
  %190 = getelementptr inbounds i8, ptr %0, i64 152
  store i32 2, ptr %190, align 8, !tbaa !16
  %191 = getelementptr inbounds i8, ptr %0, i64 160
  store ptr %26, ptr %191, align 8, !tbaa !17
  br label %192

192:                                              ; preds = %33, %38, %43, %25, %21, %18, %14, %.thread, %189
  %.0201 = phi i32 [ 0, %.thread ], [ 0, %14 ], [ 0, %18 ], [ 0, %25 ], [ 1, %189 ], [ 0, %43 ], [ 0, %38 ], [ 0, %33 ], [ 0, %21 ]
  %.0200 = phi ptr [ null, %.thread ], [ null, %14 ], [ null, %18 ], [ null, %25 ], [ null, %189 ], [ %26, %43 ], [ %26, %38 ], [ %26, %33 ], [ null, %21 ]
  %.0194 = phi ptr [ null, %.thread ], [ null, %14 ], [ null, %18 ], [ %19, %25 ], [ %19, %189 ], [ %19, %43 ], [ %19, %38 ], [ %19, %33 ], [ %19, %21 ]
  call void @BN_CTX_end(ptr noundef nonnull %.0196213) #5
  call void @EC_POINT_free(ptr noundef %.0194) #5
  call void @BN_CTX_free(ptr noundef %.0214) #5
  call void @EC_nistp256_pre_comp_free(ptr noundef %.0200)
  br label %193

193:                                              ; preds = %8, %192
  %.0195 = phi i32 [ %.0201, %192 ], [ 0, %8 ]
  call void @llvm.lifetime.end.p0(i64 64, ptr nonnull %6) #5
  call void @llvm.lifetime.end.p0(i64 64, ptr nonnull %5) #5
  call void @llvm.lifetime.end.p0(i64 64, ptr nonnull %4) #5
  call void @llvm.lifetime.end.p0(i64 1024, ptr nonnull %3) #5
  ret i32 %.0195
}

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

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

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

declare ptr @BN_CTX_new() local_unnamed_addr #2

declare void @BN_CTX_start(ptr noundef) local_unnamed_addr #2

declare ptr @BN_CTX_get(ptr noundef) local_unnamed_addr #2

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

declare void @BN_CTX_end(ptr noundef) local_unnamed_addr #2

declare void @BN_CTX_free(ptr noundef) local_unnamed_addr #2

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

declare ptr @EC_POINT_new(ptr noundef) local_unnamed_addr #2

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

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

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

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

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

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

declare void @EC_POINT_free(ptr noundef) local_unnamed_addr #2

declare void @EC_pre_comp_free(ptr noundef) local_unnamed_addr #2

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

; Function Attrs: nounwind uwtable
declare hidden ptr @nistp256_pre_comp_new() local_unnamed_addr #0

; Function Attrs: mustprogress nocallback nofree nounwind willreturn memory(argmem: readwrite)
declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #4

attributes #0 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { "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 nounwind willreturn memory(argmem: write) }
attributes #4 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: readwrite) }
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 8}
!6 = !{!"ec_group_st", !7, i64 0, !7, i64 8, !7, i64 16, !7, i64 24, !10, i64 32, !10, i64 36, !10, i64 40, !10, i64 44, !7, i64 48, !11, i64 56, !7, i64 64, !8, i64 72, !7, i64 96, !7, i64 104, !10, i64 112, !7, i64 120, !7, i64 128, !7, i64 136, !7, i64 144, !10, i64 152, !8, i64 160, !7, i64 168, !7, i64 176}
!7 = !{!"any pointer", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C/C++ TBAA"}
!10 = !{!"int", !8, i64 0}
!11 = !{!"long", !8, i64 0}
!12 = !{!13, !7, i64 16}
!13 = !{!"ec_point_st", !7, i64 0, !10, i64 8, !7, i64 16, !7, i64 24, !7, i64 32, !10, i64 40}
!14 = !{!13, !7, i64 24}
!15 = !{!13, !7, i64 32}
!16 = !{!6, !10, i64 152}
!17 = !{!8, !8, i64 0}


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