#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */
typedef int int32_t;
typedef int int16_t;

/* Variables and functions */
int INT16_MIN;
int /*<<< orphan*/ assert(int);
int gsm0610_norm(int);
int gsm_div(int, int);
int gsm_mult_r(int, int);
int saturated_abs16(int);
int saturated_add16(int, int);
void reflection_coefficients(int32_t L_ACF[9], int16_t r[8]) {
  int i;
  int m;
  int n;
  int16_t temp;
  int16_t ACF[9];
  int16_t P[9];
  int16_t K[9];
  if (L_ACF[0] == 0) {
    for (i = 8; i--; *r++ = 0)
      ;
    return;
  }
  assert(L_ACF[0] != 0);
  temp = gsm0610_norm(L_ACF[0]);
  assert(temp >= 0 && temp < 32);
  for (i = 0; i <= 8; i++)
    ACF[i] = (int16_t)((L_ACF[i] << temp) >> 16);
  for (i = 1; i <= 7; i++)
    K[i] = ACF[i];
  for (i = 0; i <= 8; i++)
    P[i] = ACF[i];
  for (n = 1; n <= 8; n++, r++) {
    temp = P[1];
    temp = saturated_abs16(temp);
    if (P[0] < temp) {
      for (i = n; i <= 8; i++)
        *r++ = 0;
      return;
    }
    *r = gsm_div(temp, P[0]);
    assert(*r >= 0);
    if (P[1] > 0)
      *r = -*r;
    assert(*r != INT16_MIN);
    if (n == 8)
      return;
    temp = gsm_mult_r(P[1], *r);
    P[0] = saturated_add16(P[0], temp);
    for (m = 1; m <= 8 - n; m++) {
      temp = gsm_mult_r(K[m], *r);
      P[m] = saturated_add16(P[m + 1], temp);
      temp = gsm_mult_r(P[m + 1], *r);
      K[m] = saturated_add16(K[m], temp);
    }
  }
}


x86 assembly (clang, -O0):
<reflection_coefficients>:
push   %rbp
mov    %rsp,%rbp
sub    $0xc0,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x8(%rbp),%rax
cmpl   $0x0,(%rax)
jne    11bf <reflection_coefficients+0x5f>
movl   $0x8,-0x14(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x14(%rbp)
cmp    $0x0,%eax
je     11ba <reflection_coefficients+0x5a>
jmp    11a0 <reflection_coefficients+0x40>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x10(%rbp)
movl   $0x0,(%rax)
jmp    1187 <reflection_coefficients+0x27>
jmp    1454 <reflection_coefficients+0x2f4>
mov    -0x8(%rbp),%rax
cmpl   $0x0,(%rax)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x8(%rbp),%rax
mov    (%rax),%edi
call   1060 <gsm0610_norm@plt>
mov    %eax,-0x20(%rbp)
xor    %eax,%eax
cmpl   $0x0,-0x20(%rbp)
mov    %al,-0xb1(%rbp)
jl     1200 <reflection_coefficients+0xa0>
cmpl   $0x20,-0x20(%rbp)
setl   %al
mov    %al,-0xb1(%rbp)
mov    -0xb1(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
movl   $0x0,-0x14(%rbp)
cmpl   $0x8,-0x14(%rbp)
jg     124c <reflection_coefficients+0xec>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x20(%rbp),%ecx
shl    %cl,%eax
mov    %eax,%ecx
sar    $0x10,%ecx
movslq -0x14(%rbp),%rax
mov    %ecx,-0x50(%rbp,%rax,4)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1217 <reflection_coefficients+0xb7>
movl   $0x1,-0x14(%rbp)
cmpl   $0x7,-0x14(%rbp)
jg     127e <reflection_coefficients+0x11e>
movslq -0x14(%rbp),%rax
mov    -0x50(%rbp,%rax,4),%ecx
movslq -0x14(%rbp),%rax
mov    %ecx,-0xb0(%rbp,%rax,4)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1253 <reflection_coefficients+0xf3>
movl   $0x0,-0x14(%rbp)
cmpl   $0x8,-0x14(%rbp)
jg     12ad <reflection_coefficients+0x14d>
movslq -0x14(%rbp),%rax
mov    -0x50(%rbp,%rax,4),%ecx
movslq -0x14(%rbp),%rax
mov    %ecx,-0x80(%rbp,%rax,4)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1285 <reflection_coefficients+0x125>
movl   $0x1,-0x1c(%rbp)
cmpl   $0x8,-0x1c(%rbp)
jg     1454 <reflection_coefficients+0x2f4>
mov    -0x7c(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%edi
call   1070 <saturated_abs16@plt>
mov    %eax,-0x20(%rbp)
mov    -0x80(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    1313 <reflection_coefficients+0x1b3>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x14(%rbp)
cmpl   $0x8,-0x14(%rbp)
jg     130e <reflection_coefficients+0x1ae>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x10(%rbp)
movl   $0x0,(%rax)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    12e1 <reflection_coefficients+0x181>
jmp    1454 <reflection_coefficients+0x2f4>
mov    -0x20(%rbp),%edi
mov    -0x80(%rbp),%esi
call   1040 <gsm_div@plt>
mov    %eax,%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x10(%rbp),%rax
cmpl   $0x0,(%rax)
setge  %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
cmpl   $0x0,-0x7c(%rbp)
jle    1352 <reflection_coefficients+0x1f2>
mov    -0x10(%rbp),%rax
xor    %ecx,%ecx
sub    (%rax),%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    0x2c81(%rip),%rcx
cmp    (%rcx),%eax
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
cmpl   $0x8,-0x1c(%rbp)
jne    137d <reflection_coefficients+0x21d>
jmp    1454 <reflection_coefficients+0x2f4>
mov    -0x7c(%rbp),%edi
mov    -0x10(%rbp),%rax
mov    (%rax),%esi
call   1080 <gsm_mult_r@plt>
mov    %eax,-0x20(%rbp)
mov    -0x80(%rbp),%edi
mov    -0x20(%rbp),%esi
call   1030 <saturated_add16@plt>
mov    %eax,-0x80(%rbp)
movl   $0x1,-0x18(%rbp)
mov    -0x18(%rbp),%eax
mov    $0x8,%ecx
sub    -0x1c(%rbp),%ecx
cmp    %ecx,%eax
jg     1435 <reflection_coefficients+0x2d5>
movslq -0x18(%rbp),%rax
mov    -0xb0(%rbp,%rax,4),%edi
mov    -0x10(%rbp),%rax
mov    (%rax),%esi
call   1080 <gsm_mult_r@plt>
mov    %eax,-0x20(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
cltq
mov    -0x80(%rbp,%rax,4),%edi
mov    -0x20(%rbp),%esi
call   1030 <saturated_add16@plt>
mov    %eax,%ecx
movslq -0x18(%rbp),%rax
mov    %ecx,-0x80(%rbp,%rax,4)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
cltq
mov    -0x80(%rbp,%rax,4),%edi
mov    -0x10(%rbp),%rax
mov    (%rax),%esi
call   1080 <gsm_mult_r@plt>
mov    %eax,-0x20(%rbp)
movslq -0x18(%rbp),%rax
mov    -0xb0(%rbp,%rax,4),%edi
mov    -0x20(%rbp),%esi
call   1030 <saturated_add16@plt>
mov    %eax,%ecx
movslq -0x18(%rbp),%rax
mov    %ecx,-0xb0(%rbp,%rax,4)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    13a3 <reflection_coefficients+0x243>
jmp    143a <reflection_coefficients+0x2da>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x10(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x10(%rbp)
jmp    12b4 <reflection_coefficients+0x154>
add    $0xc0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<reflection_coefficients>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x68,%rsp
mov    %rsi,%r13
cmpl   $0x0,(%rdi)
je     128b <reflection_coefficients+0x11b>
mov    %rdi,%r15
mov    $0x1,%edi
call   1060 <assert@plt>
mov    (%r15),%edi
call   1070 <gsm0610_norm@plt>
mov    %eax,%r12d
xor    %edi,%edi
cmp    $0x20,%eax
setb   %dil
call   1060 <assert@plt>
mov    (%r15),%ebx
mov    0x4(%r15),%ebp
mov    %r12d,%ecx
shl    %cl,%ebx
sar    $0x10,%ebx
shl    %cl,%ebp
mov    0x8(%r15),%r8d
shl    %cl,%r8d
mov    0xc(%r15),%r9d
shl    %cl,%r9d
sar    $0x10,%ebp
sar    $0x10,%r8d
sar    $0x10,%r9d
mov    0x10(%r15),%r10d
shl    %cl,%r10d
sar    $0x10,%r10d
mov    0x14(%r15),%edi
shl    %cl,%edi
mov    0x18(%r15),%esi
shl    %cl,%esi
mov    0x1c(%r15),%eax
shl    %cl,%eax
sar    $0x10,%edi
sar    $0x10,%esi
sar    $0x10,%eax
mov    0x20(%r15),%edx
shl    %cl,%edx
sar    $0x10,%edx
mov    %ebp,0x44(%rsp)
mov    %r8d,0x48(%rsp)
mov    %r9d,0x4c(%rsp)
mov    %r10d,0x50(%rsp)
mov    %edi,0x54(%rsp)
mov    %esi,0x58(%rsp)
mov    %eax,0x5c(%rsp)
mov    %ebx,0x10(%rsp)
mov    %ebp,0x14(%rsp)
mov    %r8d,0x18(%rsp)
mov    %r9d,0x1c(%rsp)
mov    %r10d,0x20(%rsp)
mov    %edi,0x24(%rsp)
mov    %esi,0x28(%rsp)
mov    %eax,0x2c(%rsp)
mov    %edx,0x30(%rsp)
mov    %ebp,%edi
call   1080 <saturated_abs16@plt>
mov    $0x1,%r15d
cmp    %eax,%ebx
jge    12a7 <reflection_coefficients+0x137>
cmp    $0x8,%r15d
ja     1298 <reflection_coefficients+0x128>
shl    $0x2,%r15
mov    $0x24,%eax
sub    %r15,%rax
movabs $0x3fffffffc,%rdx
and    %rax,%rdx
mov    %r13,%rdi
xor    %esi,%esi
call   1040 <memset@plt>
jmp    1298 <reflection_coefficients+0x128>
xorps  %xmm0,%xmm0
movups %xmm0,0x10(%r13)
movups %xmm0,0x0(%r13)
add    $0x68,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    $0x1,%r15d
jmp    12cb <reflection_coefficients+0x15b>
nop
add    $0x4,%r13
add    $0x1,%r15
mov    0x14(%rsp),%ebp
mov    %ebp,%edi
call   1080 <saturated_abs16@plt>
mov    0xc(%rsp),%ebx
cmp    %eax,%ebx
jl     1260 <reflection_coefficients+0xf0>
mov    %eax,%edi
mov    %ebx,%esi
call   1050 <gsm_div@plt>
mov    %eax,0x0(%r13)
not    %eax
shr    $0x1f,%eax
mov    %eax,%edi
call   1060 <assert@plt>
mov    0x0(%r13),%eax
test   %ebp,%ebp
jle    12f2 <reflection_coefficients+0x182>
neg    %eax
mov    %eax,0x0(%r13)
xor    %edi,%edi
mov    0x2ce5(%rip),%rcx
cmp    (%rcx),%eax
setne  %dil
call   1060 <assert@plt>
cmp    $0x8,%r15
je     1298 <reflection_coefficients+0x128>
mov    0x0(%r13),%esi
mov    %ebp,%edi
call   1090 <gsm_mult_r@plt>
mov    %ebx,%edi
mov    %eax,%esi
call   1030 <saturated_add16@plt>
mov    %eax,0xc(%rsp)
cmp    $0x7,%r15
ja     12b0 <reflection_coefficients+0x140>
mov    $0x8,%r12d
sub    %r15,%r12
xor    %r14d,%r14d
cs nopw 0x0(%rax,%rax,1)
mov    0x44(%rsp,%r14,4),%ebp
mov    0x0(%r13),%esi
mov    %ebp,%edi
call   1090 <gsm_mult_r@plt>
mov    0x18(%rsp,%r14,4),%ebx
mov    %ebx,%edi
mov    %eax,%esi
call   1030 <saturated_add16@plt>
mov    %eax,0x14(%rsp,%r14,4)
mov    0x0(%r13),%esi
mov    %ebx,%edi
call   1090 <gsm_mult_r@plt>
mov    %ebp,%edi
mov    %eax,%esi
call   1030 <saturated_add16@plt>
mov    %eax,0x44(%rsp,%r14,4)
add    $0x1,%r14
cmp    %r12,%r14
jb     1340 <reflection_coefficients+0x1d0>
jmp    12b0 <reflection_coefficients+0x140>

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

LLVM IR (-O2):
@INT16_MIN = global i32 0
define void @reflection_coefficients(i32* nocapture %0, i32* nocapture %1) {
%3 = alloca [9 x i32]
%4 = alloca [9 x i32]
%5 = bitcast [9 x i32]* %3 to i8*
%6 = bitcast [9 x i32]* %4 to i8*
%7 = load i32, i32* %0
%8 = icmp eq i32 %7, 0
br i1 %8, label %9, label %11
9: ; preds = %2
%10 = bitcast i32* %1 to i8*
br label %129
11: ; preds = %2
%12 = tail call i32 @assert(i32 1)
%13 = load i32, i32* %0
%14 = tail call i32 @gsm0610_norm(i32 %13)
%15 = icmp ult i32 %14, 32
%16 = zext i1 %15 to i32
%17 = tail call i32 @assert(i32 %16)
%18 = load i32, i32* %0
%19 = shl i32 %18, %14
%20 = ashr i32 %19, 16
%21 = getelementptr inbounds i32, i32* %0, i64 1
%22 = load i32, i32* %21
%23 = shl i32 %22, %14
%24 = ashr i32 %23, 16
%25 = getelementptr inbounds i32, i32* %0, i64 2
%26 = load i32, i32* %25
%27 = shl i32 %26, %14
%28 = ashr i32 %27, 16
%29 = getelementptr inbounds i32, i32* %0, i64 3
%30 = load i32, i32* %29
%31 = shl i32 %30, %14
%32 = ashr i32 %31, 16
%33 = getelementptr inbounds i32, i32* %0, i64 4
%34 = load i32, i32* %33
%35 = shl i32 %34, %14
%36 = ashr i32 %35, 16
%37 = getelementptr inbounds i32, i32* %0, i64 5
%38 = load i32, i32* %37
%39 = shl i32 %38, %14
%40 = ashr i32 %39, 16
%41 = getelementptr inbounds i32, i32* %0, i64 6
%42 = load i32, i32* %41
%43 = shl i32 %42, %14
%44 = ashr i32 %43, 16
%45 = getelementptr inbounds i32, i32* %0, i64 7
%46 = load i32, i32* %45
%47 = shl i32 %46, %14
%48 = ashr i32 %47, 16
%49 = getelementptr inbounds i32, i32* %0, i64 8
%50 = load i32, i32* %49
%51 = shl i32 %50, %14
%52 = ashr i32 %51, 16
%53 = getelementptr inbounds [9 x i32], [9 x i32]* %4, i64 0, i64 1
store i32 %24, i32* %53
%54 = getelementptr inbounds [9 x i32], [9 x i32]* %4, i64 0, i64 2
store i32 %28, i32* %54
%55 = getelementptr inbounds [9 x i32], [9 x i32]* %4, i64 0, i64 3
store i32 %32, i32* %55
%56 = getelementptr inbounds [9 x i32], [9 x i32]* %4, i64 0, i64 4
store i32 %36, i32* %56
%57 = getelementptr inbounds [9 x i32], [9 x i32]* %4, i64 0, i64 5
store i32 %40, i32* %57
%58 = getelementptr inbounds [9 x i32], [9 x i32]* %4, i64 0, i64 6
store i32 %44, i32* %58
%59 = getelementptr inbounds [9 x i32], [9 x i32]* %4, i64 0, i64 7
store i32 %48, i32* %59
%60 = getelementptr inbounds [9 x i32], [9 x i32]* %3, i64 0, i64 0
store i32 %20, i32* %60
%61 = getelementptr inbounds [9 x i32], [9 x i32]* %3, i64 0, i64 1
store i32 %24, i32* %61
%62 = getelementptr inbounds [9 x i32], [9 x i32]* %3, i64 0, i64 2
store i32 %28, i32* %62
%63 = getelementptr inbounds [9 x i32], [9 x i32]* %3, i64 0, i64 3
store i32 %32, i32* %63
%64 = getelementptr inbounds [9 x i32], [9 x i32]* %3, i64 0, i64 4
store i32 %36, i32* %64
%65 = getelementptr inbounds [9 x i32], [9 x i32]* %3, i64 0, i64 5
store i32 %40, i32* %65
%66 = getelementptr inbounds [9 x i32], [9 x i32]* %3, i64 0, i64 6
store i32 %44, i32* %66
%67 = getelementptr inbounds [9 x i32], [9 x i32]* %3, i64 0, i64 7
store i32 %48, i32* %67
%68 = getelementptr inbounds [9 x i32], [9 x i32]* %3, i64 0, i64 8
store i32 %52, i32* %68
%69 = tail call i32 @saturated_abs16(i32 %24)
%70 = icmp slt i32 %20, %69
br i1 %70, label %71, label %81
71: ; preds = %123, %11
%72 = phi i64 [ 1, %11 ], [ %125, %123 ]
%73 = phi i32* [ %1, %11 ], [ %124, %123 ]
%74 = trunc i64 %72 to i32
%75 = icmp ult i32 %74, 9
br i1 %75, label %76, label %129
76: ; preds = %71
%77 = bitcast i32* %73 to i8*
%78 = mul i64 %72, -4
%79 = add i64 %78, 36
%80 = and i64 %79, 17179869180
br label %129
81: ; preds = %11, %123
%82 = phi i32 [ %127, %123 ], [ %69, %11 ]
%83 = phi i32* [ %124, %123 ], [ %1, %11 ]
%84 = phi i32 [ %105, %123 ], [ %20, %11 ]
%85 = phi i64 [ %125, %123 ], [ 1, %11 ]
%86 = phi i32 [ %126, %123 ], [ %24, %11 ]
%87 = tail call i32 @gsm_div(i32 %82, i32 %84)
store i32 %87, i32* %83
%88 = xor i32 %87, -1
%89 = lshr i32 %88, 31
%90 = tail call i32 @assert(i32 %89)
%91 = icmp sgt i32 %86, 0
%92 = load i32, i32* %83
br i1 %91, label %93, label %95
93: ; preds = %81
%94 = sub nsw i32 0, %92
store i32 %94, i32* %83
br label %95
95: ; preds = %81, %93
%96 = phi i32 [ %94, %93 ], [ %92, %81 ]
%97 = load i32, i32* @INT16_MIN
%98 = icmp ne i32 %96, %97
%99 = zext i1 %98 to i32
%100 = tail call i32 @assert(i32 %99)
%101 = icmp eq i64 %85, 8
br i1 %101, label %129, label %102
102: ; preds = %95
%103 = load i32, i32* %83
%104 = tail call i32 @gsm_mult_r(i32 %86, i32 %103)
%105 = tail call i32 @saturated_add16(i32 %84, i32 %104)
%106 = sub nuw nsw i64 8, %85
%107 = icmp ugt i64 %85, 7
br i1 %107, label %123, label %108
108: ; preds = %102, %108
%109 = phi i64 [ %114, %108 ], [ 1, %102 ]
%110 = getelementptr inbounds [9 x i32], [9 x i32]* %4, i64 0, i64 %109
%111 = load i32, i32* %110
%112 = load i32, i32* %83
%113 = tail call i32 @gsm_mult_r(i32 %111, i32 %112)
%114 = add nuw nsw i64 %109, 1
%115 = getelementptr inbounds [9 x i32], [9 x i32]* %3, i64 0, i64 %114
%116 = load i32, i32* %115
%117 = tail call i32 @saturated_add16(i32 %116, i32 %113)
%118 = getelementptr inbounds [9 x i32], [9 x i32]* %3, i64 0, i64 %109
store i32 %117, i32* %118
%119 = load i32, i32* %83
%120 = tail call i32 @gsm_mult_r(i32 %116, i32 %119)
%121 = tail call i32 @saturated_add16(i32 %111, i32 %120)
store i32 %121, i32* %110
%122 = icmp ult i64 %109, %106
br i1 %122, label %108, label %123
123: ; preds = %108, %102
%124 = getelementptr inbounds i32, i32* %83, i64 1
%125 = add nuw nsw i64 %85, 1
%126 = load i32, i32* %61
%127 = tail call i32 @saturated_abs16(i32 %126)
%128 = icmp slt i32 %105, %127
br i1 %128, label %71, label %81
129: ; preds = %95, %76, %9, %71
ret void
}