#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 uint32_t;
typedef int /*<<< orphan*/ uint16_t;

/* Variables and functions */
int /*<<< orphan*/ READ_ROUND_KEY_WORD(int /*<<< orphan*/);
int rot32l8(int);
int rot32r8(int);
int /*<<< orphan*/ speckey_inverse(int /*<<< orphan*/ *, int /*<<< orphan*/ *);
void round_f_inverse(uint16_t *block, uint16_t *roundKeys) {
  uint16_t temp;
  uint32_t *Block = (uint32_t *)block;
  uint32_t t = Block[2] ^ Block[3];
  uint32_t tx[2];
  tx[0] = Block[2];
  tx[1] = Block[3];
  t = rot32l8(t) ^ rot32r8(t);
  Block[2] ^= t;
  Block[3] ^= t;
  t = Block[2];
  Block[2] = (Block[2] & 0xffff0000) | (Block[3] & 0x0000ffff);
  Block[3] = (Block[3] & 0xffff0000) | (t & 0x0000ffff);
  Block[2] ^= Block[0];
  Block[3] ^= Block[1];
  Block[0] = tx[0];
  Block[1] = tx[1];
  speckey_inverse(&block[6], &block[7]);
  block[7] ^= READ_ROUND_KEY_WORD(roundKeys[31]);
  block[6] ^= READ_ROUND_KEY_WORD(roundKeys[30]);
  speckey_inverse(&block[6], &block[7]);
  block[7] ^= READ_ROUND_KEY_WORD(roundKeys[29]);
  block[6] ^= READ_ROUND_KEY_WORD(roundKeys[28]);
  speckey_inverse(&block[6], &block[7]);
  block[7] ^= READ_ROUND_KEY_WORD(roundKeys[27]);
  block[6] ^= READ_ROUND_KEY_WORD(roundKeys[26]);
  speckey_inverse(&block[6], &block[7]);
  block[7] ^= READ_ROUND_KEY_WORD(roundKeys[25]);
  block[6] ^= READ_ROUND_KEY_WORD(roundKeys[24]);
  speckey_inverse(&block[4], &block[5]);
  block[5] ^= READ_ROUND_KEY_WORD(roundKeys[23]);
  block[4] ^= READ_ROUND_KEY_WORD(roundKeys[22]);
  speckey_inverse(&block[4], &block[5]);
  block[5] ^= READ_ROUND_KEY_WORD(roundKeys[21]);
  block[4] ^= READ_ROUND_KEY_WORD(roundKeys[20]);
  speckey_inverse(&block[4], &block[5]);
  block[5] ^= READ_ROUND_KEY_WORD(roundKeys[19]);
  block[4] ^= READ_ROUND_KEY_WORD(roundKeys[18]);
  speckey_inverse(&block[4], &block[5]);
  block[5] ^= READ_ROUND_KEY_WORD(roundKeys[17]);
  block[4] ^= READ_ROUND_KEY_WORD(roundKeys[16]);
  speckey_inverse(&block[2], &block[3]);
  block[3] ^= READ_ROUND_KEY_WORD(roundKeys[15]);
  block[2] ^= READ_ROUND_KEY_WORD(roundKeys[14]);
  speckey_inverse(&block[2], &block[3]);
  block[3] ^= READ_ROUND_KEY_WORD(roundKeys[13]);
  block[2] ^= READ_ROUND_KEY_WORD(roundKeys[12]);
  speckey_inverse(&block[2], &block[3]);
  block[3] ^= READ_ROUND_KEY_WORD(roundKeys[11]);
  block[2] ^= READ_ROUND_KEY_WORD(roundKeys[10]);
  speckey_inverse(&block[2], &block[3]);
  block[3] ^= READ_ROUND_KEY_WORD(roundKeys[9]);
  block[2] ^= READ_ROUND_KEY_WORD(roundKeys[8]);
  speckey_inverse(&block[0], &block[1]);
  block[1] ^= READ_ROUND_KEY_WORD(roundKeys[7]);
  block[0] ^= READ_ROUND_KEY_WORD(roundKeys[6]);
  speckey_inverse(&block[0], &block[1]);
  block[1] ^= READ_ROUND_KEY_WORD(roundKeys[5]);
  block[0] ^= READ_ROUND_KEY_WORD(roundKeys[4]);
  speckey_inverse(&block[0], &block[1]);
  block[1] ^= READ_ROUND_KEY_WORD(roundKeys[3]);
  block[0] ^= READ_ROUND_KEY_WORD(roundKeys[2]);
  speckey_inverse(&block[0], &block[1]);
  block[1] ^= READ_ROUND_KEY_WORD(roundKeys[1]);
  block[0] ^= READ_ROUND_KEY_WORD(roundKeys[0]);
}


x86 assembly (clang, -O0):
<round_f_inverse>:
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    -0x20(%rbp),%rax
mov    0x8(%rax),%eax
mov    -0x20(%rbp),%rcx
xor    0xc(%rcx),%eax
mov    %eax,-0x24(%rbp)
mov    -0x20(%rbp),%rax
mov    0x8(%rax),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x20(%rbp),%rax
mov    0xc(%rax),%eax
mov    %eax,-0x28(%rbp)
mov    -0x24(%rbp),%edi
call   1060 <rot32l8@plt>
mov    %eax,-0x30(%rbp)
mov    -0x24(%rbp),%edi
call   1030 <rot32r8@plt>
mov    %eax,%ecx
mov    -0x30(%rbp),%eax
xor    %ecx,%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%ecx
mov    -0x20(%rbp),%rax
xor    0x8(%rax),%ecx
mov    %ecx,0x8(%rax)
mov    -0x24(%rbp),%ecx
mov    -0x20(%rbp),%rax
xor    0xc(%rax),%ecx
mov    %ecx,0xc(%rax)
mov    -0x20(%rbp),%rax
mov    0x8(%rax),%eax
mov    %eax,-0x24(%rbp)
mov    -0x20(%rbp),%rax
mov    0x8(%rax),%ecx
and    $0xffff0000,%ecx
mov    -0x20(%rbp),%rax
mov    0xc(%rax),%eax
and    $0xffff,%eax
or     %eax,%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,0x8(%rax)
mov    -0x20(%rbp),%rax
mov    0xc(%rax),%ecx
and    $0xffff0000,%ecx
mov    -0x24(%rbp),%eax
and    $0xffff,%eax
or     %eax,%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,0xc(%rax)
mov    -0x20(%rbp),%rax
mov    (%rax),%ecx
mov    -0x20(%rbp),%rax
xor    0x8(%rax),%ecx
mov    %ecx,0x8(%rax)
mov    -0x20(%rbp),%rax
mov    0x4(%rax),%ecx
mov    -0x20(%rbp),%rax
xor    0xc(%rax),%ecx
mov    %ecx,0xc(%rax)
mov    -0x2c(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x28(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,0x4(%rax)
mov    -0x8(%rbp),%rdi
add    $0x18,%rdi
mov    -0x8(%rbp),%rsi
add    $0x1c,%rsi
call   1050 <speckey_inverse@plt>
mov    -0x10(%rbp),%rax
mov    0x7c(%rax),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
mov    %eax,%ecx
mov    -0x8(%rbp),%rax
xor    0x1c(%rax),%ecx
mov    %ecx,0x1c(%rax)
mov    -0x10(%rbp),%rax
mov    0x78(%rax),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
mov    %eax,%ecx
mov    -0x8(%rbp),%rax
xor    0x18(%rax),%ecx
mov    %ecx,0x18(%rax)
mov    -0x8(%rbp),%rdi
add    $0x18,%rdi
mov    -0x8(%rbp),%rsi
add    $0x1c,%rsi
call   1050 <speckey_inverse@plt>
mov    -0x10(%rbp),%rax
mov    0x74(%rax),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
mov    %eax,%ecx
mov    -0x8(%rbp),%rax
xor    0x1c(%rax),%ecx
mov    %ecx,0x1c(%rax)
mov    -0x10(%rbp),%rax
mov    0x70(%rax),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
mov    %eax,%ecx
mov    -0x8(%rbp),%rax
xor    0x18(%rax),%ecx
mov    %ecx,0x18(%rax)
mov    -0x8(%rbp),%rdi
add    $0x18,%rdi
mov    -0x8(%rbp),%rsi
add    $0x1c,%rsi
call   1050 <speckey_inverse@plt>
mov    -0x10(%rbp),%rax
mov    0x6c(%rax),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
mov    %eax,%ecx
mov    -0x8(%rbp),%rax
xor    0x1c(%rax),%ecx
mov    %ecx,0x1c(%rax)
mov    -0x10(%rbp),%rax
mov    0x68(%rax),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
mov    %eax,%ecx
mov    -0x8(%rbp),%rax
xor    0x18(%rax),%ecx
mov    %ecx,0x18(%rax)
mov    -0x8(%rbp),%rdi
add    $0x18,%rdi
mov    -0x8(%rbp),%rsi
add    $0x1c,%rsi
call   1050 <speckey_inverse@plt>
mov    -0x10(%rbp),%rax
mov    0x64(%rax),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
mov    %eax,%ecx
mov    -0x8(%rbp),%rax
xor    0x1c(%rax),%ecx
mov    %ecx,0x1c(%rax)
mov    -0x10(%rbp),%rax
mov    0x60(%rax),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
mov    %eax,%ecx
mov    -0x8(%rbp),%rax
xor    0x18(%rax),%ecx
mov    %ecx,0x18(%rax)
mov    -0x8(%rbp),%rdi
add    $0x10,%rdi
mov    -0x8(%rbp),%rsi
add    $0x14,%rsi
call   1050 <speckey_inverse@plt>
mov    -0x10(%rbp),%rax
mov    0x5c(%rax),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
mov    %eax,%ecx
mov    -0x8(%rbp),%rax
xor    0x14(%rax),%ecx
mov    %ecx,0x14(%rax)
mov    -0x10(%rbp),%rax
mov    0x58(%rax),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
mov    %eax,%ecx
mov    -0x8(%rbp),%rax
xor    0x10(%rax),%ecx
mov    %ecx,0x10(%rax)
mov    -0x8(%rbp),%rdi
add    $0x10,%rdi
mov    -0x8(%rbp),%rsi
add    $0x14,%rsi
call   1050 <speckey_inverse@plt>
mov    -0x10(%rbp),%rax
mov    0x54(%rax),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
mov    %eax,%ecx
mov    -0x8(%rbp),%rax
xor    0x14(%rax),%ecx
mov    %ecx,0x14(%rax)
mov    -0x10(%rbp),%rax
mov    0x50(%rax),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
mov    %eax,%ecx
mov    -0x8(%rbp),%rax
xor    0x10(%rax),%ecx
mov    %ecx,0x10(%rax)
mov    -0x8(%rbp),%rdi
add    $0x10,%rdi
mov    -0x8(%rbp),%rsi
add    $0x14,%rsi
call   1050 <speckey_inverse@plt>
mov    -0x10(%rbp),%rax
mov    0x4c(%rax),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
mov    %eax,%ecx
mov    -0x8(%rbp),%rax
xor    0x14(%rax),%ecx
mov    %ecx,0x14(%rax)
mov    -0x10(%rbp),%rax
mov    0x48(%rax),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
mov    %eax,%ecx
mov    -0x8(%rbp),%rax
xor    0x10(%rax),%ecx
mov    %ecx,0x10(%rax)
mov    -0x8(%rbp),%rdi
add    $0x10,%rdi
mov    -0x8(%rbp),%rsi
add    $0x14,%rsi
call   1050 <speckey_inverse@plt>
mov    -0x10(%rbp),%rax
mov    0x44(%rax),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
mov    %eax,%ecx
mov    -0x8(%rbp),%rax
xor    0x14(%rax),%ecx
mov    %ecx,0x14(%rax)
mov    -0x10(%rbp),%rax
mov    0x40(%rax),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
mov    %eax,%ecx
mov    -0x8(%rbp),%rax
xor    0x10(%rax),%ecx
mov    %ecx,0x10(%rax)
mov    -0x8(%rbp),%rdi
add    $0x8,%rdi
mov    -0x8(%rbp),%rsi
add    $0xc,%rsi
call   1050 <speckey_inverse@plt>
mov    -0x10(%rbp),%rax
mov    0x3c(%rax),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
mov    %eax,%ecx
mov    -0x8(%rbp),%rax
xor    0xc(%rax),%ecx
mov    %ecx,0xc(%rax)
mov    -0x10(%rbp),%rax
mov    0x38(%rax),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
mov    %eax,%ecx
mov    -0x8(%rbp),%rax
xor    0x8(%rax),%ecx
mov    %ecx,0x8(%rax)
mov    -0x8(%rbp),%rdi
add    $0x8,%rdi
mov    -0x8(%rbp),%rsi
add    $0xc,%rsi
call   1050 <speckey_inverse@plt>
mov    -0x10(%rbp),%rax
mov    0x34(%rax),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
mov    %eax,%ecx
mov    -0x8(%rbp),%rax
xor    0xc(%rax),%ecx
mov    %ecx,0xc(%rax)
mov    -0x10(%rbp),%rax
mov    0x30(%rax),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
mov    %eax,%ecx
mov    -0x8(%rbp),%rax
xor    0x8(%rax),%ecx
mov    %ecx,0x8(%rax)
mov    -0x8(%rbp),%rdi
add    $0x8,%rdi
mov    -0x8(%rbp),%rsi
add    $0xc,%rsi
call   1050 <speckey_inverse@plt>
mov    -0x10(%rbp),%rax
mov    0x2c(%rax),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
mov    %eax,%ecx
mov    -0x8(%rbp),%rax
xor    0xc(%rax),%ecx
mov    %ecx,0xc(%rax)
mov    -0x10(%rbp),%rax
mov    0x28(%rax),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
mov    %eax,%ecx
mov    -0x8(%rbp),%rax
xor    0x8(%rax),%ecx
mov    %ecx,0x8(%rax)
mov    -0x8(%rbp),%rdi
add    $0x8,%rdi
mov    -0x8(%rbp),%rsi
add    $0xc,%rsi
call   1050 <speckey_inverse@plt>
mov    -0x10(%rbp),%rax
mov    0x24(%rax),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
mov    %eax,%ecx
mov    -0x8(%rbp),%rax
xor    0xc(%rax),%ecx
mov    %ecx,0xc(%rax)
mov    -0x10(%rbp),%rax
mov    0x20(%rax),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
mov    %eax,%ecx
mov    -0x8(%rbp),%rax
xor    0x8(%rax),%ecx
mov    %ecx,0x8(%rax)
mov    -0x8(%rbp),%rdi
mov    -0x8(%rbp),%rsi
add    $0x4,%rsi
call   1050 <speckey_inverse@plt>
mov    -0x10(%rbp),%rax
mov    0x1c(%rax),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
mov    %eax,%ecx
mov    -0x8(%rbp),%rax
xor    0x4(%rax),%ecx
mov    %ecx,0x4(%rax)
mov    -0x10(%rbp),%rax
mov    0x18(%rax),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
mov    %eax,%ecx
mov    -0x8(%rbp),%rax
xor    (%rax),%ecx
mov    %ecx,(%rax)
mov    -0x8(%rbp),%rdi
mov    -0x8(%rbp),%rsi
add    $0x4,%rsi
call   1050 <speckey_inverse@plt>
mov    -0x10(%rbp),%rax
mov    0x14(%rax),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
mov    %eax,%ecx
mov    -0x8(%rbp),%rax
xor    0x4(%rax),%ecx
mov    %ecx,0x4(%rax)
mov    -0x10(%rbp),%rax
mov    0x10(%rax),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
mov    %eax,%ecx
mov    -0x8(%rbp),%rax
xor    (%rax),%ecx
mov    %ecx,(%rax)
mov    -0x8(%rbp),%rdi
mov    -0x8(%rbp),%rsi
add    $0x4,%rsi
call   1050 <speckey_inverse@plt>
mov    -0x10(%rbp),%rax
mov    0xc(%rax),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
mov    %eax,%ecx
mov    -0x8(%rbp),%rax
xor    0x4(%rax),%ecx
mov    %ecx,0x4(%rax)
mov    -0x10(%rbp),%rax
mov    0x8(%rax),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
mov    %eax,%ecx
mov    -0x8(%rbp),%rax
xor    (%rax),%ecx
mov    %ecx,(%rax)
mov    -0x8(%rbp),%rdi
mov    -0x8(%rbp),%rsi
add    $0x4,%rsi
call   1050 <speckey_inverse@plt>
mov    -0x10(%rbp),%rax
mov    0x4(%rax),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
mov    %eax,%ecx
mov    -0x8(%rbp),%rax
xor    0x4(%rax),%ecx
mov    %ecx,0x4(%rax)
mov    -0x10(%rbp),%rax
mov    (%rax),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
mov    %eax,%ecx
mov    -0x8(%rbp),%rax
xor    (%rax),%ecx
mov    %ecx,(%rax)
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<round_f_inverse>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %rsi,%r14
mov    %rdi,%rbx
lea    0x8(%rdi),%rax
mov    %rax,0x8(%rsp)
lea    0xc(%rdi),%rax
mov    %rax,(%rsp)
mov    0x8(%rdi),%r12d
mov    0xc(%rdi),%r13d
mov    %r13d,%ebp
xor    %r12d,%ebp
mov    %ebp,%edi
call   1060 <rot32l8@plt>
mov    %eax,%r15d
mov    %ebp,%edi
call   1030 <rot32r8@plt>
xor    %r15d,%eax
mov    0x8(%rbx),%ecx
xor    %eax,%ecx
xor    0xc(%rbx),%eax
movzwl %cx,%edx
and    $0xffff0000,%ecx
movzwl %ax,%esi
or     %ecx,%esi
and    $0xffff0000,%eax
or     %eax,%edx
xor    (%rbx),%esi
mov    %esi,0x8(%rbx)
lea    0x4(%rbx),%rax
mov    %rax,0x10(%rsp)
xor    0x4(%rbx),%edx
mov    %edx,0xc(%rbx)
mov    %r12d,(%rbx)
mov    %r13d,0x4(%rbx)
lea    0x18(%rbx),%rbp
lea    0x1c(%rbx),%r15
mov    %rbp,%rdi
mov    %r15,%rsi
call   1050 <speckey_inverse@plt>
mov    0x7c(%r14),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
xor    %eax,0x1c(%rbx)
mov    0x78(%r14),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
xor    %eax,0x18(%rbx)
mov    %rbp,%rdi
mov    %r15,%rsi
call   1050 <speckey_inverse@plt>
mov    0x74(%r14),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
xor    %eax,0x1c(%rbx)
mov    0x70(%r14),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
xor    %eax,0x18(%rbx)
mov    %rbp,%rdi
mov    %r15,%rsi
call   1050 <speckey_inverse@plt>
mov    0x6c(%r14),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
xor    %eax,0x1c(%rbx)
mov    0x68(%r14),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
xor    %eax,0x18(%rbx)
mov    %rbp,%rdi
mov    %r15,%rsi
call   1050 <speckey_inverse@plt>
mov    0x64(%r14),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
xor    %eax,0x1c(%rbx)
mov    0x60(%r14),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
xor    %eax,0x18(%rbx)
lea    0x10(%rbx),%rbp
lea    0x14(%rbx),%r15
mov    %rbp,%rdi
mov    %r15,%rsi
call   1050 <speckey_inverse@plt>
mov    0x5c(%r14),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
xor    %eax,0x14(%rbx)
mov    0x58(%r14),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
xor    %eax,0x10(%rbx)
mov    %rbp,%rdi
mov    %r15,%rsi
call   1050 <speckey_inverse@plt>
mov    0x54(%r14),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
xor    %eax,0x14(%rbx)
mov    0x50(%r14),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
xor    %eax,0x10(%rbx)
mov    %rbp,%rdi
mov    %r15,%rsi
call   1050 <speckey_inverse@plt>
mov    0x4c(%r14),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
xor    %eax,0x14(%rbx)
mov    0x48(%r14),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
xor    %eax,0x10(%rbx)
mov    %rbp,%rdi
mov    %r15,%rsi
call   1050 <speckey_inverse@plt>
mov    0x44(%r14),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
xor    %eax,0x14(%rbx)
mov    0x40(%r14),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
xor    %eax,0x10(%rbx)
mov    0x8(%rsp),%rbp
mov    %rbp,%rdi
mov    (%rsp),%r15
mov    %r15,%rsi
call   1050 <speckey_inverse@plt>
mov    0x3c(%r14),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
xor    %eax,0xc(%rbx)
mov    0x38(%r14),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
xor    %eax,0x8(%rbx)
mov    %rbp,%rdi
mov    %r15,%rsi
call   1050 <speckey_inverse@plt>
mov    0x34(%r14),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
xor    %eax,0xc(%rbx)
mov    0x30(%r14),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
xor    %eax,0x8(%rbx)
mov    %rbp,%rdi
mov    %r15,%rsi
call   1050 <speckey_inverse@plt>
mov    0x2c(%r14),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
xor    %eax,0xc(%rbx)
mov    0x28(%r14),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
xor    %eax,0x8(%rbx)
mov    %rbp,%rdi
mov    %r15,%rsi
call   1050 <speckey_inverse@plt>
mov    0x24(%r14),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
xor    %eax,0xc(%rbx)
mov    0x20(%r14),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
xor    %eax,0x8(%rbx)
mov    %rbx,%rdi
mov    0x10(%rsp),%rbp
mov    %rbp,%rsi
call   1050 <speckey_inverse@plt>
mov    0x1c(%r14),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
xor    %eax,0x4(%rbx)
mov    0x18(%r14),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
xor    %eax,(%rbx)
mov    %rbx,%rdi
mov    %rbp,%rsi
call   1050 <speckey_inverse@plt>
mov    0x14(%r14),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
xor    %eax,0x4(%rbx)
mov    0x10(%r14),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
xor    %eax,(%rbx)
mov    %rbx,%rdi
mov    %rbp,%rsi
call   1050 <speckey_inverse@plt>
mov    0xc(%r14),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
xor    %eax,0x4(%rbx)
mov    0x8(%r14),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
xor    %eax,(%rbx)
mov    %rbx,%rdi
mov    %rbp,%rsi
call   1050 <speckey_inverse@plt>
mov    0x4(%r14),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
xor    %eax,0x4(%rbx)
mov    (%r14),%edi
call   1040 <READ_ROUND_KEY_WORD@plt>
xor    %eax,(%rbx)
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @round_f_inverse(i32* %0, i32* %1) {
%3 = alloca i32*
%4 = alloca i32*
%5 = alloca i32
%6 = alloca i32*
%7 = alloca i32
%8 = alloca [2 x i32]
store i32* %0, i32** %3
store i32* %1, i32** %4
%9 = load i32*, i32** %3
store i32* %9, i32** %6
%10 = load i32*, i32** %6
%11 = getelementptr inbounds i32, i32* %10, i64 2
%12 = load i32, i32* %11
%13 = load i32*, i32** %6
%14 = getelementptr inbounds i32, i32* %13, i64 3
%15 = load i32, i32* %14
%16 = xor i32 %12, %15
store i32 %16, i32* %7
%17 = load i32*, i32** %6
%18 = getelementptr inbounds i32, i32* %17, i64 2
%19 = load i32, i32* %18
%20 = getelementptr inbounds [2 x i32], [2 x i32]* %8, i64 0, i64 0
store i32 %19, i32* %20
%21 = load i32*, i32** %6
%22 = getelementptr inbounds i32, i32* %21, i64 3
%23 = load i32, i32* %22
%24 = getelementptr inbounds [2 x i32], [2 x i32]* %8, i64 0, i64 1
store i32 %23, i32* %24
%25 = load i32, i32* %7
%26 = call i32 @rot32l8(i32 %25)
%27 = load i32, i32* %7
%28 = call i32 @rot32r8(i32 %27)
%29 = xor i32 %26, %28
store i32 %29, i32* %7
%30 = load i32, i32* %7
%31 = load i32*, i32** %6
%32 = getelementptr inbounds i32, i32* %31, i64 2
%33 = load i32, i32* %32
%34 = xor i32 %33, %30
store i32 %34, i32* %32
%35 = load i32, i32* %7
%36 = load i32*, i32** %6
%37 = getelementptr inbounds i32, i32* %36, i64 3
%38 = load i32, i32* %37
%39 = xor i32 %38, %35
store i32 %39, i32* %37
%40 = load i32*, i32** %6
%41 = getelementptr inbounds i32, i32* %40, i64 2
%42 = load i32, i32* %41
store i32 %42, i32* %7
%43 = load i32*, i32** %6
%44 = getelementptr inbounds i32, i32* %43, i64 2
%45 = load i32, i32* %44
%46 = and i32 %45, -65536
%47 = load i32*, i32** %6
%48 = getelementptr inbounds i32, i32* %47, i64 3
%49 = load i32, i32* %48
%50 = and i32 %49, 65535
%51 = or i32 %46, %50
%52 = load i32*, i32** %6
%53 = getelementptr inbounds i32, i32* %52, i64 2
store i32 %51, i32* %53
%54 = load i32*, i32** %6
%55 = getelementptr inbounds i32, i32* %54, i64 3
%56 = load i32, i32* %55
%57 = and i32 %56, -65536
%58 = load i32, i32* %7
%59 = and i32 %58, 65535
%60 = or i32 %57, %59
%61 = load i32*, i32** %6
%62 = getelementptr inbounds i32, i32* %61, i64 3
store i32 %60, i32* %62
%63 = load i32*, i32** %6
%64 = getelementptr inbounds i32, i32* %63, i64 0
%65 = load i32, i32* %64
%66 = load i32*, i32** %6
%67 = getelementptr inbounds i32, i32* %66, i64 2
%68 = load i32, i32* %67
%69 = xor i32 %68, %65
store i32 %69, i32* %67
%70 = load i32*, i32** %6
%71 = getelementptr inbounds i32, i32* %70, i64 1
%72 = load i32, i32* %71
%73 = load i32*, i32** %6
%74 = getelementptr inbounds i32, i32* %73, i64 3
%75 = load i32, i32* %74
%76 = xor i32 %75, %72
store i32 %76, i32* %74
%77 = getelementptr inbounds [2 x i32], [2 x i32]* %8, i64 0, i64 0
%78 = load i32, i32* %77
%79 = load i32*, i32** %6
%80 = getelementptr inbounds i32, i32* %79, i64 0
store i32 %78, i32* %80
%81 = getelementptr inbounds [2 x i32], [2 x i32]* %8, i64 0, i64 1
%82 = load i32, i32* %81
%83 = load i32*, i32** %6
%84 = getelementptr inbounds i32, i32* %83, i64 1
store i32 %82, i32* %84
%85 = load i32*, i32** %3
%86 = getelementptr inbounds i32, i32* %85, i64 6
%87 = load i32*, i32** %3
%88 = getelementptr inbounds i32, i32* %87, i64 7
%89 = call i32 @speckey_inverse(i32* %86, i32* %88)
%90 = load i32*, i32** %4
%91 = getelementptr inbounds i32, i32* %90, i64 31
%92 = load i32, i32* %91
%93 = call i32 @READ_ROUND_KEY_WORD(i32 %92)
%94 = load i32*, i32** %3
%95 = getelementptr inbounds i32, i32* %94, i64 7
%96 = load i32, i32* %95
%97 = xor i32 %96, %93
store i32 %97, i32* %95
%98 = load i32*, i32** %4
%99 = getelementptr inbounds i32, i32* %98, i64 30
%100 = load i32, i32* %99
%101 = call i32 @READ_ROUND_KEY_WORD(i32 %100)
%102 = load i32*, i32** %3
%103 = getelementptr inbounds i32, i32* %102, i64 6
%104 = load i32, i32* %103
%105 = xor i32 %104, %101
store i32 %105, i32* %103
%106 = load i32*, i32** %3
%107 = getelementptr inbounds i32, i32* %106, i64 6
%108 = load i32*, i32** %3
%109 = getelementptr inbounds i32, i32* %108, i64 7
%110 = call i32 @speckey_inverse(i32* %107, i32* %109)
%111 = load i32*, i32** %4
%112 = getelementptr inbounds i32, i32* %111, i64 29
%113 = load i32, i32* %112
%114 = call i32 @READ_ROUND_KEY_WORD(i32 %113)
%115 = load i32*, i32** %3
%116 = getelementptr inbounds i32, i32* %115, i64 7
%117 = load i32, i32* %116
%118 = xor i32 %117, %114
store i32 %118, i32* %116
%119 = load i32*, i32** %4
%120 = getelementptr inbounds i32, i32* %119, i64 28
%121 = load i32, i32* %120
%122 = call i32 @READ_ROUND_KEY_WORD(i32 %121)
%123 = load i32*, i32** %3
%124 = getelementptr inbounds i32, i32* %123, i64 6
%125 = load i32, i32* %124
%126 = xor i32 %125, %122
store i32 %126, i32* %124
%127 = load i32*, i32** %3
%128 = getelementptr inbounds i32, i32* %127, i64 6
%129 = load i32*, i32** %3
%130 = getelementptr inbounds i32, i32* %129, i64 7
%131 = call i32 @speckey_inverse(i32* %128, i32* %130)
%132 = load i32*, i32** %4
%133 = getelementptr inbounds i32, i32* %132, i64 27
%134 = load i32, i32* %133
%135 = call i32 @READ_ROUND_KEY_WORD(i32 %134)
%136 = load i32*, i32** %3
%137 = getelementptr inbounds i32, i32* %136, i64 7
%138 = load i32, i32* %137
%139 = xor i32 %138, %135
store i32 %139, i32* %137
%140 = load i32*, i32** %4
%141 = getelementptr inbounds i32, i32* %140, i64 26
%142 = load i32, i32* %141
%143 = call i32 @READ_ROUND_KEY_WORD(i32 %142)
%144 = load i32*, i32** %3
%145 = getelementptr inbounds i32, i32* %144, i64 6
%146 = load i32, i32* %145
%147 = xor i32 %146, %143
store i32 %147, i32* %145
%148 = load i32*, i32** %3
%149 = getelementptr inbounds i32, i32* %148, i64 6
%150 = load i32*, i32** %3
%151 = getelementptr inbounds i32, i32* %150, i64 7
%152 = call i32 @speckey_inverse(i32* %149, i32* %151)
%153 = load i32*, i32** %4
%154 = getelementptr inbounds i32, i32* %153, i64 25
%155 = load i32, i32* %154
%156 = call i32 @READ_ROUND_KEY_WORD(i32 %155)
%157 = load i32*, i32** %3
%158 = getelementptr inbounds i32, i32* %157, i64 7
%159 = load i32, i32* %158
%160 = xor i32 %159, %156
store i32 %160, i32* %158
%161 = load i32*, i32** %4
%162 = getelementptr inbounds i32, i32* %161, i64 24
%163 = load i32, i32* %162
%164 = call i32 @READ_ROUND_KEY_WORD(i32 %163)
%165 = load i32*, i32** %3
%166 = getelementptr inbounds i32, i32* %165, i64 6
%167 = load i32, i32* %166
%168 = xor i32 %167, %164
store i32 %168, i32* %166
%169 = load i32*, i32** %3
%170 = getelementptr inbounds i32, i32* %169, i64 4
%171 = load i32*, i32** %3
%172 = getelementptr inbounds i32, i32* %171, i64 5
%173 = call i32 @speckey_inverse(i32* %170, i32* %172)
%174 = load i32*, i32** %4
%175 = getelementptr inbounds i32, i32* %174, i64 23
%176 = load i32, i32* %175
%177 = call i32 @READ_ROUND_KEY_WORD(i32 %176)
%178 = load i32*, i32** %3
%179 = getelementptr inbounds i32, i32* %178, i64 5
%180 = load i32, i32* %179
%181 = xor i32 %180, %177
store i32 %181, i32* %179
%182 = load i32*, i32** %4
%183 = getelementptr inbounds i32, i32* %182, i64 22
%184 = load i32, i32* %183
%185 = call i32 @READ_ROUND_KEY_WORD(i32 %184)
%186 = load i32*, i32** %3
%187 = getelementptr inbounds i32, i32* %186, i64 4
%188 = load i32, i32* %187
%189 = xor i32 %188, %185
store i32 %189, i32* %187
%190 = load i32*, i32** %3
%191 = getelementptr inbounds i32, i32* %190, i64 4
%192 = load i32*, i32** %3
%193 = getelementptr inbounds i32, i32* %192, i64 5
%194 = call i32 @speckey_inverse(i32* %191, i32* %193)
%195 = load i32*, i32** %4
%196 = getelementptr inbounds i32, i32* %195, i64 21
%197 = load i32, i32* %196
%198 = call i32 @READ_ROUND_KEY_WORD(i32 %197)
%199 = load i32*, i32** %3
%200 = getelementptr inbounds i32, i32* %199, i64 5
%201 = load i32, i32* %200
%202 = xor i32 %201, %198
store i32 %202, i32* %200
%203 = load i32*, i32** %4
%204 = getelementptr inbounds i32, i32* %203, i64 20
%205 = load i32, i32* %204
%206 = call i32 @READ_ROUND_KEY_WORD(i32 %205)
%207 = load i32*, i32** %3
%208 = getelementptr inbounds i32, i32* %207, i64 4
%209 = load i32, i32* %208
%210 = xor i32 %209, %206
store i32 %210, i32* %208
%211 = load i32*, i32** %3
%212 = getelementptr inbounds i32, i32* %211, i64 4
%213 = load i32*, i32** %3
%214 = getelementptr inbounds i32, i32* %213, i64 5
%215 = call i32 @speckey_inverse(i32* %212, i32* %214)
%216 = load i32*, i32** %4
%217 = getelementptr inbounds i32, i32* %216, i64 19
%218 = load i32, i32* %217
%219 = call i32 @READ_ROUND_KEY_WORD(i32 %218)
%220 = load i32*, i32** %3
%221 = getelementptr inbounds i32, i32* %220, i64 5
%222 = load i32, i32* %221
%223 = xor i32 %222, %219
store i32 %223, i32* %221
%224 = load i32*, i32** %4
%225 = getelementptr inbounds i32, i32* %224, i64 18
%226 = load i32, i32* %225
%227 = call i32 @READ_ROUND_KEY_WORD(i32 %226)
%228 = load i32*, i32** %3
%229 = getelementptr inbounds i32, i32* %228, i64 4
%230 = load i32, i32* %229
%231 = xor i32 %230, %227
store i32 %231, i32* %229
%232 = load i32*, i32** %3
%233 = getelementptr inbounds i32, i32* %232, i64 4
%234 = load i32*, i32** %3
%235 = getelementptr inbounds i32, i32* %234, i64 5
%236 = call i32 @speckey_inverse(i32* %233, i32* %235)
%237 = load i32*, i32** %4
%238 = getelementptr inbounds i32, i32* %237, i64 17
%239 = load i32, i32* %238
%240 = call i32 @READ_ROUND_KEY_WORD(i32 %239)
%241 = load i32*, i32** %3
%242 = getelementptr inbounds i32, i32* %241, i64 5
%243 = load i32, i32* %242
%244 = xor i32 %243, %240
store i32 %244, i32* %242
%245 = load i32*, i32** %4
%246 = getelementptr inbounds i32, i32* %245, i64 16
%247 = load i32, i32* %246
%248 = call i32 @READ_ROUND_KEY_WORD(i32 %247)
%249 = load i32*, i32** %3
%250 = getelementptr inbounds i32, i32* %249, i64 4
%251 = load i32, i32* %250
%252 = xor i32 %251, %248
store i32 %252, i32* %250
%253 = load i32*, i32** %3
%254 = getelementptr inbounds i32, i32* %253, i64 2
%255 = load i32*, i32** %3
%256 = getelementptr inbounds i32, i32* %255, i64 3
%257 = call i32 @speckey_inverse(i32* %254, i32* %256)
%258 = load i32*, i32** %4
%259 = getelementptr inbounds i32, i32* %258, i64 15
%260 = load i32, i32* %259
%261 = call i32 @READ_ROUND_KEY_WORD(i32 %260)
%262 = load i32*, i32** %3
%263 = getelementptr inbounds i32, i32* %262, i64 3
%264 = load i32, i32* %263
%265 = xor i32 %264, %261
store i32 %265, i32* %263
%266 = load i32*, i32** %4
%267 = getelementptr inbounds i32, i32* %266, i64 14
%268 = load i32, i32* %267
%269 = call i32 @READ_ROUND_KEY_WORD(i32 %268)
%270 = load i32*, i32** %3
%271 = getelementptr inbounds i32, i32* %270, i64 2
%272 = load i32, i32* %271
%273 = xor i32 %272, %269
store i32 %273, i32* %271
%274 = load i32*, i32** %3
%275 = getelementptr inbounds i32, i32* %274, i64 2
%276 = load i32*, i32** %3
%277 = getelementptr inbounds i32, i32* %276, i64 3
%278 = call i32 @speckey_inverse(i32* %275, i32* %277)
%279 = load i32*, i32** %4
%280 = getelementptr inbounds i32, i32* %279, i64 13
%281 = load i32, i32* %280
%282 = call i32 @READ_ROUND_KEY_WORD(i32 %281)
%283 = load i32*, i32** %3
%284 = getelementptr inbounds i32, i32* %283, i64 3
%285 = load i32, i32* %284
%286 = xor i32 %285, %282
store i32 %286, i32* %284
%287 = load i32*, i32** %4
%288 = getelementptr inbounds i32, i32* %287, i64 12
%289 = load i32, i32* %288
%290 = call i32 @READ_ROUND_KEY_WORD(i32 %289)
%291 = load i32*, i32** %3
%292 = getelementptr inbounds i32, i32* %291, i64 2
%293 = load i32, i32* %292
%294 = xor i32 %293, %290
store i32 %294, i32* %292
%295 = load i32*, i32** %3
%296 = getelementptr inbounds i32, i32* %295, i64 2
%297 = load i32*, i32** %3
%298 = getelementptr inbounds i32, i32* %297, i64 3
%299 = call i32 @speckey_inverse(i32* %296, i32* %298)
%300 = load i32*, i32** %4
%301 = getelementptr inbounds i32, i32* %300, i64 11
%302 = load i32, i32* %301
%303 = call i32 @READ_ROUND_KEY_WORD(i32 %302)
%304 = load i32*, i32** %3
%305 = getelementptr inbounds i32, i32* %304, i64 3
%306 = load i32, i32* %305
%307 = xor i32 %306, %303
store i32 %307, i32* %305
%308 = load i32*, i32** %4
%309 = getelementptr inbounds i32, i32* %308, i64 10
%310 = load i32, i32* %309
%311 = call i32 @READ_ROUND_KEY_WORD(i32 %310)
%312 = load i32*, i32** %3
%313 = getelementptr inbounds i32, i32* %312, i64 2
%314 = load i32, i32* %313
%315 = xor i32 %314, %311
store i32 %315, i32* %313
%316 = load i32*, i32** %3
%317 = getelementptr inbounds i32, i32* %316, i64 2
%318 = load i32*, i32** %3
%319 = getelementptr inbounds i32, i32* %318, i64 3
%320 = call i32 @speckey_inverse(i32* %317, i32* %319)
%321 = load i32*, i32** %4
%322 = getelementptr inbounds i32, i32* %321, i64 9
%323 = load i32, i32* %322
%324 = call i32 @READ_ROUND_KEY_WORD(i32 %323)
%325 = load i32*, i32** %3
%326 = getelementptr inbounds i32, i32* %325, i64 3
%327 = load i32, i32* %326
%328 = xor i32 %327, %324
store i32 %328, i32* %326
%329 = load i32*, i32** %4
%330 = getelementptr inbounds i32, i32* %329, i64 8
%331 = load i32, i32* %330
%332 = call i32 @READ_ROUND_KEY_WORD(i32 %331)
%333 = load i32*, i32** %3
%334 = getelementptr inbounds i32, i32* %333, i64 2
%335 = load i32, i32* %334
%336 = xor i32 %335, %332
store i32 %336, i32* %334
%337 = load i32*, i32** %3
%338 = getelementptr inbounds i32, i32* %337, i64 0
%339 = load i32*, i32** %3
%340 = getelementptr inbounds i32, i32* %339, i64 1
%341 = call i32 @speckey_inverse(i32* %338, i32* %340)
%342 = load i32*, i32** %4
%343 = getelementptr inbounds i32, i32* %342, i64 7
%344 = load i32, i32* %343
%345 = call i32 @READ_ROUND_KEY_WORD(i32 %344)
%346 = load i32*, i32** %3
%347 = getelementptr inbounds i32, i32* %346, i64 1
%348 = load i32, i32* %347
%349 = xor i32 %348, %345
store i32 %349, i32* %347
%350 = load i32*, i32** %4
%351 = getelementptr inbounds i32, i32* %350, i64 6
%352 = load i32, i32* %351
%353 = call i32 @READ_ROUND_KEY_WORD(i32 %352)
%354 = load i32*, i32** %3
%355 = getelementptr inbounds i32, i32* %354, i64 0
%356 = load i32, i32* %355
%357 = xor i32 %356, %353
store i32 %357, i32* %355
%358 = load i32*, i32** %3
%359 = getelementptr inbounds i32, i32* %358, i64 0
%360 = load i32*, i32** %3
%361 = getelementptr inbounds i32, i32* %360, i64 1
%362 = call i32 @speckey_inverse(i32* %359, i32* %361)
%363 = load i32*, i32** %4
%364 = getelementptr inbounds i32, i32* %363, i64 5
%365 = load i32, i32* %364
%366 = call i32 @READ_ROUND_KEY_WORD(i32 %365)
%367 = load i32*, i32** %3
%368 = getelementptr inbounds i32, i32* %367, i64 1
%369 = load i32, i32* %368
%370 = xor i32 %369, %366
store i32 %370, i32* %368
%371 = load i32*, i32** %4
%372 = getelementptr inbounds i32, i32* %371, i64 4
%373 = load i32, i32* %372
%374 = call i32 @READ_ROUND_KEY_WORD(i32 %373)
%375 = load i32*, i32** %3
%376 = getelementptr inbounds i32, i32* %375, i64 0
%377 = load i32, i32* %376
%378 = xor i32 %377, %374
store i32 %378, i32* %376
%379 = load i32*, i32** %3
%380 = getelementptr inbounds i32, i32* %379, i64 0
%381 = load i32*, i32** %3
%382 = getelementptr inbounds i32, i32* %381, i64 1
%383 = call i32 @speckey_inverse(i32* %380, i32* %382)
%384 = load i32*, i32** %4
%385 = getelementptr inbounds i32, i32* %384, i64 3
%386 = load i32, i32* %385
%387 = call i32 @READ_ROUND_KEY_WORD(i32 %386)
%388 = load i32*, i32** %3
%389 = getelementptr inbounds i32, i32* %388, i64 1
%390 = load i32, i32* %389
%391 = xor i32 %390, %387
store i32 %391, i32* %389
%392 = load i32*, i32** %4
%393 = getelementptr inbounds i32, i32* %392, i64 2
%394 = load i32, i32* %393
%395 = call i32 @READ_ROUND_KEY_WORD(i32 %394)
%396 = load i32*, i32** %3
%397 = getelementptr inbounds i32, i32* %396, i64 0
%398 = load i32, i32* %397
%399 = xor i32 %398, %395
store i32 %399, i32* %397
%400 = load i32*, i32** %3
%401 = getelementptr inbounds i32, i32* %400, i64 0
%402 = load i32*, i32** %3
%403 = getelementptr inbounds i32, i32* %402, i64 1
%404 = call i32 @speckey_inverse(i32* %401, i32* %403)
%405 = load i32*, i32** %4
%406 = getelementptr inbounds i32, i32* %405, i64 1
%407 = load i32, i32* %406
%408 = call i32 @READ_ROUND_KEY_WORD(i32 %407)
%409 = load i32*, i32** %3
%410 = getelementptr inbounds i32, i32* %409, i64 1
%411 = load i32, i32* %410
%412 = xor i32 %411, %408
store i32 %412, i32* %410
%413 = load i32*, i32** %4
%414 = getelementptr inbounds i32, i32* %413, i64 0
%415 = load i32, i32* %414
%416 = call i32 @READ_ROUND_KEY_WORD(i32 %415)
%417 = load i32*, i32** %3
%418 = getelementptr inbounds i32, i32* %417, i64 0
%419 = load i32, i32* %418
%420 = xor i32 %419, %416
store i32 %420, i32* %418
ret void
}

LLVM IR (-O2):
define void @round_f_inverse(i32* %0, i32* %1) {
%3 = getelementptr inbounds i32, i32* %0, i64 2
%4 = load i32, i32* %3
%5 = getelementptr inbounds i32, i32* %0, i64 3
%6 = load i32, i32* %5
%7 = xor i32 %6, %4
%8 = tail call i32 @rot32l8(i32 %7)
%9 = tail call i32 @rot32r8(i32 %7)
%10 = xor i32 %9, %8
%11 = load i32, i32* %3
%12 = xor i32 %11, %10
%13 = load i32, i32* %5
%14 = xor i32 %13, %10
%15 = and i32 %12, -65536
%16 = and i32 %14, 65535
%17 = or i32 %16, %15
%18 = and i32 %14, -65536
%19 = and i32 %12, 65535
%20 = or i32 %18, %19
%21 = load i32, i32* %0
%22 = xor i32 %21, %17
store i32 %22, i32* %3
%23 = getelementptr inbounds i32, i32* %0, i64 1
%24 = load i32, i32* %23
%25 = xor i32 %24, %20
store i32 %25, i32* %5
store i32 %4, i32* %0
store i32 %6, i32* %23
%26 = getelementptr inbounds i32, i32* %0, i64 6
%27 = getelementptr inbounds i32, i32* %0, i64 7
%28 = tail call i32 @speckey_inverse(i32* %26, i32* %27)
%29 = getelementptr inbounds i32, i32* %1, i64 31
%30 = load i32, i32* %29
%31 = tail call i32 @READ_ROUND_KEY_WORD(i32 %30)
%32 = load i32, i32* %27
%33 = xor i32 %32, %31
store i32 %33, i32* %27
%34 = getelementptr inbounds i32, i32* %1, i64 30
%35 = load i32, i32* %34
%36 = tail call i32 @READ_ROUND_KEY_WORD(i32 %35)
%37 = load i32, i32* %26
%38 = xor i32 %37, %36
store i32 %38, i32* %26
%39 = tail call i32 @speckey_inverse(i32* %26, i32* %27)
%40 = getelementptr inbounds i32, i32* %1, i64 29
%41 = load i32, i32* %40
%42 = tail call i32 @READ_ROUND_KEY_WORD(i32 %41)
%43 = load i32, i32* %27
%44 = xor i32 %43, %42
store i32 %44, i32* %27
%45 = getelementptr inbounds i32, i32* %1, i64 28
%46 = load i32, i32* %45
%47 = tail call i32 @READ_ROUND_KEY_WORD(i32 %46)
%48 = load i32, i32* %26
%49 = xor i32 %48, %47
store i32 %49, i32* %26
%50 = tail call i32 @speckey_inverse(i32* %26, i32* %27)
%51 = getelementptr inbounds i32, i32* %1, i64 27
%52 = load i32, i32* %51
%53 = tail call i32 @READ_ROUND_KEY_WORD(i32 %52)
%54 = load i32, i32* %27
%55 = xor i32 %54, %53
store i32 %55, i32* %27
%56 = getelementptr inbounds i32, i32* %1, i64 26
%57 = load i32, i32* %56
%58 = tail call i32 @READ_ROUND_KEY_WORD(i32 %57)
%59 = load i32, i32* %26
%60 = xor i32 %59, %58
store i32 %60, i32* %26
%61 = tail call i32 @speckey_inverse(i32* %26, i32* %27)
%62 = getelementptr inbounds i32, i32* %1, i64 25
%63 = load i32, i32* %62
%64 = tail call i32 @READ_ROUND_KEY_WORD(i32 %63)
%65 = load i32, i32* %27
%66 = xor i32 %65, %64
store i32 %66, i32* %27
%67 = getelementptr inbounds i32, i32* %1, i64 24
%68 = load i32, i32* %67
%69 = tail call i32 @READ_ROUND_KEY_WORD(i32 %68)
%70 = load i32, i32* %26
%71 = xor i32 %70, %69
store i32 %71, i32* %26
%72 = getelementptr inbounds i32, i32* %0, i64 4
%73 = getelementptr inbounds i32, i32* %0, i64 5
%74 = tail call i32 @speckey_inverse(i32* %72, i32* %73)
%75 = getelementptr inbounds i32, i32* %1, i64 23
%76 = load i32, i32* %75
%77 = tail call i32 @READ_ROUND_KEY_WORD(i32 %76)
%78 = load i32, i32* %73
%79 = xor i32 %78, %77
store i32 %79, i32* %73
%80 = getelementptr inbounds i32, i32* %1, i64 22
%81 = load i32, i32* %80
%82 = tail call i32 @READ_ROUND_KEY_WORD(i32 %81)
%83 = load i32, i32* %72
%84 = xor i32 %83, %82
store i32 %84, i32* %72
%85 = tail call i32 @speckey_inverse(i32* %72, i32* %73)
%86 = getelementptr inbounds i32, i32* %1, i64 21
%87 = load i32, i32* %86
%88 = tail call i32 @READ_ROUND_KEY_WORD(i32 %87)
%89 = load i32, i32* %73
%90 = xor i32 %89, %88
store i32 %90, i32* %73
%91 = getelementptr inbounds i32, i32* %1, i64 20
%92 = load i32, i32* %91
%93 = tail call i32 @READ_ROUND_KEY_WORD(i32 %92)
%94 = load i32, i32* %72
%95 = xor i32 %94, %93
store i32 %95, i32* %72
%96 = tail call i32 @speckey_inverse(i32* %72, i32* %73)
%97 = getelementptr inbounds i32, i32* %1, i64 19
%98 = load i32, i32* %97
%99 = tail call i32 @READ_ROUND_KEY_WORD(i32 %98)
%100 = load i32, i32* %73
%101 = xor i32 %100, %99
store i32 %101, i32* %73
%102 = getelementptr inbounds i32, i32* %1, i64 18
%103 = load i32, i32* %102
%104 = tail call i32 @READ_ROUND_KEY_WORD(i32 %103)
%105 = load i32, i32* %72
%106 = xor i32 %105, %104
store i32 %106, i32* %72
%107 = tail call i32 @speckey_inverse(i32* %72, i32* %73)
%108 = getelementptr inbounds i32, i32* %1, i64 17
%109 = load i32, i32* %108
%110 = tail call i32 @READ_ROUND_KEY_WORD(i32 %109)
%111 = load i32, i32* %73
%112 = xor i32 %111, %110
store i32 %112, i32* %73
%113 = getelementptr inbounds i32, i32* %1, i64 16
%114 = load i32, i32* %113
%115 = tail call i32 @READ_ROUND_KEY_WORD(i32 %114)
%116 = load i32, i32* %72
%117 = xor i32 %116, %115
store i32 %117, i32* %72
%118 = tail call i32 @speckey_inverse(i32* %3, i32* %5)
%119 = getelementptr inbounds i32, i32* %1, i64 15
%120 = load i32, i32* %119
%121 = tail call i32 @READ_ROUND_KEY_WORD(i32 %120)
%122 = load i32, i32* %5
%123 = xor i32 %122, %121
store i32 %123, i32* %5
%124 = getelementptr inbounds i32, i32* %1, i64 14
%125 = load i32, i32* %124
%126 = tail call i32 @READ_ROUND_KEY_WORD(i32 %125)
%127 = load i32, i32* %3
%128 = xor i32 %127, %126
store i32 %128, i32* %3
%129 = tail call i32 @speckey_inverse(i32* %3, i32* %5)
%130 = getelementptr inbounds i32, i32* %1, i64 13
%131 = load i32, i32* %130
%132 = tail call i32 @READ_ROUND_KEY_WORD(i32 %131)
%133 = load i32, i32* %5
%134 = xor i32 %133, %132
store i32 %134, i32* %5
%135 = getelementptr inbounds i32, i32* %1, i64 12
%136 = load i32, i32* %135
%137 = tail call i32 @READ_ROUND_KEY_WORD(i32 %136)
%138 = load i32, i32* %3
%139 = xor i32 %138, %137
store i32 %139, i32* %3
%140 = tail call i32 @speckey_inverse(i32* %3, i32* %5)
%141 = getelementptr inbounds i32, i32* %1, i64 11
%142 = load i32, i32* %141
%143 = tail call i32 @READ_ROUND_KEY_WORD(i32 %142)
%144 = load i32, i32* %5
%145 = xor i32 %144, %143
store i32 %145, i32* %5
%146 = getelementptr inbounds i32, i32* %1, i64 10
%147 = load i32, i32* %146
%148 = tail call i32 @READ_ROUND_KEY_WORD(i32 %147)
%149 = load i32, i32* %3
%150 = xor i32 %149, %148
store i32 %150, i32* %3
%151 = tail call i32 @speckey_inverse(i32* %3, i32* %5)
%152 = getelementptr inbounds i32, i32* %1, i64 9
%153 = load i32, i32* %152
%154 = tail call i32 @READ_ROUND_KEY_WORD(i32 %153)
%155 = load i32, i32* %5
%156 = xor i32 %155, %154
store i32 %156, i32* %5
%157 = getelementptr inbounds i32, i32* %1, i64 8
%158 = load i32, i32* %157
%159 = tail call i32 @READ_ROUND_KEY_WORD(i32 %158)
%160 = load i32, i32* %3
%161 = xor i32 %160, %159
store i32 %161, i32* %3
%162 = tail call i32 @speckey_inverse(i32* %0, i32* %23)
%163 = getelementptr inbounds i32, i32* %1, i64 7
%164 = load i32, i32* %163
%165 = tail call i32 @READ_ROUND_KEY_WORD(i32 %164)
%166 = load i32, i32* %23
%167 = xor i32 %166, %165
store i32 %167, i32* %23
%168 = getelementptr inbounds i32, i32* %1, i64 6
%169 = load i32, i32* %168
%170 = tail call i32 @READ_ROUND_KEY_WORD(i32 %169)
%171 = load i32, i32* %0
%172 = xor i32 %171, %170
store i32 %172, i32* %0
%173 = tail call i32 @speckey_inverse(i32* %0, i32* %23)
%174 = getelementptr inbounds i32, i32* %1, i64 5
%175 = load i32, i32* %174
%176 = tail call i32 @READ_ROUND_KEY_WORD(i32 %175)
%177 = load i32, i32* %23
%178 = xor i32 %177, %176
store i32 %178, i32* %23
%179 = getelementptr inbounds i32, i32* %1, i64 4
%180 = load i32, i32* %179
%181 = tail call i32 @READ_ROUND_KEY_WORD(i32 %180)
%182 = load i32, i32* %0
%183 = xor i32 %182, %181
store i32 %183, i32* %0
%184 = tail call i32 @speckey_inverse(i32* %0, i32* %23)
%185 = getelementptr inbounds i32, i32* %1, i64 3
%186 = load i32, i32* %185
%187 = tail call i32 @READ_ROUND_KEY_WORD(i32 %186)
%188 = load i32, i32* %23
%189 = xor i32 %188, %187
store i32 %189, i32* %23
%190 = getelementptr inbounds i32, i32* %1, i64 2
%191 = load i32, i32* %190
%192 = tail call i32 @READ_ROUND_KEY_WORD(i32 %191)
%193 = load i32, i32* %0
%194 = xor i32 %193, %192
store i32 %194, i32* %0
%195 = tail call i32 @speckey_inverse(i32* %0, i32* %23)
%196 = getelementptr inbounds i32, i32* %1, i64 1
%197 = load i32, i32* %196
%198 = tail call i32 @READ_ROUND_KEY_WORD(i32 %197)
%199 = load i32, i32* %23
%200 = xor i32 %199, %198
store i32 %200, i32* %23
%201 = load i32, i32* %1
%202 = tail call i32 @READ_ROUND_KEY_WORD(i32 %201)
%203 = load i32, i32* %0
%204 = xor i32 %203, %202
store i32 %204, i32* %0
ret void
}