#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*/ AESROUND(unsigned char *, unsigned char *, unsigned char *);
int /*<<< orphan*/ memcpy(unsigned char *, unsigned char *, int);
void aegis128_dec_aut_step(unsigned char *plaintextblk,
                           const unsigned char *ciphertextblk,
                           unsigned char *state) {
  unsigned char tmp[16];
  {
    ((unsigned long long *)(plaintextblk))[0] =
        ((unsigned long long *)(state + 32))[0] &
        ((unsigned long long *)(state + 48))[0];
    ((unsigned long long *)(plaintextblk))[1] =
        ((unsigned long long *)(state + 32))[1] &
        ((unsigned long long *)(state + 48))[1];
  };
  {
    ((unsigned long long *)(plaintextblk))[0] =
        ((unsigned long long *)(plaintextblk))[0] ^
        ((unsigned long long *)(state + 16))[0];
    ((unsigned long long *)(plaintextblk))[1] =
        ((unsigned long long *)(plaintextblk))[1] ^
        ((unsigned long long *)(state + 16))[1];
  };
  {
    ((unsigned long long *)(plaintextblk))[0] =
        ((unsigned long long *)(plaintextblk))[0] ^
        ((unsigned long long *)(state + 64))[0];
    ((unsigned long long *)(plaintextblk))[1] =
        ((unsigned long long *)(plaintextblk))[1] ^
        ((unsigned long long *)(state + 64))[1];
  };
  {
    ((unsigned long long *)(plaintextblk))[0] =
        ((unsigned long long *)(plaintextblk))[0] ^
        ((unsigned long long *)(ciphertextblk))[0];
    ((unsigned long long *)(plaintextblk))[1] =
        ((unsigned long long *)(plaintextblk))[1] ^
        ((unsigned long long *)(ciphertextblk))[1];
  };
  memcpy(tmp, state + 64, 16);
  AESROUND(state + 64, state + 48, state + 64);
  AESROUND(state + 48, state + 32, state + 48);
  AESROUND(state + 32, state + 16, state + 32);
  AESROUND(state + 16, state + 0, state + 16);
  AESROUND(state + 0, tmp, state + 0);
  {
    ((unsigned long long *)(state))[0] =
        ((unsigned long long *)(state))[0] ^
        ((unsigned long long *)(plaintextblk))[0];
    ((unsigned long long *)(state))[1] =
        ((unsigned long long *)(state))[1] ^
        ((unsigned long long *)(plaintextblk))[1];
  };
}


x86 assembly (clang, -O0):
<aegis128_dec_aut_step>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x18(%rbp),%rax
mov    0x20(%rax),%rcx
mov    -0x18(%rbp),%rax
and    0x30(%rax),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x18(%rbp),%rax
mov    0x28(%rax),%rcx
mov    -0x18(%rbp),%rax
and    0x38(%rax),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0x8(%rax)
mov    -0x8(%rbp),%rax
mov    (%rax),%rcx
mov    -0x18(%rbp),%rax
xor    0x10(%rax),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x8(%rbp),%rax
mov    0x8(%rax),%rcx
mov    -0x18(%rbp),%rax
xor    0x18(%rax),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0x8(%rax)
mov    -0x8(%rbp),%rax
mov    (%rax),%rcx
mov    -0x18(%rbp),%rax
xor    0x40(%rax),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x8(%rbp),%rax
mov    0x8(%rax),%rcx
mov    -0x18(%rbp),%rax
xor    0x48(%rax),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0x8(%rax)
mov    -0x8(%rbp),%rax
mov    (%rax),%rcx
mov    -0x10(%rbp),%rax
xor    (%rax),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x8(%rbp),%rax
mov    0x8(%rax),%rcx
mov    -0x10(%rbp),%rax
xor    0x8(%rax),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0x8(%rax)
lea    -0x30(%rbp),%rdi
mov    -0x18(%rbp),%rsi
add    $0x40,%rsi
mov    $0x10,%edx
call   1030 <memcpy@plt>
mov    -0x18(%rbp),%rdi
add    $0x40,%rdi
mov    -0x18(%rbp),%rsi
add    $0x30,%rsi
mov    -0x18(%rbp),%rdx
add    $0x40,%rdx
call   1040 <AESROUND@plt>
mov    -0x18(%rbp),%rdi
add    $0x30,%rdi
mov    -0x18(%rbp),%rsi
add    $0x20,%rsi
mov    -0x18(%rbp),%rdx
add    $0x30,%rdx
call   1040 <AESROUND@plt>
mov    -0x18(%rbp),%rdi
add    $0x20,%rdi
mov    -0x18(%rbp),%rsi
add    $0x10,%rsi
mov    -0x18(%rbp),%rdx
add    $0x20,%rdx
call   1040 <AESROUND@plt>
mov    -0x18(%rbp),%rdi
add    $0x10,%rdi
mov    -0x18(%rbp),%rsi
mov    -0x18(%rbp),%rdx
add    $0x10,%rdx
call   1040 <AESROUND@plt>
mov    -0x18(%rbp),%rdi
lea    -0x30(%rbp),%rsi
mov    -0x18(%rbp),%rdx
call   1040 <AESROUND@plt>
mov    -0x18(%rbp),%rax
mov    (%rax),%rcx
mov    -0x8(%rbp),%rax
xor    (%rax),%rcx
mov    -0x18(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x18(%rbp),%rax
mov    0x8(%rax),%rcx
mov    -0x8(%rbp),%rax
xor    0x8(%rax),%rcx
mov    -0x18(%rbp),%rax
mov    %rcx,0x8(%rax)
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<aegis128_dec_aut_step>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %rdx,%rbx
mov    %rdi,%r14
mov    0x30(%rdx),%rax
and    0x20(%rdx),%rax
mov    %rax,(%rdi)
mov    0x38(%rdx),%rcx
and    0x28(%rdx),%rcx
mov    %rcx,0x8(%rdi)
xor    0x10(%rdx),%rax
lea    0x20(%rdx),%r15
mov    %rax,(%rdi)
xor    0x18(%rdx),%rcx
lea    0x30(%rdx),%rbp
mov    %rcx,0x8(%rdi)
xor    0x40(%rdx),%rax
lea    0x10(%rdx),%r12
mov    %rax,(%rdi)
xor    0x48(%rdx),%rcx
lea    0x40(%rdx),%r13
mov    %rcx,0x8(%rdi)
xor    (%rsi),%rax
mov    %rax,(%rdi)
xor    0x8(%rsi),%rcx
mov    %rcx,0x8(%rdi)
mov    %rsp,%rdi
mov    %r13,%rsi
mov    $0x10,%edx
call   1030 <memcpy@plt>
mov    %r13,%rdi
mov    %rbp,%rsi
mov    %r13,%rdx
call   1040 <AESROUND@plt>
mov    %rbp,%rdi
mov    %r15,%rsi
mov    %rbp,%rdx
call   1040 <AESROUND@plt>
mov    %r15,%rdi
mov    %r12,%rsi
mov    %r15,%rdx
call   1040 <AESROUND@plt>
mov    %r12,%rdi
mov    %rbx,%rsi
mov    %r12,%rdx
call   1040 <AESROUND@plt>
mov    %rbx,%rdi
mov    %rsp,%rsi
mov    %rbx,%rdx
call   1040 <AESROUND@plt>
mov    (%r14),%rax
xor    %rax,(%rbx)
mov    0x8(%r14),%rax
xor    %rax,0x8(%rbx)
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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