; LLVM IR from cryspen/libcrux :: sys/hacl/c/src (Hacl_Frodo640)

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

@.str = external hidden unnamed_addr constant [70 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [80 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 nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #1

declare void @Hacl_Hash_SHA3_shake128_hacl(i32 noundef, ptr noundef, i32 noundef, ptr noundef) #2

; 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

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

; Function Attrs: inlinehint nounwind uwtable
declare hidden void @Hacl_Impl_Frodo_Sample_frodo_sample_matrix640(i32 noundef, i32 noundef, ptr noundef, ptr noundef) #4

; Function Attrs: inlinehint nounwind uwtable
declare hidden void @Hacl_Impl_Frodo_Params_frodo_gen_matrix(i8 noundef zeroext, i32 noundef, ptr noundef, ptr noundef) #4

; Function Attrs: inlinehint nounwind uwtable
declare hidden void @Hacl_Impl_Matrix_matrix_mul_s(i32 noundef, i32 noundef, i32 noundef, ptr noundef, ptr noundef, ptr noundef) #4

; Function Attrs: inlinehint nounwind uwtable
declare hidden void @Hacl_Impl_Matrix_matrix_add(i32 noundef, i32 noundef, ptr noundef, ptr noundef) #4

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

; Function Attrs: inlinehint nounwind uwtable
declare hidden void @Hacl_Impl_Matrix_matrix_mul(i32 noundef, i32 noundef, i32 noundef, ptr noundef, ptr noundef, ptr noundef) #4

; Function Attrs: inlinehint nounwind uwtable
declare hidden void @Hacl_Impl_Frodo_Pack_frodo_unpack(i32 noundef, i32 noundef, i32 noundef, ptr noundef, ptr noundef) #4

; Function Attrs: inlinehint nounwind uwtable
declare hidden void @Hacl_Impl_Frodo_Encode_frodo_key_encode(i32 noundef, i32 noundef, i32 noundef, ptr noundef, ptr noundef) #4

declare i32 @printf(ptr noundef, ...) #2

; Function Attrs: noreturn nounwind
declare void @exit(i32 noundef) #5

; Function Attrs: nocallback nofree nosync nounwind willreturn
declare ptr @llvm.stacksave.p0() #6

; Function Attrs: nocallback nofree nosync nounwind willreturn
declare void @llvm.stackrestore.p0(ptr) #6

; Function Attrs: nounwind uwtable
define dso_local i32 @Hacl_Frodo640_crypto_kem_dec(ptr noundef %0, ptr noundef %1, ptr noundef %2) #7 {
  %4 = alloca ptr, align 8
  %5 = alloca ptr, align 8
  %6 = alloca ptr, align 8
  %7 = alloca [5120 x i16], align 16
  %8 = alloca [64 x i16], align 16
  %9 = alloca ptr, align 8
  %10 = alloca ptr, align 8
  %11 = alloca [16 x i8], align 16
  %12 = alloca ptr, align 8
  %13 = alloca [5120 x i16], align 16
  %14 = alloca [64 x i16], align 16
  %15 = alloca [32 x i8], align 16
  %16 = alloca i32, align 4
  %17 = alloca ptr, align 8
  %18 = alloca i64, align 8
  %19 = alloca ptr, align 8
  %20 = alloca ptr, align 8
  %21 = alloca ptr, align 8
  %22 = alloca ptr, align 8
  %23 = alloca [5120 x i16], align 16
  %24 = alloca [64 x i16], align 16
  %25 = alloca [5120 x i16], align 16
  %26 = alloca [5120 x i16], align 16
  %27 = alloca [64 x i16], align 16
  %28 = alloca [20608 x i8], align 16
  %29 = alloca [17 x i8], align 16
  %30 = alloca ptr, align 8
  %31 = alloca ptr, align 8
  %32 = alloca ptr, align 8
  %33 = alloca [409600 x i16], align 16
  %34 = alloca [5120 x i16], align 16
  %35 = alloca [64 x i16], align 16
  %36 = alloca i16, align 2
  %37 = alloca i16, align 2
  %38 = alloca i16, align 2
  %39 = alloca i16, align 2
  %40 = alloca [16 x i8], align 16
  %41 = alloca i32, align 4
  %42 = alloca ptr, align 8
  %43 = alloca i8, align 1
  %44 = alloca i8, align 1
  %45 = alloca ptr, align 8
  %46 = alloca i8, align 1
  %47 = alloca i8, align 1
  %48 = alloca ptr, align 8
  %49 = alloca i8, align 1
  %50 = alloca i8, align 1
  %51 = alloca ptr, align 8
  %52 = alloca i8, align 1
  %53 = alloca i8, align 1
  %54 = alloca ptr, align 8
  %55 = alloca i8, align 1
  %56 = alloca i8, align 1
  %57 = alloca ptr, align 8
  %58 = alloca i8, align 1
  %59 = alloca i8, align 1
  %60 = alloca ptr, align 8
  %61 = alloca i8, align 1
  %62 = alloca i8, align 1
  %63 = alloca ptr, align 8
  %64 = alloca i8, align 1
  %65 = alloca i8, align 1
  %66 = alloca ptr, align 8
  %67 = alloca i8, align 1
  %68 = alloca i8, align 1
  %69 = alloca ptr, align 8
  %70 = alloca i8, align 1
  %71 = alloca i8, align 1
  %72 = alloca ptr, align 8
  %73 = alloca i8, align 1
  %74 = alloca i8, align 1
  %75 = alloca ptr, align 8
  %76 = alloca i8, align 1
  %77 = alloca i8, align 1
  %78 = alloca ptr, align 8
  %79 = alloca i8, align 1
  %80 = alloca i8, align 1
  %81 = alloca ptr, align 8
  %82 = alloca i8, align 1
  %83 = alloca i8, align 1
  %84 = alloca ptr, align 8
  %85 = alloca i8, align 1
  %86 = alloca i8, align 1
  %87 = alloca ptr, align 8
  %88 = alloca i8, align 1
  %89 = alloca i8, align 1
  %90 = alloca i32, align 4
  %91 = alloca i64, align 8
  store ptr %0, ptr %4, align 8, !tbaa !5
  store ptr %1, ptr %5, align 8, !tbaa !5
  store ptr %2, ptr %6, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 10240, ptr %7) #8
  call void @llvm.memset.p0.i64(ptr align 16 %7, i8 0, i64 10240, i1 false)
  call void @llvm.lifetime.start.p0(i64 128, ptr %8) #8
  call void @llvm.memset.p0.i64(ptr align 16 %8, i8 0, i64 128, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #8
  %92 = load ptr, ptr %5, align 8, !tbaa !5
  store ptr %92, ptr %9, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #8
  %93 = load ptr, ptr %5, align 8, !tbaa !5
  %94 = getelementptr inbounds i8, ptr %93, i64 9600
  store ptr %94, ptr %10, align 8, !tbaa !5
  %95 = load ptr, ptr %9, align 8, !tbaa !5
  %96 = getelementptr inbounds [5120 x i16], ptr %7, i64 0, i64 0
  call void @Hacl_Impl_Frodo_Pack_frodo_unpack(i32 noundef 8, i32 noundef 640, i32 noundef 15, ptr noundef %95, ptr noundef %96)
  %97 = load ptr, ptr %10, align 8, !tbaa !5
  %98 = getelementptr inbounds [64 x i16], ptr %8, i64 0, i64 0
  call void @Hacl_Impl_Frodo_Pack_frodo_unpack(i32 noundef 8, i32 noundef 8, i32 noundef 15, ptr noundef %97, ptr noundef %98)
  call void @llvm.lifetime.start.p0(i64 16, ptr %11) #8
  call void @llvm.memset.p0.i64(ptr align 16 %11, i8 0, i64 16, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #8
  %99 = load ptr, ptr %6, align 8, !tbaa !5
  %100 = getelementptr inbounds i8, ptr %99, i64 9632
  store ptr %100, ptr %12, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 10240, ptr %13) #8
  call void @llvm.memset.p0.i64(ptr align 16 %13, i8 0, i64 10240, i1 false)
  call void @llvm.lifetime.start.p0(i64 128, ptr %14) #8
  call void @llvm.memset.p0.i64(ptr align 16 %14, i8 0, i64 128, i1 false)
  %101 = load ptr, ptr %12, align 8, !tbaa !5
  %102 = getelementptr inbounds [5120 x i16], ptr %13, i64 0, i64 0
  call void @Hacl_Impl_Matrix_matrix_from_lbytes(i32 noundef 640, i32 noundef 8, ptr noundef %101, ptr noundef %102)
  %103 = getelementptr inbounds [5120 x i16], ptr %7, i64 0, i64 0
  %104 = getelementptr inbounds [5120 x i16], ptr %13, i64 0, i64 0
  %105 = getelementptr inbounds [64 x i16], ptr %14, i64 0, i64 0
  call void @Hacl_Impl_Matrix_matrix_mul_s(i32 noundef 8, i32 noundef 640, i32 noundef 8, ptr noundef %103, ptr noundef %104, ptr noundef %105)
  %106 = getelementptr inbounds [64 x i16], ptr %8, i64 0, i64 0
  %107 = getelementptr inbounds [64 x i16], ptr %14, i64 0, i64 0
  call void @Hacl_Impl_Matrix_matrix_sub(i32 noundef 8, i32 noundef 8, ptr noundef %106, ptr noundef %107)
  %108 = getelementptr inbounds [64 x i16], ptr %14, i64 0, i64 0
  %109 = getelementptr inbounds [16 x i8], ptr %11, i64 0, i64 0
  call void @Hacl_Impl_Frodo_Encode_frodo_key_decode(i32 noundef 15, i32 noundef 2, i32 noundef 8, ptr noundef %108, ptr noundef %109)
  %110 = getelementptr inbounds [5120 x i16], ptr %13, i64 0, i64 0
  call void @Lib_Memzero0_memzero0(ptr noundef %110, i64 noundef 10240)
  %111 = getelementptr inbounds [64 x i16], ptr %14, i64 0, i64 0
  call void @Lib_Memzero0_memzero0(ptr noundef %111, i64 noundef 128)
  call void @llvm.lifetime.start.p0(i64 32, ptr %15) #8
  call void @llvm.memset.p0.i64(ptr align 16 %15, i8 0, i64 32, i1 false)
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #8
  store i32 32, ptr %16, align 4, !tbaa !9
  br label %112

112:                                              ; preds = %3
  %113 = load i32, ptr %16, align 4, !tbaa !9
  %114 = zext i32 %113 to i64
  %115 = icmp ugt i64 %114, -1
  br i1 %115, label %116, label %118

116:                                              ; preds = %112
  %117 = call i32 (ptr, ...) @printf(ptr noundef @.str, ptr noundef @.str.1, i32 noundef 161)
  call void @exit(i32 noundef 253) #9
  unreachable

118:                                              ; preds = %112
  br label %119

119:                                              ; preds = %118
  br label %120

120:                                              ; preds = %119
  %121 = load i32, ptr %16, align 4, !tbaa !9
  %122 = zext i32 %121 to i64
  %123 = call ptr @llvm.stacksave.p0()
  store ptr %123, ptr %17, align 8
  %124 = alloca i8, i64 %122, align 16
  store i64 %122, ptr %18, align 8
  %125 = load i32, ptr %16, align 4, !tbaa !9
  %126 = zext i32 %125 to i64
  %127 = mul i64 %126, 1
  call void @llvm.memset.p0.i64(ptr align 16 %124, i8 0, i64 %127, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #8
  %128 = load ptr, ptr %6, align 8, !tbaa !5
  %129 = getelementptr inbounds i8, ptr %128, i64 19872
  store ptr %129, ptr %19, align 8, !tbaa !5
  %130 = load ptr, ptr %19, align 8, !tbaa !5
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 %124, ptr align 1 %130, i64 16, i1 false)
  %131 = getelementptr inbounds i8, ptr %124, i64 16
  %132 = getelementptr inbounds [16 x i8], ptr %11, i64 0, i64 0
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %131, ptr align 16 %132, i64 16, i1 false)
  %133 = load i32, ptr %16, align 4, !tbaa !9
  %134 = getelementptr inbounds [32 x i8], ptr %15, i64 0, i64 0
  call void @Hacl_Hash_SHA3_shake128_hacl(i32 noundef %133, ptr noundef %124, i32 noundef 32, ptr noundef %134)
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #8
  %135 = getelementptr inbounds [32 x i8], ptr %15, i64 0, i64 0
  store ptr %135, ptr %20, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #8
  %136 = getelementptr inbounds [32 x i8], ptr %15, i64 0, i64 0
  %137 = getelementptr inbounds i8, ptr %136, i64 16
  store ptr %137, ptr %21, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #8
  %138 = load ptr, ptr %6, align 8, !tbaa !5
  store ptr %138, ptr %22, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 10240, ptr %23) #8
  call void @llvm.memset.p0.i64(ptr align 16 %23, i8 0, i64 10240, i1 false)
  call void @llvm.lifetime.start.p0(i64 128, ptr %24) #8
  call void @llvm.memset.p0.i64(ptr align 16 %24, i8 0, i64 128, i1 false)
  call void @llvm.lifetime.start.p0(i64 10240, ptr %25) #8
  call void @llvm.memset.p0.i64(ptr align 16 %25, i8 0, i64 10240, i1 false)
  call void @llvm.lifetime.start.p0(i64 10240, ptr %26) #8
  call void @llvm.memset.p0.i64(ptr align 16 %26, i8 0, i64 10240, i1 false)
  call void @llvm.lifetime.start.p0(i64 128, ptr %27) #8
  call void @llvm.memset.p0.i64(ptr align 16 %27, i8 0, i64 128, i1 false)
  call void @llvm.lifetime.start.p0(i64 20608, ptr %28) #8
  call void @llvm.memset.p0.i64(ptr align 16 %28, i8 0, i64 20608, i1 false)
  call void @llvm.lifetime.start.p0(i64 17, ptr %29) #8
  call void @llvm.memset.p0.i64(ptr align 16 %29, i8 0, i64 17, i1 false)
  %139 = getelementptr inbounds [17 x i8], ptr %29, i64 0, i64 0
  store i8 -106, ptr %139, align 16, !tbaa !11
  %140 = getelementptr inbounds [17 x i8], ptr %29, i64 0, i64 0
  %141 = getelementptr inbounds i8, ptr %140, i64 1
  %142 = load ptr, ptr %20, align 8, !tbaa !5
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %141, ptr align 1 %142, i64 16, i1 false)
  %143 = getelementptr inbounds [17 x i8], ptr %29, i64 0, i64 0
  %144 = getelementptr inbounds [20608 x i8], ptr %28, i64 0, i64 0
  call void @Hacl_Hash_SHA3_shake128_hacl(i32 noundef 17, ptr noundef %143, i32 noundef 20608, ptr noundef %144)
  %145 = getelementptr inbounds [17 x i8], ptr %29, i64 0, i64 0
  call void @Lib_Memzero0_memzero0(ptr noundef %145, i64 noundef 17)
  %146 = getelementptr inbounds [20608 x i8], ptr %28, i64 0, i64 0
  %147 = getelementptr inbounds [5120 x i16], ptr %25, i64 0, i64 0
  call void @Hacl_Impl_Frodo_Sample_frodo_sample_matrix640(i32 noundef 8, i32 noundef 640, ptr noundef %146, ptr noundef %147)
  %148 = getelementptr inbounds [20608 x i8], ptr %28, i64 0, i64 0
  %149 = getelementptr inbounds i8, ptr %148, i64 10240
  %150 = getelementptr inbounds [5120 x i16], ptr %26, i64 0, i64 0
  call void @Hacl_Impl_Frodo_Sample_frodo_sample_matrix640(i32 noundef 8, i32 noundef 640, ptr noundef %149, ptr noundef %150)
  %151 = getelementptr inbounds [20608 x i8], ptr %28, i64 0, i64 0
  %152 = getelementptr inbounds i8, ptr %151, i64 20480
  %153 = getelementptr inbounds [64 x i16], ptr %27, i64 0, i64 0
  call void @Hacl_Impl_Frodo_Sample_frodo_sample_matrix640(i32 noundef 8, i32 noundef 8, ptr noundef %152, ptr noundef %153)
  call void @llvm.lifetime.start.p0(i64 8, ptr %30) #8
  %154 = load ptr, ptr %6, align 8, !tbaa !5
  %155 = getelementptr inbounds i8, ptr %154, i64 16
  store ptr %155, ptr %30, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #8
  %156 = load ptr, ptr %30, align 8, !tbaa !5
  store ptr %156, ptr %31, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %32) #8
  %157 = load ptr, ptr %30, align 8, !tbaa !5
  %158 = getelementptr inbounds i8, ptr %157, i64 16
  store ptr %158, ptr %32, align 8, !tbaa !5
  br label %159

159:                                              ; preds = %120
  br label %160

160:                                              ; preds = %159
  br label %161

161:                                              ; preds = %160
  call void @llvm.lifetime.start.p0(i64 819200, ptr %33) #8
  call void @llvm.memset.p0.i64(ptr align 16 %33, i8 0, i64 819200, i1 false)
  %162 = load ptr, ptr %31, align 8, !tbaa !5
  %163 = getelementptr inbounds [409600 x i16], ptr %33, i64 0, i64 0
  call void @Hacl_Impl_Frodo_Params_frodo_gen_matrix(i8 noundef zeroext 0, i32 noundef 640, ptr noundef %162, ptr noundef %163)
  %164 = getelementptr inbounds [5120 x i16], ptr %25, i64 0, i64 0
  %165 = getelementptr inbounds [409600 x i16], ptr %33, i64 0, i64 0
  %166 = getelementptr inbounds [5120 x i16], ptr %23, i64 0, i64 0
  call void @Hacl_Impl_Matrix_matrix_mul(i32 noundef 8, i32 noundef 640, i32 noundef 640, ptr noundef %164, ptr noundef %165, ptr noundef %166)
  %167 = getelementptr inbounds [5120 x i16], ptr %23, i64 0, i64 0
  %168 = getelementptr inbounds [5120 x i16], ptr %26, i64 0, i64 0
  call void @Hacl_Impl_Matrix_matrix_add(i32 noundef 8, i32 noundef 640, ptr noundef %167, ptr noundef %168)
  call void @llvm.lifetime.start.p0(i64 10240, ptr %34) #8
  call void @llvm.memset.p0.i64(ptr align 16 %34, i8 0, i64 10240, i1 false)
  %169 = load ptr, ptr %32, align 8, !tbaa !5
  %170 = getelementptr inbounds [5120 x i16], ptr %34, i64 0, i64 0
  call void @Hacl_Impl_Frodo_Pack_frodo_unpack(i32 noundef 640, i32 noundef 8, i32 noundef 15, ptr noundef %169, ptr noundef %170)
  %171 = getelementptr inbounds [5120 x i16], ptr %25, i64 0, i64 0
  %172 = getelementptr inbounds [5120 x i16], ptr %34, i64 0, i64 0
  %173 = getelementptr inbounds [64 x i16], ptr %24, i64 0, i64 0
  call void @Hacl_Impl_Matrix_matrix_mul(i32 noundef 8, i32 noundef 640, i32 noundef 8, ptr noundef %171, ptr noundef %172, ptr noundef %173)
  %174 = getelementptr inbounds [64 x i16], ptr %24, i64 0, i64 0
  %175 = getelementptr inbounds [64 x i16], ptr %27, i64 0, i64 0
  call void @Hacl_Impl_Matrix_matrix_add(i32 noundef 8, i32 noundef 8, ptr noundef %174, ptr noundef %175)
  call void @llvm.lifetime.start.p0(i64 128, ptr %35) #8
  call void @llvm.memset.p0.i64(ptr align 16 %35, i8 0, i64 128, i1 false)
  %176 = getelementptr inbounds [16 x i8], ptr %11, i64 0, i64 0
  %177 = getelementptr inbounds [64 x i16], ptr %35, i64 0, i64 0
  call void @Hacl_Impl_Frodo_Encode_frodo_key_encode(i32 noundef 15, i32 noundef 2, i32 noundef 8, ptr noundef %176, ptr noundef %177)
  %178 = getelementptr inbounds [64 x i16], ptr %24, i64 0, i64 0
  %179 = getelementptr inbounds [64 x i16], ptr %35, i64 0, i64 0
  call void @Hacl_Impl_Matrix_matrix_add(i32 noundef 8, i32 noundef 8, ptr noundef %178, ptr noundef %179)
  %180 = getelementptr inbounds [64 x i16], ptr %35, i64 0, i64 0
  call void @Lib_Memzero0_memzero0(ptr noundef %180, i64 noundef 128)
  %181 = getelementptr inbounds [5120 x i16], ptr %23, i64 0, i64 0
  call void @Hacl_Impl_Matrix_mod_pow2(i32 noundef 8, i32 noundef 640, i32 noundef 15, ptr noundef %181)
  %182 = getelementptr inbounds [64 x i16], ptr %24, i64 0, i64 0
  call void @Hacl_Impl_Matrix_mod_pow2(i32 noundef 8, i32 noundef 8, i32 noundef 15, ptr noundef %182)
  %183 = getelementptr inbounds [5120 x i16], ptr %25, i64 0, i64 0
  call void @Lib_Memzero0_memzero0(ptr noundef %183, i64 noundef 10240)
  %184 = getelementptr inbounds [5120 x i16], ptr %26, i64 0, i64 0
  call void @Lib_Memzero0_memzero0(ptr noundef %184, i64 noundef 10240)
  %185 = getelementptr inbounds [64 x i16], ptr %27, i64 0, i64 0
  call void @Lib_Memzero0_memzero0(ptr noundef %185, i64 noundef 128)
  call void @llvm.lifetime.start.p0(i64 2, ptr %36) #8
  %186 = getelementptr inbounds [5120 x i16], ptr %7, i64 0, i64 0
  %187 = getelementptr inbounds [5120 x i16], ptr %23, i64 0, i64 0
  %188 = call zeroext i16 @Hacl_Impl_Matrix_matrix_eq(i32 noundef 8, i32 noundef 640, ptr noundef %186, ptr noundef %187)
  store i16 %188, ptr %36, align 2, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 2, ptr %37) #8
  %189 = getelementptr inbounds [64 x i16], ptr %8, i64 0, i64 0
  %190 = getelementptr inbounds [64 x i16], ptr %24, i64 0, i64 0
  %191 = call zeroext i16 @Hacl_Impl_Matrix_matrix_eq(i32 noundef 8, i32 noundef 8, ptr noundef %189, ptr noundef %190)
  store i16 %191, ptr %37, align 2, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 2, ptr %38) #8
  %192 = load i16, ptr %36, align 2, !tbaa !12
  %193 = zext i16 %192 to i32
  %194 = load i16, ptr %37, align 2, !tbaa !12
  %195 = zext i16 %194 to i32
  %196 = and i32 %193, %195
  %197 = trunc i32 %196 to i16
  store i16 %197, ptr %38, align 2, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 2, ptr %39) #8
  %198 = load i16, ptr %38, align 2, !tbaa !12
  store i16 %198, ptr %39, align 2, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 16, ptr %40) #8
  call void @llvm.memset.p0.i64(ptr align 16 %40, i8 0, i64 16, i1 false)
  br label %199

199:                                              ; preds = %161
  call void @llvm.lifetime.start.p0(i64 4, ptr %41) #8
  store i32 0, ptr %41, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %42) #8
  %200 = getelementptr inbounds [16 x i8], ptr %40, i64 0, i64 0
  store ptr %200, ptr %42, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 1, ptr %43) #8
  %201 = load ptr, ptr %22, align 8, !tbaa !5
  %202 = load i32, ptr %41, align 4, !tbaa !9
  %203 = zext i32 %202 to i64
  %204 = getelementptr inbounds i8, ptr %201, i64 %203
  %205 = load i8, ptr %204, align 1, !tbaa !11
  store i8 %205, ptr %43, align 1, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 1, ptr %44) #8
  %206 = load i8, ptr %43, align 1, !tbaa !11
  %207 = zext i8 %206 to i32
  %208 = load i16, ptr %39, align 2, !tbaa !12
  %209 = trunc i16 %208 to i8
  %210 = zext i8 %209 to i32
  %211 = load ptr, ptr %21, align 8, !tbaa !5
  %212 = load i32, ptr %41, align 4, !tbaa !9
  %213 = zext i32 %212 to i64
  %214 = getelementptr inbounds i8, ptr %211, i64 %213
  %215 = load i8, ptr %214, align 1, !tbaa !11
  %216 = zext i8 %215 to i32
  %217 = load i8, ptr %43, align 1, !tbaa !11
  %218 = zext i8 %217 to i32
  %219 = xor i32 %216, %218
  %220 = and i32 %210, %219
  %221 = xor i32 %207, %220
  %222 = trunc i32 %221 to i8
  store i8 %222, ptr %44, align 1, !tbaa !11
  %223 = load i8, ptr %44, align 1, !tbaa !11
  %224 = load ptr, ptr %42, align 8, !tbaa !5
  %225 = load i32, ptr %41, align 4, !tbaa !9
  %226 = zext i32 %225 to i64
  %227 = getelementptr inbounds i8, ptr %224, i64 %226
  store i8 %223, ptr %227, align 1, !tbaa !11
  %228 = load i32, ptr %41, align 4, !tbaa !9
  %229 = add i32 %228, 1
  store i32 %229, ptr %41, align 4, !tbaa !9
  %230 = load i32, ptr %41, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 1, ptr %44) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %43) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %42) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %45) #8
  %231 = getelementptr inbounds [16 x i8], ptr %40, i64 0, i64 0
  store ptr %231, ptr %45, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 1, ptr %46) #8
  %232 = load ptr, ptr %22, align 8, !tbaa !5
  %233 = load i32, ptr %41, align 4, !tbaa !9
  %234 = zext i32 %233 to i64
  %235 = getelementptr inbounds i8, ptr %232, i64 %234
  %236 = load i8, ptr %235, align 1, !tbaa !11
  store i8 %236, ptr %46, align 1, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 1, ptr %47) #8
  %237 = load i8, ptr %46, align 1, !tbaa !11
  %238 = zext i8 %237 to i32
  %239 = load i16, ptr %39, align 2, !tbaa !12
  %240 = trunc i16 %239 to i8
  %241 = zext i8 %240 to i32
  %242 = load ptr, ptr %21, align 8, !tbaa !5
  %243 = load i32, ptr %41, align 4, !tbaa !9
  %244 = zext i32 %243 to i64
  %245 = getelementptr inbounds i8, ptr %242, i64 %244
  %246 = load i8, ptr %245, align 1, !tbaa !11
  %247 = zext i8 %246 to i32
  %248 = load i8, ptr %46, align 1, !tbaa !11
  %249 = zext i8 %248 to i32
  %250 = xor i32 %247, %249
  %251 = and i32 %241, %250
  %252 = xor i32 %238, %251
  %253 = trunc i32 %252 to i8
  store i8 %253, ptr %47, align 1, !tbaa !11
  %254 = load i8, ptr %47, align 1, !tbaa !11
  %255 = load ptr, ptr %45, align 8, !tbaa !5
  %256 = load i32, ptr %41, align 4, !tbaa !9
  %257 = zext i32 %256 to i64
  %258 = getelementptr inbounds i8, ptr %255, i64 %257
  store i8 %254, ptr %258, align 1, !tbaa !11
  %259 = load i32, ptr %41, align 4, !tbaa !9
  %260 = add i32 %259, 1
  store i32 %260, ptr %41, align 4, !tbaa !9
  %261 = load i32, ptr %41, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 1, ptr %47) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %46) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %45) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %48) #8
  %262 = getelementptr inbounds [16 x i8], ptr %40, i64 0, i64 0
  store ptr %262, ptr %48, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 1, ptr %49) #8
  %263 = load ptr, ptr %22, align 8, !tbaa !5
  %264 = load i32, ptr %41, align 4, !tbaa !9
  %265 = zext i32 %264 to i64
  %266 = getelementptr inbounds i8, ptr %263, i64 %265
  %267 = load i8, ptr %266, align 1, !tbaa !11
  store i8 %267, ptr %49, align 1, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 1, ptr %50) #8
  %268 = load i8, ptr %49, align 1, !tbaa !11
  %269 = zext i8 %268 to i32
  %270 = load i16, ptr %39, align 2, !tbaa !12
  %271 = trunc i16 %270 to i8
  %272 = zext i8 %271 to i32
  %273 = load ptr, ptr %21, align 8, !tbaa !5
  %274 = load i32, ptr %41, align 4, !tbaa !9
  %275 = zext i32 %274 to i64
  %276 = getelementptr inbounds i8, ptr %273, i64 %275
  %277 = load i8, ptr %276, align 1, !tbaa !11
  %278 = zext i8 %277 to i32
  %279 = load i8, ptr %49, align 1, !tbaa !11
  %280 = zext i8 %279 to i32
  %281 = xor i32 %278, %280
  %282 = and i32 %272, %281
  %283 = xor i32 %269, %282
  %284 = trunc i32 %283 to i8
  store i8 %284, ptr %50, align 1, !tbaa !11
  %285 = load i8, ptr %50, align 1, !tbaa !11
  %286 = load ptr, ptr %48, align 8, !tbaa !5
  %287 = load i32, ptr %41, align 4, !tbaa !9
  %288 = zext i32 %287 to i64
  %289 = getelementptr inbounds i8, ptr %286, i64 %288
  store i8 %285, ptr %289, align 1, !tbaa !11
  %290 = load i32, ptr %41, align 4, !tbaa !9
  %291 = add i32 %290, 1
  store i32 %291, ptr %41, align 4, !tbaa !9
  %292 = load i32, ptr %41, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 1, ptr %50) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %49) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %48) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %51) #8
  %293 = getelementptr inbounds [16 x i8], ptr %40, i64 0, i64 0
  store ptr %293, ptr %51, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 1, ptr %52) #8
  %294 = load ptr, ptr %22, align 8, !tbaa !5
  %295 = load i32, ptr %41, align 4, !tbaa !9
  %296 = zext i32 %295 to i64
  %297 = getelementptr inbounds i8, ptr %294, i64 %296
  %298 = load i8, ptr %297, align 1, !tbaa !11
  store i8 %298, ptr %52, align 1, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 1, ptr %53) #8
  %299 = load i8, ptr %52, align 1, !tbaa !11
  %300 = zext i8 %299 to i32
  %301 = load i16, ptr %39, align 2, !tbaa !12
  %302 = trunc i16 %301 to i8
  %303 = zext i8 %302 to i32
  %304 = load ptr, ptr %21, align 8, !tbaa !5
  %305 = load i32, ptr %41, align 4, !tbaa !9
  %306 = zext i32 %305 to i64
  %307 = getelementptr inbounds i8, ptr %304, i64 %306
  %308 = load i8, ptr %307, align 1, !tbaa !11
  %309 = zext i8 %308 to i32
  %310 = load i8, ptr %52, align 1, !tbaa !11
  %311 = zext i8 %310 to i32
  %312 = xor i32 %309, %311
  %313 = and i32 %303, %312
  %314 = xor i32 %300, %313
  %315 = trunc i32 %314 to i8
  store i8 %315, ptr %53, align 1, !tbaa !11
  %316 = load i8, ptr %53, align 1, !tbaa !11
  %317 = load ptr, ptr %51, align 8, !tbaa !5
  %318 = load i32, ptr %41, align 4, !tbaa !9
  %319 = zext i32 %318 to i64
  %320 = getelementptr inbounds i8, ptr %317, i64 %319
  store i8 %316, ptr %320, align 1, !tbaa !11
  %321 = load i32, ptr %41, align 4, !tbaa !9
  %322 = add i32 %321, 1
  store i32 %322, ptr %41, align 4, !tbaa !9
  %323 = load i32, ptr %41, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 1, ptr %53) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %52) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %51) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %54) #8
  %324 = getelementptr inbounds [16 x i8], ptr %40, i64 0, i64 0
  store ptr %324, ptr %54, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 1, ptr %55) #8
  %325 = load ptr, ptr %22, align 8, !tbaa !5
  %326 = load i32, ptr %41, align 4, !tbaa !9
  %327 = zext i32 %326 to i64
  %328 = getelementptr inbounds i8, ptr %325, i64 %327
  %329 = load i8, ptr %328, align 1, !tbaa !11
  store i8 %329, ptr %55, align 1, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 1, ptr %56) #8
  %330 = load i8, ptr %55, align 1, !tbaa !11
  %331 = zext i8 %330 to i32
  %332 = load i16, ptr %39, align 2, !tbaa !12
  %333 = trunc i16 %332 to i8
  %334 = zext i8 %333 to i32
  %335 = load ptr, ptr %21, align 8, !tbaa !5
  %336 = load i32, ptr %41, align 4, !tbaa !9
  %337 = zext i32 %336 to i64
  %338 = getelementptr inbounds i8, ptr %335, i64 %337
  %339 = load i8, ptr %338, align 1, !tbaa !11
  %340 = zext i8 %339 to i32
  %341 = load i8, ptr %55, align 1, !tbaa !11
  %342 = zext i8 %341 to i32
  %343 = xor i32 %340, %342
  %344 = and i32 %334, %343
  %345 = xor i32 %331, %344
  %346 = trunc i32 %345 to i8
  store i8 %346, ptr %56, align 1, !tbaa !11
  %347 = load i8, ptr %56, align 1, !tbaa !11
  %348 = load ptr, ptr %54, align 8, !tbaa !5
  %349 = load i32, ptr %41, align 4, !tbaa !9
  %350 = zext i32 %349 to i64
  %351 = getelementptr inbounds i8, ptr %348, i64 %350
  store i8 %347, ptr %351, align 1, !tbaa !11
  %352 = load i32, ptr %41, align 4, !tbaa !9
  %353 = add i32 %352, 1
  store i32 %353, ptr %41, align 4, !tbaa !9
  %354 = load i32, ptr %41, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 1, ptr %56) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %55) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %54) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %57) #8
  %355 = getelementptr inbounds [16 x i8], ptr %40, i64 0, i64 0
  store ptr %355, ptr %57, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 1, ptr %58) #8
  %356 = load ptr, ptr %22, align 8, !tbaa !5
  %357 = load i32, ptr %41, align 4, !tbaa !9
  %358 = zext i32 %357 to i64
  %359 = getelementptr inbounds i8, ptr %356, i64 %358
  %360 = load i8, ptr %359, align 1, !tbaa !11
  store i8 %360, ptr %58, align 1, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 1, ptr %59) #8
  %361 = load i8, ptr %58, align 1, !tbaa !11
  %362 = zext i8 %361 to i32
  %363 = load i16, ptr %39, align 2, !tbaa !12
  %364 = trunc i16 %363 to i8
  %365 = zext i8 %364 to i32
  %366 = load ptr, ptr %21, align 8, !tbaa !5
  %367 = load i32, ptr %41, align 4, !tbaa !9
  %368 = zext i32 %367 to i64
  %369 = getelementptr inbounds i8, ptr %366, i64 %368
  %370 = load i8, ptr %369, align 1, !tbaa !11
  %371 = zext i8 %370 to i32
  %372 = load i8, ptr %58, align 1, !tbaa !11
  %373 = zext i8 %372 to i32
  %374 = xor i32 %371, %373
  %375 = and i32 %365, %374
  %376 = xor i32 %362, %375
  %377 = trunc i32 %376 to i8
  store i8 %377, ptr %59, align 1, !tbaa !11
  %378 = load i8, ptr %59, align 1, !tbaa !11
  %379 = load ptr, ptr %57, align 8, !tbaa !5
  %380 = load i32, ptr %41, align 4, !tbaa !9
  %381 = zext i32 %380 to i64
  %382 = getelementptr inbounds i8, ptr %379, i64 %381
  store i8 %378, ptr %382, align 1, !tbaa !11
  %383 = load i32, ptr %41, align 4, !tbaa !9
  %384 = add i32 %383, 1
  store i32 %384, ptr %41, align 4, !tbaa !9
  %385 = load i32, ptr %41, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 1, ptr %59) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %58) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %57) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %60) #8
  %386 = getelementptr inbounds [16 x i8], ptr %40, i64 0, i64 0
  store ptr %386, ptr %60, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 1, ptr %61) #8
  %387 = load ptr, ptr %22, align 8, !tbaa !5
  %388 = load i32, ptr %41, align 4, !tbaa !9
  %389 = zext i32 %388 to i64
  %390 = getelementptr inbounds i8, ptr %387, i64 %389
  %391 = load i8, ptr %390, align 1, !tbaa !11
  store i8 %391, ptr %61, align 1, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 1, ptr %62) #8
  %392 = load i8, ptr %61, align 1, !tbaa !11
  %393 = zext i8 %392 to i32
  %394 = load i16, ptr %39, align 2, !tbaa !12
  %395 = trunc i16 %394 to i8
  %396 = zext i8 %395 to i32
  %397 = load ptr, ptr %21, align 8, !tbaa !5
  %398 = load i32, ptr %41, align 4, !tbaa !9
  %399 = zext i32 %398 to i64
  %400 = getelementptr inbounds i8, ptr %397, i64 %399
  %401 = load i8, ptr %400, align 1, !tbaa !11
  %402 = zext i8 %401 to i32
  %403 = load i8, ptr %61, align 1, !tbaa !11
  %404 = zext i8 %403 to i32
  %405 = xor i32 %402, %404
  %406 = and i32 %396, %405
  %407 = xor i32 %393, %406
  %408 = trunc i32 %407 to i8
  store i8 %408, ptr %62, align 1, !tbaa !11
  %409 = load i8, ptr %62, align 1, !tbaa !11
  %410 = load ptr, ptr %60, align 8, !tbaa !5
  %411 = load i32, ptr %41, align 4, !tbaa !9
  %412 = zext i32 %411 to i64
  %413 = getelementptr inbounds i8, ptr %410, i64 %412
  store i8 %409, ptr %413, align 1, !tbaa !11
  %414 = load i32, ptr %41, align 4, !tbaa !9
  %415 = add i32 %414, 1
  store i32 %415, ptr %41, align 4, !tbaa !9
  %416 = load i32, ptr %41, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 1, ptr %62) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %61) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %60) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %63) #8
  %417 = getelementptr inbounds [16 x i8], ptr %40, i64 0, i64 0
  store ptr %417, ptr %63, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 1, ptr %64) #8
  %418 = load ptr, ptr %22, align 8, !tbaa !5
  %419 = load i32, ptr %41, align 4, !tbaa !9
  %420 = zext i32 %419 to i64
  %421 = getelementptr inbounds i8, ptr %418, i64 %420
  %422 = load i8, ptr %421, align 1, !tbaa !11
  store i8 %422, ptr %64, align 1, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 1, ptr %65) #8
  %423 = load i8, ptr %64, align 1, !tbaa !11
  %424 = zext i8 %423 to i32
  %425 = load i16, ptr %39, align 2, !tbaa !12
  %426 = trunc i16 %425 to i8
  %427 = zext i8 %426 to i32
  %428 = load ptr, ptr %21, align 8, !tbaa !5
  %429 = load i32, ptr %41, align 4, !tbaa !9
  %430 = zext i32 %429 to i64
  %431 = getelementptr inbounds i8, ptr %428, i64 %430
  %432 = load i8, ptr %431, align 1, !tbaa !11
  %433 = zext i8 %432 to i32
  %434 = load i8, ptr %64, align 1, !tbaa !11
  %435 = zext i8 %434 to i32
  %436 = xor i32 %433, %435
  %437 = and i32 %427, %436
  %438 = xor i32 %424, %437
  %439 = trunc i32 %438 to i8
  store i8 %439, ptr %65, align 1, !tbaa !11
  %440 = load i8, ptr %65, align 1, !tbaa !11
  %441 = load ptr, ptr %63, align 8, !tbaa !5
  %442 = load i32, ptr %41, align 4, !tbaa !9
  %443 = zext i32 %442 to i64
  %444 = getelementptr inbounds i8, ptr %441, i64 %443
  store i8 %440, ptr %444, align 1, !tbaa !11
  %445 = load i32, ptr %41, align 4, !tbaa !9
  %446 = add i32 %445, 1
  store i32 %446, ptr %41, align 4, !tbaa !9
  %447 = load i32, ptr %41, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 1, ptr %65) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %64) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %63) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %66) #8
  %448 = getelementptr inbounds [16 x i8], ptr %40, i64 0, i64 0
  store ptr %448, ptr %66, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 1, ptr %67) #8
  %449 = load ptr, ptr %22, align 8, !tbaa !5
  %450 = load i32, ptr %41, align 4, !tbaa !9
  %451 = zext i32 %450 to i64
  %452 = getelementptr inbounds i8, ptr %449, i64 %451
  %453 = load i8, ptr %452, align 1, !tbaa !11
  store i8 %453, ptr %67, align 1, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 1, ptr %68) #8
  %454 = load i8, ptr %67, align 1, !tbaa !11
  %455 = zext i8 %454 to i32
  %456 = load i16, ptr %39, align 2, !tbaa !12
  %457 = trunc i16 %456 to i8
  %458 = zext i8 %457 to i32
  %459 = load ptr, ptr %21, align 8, !tbaa !5
  %460 = load i32, ptr %41, align 4, !tbaa !9
  %461 = zext i32 %460 to i64
  %462 = getelementptr inbounds i8, ptr %459, i64 %461
  %463 = load i8, ptr %462, align 1, !tbaa !11
  %464 = zext i8 %463 to i32
  %465 = load i8, ptr %67, align 1, !tbaa !11
  %466 = zext i8 %465 to i32
  %467 = xor i32 %464, %466
  %468 = and i32 %458, %467
  %469 = xor i32 %455, %468
  %470 = trunc i32 %469 to i8
  store i8 %470, ptr %68, align 1, !tbaa !11
  %471 = load i8, ptr %68, align 1, !tbaa !11
  %472 = load ptr, ptr %66, align 8, !tbaa !5
  %473 = load i32, ptr %41, align 4, !tbaa !9
  %474 = zext i32 %473 to i64
  %475 = getelementptr inbounds i8, ptr %472, i64 %474
  store i8 %471, ptr %475, align 1, !tbaa !11
  %476 = load i32, ptr %41, align 4, !tbaa !9
  %477 = add i32 %476, 1
  store i32 %477, ptr %41, align 4, !tbaa !9
  %478 = load i32, ptr %41, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 1, ptr %68) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %67) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %66) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %69) #8
  %479 = getelementptr inbounds [16 x i8], ptr %40, i64 0, i64 0
  store ptr %479, ptr %69, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 1, ptr %70) #8
  %480 = load ptr, ptr %22, align 8, !tbaa !5
  %481 = load i32, ptr %41, align 4, !tbaa !9
  %482 = zext i32 %481 to i64
  %483 = getelementptr inbounds i8, ptr %480, i64 %482
  %484 = load i8, ptr %483, align 1, !tbaa !11
  store i8 %484, ptr %70, align 1, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 1, ptr %71) #8
  %485 = load i8, ptr %70, align 1, !tbaa !11
  %486 = zext i8 %485 to i32
  %487 = load i16, ptr %39, align 2, !tbaa !12
  %488 = trunc i16 %487 to i8
  %489 = zext i8 %488 to i32
  %490 = load ptr, ptr %21, align 8, !tbaa !5
  %491 = load i32, ptr %41, align 4, !tbaa !9
  %492 = zext i32 %491 to i64
  %493 = getelementptr inbounds i8, ptr %490, i64 %492
  %494 = load i8, ptr %493, align 1, !tbaa !11
  %495 = zext i8 %494 to i32
  %496 = load i8, ptr %70, align 1, !tbaa !11
  %497 = zext i8 %496 to i32
  %498 = xor i32 %495, %497
  %499 = and i32 %489, %498
  %500 = xor i32 %486, %499
  %501 = trunc i32 %500 to i8
  store i8 %501, ptr %71, align 1, !tbaa !11
  %502 = load i8, ptr %71, align 1, !tbaa !11
  %503 = load ptr, ptr %69, align 8, !tbaa !5
  %504 = load i32, ptr %41, align 4, !tbaa !9
  %505 = zext i32 %504 to i64
  %506 = getelementptr inbounds i8, ptr %503, i64 %505
  store i8 %502, ptr %506, align 1, !tbaa !11
  %507 = load i32, ptr %41, align 4, !tbaa !9
  %508 = add i32 %507, 1
  store i32 %508, ptr %41, align 4, !tbaa !9
  %509 = load i32, ptr %41, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 1, ptr %71) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %70) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %69) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %72) #8
  %510 = getelementptr inbounds [16 x i8], ptr %40, i64 0, i64 0
  store ptr %510, ptr %72, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 1, ptr %73) #8
  %511 = load ptr, ptr %22, align 8, !tbaa !5
  %512 = load i32, ptr %41, align 4, !tbaa !9
  %513 = zext i32 %512 to i64
  %514 = getelementptr inbounds i8, ptr %511, i64 %513
  %515 = load i8, ptr %514, align 1, !tbaa !11
  store i8 %515, ptr %73, align 1, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 1, ptr %74) #8
  %516 = load i8, ptr %73, align 1, !tbaa !11
  %517 = zext i8 %516 to i32
  %518 = load i16, ptr %39, align 2, !tbaa !12
  %519 = trunc i16 %518 to i8
  %520 = zext i8 %519 to i32
  %521 = load ptr, ptr %21, align 8, !tbaa !5
  %522 = load i32, ptr %41, align 4, !tbaa !9
  %523 = zext i32 %522 to i64
  %524 = getelementptr inbounds i8, ptr %521, i64 %523
  %525 = load i8, ptr %524, align 1, !tbaa !11
  %526 = zext i8 %525 to i32
  %527 = load i8, ptr %73, align 1, !tbaa !11
  %528 = zext i8 %527 to i32
  %529 = xor i32 %526, %528
  %530 = and i32 %520, %529
  %531 = xor i32 %517, %530
  %532 = trunc i32 %531 to i8
  store i8 %532, ptr %74, align 1, !tbaa !11
  %533 = load i8, ptr %74, align 1, !tbaa !11
  %534 = load ptr, ptr %72, align 8, !tbaa !5
  %535 = load i32, ptr %41, align 4, !tbaa !9
  %536 = zext i32 %535 to i64
  %537 = getelementptr inbounds i8, ptr %534, i64 %536
  store i8 %533, ptr %537, align 1, !tbaa !11
  %538 = load i32, ptr %41, align 4, !tbaa !9
  %539 = add i32 %538, 1
  store i32 %539, ptr %41, align 4, !tbaa !9
  %540 = load i32, ptr %41, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 1, ptr %74) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %73) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %72) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %75) #8
  %541 = getelementptr inbounds [16 x i8], ptr %40, i64 0, i64 0
  store ptr %541, ptr %75, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 1, ptr %76) #8
  %542 = load ptr, ptr %22, align 8, !tbaa !5
  %543 = load i32, ptr %41, align 4, !tbaa !9
  %544 = zext i32 %543 to i64
  %545 = getelementptr inbounds i8, ptr %542, i64 %544
  %546 = load i8, ptr %545, align 1, !tbaa !11
  store i8 %546, ptr %76, align 1, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 1, ptr %77) #8
  %547 = load i8, ptr %76, align 1, !tbaa !11
  %548 = zext i8 %547 to i32
  %549 = load i16, ptr %39, align 2, !tbaa !12
  %550 = trunc i16 %549 to i8
  %551 = zext i8 %550 to i32
  %552 = load ptr, ptr %21, align 8, !tbaa !5
  %553 = load i32, ptr %41, align 4, !tbaa !9
  %554 = zext i32 %553 to i64
  %555 = getelementptr inbounds i8, ptr %552, i64 %554
  %556 = load i8, ptr %555, align 1, !tbaa !11
  %557 = zext i8 %556 to i32
  %558 = load i8, ptr %76, align 1, !tbaa !11
  %559 = zext i8 %558 to i32
  %560 = xor i32 %557, %559
  %561 = and i32 %551, %560
  %562 = xor i32 %548, %561
  %563 = trunc i32 %562 to i8
  store i8 %563, ptr %77, align 1, !tbaa !11
  %564 = load i8, ptr %77, align 1, !tbaa !11
  %565 = load ptr, ptr %75, align 8, !tbaa !5
  %566 = load i32, ptr %41, align 4, !tbaa !9
  %567 = zext i32 %566 to i64
  %568 = getelementptr inbounds i8, ptr %565, i64 %567
  store i8 %564, ptr %568, align 1, !tbaa !11
  %569 = load i32, ptr %41, align 4, !tbaa !9
  %570 = add i32 %569, 1
  store i32 %570, ptr %41, align 4, !tbaa !9
  %571 = load i32, ptr %41, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 1, ptr %77) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %76) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %75) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %78) #8
  %572 = getelementptr inbounds [16 x i8], ptr %40, i64 0, i64 0
  store ptr %572, ptr %78, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 1, ptr %79) #8
  %573 = load ptr, ptr %22, align 8, !tbaa !5
  %574 = load i32, ptr %41, align 4, !tbaa !9
  %575 = zext i32 %574 to i64
  %576 = getelementptr inbounds i8, ptr %573, i64 %575
  %577 = load i8, ptr %576, align 1, !tbaa !11
  store i8 %577, ptr %79, align 1, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 1, ptr %80) #8
  %578 = load i8, ptr %79, align 1, !tbaa !11
  %579 = zext i8 %578 to i32
  %580 = load i16, ptr %39, align 2, !tbaa !12
  %581 = trunc i16 %580 to i8
  %582 = zext i8 %581 to i32
  %583 = load ptr, ptr %21, align 8, !tbaa !5
  %584 = load i32, ptr %41, align 4, !tbaa !9
  %585 = zext i32 %584 to i64
  %586 = getelementptr inbounds i8, ptr %583, i64 %585
  %587 = load i8, ptr %586, align 1, !tbaa !11
  %588 = zext i8 %587 to i32
  %589 = load i8, ptr %79, align 1, !tbaa !11
  %590 = zext i8 %589 to i32
  %591 = xor i32 %588, %590
  %592 = and i32 %582, %591
  %593 = xor i32 %579, %592
  %594 = trunc i32 %593 to i8
  store i8 %594, ptr %80, align 1, !tbaa !11
  %595 = load i8, ptr %80, align 1, !tbaa !11
  %596 = load ptr, ptr %78, align 8, !tbaa !5
  %597 = load i32, ptr %41, align 4, !tbaa !9
  %598 = zext i32 %597 to i64
  %599 = getelementptr inbounds i8, ptr %596, i64 %598
  store i8 %595, ptr %599, align 1, !tbaa !11
  %600 = load i32, ptr %41, align 4, !tbaa !9
  %601 = add i32 %600, 1
  store i32 %601, ptr %41, align 4, !tbaa !9
  %602 = load i32, ptr %41, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 1, ptr %80) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %79) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %78) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %81) #8
  %603 = getelementptr inbounds [16 x i8], ptr %40, i64 0, i64 0
  store ptr %603, ptr %81, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 1, ptr %82) #8
  %604 = load ptr, ptr %22, align 8, !tbaa !5
  %605 = load i32, ptr %41, align 4, !tbaa !9
  %606 = zext i32 %605 to i64
  %607 = getelementptr inbounds i8, ptr %604, i64 %606
  %608 = load i8, ptr %607, align 1, !tbaa !11
  store i8 %608, ptr %82, align 1, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 1, ptr %83) #8
  %609 = load i8, ptr %82, align 1, !tbaa !11
  %610 = zext i8 %609 to i32
  %611 = load i16, ptr %39, align 2, !tbaa !12
  %612 = trunc i16 %611 to i8
  %613 = zext i8 %612 to i32
  %614 = load ptr, ptr %21, align 8, !tbaa !5
  %615 = load i32, ptr %41, align 4, !tbaa !9
  %616 = zext i32 %615 to i64
  %617 = getelementptr inbounds i8, ptr %614, i64 %616
  %618 = load i8, ptr %617, align 1, !tbaa !11
  %619 = zext i8 %618 to i32
  %620 = load i8, ptr %82, align 1, !tbaa !11
  %621 = zext i8 %620 to i32
  %622 = xor i32 %619, %621
  %623 = and i32 %613, %622
  %624 = xor i32 %610, %623
  %625 = trunc i32 %624 to i8
  store i8 %625, ptr %83, align 1, !tbaa !11
  %626 = load i8, ptr %83, align 1, !tbaa !11
  %627 = load ptr, ptr %81, align 8, !tbaa !5
  %628 = load i32, ptr %41, align 4, !tbaa !9
  %629 = zext i32 %628 to i64
  %630 = getelementptr inbounds i8, ptr %627, i64 %629
  store i8 %626, ptr %630, align 1, !tbaa !11
  %631 = load i32, ptr %41, align 4, !tbaa !9
  %632 = add i32 %631, 1
  store i32 %632, ptr %41, align 4, !tbaa !9
  %633 = load i32, ptr %41, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 1, ptr %83) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %82) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %81) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %84) #8
  %634 = getelementptr inbounds [16 x i8], ptr %40, i64 0, i64 0
  store ptr %634, ptr %84, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 1, ptr %85) #8
  %635 = load ptr, ptr %22, align 8, !tbaa !5
  %636 = load i32, ptr %41, align 4, !tbaa !9
  %637 = zext i32 %636 to i64
  %638 = getelementptr inbounds i8, ptr %635, i64 %637
  %639 = load i8, ptr %638, align 1, !tbaa !11
  store i8 %639, ptr %85, align 1, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 1, ptr %86) #8
  %640 = load i8, ptr %85, align 1, !tbaa !11
  %641 = zext i8 %640 to i32
  %642 = load i16, ptr %39, align 2, !tbaa !12
  %643 = trunc i16 %642 to i8
  %644 = zext i8 %643 to i32
  %645 = load ptr, ptr %21, align 8, !tbaa !5
  %646 = load i32, ptr %41, align 4, !tbaa !9
  %647 = zext i32 %646 to i64
  %648 = getelementptr inbounds i8, ptr %645, i64 %647
  %649 = load i8, ptr %648, align 1, !tbaa !11
  %650 = zext i8 %649 to i32
  %651 = load i8, ptr %85, align 1, !tbaa !11
  %652 = zext i8 %651 to i32
  %653 = xor i32 %650, %652
  %654 = and i32 %644, %653
  %655 = xor i32 %641, %654
  %656 = trunc i32 %655 to i8
  store i8 %656, ptr %86, align 1, !tbaa !11
  %657 = load i8, ptr %86, align 1, !tbaa !11
  %658 = load ptr, ptr %84, align 8, !tbaa !5
  %659 = load i32, ptr %41, align 4, !tbaa !9
  %660 = zext i32 %659 to i64
  %661 = getelementptr inbounds i8, ptr %658, i64 %660
  store i8 %657, ptr %661, align 1, !tbaa !11
  %662 = load i32, ptr %41, align 4, !tbaa !9
  %663 = add i32 %662, 1
  store i32 %663, ptr %41, align 4, !tbaa !9
  %664 = load i32, ptr %41, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 1, ptr %86) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %85) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %84) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %87) #8
  %665 = getelementptr inbounds [16 x i8], ptr %40, i64 0, i64 0
  store ptr %665, ptr %87, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 1, ptr %88) #8
  %666 = load ptr, ptr %22, align 8, !tbaa !5
  %667 = load i32, ptr %41, align 4, !tbaa !9
  %668 = zext i32 %667 to i64
  %669 = getelementptr inbounds i8, ptr %666, i64 %668
  %670 = load i8, ptr %669, align 1, !tbaa !11
  store i8 %670, ptr %88, align 1, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 1, ptr %89) #8
  %671 = load i8, ptr %88, align 1, !tbaa !11
  %672 = zext i8 %671 to i32
  %673 = load i16, ptr %39, align 2, !tbaa !12
  %674 = trunc i16 %673 to i8
  %675 = zext i8 %674 to i32
  %676 = load ptr, ptr %21, align 8, !tbaa !5
  %677 = load i32, ptr %41, align 4, !tbaa !9
  %678 = zext i32 %677 to i64
  %679 = getelementptr inbounds i8, ptr %676, i64 %678
  %680 = load i8, ptr %679, align 1, !tbaa !11
  %681 = zext i8 %680 to i32
  %682 = load i8, ptr %88, align 1, !tbaa !11
  %683 = zext i8 %682 to i32
  %684 = xor i32 %681, %683
  %685 = and i32 %675, %684
  %686 = xor i32 %672, %685
  %687 = trunc i32 %686 to i8
  store i8 %687, ptr %89, align 1, !tbaa !11
  %688 = load i8, ptr %89, align 1, !tbaa !11
  %689 = load ptr, ptr %87, align 8, !tbaa !5
  %690 = load i32, ptr %41, align 4, !tbaa !9
  %691 = zext i32 %690 to i64
  %692 = getelementptr inbounds i8, ptr %689, i64 %691
  store i8 %688, ptr %692, align 1, !tbaa !11
  %693 = load i32, ptr %41, align 4, !tbaa !9
  %694 = add i32 %693, 1
  store i32 %694, ptr %41, align 4, !tbaa !9
  %695 = load i32, ptr %41, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 1, ptr %89) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %88) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %87) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %41) #8
  br label %696

696:                                              ; preds = %199
  br label %697

697:                                              ; preds = %696
  call void @llvm.lifetime.start.p0(i64 4, ptr %90) #8
  store i32 9736, ptr %90, align 4, !tbaa !9
  br label %698

698:                                              ; preds = %697
  %699 = load i32, ptr %90, align 4, !tbaa !9
  %700 = zext i32 %699 to i64
  %701 = icmp ugt i64 %700, -1
  br i1 %701, label %702, label %704

702:                                              ; preds = %698
  %703 = call i32 (ptr, ...) @printf(ptr noundef @.str, ptr noundef @.str.1, i32 noundef 221)
  call void @exit(i32 noundef 253) #9
  unreachable

704:                                              ; preds = %698
  br label %705

705:                                              ; preds = %704
  br label %706

706:                                              ; preds = %705
  %707 = load i32, ptr %90, align 4, !tbaa !9
  %708 = zext i32 %707 to i64
  %709 = alloca i8, i64 %708, align 16
  store i64 %708, ptr %91, align 8
  %710 = load i32, ptr %90, align 4, !tbaa !9
  %711 = zext i32 %710 to i64
  %712 = mul i64 %711, 1
  call void @llvm.memset.p0.i64(ptr align 16 %709, i8 0, i64 %712, i1 false)
  %713 = load ptr, ptr %5, align 8, !tbaa !5
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 %709, ptr align 1 %713, i64 9720, i1 false)
  %714 = getelementptr inbounds i8, ptr %709, i64 9720
  %715 = getelementptr inbounds [16 x i8], ptr %40, i64 0, i64 0
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %714, ptr align 16 %715, i64 16, i1 false)
  %716 = load i32, ptr %90, align 4, !tbaa !9
  %717 = load ptr, ptr %4, align 8, !tbaa !5
  call void @Hacl_Hash_SHA3_shake128_hacl(i32 noundef %716, ptr noundef %709, i32 noundef 16, ptr noundef %717)
  %718 = load i32, ptr %90, align 4, !tbaa !9
  %719 = zext i32 %718 to i64
  %720 = mul i64 %719, 1
  call void @Lib_Memzero0_memzero0(ptr noundef %709, i64 noundef %720)
  %721 = getelementptr inbounds [16 x i8], ptr %40, i64 0, i64 0
  call void @Lib_Memzero0_memzero0(ptr noundef %721, i64 noundef 16)
  %722 = getelementptr inbounds [32 x i8], ptr %15, i64 0, i64 0
  call void @Lib_Memzero0_memzero0(ptr noundef %722, i64 noundef 32)
  %723 = getelementptr inbounds [16 x i8], ptr %11, i64 0, i64 0
  call void @Lib_Memzero0_memzero0(ptr noundef %723, i64 noundef 16)
  call void @llvm.lifetime.end.p0(i64 4, ptr %90) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr %40) #8
  call void @llvm.lifetime.end.p0(i64 2, ptr %39) #8
  call void @llvm.lifetime.end.p0(i64 2, ptr %38) #8
  call void @llvm.lifetime.end.p0(i64 2, ptr %37) #8
  call void @llvm.lifetime.end.p0(i64 2, ptr %36) #8
  call void @llvm.lifetime.end.p0(i64 128, ptr %35) #8
  call void @llvm.lifetime.end.p0(i64 10240, ptr %34) #8
  call void @llvm.lifetime.end.p0(i64 819200, ptr %33) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #8
  call void @llvm.lifetime.end.p0(i64 17, ptr %29) #8
  call void @llvm.lifetime.end.p0(i64 20608, ptr %28) #8
  call void @llvm.lifetime.end.p0(i64 128, ptr %27) #8
  call void @llvm.lifetime.end.p0(i64 10240, ptr %26) #8
  call void @llvm.lifetime.end.p0(i64 10240, ptr %25) #8
  call void @llvm.lifetime.end.p0(i64 128, ptr %24) #8
  call void @llvm.lifetime.end.p0(i64 10240, ptr %23) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #8
  %724 = load ptr, ptr %17, align 8
  call void @llvm.stackrestore.p0(ptr %724)
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr %15) #8
  call void @llvm.lifetime.end.p0(i64 128, ptr %14) #8
  call void @llvm.lifetime.end.p0(i64 10240, ptr %13) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr %11) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #8
  call void @llvm.lifetime.end.p0(i64 128, ptr %8) #8
  call void @llvm.lifetime.end.p0(i64 10240, ptr %7) #8
  ret i32 0
}

; Function Attrs: inlinehint nounwind uwtable
declare hidden void @Hacl_Impl_Matrix_matrix_from_lbytes(i32 noundef, i32 noundef, ptr noundef, ptr noundef) #4

; Function Attrs: inlinehint nounwind uwtable
declare hidden void @Hacl_Impl_Matrix_matrix_sub(i32 noundef, i32 noundef, ptr noundef, ptr noundef) #4

; Function Attrs: inlinehint nounwind uwtable
declare hidden void @Hacl_Impl_Frodo_Encode_frodo_key_decode(i32 noundef, i32 noundef, i32 noundef, ptr noundef, ptr noundef) #4

; Function Attrs: inlinehint nounwind uwtable
declare hidden void @Hacl_Impl_Matrix_mod_pow2(i32 noundef, i32 noundef, i32 noundef, ptr noundef) #4

; Function Attrs: inlinehint nounwind uwtable
declare hidden zeroext i16 @Hacl_Impl_Matrix_matrix_eq(i32 noundef, i32 noundef, ptr noundef, ptr noundef) #4

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { nocallback nofree nounwind willreturn memory(argmem: write) }
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 = { 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 #5 = { noreturn nounwind "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 #6 = { nocallback nofree nosync nounwind willreturn }
attributes #7 = { 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 #8 = { nounwind }
attributes #9 = { noreturn 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 = !{!7, !7, i64 0}
!12 = !{!13, !13, i64 0}
!13 = !{!"short", !7, 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"

; 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 nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #1

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

; 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

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

; Function Attrs: inlinehint nounwind uwtable
declare hidden void @Hacl_Impl_Frodo_Sample_frodo_sample_matrix640(i32 noundef, i32 noundef, ptr noundef, ptr noundef) local_unnamed_addr #4

; Function Attrs: inlinehint nounwind uwtable
declare hidden void @Hacl_Impl_Frodo_Params_frodo_gen_matrix(i8 noundef zeroext, i32 noundef, ptr noundef, ptr noundef) local_unnamed_addr #4

; Function Attrs: inlinehint nounwind uwtable
declare hidden void @Hacl_Impl_Matrix_matrix_mul_s(i32 noundef, i32 noundef, i32 noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #4

; Function Attrs: inlinehint nounwind uwtable
declare hidden void @Hacl_Impl_Matrix_matrix_add(i32 noundef, i32 noundef, ptr noundef, ptr noundef) local_unnamed_addr #4

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

; Function Attrs: inlinehint nounwind uwtable
declare hidden void @Hacl_Impl_Matrix_matrix_mul(i32 noundef, i32 noundef, i32 noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #4

; Function Attrs: inlinehint nounwind uwtable
declare hidden void @Hacl_Impl_Frodo_Pack_frodo_unpack(i32 noundef, i32 noundef, i32 noundef, ptr noundef, ptr noundef) local_unnamed_addr #4

; Function Attrs: inlinehint nounwind uwtable
declare hidden void @Hacl_Impl_Frodo_Encode_frodo_key_encode(i32 noundef, i32 noundef, i32 noundef, ptr noundef, ptr noundef) local_unnamed_addr #4

; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn
declare ptr @llvm.stacksave.p0() #5

; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn
declare void @llvm.stackrestore.p0(ptr) #5

; Function Attrs: nounwind uwtable
define dso_local noundef i32 @Hacl_Frodo640_crypto_kem_dec(ptr noundef %0, ptr noundef %1, ptr noundef %2) local_unnamed_addr #6 {
  %4 = alloca [5120 x i16], align 16
  %5 = alloca [64 x i16], align 16
  %6 = alloca [16 x i8], align 16
  %7 = alloca [5120 x i16], align 16
  %8 = alloca [64 x i16], align 16
  %9 = alloca [32 x i8], align 16
  %10 = alloca [5120 x i16], align 16
  %11 = alloca [64 x i16], align 16
  %12 = alloca [5120 x i16], align 16
  %13 = alloca [5120 x i16], align 16
  %14 = alloca [64 x i16], align 16
  %15 = alloca [20608 x i8], align 16
  %16 = alloca [17 x i8], align 16
  %17 = alloca [409600 x i16], align 16
  %18 = alloca [5120 x i16], align 16
  %19 = alloca [64 x i16], align 16
  %20 = alloca [16 x i8], align 16
  call void @llvm.lifetime.start.p0(i64 10240, ptr nonnull %4) #7
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(10240) %4, i8 0, i64 10240, i1 false)
  call void @llvm.lifetime.start.p0(i64 128, ptr nonnull %5) #7
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(128) %5, i8 0, i64 128, i1 false)
  %21 = getelementptr inbounds i8, ptr %1, i64 9600
  call void @Hacl_Impl_Frodo_Pack_frodo_unpack(i32 noundef 8, i32 noundef 640, i32 noundef 15, ptr noundef %1, ptr noundef nonnull %4)
  call void @Hacl_Impl_Frodo_Pack_frodo_unpack(i32 noundef 8, i32 noundef 8, i32 noundef 15, ptr noundef nonnull %21, ptr noundef nonnull %5)
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %6) #7
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(16) %6, i8 0, i64 16, i1 false)
  %22 = getelementptr inbounds i8, ptr %2, i64 9632
  call void @llvm.lifetime.start.p0(i64 10240, ptr nonnull %7) #7
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(10240) %7, i8 0, i64 10240, i1 false)
  call void @llvm.lifetime.start.p0(i64 128, ptr nonnull %8) #7
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(128) %8, i8 0, i64 128, i1 false)
  call void @Hacl_Impl_Matrix_matrix_from_lbytes(i32 noundef 640, i32 noundef 8, ptr noundef nonnull %22, ptr noundef nonnull %7)
  call void @Hacl_Impl_Matrix_matrix_mul_s(i32 noundef 8, i32 noundef 640, i32 noundef 8, ptr noundef nonnull %4, ptr noundef nonnull %7, ptr noundef nonnull %8)
  call void @Hacl_Impl_Matrix_matrix_sub(i32 noundef 8, i32 noundef 8, ptr noundef nonnull %5, ptr noundef nonnull %8)
  call void @Hacl_Impl_Frodo_Encode_frodo_key_decode(i32 noundef 15, i32 noundef 2, i32 noundef 8, ptr noundef nonnull %8, ptr noundef nonnull %6)
  call void @Lib_Memzero0_memzero0(ptr noundef nonnull %7, i64 noundef 10240) #7
  call void @Lib_Memzero0_memzero0(ptr noundef nonnull %8, i64 noundef 128) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %9) #7
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(32) %9, i8 0, i64 32, i1 false)
  %23 = call ptr @llvm.stacksave.p0()
  %24 = alloca [32 x i8], align 16
  %25 = getelementptr inbounds i8, ptr %2, i64 19872
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(16) %24, ptr noundef nonnull align 1 dereferenceable(16) %25, i64 16, i1 false)
  %26 = getelementptr inbounds i8, ptr %24, i64 16
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(16) %26, ptr noundef nonnull align 16 dereferenceable(16) %6, i64 16, i1 false)
  call void @Hacl_Hash_SHA3_shake128_hacl(i32 noundef 32, ptr noundef nonnull %24, i32 noundef 32, ptr noundef nonnull %9) #7
  %27 = getelementptr inbounds i8, ptr %9, i64 16
  call void @llvm.lifetime.start.p0(i64 10240, ptr nonnull %10) #7
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(10240) %10, i8 0, i64 10240, i1 false)
  call void @llvm.lifetime.start.p0(i64 128, ptr nonnull %11) #7
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(128) %11, i8 0, i64 128, i1 false)
  call void @llvm.lifetime.start.p0(i64 10240, ptr nonnull %12) #7
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(10240) %12, i8 0, i64 10240, i1 false)
  call void @llvm.lifetime.start.p0(i64 10240, ptr nonnull %13) #7
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(10240) %13, i8 0, i64 10240, i1 false)
  call void @llvm.lifetime.start.p0(i64 128, ptr nonnull %14) #7
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(128) %14, i8 0, i64 128, i1 false)
  call void @llvm.lifetime.start.p0(i64 20608, ptr nonnull %15) #7
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(20608) %15, i8 0, i64 20608, i1 false)
  call void @llvm.lifetime.start.p0(i64 17, ptr nonnull %16) #7
  store i8 -106, ptr %16, align 16, !tbaa !5
  %28 = getelementptr inbounds i8, ptr %16, i64 1
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 1 dereferenceable(16) %28, ptr noundef nonnull align 16 dereferenceable(16) %9, i64 16, i1 false)
  call void @Hacl_Hash_SHA3_shake128_hacl(i32 noundef 17, ptr noundef nonnull %16, i32 noundef 20608, ptr noundef nonnull %15) #7
  call void @Lib_Memzero0_memzero0(ptr noundef nonnull %16, i64 noundef 17) #7
  call void @Hacl_Impl_Frodo_Sample_frodo_sample_matrix640(i32 noundef 8, i32 noundef 640, ptr noundef nonnull %15, ptr noundef nonnull %12)
  %29 = getelementptr inbounds i8, ptr %15, i64 10240
  call void @Hacl_Impl_Frodo_Sample_frodo_sample_matrix640(i32 noundef 8, i32 noundef 640, ptr noundef nonnull %29, ptr noundef nonnull %13)
  %30 = getelementptr inbounds i8, ptr %15, i64 20480
  call void @Hacl_Impl_Frodo_Sample_frodo_sample_matrix640(i32 noundef 8, i32 noundef 8, ptr noundef nonnull %30, ptr noundef nonnull %14)
  %31 = getelementptr inbounds i8, ptr %2, i64 16
  %32 = getelementptr inbounds i8, ptr %2, i64 32
  call void @llvm.lifetime.start.p0(i64 819200, ptr nonnull %17) #7
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(819200) %17, i8 0, i64 819200, i1 false)
  call void @Hacl_Impl_Frodo_Params_frodo_gen_matrix(i8 noundef zeroext 0, i32 noundef 640, ptr noundef nonnull %31, ptr noundef nonnull %17)
  call void @Hacl_Impl_Matrix_matrix_mul(i32 noundef 8, i32 noundef 640, i32 noundef 640, ptr noundef nonnull %12, ptr noundef nonnull %17, ptr noundef nonnull %10)
  call void @Hacl_Impl_Matrix_matrix_add(i32 noundef 8, i32 noundef 640, ptr noundef nonnull %10, ptr noundef nonnull %13)
  call void @llvm.lifetime.start.p0(i64 10240, ptr nonnull %18) #7
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(10240) %18, i8 0, i64 10240, i1 false)
  call void @Hacl_Impl_Frodo_Pack_frodo_unpack(i32 noundef 640, i32 noundef 8, i32 noundef 15, ptr noundef nonnull %32, ptr noundef nonnull %18)
  call void @Hacl_Impl_Matrix_matrix_mul(i32 noundef 8, i32 noundef 640, i32 noundef 8, ptr noundef nonnull %12, ptr noundef nonnull %18, ptr noundef nonnull %11)
  call void @Hacl_Impl_Matrix_matrix_add(i32 noundef 8, i32 noundef 8, ptr noundef nonnull %11, ptr noundef nonnull %14)
  call void @llvm.lifetime.start.p0(i64 128, ptr nonnull %19) #7
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(128) %19, i8 0, i64 128, i1 false)
  call void @Hacl_Impl_Frodo_Encode_frodo_key_encode(i32 noundef 15, i32 noundef 2, i32 noundef 8, ptr noundef nonnull %6, ptr noundef nonnull %19)
  call void @Hacl_Impl_Matrix_matrix_add(i32 noundef 8, i32 noundef 8, ptr noundef nonnull %11, ptr noundef nonnull %19)
  call void @Lib_Memzero0_memzero0(ptr noundef nonnull %19, i64 noundef 128) #7
  call void @Hacl_Impl_Matrix_mod_pow2(i32 noundef 8, i32 noundef 640, i32 noundef 15, ptr noundef nonnull %10)
  call void @Hacl_Impl_Matrix_mod_pow2(i32 noundef 8, i32 noundef 8, i32 noundef 15, ptr noundef nonnull %11)
  call void @Lib_Memzero0_memzero0(ptr noundef nonnull %12, i64 noundef 10240) #7
  call void @Lib_Memzero0_memzero0(ptr noundef nonnull %13, i64 noundef 10240) #7
  call void @Lib_Memzero0_memzero0(ptr noundef nonnull %14, i64 noundef 128) #7
  %33 = call zeroext i16 @Hacl_Impl_Matrix_matrix_eq(i32 noundef 8, i32 noundef 640, ptr noundef nonnull %4, ptr noundef nonnull %10)
  %34 = call zeroext i16 @Hacl_Impl_Matrix_matrix_eq(i32 noundef 8, i32 noundef 8, ptr noundef nonnull %5, ptr noundef nonnull %11)
  %35 = and i16 %34, %33
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %20) #7
  %36 = trunc i16 %35 to i8
  %37 = load <16 x i8>, ptr %2, align 1, !tbaa !5
  %38 = load <16 x i8>, ptr %27, align 16, !tbaa !5
  %39 = xor <16 x i8> %38, %37
  %40 = insertelement <16 x i8> poison, i8 %36, i64 0
  %41 = shufflevector <16 x i8> %40, <16 x i8> poison, <16 x i32> zeroinitializer
  %42 = and <16 x i8> %39, %41
  %43 = xor <16 x i8> %42, %37
  store <16 x i8> %43, ptr %20, align 16, !tbaa !5
  %44 = alloca [9736 x i8], align 16
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(9720) %44, ptr noundef nonnull align 1 dereferenceable(9720) %1, i64 9720, i1 false)
  %45 = getelementptr inbounds i8, ptr %44, i64 9720
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(16) %45, ptr noundef nonnull align 16 dereferenceable(16) %20, i64 16, i1 false)
  call void @Hacl_Hash_SHA3_shake128_hacl(i32 noundef 9736, ptr noundef nonnull %44, i32 noundef 16, ptr noundef %0) #7
  call void @Lib_Memzero0_memzero0(ptr noundef nonnull %44, i64 noundef 9736) #7
  call void @Lib_Memzero0_memzero0(ptr noundef nonnull %20, i64 noundef 16) #7
  call void @Lib_Memzero0_memzero0(ptr noundef nonnull %9, i64 noundef 32) #7
  call void @Lib_Memzero0_memzero0(ptr noundef nonnull %6, i64 noundef 16) #7
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %20) #7
  call void @llvm.lifetime.end.p0(i64 128, ptr nonnull %19) #7
  call void @llvm.lifetime.end.p0(i64 10240, ptr nonnull %18) #7
  call void @llvm.lifetime.end.p0(i64 819200, ptr nonnull %17) #7
  call void @llvm.lifetime.end.p0(i64 17, ptr nonnull %16) #7
  call void @llvm.lifetime.end.p0(i64 20608, ptr nonnull %15) #7
  call void @llvm.lifetime.end.p0(i64 128, ptr nonnull %14) #7
  call void @llvm.lifetime.end.p0(i64 10240, ptr nonnull %13) #7
  call void @llvm.lifetime.end.p0(i64 10240, ptr nonnull %12) #7
  call void @llvm.lifetime.end.p0(i64 128, ptr nonnull %11) #7
  call void @llvm.lifetime.end.p0(i64 10240, ptr nonnull %10) #7
  call void @llvm.stackrestore.p0(ptr %23)
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %9) #7
  call void @llvm.lifetime.end.p0(i64 128, ptr nonnull %8) #7
  call void @llvm.lifetime.end.p0(i64 10240, ptr nonnull %7) #7
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %6) #7
  call void @llvm.lifetime.end.p0(i64 128, ptr nonnull %5) #7
  call void @llvm.lifetime.end.p0(i64 10240, ptr nonnull %4) #7
  ret i32 0
}

; Function Attrs: inlinehint nounwind uwtable
declare hidden void @Hacl_Impl_Matrix_matrix_from_lbytes(i32 noundef, i32 noundef, ptr noundef, ptr noundef) local_unnamed_addr #4

; Function Attrs: inlinehint nounwind uwtable
declare hidden void @Hacl_Impl_Matrix_matrix_sub(i32 noundef, i32 noundef, ptr noundef, ptr noundef) local_unnamed_addr #4

; Function Attrs: inlinehint nounwind uwtable
declare hidden void @Hacl_Impl_Frodo_Encode_frodo_key_decode(i32 noundef, i32 noundef, i32 noundef, ptr noundef, ptr noundef) local_unnamed_addr #4

; Function Attrs: inlinehint nounwind uwtable
declare hidden void @Hacl_Impl_Matrix_mod_pow2(i32 noundef, i32 noundef, i32 noundef, ptr noundef) local_unnamed_addr #4

; Function Attrs: inlinehint nounwind uwtable
declare hidden zeroext i16 @Hacl_Impl_Matrix_matrix_eq(i32 noundef, i32 noundef, ptr noundef, ptr noundef) local_unnamed_addr #4

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: write) }
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 = { 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 #5 = { mustprogress nocallback nofree nosync nounwind willreturn }
attributes #6 = { 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 #7 = { 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 = !{!"omnipotent char", !7, i64 0}
!7 = !{!"Simple C/C++ TBAA"}


; Effective O3 passes: DSEPass,EarlyCSEPass,GlobalOptPass,IPSCCPPass,InferAlignmentPass,InferFunctionAttrsPass,InstCombinePass,MemCpyOptPass,PostOrderFunctionAttrsPass,ReassociatePass,SLPVectorizerPass,SROAPass,SimplifyCFGPass