; LLVM IR from IBM/optimized-number-theoretic-transform-implementations :: third_party/seal (ntt_seal)

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

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

; Function Attrs: inlinehint nounwind uwtable
declare hidden i64 @guard(i64 noundef, i64 noundef) #1

; Function Attrs: inlinehint nounwind uwtable
declare hidden i64 @mul_root(i64 noundef, i64 noundef, i64 noundef, i64 noundef) #1

; Function Attrs: inlinehint nounwind uwtable
declare hidden i64 @add(i64 noundef, i64 noundef) #1

; Function Attrs: inlinehint nounwind uwtable
declare hidden i64 @sub(i64 noundef, i64 noundef, i64 noundef) #1

; 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
define dso_local void @inv_ntt_seal(ptr noundef %0, i64 noundef %1, i64 noundef %2, i64 noundef %3, i64 noundef %4, ptr noundef %5, ptr noundef %6) #2 {
  %8 = alloca ptr, align 8
  %9 = alloca i64, align 8
  %10 = alloca i64, align 8
  %11 = alloca i64, align 8
  %12 = alloca i64, align 8
  %13 = alloca ptr, align 8
  %14 = alloca ptr, align 8
  %15 = alloca i64, align 8
  %16 = alloca i64, align 8
  %17 = alloca i64, align 8
  %18 = alloca ptr, align 8
  %19 = alloca ptr, align 8
  %20 = alloca i64, align 8
  %21 = alloca i64, align 8
  %22 = alloca i64, align 8
  %23 = alloca i64, align 8
  %24 = alloca i64, align 8
  %25 = alloca i32, align 4
  %26 = alloca i64, align 8
  %27 = alloca i64, align 8
  %28 = alloca i64, align 8
  %29 = alloca i64, align 8
  %30 = alloca i64, align 8
  %31 = alloca i64, align 8
  %32 = alloca i64, align 8
  %33 = alloca i64, align 8
  store ptr %0, ptr %8, align 8, !tbaa !5
  store i64 %1, ptr %9, align 8, !tbaa !9
  store i64 %2, ptr %10, align 8, !tbaa !9
  store i64 %3, ptr %11, align 8, !tbaa !9
  store i64 %4, ptr %12, align 8, !tbaa !9
  store ptr %5, ptr %13, align 8, !tbaa !5
  store ptr %6, ptr %14, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #3
  %34 = load i64, ptr %9, align 8, !tbaa !9
  store i64 %34, ptr %15, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #3
  store ptr null, ptr %18, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #3
  store ptr null, ptr %19, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #3
  store i64 1, ptr %20, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #3
  %35 = load i64, ptr %15, align 8, !tbaa !9
  %36 = lshr i64 %35, 1
  store i64 %36, ptr %21, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #3
  %37 = load i64, ptr %10, align 8, !tbaa !9
  %38 = shl i64 %37, 1
  store i64 %38, ptr %22, align 8, !tbaa !9
  br label %39

39:                                               ; preds = %265, %7
  %40 = load i64, ptr %21, align 8, !tbaa !9
  %41 = icmp ugt i64 %40, 1
  br i1 %41, label %42, label %268

42:                                               ; preds = %39
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #3
  store i64 0, ptr %23, align 8, !tbaa !9
  %43 = load i64, ptr %20, align 8, !tbaa !9
  %44 = icmp ult i64 %43, 4
  br i1 %44, label %45, label %107

45:                                               ; preds = %42
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #3
  store i64 0, ptr %24, align 8, !tbaa !9
  br label %46

46:                                               ; preds = %103, %45
  %47 = load i64, ptr %24, align 8, !tbaa !9
  %48 = load i64, ptr %21, align 8, !tbaa !9
  %49 = icmp ult i64 %47, %48
  br i1 %49, label %51, label %50

50:                                               ; preds = %46
  store i32 5, ptr %25, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #3
  br label %106

51:                                               ; preds = %46
  %52 = load ptr, ptr %8, align 8, !tbaa !5
  %53 = load i64, ptr %23, align 8, !tbaa !9
  %54 = getelementptr inbounds i64, ptr %52, i64 %53
  store ptr %54, ptr %18, align 8, !tbaa !5
  %55 = load ptr, ptr %18, align 8, !tbaa !5
  %56 = load i64, ptr %20, align 8, !tbaa !9
  %57 = getelementptr inbounds i64, ptr %55, i64 %56
  store ptr %57, ptr %19, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #3
  store i64 0, ptr %26, align 8, !tbaa !9
  br label %58

58:                                               ; preds = %95, %51
  %59 = load i64, ptr %26, align 8, !tbaa !9
  %60 = load i64, ptr %20, align 8, !tbaa !9
  %61 = icmp ult i64 %59, %60
  br i1 %61, label %63, label %62

62:                                               ; preds = %58
  store i32 8, ptr %25, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #3
  br label %98

63:                                               ; preds = %58
  %64 = load ptr, ptr %18, align 8, !tbaa !5
  %65 = load i64, ptr %64, align 8, !tbaa !9
  store i64 %65, ptr %16, align 8, !tbaa !9
  %66 = load ptr, ptr %19, align 8, !tbaa !5
  %67 = load i64, ptr %66, align 8, !tbaa !9
  store i64 %67, ptr %17, align 8, !tbaa !9
  %68 = load i64, ptr %16, align 8, !tbaa !9
  %69 = load i64, ptr %17, align 8, !tbaa !9
  %70 = call i64 @add(i64 noundef %68, i64 noundef %69)
  %71 = load i64, ptr %22, align 8, !tbaa !9
  %72 = call i64 @guard(i64 noundef %70, i64 noundef %71)
  %73 = load ptr, ptr %18, align 8, !tbaa !5
  %74 = getelementptr inbounds i64, ptr %73, i32 1
  store ptr %74, ptr %18, align 8, !tbaa !5
  store i64 %72, ptr %73, align 8, !tbaa !9
  %75 = load i64, ptr %16, align 8, !tbaa !9
  %76 = load i64, ptr %17, align 8, !tbaa !9
  %77 = load i64, ptr %22, align 8, !tbaa !9
  %78 = call i64 @sub(i64 noundef %75, i64 noundef %76, i64 noundef %77)
  %79 = load i64, ptr %10, align 8, !tbaa !9
  %80 = load ptr, ptr %13, align 8, !tbaa !5
  %81 = load i64, ptr %21, align 8, !tbaa !9
  %82 = load i64, ptr %24, align 8, !tbaa !9
  %83 = add i64 %81, %82
  %84 = getelementptr inbounds i64, ptr %80, i64 %83
  %85 = load i64, ptr %84, align 8, !tbaa !9
  %86 = load ptr, ptr %14, align 8, !tbaa !5
  %87 = load i64, ptr %21, align 8, !tbaa !9
  %88 = load i64, ptr %24, align 8, !tbaa !9
  %89 = add i64 %87, %88
  %90 = getelementptr inbounds i64, ptr %86, i64 %89
  %91 = load i64, ptr %90, align 8, !tbaa !9
  %92 = call i64 @mul_root(i64 noundef %78, i64 noundef %79, i64 noundef %85, i64 noundef %91)
  %93 = load ptr, ptr %19, align 8, !tbaa !5
  %94 = getelementptr inbounds i64, ptr %93, i32 1
  store ptr %94, ptr %19, align 8, !tbaa !5
  store i64 %92, ptr %93, align 8, !tbaa !9
  br label %95

95:                                               ; preds = %63
  %96 = load i64, ptr %26, align 8, !tbaa !9
  %97 = add i64 %96, 1
  store i64 %97, ptr %26, align 8, !tbaa !9
  br label %58, !llvm.loop !11

98:                                               ; preds = %62
  %99 = load i64, ptr %20, align 8, !tbaa !9
  %100 = shl i64 %99, 1
  %101 = load i64, ptr %23, align 8, !tbaa !9
  %102 = add i64 %101, %100
  store i64 %102, ptr %23, align 8, !tbaa !9
  br label %103

103:                                              ; preds = %98
  %104 = load i64, ptr %24, align 8, !tbaa !9
  %105 = add i64 %104, 1
  store i64 %105, ptr %24, align 8, !tbaa !9
  br label %46, !llvm.loop !13

106:                                              ; preds = %50
  br label %262

107:                                              ; preds = %42
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #3
  store i64 0, ptr %27, align 8, !tbaa !9
  br label %108

108:                                              ; preds = %258, %107
  %109 = load i64, ptr %27, align 8, !tbaa !9
  %110 = load i64, ptr %21, align 8, !tbaa !9
  %111 = icmp ult i64 %109, %110
  br i1 %111, label %113, label %112

112:                                              ; preds = %108
  store i32 11, ptr %25, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #3
  br label %261

113:                                              ; preds = %108
  %114 = load ptr, ptr %8, align 8, !tbaa !5
  %115 = load i64, ptr %23, align 8, !tbaa !9
  %116 = getelementptr inbounds i64, ptr %114, i64 %115
  store ptr %116, ptr %18, align 8, !tbaa !5
  %117 = load ptr, ptr %18, align 8, !tbaa !5
  %118 = load i64, ptr %20, align 8, !tbaa !9
  %119 = getelementptr inbounds i64, ptr %117, i64 %118
  store ptr %119, ptr %19, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %28) #3
  store i64 0, ptr %28, align 8, !tbaa !9
  br label %120

120:                                              ; preds = %250, %113
  %121 = load i64, ptr %28, align 8, !tbaa !9
  %122 = load i64, ptr %20, align 8, !tbaa !9
  %123 = icmp ult i64 %121, %122
  br i1 %123, label %125, label %124

124:                                              ; preds = %120
  store i32 14, ptr %25, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #3
  br label %253

125:                                              ; preds = %120
  %126 = load ptr, ptr %18, align 8, !tbaa !5
  %127 = load i64, ptr %126, align 8, !tbaa !9
  store i64 %127, ptr %16, align 8, !tbaa !9
  %128 = load ptr, ptr %19, align 8, !tbaa !5
  %129 = load i64, ptr %128, align 8, !tbaa !9
  store i64 %129, ptr %17, align 8, !tbaa !9
  %130 = load i64, ptr %16, align 8, !tbaa !9
  %131 = load i64, ptr %17, align 8, !tbaa !9
  %132 = call i64 @add(i64 noundef %130, i64 noundef %131)
  %133 = load i64, ptr %22, align 8, !tbaa !9
  %134 = call i64 @guard(i64 noundef %132, i64 noundef %133)
  %135 = load ptr, ptr %18, align 8, !tbaa !5
  %136 = getelementptr inbounds i64, ptr %135, i32 1
  store ptr %136, ptr %18, align 8, !tbaa !5
  store i64 %134, ptr %135, align 8, !tbaa !9
  %137 = load i64, ptr %16, align 8, !tbaa !9
  %138 = load i64, ptr %17, align 8, !tbaa !9
  %139 = load i64, ptr %22, align 8, !tbaa !9
  %140 = call i64 @sub(i64 noundef %137, i64 noundef %138, i64 noundef %139)
  %141 = load i64, ptr %10, align 8, !tbaa !9
  %142 = load ptr, ptr %13, align 8, !tbaa !5
  %143 = load i64, ptr %21, align 8, !tbaa !9
  %144 = load i64, ptr %27, align 8, !tbaa !9
  %145 = add i64 %143, %144
  %146 = getelementptr inbounds i64, ptr %142, i64 %145
  %147 = load i64, ptr %146, align 8, !tbaa !9
  %148 = load ptr, ptr %14, align 8, !tbaa !5
  %149 = load i64, ptr %21, align 8, !tbaa !9
  %150 = load i64, ptr %27, align 8, !tbaa !9
  %151 = add i64 %149, %150
  %152 = getelementptr inbounds i64, ptr %148, i64 %151
  %153 = load i64, ptr %152, align 8, !tbaa !9
  %154 = call i64 @mul_root(i64 noundef %140, i64 noundef %141, i64 noundef %147, i64 noundef %153)
  %155 = load ptr, ptr %19, align 8, !tbaa !5
  %156 = getelementptr inbounds i64, ptr %155, i32 1
  store ptr %156, ptr %19, align 8, !tbaa !5
  store i64 %154, ptr %155, align 8, !tbaa !9
  %157 = load ptr, ptr %18, align 8, !tbaa !5
  %158 = load i64, ptr %157, align 8, !tbaa !9
  store i64 %158, ptr %16, align 8, !tbaa !9
  %159 = load ptr, ptr %19, align 8, !tbaa !5
  %160 = load i64, ptr %159, align 8, !tbaa !9
  store i64 %160, ptr %17, align 8, !tbaa !9
  %161 = load i64, ptr %16, align 8, !tbaa !9
  %162 = load i64, ptr %17, align 8, !tbaa !9
  %163 = call i64 @add(i64 noundef %161, i64 noundef %162)
  %164 = load i64, ptr %22, align 8, !tbaa !9
  %165 = call i64 @guard(i64 noundef %163, i64 noundef %164)
  %166 = load ptr, ptr %18, align 8, !tbaa !5
  %167 = getelementptr inbounds i64, ptr %166, i32 1
  store ptr %167, ptr %18, align 8, !tbaa !5
  store i64 %165, ptr %166, align 8, !tbaa !9
  %168 = load i64, ptr %16, align 8, !tbaa !9
  %169 = load i64, ptr %17, align 8, !tbaa !9
  %170 = load i64, ptr %22, align 8, !tbaa !9
  %171 = call i64 @sub(i64 noundef %168, i64 noundef %169, i64 noundef %170)
  %172 = load i64, ptr %10, align 8, !tbaa !9
  %173 = load ptr, ptr %13, align 8, !tbaa !5
  %174 = load i64, ptr %21, align 8, !tbaa !9
  %175 = load i64, ptr %27, align 8, !tbaa !9
  %176 = add i64 %174, %175
  %177 = getelementptr inbounds i64, ptr %173, i64 %176
  %178 = load i64, ptr %177, align 8, !tbaa !9
  %179 = load ptr, ptr %14, align 8, !tbaa !5
  %180 = load i64, ptr %21, align 8, !tbaa !9
  %181 = load i64, ptr %27, align 8, !tbaa !9
  %182 = add i64 %180, %181
  %183 = getelementptr inbounds i64, ptr %179, i64 %182
  %184 = load i64, ptr %183, align 8, !tbaa !9
  %185 = call i64 @mul_root(i64 noundef %171, i64 noundef %172, i64 noundef %178, i64 noundef %184)
  %186 = load ptr, ptr %19, align 8, !tbaa !5
  %187 = getelementptr inbounds i64, ptr %186, i32 1
  store ptr %187, ptr %19, align 8, !tbaa !5
  store i64 %185, ptr %186, align 8, !tbaa !9
  %188 = load ptr, ptr %18, align 8, !tbaa !5
  %189 = load i64, ptr %188, align 8, !tbaa !9
  store i64 %189, ptr %16, align 8, !tbaa !9
  %190 = load ptr, ptr %19, align 8, !tbaa !5
  %191 = load i64, ptr %190, align 8, !tbaa !9
  store i64 %191, ptr %17, align 8, !tbaa !9
  %192 = load i64, ptr %16, align 8, !tbaa !9
  %193 = load i64, ptr %17, align 8, !tbaa !9
  %194 = call i64 @add(i64 noundef %192, i64 noundef %193)
  %195 = load i64, ptr %22, align 8, !tbaa !9
  %196 = call i64 @guard(i64 noundef %194, i64 noundef %195)
  %197 = load ptr, ptr %18, align 8, !tbaa !5
  %198 = getelementptr inbounds i64, ptr %197, i32 1
  store ptr %198, ptr %18, align 8, !tbaa !5
  store i64 %196, ptr %197, align 8, !tbaa !9
  %199 = load i64, ptr %16, align 8, !tbaa !9
  %200 = load i64, ptr %17, align 8, !tbaa !9
  %201 = load i64, ptr %22, align 8, !tbaa !9
  %202 = call i64 @sub(i64 noundef %199, i64 noundef %200, i64 noundef %201)
  %203 = load i64, ptr %10, align 8, !tbaa !9
  %204 = load ptr, ptr %13, align 8, !tbaa !5
  %205 = load i64, ptr %21, align 8, !tbaa !9
  %206 = load i64, ptr %27, align 8, !tbaa !9
  %207 = add i64 %205, %206
  %208 = getelementptr inbounds i64, ptr %204, i64 %207
  %209 = load i64, ptr %208, align 8, !tbaa !9
  %210 = load ptr, ptr %14, align 8, !tbaa !5
  %211 = load i64, ptr %21, align 8, !tbaa !9
  %212 = load i64, ptr %27, align 8, !tbaa !9
  %213 = add i64 %211, %212
  %214 = getelementptr inbounds i64, ptr %210, i64 %213
  %215 = load i64, ptr %214, align 8, !tbaa !9
  %216 = call i64 @mul_root(i64 noundef %202, i64 noundef %203, i64 noundef %209, i64 noundef %215)
  %217 = load ptr, ptr %19, align 8, !tbaa !5
  %218 = getelementptr inbounds i64, ptr %217, i32 1
  store ptr %218, ptr %19, align 8, !tbaa !5
  store i64 %216, ptr %217, align 8, !tbaa !9
  %219 = load ptr, ptr %18, align 8, !tbaa !5
  %220 = load i64, ptr %219, align 8, !tbaa !9
  store i64 %220, ptr %16, align 8, !tbaa !9
  %221 = load ptr, ptr %19, align 8, !tbaa !5
  %222 = load i64, ptr %221, align 8, !tbaa !9
  store i64 %222, ptr %17, align 8, !tbaa !9
  %223 = load i64, ptr %16, align 8, !tbaa !9
  %224 = load i64, ptr %17, align 8, !tbaa !9
  %225 = call i64 @add(i64 noundef %223, i64 noundef %224)
  %226 = load i64, ptr %22, align 8, !tbaa !9
  %227 = call i64 @guard(i64 noundef %225, i64 noundef %226)
  %228 = load ptr, ptr %18, align 8, !tbaa !5
  %229 = getelementptr inbounds i64, ptr %228, i32 1
  store ptr %229, ptr %18, align 8, !tbaa !5
  store i64 %227, ptr %228, align 8, !tbaa !9
  %230 = load i64, ptr %16, align 8, !tbaa !9
  %231 = load i64, ptr %17, align 8, !tbaa !9
  %232 = load i64, ptr %22, align 8, !tbaa !9
  %233 = call i64 @sub(i64 noundef %230, i64 noundef %231, i64 noundef %232)
  %234 = load i64, ptr %10, align 8, !tbaa !9
  %235 = load ptr, ptr %13, align 8, !tbaa !5
  %236 = load i64, ptr %21, align 8, !tbaa !9
  %237 = load i64, ptr %27, align 8, !tbaa !9
  %238 = add i64 %236, %237
  %239 = getelementptr inbounds i64, ptr %235, i64 %238
  %240 = load i64, ptr %239, align 8, !tbaa !9
  %241 = load ptr, ptr %14, align 8, !tbaa !5
  %242 = load i64, ptr %21, align 8, !tbaa !9
  %243 = load i64, ptr %27, align 8, !tbaa !9
  %244 = add i64 %242, %243
  %245 = getelementptr inbounds i64, ptr %241, i64 %244
  %246 = load i64, ptr %245, align 8, !tbaa !9
  %247 = call i64 @mul_root(i64 noundef %233, i64 noundef %234, i64 noundef %240, i64 noundef %246)
  %248 = load ptr, ptr %19, align 8, !tbaa !5
  %249 = getelementptr inbounds i64, ptr %248, i32 1
  store ptr %249, ptr %19, align 8, !tbaa !5
  store i64 %247, ptr %248, align 8, !tbaa !9
  br label %250

250:                                              ; preds = %125
  %251 = load i64, ptr %28, align 8, !tbaa !9
  %252 = add i64 %251, 4
  store i64 %252, ptr %28, align 8, !tbaa !9
  br label %120, !llvm.loop !14

253:                                              ; preds = %124
  %254 = load i64, ptr %20, align 8, !tbaa !9
  %255 = shl i64 %254, 1
  %256 = load i64, ptr %23, align 8, !tbaa !9
  %257 = add i64 %256, %255
  store i64 %257, ptr %23, align 8, !tbaa !9
  br label %258

258:                                              ; preds = %253
  %259 = load i64, ptr %27, align 8, !tbaa !9
  %260 = add i64 %259, 1
  store i64 %260, ptr %27, align 8, !tbaa !9
  br label %108, !llvm.loop !15

261:                                              ; preds = %112
  br label %262

262:                                              ; preds = %261, %106
  %263 = load i64, ptr %20, align 8, !tbaa !9
  %264 = shl i64 %263, 1
  store i64 %264, ptr %20, align 8, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #3
  br label %265

265:                                              ; preds = %262
  %266 = load i64, ptr %21, align 8, !tbaa !9
  %267 = lshr i64 %266, 1
  store i64 %267, ptr %21, align 8, !tbaa !9
  br label %39, !llvm.loop !16

268:                                              ; preds = %39
  call void @llvm.lifetime.start.p0(i64 8, ptr %29) #3
  %269 = load ptr, ptr %13, align 8, !tbaa !5
  %270 = getelementptr inbounds i64, ptr %269, i64 1
  %271 = load i64, ptr %270, align 8, !tbaa !9
  %272 = load i64, ptr %10, align 8, !tbaa !9
  %273 = load i64, ptr %11, align 8, !tbaa !9
  %274 = load i64, ptr %12, align 8, !tbaa !9
  %275 = call i64 @mul_root(i64 noundef %271, i64 noundef %272, i64 noundef %273, i64 noundef %274)
  store i64 %275, ptr %29, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %30) #3
  %276 = load i64, ptr %29, align 8, !tbaa !9
  %277 = zext i64 %276 to i128
  %278 = shl i128 %277, 64
  %279 = load i64, ptr %10, align 8, !tbaa !9
  %280 = zext i64 %279 to i128
  %281 = udiv i128 %278, %280
  %282 = trunc i128 %281 to i64
  store i64 %282, ptr %30, align 8, !tbaa !9
  %283 = load ptr, ptr %8, align 8, !tbaa !5
  store ptr %283, ptr %18, align 8, !tbaa !5
  %284 = load ptr, ptr %18, align 8, !tbaa !5
  %285 = load i64, ptr %20, align 8, !tbaa !9
  %286 = getelementptr inbounds i64, ptr %284, i64 %285
  store ptr %286, ptr %19, align 8, !tbaa !5
  %287 = load i64, ptr %20, align 8, !tbaa !9
  %288 = icmp ult i64 %287, 4
  br i1 %288, label %289, label %327

289:                                              ; preds = %268
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #3
  store i64 0, ptr %31, align 8, !tbaa !9
  br label %290

290:                                              ; preds = %323, %289
  %291 = load i64, ptr %31, align 8, !tbaa !9
  %292 = load i64, ptr %20, align 8, !tbaa !9
  %293 = icmp ult i64 %291, %292
  br i1 %293, label %295, label %294

294:                                              ; preds = %290
  store i32 17, ptr %25, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #3
  br label %326

295:                                              ; preds = %290
  %296 = load ptr, ptr %18, align 8, !tbaa !5
  %297 = load i64, ptr %296, align 8, !tbaa !9
  %298 = load i64, ptr %22, align 8, !tbaa !9
  %299 = call i64 @guard(i64 noundef %297, i64 noundef %298)
  store i64 %299, ptr %16, align 8, !tbaa !9
  %300 = load ptr, ptr %19, align 8, !tbaa !5
  %301 = load i64, ptr %300, align 8, !tbaa !9
  store i64 %301, ptr %17, align 8, !tbaa !9
  %302 = load i64, ptr %16, align 8, !tbaa !9
  %303 = load i64, ptr %17, align 8, !tbaa !9
  %304 = call i64 @add(i64 noundef %302, i64 noundef %303)
  %305 = load i64, ptr %22, align 8, !tbaa !9
  %306 = call i64 @guard(i64 noundef %304, i64 noundef %305)
  %307 = load i64, ptr %10, align 8, !tbaa !9
  %308 = load i64, ptr %11, align 8, !tbaa !9
  %309 = load i64, ptr %12, align 8, !tbaa !9
  %310 = call i64 @mul_scalar(i64 noundef %306, i64 noundef %307, i64 noundef %308, i64 noundef %309)
  %311 = load ptr, ptr %18, align 8, !tbaa !5
  %312 = getelementptr inbounds i64, ptr %311, i32 1
  store ptr %312, ptr %18, align 8, !tbaa !5
  store i64 %310, ptr %311, align 8, !tbaa !9
  %313 = load i64, ptr %16, align 8, !tbaa !9
  %314 = load i64, ptr %17, align 8, !tbaa !9
  %315 = load i64, ptr %22, align 8, !tbaa !9
  %316 = call i64 @sub(i64 noundef %313, i64 noundef %314, i64 noundef %315)
  %317 = load i64, ptr %10, align 8, !tbaa !9
  %318 = load i64, ptr %29, align 8, !tbaa !9
  %319 = load i64, ptr %30, align 8, !tbaa !9
  %320 = call i64 @mul_root(i64 noundef %316, i64 noundef %317, i64 noundef %318, i64 noundef %319)
  %321 = load ptr, ptr %19, align 8, !tbaa !5
  %322 = getelementptr inbounds i64, ptr %321, i32 1
  store ptr %322, ptr %19, align 8, !tbaa !5
  store i64 %320, ptr %321, align 8, !tbaa !9
  br label %323

323:                                              ; preds = %295
  %324 = load i64, ptr %31, align 8, !tbaa !9
  %325 = add i64 %324, 1
  store i64 %325, ptr %31, align 8, !tbaa !9
  br label %290, !llvm.loop !17

326:                                              ; preds = %294
  br label %446

327:                                              ; preds = %268
  call void @llvm.lifetime.start.p0(i64 8, ptr %32) #3
  store i64 0, ptr %32, align 8, !tbaa !9
  br label %328

328:                                              ; preds = %442, %327
  %329 = load i64, ptr %32, align 8, !tbaa !9
  %330 = load i64, ptr %20, align 8, !tbaa !9
  %331 = icmp ult i64 %329, %330
  br i1 %331, label %333, label %332

332:                                              ; preds = %328
  store i32 20, ptr %25, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #3
  br label %445

333:                                              ; preds = %328
  %334 = load ptr, ptr %18, align 8, !tbaa !5
  %335 = load i64, ptr %334, align 8, !tbaa !9
  %336 = load i64, ptr %22, align 8, !tbaa !9
  %337 = call i64 @guard(i64 noundef %335, i64 noundef %336)
  store i64 %337, ptr %16, align 8, !tbaa !9
  %338 = load ptr, ptr %19, align 8, !tbaa !5
  %339 = load i64, ptr %338, align 8, !tbaa !9
  store i64 %339, ptr %17, align 8, !tbaa !9
  %340 = load i64, ptr %16, align 8, !tbaa !9
  %341 = load i64, ptr %17, align 8, !tbaa !9
  %342 = call i64 @add(i64 noundef %340, i64 noundef %341)
  %343 = load i64, ptr %22, align 8, !tbaa !9
  %344 = call i64 @guard(i64 noundef %342, i64 noundef %343)
  %345 = load i64, ptr %10, align 8, !tbaa !9
  %346 = load i64, ptr %11, align 8, !tbaa !9
  %347 = load i64, ptr %12, align 8, !tbaa !9
  %348 = call i64 @mul_scalar(i64 noundef %344, i64 noundef %345, i64 noundef %346, i64 noundef %347)
  %349 = load ptr, ptr %18, align 8, !tbaa !5
  %350 = getelementptr inbounds i64, ptr %349, i32 1
  store ptr %350, ptr %18, align 8, !tbaa !5
  store i64 %348, ptr %349, align 8, !tbaa !9
  %351 = load i64, ptr %16, align 8, !tbaa !9
  %352 = load i64, ptr %17, align 8, !tbaa !9
  %353 = load i64, ptr %22, align 8, !tbaa !9
  %354 = call i64 @sub(i64 noundef %351, i64 noundef %352, i64 noundef %353)
  %355 = load i64, ptr %10, align 8, !tbaa !9
  %356 = load i64, ptr %29, align 8, !tbaa !9
  %357 = load i64, ptr %30, align 8, !tbaa !9
  %358 = call i64 @mul_root(i64 noundef %354, i64 noundef %355, i64 noundef %356, i64 noundef %357)
  %359 = load ptr, ptr %19, align 8, !tbaa !5
  %360 = getelementptr inbounds i64, ptr %359, i32 1
  store ptr %360, ptr %19, align 8, !tbaa !5
  store i64 %358, ptr %359, align 8, !tbaa !9
  %361 = load ptr, ptr %18, align 8, !tbaa !5
  %362 = load i64, ptr %361, align 8, !tbaa !9
  %363 = load i64, ptr %22, align 8, !tbaa !9
  %364 = call i64 @guard(i64 noundef %362, i64 noundef %363)
  store i64 %364, ptr %16, align 8, !tbaa !9
  %365 = load ptr, ptr %19, align 8, !tbaa !5
  %366 = load i64, ptr %365, align 8, !tbaa !9
  store i64 %366, ptr %17, align 8, !tbaa !9
  %367 = load i64, ptr %16, align 8, !tbaa !9
  %368 = load i64, ptr %17, align 8, !tbaa !9
  %369 = call i64 @add(i64 noundef %367, i64 noundef %368)
  %370 = load i64, ptr %22, align 8, !tbaa !9
  %371 = call i64 @guard(i64 noundef %369, i64 noundef %370)
  %372 = load i64, ptr %10, align 8, !tbaa !9
  %373 = load i64, ptr %11, align 8, !tbaa !9
  %374 = load i64, ptr %12, align 8, !tbaa !9
  %375 = call i64 @mul_scalar(i64 noundef %371, i64 noundef %372, i64 noundef %373, i64 noundef %374)
  %376 = load ptr, ptr %18, align 8, !tbaa !5
  %377 = getelementptr inbounds i64, ptr %376, i32 1
  store ptr %377, ptr %18, align 8, !tbaa !5
  store i64 %375, ptr %376, align 8, !tbaa !9
  %378 = load i64, ptr %16, align 8, !tbaa !9
  %379 = load i64, ptr %17, align 8, !tbaa !9
  %380 = load i64, ptr %22, align 8, !tbaa !9
  %381 = call i64 @sub(i64 noundef %378, i64 noundef %379, i64 noundef %380)
  %382 = load i64, ptr %10, align 8, !tbaa !9
  %383 = load i64, ptr %29, align 8, !tbaa !9
  %384 = load i64, ptr %30, align 8, !tbaa !9
  %385 = call i64 @mul_root(i64 noundef %381, i64 noundef %382, i64 noundef %383, i64 noundef %384)
  %386 = load ptr, ptr %19, align 8, !tbaa !5
  %387 = getelementptr inbounds i64, ptr %386, i32 1
  store ptr %387, ptr %19, align 8, !tbaa !5
  store i64 %385, ptr %386, align 8, !tbaa !9
  %388 = load ptr, ptr %18, align 8, !tbaa !5
  %389 = load i64, ptr %388, align 8, !tbaa !9
  %390 = load i64, ptr %22, align 8, !tbaa !9
  %391 = call i64 @guard(i64 noundef %389, i64 noundef %390)
  store i64 %391, ptr %16, align 8, !tbaa !9
  %392 = load ptr, ptr %19, align 8, !tbaa !5
  %393 = load i64, ptr %392, align 8, !tbaa !9
  store i64 %393, ptr %17, align 8, !tbaa !9
  %394 = load i64, ptr %16, align 8, !tbaa !9
  %395 = load i64, ptr %17, align 8, !tbaa !9
  %396 = call i64 @add(i64 noundef %394, i64 noundef %395)
  %397 = load i64, ptr %22, align 8, !tbaa !9
  %398 = call i64 @guard(i64 noundef %396, i64 noundef %397)
  %399 = load i64, ptr %10, align 8, !tbaa !9
  %400 = load i64, ptr %11, align 8, !tbaa !9
  %401 = load i64, ptr %12, align 8, !tbaa !9
  %402 = call i64 @mul_scalar(i64 noundef %398, i64 noundef %399, i64 noundef %400, i64 noundef %401)
  %403 = load ptr, ptr %18, align 8, !tbaa !5
  %404 = getelementptr inbounds i64, ptr %403, i32 1
  store ptr %404, ptr %18, align 8, !tbaa !5
  store i64 %402, ptr %403, align 8, !tbaa !9
  %405 = load i64, ptr %16, align 8, !tbaa !9
  %406 = load i64, ptr %17, align 8, !tbaa !9
  %407 = load i64, ptr %22, align 8, !tbaa !9
  %408 = call i64 @sub(i64 noundef %405, i64 noundef %406, i64 noundef %407)
  %409 = load i64, ptr %10, align 8, !tbaa !9
  %410 = load i64, ptr %29, align 8, !tbaa !9
  %411 = load i64, ptr %30, align 8, !tbaa !9
  %412 = call i64 @mul_root(i64 noundef %408, i64 noundef %409, i64 noundef %410, i64 noundef %411)
  %413 = load ptr, ptr %19, align 8, !tbaa !5
  %414 = getelementptr inbounds i64, ptr %413, i32 1
  store ptr %414, ptr %19, align 8, !tbaa !5
  store i64 %412, ptr %413, align 8, !tbaa !9
  %415 = load ptr, ptr %18, align 8, !tbaa !5
  %416 = load i64, ptr %415, align 8, !tbaa !9
  %417 = load i64, ptr %22, align 8, !tbaa !9
  %418 = call i64 @guard(i64 noundef %416, i64 noundef %417)
  store i64 %418, ptr %16, align 8, !tbaa !9
  %419 = load ptr, ptr %19, align 8, !tbaa !5
  %420 = load i64, ptr %419, align 8, !tbaa !9
  store i64 %420, ptr %17, align 8, !tbaa !9
  %421 = load i64, ptr %16, align 8, !tbaa !9
  %422 = load i64, ptr %17, align 8, !tbaa !9
  %423 = call i64 @add(i64 noundef %421, i64 noundef %422)
  %424 = load i64, ptr %22, align 8, !tbaa !9
  %425 = call i64 @guard(i64 noundef %423, i64 noundef %424)
  %426 = load i64, ptr %10, align 8, !tbaa !9
  %427 = load i64, ptr %11, align 8, !tbaa !9
  %428 = load i64, ptr %12, align 8, !tbaa !9
  %429 = call i64 @mul_scalar(i64 noundef %425, i64 noundef %426, i64 noundef %427, i64 noundef %428)
  %430 = load ptr, ptr %18, align 8, !tbaa !5
  %431 = getelementptr inbounds i64, ptr %430, i32 1
  store ptr %431, ptr %18, align 8, !tbaa !5
  store i64 %429, ptr %430, align 8, !tbaa !9
  %432 = load i64, ptr %16, align 8, !tbaa !9
  %433 = load i64, ptr %17, align 8, !tbaa !9
  %434 = load i64, ptr %22, align 8, !tbaa !9
  %435 = call i64 @sub(i64 noundef %432, i64 noundef %433, i64 noundef %434)
  %436 = load i64, ptr %10, align 8, !tbaa !9
  %437 = load i64, ptr %29, align 8, !tbaa !9
  %438 = load i64, ptr %30, align 8, !tbaa !9
  %439 = call i64 @mul_root(i64 noundef %435, i64 noundef %436, i64 noundef %437, i64 noundef %438)
  %440 = load ptr, ptr %19, align 8, !tbaa !5
  %441 = getelementptr inbounds i64, ptr %440, i32 1
  store ptr %441, ptr %19, align 8, !tbaa !5
  store i64 %439, ptr %440, align 8, !tbaa !9
  br label %442

442:                                              ; preds = %333
  %443 = load i64, ptr %32, align 8, !tbaa !9
  %444 = add i64 %443, 4
  store i64 %444, ptr %32, align 8, !tbaa !9
  br label %328, !llvm.loop !18

445:                                              ; preds = %332
  br label %446

446:                                              ; preds = %445, %326
  call void @llvm.lifetime.start.p0(i64 8, ptr %33) #3
  store i64 0, ptr %33, align 8, !tbaa !9
  br label %447

447:                                              ; preds = %476, %446
  %448 = load i64, ptr %33, align 8, !tbaa !9
  %449 = load i64, ptr %9, align 8, !tbaa !9
  %450 = icmp ult i64 %448, %449
  br i1 %450, label %452, label %451

451:                                              ; preds = %447
  store i32 23, ptr %25, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #3
  br label %479

452:                                              ; preds = %447
  %453 = load ptr, ptr %8, align 8, !tbaa !5
  %454 = load i64, ptr %33, align 8, !tbaa !9
  %455 = getelementptr inbounds i64, ptr %453, i64 %454
  %456 = load i64, ptr %455, align 8, !tbaa !9
  %457 = load i64, ptr %10, align 8, !tbaa !9
  %458 = icmp ult i64 %456, %457
  br i1 %458, label %459, label %464

459:                                              ; preds = %452
  %460 = load ptr, ptr %8, align 8, !tbaa !5
  %461 = load i64, ptr %33, align 8, !tbaa !9
  %462 = getelementptr inbounds i64, ptr %460, i64 %461
  %463 = load i64, ptr %462, align 8, !tbaa !9
  br label %471

464:                                              ; preds = %452
  %465 = load ptr, ptr %8, align 8, !tbaa !5
  %466 = load i64, ptr %33, align 8, !tbaa !9
  %467 = getelementptr inbounds i64, ptr %465, i64 %466
  %468 = load i64, ptr %467, align 8, !tbaa !9
  %469 = load i64, ptr %10, align 8, !tbaa !9
  %470 = sub i64 %468, %469
  br label %471

471:                                              ; preds = %464, %459
  %472 = phi i64 [ %463, %459 ], [ %470, %464 ]
  %473 = load ptr, ptr %8, align 8, !tbaa !5
  %474 = load i64, ptr %33, align 8, !tbaa !9
  %475 = getelementptr inbounds i64, ptr %473, i64 %474
  store i64 %472, ptr %475, align 8, !tbaa !9
  br label %476

476:                                              ; preds = %471
  %477 = load i64, ptr %33, align 8, !tbaa !9
  %478 = add i64 %477, 1
  store i64 %478, ptr %33, align 8, !tbaa !9
  br label %447, !llvm.loop !19

479:                                              ; preds = %451
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #3
  call void @llvm.lifetime.end.p0(i64 8, 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
  ret void
}

; Function Attrs: inlinehint nounwind uwtable
declare hidden i64 @mul_scalar(i64 noundef, i64 noundef, i64 noundef, i64 noundef) #1

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { inlinehint 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 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 = !{!"long", !7, i64 0}
!11 = distinct !{!11, !12}
!12 = !{!"llvm.loop.mustprogress"}
!13 = distinct !{!13, !12}
!14 = distinct !{!14, !12}
!15 = distinct !{!15, !12}
!16 = distinct !{!16, !12}
!17 = distinct !{!17, !12}
!18 = distinct !{!18, !12}
!19 = distinct !{!19, !12}


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

; Function Attrs: inlinehint nounwind uwtable
declare hidden i64 @guard(i64 noundef, i64 noundef) local_unnamed_addr #0

; Function Attrs: inlinehint nounwind uwtable
declare hidden i64 @mul_root(i64 noundef, i64 noundef, i64 noundef, i64 noundef) local_unnamed_addr #0

; Function Attrs: inlinehint nounwind uwtable
declare hidden i64 @add(i64 noundef, i64 noundef) local_unnamed_addr #0

; Function Attrs: inlinehint nounwind uwtable
declare hidden i64 @sub(i64 noundef, i64 noundef, i64 noundef) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
define dso_local void @inv_ntt_seal(ptr nocapture noundef %0, i64 noundef %1, i64 noundef %2, i64 noundef %3, i64 noundef %4, ptr nocapture noundef readonly %5, ptr nocapture noundef readonly %6) local_unnamed_addr #1 {
  %8 = shl i64 %2, 1
  %9 = icmp ugt i64 %1, 3
  br i1 %9, label %.lr.ph270, label %._crit_edge

.lr.ph270:                                        ; preds = %7, %.loopexit250
  %.0238269.in = phi i64 [ %.0238269, %.loopexit250 ], [ %1, %7 ]
  %.0239266 = phi i64 [ %85, %.loopexit250 ], [ 1, %7 ]
  %.0238269 = lshr i64 %.0238269.in, 1
  %10 = icmp ult i64 %.0239266, 4
  %.not282 = icmp ult i64 %.0238269.in, 2
  br i1 %10, label %.preheader249, label %.preheader251

.preheader251:                                    ; preds = %.lr.ph270
  br i1 %.not282, label %.loopexit250.thread, label %.lr.ph

.lr.ph:                                           ; preds = %.preheader251
  %11 = shl i64 %.0239266, 1
  br label %32

.preheader249:                                    ; preds = %.lr.ph270
  br i1 %.not282, label %.loopexit250.thread, label %.lr.ph264

.lr.ph264:                                        ; preds = %.preheader249
  %.not283 = icmp eq i64 %.0239266, 0
  %12 = shl nuw nsw i64 %.0239266, 1
  br i1 %.not283, label %.loopexit250, label %.lr.ph261.us

.lr.ph261.us:                                     ; preds = %.lr.ph264, %._crit_edge.us
  %.0234263.us = phi i64 [ %31, %._crit_edge.us ], [ 0, %.lr.ph264 ]
  %.0235262.us = phi i64 [ %30, %._crit_edge.us ], [ 0, %.lr.ph264 ]
  %13 = getelementptr inbounds i64, ptr %0, i64 %.0235262.us
  %14 = getelementptr inbounds i64, ptr %13, i64 %.0239266
  %15 = add nuw i64 %.0234263.us, %.0238269
  %16 = getelementptr inbounds i64, ptr %5, i64 %15
  %17 = getelementptr inbounds i64, ptr %6, i64 %15
  br label %18

18:                                               ; preds = %.lr.ph261.us, %18
  %.0233260.us = phi i64 [ 0, %.lr.ph261.us ], [ %29, %18 ]
  %.0236259.us = phi ptr [ %13, %.lr.ph261.us ], [ %23, %18 ]
  %.0240258.us = phi ptr [ %14, %.lr.ph261.us ], [ %28, %18 ]
  %19 = load i64, ptr %.0236259.us, align 8, !tbaa !5
  %20 = load i64, ptr %.0240258.us, align 8, !tbaa !5
  %21 = tail call i64 @add(i64 noundef %19, i64 noundef %20)
  %22 = tail call i64 @guard(i64 noundef %21, i64 noundef %8)
  %23 = getelementptr inbounds i8, ptr %.0236259.us, i64 8
  store i64 %22, ptr %.0236259.us, align 8, !tbaa !5
  %24 = tail call i64 @sub(i64 noundef %19, i64 noundef %20, i64 noundef %8)
  %25 = load i64, ptr %16, align 8, !tbaa !5
  %26 = load i64, ptr %17, align 8, !tbaa !5
  %27 = tail call i64 @mul_root(i64 noundef %24, i64 noundef %2, i64 noundef %25, i64 noundef %26)
  %28 = getelementptr inbounds i8, ptr %.0240258.us, i64 8
  store i64 %27, ptr %.0240258.us, align 8, !tbaa !5
  %29 = add nuw i64 %.0233260.us, 1
  %exitcond289.not = icmp eq i64 %29, %.0239266
  br i1 %exitcond289.not, label %._crit_edge.us, label %18, !llvm.loop !9

._crit_edge.us:                                   ; preds = %18
  %30 = add i64 %.0235262.us, %12
  %31 = add nuw nsw i64 %.0234263.us, 1
  %exitcond290.not = icmp eq i64 %31, %.0238269
  br i1 %exitcond290.not, label %.loopexit250, label %.lr.ph261.us, !llvm.loop !11

32:                                               ; preds = %.lr.ph, %38
  %.0232257 = phi i64 [ 0, %.lr.ph ], [ %40, %38 ]
  %.1256 = phi i64 [ 0, %.lr.ph ], [ %39, %38 ]
  %33 = getelementptr inbounds i64, ptr %0, i64 %.1256
  %34 = getelementptr inbounds i64, ptr %33, i64 %.0239266
  %35 = add nuw i64 %.0232257, %.0238269
  %36 = getelementptr inbounds i64, ptr %5, i64 %35
  %37 = getelementptr inbounds i64, ptr %6, i64 %35
  br label %41

38:                                               ; preds = %41
  %39 = add i64 %.1256, %11
  %40 = add nuw nsw i64 %.0232257, 1
  %exitcond.not = icmp eq i64 %40, %.0238269
  br i1 %exitcond.not, label %.loopexit250, label %32, !llvm.loop !12

41:                                               ; preds = %32, %41
  %.0231255 = phi i64 [ 0, %32 ], [ %82, %41 ]
  %.1237254 = phi ptr [ %33, %32 ], [ %76, %41 ]
  %.1241253 = phi ptr [ %34, %32 ], [ %81, %41 ]
  %42 = load i64, ptr %.1237254, align 8, !tbaa !5
  %43 = load i64, ptr %.1241253, align 8, !tbaa !5
  %44 = tail call i64 @add(i64 noundef %42, i64 noundef %43)
  %45 = tail call i64 @guard(i64 noundef %44, i64 noundef %8)
  %46 = getelementptr inbounds i8, ptr %.1237254, i64 8
  store i64 %45, ptr %.1237254, align 8, !tbaa !5
  %47 = tail call i64 @sub(i64 noundef %42, i64 noundef %43, i64 noundef %8)
  %48 = load i64, ptr %36, align 8, !tbaa !5
  %49 = load i64, ptr %37, align 8, !tbaa !5
  %50 = tail call i64 @mul_root(i64 noundef %47, i64 noundef %2, i64 noundef %48, i64 noundef %49)
  %51 = getelementptr inbounds i8, ptr %.1241253, i64 8
  store i64 %50, ptr %.1241253, align 8, !tbaa !5
  %52 = load i64, ptr %46, align 8, !tbaa !5
  %53 = load i64, ptr %51, align 8, !tbaa !5
  %54 = tail call i64 @add(i64 noundef %52, i64 noundef %53)
  %55 = tail call i64 @guard(i64 noundef %54, i64 noundef %8)
  %56 = getelementptr inbounds i8, ptr %.1237254, i64 16
  store i64 %55, ptr %46, align 8, !tbaa !5
  %57 = tail call i64 @sub(i64 noundef %52, i64 noundef %53, i64 noundef %8)
  %58 = load i64, ptr %36, align 8, !tbaa !5
  %59 = load i64, ptr %37, align 8, !tbaa !5
  %60 = tail call i64 @mul_root(i64 noundef %57, i64 noundef %2, i64 noundef %58, i64 noundef %59)
  %61 = getelementptr inbounds i8, ptr %.1241253, i64 16
  store i64 %60, ptr %51, align 8, !tbaa !5
  %62 = load i64, ptr %56, align 8, !tbaa !5
  %63 = load i64, ptr %61, align 8, !tbaa !5
  %64 = tail call i64 @add(i64 noundef %62, i64 noundef %63)
  %65 = tail call i64 @guard(i64 noundef %64, i64 noundef %8)
  %66 = getelementptr inbounds i8, ptr %.1237254, i64 24
  store i64 %65, ptr %56, align 8, !tbaa !5
  %67 = tail call i64 @sub(i64 noundef %62, i64 noundef %63, i64 noundef %8)
  %68 = load i64, ptr %36, align 8, !tbaa !5
  %69 = load i64, ptr %37, align 8, !tbaa !5
  %70 = tail call i64 @mul_root(i64 noundef %67, i64 noundef %2, i64 noundef %68, i64 noundef %69)
  %71 = getelementptr inbounds i8, ptr %.1241253, i64 24
  store i64 %70, ptr %61, align 8, !tbaa !5
  %72 = load i64, ptr %66, align 8, !tbaa !5
  %73 = load i64, ptr %71, align 8, !tbaa !5
  %74 = tail call i64 @add(i64 noundef %72, i64 noundef %73)
  %75 = tail call i64 @guard(i64 noundef %74, i64 noundef %8)
  %76 = getelementptr inbounds i8, ptr %.1237254, i64 32
  store i64 %75, ptr %66, align 8, !tbaa !5
  %77 = tail call i64 @sub(i64 noundef %72, i64 noundef %73, i64 noundef %8)
  %78 = load i64, ptr %36, align 8, !tbaa !5
  %79 = load i64, ptr %37, align 8, !tbaa !5
  %80 = tail call i64 @mul_root(i64 noundef %77, i64 noundef %2, i64 noundef %78, i64 noundef %79)
  %81 = getelementptr inbounds i8, ptr %.1241253, i64 32
  store i64 %80, ptr %71, align 8, !tbaa !5
  %82 = add i64 %.0231255, 4
  %83 = icmp ult i64 %82, %.0239266
  br i1 %83, label %41, label %38, !llvm.loop !13

.loopexit250.thread:                              ; preds = %.preheader251, %.preheader249
  %84 = shl i64 %.0239266, 1
  br label %._crit_edge

.loopexit250:                                     ; preds = %38, %._crit_edge.us, %.lr.ph264
  %85 = shl i64 %.0239266, 1
  %86 = icmp ugt i64 %.0238269.in, 7
  br i1 %86, label %.lr.ph270, label %._crit_edge, !llvm.loop !14

._crit_edge:                                      ; preds = %.loopexit250, %.loopexit250.thread, %7
  %.0239.lcssa = phi i64 [ 1, %7 ], [ %84, %.loopexit250.thread ], [ %85, %.loopexit250 ]
  %87 = getelementptr inbounds i8, ptr %5, i64 8
  %88 = load i64, ptr %87, align 8, !tbaa !5
  %89 = tail call i64 @mul_root(i64 noundef %88, i64 noundef %2, i64 noundef %3, i64 noundef %4)
  %90 = zext i64 %89 to i128
  %91 = shl nuw i128 %90, 64
  %92 = zext i64 %2 to i128
  %93 = udiv i128 %91, %92
  %94 = trunc i128 %93 to i64
  %95 = getelementptr inbounds i64, ptr %0, i64 %.0239.lcssa
  %96 = icmp ult i64 %.0239.lcssa, 4
  br i1 %96, label %.preheader, label %.preheader247

.preheader:                                       ; preds = %._crit_edge
  %.not284 = icmp eq i64 %.0239.lcssa, 0
  br i1 %.not284, label %.loopexit, label %.lr.ph277

.lr.ph277:                                        ; preds = %.preheader, %.lr.ph277
  %.0230276 = phi i64 [ %107, %.lr.ph277 ], [ 0, %.preheader ]
  %.2275 = phi ptr [ %103, %.lr.ph277 ], [ %0, %.preheader ]
  %.2242274 = phi ptr [ %106, %.lr.ph277 ], [ %95, %.preheader ]
  %97 = load i64, ptr %.2275, align 8, !tbaa !5
  %98 = tail call i64 @guard(i64 noundef %97, i64 noundef %8)
  %99 = load i64, ptr %.2242274, align 8, !tbaa !5
  %100 = tail call i64 @add(i64 noundef %98, i64 noundef %99)
  %101 = tail call i64 @guard(i64 noundef %100, i64 noundef %8)
  %102 = tail call i64 @mul_scalar(i64 noundef %101, i64 noundef %2, i64 noundef %3, i64 noundef %4)
  %103 = getelementptr inbounds i8, ptr %.2275, i64 8
  store i64 %102, ptr %.2275, align 8, !tbaa !5
  %104 = tail call i64 @sub(i64 noundef %98, i64 noundef %99, i64 noundef %8)
  %105 = tail call i64 @mul_root(i64 noundef %104, i64 noundef %2, i64 noundef %89, i64 noundef %94)
  %106 = getelementptr inbounds i8, ptr %.2242274, i64 8
  store i64 %105, ptr %.2242274, align 8, !tbaa !5
  %107 = add nuw i64 %.0230276, 1
  %exitcond291.not = icmp eq i64 %107, %.0239.lcssa
  br i1 %exitcond291.not, label %.loopexit, label %.lr.ph277, !llvm.loop !15

.preheader247:                                    ; preds = %._crit_edge, %.preheader247
  %.0229273 = phi i64 [ %148, %.preheader247 ], [ 0, %._crit_edge ]
  %.3272 = phi ptr [ %144, %.preheader247 ], [ %0, %._crit_edge ]
  %.3243271 = phi ptr [ %147, %.preheader247 ], [ %95, %._crit_edge ]
  %108 = load i64, ptr %.3272, align 8, !tbaa !5
  %109 = tail call i64 @guard(i64 noundef %108, i64 noundef %8)
  %110 = load i64, ptr %.3243271, align 8, !tbaa !5
  %111 = tail call i64 @add(i64 noundef %109, i64 noundef %110)
  %112 = tail call i64 @guard(i64 noundef %111, i64 noundef %8)
  %113 = tail call i64 @mul_scalar(i64 noundef %112, i64 noundef %2, i64 noundef %3, i64 noundef %4)
  %114 = getelementptr inbounds i8, ptr %.3272, i64 8
  store i64 %113, ptr %.3272, align 8, !tbaa !5
  %115 = tail call i64 @sub(i64 noundef %109, i64 noundef %110, i64 noundef %8)
  %116 = tail call i64 @mul_root(i64 noundef %115, i64 noundef %2, i64 noundef %89, i64 noundef %94)
  %117 = getelementptr inbounds i8, ptr %.3243271, i64 8
  store i64 %116, ptr %.3243271, align 8, !tbaa !5
  %118 = load i64, ptr %114, align 8, !tbaa !5
  %119 = tail call i64 @guard(i64 noundef %118, i64 noundef %8)
  %120 = load i64, ptr %117, align 8, !tbaa !5
  %121 = tail call i64 @add(i64 noundef %119, i64 noundef %120)
  %122 = tail call i64 @guard(i64 noundef %121, i64 noundef %8)
  %123 = tail call i64 @mul_scalar(i64 noundef %122, i64 noundef %2, i64 noundef %3, i64 noundef %4)
  %124 = getelementptr inbounds i8, ptr %.3272, i64 16
  store i64 %123, ptr %114, align 8, !tbaa !5
  %125 = tail call i64 @sub(i64 noundef %119, i64 noundef %120, i64 noundef %8)
  %126 = tail call i64 @mul_root(i64 noundef %125, i64 noundef %2, i64 noundef %89, i64 noundef %94)
  %127 = getelementptr inbounds i8, ptr %.3243271, i64 16
  store i64 %126, ptr %117, align 8, !tbaa !5
  %128 = load i64, ptr %124, align 8, !tbaa !5
  %129 = tail call i64 @guard(i64 noundef %128, i64 noundef %8)
  %130 = load i64, ptr %127, align 8, !tbaa !5
  %131 = tail call i64 @add(i64 noundef %129, i64 noundef %130)
  %132 = tail call i64 @guard(i64 noundef %131, i64 noundef %8)
  %133 = tail call i64 @mul_scalar(i64 noundef %132, i64 noundef %2, i64 noundef %3, i64 noundef %4)
  %134 = getelementptr inbounds i8, ptr %.3272, i64 24
  store i64 %133, ptr %124, align 8, !tbaa !5
  %135 = tail call i64 @sub(i64 noundef %129, i64 noundef %130, i64 noundef %8)
  %136 = tail call i64 @mul_root(i64 noundef %135, i64 noundef %2, i64 noundef %89, i64 noundef %94)
  %137 = getelementptr inbounds i8, ptr %.3243271, i64 24
  store i64 %136, ptr %127, align 8, !tbaa !5
  %138 = load i64, ptr %134, align 8, !tbaa !5
  %139 = tail call i64 @guard(i64 noundef %138, i64 noundef %8)
  %140 = load i64, ptr %137, align 8, !tbaa !5
  %141 = tail call i64 @add(i64 noundef %139, i64 noundef %140)
  %142 = tail call i64 @guard(i64 noundef %141, i64 noundef %8)
  %143 = tail call i64 @mul_scalar(i64 noundef %142, i64 noundef %2, i64 noundef %3, i64 noundef %4)
  %144 = getelementptr inbounds i8, ptr %.3272, i64 32
  store i64 %143, ptr %134, align 8, !tbaa !5
  %145 = tail call i64 @sub(i64 noundef %139, i64 noundef %140, i64 noundef %8)
  %146 = tail call i64 @mul_root(i64 noundef %145, i64 noundef %2, i64 noundef %89, i64 noundef %94)
  %147 = getelementptr inbounds i8, ptr %.3243271, i64 32
  store i64 %146, ptr %137, align 8, !tbaa !5
  %148 = add i64 %.0229273, 4
  %149 = icmp ult i64 %148, %.0239.lcssa
  br i1 %149, label %.preheader247, label %.loopexit, !llvm.loop !16

.loopexit:                                        ; preds = %.preheader247, %.lr.ph277, %.preheader
  %.not285 = icmp eq i64 %1, 0
  br i1 %.not285, label %._crit_edge281, label %.lr.ph280.preheader

.lr.ph280.preheader:                              ; preds = %.loopexit
  %xtraiter = and i64 %1, 1
  %150 = icmp eq i64 %1, 1
  br i1 %150, label %._crit_edge281.loopexit.unr-lcssa, label %.lr.ph280.preheader.new

.lr.ph280.preheader.new:                          ; preds = %.lr.ph280.preheader
  %unroll_iter = and i64 %1, -2
  br label %.lr.ph280

._crit_edge281.loopexit.unr-lcssa:                ; preds = %.lr.ph280, %.lr.ph280.preheader
  %.0278.unr = phi i64 [ 0, %.lr.ph280.preheader ], [ %167, %.lr.ph280 ]
  %lcmp.mod.not = icmp eq i64 %xtraiter, 0
  br i1 %lcmp.mod.not, label %._crit_edge281, label %.lr.ph280.epil

.lr.ph280.epil:                                   ; preds = %._crit_edge281.loopexit.unr-lcssa
  %151 = getelementptr inbounds i64, ptr %0, i64 %.0278.unr
  %152 = load i64, ptr %151, align 8, !tbaa !5
  %153 = icmp ult i64 %152, %2
  %154 = select i1 %153, i64 0, i64 %2
  %155 = sub i64 %152, %154
  store i64 %155, ptr %151, align 8, !tbaa !5
  br label %._crit_edge281

._crit_edge281:                                   ; preds = %.lr.ph280.epil, %._crit_edge281.loopexit.unr-lcssa, %.loopexit
  ret void

.lr.ph280:                                        ; preds = %.lr.ph280, %.lr.ph280.preheader.new
  %.0278 = phi i64 [ 0, %.lr.ph280.preheader.new ], [ %167, %.lr.ph280 ]
  %niter = phi i64 [ 0, %.lr.ph280.preheader.new ], [ %niter.next.1, %.lr.ph280 ]
  %156 = getelementptr inbounds i64, ptr %0, i64 %.0278
  %157 = load i64, ptr %156, align 8, !tbaa !5
  %158 = icmp ult i64 %157, %2
  %159 = select i1 %158, i64 0, i64 %2
  %160 = sub i64 %157, %159
  store i64 %160, ptr %156, align 8, !tbaa !5
  %161 = or disjoint i64 %.0278, 1
  %162 = getelementptr inbounds i64, ptr %0, i64 %161
  %163 = load i64, ptr %162, align 8, !tbaa !5
  %164 = icmp ult i64 %163, %2
  %165 = select i1 %164, i64 0, i64 %2
  %166 = sub i64 %163, %165
  store i64 %166, ptr %162, align 8, !tbaa !5
  %167 = add nuw i64 %.0278, 2
  %niter.next.1 = add i64 %niter, 2
  %niter.ncmp.1 = icmp eq i64 %niter.next.1, %unroll_iter
  br i1 %niter.ncmp.1, label %._crit_edge281.loopexit.unr-lcssa, label %.lr.ph280, !llvm.loop !17
}

; Function Attrs: inlinehint nounwind uwtable
declare hidden i64 @mul_scalar(i64 noundef, i64 noundef, i64 noundef, i64 noundef) local_unnamed_addr #0

attributes #0 = { inlinehint 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 #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" }

!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 = !{!"long", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = distinct !{!9, !10}
!10 = !{!"llvm.loop.mustprogress"}
!11 = distinct !{!11, !10}
!12 = distinct !{!12, !10}
!13 = distinct !{!13, !10}
!14 = distinct !{!14, !10}
!15 = distinct !{!15, !10}
!16 = distinct !{!16, !10}
!17 = distinct !{!17, !10}


; Effective O3 passes: CorrelatedValuePropagationPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferFunctionAttrsPass,InstCombinePass,InstSimplifyPass,JumpThreadingPass,LCSSAPass,LICMPass,LoopInstSimplifyPass,LoopRotatePass,LoopSimplifyCFGPass,LoopSimplifyPass,LoopUnrollPass,PostOrderFunctionAttrsPass,ReassociatePass,SROAPass,SimplifyCFGPass,TailCallElimPass