#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*/ gen_big_rk(unsigned int);
int /*<<< orphan*/ printf(char *, ...);
void gen_big_unrolled(void) {
  unsigned u, v;
  printf("\tsph_u32 p0, p1, p2, p3, p4, p5, p6, p7;\n");
  printf("\tsph_u32 p8, p9, pA, pB, pC, pD, pE, pF;\n");
  printf("\tsph_u32 x0, x1, x2, x3;\n");
  printf("\tsph_u32 rk00, rk01, rk02, rk03, rk04, rk05, rk06, rk07;\n");
  printf("\tsph_u32 rk08, rk09, rk0A, rk0B, rk0C, rk0D, rk0E, rk0F;\n");
  printf("\tsph_u32 rk10, rk11, rk12, rk13, rk14, rk15, rk16, rk17;\n");
  printf("\tsph_u32 rk18, rk19, rk1A, rk1B, rk1C, rk1D, rk1E, rk1F;\n");
  printf("\n");
  for (u = 0; u < 16; u++)
    printf("\tp%X = sc->h[0x%X];\n", u, u);
  for (u = 0; u < 14; u++) {
    unsigned x;
    unsigned po;
    unsigned w;
    printf("\t/* round %u */\n", u);
    x = 32 * u;
    po = 4 * ((-u) & 3);
    for (w = 0; w < 4; w++) {
      for (v = 0; v < 4; v++) {
        gen_big_rk(x + v);
        if (w == 0) {
          printf("\tx%u = p%X ^ rk%02X;\n", v, (po + 4 + v) & 15, (x + v) & 31);
        } else {
          printf("\tx%u ^= rk%02X;\n", v, (x + v) & 31);
        }
      }
      printf("\tAES_ROUND_NOKEY(x0, x1, x2, x3);\n");
      x += 4;
    }
    for (v = 0; v < 4; v++)
      printf("\tp%X ^= x%u;\n", (po + v) & 15, v);
    for (w = 0; w < 4; w++) {
      for (v = 0; v < 4; v++) {
        gen_big_rk(x + v);
        if (w == 0) {
          printf("\tx%u = p%X ^ rk%02X;\n", v, (po + 12 + v) & 15,
                 (x + v) & 31);
        } else {
          printf("\tx%u ^= rk%02X;\n", v, (x + v) & 31);
        }
      }
      printf("\tAES_ROUND_NOKEY(x0, x1, x2, x3);\n");
      x += 4;
    }
    for (v = 0; v < 4; v++)
      printf("\tp%X ^= x%u;\n", (po + v + 8) & 15, v);
  }
  for (u = 0; u < 16; u++)
    printf("\tsc->h[0x%X] ^= p%X;\n", u, (u + 8) & 15);
}


x86 assembly (clang, -O0):
<gen_big_unrolled>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
lea    0xed1(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xeed(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xf09(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xf15(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xf41(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xf6d(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xf99(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xfe9(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x0,-0x4(%rbp)
cmpl   $0x10,-0x4(%rbp)
jae    11cb <gen_big_unrolled+0xab>
mov    -0x4(%rbp),%esi
mov    -0x4(%rbp),%edx
lea    0xfa0(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    119f <gen_big_unrolled+0x7f>
movl   $0x0,-0x4(%rbp)
cmpl   $0xe,-0x4(%rbp)
jae    13f4 <gen_big_unrolled+0x2d4>
mov    -0x4(%rbp),%esi
lea    0xf85(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x4(%rbp),%eax
shl    $0x5,%eax
mov    %eax,-0xc(%rbp)
xor    %eax,%eax
sub    -0x4(%rbp),%eax
and    $0x3,%eax
shl    $0x2,%eax
mov    %eax,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
cmpl   $0x4,-0x14(%rbp)
jae    12b8 <gen_big_unrolled+0x198>
movl   $0x0,-0x8(%rbp)
cmpl   $0x4,-0x8(%rbp)
jae    1293 <gen_big_unrolled+0x173>
mov    -0xc(%rbp),%edi
add    -0x8(%rbp),%edi
call   1040 <gen_big_rk@plt>
cmpl   $0x0,-0x14(%rbp)
jne    1266 <gen_big_unrolled+0x146>
mov    -0x8(%rbp),%esi
mov    -0x10(%rbp),%edx
add    $0x4,%edx
add    -0x8(%rbp),%edx
and    $0xf,%edx
mov    -0xc(%rbp),%ecx
add    -0x8(%rbp),%ecx
and    $0x1f,%ecx
lea    0xf22(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    1280 <gen_big_unrolled+0x160>
mov    -0x8(%rbp),%esi
mov    -0xc(%rbp),%edx
add    -0x8(%rbp),%edx
and    $0x1f,%edx
lea    0xf19(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    1285 <gen_big_unrolled+0x165>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    121c <gen_big_unrolled+0xfc>
lea    0xf09(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0xc(%rbp),%eax
add    $0x4,%eax
mov    %eax,-0xc(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    120b <gen_big_unrolled+0xeb>
movl   $0x0,-0x8(%rbp)
cmpl   $0x4,-0x8(%rbp)
jae    12f1 <gen_big_unrolled+0x1d1>
mov    -0x10(%rbp),%esi
add    -0x8(%rbp),%esi
and    $0xf,%esi
mov    -0x8(%rbp),%edx
lea    0xeea(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    12bf <gen_big_unrolled+0x19f>
movl   $0x0,-0x14(%rbp)
cmpl   $0x4,-0x14(%rbp)
jae    13a5 <gen_big_unrolled+0x285>
movl   $0x0,-0x8(%rbp)
cmpl   $0x4,-0x8(%rbp)
jae    1380 <gen_big_unrolled+0x260>
mov    -0xc(%rbp),%edi
add    -0x8(%rbp),%edi
call   1040 <gen_big_rk@plt>
cmpl   $0x0,-0x14(%rbp)
jne    1353 <gen_big_unrolled+0x233>
mov    -0x8(%rbp),%esi
mov    -0x10(%rbp),%edx
add    $0xc,%edx
add    -0x8(%rbp),%edx
and    $0xf,%edx
mov    -0xc(%rbp),%ecx
add    -0x8(%rbp),%ecx
and    $0x1f,%ecx
lea    0xe35(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    136d <gen_big_unrolled+0x24d>
mov    -0x8(%rbp),%esi
mov    -0xc(%rbp),%edx
add    -0x8(%rbp),%edx
and    $0x1f,%edx
lea    0xe2c(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    1372 <gen_big_unrolled+0x252>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    1309 <gen_big_unrolled+0x1e9>
lea    0xe1c(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0xc(%rbp),%eax
add    $0x4,%eax
mov    %eax,-0xc(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    12f8 <gen_big_unrolled+0x1d8>
movl   $0x0,-0x8(%rbp)
cmpl   $0x4,-0x8(%rbp)
jae    13e1 <gen_big_unrolled+0x2c1>
mov    -0x10(%rbp),%esi
add    -0x8(%rbp),%esi
add    $0x8,%esi
and    $0xf,%esi
mov    -0x8(%rbp),%edx
lea    0xdfa(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    13ac <gen_big_unrolled+0x28c>
jmp    13e6 <gen_big_unrolled+0x2c6>
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    11d2 <gen_big_unrolled+0xb2>
movl   $0x0,-0x4(%rbp)
cmpl   $0x10,-0x4(%rbp)
jae    142d <gen_big_unrolled+0x30d>
mov    -0x4(%rbp),%esi
mov    -0x4(%rbp),%edx
add    $0x8,%edx
and    $0xf,%edx
lea    0xdbc(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    13fb <gen_big_unrolled+0x2db>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<gen_big_unrolled>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
lea    0xf1f(%rip),%rdi
call   1040 <puts@plt>
lea    0xf3c(%rip),%rdi
call   1040 <puts@plt>
lea    0xf59(%rip),%rdi
call   1040 <puts@plt>
lea    0xf66(%rip),%rdi
call   1040 <puts@plt>
lea    0xf93(%rip),%rdi
call   1040 <puts@plt>
lea    0xfc0(%rip),%rdi
call   1040 <puts@plt>
lea    0xfed(%rip),%rdi
call   1040 <puts@plt>
mov    $0xa,%edi
call   1030 <putchar@plt>
lea    0xe50(%rip),%rbx
mov    %rbx,%rdi
xor    %esi,%esi
xor    %edx,%edx
xor    %eax,%eax
call   1050 <printf@plt>
mov    %rbx,%rdi
mov    $0x1,%esi
mov    $0x1,%edx
xor    %eax,%eax
call   1050 <printf@plt>
mov    %rbx,%rdi
mov    $0x2,%esi
mov    $0x2,%edx
xor    %eax,%eax
call   1050 <printf@plt>
mov    %rbx,%rdi
mov    $0x3,%esi
mov    $0x3,%edx
xor    %eax,%eax
call   1050 <printf@plt>
mov    %rbx,%rdi
mov    $0x4,%esi
mov    $0x4,%edx
xor    %eax,%eax
call   1050 <printf@plt>
mov    %rbx,%rdi
mov    $0x5,%esi
mov    $0x5,%edx
xor    %eax,%eax
call   1050 <printf@plt>
mov    %rbx,%rdi
mov    $0x6,%esi
mov    $0x6,%edx
xor    %eax,%eax
call   1050 <printf@plt>
mov    %rbx,%rdi
mov    $0x7,%esi
mov    $0x7,%edx
xor    %eax,%eax
call   1050 <printf@plt>
mov    %rbx,%rdi
mov    $0x8,%esi
mov    $0x8,%edx
xor    %eax,%eax
call   1050 <printf@plt>
mov    %rbx,%rdi
mov    $0x9,%esi
mov    $0x9,%edx
xor    %eax,%eax
call   1050 <printf@plt>
mov    %rbx,%rdi
mov    $0xa,%esi
mov    $0xa,%edx
xor    %eax,%eax
call   1050 <printf@plt>
mov    %rbx,%rdi
mov    $0xb,%esi
mov    $0xb,%edx
xor    %eax,%eax
call   1050 <printf@plt>
mov    %rbx,%rdi
mov    $0xc,%esi
mov    $0xc,%edx
xor    %eax,%eax
call   1050 <printf@plt>
mov    %rbx,%rdi
mov    $0xd,%esi
mov    $0xd,%edx
xor    %eax,%eax
call   1050 <printf@plt>
mov    %rbx,%rdi
mov    $0xe,%esi
mov    $0xe,%edx
xor    %eax,%eax
call   1050 <printf@plt>
mov    %rbx,%rdi
mov    $0xf,%esi
mov    $0xf,%edx
xor    %eax,%eax
call   1050 <printf@plt>
mov    $0x1f,%ebx
xor    %r13d,%r13d
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    %eax,0x4(%rsp)
lea    0xd0a(%rip),%rdi
mov    0x4(%rsp),%esi
xor    %eax,%eax
call   1050 <printf@plt>
lea    -0x1f(%rbx),%edi
call   1060 <gen_big_rk@plt>
lea    0x4(%r13),%edx
and    $0xc,%edx
lea    0xcfa(%rip),%rbp
mov    %rbp,%rdi
xor    %esi,%esi
xor    %ecx,%ecx
xor    %eax,%eax
call   1050 <printf@plt>
lea    -0x1e(%rbx),%edi
call   1060 <gen_big_rk@plt>
lea    0x5(%r13),%edx
and    $0xd,%edx
mov    %rbp,%rdi
mov    $0x1,%esi
mov    $0x1,%ecx
xor    %eax,%eax
call   1050 <printf@plt>
lea    -0x1d(%rbx),%edi
call   1060 <gen_big_rk@plt>
lea    0x6(%r13),%edx
and    $0xe,%edx
mov    %rbp,%rdi
mov    $0x2,%esi
mov    $0x2,%ecx
xor    %eax,%eax
call   1050 <printf@plt>
lea    -0x1c(%rbx),%edi
call   1060 <gen_big_rk@plt>
lea    0x7(%r13),%edx
and    $0xf,%edx
mov    %rbp,%rdi
mov    $0x3,%esi
mov    $0x3,%ecx
xor    %eax,%eax
call   1050 <printf@plt>
lea    0xe16(%rip),%r14
mov    %r14,%rdi
call   1040 <puts@plt>
lea    -0x1b(%rbx),%edi
call   1060 <gen_big_rk@plt>
lea    0xc7b(%rip),%rbp
mov    %rbp,%rdi
xor    %esi,%esi
mov    $0x4,%edx
xor    %eax,%eax
call   1050 <printf@plt>
lea    -0x1a(%rbx),%edi
call   1060 <gen_big_rk@plt>
mov    %rbp,%rdi
mov    $0x1,%esi
mov    $0x5,%edx
xor    %eax,%eax
call   1050 <printf@plt>
lea    -0x19(%rbx),%edi
call   1060 <gen_big_rk@plt>
mov    %rbp,%rdi
mov    $0x2,%esi
mov    $0x6,%edx
xor    %eax,%eax
call   1050 <printf@plt>
lea    -0x18(%rbx),%edi
call   1060 <gen_big_rk@plt>
mov    %rbp,%rdi
mov    $0x3,%esi
mov    $0x7,%edx
xor    %eax,%eax
call   1050 <printf@plt>
mov    %r14,%rdi
call   1040 <puts@plt>
lea    -0x17(%rbx),%edi
call   1060 <gen_big_rk@plt>
mov    %rbp,%rdi
xor    %esi,%esi
mov    $0x8,%edx
xor    %eax,%eax
call   1050 <printf@plt>
lea    -0x16(%rbx),%edi
call   1060 <gen_big_rk@plt>
mov    %rbp,%rdi
mov    $0x1,%esi
mov    $0x9,%edx
xor    %eax,%eax
call   1050 <printf@plt>
lea    -0x15(%rbx),%edi
call   1060 <gen_big_rk@plt>
mov    %rbp,%rdi
mov    $0x2,%esi
mov    $0xa,%edx
xor    %eax,%eax
call   1050 <printf@plt>
lea    -0x14(%rbx),%edi
call   1060 <gen_big_rk@plt>
mov    %rbp,%rdi
mov    $0x3,%esi
mov    $0xb,%edx
xor    %eax,%eax
call   1050 <printf@plt>
mov    %r14,%rdi
call   1040 <puts@plt>
lea    -0x13(%rbx),%edi
call   1060 <gen_big_rk@plt>
mov    %rbp,%rdi
xor    %esi,%esi
mov    $0xc,%edx
xor    %eax,%eax
call   1050 <printf@plt>
lea    -0x12(%rbx),%edi
call   1060 <gen_big_rk@plt>
mov    %rbp,%rdi
mov    $0x1,%esi
mov    $0xd,%edx
xor    %eax,%eax
call   1050 <printf@plt>
lea    -0x11(%rbx),%edi
call   1060 <gen_big_rk@plt>
mov    %rbp,%rdi
mov    $0x2,%esi
mov    $0xe,%edx
xor    %eax,%eax
call   1050 <printf@plt>
lea    -0x10(%rbx),%edi
call   1060 <gen_big_rk@plt>
mov    %rbp,%rdi
mov    $0x3,%esi
mov    $0xf,%edx
xor    %eax,%eax
call   1050 <printf@plt>
mov    %r14,%rdi
call   1040 <puts@plt>
lea    -0xf(%rbx),%r15d
mov    %r13d,%r12d
and    $0xc,%r12d
lea    0xb23(%rip),%r14
mov    %r14,%rdi
mov    %r12d,%esi
xor    %edx,%edx
xor    %eax,%eax
call   1050 <printf@plt>
lea    0x1(%r12),%esi
mov    %r14,%rdi
mov    $0x1,%edx
xor    %eax,%eax
call   1050 <printf@plt>
lea    0x2(%r12),%esi
mov    %r14,%rdi
mov    $0x2,%edx
xor    %eax,%eax
call   1050 <printf@plt>
or     $0x3,%r12d
mov    %r14,%rdi
mov    %r12d,%esi
mov    $0x3,%edx
xor    %eax,%eax
call   1050 <printf@plt>
mov    %r15d,%edi
call   1060 <gen_big_rk@plt>
lea    0xc(%r13),%edx
and    $0xc,%edx
lea    0xa99(%rip),%r15
mov    %r15,%rdi
xor    %esi,%esi
mov    $0x10,%ecx
xor    %eax,%eax
call   1050 <printf@plt>
lea    -0xe(%rbx),%edi
call   1060 <gen_big_rk@plt>
lea    0xd(%r13),%edx
and    $0xd,%edx
mov    %r15,%rdi
mov    $0x1,%esi
mov    $0x11,%ecx
xor    %eax,%eax
call   1050 <printf@plt>
lea    -0xd(%rbx),%edi
call   1060 <gen_big_rk@plt>
lea    0xe(%r13),%edx
and    $0xe,%edx
mov    %r15,%rdi
mov    $0x2,%esi
mov    $0x12,%ecx
xor    %eax,%eax
call   1050 <printf@plt>
lea    -0xc(%rbx),%edi
call   1060 <gen_big_rk@plt>
lea    -0x1(%r13),%edx
and    $0xf,%edx
mov    %r15,%rdi
mov    $0x3,%esi
mov    $0x13,%ecx
xor    %eax,%eax
call   1050 <printf@plt>
lea    0xbb2(%rip),%r15
mov    %r15,%rdi
call   1040 <puts@plt>
lea    -0xb(%rbx),%edi
call   1060 <gen_big_rk@plt>
mov    %rbp,%rdi
xor    %esi,%esi
mov    $0x14,%edx
xor    %eax,%eax
call   1050 <printf@plt>
lea    -0xa(%rbx),%edi
call   1060 <gen_big_rk@plt>
mov    %rbp,%rdi
mov    $0x1,%esi
mov    $0x15,%edx
xor    %eax,%eax
call   1050 <printf@plt>
lea    -0x9(%rbx),%edi
call   1060 <gen_big_rk@plt>
mov    %rbp,%rdi
mov    $0x2,%esi
mov    $0x16,%edx
xor    %eax,%eax
call   1050 <printf@plt>
lea    -0x8(%rbx),%edi
call   1060 <gen_big_rk@plt>
mov    %rbp,%rdi
mov    $0x3,%esi
mov    $0x17,%edx
xor    %eax,%eax
call   1050 <printf@plt>
mov    %r15,%rdi
call   1040 <puts@plt>
lea    -0x7(%rbx),%edi
call   1060 <gen_big_rk@plt>
mov    %rbp,%rdi
xor    %esi,%esi
mov    $0x18,%edx
xor    %eax,%eax
call   1050 <printf@plt>
lea    -0x6(%rbx),%edi
call   1060 <gen_big_rk@plt>
mov    %rbp,%rdi
mov    $0x1,%esi
mov    $0x19,%edx
xor    %eax,%eax
call   1050 <printf@plt>
lea    -0x5(%rbx),%edi
call   1060 <gen_big_rk@plt>
mov    %rbp,%rdi
mov    $0x2,%esi
mov    $0x1a,%edx
xor    %eax,%eax
call   1050 <printf@plt>
lea    -0x4(%rbx),%edi
call   1060 <gen_big_rk@plt>
mov    %rbp,%rdi
mov    $0x3,%esi
mov    $0x1b,%edx
xor    %eax,%eax
call   1050 <printf@plt>
mov    %r15,%rdi
call   1040 <puts@plt>
lea    -0x3(%rbx),%edi
call   1060 <gen_big_rk@plt>
mov    %rbp,%rdi
xor    %esi,%esi
mov    $0x1c,%edx
xor    %eax,%eax
call   1050 <printf@plt>
lea    -0x2(%rbx),%edi
call   1060 <gen_big_rk@plt>
mov    %rbp,%rdi
mov    $0x1,%esi
mov    $0x1d,%edx
xor    %eax,%eax
call   1050 <printf@plt>
lea    -0x1(%rbx),%edi
call   1060 <gen_big_rk@plt>
mov    %rbp,%rdi
mov    $0x2,%esi
mov    $0x1e,%edx
xor    %eax,%eax
call   1050 <printf@plt>
mov    %ebx,%edi
call   1060 <gen_big_rk@plt>
mov    %rbp,%rdi
mov    $0x3,%esi
mov    $0x1f,%edx
xor    %eax,%eax
call   1050 <printf@plt>
mov    %r15,%rdi
call   1040 <puts@plt>
lea    0x8(%r13),%esi
and    $0xc,%esi
mov    %r14,%rdi
xor    %edx,%edx
xor    %eax,%eax
call   1050 <printf@plt>
lea    0x9(%r13),%esi
and    $0xd,%esi
mov    %r14,%rdi
mov    $0x1,%edx
xor    %eax,%eax
call   1050 <printf@plt>
lea    0xa(%r13),%esi
and    $0xe,%esi
mov    %r14,%rdi
mov    $0x2,%edx
xor    %eax,%eax
call   1050 <printf@plt>
lea    0xb(%r13),%esi
and    $0xf,%esi
mov    %r14,%rdi
mov    $0x3,%edx
xor    %eax,%eax
call   1050 <printf@plt>
mov    0x4(%rsp),%eax
add    $0x1,%eax
add    $0x20,%ebx
add    $0xfffffffc,%r13d
cmp    $0x1df,%ebx
jne    1300 <gen_big_unrolled+0x1c0>
lea    0x871(%rip),%rbx
mov    %rbx,%rdi
xor    %esi,%esi
mov    $0x8,%edx
xor    %eax,%eax
call   1050 <printf@plt>
mov    %rbx,%rdi
mov    $0x1,%esi
mov    $0x9,%edx
xor    %eax,%eax
call   1050 <printf@plt>
mov    %rbx,%rdi
mov    $0x2,%esi
mov    $0xa,%edx
xor    %eax,%eax
call   1050 <printf@plt>
mov    %rbx,%rdi
mov    $0x3,%esi
mov    $0xb,%edx
xor    %eax,%eax
call   1050 <printf@plt>
mov    %rbx,%rdi
mov    $0x4,%esi
mov    $0xc,%edx
xor    %eax,%eax
call   1050 <printf@plt>
mov    %rbx,%rdi
mov    $0x5,%esi
mov    $0xd,%edx
xor    %eax,%eax
call   1050 <printf@plt>
mov    %rbx,%rdi
mov    $0x6,%esi
mov    $0xe,%edx
xor    %eax,%eax
call   1050 <printf@plt>
mov    %rbx,%rdi
mov    $0x7,%esi
mov    $0xf,%edx
xor    %eax,%eax
call   1050 <printf@plt>
mov    %rbx,%rdi
mov    $0x8,%esi
xor    %edx,%edx
xor    %eax,%eax
call   1050 <printf@plt>
mov    %rbx,%rdi
mov    $0x9,%esi
mov    $0x1,%edx
xor    %eax,%eax
call   1050 <printf@plt>
mov    %rbx,%rdi
mov    $0xa,%esi
mov    $0x2,%edx
xor    %eax,%eax
call   1050 <printf@plt>
mov    %rbx,%rdi
mov    $0xb,%esi
mov    $0x3,%edx
xor    %eax,%eax
call   1050 <printf@plt>
mov    %rbx,%rdi
mov    $0xc,%esi
mov    $0x4,%edx
xor    %eax,%eax
call   1050 <printf@plt>
mov    %rbx,%rdi
mov    $0xd,%esi
mov    $0x5,%edx
xor    %eax,%eax
call   1050 <printf@plt>
mov    %rbx,%rdi
mov    $0xe,%esi
mov    $0x6,%edx
xor    %eax,%eax
call   1050 <printf@plt>
mov    %rbx,%rdi
mov    $0xf,%esi
mov    $0x7,%edx
xor    %eax,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1050 <printf@plt>

LLVM IR (-O0):
@.str = [42 x i8] c"\09sph_u32 p0, p1, p2, p3, p4, p5, p6, p7;\0A\00"
@.str.1 = [42 x i8] c"\09sph_u32 p8, p9, pA, pB, pC, pD, pE, pF;\0A\00"
@.str.2 = [26 x i8] c"\09sph_u32 x0, x1, x2, x3;\0A\00"
@.str.3 = [58 x i8] c"\09sph_u32 rk00, rk01, rk02, rk03, rk04, rk05, rk06, rk07;\0A\00"
@.str.4 = [58 x i8] c"\09sph_u32 rk08, rk09, rk0A, rk0B, rk0C, rk0D, rk0E, rk0F;\0A\00"
@.str.5 = [58 x i8] c"\09sph_u32 rk10, rk11, rk12, rk13, rk14, rk15, rk16, rk17;\0A\00"
@.str.6 = [58 x i8] c"\09sph_u32 rk18, rk19, rk1A, rk1B, rk1C, rk1D, rk1E, rk1F;\0A\00"
@.str.7 = [2 x i8] c"\0A\00"
@.str.8 = [21 x i8] c"\09p%X = sc->h[0x%X];\0A\00"
@.str.9 = [17 x i8] c"\09/* round %u */\0A\00"
@.str.10 = [22 x i8] c"\09x%u = p%X ^ rk%02X;\0A\00"
@.str.11 = [17 x i8] c"\09x%u ^= rk%02X;\0A\00"
@.str.12 = [35 x i8] c"\09AES_ROUND_NOKEY(x0, x1, x2, x3);\0A\00"
@.str.13 = [14 x i8] c"\09p%X ^= x%u;\0A\00"
@.str.14 = [22 x i8] c"\09sc->h[0x%X] ^= p%X;\0A\00"
define void @gen_big_unrolled() {
%1 = alloca i32
%2 = alloca i32
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([42 x i8], [42 x i8]* @.str, i64 0, i64 0))
%7 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([42 x i8], [42 x i8]* @.str.1, i64 0, i64 0))
%8 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([26 x i8], [26 x i8]* @.str.2, i64 0, i64 0))
%9 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([58 x i8], [58 x i8]* @.str.3, i64 0, i64 0))
%10 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([58 x i8], [58 x i8]* @.str.4, i64 0, i64 0))
%11 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([58 x i8], [58 x i8]* @.str.5, i64 0, i64 0))
%12 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([58 x i8], [58 x i8]* @.str.6, i64 0, i64 0))
%13 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.7, i64 0, i64 0))
store i32 0, i32* %1
br label %14
14: ; preds = %21, %0
%15 = load i32, i32* %1
%16 = icmp ult i32 %15, 16
br i1 %16, label %17, label %24
17: ; preds = %14
%18 = load i32, i32* %1
%19 = load i32, i32* %1
%20 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.8, i64 0, i64 0), i32 %18, i32 %19)
br label %21
21: ; preds = %17
%22 = load i32, i32* %1
%23 = add i32 %22, 1
store i32 %23, i32* %1
br label %14
24: ; preds = %14
store i32 0, i32* %1
br label %25
25: ; preds = %156, %24
%26 = load i32, i32* %1
%27 = icmp ult i32 %26, 14
br i1 %27, label %28, label %159
28: ; preds = %25
%29 = load i32, i32* %1
%30 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.9, i64 0, i64 0), i32 %29)
%31 = load i32, i32* %1
%32 = mul i32 32, %31
store i32 %32, i32* %3
%33 = load i32, i32* %1
%34 = sub i32 0, %33
%35 = and i32 %34, 3
%36 = mul i32 4, %35
store i32 %36, i32* %4
store i32 0, i32* %5
br label %37
37: ; preds = %78, %28
%38 = load i32, i32* %5
%39 = icmp ult i32 %38, 4
br i1 %39, label %40, label %81
40: ; preds = %37
store i32 0, i32* %2
br label %41
41: ; preds = %71, %40
%42 = load i32, i32* %2
%43 = icmp ult i32 %42, 4
br i1 %43, label %44, label %74
44: ; preds = %41
%45 = load i32, i32* %3
%46 = load i32, i32* %2
%47 = add i32 %45, %46
%48 = call i32 @gen_big_rk(i32 %47)
%49 = load i32, i32* %5
%50 = icmp eq i32 %49, 0
br i1 %50, label %51, label %63
51: ; preds = %44
%52 = load i32, i32* %2
%53 = load i32, i32* %4
%54 = add i32 %53, 4
%55 = load i32, i32* %2
%56 = add i32 %54, %55
%57 = and i32 %56, 15
%58 = load i32, i32* %3
%59 = load i32, i32* %2
%60 = add i32 %58, %59
%61 = and i32 %60, 31
%62 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.10, i64 0, i64 0), i32 %52, i32 %57, i32 %61)
br label %70
63: ; preds = %44
%64 = load i32, i32* %2
%65 = load i32, i32* %3
%66 = load i32, i32* %2
%67 = add i32 %65, %66
%68 = and i32 %67, 31
%69 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.11, i64 0, i64 0), i32 %64, i32 %68)
br label %70
70: ; preds = %63, %51
br label %71
71: ; preds = %70
%72 = load i32, i32* %2
%73 = add i32 %72, 1
store i32 %73, i32* %2
br label %41
74: ; preds = %41
%75 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([35 x i8], [35 x i8]* @.str.12, i64 0, i64 0))
%76 = load i32, i32* %3
%77 = add i32 %76, 4
store i32 %77, i32* %3
br label %78
78: ; preds = %74
%79 = load i32, i32* %5
%80 = add i32 %79, 1
store i32 %80, i32* %5
br label %37
81: ; preds = %37
store i32 0, i32* %2
br label %82
82: ; preds = %92, %81
%83 = load i32, i32* %2
%84 = icmp ult i32 %83, 4
br i1 %84, label %85, label %95
85: ; preds = %82
%86 = load i32, i32* %4
%87 = load i32, i32* %2
%88 = add i32 %86, %87
%89 = and i32 %88, 15
%90 = load i32, i32* %2
%91 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.13, i64 0, i64 0), i32 %89, i32 %90)
br label %92
92: ; preds = %85
%93 = load i32, i32* %2
%94 = add i32 %93, 1
store i32 %94, i32* %2
br label %82
95: ; preds = %82
store i32 0, i32* %5
br label %96
96: ; preds = %137, %95
%97 = load i32, i32* %5
%98 = icmp ult i32 %97, 4
br i1 %98, label %99, label %140
99: ; preds = %96
store i32 0, i32* %2
br label %100
100: ; preds = %130, %99
%101 = load i32, i32* %2
%102 = icmp ult i32 %101, 4
br i1 %102, label %103, label %133
103: ; preds = %100
%104 = load i32, i32* %3
%105 = load i32, i32* %2
%106 = add i32 %104, %105
%107 = call i32 @gen_big_rk(i32 %106)
%108 = load i32, i32* %5
%109 = icmp eq i32 %108, 0
br i1 %109, label %110, label %122
110: ; preds = %103
%111 = load i32, i32* %2
%112 = load i32, i32* %4
%113 = add i32 %112, 12
%114 = load i32, i32* %2
%115 = add i32 %113, %114
%116 = and i32 %115, 15
%117 = load i32, i32* %3
%118 = load i32, i32* %2
%119 = add i32 %117, %118
%120 = and i32 %119, 31
%121 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.10, i64 0, i64 0), i32 %111, i32 %116, i32 %120)
br label %129
122: ; preds = %103
%123 = load i32, i32* %2
%124 = load i32, i32* %3
%125 = load i32, i32* %2
%126 = add i32 %124, %125
%127 = and i32 %126, 31
%128 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.11, i64 0, i64 0), i32 %123, i32 %127)
br label %129
129: ; preds = %122, %110
br label %130
130: ; preds = %129
%131 = load i32, i32* %2
%132 = add i32 %131, 1
store i32 %132, i32* %2
br label %100
133: ; preds = %100
%134 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([35 x i8], [35 x i8]* @.str.12, i64 0, i64 0))
%135 = load i32, i32* %3
%136 = add i32 %135, 4
store i32 %136, i32* %3
br label %137
137: ; preds = %133
%138 = load i32, i32* %5
%139 = add i32 %138, 1
store i32 %139, i32* %5
br label %96
140: ; preds = %96
store i32 0, i32* %2
br label %141
141: ; preds = %152, %140
%142 = load i32, i32* %2
%143 = icmp ult i32 %142, 4
br i1 %143, label %144, label %155
144: ; preds = %141
%145 = load i32, i32* %4
%146 = load i32, i32* %2
%147 = add i32 %145, %146
%148 = add i32 %147, 8
%149 = and i32 %148, 15
%150 = load i32, i32* %2
%151 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.13, i64 0, i64 0), i32 %149, i32 %150)
br label %152
152: ; preds = %144
%153 = load i32, i32* %2
%154 = add i32 %153, 1
store i32 %154, i32* %2
br label %141
155: ; preds = %141
br label %156
156: ; preds = %155
%157 = load i32, i32* %1
%158 = add i32 %157, 1
store i32 %158, i32* %1
br label %25
159: ; preds = %25
store i32 0, i32* %1
br label %160
160: ; preds = %169, %159
%161 = load i32, i32* %1
%162 = icmp ult i32 %161, 16
br i1 %162, label %163, label %172
163: ; preds = %160
%164 = load i32, i32* %1
%165 = load i32, i32* %1
%166 = add i32 %165, 8
%167 = and i32 %166, 15
%168 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.14, i64 0, i64 0), i32 %164, i32 %167)
br label %169
169: ; preds = %163
%170 = load i32, i32* %1
%171 = add i32 %170, 1
store i32 %171, i32* %1
br label %160
172: ; preds = %160
ret void
}

LLVM IR (-O2):
@.str.8 = [21 x i8] c"\09p%X = sc->h[0x%X];\0A\00"
@.str.9 = [17 x i8] c"\09/* round %u */\0A\00"
@.str.10 = [22 x i8] c"\09x%u = p%X ^ rk%02X;\0A\00"
@.str.11 = [17 x i8] c"\09x%u ^= rk%02X;\0A\00"
@.str.13 = [14 x i8] c"\09p%X ^= x%u;\0A\00"
@.str.14 = [22 x i8] c"\09sc->h[0x%X] ^= p%X;\0A\00"
@str = [41 x i8] c"\09sph_u32 p0, p1, p2, p3, p4, p5, p6, p7;\00"
@str.15 = [41 x i8] c"\09sph_u32 p8, p9, pA, pB, pC, pD, pE, pF;\00"
@str.16 = [25 x i8] c"\09sph_u32 x0, x1, x2, x3;\00"
@str.17 = [57 x i8] c"\09sph_u32 rk00, rk01, rk02, rk03, rk04, rk05, rk06, rk07;\00"
@str.18 = [57 x i8] c"\09sph_u32 rk08, rk09, rk0A, rk0B, rk0C, rk0D, rk0E, rk0F;\00"
@str.19 = [57 x i8] c"\09sph_u32 rk10, rk11, rk12, rk13, rk14, rk15, rk16, rk17;\00"
@str.20 = [57 x i8] c"\09sph_u32 rk18, rk19, rk1A, rk1B, rk1C, rk1D, rk1E, rk1F;\00"
@str.22 = [34 x i8] c"\09AES_ROUND_NOKEY(x0, x1, x2, x3);\00"
define void @gen_big_unrolled() {
%1 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([41 x i8], [41 x i8]* @str, i64 0, i64 0))
%2 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([41 x i8], [41 x i8]* @str.15, i64 0, i64 0))
%3 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([25 x i8], [25 x i8]* @str.16, i64 0, i64 0))
%4 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([57 x i8], [57 x i8]* @str.17, i64 0, i64 0))
%5 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([57 x i8], [57 x i8]* @str.18, i64 0, i64 0))
%6 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([57 x i8], [57 x i8]* @str.19, i64 0, i64 0))
%7 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([57 x i8], [57 x i8]* @str.20, i64 0, i64 0))
%8 = tail call i32 @putchar(i32 10)
%9 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([21 x i8], [21 x i8]* @.str.8, i64 0, i64 0), i32 0, i32 0)
%10 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([21 x i8], [21 x i8]* @.str.8, i64 0, i64 0), i32 1, i32 1)
%11 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([21 x i8], [21 x i8]* @.str.8, i64 0, i64 0), i32 2, i32 2)
%12 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([21 x i8], [21 x i8]* @.str.8, i64 0, i64 0), i32 3, i32 3)
%13 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([21 x i8], [21 x i8]* @.str.8, i64 0, i64 0), i32 4, i32 4)
%14 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([21 x i8], [21 x i8]* @.str.8, i64 0, i64 0), i32 5, i32 5)
%15 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([21 x i8], [21 x i8]* @.str.8, i64 0, i64 0), i32 6, i32 6)
%16 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([21 x i8], [21 x i8]* @.str.8, i64 0, i64 0), i32 7, i32 7)
%17 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([21 x i8], [21 x i8]* @.str.8, i64 0, i64 0), i32 8, i32 8)
%18 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([21 x i8], [21 x i8]* @.str.8, i64 0, i64 0), i32 9, i32 9)
%19 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([21 x i8], [21 x i8]* @.str.8, i64 0, i64 0), i32 10, i32 10)
%20 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([21 x i8], [21 x i8]* @.str.8, i64 0, i64 0), i32 11, i32 11)
%21 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([21 x i8], [21 x i8]* @.str.8, i64 0, i64 0), i32 12, i32 12)
%22 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([21 x i8], [21 x i8]* @.str.8, i64 0, i64 0), i32 13, i32 13)
%23 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([21 x i8], [21 x i8]* @.str.8, i64 0, i64 0), i32 14, i32 14)
%24 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([21 x i8], [21 x i8]* @.str.8, i64 0, i64 0), i32 15, i32 15)
br label %25
25: ; preds = %25, %0
%26 = phi i32 [ %172, %25 ], [ 0, %0 ]
%27 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([17 x i8], [17 x i8]* @.str.9, i64 0, i64 0), i32 %26)
%28 = shl nuw nsw i32 %26, 5
%29 = mul nsw i32 %26, -4
%30 = tail call i32 @gen_big_rk(i32 %28)
%31 = add nsw i32 %29, 4
%32 = and i32 %31, 12
%33 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.10, i64 0, i64 0), i32 0, i32 %32, i32 0)
%34 = or i32 %28, 1
%35 = tail call i32 @gen_big_rk(i32 %34)
%36 = add nsw i32 %29, 5
%37 = and i32 %36, 13
%38 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.10, i64 0, i64 0), i32 1, i32 %37, i32 1)
%39 = or i32 %28, 2
%40 = tail call i32 @gen_big_rk(i32 %39)
%41 = add nsw i32 %29, 6
%42 = and i32 %41, 14
%43 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.10, i64 0, i64 0), i32 2, i32 %42, i32 2)
%44 = or i32 %28, 3
%45 = tail call i32 @gen_big_rk(i32 %44)
%46 = add nsw i32 %29, 7
%47 = and i32 %46, 15
%48 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.10, i64 0, i64 0), i32 3, i32 %47, i32 3)
%49 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([34 x i8], [34 x i8]* @str.22, i64 0, i64 0))
%50 = or i32 %28, 4
%51 = tail call i32 @gen_big_rk(i32 %50)
%52 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([17 x i8], [17 x i8]* @.str.11, i64 0, i64 0), i32 0, i32 4)
%53 = or i32 %28, 5
%54 = tail call i32 @gen_big_rk(i32 %53)
%55 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([17 x i8], [17 x i8]* @.str.11, i64 0, i64 0), i32 1, i32 5)
%56 = or i32 %28, 6
%57 = tail call i32 @gen_big_rk(i32 %56)
%58 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([17 x i8], [17 x i8]* @.str.11, i64 0, i64 0), i32 2, i32 6)
%59 = or i32 %28, 7
%60 = tail call i32 @gen_big_rk(i32 %59)
%61 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([17 x i8], [17 x i8]* @.str.11, i64 0, i64 0), i32 3, i32 7)
%62 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([34 x i8], [34 x i8]* @str.22, i64 0, i64 0))
%63 = or i32 %28, 8
%64 = tail call i32 @gen_big_rk(i32 %63)
%65 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([17 x i8], [17 x i8]* @.str.11, i64 0, i64 0), i32 0, i32 8)
%66 = or i32 %28, 9
%67 = tail call i32 @gen_big_rk(i32 %66)
%68 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([17 x i8], [17 x i8]* @.str.11, i64 0, i64 0), i32 1, i32 9)
%69 = or i32 %28, 10
%70 = tail call i32 @gen_big_rk(i32 %69)
%71 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([17 x i8], [17 x i8]* @.str.11, i64 0, i64 0), i32 2, i32 10)
%72 = or i32 %28, 11
%73 = tail call i32 @gen_big_rk(i32 %72)
%74 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([17 x i8], [17 x i8]* @.str.11, i64 0, i64 0), i32 3, i32 11)
%75 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([34 x i8], [34 x i8]* @str.22, i64 0, i64 0))
%76 = or i32 %28, 12
%77 = tail call i32 @gen_big_rk(i32 %76)
%78 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([17 x i8], [17 x i8]* @.str.11, i64 0, i64 0), i32 0, i32 12)
%79 = or i32 %28, 13
%80 = tail call i32 @gen_big_rk(i32 %79)
%81 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([17 x i8], [17 x i8]* @.str.11, i64 0, i64 0), i32 1, i32 13)
%82 = or i32 %28, 14
%83 = tail call i32 @gen_big_rk(i32 %82)
%84 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([17 x i8], [17 x i8]* @.str.11, i64 0, i64 0), i32 2, i32 14)
%85 = or i32 %28, 15
%86 = tail call i32 @gen_big_rk(i32 %85)
%87 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([17 x i8], [17 x i8]* @.str.11, i64 0, i64 0), i32 3, i32 15)
%88 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([34 x i8], [34 x i8]* @str.22, i64 0, i64 0))
%89 = or i32 %28, 16
%90 = and i32 %29, 12
%91 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([14 x i8], [14 x i8]* @.str.13, i64 0, i64 0), i32 %90, i32 0)
%92 = and i32 %29, 12
%93 = or i32 %92, 1
%94 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([14 x i8], [14 x i8]* @.str.13, i64 0, i64 0), i32 %93, i32 1)
%95 = and i32 %29, 12
%96 = or i32 %95, 2
%97 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([14 x i8], [14 x i8]* @.str.13, i64 0, i64 0), i32 %96, i32 2)
%98 = and i32 %29, 12
%99 = or i32 %98, 3
%100 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([14 x i8], [14 x i8]* @.str.13, i64 0, i64 0), i32 %99, i32 3)
%101 = tail call i32 @gen_big_rk(i32 %89)
%102 = add nsw i32 %29, 12
%103 = and i32 %102, 12
%104 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.10, i64 0, i64 0), i32 0, i32 %103, i32 16)
%105 = or i32 %28, 17
%106 = tail call i32 @gen_big_rk(i32 %105)
%107 = add nsw i32 %29, 13
%108 = and i32 %107, 13
%109 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.10, i64 0, i64 0), i32 1, i32 %108, i32 17)
%110 = or i32 %28, 18
%111 = tail call i32 @gen_big_rk(i32 %110)
%112 = add nsw i32 %29, 14
%113 = and i32 %112, 14
%114 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.10, i64 0, i64 0), i32 2, i32 %113, i32 18)
%115 = or i32 %28, 19
%116 = tail call i32 @gen_big_rk(i32 %115)
%117 = add nsw i32 %29, 15
%118 = and i32 %117, 15
%119 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.10, i64 0, i64 0), i32 3, i32 %118, i32 19)
%120 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([34 x i8], [34 x i8]* @str.22, i64 0, i64 0))
%121 = or i32 %28, 20
%122 = tail call i32 @gen_big_rk(i32 %121)
%123 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([17 x i8], [17 x i8]* @.str.11, i64 0, i64 0), i32 0, i32 20)
%124 = or i32 %28, 21
%125 = tail call i32 @gen_big_rk(i32 %124)
%126 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([17 x i8], [17 x i8]* @.str.11, i64 0, i64 0), i32 1, i32 21)
%127 = or i32 %28, 22
%128 = tail call i32 @gen_big_rk(i32 %127)
%129 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([17 x i8], [17 x i8]* @.str.11, i64 0, i64 0), i32 2, i32 22)
%130 = or i32 %28, 23
%131 = tail call i32 @gen_big_rk(i32 %130)
%132 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([17 x i8], [17 x i8]* @.str.11, i64 0, i64 0), i32 3, i32 23)
%133 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([34 x i8], [34 x i8]* @str.22, i64 0, i64 0))
%134 = or i32 %28, 24
%135 = tail call i32 @gen_big_rk(i32 %134)
%136 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([17 x i8], [17 x i8]* @.str.11, i64 0, i64 0), i32 0, i32 24)
%137 = or i32 %28, 25
%138 = tail call i32 @gen_big_rk(i32 %137)
%139 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([17 x i8], [17 x i8]* @.str.11, i64 0, i64 0), i32 1, i32 25)
%140 = or i32 %28, 26
%141 = tail call i32 @gen_big_rk(i32 %140)
%142 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([17 x i8], [17 x i8]* @.str.11, i64 0, i64 0), i32 2, i32 26)
%143 = or i32 %28, 27
%144 = tail call i32 @gen_big_rk(i32 %143)
%145 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([17 x i8], [17 x i8]* @.str.11, i64 0, i64 0), i32 3, i32 27)
%146 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([34 x i8], [34 x i8]* @str.22, i64 0, i64 0))
%147 = or i32 %28, 28
%148 = tail call i32 @gen_big_rk(i32 %147)
%149 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([17 x i8], [17 x i8]* @.str.11, i64 0, i64 0), i32 0, i32 28)
%150 = or i32 %28, 29
%151 = tail call i32 @gen_big_rk(i32 %150)
%152 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([17 x i8], [17 x i8]* @.str.11, i64 0, i64 0), i32 1, i32 29)
%153 = or i32 %28, 30
%154 = tail call i32 @gen_big_rk(i32 %153)
%155 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([17 x i8], [17 x i8]* @.str.11, i64 0, i64 0), i32 2, i32 30)
%156 = or i32 %28, 31
%157 = tail call i32 @gen_big_rk(i32 %156)
%158 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([17 x i8], [17 x i8]* @.str.11, i64 0, i64 0), i32 3, i32 31)
%159 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([34 x i8], [34 x i8]* @str.22, i64 0, i64 0))
%160 = add nsw i32 %29, 8
%161 = and i32 %160, 12
%162 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([14 x i8], [14 x i8]* @.str.13, i64 0, i64 0), i32 %161, i32 0)
%163 = add nsw i32 %29, 9
%164 = and i32 %163, 13
%165 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([14 x i8], [14 x i8]* @.str.13, i64 0, i64 0), i32 %164, i32 1)
%166 = add nsw i32 %29, 10
%167 = and i32 %166, 14
%168 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([14 x i8], [14 x i8]* @.str.13, i64 0, i64 0), i32 %167, i32 2)
%169 = add nsw i32 %29, 11
%170 = and i32 %169, 15
%171 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([14 x i8], [14 x i8]* @.str.13, i64 0, i64 0), i32 %170, i32 3)
%172 = add nuw nsw i32 %26, 1
%173 = icmp eq i32 %172, 14
br i1 %173, label %174, label %25
174: ; preds = %25
%175 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.14, i64 0, i64 0), i32 0, i32 8)
%176 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.14, i64 0, i64 0), i32 1, i32 9)
%177 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.14, i64 0, i64 0), i32 2, i32 10)
%178 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.14, i64 0, i64 0), i32 3, i32 11)
%179 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.14, i64 0, i64 0), i32 4, i32 12)
%180 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.14, i64 0, i64 0), i32 5, i32 13)
%181 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.14, i64 0, i64 0), i32 6, i32 14)
%182 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.14, i64 0, i64 0), i32 7, i32 15)
%183 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.14, i64 0, i64 0), i32 8, i32 0)
%184 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.14, i64 0, i64 0), i32 9, i32 1)
%185 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.14, i64 0, i64 0), i32 10, i32 2)
%186 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.14, i64 0, i64 0), i32 11, i32 3)
%187 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.14, i64 0, i64 0), i32 12, i32 4)
%188 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.14, i64 0, i64 0), i32 13, i32 5)
%189 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.14, i64 0, i64 0), i32 14, i32 6)
%190 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.14, i64 0, i64 0), i32 15, i32 7)
ret void
}