#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 /*<<< orphan*/ uint8_t;
typedef int uint64_t;

/* Variables and functions */
int /*<<< orphan*/ morus_stateupdate(int *, int **);
void morus_enc_aut_step(const uint8_t *plaintextblock, uint8_t *ciphertextblock,
                        uint64_t state[5][4]) {
  ((uint64_t *)ciphertextblock)[0] = ((uint64_t *)plaintextblock)[0] ^
                                     state[0][0] ^ state[1][1] ^
                                     (state[2][0] & state[3][0]);
  ((uint64_t *)ciphertextblock)[1] = ((uint64_t *)plaintextblock)[1] ^
                                     state[0][1] ^ state[1][2] ^
                                     (state[2][1] & state[3][1]);
  ((uint64_t *)ciphertextblock)[2] = ((uint64_t *)plaintextblock)[2] ^
                                     state[0][2] ^ state[1][3] ^
                                     (state[2][2] & state[3][2]);
  ((uint64_t *)ciphertextblock)[3] = ((uint64_t *)plaintextblock)[3] ^
                                     state[0][3] ^ state[1][0] ^
                                     (state[2][3] & state[3][3]);
  morus_stateupdate(((uint64_t *)plaintextblock), state);
}


x86 assembly (clang, -O0):
<morus_enc_aut_step>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%ecx
mov    -0x18(%rbp),%rax
xor    (%rax),%ecx
mov    -0x18(%rbp),%rax
xor    0x14(%rax),%ecx
mov    -0x18(%rbp),%rax
mov    0x20(%rax),%eax
mov    -0x18(%rbp),%rdx
and    0x30(%rdx),%eax
xor    %eax,%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x8(%rbp),%rax
mov    0x4(%rax),%ecx
mov    -0x18(%rbp),%rax
xor    0x4(%rax),%ecx
mov    -0x18(%rbp),%rax
xor    0x18(%rax),%ecx
mov    -0x18(%rbp),%rax
mov    0x24(%rax),%eax
mov    -0x18(%rbp),%rdx
and    0x34(%rdx),%eax
xor    %eax,%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,0x4(%rax)
mov    -0x8(%rbp),%rax
mov    0x8(%rax),%ecx
mov    -0x18(%rbp),%rax
xor    0x8(%rax),%ecx
mov    -0x18(%rbp),%rax
xor    0x1c(%rax),%ecx
mov    -0x18(%rbp),%rax
mov    0x28(%rax),%eax
mov    -0x18(%rbp),%rdx
and    0x38(%rdx),%eax
xor    %eax,%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,0x8(%rax)
mov    -0x8(%rbp),%rax
mov    0xc(%rax),%ecx
mov    -0x18(%rbp),%rax
xor    0xc(%rax),%ecx
mov    -0x18(%rbp),%rax
xor    0x10(%rax),%ecx
mov    -0x18(%rbp),%rax
mov    0x2c(%rax),%eax
mov    -0x18(%rbp),%rdx
and    0x3c(%rdx),%eax
xor    %eax,%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,0xc(%rax)
mov    -0x8(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1030 <morus_stateupdate@plt>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<morus_enc_aut_step>:
mov    (%rdx),%eax
mov    0x30(%rdx),%ecx
xor    (%rdi),%eax
xor    0x14(%rdx),%eax
and    0x20(%rdx),%ecx
xor    %eax,%ecx
mov    %ecx,(%rsi)
mov    0x4(%rdx),%eax
mov    0x34(%rdx),%ecx
xor    0x4(%rdi),%eax
xor    0x18(%rdx),%eax
and    0x24(%rdx),%ecx
xor    %eax,%ecx
mov    %ecx,0x4(%rsi)
mov    0x8(%rdx),%eax
mov    0x38(%rdx),%ecx
xor    0x8(%rdi),%eax
xor    0x1c(%rdx),%eax
and    0x28(%rdx),%ecx
xor    %eax,%ecx
mov    %ecx,0x8(%rsi)
mov    0xc(%rdx),%eax
mov    0x3c(%rdx),%ecx
xor    0xc(%rdi),%eax
xor    0x10(%rdx),%eax
and    0x2c(%rdx),%ecx
xor    %eax,%ecx
mov    %ecx,0xc(%rsi)
mov    %rdx,%rsi
jmp    1030 <morus_stateupdate@plt>

LLVM IR (-O0):
define void @morus_enc_aut_step(i32* %0, i32* %1, [4 x i32]* %2) {
%4 = alloca i32*
%5 = alloca i32*
%6 = alloca [4 x i32]*
store i32* %0, i32** %4
store i32* %1, i32** %5
store [4 x i32]* %2, [4 x i32]** %6
%7 = load i32*, i32** %4
%8 = getelementptr inbounds i32, i32* %7, i64 0
%9 = load i32, i32* %8
%10 = load [4 x i32]*, [4 x i32]** %6
%11 = getelementptr inbounds [4 x i32], [4 x i32]* %10, i64 0
%12 = getelementptr inbounds [4 x i32], [4 x i32]* %11, i64 0, i64 0
%13 = load i32, i32* %12
%14 = xor i32 %9, %13
%15 = load [4 x i32]*, [4 x i32]** %6
%16 = getelementptr inbounds [4 x i32], [4 x i32]* %15, i64 1
%17 = getelementptr inbounds [4 x i32], [4 x i32]* %16, i64 0, i64 1
%18 = load i32, i32* %17
%19 = xor i32 %14, %18
%20 = load [4 x i32]*, [4 x i32]** %6
%21 = getelementptr inbounds [4 x i32], [4 x i32]* %20, i64 2
%22 = getelementptr inbounds [4 x i32], [4 x i32]* %21, i64 0, i64 0
%23 = load i32, i32* %22
%24 = load [4 x i32]*, [4 x i32]** %6
%25 = getelementptr inbounds [4 x i32], [4 x i32]* %24, i64 3
%26 = getelementptr inbounds [4 x i32], [4 x i32]* %25, i64 0, i64 0
%27 = load i32, i32* %26
%28 = and i32 %23, %27
%29 = xor i32 %19, %28
%30 = load i32*, i32** %5
%31 = getelementptr inbounds i32, i32* %30, i64 0
store i32 %29, i32* %31
%32 = load i32*, i32** %4
%33 = getelementptr inbounds i32, i32* %32, i64 1
%34 = load i32, i32* %33
%35 = load [4 x i32]*, [4 x i32]** %6
%36 = getelementptr inbounds [4 x i32], [4 x i32]* %35, i64 0
%37 = getelementptr inbounds [4 x i32], [4 x i32]* %36, i64 0, i64 1
%38 = load i32, i32* %37
%39 = xor i32 %34, %38
%40 = load [4 x i32]*, [4 x i32]** %6
%41 = getelementptr inbounds [4 x i32], [4 x i32]* %40, i64 1
%42 = getelementptr inbounds [4 x i32], [4 x i32]* %41, i64 0, i64 2
%43 = load i32, i32* %42
%44 = xor i32 %39, %43
%45 = load [4 x i32]*, [4 x i32]** %6
%46 = getelementptr inbounds [4 x i32], [4 x i32]* %45, i64 2
%47 = getelementptr inbounds [4 x i32], [4 x i32]* %46, i64 0, i64 1
%48 = load i32, i32* %47
%49 = load [4 x i32]*, [4 x i32]** %6
%50 = getelementptr inbounds [4 x i32], [4 x i32]* %49, i64 3
%51 = getelementptr inbounds [4 x i32], [4 x i32]* %50, i64 0, i64 1
%52 = load i32, i32* %51
%53 = and i32 %48, %52
%54 = xor i32 %44, %53
%55 = load i32*, i32** %5
%56 = getelementptr inbounds i32, i32* %55, i64 1
store i32 %54, i32* %56
%57 = load i32*, i32** %4
%58 = getelementptr inbounds i32, i32* %57, i64 2
%59 = load i32, i32* %58
%60 = load [4 x i32]*, [4 x i32]** %6
%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 2
%63 = load i32, i32* %62
%64 = xor i32 %59, %63
%65 = load [4 x i32]*, [4 x i32]** %6
%66 = getelementptr inbounds [4 x i32], [4 x i32]* %65, i64 1
%67 = getelementptr inbounds [4 x i32], [4 x i32]* %66, i64 0, i64 3
%68 = load i32, i32* %67
%69 = xor i32 %64, %68
%70 = load [4 x i32]*, [4 x i32]** %6
%71 = getelementptr inbounds [4 x i32], [4 x i32]* %70, i64 2
%72 = getelementptr inbounds [4 x i32], [4 x i32]* %71, i64 0, i64 2
%73 = load i32, i32* %72
%74 = load [4 x i32]*, [4 x i32]** %6
%75 = getelementptr inbounds [4 x i32], [4 x i32]* %74, i64 3
%76 = getelementptr inbounds [4 x i32], [4 x i32]* %75, i64 0, i64 2
%77 = load i32, i32* %76
%78 = and i32 %73, %77
%79 = xor i32 %69, %78
%80 = load i32*, i32** %5
%81 = getelementptr inbounds i32, i32* %80, i64 2
store i32 %79, i32* %81
%82 = load i32*, i32** %4
%83 = getelementptr inbounds i32, i32* %82, i64 3
%84 = load i32, i32* %83
%85 = load [4 x i32]*, [4 x i32]** %6
%86 = getelementptr inbounds [4 x i32], [4 x i32]* %85, i64 0
%87 = getelementptr inbounds [4 x i32], [4 x i32]* %86, i64 0, i64 3
%88 = load i32, i32* %87
%89 = xor i32 %84, %88
%90 = load [4 x i32]*, [4 x i32]** %6
%91 = getelementptr inbounds [4 x i32], [4 x i32]* %90, i64 1
%92 = getelementptr inbounds [4 x i32], [4 x i32]* %91, i64 0, i64 0
%93 = load i32, i32* %92
%94 = xor i32 %89, %93
%95 = load [4 x i32]*, [4 x i32]** %6
%96 = getelementptr inbounds [4 x i32], [4 x i32]* %95, i64 2
%97 = getelementptr inbounds [4 x i32], [4 x i32]* %96, i64 0, i64 3
%98 = load i32, i32* %97
%99 = load [4 x i32]*, [4 x i32]** %6
%100 = getelementptr inbounds [4 x i32], [4 x i32]* %99, i64 3
%101 = getelementptr inbounds [4 x i32], [4 x i32]* %100, i64 0, i64 3
%102 = load i32, i32* %101
%103 = and i32 %98, %102
%104 = xor i32 %94, %103
%105 = load i32*, i32** %5
%106 = getelementptr inbounds i32, i32* %105, i64 3
store i32 %104, i32* %106
%107 = load i32*, i32** %4
%108 = load [4 x i32]*, [4 x i32]** %6
%109 = bitcast [4 x i32]* %108 to i32**
%110 = call i32 @morus_stateupdate(i32* %107, i32** %109)
ret void
}

LLVM IR (-O2):
define void @morus_enc_aut_step(i32* %0, i32* nocapture writeonly %1, [4 x i32]* %2) {
%4 = load i32, i32* %0
%5 = getelementptr inbounds [4 x i32], [4 x i32]* %2, i64 0, i64 0
%6 = load i32, i32* %5
%7 = xor i32 %6, %4
%8 = getelementptr inbounds [4 x i32], [4 x i32]* %2, i64 1, i64 1
%9 = load i32, i32* %8
%10 = xor i32 %7, %9
%11 = getelementptr inbounds [4 x i32], [4 x i32]* %2, i64 2, i64 0
%12 = load i32, i32* %11
%13 = getelementptr inbounds [4 x i32], [4 x i32]* %2, i64 3, i64 0
%14 = load i32, i32* %13
%15 = and i32 %14, %12
%16 = xor i32 %10, %15
store i32 %16, i32* %1
%17 = getelementptr inbounds i32, i32* %0, i64 1
%18 = load i32, i32* %17
%19 = getelementptr inbounds [4 x i32], [4 x i32]* %2, i64 0, i64 1
%20 = load i32, i32* %19
%21 = xor i32 %20, %18
%22 = getelementptr inbounds [4 x i32], [4 x i32]* %2, i64 1, i64 2
%23 = load i32, i32* %22
%24 = xor i32 %21, %23
%25 = getelementptr inbounds [4 x i32], [4 x i32]* %2, i64 2, i64 1
%26 = load i32, i32* %25
%27 = getelementptr inbounds [4 x i32], [4 x i32]* %2, i64 3, i64 1
%28 = load i32, i32* %27
%29 = and i32 %28, %26
%30 = xor i32 %24, %29
%31 = getelementptr inbounds i32, i32* %1, i64 1
store i32 %30, i32* %31
%32 = getelementptr inbounds i32, i32* %0, i64 2
%33 = load i32, i32* %32
%34 = getelementptr inbounds [4 x i32], [4 x i32]* %2, i64 0, i64 2
%35 = load i32, i32* %34
%36 = xor i32 %35, %33
%37 = getelementptr inbounds [4 x i32], [4 x i32]* %2, i64 1, i64 3
%38 = load i32, i32* %37
%39 = xor i32 %36, %38
%40 = getelementptr inbounds [4 x i32], [4 x i32]* %2, i64 2, i64 2
%41 = load i32, i32* %40
%42 = getelementptr inbounds [4 x i32], [4 x i32]* %2, i64 3, i64 2
%43 = load i32, i32* %42
%44 = and i32 %43, %41
%45 = xor i32 %39, %44
%46 = getelementptr inbounds i32, i32* %1, i64 2
store i32 %45, i32* %46
%47 = getelementptr inbounds i32, i32* %0, i64 3
%48 = load i32, i32* %47
%49 = getelementptr inbounds [4 x i32], [4 x i32]* %2, i64 0, i64 3
%50 = load i32, i32* %49
%51 = xor i32 %50, %48
%52 = getelementptr inbounds [4 x i32], [4 x i32]* %2, i64 1, i64 0
%53 = load i32, i32* %52
%54 = xor i32 %51, %53
%55 = getelementptr inbounds [4 x i32], [4 x i32]* %2, i64 2, i64 3
%56 = load i32, i32* %55
%57 = getelementptr inbounds [4 x i32], [4 x i32]* %2, i64 3, i64 3
%58 = load i32, i32* %57
%59 = and i32 %58, %56
%60 = xor i32 %54, %59
%61 = getelementptr inbounds i32, i32* %1, i64 3
store i32 %60, i32* %61
%62 = bitcast [4 x i32]* %2 to i32**
%63 = tail call i32 @morus_stateupdate(i32* %0, i32** %62)
ret void
}