; LLVM IR from rweather/lightweight-crypto :: src/combined (internal-knot-m)

; 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.knot512_masked_state_t = type { [8 x %struct.mask_x4_uint64_t] }
%struct.mask_x4_uint64_t = type { i64, i64, i64, i64 }

declare i64 @aead_random_generate_64() #0

; Function Attrs: nounwind uwtable
define dso_local void @knot512_mask(ptr noundef %0, ptr noundef %1) #1 {
  %3 = alloca ptr, align 8
  %4 = alloca ptr, align 8
  store ptr %0, ptr %3, align 8, !tbaa !5
  store ptr %1, ptr %4, align 8, !tbaa !5
  br label %5

5:                                                ; preds = %2
  %6 = call i64 @aead_random_generate_64()
  %7 = load ptr, ptr %3, align 8, !tbaa !5
  %8 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %7, i32 0, i32 0
  %9 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %8, i64 0, i64 0
  %10 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %9, i32 0, i32 1
  store i64 %6, ptr %10, align 8, !tbaa !9
  %11 = call i64 @aead_random_generate_64()
  %12 = load ptr, ptr %3, align 8, !tbaa !5
  %13 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %12, i32 0, i32 0
  %14 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %13, i64 0, i64 0
  %15 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %14, i32 0, i32 2
  store i64 %11, ptr %15, align 8, !tbaa !12
  %16 = call i64 @aead_random_generate_64()
  %17 = load ptr, ptr %3, align 8, !tbaa !5
  %18 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %17, i32 0, i32 0
  %19 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %18, i64 0, i64 0
  %20 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %19, i32 0, i32 3
  store i64 %16, ptr %20, align 8, !tbaa !13
  %21 = load ptr, ptr %4, align 8, !tbaa !5
  %22 = getelementptr inbounds i64, ptr %21, i64 0
  %23 = load i64, ptr %22, align 8, !tbaa !14
  %24 = load ptr, ptr %3, align 8, !tbaa !5
  %25 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %24, i32 0, i32 0
  %26 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %25, i64 0, i64 0
  %27 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %26, i32 0, i32 1
  %28 = load i64, ptr %27, align 8, !tbaa !9
  %29 = xor i64 %23, %28
  %30 = load ptr, ptr %3, align 8, !tbaa !5
  %31 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %30, i32 0, i32 0
  %32 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %31, i64 0, i64 0
  %33 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %32, i32 0, i32 2
  %34 = load i64, ptr %33, align 8, !tbaa !12
  %35 = xor i64 %29, %34
  %36 = load ptr, ptr %3, align 8, !tbaa !5
  %37 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %36, i32 0, i32 0
  %38 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %37, i64 0, i64 0
  %39 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %38, i32 0, i32 3
  %40 = load i64, ptr %39, align 8, !tbaa !13
  %41 = xor i64 %35, %40
  %42 = load ptr, ptr %3, align 8, !tbaa !5
  %43 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %42, i32 0, i32 0
  %44 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %43, i64 0, i64 0
  %45 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %44, i32 0, i32 0
  store i64 %41, ptr %45, align 8, !tbaa !15
  br label %46

46:                                               ; preds = %5
  br label %47

47:                                               ; preds = %46
  %48 = call i64 @aead_random_generate_64()
  %49 = load ptr, ptr %3, align 8, !tbaa !5
  %50 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %49, i32 0, i32 0
  %51 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %50, i64 0, i64 1
  %52 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %51, i32 0, i32 1
  store i64 %48, ptr %52, align 8, !tbaa !9
  %53 = call i64 @aead_random_generate_64()
  %54 = load ptr, ptr %3, align 8, !tbaa !5
  %55 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %54, i32 0, i32 0
  %56 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %55, i64 0, i64 1
  %57 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %56, i32 0, i32 2
  store i64 %53, ptr %57, align 8, !tbaa !12
  %58 = call i64 @aead_random_generate_64()
  %59 = load ptr, ptr %3, align 8, !tbaa !5
  %60 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %59, i32 0, i32 0
  %61 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %60, i64 0, i64 1
  %62 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %61, i32 0, i32 3
  store i64 %58, ptr %62, align 8, !tbaa !13
  %63 = load ptr, ptr %4, align 8, !tbaa !5
  %64 = getelementptr inbounds i64, ptr %63, i64 1
  %65 = load i64, ptr %64, align 8, !tbaa !14
  %66 = load ptr, ptr %3, align 8, !tbaa !5
  %67 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %66, i32 0, i32 0
  %68 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %67, i64 0, i64 1
  %69 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %68, i32 0, i32 1
  %70 = load i64, ptr %69, align 8, !tbaa !9
  %71 = xor i64 %65, %70
  %72 = load ptr, ptr %3, align 8, !tbaa !5
  %73 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %72, i32 0, i32 0
  %74 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %73, i64 0, i64 1
  %75 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %74, i32 0, i32 2
  %76 = load i64, ptr %75, align 8, !tbaa !12
  %77 = xor i64 %71, %76
  %78 = load ptr, ptr %3, align 8, !tbaa !5
  %79 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %78, i32 0, i32 0
  %80 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %79, i64 0, i64 1
  %81 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %80, i32 0, i32 3
  %82 = load i64, ptr %81, align 8, !tbaa !13
  %83 = xor i64 %77, %82
  %84 = load ptr, ptr %3, align 8, !tbaa !5
  %85 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %84, i32 0, i32 0
  %86 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %85, i64 0, i64 1
  %87 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %86, i32 0, i32 0
  store i64 %83, ptr %87, align 8, !tbaa !15
  br label %88

88:                                               ; preds = %47
  br label %89

89:                                               ; preds = %88
  %90 = call i64 @aead_random_generate_64()
  %91 = load ptr, ptr %3, align 8, !tbaa !5
  %92 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %91, i32 0, i32 0
  %93 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %92, i64 0, i64 2
  %94 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %93, i32 0, i32 1
  store i64 %90, ptr %94, align 8, !tbaa !9
  %95 = call i64 @aead_random_generate_64()
  %96 = load ptr, ptr %3, align 8, !tbaa !5
  %97 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %96, i32 0, i32 0
  %98 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %97, i64 0, i64 2
  %99 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %98, i32 0, i32 2
  store i64 %95, ptr %99, align 8, !tbaa !12
  %100 = call i64 @aead_random_generate_64()
  %101 = load ptr, ptr %3, align 8, !tbaa !5
  %102 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %101, i32 0, i32 0
  %103 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %102, i64 0, i64 2
  %104 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %103, i32 0, i32 3
  store i64 %100, ptr %104, align 8, !tbaa !13
  %105 = load ptr, ptr %4, align 8, !tbaa !5
  %106 = getelementptr inbounds i64, ptr %105, i64 2
  %107 = load i64, ptr %106, align 8, !tbaa !14
  %108 = load ptr, ptr %3, align 8, !tbaa !5
  %109 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %108, i32 0, i32 0
  %110 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %109, i64 0, i64 2
  %111 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %110, i32 0, i32 1
  %112 = load i64, ptr %111, align 8, !tbaa !9
  %113 = xor i64 %107, %112
  %114 = load ptr, ptr %3, align 8, !tbaa !5
  %115 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %114, i32 0, i32 0
  %116 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %115, i64 0, i64 2
  %117 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %116, i32 0, i32 2
  %118 = load i64, ptr %117, align 8, !tbaa !12
  %119 = xor i64 %113, %118
  %120 = load ptr, ptr %3, align 8, !tbaa !5
  %121 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %120, i32 0, i32 0
  %122 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %121, i64 0, i64 2
  %123 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %122, i32 0, i32 3
  %124 = load i64, ptr %123, align 8, !tbaa !13
  %125 = xor i64 %119, %124
  %126 = load ptr, ptr %3, align 8, !tbaa !5
  %127 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %126, i32 0, i32 0
  %128 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %127, i64 0, i64 2
  %129 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %128, i32 0, i32 0
  store i64 %125, ptr %129, align 8, !tbaa !15
  br label %130

130:                                              ; preds = %89
  br label %131

131:                                              ; preds = %130
  %132 = call i64 @aead_random_generate_64()
  %133 = load ptr, ptr %3, align 8, !tbaa !5
  %134 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %133, i32 0, i32 0
  %135 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %134, i64 0, i64 3
  %136 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %135, i32 0, i32 1
  store i64 %132, ptr %136, align 8, !tbaa !9
  %137 = call i64 @aead_random_generate_64()
  %138 = load ptr, ptr %3, align 8, !tbaa !5
  %139 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %138, i32 0, i32 0
  %140 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %139, i64 0, i64 3
  %141 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %140, i32 0, i32 2
  store i64 %137, ptr %141, align 8, !tbaa !12
  %142 = call i64 @aead_random_generate_64()
  %143 = load ptr, ptr %3, align 8, !tbaa !5
  %144 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %143, i32 0, i32 0
  %145 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %144, i64 0, i64 3
  %146 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %145, i32 0, i32 3
  store i64 %142, ptr %146, align 8, !tbaa !13
  %147 = load ptr, ptr %4, align 8, !tbaa !5
  %148 = getelementptr inbounds i64, ptr %147, i64 3
  %149 = load i64, ptr %148, align 8, !tbaa !14
  %150 = load ptr, ptr %3, align 8, !tbaa !5
  %151 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %150, i32 0, i32 0
  %152 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %151, i64 0, i64 3
  %153 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %152, i32 0, i32 1
  %154 = load i64, ptr %153, align 8, !tbaa !9
  %155 = xor i64 %149, %154
  %156 = load ptr, ptr %3, align 8, !tbaa !5
  %157 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %156, i32 0, i32 0
  %158 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %157, i64 0, i64 3
  %159 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %158, i32 0, i32 2
  %160 = load i64, ptr %159, align 8, !tbaa !12
  %161 = xor i64 %155, %160
  %162 = load ptr, ptr %3, align 8, !tbaa !5
  %163 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %162, i32 0, i32 0
  %164 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %163, i64 0, i64 3
  %165 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %164, i32 0, i32 3
  %166 = load i64, ptr %165, align 8, !tbaa !13
  %167 = xor i64 %161, %166
  %168 = load ptr, ptr %3, align 8, !tbaa !5
  %169 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %168, i32 0, i32 0
  %170 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %169, i64 0, i64 3
  %171 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %170, i32 0, i32 0
  store i64 %167, ptr %171, align 8, !tbaa !15
  br label %172

172:                                              ; preds = %131
  br label %173

173:                                              ; preds = %172
  %174 = call i64 @aead_random_generate_64()
  %175 = load ptr, ptr %3, align 8, !tbaa !5
  %176 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %175, i32 0, i32 0
  %177 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %176, i64 0, i64 4
  %178 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %177, i32 0, i32 1
  store i64 %174, ptr %178, align 8, !tbaa !9
  %179 = call i64 @aead_random_generate_64()
  %180 = load ptr, ptr %3, align 8, !tbaa !5
  %181 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %180, i32 0, i32 0
  %182 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %181, i64 0, i64 4
  %183 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %182, i32 0, i32 2
  store i64 %179, ptr %183, align 8, !tbaa !12
  %184 = call i64 @aead_random_generate_64()
  %185 = load ptr, ptr %3, align 8, !tbaa !5
  %186 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %185, i32 0, i32 0
  %187 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %186, i64 0, i64 4
  %188 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %187, i32 0, i32 3
  store i64 %184, ptr %188, align 8, !tbaa !13
  %189 = load ptr, ptr %4, align 8, !tbaa !5
  %190 = getelementptr inbounds i64, ptr %189, i64 4
  %191 = load i64, ptr %190, align 8, !tbaa !14
  %192 = load ptr, ptr %3, align 8, !tbaa !5
  %193 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %192, i32 0, i32 0
  %194 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %193, i64 0, i64 4
  %195 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %194, i32 0, i32 1
  %196 = load i64, ptr %195, align 8, !tbaa !9
  %197 = xor i64 %191, %196
  %198 = load ptr, ptr %3, align 8, !tbaa !5
  %199 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %198, i32 0, i32 0
  %200 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %199, i64 0, i64 4
  %201 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %200, i32 0, i32 2
  %202 = load i64, ptr %201, align 8, !tbaa !12
  %203 = xor i64 %197, %202
  %204 = load ptr, ptr %3, align 8, !tbaa !5
  %205 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %204, i32 0, i32 0
  %206 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %205, i64 0, i64 4
  %207 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %206, i32 0, i32 3
  %208 = load i64, ptr %207, align 8, !tbaa !13
  %209 = xor i64 %203, %208
  %210 = load ptr, ptr %3, align 8, !tbaa !5
  %211 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %210, i32 0, i32 0
  %212 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %211, i64 0, i64 4
  %213 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %212, i32 0, i32 0
  store i64 %209, ptr %213, align 8, !tbaa !15
  br label %214

214:                                              ; preds = %173
  br label %215

215:                                              ; preds = %214
  %216 = call i64 @aead_random_generate_64()
  %217 = load ptr, ptr %3, align 8, !tbaa !5
  %218 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %217, i32 0, i32 0
  %219 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %218, i64 0, i64 5
  %220 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %219, i32 0, i32 1
  store i64 %216, ptr %220, align 8, !tbaa !9
  %221 = call i64 @aead_random_generate_64()
  %222 = load ptr, ptr %3, align 8, !tbaa !5
  %223 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %222, i32 0, i32 0
  %224 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %223, i64 0, i64 5
  %225 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %224, i32 0, i32 2
  store i64 %221, ptr %225, align 8, !tbaa !12
  %226 = call i64 @aead_random_generate_64()
  %227 = load ptr, ptr %3, align 8, !tbaa !5
  %228 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %227, i32 0, i32 0
  %229 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %228, i64 0, i64 5
  %230 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %229, i32 0, i32 3
  store i64 %226, ptr %230, align 8, !tbaa !13
  %231 = load ptr, ptr %4, align 8, !tbaa !5
  %232 = getelementptr inbounds i64, ptr %231, i64 5
  %233 = load i64, ptr %232, align 8, !tbaa !14
  %234 = load ptr, ptr %3, align 8, !tbaa !5
  %235 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %234, i32 0, i32 0
  %236 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %235, i64 0, i64 5
  %237 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %236, i32 0, i32 1
  %238 = load i64, ptr %237, align 8, !tbaa !9
  %239 = xor i64 %233, %238
  %240 = load ptr, ptr %3, align 8, !tbaa !5
  %241 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %240, i32 0, i32 0
  %242 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %241, i64 0, i64 5
  %243 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %242, i32 0, i32 2
  %244 = load i64, ptr %243, align 8, !tbaa !12
  %245 = xor i64 %239, %244
  %246 = load ptr, ptr %3, align 8, !tbaa !5
  %247 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %246, i32 0, i32 0
  %248 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %247, i64 0, i64 5
  %249 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %248, i32 0, i32 3
  %250 = load i64, ptr %249, align 8, !tbaa !13
  %251 = xor i64 %245, %250
  %252 = load ptr, ptr %3, align 8, !tbaa !5
  %253 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %252, i32 0, i32 0
  %254 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %253, i64 0, i64 5
  %255 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %254, i32 0, i32 0
  store i64 %251, ptr %255, align 8, !tbaa !15
  br label %256

256:                                              ; preds = %215
  br label %257

257:                                              ; preds = %256
  %258 = call i64 @aead_random_generate_64()
  %259 = load ptr, ptr %3, align 8, !tbaa !5
  %260 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %259, i32 0, i32 0
  %261 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %260, i64 0, i64 6
  %262 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %261, i32 0, i32 1
  store i64 %258, ptr %262, align 8, !tbaa !9
  %263 = call i64 @aead_random_generate_64()
  %264 = load ptr, ptr %3, align 8, !tbaa !5
  %265 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %264, i32 0, i32 0
  %266 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %265, i64 0, i64 6
  %267 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %266, i32 0, i32 2
  store i64 %263, ptr %267, align 8, !tbaa !12
  %268 = call i64 @aead_random_generate_64()
  %269 = load ptr, ptr %3, align 8, !tbaa !5
  %270 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %269, i32 0, i32 0
  %271 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %270, i64 0, i64 6
  %272 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %271, i32 0, i32 3
  store i64 %268, ptr %272, align 8, !tbaa !13
  %273 = load ptr, ptr %4, align 8, !tbaa !5
  %274 = getelementptr inbounds i64, ptr %273, i64 6
  %275 = load i64, ptr %274, align 8, !tbaa !14
  %276 = load ptr, ptr %3, align 8, !tbaa !5
  %277 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %276, i32 0, i32 0
  %278 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %277, i64 0, i64 6
  %279 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %278, i32 0, i32 1
  %280 = load i64, ptr %279, align 8, !tbaa !9
  %281 = xor i64 %275, %280
  %282 = load ptr, ptr %3, align 8, !tbaa !5
  %283 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %282, i32 0, i32 0
  %284 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %283, i64 0, i64 6
  %285 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %284, i32 0, i32 2
  %286 = load i64, ptr %285, align 8, !tbaa !12
  %287 = xor i64 %281, %286
  %288 = load ptr, ptr %3, align 8, !tbaa !5
  %289 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %288, i32 0, i32 0
  %290 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %289, i64 0, i64 6
  %291 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %290, i32 0, i32 3
  %292 = load i64, ptr %291, align 8, !tbaa !13
  %293 = xor i64 %287, %292
  %294 = load ptr, ptr %3, align 8, !tbaa !5
  %295 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %294, i32 0, i32 0
  %296 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %295, i64 0, i64 6
  %297 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %296, i32 0, i32 0
  store i64 %293, ptr %297, align 8, !tbaa !15
  br label %298

298:                                              ; preds = %257
  br label %299

299:                                              ; preds = %298
  %300 = call i64 @aead_random_generate_64()
  %301 = load ptr, ptr %3, align 8, !tbaa !5
  %302 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %301, i32 0, i32 0
  %303 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %302, i64 0, i64 7
  %304 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %303, i32 0, i32 1
  store i64 %300, ptr %304, align 8, !tbaa !9
  %305 = call i64 @aead_random_generate_64()
  %306 = load ptr, ptr %3, align 8, !tbaa !5
  %307 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %306, i32 0, i32 0
  %308 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %307, i64 0, i64 7
  %309 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %308, i32 0, i32 2
  store i64 %305, ptr %309, align 8, !tbaa !12
  %310 = call i64 @aead_random_generate_64()
  %311 = load ptr, ptr %3, align 8, !tbaa !5
  %312 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %311, i32 0, i32 0
  %313 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %312, i64 0, i64 7
  %314 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %313, i32 0, i32 3
  store i64 %310, ptr %314, align 8, !tbaa !13
  %315 = load ptr, ptr %4, align 8, !tbaa !5
  %316 = getelementptr inbounds i64, ptr %315, i64 7
  %317 = load i64, ptr %316, align 8, !tbaa !14
  %318 = load ptr, ptr %3, align 8, !tbaa !5
  %319 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %318, i32 0, i32 0
  %320 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %319, i64 0, i64 7
  %321 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %320, i32 0, i32 1
  %322 = load i64, ptr %321, align 8, !tbaa !9
  %323 = xor i64 %317, %322
  %324 = load ptr, ptr %3, align 8, !tbaa !5
  %325 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %324, i32 0, i32 0
  %326 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %325, i64 0, i64 7
  %327 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %326, i32 0, i32 2
  %328 = load i64, ptr %327, align 8, !tbaa !12
  %329 = xor i64 %323, %328
  %330 = load ptr, ptr %3, align 8, !tbaa !5
  %331 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %330, i32 0, i32 0
  %332 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %331, i64 0, i64 7
  %333 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %332, i32 0, i32 3
  %334 = load i64, ptr %333, align 8, !tbaa !13
  %335 = xor i64 %329, %334
  %336 = load ptr, ptr %3, align 8, !tbaa !5
  %337 = getelementptr inbounds %struct.knot512_masked_state_t, ptr %336, i32 0, i32 0
  %338 = getelementptr inbounds [8 x %struct.mask_x4_uint64_t], ptr %337, i64 0, i64 7
  %339 = getelementptr inbounds %struct.mask_x4_uint64_t, ptr %338, i32 0, i32 0
  store i64 %335, ptr %339, align 8, !tbaa !15
  br label %340

340:                                              ; preds = %299
  ret void
}

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

!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, !11, i64 8}
!10 = !{!"", !11, i64 0, !11, i64 8, !11, i64 16, !11, i64 24}
!11 = !{!"long", !7, i64 0}
!12 = !{!10, !11, i64 16}
!13 = !{!10, !11, i64 24}
!14 = !{!11, !11, i64 0}
!15 = !{!10, !11, i64 0}


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

declare i64 @aead_random_generate_64() local_unnamed_addr #0

; Function Attrs: nounwind uwtable
define dso_local void @knot512_mask(ptr nocapture noundef %0, ptr nocapture noundef readonly %1) local_unnamed_addr #1 {
  %3 = tail call i64 @aead_random_generate_64() #2
  %4 = getelementptr inbounds i8, ptr %0, i64 8
  store i64 %3, ptr %4, align 8, !tbaa !5
  %5 = tail call i64 @aead_random_generate_64() #2
  %6 = getelementptr inbounds i8, ptr %0, i64 16
  store i64 %5, ptr %6, align 8, !tbaa !10
  %7 = tail call i64 @aead_random_generate_64() #2
  %8 = getelementptr inbounds i8, ptr %0, i64 24
  store i64 %7, ptr %8, align 8, !tbaa !11
  %9 = load i64, ptr %1, align 8, !tbaa !12
  %10 = load i64, ptr %4, align 8, !tbaa !5
  %11 = load i64, ptr %6, align 8, !tbaa !10
  %12 = xor i64 %9, %10
  %13 = xor i64 %12, %11
  %14 = xor i64 %13, %7
  store i64 %14, ptr %0, align 8, !tbaa !13
  %15 = tail call i64 @aead_random_generate_64() #2
  %16 = getelementptr inbounds i8, ptr %0, i64 32
  %17 = getelementptr inbounds i8, ptr %0, i64 40
  store i64 %15, ptr %17, align 8, !tbaa !5
  %18 = tail call i64 @aead_random_generate_64() #2
  %19 = getelementptr inbounds i8, ptr %0, i64 48
  store i64 %18, ptr %19, align 8, !tbaa !10
  %20 = tail call i64 @aead_random_generate_64() #2
  %21 = getelementptr inbounds i8, ptr %0, i64 56
  store i64 %20, ptr %21, align 8, !tbaa !11
  %22 = getelementptr inbounds i8, ptr %1, i64 8
  %23 = load i64, ptr %22, align 8, !tbaa !12
  %24 = load i64, ptr %17, align 8, !tbaa !5
  %25 = load i64, ptr %19, align 8, !tbaa !10
  %26 = xor i64 %23, %24
  %27 = xor i64 %26, %25
  %28 = xor i64 %27, %20
  store i64 %28, ptr %16, align 8, !tbaa !13
  %29 = tail call i64 @aead_random_generate_64() #2
  %30 = getelementptr inbounds i8, ptr %0, i64 64
  %31 = getelementptr inbounds i8, ptr %0, i64 72
  store i64 %29, ptr %31, align 8, !tbaa !5
  %32 = tail call i64 @aead_random_generate_64() #2
  %33 = getelementptr inbounds i8, ptr %0, i64 80
  store i64 %32, ptr %33, align 8, !tbaa !10
  %34 = tail call i64 @aead_random_generate_64() #2
  %35 = getelementptr inbounds i8, ptr %0, i64 88
  store i64 %34, ptr %35, align 8, !tbaa !11
  %36 = getelementptr inbounds i8, ptr %1, i64 16
  %37 = load i64, ptr %36, align 8, !tbaa !12
  %38 = load i64, ptr %31, align 8, !tbaa !5
  %39 = load i64, ptr %33, align 8, !tbaa !10
  %40 = xor i64 %37, %38
  %41 = xor i64 %40, %39
  %42 = xor i64 %41, %34
  store i64 %42, ptr %30, align 8, !tbaa !13
  %43 = tail call i64 @aead_random_generate_64() #2
  %44 = getelementptr inbounds i8, ptr %0, i64 96
  %45 = getelementptr inbounds i8, ptr %0, i64 104
  store i64 %43, ptr %45, align 8, !tbaa !5
  %46 = tail call i64 @aead_random_generate_64() #2
  %47 = getelementptr inbounds i8, ptr %0, i64 112
  store i64 %46, ptr %47, align 8, !tbaa !10
  %48 = tail call i64 @aead_random_generate_64() #2
  %49 = getelementptr inbounds i8, ptr %0, i64 120
  store i64 %48, ptr %49, align 8, !tbaa !11
  %50 = getelementptr inbounds i8, ptr %1, i64 24
  %51 = load i64, ptr %50, align 8, !tbaa !12
  %52 = load i64, ptr %45, align 8, !tbaa !5
  %53 = load i64, ptr %47, align 8, !tbaa !10
  %54 = xor i64 %51, %52
  %55 = xor i64 %54, %53
  %56 = xor i64 %55, %48
  store i64 %56, ptr %44, align 8, !tbaa !13
  %57 = tail call i64 @aead_random_generate_64() #2
  %58 = getelementptr inbounds i8, ptr %0, i64 128
  %59 = getelementptr inbounds i8, ptr %0, i64 136
  store i64 %57, ptr %59, align 8, !tbaa !5
  %60 = tail call i64 @aead_random_generate_64() #2
  %61 = getelementptr inbounds i8, ptr %0, i64 144
  store i64 %60, ptr %61, align 8, !tbaa !10
  %62 = tail call i64 @aead_random_generate_64() #2
  %63 = getelementptr inbounds i8, ptr %0, i64 152
  store i64 %62, ptr %63, align 8, !tbaa !11
  %64 = getelementptr inbounds i8, ptr %1, i64 32
  %65 = load i64, ptr %64, align 8, !tbaa !12
  %66 = load i64, ptr %59, align 8, !tbaa !5
  %67 = load i64, ptr %61, align 8, !tbaa !10
  %68 = xor i64 %65, %66
  %69 = xor i64 %68, %67
  %70 = xor i64 %69, %62
  store i64 %70, ptr %58, align 8, !tbaa !13
  %71 = tail call i64 @aead_random_generate_64() #2
  %72 = getelementptr inbounds i8, ptr %0, i64 160
  %73 = getelementptr inbounds i8, ptr %0, i64 168
  store i64 %71, ptr %73, align 8, !tbaa !5
  %74 = tail call i64 @aead_random_generate_64() #2
  %75 = getelementptr inbounds i8, ptr %0, i64 176
  store i64 %74, ptr %75, align 8, !tbaa !10
  %76 = tail call i64 @aead_random_generate_64() #2
  %77 = getelementptr inbounds i8, ptr %0, i64 184
  store i64 %76, ptr %77, align 8, !tbaa !11
  %78 = getelementptr inbounds i8, ptr %1, i64 40
  %79 = load i64, ptr %78, align 8, !tbaa !12
  %80 = load i64, ptr %73, align 8, !tbaa !5
  %81 = load i64, ptr %75, align 8, !tbaa !10
  %82 = xor i64 %79, %80
  %83 = xor i64 %82, %81
  %84 = xor i64 %83, %76
  store i64 %84, ptr %72, align 8, !tbaa !13
  %85 = tail call i64 @aead_random_generate_64() #2
  %86 = getelementptr inbounds i8, ptr %0, i64 192
  %87 = getelementptr inbounds i8, ptr %0, i64 200
  store i64 %85, ptr %87, align 8, !tbaa !5
  %88 = tail call i64 @aead_random_generate_64() #2
  %89 = getelementptr inbounds i8, ptr %0, i64 208
  store i64 %88, ptr %89, align 8, !tbaa !10
  %90 = tail call i64 @aead_random_generate_64() #2
  %91 = getelementptr inbounds i8, ptr %0, i64 216
  store i64 %90, ptr %91, align 8, !tbaa !11
  %92 = getelementptr inbounds i8, ptr %1, i64 48
  %93 = load i64, ptr %92, align 8, !tbaa !12
  %94 = load i64, ptr %87, align 8, !tbaa !5
  %95 = load i64, ptr %89, align 8, !tbaa !10
  %96 = xor i64 %93, %94
  %97 = xor i64 %96, %95
  %98 = xor i64 %97, %90
  store i64 %98, ptr %86, align 8, !tbaa !13
  %99 = tail call i64 @aead_random_generate_64() #2
  %100 = getelementptr inbounds i8, ptr %0, i64 224
  %101 = getelementptr inbounds i8, ptr %0, i64 232
  store i64 %99, ptr %101, align 8, !tbaa !5
  %102 = tail call i64 @aead_random_generate_64() #2
  %103 = getelementptr inbounds i8, ptr %0, i64 240
  store i64 %102, ptr %103, align 8, !tbaa !10
  %104 = tail call i64 @aead_random_generate_64() #2
  %105 = getelementptr inbounds i8, ptr %0, i64 248
  store i64 %104, ptr %105, align 8, !tbaa !11
  %106 = getelementptr inbounds i8, ptr %1, i64 56
  %107 = load i64, ptr %106, align 8, !tbaa !12
  %108 = load i64, ptr %101, align 8, !tbaa !5
  %109 = load i64, ptr %103, align 8, !tbaa !10
  %110 = xor i64 %107, %108
  %111 = xor i64 %110, %109
  %112 = xor i64 %111, %104
  store i64 %112, ptr %100, align 8, !tbaa !13
  ret void
}

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

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

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


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