#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 */
typedef int uint8_t;
typedef scalar_t__ uint32_t;

/* Variables and functions */
int /*<<< orphan*/ QuarterRound(scalar_t__ *, int, int, int, int);
void Update(uint8_t *state, uint8_t *keyStream) {
  uint8_t i;
  uint32_t *State = (uint32_t *)state;
  uint32_t *KeyStream = (uint32_t *)keyStream;
  for (i = 0; i < 64 / 4; i++) {
    KeyStream[i] = State[i];
  }
  for (i = 0; i < 20 / 2; i++) {
    QuarterRound(KeyStream, 0, 4, 8, 12);
    QuarterRound(KeyStream, 1, 5, 9, 13);
    QuarterRound(KeyStream, 2, 6, 10, 14);
    QuarterRound(KeyStream, 3, 7, 11, 15);
    QuarterRound(KeyStream, 0, 5, 10, 15);
    QuarterRound(KeyStream, 1, 6, 11, 12);
    QuarterRound(KeyStream, 2, 7, 8, 13);
    QuarterRound(KeyStream, 3, 4, 9, 14);
  }
  for (i = 0; i < 64 / 4; i++) {
    KeyStream[i] += State[i];
  }
  State[12] += 1;
  if (!State[12]) {
    State[13] += 1;
  }
}


x86 assembly (clang, -O0):
<Update>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x28(%rbp)
movl   $0x0,-0x14(%rbp)
cmpl   $0x10,-0x14(%rbp)
jge    1167 <Update+0x57>
mov    -0x20(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,8),%rdx
mov    -0x28(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1137 <Update+0x27>
movl   $0x0,-0x14(%rbp)
cmpl   $0xa,-0x14(%rbp)
jge    1270 <Update+0x160>
mov    -0x28(%rbp),%rdi
xor    %esi,%esi
mov    $0x4,%edx
mov    $0x8,%ecx
mov    $0xc,%r8d
call   1030 <QuarterRound@plt>
mov    -0x28(%rbp),%rdi
mov    $0x1,%esi
mov    $0x5,%edx
mov    $0x9,%ecx
mov    $0xd,%r8d
call   1030 <QuarterRound@plt>
mov    -0x28(%rbp),%rdi
mov    $0x2,%esi
mov    $0x6,%edx
mov    $0xa,%ecx
mov    $0xe,%r8d
call   1030 <QuarterRound@plt>
mov    -0x28(%rbp),%rdi
mov    $0x3,%esi
mov    $0x7,%edx
mov    $0xb,%ecx
mov    $0xf,%r8d
call   1030 <QuarterRound@plt>
mov    -0x28(%rbp),%rdi
xor    %esi,%esi
mov    $0x5,%edx
mov    $0xa,%ecx
mov    $0xf,%r8d
call   1030 <QuarterRound@plt>
mov    -0x28(%rbp),%rdi
mov    $0x1,%esi
mov    $0x6,%edx
mov    $0xb,%ecx
mov    $0xc,%r8d
call   1030 <QuarterRound@plt>
mov    -0x28(%rbp),%rdi
mov    $0x2,%esi
mov    $0x7,%edx
mov    $0x8,%ecx
mov    $0xd,%r8d
call   1030 <QuarterRound@plt>
mov    -0x28(%rbp),%rdi
mov    $0x3,%esi
mov    $0x4,%edx
mov    $0x9,%ecx
mov    $0xe,%r8d
call   1030 <QuarterRound@plt>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    116e <Update+0x5e>
movl   $0x0,-0x14(%rbp)
cmpl   $0x10,-0x14(%rbp)
jge    12ab <Update+0x19b>
mov    -0x20(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,8),%rdx
mov    -0x28(%rbp),%rax
movslq -0x14(%rbp),%rcx
add    (%rax,%rcx,8),%rdx
mov    %rdx,(%rax,%rcx,8)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1277 <Update+0x167>
mov    -0x20(%rbp),%rax
mov    0x60(%rax),%rcx
add    $0x1,%rcx
mov    %rcx,0x60(%rax)
mov    -0x20(%rbp),%rax
cmpq   $0x0,0x60(%rax)
jne    12da <Update+0x1ca>
mov    -0x20(%rbp),%rax
mov    0x68(%rax),%rcx
add    $0x1,%rcx
mov    %rcx,0x68(%rax)
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<Update>:
push   %rbp
push   %r14
push   %rbx
mov    %rsi,%rbx
mov    %rdi,%r14
mov    (%rdi),%rax
mov    %rax,(%rsi)
mov    0x8(%rdi),%rax
mov    %rax,0x8(%rsi)
mov    0x10(%rdi),%rax
mov    %rax,0x10(%rsi)
mov    0x18(%rdi),%rax
mov    %rax,0x18(%rsi)
mov    0x20(%rdi),%rax
mov    %rax,0x20(%rsi)
mov    0x28(%rdi),%rax
mov    %rax,0x28(%rsi)
mov    0x30(%rdi),%rax
mov    %rax,0x30(%rsi)
mov    0x38(%rdi),%rax
mov    %rax,0x38(%rsi)
mov    0x40(%rdi),%rax
mov    %rax,0x40(%rsi)
mov    0x48(%rdi),%rax
mov    %rax,0x48(%rsi)
mov    0x50(%rdi),%rax
mov    %rax,0x50(%rsi)
mov    0x58(%rdi),%rax
mov    %rax,0x58(%rsi)
mov    0x60(%rdi),%rax
mov    %rax,0x60(%rsi)
mov    0x68(%rdi),%rax
mov    %rax,0x68(%rsi)
mov    0x70(%rdi),%rax
mov    %rax,0x70(%rsi)
mov    0x78(%rdi),%rax
mov    %rax,0x78(%rsi)
mov    $0xa,%ebp
nopl   (%rax)
mov    %rbx,%rdi
xor    %esi,%esi
mov    $0x4,%edx
mov    $0x8,%ecx
mov    $0xc,%r8d
call   1030 <QuarterRound@plt>
mov    %rbx,%rdi
mov    $0x1,%esi
mov    $0x5,%edx
mov    $0x9,%ecx
mov    $0xd,%r8d
call   1030 <QuarterRound@plt>
mov    %rbx,%rdi
mov    $0x2,%esi
mov    $0x6,%edx
mov    $0xa,%ecx
mov    $0xe,%r8d
call   1030 <QuarterRound@plt>
mov    %rbx,%rdi
mov    $0x3,%esi
mov    $0x7,%edx
mov    $0xb,%ecx
mov    $0xf,%r8d
call   1030 <QuarterRound@plt>
mov    %rbx,%rdi
xor    %esi,%esi
mov    $0x5,%edx
mov    $0xa,%ecx
mov    $0xf,%r8d
call   1030 <QuarterRound@plt>
mov    %rbx,%rdi
mov    $0x1,%esi
mov    $0x6,%edx
mov    $0xb,%ecx
mov    $0xc,%r8d
call   1030 <QuarterRound@plt>
mov    %rbx,%rdi
mov    $0x2,%esi
mov    $0x7,%edx
mov    $0x8,%ecx
mov    $0xd,%r8d
call   1030 <QuarterRound@plt>
mov    %rbx,%rdi
mov    $0x3,%esi
mov    $0x4,%edx
mov    $0x9,%ecx
mov    $0xe,%r8d
call   1030 <QuarterRound@plt>
add    $0xffffffff,%ebp
jne    11a0 <Update+0x90>
mov    (%r14),%rax
add    %rax,(%rbx)
mov    0x8(%r14),%rax
add    %rax,0x8(%rbx)
mov    0x10(%r14),%rax
add    %rax,0x10(%rbx)
mov    0x18(%r14),%rax
add    %rax,0x18(%rbx)
mov    0x20(%r14),%rax
add    %rax,0x20(%rbx)
mov    0x28(%r14),%rax
add    %rax,0x28(%rbx)
mov    0x30(%r14),%rax
add    %rax,0x30(%rbx)
mov    0x38(%r14),%rax
add    %rax,0x38(%rbx)
mov    0x40(%r14),%rax
add    %rax,0x40(%rbx)
mov    0x48(%r14),%rax
add    %rax,0x48(%rbx)
mov    0x50(%r14),%rax
add    %rax,0x50(%rbx)
mov    0x58(%r14),%rax
add    %rax,0x58(%rbx)
mov    0x60(%r14),%rax
add    %rax,0x60(%rbx)
mov    0x68(%r14),%rax
add    %rax,0x68(%rbx)
mov    0x70(%r14),%rax
add    %rax,0x70(%rbx)
mov    0x78(%r14),%rax
add    %rax,0x78(%rbx)
addq   $0x1,0x60(%r14)
jne    1315 <Update+0x205>
addq   $0x1,0x68(%r14)
pop    %rbx
pop    %r14
pop    %rbp
ret

LLVM IR (-O0):
define void @Update(i32* %0, i32* %1) {
%3 = alloca i32*
%4 = alloca i32*
%5 = alloca i32
%6 = alloca i64*
%7 = alloca i64*
store i32* %0, i32** %3
store i32* %1, i32** %4
%8 = load i32*, i32** %3
%9 = bitcast i32* %8 to i64*
store i64* %9, i64** %6
%10 = load i32*, i32** %4
%11 = bitcast i32* %10 to i64*
store i64* %11, i64** %7
store i32 0, i32* %5
br label %12
12: ; preds = %25, %2
%13 = load i32, i32* %5
%14 = icmp slt i32 %13, 16
br i1 %14, label %15, label %28
15: ; preds = %12
%16 = load i64*, i64** %6
%17 = load i32, i32* %5
%18 = sext i32 %17 to i64
%19 = getelementptr inbounds i64, i64* %16, i64 %18
%20 = load i64, i64* %19
%21 = load i64*, i64** %7
%22 = load i32, i32* %5
%23 = sext i32 %22 to i64
%24 = getelementptr inbounds i64, i64* %21, i64 %23
store i64 %20, i64* %24
br label %25
25: ; preds = %15
%26 = load i32, i32* %5
%27 = add nsw i32 %26, 1
store i32 %27, i32* %5
br label %12
28: ; preds = %12
store i32 0, i32* %5
br label %29
29: ; preds = %49, %28
%30 = load i32, i32* %5
%31 = icmp slt i32 %30, 10
br i1 %31, label %32, label %52
32: ; preds = %29
%33 = load i64*, i64** %7
%34 = call i32 @QuarterRound(i64* %33, i32 0, i32 4, i32 8, i32 12)
%35 = load i64*, i64** %7
%36 = call i32 @QuarterRound(i64* %35, i32 1, i32 5, i32 9, i32 13)
%37 = load i64*, i64** %7
%38 = call i32 @QuarterRound(i64* %37, i32 2, i32 6, i32 10, i32 14)
%39 = load i64*, i64** %7
%40 = call i32 @QuarterRound(i64* %39, i32 3, i32 7, i32 11, i32 15)
%41 = load i64*, i64** %7
%42 = call i32 @QuarterRound(i64* %41, i32 0, i32 5, i32 10, i32 15)
%43 = load i64*, i64** %7
%44 = call i32 @QuarterRound(i64* %43, i32 1, i32 6, i32 11, i32 12)
%45 = load i64*, i64** %7
%46 = call i32 @QuarterRound(i64* %45, i32 2, i32 7, i32 8, i32 13)
%47 = load i64*, i64** %7
%48 = call i32 @QuarterRound(i64* %47, i32 3, i32 4, i32 9, i32 14)
br label %49
49: ; preds = %32
%50 = load i32, i32* %5
%51 = add nsw i32 %50, 1
store i32 %51, i32* %5
br label %29
52: ; preds = %29
store i32 0, i32* %5
br label %53
53: ; preds = %68, %52
%54 = load i32, i32* %5
%55 = icmp slt i32 %54, 16
br i1 %55, label %56, label %71
56: ; preds = %53
%57 = load i64*, i64** %6
%58 = load i32, i32* %5
%59 = sext i32 %58 to i64
%60 = getelementptr inbounds i64, i64* %57, i64 %59
%61 = load i64, i64* %60
%62 = load i64*, i64** %7
%63 = load i32, i32* %5
%64 = sext i32 %63 to i64
%65 = getelementptr inbounds i64, i64* %62, i64 %64
%66 = load i64, i64* %65
%67 = add nsw i64 %66, %61
store i64 %67, i64* %65
br label %68
68: ; preds = %56
%69 = load i32, i32* %5
%70 = add nsw i32 %69, 1
store i32 %70, i32* %5
br label %53
71: ; preds = %53
%72 = load i64*, i64** %6
%73 = getelementptr inbounds i64, i64* %72, i64 12
%74 = load i64, i64* %73
%75 = add nsw i64 %74, 1
store i64 %75, i64* %73
%76 = load i64*, i64** %6
%77 = getelementptr inbounds i64, i64* %76, i64 12
%78 = load i64, i64* %77
%79 = icmp ne i64 %78, 0
br i1 %79, label %85, label %80
80: ; preds = %71
%81 = load i64*, i64** %6
%82 = getelementptr inbounds i64, i64* %81, i64 13
%83 = load i64, i64* %82
%84 = add nsw i64 %83, 1
store i64 %84, i64* %82
br label %85
85: ; preds = %80, %71
ret void
}

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