#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*/ assert(int);
void KeccakP200_AddBytes(void *state, const unsigned char *data,
                         unsigned int offset, unsigned int length) {
  unsigned int i;
  assert(offset < 25);
  assert(offset + length <= 25);
  for (i = 0; i < length; i++)
    ((unsigned char *)state)[offset + i] ^= data[i];
}


x86 assembly (clang, -O0):
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %ecx,-0x18(%rbp)
cmpl   $0x19,-0x14(%rbp)
setb   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x14(%rbp),%eax
add    -0x18(%rbp),%eax
cmp    $0x19,%eax
setbe  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x18(%rbp),%eax
jae    118e <KeccakP200_AddBytes+0x7e>
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
movzbl (%rax,%rcx,1),%esi
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
add    -0x1c(%rbp),%ecx
mov    %ecx,%ecx
movzbl (%rax,%rcx,1),%edx
xor    %esi,%edx
mov    %dl,(%rax,%rcx,1)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1154 <KeccakP200_AddBytes+0x44>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
push   %r15
push   %r14
push   %r12
push   %rbx
push   %rax
mov    %ecx,%r12d
mov    %edx,%ebx
mov    %rsi,%r15
mov    %rdi,%r14
xor    %edi,%edi
cmp    $0x19,%edx
setb   %dil
call   1030 <assert@plt>
lea    (%r12,%rbx,1),%eax
xor    %edi,%edi
cmp    $0x1a,%eax
setb   %dil
call   1030 <assert@plt>
test   %r12d,%r12d
je     11b1 <KeccakP200_AddBytes+0xa1>
mov    %r12d,%eax
cmp    $0x8,%r12d
jae    11bd <KeccakP200_AddBytes+0xad>
xor    %r10d,%r10d
mov    %r10,%rdx
not    %rdx
test   $0x1,%al
je     116e <KeccakP200_AddBytes+0x5e>
mov    (%r15,%r10,1),%cl
lea    (%r10,%rbx,1),%esi
xor    %cl,(%r14,%rsi,1)
or     $0x1,%r10
add    %rax,%rdx
je     11b1 <KeccakP200_AddBytes+0xa1>
sub    %r10,%rax
add    %r10d,%ebx
lea    (%r10,%r15,1),%rcx
add    $0x1,%rcx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movzbl -0x1(%rcx),%edx
mov    %ebx,%esi
xor    %dl,(%r14,%rsi,1)
movzbl (%rcx),%edx
lea    0x1(%rbx),%esi
xor    %dl,(%r14,%rsi,1)
add    $0x2,%ebx
add    $0x2,%rcx
add    $0xfffffffffffffffe,%rax
jne    1190 <KeccakP200_AddBytes+0x80>
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
ret
lea    -0x1(%rax),%rdx
xor    %r10d,%r10d
mov    %ebx,%esi
add    %edx,%esi
jb     1154 <KeccakP200_AddBytes+0x44>
shr    $0x20,%rdx
jne    1154 <KeccakP200_AddBytes+0x44>
mov    %ebx,%r9d
lea    (%rax,%r9,1),%rcx
add    %r14,%rcx
cmp    %r15,%rcx
jbe    11f0 <KeccakP200_AddBytes+0xe0>
lea    (%r15,%rax,1),%rcx
lea    (%r14,%r9,1),%rdx
cmp    %rcx,%rdx
jb     1151 <KeccakP200_AddBytes+0x41>
cmp    $0x20,%r12d
jae    11fe <KeccakP200_AddBytes+0xee>
xor    %r10d,%r10d
jmp    12d6 <KeccakP200_AddBytes+0x1c6>
mov    %eax,%r10d
and    $0xffffffe0,%r10d
lea    -0x20(%r10),%rdx
mov    %rdx,%r8
shr    $0x5,%r8
add    $0x1,%r8
test   %rdx,%rdx
je     1293 <KeccakP200_AddBytes+0x183>
mov    %r8,%rsi
and    $0xfffffffffffffffe,%rsi
xor    %edi,%edi
mov    %ebx,%edx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movups (%r15,%rdi,1),%xmm0
movups 0x10(%r15,%rdi,1),%xmm1
mov    %edx,%ecx
movups (%r14,%rcx,1),%xmm2
xorps  %xmm0,%xmm2
movups 0x10(%r14,%rcx,1),%xmm0
xorps  %xmm1,%xmm0
movups %xmm2,(%r14,%rcx,1)
movups %xmm0,0x10(%r14,%rcx,1)
movups 0x20(%r15,%rdi,1),%xmm0
movups 0x30(%r15,%rdi,1),%xmm1
lea    0x20(%rdx),%ecx
movups (%r14,%rcx,1),%xmm2
xorps  %xmm0,%xmm2
movups 0x10(%r14,%rcx,1),%xmm0
xorps  %xmm1,%xmm0
movups %xmm2,(%r14,%rcx,1)
movups %xmm0,0x10(%r14,%rcx,1)
add    $0x40,%rdi
add    $0x40,%edx
add    $0xfffffffffffffffe,%rsi
jne    1230 <KeccakP200_AddBytes+0x120>
jmp    1295 <KeccakP200_AddBytes+0x185>
xor    %edi,%edi
test   $0x1,%r8b
je     12c5 <KeccakP200_AddBytes+0x1b5>
movups (%r15,%rdi,1),%xmm0
movups 0x10(%r15,%rdi,1),%xmm1
lea    (%rdi,%rbx,1),%ecx
movups (%r14,%rcx,1),%xmm2
xorps  %xmm0,%xmm2
movups 0x10(%r14,%rcx,1),%xmm0
xorps  %xmm1,%xmm0
movups %xmm2,(%r14,%rcx,1)
movups %xmm0,0x10(%r14,%rcx,1)
cmp    %rax,%r10
je     11b1 <KeccakP200_AddBytes+0xa1>
test   $0x18,%al
je     1154 <KeccakP200_AddBytes+0x44>
mov    %r10,%rdx
mov    %eax,%r10d
and    $0xfffffff8,%r10d
mov    (%r15,%rdx,1),%rcx
lea    (%r9,%rdx,1),%esi
xor    %rcx,(%r14,%rsi,1)
add    $0x8,%rdx
cmp    %rdx,%r10
jne    12e0 <KeccakP200_AddBytes+0x1d0>
cmp    %rax,%r10
jne    1154 <KeccakP200_AddBytes+0x44>
jmp    11b1 <KeccakP200_AddBytes+0xa1>

LLVM IR (-O0):
define void @KeccakP200_AddBytes(i8* %0, i8* %1, i32 %2, i32 %3) {
%5 = alloca i8*
%6 = alloca i8*
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
store i8* %0, i8** %5
store i8* %1, i8** %6
store i32 %2, i32* %7
store i32 %3, i32* %8
%10 = load i32, i32* %7
%11 = icmp ult i32 %10, 25
%12 = zext i1 %11 to i32
%13 = call i32 @assert(i32 %12)
%14 = load i32, i32* %7
%15 = load i32, i32* %8
%16 = add i32 %14, %15
%17 = icmp ule i32 %16, 25
%18 = zext i1 %17 to i32
%19 = call i32 @assert(i32 %18)
store i32 0, i32* %9
br label %20
20: ; preds = %41, %4
%21 = load i32, i32* %9
%22 = load i32, i32* %8
%23 = icmp ult i32 %21, %22
br i1 %23, label %24, label %44
24: ; preds = %20
%25 = load i8*, i8** %6
%26 = load i32, i32* %9
%27 = zext i32 %26 to i64
%28 = getelementptr inbounds i8, i8* %25, i64 %27
%29 = load i8, i8* %28
%30 = zext i8 %29 to i32
%31 = load i8*, i8** %5
%32 = load i32, i32* %7
%33 = load i32, i32* %9
%34 = add i32 %32, %33
%35 = zext i32 %34 to i64
%36 = getelementptr inbounds i8, i8* %31, i64 %35
%37 = load i8, i8* %36
%38 = zext i8 %37 to i32
%39 = xor i32 %38, %30
%40 = trunc i32 %39 to i8
store i8 %40, i8* %36
br label %41
41: ; preds = %24
%42 = load i32, i32* %9
%43 = add i32 %42, 1
store i32 %43, i32* %9
br label %20
44: ; preds = %20
ret void
}

LLVM IR (-O2):
define void @KeccakP200_AddBytes(i8* nocapture %0, i8* nocapture %1, i32 %2, i32 %3) {
%5 = icmp ult i32 %2, 25
%6 = zext i1 %5 to i32
%7 = tail call i32 @assert(i32 %6)
%8 = add i32 %3, %2
%9 = icmp ult i32 %8, 26
%10 = zext i1 %9 to i32
%11 = tail call i32 @assert(i32 %10)
%12 = icmp eq i32 %3, 0
br i1 %12, label %176, label %13
13: ; preds = %4
%14 = zext i32 %3 to i64
%15 = icmp ult i32 %3, 8
br i1 %15, label %136, label %16
16: ; preds = %13
%17 = add nsw i64 %14, -1
%18 = trunc i64 %17 to i32
%19 = xor i32 %2, -1
%20 = icmp ult i32 %19, %18
%21 = icmp ugt i64 %17, 4294967295
%22 = or i1 %20, %21
br i1 %22, label %136, label %23
23: ; preds = %16
%24 = getelementptr i8, i8* %1, i64 %14
%25 = zext i32 %2 to i64
%26 = getelementptr i8, i8* %0, i64 %25
%27 = add nuw nsw i64 %14, %25
%28 = getelementptr i8, i8* %0, i64 %27
%29 = icmp ugt i8* %28, %1
%30 = icmp ult i8* %26, %24
%31 = and i1 %29, %30
br i1 %31, label %136, label %32
32: ; preds = %23
%33 = icmp ult i32 %3, 32
br i1 %33, label %116, label %34
34: ; preds = %32
%35 = and i64 %14, 4294967264
%36 = add nsw i64 %35, -32
%37 = lshr exact i64 %36, 5
%38 = add nuw nsw i64 %37, 1
%39 = and i64 %38, 1
%40 = icmp eq i64 %36, 0
br i1 %40, label %88, label %41
41: ; preds = %34
%42 = and i64 %38, 1152921504606846974
br label %43
43: ; preds = %43, %41
%44 = phi i64 [ 0, %41 ], [ %85, %43 ]
%45 = phi i64 [ 0, %41 ], [ %86, %43 ]
%46 = trunc i64 %44 to i32
%47 = getelementptr inbounds i8, i8* %1, i64 %44
%48 = bitcast i8* %47 to <16 x i8>*
%49 = load <16 x i8>, <16 x i8>* %48
%50 = getelementptr inbounds i8, i8* %47, i64 16
%51 = bitcast i8* %50 to <16 x i8>*
%52 = load <16 x i8>, <16 x i8>* %51
%53 = add i32 %46, %2
%54 = zext i32 %53 to i64
%55 = getelementptr inbounds i8, i8* %0, i64 %54
%56 = bitcast i8* %55 to <16 x i8>*
%57 = load <16 x i8>, <16 x i8>* %56
%58 = getelementptr inbounds i8, i8* %55, i64 16
%59 = bitcast i8* %58 to <16 x i8>*
%60 = load <16 x i8>, <16 x i8>* %59
%61 = xor <16 x i8> %57, %49
%62 = xor <16 x i8> %60, %52
%63 = bitcast i8* %55 to <16 x i8>*
store <16 x i8> %61, <16 x i8>* %63
%64 = bitcast i8* %58 to <16 x i8>*
store <16 x i8> %62, <16 x i8>* %64
%65 = or i64 %44, 32
%66 = trunc i64 %65 to i32
%67 = getelementptr inbounds i8, i8* %1, i64 %65
%68 = bitcast i8* %67 to <16 x i8>*
%69 = load <16 x i8>, <16 x i8>* %68
%70 = getelementptr inbounds i8, i8* %67, i64 16
%71 = bitcast i8* %70 to <16 x i8>*
%72 = load <16 x i8>, <16 x i8>* %71
%73 = add i32 %66, %2
%74 = zext i32 %73 to i64
%75 = getelementptr inbounds i8, i8* %0, i64 %74
%76 = bitcast i8* %75 to <16 x i8>*
%77 = load <16 x i8>, <16 x i8>* %76
%78 = getelementptr inbounds i8, i8* %75, i64 16
%79 = bitcast i8* %78 to <16 x i8>*
%80 = load <16 x i8>, <16 x i8>* %79
%81 = xor <16 x i8> %77, %69
%82 = xor <16 x i8> %80, %72
%83 = bitcast i8* %75 to <16 x i8>*
store <16 x i8> %81, <16 x i8>* %83
%84 = bitcast i8* %78 to <16 x i8>*
store <16 x i8> %82, <16 x i8>* %84
%85 = add nuw i64 %44, 64
%86 = add i64 %45, 2
%87 = icmp eq i64 %86, %42
br i1 %87, label %88, label %43
88: ; preds = %43, %34
%89 = phi i64 [ 0, %34 ], [ %85, %43 ]
%90 = icmp eq i64 %39, 0
br i1 %90, label %111, label %91
91: ; preds = %88
%92 = trunc i64 %89 to i32
%93 = getelementptr inbounds i8, i8* %1, i64 %89
%94 = bitcast i8* %93 to <16 x i8>*
%95 = load <16 x i8>, <16 x i8>* %94
%96 = getelementptr inbounds i8, i8* %93, i64 16
%97 = bitcast i8* %96 to <16 x i8>*
%98 = load <16 x i8>, <16 x i8>* %97
%99 = add i32 %92, %2
%100 = zext i32 %99 to i64
%101 = getelementptr inbounds i8, i8* %0, i64 %100
%102 = bitcast i8* %101 to <16 x i8>*
%103 = load <16 x i8>, <16 x i8>* %102
%104 = getelementptr inbounds i8, i8* %101, i64 16
%105 = bitcast i8* %104 to <16 x i8>*
%106 = load <16 x i8>, <16 x i8>* %105
%107 = xor <16 x i8> %103, %95
%108 = xor <16 x i8> %106, %98
%109 = bitcast i8* %101 to <16 x i8>*
store <16 x i8> %107, <16 x i8>* %109
%110 = bitcast i8* %104 to <16 x i8>*
store <16 x i8> %108, <16 x i8>* %110
br label %111
111: ; preds = %88, %91
%112 = icmp eq i64 %35, %14
br i1 %112, label %176, label %113
113: ; preds = %111
%114 = and i64 %14, 24
%115 = icmp eq i64 %114, 0
br i1 %115, label %136, label %116
116: ; preds = %32, %113
%117 = phi i64 [ %35, %113 ], [ 0, %32 ]
%118 = and i64 %14, 4294967288
br label %119
119: ; preds = %119, %116
%120 = phi i64 [ %117, %116 ], [ %132, %119 ]
%121 = trunc i64 %120 to i32
%122 = getelementptr inbounds i8, i8* %1, i64 %120
%123 = bitcast i8* %122 to <8 x i8>*
%124 = load <8 x i8>, <8 x i8>* %123
%125 = add i32 %121, %2
%126 = zext i32 %125 to i64
%127 = getelementptr inbounds i8, i8* %0, i64 %126
%128 = bitcast i8* %127 to <8 x i8>*
%129 = load <8 x i8>, <8 x i8>* %128
%130 = xor <8 x i8> %129, %124
%131 = bitcast i8* %127 to <8 x i8>*
store <8 x i8> %130, <8 x i8>* %131
%132 = add nuw i64 %120, 8
%133 = icmp eq i64 %132, %118
br i1 %133, label %134, label %119
134: ; preds = %119
%135 = icmp eq i64 %118, %14
br i1 %135, label %176, label %136
136: ; preds = %23, %16, %13, %113, %134
%137 = phi i64 [ 0, %13 ], [ 0, %23 ], [ 0, %16 ], [ %35, %113 ], [ %118, %134 ]
%138 = xor i64 %137, -1
%139 = and i64 %14, 1
%140 = icmp eq i64 %139, 0
br i1 %140, label %151, label %141
141: ; preds = %136
%142 = getelementptr inbounds i8, i8* %1, i64 %137
%143 = load i8, i8* %142
%144 = trunc i64 %137 to i32
%145 = add i32 %144, %2
%146 = zext i32 %145 to i64
%147 = getelementptr inbounds i8, i8* %0, i64 %146
%148 = load i8, i8* %147
%149 = xor i8 %148, %143
store i8 %149, i8* %147
%150 = or i64 %137, 1
br label %151
151: ; preds = %141, %136
%152 = phi i64 [ %137, %136 ], [ %150, %141 ]
%153 = sub nsw i64 0, %14
%154 = icmp eq i64 %138, %153
br i1 %154, label %176, label %155
155: ; preds = %151, %155
%156 = phi i64 [ %174, %155 ], [ %152, %151 ]
%157 = getelementptr inbounds i8, i8* %1, i64 %156
%158 = load i8, i8* %157
%159 = trunc i64 %156 to i32
%160 = add i32 %159, %2
%161 = zext i32 %160 to i64
%162 = getelementptr inbounds i8, i8* %0, i64 %161
%163 = load i8, i8* %162
%164 = xor i8 %163, %158
store i8 %164, i8* %162
%165 = add nuw nsw i64 %156, 1
%166 = getelementptr inbounds i8, i8* %1, i64 %165
%167 = load i8, i8* %166
%168 = trunc i64 %165 to i32
%169 = add i32 %168, %2
%170 = zext i32 %169 to i64
%171 = getelementptr inbounds i8, i8* %0, i64 %170
%172 = load i8, i8* %171
%173 = xor i8 %172, %167
store i8 %173, i8* %171
%174 = add nuw nsw i64 %156, 2
%175 = icmp eq i64 %174, %14
br i1 %175, label %176, label %155
176: ; preds = %151, %155, %111, %134, %4
ret void
}