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

; 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.EcCtx_st = type { ptr, ptr, ptr, ptr, i8, i8 }
%struct.EcParamsCtx_st = type { i32, ptr, ptr, ptr, ptr, i8, i64, ptr, ptr, i32, ptr }
%struct.ByteArray_st = type { ptr, i64 }
%struct.WordArray_st = type { ptr, i64 }
%struct.EcGfpCtx_st = type { ptr, ptr, ptr, i8, i64 }
%struct.ECPoint_st = type { ptr, ptr, ptr }

@.str = external hidden unnamed_addr constant [16 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 void @stacktrace_create(ptr noundef, i64 noundef, i32 noundef, ptr noundef) #1

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

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

declare zeroext i1 @int_is_zero(ptr noundef) #1

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

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

declare ptr @gfp_mod_inv_core(ptr noundef, ptr noundef) #1

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

declare ptr @ec_point_alloc(i64 noundef) #1

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

declare void @ec_point_free(ptr noundef) #1

declare ptr @wa_alloc(i64 noundef) #1

; Function Attrs: nounwind uwtable
define dso_local i32 @ecgdsa_verify(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 ptr, align 8
  %12 = alloca ptr, align 8
  %13 = alloca ptr, align 8
  %14 = alloca ptr, align 8
  %15 = alloca ptr, align 8
  %16 = alloca ptr, align 8
  %17 = alloca ptr, align 8
  %18 = alloca ptr, align 8
  %19 = 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 8, ptr %11) #3
  store ptr null, ptr %11, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #3
  store ptr null, ptr %12, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #3
  store ptr null, ptr %13, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #3
  store ptr null, ptr %14, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #3
  store ptr null, ptr %15, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #3
  store ptr null, ptr %16, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #3
  store ptr null, ptr %17, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %19) #3
  store i32 0, ptr %19, align 4, !tbaa !9
  br label %20

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

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

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 %5, align 8, !tbaa !5
  %30 = getelementptr inbounds %struct.EcCtx_st, ptr %29, i32 0, i32 0
  %31 = load ptr, ptr %30, align 8, !tbaa !11
  %32 = getelementptr inbounds %struct.EcParamsCtx_st, ptr %31, i32 0, i32 0
  %33 = load i32, ptr %32, align 8, !tbaa !14
  %34 = icmp eq i32 %33, 0
  br i1 %34, label %37, label %35

35:                                               ; preds = %28
  store i32 2, ptr %19, align 4, !tbaa !9
  %36 = load i32, ptr %19, align 4, !tbaa !9
  call void @stacktrace_create(ptr noundef @.str, i64 noundef 230, i32 noundef %36, ptr noundef null)
  br label %315

37:                                               ; preds = %28
  br label %38

38:                                               ; preds = %37
  br label %39

39:                                               ; preds = %38
  br label %40

40:                                               ; preds = %39
  %41 = load ptr, ptr %6, align 8, !tbaa !5
  %42 = icmp ne ptr %41, null
  br i1 %42, label %45, label %43

43:                                               ; preds = %40
  store i32 2, ptr %19, align 4, !tbaa !9
  %44 = load i32, ptr %19, align 4, !tbaa !9
  call void @stacktrace_create(ptr noundef @.str, i64 noundef 231, i32 noundef %44, ptr noundef null)
  br label %315

45:                                               ; preds = %40
  br label %46

46:                                               ; preds = %45
  br label %47

47:                                               ; preds = %46
  br label %48

48:                                               ; preds = %47
  %49 = load ptr, ptr %7, align 8, !tbaa !5
  %50 = icmp ne ptr %49, null
  br i1 %50, label %53, label %51

51:                                               ; preds = %48
  store i32 2, ptr %19, align 4, !tbaa !9
  %52 = load i32, ptr %19, align 4, !tbaa !9
  call void @stacktrace_create(ptr noundef @.str, i64 noundef 232, i32 noundef %52, ptr noundef null)
  br label %315

53:                                               ; preds = %48
  br label %54

54:                                               ; preds = %53
  br label %55

55:                                               ; preds = %54
  br label %56

56:                                               ; preds = %55
  %57 = load ptr, ptr %8, align 8, !tbaa !5
  %58 = icmp ne ptr %57, null
  br i1 %58, label %61, label %59

59:                                               ; preds = %56
  store i32 2, ptr %19, align 4, !tbaa !9
  %60 = load i32, ptr %19, align 4, !tbaa !9
  call void @stacktrace_create(ptr noundef @.str, i64 noundef 233, i32 noundef %60, ptr noundef null)
  br label %315

61:                                               ; preds = %56
  br label %62

62:                                               ; preds = %61
  br label %63

63:                                               ; preds = %62
  %64 = load ptr, ptr %5, align 8, !tbaa !5
  %65 = getelementptr inbounds %struct.EcCtx_st, ptr %64, i32 0, i32 5
  %66 = load i8, ptr %65, align 1, !tbaa !17, !range !18, !noundef !19
  %67 = trunc i8 %66 to i1
  %68 = zext i1 %67 to i32
  %69 = icmp eq i32 %68, 0
  br i1 %69, label %70, label %75

70:                                               ; preds = %63
  br label %71

71:                                               ; preds = %70
  store i32 14, ptr %19, align 4, !tbaa !9
  %72 = load i32, ptr %19, align 4, !tbaa !9
  call void @stacktrace_create(ptr noundef @.str, i64 noundef 236, i32 noundef %72, ptr noundef null)
  br label %315

73:                                               ; No predecessors!
  br label %74

74:                                               ; preds = %73
  br label %75

75:                                               ; preds = %74, %63
  %76 = load ptr, ptr %5, align 8, !tbaa !5
  %77 = getelementptr inbounds %struct.EcCtx_st, ptr %76, i32 0, i32 0
  %78 = load ptr, ptr %77, align 8, !tbaa !11
  %79 = getelementptr inbounds %struct.EcParamsCtx_st, ptr %78, i32 0, i32 2
  %80 = load ptr, ptr %79, align 8, !tbaa !20
  store ptr %80, ptr %18, align 8, !tbaa !5
  br label %81

81:                                               ; preds = %75
  %82 = load ptr, ptr %7, align 8, !tbaa !5
  %83 = getelementptr inbounds %struct.ByteArray_st, ptr %82, i32 0, i32 0
  %84 = load ptr, ptr %83, align 8, !tbaa !21
  %85 = load ptr, ptr %7, align 8, !tbaa !5
  %86 = getelementptr inbounds %struct.ByteArray_st, ptr %85, i32 0, i32 1
  %87 = load i64, ptr %86, align 8, !tbaa !23
  %88 = call ptr @wa_alloc_from_be(ptr noundef %84, i64 noundef %87)
  store ptr %88, ptr %12, align 8, !tbaa !5
  %89 = icmp eq ptr null, %88
  br i1 %89, label %90, label %92

90:                                               ; preds = %81
  store i32 2, ptr %19, align 4, !tbaa !9
  %91 = load i32, ptr %19, align 4, !tbaa !9
  call void @stacktrace_add(ptr noundef @.str, i64 noundef 241, i32 noundef %91)
  br label %315

92:                                               ; preds = %81
  br label %93

93:                                               ; preds = %92
  br label %94

94:                                               ; preds = %93
  br label %95

95:                                               ; preds = %94
  %96 = load ptr, ptr %8, align 8, !tbaa !5
  %97 = getelementptr inbounds %struct.ByteArray_st, ptr %96, i32 0, i32 0
  %98 = load ptr, ptr %97, align 8, !tbaa !21
  %99 = load ptr, ptr %8, align 8, !tbaa !5
  %100 = getelementptr inbounds %struct.ByteArray_st, ptr %99, i32 0, i32 1
  %101 = load i64, ptr %100, align 8, !tbaa !23
  %102 = call ptr @wa_alloc_from_be(ptr noundef %98, i64 noundef %101)
  store ptr %102, ptr %13, align 8, !tbaa !5
  %103 = icmp eq ptr null, %102
  br i1 %103, label %104, label %106

104:                                              ; preds = %95
  store i32 2, ptr %19, align 4, !tbaa !9
  %105 = load i32, ptr %19, align 4, !tbaa !9
  call void @stacktrace_add(ptr noundef @.str, i64 noundef 242, i32 noundef %105)
  br label %315

106:                                              ; preds = %95
  br label %107

107:                                              ; preds = %106
  br label %108

108:                                              ; preds = %107
  %109 = load ptr, ptr %12, align 8, !tbaa !5
  %110 = load ptr, ptr %18, align 8, !tbaa !5
  %111 = getelementptr inbounds %struct.WordArray_st, ptr %110, i32 0, i32 1
  %112 = load i64, ptr %111, align 8, !tbaa !24
  call void @wa_change_len(ptr noundef %109, i64 noundef %112)
  %113 = load ptr, ptr %13, align 8, !tbaa !5
  %114 = load ptr, ptr %18, align 8, !tbaa !5
  %115 = getelementptr inbounds %struct.WordArray_st, ptr %114, i32 0, i32 1
  %116 = load i64, ptr %115, align 8, !tbaa !24
  call void @wa_change_len(ptr noundef %113, i64 noundef %116)
  %117 = load ptr, ptr %12, align 8, !tbaa !5
  %118 = load ptr, ptr %5, align 8, !tbaa !5
  %119 = getelementptr inbounds %struct.EcCtx_st, ptr %118, i32 0, i32 0
  %120 = load ptr, ptr %119, align 8, !tbaa !11
  %121 = getelementptr inbounds %struct.EcParamsCtx_st, ptr %120, i32 0, i32 2
  %122 = load ptr, ptr %121, align 8, !tbaa !20
  %123 = call i32 @int_cmp(ptr noundef %117, ptr noundef %122)
  %124 = icmp sge i32 %123, 0
  br i1 %124, label %140, label %125

125:                                              ; preds = %108
  %126 = load ptr, ptr %13, align 8, !tbaa !5
  %127 = load ptr, ptr %5, align 8, !tbaa !5
  %128 = getelementptr inbounds %struct.EcCtx_st, ptr %127, i32 0, i32 0
  %129 = load ptr, ptr %128, align 8, !tbaa !11
  %130 = getelementptr inbounds %struct.EcParamsCtx_st, ptr %129, i32 0, i32 2
  %131 = load ptr, ptr %130, align 8, !tbaa !20
  %132 = call i32 @int_cmp(ptr noundef %126, ptr noundef %131)
  %133 = icmp sge i32 %132, 0
  br i1 %133, label %140, label %134

134:                                              ; preds = %125
  %135 = load ptr, ptr %12, align 8, !tbaa !5
  %136 = call zeroext i1 @int_is_zero(ptr noundef %135)
  br i1 %136, label %140, label %137

137:                                              ; preds = %134
  %138 = load ptr, ptr %13, align 8, !tbaa !5
  %139 = call zeroext i1 @int_is_zero(ptr noundef %138)
  br i1 %139, label %140, label %145

140:                                              ; preds = %137, %134, %125, %108
  br label %141

141:                                              ; preds = %140
  store i32 3, ptr %19, align 4, !tbaa !9
  %142 = load i32, ptr %19, align 4, !tbaa !9
  call void @stacktrace_create(ptr noundef @.str, i64 noundef 250, i32 noundef %142, ptr noundef null)
  br label %315

143:                                              ; No predecessors!
  br label %144

144:                                              ; preds = %143
  br label %145

145:                                              ; preds = %144, %137
  br label %146

146:                                              ; preds = %145
  %147 = load ptr, ptr %6, align 8, !tbaa !5
  %148 = getelementptr inbounds %struct.ByteArray_st, ptr %147, i32 0, i32 0
  %149 = load ptr, ptr %148, align 8, !tbaa !21
  %150 = load ptr, ptr %6, align 8, !tbaa !5
  %151 = getelementptr inbounds %struct.ByteArray_st, ptr %150, i32 0, i32 1
  %152 = load i64, ptr %151, align 8, !tbaa !23
  %153 = call ptr @wa_alloc_from_be(ptr noundef %149, i64 noundef %152)
  store ptr %153, ptr %9, align 8, !tbaa !5
  %154 = icmp eq ptr null, %153
  br i1 %154, label %155, label %157

155:                                              ; preds = %146
  store i32 2, ptr %19, align 4, !tbaa !9
  %156 = load i32, ptr %19, align 4, !tbaa !9
  call void @stacktrace_add(ptr noundef @.str, i64 noundef 253, i32 noundef %156)
  br label %315

157:                                              ; preds = %146
  br label %158

158:                                              ; preds = %157
  br label %159

159:                                              ; preds = %158
  %160 = load ptr, ptr %9, align 8, !tbaa !5
  %161 = getelementptr inbounds %struct.WordArray_st, ptr %160, i32 0, i32 1
  %162 = load i64, ptr %161, align 8, !tbaa !24
  %163 = load ptr, ptr %18, align 8, !tbaa !5
  %164 = getelementptr inbounds %struct.WordArray_st, ptr %163, i32 0, i32 1
  %165 = load i64, ptr %164, align 8, !tbaa !24
  %166 = icmp uge i64 %162, %165
  br i1 %166, label %167, label %186

167:                                              ; preds = %159
  br label %168

168:                                              ; preds = %167
  %169 = load ptr, ptr %18, align 8, !tbaa !5
  %170 = getelementptr inbounds %struct.WordArray_st, ptr %169, i32 0, i32 1
  %171 = load i64, ptr %170, align 8, !tbaa !24
  %172 = call ptr @wa_alloc(i64 noundef %171)
  store ptr %172, ptr %16, align 8, !tbaa !5
  %173 = icmp eq ptr null, %172
  br i1 %173, label %174, label %176

174:                                              ; preds = %168
  store i32 2, ptr %19, align 4, !tbaa !9
  %175 = load i32, ptr %19, align 4, !tbaa !9
  call void @stacktrace_add(ptr noundef @.str, i64 noundef 255, i32 noundef %175)
  br label %315

176:                                              ; preds = %168
  br label %177

177:                                              ; preds = %176
  br label %178

178:                                              ; preds = %177
  %179 = load ptr, ptr %9, align 8, !tbaa !5
  %180 = load ptr, ptr %18, align 8, !tbaa !5
  %181 = load ptr, ptr %16, align 8, !tbaa !5
  call void @int_div(ptr noundef %179, ptr noundef %180, ptr noundef null, ptr noundef %181)
  %182 = load ptr, ptr %16, align 8, !tbaa !5
  %183 = load ptr, ptr %9, align 8, !tbaa !5
  %184 = call i32 @wa_copy(ptr noundef %182, ptr noundef %183)
  %185 = load ptr, ptr %16, align 8, !tbaa !5
  call void @wa_free(ptr noundef %185)
  store ptr null, ptr %16, align 8, !tbaa !5
  br label %186

186:                                              ; preds = %178, %159
  %187 = load ptr, ptr %9, align 8, !tbaa !5
  %188 = load ptr, ptr %18, align 8, !tbaa !5
  %189 = getelementptr inbounds %struct.WordArray_st, ptr %188, i32 0, i32 1
  %190 = load i64, ptr %189, align 8, !tbaa !24
  call void @wa_change_len(ptr noundef %187, i64 noundef %190)
  br label %191

191:                                              ; preds = %186
  %192 = load ptr, ptr %12, align 8, !tbaa !5
  %193 = load ptr, ptr %18, align 8, !tbaa !5
  %194 = call ptr @gfp_mod_inv_core(ptr noundef %192, ptr noundef %193)
  store ptr %194, ptr %14, align 8, !tbaa !5
  %195 = icmp eq ptr null, %194
  br i1 %195, label %196, label %198

196:                                              ; preds = %191
  store i32 2, ptr %19, align 4, !tbaa !9
  %197 = load i32, ptr %19, align 4, !tbaa !9
  call void @stacktrace_add(ptr noundef @.str, i64 noundef 264, i32 noundef %197)
  br label %315

198:                                              ; preds = %191
  br label %199

199:                                              ; preds = %198
  br label %200

200:                                              ; preds = %199
  br label %201

201:                                              ; preds = %200
  %202 = load ptr, ptr %18, align 8, !tbaa !5
  %203 = getelementptr inbounds %struct.WordArray_st, ptr %202, i32 0, i32 1
  %204 = load i64, ptr %203, align 8, !tbaa !24
  %205 = call ptr @wa_alloc(i64 noundef %204)
  store ptr %205, ptr %10, align 8, !tbaa !5
  %206 = icmp eq ptr null, %205
  br i1 %206, label %207, label %209

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

209:                                              ; preds = %201
  br label %210

210:                                              ; preds = %209
  br label %211

211:                                              ; preds = %210
  br label %212

212:                                              ; preds = %211
  %213 = load ptr, ptr %18, align 8, !tbaa !5
  %214 = getelementptr inbounds %struct.WordArray_st, ptr %213, i32 0, i32 1
  %215 = load i64, ptr %214, align 8, !tbaa !24
  %216 = call ptr @wa_alloc(i64 noundef %215)
  store ptr %216, ptr %11, align 8, !tbaa !5
  %217 = icmp eq ptr null, %216
  br i1 %217, label %218, label %220

218:                                              ; preds = %212
  store i32 2, ptr %19, align 4, !tbaa !9
  %219 = load i32, ptr %19, align 4, !tbaa !9
  call void @stacktrace_add(ptr noundef @.str, i64 noundef 268, i32 noundef %219)
  br label %315

220:                                              ; preds = %212
  br label %221

221:                                              ; preds = %220
  br label %222

222:                                              ; preds = %221
  br label %223

223:                                              ; preds = %222
  %224 = load ptr, ptr %18, align 8, !tbaa !5
  %225 = getelementptr inbounds %struct.WordArray_st, ptr %224, i32 0, i32 1
  %226 = load i64, ptr %225, align 8, !tbaa !24
  %227 = mul i64 %226, 2
  %228 = call ptr @wa_alloc(i64 noundef %227)
  store ptr %228, ptr %16, align 8, !tbaa !5
  %229 = icmp eq ptr null, %228
  br i1 %229, label %230, label %232

230:                                              ; preds = %223
  store i32 2, ptr %19, align 4, !tbaa !9
  %231 = load i32, ptr %19, align 4, !tbaa !9
  call void @stacktrace_add(ptr noundef @.str, i64 noundef 269, i32 noundef %231)
  br label %315

232:                                              ; preds = %223
  br label %233

233:                                              ; preds = %232
  br label %234

234:                                              ; preds = %233
  %235 = load ptr, ptr %14, align 8, !tbaa !5
  %236 = load ptr, ptr %9, align 8, !tbaa !5
  %237 = load ptr, ptr %16, align 8, !tbaa !5
  call void @int_mul(ptr noundef %235, ptr noundef %236, ptr noundef %237)
  %238 = load ptr, ptr %16, align 8, !tbaa !5
  %239 = load ptr, ptr %18, align 8, !tbaa !5
  %240 = load ptr, ptr %10, align 8, !tbaa !5
  call void @int_div(ptr noundef %238, ptr noundef %239, ptr noundef null, ptr noundef %240)
  %241 = load ptr, ptr %14, align 8, !tbaa !5
  %242 = load ptr, ptr %13, align 8, !tbaa !5
  %243 = load ptr, ptr %16, align 8, !tbaa !5
  call void @int_mul(ptr noundef %241, ptr noundef %242, ptr noundef %243)
  %244 = load ptr, ptr %16, align 8, !tbaa !5
  %245 = load ptr, ptr %18, align 8, !tbaa !5
  %246 = load ptr, ptr %11, align 8, !tbaa !5
  call void @int_div(ptr noundef %244, ptr noundef %245, ptr noundef null, ptr noundef %246)
  br label %247

247:                                              ; preds = %234
  %248 = load ptr, ptr %5, align 8, !tbaa !5
  %249 = getelementptr inbounds %struct.EcCtx_st, ptr %248, i32 0, i32 0
  %250 = load ptr, ptr %249, align 8, !tbaa !11
  %251 = getelementptr inbounds %struct.EcParamsCtx_st, ptr %250, i32 0, i32 3
  %252 = load ptr, ptr %251, align 8, !tbaa !26
  %253 = getelementptr inbounds %struct.EcGfpCtx_st, ptr %252, i32 0, i32 4
  %254 = load i64, ptr %253, align 8, !tbaa !27
  %255 = call ptr @ec_point_alloc(i64 noundef %254)
  store ptr %255, ptr %17, align 8, !tbaa !5
  %256 = icmp eq ptr null, %255
  br i1 %256, label %257, label %259

257:                                              ; preds = %247
  store i32 2, ptr %19, align 4, !tbaa !9
  %258 = load i32, ptr %19, align 4, !tbaa !9
  call void @stacktrace_add(ptr noundef @.str, i64 noundef 277, i32 noundef %258)
  br label %315

259:                                              ; preds = %247
  br label %260

260:                                              ; preds = %259
  br label %261

261:                                              ; preds = %260
  br label %262

262:                                              ; preds = %261
  %263 = load ptr, ptr %5, align 8, !tbaa !5
  %264 = getelementptr inbounds %struct.EcCtx_st, ptr %263, i32 0, i32 0
  %265 = load ptr, ptr %264, align 8, !tbaa !11
  %266 = getelementptr inbounds %struct.EcParamsCtx_st, ptr %265, i32 0, i32 3
  %267 = load ptr, ptr %266, align 8, !tbaa !26
  %268 = load ptr, ptr %5, align 8, !tbaa !5
  %269 = getelementptr inbounds %struct.EcCtx_st, ptr %268, i32 0, i32 0
  %270 = load ptr, ptr %269, align 8, !tbaa !11
  %271 = getelementptr inbounds %struct.EcParamsCtx_st, ptr %270, i32 0, i32 10
  %272 = load ptr, ptr %271, align 8, !tbaa !29
  %273 = load ptr, ptr %10, align 8, !tbaa !5
  %274 = load ptr, ptr %5, align 8, !tbaa !5
  %275 = getelementptr inbounds %struct.EcCtx_st, ptr %274, i32 0, i32 3
  %276 = load ptr, ptr %275, align 8, !tbaa !30
  %277 = load ptr, ptr %11, align 8, !tbaa !5
  %278 = load ptr, ptr %17, align 8, !tbaa !5
  %279 = call i32 @ecp_dual_mul_opt(ptr noundef %267, ptr noundef %272, ptr noundef %273, ptr noundef %276, ptr noundef %277, ptr noundef %278)
  store i32 %279, ptr %19, align 4, !tbaa !9
  %280 = load i32, ptr %19, align 4, !tbaa !9
  %281 = icmp ne i32 %280, 0
  br i1 %281, label %282, label %284

282:                                              ; preds = %262
  %283 = load i32, ptr %19, align 4, !tbaa !9
  call void @stacktrace_add(ptr noundef @.str, i64 noundef 278, i32 noundef %283)
  br label %315

284:                                              ; preds = %262
  br label %285

285:                                              ; preds = %284
  br label %286

286:                                              ; preds = %285
  br label %287

287:                                              ; preds = %286
  %288 = load ptr, ptr %17, align 8, !tbaa !5
  %289 = getelementptr inbounds %struct.ECPoint_st, ptr %288, i32 0, i32 0
  %290 = load ptr, ptr %289, align 8, !tbaa !31
  %291 = call ptr @wa_copy_with_alloc(ptr noundef %290)
  store ptr %291, ptr %15, align 8, !tbaa !5
  %292 = icmp eq ptr null, %291
  br i1 %292, label %293, label %295

293:                                              ; preds = %287
  store i32 2, ptr %19, align 4, !tbaa !9
  %294 = load i32, ptr %19, align 4, !tbaa !9
  call void @stacktrace_add(ptr noundef @.str, i64 noundef 280, i32 noundef %294)
  br label %315

295:                                              ; preds = %287
  br label %296

296:                                              ; preds = %295
  br label %297

297:                                              ; preds = %296
  %298 = load ptr, ptr %15, align 8, !tbaa !5
  %299 = load ptr, ptr %18, align 8, !tbaa !5
  %300 = getelementptr inbounds %struct.WordArray_st, ptr %299, i32 0, i32 1
  %301 = load i64, ptr %300, align 8, !tbaa !24
  %302 = mul i64 %301, 2
  call void @wa_change_len(ptr noundef %298, i64 noundef %302)
  %303 = load ptr, ptr %15, align 8, !tbaa !5
  %304 = load ptr, ptr %18, align 8, !tbaa !5
  %305 = load ptr, ptr %10, align 8, !tbaa !5
  call void @int_div(ptr noundef %303, ptr noundef %304, ptr noundef null, ptr noundef %305)
  %306 = load ptr, ptr %10, align 8, !tbaa !5
  %307 = load ptr, ptr %12, align 8, !tbaa !5
  %308 = call zeroext i1 @int_equals(ptr noundef %306, ptr noundef %307)
  br i1 %308, label %314, label %309

309:                                              ; preds = %297
  br label %310

310:                                              ; preds = %309
  store i32 3, ptr %19, align 4, !tbaa !9
  %311 = load i32, ptr %19, align 4, !tbaa !9
  call void @stacktrace_create(ptr noundef @.str, i64 noundef 286, i32 noundef %311, ptr noundef null)
  br label %315

312:                                              ; No predecessors!
  br label %313

313:                                              ; preds = %312
  br label %314

314:                                              ; preds = %313, %297
  br label %315

315:                                              ; preds = %314, %310, %293, %282, %257, %230, %218, %207, %196, %174, %155, %141, %104, %90, %71, %59, %51, %43, %35, %23
  %316 = load ptr, ptr %9, align 8, !tbaa !5
  call void @wa_free(ptr noundef %316)
  %317 = load ptr, ptr %16, align 8, !tbaa !5
  call void @wa_free(ptr noundef %317)
  %318 = load ptr, ptr %10, align 8, !tbaa !5
  call void @wa_free(ptr noundef %318)
  %319 = load ptr, ptr %11, align 8, !tbaa !5
  call void @wa_free(ptr noundef %319)
  %320 = load ptr, ptr %12, align 8, !tbaa !5
  call void @wa_free(ptr noundef %320)
  %321 = load ptr, ptr %13, align 8, !tbaa !5
  call void @wa_free(ptr noundef %321)
  %322 = load ptr, ptr %14, align 8, !tbaa !5
  call void @wa_free(ptr noundef %322)
  %323 = load ptr, ptr %15, align 8, !tbaa !5
  call void @wa_free(ptr noundef %323)
  %324 = load ptr, ptr %17, align 8, !tbaa !5
  call void @ec_point_free(ptr noundef %324)
  %325 = load i32, ptr %19, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #3
  call void @llvm.lifetime.end.p0(i64 8, 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 %325
}

declare void @int_div(ptr noundef, ptr noundef, ptr noundef, ptr noundef) #1

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

declare void @wa_free(ptr noundef) #1

declare void @int_mul(ptr noundef, ptr noundef, ptr noundef) #1

declare ptr @wa_copy_with_alloc(ptr noundef) #1

declare zeroext i1 @int_equals(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 = !{!"EcCtx_st", !6, i64 0, !6, i64 8, !6, i64 16, !6, i64 24, !13, i64 32, !13, i64 33}
!13 = !{!"_Bool", !7, i64 0}
!14 = !{!15, !10, i64 0}
!15 = !{!"EcParamsCtx_st", !10, i64 0, !6, i64 8, !6, i64 16, !6, i64 24, !6, i64 32, !13, i64 40, !16, i64 48, !6, i64 56, !6, i64 64, !10, i64 72, !6, i64 80}
!16 = !{!"long", !7, i64 0}
!17 = !{!12, !13, i64 33}
!18 = !{i8 0, i8 2}
!19 = !{}
!20 = !{!15, !6, i64 16}
!21 = !{!22, !6, i64 0}
!22 = !{!"ByteArray_st", !6, i64 0, !16, i64 8}
!23 = !{!22, !16, i64 8}
!24 = !{!25, !16, i64 8}
!25 = !{!"WordArray_st", !6, i64 0, !16, i64 8}
!26 = !{!15, !6, i64 24}
!27 = !{!28, !16, i64 32}
!28 = !{!"EcGfpCtx_st", !6, i64 0, !6, i64 8, !6, i64 16, !13, i64 24, !16, i64 32}
!29 = !{!15, !6, i64 80}
!30 = !{!12, !6, i64 24}
!31 = !{!32, !6, i64 0}
!32 = !{!"ECPoint_st", !6, i64 0, !6, i64 8, !6, i64 16}


; 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 [16 x i8], align 1

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

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

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

declare zeroext i1 @int_is_zero(ptr 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 ptr @gfp_mod_inv_core(ptr noundef, ptr noundef) local_unnamed_addr #0

declare ptr @ec_point_alloc(i64 noundef) local_unnamed_addr #0

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

declare void @ec_point_free(ptr noundef) local_unnamed_addr #0

declare ptr @wa_alloc(i64 noundef) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
define dso_local i32 @ecgdsa_verify(ptr noundef readonly %0, ptr noundef readonly %1, ptr noundef readonly %2, ptr noundef readonly %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 229, i32 noundef 2, ptr noundef null) #2
  br label %125

6:                                                ; preds = %4
  %7 = load ptr, ptr %0, align 8, !tbaa !5
  %8 = load i32, ptr %7, align 8, !tbaa !11
  %9 = icmp eq i32 %8, 0
  br i1 %9, label %11, label %10

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

11:                                               ; preds = %6
  %.not131 = icmp eq ptr %1, null
  br i1 %.not131, label %12, label %13

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

13:                                               ; preds = %11
  %.not132 = icmp eq ptr %2, null
  br i1 %.not132, label %14, label %15

14:                                               ; preds = %13
  tail call void @stacktrace_create(ptr noundef nonnull @.str, i64 noundef 232, i32 noundef 2, ptr noundef null) #2
  br label %125

15:                                               ; preds = %13
  %.not133 = icmp eq ptr %3, null
  br i1 %.not133, label %16, label %17

16:                                               ; preds = %15
  tail call void @stacktrace_create(ptr noundef nonnull @.str, i64 noundef 233, i32 noundef 2, ptr noundef null) #2
  br label %125

17:                                               ; preds = %15
  %18 = getelementptr inbounds i8, ptr %0, i64 33
  %19 = load i8, ptr %18, align 1, !tbaa !15, !range !16, !noundef !17
  %20 = icmp eq i8 %19, 0
  br i1 %20, label %21, label %22

21:                                               ; preds = %17
  tail call void @stacktrace_create(ptr noundef nonnull @.str, i64 noundef 236, i32 noundef 14, ptr noundef null) #2
  br label %125

22:                                               ; preds = %17
  %23 = getelementptr inbounds i8, ptr %7, i64 16
  %24 = load ptr, ptr %23, align 8, !tbaa !18
  %25 = load ptr, ptr %2, align 8, !tbaa !19
  %26 = getelementptr inbounds i8, ptr %2, i64 8
  %27 = load i64, ptr %26, align 8, !tbaa !21
  %28 = tail call ptr @wa_alloc_from_be(ptr noundef %25, i64 noundef %27) #2
  %29 = icmp eq ptr %28, null
  br i1 %29, label %30, label %31

30:                                               ; preds = %22
  tail call void @stacktrace_add(ptr noundef nonnull @.str, i64 noundef 241, i32 noundef 2) #2
  br label %125

31:                                               ; preds = %22
  %32 = load ptr, ptr %3, align 8, !tbaa !19
  %33 = getelementptr inbounds i8, ptr %3, i64 8
  %34 = load i64, ptr %33, align 8, !tbaa !21
  %35 = tail call ptr @wa_alloc_from_be(ptr noundef %32, i64 noundef %34) #2
  %36 = icmp eq ptr %35, null
  br i1 %36, label %37, label %38

37:                                               ; preds = %31
  tail call void @stacktrace_add(ptr noundef nonnull @.str, i64 noundef 242, i32 noundef 2) #2
  br label %125

38:                                               ; preds = %31
  %39 = getelementptr inbounds i8, ptr %24, i64 8
  %40 = load i64, ptr %39, align 8, !tbaa !22
  tail call void @wa_change_len(ptr noundef nonnull %28, i64 noundef %40) #2
  %41 = load i64, ptr %39, align 8, !tbaa !22
  tail call void @wa_change_len(ptr noundef nonnull %35, i64 noundef %41) #2
  %42 = load ptr, ptr %0, align 8, !tbaa !5
  %43 = getelementptr inbounds i8, ptr %42, i64 16
  %44 = load ptr, ptr %43, align 8, !tbaa !18
  %45 = tail call i32 @int_cmp(ptr noundef nonnull %28, ptr noundef %44) #2
  %46 = icmp sgt i32 %45, -1
  br i1 %46, label %57, label %47

47:                                               ; preds = %38
  %48 = load ptr, ptr %0, align 8, !tbaa !5
  %49 = getelementptr inbounds i8, ptr %48, i64 16
  %50 = load ptr, ptr %49, align 8, !tbaa !18
  %51 = tail call i32 @int_cmp(ptr noundef nonnull %35, ptr noundef %50) #2
  %52 = icmp sgt i32 %51, -1
  br i1 %52, label %57, label %53

53:                                               ; preds = %47
  %54 = tail call zeroext i1 @int_is_zero(ptr noundef nonnull %28) #2
  br i1 %54, label %57, label %55

55:                                               ; preds = %53
  %56 = tail call zeroext i1 @int_is_zero(ptr noundef nonnull %35) #2
  br i1 %56, label %57, label %58

57:                                               ; preds = %38, %47, %53, %55
  tail call void @stacktrace_create(ptr noundef nonnull @.str, i64 noundef 250, i32 noundef 3, ptr noundef null) #2
  br label %125

58:                                               ; preds = %55
  %59 = load ptr, ptr %1, align 8, !tbaa !19
  %60 = getelementptr inbounds i8, ptr %1, i64 8
  %61 = load i64, ptr %60, align 8, !tbaa !21
  %62 = tail call ptr @wa_alloc_from_be(ptr noundef %59, i64 noundef %61) #2
  %63 = icmp eq ptr %62, null
  br i1 %63, label %64, label %65

64:                                               ; preds = %58
  tail call void @stacktrace_add(ptr noundef nonnull @.str, i64 noundef 253, i32 noundef 2) #2
  br label %125

65:                                               ; preds = %58
  %66 = getelementptr inbounds i8, ptr %62, i64 8
  %67 = load i64, ptr %66, align 8, !tbaa !22
  %68 = load i64, ptr %39, align 8, !tbaa !22
  %.not134 = icmp ult i64 %67, %68
  br i1 %.not134, label %75, label %69

69:                                               ; preds = %65
  %70 = tail call ptr @wa_alloc(i64 noundef %68) #2
  %71 = icmp eq ptr %70, null
  br i1 %71, label %72, label %73

72:                                               ; preds = %69
  tail call void @stacktrace_add(ptr noundef nonnull @.str, i64 noundef 255, i32 noundef 2) #2
  br label %125

73:                                               ; preds = %69
  tail call void @int_div(ptr noundef nonnull %62, ptr noundef nonnull %24, ptr noundef null, ptr noundef nonnull %70) #2
  %74 = tail call i32 @wa_copy(ptr noundef nonnull %70, ptr noundef nonnull %62) #2
  tail call void @wa_free(ptr noundef nonnull %70) #2
  %.pre = load i64, ptr %39, align 8, !tbaa !22
  br label %75

75:                                               ; preds = %73, %65
  %76 = phi i64 [ %.pre, %73 ], [ %68, %65 ]
  tail call void @wa_change_len(ptr noundef nonnull %62, i64 noundef %76) #2
  %77 = tail call ptr @gfp_mod_inv_core(ptr noundef nonnull %28, ptr noundef nonnull %24) #2
  %78 = icmp eq ptr %77, null
  br i1 %78, label %79, label %80

79:                                               ; preds = %75
  tail call void @stacktrace_add(ptr noundef nonnull @.str, i64 noundef 264, i32 noundef 2) #2
  br label %125

80:                                               ; preds = %75
  %81 = load i64, ptr %39, align 8, !tbaa !22
  %82 = tail call ptr @wa_alloc(i64 noundef %81) #2
  %83 = icmp eq ptr %82, null
  br i1 %83, label %84, label %85

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

85:                                               ; preds = %80
  %86 = load i64, ptr %39, align 8, !tbaa !22
  %87 = tail call ptr @wa_alloc(i64 noundef %86) #2
  %88 = icmp eq ptr %87, null
  br i1 %88, label %89, label %90

89:                                               ; preds = %85
  tail call void @stacktrace_add(ptr noundef nonnull @.str, i64 noundef 268, i32 noundef 2) #2
  br label %125

90:                                               ; preds = %85
  %91 = load i64, ptr %39, align 8, !tbaa !22
  %92 = shl i64 %91, 1
  %93 = tail call ptr @wa_alloc(i64 noundef %92) #2
  %94 = icmp eq ptr %93, null
  br i1 %94, label %95, label %96

95:                                               ; preds = %90
  tail call void @stacktrace_add(ptr noundef nonnull @.str, i64 noundef 269, i32 noundef 2) #2
  br label %125

96:                                               ; preds = %90
  tail call void @int_mul(ptr noundef nonnull %77, ptr noundef nonnull %62, ptr noundef nonnull %93) #2
  tail call void @int_div(ptr noundef nonnull %93, ptr noundef nonnull %24, ptr noundef null, ptr noundef nonnull %82) #2
  tail call void @int_mul(ptr noundef nonnull %77, ptr noundef nonnull %35, ptr noundef nonnull %93) #2
  tail call void @int_div(ptr noundef nonnull %93, ptr noundef nonnull %24, ptr noundef null, ptr noundef nonnull %87) #2
  %97 = load ptr, ptr %0, align 8, !tbaa !5
  %98 = getelementptr inbounds i8, ptr %97, i64 24
  %99 = load ptr, ptr %98, align 8, !tbaa !24
  %100 = getelementptr inbounds i8, ptr %99, i64 32
  %101 = load i64, ptr %100, align 8, !tbaa !25
  %102 = tail call ptr @ec_point_alloc(i64 noundef %101) #2
  %103 = icmp eq ptr %102, null
  br i1 %103, label %104, label %105

104:                                              ; preds = %96
  tail call void @stacktrace_add(ptr noundef nonnull @.str, i64 noundef 277, i32 noundef 2) #2
  br label %125

105:                                              ; preds = %96
  %106 = load ptr, ptr %0, align 8, !tbaa !5
  %107 = getelementptr inbounds i8, ptr %106, i64 24
  %108 = load ptr, ptr %107, align 8, !tbaa !24
  %109 = getelementptr inbounds i8, ptr %106, i64 80
  %110 = load ptr, ptr %109, align 8, !tbaa !27
  %111 = getelementptr inbounds i8, ptr %0, i64 24
  %112 = load ptr, ptr %111, align 8, !tbaa !28
  %113 = tail call i32 @ecp_dual_mul_opt(ptr noundef %108, ptr noundef %110, ptr noundef nonnull %82, ptr noundef %112, ptr noundef nonnull %87, ptr noundef nonnull %102) #2
  %.not135 = icmp eq i32 %113, 0
  br i1 %.not135, label %115, label %114

114:                                              ; preds = %105
  tail call void @stacktrace_add(ptr noundef nonnull @.str, i64 noundef 278, i32 noundef %113) #2
  br label %125

115:                                              ; preds = %105
  %116 = load ptr, ptr %102, align 8, !tbaa !29
  %117 = tail call ptr @wa_copy_with_alloc(ptr noundef %116) #2
  %118 = icmp eq ptr %117, null
  br i1 %118, label %119, label %120

119:                                              ; preds = %115
  tail call void @stacktrace_add(ptr noundef nonnull @.str, i64 noundef 280, i32 noundef 2) #2
  br label %125

120:                                              ; preds = %115
  %121 = load i64, ptr %39, align 8, !tbaa !22
  %122 = shl i64 %121, 1
  tail call void @wa_change_len(ptr noundef nonnull %117, i64 noundef %122) #2
  tail call void @int_div(ptr noundef nonnull %117, ptr noundef nonnull %24, ptr noundef null, ptr noundef nonnull %82) #2
  %123 = tail call zeroext i1 @int_equals(ptr noundef nonnull %82, ptr noundef nonnull %28) #2
  br i1 %123, label %125, label %124

124:                                              ; preds = %120
  tail call void @stacktrace_create(ptr noundef nonnull @.str, i64 noundef 286, i32 noundef 3, ptr noundef null) #2
  br label %125

125:                                              ; preds = %120, %124, %119, %114, %104, %95, %89, %84, %79, %72, %64, %57, %37, %30, %21, %16, %14, %12, %10, %5
  %.0103 = phi ptr [ null, %21 ], [ null, %30 ], [ null, %37 ], [ null, %57 ], [ null, %64 ], [ null, %72 ], [ null, %79 ], [ null, %84 ], [ %82, %89 ], [ %82, %95 ], [ %82, %104 ], [ %82, %114 ], [ %82, %119 ], [ %82, %120 ], [ %82, %124 ], [ null, %16 ], [ null, %14 ], [ null, %12 ], [ null, %10 ], [ null, %5 ]
  %.0102 = phi ptr [ null, %21 ], [ null, %30 ], [ null, %37 ], [ null, %57 ], [ null, %64 ], [ null, %72 ], [ null, %79 ], [ null, %84 ], [ null, %89 ], [ %87, %95 ], [ %87, %104 ], [ %87, %114 ], [ %87, %119 ], [ %87, %120 ], [ %87, %124 ], [ null, %16 ], [ null, %14 ], [ null, %12 ], [ null, %10 ], [ null, %5 ]
  %.0101 = phi ptr [ null, %21 ], [ null, %30 ], [ %28, %37 ], [ %28, %57 ], [ %28, %64 ], [ %28, %72 ], [ %28, %79 ], [ %28, %84 ], [ %28, %89 ], [ %28, %95 ], [ %28, %104 ], [ %28, %114 ], [ %28, %119 ], [ %28, %120 ], [ %28, %124 ], [ null, %16 ], [ null, %14 ], [ null, %12 ], [ null, %10 ], [ null, %5 ]
  %.0100 = phi ptr [ null, %21 ], [ null, %30 ], [ null, %37 ], [ %35, %57 ], [ %35, %64 ], [ %35, %72 ], [ %35, %79 ], [ %35, %84 ], [ %35, %89 ], [ %35, %95 ], [ %35, %104 ], [ %35, %114 ], [ %35, %119 ], [ %35, %120 ], [ %35, %124 ], [ null, %16 ], [ null, %14 ], [ null, %12 ], [ null, %10 ], [ null, %5 ]
  %.099 = phi ptr [ null, %21 ], [ null, %30 ], [ null, %37 ], [ null, %57 ], [ null, %64 ], [ null, %72 ], [ null, %79 ], [ %77, %84 ], [ %77, %89 ], [ %77, %95 ], [ %77, %104 ], [ %77, %114 ], [ %77, %119 ], [ %77, %120 ], [ %77, %124 ], [ null, %16 ], [ null, %14 ], [ null, %12 ], [ null, %10 ], [ null, %5 ]
  %.098 = phi ptr [ null, %21 ], [ null, %30 ], [ null, %37 ], [ null, %57 ], [ null, %64 ], [ null, %72 ], [ null, %79 ], [ null, %84 ], [ null, %89 ], [ null, %95 ], [ null, %104 ], [ null, %114 ], [ null, %119 ], [ %117, %120 ], [ %117, %124 ], [ null, %16 ], [ null, %14 ], [ null, %12 ], [ null, %10 ], [ null, %5 ]
  %.1 = phi ptr [ null, %21 ], [ null, %30 ], [ null, %37 ], [ null, %57 ], [ null, %64 ], [ null, %72 ], [ null, %79 ], [ null, %84 ], [ null, %89 ], [ null, %95 ], [ %93, %104 ], [ %93, %114 ], [ %93, %119 ], [ %93, %120 ], [ %93, %124 ], [ null, %16 ], [ null, %14 ], [ null, %12 ], [ null, %10 ], [ null, %5 ]
  %.096 = phi ptr [ null, %21 ], [ null, %30 ], [ null, %37 ], [ null, %57 ], [ null, %64 ], [ null, %72 ], [ null, %79 ], [ null, %84 ], [ null, %89 ], [ null, %95 ], [ null, %104 ], [ %102, %114 ], [ %102, %119 ], [ %102, %120 ], [ %102, %124 ], [ null, %16 ], [ null, %14 ], [ null, %12 ], [ null, %10 ], [ null, %5 ]
  %.095 = phi ptr [ null, %21 ], [ null, %30 ], [ null, %37 ], [ null, %57 ], [ null, %64 ], [ %62, %72 ], [ %62, %79 ], [ %62, %84 ], [ %62, %89 ], [ %62, %95 ], [ %62, %104 ], [ %62, %114 ], [ %62, %119 ], [ %62, %120 ], [ %62, %124 ], [ null, %16 ], [ null, %14 ], [ null, %12 ], [ null, %10 ], [ null, %5 ]
  %.0 = phi i32 [ 14, %21 ], [ 2, %30 ], [ 2, %37 ], [ 3, %57 ], [ 2, %64 ], [ 2, %72 ], [ 2, %79 ], [ 2, %84 ], [ 2, %89 ], [ 2, %95 ], [ 2, %104 ], [ %113, %114 ], [ 2, %119 ], [ 0, %120 ], [ 3, %124 ], [ 2, %16 ], [ 2, %14 ], [ 2, %12 ], [ 2, %10 ], [ 2, %5 ]
  tail call void @wa_free(ptr noundef %.095) #2
  tail call void @wa_free(ptr noundef %.1) #2
  tail call void @wa_free(ptr noundef %.0103) #2
  tail call void @wa_free(ptr noundef %.0102) #2
  tail call void @wa_free(ptr noundef %.0101) #2
  tail call void @wa_free(ptr noundef %.0100) #2
  tail call void @wa_free(ptr noundef %.099) #2
  tail call void @wa_free(ptr noundef %.098) #2
  tail call void @ec_point_free(ptr noundef %.096) #2
  ret i32 %.0
}

declare void @int_div(ptr noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #0

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

declare void @wa_free(ptr noundef) local_unnamed_addr #0

declare void @int_mul(ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #0

declare ptr @wa_copy_with_alloc(ptr noundef) local_unnamed_addr #0

declare zeroext i1 @int_equals(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 = !{!"EcCtx_st", !7, i64 0, !7, i64 8, !7, i64 16, !7, i64 24, !10, i64 32, !10, i64 33}
!7 = !{!"any pointer", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C/C++ TBAA"}
!10 = !{!"_Bool", !8, i64 0}
!11 = !{!12, !13, i64 0}
!12 = !{!"EcParamsCtx_st", !13, i64 0, !7, i64 8, !7, i64 16, !7, i64 24, !7, i64 32, !10, i64 40, !14, i64 48, !7, i64 56, !7, i64 64, !13, i64 72, !7, i64 80}
!13 = !{!"int", !8, i64 0}
!14 = !{!"long", !8, i64 0}
!15 = !{!6, !10, i64 33}
!16 = !{i8 0, i8 2}
!17 = !{}
!18 = !{!12, !7, i64 16}
!19 = !{!20, !7, i64 0}
!20 = !{!"ByteArray_st", !7, i64 0, !14, i64 8}
!21 = !{!20, !14, i64 8}
!22 = !{!23, !14, i64 8}
!23 = !{!"WordArray_st", !7, i64 0, !14, i64 8}
!24 = !{!12, !7, i64 24}
!25 = !{!26, !14, i64 32}
!26 = !{!"EcGfpCtx_st", !7, i64 0, !7, i64 8, !7, i64 16, !10, i64 24, !14, i64 32}
!27 = !{!12, !7, i64 80}
!28 = !{!6, !7, i64 24}
!29 = !{!30, !7, i64 0}
!30 = !{!"ECPoint_st", !7, i64 0, !7, i64 8, !7, i64 16}


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