#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*/ ultra_genPoly(short, unsigned short *, unsigned short *,
                                 unsigned short *);
int /*<<< orphan*/ ultra_initLogTables(unsigned short *, unsigned short *);
void ultra_gf283(short DataSize, short EccSize, int Message[]) {
  unsigned short gPoly[283], gfPwr[(282 * 2)], gfLog[283];
  int i, j, n;
  unsigned short t;
  ultra_initLogTables(gfPwr, gfLog);
  ultra_genPoly(EccSize, gPoly, gfPwr, gfLog);
  for (j = 281; (j > (281 - EccSize)); j--)
    Message[j] = 0;
  for (i = DataSize - 1; (i >= 0); j--, i--)
    Message[j] = Message[i];
  j++;
  for (i = 0; i < j; i++)
    Message[i] = 0;
  for (n = j; n < (j + DataSize); n++) {
    t = (Message[j + DataSize] + Message[n]) % 283;
    for (i = 0; i < (EccSize - 1); i++) {
      Message[j + DataSize + i] =
          (Message[j + DataSize + i + 1] + 283 -
           ((((t) == 0) || ((gPoly[EccSize - 1 - i]) == 0))
                ? 0
                : gfPwr[(gfLog[t] + gfLog[gPoly[EccSize - 1 - i]])])) %
          283;
    }
    Message[j + DataSize + EccSize - 1] =
        (283 - ((((t) == 0) || ((gPoly[0]) == 0))
                    ? 0
                    : gfPwr[(gfLog[t] + gfLog[gPoly[0]])])) %
        283;
  }
  for (i = j + DataSize; i < (j + DataSize + EccSize); i++)
    Message[i] = (283 - Message[i]) % 283;
}


x86 assembly (clang, -O0):
<ultra_gf283>:
push   %rbp
mov    %rsp,%rbp
sub    $0x920,%rsp
mov    %si,%ax
mov    %di,%cx
mov    %cx,-0x2(%rbp)
mov    %ax,-0x4(%rbp)
mov    %rdx,-0x10(%rbp)
lea    -0x6c0(%rbp),%rdi
lea    -0x900(%rbp),%rsi
call   1040 <ultra_initLogTables@plt>
mov    -0x4(%rbp),%ax
lea    -0x250(%rbp),%rsi
lea    -0x6c0(%rbp),%rdx
lea    -0x900(%rbp),%rcx
movswl %ax,%edi
call   1030 <ultra_genPoly@plt>
movl   $0x119,-0x908(%rbp)
mov    -0x908(%rbp),%eax
movswl -0x4(%rbp),%edx
mov    $0x119,%ecx
sub    %edx,%ecx
cmp    %ecx,%eax
jle    11ba <ultra_gf283+0x9a>
mov    -0x10(%rbp),%rax
movslq -0x908(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
mov    -0x908(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x908(%rbp)
jmp    117b <ultra_gf283+0x5b>
movswl -0x2(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x904(%rbp)
cmpl   $0x0,-0x904(%rbp)
jl     1213 <ultra_gf283+0xf3>
mov    -0x10(%rbp),%rax
movslq -0x904(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x10(%rbp),%rax
movslq -0x908(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x908(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x908(%rbp)
mov    -0x904(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x904(%rbp)
jmp    11c7 <ultra_gf283+0xa7>
mov    -0x908(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x908(%rbp)
movl   $0x0,-0x904(%rbp)
mov    -0x904(%rbp),%eax
cmp    -0x908(%rbp),%eax
jge    1264 <ultra_gf283+0x144>
mov    -0x10(%rbp),%rax
movslq -0x904(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
mov    -0x904(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x904(%rbp)
jmp    122c <ultra_gf283+0x10c>
mov    -0x908(%rbp),%eax
mov    %eax,-0x90c(%rbp)
mov    -0x90c(%rbp),%eax
mov    -0x908(%rbp),%ecx
movswl -0x2(%rbp),%edx
add    %edx,%ecx
cmp    %ecx,%eax
jge    1472 <ultra_gf283+0x352>
mov    -0x10(%rbp),%rax
mov    -0x908(%rbp),%ecx
movswl -0x2(%rbp),%edx
add    %edx,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x90c(%rbp),%rdx
add    (%rcx,%rdx,4),%eax
mov    $0x11b,%ecx
cltd
idiv   %ecx
mov    %dx,%ax
mov    %ax,-0x90e(%rbp)
movl   $0x0,-0x904(%rbp)
mov    -0x904(%rbp),%eax
movswl -0x4(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    13cd <ultra_gf283+0x2ad>
mov    -0x10(%rbp),%rax
mov    -0x908(%rbp),%ecx
movswl -0x2(%rbp),%edx
add    %edx,%ecx
add    -0x904(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
add    $0x11b,%eax
mov    %eax,-0x914(%rbp)
movzwl -0x90e(%rbp),%eax
cmp    $0x0,%eax
je     1339 <ultra_gf283+0x219>
movswl -0x4(%rbp),%eax
sub    $0x1,%eax
sub    -0x904(%rbp),%eax
cltq
movzwl -0x250(%rbp,%rax,2),%eax
ff
cmp    $0x0,%eax
jne    1346 <ultra_gf283+0x226>
xor    %eax,%eax
mov    %eax,-0x918(%rbp)
jmp    1387 <ultra_gf283+0x267>
movzwl -0x90e(%rbp),%eax
movzwl -0x900(%rbp,%rax,2),%eax
ff
movswl -0x4(%rbp),%ecx
sub    $0x1,%ecx
sub    -0x904(%rbp),%ecx
movslq %ecx,%rcx
movzwl -0x250(%rbp,%rcx,2),%ecx
ff
movzwl -0x900(%rbp,%rcx,2),%ecx
ff
add    %ecx,%eax
cltq
movzwl -0x6c0(%rbp,%rax,2),%eax
ff
mov    %eax,-0x918(%rbp)
mov    -0x914(%rbp),%eax
mov    -0x918(%rbp),%ecx
sub    %ecx,%eax
mov    $0x11b,%ecx
cltd
idiv   %ecx
mov    -0x10(%rbp),%rax
mov    -0x908(%rbp),%ecx
movswl -0x2(%rbp),%esi
add    %esi,%ecx
add    -0x904(%rbp),%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x904(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x904(%rbp)
jmp    12ca <ultra_gf283+0x1aa>
movzwl -0x90e(%rbp),%eax
cmp    $0x0,%eax
je     13ed <ultra_gf283+0x2cd>
movzwl -0x250(%rbp),%eax
cmp    $0x0,%eax
jne    13fa <ultra_gf283+0x2da>
xor    %eax,%eax
mov    %eax,-0x91c(%rbp)
jmp    142a <ultra_gf283+0x30a>
movzwl -0x90e(%rbp),%eax
movzwl -0x900(%rbp,%rax,2),%eax
ff
movzwl -0x250(%rbp),%ecx
movzwl -0x900(%rbp,%rcx,2),%ecx
ff
add    %ecx,%eax
cltq
movzwl -0x6c0(%rbp,%rax,2),%eax
ff
mov    %eax,-0x91c(%rbp)
mov    -0x91c(%rbp),%ecx
mov    $0x11b,%eax
sub    %ecx,%eax
mov    $0x11b,%ecx
cltd
idiv   %ecx
mov    -0x10(%rbp),%rax
mov    -0x908(%rbp),%ecx
movswl -0x2(%rbp),%esi
add    %esi,%ecx
movswl -0x4(%rbp),%esi
add    %esi,%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x90c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x90c(%rbp)
jmp    1270 <ultra_gf283+0x150>
mov    -0x908(%rbp),%eax
movswl -0x2(%rbp),%ecx
add    %ecx,%eax
mov    %eax,-0x904(%rbp)
mov    -0x904(%rbp),%eax
mov    -0x908(%rbp),%ecx
movswl -0x2(%rbp),%edx
add    %edx,%ecx
movswl -0x4(%rbp),%edx
add    %edx,%ecx
cmp    %ecx,%eax
jge    14e1 <ultra_gf283+0x3c1>
mov    -0x10(%rbp),%rcx
movslq -0x904(%rbp),%rdx
mov    $0x11b,%eax
sub    (%rcx,%rdx,4),%eax
mov    $0x11b,%ecx
cltd
idiv   %ecx
mov    -0x10(%rbp),%rax
movslq -0x904(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x904(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x904(%rbp)
jmp    1484 <ultra_gf283+0x364>
add    $0x920,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<ultra_gf283>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x928,%rsp
mov    %rdx,%r14
mov    %esi,%ebx
mov    %edi,%r15d
lea    0x4c0(%rsp),%rbp
lea    0x40(%rsp),%r12
mov    %rbp,%rdi
mov    %r12,%rsi
call   1050 <ultra_initLogTables@plt>
lea    0x280(%rsp),%rsi
mov    %ebx,%edi
mov    %rbp,%rdx
mov    %r12,%rcx
mov    %rbx,%r12
call   1040 <ultra_genPoly@plt>
test   %r12w,%r12w
jle    11a8 <ultra_gf283+0x78>
lea    -0x1(%r12),%eax
mov    $0x119,%ecx
sub    %rax,%rcx
lea    (%r14,%rcx,4),%rdi
mov    %r12d,%edx
shl    $0x2,%rdx
xor    %esi,%esi
call   1030 <memset@plt>
mov    $0x119,%ebp
sub    %r12d,%ebp
jmp    11ad <ultra_gf283+0x7d>
mov    $0x119,%ebp
movswl %r15w,%r15d
test   %r15w,%r15w
jle    11e9 <ultra_gf283+0xb9>
mov    %r15d,%esi
movslq %ebp,%rbp
cmp    $0x8,%r15w
jae    159a <ultra_gf283+0x46a>
add    $0x1,%rsi
nopl   0x0(%rax)
lea    -0x2(%rsi),%eax
mov    (%r14,%rax,4),%eax
mov    %eax,(%r14,%rbp,4)
add    $0xffffffffffffffff,%rbp
add    $0xffffffffffffffff,%rsi
cmp    $0x1,%rsi
ja     11d0 <ultra_gf283+0xa0>
lea    0x1(%rbp),%ebx
test   %ebp,%ebp
js     1204 <ultra_gf283+0xd4>
mov    %ebp,%eax
lea    0x4(,%rax,4),%rdx
mov    %r14,%rdi
xor    %esi,%esi
call   1030 <memset@plt>
mov    %rbp,0x8(%rsp)
add    %r15d,%ebx
mov    %ebx,0x4(%rsp)
mov    %r15,0x20(%rsp)
test   %r15w,%r15w
jle    13cf <ultra_gf283+0x29f>
movslq 0x4(%rsp),%rbp
lea    -0x1(%r12),%ecx
movzwl 0x280(%rsp),%eax
mov    %rax,0x18(%rsp)
lea    (%r12,%rbp,1),%eax
add    $0xffffffff,%eax
cltq
mov    %rax,0x30(%rsp)
movslq %r12d,%rax
movslq 0x8(%rsp),%r10
add    $0x1,%r10
lea    (%rsp,%rax,2),%rax
add    $0x27e,%rax
mov    %rax,0x28(%rsp)
lea    0x4(%r14,%rbp,4),%rsi
mov    $0x11b,%r11d
mov    %r12,0x38(%rsp)
mov    %rbp,0x10(%rsp)
jmp    12cc <ultra_gf283+0x19c>
cs nopw 0x0(%rax,%rax,1)
mov    %r13,%r14
mov    0x10(%rsp),%rbp
mov    $0x11b,%edx
sub    %eax,%edx
movslq %edx,%rax
imul   $0xffffffffe79372e3,%rax,%rdx
shr    $0x20,%rdx
add    %eax,%edx
mov    %edx,%edi
shr    $0x1f,%edi
sar    $0x8,%edx
add    %edi,%edx
imul   $0x11b,%edx,%edx
sub    %edx,%eax
mov    0x30(%rsp),%rdx
mov    %eax,(%r14,%rdx,4)
add    $0x1,%r10
cmp    %rbp,%r10
mov    0x38(%rsp),%r12
jge    13cf <ultra_gf283+0x29f>
mov    (%r14,%r10,4),%eax
mov    %r14,%r13
add    (%r14,%rbp,4),%eax
cltq
imul   $0xffffffffe79372e3,%rax,%rbx
shr    $0x20,%rbx
add    %eax,%ebx
mov    %ebx,%ebp
shr    $0x1f,%ebp
shr    $0x8,%ebx
add    %ebp,%ebx
imul   $0x11b,%ebx,%ebp
sub    %ebp,%eax
movzwl %ax,%ebx
cmp    $0x2,%r12w
jl     1390 <ultra_gf283+0x260>
mov    %ebx,%eax
mov    0x28(%rsp),%r8
xor    %r12d,%r12d
jmp    1357 <ultra_gf283+0x227>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
sub    %r15d,%r14d
movslq %r14d,%rdi
imul   $0xffffffffe79372e3,%rdi,%rbp
shr    $0x20,%rbp
add    %edi,%ebp
mov    %ebp,%edx
shr    $0x1f,%edx
sar    $0x8,%ebp
add    %edx,%ebp
imul   $0x11b,%ebp,%edx
sub    %edx,%edi
mov    %edi,-0x4(%rsi,%r12,4)
add    $0x1,%r12
add    $0xfffffffffffffffe,%r8
cmp    %r12,%rcx
je     1390 <ultra_gf283+0x260>
mov    (%rsi,%r12,4),%r14d
add    %r11d,%r14d
xor    %r15d,%r15d
test   %ebx,%ebx
je     1320 <ultra_gf283+0x1f0>
movzwl (%r8),%r9d
test   %r9,%r9
je     1320 <ultra_gf283+0x1f0>
movzwl 0x40(%rsp,%rax,2),%ebp
movzwl 0x40(%rsp,%r9,2),%edi
add    %rbp,%rdi
movzwl 0x4c0(%rsp,%rdi,2),%r15d
jmp    1320 <ultra_gf283+0x1f0>
nopw   0x0(%rax,%rax,1)
xor    %eax,%eax
test   %ebx,%ebx
je     1280 <ultra_gf283+0x150>
cmpw   $0x0,0x18(%rsp)
mov    %r13,%r14
mov    0x10(%rsp),%rbp
je     1288 <ultra_gf283+0x158>
mov    %ebx,%eax
movzwl 0x40(%rsp,%rax,2),%eax
mov    0x18(%rsp),%rdx
movzwl 0x40(%rsp,%rdx,2),%edx
add    %rax,%rdx
movzwl 0x4c0(%rsp,%rdx,2),%eax
jmp    1288 <ultra_gf283+0x158>
test   %r12w,%r12w
jle    1588 <ultra_gf283+0x458>
mov    0x4(%rsp),%ecx
add    %r12d,%ecx
mov    0x8(%rsp),%rax
add    0x20(%rsp),%eax
movslq %eax,%rdi
movslq %ecx,%rax
lea    0x2(%rdi),%rsi
cmp    %rax,%rsi
cmovle %rax,%rsi
lea    0x1(%rdi),%rcx
mov    %rdi,%rdx
not    %rdx
add    %rsi,%rdx
cmp    $0x8,%rdx
jb     1550 <ultra_gf283+0x420>
mov    %rdx,%rsi
and    $0xfffffffffffffff8,%rsi
add    %rsi,%rcx
lea    (%r14,%rdi,4),%rdi
add    $0x14,%rdi
xor    %ebp,%ebp
movdqa 0xbd3(%rip),%xmm0
movdqa 0xbdb(%rip),%xmm1
cs nopw 0x0(%rax,%rax,1)
nop
movdqu -0x10(%rdi,%rbp,4),%xmm5
movdqu (%rdi,%rbp,4),%xmm4
movdqa %xmm0,%xmm2
psubd  %xmm5,%xmm2
pxor   %xmm3,%xmm3
pcmpgtd %xmm2,%xmm3
pand   %xmm1,%xmm3
paddd  %xmm2,%xmm5
paddd  %xmm3,%xmm5
movdqa %xmm0,%xmm3
psubd  %xmm4,%xmm3
pxor   %xmm6,%xmm6
pcmpgtd %xmm3,%xmm6
pand   %xmm1,%xmm6
paddd  %xmm3,%xmm4
paddd  %xmm6,%xmm4
movdqa %xmm2,%xmm6
pmuludq %xmm1,%xmm6
pshufd $0xed,%xmm6,%xmm6
pshufd $0xf5,%xmm2,%xmm7
pmuludq %xmm1,%xmm7
pshufd $0xed,%xmm7,%xmm7
punpckldq %xmm7,%xmm6
psubd  %xmm5,%xmm6
paddd  %xmm0,%xmm6
movdqa %xmm6,%xmm5
psrld  $0x1f,%xmm5
psrad  $0x8,%xmm6
paddd  %xmm5,%xmm6
pshufd $0xf5,%xmm6,%xmm5
pmuludq %xmm0,%xmm6
pshufd $0xe8,%xmm6,%xmm6
pmuludq %xmm0,%xmm5
pshufd $0xe8,%xmm5,%xmm5
punpckldq %xmm5,%xmm6
psubd  %xmm6,%xmm2
movdqa %xmm3,%xmm5
pmuludq %xmm1,%xmm5
pshufd $0xed,%xmm5,%xmm5
pshufd $0xf5,%xmm3,%xmm6
pmuludq %xmm1,%xmm6
pshufd $0xed,%xmm6,%xmm6
punpckldq %xmm6,%xmm5
psubd  %xmm4,%xmm5
paddd  %xmm0,%xmm5
movdqa %xmm5,%xmm4
psrld  $0x1f,%xmm4
psrad  $0x8,%xmm5
paddd  %xmm4,%xmm5
pshufd $0xf5,%xmm5,%xmm4
pmuludq %xmm0,%xmm5
pshufd $0xe8,%xmm5,%xmm5
pmuludq %xmm0,%xmm4
pshufd $0xe8,%xmm4,%xmm4
punpckldq %xmm4,%xmm5
psubd  %xmm5,%xmm3
movdqu %xmm2,-0x10(%rdi,%rbp,4)
movdqu %xmm3,(%rdi,%rbp,4)
add    $0x8,%rbp
cmp    %rbp,%rsi
jne    1440 <ultra_gf283+0x310>
cmp    %rsi,%rdx
je     1588 <ultra_gf283+0x458>
mov    $0x11b,%edx
sub    (%r14,%rcx,4),%edx
movslq %edx,%rdx
imul   $0xffffffffe79372e3,%rdx,%rsi
shr    $0x20,%rsi
add    %edx,%esi
mov    %esi,%edi
shr    $0x1f,%edi
sar    $0x8,%esi
add    %edi,%esi
imul   $0x11b,%esi,%esi
sub    %esi,%edx
mov    %edx,(%r14,%rcx,4)
add    $0x1,%rcx
cmp    %rax,%rcx
jl     1550 <ultra_gf283+0x420>
add    $0x928,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
lea    -0x1(%rsi),%r10
lea    -0x1(%r15),%edi
mov    $0x4,%edx
mov    %r10,%rax
mul    %rdx
seto   %dl
cmp    %r10d,%edi
jb     11c8 <ultra_gf283+0x98>
mov    %r10,%rcx
shr    $0x20,%rcx
jne    11c8 <ultra_gf283+0x98>
lea    (%r14,%rbp,4),%rbx
mov    %rbx,%rcx
sub    %rax,%rcx
cmp    %rbx,%rcx
ja     11c8 <ultra_gf283+0x98>
test   %dl,%dl
jne    11c8 <ultra_gf283+0x98>
lea    (%r14,%rdi,4),%rbx
mov    %rbx,%rcx
sub    %rax,%rcx
cmp    %rbx,%rcx
ja     11c8 <ultra_gf283+0x98>
test   %dl,%dl
jne    11c8 <ultra_gf283+0x98>
lea    0x1(%rbp),%rax
sub    %rsi,%rax
lea    (%r14,%rax,4),%rax
lea    (%r14,%rdi,4),%rcx
add    $0x4,%rcx
cmp    %rcx,%rax
jae    1630 <ultra_gf283+0x500>
lea    (%r14,%rbp,4),%rax
add    $0x4,%rax
add    $0x1,%rdi
sub    %rsi,%rdi
lea    (%r14,%rdi,4),%rcx
cmp    %rax,%rcx
jb     11c8 <ultra_gf283+0x98>
mov    %esi,%r8d
and    $0xfffffff8,%r8d
lea    -0x8(%r8),%rax
mov    %rax,%r9
shr    $0x3,%r9
add    $0x1,%r9
test   %rax,%rax
je     16f4 <ultra_gf283+0x5c4>
mov    %r9,%rdx
and    $0xfffffffffffffffe,%rdx
lea    (%r14,%rbp,4),%rax
add    $0xfffffffffffffff4,%rax
mov    $0xfffffff7,%ebx
add    %rsi,%rbx
xor    %edi,%edi
nopl   0x0(%rax,%rax,1)
lea    (%r10,%rdi,1),%ecx
movups -0x1c(%r14,%rcx,4),%xmm0
movups -0xc(%r14,%rcx,4),%xmm1
movups %xmm1,(%rax,%rdi,4)
movups %xmm0,-0x10(%rax,%rdi,4)
lea    (%rbx,%rdi,1),%ecx
movdqu -0x1c(%r14,%rcx,4),%xmm0
movdqu -0xc(%r14,%rcx,4),%xmm1
movdqu %xmm1,-0x20(%rax,%rdi,4)
movdqu %xmm0,-0x30(%rax,%rdi,4)
add    $0xfffffffffffffff0,%rdi
add    $0xfffffffffffffffe,%rdx
jne    1670 <ultra_gf283+0x540>
neg    %rdi
test   $0x1,%r9b
je     16e0 <ultra_gf283+0x5b0>
mov    %rbp,%rax
sub    %rdi,%rax
not    %edi
lea    (%rsi,%rdi,1),%ecx
movdqu -0x1c(%r14,%rcx,4),%xmm0
movdqu -0xc(%r14,%rcx,4),%xmm1
movdqu %xmm1,-0xc(%r14,%rax,4)
movdqu %xmm0,-0x1c(%r14,%rax,4)
sub    %r8,%rbp
cmp    %rsi,%r8
je     11e9 <ultra_gf283+0xb9>
and    $0x7,%esi
jmp    11c8 <ultra_gf283+0x98>
xor    %edi,%edi
test   $0x1,%r9b
jne    16b9 <ultra_gf283+0x589>
jmp    16e0 <ultra_gf283+0x5b0>

LLVM IR (-O0):
define void @ultra_gf283(i16 signext %0, i16 signext %1, i32* %2) {
%4 = alloca i16
%5 = alloca i16
%6 = alloca i32*
%7 = alloca [283 x i16]
%8 = alloca [564 x i16]
%9 = alloca [283 x i16]
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i16
store i16 %0, i16* %4
store i16 %1, i16* %5
store i32* %2, i32** %6
%14 = getelementptr inbounds [564 x i16], [564 x i16]* %8, i64 0, i64 0
%15 = getelementptr inbounds [283 x i16], [283 x i16]* %9, i64 0, i64 0
%16 = call i32 @ultra_initLogTables(i16* %14, i16* %15)
%17 = load i16, i16* %5
%18 = getelementptr inbounds [283 x i16], [283 x i16]* %7, i64 0, i64 0
%19 = getelementptr inbounds [564 x i16], [564 x i16]* %8, i64 0, i64 0
%20 = getelementptr inbounds [283 x i16], [283 x i16]* %9, i64 0, i64 0
%21 = call i32 @ultra_genPoly(i16 signext %17, i16* %18, i16* %19, i16* %20)
store i32 281, i32* %11
br label %22
22: ; preds = %33, %3
%23 = load i32, i32* %11
%24 = load i16, i16* %5
%25 = sext i16 %24 to i32
%26 = sub nsw i32 281, %25
%27 = icmp sgt i32 %23, %26
br i1 %27, label %28, label %36
28: ; preds = %22
%29 = load i32*, i32** %6
%30 = load i32, i32* %11
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds i32, i32* %29, i64 %31
store i32 0, i32* %32
br label %33
33: ; preds = %28
%34 = load i32, i32* %11
%35 = add nsw i32 %34, -1
store i32 %35, i32* %11
br label %22
36: ; preds = %22
%37 = load i16, i16* %4
%38 = sext i16 %37 to i32
%39 = sub nsw i32 %38, 1
store i32 %39, i32* %10
br label %40
40: ; preds = %53, %36
%41 = load i32, i32* %10
%42 = icmp sge i32 %41, 0
br i1 %42, label %43, label %58
43: ; preds = %40
%44 = load i32*, i32** %6
%45 = load i32, i32* %10
%46 = sext i32 %45 to i64
%47 = getelementptr inbounds i32, i32* %44, i64 %46
%48 = load i32, i32* %47
%49 = load i32*, i32** %6
%50 = load i32, i32* %11
%51 = sext i32 %50 to i64
%52 = getelementptr inbounds i32, i32* %49, i64 %51
store i32 %48, i32* %52
br label %53
53: ; preds = %43
%54 = load i32, i32* %11
%55 = add nsw i32 %54, -1
store i32 %55, i32* %11
%56 = load i32, i32* %10
%57 = add nsw i32 %56, -1
store i32 %57, i32* %10
br label %40
58: ; preds = %40
%59 = load i32, i32* %11
%60 = add nsw i32 %59, 1
store i32 %60, i32* %11
store i32 0, i32* %10
br label %61
61: ; preds = %70, %58
%62 = load i32, i32* %10
%63 = load i32, i32* %11
%64 = icmp slt i32 %62, %63
br i1 %64, label %65, label %73
65: ; preds = %61
%66 = load i32*, i32** %6
%67 = load i32, i32* %10
%68 = sext i32 %67 to i64
%69 = getelementptr inbounds i32, i32* %66, i64 %68
store i32 0, i32* %69
br label %70
70: ; preds = %65
%71 = load i32, i32* %10
%72 = add nsw i32 %71, 1
store i32 %72, i32* %10
br label %61
73: ; preds = %61
%74 = load i32, i32* %11
store i32 %74, i32* %12
br label %75
75: ; preds = %214, %73
%76 = load i32, i32* %12
%77 = load i32, i32* %11
%78 = load i16, i16* %4
%79 = sext i16 %78 to i32
%80 = add nsw i32 %77, %79
%81 = icmp slt i32 %76, %80
br i1 %81, label %82, label %217
82: ; preds = %75
%83 = load i32*, i32** %6
%84 = load i32, i32* %11
%85 = load i16, i16* %4
%86 = sext i16 %85 to i32
%87 = add nsw i32 %84, %86
%88 = sext i32 %87 to i64
%89 = getelementptr inbounds i32, i32* %83, i64 %88
%90 = load i32, i32* %89
%91 = load i32*, i32** %6
%92 = load i32, i32* %12
%93 = sext i32 %92 to i64
%94 = getelementptr inbounds i32, i32* %91, i64 %93
%95 = load i32, i32* %94
%96 = add nsw i32 %90, %95
%97 = srem i32 %96, 283
%98 = trunc i32 %97 to i16
store i16 %98, i16* %13
store i32 0, i32* %10
br label %99
99: ; preds = %169, %82
%100 = load i32, i32* %10
%101 = load i16, i16* %5
%102 = sext i16 %101 to i32
%103 = sub nsw i32 %102, 1
%104 = icmp slt i32 %100, %103
br i1 %104, label %105, label %172
105: ; preds = %99
%106 = load i32*, i32** %6
%107 = load i32, i32* %11
%108 = load i16, i16* %4
%109 = sext i16 %108 to i32
%110 = add nsw i32 %107, %109
%111 = load i32, i32* %10
%112 = add nsw i32 %110, %111
%113 = add nsw i32 %112, 1
%114 = sext i32 %113 to i64
%115 = getelementptr inbounds i32, i32* %106, i64 %114
%116 = load i32, i32* %115
%117 = add nsw i32 %116, 283
%118 = load i16, i16* %13
%119 = zext i16 %118 to i32
%120 = icmp eq i32 %119, 0
br i1 %120, label %132, label %121
121: ; preds = %105
%122 = load i16, i16* %5
%123 = sext i16 %122 to i32
%124 = sub nsw i32 %123, 1
%125 = load i32, i32* %10
%126 = sub nsw i32 %124, %125
%127 = sext i32 %126 to i64
%128 = getelementptr inbounds [283 x i16], [283 x i16]* %7, i64 0, i64 %127
%129 = load i16, i16* %128
%130 = zext i16 %129 to i32
%131 = icmp eq i32 %130, 0
br i1 %131, label %132, label %133
132: ; preds = %121, %105
br label %156
133: ; preds = %121
%134 = load i16, i16* %13
%135 = zext i16 %134 to i64
%136 = getelementptr inbounds [283 x i16], [283 x i16]* %9, i64 0, i64 %135
%137 = load i16, i16* %136
%138 = zext i16 %137 to i32
%139 = load i16, i16* %5
%140 = sext i16 %139 to i32
%141 = sub nsw i32 %140, 1
%142 = load i32, i32* %10
%143 = sub nsw i32 %141, %142
%144 = sext i32 %143 to i64
%145 = getelementptr inbounds [283 x i16], [283 x i16]* %7, i64 0, i64 %144
%146 = load i16, i16* %145
%147 = zext i16 %146 to i64
%148 = getelementptr inbounds [283 x i16], [283 x i16]* %9, i64 0, i64 %147
%149 = load i16, i16* %148
%150 = zext i16 %149 to i32
%151 = add nsw i32 %138, %150
%152 = sext i32 %151 to i64
%153 = getelementptr inbounds [564 x i16], [564 x i16]* %8, i64 0, i64 %152
%154 = load i16, i16* %153
%155 = zext i16 %154 to i32
br label %156
156: ; preds = %133, %132
%157 = phi i32 [ 0, %132 ], [ %155, %133 ]
%158 = sub nsw i32 %117, %157
%159 = srem i32 %158, 283
%160 = load i32*, i32** %6
%161 = load i32, i32* %11
%162 = load i16, i16* %4
%163 = sext i16 %162 to i32
%164 = add nsw i32 %161, %163
%165 = load i32, i32* %10
%166 = add nsw i32 %164, %165
%167 = sext i32 %166 to i64
%168 = getelementptr inbounds i32, i32* %160, i64 %167
store i32 %159, i32* %168
br label %169
169: ; preds = %156
%170 = load i32, i32* %10
%171 = add nsw i32 %170, 1
store i32 %171, i32* %10
br label %99
172: ; preds = %99
%173 = load i16, i16* %13
%174 = zext i16 %173 to i32
%175 = icmp eq i32 %174, 0
br i1 %175, label %181, label %176
176: ; preds = %172
%177 = getelementptr inbounds [283 x i16], [283 x i16]* %7, i64 0, i64 0
%178 = load i16, i16* %177
%179 = zext i16 %178 to i32
%180 = icmp eq i32 %179, 0
br i1 %180, label %181, label %182
181: ; preds = %176, %172
br label %199
182: ; preds = %176
%183 = load i16, i16* %13
%184 = zext i16 %183 to i64
%185 = getelementptr inbounds [283 x i16], [283 x i16]* %9, i64 0, i64 %184
%186 = load i16, i16* %185
%187 = zext i16 %186 to i32
%188 = getelementptr inbounds [283 x i16], [283 x i16]* %7, i64 0, i64 0
%189 = load i16, i16* %188
%190 = zext i16 %189 to i64
%191 = getelementptr inbounds [283 x i16], [283 x i16]* %9, i64 0, i64 %190
%192 = load i16, i16* %191
%193 = zext i16 %192 to i32
%194 = add nsw i32 %187, %193
%195 = sext i32 %194 to i64
%196 = getelementptr inbounds [564 x i16], [564 x i16]* %8, i64 0, i64 %195
%197 = load i16, i16* %196
%198 = zext i16 %197 to i32
br label %199
199: ; preds = %182, %181
%200 = phi i32 [ 0, %181 ], [ %198, %182 ]
%201 = sub nsw i32 283, %200
%202 = srem i32 %201, 283
%203 = load i32*, i32** %6
%204 = load i32, i32* %11
%205 = load i16, i16* %4
%206 = sext i16 %205 to i32
%207 = add nsw i32 %204, %206
%208 = load i16, i16* %5
%209 = sext i16 %208 to i32
%210 = add nsw i32 %207, %209
%211 = sub nsw i32 %210, 1
%212 = sext i32 %211 to i64
%213 = getelementptr inbounds i32, i32* %203, i64 %212
store i32 %202, i32* %213
br label %214
214: ; preds = %199
%215 = load i32, i32* %12
%216 = add nsw i32 %215, 1
store i32 %216, i32* %12
br label %75
217: ; preds = %75
%218 = load i32, i32* %11
%219 = load i16, i16* %4
%220 = sext i16 %219 to i32
%221 = add nsw i32 %218, %220
store i32 %221, i32* %10
br label %222
222: ; preds = %244, %217
%223 = load i32, i32* %10
%224 = load i32, i32* %11
%225 = load i16, i16* %4
%226 = sext i16 %225 to i32
%227 = add nsw i32 %224, %226
%228 = load i16, i16* %5
%229 = sext i16 %228 to i32
%230 = add nsw i32 %227, %229
%231 = icmp slt i32 %223, %230
br i1 %231, label %232, label %247
232: ; preds = %222
%233 = load i32*, i32** %6
%234 = load i32, i32* %10
%235 = sext i32 %234 to i64
%236 = getelementptr inbounds i32, i32* %233, i64 %235
%237 = load i32, i32* %236
%238 = sub nsw i32 283, %237
%239 = srem i32 %238, 283
%240 = load i32*, i32** %6
%241 = load i32, i32* %10
%242 = sext i32 %241 to i64
%243 = getelementptr inbounds i32, i32* %240, i64 %242
store i32 %239, i32* %243
br label %244
244: ; preds = %232
%245 = load i32, i32* %10
%246 = add nsw i32 %245, 1
store i32 %246, i32* %10
br label %222
247: ; preds = %222
ret void
}

LLVM IR (-O2):
define void @ultra_gf283(i16 signext %0, i16 signext %1, i32* nocapture %2) {
%4 = bitcast i32* %2 to i8*
%5 = alloca [283 x i16]
%6 = alloca [564 x i16]
%7 = alloca [283 x i16]
%8 = bitcast [283 x i16]* %5 to i8*
%9 = bitcast [564 x i16]* %6 to i8*
%10 = bitcast [283 x i16]* %7 to i8*
%11 = getelementptr inbounds [564 x i16], [564 x i16]* %6, i64 0, i64 0
%12 = getelementptr inbounds [283 x i16], [283 x i16]* %7, i64 0, i64 0
%13 = call i32 @ultra_initLogTables(i16* %11, i16* %12)
%14 = getelementptr inbounds [283 x i16], [283 x i16]* %5, i64 0, i64 0
%15 = call i32 @ultra_genPoly(i16 signext %1, i16* %14, i16* %11, i16* %12)
%16 = sext i16 %1 to i32
%17 = icmp sgt i16 %1, 0
br i1 %17, label %18, label %27
18: ; preds = %3
%19 = add nsw i32 %16, -1
%20 = zext i32 %19 to i64
%21 = sub nsw i64 281, %20
%22 = getelementptr i32, i32* %2, i64 %21
%23 = bitcast i32* %22 to i8*
%24 = zext i32 %16 to i64
%25 = shl nuw nsw i64 %24, 2
%26 = sub nsw i32 281, %16
br label %27
27: ; preds = %18, %3
%28 = phi i32 [ 281, %3 ], [ %26, %18 ]
%29 = sext i16 %0 to i32
%30 = icmp sgt i16 %0, 0
br i1 %30, label %31, label %173
31: ; preds = %27
%32 = zext i32 %29 to i64
%33 = sext i32 %28 to i64
%34 = icmp ult i16 %0, 8
br i1 %34, label %157, label %35
35: ; preds = %31
%36 = add nsw i64 %32, -1
%37 = add nsw i32 %29, -1
%38 = trunc i64 %36 to i32
%39 = icmp ult i32 %37, %38
%40 = icmp ugt i64 %36, 4294967295
%41 = or i1 %39, %40
%42 = getelementptr i32, i32* %2, i64 %33
%43 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %36, i64 4)
%44 = extractvalue { i64, i1 } %43, 0
%45 = extractvalue { i64, i1 } %43, 1
%46 = bitcast i32* %42 to i8*
%47 = sub i64 0, %44
%48 = getelementptr i8, i8* %46, i64 %47
%49 = icmp ugt i8* %48, %46
%50 = or i1 %49, %45
%51 = zext i32 %37 to i64
%52 = getelementptr i32, i32* %2, i64 %51
%53 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %36, i64 4)
%54 = extractvalue { i64, i1 } %53, 0
%55 = extractvalue { i64, i1 } %53, 1
%56 = bitcast i32* %52 to i8*
%57 = sub i64 0, %54
%58 = getelementptr i8, i8* %56, i64 %57
%59 = icmp ugt i8* %58, %56
%60 = or i1 %59, %55
%61 = or i1 %41, %50
%62 = or i1 %61, %60
br i1 %62, label %157, label %63
63: ; preds = %35
%64 = add nsw i64 %33, 1
%65 = sub nsw i64 %64, %32
%66 = getelementptr i32, i32* %2, i64 %65
%67 = add nsw i64 %33, 1
%68 = getelementptr i32, i32* %2, i64 %67
%69 = add nsw i32 %29, -1
%70 = zext i32 %69 to i64
%71 = add nuw nsw i64 %70, 1
%72 = sub nsw i64 %71, %32
%73 = getelementptr i32, i32* %2, i64 %72
%74 = add nuw nsw i64 %70, 1
%75 = getelementptr i32, i32* %2, i64 %74
%76 = icmp ult i32* %66, %75
%77 = icmp ult i32* %73, %68
%78 = and i1 %76, %77
br i1 %78, label %157, label %79
79: ; preds = %63
%80 = and i64 %32, 4294967288
%81 = sub nsw i64 %33, %80
%82 = and i64 %32, 7
%83 = add nsw i64 %80, -8
%84 = lshr exact i64 %83, 3
%85 = add nuw nsw i64 %84, 1
%86 = and i64 %85, 1
%87 = icmp eq i64 %83, 0
br i1 %87, label %133, label %88
88: ; preds = %79
%89 = and i64 %85, 4611686018427387902
br label %90
90: ; preds = %90, %88
%91 = phi i64 [ 0, %88 ], [ %130, %90 ]
%92 = phi i64 [ 0, %88 ], [ %131, %90 ]
%93 = sub i64 %33, %91
%94 = xor i64 %91, -1
%95 = add i64 %94, %32
%96 = and i64 %95, 4294967295
%97 = getelementptr inbounds i32, i32* %2, i64 %96
%98 = getelementptr inbounds i32, i32* %97, i64 -3
%99 = bitcast i32* %98 to <4 x i32>*
%100 = load <4 x i32>, <4 x i32>* %99
%101 = getelementptr inbounds i32, i32* %97, i64 -4
%102 = getelementptr inbounds i32, i32* %101, i64 -3
%103 = bitcast i32* %102 to <4 x i32>*
%104 = load <4 x i32>, <4 x i32>* %103
%105 = getelementptr inbounds i32, i32* %2, i64 %93
%106 = getelementptr inbounds i32, i32* %105, i64 -3
%107 = bitcast i32* %106 to <4 x i32>*
store <4 x i32> %100, <4 x i32>* %107
%108 = getelementptr inbounds i32, i32* %105, i64 -4
%109 = getelementptr inbounds i32, i32* %108, i64 -3
%110 = bitcast i32* %109 to <4 x i32>*
store <4 x i32> %104, <4 x i32>* %110
%111 = or i64 %91, 8
%112 = sub i64 %33, %111
%113 = sub i64 4294967287, %91
%114 = add i64 %113, %32
%115 = and i64 %114, 4294967295
%116 = getelementptr inbounds i32, i32* %2, i64 %115
%117 = getelementptr inbounds i32, i32* %116, i64 -3
%118 = bitcast i32* %117 to <4 x i32>*
%119 = load <4 x i32>, <4 x i32>* %118
%120 = getelementptr inbounds i32, i32* %116, i64 -4
%121 = getelementptr inbounds i32, i32* %120, i64 -3
%122 = bitcast i32* %121 to <4 x i32>*
%123 = load <4 x i32>, <4 x i32>* %122
%124 = getelementptr inbounds i32, i32* %2, i64 %112
%125 = getelementptr inbounds i32, i32* %124, i64 -3
%126 = bitcast i32* %125 to <4 x i32>*
store <4 x i32> %119, <4 x i32>* %126
%127 = getelementptr inbounds i32, i32* %124, i64 -4
%128 = getelementptr inbounds i32, i32* %127, i64 -3
%129 = bitcast i32* %128 to <4 x i32>*
store <4 x i32> %123, <4 x i32>* %129
%130 = add nuw i64 %91, 16
%131 = add i64 %92, 2
%132 = icmp eq i64 %131, %89
br i1 %132, label %133, label %90
133: ; preds = %90, %79
%134 = phi i64 [ 0, %79 ], [ %130, %90 ]
%135 = icmp eq i64 %86, 0
br i1 %135, label %155, label %136
136: ; preds = %133
%137 = sub i64 %33, %134
%138 = xor i64 %134, -1
%139 = add i64 %138, %32
%140 = and i64 %139, 4294967295
%141 = getelementptr inbounds i32, i32* %2, i64 %140
%142 = getelementptr inbounds i32, i32* %141, i64 -3
%143 = bitcast i32* %142 to <4 x i32>*
%144 = load <4 x i32>, <4 x i32>* %143
%145 = getelementptr inbounds i32, i32* %141, i64 -4
%146 = getelementptr inbounds i32, i32* %145, i64 -3
%147 = bitcast i32* %146 to <4 x i32>*
%148 = load <4 x i32>, <4 x i32>* %147
%149 = getelementptr inbounds i32, i32* %2, i64 %137
%150 = getelementptr inbounds i32, i32* %149, i64 -3
%151 = bitcast i32* %150 to <4 x i32>*
store <4 x i32> %144, <4 x i32>* %151
%152 = getelementptr inbounds i32, i32* %149, i64 -4
%153 = getelementptr inbounds i32, i32* %152, i64 -3
%154 = bitcast i32* %153 to <4 x i32>*
store <4 x i32> %148, <4 x i32>* %154
br label %155
155: ; preds = %133, %136
%156 = icmp eq i64 %80, %32
br i1 %156, label %170, label %157
157: ; preds = %63, %35, %31, %155
%158 = phi i64 [ %33, %63 ], [ %33, %35 ], [ %33, %31 ], [ %81, %155 ]
%159 = phi i64 [ %32, %63 ], [ %32, %35 ], [ %32, %31 ], [ %82, %155 ]
br label %160
160: ; preds = %157, %160
%161 = phi i64 [ %168, %160 ], [ %158, %157 ]
%162 = phi i64 [ %163, %160 ], [ %159, %157 ]
%163 = add nsw i64 %162, -1
%164 = and i64 %163, 4294967295
%165 = getelementptr inbounds i32, i32* %2, i64 %164
%166 = load i32, i32* %165
%167 = getelementptr inbounds i32, i32* %2, i64 %161
store i32 %166, i32* %167
%168 = add nsw i64 %161, -1
%169 = icmp ugt i64 %162, 1
br i1 %169, label %160, label %170
170: ; preds = %160, %155
%171 = phi i64 [ %81, %155 ], [ %168, %160 ]
%172 = trunc i64 %171 to i32
br label %173
173: ; preds = %170, %27
%174 = phi i32 [ %28, %27 ], [ %172, %170 ]
%175 = add nsw i32 %174, 1
%176 = icmp slt i32 %174, 0
br i1 %176, label %181, label %177
177: ; preds = %173
%178 = zext i32 %174 to i64
%179 = shl nuw nsw i64 %178, 2
%180 = add nuw nsw i64 %179, 4
br label %181
181: ; preds = %177, %173
%182 = add nsw i32 %175, %29
br i1 %30, label %183, label %199
183: ; preds = %181
%184 = sext i32 %182 to i64
%185 = getelementptr inbounds i32, i32* %2, i64 %184
%186 = add nsw i32 %16, -1
%187 = icmp sgt i16 %1, 1
%188 = load i16, i16* %14
%189 = icmp eq i16 %188, 0
%190 = zext i16 %188 to i64
%191 = getelementptr inbounds [283 x i16], [283 x i16]* %7, i64 0, i64 %190
%192 = add i32 %186, %182
%193 = sext i32 %192 to i64
%194 = getelementptr inbounds i32, i32* %2, i64 %193
%195 = sext i32 %186 to i64
%196 = sext i32 %174 to i64
%197 = add nsw i64 %196, 1
%198 = zext i32 %186 to i64
br label %235
199: ; preds = %291, %181
br i1 %17, label %200, label %305
200: ; preds = %199
%201 = add nsw i32 %182, %16
%202 = add i32 %174, %29
%203 = sext i32 %202 to i64
%204 = add nsw i64 %203, 1
%205 = sext i32 %201 to i64
%206 = add nsw i64 %203, 2
%207 = call i64 @llvm.smax.i64(i64 %206, i64 %205)
%208 = xor i64 %203, -1
%209 = add i64 %207, %208
%210 = icmp ult i64 %209, 8
br i1 %210, label %233, label %211
211: ; preds = %200
%212 = and i64 %209, -8
%213 = add i64 %204, %212
br label %214
214: ; preds = %214, %211
%215 = phi i64 [ 0, %211 ], [ %229, %214 ]
%216 = add i64 %204, %215
%217 = getelementptr inbounds i32, i32* %2, i64 %216
%218 = bitcast i32* %217 to <4 x i32>*
%219 = load <4 x i32>, <4 x i32>* %218
%220 = getelementptr inbounds i32, i32* %217, i64 4
%221 = bitcast i32* %220 to <4 x i32>*
%222 = load <4 x i32>, <4 x i32>* %221
%223 = sub nsw <4 x i32> <i32 283, i32 283, i32 283, i32 283>, %219
%224 = sub nsw <4 x i32> <i32 283, i32 283, i32 283, i32 283>, %222
%225 = srem <4 x i32> %223, <i32 283, i32 283, i32 283, i32 283>
%226 = srem <4 x i32> %224, <i32 283, i32 283, i32 283, i32 283>
%227 = bitcast i32* %217 to <4 x i32>*
store <4 x i32> %225, <4 x i32>* %227
%228 = bitcast i32* %220 to <4 x i32>*
store <4 x i32> %226, <4 x i32>* %228
%229 = add nuw i64 %215, 8
%230 = icmp eq i64 %229, %212
br i1 %230, label %231, label %214
231: ; preds = %214
%232 = icmp eq i64 %209, %212
br i1 %232, label %305, label %233
233: ; preds = %200, %231
%234 = phi i64 [ %204, %200 ], [ %213, %231 ]
br label %297
235: ; preds = %183, %291
%236 = phi i64 [ %197, %183 ], [ %295, %291 ]
%237 = load i32, i32* %185
%238 = getelementptr inbounds i32, i32* %2, i64 %236
%239 = load i32, i32* %238
%240 = add nsw i32 %239, %237
%241 = srem i32 %240, 283
%242 = and i32 %241, 65535
br i1 %187, label %243, label %277
243: ; preds = %235
%244 = icmp eq i32 %242, 0
%245 = zext i32 %242 to i64
%246 = getelementptr inbounds [283 x i16], [283 x i16]* %7, i64 0, i64 %245
br label %247
247: ; preds = %243, %270
%248 = phi i64 [ 0, %243 ], [ %275, %270 ]
%249 = add nsw i64 %248, %184
%250 = add nsw i64 %249, 1
%251 = getelementptr inbounds i32, i32* %2, i64 %250
%252 = load i32, i32* %251
%253 = add nsw i32 %252, 283
br i1 %244, label %270, label %254
254: ; preds = %247
%255 = sub nsw i64 %195, %248
%256 = getelementptr inbounds [283 x i16], [283 x i16]* %5, i64 0, i64 %255
%257 = load i16, i16* %256
%258 = icmp eq i16 %257, 0
br i1 %258, label %270, label %259
259: ; preds = %254
%260 = load i16, i16* %246
%261 = zext i16 %260 to i64
%262 = zext i16 %257 to i64
%263 = getelementptr inbounds [283 x i16], [283 x i16]* %7, i64 0, i64 %262
%264 = load i16, i16* %263
%265 = zext i16 %264 to i64
%266 = add nuw nsw i64 %265, %261
%267 = getelementptr inbounds [564 x i16], [564 x i16]* %6, i64 0, i64 %266
%268 = load i16, i16* %267
%269 = zext i16 %268 to i32
br label %270
270: ; preds = %247, %254, %259
%271 = phi i32 [ %269, %259 ], [ 0, %254 ], [ 0, %247 ]
%272 = sub i32 %253, %271
%273 = srem i32 %272, 283
%274 = getelementptr inbounds i32, i32* %2, i64 %249
store i32 %273, i32* %274
%275 = add nuw nsw i64 %248, 1
%276 = icmp eq i64 %275, %198
br i1 %276, label %277, label %247
277: ; preds = %270, %235
%278 = icmp eq i32 %242, 0
%279 = select i1 %278, i1 true, i1 %189
br i1 %279, label %291, label %280
280: ; preds = %277
%281 = zext i32 %242 to i64
%282 = getelementptr inbounds [283 x i16], [283 x i16]* %7, i64 0, i64 %281
%283 = load i16, i16* %282
%284 = zext i16 %283 to i64
%285 = load i16, i16* %191
%286 = zext i16 %285 to i64
%287 = add nuw nsw i64 %286, %284
%288 = getelementptr inbounds [564 x i16], [564 x i16]* %6, i64 0, i64 %287
%289 = load i16, i16* %288
%290 = zext i16 %289 to i32
br label %291
291: ; preds = %277, %280
%292 = phi i32 [ %290, %280 ], [ 0, %277 ]
%293 = sub nsw i32 283, %292
%294 = srem i32 %293, 283
store i32 %294, i32* %194
%295 = add nsw i64 %236, 1
%296 = icmp slt i64 %295, %184
br i1 %296, label %235, label %199
297: ; preds = %233, %297
%298 = phi i64 [ %303, %297 ], [ %234, %233 ]
%299 = getelementptr inbounds i32, i32* %2, i64 %298
%300 = load i32, i32* %299
%301 = sub nsw i32 283, %300
%302 = srem i32 %301, 283
store i32 %302, i32* %299
%303 = add nsw i64 %298, 1
%304 = icmp slt i64 %303, %205
br i1 %304, label %297, label %305
305: ; preds = %297, %231, %199
ret void
}