; 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.6 = external hidden unnamed_addr constant [31 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.69 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.75 = external hidden unnamed_addr constant [31 x i8], align 1
@.str.95 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.124 = external hidden unnamed_addr constant [21 x i8], align 1
@.str.125 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.126 = external hidden unnamed_addr constant [16 x i8], align 1
@.str.127 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.128 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.129 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.130 = external hidden unnamed_addr constant [32 x i8], align 1
@.str.131 = external hidden unnamed_addr constant [43 x i8], align 1
@.str.132 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.133 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.134 = external hidden unnamed_addr constant [20 x i8], align 1
@.str.135 = external hidden unnamed_addr constant [58 x i8], align 1
@.str.136 = external hidden unnamed_addr constant [44 x i8], align 1
@.str.137 = external hidden unnamed_addr constant [26 x i8], align 1
@.str.138 = external hidden unnamed_addr constant [41 x i8], align 1
@.str.139 = external hidden unnamed_addr constant [32 x i8], align 1
@.str.140 = external hidden unnamed_addr constant [36 x i8], align 1
@.str.141 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.142 = external hidden unnamed_addr constant [24 x i8], align 1
@.str.143 = external hidden unnamed_addr constant [50 x i8], align 1
@.str.144 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.145 = external hidden unnamed_addr constant [38 x i8], align 1
@.str.146 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.147 = external hidden unnamed_addr constant [10 x i8], align 1
@.str.148 = external hidden unnamed_addr constant [31 x i8], align 1
@.str.149 = external hidden unnamed_addr constant [12 x i8], align 1
@.str.150 = external hidden unnamed_addr constant [36 x i8], align 1
@.str.151 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.152 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.153 = external hidden unnamed_addr constant [18 x i8], align 1
@.str.154 = external hidden unnamed_addr constant [38 x i8], align 1
@.str.155 = external hidden unnamed_addr constant [46 x i8], align 1
@.str.156 = external hidden unnamed_addr constant [41 x i8], align 1
@.str.157 = external hidden unnamed_addr constant [39 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 ptr @BN_new() #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_g(i8 noundef zeroext) #1

declare void @BN_clear_free(ptr noundef) #1

declare void @EC_POINT_clear_free(ptr noundef) #1

declare void @BN_CTX_free(ptr noundef) #1

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

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

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

; Function Attrs: nounwind uwtable
define dso_local zeroext i8 @sakke_validateRSK(ptr noundef %0, i64 noundef %1, ptr noundef %2, ptr noundef %3, i64 noundef %4) #3 {
  %6 = alloca ptr, align 8
  %7 = alloca i64, align 8
  %8 = alloca ptr, align 8
  %9 = alloca ptr, align 8
  %10 = alloca i64, align 8
  %11 = alloca i8, align 1
  %12 = alloca i8, align 1
  %13 = alloca ptr, align 8
  %14 = alloca ptr, align 8
  %15 = alloca ptr, align 8
  %16 = alloca ptr, align 8
  %17 = alloca ptr, align 8
  %18 = alloca ptr, align 8
  %19 = alloca ptr, align 8
  %20 = alloca ptr, align 8
  %21 = alloca ptr, align 8
  %22 = alloca ptr, align 8
  %23 = alloca i8, align 1
  %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
  store ptr %0, ptr %6, align 8, !tbaa !5
  store i64 %1, ptr %7, align 8, !tbaa !9
  store ptr %2, ptr %8, align 8, !tbaa !5
  store ptr %3, ptr %9, align 8, !tbaa !5
  store i64 %4, ptr %10, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 1, ptr %11) #4
  store i8 1, ptr %11, align 1, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 1, ptr %12) #4
  store i8 0, ptr %12, align 1, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #4
  store ptr null, ptr %13, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #4
  store ptr null, ptr %14, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #4
  store ptr null, ptr %15, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #4
  store ptr null, ptr %16, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #4
  store ptr null, ptr %17, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #4
  store ptr null, ptr %18, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #4
  store ptr null, ptr %19, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #4
  store ptr null, ptr %20, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #4
  store ptr null, ptr %21, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #4
  store ptr null, ptr %22, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 1, ptr %23) #4
  store i8 1, ptr %23, align 1, !tbaa !11
  %51 = load ptr, ptr %6, align 8, !tbaa !5
  %52 = icmp eq ptr null, %51
  br i1 %52, label %53, label %59

53:                                               ; preds = %5
  call void @llvm.lifetime.start.p0(i64 1200, ptr %24) #4
  %54 = getelementptr inbounds [1200 x i8], ptr %24, i64 0, i64 0
  %55 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %54, i64 noundef 1200, ptr noundef @.str.69, ptr noundef @.str.124) #4
  %56 = load ptr, ptr @stdout, align 8, !tbaa !5
  %57 = getelementptr inbounds [1200 x i8], ptr %24, i64 0, i64 0
  %58 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %56, ptr noundef @.str.2, ptr noundef %57) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr %24) #4
  store i8 1, ptr %12, align 1, !tbaa !11
  br label %111

59:                                               ; preds = %5
  %60 = load i64, ptr %7, align 8, !tbaa !9
  %61 = icmp eq i64 %60, 0
  br i1 %61, label %62, label %68

62:                                               ; preds = %59
  call void @llvm.lifetime.start.p0(i64 1200, ptr %25) #4
  %63 = getelementptr inbounds [1200 x i8], ptr %25, i64 0, i64 0
  %64 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %63, i64 noundef 1200, ptr noundef @.str.5, ptr noundef @.str.124) #4
  %65 = load ptr, ptr @stdout, align 8, !tbaa !5
  %66 = getelementptr inbounds [1200 x i8], ptr %25, i64 0, i64 0
  %67 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %65, ptr noundef @.str.2, ptr noundef %66) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr %25) #4
  store i8 1, ptr %12, align 1, !tbaa !11
  br label %110

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

71:                                               ; preds = %68
  call void @llvm.lifetime.start.p0(i64 1200, ptr %26) #4
  %72 = getelementptr inbounds [1200 x i8], ptr %26, i64 0, i64 0
  %73 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %72, i64 noundef 1200, ptr noundef @.str.6, ptr noundef @.str.124) #4
  %74 = load ptr, ptr @stdout, align 8, !tbaa !5
  %75 = getelementptr inbounds [1200 x i8], ptr %26, i64 0, i64 0
  %76 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %74, ptr noundef @.str.2, ptr noundef %75) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr %26) #4
  store i8 1, ptr %12, align 1, !tbaa !11
  br label %109

77:                                               ; preds = %68
  %78 = load ptr, ptr %8, align 8, !tbaa !5
  %79 = call signext i16 @community_exists(ptr noundef %78)
  %80 = icmp ne i16 %79, 0
  br i1 %80, label %88, label %81

81:                                               ; preds = %77
  call void @llvm.lifetime.start.p0(i64 1200, ptr %27) #4
  %82 = getelementptr inbounds [1200 x i8], ptr %27, i64 0, i64 0
  %83 = load ptr, ptr %8, align 8, !tbaa !5
  %84 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %82, i64 noundef 1200, ptr noundef @.str.125, ptr noundef @.str.124, ptr noundef %83) #4
  %85 = load ptr, ptr @stdout, align 8, !tbaa !5
  %86 = getelementptr inbounds [1200 x i8], ptr %27, i64 0, i64 0
  %87 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %85, ptr noundef @.str.2, ptr noundef %86) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr %27) #4
  store i8 1, ptr %12, align 1, !tbaa !11
  br label %108

88:                                               ; preds = %77
  %89 = load ptr, ptr %9, align 8, !tbaa !5
  %90 = icmp eq ptr null, %89
  br i1 %90, label %91, label %97

91:                                               ; preds = %88
  call void @llvm.lifetime.start.p0(i64 1200, ptr %28) #4
  %92 = getelementptr inbounds [1200 x i8], ptr %28, i64 0, i64 0
  %93 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %92, i64 noundef 1200, ptr noundef @.str.126, ptr noundef @.str.124) #4
  %94 = load ptr, ptr @stdout, align 8, !tbaa !5
  %95 = getelementptr inbounds [1200 x i8], ptr %28, i64 0, i64 0
  %96 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %94, ptr noundef @.str.2, ptr noundef %95) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr %28) #4
  store i8 1, ptr %12, align 1, !tbaa !11
  br label %107

97:                                               ; preds = %88
  %98 = load i64, ptr %10, align 8, !tbaa !9
  %99 = icmp eq i64 %98, 0
  br i1 %99, label %100, label %106

100:                                              ; preds = %97
  call void @llvm.lifetime.start.p0(i64 1200, ptr %29) #4
  %101 = getelementptr inbounds [1200 x i8], ptr %29, i64 0, i64 0
  %102 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %101, i64 noundef 1200, ptr noundef @.str.127, ptr noundef @.str.124) #4
  %103 = load ptr, ptr @stdout, align 8, !tbaa !5
  %104 = getelementptr inbounds [1200 x i8], ptr %29, i64 0, i64 0
  %105 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %103, ptr noundef @.str.2, ptr noundef %104) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr %29) #4
  store i8 1, ptr %12, align 1, !tbaa !11
  br label %106

106:                                              ; preds = %100, %97
  br label %107

107:                                              ; preds = %106, %91
  br label %108

108:                                              ; preds = %107, %81
  br label %109

109:                                              ; preds = %108, %71
  br label %110

110:                                              ; preds = %109, %62
  br label %111

111:                                              ; preds = %110, %53
  %112 = load i8, ptr %12, align 1, !tbaa !11
  %113 = icmp ne i8 %112, 0
  br i1 %113, label %209, label %114

114:                                              ; preds = %111
  %115 = call ptr @BN_CTX_new()
  store ptr %115, ptr %13, align 8, !tbaa !5
  %116 = icmp ne ptr %115, null
  br i1 %116, label %123, label %117

117:                                              ; preds = %114
  call void @llvm.lifetime.start.p0(i64 1200, ptr %30) #4
  %118 = getelementptr inbounds [1200 x i8], ptr %30, i64 0, i64 0
  %119 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %118, i64 noundef 1200, ptr noundef @.str.75, ptr noundef @.str.124) #4
  %120 = load ptr, ptr @stdout, align 8, !tbaa !5
  %121 = getelementptr inbounds [1200 x i8], ptr %30, i64 0, i64 0
  %122 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %120, ptr noundef @.str.2, ptr noundef %121) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr %30) #4
  store i8 1, ptr %12, align 1, !tbaa !11
  br label %208

123:                                              ; preds = %114
  %124 = load ptr, ptr %8, align 8, !tbaa !5
  %125 = call zeroext i8 @community_get_paramSet(ptr noundef %124)
  store i8 %125, ptr %23, align 1, !tbaa !11
  %126 = zext i8 %125 to i32
  %127 = icmp ne i32 1, %126
  br i1 %127, label %128, label %136

128:                                              ; preds = %123
  call void @llvm.lifetime.start.p0(i64 1200, ptr %31) #4
  %129 = getelementptr inbounds [1200 x i8], ptr %31, i64 0, i64 0
  %130 = load i8, ptr %23, align 1, !tbaa !11
  %131 = zext i8 %130 to i32
  %132 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %129, i64 noundef 1200, ptr noundef @.str.10, ptr noundef @.str.124, i32 noundef %131) #4
  %133 = load ptr, ptr @stdout, align 8, !tbaa !5
  %134 = getelementptr inbounds [1200 x i8], ptr %31, i64 0, i64 0
  %135 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %133, ptr noundef @.str.2, ptr noundef %134) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr %31) #4
  store i8 1, ptr %12, align 1, !tbaa !11
  br label %207

136:                                              ; preds = %123
  %137 = load ptr, ptr %9, align 8, !tbaa !5
  %138 = getelementptr inbounds i8, ptr %137, i64 1
  %139 = load i64, ptr %10, align 8, !tbaa !9
  %140 = udiv i64 %139, 2
  %141 = trunc i64 %140 to i32
  %142 = call ptr @BN_bin2bn(ptr noundef %138, i32 noundef %141, ptr noundef null)
  store ptr %142, ptr %19, align 8, !tbaa !5
  %143 = icmp ne ptr %142, null
  br i1 %143, label %150, label %144

144:                                              ; preds = %136
  call void @llvm.lifetime.start.p0(i64 1200, ptr %32) #4
  %145 = getelementptr inbounds [1200 x i8], ptr %32, i64 0, i64 0
  %146 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %145, i64 noundef 1200, ptr noundef @.str.128, ptr noundef @.str.124) #4
  %147 = load ptr, ptr @stdout, align 8, !tbaa !5
  %148 = getelementptr inbounds [1200 x i8], ptr %32, i64 0, i64 0
  %149 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %147, ptr noundef @.str.2, ptr noundef %148) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr %32) #4
  store i8 1, ptr %12, align 1, !tbaa !11
  br label %206

150:                                              ; preds = %136
  %151 = load ptr, ptr %9, align 8, !tbaa !5
  %152 = getelementptr inbounds i8, ptr %151, i64 1
  %153 = load i64, ptr %10, align 8, !tbaa !9
  %154 = udiv i64 %153, 2
  %155 = getelementptr inbounds i8, ptr %152, i64 %154
  %156 = load i64, ptr %10, align 8, !tbaa !9
  %157 = udiv i64 %156, 2
  %158 = trunc i64 %157 to i32
  %159 = call ptr @BN_bin2bn(ptr noundef %155, i32 noundef %158, ptr noundef null)
  store ptr %159, ptr %20, align 8, !tbaa !5
  %160 = icmp ne ptr %159, null
  br i1 %160, label %167, label %161

161:                                              ; preds = %150
  call void @llvm.lifetime.start.p0(i64 1200, ptr %33) #4
  %162 = getelementptr inbounds [1200 x i8], ptr %33, i64 0, i64 0
  %163 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %162, i64 noundef 1200, ptr noundef @.str.129, ptr noundef @.str.124) #4
  %164 = load ptr, ptr @stdout, align 8, !tbaa !5
  %165 = getelementptr inbounds [1200 x i8], ptr %33, i64 0, i64 0
  %166 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %164, ptr noundef @.str.2, ptr noundef %165) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr %33) #4
  store i8 1, ptr %12, align 1, !tbaa !11
  br label %205

167:                                              ; preds = %150
  %168 = call ptr @ms_getParameter_E(i8 noundef zeroext 1)
  store ptr %168, ptr %15, align 8, !tbaa !5
  %169 = icmp ne ptr %168, null
  br i1 %169, label %176, label %170

170:                                              ; preds = %167
  call void @llvm.lifetime.start.p0(i64 1200, ptr %34) #4
  %171 = getelementptr inbounds [1200 x i8], ptr %34, i64 0, i64 0
  %172 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %171, i64 noundef 1200, ptr noundef @.str.130, ptr noundef @.str.124) #4
  %173 = load ptr, ptr @stdout, align 8, !tbaa !5
  %174 = getelementptr inbounds [1200 x i8], ptr %34, i64 0, i64 0
  %175 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %173, ptr noundef @.str.2, ptr noundef %174) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr %34) #4
  store i8 1, ptr %12, align 1, !tbaa !11
  br label %204

176:                                              ; preds = %167
  %177 = load ptr, ptr %15, align 8, !tbaa !5
  %178 = call ptr @EC_POINT_new(ptr noundef %177)
  store ptr %178, ptr %18, align 8, !tbaa !5
  %179 = icmp ne ptr %178, null
  br i1 %179, label %186, label %180

180:                                              ; preds = %176
  call void @llvm.lifetime.start.p0(i64 1200, ptr %35) #4
  %181 = getelementptr inbounds [1200 x i8], ptr %35, i64 0, i64 0
  %182 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %181, i64 noundef 1200, ptr noundef @.str.131, ptr noundef @.str.124) #4
  %183 = load ptr, ptr @stdout, align 8, !tbaa !5
  %184 = getelementptr inbounds [1200 x i8], ptr %35, i64 0, i64 0
  %185 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %183, ptr noundef @.str.2, ptr noundef %184) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr %35) #4
  store i8 1, ptr %12, align 1, !tbaa !11
  br label %203

186:                                              ; preds = %176
  %187 = load ptr, ptr %15, align 8, !tbaa !5
  %188 = load ptr, ptr %18, align 8, !tbaa !5
  %189 = load ptr, ptr %19, align 8, !tbaa !5
  %190 = load ptr, ptr %20, align 8, !tbaa !5
  %191 = call i32 @EC_POINT_set_affine_coordinates(ptr noundef %187, ptr noundef %188, ptr noundef %189, ptr noundef %190, ptr noundef null)
  %192 = icmp eq i32 %191, 0
  br i1 %192, label %193, label %199

193:                                              ; preds = %186
  call void @llvm.lifetime.start.p0(i64 1200, ptr %36) #4
  %194 = getelementptr inbounds [1200 x i8], ptr %36, i64 0, i64 0
  %195 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %194, i64 noundef 1200, ptr noundef @.str.132, ptr noundef @.str.124) #4
  %196 = load ptr, ptr @stdout, align 8, !tbaa !5
  %197 = getelementptr inbounds [1200 x i8], ptr %36, i64 0, i64 0
  %198 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %196, ptr noundef @.str.2, ptr noundef %197) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr %36) #4
  store i8 1, ptr %12, align 1, !tbaa !11
  br label %202

199:                                              ; preds = %186
  %200 = load ptr, ptr %15, align 8, !tbaa !5
  %201 = load ptr, ptr %18, align 8, !tbaa !5
  call void @utils_displayAffineCoordinates(i8 noundef zeroext 4, ptr noundef @.str.14, ptr noundef @.str.133, i8 noundef zeroext 8, ptr noundef %200, ptr noundef %201)
  br label %202

202:                                              ; preds = %199, %193
  br label %203

203:                                              ; preds = %202, %180
  br label %204

204:                                              ; preds = %203, %170
  br label %205

205:                                              ; preds = %204, %161
  br label %206

206:                                              ; preds = %205, %144
  br label %207

207:                                              ; preds = %206, %128
  br label %208

208:                                              ; preds = %207, %117
  br label %209

209:                                              ; preds = %208, %111
  %210 = load i8, ptr %12, align 1, !tbaa !11
  %211 = icmp ne i8 %210, 0
  br i1 %211, label %374, label %212

212:                                              ; preds = %209
  call void @llvm.lifetime.start.p0(i64 1200, ptr %37) #4
  %213 = getelementptr inbounds [1200 x i8], ptr %37, i64 0, i64 0
  %214 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %213, i64 noundef 1200, ptr noundef @.str.134, ptr noundef @.str.14) #4
  %215 = load ptr, ptr @stdout, align 8, !tbaa !5
  %216 = getelementptr inbounds [1200 x i8], ptr %37, i64 0, i64 0
  %217 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %215, ptr noundef @.str.15, ptr noundef %216) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr %37) #4
  call void @llvm.lifetime.start.p0(i64 1200, ptr %38) #4
  %218 = getelementptr inbounds [1200 x i8], ptr %38, i64 0, i64 0
  %219 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %218, i64 noundef 1200, ptr noundef @.str.135, ptr noundef @.str.14) #4
  %220 = load ptr, ptr @stdout, align 8, !tbaa !5
  %221 = getelementptr inbounds [1200 x i8], ptr %38, i64 0, i64 0
  %222 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %220, ptr noundef @.str.15, ptr noundef %221) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr %38) #4
  call void @llvm.lifetime.start.p0(i64 1200, ptr %39) #4
  %223 = getelementptr inbounds [1200 x i8], ptr %39, i64 0, i64 0
  %224 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %223, i64 noundef 1200, ptr noundef @.str.136, ptr noundef @.str.14) #4
  %225 = load ptr, ptr @stdout, align 8, !tbaa !5
  %226 = getelementptr inbounds [1200 x i8], ptr %39, i64 0, i64 0
  %227 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %225, ptr noundef @.str.15, ptr noundef %226) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr %39) #4
  %228 = load i8, ptr %23, align 1, !tbaa !11
  %229 = call ptr @ms_getParameter_E(i8 noundef zeroext %228)
  %230 = call ptr @EC_GROUP_dup(ptr noundef %229)
  store ptr %230, ptr %14, align 8, !tbaa !5
  %231 = icmp ne ptr %230, null
  br i1 %231, label %238, label %232

232:                                              ; preds = %212
  call void @llvm.lifetime.start.p0(i64 1200, ptr %40) #4
  %233 = getelementptr inbounds [1200 x i8], ptr %40, i64 0, i64 0
  %234 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %233, i64 noundef 1200, ptr noundef @.str.137, ptr noundef @.str.124) #4
  %235 = load ptr, ptr @stdout, align 8, !tbaa !5
  %236 = getelementptr inbounds [1200 x i8], ptr %40, i64 0, i64 0
  %237 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %235, ptr noundef @.str.2, ptr noundef %236) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr %40) #4
  store i8 1, ptr %12, align 1, !tbaa !11
  br label %373

238:                                              ; preds = %212
  %239 = load ptr, ptr %14, align 8, !tbaa !5
  %240 = call ptr @EC_POINT_new(ptr noundef %239)
  store ptr %240, ptr %16, align 8, !tbaa !5
  %241 = icmp ne ptr %240, null
  br i1 %241, label %248, label %242

242:                                              ; preds = %238
  call void @llvm.lifetime.start.p0(i64 1200, ptr %41) #4
  %243 = getelementptr inbounds [1200 x i8], ptr %41, i64 0, i64 0
  %244 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %243, i64 noundef 1200, ptr noundef @.str.138, ptr noundef @.str.124) #4
  %245 = load ptr, ptr @stdout, align 8, !tbaa !5
  %246 = getelementptr inbounds [1200 x i8], ptr %41, i64 0, i64 0
  %247 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %245, ptr noundef @.str.2, ptr noundef %246) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr %41) #4
  store i8 1, ptr %12, align 1, !tbaa !11
  br label %372

248:                                              ; preds = %238
  %249 = load ptr, ptr %6, align 8, !tbaa !5
  %250 = load i64, ptr %7, align 8, !tbaa !9
  %251 = trunc i64 %250 to i32
  %252 = call ptr @BN_bin2bn(ptr noundef %249, i32 noundef %251, ptr noundef null)
  store ptr %252, ptr %21, align 8, !tbaa !5
  %253 = icmp ne ptr %252, null
  br i1 %253, label %260, label %254

254:                                              ; preds = %248
  call void @llvm.lifetime.start.p0(i64 1200, ptr %42) #4
  %255 = getelementptr inbounds [1200 x i8], ptr %42, i64 0, i64 0
  %256 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %255, i64 noundef 1200, ptr noundef @.str.139, ptr noundef @.str.124) #4
  %257 = load ptr, ptr @stdout, align 8, !tbaa !5
  %258 = getelementptr inbounds [1200 x i8], ptr %42, i64 0, i64 0
  %259 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %257, ptr noundef @.str.2, ptr noundef %258) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr %42) #4
  store i8 1, ptr %12, align 1, !tbaa !11
  br label %371

260:                                              ; preds = %248
  %261 = load ptr, ptr %8, align 8, !tbaa !5
  %262 = call ptr @community_getZ_point(ptr noundef %261)
  store ptr %262, ptr %17, align 8, !tbaa !5
  %263 = icmp ne ptr %262, null
  br i1 %263, label %270, label %264

264:                                              ; preds = %260
  call void @llvm.lifetime.start.p0(i64 1200, ptr %43) #4
  %265 = getelementptr inbounds [1200 x i8], ptr %43, i64 0, i64 0
  %266 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %265, i64 noundef 1200, ptr noundef @.str.140, ptr noundef @.str.124) #4
  %267 = load ptr, ptr @stdout, align 8, !tbaa !5
  %268 = getelementptr inbounds [1200 x i8], ptr %43, i64 0, i64 0
  %269 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %267, ptr noundef @.str.2, ptr noundef %268) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr %43) #4
  store i8 1, ptr %12, align 1, !tbaa !11
  br label %370

270:                                              ; preds = %260
  %271 = load ptr, ptr %14, align 8, !tbaa !5
  %272 = load ptr, ptr %17, align 8, !tbaa !5
  call void @utils_displayAffineCoordinates(i8 noundef zeroext 4, ptr noundef @.str.14, ptr noundef @.str.141, i8 noundef zeroext 8, ptr noundef %271, ptr noundef %272)
  %273 = load ptr, ptr %21, align 8, !tbaa !5
  call void @utils_BNdump(i8 noundef zeroext 4, ptr noundef @.str.14, ptr noundef @.str.142, i8 noundef zeroext 6, ptr noundef %273)
  %274 = load ptr, ptr %14, align 8, !tbaa !5
  %275 = load ptr, ptr %18, align 8, !tbaa !5
  call void @utils_displayAffineCoordinates(i8 noundef zeroext 4, ptr noundef @.str.14, ptr noundef @.str.143, i8 noundef zeroext 8, ptr noundef %274, ptr noundef %275)
  %276 = load ptr, ptr %14, align 8, !tbaa !5
  %277 = load i8, ptr %23, align 1, !tbaa !11
  %278 = call ptr @ms_getParameter_P(i8 noundef zeroext %277)
  call void @utils_displayAffineCoordinates(i8 noundef zeroext 4, ptr noundef @.str.14, ptr noundef @.str.144, i8 noundef zeroext 8, ptr noundef %276, ptr noundef %278)
  %279 = load ptr, ptr %14, align 8, !tbaa !5
  %280 = load ptr, ptr %17, align 8, !tbaa !5
  call void @utils_displayAffineCoordinates(i8 noundef zeroext 4, ptr noundef @.str.14, ptr noundef @.str.145, i8 noundef zeroext 8, ptr noundef %279, ptr noundef %280)
  %281 = load ptr, ptr %14, align 8, !tbaa !5
  %282 = load ptr, ptr %16, align 8, !tbaa !5
  %283 = load i8, ptr %23, align 1, !tbaa !11
  %284 = call ptr @ms_getParameter_P(i8 noundef zeroext %283)
  %285 = load ptr, ptr %21, align 8, !tbaa !5
  %286 = load ptr, ptr %13, align 8, !tbaa !5
  %287 = call i32 @EC_POINT_mul(ptr noundef %281, ptr noundef %282, ptr noundef null, ptr noundef %284, ptr noundef %285, ptr noundef %286)
  %288 = icmp ne i32 %287, 0
  br i1 %288, label %295, label %289

289:                                              ; preds = %270
  call void @llvm.lifetime.start.p0(i64 1200, ptr %44) #4
  %290 = getelementptr inbounds [1200 x i8], ptr %44, i64 0, i64 0
  %291 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %290, i64 noundef 1200, ptr noundef @.str.146, ptr noundef @.str.124) #4
  %292 = load ptr, ptr @stdout, align 8, !tbaa !5
  %293 = getelementptr inbounds [1200 x i8], ptr %44, i64 0, i64 0
  %294 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %292, ptr noundef @.str.2, ptr noundef %293) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr %44) #4
  store i8 1, ptr %12, align 1, !tbaa !11
  br label %369

295:                                              ; preds = %270
  %296 = load ptr, ptr %14, align 8, !tbaa !5
  %297 = load ptr, ptr %16, align 8, !tbaa !5
  call void @utils_displayAffineCoordinates(i8 noundef zeroext 4, ptr noundef @.str.14, ptr noundef @.str.147, i8 noundef zeroext 8, ptr noundef %296, ptr noundef %297)
  %298 = load ptr, ptr %14, align 8, !tbaa !5
  %299 = load ptr, ptr %16, align 8, !tbaa !5
  %300 = load ptr, ptr %16, align 8, !tbaa !5
  %301 = load ptr, ptr %17, align 8, !tbaa !5
  %302 = load ptr, ptr %13, align 8, !tbaa !5
  %303 = call i32 @EC_POINT_add(ptr noundef %298, ptr noundef %299, ptr noundef %300, ptr noundef %301, ptr noundef %302)
  %304 = icmp ne i32 %303, 0
  br i1 %304, label %311, label %305

305:                                              ; preds = %295
  call void @llvm.lifetime.start.p0(i64 1200, ptr %45) #4
  %306 = getelementptr inbounds [1200 x i8], ptr %45, i64 0, i64 0
  %307 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %306, i64 noundef 1200, ptr noundef @.str.148, ptr noundef @.str.124) #4
  %308 = load ptr, ptr @stdout, align 8, !tbaa !5
  %309 = getelementptr inbounds [1200 x i8], ptr %45, i64 0, i64 0
  %310 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %308, ptr noundef @.str.2, ptr noundef %309) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr %45) #4
  store i8 1, ptr %12, align 1, !tbaa !11
  br label %368

311:                                              ; preds = %295
  %312 = load ptr, ptr %14, align 8, !tbaa !5
  %313 = load ptr, ptr %16, align 8, !tbaa !5
  call void @utils_displayAffineCoordinates(i8 noundef zeroext 4, ptr noundef @.str.14, ptr noundef @.str.149, i8 noundef zeroext 8, ptr noundef %312, ptr noundef %313)
  %314 = call ptr @BN_new()
  store ptr %314, ptr %22, align 8, !tbaa !5
  %315 = icmp ne ptr %314, null
  br i1 %315, label %322, label %316

316:                                              ; preds = %311
  call void @llvm.lifetime.start.p0(i64 1200, ptr %46) #4
  %317 = getelementptr inbounds [1200 x i8], ptr %46, i64 0, i64 0
  %318 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %317, i64 noundef 1200, ptr noundef @.str.150, ptr noundef @.str.124) #4
  %319 = load ptr, ptr @stdout, align 8, !tbaa !5
  %320 = getelementptr inbounds [1200 x i8], ptr %46, i64 0, i64 0
  %321 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %319, ptr noundef @.str.2, ptr noundef %320) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr %46) #4
  store i8 1, ptr %12, align 1, !tbaa !11
  br label %367

322:                                              ; preds = %311
  %323 = load ptr, ptr %14, align 8, !tbaa !5
  %324 = load ptr, ptr %18, align 8, !tbaa !5
  call void @utils_displayAffineCoordinates(i8 noundef zeroext 4, ptr noundef @.str.14, ptr noundef @.str.151, i8 noundef zeroext 8, ptr noundef %323, ptr noundef %324)
  %325 = load ptr, ptr %22, align 8, !tbaa !5
  %326 = load ptr, ptr %16, align 8, !tbaa !5
  %327 = load ptr, ptr %18, align 8, !tbaa !5
  %328 = load i8, ptr %23, align 1, !tbaa !11
  %329 = call zeroext i8 @sakke_computeTLPairing(ptr noundef %325, ptr noundef %326, ptr noundef %327, i8 noundef zeroext %328)
  %330 = icmp ne i8 %329, 0
  br i1 %330, label %331, label %337

331:                                              ; preds = %322
  call void @llvm.lifetime.start.p0(i64 1200, ptr %47) #4
  %332 = getelementptr inbounds [1200 x i8], ptr %47, i64 0, i64 0
  %333 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %332, i64 noundef 1200, ptr noundef @.str.95, ptr noundef @.str.124) #4
  %334 = load ptr, ptr @stdout, align 8, !tbaa !5
  %335 = getelementptr inbounds [1200 x i8], ptr %47, i64 0, i64 0
  %336 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %334, ptr noundef @.str.2, ptr noundef %335) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr %47) #4
  store i8 1, ptr %12, align 1, !tbaa !11
  br label %366

337:                                              ; preds = %322
  %338 = load ptr, ptr %14, align 8, !tbaa !5
  %339 = load ptr, ptr %16, align 8, !tbaa !5
  call void @utils_displayAffineCoordinates(i8 noundef zeroext 4, ptr noundef @.str.14, ptr noundef @.str.152, i8 noundef zeroext 8, ptr noundef %338, ptr noundef %339)
  %340 = load ptr, ptr %22, align 8, !tbaa !5
  call void @utils_BNdump(i8 noundef zeroext 4, ptr noundef @.str.14, ptr noundef @.str.153, i8 noundef zeroext 6, ptr noundef %340)
  %341 = load i8, ptr %23, align 1, !tbaa !11
  %342 = call ptr @ms_getParameter_g(i8 noundef zeroext %341)
  call void @utils_BNdump(i8 noundef zeroext 4, ptr noundef @.str.14, ptr noundef @.str.154, i8 noundef zeroext 6, ptr noundef %342)
  %343 = load ptr, ptr %22, align 8, !tbaa !5
  %344 = load i8, ptr %23, align 1, !tbaa !11
  %345 = call ptr @ms_getParameter_g(i8 noundef zeroext %344)
  %346 = call i32 @BN_cmp(ptr noundef %343, ptr noundef %345)
  %347 = icmp ne i32 %346, 0
  br i1 %347, label %348, label %359

348:                                              ; preds = %337
  call void @llvm.lifetime.start.p0(i64 1200, ptr %48) #4
  %349 = getelementptr inbounds [1200 x i8], ptr %48, i64 0, i64 0
  %350 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %349, i64 noundef 1200, ptr noundef @.str.155, ptr noundef @.str.124) #4
  %351 = load ptr, ptr @stdout, align 8, !tbaa !5
  %352 = getelementptr inbounds [1200 x i8], ptr %48, i64 0, i64 0
  %353 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %351, ptr noundef @.str.2, ptr noundef %352) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr %48) #4
  call void @llvm.lifetime.start.p0(i64 1200, ptr %49) #4
  %354 = getelementptr inbounds [1200 x i8], ptr %49, i64 0, i64 0
  %355 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %354, i64 noundef 1200, ptr noundef @.str.156, ptr noundef @.str.124) #4
  %356 = load ptr, ptr @stdout, align 8, !tbaa !5
  %357 = getelementptr inbounds [1200 x i8], ptr %49, i64 0, i64 0
  %358 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %356, ptr noundef @.str.2, ptr noundef %357) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr %49) #4
  store i8 1, ptr %12, align 1, !tbaa !11
  store i8 21, ptr %11, align 1, !tbaa !11
  br label %365

359:                                              ; preds = %337
  call void @llvm.lifetime.start.p0(i64 1200, ptr %50) #4
  %360 = getelementptr inbounds [1200 x i8], ptr %50, i64 0, i64 0
  %361 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %360, i64 noundef 1200, ptr noundef @.str.157, ptr noundef @.str.14) #4
  %362 = load ptr, ptr @stdout, align 8, !tbaa !5
  %363 = getelementptr inbounds [1200 x i8], ptr %50, i64 0, i64 0
  %364 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %362, ptr noundef @.str.15, ptr noundef %363) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr %50) #4
  store i8 0, ptr %11, align 1, !tbaa !11
  br label %365

365:                                              ; preds = %359, %348
  br label %366

366:                                              ; preds = %365, %331
  br label %367

367:                                              ; preds = %366, %316
  br label %368

368:                                              ; preds = %367, %305
  br label %369

369:                                              ; preds = %368, %289
  br label %370

370:                                              ; preds = %369, %264
  br label %371

371:                                              ; preds = %370, %254
  br label %372

372:                                              ; preds = %371, %242
  br label %373

373:                                              ; preds = %372, %232
  br label %374

374:                                              ; preds = %373, %209
  %375 = load ptr, ptr %21, align 8, !tbaa !5
  call void @BN_clear_free(ptr noundef %375)
  %376 = load ptr, ptr %22, align 8, !tbaa !5
  call void @BN_clear_free(ptr noundef %376)
  %377 = load ptr, ptr %19, align 8, !tbaa !5
  call void @BN_clear_free(ptr noundef %377)
  %378 = load ptr, ptr %20, align 8, !tbaa !5
  call void @BN_clear_free(ptr noundef %378)
  %379 = load ptr, ptr %14, align 8, !tbaa !5
  call void @EC_GROUP_free(ptr noundef %379)
  %380 = load ptr, ptr %18, align 8, !tbaa !5
  call void @EC_POINT_clear_free(ptr noundef %380)
  %381 = load ptr, ptr %17, align 8, !tbaa !5
  call void @EC_POINT_clear_free(ptr noundef %381)
  %382 = load ptr, ptr %16, align 8, !tbaa !5
  call void @EC_POINT_clear_free(ptr noundef %382)
  %383 = load ptr, ptr %13, align 8, !tbaa !5
  call void @BN_CTX_free(ptr noundef %383)
  %384 = load i8, ptr %11, align 1, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 1, ptr %23) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #4
  call void @llvm.lifetime.end.p0(i64 1, ptr %12) #4
  call void @llvm.lifetime.end.p0(i64 1, ptr %11) #4
  ret i8 %384
}

declare ptr @EC_GROUP_dup(ptr noundef) #1

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

declare void @EC_GROUP_free(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 uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { nounwind }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"long", !7, i64 0}
!11 = !{!7, !7, i64 0}


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

@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.6 = external hidden unnamed_addr constant [31 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.69 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.75 = external hidden unnamed_addr constant [31 x i8], align 1
@.str.95 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.124 = external hidden unnamed_addr constant [21 x i8], align 1
@.str.125 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.126 = external hidden unnamed_addr constant [16 x i8], align 1
@.str.127 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.128 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.129 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.130 = external hidden unnamed_addr constant [32 x i8], align 1
@.str.131 = external hidden unnamed_addr constant [43 x i8], align 1
@.str.132 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.133 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.134 = external hidden unnamed_addr constant [20 x i8], align 1
@.str.135 = external hidden unnamed_addr constant [58 x i8], align 1
@.str.136 = external hidden unnamed_addr constant [44 x i8], align 1
@.str.137 = external hidden unnamed_addr constant [26 x i8], align 1
@.str.138 = external hidden unnamed_addr constant [41 x i8], align 1
@.str.139 = external hidden unnamed_addr constant [32 x i8], align 1
@.str.140 = external hidden unnamed_addr constant [36 x i8], align 1
@.str.141 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.142 = external hidden unnamed_addr constant [24 x i8], align 1
@.str.143 = external hidden unnamed_addr constant [50 x i8], align 1
@.str.144 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.145 = external hidden unnamed_addr constant [38 x i8], align 1
@.str.146 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.147 = external hidden unnamed_addr constant [10 x i8], align 1
@.str.148 = external hidden unnamed_addr constant [31 x i8], align 1
@.str.149 = external hidden unnamed_addr constant [12 x i8], align 1
@.str.150 = external hidden unnamed_addr constant [36 x i8], align 1
@.str.151 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.152 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.153 = external hidden unnamed_addr constant [18 x i8], align 1
@.str.154 = external hidden unnamed_addr constant [38 x i8], align 1
@.str.155 = external hidden unnamed_addr constant [46 x i8], align 1
@.str.156 = external hidden unnamed_addr constant [41 x i8], align 1
@.str.157 = external hidden unnamed_addr constant [39 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 ptr @BN_new() 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_g(i8 noundef zeroext) local_unnamed_addr #1

declare void @BN_clear_free(ptr noundef) local_unnamed_addr #1

declare void @EC_POINT_clear_free(ptr noundef) local_unnamed_addr #1

declare void @BN_CTX_free(ptr noundef) local_unnamed_addr #1

declare i32 @EC_POINT_set_affine_coordinates(ptr noundef, ptr noundef, ptr noundef, ptr 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 #3

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

; Function Attrs: nounwind uwtable
define dso_local zeroext range(i8 0, 22) i8 @sakke_validateRSK(ptr noundef %0, i64 noundef %1, ptr noundef %2, ptr noundef %3, i64 noundef %4) local_unnamed_addr #3 {
  %6 = alloca [1200 x i8], align 16
  %7 = alloca [1200 x i8], align 16
  %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 = icmp eq ptr %0, null
  br i1 %33, label %34, label %38

34:                                               ; preds = %5
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %6) #4
  %35 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %6, i64 noundef 1200, ptr noundef nonnull @.str.69, ptr noundef nonnull @.str.124) #4
  %36 = load ptr, ptr @stdout, align 8, !tbaa !5
  %37 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %36, ptr noundef nonnull @.str.2, ptr noundef nonnull %6) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %6) #4
  br label %.critedge.thread

38:                                               ; preds = %5
  %39 = icmp eq i64 %1, 0
  br i1 %39, label %40, label %44

40:                                               ; preds = %38
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %7) #4
  %41 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %7, i64 noundef 1200, ptr noundef nonnull @.str.5, ptr noundef nonnull @.str.124) #4
  %42 = load ptr, ptr @stdout, align 8, !tbaa !5
  %43 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %42, ptr noundef nonnull @.str.2, ptr noundef nonnull %7) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %7) #4
  br label %.critedge.thread

44:                                               ; preds = %38
  %45 = icmp eq ptr %2, null
  br i1 %45, label %46, label %50

46:                                               ; preds = %44
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %8) #4
  %47 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %8, i64 noundef 1200, ptr noundef nonnull @.str.6, ptr noundef nonnull @.str.124) #4
  %48 = load ptr, ptr @stdout, align 8, !tbaa !5
  %49 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %48, ptr noundef nonnull @.str.2, ptr noundef nonnull %8) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %8) #4
  br label %.critedge.thread

50:                                               ; preds = %44
  %51 = tail call signext i16 @community_exists(ptr noundef nonnull %2) #4
  %.not = icmp eq i16 %51, 0
  br i1 %.not, label %52, label %56

52:                                               ; preds = %50
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %9) #4
  %53 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %9, i64 noundef 1200, ptr noundef nonnull @.str.125, ptr noundef nonnull @.str.124, ptr noundef nonnull %2) #4
  %54 = load ptr, ptr @stdout, align 8, !tbaa !5
  %55 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %54, ptr noundef nonnull @.str.2, ptr noundef nonnull %9) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %9) #4
  br label %.critedge.thread

56:                                               ; preds = %50
  %57 = icmp eq ptr %3, null
  br i1 %57, label %58, label %62

58:                                               ; preds = %56
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %10) #4
  %59 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %10, i64 noundef 1200, ptr noundef nonnull @.str.126, ptr noundef nonnull @.str.124) #4
  %60 = load ptr, ptr @stdout, align 8, !tbaa !5
  %61 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %60, ptr noundef nonnull @.str.2, ptr noundef nonnull %10) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %10) #4
  br label %.critedge.thread

62:                                               ; preds = %56
  %63 = icmp eq i64 %4, 0
  br i1 %63, label %64, label %68

64:                                               ; preds = %62
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %11) #4
  %65 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %11, i64 noundef 1200, ptr noundef nonnull @.str.127, ptr noundef nonnull @.str.124) #4
  %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 %11) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %11) #4
  br label %.critedge.thread

68:                                               ; preds = %62
  %69 = tail call ptr @BN_CTX_new() #4
  %.not105 = icmp eq ptr %69, null
  br i1 %.not105, label %70, label %74

70:                                               ; preds = %68
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %12) #4
  %71 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %12, i64 noundef 1200, ptr noundef nonnull @.str.75, ptr noundef nonnull @.str.124) #4
  %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 %12) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %12) #4
  br label %.critedge.thread

74:                                               ; preds = %68
  %75 = tail call zeroext i8 @community_get_paramSet(ptr noundef nonnull %2) #4
  %.not106 = icmp eq i8 %75, 1
  br i1 %.not106, label %81, label %76

76:                                               ; preds = %74
  %77 = zext i8 %75 to i32
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %13) #4
  %78 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %13, i64 noundef 1200, ptr noundef nonnull @.str.10, ptr noundef nonnull @.str.124, i32 noundef %77) #4
  %79 = load ptr, ptr @stdout, align 8, !tbaa !5
  %80 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %79, ptr noundef nonnull @.str.2, ptr noundef nonnull %13) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %13) #4
  br label %.critedge.thread

81:                                               ; preds = %74
  %82 = getelementptr inbounds i8, ptr %3, i64 1
  %83 = lshr i64 %4, 1
  %84 = trunc i64 %83 to i32
  %85 = tail call ptr @BN_bin2bn(ptr noundef nonnull %82, i32 noundef %84, ptr noundef null) #4
  %.not107 = icmp eq ptr %85, null
  br i1 %.not107, label %86, label %90

86:                                               ; preds = %81
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %14) #4
  %87 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %14, i64 noundef 1200, ptr noundef nonnull @.str.128, ptr noundef nonnull @.str.124) #4
  %88 = load ptr, ptr @stdout, align 8, !tbaa !5
  %89 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %88, ptr noundef nonnull @.str.2, ptr noundef nonnull %14) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %14) #4
  br label %.critedge.thread

90:                                               ; preds = %81
  %91 = getelementptr inbounds i8, ptr %82, i64 %83
  %92 = tail call ptr @BN_bin2bn(ptr noundef nonnull %91, i32 noundef %84, ptr noundef null) #4
  %.not108 = icmp eq ptr %92, null
  br i1 %.not108, label %93, label %97

93:                                               ; preds = %90
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %15) #4
  %94 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %15, i64 noundef 1200, ptr noundef nonnull @.str.129, ptr noundef nonnull @.str.124) #4
  %95 = load ptr, ptr @stdout, align 8, !tbaa !5
  %96 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %95, ptr noundef nonnull @.str.2, ptr noundef nonnull %15) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %15) #4
  br label %.critedge.thread

97:                                               ; preds = %90
  %98 = tail call ptr @ms_getParameter_E(i8 noundef zeroext 1) #4
  %.not109 = icmp eq ptr %98, null
  br i1 %.not109, label %99, label %103

99:                                               ; preds = %97
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %16) #4
  %100 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %16, i64 noundef 1200, ptr noundef nonnull @.str.130, ptr noundef nonnull @.str.124) #4
  %101 = load ptr, ptr @stdout, align 8, !tbaa !5
  %102 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %101, ptr noundef nonnull @.str.2, ptr noundef nonnull %16) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %16) #4
  br label %.critedge.thread

103:                                              ; preds = %97
  %104 = tail call ptr @EC_POINT_new(ptr noundef nonnull %98) #4
  %.not110 = icmp eq ptr %104, null
  br i1 %.not110, label %105, label %109

105:                                              ; preds = %103
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %17) #4
  %106 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %17, i64 noundef 1200, ptr noundef nonnull @.str.131, ptr noundef nonnull @.str.124) #4
  %107 = load ptr, ptr @stdout, align 8, !tbaa !5
  %108 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %107, ptr noundef nonnull @.str.2, ptr noundef nonnull %17) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %17) #4
  br label %.critedge.thread

109:                                              ; preds = %103
  %110 = tail call i32 @EC_POINT_set_affine_coordinates(ptr noundef nonnull %98, ptr noundef nonnull %104, ptr noundef nonnull %85, ptr noundef nonnull %92, ptr noundef null) #4
  %111 = icmp eq i32 %110, 0
  br i1 %111, label %112, label %116

112:                                              ; preds = %109
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %18) #4
  %113 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %18, i64 noundef 1200, ptr noundef nonnull @.str.132, ptr noundef nonnull @.str.124) #4
  %114 = load ptr, ptr @stdout, align 8, !tbaa !5
  %115 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %114, ptr noundef nonnull @.str.2, ptr noundef nonnull %18) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %18) #4
  br label %.critedge.thread

116:                                              ; preds = %109
  tail call void @utils_displayAffineCoordinates(i8 noundef zeroext 4, ptr noundef nonnull @.str.14, ptr noundef nonnull @.str.133, i8 noundef zeroext 8, ptr noundef nonnull %98, ptr noundef nonnull %104) #4
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %19) #4
  %117 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %19, i64 noundef 1200, ptr noundef nonnull @.str.134, ptr noundef nonnull @.str.14) #4
  %118 = load ptr, ptr @stdout, align 8, !tbaa !5
  %119 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %118, ptr noundef nonnull @.str.15, ptr noundef nonnull %19) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %19) #4
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %20) #4
  %120 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %20, i64 noundef 1200, ptr noundef nonnull @.str.135, ptr noundef nonnull @.str.14) #4
  %121 = load ptr, ptr @stdout, align 8, !tbaa !5
  %122 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %121, ptr noundef nonnull @.str.15, ptr noundef nonnull %20) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %20) #4
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %21) #4
  %123 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %21, i64 noundef 1200, ptr noundef nonnull @.str.136, ptr noundef nonnull @.str.14) #4
  %124 = load ptr, ptr @stdout, align 8, !tbaa !5
  %125 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %124, ptr noundef nonnull @.str.15, ptr noundef nonnull %21) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %21) #4
  %126 = call ptr @ms_getParameter_E(i8 noundef zeroext 1) #4
  %127 = call ptr @EC_GROUP_dup(ptr noundef %126) #4
  %.not112 = icmp eq ptr %127, null
  br i1 %.not112, label %128, label %132

128:                                              ; preds = %116
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %22) #4
  %129 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %22, i64 noundef 1200, ptr noundef nonnull @.str.137, ptr noundef nonnull @.str.124) #4
  %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 %22) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %22) #4
  br label %.critedge.thread

132:                                              ; preds = %116
  %133 = call ptr @EC_POINT_new(ptr noundef nonnull %127) #4
  %.not113 = icmp eq ptr %133, null
  br i1 %.not113, label %134, label %138

134:                                              ; preds = %132
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %23) #4
  %135 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %23, i64 noundef 1200, ptr noundef nonnull @.str.138, ptr noundef nonnull @.str.124) #4
  %136 = load ptr, ptr @stdout, align 8, !tbaa !5
  %137 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %136, ptr noundef nonnull @.str.2, ptr noundef nonnull %23) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %23) #4
  br label %.critedge.thread

138:                                              ; preds = %132
  %139 = trunc i64 %1 to i32
  %140 = call ptr @BN_bin2bn(ptr noundef nonnull %0, i32 noundef %139, ptr noundef null) #4
  %.not114 = icmp eq ptr %140, null
  br i1 %.not114, label %141, label %145

141:                                              ; preds = %138
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %24) #4
  %142 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %24, i64 noundef 1200, ptr noundef nonnull @.str.139, ptr noundef nonnull @.str.124) #4
  %143 = load ptr, ptr @stdout, align 8, !tbaa !5
  %144 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %143, ptr noundef nonnull @.str.2, ptr noundef nonnull %24) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %24) #4
  br label %.critedge.thread

145:                                              ; preds = %138
  %146 = call ptr @community_getZ_point(ptr noundef nonnull %2) #4
  %.not115 = icmp eq ptr %146, null
  br i1 %.not115, label %147, label %151

147:                                              ; preds = %145
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %25) #4
  %148 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %25, i64 noundef 1200, ptr noundef nonnull @.str.140, ptr noundef nonnull @.str.124) #4
  %149 = load ptr, ptr @stdout, align 8, !tbaa !5
  %150 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %149, ptr noundef nonnull @.str.2, ptr noundef nonnull %25) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %25) #4
  br label %.critedge.thread

151:                                              ; preds = %145
  call void @utils_displayAffineCoordinates(i8 noundef zeroext 4, ptr noundef nonnull @.str.14, ptr noundef nonnull @.str.141, i8 noundef zeroext 8, ptr noundef nonnull %127, ptr noundef nonnull %146) #4
  call void @utils_BNdump(i8 noundef zeroext 4, ptr noundef nonnull @.str.14, ptr noundef nonnull @.str.142, i8 noundef zeroext 6, ptr noundef nonnull %140) #4
  call void @utils_displayAffineCoordinates(i8 noundef zeroext 4, ptr noundef nonnull @.str.14, ptr noundef nonnull @.str.143, i8 noundef zeroext 8, ptr noundef nonnull %127, ptr noundef nonnull %104) #4
  %152 = call ptr @ms_getParameter_P(i8 noundef zeroext 1) #4
  call void @utils_displayAffineCoordinates(i8 noundef zeroext 4, ptr noundef nonnull @.str.14, ptr noundef nonnull @.str.144, i8 noundef zeroext 8, ptr noundef nonnull %127, ptr noundef %152) #4
  call void @utils_displayAffineCoordinates(i8 noundef zeroext 4, ptr noundef nonnull @.str.14, ptr noundef nonnull @.str.145, i8 noundef zeroext 8, ptr noundef nonnull %127, ptr noundef nonnull %146) #4
  %153 = call ptr @ms_getParameter_P(i8 noundef zeroext 1) #4
  %154 = call i32 @EC_POINT_mul(ptr noundef nonnull %127, ptr noundef nonnull %133, ptr noundef null, ptr noundef %153, ptr noundef nonnull %140, ptr noundef nonnull %69) #4
  %.not116 = icmp eq i32 %154, 0
  br i1 %.not116, label %155, label %159

155:                                              ; preds = %151
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %26) #4
  %156 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %26, i64 noundef 1200, ptr noundef nonnull @.str.146, ptr noundef nonnull @.str.124) #4
  %157 = load ptr, ptr @stdout, align 8, !tbaa !5
  %158 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %157, ptr noundef nonnull @.str.2, ptr noundef nonnull %26) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %26) #4
  br label %.critedge.thread

159:                                              ; preds = %151
  call void @utils_displayAffineCoordinates(i8 noundef zeroext 4, ptr noundef nonnull @.str.14, ptr noundef nonnull @.str.147, i8 noundef zeroext 8, ptr noundef nonnull %127, ptr noundef nonnull %133) #4
  %160 = call i32 @EC_POINT_add(ptr noundef nonnull %127, ptr noundef nonnull %133, ptr noundef nonnull %133, ptr noundef nonnull %146, ptr noundef nonnull %69) #4
  %.not117 = icmp eq i32 %160, 0
  br i1 %.not117, label %161, label %165

161:                                              ; preds = %159
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %27) #4
  %162 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %27, i64 noundef 1200, ptr noundef nonnull @.str.148, ptr noundef nonnull @.str.124) #4
  %163 = load ptr, ptr @stdout, align 8, !tbaa !5
  %164 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %163, ptr noundef nonnull @.str.2, ptr noundef nonnull %27) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %27) #4
  br label %.critedge.thread

165:                                              ; preds = %159
  call void @utils_displayAffineCoordinates(i8 noundef zeroext 4, ptr noundef nonnull @.str.14, ptr noundef nonnull @.str.149, i8 noundef zeroext 8, ptr noundef nonnull %127, ptr noundef nonnull %133) #4
  %166 = call ptr @BN_new() #4
  %.not118 = icmp eq ptr %166, null
  br i1 %.not118, label %167, label %171

167:                                              ; preds = %165
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %28) #4
  %168 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %28, i64 noundef 1200, ptr noundef nonnull @.str.150, ptr noundef nonnull @.str.124) #4
  %169 = load ptr, ptr @stdout, align 8, !tbaa !5
  %170 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %169, ptr noundef nonnull @.str.2, ptr noundef nonnull %28) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %28) #4
  br label %.critedge.thread

171:                                              ; preds = %165
  call void @utils_displayAffineCoordinates(i8 noundef zeroext 4, ptr noundef nonnull @.str.14, ptr noundef nonnull @.str.151, i8 noundef zeroext 8, ptr noundef nonnull %127, ptr noundef nonnull %104) #4
  %172 = call zeroext i8 @sakke_computeTLPairing(ptr noundef nonnull %166, ptr noundef nonnull %133, ptr noundef nonnull %104, i8 noundef zeroext 1)
  %.not119 = icmp eq i8 %172, 0
  br i1 %.not119, label %177, label %173

173:                                              ; preds = %171
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %29) #4
  %174 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %29, i64 noundef 1200, ptr noundef nonnull @.str.95, ptr noundef nonnull @.str.124) #4
  %175 = load ptr, ptr @stdout, align 8, !tbaa !5
  %176 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %175, ptr noundef nonnull @.str.2, ptr noundef nonnull %29) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %29) #4
  br label %.critedge.thread

177:                                              ; preds = %171
  call void @utils_displayAffineCoordinates(i8 noundef zeroext 4, ptr noundef nonnull @.str.14, ptr noundef nonnull @.str.152, i8 noundef zeroext 8, ptr noundef nonnull %127, ptr noundef nonnull %133) #4
  call void @utils_BNdump(i8 noundef zeroext 4, ptr noundef nonnull @.str.14, ptr noundef nonnull @.str.153, i8 noundef zeroext 6, ptr noundef nonnull %166) #4
  %178 = call ptr @ms_getParameter_g(i8 noundef zeroext 1) #4
  call void @utils_BNdump(i8 noundef zeroext 4, ptr noundef nonnull @.str.14, ptr noundef nonnull @.str.154, i8 noundef zeroext 6, ptr noundef %178) #4
  %179 = call ptr @ms_getParameter_g(i8 noundef zeroext 1) #4
  %180 = call i32 @BN_cmp(ptr noundef nonnull %166, ptr noundef %179) #4
  %.not120 = icmp eq i32 %180, 0
  br i1 %.not120, label %188, label %181

181:                                              ; preds = %177
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %30) #4
  %182 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %30, i64 noundef 1200, ptr noundef nonnull @.str.155, ptr noundef nonnull @.str.124) #4
  %183 = load ptr, ptr @stdout, align 8, !tbaa !5
  %184 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %183, ptr noundef nonnull @.str.2, ptr noundef nonnull %30) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %30) #4
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %31) #4
  %185 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %31, i64 noundef 1200, ptr noundef nonnull @.str.156, ptr noundef nonnull @.str.124) #4
  %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 %31) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %31) #4
  br label %.critedge.thread

188:                                              ; preds = %177
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %32) #4
  %189 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %32, i64 noundef 1200, ptr noundef nonnull @.str.157, ptr noundef nonnull @.str.14) #4
  %190 = load ptr, ptr @stdout, align 8, !tbaa !5
  %191 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %190, ptr noundef nonnull @.str.15, ptr noundef nonnull %32) #4
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %32) #4
  br label %.critedge.thread

.critedge.thread:                                 ; preds = %34, %40, %46, %58, %64, %52, %70, %86, %93, %99, %105, %112, %76, %128, %141, %155, %167, %181, %188, %173, %161, %147, %134
  %.074130 = phi ptr [ %92, %173 ], [ %92, %181 ], [ %92, %188 ], [ %92, %167 ], [ %92, %161 ], [ %92, %155 ], [ %92, %147 ], [ %92, %141 ], [ %92, %134 ], [ %92, %128 ], [ null, %34 ], [ null, %40 ], [ null, %46 ], [ null, %58 ], [ null, %64 ], [ null, %52 ], [ null, %70 ], [ null, %86 ], [ null, %93 ], [ %92, %99 ], [ %92, %105 ], [ %92, %112 ], [ null, %76 ]
  %.075129 = phi ptr [ %85, %173 ], [ %85, %181 ], [ %85, %188 ], [ %85, %167 ], [ %85, %161 ], [ %85, %155 ], [ %85, %147 ], [ %85, %141 ], [ %85, %134 ], [ %85, %128 ], [ null, %34 ], [ null, %40 ], [ null, %46 ], [ null, %58 ], [ null, %64 ], [ null, %52 ], [ null, %70 ], [ null, %86 ], [ %85, %93 ], [ %85, %99 ], [ %85, %105 ], [ %85, %112 ], [ null, %76 ]
  %.076128 = phi ptr [ %104, %173 ], [ %104, %181 ], [ %104, %188 ], [ %104, %167 ], [ %104, %161 ], [ %104, %155 ], [ %104, %147 ], [ %104, %141 ], [ %104, %134 ], [ %104, %128 ], [ null, %34 ], [ null, %40 ], [ null, %46 ], [ null, %58 ], [ null, %64 ], [ null, %52 ], [ null, %70 ], [ null, %86 ], [ null, %93 ], [ null, %99 ], [ null, %105 ], [ %104, %112 ], [ null, %76 ]
  %.080127 = phi ptr [ %69, %173 ], [ %69, %181 ], [ %69, %188 ], [ %69, %167 ], [ %69, %161 ], [ %69, %155 ], [ %69, %147 ], [ %69, %141 ], [ %69, %134 ], [ %69, %128 ], [ null, %34 ], [ null, %40 ], [ null, %46 ], [ null, %58 ], [ null, %64 ], [ null, %52 ], [ null, %70 ], [ %69, %86 ], [ %69, %93 ], [ %69, %99 ], [ %69, %105 ], [ %69, %112 ], [ %69, %76 ]
  %.082 = phi i8 [ 1, %173 ], [ 21, %181 ], [ 0, %188 ], [ 1, %167 ], [ 1, %161 ], [ 1, %155 ], [ 1, %147 ], [ 1, %141 ], [ 1, %134 ], [ 1, %128 ], [ 1, %34 ], [ 1, %40 ], [ 1, %46 ], [ 1, %58 ], [ 1, %64 ], [ 1, %52 ], [ 1, %70 ], [ 1, %86 ], [ 1, %93 ], [ 1, %99 ], [ 1, %105 ], [ 1, %112 ], [ 1, %76 ]
  %.079 = phi ptr [ %127, %173 ], [ %127, %181 ], [ %127, %188 ], [ %127, %167 ], [ %127, %161 ], [ %127, %155 ], [ %127, %147 ], [ %127, %141 ], [ %127, %134 ], [ null, %128 ], [ null, %34 ], [ null, %40 ], [ null, %46 ], [ null, %58 ], [ null, %64 ], [ null, %52 ], [ null, %70 ], [ null, %86 ], [ null, %93 ], [ null, %99 ], [ null, %105 ], [ null, %112 ], [ null, %76 ]
  %.078 = phi ptr [ %133, %173 ], [ %133, %181 ], [ %133, %188 ], [ %133, %167 ], [ %133, %161 ], [ %133, %155 ], [ %133, %147 ], [ %133, %141 ], [ null, %134 ], [ null, %128 ], [ null, %34 ], [ null, %40 ], [ null, %46 ], [ null, %58 ], [ null, %64 ], [ null, %52 ], [ null, %70 ], [ null, %86 ], [ null, %93 ], [ null, %99 ], [ null, %105 ], [ null, %112 ], [ null, %76 ]
  %.077 = phi ptr [ %146, %173 ], [ %146, %181 ], [ %146, %188 ], [ %146, %167 ], [ %146, %161 ], [ %146, %155 ], [ null, %147 ], [ null, %141 ], [ null, %134 ], [ null, %128 ], [ null, %34 ], [ null, %40 ], [ null, %46 ], [ null, %58 ], [ null, %64 ], [ null, %52 ], [ null, %70 ], [ null, %86 ], [ null, %93 ], [ null, %99 ], [ null, %105 ], [ null, %112 ], [ null, %76 ]
  %.073 = phi ptr [ %140, %173 ], [ %140, %181 ], [ %140, %188 ], [ %140, %167 ], [ %140, %161 ], [ %140, %155 ], [ %140, %147 ], [ null, %141 ], [ null, %134 ], [ null, %128 ], [ null, %34 ], [ null, %40 ], [ null, %46 ], [ null, %58 ], [ null, %64 ], [ null, %52 ], [ null, %70 ], [ null, %86 ], [ null, %93 ], [ null, %99 ], [ null, %105 ], [ null, %112 ], [ null, %76 ]
  %.072 = phi ptr [ %166, %173 ], [ %166, %181 ], [ %166, %188 ], [ null, %167 ], [ null, %161 ], [ null, %155 ], [ null, %147 ], [ null, %141 ], [ null, %134 ], [ null, %128 ], [ null, %34 ], [ null, %40 ], [ null, %46 ], [ null, %58 ], [ null, %64 ], [ null, %52 ], [ null, %70 ], [ null, %86 ], [ null, %93 ], [ null, %99 ], [ null, %105 ], [ null, %112 ], [ null, %76 ]
  call void @BN_clear_free(ptr noundef %.073) #4
  call void @BN_clear_free(ptr noundef %.072) #4
  call void @BN_clear_free(ptr noundef %.075129) #4
  call void @BN_clear_free(ptr noundef %.074130) #4
  call void @EC_GROUP_free(ptr noundef %.079) #4
  call void @EC_POINT_clear_free(ptr noundef %.076128) #4
  call void @EC_POINT_clear_free(ptr noundef %.077) #4
  call void @EC_POINT_clear_free(ptr noundef %.078) #4
  call void @BN_CTX_free(ptr noundef %.080127) #4
  ret i8 %.082
}

declare ptr @EC_GROUP_dup(ptr noundef) local_unnamed_addr #1

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

declare void @EC_GROUP_free(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 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { nounwind }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}


; Effective O3 passes: CorrelatedValuePropagationPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,InferFunctionAttrsPass,InstCombinePass,JumpThreadingPass,SROAPass,SimplifyCFGPass,TailCallElimPass