#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 /*<<< orphan*/ uint8_t;

/* Variables and functions */
uint8_t *pack8(uint8_t *outbuf, unsigned short int *inbuf, size_t count) {
  unsigned short int *inp = inbuf;
  uint8_t *outp = outbuf;
  while (inp < (inbuf + count)) {
    *outp++ = *inp++ >> 2;
  }
  return outp;
}


x86 assembly (clang, -O0):
<pack8>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x10(%rbp),%rcx
mov    -0x18(%rbp),%rdx
shl    $0x1,%rdx
add    %rdx,%rcx
cmp    %rcx,%rax
jae    1167 <pack8+0x67>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x2,%rcx
mov    %rcx,-0x20(%rbp)
movzwl (%rax),%ecx
sar    $0x2,%ecx
mov    -0x28(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x28(%rbp)
mov    %ecx,(%rax)
jmp    1120 <pack8+0x20>
mov    -0x28(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<pack8>:
mov    %rdi,%rax
test   %rdx,%rdx
jle    1225 <pack8+0x125>
lea    (%rsi,%rdx,2),%rcx
lea    0x2(%rsi),%rdx
cmp    %rdx,%rcx
cmova  %rcx,%rdx
mov    %rsi,%r10
not    %r10
add    %rdx,%r10
cmp    $0xe,%r10
jb     1210 <pack8+0x110>
shr    %r10
add    $0x1,%r10
mov    %r10,%r8
and    $0xfffffffffffffff8,%r8
lea    -0x8(%r8),%rdx
mov    %rdx,%r9
shr    $0x3,%r9
add    $0x1,%r9
test   %rdx,%rdx
je     1226 <pack8+0x126>
mov    %r9,%rdx
and    $0xfffffffffffffffe,%rdx
xor    %edi,%edi
pxor   %xmm0,%xmm0
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movq   (%rsi,%rdi,2),%xmm1
movq   0x8(%rsi,%rdi,2),%xmm2
psrlw  $0x2,%xmm1
psrlw  $0x2,%xmm2
punpcklwd %xmm0,%xmm1
punpcklwd %xmm0,%xmm2
movdqu %xmm1,(%rax,%rdi,4)
movdqu %xmm2,0x10(%rax,%rdi,4)
movq   0x10(%rsi,%rdi,2),%xmm1
movq   0x18(%rsi,%rdi,2),%xmm2
psrlw  $0x2,%xmm1
psrlw  $0x2,%xmm2
punpcklwd %xmm0,%xmm1
punpcklwd %xmm0,%xmm2
movdqu %xmm1,0x20(%rax,%rdi,4)
movdqu %xmm2,0x30(%rax,%rdi,4)
add    $0x10,%rdi
add    $0xfffffffffffffffe,%rdx
jne    1170 <pack8+0x70>
test   $0x1,%r9b
je     11fe <pack8+0xfe>
movq   (%rsi,%rdi,2),%xmm0
movq   0x8(%rsi,%rdi,2),%xmm1
psrlw  $0x2,%xmm0
psrlw  $0x2,%xmm1
pxor   %xmm2,%xmm2
punpcklwd %xmm2,%xmm0
punpcklwd %xmm2,%xmm1
movdqu %xmm0,(%rax,%rdi,4)
movdqu %xmm1,0x10(%rax,%rdi,4)
lea    (%rax,%r8,4),%rax
cmp    %r8,%r10
je     1225 <pack8+0x125>
lea    (%rsi,%r8,2),%rsi
nopl   0x0(%rax,%rax,1)
movzwl (%rsi),%edx
add    $0x2,%rsi
shr    $0x2,%edx
mov    %edx,(%rax)
add    $0x4,%rax
cmp    %rcx,%rsi
jb     1210 <pack8+0x110>
ret
xor    %edi,%edi
test   $0x1,%r9b
jne    11d2 <pack8+0xd2>
jmp    11fe <pack8+0xfe>

LLVM IR (-O0):
define i32* @pack8(i32* %0, i16* %1, i64 %2) {
%4 = alloca i32*
%5 = alloca i16*
%6 = alloca i64
%7 = alloca i16*
%8 = alloca i32*
store i32* %0, i32** %4
store i16* %1, i16** %5
store i64 %2, i64* %6
%9 = load i16*, i16** %5
store i16* %9, i16** %7
%10 = load i32*, i32** %4
store i32* %10, i32** %8
br label %11
11: ; preds = %17, %3
%12 = load i16*, i16** %7
%13 = load i16*, i16** %5
%14 = load i64, i64* %6
%15 = getelementptr inbounds i16, i16* %13, i64 %14
%16 = icmp ult i16* %12, %15
br i1 %16, label %17, label %25
17: ; preds = %11
%18 = load i16*, i16** %7
%19 = getelementptr inbounds i16, i16* %18, i32 1
store i16* %19, i16** %7
%20 = load i16, i16* %18
%21 = zext i16 %20 to i32
%22 = ashr i32 %21, 2
%23 = load i32*, i32** %8
%24 = getelementptr inbounds i32, i32* %23, i32 1
store i32* %24, i32** %8
store i32 %22, i32* %23
br label %11
25: ; preds = %11
%26 = load i32*, i32** %8
ret i32* %26
}

LLVM IR (-O2):
define i32* @pack8(i32* writeonly %0, i16* %1, i64 %2) {
%4 = ptrtoint i16* %1 to i64
%5 = getelementptr inbounds i16, i16* %1, i64 %2
%6 = icmp sgt i64 %2, 0
br i1 %6, label %7, label %95
7: ; preds = %3
%8 = shl i64 %2, 1
%9 = add i64 %8, %4
%10 = add i64 %4, 2
%11 = call i64 @llvm.umax.i64(i64 %9, i64 %10)
%12 = xor i64 %4, -1
%13 = add i64 %11, %12
%14 = lshr i64 %13, 1
%15 = add nuw i64 %14, 1
%16 = icmp ult i64 %13, 14
br i1 %16, label %83, label %17
17: ; preds = %7
%18 = and i64 %15, -8
%19 = getelementptr i32, i32* %0, i64 %18
%20 = getelementptr i16, i16* %1, i64 %18
%21 = add i64 %18, -8
%22 = lshr exact i64 %21, 3
%23 = add nuw nsw i64 %22, 1
%24 = and i64 %23, 1
%25 = icmp eq i64 %21, 0
br i1 %25, label %63, label %26
26: ; preds = %17
%27 = and i64 %23, 4611686018427387902
br label %28
28: ; preds = %28, %26
%29 = phi i64 [ 0, %26 ], [ %60, %28 ]
%30 = phi i64 [ 0, %26 ], [ %61, %28 ]
%31 = getelementptr i32, i32* %0, i64 %29
%32 = getelementptr i16, i16* %1, i64 %29
%33 = bitcast i16* %32 to <4 x i16>*
%34 = load <4 x i16>, <4 x i16>* %33
%35 = getelementptr i16, i16* %32, i64 4
%36 = bitcast i16* %35 to <4 x i16>*
%37 = load <4 x i16>, <4 x i16>* %36
%38 = lshr <4 x i16> %34, <i16 2, i16 2, i16 2, i16 2>
%39 = lshr <4 x i16> %37, <i16 2, i16 2, i16 2, i16 2>
%40 = zext <4 x i16> %38 to <4 x i32>
%41 = zext <4 x i16> %39 to <4 x i32>
%42 = bitcast i32* %31 to <4 x i32>*
store <4 x i32> %40, <4 x i32>* %42
%43 = getelementptr i32, i32* %31, i64 4
%44 = bitcast i32* %43 to <4 x i32>*
store <4 x i32> %41, <4 x i32>* %44
%45 = or i64 %29, 8
%46 = getelementptr i32, i32* %0, i64 %45
%47 = getelementptr i16, i16* %1, i64 %45
%48 = bitcast i16* %47 to <4 x i16>*
%49 = load <4 x i16>, <4 x i16>* %48
%50 = getelementptr i16, i16* %47, i64 4
%51 = bitcast i16* %50 to <4 x i16>*
%52 = load <4 x i16>, <4 x i16>* %51
%53 = lshr <4 x i16> %49, <i16 2, i16 2, i16 2, i16 2>
%54 = lshr <4 x i16> %52, <i16 2, i16 2, i16 2, i16 2>
%55 = zext <4 x i16> %53 to <4 x i32>
%56 = zext <4 x i16> %54 to <4 x i32>
%57 = bitcast i32* %46 to <4 x i32>*
store <4 x i32> %55, <4 x i32>* %57
%58 = getelementptr i32, i32* %46, i64 4
%59 = bitcast i32* %58 to <4 x i32>*
store <4 x i32> %56, <4 x i32>* %59
%60 = add nuw i64 %29, 16
%61 = add i64 %30, 2
%62 = icmp eq i64 %61, %27
br i1 %62, label %63, label %28
63: ; preds = %28, %17
%64 = phi i64 [ 0, %17 ], [ %60, %28 ]
%65 = icmp eq i64 %24, 0
br i1 %65, label %81, label %66
66: ; preds = %63
%67 = getelementptr i32, i32* %0, i64 %64
%68 = getelementptr i16, i16* %1, i64 %64
%69 = bitcast i16* %68 to <4 x i16>*
%70 = load <4 x i16>, <4 x i16>* %69
%71 = getelementptr i16, i16* %68, i64 4
%72 = bitcast i16* %71 to <4 x i16>*
%73 = load <4 x i16>, <4 x i16>* %72
%74 = lshr <4 x i16> %70, <i16 2, i16 2, i16 2, i16 2>
%75 = lshr <4 x i16> %73, <i16 2, i16 2, i16 2, i16 2>
%76 = zext <4 x i16> %74 to <4 x i32>
%77 = zext <4 x i16> %75 to <4 x i32>
%78 = bitcast i32* %67 to <4 x i32>*
store <4 x i32> %76, <4 x i32>* %78
%79 = getelementptr i32, i32* %67, i64 4
%80 = bitcast i32* %79 to <4 x i32>*
store <4 x i32> %77, <4 x i32>* %80
br label %81
81: ; preds = %63, %66
%82 = icmp eq i64 %15, %18
br i1 %82, label %95, label %83
83: ; preds = %7, %81
%84 = phi i32* [ %0, %7 ], [ %19, %81 ]
%85 = phi i16* [ %1, %7 ], [ %20, %81 ]
br label %86
86: ; preds = %83, %86
%87 = phi i32* [ %93, %86 ], [ %84, %83 ]
%88 = phi i16* [ %89, %86 ], [ %85, %83 ]
%89 = getelementptr inbounds i16, i16* %88, i64 1
%90 = load i16, i16* %88
%91 = lshr i16 %90, 2
%92 = zext i16 %91 to i32
%93 = getelementptr inbounds i32, i32* %87, i64 1
store i32 %92, i32* %87
%94 = icmp ult i16* %89, %5
br i1 %94, label %86, label %95
95: ; preds = %86, %81, %3
%96 = phi i32* [ %0, %3 ], [ %19, %81 ], [ %93, %86 ]
ret i32* %96
}