void SKP_Silk_decode_short_term_prediction(int *vec_Q10, int *pres_Q10,
                                           int *sLPC_Q14, short *A_Q12_tmp,
                                           int LPC_order, int subfr_length) {
  int i;
  int LPC_pred_Q10;
  int Atmp;
  if (LPC_order == 16) {
    for (i = 0; i < subfr_length; i++) {
      Atmp = *((int *)&A_Q12_tmp[0]);
      LPC_pred_Q10 =
          ((((sLPC_Q14[16 + i - 1]) >> 16) * (int)((short)(Atmp))) +
           ((((sLPC_Q14[16 + i - 1]) & 0x0000FFFF) * (int)((short)(Atmp))) >>
            16));
      LPC_pred_Q10 =
          ((LPC_pred_Q10) + (((sLPC_Q14[16 + i - 2]) >> 16) * ((Atmp) >> 16)) +
           ((((sLPC_Q14[16 + i - 2]) & 0x0000FFFF) * ((Atmp) >> 16)) >> 16));
      Atmp = *((int *)&A_Q12_tmp[2]);
      LPC_pred_Q10 =
          ((LPC_pred_Q10) +
           ((((sLPC_Q14[16 + i - 3]) >> 16) * (int)((short)(Atmp))) +
            ((((sLPC_Q14[16 + i - 3]) & 0x0000FFFF) * (int)((short)(Atmp))) >>
             16)));
      LPC_pred_Q10 =
          ((LPC_pred_Q10) + (((sLPC_Q14[16 + i - 4]) >> 16) * ((Atmp) >> 16)) +
           ((((sLPC_Q14[16 + i - 4]) & 0x0000FFFF) * ((Atmp) >> 16)) >> 16));
      Atmp = *((int *)&A_Q12_tmp[4]);
      LPC_pred_Q10 =
          ((LPC_pred_Q10) +
           ((((sLPC_Q14[16 + i - 5]) >> 16) * (int)((short)(Atmp))) +
            ((((sLPC_Q14[16 + i - 5]) & 0x0000FFFF) * (int)((short)(Atmp))) >>
             16)));
      LPC_pred_Q10 =
          ((LPC_pred_Q10) + (((sLPC_Q14[16 + i - 6]) >> 16) * ((Atmp) >> 16)) +
           ((((sLPC_Q14[16 + i - 6]) & 0x0000FFFF) * ((Atmp) >> 16)) >> 16));
      Atmp = *((int *)&A_Q12_tmp[6]);
      LPC_pred_Q10 =
          ((LPC_pred_Q10) +
           ((((sLPC_Q14[16 + i - 7]) >> 16) * (int)((short)(Atmp))) +
            ((((sLPC_Q14[16 + i - 7]) & 0x0000FFFF) * (int)((short)(Atmp))) >>
             16)));
      LPC_pred_Q10 =
          ((LPC_pred_Q10) + (((sLPC_Q14[16 + i - 8]) >> 16) * ((Atmp) >> 16)) +
           ((((sLPC_Q14[16 + i - 8]) & 0x0000FFFF) * ((Atmp) >> 16)) >> 16));
      Atmp = *((int *)&A_Q12_tmp[8]);
      LPC_pred_Q10 =
          ((LPC_pred_Q10) +
           ((((sLPC_Q14[16 + i - 9]) >> 16) * (int)((short)(Atmp))) +
            ((((sLPC_Q14[16 + i - 9]) & 0x0000FFFF) * (int)((short)(Atmp))) >>
             16)));
      LPC_pred_Q10 =
          ((LPC_pred_Q10) + (((sLPC_Q14[16 + i - 10]) >> 16) * ((Atmp) >> 16)) +
           ((((sLPC_Q14[16 + i - 10]) & 0x0000FFFF) * ((Atmp) >> 16)) >> 16));
      Atmp = *((int *)&A_Q12_tmp[10]);
      LPC_pred_Q10 =
          ((LPC_pred_Q10) +
           ((((sLPC_Q14[16 + i - 11]) >> 16) * (int)((short)(Atmp))) +
            ((((sLPC_Q14[16 + i - 11]) & 0x0000FFFF) * (int)((short)(Atmp))) >>
             16)));
      LPC_pred_Q10 =
          ((LPC_pred_Q10) + (((sLPC_Q14[16 + i - 12]) >> 16) * ((Atmp) >> 16)) +
           ((((sLPC_Q14[16 + i - 12]) & 0x0000FFFF) * ((Atmp) >> 16)) >> 16));
      Atmp = *((int *)&A_Q12_tmp[12]);
      LPC_pred_Q10 =
          ((LPC_pred_Q10) +
           ((((sLPC_Q14[16 + i - 13]) >> 16) * (int)((short)(Atmp))) +
            ((((sLPC_Q14[16 + i - 13]) & 0x0000FFFF) * (int)((short)(Atmp))) >>
             16)));
      LPC_pred_Q10 =
          ((LPC_pred_Q10) + (((sLPC_Q14[16 + i - 14]) >> 16) * ((Atmp) >> 16)) +
           ((((sLPC_Q14[16 + i - 14]) & 0x0000FFFF) * ((Atmp) >> 16)) >> 16));
      Atmp = *((int *)&A_Q12_tmp[14]);
      LPC_pred_Q10 =
          ((LPC_pred_Q10) +
           ((((sLPC_Q14[16 + i - 15]) >> 16) * (int)((short)(Atmp))) +
            ((((sLPC_Q14[16 + i - 15]) & 0x0000FFFF) * (int)((short)(Atmp))) >>
             16)));
      LPC_pred_Q10 =
          ((LPC_pred_Q10) + (((sLPC_Q14[16 + i - 16]) >> 16) * ((Atmp) >> 16)) +
           ((((sLPC_Q14[16 + i - 16]) & 0x0000FFFF) * ((Atmp) >> 16)) >> 16));
      vec_Q10[i] = ((pres_Q10[i]) + (LPC_pred_Q10));
      sLPC_Q14[16 + i] = ((vec_Q10[i]) << (4));
    }
  } else {
    ;
    for (i = 0; i < subfr_length; i++) {
      Atmp = *((int *)&A_Q12_tmp[0]);
      LPC_pred_Q10 =
          ((((sLPC_Q14[16 + i - 1]) >> 16) * (int)((short)(Atmp))) +
           ((((sLPC_Q14[16 + i - 1]) & 0x0000FFFF) * (int)((short)(Atmp))) >>
            16));
      LPC_pred_Q10 =
          ((LPC_pred_Q10) + (((sLPC_Q14[16 + i - 2]) >> 16) * ((Atmp) >> 16)) +
           ((((sLPC_Q14[16 + i - 2]) & 0x0000FFFF) * ((Atmp) >> 16)) >> 16));
      Atmp = *((int *)&A_Q12_tmp[2]);
      LPC_pred_Q10 =
          ((LPC_pred_Q10) +
           ((((sLPC_Q14[16 + i - 3]) >> 16) * (int)((short)(Atmp))) +
            ((((sLPC_Q14[16 + i - 3]) & 0x0000FFFF) * (int)((short)(Atmp))) >>
             16)));
      LPC_pred_Q10 =
          ((LPC_pred_Q10) + (((sLPC_Q14[16 + i - 4]) >> 16) * ((Atmp) >> 16)) +
           ((((sLPC_Q14[16 + i - 4]) & 0x0000FFFF) * ((Atmp) >> 16)) >> 16));
      Atmp = *((int *)&A_Q12_tmp[4]);
      LPC_pred_Q10 =
          ((LPC_pred_Q10) +
           ((((sLPC_Q14[16 + i - 5]) >> 16) * (int)((short)(Atmp))) +
            ((((sLPC_Q14[16 + i - 5]) & 0x0000FFFF) * (int)((short)(Atmp))) >>
             16)));
      LPC_pred_Q10 =
          ((LPC_pred_Q10) + (((sLPC_Q14[16 + i - 6]) >> 16) * ((Atmp) >> 16)) +
           ((((sLPC_Q14[16 + i - 6]) & 0x0000FFFF) * ((Atmp) >> 16)) >> 16));
      Atmp = *((int *)&A_Q12_tmp[6]);
      LPC_pred_Q10 =
          ((LPC_pred_Q10) +
           ((((sLPC_Q14[16 + i - 7]) >> 16) * (int)((short)(Atmp))) +
            ((((sLPC_Q14[16 + i - 7]) & 0x0000FFFF) * (int)((short)(Atmp))) >>
             16)));
      LPC_pred_Q10 =
          ((LPC_pred_Q10) + (((sLPC_Q14[16 + i - 8]) >> 16) * ((Atmp) >> 16)) +
           ((((sLPC_Q14[16 + i - 8]) & 0x0000FFFF) * ((Atmp) >> 16)) >> 16));
      Atmp = *((int *)&A_Q12_tmp[8]);
      LPC_pred_Q10 =
          ((LPC_pred_Q10) +
           ((((sLPC_Q14[16 + i - 9]) >> 16) * (int)((short)(Atmp))) +
            ((((sLPC_Q14[16 + i - 9]) & 0x0000FFFF) * (int)((short)(Atmp))) >>
             16)));
      LPC_pred_Q10 =
          ((LPC_pred_Q10) + (((sLPC_Q14[16 + i - 10]) >> 16) * ((Atmp) >> 16)) +
           ((((sLPC_Q14[16 + i - 10]) & 0x0000FFFF) * ((Atmp) >> 16)) >> 16));
      vec_Q10[i] = ((pres_Q10[i]) + (LPC_pred_Q10));
      sLPC_Q14[16 + i] = ((vec_Q10[i]) << (4));
    }
  }
}


x86 assembly (clang, -O0):
<SKP_Silk_decode_short_term_prediction>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8d,-0x24(%rbp)
mov    %r9d,-0x28(%rbp)
cmpl   $0x10,-0x24(%rbp)
jne    16ad <SKP_Silk_decode_short_term_prediction+0x5ad>
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x28(%rbp),%eax
jge    16a8 <SKP_Silk_decode_short_term_prediction+0x5a8>
mov    -0x20(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x34(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    $0x10,%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
sar    $0x10,%eax
mov    -0x34(%rbp),%ecx
movswl %cx,%ecx
imul   %ecx,%eax
mov    -0x18(%rbp),%rcx
mov    -0x2c(%rbp),%edx
add    $0x10,%edx
sub    $0x1,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
and    $0xffff,%ecx
mov    -0x34(%rbp),%edx
movswl %dx,%edx
imul   %edx,%ecx
sar    $0x10,%ecx
add    %ecx,%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
mov    -0x18(%rbp),%rcx
mov    -0x2c(%rbp),%edx
add    $0x10,%edx
sub    $0x2,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
sar    $0x10,%ecx
mov    -0x34(%rbp),%edx
sar    $0x10,%edx
imul   %edx,%ecx
add    %ecx,%eax
mov    -0x18(%rbp),%rcx
mov    -0x2c(%rbp),%edx
add    $0x10,%edx
sub    $0x2,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
and    $0xffff,%ecx
mov    -0x34(%rbp),%edx
sar    $0x10,%edx
imul   %edx,%ecx
sar    $0x10,%ecx
add    %ecx,%eax
mov    %eax,-0x30(%rbp)
mov    -0x20(%rbp),%rax
mov    0x4(%rax),%eax
mov    %eax,-0x34(%rbp)
mov    -0x30(%rbp),%eax
mov    -0x18(%rbp),%rcx
mov    -0x2c(%rbp),%edx
add    $0x10,%edx
sub    $0x3,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
sar    $0x10,%ecx
mov    -0x34(%rbp),%edx
movswl %dx,%edx
imul   %edx,%ecx
mov    -0x18(%rbp),%rdx
mov    -0x2c(%rbp),%esi
add    $0x10,%esi
sub    $0x3,%esi
movslq %esi,%rsi
mov    (%rdx,%rsi,4),%edx
and    $0xffff,%edx
mov    -0x34(%rbp),%esi
movswl %si,%esi
imul   %esi,%edx
sar    $0x10,%edx
add    %edx,%ecx
add    %ecx,%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
mov    -0x18(%rbp),%rcx
mov    -0x2c(%rbp),%edx
add    $0x10,%edx
sub    $0x4,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
sar    $0x10,%ecx
mov    -0x34(%rbp),%edx
sar    $0x10,%edx
imul   %edx,%ecx
add    %ecx,%eax
mov    -0x18(%rbp),%rcx
mov    -0x2c(%rbp),%edx
add    $0x10,%edx
sub    $0x4,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
and    $0xffff,%ecx
mov    -0x34(%rbp),%edx
sar    $0x10,%edx
imul   %edx,%ecx
sar    $0x10,%ecx
add    %ecx,%eax
mov    %eax,-0x30(%rbp)
mov    -0x20(%rbp),%rax
mov    0x8(%rax),%eax
mov    %eax,-0x34(%rbp)
mov    -0x30(%rbp),%eax
mov    -0x18(%rbp),%rcx
mov    -0x2c(%rbp),%edx
add    $0x10,%edx
sub    $0x5,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
sar    $0x10,%ecx
mov    -0x34(%rbp),%edx
movswl %dx,%edx
imul   %edx,%ecx
mov    -0x18(%rbp),%rdx
mov    -0x2c(%rbp),%esi
add    $0x10,%esi
sub    $0x5,%esi
movslq %esi,%rsi
mov    (%rdx,%rsi,4),%edx
and    $0xffff,%edx
mov    -0x34(%rbp),%esi
movswl %si,%esi
imul   %esi,%edx
sar    $0x10,%edx
add    %edx,%ecx
add    %ecx,%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
mov    -0x18(%rbp),%rcx
mov    -0x2c(%rbp),%edx
add    $0x10,%edx
sub    $0x6,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
sar    $0x10,%ecx
mov    -0x34(%rbp),%edx
sar    $0x10,%edx
imul   %edx,%ecx
add    %ecx,%eax
mov    -0x18(%rbp),%rcx
mov    -0x2c(%rbp),%edx
add    $0x10,%edx
sub    $0x6,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
and    $0xffff,%ecx
mov    -0x34(%rbp),%edx
sar    $0x10,%edx
imul   %edx,%ecx
sar    $0x10,%ecx
add    %ecx,%eax
mov    %eax,-0x30(%rbp)
mov    -0x20(%rbp),%rax
mov    0xc(%rax),%eax
mov    %eax,-0x34(%rbp)
mov    -0x30(%rbp),%eax
mov    -0x18(%rbp),%rcx
mov    -0x2c(%rbp),%edx
add    $0x10,%edx
sub    $0x7,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
sar    $0x10,%ecx
mov    -0x34(%rbp),%edx
movswl %dx,%edx
imul   %edx,%ecx
mov    -0x18(%rbp),%rdx
mov    -0x2c(%rbp),%esi
add    $0x10,%esi
sub    $0x7,%esi
movslq %esi,%rsi
mov    (%rdx,%rsi,4),%edx
and    $0xffff,%edx
mov    -0x34(%rbp),%esi
movswl %si,%esi
imul   %esi,%edx
sar    $0x10,%edx
add    %edx,%ecx
add    %ecx,%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
mov    -0x18(%rbp),%rcx
mov    -0x2c(%rbp),%edx
add    $0x10,%edx
sub    $0x8,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
sar    $0x10,%ecx
mov    -0x34(%rbp),%edx
sar    $0x10,%edx
imul   %edx,%ecx
add    %ecx,%eax
mov    -0x18(%rbp),%rcx
mov    -0x2c(%rbp),%edx
add    $0x10,%edx
sub    $0x8,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
and    $0xffff,%ecx
mov    -0x34(%rbp),%edx
sar    $0x10,%edx
imul   %edx,%ecx
sar    $0x10,%ecx
add    %ecx,%eax
mov    %eax,-0x30(%rbp)
mov    -0x20(%rbp),%rax
mov    0x10(%rax),%eax
mov    %eax,-0x34(%rbp)
mov    -0x30(%rbp),%eax
mov    -0x18(%rbp),%rcx
mov    -0x2c(%rbp),%edx
add    $0x10,%edx
sub    $0x9,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
sar    $0x10,%ecx
mov    -0x34(%rbp),%edx
movswl %dx,%edx
imul   %edx,%ecx
mov    -0x18(%rbp),%rdx
mov    -0x2c(%rbp),%esi
add    $0x10,%esi
sub    $0x9,%esi
movslq %esi,%rsi
mov    (%rdx,%rsi,4),%edx
and    $0xffff,%edx
mov    -0x34(%rbp),%esi
movswl %si,%esi
imul   %esi,%edx
sar    $0x10,%edx
add    %edx,%ecx
add    %ecx,%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
mov    -0x18(%rbp),%rcx
mov    -0x2c(%rbp),%edx
add    $0x10,%edx
sub    $0xa,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
sar    $0x10,%ecx
mov    -0x34(%rbp),%edx
sar    $0x10,%edx
imul   %edx,%ecx
add    %ecx,%eax
mov    -0x18(%rbp),%rcx
mov    -0x2c(%rbp),%edx
add    $0x10,%edx
sub    $0xa,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
and    $0xffff,%ecx
mov    -0x34(%rbp),%edx
sar    $0x10,%edx
imul   %edx,%ecx
sar    $0x10,%ecx
add    %ecx,%eax
mov    %eax,-0x30(%rbp)
mov    -0x20(%rbp),%rax
mov    0x14(%rax),%eax
mov    %eax,-0x34(%rbp)
mov    -0x30(%rbp),%eax
mov    -0x18(%rbp),%rcx
mov    -0x2c(%rbp),%edx
add    $0x10,%edx
sub    $0xb,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
sar    $0x10,%ecx
mov    -0x34(%rbp),%edx
movswl %dx,%edx
imul   %edx,%ecx
mov    -0x18(%rbp),%rdx
mov    -0x2c(%rbp),%esi
add    $0x10,%esi
sub    $0xb,%esi
movslq %esi,%rsi
mov    (%rdx,%rsi,4),%edx
and    $0xffff,%edx
mov    -0x34(%rbp),%esi
movswl %si,%esi
imul   %esi,%edx
sar    $0x10,%edx
add    %edx,%ecx
add    %ecx,%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
mov    -0x18(%rbp),%rcx
mov    -0x2c(%rbp),%edx
add    $0x10,%edx
sub    $0xc,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
sar    $0x10,%ecx
mov    -0x34(%rbp),%edx
sar    $0x10,%edx
imul   %edx,%ecx
add    %ecx,%eax
mov    -0x18(%rbp),%rcx
mov    -0x2c(%rbp),%edx
add    $0x10,%edx
sub    $0xc,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
and    $0xffff,%ecx
mov    -0x34(%rbp),%edx
sar    $0x10,%edx
imul   %edx,%ecx
sar    $0x10,%ecx
add    %ecx,%eax
mov    %eax,-0x30(%rbp)
mov    -0x20(%rbp),%rax
mov    0x18(%rax),%eax
mov    %eax,-0x34(%rbp)
mov    -0x30(%rbp),%eax
mov    -0x18(%rbp),%rcx
mov    -0x2c(%rbp),%edx
add    $0x10,%edx
sub    $0xd,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
sar    $0x10,%ecx
mov    -0x34(%rbp),%edx
movswl %dx,%edx
imul   %edx,%ecx
mov    -0x18(%rbp),%rdx
mov    -0x2c(%rbp),%esi
add    $0x10,%esi
sub    $0xd,%esi
movslq %esi,%rsi
mov    (%rdx,%rsi,4),%edx
and    $0xffff,%edx
mov    -0x34(%rbp),%esi
movswl %si,%esi
imul   %esi,%edx
sar    $0x10,%edx
add    %edx,%ecx
add    %ecx,%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
mov    -0x18(%rbp),%rcx
mov    -0x2c(%rbp),%edx
add    $0x10,%edx
sub    $0xe,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
sar    $0x10,%ecx
mov    -0x34(%rbp),%edx
sar    $0x10,%edx
imul   %edx,%ecx
add    %ecx,%eax
mov    -0x18(%rbp),%rcx
mov    -0x2c(%rbp),%edx
add    $0x10,%edx
sub    $0xe,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
and    $0xffff,%ecx
mov    -0x34(%rbp),%edx
sar    $0x10,%edx
imul   %edx,%ecx
sar    $0x10,%ecx
add    %ecx,%eax
mov    %eax,-0x30(%rbp)
mov    -0x20(%rbp),%rax
mov    0x1c(%rax),%eax
mov    %eax,-0x34(%rbp)
mov    -0x30(%rbp),%eax
mov    -0x18(%rbp),%rcx
mov    -0x2c(%rbp),%edx
add    $0x10,%edx
sub    $0xf,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
sar    $0x10,%ecx
mov    -0x34(%rbp),%edx
movswl %dx,%edx
imul   %edx,%ecx
mov    -0x18(%rbp),%rdx
mov    -0x2c(%rbp),%esi
add    $0x10,%esi
sub    $0xf,%esi
movslq %esi,%rsi
mov    (%rdx,%rsi,4),%edx
and    $0xffff,%edx
mov    -0x34(%rbp),%esi
movswl %si,%esi
imul   %esi,%edx
sar    $0x10,%edx
add    %edx,%ecx
add    %ecx,%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
mov    -0x18(%rbp),%rcx
mov    -0x2c(%rbp),%edx
add    $0x10,%edx
sub    $0x10,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
sar    $0x10,%ecx
mov    -0x34(%rbp),%edx
sar    $0x10,%edx
imul   %edx,%ecx
add    %ecx,%eax
mov    -0x18(%rbp),%rcx
mov    -0x2c(%rbp),%edx
add    $0x10,%edx
sub    $0x10,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
and    $0xffff,%ecx
mov    -0x34(%rbp),%edx
sar    $0x10,%edx
imul   %edx,%ecx
sar    $0x10,%ecx
add    %ecx,%eax
mov    %eax,-0x30(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
add    -0x30(%rbp),%edx
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
shl    $0x4,%edx
mov    -0x18(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    $0x10,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    112d <SKP_Silk_decode_short_term_prediction+0x2d>
jmp    1a42 <SKP_Silk_decode_short_term_prediction+0x942>
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x28(%rbp),%eax
jge    1a3d <SKP_Silk_decode_short_term_prediction+0x93d>
mov    -0x20(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x34(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    $0x10,%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
sar    $0x10,%eax
mov    -0x34(%rbp),%ecx
movswl %cx,%ecx
imul   %ecx,%eax
mov    -0x18(%rbp),%rcx
mov    -0x2c(%rbp),%edx
add    $0x10,%edx
sub    $0x1,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
and    $0xffff,%ecx
mov    -0x34(%rbp),%edx
movswl %dx,%edx
imul   %edx,%ecx
sar    $0x10,%ecx
add    %ecx,%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
mov    -0x18(%rbp),%rcx
mov    -0x2c(%rbp),%edx
add    $0x10,%edx
sub    $0x2,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
sar    $0x10,%ecx
mov    -0x34(%rbp),%edx
sar    $0x10,%edx
imul   %edx,%ecx
add    %ecx,%eax
mov    -0x18(%rbp),%rcx
mov    -0x2c(%rbp),%edx
add    $0x10,%edx
sub    $0x2,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
and    $0xffff,%ecx
mov    -0x34(%rbp),%edx
sar    $0x10,%edx
imul   %edx,%ecx
sar    $0x10,%ecx
add    %ecx,%eax
mov    %eax,-0x30(%rbp)
mov    -0x20(%rbp),%rax
mov    0x4(%rax),%eax
mov    %eax,-0x34(%rbp)
mov    -0x30(%rbp),%eax
mov    -0x18(%rbp),%rcx
mov    -0x2c(%rbp),%edx
add    $0x10,%edx
sub    $0x3,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
sar    $0x10,%ecx
mov    -0x34(%rbp),%edx
movswl %dx,%edx
imul   %edx,%ecx
mov    -0x18(%rbp),%rdx
mov    -0x2c(%rbp),%esi
add    $0x10,%esi
sub    $0x3,%esi
movslq %esi,%rsi
mov    (%rdx,%rsi,4),%edx
and    $0xffff,%edx
mov    -0x34(%rbp),%esi
movswl %si,%esi
imul   %esi,%edx
sar    $0x10,%edx
add    %edx,%ecx
add    %ecx,%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
mov    -0x18(%rbp),%rcx
mov    -0x2c(%rbp),%edx
add    $0x10,%edx
sub    $0x4,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
sar    $0x10,%ecx
mov    -0x34(%rbp),%edx
sar    $0x10,%edx
imul   %edx,%ecx
add    %ecx,%eax
mov    -0x18(%rbp),%rcx
mov    -0x2c(%rbp),%edx
add    $0x10,%edx
sub    $0x4,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
and    $0xffff,%ecx
mov    -0x34(%rbp),%edx
sar    $0x10,%edx
imul   %edx,%ecx
sar    $0x10,%ecx
add    %ecx,%eax
mov    %eax,-0x30(%rbp)
mov    -0x20(%rbp),%rax
mov    0x8(%rax),%eax
mov    %eax,-0x34(%rbp)
mov    -0x30(%rbp),%eax
mov    -0x18(%rbp),%rcx
mov    -0x2c(%rbp),%edx
add    $0x10,%edx
sub    $0x5,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
sar    $0x10,%ecx
mov    -0x34(%rbp),%edx
movswl %dx,%edx
imul   %edx,%ecx
mov    -0x18(%rbp),%rdx
mov    -0x2c(%rbp),%esi
add    $0x10,%esi
sub    $0x5,%esi
movslq %esi,%rsi
mov    (%rdx,%rsi,4),%edx
and    $0xffff,%edx
mov    -0x34(%rbp),%esi
movswl %si,%esi
imul   %esi,%edx
sar    $0x10,%edx
add    %edx,%ecx
add    %ecx,%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
mov    -0x18(%rbp),%rcx
mov    -0x2c(%rbp),%edx
add    $0x10,%edx
sub    $0x6,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
sar    $0x10,%ecx
mov    -0x34(%rbp),%edx
sar    $0x10,%edx
imul   %edx,%ecx
add    %ecx,%eax
mov    -0x18(%rbp),%rcx
mov    -0x2c(%rbp),%edx
add    $0x10,%edx
sub    $0x6,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
and    $0xffff,%ecx
mov    -0x34(%rbp),%edx
sar    $0x10,%edx
imul   %edx,%ecx
sar    $0x10,%ecx
add    %ecx,%eax
mov    %eax,-0x30(%rbp)
mov    -0x20(%rbp),%rax
mov    0xc(%rax),%eax
mov    %eax,-0x34(%rbp)
mov    -0x30(%rbp),%eax
mov    -0x18(%rbp),%rcx
mov    -0x2c(%rbp),%edx
add    $0x10,%edx
sub    $0x7,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
sar    $0x10,%ecx
mov    -0x34(%rbp),%edx
movswl %dx,%edx
imul   %edx,%ecx
mov    -0x18(%rbp),%rdx
mov    -0x2c(%rbp),%esi
add    $0x10,%esi
sub    $0x7,%esi
movslq %esi,%rsi
mov    (%rdx,%rsi,4),%edx
and    $0xffff,%edx
mov    -0x34(%rbp),%esi
movswl %si,%esi
imul   %esi,%edx
sar    $0x10,%edx
add    %edx,%ecx
add    %ecx,%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
mov    -0x18(%rbp),%rcx
mov    -0x2c(%rbp),%edx
add    $0x10,%edx
sub    $0x8,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
sar    $0x10,%ecx
mov    -0x34(%rbp),%edx
sar    $0x10,%edx
imul   %edx,%ecx
add    %ecx,%eax
mov    -0x18(%rbp),%rcx
mov    -0x2c(%rbp),%edx
add    $0x10,%edx
sub    $0x8,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
and    $0xffff,%ecx
mov    -0x34(%rbp),%edx
sar    $0x10,%edx
imul   %edx,%ecx
sar    $0x10,%ecx
add    %ecx,%eax
mov    %eax,-0x30(%rbp)
mov    -0x20(%rbp),%rax
mov    0x10(%rax),%eax
mov    %eax,-0x34(%rbp)
mov    -0x30(%rbp),%eax
mov    -0x18(%rbp),%rcx
mov    -0x2c(%rbp),%edx
add    $0x10,%edx
sub    $0x9,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
sar    $0x10,%ecx
mov    -0x34(%rbp),%edx
movswl %dx,%edx
imul   %edx,%ecx
mov    -0x18(%rbp),%rdx
mov    -0x2c(%rbp),%esi
add    $0x10,%esi
sub    $0x9,%esi
movslq %esi,%rsi
mov    (%rdx,%rsi,4),%edx
and    $0xffff,%edx
mov    -0x34(%rbp),%esi
movswl %si,%esi
imul   %esi,%edx
sar    $0x10,%edx
add    %edx,%ecx
add    %ecx,%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
mov    -0x18(%rbp),%rcx
mov    -0x2c(%rbp),%edx
add    $0x10,%edx
sub    $0xa,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
sar    $0x10,%ecx
mov    -0x34(%rbp),%edx
sar    $0x10,%edx
imul   %edx,%ecx
add    %ecx,%eax
mov    -0x18(%rbp),%rcx
mov    -0x2c(%rbp),%edx
add    $0x10,%edx
sub    $0xa,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
and    $0xffff,%ecx
mov    -0x34(%rbp),%edx
sar    $0x10,%edx
imul   %edx,%ecx
sar    $0x10,%ecx
add    %ecx,%eax
mov    %eax,-0x30(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
add    -0x30(%rbp),%edx
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
shl    $0x4,%edx
mov    -0x18(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    $0x10,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    16b4 <SKP_Silk_decode_short_term_prediction+0x5b4>
jmp    1a42 <SKP_Silk_decode_short_term_prediction+0x942>
pop    %rbp
ret

x86 assembly (clang, -O2):
<SKP_Silk_decode_short_term_prediction>:
push   %rbp
push   %r14
push   %rbx
cmp    $0x10,%r8d
jne    134c <SKP_Silk_decode_short_term_prediction+0x24c>
test   %r9d,%r9d
jle    14bf <SKP_Silk_decode_short_term_prediction+0x3bf>
mov    %r9d,%r8d
mov    0x3c(%rdx),%eax
xor    %r9d,%r9d
movzwl %ax,%r10d
sar    $0x10,%eax
mov    (%rcx),%ebx
mov    0x4(%rcx),%r11d
movswl %bx,%ebp
imul   %ebp,%eax
imul   %ebp,%r10d
sar    $0x10,%r10d
add    %eax,%r10d
mov    0x38(%rdx,%r9,4),%eax
movzwl %ax,%ebp
sar    $0x10,%eax
sar    $0x10,%ebx
imul   %ebx,%eax
add    %r10d,%eax
imul   %ebx,%ebp
sar    $0x10,%ebp
add    %eax,%ebp
mov    0x34(%rdx,%r9,4),%eax
movzwl %ax,%ebx
sar    $0x10,%eax
movswl %r11w,%r10d
imul   %r10d,%eax
add    %ebp,%eax
imul   %r10d,%ebx
sar    $0x10,%ebx
add    %eax,%ebx
mov    0x30(%rdx,%r9,4),%eax
movzwl %ax,%ebp
sar    $0x10,%eax
sar    $0x10,%r11d
imul   %r11d,%eax
add    %ebx,%eax
imul   %r11d,%ebp
sar    $0x10,%ebp
add    %eax,%ebp
mov    0x8(%rcx),%r11d
mov    0x2c(%rdx,%r9,4),%r10d
movzwl %r10w,%ebx
sar    $0x10,%r10d
movswl %r11w,%eax
imul   %eax,%r10d
add    %ebp,%r10d
imul   %eax,%ebx
sar    $0x10,%ebx
add    %r10d,%ebx
mov    0x28(%rdx,%r9,4),%eax
movzwl %ax,%ebp
sar    $0x10,%eax
sar    $0x10,%r11d
imul   %r11d,%eax
add    %ebx,%eax
imul   %r11d,%ebp
sar    $0x10,%ebp
add    %eax,%ebp
mov    0xc(%rcx),%r11d
mov    0x24(%rdx,%r9,4),%r10d
movzwl %r10w,%ebx
sar    $0x10,%r10d
movswl %r11w,%eax
imul   %eax,%r10d
add    %ebp,%r10d
imul   %eax,%ebx
sar    $0x10,%ebx
add    %r10d,%ebx
mov    0x20(%rdx,%r9,4),%eax
movzwl %ax,%ebp
sar    $0x10,%eax
sar    $0x10,%r11d
imul   %r11d,%eax
add    %ebx,%eax
imul   %r11d,%ebp
sar    $0x10,%ebp
add    %eax,%ebp
mov    0x10(%rcx),%r11d
mov    0x1c(%rdx,%r9,4),%r10d
movzwl %r10w,%ebx
sar    $0x10,%r10d
movswl %r11w,%eax
imul   %eax,%r10d
add    %ebp,%r10d
imul   %eax,%ebx
sar    $0x10,%ebx
add    %r10d,%ebx
mov    0x18(%rdx,%r9,4),%eax
movzwl %ax,%ebp
sar    $0x10,%eax
sar    $0x10,%r11d
imul   %r11d,%eax
add    %ebx,%eax
imul   %r11d,%ebp
sar    $0x10,%ebp
add    %eax,%ebp
mov    0x14(%rcx),%r11d
mov    0x14(%rdx,%r9,4),%r10d
movzwl %r10w,%ebx
sar    $0x10,%r10d
movswl %r11w,%eax
imul   %eax,%r10d
add    %ebp,%r10d
imul   %eax,%ebx
sar    $0x10,%ebx
add    %r10d,%ebx
mov    0x10(%rdx,%r9,4),%eax
movzwl %ax,%ebp
sar    $0x10,%eax
sar    $0x10,%r11d
imul   %r11d,%eax
add    %ebx,%eax
imul   %r11d,%ebp
sar    $0x10,%ebp
add    %eax,%ebp
mov    0x18(%rcx),%r11d
mov    0xc(%rdx,%r9,4),%r10d
movzwl %r10w,%ebx
sar    $0x10,%r10d
movswl %r11w,%eax
imul   %eax,%r10d
add    %ebp,%r10d
imul   %eax,%ebx
sar    $0x10,%ebx
add    %r10d,%ebx
mov    0x8(%rdx,%r9,4),%eax
movzwl %ax,%ebp
sar    $0x10,%eax
sar    $0x10,%r11d
imul   %r11d,%eax
add    %ebx,%eax
imul   %r11d,%ebp
sar    $0x10,%ebp
add    %eax,%ebp
mov    0x1c(%rcx),%r11d
mov    (%rdx,%r9,4),%r10d
mov    0x4(%rdx,%r9,4),%eax
movzwl %ax,%ebx
sar    $0x10,%eax
movswl %r11w,%r14d
imul   %r14d,%eax
add    %ebp,%eax
imul   %r14d,%ebx
sar    $0x10,%ebx
movzwl %r10w,%ebp
sar    $0x10,%r10d
sar    $0x10,%r11d
imul   %r11d,%r10d
imul   %r11d,%ebp
sar    $0x10,%ebp
add    (%rsi,%r9,4),%eax
add    %ebx,%eax
add    %r10d,%eax
add    %ebp,%eax
mov    %eax,(%rdi,%r9,4)
shl    $0x4,%eax
mov    %eax,0x40(%rdx,%r9,4)
lea    0x1(%r9),%rbp
mov    %rbp,%r9
cmp    %rbp,%r8
jne    1120 <SKP_Silk_decode_short_term_prediction+0x20>
jmp    14bf <SKP_Silk_decode_short_term_prediction+0x3bf>
test   %r9d,%r9d
jle    14bf <SKP_Silk_decode_short_term_prediction+0x3bf>
mov    %r9d,%r8d
mov    0x3c(%rdx),%eax
xor    %r9d,%r9d
xchg   %ax,%ax
movzwl %ax,%ebp
sar    $0x10,%eax
mov    (%rcx),%ebx
mov    0x4(%rcx),%r10d
movswl %bx,%r11d
imul   %r11d,%eax
imul   %r11d,%ebp
sar    $0x10,%ebp
add    %eax,%ebp
mov    0x38(%rdx,%r9,4),%r11d
movzwl %r11w,%eax
sar    $0x10,%r11d
sar    $0x10,%ebx
imul   %ebx,%r11d
add    %ebp,%r11d
imul   %ebx,%eax
sar    $0x10,%eax
add    %r11d,%eax
mov    0x34(%rdx,%r9,4),%ebp
movzwl %bp,%ebx
sar    $0x10,%ebp
movswl %r10w,%r11d
imul   %r11d,%ebp
add    %eax,%ebp
imul   %r11d,%ebx
sar    $0x10,%ebx
add    %ebp,%ebx
mov    0x30(%rdx,%r9,4),%eax
movzwl %ax,%ebp
sar    $0x10,%eax
sar    $0x10,%r10d
imul   %r10d,%eax
add    %ebx,%eax
imul   %r10d,%ebp
sar    $0x10,%ebp
add    %eax,%ebp
mov    0x8(%rcx),%r11d
mov    0x2c(%rdx,%r9,4),%r10d
movzwl %r10w,%ebx
sar    $0x10,%r10d
movswl %r11w,%eax
imul   %eax,%r10d
add    %ebp,%r10d
imul   %eax,%ebx
sar    $0x10,%ebx
add    %r10d,%ebx
mov    0x28(%rdx,%r9,4),%eax
movzwl %ax,%ebp
sar    $0x10,%eax
sar    $0x10,%r11d
imul   %r11d,%eax
add    %ebx,%eax
imul   %r11d,%ebp
sar    $0x10,%ebp
add    %eax,%ebp
mov    0xc(%rcx),%r11d
mov    0x24(%rdx,%r9,4),%r10d
movzwl %r10w,%ebx
sar    $0x10,%r10d
movswl %r11w,%eax
imul   %eax,%r10d
add    %ebp,%r10d
imul   %eax,%ebx
sar    $0x10,%ebx
add    %r10d,%ebx
mov    0x20(%rdx,%r9,4),%eax
movzwl %ax,%ebp
sar    $0x10,%eax
sar    $0x10,%r11d
imul   %r11d,%eax
add    %ebx,%eax
imul   %r11d,%ebp
sar    $0x10,%ebp
add    %eax,%ebp
mov    0x10(%rcx),%r11d
mov    0x18(%rdx,%r9,4),%r10d
mov    0x1c(%rdx,%r9,4),%eax
movzwl %ax,%ebx
sar    $0x10,%eax
movswl %r11w,%r14d
imul   %r14d,%eax
add    %ebp,%eax
imul   %r14d,%ebx
sar    $0x10,%ebx
movzwl %r10w,%ebp
sar    $0x10,%r10d
sar    $0x10,%r11d
imul   %r11d,%r10d
imul   %r11d,%ebp
sar    $0x10,%ebp
add    (%rsi,%r9,4),%eax
add    %ebx,%eax
add    %r10d,%eax
add    %ebp,%eax
mov    %eax,(%rdi,%r9,4)
shl    $0x4,%eax
mov    %eax,0x40(%rdx,%r9,4)
add    $0x1,%r9
cmp    %r9,%r8
jne    1360 <SKP_Silk_decode_short_term_prediction+0x260>
pop    %rbx
pop    %r14
pop    %rbp
ret

LLVM IR (-O0):
define void @SKP_Silk_decode_short_term_prediction(i32* %0, i32* %1, i32* %2, i16* %3, i32 %4, i32 %5) {
%7 = alloca i32*
%8 = alloca i32*
%9 = alloca i32*
%10 = alloca i16*
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
store i32* %0, i32** %7
store i32* %1, i32** %8
store i32* %2, i32** %9
store i16* %3, i16** %10
store i32 %4, i32* %11
store i32 %5, i32* %12
%16 = load i32, i32* %11
%17 = icmp eq i32 %16, 16
br i1 %17, label %18, label %512
18: ; preds = %6
store i32 0, i32* %13
br label %19
19: ; preds = %508, %18
%20 = load i32, i32* %13
%21 = load i32, i32* %12
%22 = icmp slt i32 %20, %21
br i1 %22, label %23, label %511
23: ; preds = %19
%24 = load i16*, i16** %10
%25 = getelementptr inbounds i16, i16* %24, i64 0
%26 = bitcast i16* %25 to i32*
%27 = load i32, i32* %26
store i32 %27, i32* %15
%28 = load i32*, i32** %9
%29 = load i32, i32* %13
%30 = add nsw i32 16, %29
%31 = sub nsw i32 %30, 1
%32 = sext i32 %31 to i64
%33 = getelementptr inbounds i32, i32* %28, i64 %32
%34 = load i32, i32* %33
%35 = ashr i32 %34, 16
%36 = load i32, i32* %15
%37 = trunc i32 %36 to i16
%38 = sext i16 %37 to i32
%39 = mul nsw i32 %35, %38
%40 = load i32*, i32** %9
%41 = load i32, i32* %13
%42 = add nsw i32 16, %41
%43 = sub nsw i32 %42, 1
%44 = sext i32 %43 to i64
%45 = getelementptr inbounds i32, i32* %40, i64 %44
%46 = load i32, i32* %45
%47 = and i32 %46, 65535
%48 = load i32, i32* %15
%49 = trunc i32 %48 to i16
%50 = sext i16 %49 to i32
%51 = mul nsw i32 %47, %50
%52 = ashr i32 %51, 16
%53 = add nsw i32 %39, %52
store i32 %53, i32* %14
%54 = load i32, i32* %14
%55 = load i32*, i32** %9
%56 = load i32, i32* %13
%57 = add nsw i32 16, %56
%58 = sub nsw i32 %57, 2
%59 = sext i32 %58 to i64
%60 = getelementptr inbounds i32, i32* %55, i64 %59
%61 = load i32, i32* %60
%62 = ashr i32 %61, 16
%63 = load i32, i32* %15
%64 = ashr i32 %63, 16
%65 = mul nsw i32 %62, %64
%66 = add nsw i32 %54, %65
%67 = load i32*, i32** %9
%68 = load i32, i32* %13
%69 = add nsw i32 16, %68
%70 = sub nsw i32 %69, 2
%71 = sext i32 %70 to i64
%72 = getelementptr inbounds i32, i32* %67, i64 %71
%73 = load i32, i32* %72
%74 = and i32 %73, 65535
%75 = load i32, i32* %15
%76 = ashr i32 %75, 16
%77 = mul nsw i32 %74, %76
%78 = ashr i32 %77, 16
%79 = add nsw i32 %66, %78
store i32 %79, i32* %14
%80 = load i16*, i16** %10
%81 = getelementptr inbounds i16, i16* %80, i64 2
%82 = bitcast i16* %81 to i32*
%83 = load i32, i32* %82
store i32 %83, i32* %15
%84 = load i32, i32* %14
%85 = load i32*, i32** %9
%86 = load i32, i32* %13
%87 = add nsw i32 16, %86
%88 = sub nsw i32 %87, 3
%89 = sext i32 %88 to i64
%90 = getelementptr inbounds i32, i32* %85, i64 %89
%91 = load i32, i32* %90
%92 = ashr i32 %91, 16
%93 = load i32, i32* %15
%94 = trunc i32 %93 to i16
%95 = sext i16 %94 to i32
%96 = mul nsw i32 %92, %95
%97 = load i32*, i32** %9
%98 = load i32, i32* %13
%99 = add nsw i32 16, %98
%100 = sub nsw i32 %99, 3
%101 = sext i32 %100 to i64
%102 = getelementptr inbounds i32, i32* %97, i64 %101
%103 = load i32, i32* %102
%104 = and i32 %103, 65535
%105 = load i32, i32* %15
%106 = trunc i32 %105 to i16
%107 = sext i16 %106 to i32
%108 = mul nsw i32 %104, %107
%109 = ashr i32 %108, 16
%110 = add nsw i32 %96, %109
%111 = add nsw i32 %84, %110
store i32 %111, i32* %14
%112 = load i32, i32* %14
%113 = load i32*, i32** %9
%114 = load i32, i32* %13
%115 = add nsw i32 16, %114
%116 = sub nsw i32 %115, 4
%117 = sext i32 %116 to i64
%118 = getelementptr inbounds i32, i32* %113, i64 %117
%119 = load i32, i32* %118
%120 = ashr i32 %119, 16
%121 = load i32, i32* %15
%122 = ashr i32 %121, 16
%123 = mul nsw i32 %120, %122
%124 = add nsw i32 %112, %123
%125 = load i32*, i32** %9
%126 = load i32, i32* %13
%127 = add nsw i32 16, %126
%128 = sub nsw i32 %127, 4
%129 = sext i32 %128 to i64
%130 = getelementptr inbounds i32, i32* %125, i64 %129
%131 = load i32, i32* %130
%132 = and i32 %131, 65535
%133 = load i32, i32* %15
%134 = ashr i32 %133, 16
%135 = mul nsw i32 %132, %134
%136 = ashr i32 %135, 16
%137 = add nsw i32 %124, %136
store i32 %137, i32* %14
%138 = load i16*, i16** %10
%139 = getelementptr inbounds i16, i16* %138, i64 4
%140 = bitcast i16* %139 to i32*
%141 = load i32, i32* %140
store i32 %141, i32* %15
%142 = load i32, i32* %14
%143 = load i32*, i32** %9
%144 = load i32, i32* %13
%145 = add nsw i32 16, %144
%146 = sub nsw i32 %145, 5
%147 = sext i32 %146 to i64
%148 = getelementptr inbounds i32, i32* %143, i64 %147
%149 = load i32, i32* %148
%150 = ashr i32 %149, 16
%151 = load i32, i32* %15
%152 = trunc i32 %151 to i16
%153 = sext i16 %152 to i32
%154 = mul nsw i32 %150, %153
%155 = load i32*, i32** %9
%156 = load i32, i32* %13
%157 = add nsw i32 16, %156
%158 = sub nsw i32 %157, 5
%159 = sext i32 %158 to i64
%160 = getelementptr inbounds i32, i32* %155, i64 %159
%161 = load i32, i32* %160
%162 = and i32 %161, 65535
%163 = load i32, i32* %15
%164 = trunc i32 %163 to i16
%165 = sext i16 %164 to i32
%166 = mul nsw i32 %162, %165
%167 = ashr i32 %166, 16
%168 = add nsw i32 %154, %167
%169 = add nsw i32 %142, %168
store i32 %169, i32* %14
%170 = load i32, i32* %14
%171 = load i32*, i32** %9
%172 = load i32, i32* %13
%173 = add nsw i32 16, %172
%174 = sub nsw i32 %173, 6
%175 = sext i32 %174 to i64
%176 = getelementptr inbounds i32, i32* %171, i64 %175
%177 = load i32, i32* %176
%178 = ashr i32 %177, 16
%179 = load i32, i32* %15
%180 = ashr i32 %179, 16
%181 = mul nsw i32 %178, %180
%182 = add nsw i32 %170, %181
%183 = load i32*, i32** %9
%184 = load i32, i32* %13
%185 = add nsw i32 16, %184
%186 = sub nsw i32 %185, 6
%187 = sext i32 %186 to i64
%188 = getelementptr inbounds i32, i32* %183, i64 %187
%189 = load i32, i32* %188
%190 = and i32 %189, 65535
%191 = load i32, i32* %15
%192 = ashr i32 %191, 16
%193 = mul nsw i32 %190, %192
%194 = ashr i32 %193, 16
%195 = add nsw i32 %182, %194
store i32 %195, i32* %14
%196 = load i16*, i16** %10
%197 = getelementptr inbounds i16, i16* %196, i64 6
%198 = bitcast i16* %197 to i32*
%199 = load i32, i32* %198
store i32 %199, i32* %15
%200 = load i32, i32* %14
%201 = load i32*, i32** %9
%202 = load i32, i32* %13
%203 = add nsw i32 16, %202
%204 = sub nsw i32 %203, 7
%205 = sext i32 %204 to i64
%206 = getelementptr inbounds i32, i32* %201, i64 %205
%207 = load i32, i32* %206
%208 = ashr i32 %207, 16
%209 = load i32, i32* %15
%210 = trunc i32 %209 to i16
%211 = sext i16 %210 to i32
%212 = mul nsw i32 %208, %211
%213 = load i32*, i32** %9
%214 = load i32, i32* %13
%215 = add nsw i32 16, %214
%216 = sub nsw i32 %215, 7
%217 = sext i32 %216 to i64
%218 = getelementptr inbounds i32, i32* %213, i64 %217
%219 = load i32, i32* %218
%220 = and i32 %219, 65535
%221 = load i32, i32* %15
%222 = trunc i32 %221 to i16
%223 = sext i16 %222 to i32
%224 = mul nsw i32 %220, %223
%225 = ashr i32 %224, 16
%226 = add nsw i32 %212, %225
%227 = add nsw i32 %200, %226
store i32 %227, i32* %14
%228 = load i32, i32* %14
%229 = load i32*, i32** %9
%230 = load i32, i32* %13
%231 = add nsw i32 16, %230
%232 = sub nsw i32 %231, 8
%233 = sext i32 %232 to i64
%234 = getelementptr inbounds i32, i32* %229, i64 %233
%235 = load i32, i32* %234
%236 = ashr i32 %235, 16
%237 = load i32, i32* %15
%238 = ashr i32 %237, 16
%239 = mul nsw i32 %236, %238
%240 = add nsw i32 %228, %239
%241 = load i32*, i32** %9
%242 = load i32, i32* %13
%243 = add nsw i32 16, %242
%244 = sub nsw i32 %243, 8
%245 = sext i32 %244 to i64
%246 = getelementptr inbounds i32, i32* %241, i64 %245
%247 = load i32, i32* %246
%248 = and i32 %247, 65535
%249 = load i32, i32* %15
%250 = ashr i32 %249, 16
%251 = mul nsw i32 %248, %250
%252 = ashr i32 %251, 16
%253 = add nsw i32 %240, %252
store i32 %253, i32* %14
%254 = load i16*, i16** %10
%255 = getelementptr inbounds i16, i16* %254, i64 8
%256 = bitcast i16* %255 to i32*
%257 = load i32, i32* %256
store i32 %257, i32* %15
%258 = load i32, i32* %14
%259 = load i32*, i32** %9
%260 = load i32, i32* %13
%261 = add nsw i32 16, %260
%262 = sub nsw i32 %261, 9
%263 = sext i32 %262 to i64
%264 = getelementptr inbounds i32, i32* %259, i64 %263
%265 = load i32, i32* %264
%266 = ashr i32 %265, 16
%267 = load i32, i32* %15
%268 = trunc i32 %267 to i16
%269 = sext i16 %268 to i32
%270 = mul nsw i32 %266, %269
%271 = load i32*, i32** %9
%272 = load i32, i32* %13
%273 = add nsw i32 16, %272
%274 = sub nsw i32 %273, 9
%275 = sext i32 %274 to i64
%276 = getelementptr inbounds i32, i32* %271, i64 %275
%277 = load i32, i32* %276
%278 = and i32 %277, 65535
%279 = load i32, i32* %15
%280 = trunc i32 %279 to i16
%281 = sext i16 %280 to i32
%282 = mul nsw i32 %278, %281
%283 = ashr i32 %282, 16
%284 = add nsw i32 %270, %283
%285 = add nsw i32 %258, %284
store i32 %285, i32* %14
%286 = load i32, i32* %14
%287 = load i32*, i32** %9
%288 = load i32, i32* %13
%289 = add nsw i32 16, %288
%290 = sub nsw i32 %289, 10
%291 = sext i32 %290 to i64
%292 = getelementptr inbounds i32, i32* %287, i64 %291
%293 = load i32, i32* %292
%294 = ashr i32 %293, 16
%295 = load i32, i32* %15
%296 = ashr i32 %295, 16
%297 = mul nsw i32 %294, %296
%298 = add nsw i32 %286, %297
%299 = load i32*, i32** %9
%300 = load i32, i32* %13
%301 = add nsw i32 16, %300
%302 = sub nsw i32 %301, 10
%303 = sext i32 %302 to i64
%304 = getelementptr inbounds i32, i32* %299, i64 %303
%305 = load i32, i32* %304
%306 = and i32 %305, 65535
%307 = load i32, i32* %15
%308 = ashr i32 %307, 16
%309 = mul nsw i32 %306, %308
%310 = ashr i32 %309, 16
%311 = add nsw i32 %298, %310
store i32 %311, i32* %14
%312 = load i16*, i16** %10
%313 = getelementptr inbounds i16, i16* %312, i64 10
%314 = bitcast i16* %313 to i32*
%315 = load i32, i32* %314
store i32 %315, i32* %15
%316 = load i32, i32* %14
%317 = load i32*, i32** %9
%318 = load i32, i32* %13
%319 = add nsw i32 16, %318
%320 = sub nsw i32 %319, 11
%321 = sext i32 %320 to i64
%322 = getelementptr inbounds i32, i32* %317, i64 %321
%323 = load i32, i32* %322
%324 = ashr i32 %323, 16
%325 = load i32, i32* %15
%326 = trunc i32 %325 to i16
%327 = sext i16 %326 to i32
%328 = mul nsw i32 %324, %327
%329 = load i32*, i32** %9
%330 = load i32, i32* %13
%331 = add nsw i32 16, %330
%332 = sub nsw i32 %331, 11
%333 = sext i32 %332 to i64
%334 = getelementptr inbounds i32, i32* %329, i64 %333
%335 = load i32, i32* %334
%336 = and i32 %335, 65535
%337 = load i32, i32* %15
%338 = trunc i32 %337 to i16
%339 = sext i16 %338 to i32
%340 = mul nsw i32 %336, %339
%341 = ashr i32 %340, 16
%342 = add nsw i32 %328, %341
%343 = add nsw i32 %316, %342
store i32 %343, i32* %14
%344 = load i32, i32* %14
%345 = load i32*, i32** %9
%346 = load i32, i32* %13
%347 = add nsw i32 16, %346
%348 = sub nsw i32 %347, 12
%349 = sext i32 %348 to i64
%350 = getelementptr inbounds i32, i32* %345, i64 %349
%351 = load i32, i32* %350
%352 = ashr i32 %351, 16
%353 = load i32, i32* %15
%354 = ashr i32 %353, 16
%355 = mul nsw i32 %352, %354
%356 = add nsw i32 %344, %355
%357 = load i32*, i32** %9
%358 = load i32, i32* %13
%359 = add nsw i32 16, %358
%360 = sub nsw i32 %359, 12
%361 = sext i32 %360 to i64
%362 = getelementptr inbounds i32, i32* %357, i64 %361
%363 = load i32, i32* %362
%364 = and i32 %363, 65535
%365 = load i32, i32* %15
%366 = ashr i32 %365, 16
%367 = mul nsw i32 %364, %366
%368 = ashr i32 %367, 16
%369 = add nsw i32 %356, %368
store i32 %369, i32* %14
%370 = load i16*, i16** %10
%371 = getelementptr inbounds i16, i16* %370, i64 12
%372 = bitcast i16* %371 to i32*
%373 = load i32, i32* %372
store i32 %373, i32* %15
%374 = load i32, i32* %14
%375 = load i32*, i32** %9
%376 = load i32, i32* %13
%377 = add nsw i32 16, %376
%378 = sub nsw i32 %377, 13
%379 = sext i32 %378 to i64
%380 = getelementptr inbounds i32, i32* %375, i64 %379
%381 = load i32, i32* %380
%382 = ashr i32 %381, 16
%383 = load i32, i32* %15
%384 = trunc i32 %383 to i16
%385 = sext i16 %384 to i32
%386 = mul nsw i32 %382, %385
%387 = load i32*, i32** %9
%388 = load i32, i32* %13
%389 = add nsw i32 16, %388
%390 = sub nsw i32 %389, 13
%391 = sext i32 %390 to i64
%392 = getelementptr inbounds i32, i32* %387, i64 %391
%393 = load i32, i32* %392
%394 = and i32 %393, 65535
%395 = load i32, i32* %15
%396 = trunc i32 %395 to i16
%397 = sext i16 %396 to i32
%398 = mul nsw i32 %394, %397
%399 = ashr i32 %398, 16
%400 = add nsw i32 %386, %399
%401 = add nsw i32 %374, %400
store i32 %401, i32* %14
%402 = load i32, i32* %14
%403 = load i32*, i32** %9
%404 = load i32, i32* %13
%405 = add nsw i32 16, %404
%406 = sub nsw i32 %405, 14
%407 = sext i32 %406 to i64
%408 = getelementptr inbounds i32, i32* %403, i64 %407
%409 = load i32, i32* %408
%410 = ashr i32 %409, 16
%411 = load i32, i32* %15
%412 = ashr i32 %411, 16
%413 = mul nsw i32 %410, %412
%414 = add nsw i32 %402, %413
%415 = load i32*, i32** %9
%416 = load i32, i32* %13
%417 = add nsw i32 16, %416
%418 = sub nsw i32 %417, 14
%419 = sext i32 %418 to i64
%420 = getelementptr inbounds i32, i32* %415, i64 %419
%421 = load i32, i32* %420
%422 = and i32 %421, 65535
%423 = load i32, i32* %15
%424 = ashr i32 %423, 16
%425 = mul nsw i32 %422, %424
%426 = ashr i32 %425, 16
%427 = add nsw i32 %414, %426
store i32 %427, i32* %14
%428 = load i16*, i16** %10
%429 = getelementptr inbounds i16, i16* %428, i64 14
%430 = bitcast i16* %429 to i32*
%431 = load i32, i32* %430
store i32 %431, i32* %15
%432 = load i32, i32* %14
%433 = load i32*, i32** %9
%434 = load i32, i32* %13
%435 = add nsw i32 16, %434
%436 = sub nsw i32 %435, 15
%437 = sext i32 %436 to i64
%438 = getelementptr inbounds i32, i32* %433, i64 %437
%439 = load i32, i32* %438
%440 = ashr i32 %439, 16
%441 = load i32, i32* %15
%442 = trunc i32 %441 to i16
%443 = sext i16 %442 to i32
%444 = mul nsw i32 %440, %443
%445 = load i32*, i32** %9
%446 = load i32, i32* %13
%447 = add nsw i32 16, %446
%448 = sub nsw i32 %447, 15
%449 = sext i32 %448 to i64
%450 = getelementptr inbounds i32, i32* %445, i64 %449
%451 = load i32, i32* %450
%452 = and i32 %451, 65535
%453 = load i32, i32* %15
%454 = trunc i32 %453 to i16
%455 = sext i16 %454 to i32
%456 = mul nsw i32 %452, %455
%457 = ashr i32 %456, 16
%458 = add nsw i32 %444, %457
%459 = add nsw i32 %432, %458
store i32 %459, i32* %14
%460 = load i32, i32* %14
%461 = load i32*, i32** %9
%462 = load i32, i32* %13
%463 = add nsw i32 16, %462
%464 = sub nsw i32 %463, 16
%465 = sext i32 %464 to i64
%466 = getelementptr inbounds i32, i32* %461, i64 %465
%467 = load i32, i32* %466
%468 = ashr i32 %467, 16
%469 = load i32, i32* %15
%470 = ashr i32 %469, 16
%471 = mul nsw i32 %468, %470
%472 = add nsw i32 %460, %471
%473 = load i32*, i32** %9
%474 = load i32, i32* %13
%475 = add nsw i32 16, %474
%476 = sub nsw i32 %475, 16
%477 = sext i32 %476 to i64
%478 = getelementptr inbounds i32, i32* %473, i64 %477
%479 = load i32, i32* %478
%480 = and i32 %479, 65535
%481 = load i32, i32* %15
%482 = ashr i32 %481, 16
%483 = mul nsw i32 %480, %482
%484 = ashr i32 %483, 16
%485 = add nsw i32 %472, %484
store i32 %485, i32* %14
%486 = load i32*, i32** %8
%487 = load i32, i32* %13
%488 = sext i32 %487 to i64
%489 = getelementptr inbounds i32, i32* %486, i64 %488
%490 = load i32, i32* %489
%491 = load i32, i32* %14
%492 = add nsw i32 %490, %491
%493 = load i32*, i32** %7
%494 = load i32, i32* %13
%495 = sext i32 %494 to i64
%496 = getelementptr inbounds i32, i32* %493, i64 %495
store i32 %492, i32* %496
%497 = load i32*, i32** %7
%498 = load i32, i32* %13
%499 = sext i32 %498 to i64
%500 = getelementptr inbounds i32, i32* %497, i64 %499
%501 = load i32, i32* %500
%502 = shl i32 %501, 4
%503 = load i32*, i32** %9
%504 = load i32, i32* %13
%505 = add nsw i32 16, %504
%506 = sext i32 %505 to i64
%507 = getelementptr inbounds i32, i32* %503, i64 %506
store i32 %502, i32* %507
br label %508
508: ; preds = %23
%509 = load i32, i32* %13
%510 = add nsw i32 %509, 1
store i32 %510, i32* %13
br label %19
511: ; preds = %19
br label %832
512: ; preds = %6
store i32 0, i32* %13
br label %513
513: ; preds = %828, %512
%514 = load i32, i32* %13
%515 = load i32, i32* %12
%516 = icmp slt i32 %514, %515
br i1 %516, label %517, label %831
517: ; preds = %513
%518 = load i16*, i16** %10
%519 = getelementptr inbounds i16, i16* %518, i64 0
%520 = bitcast i16* %519 to i32*
%521 = load i32, i32* %520
store i32 %521, i32* %15
%522 = load i32*, i32** %9
%523 = load i32, i32* %13
%524 = add nsw i32 16, %523
%525 = sub nsw i32 %524, 1
%526 = sext i32 %525 to i64
%527 = getelementptr inbounds i32, i32* %522, i64 %526
%528 = load i32, i32* %527
%529 = ashr i32 %528, 16
%530 = load i32, i32* %15
%531 = trunc i32 %530 to i16
%532 = sext i16 %531 to i32
%533 = mul nsw i32 %529, %532
%534 = load i32*, i32** %9
%535 = load i32, i32* %13
%536 = add nsw i32 16, %535
%537 = sub nsw i32 %536, 1
%538 = sext i32 %537 to i64
%539 = getelementptr inbounds i32, i32* %534, i64 %538
%540 = load i32, i32* %539
%541 = and i32 %540, 65535
%542 = load i32, i32* %15
%543 = trunc i32 %542 to i16
%544 = sext i16 %543 to i32
%545 = mul nsw i32 %541, %544
%546 = ashr i32 %545, 16
%547 = add nsw i32 %533, %546
store i32 %547, i32* %14
%548 = load i32, i32* %14
%549 = load i32*, i32** %9
%550 = load i32, i32* %13
%551 = add nsw i32 16, %550
%552 = sub nsw i32 %551, 2
%553 = sext i32 %552 to i64
%554 = getelementptr inbounds i32, i32* %549, i64 %553
%555 = load i32, i32* %554
%556 = ashr i32 %555, 16
%557 = load i32, i32* %15
%558 = ashr i32 %557, 16
%559 = mul nsw i32 %556, %558
%560 = add nsw i32 %548, %559
%561 = load i32*, i32** %9
%562 = load i32, i32* %13
%563 = add nsw i32 16, %562
%564 = sub nsw i32 %563, 2
%565 = sext i32 %564 to i64
%566 = getelementptr inbounds i32, i32* %561, i64 %565
%567 = load i32, i32* %566
%568 = and i32 %567, 65535
%569 = load i32, i32* %15
%570 = ashr i32 %569, 16
%571 = mul nsw i32 %568, %570
%572 = ashr i32 %571, 16
%573 = add nsw i32 %560, %572
store i32 %573, i32* %14
%574 = load i16*, i16** %10
%575 = getelementptr inbounds i16, i16* %574, i64 2
%576 = bitcast i16* %575 to i32*
%577 = load i32, i32* %576
store i32 %577, i32* %15
%578 = load i32, i32* %14
%579 = load i32*, i32** %9
%580 = load i32, i32* %13
%581 = add nsw i32 16, %580
%582 = sub nsw i32 %581, 3
%583 = sext i32 %582 to i64
%584 = getelementptr inbounds i32, i32* %579, i64 %583
%585 = load i32, i32* %584
%586 = ashr i32 %585, 16
%587 = load i32, i32* %15
%588 = trunc i32 %587 to i16
%589 = sext i16 %588 to i32
%590 = mul nsw i32 %586, %589
%591 = load i32*, i32** %9
%592 = load i32, i32* %13
%593 = add nsw i32 16, %592
%594 = sub nsw i32 %593, 3
%595 = sext i32 %594 to i64
%596 = getelementptr inbounds i32, i32* %591, i64 %595
%597 = load i32, i32* %596
%598 = and i32 %597, 65535
%599 = load i32, i32* %15
%600 = trunc i32 %599 to i16
%601 = sext i16 %600 to i32
%602 = mul nsw i32 %598, %601
%603 = ashr i32 %602, 16
%604 = add nsw i32 %590, %603
%605 = add nsw i32 %578, %604
store i32 %605, i32* %14
%606 = load i32, i32* %14
%607 = load i32*, i32** %9
%608 = load i32, i32* %13
%609 = add nsw i32 16, %608
%610 = sub nsw i32 %609, 4
%611 = sext i32 %610 to i64
%612 = getelementptr inbounds i32, i32* %607, i64 %611
%613 = load i32, i32* %612
%614 = ashr i32 %613, 16
%615 = load i32, i32* %15
%616 = ashr i32 %615, 16
%617 = mul nsw i32 %614, %616
%618 = add nsw i32 %606, %617
%619 = load i32*, i32** %9
%620 = load i32, i32* %13
%621 = add nsw i32 16, %620
%622 = sub nsw i32 %621, 4
%623 = sext i32 %622 to i64
%624 = getelementptr inbounds i32, i32* %619, i64 %623
%625 = load i32, i32* %624
%626 = and i32 %625, 65535
%627 = load i32, i32* %15
%628 = ashr i32 %627, 16
%629 = mul nsw i32 %626, %628
%630 = ashr i32 %629, 16
%631 = add nsw i32 %618, %630
store i32 %631, i32* %14
%632 = load i16*, i16** %10
%633 = getelementptr inbounds i16, i16* %632, i64 4
%634 = bitcast i16* %633 to i32*
%635 = load i32, i32* %634
store i32 %635, i32* %15
%636 = load i32, i32* %14
%637 = load i32*, i32** %9
%638 = load i32, i32* %13
%639 = add nsw i32 16, %638
%640 = sub nsw i32 %639, 5
%641 = sext i32 %640 to i64
%642 = getelementptr inbounds i32, i32* %637, i64 %641
%643 = load i32, i32* %642
%644 = ashr i32 %643, 16
%645 = load i32, i32* %15
%646 = trunc i32 %645 to i16
%647 = sext i16 %646 to i32
%648 = mul nsw i32 %644, %647
%649 = load i32*, i32** %9
%650 = load i32, i32* %13
%651 = add nsw i32 16, %650
%652 = sub nsw i32 %651, 5
%653 = sext i32 %652 to i64
%654 = getelementptr inbounds i32, i32* %649, i64 %653
%655 = load i32, i32* %654
%656 = and i32 %655, 65535
%657 = load i32, i32* %15
%658 = trunc i32 %657 to i16
%659 = sext i16 %658 to i32
%660 = mul nsw i32 %656, %659
%661 = ashr i32 %660, 16
%662 = add nsw i32 %648, %661
%663 = add nsw i32 %636, %662
store i32 %663, i32* %14
%664 = load i32, i32* %14
%665 = load i32*, i32** %9
%666 = load i32, i32* %13
%667 = add nsw i32 16, %666
%668 = sub nsw i32 %667, 6
%669 = sext i32 %668 to i64
%670 = getelementptr inbounds i32, i32* %665, i64 %669
%671 = load i32, i32* %670
%672 = ashr i32 %671, 16
%673 = load i32, i32* %15
%674 = ashr i32 %673, 16
%675 = mul nsw i32 %672, %674
%676 = add nsw i32 %664, %675
%677 = load i32*, i32** %9
%678 = load i32, i32* %13
%679 = add nsw i32 16, %678
%680 = sub nsw i32 %679, 6
%681 = sext i32 %680 to i64
%682 = getelementptr inbounds i32, i32* %677, i64 %681
%683 = load i32, i32* %682
%684 = and i32 %683, 65535
%685 = load i32, i32* %15
%686 = ashr i32 %685, 16
%687 = mul nsw i32 %684, %686
%688 = ashr i32 %687, 16
%689 = add nsw i32 %676, %688
store i32 %689, i32* %14
%690 = load i16*, i16** %10
%691 = getelementptr inbounds i16, i16* %690, i64 6
%692 = bitcast i16* %691 to i32*
%693 = load i32, i32* %692
store i32 %693, i32* %15
%694 = load i32, i32* %14
%695 = load i32*, i32** %9
%696 = load i32, i32* %13
%697 = add nsw i32 16, %696
%698 = sub nsw i32 %697, 7
%699 = sext i32 %698 to i64
%700 = getelementptr inbounds i32, i32* %695, i64 %699
%701 = load i32, i32* %700
%702 = ashr i32 %701, 16
%703 = load i32, i32* %15
%704 = trunc i32 %703 to i16
%705 = sext i16 %704 to i32
%706 = mul nsw i32 %702, %705
%707 = load i32*, i32** %9
%708 = load i32, i32* %13
%709 = add nsw i32 16, %708
%710 = sub nsw i32 %709, 7
%711 = sext i32 %710 to i64
%712 = getelementptr inbounds i32, i32* %707, i64 %711
%713 = load i32, i32* %712
%714 = and i32 %713, 65535
%715 = load i32, i32* %15
%716 = trunc i32 %715 to i16
%717 = sext i16 %716 to i32
%718 = mul nsw i32 %714, %717
%719 = ashr i32 %718, 16
%720 = add nsw i32 %706, %719
%721 = add nsw i32 %694, %720
store i32 %721, i32* %14
%722 = load i32, i32* %14
%723 = load i32*, i32** %9
%724 = load i32, i32* %13
%725 = add nsw i32 16, %724
%726 = sub nsw i32 %725, 8
%727 = sext i32 %726 to i64
%728 = getelementptr inbounds i32, i32* %723, i64 %727
%729 = load i32, i32* %728
%730 = ashr i32 %729, 16
%731 = load i32, i32* %15
%732 = ashr i32 %731, 16
%733 = mul nsw i32 %730, %732
%734 = add nsw i32 %722, %733
%735 = load i32*, i32** %9
%736 = load i32, i32* %13
%737 = add nsw i32 16, %736
%738 = sub nsw i32 %737, 8
%739 = sext i32 %738 to i64
%740 = getelementptr inbounds i32, i32* %735, i64 %739
%741 = load i32, i32* %740
%742 = and i32 %741, 65535
%743 = load i32, i32* %15
%744 = ashr i32 %743, 16
%745 = mul nsw i32 %742, %744
%746 = ashr i32 %745, 16
%747 = add nsw i32 %734, %746
store i32 %747, i32* %14
%748 = load i16*, i16** %10
%749 = getelementptr inbounds i16, i16* %748, i64 8
%750 = bitcast i16* %749 to i32*
%751 = load i32, i32* %750
store i32 %751, i32* %15
%752 = load i32, i32* %14
%753 = load i32*, i32** %9
%754 = load i32, i32* %13
%755 = add nsw i32 16, %754
%756 = sub nsw i32 %755, 9
%757 = sext i32 %756 to i64
%758 = getelementptr inbounds i32, i32* %753, i64 %757
%759 = load i32, i32* %758
%760 = ashr i32 %759, 16
%761 = load i32, i32* %15
%762 = trunc i32 %761 to i16
%763 = sext i16 %762 to i32
%764 = mul nsw i32 %760, %763
%765 = load i32*, i32** %9
%766 = load i32, i32* %13
%767 = add nsw i32 16, %766
%768 = sub nsw i32 %767, 9
%769 = sext i32 %768 to i64
%770 = getelementptr inbounds i32, i32* %765, i64 %769
%771 = load i32, i32* %770
%772 = and i32 %771, 65535
%773 = load i32, i32* %15
%774 = trunc i32 %773 to i16
%775 = sext i16 %774 to i32
%776 = mul nsw i32 %772, %775
%777 = ashr i32 %776, 16
%778 = add nsw i32 %764, %777
%779 = add nsw i32 %752, %778
store i32 %779, i32* %14
%780 = load i32, i32* %14
%781 = load i32*, i32** %9
%782 = load i32, i32* %13
%783 = add nsw i32 16, %782
%784 = sub nsw i32 %783, 10
%785 = sext i32 %784 to i64
%786 = getelementptr inbounds i32, i32* %781, i64 %785
%787 = load i32, i32* %786
%788 = ashr i32 %787, 16
%789 = load i32, i32* %15
%790 = ashr i32 %789, 16
%791 = mul nsw i32 %788, %790
%792 = add nsw i32 %780, %791
%793 = load i32*, i32** %9
%794 = load i32, i32* %13
%795 = add nsw i32 16, %794
%796 = sub nsw i32 %795, 10
%797 = sext i32 %796 to i64
%798 = getelementptr inbounds i32, i32* %793, i64 %797
%799 = load i32, i32* %798
%800 = and i32 %799, 65535
%801 = load i32, i32* %15
%802 = ashr i32 %801, 16
%803 = mul nsw i32 %800, %802
%804 = ashr i32 %803, 16
%805 = add nsw i32 %792, %804
store i32 %805, i32* %14
%806 = load i32*, i32** %8
%807 = load i32, i32* %13
%808 = sext i32 %807 to i64
%809 = getelementptr inbounds i32, i32* %806, i64 %808
%810 = load i32, i32* %809
%811 = load i32, i32* %14
%812 = add nsw i32 %810, %811
%813 = load i32*, i32** %7
%814 = load i32, i32* %13
%815 = sext i32 %814 to i64
%816 = getelementptr inbounds i32, i32* %813, i64 %815
store i32 %812, i32* %816
%817 = load i32*, i32** %7
%818 = load i32, i32* %13
%819 = sext i32 %818 to i64
%820 = getelementptr inbounds i32, i32* %817, i64 %819
%821 = load i32, i32* %820
%822 = shl i32 %821, 4
%823 = load i32*, i32** %9
%824 = load i32, i32* %13
%825 = add nsw i32 16, %824
%826 = sext i32 %825 to i64
%827 = getelementptr inbounds i32, i32* %823, i64 %826
store i32 %822, i32* %827
br label %828
828: ; preds = %517
%829 = load i32, i32* %13
%830 = add nsw i32 %829, 1
store i32 %830, i32* %13
br label %513
831: ; preds = %513
br label %832
832: ; preds = %831, %511
ret void
}

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