#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*/ memcpy(short *, short *, int);
int /*<<< orphan*/ memset(short *, int /*<<< orphan*/, int);
short sfx_sign_extend(int, short);
void decode_8_half(unsigned char *in, signed short *out, int index,
                   signed short *pred1, signed short lastsmp[8]) {
  int i;
  signed short tmp[8];
  signed long total = 0;
  signed short sample = 0;
  memset(out, 0, sizeof(signed short) * 8);
  signed short *pred2 = (pred1 + 8);
  tmp[0] = (((((*in) & 0xC0) >> 6) & 0x3)) << (index);
  tmp[0] = sfx_sign_extend(index + 2, tmp[0]);
  tmp[1] = (((((*in) & 0x30) >> 4) & 0x3)) << (index);
  tmp[1] = sfx_sign_extend(index + 2, tmp[1]);
  tmp[2] = (((((*in) & 0x0C) >> 2) & 0x3)) << (index);
  tmp[2] = sfx_sign_extend(index + 2, tmp[2]);
  tmp[3] = ((((*in++) & 0x03) & 0x3)) << (index);
  tmp[3] = sfx_sign_extend(index + 2, tmp[3]);
  tmp[4] = (((((*in) & 0xC0) >> 6) & 0x3)) << (index);
  tmp[4] = sfx_sign_extend(index + 2, tmp[4]);
  tmp[5] = (((((*in) & 0x30) >> 4) & 0x3)) << (index);
  tmp[5] = sfx_sign_extend(index + 2, tmp[5]);
  tmp[6] = (((((*in) & 0x0C) >> 2) & 0x3)) << (index);
  tmp[6] = sfx_sign_extend(index + 2, tmp[6]);
  tmp[7] = ((((*in++) & 0x03) & 0x3)) << (index);
  tmp[7] = sfx_sign_extend(index + 2, tmp[7]);
  for (i = 0; i < 8; i++) {
    total = (pred1[i] * lastsmp[6]);
    total += (pred2[i] * lastsmp[7]);
    if (i > 0) {
      for (int x = i - 1; x > -1; x--) {
        total += (tmp[((i - 1) - x)] * pred2[x]);
      }
    }
    float result = ((tmp[i] << 0xb) + total) >> 0xb;
    if (result > 32767)
      sample = 32767;
    else if (result < -32768)
      sample = -32768;
    else
      sample = (signed short)result;
    out[i] = sample;
  }
  memcpy(lastsmp, out, sizeof(signed short) * 8);
}


x86 assembly (clang, -O0):
<decode_8_half>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
movq   $0x0,-0x48(%rbp)
movw   $0x0,-0x4a(%rbp)
mov    -0x10(%rbp),%rdi
xor    %esi,%esi
mov    $0x10,%edx
call   1030 <memset@plt>
mov    -0x20(%rbp),%rax
add    $0x10,%rax
mov    %rax,-0x58(%rbp)
mov    -0x8(%rbp),%rax
movzbl (%rax),%eax
and    $0xc0,%eax
sar    $0x6,%eax
and    $0x3,%eax
mov    -0x14(%rbp),%ecx
shl    %cl,%eax
mov    %ax,-0x40(%rbp)
mov    -0x14(%rbp),%edi
add    $0x2,%edi
movswl -0x40(%rbp),%esi
call   1050 <sfx_sign_extend@plt>
mov    %ax,-0x40(%rbp)
mov    -0x8(%rbp),%rax
movzbl (%rax),%eax
and    $0x30,%eax
sar    $0x4,%eax
and    $0x3,%eax
mov    -0x14(%rbp),%ecx
shl    %cl,%eax
mov    %ax,-0x3e(%rbp)
mov    -0x14(%rbp),%edi
add    $0x2,%edi
movswl -0x3e(%rbp),%esi
call   1050 <sfx_sign_extend@plt>
mov    %ax,-0x3e(%rbp)
mov    -0x8(%rbp),%rax
movzbl (%rax),%eax
and    $0xc,%eax
sar    $0x2,%eax
and    $0x3,%eax
mov    -0x14(%rbp),%ecx
shl    %cl,%eax
mov    %ax,-0x3c(%rbp)
mov    -0x14(%rbp),%edi
add    $0x2,%edi
movswl -0x3c(%rbp),%esi
call   1050 <sfx_sign_extend@plt>
mov    %ax,-0x3c(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x8(%rbp)
movzbl (%rax),%eax
and    $0x3,%eax
and    $0x3,%eax
mov    -0x14(%rbp),%ecx
shl    %cl,%eax
mov    %ax,-0x3a(%rbp)
mov    -0x14(%rbp),%edi
add    $0x2,%edi
movswl -0x3a(%rbp),%esi
call   1050 <sfx_sign_extend@plt>
mov    %ax,-0x3a(%rbp)
mov    -0x8(%rbp),%rax
movzbl (%rax),%eax
and    $0xc0,%eax
sar    $0x6,%eax
and    $0x3,%eax
mov    -0x14(%rbp),%ecx
shl    %cl,%eax
mov    %ax,-0x38(%rbp)
mov    -0x14(%rbp),%edi
add    $0x2,%edi
movswl -0x38(%rbp),%esi
call   1050 <sfx_sign_extend@plt>
mov    %ax,-0x38(%rbp)
mov    -0x8(%rbp),%rax
movzbl (%rax),%eax
and    $0x30,%eax
sar    $0x4,%eax
and    $0x3,%eax
mov    -0x14(%rbp),%ecx
shl    %cl,%eax
mov    %ax,-0x36(%rbp)
mov    -0x14(%rbp),%edi
add    $0x2,%edi
movswl -0x36(%rbp),%esi
call   1050 <sfx_sign_extend@plt>
mov    %ax,-0x36(%rbp)
mov    -0x8(%rbp),%rax
movzbl (%rax),%eax
and    $0xc,%eax
sar    $0x2,%eax
and    $0x3,%eax
mov    -0x14(%rbp),%ecx
shl    %cl,%eax
mov    %ax,-0x34(%rbp)
mov    -0x14(%rbp),%edi
add    $0x2,%edi
movswl -0x34(%rbp),%esi
call   1050 <sfx_sign_extend@plt>
mov    %ax,-0x34(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x8(%rbp)
movzbl (%rax),%eax
and    $0x3,%eax
and    $0x3,%eax
mov    -0x14(%rbp),%ecx
shl    %cl,%eax
mov    %ax,-0x32(%rbp)
mov    -0x14(%rbp),%edi
add    $0x2,%edi
movswl -0x32(%rbp),%esi
call   1050 <sfx_sign_extend@plt>
mov    %ax,-0x32(%rbp)
movl   $0x0,-0x2c(%rbp)
cmpl   $0x8,-0x2c(%rbp)
jge    141f <decode_8_half+0x2ef>
mov    -0x20(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movswl (%rax,%rcx,2),%eax
mov    -0x28(%rbp),%rcx
movswl 0xc(%rcx),%ecx
imul   %ecx,%eax
cltq
mov    %rax,-0x48(%rbp)
mov    -0x58(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movswl (%rax,%rcx,2),%eax
mov    -0x28(%rbp),%rcx
movswl 0xe(%rcx),%ecx
imul   %ecx,%eax
cltq
add    -0x48(%rbp),%rax
mov    %rax,-0x48(%rbp)
cmpl   $0x0,-0x2c(%rbp)
jle    1391 <decode_8_half+0x261>
mov    -0x2c(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x5c(%rbp)
cmpl   $0xffffffff,-0x5c(%rbp)
jle    138c <decode_8_half+0x25c>
mov    -0x2c(%rbp),%eax
sub    $0x1,%eax
sub    -0x5c(%rbp),%eax
cltq
movswl -0x40(%rbp,%rax,2),%eax
mov    -0x58(%rbp),%rcx
movslq -0x5c(%rbp),%rdx
movswl (%rcx,%rdx,2),%ecx
imul   %ecx,%eax
cltq
add    -0x48(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x5c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x5c(%rbp)
jmp    134b <decode_8_half+0x21b>
jmp    1391 <decode_8_half+0x261>
movslq -0x2c(%rbp),%rax
movswl -0x40(%rbp,%rax,2),%eax
shl    $0xb,%eax
cltq
add    -0x48(%rbp),%rax
sar    $0xb,%rax
cvtsi2ss %rax,%xmm0
movss  %xmm0,-0x60(%rbp)
movss  -0x60(%rbp),%xmm0
movss  0xc42(%rip),%xmm1
ucomiss %xmm1,%xmm0
jbe    13d2 <decode_8_half+0x2a2>
movw   $0x7fff,-0x4a(%rbp)
jmp    1401 <decode_8_half+0x2d1>
movss  0xc2a(%rip),%xmm0
ucomiss -0x60(%rbp),%xmm0
jbe    13ef <decode_8_half+0x2bf>
movw   $0x8000,-0x4a(%rbp)
jmp    13fc <decode_8_half+0x2cc>
movss  -0x60(%rbp),%xmm0
cvttss2si %xmm0,%eax
mov    %ax,-0x4a(%rbp)
jmp    1401 <decode_8_half+0x2d1>
mov    -0x4a(%rbp),%dx
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    %dx,(%rax,%rcx,2)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    12f0 <decode_8_half+0x1c0>
mov    -0x28(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    $0x10,%edx
call   1040 <memcpy@plt>
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<decode_8_half>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
mov    %r8,%r15
mov    %rcx,%r13
mov    %edx,%ebx
mov    %rsi,%r14
mov    %rdi,%rbp
mov    %rdi,0x28(%rsp)
xor    %r12d,%r12d
mov    %rsi,%rdi
xor    %esi,%esi
mov    $0x10,%edx
call   1030 <memset@plt>
movzbl 0x0(%rbp),%eax
shr    $0x6,%eax
mov    %ebx,%ebp
mov    %ebp,%ecx
shl    %cl,%eax
mov    %ebx,%edi
add    $0x2,%edi
mov    %edi,0xc(%rsp)
movswl %ax,%esi
call   1050 <sfx_sign_extend@plt>
mov    %ax,0x10(%rsp)
mov    0x28(%rsp),%rbx
movzbl (%rbx),%eax
shr    $0x4,%eax
and    $0x3,%eax
mov    %ebp,0x34(%rsp)
mov    %ebp,%ecx
shl    %cl,%eax
movswl %ax,%esi
mov    0xc(%rsp),%edi
call   1050 <sfx_sign_extend@plt>
mov    %ax,0x12(%rsp)
movzbl (%rbx),%eax
shr    $0x2,%eax
and    $0x3,%eax
mov    %ebp,%ecx
shl    %cl,%eax
movswl %ax,%esi
mov    0xc(%rsp),%ebp
mov    %ebp,%edi
call   1050 <sfx_sign_extend@plt>
mov    %ax,0x14(%rsp)
movzbl (%rbx),%eax
and    $0x3,%eax
mov    0x34(%rsp),%ebx
mov    %ebx,%ecx
shl    %cl,%eax
movswl %ax,%esi
mov    %ebp,%edi
call   1050 <sfx_sign_extend@plt>
mov    %ax,0x16(%rsp)
mov    0x28(%rsp),%rbp
movzbl 0x1(%rbp),%eax
shr    $0x6,%eax
mov    %ebx,%ecx
shl    %cl,%eax
movswl %ax,%esi
mov    0xc(%rsp),%edi
call   1050 <sfx_sign_extend@plt>
mov    %ax,0x18(%rsp)
movzbl 0x1(%rbp),%eax
shr    $0x4,%eax
and    $0x3,%eax
mov    %ebx,%ecx
shl    %cl,%eax
movswl %ax,%esi
mov    0xc(%rsp),%ebp
mov    %ebp,%edi
call   1050 <sfx_sign_extend@plt>
mov    %ax,0x1a(%rsp)
mov    0x28(%rsp),%rax
movzbl 0x1(%rax),%eax
shr    $0x2,%eax
and    $0x3,%eax
mov    %ebx,%ecx
shl    %cl,%eax
movswl %ax,%esi
mov    %ebp,%edi
call   1050 <sfx_sign_extend@plt>
mov    %ax,0x1c(%rsp)
mov    0x28(%rsp),%rax
movzbl 0x1(%rax),%eax
and    $0x3,%eax
mov    %ebx,%ecx
shl    %cl,%eax
movswl %ax,%esi
mov    %ebp,%edi
call   1050 <sfx_sign_extend@plt>
mov    %ax,0x1e(%rsp)
mov    $0x7fff,%r8d
xor    %ebx,%ebx
jmp    12a2 <decode_8_half+0x172>
nopw   0x0(%rax,%rax,1)
cmp    $0x4000000,%rsi
cmovge %r8d,%edx
mov    %dx,(%r14,%rbx,2)
add    $0x1,%rbx
add    $0xffffffffffffffff,%r12
cmp    $0x8,%rbx
je     13eb <decode_8_half+0x2bb>
movswq 0x0(%r13,%rbx,2),%rdx
movswq 0xc(%r15),%rsi
imul   %rdx,%rsi
movswq 0x10(%r13,%rbx,2),%rdi
movswq 0xe(%r15),%rdx
imul   %rdi,%rdx
add    %rsi,%rdx
mov    %rbx,%rdi
sub    $0x1,%rdi
jb     13c0 <decode_8_half+0x290>
lea    (%rbx,%r12,1),%rsi
movswq 0x10(%rsp,%rsi,2),%rbp
mov    %edi,%eax
movswq 0x10(%r13,%rax,2),%rax
imul   %rbp,%rax
add    %rax,%rdx
test   %rdi,%rdi
jle    13c0 <decode_8_half+0x290>
mov    $0xfffffffb,%ebp
lea    (%rbx,%rbp,1),%eax
add    $0x3,%eax
mov    %rbx,%rcx
sub    %rdi,%rcx
movswq 0x10(%rsp,%rcx,2),%rcx
movswq 0x10(%r13,%rax,2),%rax
imul   %rcx,%rax
add    %rax,%rdx
cmp    $0x2,%rbx
je     13c0 <decode_8_half+0x290>
lea    (%rbx,%rbp,1),%eax
add    $0x2,%eax
movswq 0x14(%rsp,%rsi,2),%rcx
movswq 0x10(%r13,%rax,2),%rax
imul   %rcx,%rax
add    %rax,%rdx
cmp    $0x3,%rdi
jl     13c0 <decode_8_half+0x290>
lea    (%rbx,%rbp,1),%eax
add    $0x1,%eax
movswq 0x16(%rsp,%rsi,2),%rcx
movswq 0x10(%r13,%rax,2),%rax
imul   %rcx,%rax
add    %rax,%rdx
cmp    $0x4,%rbx
je     13c0 <decode_8_half+0x290>
lea    (%rbx,%rbp,1),%eax
movswq 0x18(%rsp,%rsi,2),%rcx
movswq 0x10(%r13,%rax,2),%rax
imul   %rcx,%rax
add    %rax,%rdx
cmp    $0x5,%rdi
jl     13c0 <decode_8_half+0x290>
lea    (%rbx,%rbp,1),%eax
add    $0xffffffff,%eax
movswq 0x1a(%rsp,%rsi,2),%rcx
movswq 0x10(%r13,%rax,2),%rax
imul   %rcx,%rax
add    %rax,%rdx
cmp    $0x6,%rbx
je     13c0 <decode_8_half+0x290>
lea    (%rbx,%rbp,1),%eax
add    $0xfffffffe,%eax
movswq 0x1c(%rsp,%rsi,2),%rcx
movswq 0x10(%r13,%rax,2),%rax
imul   %rcx,%rax
add    %rax,%rdx
cs nopw 0x0(%rax,%rax,1)
movswq 0x10(%rsp,%rbx,2),%rsi
shl    $0xb,%rsi
add    %rdx,%rsi
mov    $0x8000,%edx
cmp    $0xfffffffffc000000,%rsi
jl     1280 <decode_8_half+0x150>
mov    %rsi,%rdx
shr    $0xb,%rdx
jmp    1280 <decode_8_half+0x150>
mov    %r15,%rdi
mov    %r14,%rsi
mov    $0x10,%edx
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1040 <memcpy@plt>

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

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