#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 scalar_t__ uint64_t;

/* Variables and functions */
scalar_t__ Ch(scalar_t__, scalar_t__, scalar_t__);
scalar_t__ Maj(scalar_t__, scalar_t__, scalar_t__);
scalar_t__ Sigma0(scalar_t__);
scalar_t__ Sigma1(scalar_t__);
void Round(uint64_t a, uint64_t b, uint64_t c, uint64_t *d, uint64_t e,
           uint64_t f, uint64_t g, uint64_t *h, uint64_t k, uint64_t w) {
  uint64_t t1 = *h + Sigma1(e) + Ch(e, f, g) + k + w;
  uint64_t t2 = Sigma0(a) + Maj(a, b, c);
  *d += t1;
  *h = t1 + t2;
}


x86 assembly (clang, -O0):
<Round>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    0x28(%rbp),%rax
mov    0x20(%rbp),%rax
mov    0x18(%rbp),%rax
mov    0x10(%rbp),%rax
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9,-0x30(%rbp)
mov    0x18(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x58(%rbp)
mov    -0x28(%rbp),%rdi
call   1040 <Sigma1@plt>
mov    %rax,%rcx
mov    -0x58(%rbp),%rax
add    %rcx,%rax
mov    %rax,-0x50(%rbp)
mov    -0x28(%rbp),%rdi
mov    -0x30(%rbp),%rsi
mov    0x10(%rbp),%rdx
call   1030 <Ch@plt>
mov    %rax,%rcx
mov    -0x50(%rbp),%rax
add    %rcx,%rax
add    0x20(%rbp),%rax
add    0x28(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x8(%rbp),%rdi
call   1060 <Sigma0@plt>
mov    %rax,-0x48(%rbp)
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
call   1050 <Maj@plt>
mov    %rax,%rcx
mov    -0x48(%rbp),%rax
add    %rcx,%rax
mov    %rax,-0x40(%rbp)
mov    -0x38(%rbp),%rcx
mov    -0x20(%rbp),%rax
add    (%rax),%rcx
mov    %rcx,(%rax)
mov    -0x38(%rbp),%rcx
add    -0x40(%rbp),%rcx
mov    0x18(%rbp),%rax
mov    %rcx,(%rax)
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<Round>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %r9,%r13
mov    %r8,%rbx
mov    %rcx,0x10(%rsp)
mov    %rdx,0x8(%rsp)
mov    %rsi,%r12
mov    %rdi,%rbp
mov    0x58(%rsp),%rax
mov    0x68(%rsp),%r15
add    0x60(%rsp),%r15
add    (%rax),%r15
mov    %r8,%rdi
call   1040 <Sigma1@plt>
mov    %rax,%r14
mov    %rbx,%rdi
mov    %r13,%rsi
mov    0x50(%rsp),%rdx
call   1030 <Ch@plt>
add    %r15,%r14
add    %rax,%r14
mov    %rbp,%rdi
call   1060 <Sigma0@plt>
mov    %rax,%rbx
mov    %rbp,%rdi
mov    %r12,%rsi
mov    0x8(%rsp),%rdx
call   1050 <Maj@plt>
mov    0x10(%rsp),%rcx
add    %r14,(%rcx)
add    %rbx,%rax
add    %r14,%rax
mov    0x58(%rsp),%rcx
mov    %rax,(%rcx)
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @Round(i64 %0, i64 %1, i64 %2, i64* %3, i64 %4, i64 %5, i64 %6, i64* %7, i64 %8, i64 %9) {
%11 = alloca i64
%12 = alloca i64
%13 = alloca i64
%14 = alloca i64*
%15 = alloca i64
%16 = alloca i64
%17 = alloca i64
%18 = alloca i64*
%19 = alloca i64
%20 = alloca i64
%21 = alloca i64
%22 = alloca i64
store i64 %0, i64* %11
store i64 %1, i64* %12
store i64 %2, i64* %13
store i64* %3, i64** %14
store i64 %4, i64* %15
store i64 %5, i64* %16
store i64 %6, i64* %17
store i64* %7, i64** %18
store i64 %8, i64* %19
store i64 %9, i64* %20
%23 = load i64*, i64** %18
%24 = load i64, i64* %23
%25 = load i64, i64* %15
%26 = call i64 @Sigma1(i64 %25)
%27 = add nsw i64 %24, %26
%28 = load i64, i64* %15
%29 = load i64, i64* %16
%30 = load i64, i64* %17
%31 = call i64 @Ch(i64 %28, i64 %29, i64 %30)
%32 = add nsw i64 %27, %31
%33 = load i64, i64* %19
%34 = add nsw i64 %32, %33
%35 = load i64, i64* %20
%36 = add nsw i64 %34, %35
store i64 %36, i64* %21
%37 = load i64, i64* %11
%38 = call i64 @Sigma0(i64 %37)
%39 = load i64, i64* %11
%40 = load i64, i64* %12
%41 = load i64, i64* %13
%42 = call i64 @Maj(i64 %39, i64 %40, i64 %41)
%43 = add nsw i64 %38, %42
store i64 %43, i64* %22
%44 = load i64, i64* %21
%45 = load i64*, i64** %14
%46 = load i64, i64* %45
%47 = add nsw i64 %46, %44
store i64 %47, i64* %45
%48 = load i64, i64* %21
%49 = load i64, i64* %22
%50 = add nsw i64 %48, %49
%51 = load i64*, i64** %18
store i64 %50, i64* %51
ret void
}

LLVM IR (-O2):
define void @Round(i64 %0, i64 %1, i64 %2, i64* nocapture %3, i64 %4, i64 %5, i64 %6, i64* nocapture %7, i64 %8, i64 %9) {
%11 = load i64, i64* %7
%12 = tail call i64 @Sigma1(i64 %4)
%13 = tail call i64 @Ch(i64 %4, i64 %5, i64 %6)
%14 = add i64 %9, %8
%15 = add i64 %14, %11
%16 = add i64 %15, %12
%17 = add i64 %16, %13
%18 = tail call i64 @Sigma0(i64 %0)
%19 = tail call i64 @Maj(i64 %0, i64 %1, i64 %2)
%20 = add nsw i64 %19, %18
%21 = load i64, i64* %3
%22 = add nsw i64 %21, %17
store i64 %22, i64* %3
%23 = add nsw i64 %20, %17
store i64 %23, i64* %7
ret void
}