; LLVM IR from specinfo-ua/UAPKI :: library/uapkic/src (math-gf2m-internal)

; 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.Gf2mCtx_st = type { ptr, ptr, i64 }
%struct.WordArray_st = type { ptr, i64 }

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

; Function Attrs: nounwind uwtable
declare dso_local void @gf2m_mod_add(ptr noundef, ptr noundef, ptr noundef) #1

declare i64 @int_bit_len(ptr noundef) #2

declare ptr @wa_alloc(i64 noundef) #2

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

declare void @wa_free(ptr noundef) #2

; Function Attrs: nounwind uwtable
define dso_local void @gf2m_mul_opt(ptr noundef %0, ptr noundef %1, ptr noundef %2, ptr noundef %3) #1 {
  %5 = alloca ptr, align 8
  %6 = alloca ptr, align 8
  %7 = alloca ptr, align 8
  %8 = alloca ptr, align 8
  %9 = alloca [32 x i64], align 16
  %10 = alloca [32 x i64], align 16
  %11 = alloca [64 x i64], align 16
  %12 = alloca i32, align 4
  %13 = alloca i32, align 4
  %14 = alloca i32, align 4
  %15 = alloca i32, align 4
  %16 = alloca i32, align 4
  %17 = alloca ptr, align 8
  %18 = alloca ptr, align 8
  %19 = alloca ptr, align 8
  %20 = alloca i32, align 4
  %21 = alloca ptr, align 8
  %22 = 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 256, ptr %9) #4
  call void @llvm.lifetime.start.p0(i64 256, ptr %10) #4
  call void @llvm.lifetime.start.p0(i64 512, ptr %11) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #4
  store i32 0, ptr %16, align 4, !tbaa !9
  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
  %23 = load ptr, ptr %5, align 8, !tbaa !5
  %24 = getelementptr inbounds %struct.Gf2mCtx_st, ptr %23, i32 0, i32 2
  %25 = load i64, ptr %24, align 8, !tbaa !11
  %26 = trunc i64 %25 to i32
  store i32 %26, ptr %12, align 4, !tbaa !9
  %27 = load i32, ptr %12, align 4, !tbaa !9
  %28 = icmp sgt i32 %27, 8
  br i1 %28, label %29, label %76

29:                                               ; preds = %4
  call void @llvm.lifetime.start.p0(i64 4, ptr %20) #4
  %30 = load ptr, ptr %7, align 8, !tbaa !5
  %31 = call i64 @int_bit_len(ptr noundef %30)
  %32 = trunc i64 %31 to i32
  store i32 %32, ptr %20, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #4
  store ptr null, ptr %21, align 8, !tbaa !5
  %33 = load ptr, ptr %8, align 8, !tbaa !5
  call void @wa_zero(ptr noundef %33)
  br label %34

34:                                               ; preds = %29
  %35 = load ptr, ptr %6, align 8, !tbaa !5
  %36 = call ptr @wa_copy_with_alloc(ptr noundef %35)
  store ptr %36, ptr %21, align 8, !tbaa !5
  %37 = icmp eq ptr null, %36
  br i1 %37, label %38, label %40

38:                                               ; preds = %34
  store i32 2, ptr %16, align 4, !tbaa !9
  %39 = load i32, ptr %16, align 4, !tbaa !9
  call void @stacktrace_add(ptr noundef @.str, i64 noundef 869, i32 noundef %39)
  store i32 4, ptr %22, align 4
  br label %74

40:                                               ; preds = %34
  br label %41

41:                                               ; preds = %40
  br label %42

42:                                               ; preds = %41
  %43 = load ptr, ptr %21, align 8, !tbaa !5
  %44 = load ptr, ptr %6, align 8, !tbaa !5
  %45 = getelementptr inbounds %struct.WordArray_st, ptr %44, i32 0, i32 1
  %46 = load i64, ptr %45, align 8, !tbaa !14
  %47 = mul i64 2, %46
  call void @wa_change_len(ptr noundef %43, i64 noundef %47)
  store i32 0, ptr %14, align 4, !tbaa !9
  br label %48

48:                                               ; preds = %69, %42
  %49 = load i32, ptr %14, align 4, !tbaa !9
  %50 = load i32, ptr %20, align 4, !tbaa !9
  %51 = icmp slt i32 %49, %50
  br i1 %51, label %52, label %72

52:                                               ; preds = %48
  %53 = load i32, ptr %14, align 4, !tbaa !9
  %54 = icmp ne i32 %53, 0
  br i1 %54, label %55, label %58

55:                                               ; preds = %52
  %56 = load ptr, ptr %21, align 8, !tbaa !5
  %57 = load ptr, ptr %21, align 8, !tbaa !5
  call void @int_lshift(ptr noundef %56, i64 noundef 1, ptr noundef %57)
  br label %58

58:                                               ; preds = %55, %52
  %59 = load ptr, ptr %7, align 8, !tbaa !5
  %60 = load i32, ptr %14, align 4, !tbaa !9
  %61 = sext i32 %60 to i64
  %62 = call i32 @int_get_bit(ptr noundef %59, i64 noundef %61)
  %63 = icmp ne i32 %62, 0
  br i1 %63, label %64, label %68

64:                                               ; preds = %58
  %65 = load ptr, ptr %21, align 8, !tbaa !5
  %66 = load ptr, ptr %8, align 8, !tbaa !5
  %67 = load ptr, ptr %8, align 8, !tbaa !5
  call void @gf2m_mod_add(ptr noundef %65, ptr noundef %66, ptr noundef %67)
  br label %68

68:                                               ; preds = %64, %58
  br label %69

69:                                               ; preds = %68
  %70 = load i32, ptr %14, align 4, !tbaa !9
  %71 = add nsw i32 %70, 1
  store i32 %71, ptr %14, align 4, !tbaa !9
  br label %48, !llvm.loop !16

72:                                               ; preds = %48
  %73 = load ptr, ptr %21, align 8, !tbaa !5
  call void @wa_free(ptr noundef %73)
  store i32 1, ptr %22, align 4
  br label %74

74:                                               ; preds = %72, %38
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #4
  %75 = load i32, ptr %22, align 4
  switch i32 %75, label %516 [
    i32 4, label %512
  ]

76:                                               ; preds = %4
  br label %77

77:                                               ; preds = %76
  %78 = load ptr, ptr %6, align 8, !tbaa !5
  %79 = getelementptr inbounds %struct.WordArray_st, ptr %78, i32 0, i32 1
  %80 = load i64, ptr %79, align 8, !tbaa !14
  %81 = call ptr @wa_alloc(i64 noundef %80)
  store ptr %81, ptr %17, align 8, !tbaa !5
  %82 = icmp eq ptr null, %81
  br i1 %82, label %83, label %85

83:                                               ; preds = %77
  store i32 2, ptr %16, align 4, !tbaa !9
  %84 = load i32, ptr %16, align 4, !tbaa !9
  call void @stacktrace_add(ptr noundef @.str, i64 noundef 885, i32 noundef %84)
  br label %512

85:                                               ; preds = %77
  br label %86

86:                                               ; preds = %85
  br label %87

87:                                               ; preds = %86
  br label %88

88:                                               ; preds = %87
  %89 = load ptr, ptr %7, align 8, !tbaa !5
  %90 = getelementptr inbounds %struct.WordArray_st, ptr %89, i32 0, i32 1
  %91 = load i64, ptr %90, align 8, !tbaa !14
  %92 = call ptr @wa_alloc(i64 noundef %91)
  store ptr %92, ptr %18, align 8, !tbaa !5
  %93 = icmp eq ptr null, %92
  br i1 %93, label %94, label %96

94:                                               ; preds = %88
  store i32 2, ptr %16, align 4, !tbaa !9
  %95 = load i32, ptr %16, align 4, !tbaa !9
  call void @stacktrace_add(ptr noundef @.str, i64 noundef 886, i32 noundef %95)
  br label %512

96:                                               ; preds = %88
  br label %97

97:                                               ; preds = %96
  br label %98

98:                                               ; preds = %97
  br label %99

99:                                               ; preds = %98
  %100 = load ptr, ptr %8, align 8, !tbaa !5
  %101 = getelementptr inbounds %struct.WordArray_st, ptr %100, i32 0, i32 1
  %102 = load i64, ptr %101, align 8, !tbaa !14
  %103 = call ptr @wa_alloc_with_zero(i64 noundef %102)
  store ptr %103, ptr %19, align 8, !tbaa !5
  %104 = icmp eq ptr null, %103
  br i1 %104, label %105, label %107

105:                                              ; preds = %99
  store i32 2, ptr %16, align 4, !tbaa !9
  %106 = load i32, ptr %16, align 4, !tbaa !9
  call void @stacktrace_add(ptr noundef @.str, i64 noundef 887, i32 noundef %106)
  br label %512

107:                                              ; preds = %99
  br label %108

108:                                              ; preds = %107
  br label %109

109:                                              ; preds = %108
  %110 = load ptr, ptr %6, align 8, !tbaa !5
  %111 = load ptr, ptr %17, align 8, !tbaa !5
  call void @wa_swap(ptr noundef %110, ptr noundef %111)
  %112 = load ptr, ptr %7, align 8, !tbaa !5
  %113 = load ptr, ptr %18, align 8, !tbaa !5
  call void @wa_swap(ptr noundef %112, ptr noundef %113)
  %114 = load i32, ptr %12, align 4, !tbaa !9
  %115 = icmp sle i32 %114, 4
  br i1 %115, label %116, label %129

116:                                              ; preds = %109
  %117 = load ptr, ptr %17, align 8, !tbaa !5
  %118 = getelementptr inbounds %struct.WordArray_st, ptr %117, i32 0, i32 0
  %119 = load ptr, ptr %118, align 8, !tbaa !18
  %120 = load ptr, ptr %18, align 8, !tbaa !5
  %121 = getelementptr inbounds %struct.WordArray_st, ptr %120, i32 0, i32 0
  %122 = load ptr, ptr %121, align 8, !tbaa !18
  %123 = load i32, ptr %12, align 4, !tbaa !9
  %124 = load ptr, ptr %19, align 8, !tbaa !5
  %125 = getelementptr inbounds %struct.WordArray_st, ptr %124, i32 0, i32 0
  %126 = load ptr, ptr %125, align 8, !tbaa !18
  call void @gf2m_mul_256(ptr noundef %119, ptr noundef %122, i32 noundef %123, i1 noundef zeroext true, ptr noundef %126)
  %127 = load ptr, ptr %19, align 8, !tbaa !5
  %128 = load ptr, ptr %8, align 8, !tbaa !5
  call void @wa_swap(ptr noundef %127, ptr noundef %128)
  br label %512

129:                                              ; preds = %109
  %130 = load ptr, ptr %5, align 8, !tbaa !5
  %131 = getelementptr inbounds %struct.Gf2mCtx_st, ptr %130, i32 0, i32 0
  %132 = load ptr, ptr %131, align 8, !tbaa !19
  %133 = getelementptr inbounds i32, ptr %132, i64 0
  %134 = load i32, ptr %133, align 4, !tbaa !9
  %135 = icmp eq i32 %134, 257
  br i1 %135, label %136, label %239

136:                                              ; preds = %129
  %137 = load ptr, ptr %19, align 8, !tbaa !5
  %138 = getelementptr inbounds %struct.WordArray_st, ptr %137, i32 0, i32 0
  %139 = load ptr, ptr %138, align 8, !tbaa !18
  %140 = getelementptr inbounds i64, ptr %139, i64 0
  store i64 0, ptr %140, align 8, !tbaa !20
  %141 = load ptr, ptr %17, align 8, !tbaa !5
  %142 = getelementptr inbounds %struct.WordArray_st, ptr %141, i32 0, i32 0
  %143 = load ptr, ptr %142, align 8, !tbaa !18
  %144 = getelementptr inbounds i64, ptr %143, i64 0
  %145 = load i64, ptr %144, align 8, !tbaa !20
  %146 = icmp eq i64 %145, 1
  br i1 %146, label %147, label %154

147:                                              ; preds = %136
  %148 = load ptr, ptr %18, align 8, !tbaa !5
  %149 = getelementptr inbounds %struct.WordArray_st, ptr %148, i32 0, i32 0
  %150 = load ptr, ptr %149, align 8, !tbaa !18
  %151 = getelementptr inbounds i64, ptr %150, i64 0
  %152 = load i64, ptr %151, align 8, !tbaa !20
  %153 = icmp eq i64 %152, 1
  br label %154

154:                                              ; preds = %147, %136
  %155 = phi i1 [ false, %136 ], [ %153, %147 ]
  %156 = zext i1 %155 to i64
  %157 = select i1 %155, i32 1, i32 0
  %158 = sext i32 %157 to i64
  %159 = load ptr, ptr %19, align 8, !tbaa !5
  %160 = getelementptr inbounds %struct.WordArray_st, ptr %159, i32 0, i32 0
  %161 = load ptr, ptr %160, align 8, !tbaa !18
  %162 = getelementptr inbounds i64, ptr %161, i64 1
  store i64 %158, ptr %162, align 8, !tbaa !20
  %163 = load ptr, ptr %17, align 8, !tbaa !5
  %164 = getelementptr inbounds %struct.WordArray_st, ptr %163, i32 0, i32 0
  %165 = load ptr, ptr %164, align 8, !tbaa !18
  %166 = load ptr, ptr %18, align 8, !tbaa !5
  %167 = getelementptr inbounds %struct.WordArray_st, ptr %166, i32 0, i32 0
  %168 = load ptr, ptr %167, align 8, !tbaa !18
  %169 = load i32, ptr %12, align 4, !tbaa !9
  %170 = load ptr, ptr %19, align 8, !tbaa !5
  %171 = getelementptr inbounds %struct.WordArray_st, ptr %170, i32 0, i32 0
  %172 = load ptr, ptr %171, align 8, !tbaa !18
  call void @gf2m_mul_256(ptr noundef %165, ptr noundef %168, i32 noundef %169, i1 noundef zeroext true, ptr noundef %172)
  %173 = load ptr, ptr %17, align 8, !tbaa !5
  %174 = getelementptr inbounds %struct.WordArray_st, ptr %173, i32 0, i32 0
  %175 = load ptr, ptr %174, align 8, !tbaa !18
  %176 = getelementptr inbounds i64, ptr %175, i64 0
  %177 = load i64, ptr %176, align 8, !tbaa !20
  %178 = icmp eq i64 %177, 1
  br i1 %178, label %179, label %204

179:                                              ; preds = %154
  store i32 1, ptr %14, align 4, !tbaa !9
  br label %180

180:                                              ; preds = %200, %179
  %181 = load i32, ptr %14, align 4, !tbaa !9
  %182 = icmp slt i32 %181, 5
  br i1 %182, label %183, label %203

183:                                              ; preds = %180
  %184 = load ptr, ptr %18, align 8, !tbaa !5
  %185 = getelementptr inbounds %struct.WordArray_st, ptr %184, i32 0, i32 0
  %186 = load ptr, ptr %185, align 8, !tbaa !18
  %187 = load i32, ptr %14, align 4, !tbaa !9
  %188 = sext i32 %187 to i64
  %189 = getelementptr inbounds i64, ptr %186, i64 %188
  %190 = load i64, ptr %189, align 8, !tbaa !20
  %191 = load ptr, ptr %19, align 8, !tbaa !5
  %192 = getelementptr inbounds %struct.WordArray_st, ptr %191, i32 0, i32 0
  %193 = load ptr, ptr %192, align 8, !tbaa !18
  %194 = load i32, ptr %14, align 4, !tbaa !9
  %195 = add nsw i32 %194, 1
  %196 = sext i32 %195 to i64
  %197 = getelementptr inbounds i64, ptr %193, i64 %196
  %198 = load i64, ptr %197, align 8, !tbaa !20
  %199 = xor i64 %198, %190
  store i64 %199, ptr %197, align 8, !tbaa !20
  br label %200

200:                                              ; preds = %183
  %201 = load i32, ptr %14, align 4, !tbaa !9
  %202 = add nsw i32 %201, 1
  store i32 %202, ptr %14, align 4, !tbaa !9
  br label %180, !llvm.loop !21

203:                                              ; preds = %180
  br label %204

204:                                              ; preds = %203, %154
  %205 = load ptr, ptr %18, align 8, !tbaa !5
  %206 = getelementptr inbounds %struct.WordArray_st, ptr %205, i32 0, i32 0
  %207 = load ptr, ptr %206, align 8, !tbaa !18
  %208 = getelementptr inbounds i64, ptr %207, i64 0
  %209 = load i64, ptr %208, align 8, !tbaa !20
  %210 = icmp eq i64 %209, 1
  br i1 %210, label %211, label %236

211:                                              ; preds = %204
  store i32 1, ptr %14, align 4, !tbaa !9
  br label %212

212:                                              ; preds = %232, %211
  %213 = load i32, ptr %14, align 4, !tbaa !9
  %214 = icmp slt i32 %213, 5
  br i1 %214, label %215, label %235

215:                                              ; preds = %212
  %216 = load ptr, ptr %17, align 8, !tbaa !5
  %217 = getelementptr inbounds %struct.WordArray_st, ptr %216, i32 0, i32 0
  %218 = load ptr, ptr %217, align 8, !tbaa !18
  %219 = load i32, ptr %14, align 4, !tbaa !9
  %220 = sext i32 %219 to i64
  %221 = getelementptr inbounds i64, ptr %218, i64 %220
  %222 = load i64, ptr %221, align 8, !tbaa !20
  %223 = load ptr, ptr %19, align 8, !tbaa !5
  %224 = getelementptr inbounds %struct.WordArray_st, ptr %223, i32 0, i32 0
  %225 = load ptr, ptr %224, align 8, !tbaa !18
  %226 = load i32, ptr %14, align 4, !tbaa !9
  %227 = add nsw i32 %226, 1
  %228 = sext i32 %227 to i64
  %229 = getelementptr inbounds i64, ptr %225, i64 %228
  %230 = load i64, ptr %229, align 8, !tbaa !20
  %231 = xor i64 %230, %222
  store i64 %231, ptr %229, align 8, !tbaa !20
  br label %232

232:                                              ; preds = %215
  %233 = load i32, ptr %14, align 4, !tbaa !9
  %234 = add nsw i32 %233, 1
  store i32 %234, ptr %14, align 4, !tbaa !9
  br label %212, !llvm.loop !22

235:                                              ; preds = %212
  br label %236

236:                                              ; preds = %235, %204
  %237 = load ptr, ptr %19, align 8, !tbaa !5
  %238 = load ptr, ptr %8, align 8, !tbaa !5
  call void @wa_swap(ptr noundef %237, ptr noundef %238)
  br label %512

239:                                              ; preds = %129
  %240 = load i32, ptr %12, align 4, !tbaa !9
  %241 = mul nsw i32 2, %240
  %242 = icmp sgt i32 %241, 12
  br i1 %242, label %243, label %247

243:                                              ; preds = %239
  %244 = load i32, ptr %12, align 4, !tbaa !9
  %245 = mul nsw i32 2, %244
  %246 = sub nsw i32 %245, 12
  br label %248

247:                                              ; preds = %239
  br label %248

248:                                              ; preds = %247, %243
  %249 = phi i32 [ %246, %243 ], [ 0, %247 ]
  store i32 %249, ptr %13, align 4, !tbaa !9
  %250 = load ptr, ptr %17, align 8, !tbaa !5
  %251 = getelementptr inbounds %struct.WordArray_st, ptr %250, i32 0, i32 0
  %252 = load ptr, ptr %251, align 8, !tbaa !18
  %253 = load ptr, ptr %18, align 8, !tbaa !5
  %254 = getelementptr inbounds %struct.WordArray_st, ptr %253, i32 0, i32 0
  %255 = load ptr, ptr %254, align 8, !tbaa !18
  %256 = load i32, ptr %12, align 4, !tbaa !9
  %257 = load ptr, ptr %19, align 8, !tbaa !5
  %258 = getelementptr inbounds %struct.WordArray_st, ptr %257, i32 0, i32 0
  %259 = load ptr, ptr %258, align 8, !tbaa !18
  call void @gf2m_mul_256(ptr noundef %252, ptr noundef %255, i32 noundef %256, i1 noundef zeroext true, ptr noundef %259)
  %260 = load ptr, ptr %19, align 8, !tbaa !5
  %261 = getelementptr inbounds %struct.WordArray_st, ptr %260, i32 0, i32 0
  %262 = load ptr, ptr %261, align 8, !tbaa !18
  %263 = load i32, ptr %13, align 4, !tbaa !9
  %264 = sext i32 %263 to i64
  %265 = getelementptr inbounds i64, ptr %262, i64 %264
  %266 = load ptr, ptr %19, align 8, !tbaa !5
  %267 = getelementptr inbounds %struct.WordArray_st, ptr %266, i32 0, i32 0
  %268 = load ptr, ptr %267, align 8, !tbaa !18
  %269 = getelementptr inbounds i64, ptr %268, i64 4
  %270 = load i32, ptr %13, align 4, !tbaa !9
  %271 = sext i32 %270 to i64
  %272 = getelementptr inbounds i64, ptr %269, i64 %271
  %273 = load i32, ptr %12, align 4, !tbaa !9
  %274 = mul nsw i32 2, %273
  %275 = sub nsw i32 %274, 8
  %276 = load i32, ptr %13, align 4, !tbaa !9
  %277 = sub nsw i32 %275, %276
  %278 = sext i32 %277 to i64
  %279 = mul i64 %278, 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %265, ptr align 8 %272, i64 %279, i1 false)
  %280 = load i32, ptr %12, align 4, !tbaa !9
  %281 = mul nsw i32 2, %280
  %282 = sub nsw i32 %281, 8
  store i32 %282, ptr %14, align 4, !tbaa !9
  %283 = load i32, ptr %12, align 4, !tbaa !9
  %284 = mul nsw i32 2, %283
  %285 = sub nsw i32 %284, 4
  store i32 %285, ptr %15, align 4, !tbaa !9
  br label %286

286:                                              ; preds = %292, %248
  %287 = load i32, ptr %15, align 4, !tbaa !9
  %288 = load i32, ptr %12, align 4, !tbaa !9
  %289 = mul nsw i32 2, %288
  %290 = icmp slt i32 %287, %289
  br i1 %290, label %291, label %310

291:                                              ; preds = %286
  br label %292

292:                                              ; preds = %291
  %293 = load ptr, ptr %19, align 8, !tbaa !5
  %294 = getelementptr inbounds %struct.WordArray_st, ptr %293, i32 0, i32 0
  %295 = load ptr, ptr %294, align 8, !tbaa !18
  %296 = load i32, ptr %15, align 4, !tbaa !9
  %297 = add nsw i32 %296, 1
  store i32 %297, ptr %15, align 4, !tbaa !9
  %298 = sext i32 %296 to i64
  %299 = getelementptr inbounds i64, ptr %295, i64 %298
  %300 = load i64, ptr %299, align 8, !tbaa !20
  %301 = load ptr, ptr %19, align 8, !tbaa !5
  %302 = getelementptr inbounds %struct.WordArray_st, ptr %301, i32 0, i32 0
  %303 = load ptr, ptr %302, align 8, !tbaa !18
  %304 = load i32, ptr %14, align 4, !tbaa !9
  %305 = add nsw i32 %304, 1
  store i32 %305, ptr %14, align 4, !tbaa !9
  %306 = sext i32 %304 to i64
  %307 = getelementptr inbounds i64, ptr %303, i64 %306
  %308 = load i64, ptr %307, align 8, !tbaa !20
  %309 = xor i64 %308, %300
  store i64 %309, ptr %307, align 8, !tbaa !20
  br label %286, !llvm.loop !23

310:                                              ; preds = %286
  %311 = getelementptr inbounds [32 x i64], ptr %9, i64 0, i64 0
  %312 = load ptr, ptr %17, align 8, !tbaa !5
  %313 = getelementptr inbounds %struct.WordArray_st, ptr %312, i32 0, i32 0
  %314 = load ptr, ptr %313, align 8, !tbaa !18
  %315 = load i32, ptr %12, align 4, !tbaa !9
  %316 = sext i32 %315 to i64
  %317 = getelementptr inbounds i64, ptr %314, i64 %316
  %318 = getelementptr inbounds i64, ptr %317, i64 -4
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 %311, ptr align 8 %318, i64 32, i1 false)
  %319 = load i32, ptr %12, align 4, !tbaa !9
  %320 = sub nsw i32 8, %319
  store i32 %320, ptr %14, align 4, !tbaa !9
  store i32 0, ptr %15, align 4, !tbaa !9
  br label %321

321:                                              ; preds = %325, %310
  %322 = load i32, ptr %14, align 4, !tbaa !9
  %323 = icmp slt i32 %322, 4
  br i1 %323, label %324, label %340

324:                                              ; preds = %321
  br label %325

325:                                              ; preds = %324
  %326 = load ptr, ptr %17, align 8, !tbaa !5
  %327 = getelementptr inbounds %struct.WordArray_st, ptr %326, i32 0, i32 0
  %328 = load ptr, ptr %327, align 8, !tbaa !18
  %329 = load i32, ptr %15, align 4, !tbaa !9
  %330 = add nsw i32 %329, 1
  store i32 %330, ptr %15, align 4, !tbaa !9
  %331 = sext i32 %329 to i64
  %332 = getelementptr inbounds i64, ptr %328, i64 %331
  %333 = load i64, ptr %332, align 8, !tbaa !20
  %334 = load i32, ptr %14, align 4, !tbaa !9
  %335 = add nsw i32 %334, 1
  store i32 %335, ptr %14, align 4, !tbaa !9
  %336 = sext i32 %334 to i64
  %337 = getelementptr inbounds [32 x i64], ptr %9, i64 0, i64 %336
  %338 = load i64, ptr %337, align 8, !tbaa !20
  %339 = xor i64 %338, %333
  store i64 %339, ptr %337, align 8, !tbaa !20
  br label %321, !llvm.loop !24

340:                                              ; preds = %321
  %341 = getelementptr inbounds [32 x i64], ptr %10, i64 0, i64 0
  %342 = load ptr, ptr %18, align 8, !tbaa !5
  %343 = getelementptr inbounds %struct.WordArray_st, ptr %342, i32 0, i32 0
  %344 = load ptr, ptr %343, align 8, !tbaa !18
  %345 = load i32, ptr %12, align 4, !tbaa !9
  %346 = sext i32 %345 to i64
  %347 = getelementptr inbounds i64, ptr %344, i64 %346
  %348 = getelementptr inbounds i64, ptr %347, i64 -4
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 %341, ptr align 8 %348, i64 32, i1 false)
  %349 = load i32, ptr %12, align 4, !tbaa !9
  %350 = sub nsw i32 8, %349
  store i32 %350, ptr %14, align 4, !tbaa !9
  store i32 0, ptr %15, align 4, !tbaa !9
  br label %351

351:                                              ; preds = %355, %340
  %352 = load i32, ptr %14, align 4, !tbaa !9
  %353 = icmp slt i32 %352, 4
  br i1 %353, label %354, label %370

354:                                              ; preds = %351
  br label %355

355:                                              ; preds = %354
  %356 = load ptr, ptr %18, align 8, !tbaa !5
  %357 = getelementptr inbounds %struct.WordArray_st, ptr %356, i32 0, i32 0
  %358 = load ptr, ptr %357, align 8, !tbaa !18
  %359 = load i32, ptr %15, align 4, !tbaa !9
  %360 = add nsw i32 %359, 1
  store i32 %360, ptr %15, align 4, !tbaa !9
  %361 = sext i32 %359 to i64
  %362 = getelementptr inbounds i64, ptr %358, i64 %361
  %363 = load i64, ptr %362, align 8, !tbaa !20
  %364 = load i32, ptr %14, align 4, !tbaa !9
  %365 = add nsw i32 %364, 1
  store i32 %365, ptr %14, align 4, !tbaa !9
  %366 = sext i32 %364 to i64
  %367 = getelementptr inbounds [32 x i64], ptr %10, i64 0, i64 %366
  %368 = load i64, ptr %367, align 8, !tbaa !20
  %369 = xor i64 %368, %363
  store i64 %369, ptr %367, align 8, !tbaa !20
  br label %351, !llvm.loop !25

370:                                              ; preds = %351
  %371 = getelementptr inbounds [32 x i64], ptr %9, i64 0, i64 0
  %372 = getelementptr inbounds [32 x i64], ptr %10, i64 0, i64 0
  %373 = getelementptr inbounds [64 x i64], ptr %11, i64 0, i64 0
  call void @gf2m_mul_256(ptr noundef %371, ptr noundef %372, i32 noundef 4, i1 noundef zeroext true, ptr noundef %373)
  %374 = load i32, ptr %13, align 4, !tbaa !9
  store i32 %374, ptr %14, align 4, !tbaa !9
  %375 = load i32, ptr %12, align 4, !tbaa !9
  %376 = mul nsw i32 2, %375
  %377 = sub nsw i32 12, %376
  %378 = load i32, ptr %13, align 4, !tbaa !9
  %379 = add nsw i32 %377, %378
  store i32 %379, ptr %15, align 4, !tbaa !9
  br label %380

380:                                              ; preds = %384, %370
  %381 = load i32, ptr %15, align 4, !tbaa !9
  %382 = icmp slt i32 %381, 8
  br i1 %382, label %383, label %399

383:                                              ; preds = %380
  br label %384

384:                                              ; preds = %383
  %385 = load i32, ptr %15, align 4, !tbaa !9
  %386 = add nsw i32 %385, 1
  store i32 %386, ptr %15, align 4, !tbaa !9
  %387 = sext i32 %385 to i64
  %388 = getelementptr inbounds [64 x i64], ptr %11, i64 0, i64 %387
  %389 = load i64, ptr %388, align 8, !tbaa !20
  %390 = load ptr, ptr %19, align 8, !tbaa !5
  %391 = getelementptr inbounds %struct.WordArray_st, ptr %390, i32 0, i32 0
  %392 = load ptr, ptr %391, align 8, !tbaa !18
  %393 = load i32, ptr %14, align 4, !tbaa !9
  %394 = add nsw i32 %393, 1
  store i32 %394, ptr %14, align 4, !tbaa !9
  %395 = sext i32 %393 to i64
  %396 = getelementptr inbounds i64, ptr %392, i64 %395
  %397 = load i64, ptr %396, align 8, !tbaa !20
  %398 = xor i64 %397, %389
  store i64 %398, ptr %396, align 8, !tbaa !20
  br label %380, !llvm.loop !26

399:                                              ; preds = %380
  %400 = load i32, ptr %12, align 4, !tbaa !9
  %401 = icmp sle i32 %400, 5
  br i1 %401, label %402, label %443

402:                                              ; preds = %399
  %403 = load ptr, ptr %17, align 8, !tbaa !5
  %404 = getelementptr inbounds %struct.WordArray_st, ptr %403, i32 0, i32 0
  %405 = load ptr, ptr %404, align 8, !tbaa !18
  %406 = load ptr, ptr %18, align 8, !tbaa !5
  %407 = getelementptr inbounds %struct.WordArray_st, ptr %406, i32 0, i32 0
  %408 = load ptr, ptr %407, align 8, !tbaa !18
  %409 = getelementptr inbounds [64 x i64], ptr %11, i64 0, i64 0
  call void @gf2m_mul_64(ptr noundef %405, ptr noundef %408, ptr noundef %409)
  store i32 0, ptr %14, align 4, !tbaa !9
  br label %410

410:                                              ; preds = %439, %402
  %411 = load i32, ptr %14, align 4, !tbaa !9
  %412 = icmp slt i32 %411, 2
  br i1 %412, label %413, label %442

413:                                              ; preds = %410
  %414 = load i32, ptr %14, align 4, !tbaa !9
  %415 = sext i32 %414 to i64
  %416 = getelementptr inbounds [64 x i64], ptr %11, i64 0, i64 %415
  %417 = load i64, ptr %416, align 8, !tbaa !20
  %418 = load ptr, ptr %19, align 8, !tbaa !5
  %419 = getelementptr inbounds %struct.WordArray_st, ptr %418, i32 0, i32 0
  %420 = load ptr, ptr %419, align 8, !tbaa !18
  %421 = load i32, ptr %14, align 4, !tbaa !9
  %422 = sext i32 %421 to i64
  %423 = getelementptr inbounds i64, ptr %420, i64 %422
  %424 = load i64, ptr %423, align 8, !tbaa !20
  %425 = xor i64 %424, %417
  store i64 %425, ptr %423, align 8, !tbaa !20
  %426 = load i32, ptr %14, align 4, !tbaa !9
  %427 = sext i32 %426 to i64
  %428 = getelementptr inbounds [64 x i64], ptr %11, i64 0, i64 %427
  %429 = load i64, ptr %428, align 8, !tbaa !20
  %430 = load ptr, ptr %19, align 8, !tbaa !5
  %431 = getelementptr inbounds %struct.WordArray_st, ptr %430, i32 0, i32 0
  %432 = load ptr, ptr %431, align 8, !tbaa !18
  %433 = load i32, ptr %14, align 4, !tbaa !9
  %434 = add nsw i32 %433, 4
  %435 = sext i32 %434 to i64
  %436 = getelementptr inbounds i64, ptr %432, i64 %435
  %437 = load i64, ptr %436, align 8, !tbaa !20
  %438 = xor i64 %437, %429
  store i64 %438, ptr %436, align 8, !tbaa !20
  br label %439

439:                                              ; preds = %413
  %440 = load i32, ptr %14, align 4, !tbaa !9
  %441 = add nsw i32 %440, 1
  store i32 %441, ptr %14, align 4, !tbaa !9
  br label %410, !llvm.loop !27

442:                                              ; preds = %410
  br label %509

443:                                              ; preds = %399
  %444 = load i32, ptr %12, align 4, !tbaa !9
  %445 = icmp sle i32 %444, 6
  br i1 %445, label %446, label %497

446:                                              ; preds = %443
  %447 = load ptr, ptr %17, align 8, !tbaa !5
  %448 = getelementptr inbounds %struct.WordArray_st, ptr %447, i32 0, i32 0
  %449 = load ptr, ptr %448, align 8, !tbaa !18
  %450 = load ptr, ptr %18, align 8, !tbaa !5
  %451 = getelementptr inbounds %struct.WordArray_st, ptr %450, i32 0, i32 0
  %452 = load ptr, ptr %451, align 8, !tbaa !18
  %453 = load i32, ptr %12, align 4, !tbaa !9
  %454 = getelementptr inbounds [64 x i64], ptr %11, i64 0, i64 0
  call void @gf2m_mul_128(ptr noundef %449, ptr noundef %452, i32 noundef %453, ptr noundef %454)
  %455 = load i32, ptr %12, align 4, !tbaa !9
  %456 = sub nsw i32 6, %455
  %457 = mul nsw i32 %456, 2
  store i32 %457, ptr %15, align 4, !tbaa !9
  %458 = load i32, ptr %15, align 4, !tbaa !9
  %459 = sub nsw i32 3, %458
  store i32 %459, ptr %14, align 4, !tbaa !9
  br label %460

460:                                              ; preds = %493, %446
  %461 = load i32, ptr %14, align 4, !tbaa !9
  %462 = icmp sge i32 %461, 0
  br i1 %462, label %463, label %496

463:                                              ; preds = %460
  %464 = load i32, ptr %14, align 4, !tbaa !9
  %465 = load i32, ptr %15, align 4, !tbaa !9
  %466 = add nsw i32 %464, %465
  %467 = sext i32 %466 to i64
  %468 = getelementptr inbounds [64 x i64], ptr %11, i64 0, i64 %467
  %469 = load i64, ptr %468, align 8, !tbaa !20
  %470 = load ptr, ptr %19, align 8, !tbaa !5
  %471 = getelementptr inbounds %struct.WordArray_st, ptr %470, i32 0, i32 0
  %472 = load ptr, ptr %471, align 8, !tbaa !18
  %473 = load i32, ptr %14, align 4, !tbaa !9
  %474 = sext i32 %473 to i64
  %475 = getelementptr inbounds i64, ptr %472, i64 %474
  %476 = load i64, ptr %475, align 8, !tbaa !20
  %477 = xor i64 %476, %469
  store i64 %477, ptr %475, align 8, !tbaa !20
  %478 = load i32, ptr %14, align 4, !tbaa !9
  %479 = load i32, ptr %15, align 4, !tbaa !9
  %480 = add nsw i32 %478, %479
  %481 = sext i32 %480 to i64
  %482 = getelementptr inbounds [64 x i64], ptr %11, i64 0, i64 %481
  %483 = load i64, ptr %482, align 8, !tbaa !20
  %484 = load ptr, ptr %19, align 8, !tbaa !5
  %485 = getelementptr inbounds %struct.WordArray_st, ptr %484, i32 0, i32 0
  %486 = load ptr, ptr %485, align 8, !tbaa !18
  %487 = load i32, ptr %14, align 4, !tbaa !9
  %488 = add nsw i32 %487, 4
  %489 = sext i32 %488 to i64
  %490 = getelementptr inbounds i64, ptr %486, i64 %489
  %491 = load i64, ptr %490, align 8, !tbaa !20
  %492 = xor i64 %491, %483
  store i64 %492, ptr %490, align 8, !tbaa !20
  br label %493

493:                                              ; preds = %463
  %494 = load i32, ptr %14, align 4, !tbaa !9
  %495 = add nsw i32 %494, -1
  store i32 %495, ptr %14, align 4, !tbaa !9
  br label %460, !llvm.loop !28

496:                                              ; preds = %460
  br label %508

497:                                              ; preds = %443
  %498 = load ptr, ptr %17, align 8, !tbaa !5
  %499 = getelementptr inbounds %struct.WordArray_st, ptr %498, i32 0, i32 0
  %500 = load ptr, ptr %499, align 8, !tbaa !18
  %501 = load ptr, ptr %18, align 8, !tbaa !5
  %502 = getelementptr inbounds %struct.WordArray_st, ptr %501, i32 0, i32 0
  %503 = load ptr, ptr %502, align 8, !tbaa !18
  %504 = load i32, ptr %12, align 4, !tbaa !9
  %505 = load ptr, ptr %19, align 8, !tbaa !5
  %506 = getelementptr inbounds %struct.WordArray_st, ptr %505, i32 0, i32 0
  %507 = load ptr, ptr %506, align 8, !tbaa !18
  call void @gf2m_mul_256(ptr noundef %500, ptr noundef %503, i32 noundef %504, i1 noundef zeroext false, ptr noundef %507)
  br label %508

508:                                              ; preds = %497, %496
  br label %509

509:                                              ; preds = %508, %442
  %510 = load ptr, ptr %19, align 8, !tbaa !5
  %511 = load ptr, ptr %8, align 8, !tbaa !5
  call void @wa_swap(ptr noundef %510, ptr noundef %511)
  br label %512

512:                                              ; preds = %509, %236, %116, %105, %94, %83, %74
  %513 = load ptr, ptr %17, align 8, !tbaa !5
  call void @wa_free(ptr noundef %513)
  %514 = load ptr, ptr %18, align 8, !tbaa !5
  call void @wa_free(ptr noundef %514)
  %515 = load ptr, ptr %19, align 8, !tbaa !5
  call void @wa_free(ptr noundef %515)
  store i32 0, ptr %22, align 4
  br label %516

516:                                              ; preds = %512, %74
  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 4, ptr %16) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #4
  call void @llvm.lifetime.end.p0(i64 512, ptr %11) #4
  call void @llvm.lifetime.end.p0(i64 256, ptr %10) #4
  call void @llvm.lifetime.end.p0(i64 256, ptr %9) #4
  %517 = load i32, ptr %22, align 4
  switch i32 %517, label %519 [
    i32 0, label %518
    i32 1, label %518
  ]

518:                                              ; preds = %516, %516
  ret void

519:                                              ; preds = %516
  unreachable
}

declare void @wa_zero(ptr noundef) #2

declare ptr @wa_copy_with_alloc(ptr noundef) #2

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

declare void @int_lshift(ptr noundef, i64 noundef, ptr noundef) #2

declare i32 @int_get_bit(ptr noundef, i64 noundef) #2

declare ptr @wa_alloc_with_zero(i64 noundef) #2

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

; Function Attrs: nounwind uwtable
declare hidden void @gf2m_mul_256(ptr noundef, ptr noundef, i32 noundef, i1 noundef zeroext, ptr noundef) #1

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

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

; Function Attrs: nounwind uwtable
declare hidden void @gf2m_mul_128(ptr noundef, ptr noundef, i32 noundef, ptr noundef) #1

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
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 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
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 = !{!"int", !7, i64 0}
!11 = !{!12, !13, i64 16}
!12 = !{!"Gf2mCtx_st", !6, i64 0, !6, i64 8, !13, i64 16}
!13 = !{!"long", !7, i64 0}
!14 = !{!15, !13, i64 8}
!15 = !{!"WordArray_st", !6, i64 0, !13, i64 8}
!16 = distinct !{!16, !17}
!17 = !{!"llvm.loop.mustprogress"}
!18 = !{!15, !6, i64 0}
!19 = !{!12, !6, i64 0}
!20 = !{!13, !13, i64 0}
!21 = distinct !{!21, !17}
!22 = distinct !{!22, !17}
!23 = distinct !{!23, !17}
!24 = distinct !{!24, !17}
!25 = distinct !{!25, !17}
!26 = distinct !{!26, !17}
!27 = distinct !{!27, !17}
!28 = distinct !{!28, !17}


; 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 [28 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

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

; Function Attrs: nounwind uwtable
declare dso_local void @gf2m_mod_add(ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #1

declare i64 @int_bit_len(ptr noundef) local_unnamed_addr #2

declare ptr @wa_alloc(i64 noundef) local_unnamed_addr #2

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

declare void @wa_free(ptr noundef) local_unnamed_addr #2

; Function Attrs: nounwind uwtable
define dso_local void @gf2m_mul_opt(ptr nocapture noundef readonly %0, ptr noundef %1, ptr noundef %2, ptr noundef %3) local_unnamed_addr #1 {
  %5 = alloca [32 x i64], align 16
  %6 = alloca [32 x i64], align 16
  %7 = alloca [64 x i64], align 16
  call void @llvm.lifetime.start.p0(i64 256, ptr nonnull %5) #5
  call void @llvm.lifetime.start.p0(i64 256, ptr nonnull %6) #5
  call void @llvm.lifetime.start.p0(i64 512, ptr nonnull %7) #5
  %8 = getelementptr inbounds i8, ptr %0, i64 16
  %9 = load i64, ptr %8, align 8, !tbaa !5
  %10 = trunc i64 %9 to i32
  %11 = icmp sgt i32 %10, 8
  br i1 %11, label %12, label %29

12:                                               ; preds = %4
  %13 = tail call i64 @int_bit_len(ptr noundef %2) #5
  tail call void @wa_zero(ptr noundef %3) #5
  %14 = tail call ptr @wa_copy_with_alloc(ptr noundef %1) #5
  %15 = icmp eq ptr %14, null
  br i1 %15, label %.thread, label %16

.thread:                                          ; preds = %12
  tail call void @stacktrace_add(ptr noundef nonnull @.str, i64 noundef 869, i32 noundef 2) #5
  br label %307

16:                                               ; preds = %12
  %17 = trunc i64 %13 to i32
  %18 = getelementptr inbounds i8, ptr %1, i64 8
  %19 = load i64, ptr %18, align 8, !tbaa !11
  %20 = shl i64 %19, 1
  tail call void @wa_change_len(ptr noundef nonnull %14, i64 noundef %20) #5
  %21 = icmp sgt i32 %17, 0
  br i1 %21, label %22, label %._crit_edge182

22:                                               ; preds = %16
  %wide.trip.count231 = and i64 %13, 2147483647
  %23 = tail call i32 @int_get_bit(ptr noundef %2, i64 noundef 0) #5
  %.not156.peel = icmp eq i32 %23, 0
  br i1 %.not156.peel, label %25, label %24

24:                                               ; preds = %22
  tail call void @gf2m_mod_add(ptr noundef nonnull %14, ptr noundef %3, ptr noundef %3)
  br label %25

25:                                               ; preds = %24, %22
  %exitcond232.peel.not = icmp eq i64 %wide.trip.count231, 1
  br i1 %exitcond232.peel.not, label %._crit_edge182, label %.lr.ph181.peel.next

.lr.ph181.peel.next:                              ; preds = %25, %28
  %indvars.iv228 = phi i64 [ %indvars.iv.next229, %28 ], [ 1, %25 ]
  tail call void @int_lshift(ptr noundef nonnull %14, i64 noundef 1, ptr noundef nonnull %14) #5
  %26 = tail call i32 @int_get_bit(ptr noundef %2, i64 noundef %indvars.iv228) #5
  %.not156 = icmp eq i32 %26, 0
  br i1 %.not156, label %28, label %27

27:                                               ; preds = %.lr.ph181.peel.next
  tail call void @gf2m_mod_add(ptr noundef nonnull %14, ptr noundef %3, ptr noundef %3)
  br label %28

28:                                               ; preds = %.lr.ph181.peel.next, %27
  %indvars.iv.next229 = add nuw nsw i64 %indvars.iv228, 1
  %exitcond232.not = icmp eq i64 %indvars.iv.next229, %wide.trip.count231
  br i1 %exitcond232.not, label %._crit_edge182, label %.lr.ph181.peel.next, !llvm.loop !13

._crit_edge182:                                   ; preds = %28, %25, %16
  tail call void @wa_free(ptr noundef nonnull %14) #5
  br label %308

29:                                               ; preds = %4
  %30 = getelementptr inbounds i8, ptr %1, i64 8
  %31 = load i64, ptr %30, align 8, !tbaa !11
  %32 = tail call ptr @wa_alloc(i64 noundef %31) #5
  %33 = icmp eq ptr %32, null
  br i1 %33, label %34, label %35

34:                                               ; preds = %29
  tail call void @stacktrace_add(ptr noundef nonnull @.str, i64 noundef 885, i32 noundef 2) #5
  br label %307

35:                                               ; preds = %29
  %36 = getelementptr inbounds i8, ptr %2, i64 8
  %37 = load i64, ptr %36, align 8, !tbaa !11
  %38 = tail call ptr @wa_alloc(i64 noundef %37) #5
  %39 = icmp eq ptr %38, null
  br i1 %39, label %40, label %41

40:                                               ; preds = %35
  tail call void @stacktrace_add(ptr noundef nonnull @.str, i64 noundef 886, i32 noundef 2) #5
  br label %307

41:                                               ; preds = %35
  %42 = getelementptr inbounds i8, ptr %3, i64 8
  %43 = load i64, ptr %42, align 8, !tbaa !11
  %44 = tail call ptr @wa_alloc_with_zero(i64 noundef %43) #5
  %45 = icmp eq ptr %44, null
  br i1 %45, label %46, label %47

46:                                               ; preds = %41
  tail call void @stacktrace_add(ptr noundef nonnull @.str, i64 noundef 887, i32 noundef 2) #5
  br label %307

47:                                               ; preds = %41
  tail call void @wa_swap(ptr noundef nonnull %1, ptr noundef nonnull %32)
  tail call void @wa_swap(ptr noundef nonnull %2, ptr noundef nonnull %38)
  %48 = icmp slt i32 %10, 5
  br i1 %48, label %49, label %53

49:                                               ; preds = %47
  %50 = load ptr, ptr %32, align 8, !tbaa !16
  %51 = load ptr, ptr %38, align 8, !tbaa !16
  %52 = load ptr, ptr %44, align 8, !tbaa !16
  tail call void @gf2m_mul_256(ptr noundef %50, ptr noundef %51, i32 noundef %10, i1 noundef zeroext true, ptr noundef %52)
  tail call void @wa_swap(ptr noundef nonnull %44, ptr noundef nonnull %3)
  br label %307

53:                                               ; preds = %47
  %54 = load ptr, ptr %0, align 8, !tbaa !17
  %55 = load i32, ptr %54, align 4, !tbaa !18
  %56 = icmp eq i32 %55, 257
  br i1 %56, label %57, label %116

57:                                               ; preds = %53
  %58 = load ptr, ptr %44, align 8, !tbaa !16
  store i64 0, ptr %58, align 8, !tbaa !20
  %59 = load ptr, ptr %32, align 8, !tbaa !16
  %60 = load i64, ptr %59, align 8, !tbaa !20
  %61 = icmp eq i64 %60, 1
  %.pre = load ptr, ptr %38, align 8, !tbaa !16
  br i1 %61, label %62, label %66

62:                                               ; preds = %57
  %63 = load i64, ptr %.pre, align 8, !tbaa !20
  %64 = icmp eq i64 %63, 1
  %65 = zext i1 %64 to i64
  br label %66

66:                                               ; preds = %62, %57
  %67 = phi i64 [ 0, %57 ], [ %65, %62 ]
  %68 = getelementptr inbounds i8, ptr %58, i64 8
  store i64 %67, ptr %68, align 8, !tbaa !20
  tail call void @gf2m_mul_256(ptr noundef nonnull %59, ptr noundef %.pre, i32 noundef %10, i1 noundef zeroext true, ptr noundef nonnull %58)
  %69 = load ptr, ptr %32, align 8, !tbaa !16
  %70 = load i64, ptr %69, align 8, !tbaa !20
  %71 = icmp eq i64 %70, 1
  %.pre234 = load ptr, ptr %38, align 8, !tbaa !16
  br i1 %71, label %.preheader157, label %.loopexit158

.preheader157:                                    ; preds = %66
  %72 = load ptr, ptr %44, align 8, !tbaa !16
  %73 = getelementptr inbounds i8, ptr %.pre234, i64 8
  %74 = load i64, ptr %73, align 8, !tbaa !20
  %75 = getelementptr inbounds i8, ptr %72, i64 16
  %76 = load i64, ptr %75, align 8, !tbaa !20
  %77 = xor i64 %76, %74
  store i64 %77, ptr %75, align 8, !tbaa !20
  %78 = getelementptr inbounds i8, ptr %.pre234, i64 16
  %79 = load i64, ptr %78, align 8, !tbaa !20
  %80 = getelementptr inbounds i8, ptr %72, i64 24
  %81 = load i64, ptr %80, align 8, !tbaa !20
  %82 = xor i64 %81, %79
  store i64 %82, ptr %80, align 8, !tbaa !20
  %83 = getelementptr inbounds i8, ptr %.pre234, i64 24
  %84 = load i64, ptr %83, align 8, !tbaa !20
  %85 = getelementptr inbounds i8, ptr %72, i64 32
  %86 = load i64, ptr %85, align 8, !tbaa !20
  %87 = xor i64 %86, %84
  store i64 %87, ptr %85, align 8, !tbaa !20
  %88 = getelementptr inbounds i8, ptr %.pre234, i64 32
  %89 = load i64, ptr %88, align 8, !tbaa !20
  %90 = getelementptr inbounds i8, ptr %72, i64 40
  %91 = load i64, ptr %90, align 8, !tbaa !20
  %92 = xor i64 %91, %89
  store i64 %92, ptr %90, align 8, !tbaa !20
  br label %.loopexit158

.loopexit158:                                     ; preds = %.preheader157, %66
  %93 = load i64, ptr %.pre234, align 8, !tbaa !20
  %94 = icmp eq i64 %93, 1
  br i1 %94, label %.preheader, label %.loopexit

.preheader:                                       ; preds = %.loopexit158
  %95 = load ptr, ptr %44, align 8, !tbaa !16
  %96 = getelementptr inbounds i8, ptr %69, i64 8
  %97 = load i64, ptr %96, align 8, !tbaa !20
  %98 = getelementptr inbounds i8, ptr %95, i64 16
  %99 = load i64, ptr %98, align 8, !tbaa !20
  %100 = xor i64 %99, %97
  store i64 %100, ptr %98, align 8, !tbaa !20
  %101 = getelementptr inbounds i8, ptr %69, i64 16
  %102 = load i64, ptr %101, align 8, !tbaa !20
  %103 = getelementptr inbounds i8, ptr %95, i64 24
  %104 = load i64, ptr %103, align 8, !tbaa !20
  %105 = xor i64 %104, %102
  store i64 %105, ptr %103, align 8, !tbaa !20
  %106 = getelementptr inbounds i8, ptr %69, i64 24
  %107 = load i64, ptr %106, align 8, !tbaa !20
  %108 = getelementptr inbounds i8, ptr %95, i64 32
  %109 = load i64, ptr %108, align 8, !tbaa !20
  %110 = xor i64 %109, %107
  store i64 %110, ptr %108, align 8, !tbaa !20
  %111 = getelementptr inbounds i8, ptr %69, i64 32
  %112 = load i64, ptr %111, align 8, !tbaa !20
  %113 = getelementptr inbounds i8, ptr %95, i64 40
  %114 = load i64, ptr %113, align 8, !tbaa !20
  %115 = xor i64 %114, %112
  store i64 %115, ptr %113, align 8, !tbaa !20
  br label %.loopexit

.loopexit:                                        ; preds = %.preheader, %.loopexit158
  tail call void @wa_swap(ptr noundef nonnull %44, ptr noundef nonnull %3)
  br label %307

116:                                              ; preds = %53
  %117 = shl nuw i32 %10, 1
  %118 = icmp ugt i32 %10, 6
  %119 = add nsw i32 %117, -12
  %120 = select i1 %118, i32 %119, i32 0
  %121 = load ptr, ptr %32, align 8, !tbaa !16
  %122 = load ptr, ptr %38, align 8, !tbaa !16
  %123 = load ptr, ptr %44, align 8, !tbaa !16
  tail call void @gf2m_mul_256(ptr noundef %121, ptr noundef %122, i32 noundef %10, i1 noundef zeroext true, ptr noundef %123)
  %124 = load ptr, ptr %44, align 8, !tbaa !16
  %125 = sext i32 %120 to i64
  %126 = getelementptr inbounds i64, ptr %124, i64 %125
  %127 = getelementptr inbounds i8, ptr %124, i64 32
  %128 = getelementptr inbounds i64, ptr %127, i64 %125
  %129 = add nsw i32 %117, -8
  %130 = sub nsw i32 %129, %120
  %131 = sext i32 %130 to i64
  %132 = shl nsw i64 %131, 3
  tail call void @llvm.memcpy.p0.p0.i64(ptr align 8 %126, ptr nonnull align 8 %128, i64 %132, i1 false)
  %133 = add nsw i32 %117, -4
  %134 = load ptr, ptr %44, align 8, !tbaa !16
  %135 = zext nneg i32 %129 to i64
  %136 = zext nneg i32 %133 to i64
  %137 = zext nneg i32 %117 to i64
  %indvars.iv.next186 = or disjoint i64 %136, 1
  %138 = getelementptr inbounds i64, ptr %134, i64 %136
  %139 = load i64, ptr %138, align 8, !tbaa !20
  %140 = getelementptr inbounds i64, ptr %134, i64 %135
  %141 = load i64, ptr %140, align 8, !tbaa !20
  %142 = xor i64 %141, %139
  store i64 %142, ptr %140, align 8, !tbaa !20
  %143 = icmp ult i64 %indvars.iv.next186, %137
  br i1 %143, label %144, label %.lr.ph, !llvm.loop !21

144:                                              ; preds = %116
  %indvars.iv.next = or disjoint i64 %135, 1
  %145 = getelementptr inbounds i64, ptr %134, i64 %indvars.iv.next186
  %146 = getelementptr inbounds i64, ptr %134, i64 %indvars.iv.next
  %147 = load <2 x i64>, ptr %145, align 8, !tbaa !20
  %148 = load <2 x i64>, ptr %146, align 8, !tbaa !20
  %149 = xor <2 x i64> %148, %147
  store <2 x i64> %149, ptr %146, align 8, !tbaa !20
  %150 = getelementptr i64, ptr %134, i64 %136
  %151 = getelementptr i8, ptr %150, i64 24
  %152 = load i64, ptr %151, align 8, !tbaa !20
  %153 = getelementptr i64, ptr %134, i64 %135
  %154 = getelementptr i8, ptr %153, i64 24
  %155 = load i64, ptr %154, align 8, !tbaa !20
  %156 = xor i64 %155, %152
  store i64 %156, ptr %154, align 8, !tbaa !20
  br label %.lr.ph

.lr.ph:                                           ; preds = %116, %144
  %157 = load ptr, ptr %32, align 8, !tbaa !16
  %158 = and i64 %9, 2147483647
  %159 = getelementptr inbounds i64, ptr %157, i64 %158
  %160 = getelementptr inbounds i8, ptr %159, i64 -32
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(32) %5, ptr noundef nonnull align 8 dereferenceable(32) %160, i64 32, i1 false)
  %161 = sub nsw i32 8, %10
  %162 = zext i32 %161 to i64
  %163 = add i64 %9, 4294967292
  %wide.trip.count = and i64 %163, 4294967295
  %min.iters.check = icmp ult i64 %wide.trip.count, 10
  br i1 %min.iters.check, label %scalar.ph.preheader, label %vector.memcheck

vector.memcheck:                                  ; preds = %.lr.ph
  %164 = shl nuw nsw i64 %162, 3
  %scevgep = getelementptr i8, ptr %5, i64 %164
  %165 = shl nuw nsw i64 %wide.trip.count, 3
  %166 = getelementptr i8, ptr %5, i64 %165
  %scevgep235 = getelementptr i8, ptr %166, i64 %164
  %scevgep236 = getelementptr i8, ptr %157, i64 %165
  %bound0 = icmp ult ptr %scevgep, %scevgep236
  %bound1 = icmp ult ptr %157, %scevgep235
  %found.conflict = and i1 %bound0, %bound1
  br i1 %found.conflict, label %scalar.ph.preheader, label %vector.ph

vector.ph:                                        ; preds = %vector.memcheck
  %n.mod.vf = and i64 %9, 3
  %n.vec = sub nsw i64 %wide.trip.count, %n.mod.vf
  %ind.end = add nsw i64 %n.vec, %162
  br label %vector.body

vector.body:                                      ; preds = %vector.body, %vector.ph
  %index = phi i64 [ 0, %vector.ph ], [ %index.next, %vector.body ]
  %offset.idx = add i64 %index, %162
  %167 = getelementptr inbounds i64, ptr %157, i64 %index
  %168 = getelementptr inbounds i8, ptr %167, i64 16
  %wide.load = load <2 x i64>, ptr %167, align 8, !tbaa !20, !alias.scope !22
  %wide.load238 = load <2 x i64>, ptr %168, align 8, !tbaa !20, !alias.scope !22
  %169 = getelementptr inbounds [32 x i64], ptr %5, i64 0, i64 %offset.idx
  %170 = getelementptr inbounds i8, ptr %169, i64 16
  %wide.load239 = load <2 x i64>, ptr %169, align 8, !tbaa !20, !alias.scope !25, !noalias !22
  %wide.load240 = load <2 x i64>, ptr %170, align 8, !tbaa !20, !alias.scope !25, !noalias !22
  %171 = xor <2 x i64> %wide.load239, %wide.load
  %172 = xor <2 x i64> %wide.load240, %wide.load238
  store <2 x i64> %171, ptr %169, align 8, !tbaa !20, !alias.scope !25, !noalias !22
  store <2 x i64> %172, ptr %170, align 8, !tbaa !20, !alias.scope !25, !noalias !22
  %index.next = add nuw i64 %index, 4
  %173 = icmp eq i64 %index.next, %n.vec
  br i1 %173, label %middle.block, label %vector.body, !llvm.loop !27

middle.block:                                     ; preds = %vector.body
  %cmp.n = icmp eq i64 %n.mod.vf, 0
  br i1 %cmp.n, label %.lr.ph168, label %scalar.ph.preheader

scalar.ph.preheader:                              ; preds = %middle.block, %vector.memcheck, %.lr.ph
  %indvars.iv191.ph = phi i64 [ 0, %vector.memcheck ], [ 0, %.lr.ph ], [ %n.vec, %middle.block ]
  %indvars.iv.ph = phi i64 [ %162, %vector.memcheck ], [ %162, %.lr.ph ], [ %ind.end, %middle.block ]
  %174 = sub i64 %9, %indvars.iv191.ph
  %.neg = add nsw i64 %indvars.iv191.ph, 1
  %xtraiter = and i64 %174, 1
  %lcmp.mod.not = icmp eq i64 %xtraiter, 0
  br i1 %lcmp.mod.not, label %scalar.ph.prol.loopexit, label %scalar.ph.prol

scalar.ph.prol:                                   ; preds = %scalar.ph.preheader
  %indvars.iv.next192.prol = add nuw nsw i64 %indvars.iv191.ph, 1
  %175 = getelementptr inbounds i64, ptr %157, i64 %indvars.iv191.ph
  %176 = load i64, ptr %175, align 8, !tbaa !20
  %indvars.iv.next190.prol = add nuw nsw i64 %indvars.iv.ph, 1
  %177 = getelementptr inbounds [32 x i64], ptr %5, i64 0, i64 %indvars.iv.ph
  %178 = load i64, ptr %177, align 8, !tbaa !20
  %179 = xor i64 %178, %176
  store i64 %179, ptr %177, align 8, !tbaa !20
  br label %scalar.ph.prol.loopexit

scalar.ph.prol.loopexit:                          ; preds = %scalar.ph.prol, %scalar.ph.preheader
  %indvars.iv191.unr = phi i64 [ %indvars.iv191.ph, %scalar.ph.preheader ], [ %indvars.iv.next192.prol, %scalar.ph.prol ]
  %indvars.iv.unr = phi i64 [ %indvars.iv.ph, %scalar.ph.preheader ], [ %indvars.iv.next190.prol, %scalar.ph.prol ]
  %180 = icmp eq i64 %wide.trip.count, %.neg
  br i1 %180, label %.lr.ph168, label %scalar.ph.preheader.new

scalar.ph.preheader.new:                          ; preds = %scalar.ph.prol.loopexit
  %invariant.gep = getelementptr i8, ptr %157, i64 8
  br label %scalar.ph

scalar.ph:                                        ; preds = %scalar.ph, %scalar.ph.preheader.new
  %indvars.iv191 = phi i64 [ %indvars.iv191.unr, %scalar.ph.preheader.new ], [ %indvars.iv.next192.1, %scalar.ph ]
  %indvars.iv = phi i64 [ %indvars.iv.unr, %scalar.ph.preheader.new ], [ %indvars.iv.next190.1, %scalar.ph ]
  %181 = getelementptr inbounds i64, ptr %157, i64 %indvars.iv191
  %182 = load i64, ptr %181, align 8, !tbaa !20
  %indvars.iv.next190 = add nuw nsw i64 %indvars.iv, 1
  %183 = getelementptr inbounds [32 x i64], ptr %5, i64 0, i64 %indvars.iv
  %184 = load i64, ptr %183, align 8, !tbaa !20
  %185 = xor i64 %184, %182
  store i64 %185, ptr %183, align 8, !tbaa !20
  %indvars.iv.next192.1 = add nuw nsw i64 %indvars.iv191, 2
  %gep = getelementptr i64, ptr %invariant.gep, i64 %indvars.iv191
  %186 = load i64, ptr %gep, align 8, !tbaa !20
  %indvars.iv.next190.1 = add nuw nsw i64 %indvars.iv, 2
  %187 = getelementptr inbounds [32 x i64], ptr %5, i64 0, i64 %indvars.iv.next190
  %188 = load i64, ptr %187, align 8, !tbaa !20
  %189 = xor i64 %188, %186
  store i64 %189, ptr %187, align 8, !tbaa !20
  %exitcond.not.1 = icmp eq i64 %indvars.iv.next192.1, %wide.trip.count
  br i1 %exitcond.not.1, label %.lr.ph168, label %scalar.ph, !llvm.loop !30

.lr.ph168:                                        ; preds = %scalar.ph.prol.loopexit, %scalar.ph, %middle.block
  %190 = load ptr, ptr %38, align 8, !tbaa !16
  %191 = getelementptr inbounds i64, ptr %190, i64 %158
  %192 = getelementptr inbounds i8, ptr %191, i64 -32
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(32) %6, ptr noundef nonnull align 8 dereferenceable(32) %192, i64 32, i1 false)
  %193 = zext nneg i32 %161 to i64
  %umax203 = call i32 @llvm.umax.i32(i32 %161, i32 3)
  %194 = add nuw i32 %umax203, %10
  %195 = add i32 %194, -7
  %wide.trip.count204 = zext i32 %195 to i64
  %min.iters.check250 = icmp ult i32 %195, 10
  br i1 %min.iters.check250, label %scalar.ph249.preheader, label %vector.memcheck241

vector.memcheck241:                               ; preds = %.lr.ph168
  %196 = shl nuw nsw i64 %162, 3
  %scevgep242 = getelementptr i8, ptr %6, i64 %196
  %197 = shl nuw nsw i64 %wide.trip.count204, 3
  %198 = getelementptr i8, ptr %6, i64 %197
  %scevgep243 = getelementptr i8, ptr %198, i64 %196
  %scevgep244 = getelementptr i8, ptr %190, i64 %197
  %bound0245 = icmp ult ptr %scevgep242, %scevgep244
  %bound1246 = icmp ult ptr %190, %scevgep243
  %found.conflict247 = and i1 %bound0245, %bound1246
  br i1 %found.conflict247, label %scalar.ph249.preheader, label %vector.ph251

vector.ph251:                                     ; preds = %vector.memcheck241
  %n.vec253 = and i64 %wide.trip.count204, 4294967292
  %ind.end255 = add nuw nsw i64 %n.vec253, %193
  br label %vector.body257

vector.body257:                                   ; preds = %vector.body257, %vector.ph251
  %index258 = phi i64 [ 0, %vector.ph251 ], [ %index.next264, %vector.body257 ]
  %offset.idx259 = add i64 %index258, %193
  %199 = getelementptr inbounds i64, ptr %190, i64 %index258
  %200 = getelementptr inbounds i8, ptr %199, i64 16
  %wide.load260 = load <2 x i64>, ptr %199, align 8, !tbaa !20, !alias.scope !31
  %wide.load261 = load <2 x i64>, ptr %200, align 8, !tbaa !20, !alias.scope !31
  %201 = getelementptr inbounds [32 x i64], ptr %6, i64 0, i64 %offset.idx259
  %202 = getelementptr inbounds i8, ptr %201, i64 16
  %wide.load262 = load <2 x i64>, ptr %201, align 8, !tbaa !20, !alias.scope !34, !noalias !31
  %wide.load263 = load <2 x i64>, ptr %202, align 8, !tbaa !20, !alias.scope !34, !noalias !31
  %203 = xor <2 x i64> %wide.load262, %wide.load260
  %204 = xor <2 x i64> %wide.load263, %wide.load261
  store <2 x i64> %203, ptr %201, align 8, !tbaa !20, !alias.scope !34, !noalias !31
  store <2 x i64> %204, ptr %202, align 8, !tbaa !20, !alias.scope !34, !noalias !31
  %index.next264 = add nuw i64 %index258, 4
  %205 = icmp eq i64 %index.next264, %n.vec253
  br i1 %205, label %middle.block248, label %vector.body257, !llvm.loop !36

middle.block248:                                  ; preds = %vector.body257
  %cmp.n265 = icmp eq i64 %n.vec253, %wide.trip.count204
  br i1 %cmp.n265, label %._crit_edge169, label %scalar.ph249.preheader

scalar.ph249.preheader:                           ; preds = %middle.block248, %vector.memcheck241, %.lr.ph168
  %indvars.iv198.ph = phi i64 [ 0, %vector.memcheck241 ], [ 0, %.lr.ph168 ], [ %n.vec253, %middle.block248 ]
  %indvars.iv196.ph = phi i64 [ %193, %vector.memcheck241 ], [ %193, %.lr.ph168 ], [ %ind.end255, %middle.block248 ]
  %xtraiter294 = and i64 %wide.trip.count204, 1
  %lcmp.mod295.not = icmp eq i64 %xtraiter294, 0
  br i1 %lcmp.mod295.not, label %scalar.ph249.prol.loopexit, label %scalar.ph249.prol

scalar.ph249.prol:                                ; preds = %scalar.ph249.preheader
  %indvars.iv.next199.prol = or disjoint i64 %indvars.iv198.ph, 1
  %206 = getelementptr inbounds i64, ptr %190, i64 %indvars.iv198.ph
  %207 = load i64, ptr %206, align 8, !tbaa !20
  %indvars.iv.next197.prol = add nuw nsw i64 %indvars.iv196.ph, 1
  %208 = getelementptr inbounds [32 x i64], ptr %6, i64 0, i64 %indvars.iv196.ph
  %209 = load i64, ptr %208, align 8, !tbaa !20
  %210 = xor i64 %209, %207
  store i64 %210, ptr %208, align 8, !tbaa !20
  br label %scalar.ph249.prol.loopexit

scalar.ph249.prol.loopexit:                       ; preds = %scalar.ph249.prol, %scalar.ph249.preheader
  %indvars.iv198.unr = phi i64 [ %indvars.iv198.ph, %scalar.ph249.preheader ], [ %indvars.iv.next199.prol, %scalar.ph249.prol ]
  %indvars.iv196.unr = phi i64 [ %indvars.iv196.ph, %scalar.ph249.preheader ], [ %indvars.iv.next197.prol, %scalar.ph249.prol ]
  %211 = add nsw i64 %wide.trip.count204, -1
  %212 = icmp eq i64 %indvars.iv198.ph, %211
  br i1 %212, label %._crit_edge169, label %scalar.ph249.preheader.new

scalar.ph249.preheader.new:                       ; preds = %scalar.ph249.prol.loopexit
  %invariant.gep296 = getelementptr i8, ptr %190, i64 8
  br label %scalar.ph249

scalar.ph249:                                     ; preds = %scalar.ph249, %scalar.ph249.preheader.new
  %indvars.iv198 = phi i64 [ %indvars.iv198.unr, %scalar.ph249.preheader.new ], [ %indvars.iv.next199.1, %scalar.ph249 ]
  %indvars.iv196 = phi i64 [ %indvars.iv196.unr, %scalar.ph249.preheader.new ], [ %indvars.iv.next197.1, %scalar.ph249 ]
  %213 = getelementptr inbounds i64, ptr %190, i64 %indvars.iv198
  %214 = load i64, ptr %213, align 8, !tbaa !20
  %indvars.iv.next197 = add nuw nsw i64 %indvars.iv196, 1
  %215 = getelementptr inbounds [32 x i64], ptr %6, i64 0, i64 %indvars.iv196
  %216 = load i64, ptr %215, align 8, !tbaa !20
  %217 = xor i64 %216, %214
  store i64 %217, ptr %215, align 8, !tbaa !20
  %indvars.iv.next199.1 = add nuw nsw i64 %indvars.iv198, 2
  %gep297 = getelementptr i64, ptr %invariant.gep296, i64 %indvars.iv198
  %218 = load i64, ptr %gep297, align 8, !tbaa !20
  %indvars.iv.next197.1 = add nuw nsw i64 %indvars.iv196, 2
  %219 = getelementptr inbounds [32 x i64], ptr %6, i64 0, i64 %indvars.iv.next197
  %220 = load i64, ptr %219, align 8, !tbaa !20
  %221 = xor i64 %220, %218
  store i64 %221, ptr %219, align 8, !tbaa !20
  %exitcond205.not.1 = icmp eq i64 %indvars.iv.next199.1, %wide.trip.count204
  br i1 %exitcond205.not.1, label %._crit_edge169, label %scalar.ph249, !llvm.loop !37

._crit_edge169:                                   ; preds = %scalar.ph249.prol.loopexit, %scalar.ph249, %middle.block248
  call void @gf2m_mul_256(ptr noundef nonnull %5, ptr noundef nonnull %6, i32 noundef 4, i1 noundef zeroext true, ptr noundef nonnull %7)
  %reass.sub183 = sub i32 %120, %117
  %222 = add i32 %reass.sub183, 12
  %223 = icmp slt i32 %222, 8
  br i1 %223, label %.lr.ph173, label %._crit_edge174

.lr.ph173:                                        ; preds = %._crit_edge169
  %224 = load ptr, ptr %44, align 8, !tbaa !16
  %225 = sext i32 %222 to i64
  %226 = zext i32 %222 to i64
  %227 = sub nsw i64 8, %226
  %min.iters.check276 = icmp ult i64 %227, 22
  br i1 %min.iters.check276, label %scalar.ph275.preheader, label %vector.scevcheck

vector.scevcheck:                                 ; preds = %.lr.ph173
  %228 = zext i32 %222 to i64
  %229 = sub nsw i64 7, %228
  %230 = trunc i64 %229 to i32
  %reass.sub = sub i32 %117, %120
  %231 = add i32 %reass.sub, -14
  %232 = icmp ult i32 %231, %230
  %233 = icmp ugt i64 %229, 4294967295
  %234 = or i1 %232, %233
  br i1 %234, label %scalar.ph275.preheader, label %vector.memcheck266

vector.memcheck266:                               ; preds = %vector.scevcheck
  %235 = shl nsw i64 %125, 3
  %scevgep267 = getelementptr i8, ptr %224, i64 %235
  %236 = add nsw i64 %235, 64
  %237 = zext i32 %222 to i64
  %238 = shl nuw nsw i64 %237, 3
  %239 = sub nsw i64 %236, %238
  %scevgep268 = getelementptr i8, ptr %224, i64 %239
  %240 = shl nsw i64 %225, 3
  %scevgep269 = getelementptr i8, ptr %7, i64 %240
  %241 = add nsw i64 %240, 64
  %242 = sub nsw i64 %241, %238
  %scevgep270 = getelementptr i8, ptr %7, i64 %242
  %bound0271 = icmp ult ptr %scevgep267, %scevgep270
  %bound1272 = icmp ult ptr %scevgep269, %scevgep268
  %found.conflict273 = and i1 %bound0271, %bound1272
  br i1 %found.conflict273, label %scalar.ph275.preheader, label %vector.ph277

vector.ph277:                                     ; preds = %vector.memcheck266
  %n.vec279 = and i64 %227, -4
  %ind.end280 = add nsw i64 %n.vec279, %225
  %ind.end282 = add nsw i64 %n.vec279, %125
  %invariant.gep298 = getelementptr i64, ptr %224, i64 %125
  br label %vector.body284

vector.body284:                                   ; preds = %vector.body284, %vector.ph277
  %index285 = phi i64 [ 0, %vector.ph277 ], [ %index.next292, %vector.body284 ]
  %offset.idx286 = add i64 %index285, %225
  %243 = getelementptr inbounds [64 x i64], ptr %7, i64 0, i64 %offset.idx286
  %244 = getelementptr inbounds i8, ptr %243, i64 16
  %wide.load288 = load <2 x i64>, ptr %243, align 8, !tbaa !20, !alias.scope !38
  %wide.load289 = load <2 x i64>, ptr %244, align 8, !tbaa !20, !alias.scope !38
  %gep299 = getelementptr i64, ptr %invariant.gep298, i64 %index285
  %245 = getelementptr inbounds i8, ptr %gep299, i64 16
  %wide.load290 = load <2 x i64>, ptr %gep299, align 8, !tbaa !20, !alias.scope !41, !noalias !38
  %wide.load291 = load <2 x i64>, ptr %245, align 8, !tbaa !20, !alias.scope !41, !noalias !38
  %246 = xor <2 x i64> %wide.load290, %wide.load288
  %247 = xor <2 x i64> %wide.load291, %wide.load289
  store <2 x i64> %246, ptr %gep299, align 8, !tbaa !20, !alias.scope !41, !noalias !38
  store <2 x i64> %247, ptr %245, align 8, !tbaa !20, !alias.scope !41, !noalias !38
  %index.next292 = add nuw i64 %index285, 4
  %248 = icmp eq i64 %index.next292, %n.vec279
  br i1 %248, label %middle.block274, label %vector.body284, !llvm.loop !43

middle.block274:                                  ; preds = %vector.body284
  %cmp.n293 = icmp eq i64 %227, %n.vec279
  br i1 %cmp.n293, label %._crit_edge174, label %scalar.ph275.preheader

scalar.ph275.preheader:                           ; preds = %middle.block274, %vector.memcheck266, %vector.scevcheck, %.lr.ph173
  %indvars.iv208.ph = phi i64 [ %225, %vector.memcheck266 ], [ %225, %vector.scevcheck ], [ %225, %.lr.ph173 ], [ %ind.end280, %middle.block274 ]
  %indvars.iv206.ph = phi i64 [ %125, %vector.memcheck266 ], [ %125, %vector.scevcheck ], [ %125, %.lr.ph173 ], [ %ind.end282, %middle.block274 ]
  br label %scalar.ph275

scalar.ph275:                                     ; preds = %scalar.ph275.preheader, %scalar.ph275
  %indvars.iv208 = phi i64 [ %indvars.iv.next209, %scalar.ph275 ], [ %indvars.iv208.ph, %scalar.ph275.preheader ]
  %indvars.iv206 = phi i64 [ %indvars.iv.next207, %scalar.ph275 ], [ %indvars.iv206.ph, %scalar.ph275.preheader ]
  %indvars.iv.next209 = add nsw i64 %indvars.iv208, 1
  %249 = getelementptr inbounds [64 x i64], ptr %7, i64 0, i64 %indvars.iv208
  %250 = load i64, ptr %249, align 8, !tbaa !20
  %indvars.iv.next207 = add nsw i64 %indvars.iv206, 1
  %251 = getelementptr inbounds i64, ptr %224, i64 %indvars.iv206
  %252 = load i64, ptr %251, align 8, !tbaa !20
  %253 = xor i64 %252, %250
  store i64 %253, ptr %251, align 8, !tbaa !20
  %254 = and i64 %indvars.iv.next209, 4294967295
  %exitcond213.not = icmp eq i64 %254, 8
  br i1 %exitcond213.not, label %._crit_edge174, label %scalar.ph275, !llvm.loop !44

._crit_edge174:                                   ; preds = %scalar.ph275, %middle.block274, %._crit_edge169
  %255 = icmp eq i32 %10, 5
  br i1 %255, label %.loopexit159.loopexit, label %271

.loopexit159.loopexit:                            ; preds = %._crit_edge174
  %256 = load ptr, ptr %32, align 8, !tbaa !16
  %257 = load ptr, ptr %38, align 8, !tbaa !16
  call void @gf2m_mul_64(ptr noundef %256, ptr noundef %257, ptr noundef nonnull %7)
  %258 = load ptr, ptr %44, align 8, !tbaa !16
  %259 = load i64, ptr %7, align 16, !tbaa !20
  %260 = load i64, ptr %258, align 8, !tbaa !20
  %261 = xor i64 %260, %259
  store i64 %261, ptr %258, align 8, !tbaa !20
  %262 = getelementptr inbounds i8, ptr %258, i64 32
  %263 = getelementptr inbounds i8, ptr %7, i64 8
  %264 = load i64, ptr %263, align 8, !tbaa !20
  %265 = getelementptr inbounds i8, ptr %258, i64 8
  %266 = load i64, ptr %265, align 8, !tbaa !20
  %267 = xor i64 %266, %264
  store i64 %267, ptr %265, align 8, !tbaa !20
  %268 = load <2 x i64>, ptr %7, align 16, !tbaa !20
  %269 = load <2 x i64>, ptr %262, align 8, !tbaa !20
  %270 = xor <2 x i64> %269, %268
  store <2 x i64> %270, ptr %262, align 8, !tbaa !20
  br label %.loopexit159

271:                                              ; preds = %._crit_edge174
  %272 = icmp slt i32 %10, 7
  %273 = load ptr, ptr %32, align 8, !tbaa !16
  %274 = load ptr, ptr %38, align 8, !tbaa !16
  br i1 %272, label %.loopexit159.loopexit184, label %305

.loopexit159.loopexit184:                         ; preds = %271
  call void @gf2m_mul_128(ptr noundef %273, ptr noundef %274, i32 noundef 6, ptr noundef nonnull %7)
  %275 = load ptr, ptr %44, align 8, !tbaa !16
  %276 = getelementptr inbounds i8, ptr %7, i64 24
  %277 = load i64, ptr %276, align 8, !tbaa !20
  %278 = getelementptr inbounds i8, ptr %275, i64 24
  %279 = load i64, ptr %278, align 8, !tbaa !20
  %280 = xor i64 %279, %277
  store i64 %280, ptr %278, align 8, !tbaa !20
  %281 = getelementptr inbounds i8, ptr %7, i64 16
  %282 = load i64, ptr %281, align 16, !tbaa !20
  %283 = getelementptr inbounds i8, ptr %275, i64 16
  %284 = load i64, ptr %283, align 8, !tbaa !20
  %285 = xor i64 %284, %282
  %286 = getelementptr inbounds i8, ptr %7, i64 8
  %287 = load i64, ptr %286, align 8, !tbaa !20
  %288 = getelementptr inbounds i8, ptr %275, i64 8
  %289 = load i64, ptr %288, align 8, !tbaa !20
  %290 = xor i64 %289, %287
  %291 = load i64, ptr %7, align 16, !tbaa !20
  %292 = load i64, ptr %275, align 8, !tbaa !20
  %293 = xor i64 %292, %291
  %294 = getelementptr inbounds i8, ptr %275, i64 32
  %295 = load i64, ptr %276, align 8, !tbaa !20
  store i64 %285, ptr %283, align 8, !tbaa !20
  %296 = load i64, ptr %281, align 16, !tbaa !20
  store i64 %290, ptr %288, align 8, !tbaa !20
  %297 = load i64, ptr %286, align 8, !tbaa !20
  store i64 %293, ptr %275, align 8, !tbaa !20
  %298 = load <2 x i64>, ptr %7, align 16
  %299 = shufflevector <2 x i64> %298, <2 x i64> poison, <4 x i32> <i32 0, i32 poison, i32 poison, i32 poison>
  %300 = load <4 x i64>, ptr %294, align 8, !tbaa !20
  %301 = insertelement <4 x i64> %299, i64 %297, i64 1
  %302 = insertelement <4 x i64> %301, i64 %296, i64 2
  %303 = insertelement <4 x i64> %302, i64 %295, i64 3
  %304 = xor <4 x i64> %300, %303
  store <4 x i64> %304, ptr %294, align 8, !tbaa !20
  br label %.loopexit159

305:                                              ; preds = %271
  %306 = load ptr, ptr %44, align 8, !tbaa !16
  call void @gf2m_mul_256(ptr noundef %273, ptr noundef %274, i32 noundef %10, i1 noundef zeroext false, ptr noundef %306)
  br label %.loopexit159

.loopexit159:                                     ; preds = %.loopexit159.loopexit184, %.loopexit159.loopexit, %305
  call void @wa_swap(ptr noundef nonnull %44, ptr noundef %3)
  br label %307

307:                                              ; preds = %.thread, %.loopexit159, %.loopexit, %49, %46, %40, %34
  %.0142 = phi ptr [ null, %34 ], [ %32, %40 ], [ %32, %46 ], [ %32, %49 ], [ %32, %.loopexit ], [ %32, %.loopexit159 ], [ null, %.thread ]
  %.0141 = phi ptr [ null, %34 ], [ null, %40 ], [ %38, %46 ], [ %38, %49 ], [ %38, %.loopexit ], [ %38, %.loopexit159 ], [ null, %.thread ]
  %.0140 = phi ptr [ null, %34 ], [ null, %40 ], [ null, %46 ], [ %44, %49 ], [ %44, %.loopexit ], [ %44, %.loopexit159 ], [ null, %.thread ]
  call void @wa_free(ptr noundef %.0142) #5
  call void @wa_free(ptr noundef %.0141) #5
  call void @wa_free(ptr noundef %.0140) #5
  br label %308

308:                                              ; preds = %._crit_edge182, %307
  call void @llvm.lifetime.end.p0(i64 512, ptr nonnull %7) #5
  call void @llvm.lifetime.end.p0(i64 256, ptr nonnull %6) #5
  call void @llvm.lifetime.end.p0(i64 256, ptr nonnull %5) #5
  ret void
}

declare void @wa_zero(ptr noundef) local_unnamed_addr #2

declare ptr @wa_copy_with_alloc(ptr noundef) local_unnamed_addr #2

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

declare void @int_lshift(ptr noundef, i64 noundef, ptr noundef) local_unnamed_addr #2

declare i32 @int_get_bit(ptr noundef, i64 noundef) local_unnamed_addr #2

declare ptr @wa_alloc_with_zero(i64 noundef) local_unnamed_addr #2

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

; Function Attrs: nounwind uwtable
declare hidden void @gf2m_mul_256(ptr noundef, ptr noundef, i32 noundef, i1 noundef zeroext, ptr noundef) local_unnamed_addr #1

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

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

; Function Attrs: nounwind uwtable
declare hidden void @gf2m_mul_128(ptr noundef, ptr noundef, i32 noundef, ptr noundef) local_unnamed_addr #1

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i32 @llvm.umax.i32(i32, i32) #4

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !10, i64 16}
!6 = !{!"Gf2mCtx_st", !7, i64 0, !7, i64 8, !10, i64 16}
!7 = !{!"any pointer", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C/C++ TBAA"}
!10 = !{!"long", !8, i64 0}
!11 = !{!12, !10, i64 8}
!12 = !{!"WordArray_st", !7, i64 0, !10, i64 8}
!13 = distinct !{!13, !14, !15}
!14 = !{!"llvm.loop.mustprogress"}
!15 = !{!"llvm.loop.peeled.count", i32 1}
!16 = !{!12, !7, i64 0}
!17 = !{!6, !7, i64 0}
!18 = !{!19, !19, i64 0}
!19 = !{!"int", !8, i64 0}
!20 = !{!10, !10, i64 0}
!21 = distinct !{!21, !14}
!22 = !{!23}
!23 = distinct !{!23, !24}
!24 = distinct !{!24, !"LVerDomain"}
!25 = !{!26}
!26 = distinct !{!26, !24}
!27 = distinct !{!27, !14, !28, !29}
!28 = !{!"llvm.loop.isvectorized", i32 1}
!29 = !{!"llvm.loop.unroll.runtime.disable"}
!30 = distinct !{!30, !14, !28}
!31 = !{!32}
!32 = distinct !{!32, !33}
!33 = distinct !{!33, !"LVerDomain"}
!34 = !{!35}
!35 = distinct !{!35, !33}
!36 = distinct !{!36, !14, !28, !29}
!37 = distinct !{!37, !14, !28}
!38 = !{!39}
!39 = distinct !{!39, !40}
!40 = distinct !{!40, !"LVerDomain"}
!41 = !{!42}
!42 = distinct !{!42, !40}
!43 = distinct !{!43, !14, !28, !29}
!44 = distinct !{!44, !14, !28}


; Effective O3 passes: ConstraintEliminationPass,CorrelatedValuePropagationPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferAlignmentPass,InferFunctionAttrsPass,InstCombinePass,JumpThreadingPass,LICMPass,LoopFullUnrollPass,LoopLoadEliminationPass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,LoopVectorizePass,PostOrderFunctionAttrsPass,ReassociatePass,SCCPPass,SLPVectorizerPass,SROAPass,SimplifyCFGPass,TailCallElimPass,VectorCombinePass