#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int /*<<< orphan*/ memcpy(unsigned char *, unsigned int *, int);
int /*<<< orphan*/ morus_stateupdate(unsigned int *, unsigned int **);
int morus_tag_verification(unsigned long long msglen, unsigned long long adlen,
                           const unsigned char *c, unsigned int state[][4]) {
  int i, j;
  unsigned char t[16];
  int check = 0;
  memcpy(t, state[3], 16);
  ((unsigned long long *)t)[0] ^= adlen << 3;
  ((unsigned long long *)t)[1] ^= msglen << 3;
  state[4][0] ^= state[0][0];
  state[4][1] ^= state[0][1];
  state[4][2] ^= state[0][2];
  state[4][3] ^= state[0][3];
  for (i = 0; i < 8; i++)
    morus_stateupdate((unsigned int *)t, state);
  for (i = 2; i < 5; i++) {
    for (j = 0; j < 4; j++) {
      state[1][j] ^= state[i][j];
    }
  }
  for (i = 0; i < 16; i++)
    check |= (c[msglen + i] ^ ((unsigned char *)state[1])[i]);
  if (check == 0)
    return 0;
  else
    return -1;
}


x86 assembly (clang, -O0):
<morus_tag_verification>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
movl   $0x0,-0x44(%rbp)
lea    -0x40(%rbp),%rdi
mov    -0x28(%rbp),%rsi
add    $0x30,%rsi
mov    $0x10,%edx
call   1030 <memcpy@plt>
mov    -0x18(%rbp),%rax
shl    $0x3,%rax
xor    -0x40(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x10(%rbp),%rax
shl    $0x3,%rax
xor    -0x38(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x28(%rbp),%rax
mov    (%rax),%ecx
mov    -0x28(%rbp),%rax
xor    0x40(%rax),%ecx
mov    %ecx,0x40(%rax)
mov    -0x28(%rbp),%rax
mov    0x4(%rax),%ecx
mov    -0x28(%rbp),%rax
xor    0x44(%rax),%ecx
mov    %ecx,0x44(%rax)
mov    -0x28(%rbp),%rax
mov    0x8(%rax),%ecx
mov    -0x28(%rbp),%rax
xor    0x48(%rax),%ecx
mov    %ecx,0x48(%rax)
mov    -0x28(%rbp),%rax
mov    0xc(%rax),%ecx
mov    -0x28(%rbp),%rax
xor    0x4c(%rax),%ecx
mov    %ecx,0x4c(%rax)
movl   $0x0,-0x2c(%rbp)
cmpl   $0x8,-0x2c(%rbp)
jge    11e4 <morus_tag_verification+0xc4>
lea    -0x40(%rbp),%rdi
mov    -0x28(%rbp),%rsi
call   1040 <morus_stateupdate@plt>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    11bf <morus_tag_verification+0x9f>
movl   $0x2,-0x2c(%rbp)
cmpl   $0x5,-0x2c(%rbp)
jge    124d <morus_tag_verification+0x12d>
movl   $0x0,-0x30(%rbp)
cmpl   $0x4,-0x30(%rbp)
jge    123a <morus_tag_verification+0x11a>
mov    -0x28(%rbp),%rax
movslq -0x2c(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x28(%rbp),%rax
movslq -0x30(%rbp),%rcx
xor    0x10(%rax,%rcx,4),%edx
mov    %edx,0x10(%rax,%rcx,4)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    11fc <morus_tag_verification+0xdc>
jmp    123f <morus_tag_verification+0x11f>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    11eb <morus_tag_verification+0xcb>
movl   $0x0,-0x2c(%rbp)
cmpl   $0x10,-0x2c(%rbp)
jge    1294 <morus_tag_verification+0x174>
mov    -0x20(%rbp),%rax
mov    -0x10(%rbp),%rcx
movslq -0x2c(%rbp),%rdx
add    %rdx,%rcx
movzbl (%rax,%rcx,1),%eax
mov    -0x28(%rbp),%rcx
movslq -0x2c(%rbp),%rdx
movzbl 0x10(%rcx,%rdx,1),%ecx
xor    %ecx,%eax
or     -0x44(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1254 <morus_tag_verification+0x134>
cmpl   $0x0,-0x44(%rbp)
jne    12aa <morus_tag_verification+0x18a>
movl   $0x0,-0x4(%rbp)
jmp    12b1 <morus_tag_verification+0x191>
movl   $0xffffffff,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<morus_tag_verification>:
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x10,%rsp
mov    %rcx,%rbx
mov    %rdx,%r14
mov    %rsi,%r13
mov    %rdi,%r15
lea    0x30(%rcx),%rsi
mov    %rsp,%r12
mov    %r12,%rdi
mov    $0x10,%edx
call   1030 <memcpy@plt>
movq   %r15,%xmm0
movq   %r13,%xmm1
punpcklqdq %xmm0,%xmm1
psllq  $0x3,%xmm1
pxor   (%rsp),%xmm1
movdqa %xmm1,(%rsp)
movups (%rbx),%xmm0
movups 0x40(%rbx),%xmm1
xorps  %xmm0,%xmm1
movups %xmm1,0x40(%rbx)
mov    %r12,%rdi
mov    %rbx,%rsi
call   1040 <morus_stateupdate@plt>
mov    %r12,%rdi
mov    %rbx,%rsi
call   1040 <morus_stateupdate@plt>
mov    %r12,%rdi
mov    %rbx,%rsi
call   1040 <morus_stateupdate@plt>
mov    %r12,%rdi
mov    %rbx,%rsi
call   1040 <morus_stateupdate@plt>
mov    %r12,%rdi
mov    %rbx,%rsi
call   1040 <morus_stateupdate@plt>
mov    %r12,%rdi
mov    %rbx,%rsi
call   1040 <morus_stateupdate@plt>
mov    %r12,%rdi
mov    %rbx,%rsi
call   1040 <morus_stateupdate@plt>
mov    %r12,%rdi
mov    %rbx,%rsi
call   1040 <morus_stateupdate@plt>
movdqu 0x10(%rbx),%xmm0
movdqu 0x20(%rbx),%xmm1
pxor   %xmm0,%xmm1
movdqu 0x30(%rbx),%xmm2
movdqu 0x40(%rbx),%xmm0
pxor   %xmm2,%xmm0
pxor   %xmm1,%xmm0
movdqu %xmm0,0x10(%rbx)
movd   %xmm0,%eax
mov    %eax,%ecx
shr    $0x8,%ecx
mov    %eax,%edx
shr    $0x10,%edx
shr    $0x18,%eax
pshufd $0x55,%xmm0,%xmm1
movd   %xmm1,%esi
shr    $0x8,%esi
movdqa %xmm0,%xmm2
psrlq  $0x38,%xmm2
movdqa %xmm1,%xmm3
psrld  $0x10,%xmm3
punpckldq %xmm2,%xmm3
movd   %eax,%xmm2
movd   %edx,%xmm4
punpckldq %xmm2,%xmm4
movd   %ecx,%xmm2
pshufd $0xee,%xmm0,%xmm5
punpckldq %xmm2,%xmm0
punpcklqdq %xmm4,%xmm0
movd   %esi,%xmm2
punpckldq %xmm2,%xmm1
punpcklqdq %xmm3,%xmm1
movdqa 0xda7(%rip),%xmm2
pand   %xmm2,%xmm0
pand   %xmm2,%xmm1
packuswb %xmm1,%xmm0
packuswb %xmm0,%xmm0
movd   %xmm5,%eax
shr    $0x10,%eax
movd   0x1b(%rbx),%xmm1
movdqu (%r14,%r15,1),%xmm2
punpcklqdq %xmm5,%xmm0
movdqa 0xd89(%rip),%xmm3
pand   %xmm3,%xmm0
movd   %eax,%xmm4
pslldq $0xa,%xmm4
pandn  %xmm4,%xmm3
por    %xmm0,%xmm3
pand   0xd7c(%rip),%xmm3
pslldq $0xb,%xmm1
por    %xmm3,%xmm1
pand   0xd7b(%rip),%xmm1
movzbl 0x1f(%rbx),%eax
movd   %eax,%xmm0
pslldq $0xf,%xmm0
por    %xmm1,%xmm0
pxor   %xmm2,%xmm0
pxor   %xmm1,%xmm1
pcmpeqb %xmm0,%xmm1
pmovmskb %xmm1,%ecx
xor    %eax,%eax
cmp    $0xffff,%ecx
setne  %al
neg    %eax
add    $0x10,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define i32 @morus_tag_verification(i64 %0, i64 %1, i8* %2, [4 x i32]* %3) {
%5 = alloca i32
%6 = alloca i64
%7 = alloca i64
%8 = alloca i8*
%9 = alloca [4 x i32]*
%10 = alloca i32
%11 = alloca i32
%12 = alloca [16 x i8]
%13 = alloca i32
store i64 %0, i64* %6
store i64 %1, i64* %7
store i8* %2, i8** %8
store [4 x i32]* %3, [4 x i32]** %9
store i32 0, i32* %13
%14 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 0
%15 = load [4 x i32]*, [4 x i32]** %9
%16 = getelementptr inbounds [4 x i32], [4 x i32]* %15, i64 3
%17 = getelementptr inbounds [4 x i32], [4 x i32]* %16, i64 0, i64 0
%18 = call i32 @memcpy(i8* %14, i32* %17, i32 16)
%19 = load i64, i64* %7
%20 = shl i64 %19, 3
%21 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 0
%22 = bitcast i8* %21 to i64*
%23 = getelementptr inbounds i64, i64* %22, i64 0
%24 = load i64, i64* %23
%25 = xor i64 %24, %20
store i64 %25, i64* %23
%26 = load i64, i64* %6
%27 = shl i64 %26, 3
%28 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 0
%29 = bitcast i8* %28 to i64*
%30 = getelementptr inbounds i64, i64* %29, i64 1
%31 = load i64, i64* %30
%32 = xor i64 %31, %27
store i64 %32, i64* %30
%33 = load [4 x i32]*, [4 x i32]** %9
%34 = getelementptr inbounds [4 x i32], [4 x i32]* %33, i64 0
%35 = getelementptr inbounds [4 x i32], [4 x i32]* %34, i64 0, i64 0
%36 = load i32, i32* %35
%37 = load [4 x i32]*, [4 x i32]** %9
%38 = getelementptr inbounds [4 x i32], [4 x i32]* %37, i64 4
%39 = getelementptr inbounds [4 x i32], [4 x i32]* %38, i64 0, i64 0
%40 = load i32, i32* %39
%41 = xor i32 %40, %36
store i32 %41, i32* %39
%42 = load [4 x i32]*, [4 x i32]** %9
%43 = getelementptr inbounds [4 x i32], [4 x i32]* %42, i64 0
%44 = getelementptr inbounds [4 x i32], [4 x i32]* %43, i64 0, i64 1
%45 = load i32, i32* %44
%46 = load [4 x i32]*, [4 x i32]** %9
%47 = getelementptr inbounds [4 x i32], [4 x i32]* %46, i64 4
%48 = getelementptr inbounds [4 x i32], [4 x i32]* %47, i64 0, i64 1
%49 = load i32, i32* %48
%50 = xor i32 %49, %45
store i32 %50, i32* %48
%51 = load [4 x i32]*, [4 x i32]** %9
%52 = getelementptr inbounds [4 x i32], [4 x i32]* %51, i64 0
%53 = getelementptr inbounds [4 x i32], [4 x i32]* %52, i64 0, i64 2
%54 = load i32, i32* %53
%55 = load [4 x i32]*, [4 x i32]** %9
%56 = getelementptr inbounds [4 x i32], [4 x i32]* %55, i64 4
%57 = getelementptr inbounds [4 x i32], [4 x i32]* %56, i64 0, i64 2
%58 = load i32, i32* %57
%59 = xor i32 %58, %54
store i32 %59, i32* %57
%60 = load [4 x i32]*, [4 x i32]** %9
%61 = getelementptr inbounds [4 x i32], [4 x i32]* %60, i64 0
%62 = getelementptr inbounds [4 x i32], [4 x i32]* %61, i64 0, i64 3
%63 = load i32, i32* %62
%64 = load [4 x i32]*, [4 x i32]** %9
%65 = getelementptr inbounds [4 x i32], [4 x i32]* %64, i64 4
%66 = getelementptr inbounds [4 x i32], [4 x i32]* %65, i64 0, i64 3
%67 = load i32, i32* %66
%68 = xor i32 %67, %63
store i32 %68, i32* %66
store i32 0, i32* %10
br label %69
69: ; preds = %78, %4
%70 = load i32, i32* %10
%71 = icmp slt i32 %70, 8
br i1 %71, label %72, label %81
72: ; preds = %69
%73 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 0
%74 = bitcast i8* %73 to i32*
%75 = load [4 x i32]*, [4 x i32]** %9
%76 = bitcast [4 x i32]* %75 to i32**
%77 = call i32 @morus_stateupdate(i32* %74, i32** %76)
br label %78
78: ; preds = %72
%79 = load i32, i32* %10
%80 = add nsw i32 %79, 1
store i32 %80, i32* %10
br label %69
81: ; preds = %69
store i32 2, i32* %10
br label %82
82: ; preds = %109, %81
%83 = load i32, i32* %10
%84 = icmp slt i32 %83, 5
br i1 %84, label %85, label %112
85: ; preds = %82
store i32 0, i32* %11
br label %86
86: ; preds = %105, %85
%87 = load i32, i32* %11
%88 = icmp slt i32 %87, 4
br i1 %88, label %89, label %108
89: ; preds = %86
%90 = load [4 x i32]*, [4 x i32]** %9
%91 = load i32, i32* %10
%92 = sext i32 %91 to i64
%93 = getelementptr inbounds [4 x i32], [4 x i32]* %90, i64 %92
%94 = load i32, i32* %11
%95 = sext i32 %94 to i64
%96 = getelementptr inbounds [4 x i32], [4 x i32]* %93, i64 0, i64 %95
%97 = load i32, i32* %96
%98 = load [4 x i32]*, [4 x i32]** %9
%99 = getelementptr inbounds [4 x i32], [4 x i32]* %98, i64 1
%100 = load i32, i32* %11
%101 = sext i32 %100 to i64
%102 = getelementptr inbounds [4 x i32], [4 x i32]* %99, i64 0, i64 %101
%103 = load i32, i32* %102
%104 = xor i32 %103, %97
store i32 %104, i32* %102
br label %105
105: ; preds = %89
%106 = load i32, i32* %11
%107 = add nsw i32 %106, 1
store i32 %107, i32* %11
br label %86
108: ; preds = %86
br label %109
109: ; preds = %108
%110 = load i32, i32* %10
%111 = add nsw i32 %110, 1
store i32 %111, i32* %10
br label %82
112: ; preds = %82
store i32 0, i32* %10
br label %113
113: ; preds = %137, %112
%114 = load i32, i32* %10
%115 = icmp slt i32 %114, 16
br i1 %115, label %116, label %140
116: ; preds = %113
%117 = load i8*, i8** %8
%118 = load i64, i64* %6
%119 = load i32, i32* %10
%120 = sext i32 %119 to i64
%121 = add i64 %118, %120
%122 = getelementptr inbounds i8, i8* %117, i64 %121
%123 = load i8, i8* %122
%124 = zext i8 %123 to i32
%125 = load [4 x i32]*, [4 x i32]** %9
%126 = getelementptr inbounds [4 x i32], [4 x i32]* %125, i64 1
%127 = getelementptr inbounds [4 x i32], [4 x i32]* %126, i64 0, i64 0
%128 = bitcast i32* %127 to i8*
%129 = load i32, i32* %10
%130 = sext i32 %129 to i64
%131 = getelementptr inbounds i8, i8* %128, i64 %130
%132 = load i8, i8* %131
%133 = zext i8 %132 to i32
%134 = xor i32 %124, %133
%135 = load i32, i32* %13
%136 = or i32 %135, %134
store i32 %136, i32* %13
br label %137
137: ; preds = %116
%138 = load i32, i32* %10
%139 = add nsw i32 %138, 1
store i32 %139, i32* %10
br label %113
140: ; preds = %113
%141 = load i32, i32* %13
%142 = icmp eq i32 %141, 0
br i1 %142, label %143, label %144
143: ; preds = %140
store i32 0, i32* %5
br label %145
144: ; preds = %140
store i32 -1, i32* %5
br label %145
145: ; preds = %144, %143
%146 = load i32, i32* %5
ret i32 %146
}

LLVM IR (-O2):
define i32 @morus_tag_verification(i64 %0, i64 %1, i8* nocapture %2, [4 x i32]* %3) {
%5 = alloca <2 x i64>
%6 = bitcast <2 x i64>* %5 to i8*
%7 = getelementptr inbounds [4 x i32], [4 x i32]* %3, i64 3, i64 0
%8 = call i32 @memcpy(i8* %6, i32* %7, i32 16)
%9 = insertelement <2 x i64> poison, i64 %1, i64 0
%10 = insertelement <2 x i64> %9, i64 %0, i64 1
%11 = shl <2 x i64> %10, <i64 3, i64 3>
%12 = load <2 x i64>, <2 x i64>* %5
%13 = xor <2 x i64> %12, %11
store <2 x i64> %13, <2 x i64>* %5
%14 = getelementptr inbounds [4 x i32], [4 x i32]* %3, i64 4, i64 0
%15 = bitcast [4 x i32]* %3 to <4 x i32>*
%16 = load <4 x i32>, <4 x i32>* %15
%17 = bitcast i32* %14 to <4 x i32>*
%18 = load <4 x i32>, <4 x i32>* %17
%19 = xor <4 x i32> %18, %16
%20 = bitcast i32* %14 to <4 x i32>*
store <4 x i32> %19, <4 x i32>* %20
%21 = bitcast <2 x i64>* %5 to i32*
%22 = bitcast [4 x i32]* %3 to i32**
%23 = call i32 @morus_stateupdate(i32* %21, i32** %22)
%24 = call i32 @morus_stateupdate(i32* %21, i32** %22)
%25 = call i32 @morus_stateupdate(i32* %21, i32** %22)
%26 = call i32 @morus_stateupdate(i32* %21, i32** %22)
%27 = call i32 @morus_stateupdate(i32* %21, i32** %22)
%28 = call i32 @morus_stateupdate(i32* %21, i32** %22)
%29 = call i32 @morus_stateupdate(i32* %21, i32** %22)
%30 = call i32 @morus_stateupdate(i32* %21, i32** %22)
%31 = getelementptr inbounds [4 x i32], [4 x i32]* %3, i64 2, i64 0
%32 = getelementptr inbounds [4 x i32], [4 x i32]* %3, i64 1, i64 0
%33 = bitcast i32* %31 to <4 x i32>*
%34 = load <4 x i32>, <4 x i32>* %33
%35 = bitcast i32* %32 to <4 x i32>*
%36 = load <4 x i32>, <4 x i32>* %35
%37 = xor <4 x i32> %36, %34
%38 = bitcast i32* %7 to <4 x i32>*
%39 = load <4 x i32>, <4 x i32>* %38
%40 = xor <4 x i32> %37, %39
%41 = bitcast i32* %14 to <4 x i32>*
%42 = load <4 x i32>, <4 x i32>* %41
%43 = xor <4 x i32> %40, %42
%44 = bitcast i32* %32 to <4 x i32>*
store <4 x i32> %43, <4 x i32>* %44
%45 = bitcast i32* %32 to i8*
%46 = getelementptr inbounds i8, i8* %2, i64 %0
%47 = extractelement <4 x i32> %43, i64 0
%48 = lshr i32 %47, 8
%49 = lshr i32 %47, 16
%50 = lshr i32 %47, 24
%51 = extractelement <4 x i32> %43, i64 1
%52 = lshr i32 %51, 8
%53 = shufflevector <4 x i32> %43, <4 x i32> undef, <2 x i32> <i32 1, i32 1>
%54 = lshr <2 x i32> %53, <i32 16, i32 24>
%55 = insertelement <8 x i32> poison, i32 %47, i64 0
%56 = insertelement <8 x i32> %55, i32 %48, i64 1
%57 = insertelement <8 x i32> %56, i32 %49, i64 2
%58 = insertelement <8 x i32> %57, i32 %50, i64 3
%59 = insertelement <8 x i32> %58, i32 %51, i64 4
%60 = insertelement <8 x i32> %59, i32 %52, i64 5
%61 = shufflevector <2 x i32> %54, <2 x i32> poison, <8 x i32> <i32 0, i32 1, i32 undef, i32 undef, i32 undef, i32 undef, i32 undef, i32 undef>
%62 = shufflevector <8 x i32> %60, <8 x i32> %61, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 8, i32 9>
%63 = trunc <8 x i32> %62 to <8 x i8>
%64 = extractelement <4 x i32> %43, i64 2
%65 = lshr i32 %64, 8
%66 = insertelement <2 x i32> poison, i32 %64, i64 0
%67 = insertelement <2 x i32> %66, i32 %65, i64 1
%68 = trunc <2 x i32> %67 to <2 x i8>
%69 = lshr i32 %64, 16
%70 = trunc i32 %69 to i8
%71 = getelementptr inbounds i8, i8* %45, i64 11
%72 = bitcast i8* %71 to <4 x i8>*
%73 = load <4 x i8>, <4 x i8>* %72
%74 = bitcast i8* %46 to <16 x i8>*
%75 = load <16 x i8>, <16 x i8>* %74
%76 = getelementptr inbounds i8, i8* %45, i64 15
%77 = load i8, i8* %76
%78 = shufflevector <8 x i8> %63, <8 x i8> poison, <16 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 undef, i32 undef, i32 undef, i32 undef, i32 undef, i32 undef, i32 undef, i32 undef>
%79 = shufflevector <2 x i8> %68, <2 x i8> poison, <16 x i32> <i32 0, i32 1, i32 undef, i32 undef, i32 undef, i32 undef, i32 undef, i32 undef, i32 undef, i32 undef, i32 undef, i32 undef, i32 undef, i32 undef, i32 undef, i32 undef>
%80 = shufflevector <16 x i8> %78, <16 x i8> %79, <16 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 16, i32 17, i32 undef, i32 undef, i32 undef, i32 undef, i32 undef, i32 undef>
%81 = insertelement <16 x i8> %80, i8 %70, i64 10
%82 = shufflevector <4 x i8> %73, <4 x i8> poison, <16 x i32> <i32 0, i32 1, i32 2, i32 3, i32 undef, i32 undef, i32 undef, i32 undef, i32 undef, i32 undef, i32 undef, i32 undef, i32 undef, i32 undef, i32 undef, i32 undef>
%83 = shufflevector <16 x i8> %81, <16 x i8> %82, <16 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8, i32 9, i32 10, i32 16, i32 17, i32 18, i32 19, i32 undef>
%84 = insertelement <16 x i8> %83, i8 %77, i64 15
%85 = xor <16 x i8> %84, %75
%86 = call i8 @llvm.vector.reduce.or.v16i8(<16 x i8> %85)
%87 = icmp ne i8 %86, 0
%88 = sext i1 %87 to i32
ret i32 %88
}