; LLVM IR from specinfo-ua/UAPKI :: library/uapkic/src (ec)

; Unoptimized IR (clang -disable-llvm-passes):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%struct.ByteArray_st = type { ptr, i64 }
%struct.EcParamsCtx_st = type { i32, ptr, ptr, ptr, ptr, i8, i64, ptr, ptr, i32, ptr }
%struct.EcGfpCtx_st = type { ptr, ptr, ptr, i8, i64 }
%struct.GfpCtx_st = type { ptr, ptr, ptr, ptr }
%struct.EC2m_st = type { ptr, i64, ptr, i64 }

@.str = external hidden unnamed_addr constant [19 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

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

declare void @stacktrace_create(ptr noundef, i64 noundef, i32 noundef, ptr noundef) #1

declare void @stacktrace_add(ptr noundef, i64 noundef, i32 noundef) #1

declare i64 @int_bit_len(ptr noundef) #1

declare void @wa_free(ptr noundef) #1

; Function Attrs: nounwind uwtable
define dso_local i32 @public_key_to_ec_point(ptr noundef %0, ptr noundef %1, ptr noundef %2, ptr noundef %3) #2 {
  %5 = alloca ptr, align 8
  %6 = alloca ptr, align 8
  %7 = alloca ptr, align 8
  %8 = alloca ptr, align 8
  %9 = alloca ptr, align 8
  %10 = alloca ptr, align 8
  %11 = alloca i32, align 4
  store ptr %0, ptr %5, align 8, !tbaa !5
  store ptr %1, ptr %6, align 8, !tbaa !5
  store ptr %2, ptr %7, align 8, !tbaa !5
  store ptr %3, ptr %8, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #3
  store ptr null, ptr %9, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #3
  store ptr null, ptr %10, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #3
  store i32 0, ptr %11, align 4, !tbaa !9
  br label %12

12:                                               ; preds = %4
  %13 = load ptr, ptr %5, align 8, !tbaa !5
  %14 = icmp ne ptr %13, null
  br i1 %14, label %17, label %15

15:                                               ; preds = %12
  store i32 2, ptr %11, align 4, !tbaa !9
  %16 = load i32, ptr %11, align 4, !tbaa !9
  call void @stacktrace_create(ptr noundef @.str, i64 noundef 819, i32 noundef %16, ptr noundef null)
  br label %212

17:                                               ; preds = %12
  br label %18

18:                                               ; preds = %17
  br label %19

19:                                               ; preds = %18
  br label %20

20:                                               ; preds = %19
  %21 = load ptr, ptr %6, align 8, !tbaa !5
  %22 = icmp ne ptr %21, null
  br i1 %22, label %25, label %23

23:                                               ; preds = %20
  store i32 2, ptr %11, align 4, !tbaa !9
  %24 = load i32, ptr %11, align 4, !tbaa !9
  call void @stacktrace_create(ptr noundef @.str, i64 noundef 820, i32 noundef %24, ptr noundef null)
  br label %212

25:                                               ; preds = %20
  br label %26

26:                                               ; preds = %25
  br label %27

27:                                               ; preds = %26
  br label %28

28:                                               ; preds = %27
  %29 = load ptr, ptr %7, align 8, !tbaa !5
  %30 = icmp ne ptr %29, null
  br i1 %30, label %33, label %31

31:                                               ; preds = %28
  store i32 2, ptr %11, align 4, !tbaa !9
  %32 = load i32, ptr %11, align 4, !tbaa !9
  call void @stacktrace_create(ptr noundef @.str, i64 noundef 821, i32 noundef %32, ptr noundef null)
  br label %212

33:                                               ; preds = %28
  br label %34

34:                                               ; preds = %33
  br label %35

35:                                               ; preds = %34
  br label %36

36:                                               ; preds = %35
  %37 = load ptr, ptr %8, align 8, !tbaa !5
  %38 = icmp ne ptr %37, null
  br i1 %38, label %41, label %39

39:                                               ; preds = %36
  store i32 2, ptr %11, align 4, !tbaa !9
  %40 = load i32, ptr %11, align 4, !tbaa !9
  call void @stacktrace_create(ptr noundef @.str, i64 noundef 822, i32 noundef %40, ptr noundef null)
  br label %212

41:                                               ; preds = %36
  br label %42

42:                                               ; preds = %41
  br label %43

43:                                               ; preds = %42
  br label %44

44:                                               ; preds = %43
  %45 = load ptr, ptr %6, align 8, !tbaa !5
  %46 = getelementptr inbounds %struct.ByteArray_st, ptr %45, i32 0, i32 0
  %47 = load ptr, ptr %46, align 8, !tbaa !11
  %48 = load ptr, ptr %6, align 8, !tbaa !5
  %49 = getelementptr inbounds %struct.ByteArray_st, ptr %48, i32 0, i32 1
  %50 = load i64, ptr %49, align 8, !tbaa !14
  %51 = call ptr @wa_alloc_from_be(ptr noundef %47, i64 noundef %50)
  store ptr %51, ptr %9, align 8, !tbaa !5
  %52 = icmp eq ptr null, %51
  br i1 %52, label %53, label %55

53:                                               ; preds = %44
  store i32 2, ptr %11, align 4, !tbaa !9
  %54 = load i32, ptr %11, align 4, !tbaa !9
  call void @stacktrace_add(ptr noundef @.str, i64 noundef 824, i32 noundef %54)
  br label %212

55:                                               ; preds = %44
  br label %56

56:                                               ; preds = %55
  br label %57

57:                                               ; preds = %56
  br label %58

58:                                               ; preds = %57
  %59 = load ptr, ptr %7, align 8, !tbaa !5
  %60 = getelementptr inbounds %struct.ByteArray_st, ptr %59, i32 0, i32 0
  %61 = load ptr, ptr %60, align 8, !tbaa !11
  %62 = load ptr, ptr %7, align 8, !tbaa !5
  %63 = getelementptr inbounds %struct.ByteArray_st, ptr %62, i32 0, i32 1
  %64 = load i64, ptr %63, align 8, !tbaa !14
  %65 = call ptr @wa_alloc_from_be(ptr noundef %61, i64 noundef %64)
  store ptr %65, ptr %10, align 8, !tbaa !5
  %66 = icmp eq ptr null, %65
  br i1 %66, label %67, label %69

67:                                               ; preds = %58
  store i32 2, ptr %11, align 4, !tbaa !9
  %68 = load i32, ptr %11, align 4, !tbaa !9
  call void @stacktrace_add(ptr noundef @.str, i64 noundef 825, i32 noundef %68)
  br label %212

69:                                               ; preds = %58
  br label %70

70:                                               ; preds = %69
  br label %71

71:                                               ; preds = %70
  %72 = load ptr, ptr %5, align 8, !tbaa !5
  %73 = getelementptr inbounds %struct.EcParamsCtx_st, ptr %72, i32 0, i32 0
  %74 = load i32, ptr %73, align 8, !tbaa !15
  %75 = icmp eq i32 %74, 0
  br i1 %75, label %76, label %128

76:                                               ; preds = %71
  %77 = load ptr, ptr %9, align 8, !tbaa !5
  %78 = load ptr, ptr %5, align 8, !tbaa !5
  %79 = getelementptr inbounds %struct.EcParamsCtx_st, ptr %78, i32 0, i32 3
  %80 = load ptr, ptr %79, align 8, !tbaa !18
  %81 = getelementptr inbounds %struct.EcGfpCtx_st, ptr %80, i32 0, i32 0
  %82 = load ptr, ptr %81, align 8, !tbaa !19
  %83 = getelementptr inbounds %struct.GfpCtx_st, ptr %82, i32 0, i32 0
  %84 = load ptr, ptr %83, align 8, !tbaa !21
  %85 = call i32 @int_cmp(ptr noundef %77, ptr noundef %84)
  %86 = icmp sge i32 %85, 0
  br i1 %86, label %98, label %87

87:                                               ; preds = %76
  %88 = load ptr, ptr %10, align 8, !tbaa !5
  %89 = load ptr, ptr %5, align 8, !tbaa !5
  %90 = getelementptr inbounds %struct.EcParamsCtx_st, ptr %89, i32 0, i32 3
  %91 = load ptr, ptr %90, align 8, !tbaa !18
  %92 = getelementptr inbounds %struct.EcGfpCtx_st, ptr %91, i32 0, i32 0
  %93 = load ptr, ptr %92, align 8, !tbaa !19
  %94 = getelementptr inbounds %struct.GfpCtx_st, ptr %93, i32 0, i32 0
  %95 = load ptr, ptr %94, align 8, !tbaa !21
  %96 = call i32 @int_cmp(ptr noundef %88, ptr noundef %95)
  %97 = icmp sge i32 %96, 0
  br i1 %97, label %98, label %103

98:                                               ; preds = %87, %76
  br label %99

99:                                               ; preds = %98
  store i32 7, ptr %11, align 4, !tbaa !9
  %100 = load i32, ptr %11, align 4, !tbaa !9
  call void @stacktrace_create(ptr noundef @.str, i64 noundef 830, i32 noundef %100, ptr noundef null)
  br label %212

101:                                              ; No predecessors!
  br label %102

102:                                              ; preds = %101
  br label %103

103:                                              ; preds = %102, %87
  %104 = load ptr, ptr %9, align 8, !tbaa !5
  %105 = load ptr, ptr %5, align 8, !tbaa !5
  %106 = getelementptr inbounds %struct.EcParamsCtx_st, ptr %105, i32 0, i32 3
  %107 = load ptr, ptr %106, align 8, !tbaa !18
  %108 = getelementptr inbounds %struct.EcGfpCtx_st, ptr %107, i32 0, i32 4
  %109 = load i64, ptr %108, align 8, !tbaa !23
  call void @wa_change_len(ptr noundef %104, i64 noundef %109)
  %110 = load ptr, ptr %10, align 8, !tbaa !5
  %111 = load ptr, ptr %5, align 8, !tbaa !5
  %112 = getelementptr inbounds %struct.EcParamsCtx_st, ptr %111, i32 0, i32 3
  %113 = load ptr, ptr %112, align 8, !tbaa !18
  %114 = getelementptr inbounds %struct.EcGfpCtx_st, ptr %113, i32 0, i32 4
  %115 = load i64, ptr %114, align 8, !tbaa !23
  call void @wa_change_len(ptr noundef %110, i64 noundef %115)
  %116 = load ptr, ptr %5, align 8, !tbaa !5
  %117 = getelementptr inbounds %struct.EcParamsCtx_st, ptr %116, i32 0, i32 3
  %118 = load ptr, ptr %117, align 8, !tbaa !18
  %119 = load ptr, ptr %9, align 8, !tbaa !5
  %120 = load ptr, ptr %10, align 8, !tbaa !5
  %121 = call zeroext i1 @ecp_is_on_curve(ptr noundef %118, ptr noundef %119, ptr noundef %120)
  br i1 %121, label %127, label %122

122:                                              ; preds = %103
  br label %123

123:                                              ; preds = %122
  store i32 7, ptr %11, align 4, !tbaa !9
  %124 = load i32, ptr %11, align 4, !tbaa !9
  call void @stacktrace_create(ptr noundef @.str, i64 noundef 837, i32 noundef %124, ptr noundef null)
  br label %212

125:                                              ; No predecessors!
  br label %126

126:                                              ; preds = %125
  br label %127

127:                                              ; preds = %126, %103
  br label %200

128:                                              ; preds = %71
  %129 = load ptr, ptr %9, align 8, !tbaa !5
  %130 = call i64 @int_bit_len(ptr noundef %129)
  %131 = load ptr, ptr %5, align 8, !tbaa !5
  %132 = getelementptr inbounds %struct.EcParamsCtx_st, ptr %131, i32 0, i32 6
  %133 = load i64, ptr %132, align 8, !tbaa !24
  %134 = icmp ugt i64 %130, %133
  br i1 %134, label %142, label %135

135:                                              ; preds = %128
  %136 = load ptr, ptr %10, align 8, !tbaa !5
  %137 = call i64 @int_bit_len(ptr noundef %136)
  %138 = load ptr, ptr %5, align 8, !tbaa !5
  %139 = getelementptr inbounds %struct.EcParamsCtx_st, ptr %138, i32 0, i32 6
  %140 = load i64, ptr %139, align 8, !tbaa !24
  %141 = icmp ugt i64 %137, %140
  br i1 %141, label %142, label %147

142:                                              ; preds = %135, %128
  br label %143

143:                                              ; preds = %142
  store i32 7, ptr %11, align 4, !tbaa !9
  %144 = load i32, ptr %11, align 4, !tbaa !9
  call void @stacktrace_create(ptr noundef @.str, i64 noundef 843, i32 noundef %144, ptr noundef null)
  br label %212

145:                                              ; No predecessors!
  br label %146

146:                                              ; preds = %145
  br label %147

147:                                              ; preds = %146, %135
  %148 = load ptr, ptr %9, align 8, !tbaa !5
  %149 = load ptr, ptr %5, align 8, !tbaa !5
  %150 = getelementptr inbounds %struct.EcParamsCtx_st, ptr %149, i32 0, i32 4
  %151 = load ptr, ptr %150, align 8, !tbaa !25
  %152 = getelementptr inbounds %struct.EC2m_st, ptr %151, i32 0, i32 3
  %153 = load i64, ptr %152, align 8, !tbaa !26
  call void @wa_change_len(ptr noundef %148, i64 noundef %153)
  %154 = load ptr, ptr %10, align 8, !tbaa !5
  %155 = load ptr, ptr %5, align 8, !tbaa !5
  %156 = getelementptr inbounds %struct.EcParamsCtx_st, ptr %155, i32 0, i32 4
  %157 = load ptr, ptr %156, align 8, !tbaa !25
  %158 = getelementptr inbounds %struct.EC2m_st, ptr %157, i32 0, i32 3
  %159 = load i64, ptr %158, align 8, !tbaa !26
  call void @wa_change_len(ptr noundef %154, i64 noundef %159)
  %160 = load ptr, ptr %5, align 8, !tbaa !5
  %161 = getelementptr inbounds %struct.EcParamsCtx_st, ptr %160, i32 0, i32 5
  %162 = load i8, ptr %161, align 8, !tbaa !28, !range !29, !noundef !30
  %163 = trunc i8 %162 to i1
  br i1 %163, label %164, label %187

164:                                              ; preds = %147
  br label %165

165:                                              ; preds = %164
  %166 = load ptr, ptr %5, align 8, !tbaa !5
  %167 = load ptr, ptr %9, align 8, !tbaa !5
  %168 = call i32 @onb_to_pb(ptr noundef %166, ptr noundef %167)
  store i32 %168, ptr %11, align 4, !tbaa !9
  %169 = load i32, ptr %11, align 4, !tbaa !9
  %170 = icmp ne i32 %169, 0
  br i1 %170, label %171, label %173

171:                                              ; preds = %165
  %172 = load i32, ptr %11, align 4, !tbaa !9
  call void @stacktrace_add(ptr noundef @.str, i64 noundef 850, i32 noundef %172)
  br label %212

173:                                              ; preds = %165
  br label %174

174:                                              ; preds = %173
  br label %175

175:                                              ; preds = %174
  br label %176

176:                                              ; preds = %175
  %177 = load ptr, ptr %5, align 8, !tbaa !5
  %178 = load ptr, ptr %10, align 8, !tbaa !5
  %179 = call i32 @onb_to_pb(ptr noundef %177, ptr noundef %178)
  store i32 %179, ptr %11, align 4, !tbaa !9
  %180 = load i32, ptr %11, align 4, !tbaa !9
  %181 = icmp ne i32 %180, 0
  br i1 %181, label %182, label %184

182:                                              ; preds = %176
  %183 = load i32, ptr %11, align 4, !tbaa !9
  call void @stacktrace_add(ptr noundef @.str, i64 noundef 851, i32 noundef %183)
  br label %212

184:                                              ; preds = %176
  br label %185

185:                                              ; preds = %184
  br label %186

186:                                              ; preds = %185
  br label %187

187:                                              ; preds = %186, %147
  %188 = load ptr, ptr %5, align 8, !tbaa !5
  %189 = getelementptr inbounds %struct.EcParamsCtx_st, ptr %188, i32 0, i32 4
  %190 = load ptr, ptr %189, align 8, !tbaa !25
  %191 = load ptr, ptr %9, align 8, !tbaa !5
  %192 = load ptr, ptr %10, align 8, !tbaa !5
  %193 = call zeroext i1 @ec2m_is_on_curve(ptr noundef %190, ptr noundef %191, ptr noundef %192)
  br i1 %193, label %199, label %194

194:                                              ; preds = %187
  br label %195

195:                                              ; preds = %194
  store i32 7, ptr %11, align 4, !tbaa !9
  %196 = load i32, ptr %11, align 4, !tbaa !9
  call void @stacktrace_create(ptr noundef @.str, i64 noundef 855, i32 noundef %196, ptr noundef null)
  br label %212

197:                                              ; No predecessors!
  br label %198

198:                                              ; preds = %197
  br label %199

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

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

201:                                              ; preds = %200
  %202 = load ptr, ptr %9, align 8, !tbaa !5
  %203 = load ptr, ptr %10, align 8, !tbaa !5
  %204 = call ptr @ec_point_aff_alloc(ptr noundef %202, ptr noundef %203)
  %205 = load ptr, ptr %8, align 8, !tbaa !5
  store ptr %204, ptr %205, align 8, !tbaa !5
  %206 = icmp eq ptr null, %204
  br i1 %206, label %207, label %209

207:                                              ; preds = %201
  store i32 2, ptr %11, align 4, !tbaa !9
  %208 = load i32, ptr %11, align 4, !tbaa !9
  call void @stacktrace_add(ptr noundef @.str, i64 noundef 859, i32 noundef %208)
  br label %212

209:                                              ; preds = %201
  br label %210

210:                                              ; preds = %209
  br label %211

211:                                              ; preds = %210
  br label %212

212:                                              ; preds = %211, %207, %195, %182, %171, %143, %123, %99, %67, %53, %39, %31, %23, %15
  %213 = load ptr, ptr %9, align 8, !tbaa !5
  call void @wa_free(ptr noundef %213)
  %214 = load ptr, ptr %10, align 8, !tbaa !5
  call void @wa_free(ptr noundef %214)
  %215 = load i32, ptr %11, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #3
  ret i32 %215
}

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

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

declare void @wa_change_len(ptr noundef, i64 noundef) #1

declare zeroext i1 @ecp_is_on_curve(ptr noundef, ptr noundef, ptr noundef) #1

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

declare zeroext i1 @ec2m_is_on_curve(ptr noundef, ptr noundef, ptr noundef) #1

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = !{!12, !6, i64 0}
!12 = !{!"ByteArray_st", !6, i64 0, !13, i64 8}
!13 = !{!"long", !7, i64 0}
!14 = !{!12, !13, i64 8}
!15 = !{!16, !10, i64 0}
!16 = !{!"EcParamsCtx_st", !10, i64 0, !6, i64 8, !6, i64 16, !6, i64 24, !6, i64 32, !17, i64 40, !13, i64 48, !6, i64 56, !6, i64 64, !10, i64 72, !6, i64 80}
!17 = !{!"_Bool", !7, i64 0}
!18 = !{!16, !6, i64 24}
!19 = !{!20, !6, i64 0}
!20 = !{!"EcGfpCtx_st", !6, i64 0, !6, i64 8, !6, i64 16, !17, i64 24, !13, i64 32}
!21 = !{!22, !6, i64 0}
!22 = !{!"GfpCtx_st", !6, i64 0, !6, i64 8, !6, i64 16, !6, i64 24}
!23 = !{!20, !13, i64 32}
!24 = !{!16, !13, i64 48}
!25 = !{!16, !6, i64 32}
!26 = !{!27, !13, i64 24}
!27 = !{!"EC2m_st", !6, i64 0, !13, i64 8, !6, i64 16, !13, i64 24}
!28 = !{!16, !17, i64 40}
!29 = !{i8 0, i8 2}
!30 = !{}


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

@.str = external hidden unnamed_addr constant [19 x i8], align 1

declare void @stacktrace_create(ptr noundef, i64 noundef, i32 noundef, ptr noundef) local_unnamed_addr #0

declare void @stacktrace_add(ptr noundef, i64 noundef, i32 noundef) local_unnamed_addr #0

declare i64 @int_bit_len(ptr noundef) local_unnamed_addr #0

declare void @wa_free(ptr noundef) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
define dso_local i32 @public_key_to_ec_point(ptr noundef %0, ptr noundef readonly %1, ptr noundef readonly %2, ptr noundef writeonly %3) local_unnamed_addr #1 {
  %.not = icmp eq ptr %0, null
  br i1 %.not, label %5, label %6

5:                                                ; preds = %4
  tail call void @stacktrace_create(ptr noundef nonnull @.str, i64 noundef 819, i32 noundef 2, ptr noundef null) #2
  br label %88

6:                                                ; preds = %4
  %.not69 = icmp eq ptr %1, null
  br i1 %.not69, label %7, label %8

7:                                                ; preds = %6
  tail call void @stacktrace_create(ptr noundef nonnull @.str, i64 noundef 820, i32 noundef 2, ptr noundef null) #2
  br label %88

8:                                                ; preds = %6
  %.not70 = icmp eq ptr %2, null
  br i1 %.not70, label %9, label %10

9:                                                ; preds = %8
  tail call void @stacktrace_create(ptr noundef nonnull @.str, i64 noundef 821, i32 noundef 2, ptr noundef null) #2
  br label %88

10:                                               ; preds = %8
  %.not71 = icmp eq ptr %3, null
  br i1 %.not71, label %11, label %12

11:                                               ; preds = %10
  tail call void @stacktrace_create(ptr noundef nonnull @.str, i64 noundef 822, i32 noundef 2, ptr noundef null) #2
  br label %88

12:                                               ; preds = %10
  %13 = load ptr, ptr %1, align 8, !tbaa !5
  %14 = getelementptr inbounds i8, ptr %1, i64 8
  %15 = load i64, ptr %14, align 8, !tbaa !11
  %16 = tail call ptr @wa_alloc_from_be(ptr noundef %13, i64 noundef %15) #2
  %17 = icmp eq ptr %16, null
  br i1 %17, label %18, label %19

18:                                               ; preds = %12
  tail call void @stacktrace_add(ptr noundef nonnull @.str, i64 noundef 824, i32 noundef 2) #2
  br label %88

19:                                               ; preds = %12
  %20 = load ptr, ptr %2, align 8, !tbaa !5
  %21 = getelementptr inbounds i8, ptr %2, i64 8
  %22 = load i64, ptr %21, align 8, !tbaa !11
  %23 = tail call ptr @wa_alloc_from_be(ptr noundef %20, i64 noundef %22) #2
  %24 = icmp eq ptr %23, null
  br i1 %24, label %25, label %26

25:                                               ; preds = %19
  tail call void @stacktrace_add(ptr noundef nonnull @.str, i64 noundef 825, i32 noundef 2) #2
  br label %88

26:                                               ; preds = %19
  %27 = load i32, ptr %0, align 8, !tbaa !12
  %28 = icmp eq i32 %27, 0
  br i1 %28, label %29, label %53

29:                                               ; preds = %26
  %30 = getelementptr inbounds i8, ptr %0, i64 24
  %31 = load ptr, ptr %30, align 8, !tbaa !16
  %32 = load ptr, ptr %31, align 8, !tbaa !17
  %33 = load ptr, ptr %32, align 8, !tbaa !19
  %34 = tail call i32 @int_cmp(ptr noundef nonnull %16, ptr noundef %33) #2
  %35 = icmp sgt i32 %34, -1
  br i1 %35, label %42, label %36

36:                                               ; preds = %29
  %37 = load ptr, ptr %30, align 8, !tbaa !16
  %38 = load ptr, ptr %37, align 8, !tbaa !17
  %39 = load ptr, ptr %38, align 8, !tbaa !19
  %40 = tail call i32 @int_cmp(ptr noundef nonnull %23, ptr noundef %39) #2
  %41 = icmp sgt i32 %40, -1
  br i1 %41, label %42, label %43

42:                                               ; preds = %29, %36
  tail call void @stacktrace_create(ptr noundef nonnull @.str, i64 noundef 830, i32 noundef 7, ptr noundef null) #2
  br label %88

43:                                               ; preds = %36
  %44 = load ptr, ptr %30, align 8, !tbaa !16
  %45 = getelementptr inbounds i8, ptr %44, i64 32
  %46 = load i64, ptr %45, align 8, !tbaa !21
  tail call void @wa_change_len(ptr noundef nonnull %16, i64 noundef %46) #2
  %47 = load ptr, ptr %30, align 8, !tbaa !16
  %48 = getelementptr inbounds i8, ptr %47, i64 32
  %49 = load i64, ptr %48, align 8, !tbaa !21
  tail call void @wa_change_len(ptr noundef nonnull %23, i64 noundef %49) #2
  %50 = load ptr, ptr %30, align 8, !tbaa !16
  %51 = tail call zeroext i1 @ecp_is_on_curve(ptr noundef %50, ptr noundef nonnull %16, ptr noundef nonnull %23) #2
  br i1 %51, label %84, label %52

52:                                               ; preds = %43
  tail call void @stacktrace_create(ptr noundef nonnull @.str, i64 noundef 837, i32 noundef 7, ptr noundef null) #2
  br label %88

53:                                               ; preds = %26
  %54 = tail call i64 @int_bit_len(ptr noundef nonnull %16) #2
  %55 = getelementptr inbounds i8, ptr %0, i64 48
  %56 = load i64, ptr %55, align 8, !tbaa !22
  %57 = icmp ugt i64 %54, %56
  br i1 %57, label %62, label %58

58:                                               ; preds = %53
  %59 = tail call i64 @int_bit_len(ptr noundef nonnull %23) #2
  %60 = load i64, ptr %55, align 8, !tbaa !22
  %61 = icmp ugt i64 %59, %60
  br i1 %61, label %62, label %63

62:                                               ; preds = %53, %58
  tail call void @stacktrace_create(ptr noundef nonnull @.str, i64 noundef 843, i32 noundef 7, ptr noundef null) #2
  br label %88

63:                                               ; preds = %58
  %64 = getelementptr inbounds i8, ptr %0, i64 32
  %65 = load ptr, ptr %64, align 8, !tbaa !23
  %66 = getelementptr inbounds i8, ptr %65, i64 24
  %67 = load i64, ptr %66, align 8, !tbaa !24
  tail call void @wa_change_len(ptr noundef nonnull %16, i64 noundef %67) #2
  %68 = load ptr, ptr %64, align 8, !tbaa !23
  %69 = getelementptr inbounds i8, ptr %68, i64 24
  %70 = load i64, ptr %69, align 8, !tbaa !24
  tail call void @wa_change_len(ptr noundef nonnull %23, i64 noundef %70) #2
  %71 = getelementptr inbounds i8, ptr %0, i64 40
  %72 = load i8, ptr %71, align 8, !tbaa !26, !range !27, !noundef !28
  %73 = trunc nuw i8 %72 to i1
  br i1 %73, label %74, label %80

74:                                               ; preds = %63
  %75 = tail call i32 @onb_to_pb(ptr noundef nonnull %0, ptr noundef nonnull %16) #2
  %.not72 = icmp eq i32 %75, 0
  br i1 %.not72, label %77, label %76

76:                                               ; preds = %74
  tail call void @stacktrace_add(ptr noundef nonnull @.str, i64 noundef 850, i32 noundef %75) #2
  br label %88

77:                                               ; preds = %74
  %78 = tail call i32 @onb_to_pb(ptr noundef nonnull %0, ptr noundef nonnull %23) #2
  %.not73 = icmp eq i32 %78, 0
  br i1 %.not73, label %80, label %79

79:                                               ; preds = %77
  tail call void @stacktrace_add(ptr noundef nonnull @.str, i64 noundef 851, i32 noundef %78) #2
  br label %88

80:                                               ; preds = %77, %63
  %81 = load ptr, ptr %64, align 8, !tbaa !23
  %82 = tail call zeroext i1 @ec2m_is_on_curve(ptr noundef %81, ptr noundef nonnull %16, ptr noundef nonnull %23) #2
  br i1 %82, label %84, label %83

83:                                               ; preds = %80
  tail call void @stacktrace_create(ptr noundef nonnull @.str, i64 noundef 855, i32 noundef 7, ptr noundef null) #2
  br label %88

84:                                               ; preds = %43, %80
  %85 = tail call ptr @ec_point_aff_alloc(ptr noundef nonnull %16, ptr noundef nonnull %23) #2
  store ptr %85, ptr %3, align 8, !tbaa !29
  %86 = icmp eq ptr %85, null
  br i1 %86, label %87, label %88

87:                                               ; preds = %84
  tail call void @stacktrace_add(ptr noundef nonnull @.str, i64 noundef 859, i32 noundef 2) #2
  br label %88

88:                                               ; preds = %84, %87, %83, %79, %76, %62, %52, %42, %25, %18, %11, %9, %7, %5
  %.057 = phi ptr [ null, %18 ], [ %16, %25 ], [ %16, %42 ], [ %16, %87 ], [ %16, %84 ], [ %16, %52 ], [ %16, %62 ], [ %16, %76 ], [ %16, %79 ], [ %16, %83 ], [ null, %11 ], [ null, %9 ], [ null, %7 ], [ null, %5 ]
  %.056 = phi ptr [ null, %18 ], [ null, %25 ], [ %23, %42 ], [ %23, %87 ], [ %23, %84 ], [ %23, %52 ], [ %23, %62 ], [ %23, %76 ], [ %23, %79 ], [ %23, %83 ], [ null, %11 ], [ null, %9 ], [ null, %7 ], [ null, %5 ]
  %.2 = phi i32 [ 2, %18 ], [ 2, %25 ], [ 7, %42 ], [ 2, %87 ], [ 0, %84 ], [ 7, %52 ], [ 7, %62 ], [ %75, %76 ], [ %78, %79 ], [ 7, %83 ], [ 2, %11 ], [ 2, %9 ], [ 2, %7 ], [ 2, %5 ]
  tail call void @wa_free(ptr noundef %.057) #2
  tail call void @wa_free(ptr noundef %.056) #2
  ret i32 %.2
}

declare ptr @wa_alloc_from_be(ptr noundef, i64 noundef) local_unnamed_addr #0

declare i32 @int_cmp(ptr noundef, ptr noundef) local_unnamed_addr #0

declare void @wa_change_len(ptr noundef, i64 noundef) local_unnamed_addr #0

declare zeroext i1 @ecp_is_on_curve(ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #0

declare i32 @onb_to_pb(ptr noundef, ptr noundef) local_unnamed_addr #0

declare zeroext i1 @ec2m_is_on_curve(ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #0

declare ptr @ec_point_aff_alloc(ptr noundef, ptr noundef) local_unnamed_addr #0

attributes #0 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { nounwind }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !7, i64 0}
!6 = !{!"ByteArray_st", !7, i64 0, !10, i64 8}
!7 = !{!"any pointer", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C/C++ TBAA"}
!10 = !{!"long", !8, i64 0}
!11 = !{!6, !10, i64 8}
!12 = !{!13, !14, i64 0}
!13 = !{!"EcParamsCtx_st", !14, i64 0, !7, i64 8, !7, i64 16, !7, i64 24, !7, i64 32, !15, i64 40, !10, i64 48, !7, i64 56, !7, i64 64, !14, i64 72, !7, i64 80}
!14 = !{!"int", !8, i64 0}
!15 = !{!"_Bool", !8, i64 0}
!16 = !{!13, !7, i64 24}
!17 = !{!18, !7, i64 0}
!18 = !{!"EcGfpCtx_st", !7, i64 0, !7, i64 8, !7, i64 16, !15, i64 24, !10, i64 32}
!19 = !{!20, !7, i64 0}
!20 = !{!"GfpCtx_st", !7, i64 0, !7, i64 8, !7, i64 16, !7, i64 24}
!21 = !{!18, !10, i64 32}
!22 = !{!13, !10, i64 48}
!23 = !{!13, !7, i64 32}
!24 = !{!25, !10, i64 24}
!25 = !{!"EC2m_st", !7, i64 0, !10, i64 8, !7, i64 16, !10, i64 24}
!26 = !{!13, !15, i64 40}
!27 = !{i8 0, i8 2}
!28 = !{}
!29 = !{!7, !7, i64 0}


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