; LLVM IR from jim-b/ECCSI-SAKKE :: src/sakke (sakke)

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

@stdout = external global ptr, align 8
@.str.2 = external hidden unnamed_addr constant [14 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [23 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [32 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [20 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [14 x i8], align 1
@.str.49 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.66 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.67 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.68 = external hidden unnamed_addr constant [33 x i8], align 1
@.str.69 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.70 = external hidden unnamed_addr constant [21 x i8], align 1
@.str.71 = external hidden unnamed_addr constant [48 x i8], align 1
@.str.72 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.73 = external hidden unnamed_addr constant [23 x i8], align 1
@.str.74 = external hidden unnamed_addr constant [45 x i8], align 1
@.str.75 = external hidden unnamed_addr constant [31 x i8], align 1
@.str.76 = external hidden unnamed_addr constant [35 x i8], align 1
@.str.77 = external hidden unnamed_addr constant [49 x i8], align 1
@.str.78 = external hidden unnamed_addr constant [33 x i8], align 1
@.str.79 = external hidden unnamed_addr constant [59 x i8], align 1
@.str.80 = external hidden unnamed_addr constant [44 x i8], align 1
@.str.81 = external hidden unnamed_addr constant [24 x i8], align 1
@.str.82 = external hidden unnamed_addr constant [24 x i8], align 1
@.str.83 = external hidden unnamed_addr constant [23 x i8], align 1
@.str.84 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.85 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.86 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.87 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.88 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.89 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.90 = external hidden unnamed_addr constant [41 x i8], align 1
@.str.91 = external hidden unnamed_addr constant [43 x i8], align 1
@.str.92 = external hidden unnamed_addr constant [41 x i8], align 1
@.str.93 = external hidden unnamed_addr constant [32 x i8], align 1
@.str.94 = external hidden unnamed_addr constant [38 x i8], align 1
@.str.95 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.96 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.97 = external hidden unnamed_addr constant [64 x i8], align 1
@.str.98 = external hidden unnamed_addr constant [25 x i8], align 1
@.str.99 = external hidden unnamed_addr constant [24 x i8], align 1
@.str.100 = external hidden unnamed_addr constant [34 x i8], align 1
@.str.101 = external hidden unnamed_addr constant [35 x i8], align 1
@.str.102 = external hidden unnamed_addr constant [45 x i8], align 1
@.str.103 = external hidden unnamed_addr constant [33 x i8], align 1
@.str.104 = external hidden unnamed_addr constant [57 x i8], align 1
@.str.105 = external hidden unnamed_addr constant [24 x i8], align 1
@.str.106 = external hidden unnamed_addr constant [40 x i8], align 1
@.str.107 = external hidden unnamed_addr constant [65 x i8], align 1
@.str.108 = external hidden unnamed_addr constant [31 x i8], align 1
@.str.109 = external hidden unnamed_addr constant [32 x i8], align 1
@.str.110 = external hidden unnamed_addr constant [38 x i8], align 1
@.str.111 = external hidden unnamed_addr constant [38 x i8], align 1
@.str.112 = external hidden unnamed_addr constant [40 x i8], align 1
@.str.113 = external hidden unnamed_addr constant [40 x i8], align 1
@.str.114 = external hidden unnamed_addr constant [32 x i8], align 1
@.str.115 = external hidden unnamed_addr constant [45 x i8], align 1
@.str.116 = external hidden unnamed_addr constant [38 x i8], align 1
@.str.117 = external hidden unnamed_addr constant [44 x i8], align 1
@.str.118 = external hidden unnamed_addr constant [49 x i8], align 1
@.str.119 = external hidden unnamed_addr constant [41 x i8], align 1
@.str.120 = external hidden unnamed_addr constant [25 x i8], align 1
@.str.121 = external hidden unnamed_addr constant [49 x i8], align 1
@.str.122 = external hidden unnamed_addr constant [40 x i8], align 1
@.str.123 = external hidden unnamed_addr constant [40 x i8], align 1

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

declare ptr @BN_CTX_new() #1

; Function Attrs: nounwind
declare i32 @snprintf(ptr noundef, i64 noundef, ptr noundef, ...) #2

; Function Attrs: nounwind
declare i32 @fprintf(ptr noundef, ptr noundef, ...) #2

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

declare signext i16 @community_exists(ptr noundef) #1

declare zeroext i8 @community_get_paramSet(ptr noundef) #1

declare ptr @ms_getParameter_E(i8 noundef zeroext) #1

declare zeroext i16 @ms_getParameter_n(i8 noundef zeroext) #1

declare void @utils_printFormattedOctetString(i8 noundef zeroext, ptr noundef, ptr noundef, i8 noundef zeroext, ptr noundef, i64 noundef) #1

; Function Attrs: nounwind allocsize(0,1)
declare noalias ptr @calloc(i64 noundef, i64 noundef) #3

; 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

declare ptr @BN_new() #1

; Function Attrs: nounwind uwtable
declare hidden zeroext i8 @sakke_hashToIntegerRangeSHA256(ptr noundef, ptr noundef, i64 noundef, ptr noundef) #5

declare ptr @ms_getParameter_q(i8 noundef zeroext) #1

declare void @utils_BNdump(i8 noundef zeroext, ptr noundef, ptr noundef, i8 noundef zeroext, ptr noundef) #1

declare ptr @EC_POINT_new(ptr noundef) #1

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

declare ptr @community_getZ_point(ptr noundef) #1

declare i32 @EC_POINT_mul(ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef) #1

declare ptr @ms_getParameter_P(i8 noundef zeroext) #1

declare i32 @EC_POINT_add(ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef) #1

declare ptr @ms_getParameter_p(i8 noundef zeroext) #1

declare i32 @BN_set_bit(ptr noundef, i32 noundef) #1

declare i32 @BN_num_bits(ptr noundef) #1

declare i32 @BN_bn2bin(ptr noundef, ptr noundef) #1

declare i32 @BN_is_bit_set(ptr noundef, i32 noundef) #1

declare i32 @BN_clear_bit(ptr noundef, i32 noundef) #1

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

declare void @BN_clear_free(ptr noundef) #1

declare void @EC_POINT_clear_free(ptr noundef) #1

; Function Attrs: nounwind
declare void @free(ptr noundef) #2

declare void @BN_CTX_free(ptr noundef) #1

; Function Attrs: nounwind uwtable
define dso_local zeroext i8 @sakke_extractSharedSecret(ptr noundef %0, i64 noundef %1, ptr noundef %2, i64 noundef %3, ptr noundef %4, ptr noundef %5, ptr noundef %6) #5 {
  %8 = alloca ptr, align 8
  %9 = alloca i64, align 8
  %10 = alloca ptr, align 8
  %11 = alloca i64, align 8
  %12 = alloca ptr, align 8
  %13 = alloca ptr, align 8
  %14 = alloca ptr, align 8
  %15 = alloca i32, align 4
  %16 = alloca i16, align 2
  %17 = alloca i32, align 4
  %18 = alloca i32, align 4
  %19 = alloca i32, align 4
  %20 = alloca i32, align 4
  %21 = alloca ptr, align 8
  %22 = alloca ptr, align 8
  %23 = alloca ptr, align 8
  %24 = alloca ptr, align 8
  %25 = alloca ptr, align 8
  %26 = alloca ptr, align 8
  %27 = alloca ptr, align 8
  %28 = alloca ptr, align 8
  %29 = alloca ptr, align 8
  %30 = alloca ptr, align 8
  %31 = alloca ptr, align 8
  %32 = alloca ptr, align 8
  %33 = alloca ptr, align 8
  %34 = alloca ptr, align 8
  %35 = alloca ptr, align 8
  %36 = alloca ptr, align 8
  %37 = alloca ptr, align 8
  %38 = alloca ptr, align 8
  %39 = alloca ptr, align 8
  %40 = alloca i8, align 1
  %41 = alloca i32, align 4
  %42 = alloca i64, align 8
  %43 = alloca i64, align 8
  %44 = alloca ptr, align 8
  %45 = alloca [1200 x i8], align 16
  %46 = alloca [1200 x i8], align 16
  %47 = alloca [1200 x i8], align 16
  %48 = alloca [1200 x i8], align 16
  %49 = alloca [1200 x i8], align 16
  %50 = alloca [1200 x i8], align 16
  %51 = alloca [1200 x i8], align 16
  %52 = alloca [1200 x i8], align 16
  %53 = alloca [1200 x i8], align 16
  %54 = alloca [1200 x i8], align 16
  %55 = alloca [1200 x i8], align 16
  %56 = alloca [1200 x i8], align 16
  %57 = alloca [1200 x i8], align 16
  %58 = alloca [1200 x i8], align 16
  %59 = alloca [1200 x i8], align 16
  %60 = alloca [1200 x i8], align 16
  %61 = alloca [1200 x i8], align 16
  %62 = alloca [1200 x i8], align 16
  %63 = alloca [1200 x i8], align 16
  %64 = alloca [1200 x i8], align 16
  %65 = alloca [1200 x i8], align 16
  %66 = alloca [1200 x i8], align 16
  %67 = alloca [1200 x i8], align 16
  %68 = alloca [1200 x i8], align 16
  %69 = alloca [1200 x i8], align 16
  %70 = alloca [1200 x i8], align 16
  %71 = alloca [1200 x i8], align 16
  %72 = alloca [1200 x i8], align 16
  %73 = alloca [1200 x i8], align 16
  %74 = alloca [1200 x i8], align 16
  %75 = alloca [1200 x i8], align 16
  %76 = alloca [1200 x i8], align 16
  %77 = alloca [1200 x i8], align 16
  %78 = alloca [1200 x i8], align 16
  %79 = alloca [1200 x i8], align 16
  %80 = alloca [1200 x i8], align 16
  %81 = alloca [1200 x i8], align 16
  %82 = alloca [1200 x i8], align 16
  %83 = alloca [1200 x i8], align 16
  %84 = alloca [1200 x i8], align 16
  %85 = alloca [1200 x i8], align 16
  %86 = alloca [1200 x i8], align 16
  %87 = alloca [1200 x i8], align 16
  %88 = alloca [1200 x i8], align 16
  %89 = alloca [1200 x i8], align 16
  %90 = alloca [1200 x i8], align 16
  %91 = alloca [1200 x i8], align 16
  %92 = alloca [1200 x i8], align 16
  %93 = alloca [1200 x i8], align 16
  %94 = alloca [1200 x i8], align 16
  %95 = alloca [1200 x i8], align 16
  %96 = alloca [1200 x i8], align 16
  %97 = alloca [1200 x i8], align 16
  %98 = alloca [1200 x i8], align 16
  %99 = alloca [1200 x i8], align 16
  store ptr %0, ptr %8, align 8, !tbaa !5
  store i64 %1, ptr %9, align 8, !tbaa !9
  store ptr %2, ptr %10, align 8, !tbaa !5
  store i64 %3, ptr %11, align 8, !tbaa !9
  store ptr %4, ptr %12, align 8, !tbaa !5
  store ptr %5, ptr %13, align 8, !tbaa !5
  store ptr %6, ptr %14, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #8
  store i32 1, ptr %15, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 2, ptr %16) #8
  store i16 0, ptr %16, align 2, !tbaa !13
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #8
  store i32 0, ptr %17, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %18) #8
  store i32 0, ptr %18, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %19) #8
  store i32 0, ptr %19, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %20) #8
  store i32 0, ptr %20, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #8
  store ptr null, ptr %21, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #8
  store ptr null, ptr %22, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #8
  store ptr null, ptr %23, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #8
  store ptr null, ptr %24, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %25) #8
  store ptr null, ptr %25, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #8
  store ptr null, ptr %26, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #8
  store ptr null, ptr %27, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %28) #8
  store ptr null, ptr %28, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %29) #8
  store ptr null, ptr %29, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %30) #8
  store ptr null, ptr %30, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #8
  store ptr null, ptr %31, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %32) #8
  store ptr null, ptr %32, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %33) #8
  store ptr null, ptr %33, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %34) #8
  store ptr null, ptr %34, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %35) #8
  store ptr null, ptr %35, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %36) #8
  store ptr null, ptr %36, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %37) #8
  store ptr null, ptr %37, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %38) #8
  store ptr null, ptr %38, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %39) #8
  store ptr null, ptr %39, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 1, ptr %40) #8
  store i8 0, ptr %40, align 1, !tbaa !15
  call void @llvm.lifetime.start.p0(i64 4, ptr %41) #8
  store i32 0, ptr %41, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %42) #8
  store i64 0, ptr %42, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %43) #8
  store i64 0, ptr %43, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %44) #8
  store ptr null, ptr %44, align 8, !tbaa !5
  %100 = load ptr, ptr %8, align 8, !tbaa !5
  %101 = icmp eq ptr %100, null
  br i1 %101, label %102, label %108

102:                                              ; preds = %7
  call void @llvm.lifetime.start.p0(i64 1200, ptr %45) #8
  %103 = getelementptr inbounds [1200 x i8], ptr %45, i64 0, i64 0
  %104 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %103, i64 noundef 1200, ptr noundef @.str.66, ptr noundef @.str.67) #8
  %105 = load ptr, ptr @stdout, align 8, !tbaa !5
  %106 = getelementptr inbounds [1200 x i8], ptr %45, i64 0, i64 0
  %107 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %105, ptr noundef @.str.2, ptr noundef %106) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %45) #8
  store i16 1, ptr %16, align 2, !tbaa !13
  br label %202

108:                                              ; preds = %7
  %109 = load i64, ptr %9, align 8, !tbaa !9
  %110 = icmp eq i64 %109, 0
  br i1 %110, label %111, label %117

111:                                              ; preds = %108
  call void @llvm.lifetime.start.p0(i64 1200, ptr %46) #8
  %112 = getelementptr inbounds [1200 x i8], ptr %46, i64 0, i64 0
  %113 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %112, i64 noundef 1200, ptr noundef @.str.68, ptr noundef @.str.67) #8
  %114 = load ptr, ptr @stdout, align 8, !tbaa !5
  %115 = getelementptr inbounds [1200 x i8], ptr %46, i64 0, i64 0
  %116 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %114, ptr noundef @.str.2, ptr noundef %115) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %46) #8
  store i16 1, ptr %16, align 2, !tbaa !13
  br label %201

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

120:                                              ; preds = %117
  call void @llvm.lifetime.start.p0(i64 1200, ptr %47) #8
  %121 = getelementptr inbounds [1200 x i8], ptr %47, i64 0, i64 0
  %122 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %121, i64 noundef 1200, ptr noundef @.str.69, ptr noundef @.str.67) #8
  %123 = load ptr, ptr @stdout, align 8, !tbaa !5
  %124 = getelementptr inbounds [1200 x i8], ptr %47, i64 0, i64 0
  %125 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %123, ptr noundef @.str.2, ptr noundef %124) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %47) #8
  store i16 1, ptr %16, align 2, !tbaa !13
  br label %200

126:                                              ; preds = %117
  %127 = load i64, ptr %11, align 8, !tbaa !9
  %128 = icmp eq i64 %127, 0
  br i1 %128, label %129, label %135

129:                                              ; preds = %126
  call void @llvm.lifetime.start.p0(i64 1200, ptr %48) #8
  %130 = getelementptr inbounds [1200 x i8], ptr %48, i64 0, i64 0
  %131 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %130, i64 noundef 1200, ptr noundef @.str.5, ptr noundef @.str.67) #8
  %132 = load ptr, ptr @stdout, align 8, !tbaa !5
  %133 = getelementptr inbounds [1200 x i8], ptr %48, i64 0, i64 0
  %134 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %132, ptr noundef @.str.2, ptr noundef %133) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %48) #8
  store i16 1, ptr %16, align 2, !tbaa !13
  br label %199

135:                                              ; preds = %126
  %136 = load ptr, ptr %12, align 8, !tbaa !5
  %137 = icmp eq ptr %136, null
  br i1 %137, label %138, label %144

138:                                              ; preds = %135
  call void @llvm.lifetime.start.p0(i64 1200, ptr %49) #8
  %139 = getelementptr inbounds [1200 x i8], ptr %49, i64 0, i64 0
  %140 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %139, i64 noundef 1200, ptr noundef @.str.70, ptr noundef @.str.67) #8
  %141 = load ptr, ptr @stdout, align 8, !tbaa !5
  %142 = getelementptr inbounds [1200 x i8], ptr %49, i64 0, i64 0
  %143 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %141, ptr noundef @.str.2, ptr noundef %142) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %49) #8
  store i16 1, ptr %16, align 2, !tbaa !13
  br label %198

144:                                              ; preds = %135
  %145 = load ptr, ptr %12, align 8, !tbaa !5
  %146 = call signext i16 @community_exists(ptr noundef %145)
  %147 = icmp ne i16 %146, 0
  br i1 %147, label %155, label %148

148:                                              ; preds = %144
  call void @llvm.lifetime.start.p0(i64 1200, ptr %50) #8
  %149 = getelementptr inbounds [1200 x i8], ptr %50, i64 0, i64 0
  %150 = load ptr, ptr %12, align 8, !tbaa !5
  %151 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %149, i64 noundef 1200, ptr noundef @.str.7, ptr noundef %150, ptr noundef @.str.67) #8
  %152 = load ptr, ptr @stdout, align 8, !tbaa !5
  %153 = getelementptr inbounds [1200 x i8], ptr %50, i64 0, i64 0
  %154 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %152, ptr noundef @.str.2, ptr noundef %153) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %50) #8
  store i16 1, ptr %16, align 2, !tbaa !13
  br label %197

155:                                              ; preds = %144
  %156 = load ptr, ptr %10, align 8, !tbaa !5
  %157 = load i64, ptr %11, align 8, !tbaa !9
  %158 = load ptr, ptr %12, align 8, !tbaa !5
  %159 = call signext i16 @user_exists(ptr noundef %156, i64 noundef %157, ptr noundef %158)
  %160 = icmp ne i16 %159, 0
  br i1 %160, label %174, label %161

161:                                              ; preds = %155
  call void @llvm.lifetime.start.p0(i64 1200, ptr %51) #8
  %162 = getelementptr inbounds [1200 x i8], ptr %51, i64 0, i64 0
  %163 = load ptr, ptr %10, align 8, !tbaa !5
  %164 = load ptr, ptr %10, align 8, !tbaa !5
  %165 = load ptr, ptr %10, align 8, !tbaa !5
  %166 = call i64 @strlen(ptr noundef %165) #9
  %167 = getelementptr inbounds i8, ptr %164, i64 %166
  %168 = getelementptr inbounds i8, ptr %167, i64 1
  %169 = load ptr, ptr %12, align 8, !tbaa !5
  %170 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %162, i64 noundef 1200, ptr noundef @.str.71, ptr noundef @.str.67, ptr noundef %163, ptr noundef %168, ptr noundef %169) #8
  %171 = load ptr, ptr @stdout, align 8, !tbaa !5
  %172 = getelementptr inbounds [1200 x i8], ptr %51, i64 0, i64 0
  %173 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %171, ptr noundef @.str.2, ptr noundef %172) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %51) #8
  store i16 1, ptr %16, align 2, !tbaa !13
  br label %196

174:                                              ; preds = %155
  %175 = load ptr, ptr %13, align 8, !tbaa !5
  %176 = load ptr, ptr %175, align 8, !tbaa !5
  %177 = icmp ne ptr %176, null
  br i1 %177, label %178, label %184

178:                                              ; preds = %174
  call void @llvm.lifetime.start.p0(i64 1200, ptr %52) #8
  %179 = getelementptr inbounds [1200 x i8], ptr %52, i64 0, i64 0
  %180 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %179, i64 noundef 1200, ptr noundef @.str.72, ptr noundef @.str.67) #8
  %181 = load ptr, ptr @stdout, align 8, !tbaa !5
  %182 = getelementptr inbounds [1200 x i8], ptr %52, i64 0, i64 0
  %183 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %181, ptr noundef @.str.2, ptr noundef %182) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %52) #8
  store i16 1, ptr %16, align 2, !tbaa !13
  br label %195

184:                                              ; preds = %174
  %185 = load ptr, ptr %14, align 8, !tbaa !5
  %186 = load i64, ptr %185, align 8, !tbaa !9
  %187 = icmp ne i64 %186, 0
  br i1 %187, label %188, label %194

188:                                              ; preds = %184
  call void @llvm.lifetime.start.p0(i64 1200, ptr %53) #8
  %189 = getelementptr inbounds [1200 x i8], ptr %53, i64 0, i64 0
  %190 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %189, i64 noundef 1200, ptr noundef @.str.73, ptr noundef @.str.67) #8
  %191 = load ptr, ptr @stdout, align 8, !tbaa !5
  %192 = getelementptr inbounds [1200 x i8], ptr %53, i64 0, i64 0
  %193 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %191, ptr noundef @.str.2, ptr noundef %192) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %53) #8
  store i16 1, ptr %16, align 2, !tbaa !13
  br label %194

194:                                              ; preds = %188, %184
  br label %195

195:                                              ; preds = %194, %178
  br label %196

196:                                              ; preds = %195, %161
  br label %197

197:                                              ; preds = %196, %148
  br label %198

198:                                              ; preds = %197, %138
  br label %199

199:                                              ; preds = %198, %129
  br label %200

200:                                              ; preds = %199, %120
  br label %201

201:                                              ; preds = %200, %111
  br label %202

202:                                              ; preds = %201, %102
  %203 = load i16, ptr %16, align 2, !tbaa !13
  %204 = icmp ne i16 %203, 0
  br i1 %204, label %248, label %205

205:                                              ; preds = %202
  %206 = load ptr, ptr %12, align 8, !tbaa !5
  %207 = call zeroext i8 @community_get_paramSet(ptr noundef %206)
  store i8 %207, ptr %40, align 1, !tbaa !15
  %208 = zext i8 %207 to i32
  %209 = icmp ne i32 1, %208
  br i1 %209, label %210, label %218

210:                                              ; preds = %205
  call void @llvm.lifetime.start.p0(i64 1200, ptr %54) #8
  %211 = getelementptr inbounds [1200 x i8], ptr %54, i64 0, i64 0
  %212 = load i8, ptr %40, align 1, !tbaa !15
  %213 = zext i8 %212 to i32
  %214 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %211, i64 noundef 1200, ptr noundef @.str.10, ptr noundef @.str.67, i32 noundef %213) #8
  %215 = load ptr, ptr @stdout, align 8, !tbaa !5
  %216 = getelementptr inbounds [1200 x i8], ptr %54, i64 0, i64 0
  %217 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %215, ptr noundef @.str.2, ptr noundef %216) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %54) #8
  store i16 1, ptr %16, align 2, !tbaa !13
  br label %247

218:                                              ; preds = %205
  %219 = load i8, ptr %40, align 1, !tbaa !15
  %220 = call ptr @ms_getParameter_E(i8 noundef zeroext %219)
  store ptr %220, ptr %34, align 8, !tbaa !5
  %221 = icmp ne ptr %220, null
  br i1 %221, label %230, label %222

222:                                              ; preds = %218
  call void @llvm.lifetime.start.p0(i64 1200, ptr %55) #8
  %223 = getelementptr inbounds [1200 x i8], ptr %55, i64 0, i64 0
  %224 = load i8, ptr %40, align 1, !tbaa !15
  %225 = zext i8 %224 to i32
  %226 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %223, i64 noundef 1200, ptr noundef @.str.74, ptr noundef @.str.67, i32 noundef %225) #8
  %227 = load ptr, ptr @stdout, align 8, !tbaa !5
  %228 = getelementptr inbounds [1200 x i8], ptr %55, i64 0, i64 0
  %229 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %227, ptr noundef @.str.2, ptr noundef %228) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %55) #8
  store i16 1, ptr %16, align 2, !tbaa !13
  br label %246

230:                                              ; preds = %218
  %231 = load i8, ptr %40, align 1, !tbaa !15
  %232 = call zeroext i16 @ms_getParameter_n(i8 noundef zeroext %231)
  %233 = zext i16 %232 to i32
  %234 = sdiv i32 %233, 8
  %235 = sext i32 %234 to i64
  %236 = load ptr, ptr %14, align 8, !tbaa !5
  store i64 %235, ptr %236, align 8, !tbaa !9
  %237 = call ptr @BN_CTX_new()
  store ptr %237, ptr %44, align 8, !tbaa !5
  %238 = icmp ne ptr %237, null
  br i1 %238, label %245, label %239

239:                                              ; preds = %230
  call void @llvm.lifetime.start.p0(i64 1200, ptr %56) #8
  %240 = getelementptr inbounds [1200 x i8], ptr %56, i64 0, i64 0
  %241 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %240, i64 noundef 1200, ptr noundef @.str.75, ptr noundef @.str.67) #8
  %242 = load ptr, ptr @stdout, align 8, !tbaa !5
  %243 = getelementptr inbounds [1200 x i8], ptr %56, i64 0, i64 0
  %244 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %242, ptr noundef @.str.2, ptr noundef %243) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %56) #8
  store i16 1, ptr %16, align 2, !tbaa !13
  br label %245

245:                                              ; preds = %239, %230
  br label %246

246:                                              ; preds = %245, %222
  br label %247

247:                                              ; preds = %246, %210
  br label %248

248:                                              ; preds = %247, %202
  %249 = load i16, ptr %16, align 2, !tbaa !13
  %250 = icmp ne i16 %249, 0
  br i1 %250, label %257, label %251

251:                                              ; preds = %248
  call void @llvm.lifetime.start.p0(i64 1200, ptr %57) #8
  %252 = getelementptr inbounds [1200 x i8], ptr %57, i64 0, i64 0
  %253 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %252, i64 noundef 1200, ptr noundef @.str.49, ptr noundef @.str.76) #8
  %254 = load ptr, ptr @stdout, align 8, !tbaa !5
  %255 = getelementptr inbounds [1200 x i8], ptr %57, i64 0, i64 0
  %256 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %254, ptr noundef @.str.15, ptr noundef %255) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %57) #8
  br label %257

257:                                              ; preds = %251, %248
  %258 = load i16, ptr %16, align 2, !tbaa !13
  %259 = icmp ne i16 %258, 0
  br i1 %259, label %407, label %260

260:                                              ; preds = %257
  call void @llvm.lifetime.start.p0(i64 1200, ptr %58) #8
  %261 = getelementptr inbounds [1200 x i8], ptr %58, i64 0, i64 0
  %262 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %261, i64 noundef 1200, ptr noundef @.str.77, ptr noundef @.str.14) #8
  %263 = load ptr, ptr @stdout, align 8, !tbaa !5
  %264 = getelementptr inbounds [1200 x i8], ptr %58, i64 0, i64 0
  %265 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %263, ptr noundef @.str.15, ptr noundef %264) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %58) #8
  call void @llvm.lifetime.start.p0(i64 1200, ptr %59) #8
  %266 = getelementptr inbounds [1200 x i8], ptr %59, i64 0, i64 0
  %267 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %266, i64 noundef 1200, ptr noundef @.str.78, ptr noundef @.str.14) #8
  %268 = load ptr, ptr @stdout, align 8, !tbaa !5
  %269 = getelementptr inbounds [1200 x i8], ptr %59, i64 0, i64 0
  %270 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %268, ptr noundef @.str.15, ptr noundef %269) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %59) #8
  %271 = call ptr @ms_getParameter_p(i8 noundef zeroext 1)
  %272 = call i32 @BN_num_bits(ptr noundef %271)
  %273 = add nsw i32 %272, 7
  %274 = sdiv i32 %273, 8
  store i32 %274, ptr %17, align 4, !tbaa !11
  store i32 16, ptr %20, align 4, !tbaa !11
  %275 = load i32, ptr %17, align 4, !tbaa !11
  %276 = mul nsw i32 %275, 2
  %277 = add nsw i32 1, %276
  %278 = load i32, ptr %20, align 4, !tbaa !11
  %279 = add nsw i32 %277, %278
  store i32 %279, ptr %19, align 4, !tbaa !11
  %280 = load i64, ptr %9, align 8, !tbaa !9
  %281 = load i32, ptr %19, align 4, !tbaa !11
  %282 = sext i32 %281 to i64
  %283 = icmp ne i64 %280, %282
  br i1 %283, label %284, label %297

284:                                              ; preds = %260
  %285 = load i64, ptr %9, align 8, !tbaa !9
  %286 = load i32, ptr %19, align 4, !tbaa !11
  %287 = sub nsw i32 %286, 1
  %288 = sext i32 %287 to i64
  %289 = icmp ne i64 %285, %288
  br i1 %289, label %290, label %297

290:                                              ; preds = %284
  call void @llvm.lifetime.start.p0(i64 1200, ptr %60) #8
  %291 = getelementptr inbounds [1200 x i8], ptr %60, i64 0, i64 0
  %292 = load i64, ptr %9, align 8, !tbaa !9
  %293 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %291, i64 noundef 1200, ptr noundef @.str.79, ptr noundef @.str.67, i64 noundef %292) #8
  %294 = load ptr, ptr @stdout, align 8, !tbaa !5
  %295 = getelementptr inbounds [1200 x i8], ptr %60, i64 0, i64 0
  %296 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %294, ptr noundef @.str.2, ptr noundef %295) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %60) #8
  store i16 1, ptr %16, align 2, !tbaa !13
  br label %406

297:                                              ; preds = %284, %260
  %298 = load i64, ptr %9, align 8, !tbaa !9
  %299 = load i32, ptr %19, align 4, !tbaa !11
  %300 = sext i32 %299 to i64
  %301 = icmp eq i64 %298, %300
  br i1 %301, label %302, label %317

302:                                              ; preds = %297
  %303 = load ptr, ptr %8, align 8, !tbaa !5
  %304 = load i8, ptr %303, align 1, !tbaa !15
  %305 = zext i8 %304 to i32
  %306 = xor i32 %305, 4
  %307 = icmp ne i32 %306, 0
  br i1 %307, label %309, label %308

308:                                              ; preds = %302
  store i32 1, ptr %41, align 4, !tbaa !11
  br label %316

309:                                              ; preds = %302
  call void @llvm.lifetime.start.p0(i64 1200, ptr %61) #8
  %310 = getelementptr inbounds [1200 x i8], ptr %61, i64 0, i64 0
  %311 = load i64, ptr %9, align 8, !tbaa !9
  %312 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %310, i64 noundef 1200, ptr noundef @.str.80, ptr noundef @.str.67, i64 noundef %311) #8
  %313 = load ptr, ptr @stdout, align 8, !tbaa !5
  %314 = getelementptr inbounds [1200 x i8], ptr %61, i64 0, i64 0
  %315 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %313, ptr noundef @.str.2, ptr noundef %314) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %61) #8
  store i16 1, ptr %16, align 2, !tbaa !13
  br label %316

316:                                              ; preds = %309, %308
  br label %317

317:                                              ; preds = %316, %297
  %318 = load i16, ptr %16, align 2, !tbaa !13
  %319 = icmp ne i16 %318, 0
  br i1 %319, label %405, label %320

320:                                              ; preds = %317
  %321 = call noalias ptr @calloc(i64 noundef 1, i64 noundef 129) #10
  store ptr %321, ptr %36, align 8, !tbaa !5
  %322 = icmp ne ptr %321, null
  br i1 %322, label %329, label %323

323:                                              ; preds = %320
  call void @llvm.lifetime.start.p0(i64 1200, ptr %62) #8
  %324 = getelementptr inbounds [1200 x i8], ptr %62, i64 0, i64 0
  %325 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %324, i64 noundef 1200, ptr noundef @.str.81, ptr noundef @.str.67) #8
  %326 = load ptr, ptr @stdout, align 8, !tbaa !5
  %327 = getelementptr inbounds [1200 x i8], ptr %62, i64 0, i64 0
  %328 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %326, ptr noundef @.str.2, ptr noundef %327) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %62) #8
  store i16 1, ptr %16, align 2, !tbaa !13
  br label %404

329:                                              ; preds = %320
  %330 = call noalias ptr @calloc(i64 noundef 1, i64 noundef 129) #10
  store ptr %330, ptr %37, align 8, !tbaa !5
  %331 = icmp ne ptr %330, null
  br i1 %331, label %338, label %332

332:                                              ; preds = %329
  call void @llvm.lifetime.start.p0(i64 1200, ptr %63) #8
  %333 = getelementptr inbounds [1200 x i8], ptr %63, i64 0, i64 0
  %334 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %333, i64 noundef 1200, ptr noundef @.str.82, ptr noundef @.str.67) #8
  %335 = load ptr, ptr @stdout, align 8, !tbaa !5
  %336 = getelementptr inbounds [1200 x i8], ptr %63, i64 0, i64 0
  %337 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %335, ptr noundef @.str.2, ptr noundef %336) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %63) #8
  store i16 1, ptr %16, align 2, !tbaa !13
  br label %403

338:                                              ; preds = %329
  %339 = call noalias ptr @calloc(i64 noundef 1, i64 noundef 17) #10
  store ptr %339, ptr %35, align 8, !tbaa !5
  %340 = icmp ne ptr %339, null
  br i1 %340, label %347, label %341

341:                                              ; preds = %338
  call void @llvm.lifetime.start.p0(i64 1200, ptr %64) #8
  %342 = getelementptr inbounds [1200 x i8], ptr %64, i64 0, i64 0
  %343 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %342, i64 noundef 1200, ptr noundef @.str.83, ptr noundef @.str.67) #8
  %344 = load ptr, ptr @stdout, align 8, !tbaa !5
  %345 = getelementptr inbounds [1200 x i8], ptr %64, i64 0, i64 0
  %346 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %344, ptr noundef @.str.2, ptr noundef %345) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %64) #8
  store i16 1, ptr %16, align 2, !tbaa !13
  br label %402

347:                                              ; preds = %338
  %348 = load ptr, ptr %36, align 8, !tbaa !5
  %349 = load ptr, ptr %8, align 8, !tbaa !5
  %350 = load i32, ptr %41, align 4, !tbaa !11
  %351 = sext i32 %350 to i64
  %352 = getelementptr inbounds i8, ptr %349, i64 %351
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %348, ptr align 1 %352, i64 128, i1 false)
  %353 = load ptr, ptr %37, align 8, !tbaa !5
  %354 = load ptr, ptr %8, align 8, !tbaa !5
  %355 = load i32, ptr %41, align 4, !tbaa !11
  %356 = sext i32 %355 to i64
  %357 = getelementptr inbounds i8, ptr %354, i64 %356
  %358 = getelementptr inbounds i8, ptr %357, i64 128
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %353, ptr align 1 %358, i64 128, i1 false)
  %359 = load ptr, ptr %35, align 8, !tbaa !5
  %360 = load ptr, ptr %8, align 8, !tbaa !5
  %361 = load i32, ptr %41, align 4, !tbaa !11
  %362 = sext i32 %361 to i64
  %363 = getelementptr inbounds i8, ptr %360, i64 %362
  %364 = getelementptr inbounds i8, ptr %363, i64 128
  %365 = getelementptr inbounds i8, ptr %364, i64 128
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %359, ptr align 1 %365, i64 16, i1 false)
  %366 = load ptr, ptr %36, align 8, !tbaa !5
  %367 = call ptr @BN_bin2bn(ptr noundef %366, i32 noundef 128, ptr noundef null)
  store ptr %367, ptr %25, align 8, !tbaa !5
  %368 = icmp ne ptr %367, null
  br i1 %368, label %375, label %369

369:                                              ; preds = %347
  call void @llvm.lifetime.start.p0(i64 1200, ptr %65) #8
  %370 = getelementptr inbounds [1200 x i8], ptr %65, i64 0, i64 0
  %371 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %370, i64 noundef 1200, ptr noundef @.str.84, ptr noundef @.str.67) #8
  %372 = load ptr, ptr @stdout, align 8, !tbaa !5
  %373 = getelementptr inbounds [1200 x i8], ptr %65, i64 0, i64 0
  %374 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %372, ptr noundef @.str.2, ptr noundef %373) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %65) #8
  store i16 1, ptr %16, align 2, !tbaa !13
  br label %401

375:                                              ; preds = %347
  %376 = load ptr, ptr %37, align 8, !tbaa !5
  %377 = call ptr @BN_bin2bn(ptr noundef %376, i32 noundef 128, ptr noundef null)
  store ptr %377, ptr %26, align 8, !tbaa !5
  %378 = icmp ne ptr %377, null
  br i1 %378, label %385, label %379

379:                                              ; preds = %375
  call void @llvm.lifetime.start.p0(i64 1200, ptr %66) #8
  %380 = getelementptr inbounds [1200 x i8], ptr %66, i64 0, i64 0
  %381 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %380, i64 noundef 1200, ptr noundef @.str.85, ptr noundef @.str.67) #8
  %382 = load ptr, ptr @stdout, align 8, !tbaa !5
  %383 = getelementptr inbounds [1200 x i8], ptr %66, i64 0, i64 0
  %384 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %382, ptr noundef @.str.2, ptr noundef %383) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %66) #8
  store i16 1, ptr %16, align 2, !tbaa !13
  br label %400

385:                                              ; preds = %375
  %386 = load ptr, ptr %35, align 8, !tbaa !5
  %387 = call ptr @BN_bin2bn(ptr noundef %386, i32 noundef 16, ptr noundef null)
  store ptr %387, ptr %22, align 8, !tbaa !5
  %388 = icmp ne ptr %387, null
  br i1 %388, label %395, label %389

389:                                              ; preds = %385
  call void @llvm.lifetime.start.p0(i64 1200, ptr %67) #8
  %390 = getelementptr inbounds [1200 x i8], ptr %67, i64 0, i64 0
  %391 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %390, i64 noundef 1200, ptr noundef @.str.86, ptr noundef @.str.67) #8
  %392 = load ptr, ptr @stdout, align 8, !tbaa !5
  %393 = getelementptr inbounds [1200 x i8], ptr %67, i64 0, i64 0
  %394 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %392, ptr noundef @.str.2, ptr noundef %393) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %67) #8
  store i16 1, ptr %16, align 2, !tbaa !13
  br label %399

395:                                              ; preds = %385
  %396 = load ptr, ptr %25, align 8, !tbaa !5
  call void @utils_BNdump(i8 noundef zeroext 4, ptr noundef @.str.14, ptr noundef @.str.87, i8 noundef zeroext 6, ptr noundef %396)
  %397 = load ptr, ptr %26, align 8, !tbaa !5
  call void @utils_BNdump(i8 noundef zeroext 4, ptr noundef @.str.14, ptr noundef @.str.88, i8 noundef zeroext 6, ptr noundef %397)
  %398 = load ptr, ptr %22, align 8, !tbaa !5
  call void @utils_BNdump(i8 noundef zeroext 4, ptr noundef @.str.14, ptr noundef @.str.89, i8 noundef zeroext 6, ptr noundef %398)
  br label %399

399:                                              ; preds = %395, %389
  br label %400

400:                                              ; preds = %399, %379
  br label %401

401:                                              ; preds = %400, %369
  br label %402

402:                                              ; preds = %401, %341
  br label %403

403:                                              ; preds = %402, %332
  br label %404

404:                                              ; preds = %403, %323
  br label %405

405:                                              ; preds = %404, %317
  br label %406

406:                                              ; preds = %405, %290
  br label %407

407:                                              ; preds = %406, %257
  %408 = load i16, ptr %16, align 2, !tbaa !13
  %409 = icmp ne i16 %408, 0
  br i1 %409, label %480, label %410

410:                                              ; preds = %407
  call void @llvm.lifetime.start.p0(i64 1200, ptr %68) #8
  %411 = getelementptr inbounds [1200 x i8], ptr %68, i64 0, i64 0
  %412 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %411, i64 noundef 1200, ptr noundef @.str.90, ptr noundef @.str.14) #8
  %413 = load ptr, ptr @stdout, align 8, !tbaa !5
  %414 = getelementptr inbounds [1200 x i8], ptr %68, i64 0, i64 0
  %415 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %413, ptr noundef @.str.15, ptr noundef %414) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %68) #8
  %416 = load ptr, ptr %34, align 8, !tbaa !5
  %417 = call ptr @EC_POINT_new(ptr noundef %416)
  store ptr %417, ptr %31, align 8, !tbaa !5
  %418 = icmp ne ptr %417, null
  br i1 %418, label %425, label %419

419:                                              ; preds = %410
  call void @llvm.lifetime.start.p0(i64 1200, ptr %69) #8
  %420 = getelementptr inbounds [1200 x i8], ptr %69, i64 0, i64 0
  %421 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %420, i64 noundef 1200, ptr noundef @.str.91, ptr noundef @.str.67) #8
  %422 = load ptr, ptr @stdout, align 8, !tbaa !5
  %423 = getelementptr inbounds [1200 x i8], ptr %69, i64 0, i64 0
  %424 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %422, ptr noundef @.str.2, ptr noundef %423) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %69) #8
  store i16 1, ptr %16, align 2, !tbaa !13
  br label %479

425:                                              ; preds = %410
  %426 = load ptr, ptr %34, align 8, !tbaa !5
  %427 = load ptr, ptr %31, align 8, !tbaa !5
  %428 = load ptr, ptr %25, align 8, !tbaa !5
  %429 = load ptr, ptr %26, align 8, !tbaa !5
  %430 = load ptr, ptr %44, align 8, !tbaa !5
  %431 = call i32 @EC_POINT_set_affine_coordinates(ptr noundef %426, ptr noundef %427, ptr noundef %428, ptr noundef %429, ptr noundef %430)
  %432 = icmp eq i32 %431, 0
  br i1 %432, label %433, label %439

433:                                              ; preds = %425
  call void @llvm.lifetime.start.p0(i64 1200, ptr %70) #8
  %434 = getelementptr inbounds [1200 x i8], ptr %70, i64 0, i64 0
  %435 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %434, i64 noundef 1200, ptr noundef @.str.92, ptr noundef @.str.67) #8
  %436 = load ptr, ptr @stdout, align 8, !tbaa !5
  %437 = getelementptr inbounds [1200 x i8], ptr %70, i64 0, i64 0
  %438 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %436, ptr noundef @.str.2, ptr noundef %437) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %70) #8
  store i16 1, ptr %16, align 2, !tbaa !13
  br label %478

439:                                              ; preds = %425
  %440 = load ptr, ptr %10, align 8, !tbaa !5
  %441 = load i64, ptr %11, align 8, !tbaa !9
  %442 = load ptr, ptr %12, align 8, !tbaa !5
  %443 = call ptr @user_getRSKpoint(ptr noundef %440, i64 noundef %441, ptr noundef %442)
  store ptr %443, ptr %32, align 8, !tbaa !5
  %444 = icmp ne ptr %443, null
  br i1 %444, label %451, label %445

445:                                              ; preds = %439
  call void @llvm.lifetime.start.p0(i64 1200, ptr %71) #8
  %446 = getelementptr inbounds [1200 x i8], ptr %71, i64 0, i64 0
  %447 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %446, i64 noundef 1200, ptr noundef @.str.93, ptr noundef @.str.67) #8
  %448 = load ptr, ptr @stdout, align 8, !tbaa !5
  %449 = getelementptr inbounds [1200 x i8], ptr %71, i64 0, i64 0
  %450 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %448, ptr noundef @.str.2, ptr noundef %449) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %71) #8
  store i16 1, ptr %16, align 2, !tbaa !13
  br label %477

451:                                              ; preds = %439
  %452 = call ptr @BN_new()
  store ptr %452, ptr %28, align 8, !tbaa !5
  %453 = icmp ne ptr %452, null
  br i1 %453, label %460, label %454

454:                                              ; preds = %451
  call void @llvm.lifetime.start.p0(i64 1200, ptr %72) #8
  %455 = getelementptr inbounds [1200 x i8], ptr %72, i64 0, i64 0
  %456 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %455, i64 noundef 1200, ptr noundef @.str.94, ptr noundef @.str.67) #8
  %457 = load ptr, ptr @stdout, align 8, !tbaa !5
  %458 = getelementptr inbounds [1200 x i8], ptr %72, i64 0, i64 0
  %459 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %457, ptr noundef @.str.2, ptr noundef %458) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %72) #8
  store i16 1, ptr %16, align 2, !tbaa !13
  br label %476

460:                                              ; preds = %451
  %461 = load ptr, ptr %28, align 8, !tbaa !5
  %462 = load ptr, ptr %31, align 8, !tbaa !5
  %463 = load ptr, ptr %32, align 8, !tbaa !5
  %464 = load i8, ptr %40, align 1, !tbaa !15
  %465 = call zeroext i8 @sakke_computeTLPairing(ptr noundef %461, ptr noundef %462, ptr noundef %463, i8 noundef zeroext %464)
  %466 = icmp ne i8 %465, 0
  br i1 %466, label %467, label %473

467:                                              ; preds = %460
  call void @llvm.lifetime.start.p0(i64 1200, ptr %73) #8
  %468 = getelementptr inbounds [1200 x i8], ptr %73, i64 0, i64 0
  %469 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %468, i64 noundef 1200, ptr noundef @.str.95, ptr noundef @.str.67) #8
  %470 = load ptr, ptr @stdout, align 8, !tbaa !5
  %471 = getelementptr inbounds [1200 x i8], ptr %73, i64 0, i64 0
  %472 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %470, ptr noundef @.str.2, ptr noundef %471) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %73) #8
  store i16 1, ptr %16, align 2, !tbaa !13
  br label %475

473:                                              ; preds = %460
  %474 = load ptr, ptr %28, align 8, !tbaa !5
  call void @utils_BNdump(i8 noundef zeroext 4, ptr noundef @.str.14, ptr noundef @.str.96, i8 noundef zeroext 6, ptr noundef %474)
  br label %475

475:                                              ; preds = %473, %467
  br label %476

476:                                              ; preds = %475, %454
  br label %477

477:                                              ; preds = %476, %445
  br label %478

478:                                              ; preds = %477, %433
  br label %479

479:                                              ; preds = %478, %419
  br label %480

480:                                              ; preds = %479, %407
  %481 = load i16, ptr %16, align 2, !tbaa !13
  %482 = icmp ne i16 %481, 0
  br i1 %482, label %652, label %483

483:                                              ; preds = %480
  call void @llvm.lifetime.start.p0(i64 1200, ptr %74) #8
  %484 = getelementptr inbounds [1200 x i8], ptr %74, i64 0, i64 0
  %485 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %484, i64 noundef 1200, ptr noundef @.str.97, ptr noundef @.str.14) #8
  %486 = load ptr, ptr @stdout, align 8, !tbaa !5
  %487 = getelementptr inbounds [1200 x i8], ptr %74, i64 0, i64 0
  %488 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %486, ptr noundef @.str.15, ptr noundef %487) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %74) #8
  %489 = call noalias ptr @calloc(i64 noundef 1, i64 noundef 128) #10
  store ptr %489, ptr %39, align 8, !tbaa !5
  %490 = icmp ne ptr %489, null
  br i1 %490, label %497, label %491

491:                                              ; preds = %483
  call void @llvm.lifetime.start.p0(i64 1200, ptr %75) #8
  %492 = getelementptr inbounds [1200 x i8], ptr %75, i64 0, i64 0
  %493 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %492, i64 noundef 1200, ptr noundef @.str.98, ptr noundef @.str.67) #8
  %494 = load ptr, ptr @stdout, align 8, !tbaa !5
  %495 = getelementptr inbounds [1200 x i8], ptr %75, i64 0, i64 0
  %496 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %494, ptr noundef @.str.2, ptr noundef %495) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %75) #8
  store i16 1, ptr %16, align 2, !tbaa !13
  br label %651

497:                                              ; preds = %483
  %498 = load ptr, ptr %28, align 8, !tbaa !5
  %499 = load ptr, ptr %39, align 8, !tbaa !5
  %500 = call i32 @BN_bn2bin(ptr noundef %498, ptr noundef %499)
  %501 = sext i32 %500 to i64
  store i64 %501, ptr %43, align 8, !tbaa !9
  %502 = icmp ne i64 %501, 0
  br i1 %502, label %509, label %503

503:                                              ; preds = %497
  call void @llvm.lifetime.start.p0(i64 1200, ptr %76) #8
  %504 = getelementptr inbounds [1200 x i8], ptr %76, i64 0, i64 0
  %505 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %504, i64 noundef 1200, ptr noundef @.str.99, ptr noundef @.str.67) #8
  %506 = load ptr, ptr @stdout, align 8, !tbaa !5
  %507 = getelementptr inbounds [1200 x i8], ptr %76, i64 0, i64 0
  %508 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %506, ptr noundef @.str.2, ptr noundef %507) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %76) #8
  store i16 1, ptr %16, align 2, !tbaa !13
  br label %650

509:                                              ; preds = %497
  %510 = call ptr @BN_new()
  store ptr %510, ptr %27, align 8, !tbaa !5
  %511 = icmp ne ptr %510, null
  br i1 %511, label %518, label %512

512:                                              ; preds = %509
  call void @llvm.lifetime.start.p0(i64 1200, ptr %77) #8
  %513 = getelementptr inbounds [1200 x i8], ptr %77, i64 0, i64 0
  %514 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %513, i64 noundef 1200, ptr noundef @.str.100, ptr noundef @.str.67) #8
  %515 = load ptr, ptr @stdout, align 8, !tbaa !5
  %516 = getelementptr inbounds [1200 x i8], ptr %77, i64 0, i64 0
  %517 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %515, ptr noundef @.str.2, ptr noundef %516) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %77) #8
  store i16 1, ptr %16, align 2, !tbaa !13
  br label %649

518:                                              ; preds = %509
  %519 = load ptr, ptr %27, align 8, !tbaa !5
  %520 = load i8, ptr %40, align 1, !tbaa !15
  %521 = call zeroext i16 @ms_getParameter_n(i8 noundef zeroext %520)
  %522 = zext i16 %521 to i32
  %523 = call i32 @BN_set_bit(ptr noundef %519, i32 noundef %522)
  %524 = call ptr @BN_new()
  store ptr %524, ptr %23, align 8, !tbaa !5
  %525 = icmp ne ptr %524, null
  br i1 %525, label %532, label %526

526:                                              ; preds = %518
  call void @llvm.lifetime.start.p0(i64 1200, ptr %78) #8
  %527 = getelementptr inbounds [1200 x i8], ptr %78, i64 0, i64 0
  %528 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %527, i64 noundef 1200, ptr noundef @.str.101, ptr noundef @.str.67) #8
  %529 = load ptr, ptr @stdout, align 8, !tbaa !5
  %530 = getelementptr inbounds [1200 x i8], ptr %78, i64 0, i64 0
  %531 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %529, ptr noundef @.str.2, ptr noundef %530) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %78) #8
  store i16 1, ptr %16, align 2, !tbaa !13
  br label %648

532:                                              ; preds = %518
  %533 = load ptr, ptr %23, align 8, !tbaa !5
  %534 = load ptr, ptr %39, align 8, !tbaa !5
  %535 = load i64, ptr %43, align 8, !tbaa !9
  %536 = load ptr, ptr %27, align 8, !tbaa !5
  %537 = call zeroext i8 @sakke_hashToIntegerRangeSHA256(ptr noundef %533, ptr noundef %534, i64 noundef %535, ptr noundef %536)
  %538 = icmp ne i8 %537, 0
  br i1 %538, label %539, label %545

539:                                              ; preds = %532
  call void @llvm.lifetime.start.p0(i64 1200, ptr %79) #8
  %540 = getelementptr inbounds [1200 x i8], ptr %79, i64 0, i64 0
  %541 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %540, i64 noundef 1200, ptr noundef @.str.102, ptr noundef @.str.67) #8
  %542 = load ptr, ptr @stdout, align 8, !tbaa !5
  %543 = getelementptr inbounds [1200 x i8], ptr %79, i64 0, i64 0
  %544 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %542, ptr noundef @.str.2, ptr noundef %543) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %79) #8
  store i16 1, ptr %16, align 2, !tbaa !13
  br label %647

545:                                              ; preds = %532
  %546 = load ptr, ptr %23, align 8, !tbaa !5
  call void @utils_BNdump(i8 noundef zeroext 4, ptr noundef @.str.14, ptr noundef @.str.103, i8 noundef zeroext 6, ptr noundef %546)
  %547 = load ptr, ptr %22, align 8, !tbaa !5
  %548 = call i32 @BN_num_bits(ptr noundef %547)
  %549 = load ptr, ptr %23, align 8, !tbaa !5
  %550 = call i32 @BN_num_bits(ptr noundef %549)
  %551 = icmp sgt i32 %548, %550
  br i1 %551, label %552, label %555

552:                                              ; preds = %545
  %553 = load ptr, ptr %22, align 8, !tbaa !5
  %554 = call i32 @BN_num_bits(ptr noundef %553)
  br label %558

555:                                              ; preds = %545
  %556 = load ptr, ptr %23, align 8, !tbaa !5
  %557 = call i32 @BN_num_bits(ptr noundef %556)
  br label %558

558:                                              ; preds = %555, %552
  %559 = phi i32 [ %554, %552 ], [ %557, %555 ]
  store i32 %559, ptr %18, align 4, !tbaa !11
  br label %560

560:                                              ; preds = %581, %558
  %561 = load i32, ptr %18, align 4, !tbaa !11
  %562 = icmp sge i32 %561, 0
  br i1 %562, label %563, label %584

563:                                              ; preds = %560
  %564 = load ptr, ptr %22, align 8, !tbaa !5
  %565 = load i32, ptr %18, align 4, !tbaa !11
  %566 = call i32 @BN_is_bit_set(ptr noundef %564, i32 noundef %565)
  %567 = load ptr, ptr %23, align 8, !tbaa !5
  %568 = load i32, ptr %18, align 4, !tbaa !11
  %569 = call i32 @BN_is_bit_set(ptr noundef %567, i32 noundef %568)
  %570 = xor i32 %566, %569
  %571 = icmp ne i32 %570, 0
  br i1 %571, label %572, label %576

572:                                              ; preds = %563
  %573 = load ptr, ptr %22, align 8, !tbaa !5
  %574 = load i32, ptr %18, align 4, !tbaa !11
  %575 = call i32 @BN_set_bit(ptr noundef %573, i32 noundef %574)
  br label %580

576:                                              ; preds = %563
  %577 = load ptr, ptr %22, align 8, !tbaa !5
  %578 = load i32, ptr %18, align 4, !tbaa !11
  %579 = call i32 @BN_clear_bit(ptr noundef %577, i32 noundef %578)
  br label %580

580:                                              ; preds = %576, %572
  br label %581

581:                                              ; preds = %580
  %582 = load i32, ptr %18, align 4, !tbaa !11
  %583 = add nsw i32 %582, -1
  store i32 %583, ptr %18, align 4, !tbaa !11
  br label %560, !llvm.loop !16

584:                                              ; preds = %560
  %585 = load ptr, ptr %22, align 8, !tbaa !5
  %586 = call i32 @BN_num_bits(ptr noundef %585)
  %587 = add nsw i32 %586, 7
  %588 = sdiv i32 %587, 8
  %589 = sext i32 %588 to i64
  %590 = load ptr, ptr %14, align 8, !tbaa !5
  %591 = load i64, ptr %590, align 8, !tbaa !9
  %592 = icmp ugt i64 %589, %591
  br i1 %592, label %593, label %606

593:                                              ; preds = %584
  call void @llvm.lifetime.start.p0(i64 1200, ptr %80) #8
  %594 = getelementptr inbounds [1200 x i8], ptr %80, i64 0, i64 0
  %595 = load ptr, ptr %22, align 8, !tbaa !5
  %596 = call i32 @BN_num_bits(ptr noundef %595)
  %597 = add nsw i32 %596, 7
  %598 = sdiv i32 %597, 8
  %599 = load ptr, ptr %14, align 8, !tbaa !5
  %600 = load i64, ptr %599, align 8, !tbaa !9
  %601 = trunc i64 %600 to i32
  %602 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %594, i64 noundef 1200, ptr noundef @.str.104, ptr noundef @.str.67, i32 noundef %598, i32 noundef %601) #8
  %603 = load ptr, ptr @stdout, align 8, !tbaa !5
  %604 = getelementptr inbounds [1200 x i8], ptr %80, i64 0, i64 0
  %605 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %603, ptr noundef @.str.2, ptr noundef %604) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %80) #8
  store i16 1, ptr %16, align 2, !tbaa !13
  br label %646

606:                                              ; preds = %584
  %607 = load ptr, ptr %14, align 8, !tbaa !5
  %608 = load i64, ptr %607, align 8, !tbaa !9
  %609 = call noalias ptr @calloc(i64 noundef 1, i64 noundef %608) #10
  %610 = load ptr, ptr %13, align 8, !tbaa !5
  store ptr %609, ptr %610, align 8, !tbaa !5
  %611 = icmp ne ptr %609, null
  br i1 %611, label %618, label %612

612:                                              ; preds = %606
  call void @llvm.lifetime.start.p0(i64 1200, ptr %81) #8
  %613 = getelementptr inbounds [1200 x i8], ptr %81, i64 0, i64 0
  %614 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %613, i64 noundef 1200, ptr noundef @.str.98, ptr noundef @.str.67) #8
  %615 = load ptr, ptr @stdout, align 8, !tbaa !5
  %616 = getelementptr inbounds [1200 x i8], ptr %81, i64 0, i64 0
  %617 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %615, ptr noundef @.str.2, ptr noundef %616) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %81) #8
  store i16 1, ptr %16, align 2, !tbaa !13
  br label %645

618:                                              ; preds = %606
  %619 = load ptr, ptr %22, align 8, !tbaa !5
  %620 = load ptr, ptr %13, align 8, !tbaa !5
  %621 = load ptr, ptr %620, align 8, !tbaa !5
  %622 = load ptr, ptr %14, align 8, !tbaa !5
  %623 = load i64, ptr %622, align 8, !tbaa !9
  %624 = load ptr, ptr %22, align 8, !tbaa !5
  %625 = call i32 @BN_num_bits(ptr noundef %624)
  %626 = add nsw i32 %625, 7
  %627 = sdiv i32 %626, 8
  %628 = sext i32 %627 to i64
  %629 = sub i64 %623, %628
  %630 = getelementptr inbounds i8, ptr %621, i64 %629
  %631 = call i32 @BN_bn2bin(ptr noundef %619, ptr noundef %630)
  %632 = icmp ne i32 %631, 0
  br i1 %632, label %639, label %633

633:                                              ; preds = %618
  call void @llvm.lifetime.start.p0(i64 1200, ptr %82) #8
  %634 = getelementptr inbounds [1200 x i8], ptr %82, i64 0, i64 0
  %635 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %634, i64 noundef 1200, ptr noundef @.str.105, ptr noundef @.str.67) #8
  %636 = load ptr, ptr @stdout, align 8, !tbaa !5
  %637 = getelementptr inbounds [1200 x i8], ptr %82, i64 0, i64 0
  %638 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %636, ptr noundef @.str.2, ptr noundef %637) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %82) #8
  store i16 1, ptr %16, align 2, !tbaa !13
  br label %644

639:                                              ; preds = %618
  %640 = load ptr, ptr %13, align 8, !tbaa !5
  %641 = load ptr, ptr %640, align 8, !tbaa !5
  %642 = load ptr, ptr %14, align 8, !tbaa !5
  %643 = load i64, ptr %642, align 8, !tbaa !9
  call void @utils_printFormattedOctetString(i8 noundef zeroext 4, ptr noundef @.str.14, ptr noundef @.str.106, i8 noundef zeroext 6, ptr noundef %641, i64 noundef %643)
  br label %644

644:                                              ; preds = %639, %633
  br label %645

645:                                              ; preds = %644, %612
  br label %646

646:                                              ; preds = %645, %593
  br label %647

647:                                              ; preds = %646, %539
  br label %648

648:                                              ; preds = %647, %526
  br label %649

649:                                              ; preds = %648, %512
  br label %650

650:                                              ; preds = %649, %503
  br label %651

651:                                              ; preds = %650, %491
  br label %652

652:                                              ; preds = %651, %480
  %653 = load i16, ptr %16, align 2, !tbaa !13
  %654 = icmp ne i16 %653, 0
  br i1 %654, label %728, label %655

655:                                              ; preds = %652
  call void @llvm.lifetime.start.p0(i64 1200, ptr %83) #8
  %656 = getelementptr inbounds [1200 x i8], ptr %83, i64 0, i64 0
  %657 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %656, i64 noundef 1200, ptr noundef @.str.107, ptr noundef @.str.14) #8
  %658 = load ptr, ptr @stdout, align 8, !tbaa !5
  %659 = getelementptr inbounds [1200 x i8], ptr %83, i64 0, i64 0
  %660 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %658, ptr noundef @.str.15, ptr noundef %659) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %83) #8
  %661 = load ptr, ptr %14, align 8, !tbaa !5
  %662 = load i64, ptr %661, align 8, !tbaa !9
  %663 = load i64, ptr %11, align 8, !tbaa !9
  %664 = add i64 %662, %663
  store i64 %664, ptr %42, align 8, !tbaa !9
  %665 = load i64, ptr %42, align 8, !tbaa !9
  %666 = add i64 %665, 1
  %667 = call noalias ptr @calloc(i64 noundef 1, i64 noundef %666) #10
  store ptr %667, ptr %38, align 8, !tbaa !5
  %668 = icmp ne ptr %667, null
  br i1 %668, label %675, label %669

669:                                              ; preds = %655
  call void @llvm.lifetime.start.p0(i64 1200, ptr %84) #8
  %670 = getelementptr inbounds [1200 x i8], ptr %84, i64 0, i64 0
  %671 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %670, i64 noundef 1200, ptr noundef @.str.108, ptr noundef @.str.67) #8
  %672 = load ptr, ptr @stdout, align 8, !tbaa !5
  %673 = getelementptr inbounds [1200 x i8], ptr %84, i64 0, i64 0
  %674 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %672, ptr noundef @.str.2, ptr noundef %673) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %84) #8
  store i16 1, ptr %16, align 2, !tbaa !13
  br label %727

675:                                              ; preds = %655
  %676 = load ptr, ptr %22, align 8, !tbaa !5
  %677 = load ptr, ptr %38, align 8, !tbaa !5
  %678 = load ptr, ptr %22, align 8, !tbaa !5
  %679 = call i32 @BN_num_bits(ptr noundef %678)
  %680 = add nsw i32 %679, 7
  %681 = sdiv i32 %680, 8
  %682 = sub nsw i32 16, %681
  %683 = sext i32 %682 to i64
  %684 = getelementptr inbounds i8, ptr %677, i64 %683
  %685 = call i32 @BN_bn2bin(ptr noundef %676, ptr noundef %684)
  %686 = icmp ne i32 %685, 0
  br i1 %686, label %693, label %687

687:                                              ; preds = %675
  call void @llvm.lifetime.start.p0(i64 1200, ptr %85) #8
  %688 = getelementptr inbounds [1200 x i8], ptr %85, i64 0, i64 0
  %689 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %688, i64 noundef 1200, ptr noundef @.str.105, ptr noundef @.str.67) #8
  %690 = load ptr, ptr @stdout, align 8, !tbaa !5
  %691 = getelementptr inbounds [1200 x i8], ptr %85, i64 0, i64 0
  %692 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %690, ptr noundef @.str.2, ptr noundef %691) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %85) #8
  store i16 1, ptr %16, align 2, !tbaa !13
  br label %726

693:                                              ; preds = %675
  %694 = load ptr, ptr %38, align 8, !tbaa !5
  %695 = load ptr, ptr %14, align 8, !tbaa !5
  %696 = load i64, ptr %695, align 8, !tbaa !9
  %697 = getelementptr inbounds i8, ptr %694, i64 %696
  %698 = load ptr, ptr %10, align 8, !tbaa !5
  %699 = load i64, ptr %11, align 8, !tbaa !9
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %697, ptr align 1 %698, i64 %699, i1 false)
  %700 = call ptr @BN_new()
  store ptr %700, ptr %24, align 8, !tbaa !5
  %701 = icmp ne ptr %700, null
  br i1 %701, label %708, label %702

702:                                              ; preds = %693
  call void @llvm.lifetime.start.p0(i64 1200, ptr %86) #8
  %703 = getelementptr inbounds [1200 x i8], ptr %86, i64 0, i64 0
  %704 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %703, i64 noundef 1200, ptr noundef @.str.109, ptr noundef @.str.67) #8
  %705 = load ptr, ptr @stdout, align 8, !tbaa !5
  %706 = getelementptr inbounds [1200 x i8], ptr %86, i64 0, i64 0
  %707 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %705, ptr noundef @.str.2, ptr noundef %706) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %86) #8
  store i16 1, ptr %16, align 2, !tbaa !13
  br label %725

708:                                              ; preds = %693
  %709 = load ptr, ptr %24, align 8, !tbaa !5
  %710 = load ptr, ptr %38, align 8, !tbaa !5
  %711 = load i64, ptr %42, align 8, !tbaa !9
  %712 = load i8, ptr %40, align 1, !tbaa !15
  %713 = call ptr @ms_getParameter_q(i8 noundef zeroext %712)
  %714 = call zeroext i8 @sakke_hashToIntegerRangeSHA256(ptr noundef %709, ptr noundef %710, i64 noundef %711, ptr noundef %713)
  %715 = icmp ne i8 %714, 0
  br i1 %715, label %716, label %722

716:                                              ; preds = %708
  call void @llvm.lifetime.start.p0(i64 1200, ptr %87) #8
  %717 = getelementptr inbounds [1200 x i8], ptr %87, i64 0, i64 0
  %718 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %717, i64 noundef 1200, ptr noundef @.str.102, ptr noundef @.str.67) #8
  %719 = load ptr, ptr @stdout, align 8, !tbaa !5
  %720 = getelementptr inbounds [1200 x i8], ptr %87, i64 0, i64 0
  %721 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %719, ptr noundef @.str.2, ptr noundef %720) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %87) #8
  store i16 1, ptr %16, align 2, !tbaa !13
  br label %724

722:                                              ; preds = %708
  %723 = load ptr, ptr %24, align 8, !tbaa !5
  call void @utils_BNdump(i8 noundef zeroext 4, ptr noundef @.str.14, ptr noundef @.str.110, i8 noundef zeroext 6, ptr noundef %723)
  br label %724

724:                                              ; preds = %722, %716
  br label %725

725:                                              ; preds = %724, %702
  br label %726

726:                                              ; preds = %725, %687
  br label %727

727:                                              ; preds = %726, %669
  br label %728

728:                                              ; preds = %727, %652
  %729 = load i16, ptr %16, align 2, !tbaa !13
  %730 = icmp ne i16 %729, 0
  br i1 %730, label %869, label %731

731:                                              ; preds = %728
  call void @llvm.lifetime.start.p0(i64 1200, ptr %88) #8
  %732 = getelementptr inbounds [1200 x i8], ptr %88, i64 0, i64 0
  %733 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %732, i64 noundef 1200, ptr noundef @.str.111, ptr noundef @.str.14) #8
  %734 = load ptr, ptr @stdout, align 8, !tbaa !5
  %735 = getelementptr inbounds [1200 x i8], ptr %88, i64 0, i64 0
  %736 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %734, ptr noundef @.str.15, ptr noundef %735) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %88) #8
  %737 = load ptr, ptr %12, align 8, !tbaa !5
  %738 = call ptr @community_getZ_point(ptr noundef %737)
  store ptr %738, ptr %29, align 8, !tbaa !5
  %739 = icmp ne ptr %738, null
  br i1 %739, label %746, label %740

740:                                              ; preds = %731
  call void @llvm.lifetime.start.p0(i64 1200, ptr %89) #8
  %741 = getelementptr inbounds [1200 x i8], ptr %89, i64 0, i64 0
  %742 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %741, i64 noundef 1200, ptr noundef @.str.112, ptr noundef @.str.67) #8
  %743 = load ptr, ptr @stdout, align 8, !tbaa !5
  %744 = getelementptr inbounds [1200 x i8], ptr %89, i64 0, i64 0
  %745 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %743, ptr noundef @.str.2, ptr noundef %744) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %89) #8
  store i16 1, ptr %16, align 2, !tbaa !13
  br label %868

746:                                              ; preds = %731
  %747 = load i8, ptr %40, align 1, !tbaa !15
  %748 = call ptr @ms_getParameter_P(i8 noundef zeroext %747)
  store ptr %748, ptr %30, align 8, !tbaa !5
  %749 = icmp ne ptr %748, null
  br i1 %749, label %756, label %750

750:                                              ; preds = %746
  call void @llvm.lifetime.start.p0(i64 1200, ptr %90) #8
  %751 = getelementptr inbounds [1200 x i8], ptr %90, i64 0, i64 0
  %752 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %751, i64 noundef 1200, ptr noundef @.str.113, ptr noundef @.str.67) #8
  %753 = load ptr, ptr @stdout, align 8, !tbaa !5
  %754 = getelementptr inbounds [1200 x i8], ptr %90, i64 0, i64 0
  %755 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %753, ptr noundef @.str.2, ptr noundef %754) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %90) #8
  store i16 1, ptr %16, align 2, !tbaa !13
  br label %867

756:                                              ; preds = %746
  %757 = load ptr, ptr %10, align 8, !tbaa !5
  %758 = load i64, ptr %11, align 8, !tbaa !9
  %759 = trunc i64 %758 to i32
  %760 = call ptr @BN_bin2bn(ptr noundef %757, i32 noundef %759, ptr noundef null)
  store ptr %760, ptr %21, align 8, !tbaa !5
  %761 = icmp ne ptr %760, null
  br i1 %761, label %768, label %762

762:                                              ; preds = %756
  call void @llvm.lifetime.start.p0(i64 1200, ptr %91) #8
  %763 = getelementptr inbounds [1200 x i8], ptr %91, i64 0, i64 0
  %764 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %763, i64 noundef 1200, ptr noundef @.str.114, ptr noundef @.str.67) #8
  %765 = load ptr, ptr @stdout, align 8, !tbaa !5
  %766 = getelementptr inbounds [1200 x i8], ptr %91, i64 0, i64 0
  %767 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %765, ptr noundef @.str.2, ptr noundef %766) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %91) #8
  store i16 1, ptr %16, align 2, !tbaa !13
  br label %866

768:                                              ; preds = %756
  %769 = load i8, ptr %40, align 1, !tbaa !15
  %770 = call ptr @ms_getParameter_E(i8 noundef zeroext %769)
  %771 = call ptr @EC_POINT_new(ptr noundef %770)
  store ptr %771, ptr %33, align 8, !tbaa !5
  %772 = icmp ne ptr %771, null
  br i1 %772, label %779, label %773

773:                                              ; preds = %768
  call void @llvm.lifetime.start.p0(i64 1200, ptr %92) #8
  %774 = getelementptr inbounds [1200 x i8], ptr %92, i64 0, i64 0
  %775 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %774, i64 noundef 1200, ptr noundef @.str.115, ptr noundef @.str.67) #8
  %776 = load ptr, ptr @stdout, align 8, !tbaa !5
  %777 = getelementptr inbounds [1200 x i8], ptr %92, i64 0, i64 0
  %778 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %776, ptr noundef @.str.2, ptr noundef %777) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %92) #8
  store i16 1, ptr %16, align 2, !tbaa !13
  br label %865

779:                                              ; preds = %768
  %780 = load ptr, ptr %34, align 8, !tbaa !5
  %781 = load ptr, ptr %33, align 8, !tbaa !5
  %782 = load ptr, ptr %30, align 8, !tbaa !5
  %783 = load ptr, ptr %21, align 8, !tbaa !5
  %784 = load ptr, ptr %44, align 8, !tbaa !5
  %785 = call i32 @EC_POINT_mul(ptr noundef %780, ptr noundef %781, ptr noundef null, ptr noundef %782, ptr noundef %783, ptr noundef %784)
  %786 = icmp ne i32 %785, 0
  br i1 %786, label %793, label %787

787:                                              ; preds = %779
  call void @llvm.lifetime.start.p0(i64 1200, ptr %93) #8
  %788 = getelementptr inbounds [1200 x i8], ptr %93, i64 0, i64 0
  %789 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %788, i64 noundef 1200, ptr noundef @.str.116, ptr noundef @.str.67) #8
  %790 = load ptr, ptr @stdout, align 8, !tbaa !5
  %791 = getelementptr inbounds [1200 x i8], ptr %93, i64 0, i64 0
  %792 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %790, ptr noundef @.str.2, ptr noundef %791) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %93) #8
  store i16 1, ptr %16, align 2, !tbaa !13
  br label %864

793:                                              ; preds = %779
  %794 = load ptr, ptr %34, align 8, !tbaa !5
  %795 = load ptr, ptr %33, align 8, !tbaa !5
  %796 = load ptr, ptr %33, align 8, !tbaa !5
  %797 = load ptr, ptr %29, align 8, !tbaa !5
  %798 = load ptr, ptr %44, align 8, !tbaa !5
  %799 = call i32 @EC_POINT_add(ptr noundef %794, ptr noundef %795, ptr noundef %796, ptr noundef %797, ptr noundef %798)
  %800 = icmp ne i32 %799, 0
  br i1 %800, label %807, label %801

801:                                              ; preds = %793
  call void @llvm.lifetime.start.p0(i64 1200, ptr %94) #8
  %802 = getelementptr inbounds [1200 x i8], ptr %94, i64 0, i64 0
  %803 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %802, i64 noundef 1200, ptr noundef @.str.117, ptr noundef @.str.67) #8
  %804 = load ptr, ptr @stdout, align 8, !tbaa !5
  %805 = getelementptr inbounds [1200 x i8], ptr %94, i64 0, i64 0
  %806 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %804, ptr noundef @.str.2, ptr noundef %805) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %94) #8
  store i16 1, ptr %16, align 2, !tbaa !13
  br label %863

807:                                              ; preds = %793
  %808 = load ptr, ptr %34, align 8, !tbaa !5
  %809 = load ptr, ptr %33, align 8, !tbaa !5
  %810 = load ptr, ptr %33, align 8, !tbaa !5
  %811 = load ptr, ptr %24, align 8, !tbaa !5
  %812 = load ptr, ptr %44, align 8, !tbaa !5
  %813 = call i32 @EC_POINT_mul(ptr noundef %808, ptr noundef %809, ptr noundef null, ptr noundef %810, ptr noundef %811, ptr noundef %812)
  %814 = icmp ne i32 %813, 0
  br i1 %814, label %821, label %815

815:                                              ; preds = %807
  call void @llvm.lifetime.start.p0(i64 1200, ptr %95) #8
  %816 = getelementptr inbounds [1200 x i8], ptr %95, i64 0, i64 0
  %817 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %816, i64 noundef 1200, ptr noundef @.str.118, ptr noundef @.str.67) #8
  %818 = load ptr, ptr @stdout, align 8, !tbaa !5
  %819 = getelementptr inbounds [1200 x i8], ptr %95, i64 0, i64 0
  %820 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %818, ptr noundef @.str.2, ptr noundef %819) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %95) #8
  store i16 1, ptr %16, align 2, !tbaa !13
  br label %862

821:                                              ; preds = %807
  %822 = load ptr, ptr %34, align 8, !tbaa !5
  %823 = load ptr, ptr %33, align 8, !tbaa !5
  call void @utils_displayAffineCoordinates(i8 noundef zeroext 4, ptr noundef @.str.14, ptr noundef @.str.119, i8 noundef zeroext 8, ptr noundef %822, ptr noundef %823)
  %824 = load ptr, ptr %34, align 8, !tbaa !5
  %825 = load ptr, ptr %33, align 8, !tbaa !5
  %826 = load ptr, ptr %31, align 8, !tbaa !5
  %827 = load ptr, ptr %44, align 8, !tbaa !5
  %828 = call i32 @EC_POINT_cmp(ptr noundef %824, ptr noundef %825, ptr noundef %826, ptr noundef %827)
  %829 = icmp eq i32 %828, 0
  br i1 %829, label %830, label %850

830:                                              ; preds = %821
  call void @llvm.lifetime.start.p0(i64 1200, ptr %96) #8
  %831 = getelementptr inbounds [1200 x i8], ptr %96, i64 0, i64 0
  %832 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %831, i64 noundef 1200, ptr noundef @.str.120, ptr noundef @.str.14) #8
  %833 = load ptr, ptr @stdout, align 8, !tbaa !5
  %834 = getelementptr inbounds [1200 x i8], ptr %96, i64 0, i64 0
  %835 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %833, ptr noundef @.str.15, ptr noundef %834) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %96) #8
  %836 = load ptr, ptr %13, align 8, !tbaa !5
  %837 = load ptr, ptr %836, align 8, !tbaa !5
  %838 = load ptr, ptr %14, align 8, !tbaa !5
  %839 = load i64, ptr %838, align 8, !tbaa !9
  call void @utils_printFormattedOctetString(i8 noundef zeroext 4, ptr noundef @.str.14, ptr noundef @.str.106, i8 noundef zeroext 8, ptr noundef %837, i64 noundef %839)
  store i32 0, ptr %15, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 1200, ptr %97) #8
  %840 = getelementptr inbounds [1200 x i8], ptr %97, i64 0, i64 0
  %841 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %840, i64 noundef 1200, ptr noundef @.str.121, ptr noundef @.str.14) #8
  %842 = load ptr, ptr @stdout, align 8, !tbaa !5
  %843 = getelementptr inbounds [1200 x i8], ptr %97, i64 0, i64 0
  %844 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %842, ptr noundef @.str.15, ptr noundef %843) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %97) #8
  call void @llvm.lifetime.start.p0(i64 1200, ptr %98) #8
  %845 = getelementptr inbounds [1200 x i8], ptr %98, i64 0, i64 0
  %846 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %845, i64 noundef 1200, ptr noundef @.str.122, ptr noundef @.str.14) #8
  %847 = load ptr, ptr @stdout, align 8, !tbaa !5
  %848 = getelementptr inbounds [1200 x i8], ptr %98, i64 0, i64 0
  %849 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %847, ptr noundef @.str.15, ptr noundef %848) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %98) #8
  br label %861

850:                                              ; preds = %821
  call void @llvm.lifetime.start.p0(i64 1200, ptr %99) #8
  %851 = getelementptr inbounds [1200 x i8], ptr %99, i64 0, i64 0
  %852 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %851, i64 noundef 1200, ptr noundef @.str.123, ptr noundef @.str.14) #8
  %853 = load ptr, ptr @stdout, align 8, !tbaa !5
  %854 = getelementptr inbounds [1200 x i8], ptr %99, i64 0, i64 0
  %855 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %853, ptr noundef @.str.15, ptr noundef %854) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %99) #8
  %856 = load ptr, ptr %13, align 8, !tbaa !5
  %857 = load ptr, ptr %856, align 8, !tbaa !5
  %858 = load ptr, ptr %14, align 8, !tbaa !5
  %859 = load i64, ptr %858, align 8, !tbaa !9
  call void @llvm.memset.p0.i64(ptr align 1 %857, i8 0, i64 %859, i1 false)
  %860 = load ptr, ptr %13, align 8, !tbaa !5
  store ptr null, ptr %860, align 8, !tbaa !5
  br label %861

861:                                              ; preds = %850, %830
  br label %862

862:                                              ; preds = %861, %815
  br label %863

863:                                              ; preds = %862, %801
  br label %864

864:                                              ; preds = %863, %787
  br label %865

865:                                              ; preds = %864, %773
  br label %866

866:                                              ; preds = %865, %762
  br label %867

867:                                              ; preds = %866, %750
  br label %868

868:                                              ; preds = %867, %740
  br label %869

869:                                              ; preds = %868, %728
  %870 = load ptr, ptr %21, align 8, !tbaa !5
  call void @BN_clear_free(ptr noundef %870)
  %871 = load ptr, ptr %22, align 8, !tbaa !5
  call void @BN_clear_free(ptr noundef %871)
  %872 = load ptr, ptr %23, align 8, !tbaa !5
  call void @BN_clear_free(ptr noundef %872)
  %873 = load ptr, ptr %24, align 8, !tbaa !5
  call void @BN_clear_free(ptr noundef %873)
  %874 = load ptr, ptr %25, align 8, !tbaa !5
  call void @BN_clear_free(ptr noundef %874)
  %875 = load ptr, ptr %26, align 8, !tbaa !5
  call void @BN_clear_free(ptr noundef %875)
  %876 = load ptr, ptr %27, align 8, !tbaa !5
  call void @BN_clear_free(ptr noundef %876)
  %877 = load ptr, ptr %28, align 8, !tbaa !5
  call void @BN_clear_free(ptr noundef %877)
  store ptr null, ptr %34, align 8, !tbaa !5
  %878 = load ptr, ptr %39, align 8, !tbaa !5
  %879 = icmp ne ptr %878, null
  br i1 %879, label %880, label %884

880:                                              ; preds = %869
  %881 = load ptr, ptr %39, align 8, !tbaa !5
  %882 = load i64, ptr %43, align 8, !tbaa !9
  call void @llvm.memset.p0.i64(ptr align 1 %881, i8 0, i64 %882, i1 false)
  %883 = load ptr, ptr %39, align 8, !tbaa !5
  call void @free(ptr noundef %883) #8
  br label %884

884:                                              ; preds = %880, %869
  %885 = load ptr, ptr %36, align 8, !tbaa !5
  %886 = icmp ne ptr %885, null
  br i1 %886, label %887, label %890

887:                                              ; preds = %884
  %888 = load ptr, ptr %36, align 8, !tbaa !5
  call void @llvm.memset.p0.i64(ptr align 1 %888, i8 0, i64 128, i1 false)
  %889 = load ptr, ptr %36, align 8, !tbaa !5
  call void @free(ptr noundef %889) #8
  br label %890

890:                                              ; preds = %887, %884
  %891 = load ptr, ptr %37, align 8, !tbaa !5
  %892 = icmp ne ptr %891, null
  br i1 %892, label %893, label %896

893:                                              ; preds = %890
  %894 = load ptr, ptr %37, align 8, !tbaa !5
  call void @llvm.memset.p0.i64(ptr align 1 %894, i8 0, i64 129, i1 false)
  %895 = load ptr, ptr %37, align 8, !tbaa !5
  call void @free(ptr noundef %895) #8
  br label %896

896:                                              ; preds = %893, %890
  %897 = load ptr, ptr %35, align 8, !tbaa !5
  %898 = icmp ne ptr %897, null
  br i1 %898, label %899, label %902

899:                                              ; preds = %896
  %900 = load ptr, ptr %35, align 8, !tbaa !5
  call void @llvm.memset.p0.i64(ptr align 1 %900, i8 0, i64 17, i1 false)
  %901 = load ptr, ptr %35, align 8, !tbaa !5
  call void @free(ptr noundef %901) #8
  br label %902

902:                                              ; preds = %899, %896
  %903 = load ptr, ptr %38, align 8, !tbaa !5
  %904 = icmp ne ptr %903, null
  br i1 %904, label %905, label %909

905:                                              ; preds = %902
  %906 = load ptr, ptr %38, align 8, !tbaa !5
  %907 = load i64, ptr %42, align 8, !tbaa !9
  call void @llvm.memset.p0.i64(ptr align 1 %906, i8 0, i64 %907, i1 false)
  %908 = load ptr, ptr %38, align 8, !tbaa !5
  call void @free(ptr noundef %908) #8
  br label %909

909:                                              ; preds = %905, %902
  store ptr null, ptr %30, align 8, !tbaa !5
  %910 = load ptr, ptr %32, align 8, !tbaa !5
  call void @EC_POINT_clear_free(ptr noundef %910)
  %911 = load ptr, ptr %31, align 8, !tbaa !5
  call void @EC_POINT_clear_free(ptr noundef %911)
  %912 = load ptr, ptr %33, align 8, !tbaa !5
  call void @EC_POINT_clear_free(ptr noundef %912)
  %913 = load ptr, ptr %29, align 8, !tbaa !5
  call void @EC_POINT_clear_free(ptr noundef %913)
  %914 = load ptr, ptr %44, align 8, !tbaa !5
  call void @BN_CTX_free(ptr noundef %914)
  %915 = load i32, ptr %15, align 4, !tbaa !11
  %916 = trunc i32 %915 to i8
  call void @llvm.lifetime.end.p0(i64 8, ptr %44) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %43) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %42) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %41) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %40) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %39) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %38) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %37) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %36) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #8
  call void @llvm.lifetime.end.p0(i64 2, ptr %16) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #8
  ret i8 %916
}

declare signext i16 @user_exists(ptr noundef, i64 noundef, ptr noundef) #1

; Function Attrs: nounwind willreturn memory(read)
declare i64 @strlen(ptr noundef) #7

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

declare ptr @user_getRSKpoint(ptr noundef, i64 noundef, ptr noundef) #1

; Function Attrs: nounwind uwtable
declare hidden zeroext i8 @sakke_computeTLPairing(ptr noundef, ptr noundef, ptr noundef, i8 noundef zeroext) #5

declare void @utils_displayAffineCoordinates(i8 noundef zeroext, ptr noundef, ptr noundef, i8 noundef zeroext, ptr noundef, ptr noundef) #1

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

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { nounwind allocsize(0,1) "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #5 = { 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 #6 = { nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #7 = { nounwind willreturn memory(read) "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 #8 = { nounwind }
attributes #9 = { nounwind willreturn memory(read) }
attributes #10 = { nounwind allocsize(0,1) }

!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 = !{!"long", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"int", !7, i64 0}
!13 = !{!14, !14, i64 0}
!14 = !{!"short", !7, i64 0}
!15 = !{!7, !7, i64 0}
!16 = distinct !{!16, !17}
!17 = !{!"llvm.loop.mustprogress"}


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

@stdout = external local_unnamed_addr global ptr, align 8
@.str.2 = external hidden unnamed_addr constant [14 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [23 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [32 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [20 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [14 x i8], align 1
@.str.49 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.66 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.67 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.68 = external hidden unnamed_addr constant [33 x i8], align 1
@.str.69 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.70 = external hidden unnamed_addr constant [21 x i8], align 1
@.str.71 = external hidden unnamed_addr constant [48 x i8], align 1
@.str.72 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.73 = external hidden unnamed_addr constant [23 x i8], align 1
@.str.74 = external hidden unnamed_addr constant [45 x i8], align 1
@.str.75 = external hidden unnamed_addr constant [31 x i8], align 1
@.str.76 = external hidden unnamed_addr constant [35 x i8], align 1
@.str.77 = external hidden unnamed_addr constant [49 x i8], align 1
@.str.78 = external hidden unnamed_addr constant [33 x i8], align 1
@.str.79 = external hidden unnamed_addr constant [59 x i8], align 1
@.str.80 = external hidden unnamed_addr constant [44 x i8], align 1
@.str.81 = external hidden unnamed_addr constant [24 x i8], align 1
@.str.82 = external hidden unnamed_addr constant [24 x i8], align 1
@.str.83 = external hidden unnamed_addr constant [23 x i8], align 1
@.str.84 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.85 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.86 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.87 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.88 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.89 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.90 = external hidden unnamed_addr constant [41 x i8], align 1
@.str.91 = external hidden unnamed_addr constant [43 x i8], align 1
@.str.92 = external hidden unnamed_addr constant [41 x i8], align 1
@.str.93 = external hidden unnamed_addr constant [32 x i8], align 1
@.str.94 = external hidden unnamed_addr constant [38 x i8], align 1
@.str.95 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.96 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.97 = external hidden unnamed_addr constant [64 x i8], align 1
@.str.98 = external hidden unnamed_addr constant [25 x i8], align 1
@.str.99 = external hidden unnamed_addr constant [24 x i8], align 1
@.str.100 = external hidden unnamed_addr constant [34 x i8], align 1
@.str.101 = external hidden unnamed_addr constant [35 x i8], align 1
@.str.102 = external hidden unnamed_addr constant [45 x i8], align 1
@.str.103 = external hidden unnamed_addr constant [33 x i8], align 1
@.str.104 = external hidden unnamed_addr constant [57 x i8], align 1
@.str.105 = external hidden unnamed_addr constant [24 x i8], align 1
@.str.106 = external hidden unnamed_addr constant [40 x i8], align 1
@.str.107 = external hidden unnamed_addr constant [65 x i8], align 1
@.str.108 = external hidden unnamed_addr constant [31 x i8], align 1
@.str.109 = external hidden unnamed_addr constant [32 x i8], align 1
@.str.110 = external hidden unnamed_addr constant [38 x i8], align 1
@.str.111 = external hidden unnamed_addr constant [38 x i8], align 1
@.str.112 = external hidden unnamed_addr constant [40 x i8], align 1
@.str.113 = external hidden unnamed_addr constant [40 x i8], align 1
@.str.114 = external hidden unnamed_addr constant [32 x i8], align 1
@.str.115 = external hidden unnamed_addr constant [45 x i8], align 1
@.str.116 = external hidden unnamed_addr constant [38 x i8], align 1
@.str.117 = external hidden unnamed_addr constant [44 x i8], align 1
@.str.118 = external hidden unnamed_addr constant [49 x i8], align 1
@.str.119 = external hidden unnamed_addr constant [41 x i8], align 1
@.str.120 = external hidden unnamed_addr constant [25 x i8], align 1
@.str.121 = external hidden unnamed_addr constant [49 x i8], align 1
@.str.122 = external hidden unnamed_addr constant [40 x i8], align 1
@.str.123 = external hidden unnamed_addr constant [40 x i8], align 1

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

declare ptr @BN_CTX_new() local_unnamed_addr #1

; Function Attrs: nofree nounwind
declare noundef i32 @snprintf(ptr noalias nocapture noundef writeonly, i64 noundef, ptr nocapture noundef readonly, ...) local_unnamed_addr #2

; Function Attrs: nofree nounwind
declare noundef i32 @fprintf(ptr nocapture noundef, ptr nocapture noundef readonly, ...) local_unnamed_addr #2

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

declare signext i16 @community_exists(ptr noundef) local_unnamed_addr #1

declare zeroext i8 @community_get_paramSet(ptr noundef) local_unnamed_addr #1

declare ptr @ms_getParameter_E(i8 noundef zeroext) local_unnamed_addr #1

declare zeroext i16 @ms_getParameter_n(i8 noundef zeroext) local_unnamed_addr #1

declare void @utils_printFormattedOctetString(i8 noundef zeroext, ptr noundef, ptr noundef, i8 noundef zeroext, ptr noundef, i64 noundef) local_unnamed_addr #1

; Function Attrs: mustprogress nofree nounwind willreturn allockind("alloc,zeroed") allocsize(0,1) memory(inaccessiblemem: readwrite)
declare noalias noundef ptr @calloc(i64 noundef, i64 noundef) local_unnamed_addr #3

; 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

declare ptr @BN_new() local_unnamed_addr #1

; Function Attrs: nounwind uwtable
declare hidden zeroext i8 @sakke_hashToIntegerRangeSHA256(ptr noundef, ptr noundef, i64 noundef, ptr noundef) local_unnamed_addr #5

declare ptr @ms_getParameter_q(i8 noundef zeroext) local_unnamed_addr #1

declare void @utils_BNdump(i8 noundef zeroext, ptr noundef, ptr noundef, i8 noundef zeroext, ptr noundef) local_unnamed_addr #1

declare ptr @EC_POINT_new(ptr noundef) local_unnamed_addr #1

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

declare ptr @community_getZ_point(ptr noundef) local_unnamed_addr #1

declare i32 @EC_POINT_mul(ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #1

declare ptr @ms_getParameter_P(i8 noundef zeroext) local_unnamed_addr #1

declare i32 @EC_POINT_add(ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #1

declare ptr @ms_getParameter_p(i8 noundef zeroext) local_unnamed_addr #1

declare i32 @BN_set_bit(ptr noundef, i32 noundef) local_unnamed_addr #1

declare i32 @BN_num_bits(ptr noundef) local_unnamed_addr #1

declare i32 @BN_bn2bin(ptr noundef, ptr noundef) local_unnamed_addr #1

declare i32 @BN_is_bit_set(ptr noundef, i32 noundef) local_unnamed_addr #1

declare i32 @BN_clear_bit(ptr noundef, i32 noundef) local_unnamed_addr #1

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

declare void @BN_clear_free(ptr noundef) local_unnamed_addr #1

declare void @EC_POINT_clear_free(ptr noundef) local_unnamed_addr #1

; Function Attrs: mustprogress nounwind willreturn allockind("free") memory(argmem: readwrite, inaccessiblemem: readwrite)
declare void @free(ptr allocptr nocapture noundef) local_unnamed_addr #7

declare void @BN_CTX_free(ptr noundef) local_unnamed_addr #1

; Function Attrs: nounwind uwtable
define dso_local zeroext range(i8 0, 2) i8 @sakke_extractSharedSecret(ptr noundef readonly %0, i64 noundef %1, ptr noundef %2, i64 noundef %3, ptr noundef %4, ptr nocapture noundef %5, ptr nocapture noundef %6) local_unnamed_addr #5 {
  %8 = alloca [1200 x i8], align 16
  %9 = alloca [1200 x i8], align 16
  %10 = alloca [1200 x i8], align 16
  %11 = alloca [1200 x i8], align 16
  %12 = alloca [1200 x i8], align 16
  %13 = alloca [1200 x i8], align 16
  %14 = alloca [1200 x i8], align 16
  %15 = alloca [1200 x i8], align 16
  %16 = alloca [1200 x i8], align 16
  %17 = alloca [1200 x i8], align 16
  %18 = alloca [1200 x i8], align 16
  %19 = alloca [1200 x i8], align 16
  %20 = alloca [1200 x i8], align 16
  %21 = alloca [1200 x i8], align 16
  %22 = alloca [1200 x i8], align 16
  %23 = alloca [1200 x i8], align 16
  %24 = alloca [1200 x i8], align 16
  %25 = alloca [1200 x i8], align 16
  %26 = alloca [1200 x i8], align 16
  %27 = alloca [1200 x i8], align 16
  %28 = alloca [1200 x i8], align 16
  %29 = alloca [1200 x i8], align 16
  %30 = alloca [1200 x i8], align 16
  %31 = alloca [1200 x i8], align 16
  %32 = alloca [1200 x i8], align 16
  %33 = alloca [1200 x i8], align 16
  %34 = alloca [1200 x i8], align 16
  %35 = alloca [1200 x i8], align 16
  %36 = alloca [1200 x i8], align 16
  %37 = alloca [1200 x i8], align 16
  %38 = alloca [1200 x i8], align 16
  %39 = alloca [1200 x i8], align 16
  %40 = alloca [1200 x i8], align 16
  %41 = alloca [1200 x i8], align 16
  %42 = alloca [1200 x i8], align 16
  %43 = alloca [1200 x i8], align 16
  %44 = alloca [1200 x i8], align 16
  %45 = alloca [1200 x i8], align 16
  %46 = alloca [1200 x i8], align 16
  %47 = alloca [1200 x i8], align 16
  %48 = alloca [1200 x i8], align 16
  %49 = alloca [1200 x i8], align 16
  %50 = alloca [1200 x i8], align 16
  %51 = alloca [1200 x i8], align 16
  %52 = alloca [1200 x i8], align 16
  %53 = alloca [1200 x i8], align 16
  %54 = alloca [1200 x i8], align 16
  %55 = alloca [1200 x i8], align 16
  %56 = alloca [1200 x i8], align 16
  %57 = alloca [1200 x i8], align 16
  %58 = alloca [1200 x i8], align 16
  %59 = alloca [1200 x i8], align 16
  %60 = alloca [1200 x i8], align 16
  %61 = alloca [1200 x i8], align 16
  %62 = alloca [1200 x i8], align 16
  %63 = icmp eq ptr %0, null
  br i1 %63, label %64, label %68

64:                                               ; preds = %7
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %8) #9
  %65 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %8, i64 noundef 1200, ptr noundef nonnull @.str.66, ptr noundef nonnull @.str.67) #9
  %66 = load ptr, ptr @stdout, align 8, !tbaa !5
  %67 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %66, ptr noundef nonnull @.str.2, ptr noundef nonnull %8) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %8) #9
  br label %.thread401

68:                                               ; preds = %7
  %69 = icmp eq i64 %1, 0
  br i1 %69, label %70, label %74

70:                                               ; preds = %68
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %9) #9
  %71 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %9, i64 noundef 1200, ptr noundef nonnull @.str.68, ptr noundef nonnull @.str.67) #9
  %72 = load ptr, ptr @stdout, align 8, !tbaa !5
  %73 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %72, ptr noundef nonnull @.str.2, ptr noundef nonnull %9) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %9) #9
  br label %.thread401

74:                                               ; preds = %68
  %75 = icmp eq ptr %2, null
  br i1 %75, label %76, label %80

76:                                               ; preds = %74
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %10) #9
  %77 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %10, i64 noundef 1200, ptr noundef nonnull @.str.69, ptr noundef nonnull @.str.67) #9
  %78 = load ptr, ptr @stdout, align 8, !tbaa !5
  %79 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %78, ptr noundef nonnull @.str.2, ptr noundef nonnull %10) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %10) #9
  br label %.thread401

80:                                               ; preds = %74
  %81 = icmp eq i64 %3, 0
  br i1 %81, label %82, label %86

82:                                               ; preds = %80
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %11) #9
  %83 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %11, i64 noundef 1200, ptr noundef nonnull @.str.5, ptr noundef nonnull @.str.67) #9
  %84 = load ptr, ptr @stdout, align 8, !tbaa !5
  %85 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %84, ptr noundef nonnull @.str.2, ptr noundef nonnull %11) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %11) #9
  br label %.thread401

86:                                               ; preds = %80
  %87 = icmp eq ptr %4, null
  br i1 %87, label %88, label %92

88:                                               ; preds = %86
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %12) #9
  %89 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %12, i64 noundef 1200, ptr noundef nonnull @.str.70, ptr noundef nonnull @.str.67) #9
  %90 = load ptr, ptr @stdout, align 8, !tbaa !5
  %91 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %90, ptr noundef nonnull @.str.2, ptr noundef nonnull %12) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %12) #9
  br label %.thread401

92:                                               ; preds = %86
  %93 = tail call signext i16 @community_exists(ptr noundef nonnull %4) #9
  %.not = icmp eq i16 %93, 0
  br i1 %.not, label %94, label %98

94:                                               ; preds = %92
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %13) #9
  %95 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %13, i64 noundef 1200, ptr noundef nonnull @.str.7, ptr noundef nonnull %4, ptr noundef nonnull @.str.67) #9
  %96 = load ptr, ptr @stdout, align 8, !tbaa !5
  %97 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %96, ptr noundef nonnull @.str.2, ptr noundef nonnull %13) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %13) #9
  br label %.thread401

98:                                               ; preds = %92
  %99 = tail call signext i16 @user_exists(ptr noundef nonnull %2, i64 noundef %3, ptr noundef nonnull %4) #9
  %.not256 = icmp eq i16 %99, 0
  br i1 %.not256, label %100, label %107

100:                                              ; preds = %98
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %14) #9
  %101 = tail call i64 @strlen(ptr noundef nonnull dereferenceable(1) %2) #10
  %102 = getelementptr inbounds i8, ptr %2, i64 %101
  %103 = getelementptr inbounds i8, ptr %102, i64 1
  %104 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %14, i64 noundef 1200, ptr noundef nonnull @.str.71, ptr noundef nonnull @.str.67, ptr noundef nonnull %2, ptr noundef nonnull %103, ptr noundef nonnull %4) #9
  %105 = load ptr, ptr @stdout, align 8, !tbaa !5
  %106 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %105, ptr noundef nonnull @.str.2, ptr noundef nonnull %14) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %14) #9
  br label %.thread401

107:                                              ; preds = %98
  %108 = load ptr, ptr %5, align 8, !tbaa !5
  %.not257 = icmp eq ptr %108, null
  br i1 %.not257, label %113, label %109

109:                                              ; preds = %107
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %15) #9
  %110 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %15, i64 noundef 1200, ptr noundef nonnull @.str.72, ptr noundef nonnull @.str.67) #9
  %111 = load ptr, ptr @stdout, align 8, !tbaa !5
  %112 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %111, ptr noundef nonnull @.str.2, ptr noundef nonnull %15) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %15) #9
  br label %.thread401

113:                                              ; preds = %107
  %114 = load i64, ptr %6, align 8, !tbaa !9
  %.not258 = icmp eq i64 %114, 0
  br i1 %.not258, label %119, label %115

115:                                              ; preds = %113
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %16) #9
  %116 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %16, i64 noundef 1200, ptr noundef nonnull @.str.73, ptr noundef nonnull @.str.67) #9
  %117 = load ptr, ptr @stdout, align 8, !tbaa !5
  %118 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %117, ptr noundef nonnull @.str.2, ptr noundef nonnull %16) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %16) #9
  br label %.thread401

119:                                              ; preds = %113
  %120 = tail call zeroext i8 @community_get_paramSet(ptr noundef nonnull %4) #9
  %.not260 = icmp eq i8 %120, 1
  br i1 %.not260, label %126, label %121

121:                                              ; preds = %119
  %122 = zext i8 %120 to i32
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %17) #9
  %123 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %17, i64 noundef 1200, ptr noundef nonnull @.str.10, ptr noundef nonnull @.str.67, i32 noundef %122) #9
  %124 = load ptr, ptr @stdout, align 8, !tbaa !5
  %125 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %124, ptr noundef nonnull @.str.2, ptr noundef nonnull %17) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %17) #9
  br label %.thread401

126:                                              ; preds = %119
  %127 = tail call ptr @ms_getParameter_E(i8 noundef zeroext 1) #9
  %.not261 = icmp eq ptr %127, null
  br i1 %.not261, label %128, label %132

128:                                              ; preds = %126
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %18) #9
  %129 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %18, i64 noundef 1200, ptr noundef nonnull @.str.74, ptr noundef nonnull @.str.67, i32 noundef 1) #9
  %130 = load ptr, ptr @stdout, align 8, !tbaa !5
  %131 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %130, ptr noundef nonnull @.str.2, ptr noundef nonnull %18) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %18) #9
  br label %.thread401

132:                                              ; preds = %126
  %133 = tail call zeroext i16 @ms_getParameter_n(i8 noundef zeroext 1) #9
  %134 = lshr i16 %133, 3
  %135 = zext nneg i16 %134 to i64
  store i64 %135, ptr %6, align 8, !tbaa !9
  %136 = tail call ptr @BN_CTX_new() #9
  %.not262 = icmp eq ptr %136, null
  br i1 %.not262, label %137, label %.critedge

137:                                              ; preds = %132
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %19) #9
  %138 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %19, i64 noundef 1200, ptr noundef nonnull @.str.75, ptr noundef nonnull @.str.67) #9
  %139 = load ptr, ptr @stdout, align 8, !tbaa !5
  %140 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %139, ptr noundef nonnull @.str.2, ptr noundef nonnull %19) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %19) #9
  br label %.thread401

.critedge:                                        ; preds = %132
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %20) #9
  %141 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %20, i64 noundef 1200, ptr noundef nonnull @.str.49, ptr noundef nonnull @.str.76) #9
  %142 = load ptr, ptr @stdout, align 8, !tbaa !5
  %143 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %142, ptr noundef nonnull @.str.15, ptr noundef nonnull %20) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %20) #9
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %21) #9
  %144 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %21, i64 noundef 1200, ptr noundef nonnull @.str.77, ptr noundef nonnull @.str.14) #9
  %145 = load ptr, ptr @stdout, align 8, !tbaa !5
  %146 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %145, ptr noundef nonnull @.str.15, ptr noundef nonnull %21) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %21) #9
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %22) #9
  %147 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %22, i64 noundef 1200, ptr noundef nonnull @.str.78, ptr noundef nonnull @.str.14) #9
  %148 = load ptr, ptr @stdout, align 8, !tbaa !5
  %149 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %148, ptr noundef nonnull @.str.15, ptr noundef nonnull %22) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %22) #9
  %150 = call ptr @ms_getParameter_p(i8 noundef zeroext 1) #9
  %151 = call i32 @BN_num_bits(ptr noundef %150) #9
  %152 = add nsw i32 %151, 7
  %153 = sdiv i32 %152, 8
  %154 = shl nsw i32 %153, 1
  %155 = add nsw i32 %154, 17
  %156 = sext i32 %155 to i64
  %.not264 = icmp eq i64 %156, %1
  br i1 %.not264, label %164, label %157

157:                                              ; preds = %.critedge
  %158 = add nsw i32 %154, 16
  %159 = sext i32 %158 to i64
  %.not265 = icmp eq i64 %159, %1
  br i1 %.not265, label %170, label %160

160:                                              ; preds = %157
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %23) #9
  %161 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %23, i64 noundef 1200, ptr noundef nonnull @.str.79, ptr noundef nonnull @.str.67, i64 noundef %1) #9
  %162 = load ptr, ptr @stdout, align 8, !tbaa !5
  %163 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %162, ptr noundef nonnull @.str.2, ptr noundef nonnull %23) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %23) #9
  br label %.thread401

164:                                              ; preds = %.critedge
  %165 = load i8, ptr %0, align 1, !tbaa !11
  %.not266 = icmp eq i8 %165, 4
  br i1 %.not266, label %170, label %166

166:                                              ; preds = %164
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %24) #9
  %167 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %24, i64 noundef 1200, ptr noundef nonnull @.str.80, ptr noundef nonnull @.str.67, i64 noundef %1) #9
  %168 = load ptr, ptr @stdout, align 8, !tbaa !5
  %169 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %168, ptr noundef nonnull @.str.2, ptr noundef nonnull %24) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %24) #9
  br label %.thread401

170:                                              ; preds = %164, %157
  %.0183.ph = phi i64 [ 0, %157 ], [ 1, %164 ]
  %171 = call noalias dereferenceable_or_null(129) ptr @calloc(i64 noundef 1, i64 noundef 129) #11
  %.not268 = icmp eq ptr %171, null
  br i1 %.not268, label %172, label %176

172:                                              ; preds = %170
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %25) #9
  %173 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %25, i64 noundef 1200, ptr noundef nonnull @.str.81, ptr noundef nonnull @.str.67) #9
  %174 = load ptr, ptr @stdout, align 8, !tbaa !5
  %175 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %174, ptr noundef nonnull @.str.2, ptr noundef nonnull %25) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %25) #9
  br label %.thread401

176:                                              ; preds = %170
  %177 = call noalias dereferenceable_or_null(129) ptr @calloc(i64 noundef 1, i64 noundef 129) #11
  %.not269 = icmp eq ptr %177, null
  br i1 %.not269, label %178, label %182

178:                                              ; preds = %176
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %26) #9
  %179 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %26, i64 noundef 1200, ptr noundef nonnull @.str.82, ptr noundef nonnull @.str.67) #9
  %180 = load ptr, ptr @stdout, align 8, !tbaa !5
  %181 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %180, ptr noundef nonnull @.str.2, ptr noundef nonnull %26) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %26) #9
  br label %.thread401

182:                                              ; preds = %176
  %183 = call noalias dereferenceable_or_null(17) ptr @calloc(i64 noundef 1, i64 noundef 17) #11
  %.not270 = icmp eq ptr %183, null
  br i1 %.not270, label %184, label %188

184:                                              ; preds = %182
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %27) #9
  %185 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %27, i64 noundef 1200, ptr noundef nonnull @.str.83, ptr noundef nonnull @.str.67) #9
  %186 = load ptr, ptr @stdout, align 8, !tbaa !5
  %187 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %186, ptr noundef nonnull @.str.2, ptr noundef nonnull %27) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %27) #9
  br label %.thread401

188:                                              ; preds = %182
  %189 = getelementptr inbounds i8, ptr %0, i64 %.0183.ph
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 1 dereferenceable(128) %171, ptr noundef nonnull align 1 dereferenceable(128) %189, i64 128, i1 false)
  %190 = getelementptr inbounds i8, ptr %189, i64 128
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 1 dereferenceable(128) %177, ptr noundef nonnull align 1 dereferenceable(128) %190, i64 128, i1 false)
  %191 = getelementptr inbounds i8, ptr %189, i64 256
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 1 dereferenceable(16) %183, ptr noundef nonnull align 1 dereferenceable(16) %191, i64 16, i1 false)
  %192 = call ptr @BN_bin2bn(ptr noundef nonnull %171, i32 noundef 128, ptr noundef null) #9
  %.not271 = icmp eq ptr %192, null
  br i1 %.not271, label %193, label %197

193:                                              ; preds = %188
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %28) #9
  %194 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %28, i64 noundef 1200, ptr noundef nonnull @.str.84, ptr noundef nonnull @.str.67) #9
  %195 = load ptr, ptr @stdout, align 8, !tbaa !5
  %196 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %195, ptr noundef nonnull @.str.2, ptr noundef nonnull %28) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %28) #9
  br label %.thread401

197:                                              ; preds = %188
  %198 = call ptr @BN_bin2bn(ptr noundef nonnull %177, i32 noundef 128, ptr noundef null) #9
  %.not272 = icmp eq ptr %198, null
  br i1 %.not272, label %199, label %203

199:                                              ; preds = %197
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %29) #9
  %200 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %29, i64 noundef 1200, ptr noundef nonnull @.str.85, ptr noundef nonnull @.str.67) #9
  %201 = load ptr, ptr @stdout, align 8, !tbaa !5
  %202 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %201, ptr noundef nonnull @.str.2, ptr noundef nonnull %29) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %29) #9
  br label %.thread401

203:                                              ; preds = %197
  %204 = call ptr @BN_bin2bn(ptr noundef nonnull %183, i32 noundef 16, ptr noundef null) #9
  %.not273 = icmp eq ptr %204, null
  br i1 %.not273, label %205, label %209

205:                                              ; preds = %203
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %30) #9
  %206 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %30, i64 noundef 1200, ptr noundef nonnull @.str.86, ptr noundef nonnull @.str.67) #9
  %207 = load ptr, ptr @stdout, align 8, !tbaa !5
  %208 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %207, ptr noundef nonnull @.str.2, ptr noundef nonnull %30) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %30) #9
  br label %.thread401

209:                                              ; preds = %203
  call void @utils_BNdump(i8 noundef zeroext 4, ptr noundef nonnull @.str.14, ptr noundef nonnull @.str.87, i8 noundef zeroext 6, ptr noundef nonnull %192) #9
  call void @utils_BNdump(i8 noundef zeroext 4, ptr noundef nonnull @.str.14, ptr noundef nonnull @.str.88, i8 noundef zeroext 6, ptr noundef nonnull %198) #9
  call void @utils_BNdump(i8 noundef zeroext 4, ptr noundef nonnull @.str.14, ptr noundef nonnull @.str.89, i8 noundef zeroext 6, ptr noundef nonnull %204) #9
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %31) #9
  %210 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %31, i64 noundef 1200, ptr noundef nonnull @.str.90, ptr noundef nonnull @.str.14) #9
  %211 = load ptr, ptr @stdout, align 8, !tbaa !5
  %212 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %211, ptr noundef nonnull @.str.15, ptr noundef nonnull %31) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %31) #9
  %213 = call ptr @EC_POINT_new(ptr noundef nonnull %127) #9
  %.not275 = icmp eq ptr %213, null
  br i1 %.not275, label %214, label %218

214:                                              ; preds = %209
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %32) #9
  %215 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %32, i64 noundef 1200, ptr noundef nonnull @.str.91, ptr noundef nonnull @.str.67) #9
  %216 = load ptr, ptr @stdout, align 8, !tbaa !5
  %217 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %216, ptr noundef nonnull @.str.2, ptr noundef nonnull %32) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %32) #9
  br label %.thread401

218:                                              ; preds = %209
  %219 = call i32 @EC_POINT_set_affine_coordinates(ptr noundef nonnull %127, ptr noundef nonnull %213, ptr noundef nonnull %192, ptr noundef nonnull %198, ptr noundef nonnull %136) #9
  %220 = icmp eq i32 %219, 0
  br i1 %220, label %221, label %225

221:                                              ; preds = %218
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %33) #9
  %222 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %33, i64 noundef 1200, ptr noundef nonnull @.str.92, ptr noundef nonnull @.str.67) #9
  %223 = load ptr, ptr @stdout, align 8, !tbaa !5
  %224 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %223, ptr noundef nonnull @.str.2, ptr noundef nonnull %33) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %33) #9
  br label %.thread401

225:                                              ; preds = %218
  %226 = call ptr @user_getRSKpoint(ptr noundef nonnull %2, i64 noundef %3, ptr noundef nonnull %4) #9
  %.not276 = icmp eq ptr %226, null
  br i1 %.not276, label %227, label %231

227:                                              ; preds = %225
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %34) #9
  %228 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %34, i64 noundef 1200, ptr noundef nonnull @.str.93, ptr noundef nonnull @.str.67) #9
  %229 = load ptr, ptr @stdout, align 8, !tbaa !5
  %230 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %229, ptr noundef nonnull @.str.2, ptr noundef nonnull %34) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %34) #9
  br label %.thread401

231:                                              ; preds = %225
  %232 = call ptr @BN_new() #9
  %.not277 = icmp eq ptr %232, null
  br i1 %.not277, label %233, label %237

233:                                              ; preds = %231
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %35) #9
  %234 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %35, i64 noundef 1200, ptr noundef nonnull @.str.94, ptr noundef nonnull @.str.67) #9
  %235 = load ptr, ptr @stdout, align 8, !tbaa !5
  %236 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %235, ptr noundef nonnull @.str.2, ptr noundef nonnull %35) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %35) #9
  br label %.thread401

237:                                              ; preds = %231
  %238 = call zeroext i8 @sakke_computeTLPairing(ptr noundef nonnull %232, ptr noundef nonnull %213, ptr noundef nonnull %226, i8 noundef zeroext 1)
  %.not278 = icmp eq i8 %238, 0
  br i1 %.not278, label %243, label %239

239:                                              ; preds = %237
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %36) #9
  %240 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %36, i64 noundef 1200, ptr noundef nonnull @.str.95, ptr noundef nonnull @.str.67) #9
  %241 = load ptr, ptr @stdout, align 8, !tbaa !5
  %242 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %241, ptr noundef nonnull @.str.2, ptr noundef nonnull %36) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %36) #9
  br label %.thread401

243:                                              ; preds = %237
  call void @utils_BNdump(i8 noundef zeroext 4, ptr noundef nonnull @.str.14, ptr noundef nonnull @.str.96, i8 noundef zeroext 6, ptr noundef nonnull %232) #9
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %37) #9
  %244 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %37, i64 noundef 1200, ptr noundef nonnull @.str.97, ptr noundef nonnull @.str.14) #9
  %245 = load ptr, ptr @stdout, align 8, !tbaa !5
  %246 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %245, ptr noundef nonnull @.str.15, ptr noundef nonnull %37) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %37) #9
  %247 = call noalias dereferenceable_or_null(128) ptr @calloc(i64 noundef 1, i64 noundef 128) #11
  %.not280 = icmp eq ptr %247, null
  br i1 %.not280, label %248, label %252

248:                                              ; preds = %243
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %38) #9
  %249 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %38, i64 noundef 1200, ptr noundef nonnull @.str.98, ptr noundef nonnull @.str.67) #9
  %250 = load ptr, ptr @stdout, align 8, !tbaa !5
  %251 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %250, ptr noundef nonnull @.str.2, ptr noundef nonnull %38) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %38) #9
  br label %.thread401

252:                                              ; preds = %243
  %253 = call i32 @BN_bn2bin(ptr noundef nonnull %232, ptr noundef nonnull %247) #9
  %254 = sext i32 %253 to i64
  %.not281 = icmp eq i32 %253, 0
  br i1 %.not281, label %255, label %259

255:                                              ; preds = %252
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %39) #9
  %256 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %39, i64 noundef 1200, ptr noundef nonnull @.str.99, ptr noundef nonnull @.str.67) #9
  %257 = load ptr, ptr @stdout, align 8, !tbaa !5
  %258 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %257, ptr noundef nonnull @.str.2, ptr noundef nonnull %39) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %39) #9
  br label %.thread401

259:                                              ; preds = %252
  %260 = call ptr @BN_new() #9
  %.not282 = icmp eq ptr %260, null
  br i1 %.not282, label %261, label %265

261:                                              ; preds = %259
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %40) #9
  %262 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %40, i64 noundef 1200, ptr noundef nonnull @.str.100, ptr noundef nonnull @.str.67) #9
  %263 = load ptr, ptr @stdout, align 8, !tbaa !5
  %264 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %263, ptr noundef nonnull @.str.2, ptr noundef nonnull %40) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %40) #9
  br label %.thread401

265:                                              ; preds = %259
  %266 = call zeroext i16 @ms_getParameter_n(i8 noundef zeroext 1) #9
  %267 = zext i16 %266 to i32
  %268 = call i32 @BN_set_bit(ptr noundef nonnull %260, i32 noundef %267) #9
  %269 = call ptr @BN_new() #9
  %.not283 = icmp eq ptr %269, null
  br i1 %.not283, label %270, label %274

270:                                              ; preds = %265
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %41) #9
  %271 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %41, i64 noundef 1200, ptr noundef nonnull @.str.101, ptr noundef nonnull @.str.67) #9
  %272 = load ptr, ptr @stdout, align 8, !tbaa !5
  %273 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %272, ptr noundef nonnull @.str.2, ptr noundef nonnull %41) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %41) #9
  br label %.thread401

274:                                              ; preds = %265
  %275 = call zeroext i8 @sakke_hashToIntegerRangeSHA256(ptr noundef nonnull %269, ptr noundef nonnull %247, i64 noundef %254, ptr noundef nonnull %260)
  %.not284 = icmp eq i8 %275, 0
  br i1 %.not284, label %280, label %276

276:                                              ; preds = %274
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %42) #9
  %277 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %42, i64 noundef 1200, ptr noundef nonnull @.str.102, ptr noundef nonnull @.str.67) #9
  %278 = load ptr, ptr @stdout, align 8, !tbaa !5
  %279 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %278, ptr noundef nonnull @.str.2, ptr noundef nonnull %42) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %42) #9
  br label %.thread401

280:                                              ; preds = %274
  call void @utils_BNdump(i8 noundef zeroext 4, ptr noundef nonnull @.str.14, ptr noundef nonnull @.str.103, i8 noundef zeroext 6, ptr noundef nonnull %269) #9
  %281 = call i32 @BN_num_bits(ptr noundef nonnull %204) #9
  %282 = call i32 @BN_num_bits(ptr noundef nonnull %269) #9
  %283 = icmp sgt i32 %281, %282
  %. = select i1 %283, ptr %204, ptr %269
  %284 = call i32 @BN_num_bits(ptr noundef nonnull %.) #9
  %285 = icmp sgt i32 %284, -1
  br i1 %285, label %.lr.ph, label %._crit_edge

.lr.ph:                                           ; preds = %280, %292
  %.0203439 = phi i32 [ %293, %292 ], [ %284, %280 ]
  %286 = call i32 @BN_is_bit_set(ptr noundef %204, i32 noundef %.0203439) #9
  %287 = call i32 @BN_is_bit_set(ptr noundef nonnull %269, i32 noundef %.0203439) #9
  %.not287 = icmp eq i32 %286, %287
  br i1 %.not287, label %290, label %288

288:                                              ; preds = %.lr.ph
  %289 = call i32 @BN_set_bit(ptr noundef %204, i32 noundef %.0203439) #9
  br label %292

290:                                              ; preds = %.lr.ph
  %291 = call i32 @BN_clear_bit(ptr noundef %204, i32 noundef %.0203439) #9
  br label %292

292:                                              ; preds = %288, %290
  %293 = add nsw i32 %.0203439, -1
  %294 = icmp sgt i32 %.0203439, 0
  br i1 %294, label %.lr.ph, label %._crit_edge, !llvm.loop !12

._crit_edge:                                      ; preds = %292, %280
  %295 = call i32 @BN_num_bits(ptr noundef %204) #9
  %296 = add nsw i32 %295, 7
  %297 = sdiv i32 %296, 8
  %298 = sext i32 %297 to i64
  %299 = load i64, ptr %6, align 8, !tbaa !9
  %300 = icmp ult i64 %299, %298
  br i1 %300, label %301, label %310

301:                                              ; preds = %._crit_edge
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %43) #9
  %302 = call i32 @BN_num_bits(ptr noundef %204) #9
  %303 = add nsw i32 %302, 7
  %304 = sdiv i32 %303, 8
  %305 = load i64, ptr %6, align 8, !tbaa !9
  %306 = trunc i64 %305 to i32
  %307 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %43, i64 noundef 1200, ptr noundef nonnull @.str.104, ptr noundef nonnull @.str.67, i32 noundef %304, i32 noundef %306) #9
  %308 = load ptr, ptr @stdout, align 8, !tbaa !5
  %309 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %308, ptr noundef nonnull @.str.2, ptr noundef nonnull %43) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %43) #9
  br label %.thread401

310:                                              ; preds = %._crit_edge
  %311 = call noalias ptr @calloc(i64 noundef 1, i64 noundef %299) #11
  store ptr %311, ptr %5, align 8, !tbaa !5
  %.not285 = icmp eq ptr %311, null
  br i1 %.not285, label %312, label %316

312:                                              ; preds = %310
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %44) #9
  %313 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %44, i64 noundef 1200, ptr noundef nonnull @.str.98, ptr noundef nonnull @.str.67) #9
  %314 = load ptr, ptr @stdout, align 8, !tbaa !5
  %315 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %314, ptr noundef nonnull @.str.2, ptr noundef nonnull %44) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %44) #9
  br label %.thread401

316:                                              ; preds = %310
  %317 = call i32 @BN_num_bits(ptr noundef %204) #9
  %318 = add nsw i32 %317, 7
  %319 = sdiv i32 %318, 8
  %320 = sext i32 %319 to i64
  %321 = sub i64 %299, %320
  %322 = getelementptr inbounds i8, ptr %311, i64 %321
  %323 = call i32 @BN_bn2bin(ptr noundef %204, ptr noundef nonnull %322) #9
  %.not286 = icmp eq i32 %323, 0
  br i1 %.not286, label %324, label %328

324:                                              ; preds = %316
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %45) #9
  %325 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %45, i64 noundef 1200, ptr noundef nonnull @.str.105, ptr noundef nonnull @.str.67) #9
  %326 = load ptr, ptr @stdout, align 8, !tbaa !5
  %327 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %326, ptr noundef nonnull @.str.2, ptr noundef nonnull %45) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %45) #9
  br label %.thread401

328:                                              ; preds = %316
  %329 = load ptr, ptr %5, align 8, !tbaa !5
  %330 = load i64, ptr %6, align 8, !tbaa !9
  call void @utils_printFormattedOctetString(i8 noundef zeroext 4, ptr noundef nonnull @.str.14, ptr noundef nonnull @.str.106, i8 noundef zeroext 6, ptr noundef %329, i64 noundef %330) #9
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %46) #9
  %331 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %46, i64 noundef 1200, ptr noundef nonnull @.str.107, ptr noundef nonnull @.str.14) #9
  %332 = load ptr, ptr @stdout, align 8, !tbaa !5
  %333 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %332, ptr noundef nonnull @.str.15, ptr noundef nonnull %46) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %46) #9
  %334 = load i64, ptr %6, align 8, !tbaa !9
  %335 = add i64 %334, %3
  %336 = add i64 %335, 1
  %337 = call noalias ptr @calloc(i64 noundef 1, i64 noundef %336) #11
  %.not289 = icmp eq ptr %337, null
  br i1 %.not289, label %338, label %342

338:                                              ; preds = %328
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %47) #9
  %339 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %47, i64 noundef 1200, ptr noundef nonnull @.str.108, ptr noundef nonnull @.str.67) #9
  %340 = load ptr, ptr @stdout, align 8, !tbaa !5
  %341 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %340, ptr noundef nonnull @.str.2, ptr noundef nonnull %47) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %47) #9
  br label %.thread401

342:                                              ; preds = %328
  %343 = call i32 @BN_num_bits(ptr noundef %204) #9
  %344 = add nsw i32 %343, 7
  %.neg = sdiv i32 %344, -8
  %345 = sext i32 %.neg to i64
  %346 = getelementptr i8, ptr %337, i64 %345
  %347 = getelementptr i8, ptr %346, i64 16
  %348 = call i32 @BN_bn2bin(ptr noundef %204, ptr noundef %347) #9
  %.not290 = icmp eq i32 %348, 0
  br i1 %.not290, label %349, label %353

349:                                              ; preds = %342
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %48) #9
  %350 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %48, i64 noundef 1200, ptr noundef nonnull @.str.105, ptr noundef nonnull @.str.67) #9
  %351 = load ptr, ptr @stdout, align 8, !tbaa !5
  %352 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %351, ptr noundef nonnull @.str.2, ptr noundef nonnull %48) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %48) #9
  br label %.thread401

353:                                              ; preds = %342
  %354 = load i64, ptr %6, align 8, !tbaa !9
  %355 = getelementptr inbounds i8, ptr %337, i64 %354
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 1 %355, ptr nonnull align 1 %2, i64 %3, i1 false)
  %356 = call ptr @BN_new() #9
  %.not291 = icmp eq ptr %356, null
  br i1 %.not291, label %357, label %361

357:                                              ; preds = %353
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %49) #9
  %358 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %49, i64 noundef 1200, ptr noundef nonnull @.str.109, ptr noundef nonnull @.str.67) #9
  %359 = load ptr, ptr @stdout, align 8, !tbaa !5
  %360 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %359, ptr noundef nonnull @.str.2, ptr noundef nonnull %49) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %49) #9
  br label %.thread401

361:                                              ; preds = %353
  %362 = call ptr @ms_getParameter_q(i8 noundef zeroext 1) #9
  %363 = call zeroext i8 @sakke_hashToIntegerRangeSHA256(ptr noundef nonnull %356, ptr noundef nonnull %337, i64 noundef %335, ptr noundef %362)
  %.not292 = icmp eq i8 %363, 0
  br i1 %.not292, label %368, label %364

364:                                              ; preds = %361
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %50) #9
  %365 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %50, i64 noundef 1200, ptr noundef nonnull @.str.102, ptr noundef nonnull @.str.67) #9
  %366 = load ptr, ptr @stdout, align 8, !tbaa !5
  %367 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %366, ptr noundef nonnull @.str.2, ptr noundef nonnull %50) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %50) #9
  br label %.thread401

368:                                              ; preds = %361
  call void @utils_BNdump(i8 noundef zeroext 4, ptr noundef nonnull @.str.14, ptr noundef nonnull @.str.110, i8 noundef zeroext 6, ptr noundef nonnull %356) #9
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %51) #9
  %369 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %51, i64 noundef 1200, ptr noundef nonnull @.str.111, ptr noundef nonnull @.str.14) #9
  %370 = load ptr, ptr @stdout, align 8, !tbaa !5
  %371 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %370, ptr noundef nonnull @.str.15, ptr noundef nonnull %51) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %51) #9
  %372 = call ptr @community_getZ_point(ptr noundef nonnull %4) #9
  %.not294 = icmp eq ptr %372, null
  br i1 %.not294, label %373, label %377

373:                                              ; preds = %368
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %52) #9
  %374 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %52, i64 noundef 1200, ptr noundef nonnull @.str.112, ptr noundef nonnull @.str.67) #9
  %375 = load ptr, ptr @stdout, align 8, !tbaa !5
  %376 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %375, ptr noundef nonnull @.str.2, ptr noundef nonnull %52) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %52) #9
  br label %.thread401

377:                                              ; preds = %368
  %378 = call ptr @ms_getParameter_P(i8 noundef zeroext 1) #9
  %.not295 = icmp eq ptr %378, null
  br i1 %.not295, label %379, label %383

379:                                              ; preds = %377
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %53) #9
  %380 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %53, i64 noundef 1200, ptr noundef nonnull @.str.113, ptr noundef nonnull @.str.67) #9
  %381 = load ptr, ptr @stdout, align 8, !tbaa !5
  %382 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %381, ptr noundef nonnull @.str.2, ptr noundef nonnull %53) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %53) #9
  br label %.thread401

383:                                              ; preds = %377
  %384 = trunc i64 %3 to i32
  %385 = call ptr @BN_bin2bn(ptr noundef nonnull %2, i32 noundef %384, ptr noundef null) #9
  %.not296 = icmp eq ptr %385, null
  br i1 %.not296, label %386, label %390

386:                                              ; preds = %383
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %54) #9
  %387 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %54, i64 noundef 1200, ptr noundef nonnull @.str.114, ptr noundef nonnull @.str.67) #9
  %388 = load ptr, ptr @stdout, align 8, !tbaa !5
  %389 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %388, ptr noundef nonnull @.str.2, ptr noundef nonnull %54) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %54) #9
  br label %.thread401

390:                                              ; preds = %383
  %391 = call ptr @ms_getParameter_E(i8 noundef zeroext 1) #9
  %392 = call ptr @EC_POINT_new(ptr noundef %391) #9
  %.not297 = icmp eq ptr %392, null
  br i1 %.not297, label %393, label %397

393:                                              ; preds = %390
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %55) #9
  %394 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %55, i64 noundef 1200, ptr noundef nonnull @.str.115, ptr noundef nonnull @.str.67) #9
  %395 = load ptr, ptr @stdout, align 8, !tbaa !5
  %396 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %395, ptr noundef nonnull @.str.2, ptr noundef nonnull %55) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %55) #9
  br label %.thread401

397:                                              ; preds = %390
  %398 = call i32 @EC_POINT_mul(ptr noundef nonnull %127, ptr noundef nonnull %392, ptr noundef null, ptr noundef nonnull %378, ptr noundef nonnull %385, ptr noundef %136) #9
  %.not298 = icmp eq i32 %398, 0
  br i1 %.not298, label %399, label %403

399:                                              ; preds = %397
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %56) #9
  %400 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %56, i64 noundef 1200, ptr noundef nonnull @.str.116, ptr noundef nonnull @.str.67) #9
  %401 = load ptr, ptr @stdout, align 8, !tbaa !5
  %402 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %401, ptr noundef nonnull @.str.2, ptr noundef nonnull %56) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %56) #9
  br label %.thread401

403:                                              ; preds = %397
  %404 = call i32 @EC_POINT_add(ptr noundef nonnull %127, ptr noundef nonnull %392, ptr noundef nonnull %392, ptr noundef nonnull %372, ptr noundef %136) #9
  %.not299 = icmp eq i32 %404, 0
  br i1 %.not299, label %405, label %409

405:                                              ; preds = %403
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %57) #9
  %406 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %57, i64 noundef 1200, ptr noundef nonnull @.str.117, ptr noundef nonnull @.str.67) #9
  %407 = load ptr, ptr @stdout, align 8, !tbaa !5
  %408 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %407, ptr noundef nonnull @.str.2, ptr noundef nonnull %57) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %57) #9
  br label %.thread401

409:                                              ; preds = %403
  %410 = call i32 @EC_POINT_mul(ptr noundef nonnull %127, ptr noundef nonnull %392, ptr noundef null, ptr noundef nonnull %392, ptr noundef nonnull %356, ptr noundef %136) #9
  %.not300 = icmp eq i32 %410, 0
  br i1 %.not300, label %411, label %415

411:                                              ; preds = %409
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %58) #9
  %412 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %58, i64 noundef 1200, ptr noundef nonnull @.str.118, ptr noundef nonnull @.str.67) #9
  %413 = load ptr, ptr @stdout, align 8, !tbaa !5
  %414 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %413, ptr noundef nonnull @.str.2, ptr noundef nonnull %58) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %58) #9
  br label %.thread401

415:                                              ; preds = %409
  call void @utils_displayAffineCoordinates(i8 noundef zeroext 4, ptr noundef nonnull @.str.14, ptr noundef nonnull @.str.119, i8 noundef zeroext 8, ptr noundef nonnull %127, ptr noundef nonnull %392) #9
  %416 = call i32 @EC_POINT_cmp(ptr noundef nonnull %127, ptr noundef nonnull %392, ptr noundef %213, ptr noundef %136) #9
  %417 = icmp eq i32 %416, 0
  br i1 %417, label %418, label %430

418:                                              ; preds = %415
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %59) #9
  %419 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %59, i64 noundef 1200, ptr noundef nonnull @.str.120, ptr noundef nonnull @.str.14) #9
  %420 = load ptr, ptr @stdout, align 8, !tbaa !5
  %421 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %420, ptr noundef nonnull @.str.15, ptr noundef nonnull %59) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %59) #9
  %422 = load ptr, ptr %5, align 8, !tbaa !5
  %423 = load i64, ptr %6, align 8, !tbaa !9
  call void @utils_printFormattedOctetString(i8 noundef zeroext 4, ptr noundef nonnull @.str.14, ptr noundef nonnull @.str.106, i8 noundef zeroext 8, ptr noundef %422, i64 noundef %423) #9
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %60) #9
  %424 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %60, i64 noundef 1200, ptr noundef nonnull @.str.121, ptr noundef nonnull @.str.14) #9
  %425 = load ptr, ptr @stdout, align 8, !tbaa !5
  %426 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %425, ptr noundef nonnull @.str.15, ptr noundef nonnull %60) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %60) #9
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %61) #9
  %427 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %61, i64 noundef 1200, ptr noundef nonnull @.str.122, ptr noundef nonnull @.str.14) #9
  %428 = load ptr, ptr @stdout, align 8, !tbaa !5
  %429 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %428, ptr noundef nonnull @.str.15, ptr noundef nonnull %61) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %61) #9
  br label %.thread401

430:                                              ; preds = %415
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %62) #9
  %431 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %62, i64 noundef 1200, ptr noundef nonnull @.str.123, ptr noundef nonnull @.str.14) #9
  %432 = load ptr, ptr @stdout, align 8, !tbaa !5
  %433 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %432, ptr noundef nonnull @.str.15, ptr noundef nonnull %62) #9
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %62) #9
  %434 = load ptr, ptr %5, align 8, !tbaa !5
  %435 = load i64, ptr %6, align 8, !tbaa !9
  call void @llvm.memset.p0.i64(ptr align 1 %434, i8 0, i64 %435, i1 false)
  store ptr null, ptr %5, align 8, !tbaa !5
  br label %.thread401

.thread401:                                       ; preds = %64, %70, %76, %82, %88, %109, %115, %100, %94, %128, %137, %121, %172, %178, %184, %193, %199, %205, %166, %160, %214, %227, %233, %239, %221, %248, %255, %261, %270, %312, %324, %301, %276, %338, %349, %357, %364, %373, %386, %399, %411, %430, %418, %405, %393, %379
  %.0186437 = phi ptr [ %337, %418 ], [ %337, %430 ], [ %337, %411 ], [ %337, %405 ], [ %337, %399 ], [ %337, %393 ], [ %337, %386 ], [ %337, %379 ], [ %337, %373 ], [ null, %338 ], [ %337, %349 ], [ %337, %357 ], [ %337, %364 ], [ null, %276 ], [ null, %301 ], [ null, %324 ], [ null, %312 ], [ null, %270 ], [ null, %261 ], [ null, %255 ], [ null, %248 ], [ null, %221 ], [ null, %239 ], [ null, %233 ], [ null, %227 ], [ null, %214 ], [ null, %160 ], [ null, %166 ], [ null, %205 ], [ null, %199 ], [ null, %193 ], [ null, %184 ], [ null, %178 ], [ null, %172 ], [ null, %121 ], [ null, %137 ], [ null, %128 ], [ null, %94 ], [ null, %100 ], [ null, %115 ], [ null, %109 ], [ null, %88 ], [ null, %82 ], [ null, %76 ], [ null, %70 ], [ null, %64 ]
  %.0199436 = phi ptr [ %356, %418 ], [ %356, %430 ], [ %356, %411 ], [ %356, %405 ], [ %356, %399 ], [ %356, %393 ], [ %356, %386 ], [ %356, %379 ], [ %356, %373 ], [ null, %338 ], [ null, %349 ], [ null, %357 ], [ %356, %364 ], [ null, %276 ], [ null, %301 ], [ null, %324 ], [ null, %312 ], [ null, %270 ], [ null, %261 ], [ null, %255 ], [ null, %248 ], [ null, %221 ], [ null, %239 ], [ null, %233 ], [ null, %227 ], [ null, %214 ], [ null, %160 ], [ null, %166 ], [ null, %205 ], [ null, %199 ], [ null, %193 ], [ null, %184 ], [ null, %178 ], [ null, %172 ], [ null, %121 ], [ null, %137 ], [ null, %128 ], [ null, %94 ], [ null, %100 ], [ null, %115 ], [ null, %109 ], [ null, %88 ], [ null, %82 ], [ null, %76 ], [ null, %70 ], [ null, %64 ]
  %.0192364384435 = phi ptr [ %226, %418 ], [ %226, %430 ], [ %226, %411 ], [ %226, %405 ], [ %226, %399 ], [ %226, %393 ], [ %226, %386 ], [ %226, %379 ], [ %226, %373 ], [ %226, %338 ], [ %226, %349 ], [ %226, %357 ], [ %226, %364 ], [ %226, %276 ], [ %226, %301 ], [ %226, %324 ], [ %226, %312 ], [ %226, %270 ], [ %226, %261 ], [ %226, %255 ], [ %226, %248 ], [ null, %221 ], [ %226, %239 ], [ %226, %233 ], [ null, %227 ], [ null, %214 ], [ null, %160 ], [ null, %166 ], [ null, %205 ], [ null, %199 ], [ null, %193 ], [ null, %184 ], [ null, %178 ], [ null, %172 ], [ null, %121 ], [ null, %137 ], [ null, %128 ], [ null, %94 ], [ null, %100 ], [ null, %115 ], [ null, %109 ], [ null, %88 ], [ null, %82 ], [ null, %76 ], [ null, %70 ], [ null, %64 ]
  %.0193363385434 = phi ptr [ %213, %418 ], [ %213, %430 ], [ %213, %411 ], [ %213, %405 ], [ %213, %399 ], [ %213, %393 ], [ %213, %386 ], [ %213, %379 ], [ %213, %373 ], [ %213, %338 ], [ %213, %349 ], [ %213, %357 ], [ %213, %364 ], [ %213, %276 ], [ %213, %301 ], [ %213, %324 ], [ %213, %312 ], [ %213, %270 ], [ %213, %261 ], [ %213, %255 ], [ %213, %248 ], [ %213, %221 ], [ %213, %239 ], [ %213, %233 ], [ %213, %227 ], [ null, %214 ], [ null, %160 ], [ null, %166 ], [ null, %205 ], [ null, %199 ], [ null, %193 ], [ null, %184 ], [ null, %178 ], [ null, %172 ], [ null, %121 ], [ null, %137 ], [ null, %128 ], [ null, %94 ], [ null, %100 ], [ null, %115 ], [ null, %109 ], [ null, %88 ], [ null, %82 ], [ null, %76 ], [ null, %70 ], [ null, %64 ]
  %.0195362386433 = phi ptr [ %232, %418 ], [ %232, %430 ], [ %232, %411 ], [ %232, %405 ], [ %232, %399 ], [ %232, %393 ], [ %232, %386 ], [ %232, %379 ], [ %232, %373 ], [ %232, %338 ], [ %232, %349 ], [ %232, %357 ], [ %232, %364 ], [ %232, %276 ], [ %232, %301 ], [ %232, %324 ], [ %232, %312 ], [ %232, %270 ], [ %232, %261 ], [ %232, %255 ], [ %232, %248 ], [ null, %221 ], [ %232, %239 ], [ null, %233 ], [ null, %227 ], [ null, %214 ], [ null, %160 ], [ null, %166 ], [ null, %205 ], [ null, %199 ], [ null, %193 ], [ null, %184 ], [ null, %178 ], [ null, %172 ], [ null, %121 ], [ null, %137 ], [ null, %128 ], [ null, %94 ], [ null, %100 ], [ null, %115 ], [ null, %109 ], [ null, %88 ], [ null, %82 ], [ null, %76 ], [ null, %70 ], [ null, %64 ]
  %.0314329361387432 = phi ptr [ %136, %418 ], [ %136, %430 ], [ %136, %411 ], [ %136, %405 ], [ %136, %399 ], [ %136, %393 ], [ %136, %386 ], [ %136, %379 ], [ %136, %373 ], [ %136, %338 ], [ %136, %349 ], [ %136, %357 ], [ %136, %364 ], [ %136, %276 ], [ %136, %301 ], [ %136, %324 ], [ %136, %312 ], [ %136, %270 ], [ %136, %261 ], [ %136, %255 ], [ %136, %248 ], [ %136, %221 ], [ %136, %239 ], [ %136, %233 ], [ %136, %227 ], [ %136, %214 ], [ %136, %160 ], [ %136, %166 ], [ %136, %205 ], [ %136, %199 ], [ %136, %193 ], [ %136, %184 ], [ %136, %178 ], [ %136, %172 ], [ null, %121 ], [ null, %137 ], [ null, %128 ], [ null, %94 ], [ null, %100 ], [ null, %115 ], [ null, %109 ], [ null, %88 ], [ null, %82 ], [ null, %76 ], [ null, %70 ], [ null, %64 ]
  %.0201332358390431 = phi ptr [ %204, %418 ], [ %204, %430 ], [ %204, %411 ], [ %204, %405 ], [ %204, %399 ], [ %204, %393 ], [ %204, %386 ], [ %204, %379 ], [ %204, %373 ], [ %204, %338 ], [ %204, %349 ], [ %204, %357 ], [ %204, %364 ], [ %204, %276 ], [ %204, %301 ], [ %204, %324 ], [ %204, %312 ], [ %204, %270 ], [ %204, %261 ], [ %204, %255 ], [ %204, %248 ], [ %204, %221 ], [ %204, %239 ], [ %204, %233 ], [ %204, %227 ], [ %204, %214 ], [ null, %160 ], [ null, %166 ], [ null, %205 ], [ null, %199 ], [ null, %193 ], [ null, %184 ], [ null, %178 ], [ null, %172 ], [ null, %121 ], [ null, %137 ], [ null, %128 ], [ null, %94 ], [ null, %100 ], [ null, %115 ], [ null, %109 ], [ null, %88 ], [ null, %82 ], [ null, %76 ], [ null, %70 ], [ null, %64 ]
  %.0198333357391430 = phi ptr [ %192, %418 ], [ %192, %430 ], [ %192, %411 ], [ %192, %405 ], [ %192, %399 ], [ %192, %393 ], [ %192, %386 ], [ %192, %379 ], [ %192, %373 ], [ %192, %338 ], [ %192, %349 ], [ %192, %357 ], [ %192, %364 ], [ %192, %276 ], [ %192, %301 ], [ %192, %324 ], [ %192, %312 ], [ %192, %270 ], [ %192, %261 ], [ %192, %255 ], [ %192, %248 ], [ %192, %221 ], [ %192, %239 ], [ %192, %233 ], [ %192, %227 ], [ %192, %214 ], [ null, %160 ], [ null, %166 ], [ %192, %205 ], [ %192, %199 ], [ null, %193 ], [ null, %184 ], [ null, %178 ], [ null, %172 ], [ null, %121 ], [ null, %137 ], [ null, %128 ], [ null, %94 ], [ null, %100 ], [ null, %115 ], [ null, %109 ], [ null, %88 ], [ null, %82 ], [ null, %76 ], [ null, %70 ], [ null, %64 ]
  %.0197334356392429 = phi ptr [ %198, %418 ], [ %198, %430 ], [ %198, %411 ], [ %198, %405 ], [ %198, %399 ], [ %198, %393 ], [ %198, %386 ], [ %198, %379 ], [ %198, %373 ], [ %198, %338 ], [ %198, %349 ], [ %198, %357 ], [ %198, %364 ], [ %198, %276 ], [ %198, %301 ], [ %198, %324 ], [ %198, %312 ], [ %198, %270 ], [ %198, %261 ], [ %198, %255 ], [ %198, %248 ], [ %198, %221 ], [ %198, %239 ], [ %198, %233 ], [ %198, %227 ], [ %198, %214 ], [ null, %160 ], [ null, %166 ], [ %198, %205 ], [ null, %199 ], [ null, %193 ], [ null, %184 ], [ null, %178 ], [ null, %172 ], [ null, %121 ], [ null, %137 ], [ null, %128 ], [ null, %94 ], [ null, %100 ], [ null, %115 ], [ null, %109 ], [ null, %88 ], [ null, %82 ], [ null, %76 ], [ null, %70 ], [ null, %64 ]
  %.0189335355393428 = phi ptr [ %183, %418 ], [ %183, %430 ], [ %183, %411 ], [ %183, %405 ], [ %183, %399 ], [ %183, %393 ], [ %183, %386 ], [ %183, %379 ], [ %183, %373 ], [ %183, %338 ], [ %183, %349 ], [ %183, %357 ], [ %183, %364 ], [ %183, %276 ], [ %183, %301 ], [ %183, %324 ], [ %183, %312 ], [ %183, %270 ], [ %183, %261 ], [ %183, %255 ], [ %183, %248 ], [ %183, %221 ], [ %183, %239 ], [ %183, %233 ], [ %183, %227 ], [ %183, %214 ], [ null, %160 ], [ null, %166 ], [ %183, %205 ], [ %183, %199 ], [ %183, %193 ], [ null, %184 ], [ null, %178 ], [ null, %172 ], [ null, %121 ], [ null, %137 ], [ null, %128 ], [ null, %94 ], [ null, %100 ], [ null, %115 ], [ null, %109 ], [ null, %88 ], [ null, %82 ], [ null, %76 ], [ null, %70 ], [ null, %64 ]
  %.0188336354394427 = phi ptr [ %171, %418 ], [ %171, %430 ], [ %171, %411 ], [ %171, %405 ], [ %171, %399 ], [ %171, %393 ], [ %171, %386 ], [ %171, %379 ], [ %171, %373 ], [ %171, %338 ], [ %171, %349 ], [ %171, %357 ], [ %171, %364 ], [ %171, %276 ], [ %171, %301 ], [ %171, %324 ], [ %171, %312 ], [ %171, %270 ], [ %171, %261 ], [ %171, %255 ], [ %171, %248 ], [ %171, %221 ], [ %171, %239 ], [ %171, %233 ], [ %171, %227 ], [ %171, %214 ], [ null, %160 ], [ null, %166 ], [ %171, %205 ], [ %171, %199 ], [ %171, %193 ], [ %171, %184 ], [ %171, %178 ], [ null, %172 ], [ null, %121 ], [ null, %137 ], [ null, %128 ], [ null, %94 ], [ null, %100 ], [ null, %115 ], [ null, %109 ], [ null, %88 ], [ null, %82 ], [ null, %76 ], [ null, %70 ], [ null, %64 ]
  %.0187337353395426 = phi ptr [ %177, %418 ], [ %177, %430 ], [ %177, %411 ], [ %177, %405 ], [ %177, %399 ], [ %177, %393 ], [ %177, %386 ], [ %177, %379 ], [ %177, %373 ], [ %177, %338 ], [ %177, %349 ], [ %177, %357 ], [ %177, %364 ], [ %177, %276 ], [ %177, %301 ], [ %177, %324 ], [ %177, %312 ], [ %177, %270 ], [ %177, %261 ], [ %177, %255 ], [ %177, %248 ], [ %177, %221 ], [ %177, %239 ], [ %177, %233 ], [ %177, %227 ], [ %177, %214 ], [ null, %160 ], [ null, %166 ], [ %177, %205 ], [ %177, %199 ], [ %177, %193 ], [ %177, %184 ], [ null, %178 ], [ null, %172 ], [ null, %121 ], [ null, %137 ], [ null, %128 ], [ null, %94 ], [ null, %100 ], [ null, %115 ], [ null, %109 ], [ null, %88 ], [ null, %82 ], [ null, %76 ], [ null, %70 ], [ null, %64 ]
  %.0200396425 = phi ptr [ %269, %418 ], [ %269, %430 ], [ %269, %411 ], [ %269, %405 ], [ %269, %399 ], [ %269, %393 ], [ %269, %386 ], [ %269, %379 ], [ %269, %373 ], [ %269, %338 ], [ %269, %349 ], [ %269, %357 ], [ %269, %364 ], [ %269, %276 ], [ %269, %301 ], [ %269, %324 ], [ %269, %312 ], [ null, %270 ], [ null, %261 ], [ null, %255 ], [ null, %248 ], [ null, %221 ], [ null, %239 ], [ null, %233 ], [ null, %227 ], [ null, %214 ], [ null, %160 ], [ null, %166 ], [ null, %205 ], [ null, %199 ], [ null, %193 ], [ null, %184 ], [ null, %178 ], [ null, %172 ], [ null, %121 ], [ null, %137 ], [ null, %128 ], [ null, %94 ], [ null, %100 ], [ null, %115 ], [ null, %109 ], [ null, %88 ], [ null, %82 ], [ null, %76 ], [ null, %70 ], [ null, %64 ]
  %.0196397424 = phi ptr [ %260, %418 ], [ %260, %430 ], [ %260, %411 ], [ %260, %405 ], [ %260, %399 ], [ %260, %393 ], [ %260, %386 ], [ %260, %379 ], [ %260, %373 ], [ %260, %338 ], [ %260, %349 ], [ %260, %357 ], [ %260, %364 ], [ %260, %276 ], [ %260, %301 ], [ %260, %324 ], [ %260, %312 ], [ %260, %270 ], [ null, %261 ], [ null, %255 ], [ null, %248 ], [ null, %221 ], [ null, %239 ], [ null, %233 ], [ null, %227 ], [ null, %214 ], [ null, %160 ], [ null, %166 ], [ null, %205 ], [ null, %199 ], [ null, %193 ], [ null, %184 ], [ null, %178 ], [ null, %172 ], [ null, %121 ], [ null, %137 ], [ null, %128 ], [ null, %94 ], [ null, %100 ], [ null, %115 ], [ null, %109 ], [ null, %88 ], [ null, %82 ], [ null, %76 ], [ null, %70 ], [ null, %64 ]
  %.0185398423 = phi ptr [ %247, %418 ], [ %247, %430 ], [ %247, %411 ], [ %247, %405 ], [ %247, %399 ], [ %247, %393 ], [ %247, %386 ], [ %247, %379 ], [ %247, %373 ], [ %247, %338 ], [ %247, %349 ], [ %247, %357 ], [ %247, %364 ], [ %247, %276 ], [ %247, %301 ], [ %247, %324 ], [ %247, %312 ], [ %247, %270 ], [ %247, %261 ], [ %247, %255 ], [ null, %248 ], [ null, %221 ], [ null, %239 ], [ null, %233 ], [ null, %227 ], [ null, %214 ], [ null, %160 ], [ null, %166 ], [ null, %205 ], [ null, %199 ], [ null, %193 ], [ null, %184 ], [ null, %178 ], [ null, %172 ], [ null, %121 ], [ null, %137 ], [ null, %128 ], [ null, %94 ], [ null, %100 ], [ null, %115 ], [ null, %109 ], [ null, %88 ], [ null, %82 ], [ null, %76 ], [ null, %70 ], [ null, %64 ]
  %.0205 = phi i8 [ 0, %418 ], [ 1, %430 ], [ 1, %411 ], [ 1, %405 ], [ 1, %399 ], [ 1, %393 ], [ 1, %386 ], [ 1, %379 ], [ 1, %373 ], [ 1, %338 ], [ 1, %349 ], [ 1, %357 ], [ 1, %364 ], [ 1, %276 ], [ 1, %301 ], [ 1, %324 ], [ 1, %312 ], [ 1, %270 ], [ 1, %261 ], [ 1, %255 ], [ 1, %248 ], [ 1, %221 ], [ 1, %239 ], [ 1, %233 ], [ 1, %227 ], [ 1, %214 ], [ 1, %160 ], [ 1, %166 ], [ 1, %205 ], [ 1, %199 ], [ 1, %193 ], [ 1, %184 ], [ 1, %178 ], [ 1, %172 ], [ 1, %121 ], [ 1, %137 ], [ 1, %128 ], [ 1, %94 ], [ 1, %100 ], [ 1, %115 ], [ 1, %109 ], [ 1, %88 ], [ 1, %82 ], [ 1, %76 ], [ 1, %70 ], [ 1, %64 ]
  %.0202 = phi ptr [ %385, %418 ], [ %385, %430 ], [ %385, %411 ], [ %385, %405 ], [ %385, %399 ], [ %385, %393 ], [ null, %386 ], [ null, %379 ], [ null, %373 ], [ null, %338 ], [ null, %349 ], [ null, %357 ], [ null, %364 ], [ null, %276 ], [ null, %301 ], [ null, %324 ], [ null, %312 ], [ null, %270 ], [ null, %261 ], [ null, %255 ], [ null, %248 ], [ null, %221 ], [ null, %239 ], [ null, %233 ], [ null, %227 ], [ null, %214 ], [ null, %160 ], [ null, %166 ], [ null, %205 ], [ null, %199 ], [ null, %193 ], [ null, %184 ], [ null, %178 ], [ null, %172 ], [ null, %121 ], [ null, %137 ], [ null, %128 ], [ null, %94 ], [ null, %100 ], [ null, %115 ], [ null, %109 ], [ null, %88 ], [ null, %82 ], [ null, %76 ], [ null, %70 ], [ null, %64 ]
  %.0194 = phi ptr [ %372, %418 ], [ %372, %430 ], [ %372, %411 ], [ %372, %405 ], [ %372, %399 ], [ %372, %393 ], [ %372, %386 ], [ %372, %379 ], [ null, %373 ], [ null, %338 ], [ null, %349 ], [ null, %357 ], [ null, %364 ], [ null, %276 ], [ null, %301 ], [ null, %324 ], [ null, %312 ], [ null, %270 ], [ null, %261 ], [ null, %255 ], [ null, %248 ], [ null, %221 ], [ null, %239 ], [ null, %233 ], [ null, %227 ], [ null, %214 ], [ null, %160 ], [ null, %166 ], [ null, %205 ], [ null, %199 ], [ null, %193 ], [ null, %184 ], [ null, %178 ], [ null, %172 ], [ null, %121 ], [ null, %137 ], [ null, %128 ], [ null, %94 ], [ null, %100 ], [ null, %115 ], [ null, %109 ], [ null, %88 ], [ null, %82 ], [ null, %76 ], [ null, %70 ], [ null, %64 ]
  %.0191 = phi ptr [ %392, %418 ], [ %392, %430 ], [ %392, %411 ], [ %392, %405 ], [ %392, %399 ], [ null, %393 ], [ null, %386 ], [ null, %379 ], [ null, %373 ], [ null, %338 ], [ null, %349 ], [ null, %357 ], [ null, %364 ], [ null, %276 ], [ null, %301 ], [ null, %324 ], [ null, %312 ], [ null, %270 ], [ null, %261 ], [ null, %255 ], [ null, %248 ], [ null, %221 ], [ null, %239 ], [ null, %233 ], [ null, %227 ], [ null, %214 ], [ null, %160 ], [ null, %166 ], [ null, %205 ], [ null, %199 ], [ null, %193 ], [ null, %184 ], [ null, %178 ], [ null, %172 ], [ null, %121 ], [ null, %137 ], [ null, %128 ], [ null, %94 ], [ null, %100 ], [ null, %115 ], [ null, %109 ], [ null, %88 ], [ null, %82 ], [ null, %76 ], [ null, %70 ], [ null, %64 ]
  call void @BN_clear_free(ptr noundef %.0202) #9
  call void @BN_clear_free(ptr noundef %.0201332358390431) #9
  call void @BN_clear_free(ptr noundef %.0200396425) #9
  call void @BN_clear_free(ptr noundef %.0199436) #9
  call void @BN_clear_free(ptr noundef %.0198333357391430) #9
  call void @BN_clear_free(ptr noundef %.0197334356392429) #9
  call void @BN_clear_free(ptr noundef %.0196397424) #9
  call void @BN_clear_free(ptr noundef %.0195362386433) #9
  %.not301 = icmp eq ptr %.0185398423, null
  br i1 %.not301, label %437, label %436

436:                                              ; preds = %.thread401
  call void @free(ptr noundef nonnull %.0185398423) #9
  br label %437

437:                                              ; preds = %436, %.thread401
  %.not302 = icmp eq ptr %.0188336354394427, null
  br i1 %.not302, label %439, label %438

438:                                              ; preds = %437
  call void @free(ptr noundef nonnull %.0188336354394427) #9
  br label %439

439:                                              ; preds = %438, %437
  %.not303 = icmp eq ptr %.0187337353395426, null
  br i1 %.not303, label %441, label %440

440:                                              ; preds = %439
  call void @free(ptr noundef nonnull %.0187337353395426) #9
  br label %441

441:                                              ; preds = %440, %439
  %.not304 = icmp eq ptr %.0189335355393428, null
  br i1 %.not304, label %443, label %442

442:                                              ; preds = %441
  call void @free(ptr noundef nonnull %.0189335355393428) #9
  br label %443

443:                                              ; preds = %442, %441
  %.not305 = icmp eq ptr %.0186437, null
  br i1 %.not305, label %445, label %444

444:                                              ; preds = %443
  call void @free(ptr noundef nonnull %.0186437) #9
  br label %445

445:                                              ; preds = %444, %443
  call void @EC_POINT_clear_free(ptr noundef %.0192364384435) #9
  call void @EC_POINT_clear_free(ptr noundef %.0193363385434) #9
  call void @EC_POINT_clear_free(ptr noundef %.0191) #9
  call void @EC_POINT_clear_free(ptr noundef %.0194) #9
  call void @BN_CTX_free(ptr noundef %.0314329361387432) #9
  ret i8 %.0205
}

declare signext i16 @user_exists(ptr noundef, i64 noundef, ptr noundef) local_unnamed_addr #1

; Function Attrs: mustprogress nofree nounwind willreturn memory(argmem: read)
declare i64 @strlen(ptr nocapture noundef) local_unnamed_addr #8

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

declare ptr @user_getRSKpoint(ptr noundef, i64 noundef, ptr noundef) local_unnamed_addr #1

; Function Attrs: nounwind uwtable
declare hidden zeroext i8 @sakke_computeTLPairing(ptr noundef, ptr noundef, ptr noundef, i8 noundef zeroext) local_unnamed_addr #5

declare void @utils_displayAffineCoordinates(i8 noundef zeroext, ptr noundef, ptr noundef, i8 noundef zeroext, ptr noundef, ptr noundef) local_unnamed_addr #1

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

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { nofree nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { mustprogress nofree nounwind willreturn allockind("alloc,zeroed") allocsize(0,1) memory(inaccessiblemem: readwrite) "alloc-family"="malloc" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #5 = { 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 #6 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #7 = { mustprogress nounwind willreturn allockind("free") memory(argmem: readwrite, inaccessiblemem: readwrite) "alloc-family"="malloc" "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 #8 = { mustprogress nofree nounwind willreturn memory(argmem: read) "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 #9 = { nounwind }
attributes #10 = { nounwind willreturn memory(read) }
attributes #11 = { nounwind allocsize(0,1) }

!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 = !{!"long", !7, i64 0}
!11 = !{!7, !7, i64 0}
!12 = distinct !{!12, !13}
!13 = !{!"llvm.loop.mustprogress"}


; Effective O3 passes: CorrelatedValuePropagationPass,DSEPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,InferFunctionAttrsPass,InstCombinePass,JumpThreadingPass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,PostOrderFunctionAttrsPass,SROAPass,SimplifyCFGPass,TailCallElimPass