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

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

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

117:                                              ; preds = %111
  br label %118

118:                                              ; preds = %117
  br label %119

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

162:                                              ; preds = %119
  br label %163

163:                                              ; preds = %162
  br label %164

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

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

699:                                              ; preds = %202
  br label %700

700:                                              ; preds = %699
  call void @llvm.lifetime.start.p0(i64 4, ptr %89) #7
  store i32 9736, ptr %89, align 4, !tbaa !9
  br label %701

701:                                              ; preds = %700
  %702 = load i32, ptr %89, align 4, !tbaa !9
  %703 = zext i32 %702 to i64
  %704 = icmp ugt i64 %703, -1
  br i1 %704, label %705, label %707

705:                                              ; preds = %701
  %706 = call i32 (ptr, ...) @printf(ptr noundef @.str, ptr noundef @.str.1, i32 noundef 221)
  call void @exit(i32 noundef 253) #8
  unreachable

707:                                              ; preds = %701
  br label %708

708:                                              ; preds = %707
  br label %709

709:                                              ; preds = %708
  call void @llvm.lifetime.start.p0(i64 8, ptr %90) #7
  %710 = load i32, ptr %89, align 4, !tbaa !9
  %711 = zext i32 %710 to i64
  %712 = mul i64 %711, 1
  %713 = alloca i8, i64 %712, align 16
  store ptr %713, ptr %90, align 8, !tbaa !5
  %714 = load ptr, ptr %90, align 8, !tbaa !5
  %715 = load i32, ptr %89, align 4, !tbaa !9
  %716 = zext i32 %715 to i64
  %717 = mul i64 %716, 1
  call void @llvm.memset.p0.i64(ptr align 1 %714, i8 0, i64 %717, i1 false)
  %718 = load ptr, ptr %90, align 8, !tbaa !5
  %719 = load ptr, ptr %5, align 8, !tbaa !5
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %718, ptr align 1 %719, i64 9720, i1 false)
  %720 = load ptr, ptr %90, align 8, !tbaa !5
  %721 = getelementptr inbounds i8, ptr %720, i64 9720
  %722 = getelementptr inbounds [16 x i8], ptr %39, i64 0, i64 0
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %721, ptr align 16 %722, i64 16, i1 false)
  %723 = load i32, ptr %89, align 4, !tbaa !9
  %724 = load ptr, ptr %90, align 8, !tbaa !5
  %725 = load ptr, ptr %4, align 8, !tbaa !5
  call void @Hacl_Hash_SHA3_shake128_hacl(i32 noundef %723, ptr noundef %724, i32 noundef 16, ptr noundef %725)
  %726 = load ptr, ptr %90, align 8, !tbaa !5
  %727 = load i32, ptr %89, align 4, !tbaa !9
  %728 = zext i32 %727 to i64
  %729 = mul i64 %728, 1
  call void @Lib_Memzero0_memzero0(ptr noundef %726, i64 noundef %729)
  %730 = getelementptr inbounds [16 x i8], ptr %39, i64 0, i64 0
  call void @Lib_Memzero0_memzero0(ptr noundef %730, i64 noundef 16)
  %731 = getelementptr inbounds [32 x i8], ptr %15, i64 0, i64 0
  call void @Lib_Memzero0_memzero0(ptr noundef %731, i64 noundef 32)
  %732 = getelementptr inbounds [16 x i8], ptr %11, i64 0, i64 0
  call void @Lib_Memzero0_memzero0(ptr noundef %732, i64 noundef 16)
  call void @llvm.lifetime.end.p0(i64 8, ptr %90) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %89) #7
  call void @llvm.lifetime.end.p0(i64 16, ptr %39) #7
  call void @llvm.lifetime.end.p0(i64 2, ptr %38) #7
  call void @llvm.lifetime.end.p0(i64 2, ptr %37) #7
  call void @llvm.lifetime.end.p0(i64 2, ptr %36) #7
  call void @llvm.lifetime.end.p0(i64 2, ptr %35) #7
  call void @llvm.lifetime.end.p0(i64 128, ptr %34) #7
  call void @llvm.lifetime.end.p0(i64 10240, ptr %33) #7
  call void @llvm.lifetime.end.p0(i64 819200, ptr %32) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #7
  call void @llvm.lifetime.end.p0(i64 17, ptr %28) #7
  call void @llvm.lifetime.end.p0(i64 20608, ptr %27) #7
  call void @llvm.lifetime.end.p0(i64 128, ptr %26) #7
  call void @llvm.lifetime.end.p0(i64 10240, ptr %25) #7
  call void @llvm.lifetime.end.p0(i64 10240, ptr %24) #7
  call void @llvm.lifetime.end.p0(i64 128, ptr %23) #7
  call void @llvm.lifetime.end.p0(i64 10240, ptr %22) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %15) #7
  call void @llvm.lifetime.end.p0(i64 128, ptr %14) #7
  call void @llvm.lifetime.end.p0(i64 10240, ptr %13) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #7
  call void @llvm.lifetime.end.p0(i64 16, ptr %11) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #7
  call void @llvm.lifetime.end.p0(i64 128, ptr %8) #7
  call void @llvm.lifetime.end.p0(i64 10240, ptr %7) #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) #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 = { 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 }
attributes #8 = { 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: nounwind uwtable
define dso_local noundef i32 @Hacl_Frodo640_crypto_kem_dec(ptr noundef %0, ptr noundef %1, ptr noundef %2) local_unnamed_addr #5 {
  %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) #6
  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) #6
  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) #6
  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) #6
  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) #6
  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) #6
  call void @Lib_Memzero0_memzero0(ptr noundef nonnull %8, i64 noundef 128) #6
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %9) #6
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(32) %9, i8 0, i64 32, i1 false)
  %23 = alloca [32 x i8], align 16
  %24 = getelementptr inbounds i8, ptr %2, i64 19872
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(16) %23, ptr noundef nonnull align 1 dereferenceable(16) %24, i64 16, i1 false)
  %25 = getelementptr inbounds i8, ptr %23, i64 16
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(16) %25, 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 %23, i32 noundef 32, ptr noundef nonnull %9) #6
  %26 = getelementptr inbounds i8, ptr %9, i64 16
  call void @llvm.lifetime.start.p0(i64 10240, ptr nonnull %10) #6
  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) #6
  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) #6
  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) #6
  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) #6
  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) #6
  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) #6
  store i8 -106, ptr %16, align 16, !tbaa !5
  %27 = getelementptr inbounds i8, ptr %16, i64 1
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 1 dereferenceable(16) %27, 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) #6
  call void @Lib_Memzero0_memzero0(ptr noundef nonnull %16, i64 noundef 17) #6
  call void @Hacl_Impl_Frodo_Sample_frodo_sample_matrix640(i32 noundef 8, i32 noundef 640, ptr noundef nonnull %15, ptr noundef nonnull %12)
  %28 = 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 %28, ptr noundef nonnull %13)
  %29 = 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 %29, ptr noundef nonnull %14)
  %30 = getelementptr inbounds i8, ptr %2, i64 16
  %31 = getelementptr inbounds i8, ptr %2, i64 32
  call void @llvm.lifetime.start.p0(i64 819200, ptr nonnull %17) #6
  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 %30, 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) #6
  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 %31, 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) #6
  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) #6
  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) #6
  call void @Lib_Memzero0_memzero0(ptr noundef nonnull %13, i64 noundef 10240) #6
  call void @Lib_Memzero0_memzero0(ptr noundef nonnull %14, i64 noundef 128) #6
  %32 = call zeroext i16 @Hacl_Impl_Matrix_matrix_eq(i32 noundef 8, i32 noundef 640, ptr noundef nonnull %4, ptr noundef nonnull %10)
  %33 = call zeroext i16 @Hacl_Impl_Matrix_matrix_eq(i32 noundef 8, i32 noundef 8, ptr noundef nonnull %5, ptr noundef nonnull %11)
  %34 = and i16 %33, %32
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %20) #6
  %35 = trunc i16 %34 to i8
  %36 = load <16 x i8>, ptr %2, align 1, !tbaa !5
  %37 = load <16 x i8>, ptr %26, align 16, !tbaa !5
  %38 = xor <16 x i8> %37, %36
  %39 = insertelement <16 x i8> poison, i8 %35, i64 0
  %40 = shufflevector <16 x i8> %39, <16 x i8> poison, <16 x i32> zeroinitializer
  %41 = and <16 x i8> %38, %40
  %42 = xor <16 x i8> %41, %36
  store <16 x i8> %42, ptr %20, align 16, !tbaa !5
  %43 = alloca [9736 x i8], align 16
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(9720) %43, ptr noundef nonnull align 1 dereferenceable(9720) %1, i64 9720, i1 false)
  %44 = getelementptr inbounds i8, ptr %43, i64 9720
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(16) %44, 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 %43, i32 noundef 16, ptr noundef %0) #6
  call void @Lib_Memzero0_memzero0(ptr noundef nonnull %43, i64 noundef 9736) #6
  call void @Lib_Memzero0_memzero0(ptr noundef nonnull %20, i64 noundef 16) #6
  call void @Lib_Memzero0_memzero0(ptr noundef nonnull %9, i64 noundef 32) #6
  call void @Lib_Memzero0_memzero0(ptr noundef nonnull %6, i64 noundef 16) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %20) #6
  call void @llvm.lifetime.end.p0(i64 128, ptr nonnull %19) #6
  call void @llvm.lifetime.end.p0(i64 10240, ptr nonnull %18) #6
  call void @llvm.lifetime.end.p0(i64 819200, ptr nonnull %17) #6
  call void @llvm.lifetime.end.p0(i64 17, ptr nonnull %16) #6
  call void @llvm.lifetime.end.p0(i64 20608, ptr nonnull %15) #6
  call void @llvm.lifetime.end.p0(i64 128, ptr nonnull %14) #6
  call void @llvm.lifetime.end.p0(i64 10240, ptr nonnull %13) #6
  call void @llvm.lifetime.end.p0(i64 10240, ptr nonnull %12) #6
  call void @llvm.lifetime.end.p0(i64 128, ptr nonnull %11) #6
  call void @llvm.lifetime.end.p0(i64 10240, ptr nonnull %10) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %9) #6
  call void @llvm.lifetime.end.p0(i64 128, ptr nonnull %8) #6
  call void @llvm.lifetime.end.p0(i64 10240, ptr nonnull %7) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %6) #6
  call void @llvm.lifetime.end.p0(i64 128, ptr nonnull %5) #6
  call void @llvm.lifetime.end.p0(i64 10240, ptr nonnull %4) #6
  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 = { 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 #6 = { 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