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

; 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 [79 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_matrix64(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_Frodo64_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 [512 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 [512 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 [512 x i16], align 16
  %24 = alloca [64 x i16], align 16
  %25 = alloca [512 x i16], align 16
  %26 = alloca [512 x i16], align 16
  %27 = alloca [64 x i16], align 16
  %28 = alloca [2176 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 [4096 x i16], align 16
  %34 = alloca [512 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 1024, ptr %7) #8
  call void @llvm.memset.p0.i64(ptr align 16 %7, i8 0, i64 1024, 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 960
  store ptr %94, ptr %10, align 8, !tbaa !5
  %95 = load ptr, ptr %9, align 8, !tbaa !5
  %96 = getelementptr inbounds [512 x i16], ptr %7, i64 0, i64 0
  call void @Hacl_Impl_Frodo_Pack_frodo_unpack(i32 noundef 8, i32 noundef 64, 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 992
  store ptr %100, ptr %12, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 1024, ptr %13) #8
  call void @llvm.memset.p0.i64(ptr align 16 %13, i8 0, i64 1024, 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 [512 x i16], ptr %13, i64 0, i64 0
  call void @Hacl_Impl_Matrix_matrix_from_lbytes(i32 noundef 64, i32 noundef 8, ptr noundef %101, ptr noundef %102)
  %103 = getelementptr inbounds [512 x i16], ptr %7, i64 0, i64 0
  %104 = getelementptr inbounds [512 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 64, 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 [512 x i16], ptr %13, i64 0, i64 0
  call void @Lib_Memzero0_memzero0(ptr noundef %110, i64 noundef 1024)
  %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 164)
  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 2016
  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 1024, ptr %23) #8
  call void @llvm.memset.p0.i64(ptr align 16 %23, i8 0, i64 1024, 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 1024, ptr %25) #8
  call void @llvm.memset.p0.i64(ptr align 16 %25, i8 0, i64 1024, i1 false)
  call void @llvm.lifetime.start.p0(i64 1024, ptr %26) #8
  call void @llvm.memset.p0.i64(ptr align 16 %26, i8 0, i64 1024, 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 2176, ptr %28) #8
  call void @llvm.memset.p0.i64(ptr align 16 %28, i8 0, i64 2176, 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 [2176 x i8], ptr %28, i64 0, i64 0
  call void @Hacl_Hash_SHA3_shake128_hacl(i32 noundef 17, ptr noundef %143, i32 noundef 2176, 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 [2176 x i8], ptr %28, i64 0, i64 0
  %147 = getelementptr inbounds [512 x i16], ptr %25, i64 0, i64 0
  call void @Hacl_Impl_Frodo_Sample_frodo_sample_matrix64(i32 noundef 8, i32 noundef 64, ptr noundef %146, ptr noundef %147)
  %148 = getelementptr inbounds [2176 x i8], ptr %28, i64 0, i64 0
  %149 = getelementptr inbounds i8, ptr %148, i64 1024
  %150 = getelementptr inbounds [512 x i16], ptr %26, i64 0, i64 0
  call void @Hacl_Impl_Frodo_Sample_frodo_sample_matrix64(i32 noundef 8, i32 noundef 64, ptr noundef %149, ptr noundef %150)
  %151 = getelementptr inbounds [2176 x i8], ptr %28, i64 0, i64 0
  %152 = getelementptr inbounds i8, ptr %151, i64 2048
  %153 = getelementptr inbounds [64 x i16], ptr %27, i64 0, i64 0
  call void @Hacl_Impl_Frodo_Sample_frodo_sample_matrix64(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
  call void @llvm.lifetime.start.p0(i64 8192, ptr %33) #8
  call void @llvm.memset.p0.i64(ptr align 16 %33, i8 0, i64 8192, i1 false)
  %159 = load ptr, ptr %31, align 8, !tbaa !5
  %160 = getelementptr inbounds [4096 x i16], ptr %33, i64 0, i64 0
  call void @Hacl_Impl_Frodo_Params_frodo_gen_matrix(i8 noundef zeroext 0, i32 noundef 64, ptr noundef %159, ptr noundef %160)
  %161 = getelementptr inbounds [512 x i16], ptr %25, i64 0, i64 0
  %162 = getelementptr inbounds [4096 x i16], ptr %33, i64 0, i64 0
  %163 = getelementptr inbounds [512 x i16], ptr %23, i64 0, i64 0
  call void @Hacl_Impl_Matrix_matrix_mul(i32 noundef 8, i32 noundef 64, i32 noundef 64, ptr noundef %161, ptr noundef %162, ptr noundef %163)
  %164 = getelementptr inbounds [512 x i16], ptr %23, i64 0, i64 0
  %165 = getelementptr inbounds [512 x i16], ptr %26, i64 0, i64 0
  call void @Hacl_Impl_Matrix_matrix_add(i32 noundef 8, i32 noundef 64, ptr noundef %164, ptr noundef %165)
  call void @llvm.lifetime.start.p0(i64 1024, ptr %34) #8
  call void @llvm.memset.p0.i64(ptr align 16 %34, i8 0, i64 1024, i1 false)
  %166 = load ptr, ptr %32, align 8, !tbaa !5
  %167 = getelementptr inbounds [512 x i16], ptr %34, i64 0, i64 0
  call void @Hacl_Impl_Frodo_Pack_frodo_unpack(i32 noundef 64, i32 noundef 8, i32 noundef 15, ptr noundef %166, ptr noundef %167)
  %168 = getelementptr inbounds [512 x i16], ptr %25, i64 0, i64 0
  %169 = getelementptr inbounds [512 x i16], ptr %34, i64 0, i64 0
  %170 = getelementptr inbounds [64 x i16], ptr %24, i64 0, i64 0
  call void @Hacl_Impl_Matrix_matrix_mul(i32 noundef 8, i32 noundef 64, i32 noundef 8, ptr noundef %168, ptr noundef %169, ptr noundef %170)
  %171 = getelementptr inbounds [64 x i16], ptr %24, i64 0, i64 0
  %172 = 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 %171, ptr noundef %172)
  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)
  %173 = getelementptr inbounds [16 x i8], ptr %11, i64 0, i64 0
  %174 = 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 %173, ptr noundef %174)
  %175 = getelementptr inbounds [64 x i16], ptr %24, i64 0, i64 0
  %176 = 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 %175, ptr noundef %176)
  %177 = getelementptr inbounds [64 x i16], ptr %35, i64 0, i64 0
  call void @Lib_Memzero0_memzero0(ptr noundef %177, i64 noundef 128)
  %178 = getelementptr inbounds [512 x i16], ptr %23, i64 0, i64 0
  call void @Hacl_Impl_Matrix_mod_pow2(i32 noundef 8, i32 noundef 64, i32 noundef 15, ptr noundef %178)
  %179 = 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 %179)
  %180 = getelementptr inbounds [512 x i16], ptr %25, i64 0, i64 0
  call void @Lib_Memzero0_memzero0(ptr noundef %180, i64 noundef 1024)
  %181 = getelementptr inbounds [512 x i16], ptr %26, i64 0, i64 0
  call void @Lib_Memzero0_memzero0(ptr noundef %181, i64 noundef 1024)
  %182 = getelementptr inbounds [64 x i16], ptr %27, i64 0, i64 0
  call void @Lib_Memzero0_memzero0(ptr noundef %182, i64 noundef 128)
  call void @llvm.lifetime.start.p0(i64 2, ptr %36) #8
  %183 = getelementptr inbounds [512 x i16], ptr %7, i64 0, i64 0
  %184 = getelementptr inbounds [512 x i16], ptr %23, i64 0, i64 0
  %185 = call zeroext i16 @Hacl_Impl_Matrix_matrix_eq(i32 noundef 8, i32 noundef 64, ptr noundef %183, ptr noundef %184)
  store i16 %185, ptr %36, align 2, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 2, ptr %37) #8
  %186 = getelementptr inbounds [64 x i16], ptr %8, i64 0, i64 0
  %187 = getelementptr inbounds [64 x i16], ptr %24, i64 0, i64 0
  %188 = call zeroext i16 @Hacl_Impl_Matrix_matrix_eq(i32 noundef 8, i32 noundef 8, ptr noundef %186, ptr noundef %187)
  store i16 %188, ptr %37, align 2, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 2, ptr %38) #8
  %189 = load i16, ptr %36, align 2, !tbaa !12
  %190 = zext i16 %189 to i32
  %191 = load i16, ptr %37, align 2, !tbaa !12
  %192 = zext i16 %191 to i32
  %193 = and i32 %190, %192
  %194 = trunc i32 %193 to i16
  store i16 %194, ptr %38, align 2, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 2, ptr %39) #8
  %195 = load i16, ptr %38, align 2, !tbaa !12
  store i16 %195, 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 %196

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

693:                                              ; preds = %196
  br label %694

694:                                              ; preds = %693
  call void @llvm.lifetime.start.p0(i64 4, ptr %90) #8
  store i32 1096, ptr %90, align 4, !tbaa !9
  br label %695

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

699:                                              ; preds = %695
  %700 = call i32 (ptr, ...) @printf(ptr noundef @.str, ptr noundef @.str.1, i32 noundef 223)
  call void @exit(i32 noundef 253) #9
  unreachable

701:                                              ; preds = %695
  br label %702

702:                                              ; preds = %701
  br label %703

703:                                              ; preds = %702
  %704 = load i32, ptr %90, align 4, !tbaa !9
  %705 = zext i32 %704 to i64
  %706 = alloca i8, i64 %705, align 16
  store i64 %705, ptr %91, align 8
  %707 = load i32, ptr %90, align 4, !tbaa !9
  %708 = zext i32 %707 to i64
  %709 = mul i64 %708, 1
  call void @llvm.memset.p0.i64(ptr align 16 %706, i8 0, i64 %709, i1 false)
  %710 = load ptr, ptr %5, align 8, !tbaa !5
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 %706, ptr align 1 %710, i64 1080, i1 false)
  %711 = getelementptr inbounds i8, ptr %706, i64 1080
  %712 = getelementptr inbounds [16 x i8], ptr %40, i64 0, i64 0
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %711, ptr align 16 %712, i64 16, i1 false)
  %713 = load i32, ptr %90, align 4, !tbaa !9
  %714 = load ptr, ptr %4, align 8, !tbaa !5
  call void @Hacl_Hash_SHA3_shake128_hacl(i32 noundef %713, ptr noundef %706, i32 noundef 16, ptr noundef %714)
  %715 = load i32, ptr %90, align 4, !tbaa !9
  %716 = zext i32 %715 to i64
  %717 = mul i64 %716, 1
  call void @Lib_Memzero0_memzero0(ptr noundef %706, i64 noundef %717)
  %718 = getelementptr inbounds [16 x i8], ptr %40, i64 0, i64 0
  call void @Lib_Memzero0_memzero0(ptr noundef %718, i64 noundef 16)
  %719 = getelementptr inbounds [32 x i8], ptr %15, i64 0, i64 0
  call void @Lib_Memzero0_memzero0(ptr noundef %719, i64 noundef 32)
  %720 = getelementptr inbounds [16 x i8], ptr %11, i64 0, i64 0
  call void @Lib_Memzero0_memzero0(ptr noundef %720, 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 1024, ptr %34) #8
  call void @llvm.lifetime.end.p0(i64 8192, 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 2176, ptr %28) #8
  call void @llvm.lifetime.end.p0(i64 128, ptr %27) #8
  call void @llvm.lifetime.end.p0(i64 1024, ptr %26) #8
  call void @llvm.lifetime.end.p0(i64 1024, ptr %25) #8
  call void @llvm.lifetime.end.p0(i64 128, ptr %24) #8
  call void @llvm.lifetime.end.p0(i64 1024, 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
  %721 = load ptr, ptr %17, align 8
  call void @llvm.stackrestore.p0(ptr %721)
  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 1024, 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 1024, 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_matrix64(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_Frodo64_crypto_kem_dec(ptr noundef %0, ptr noundef %1, ptr noundef %2) local_unnamed_addr #6 {
  %4 = alloca [512 x i16], align 16
  %5 = alloca [64 x i16], align 16
  %6 = alloca [16 x i8], align 16
  %7 = alloca [512 x i16], align 16
  %8 = alloca [64 x i16], align 16
  %9 = alloca [32 x i8], align 16
  %10 = alloca [512 x i16], align 16
  %11 = alloca [64 x i16], align 16
  %12 = alloca [512 x i16], align 16
  %13 = alloca [512 x i16], align 16
  %14 = alloca [64 x i16], align 16
  %15 = alloca [2176 x i8], align 16
  %16 = alloca [17 x i8], align 16
  %17 = alloca [4096 x i16], align 16
  %18 = alloca [512 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 1024, ptr nonnull %4) #7
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(1024) %4, i8 0, i64 1024, 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 960
  call void @Hacl_Impl_Frodo_Pack_frodo_unpack(i32 noundef 8, i32 noundef 64, 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 992
  call void @llvm.lifetime.start.p0(i64 1024, ptr nonnull %7) #7
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(1024) %7, i8 0, i64 1024, 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 64, i32 noundef 8, ptr noundef nonnull %22, ptr noundef nonnull %7)
  call void @Hacl_Impl_Matrix_matrix_mul_s(i32 noundef 8, i32 noundef 64, 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 1024) #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 2016
  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 1024, ptr nonnull %10) #7
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(1024) %10, i8 0, i64 1024, 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 1024, ptr nonnull %12) #7
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(1024) %12, i8 0, i64 1024, i1 false)
  call void @llvm.lifetime.start.p0(i64 1024, ptr nonnull %13) #7
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(1024) %13, i8 0, i64 1024, 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 2176, ptr nonnull %15) #7
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(2176) %15, i8 0, i64 2176, 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 2176, 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_matrix64(i32 noundef 8, i32 noundef 64, ptr noundef nonnull %15, ptr noundef nonnull %12)
  %29 = getelementptr inbounds i8, ptr %15, i64 1024
  call void @Hacl_Impl_Frodo_Sample_frodo_sample_matrix64(i32 noundef 8, i32 noundef 64, ptr noundef nonnull %29, ptr noundef nonnull %13)
  %30 = getelementptr inbounds i8, ptr %15, i64 2048
  call void @Hacl_Impl_Frodo_Sample_frodo_sample_matrix64(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 8192, ptr nonnull %17) #7
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(8192) %17, i8 0, i64 8192, i1 false)
  call void @Hacl_Impl_Frodo_Params_frodo_gen_matrix(i8 noundef zeroext 0, i32 noundef 64, ptr noundef nonnull %31, ptr noundef nonnull %17)
  call void @Hacl_Impl_Matrix_matrix_mul(i32 noundef 8, i32 noundef 64, i32 noundef 64, ptr noundef nonnull %12, ptr noundef nonnull %17, ptr noundef nonnull %10)
  call void @Hacl_Impl_Matrix_matrix_add(i32 noundef 8, i32 noundef 64, ptr noundef nonnull %10, ptr noundef nonnull %13)
  call void @llvm.lifetime.start.p0(i64 1024, ptr nonnull %18) #7
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(1024) %18, i8 0, i64 1024, i1 false)
  call void @Hacl_Impl_Frodo_Pack_frodo_unpack(i32 noundef 64, 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 64, 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 64, 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 1024) #7
  call void @Lib_Memzero0_memzero0(ptr noundef nonnull %13, i64 noundef 1024) #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 64, 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 [1096 x i8], align 16
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(1080) %44, ptr noundef nonnull align 1 dereferenceable(1080) %1, i64 1080, i1 false)
  %45 = getelementptr inbounds i8, ptr %44, i64 1080
  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 1096, ptr noundef nonnull %44, i32 noundef 16, ptr noundef %0) #7
  call void @Lib_Memzero0_memzero0(ptr noundef nonnull %44, i64 noundef 1096) #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 1024, ptr nonnull %18) #7
  call void @llvm.lifetime.end.p0(i64 8192, ptr nonnull %17) #7
  call void @llvm.lifetime.end.p0(i64 17, ptr nonnull %16) #7
  call void @llvm.lifetime.end.p0(i64 2176, ptr nonnull %15) #7
  call void @llvm.lifetime.end.p0(i64 128, ptr nonnull %14) #7
  call void @llvm.lifetime.end.p0(i64 1024, ptr nonnull %13) #7
  call void @llvm.lifetime.end.p0(i64 1024, ptr nonnull %12) #7
  call void @llvm.lifetime.end.p0(i64 128, ptr nonnull %11) #7
  call void @llvm.lifetime.end.p0(i64 1024, 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 1024, 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 1024, 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