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

/* Variables and functions */
void rgb32to16_C(const uint8_t *src, uint8_t *dst, unsigned src_size) {
  const uint8_t *s = src;
  const uint8_t *end;
  uint16_t *d = (uint16_t *)dst;
  end = s + src_size;
  while (s < end) {
    const int src = *s;
    s += 4;
    *d++ =
        ((src & 0xFF) >> 3) + ((src & 0xFC00) >> 5) + ((src & 0xF80000) >> 8);
  }
}


x86 assembly (clang, -O0):
<rgb32to16_C>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x14(%rbp),%ecx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x28(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x28(%rbp),%rax
jae    1190 <rgb32to16_C+0x90>
mov    -0x20(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x34(%rbp)
mov    -0x20(%rbp),%rax
add    $0x10,%rax
mov    %rax,-0x20(%rbp)
mov    -0x34(%rbp),%ecx
and    $0xff,%ecx
sar    $0x3,%ecx
mov    -0x34(%rbp),%eax
and    $0xfc00,%eax
sar    $0x5,%eax
add    %eax,%ecx
mov    -0x34(%rbp),%eax
and    $0xf80000,%eax
sar    $0x8,%eax
add    %eax,%ecx
mov    -0x30(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x30(%rbp)
mov    %ecx,(%rax)
jmp    1131 <rgb32to16_C+0x31>
pop    %rbp
ret

x86 assembly (clang, -O2):
<rgb32to16_C>:
test   %edx,%edx
je     1250 <rgb32to16_C+0x150>
mov    %edx,%eax
lea    (%rdi,%rax,4),%r11
lea    0x10(%rdi),%rcx
cmp    %rcx,%r11
mov    %rcx,%r10
cmova  %r11,%r10
mov    %rdi,%r8
not    %r8
add    %r8,%r10
cmp    $0x40,%r10
jb     1220 <rgb32to16_C+0x120>
cmp    %rcx,%r11
cmova  %r11,%rcx
add    %r8,%rcx
shr    $0x4,%rcx
mov    %rcx,%rdx
shl    $0x4,%rdx
add    %rdi,%rdx
add    $0x4,%rdx
cmp    %rsi,%rdx
jbe    1161 <rgb32to16_C+0x61>
lea    (%rsi,%rcx,4),%rcx
add    $0x4,%rcx
cmp    %rdi,%rcx
ja     1220 <rgb32to16_C+0x120>
shr    $0x4,%r10
add    $0x1,%r10
mov    %r10d,%ecx
and    $0x3,%ecx
test   %rcx,%rcx
mov    $0x4,%edx
cmovne %rcx,%rdx
sub    %rdx,%r10
mov    %r10,%r9
shl    $0x4,%r9
add    %rdi,%r9
lea    (%rsi,%r10,4),%r8
xor    %edx,%edx
movdqa 0xe6a(%rip),%xmm0
movdqa 0xe72(%rip),%xmm1
movdqa 0xe7a(%rip),%xmm2
cs nopw 0x0(%rax,%rax,1)
movdqu (%rdi),%xmm3
movdqu 0x10(%rdi),%xmm4
punpckldq %xmm4,%xmm3
movdqu 0x20(%rdi),%xmm4
movdqu 0x30(%rdi),%xmm5
punpckldq %xmm5,%xmm4
punpcklqdq %xmm4,%xmm3
movdqa %xmm3,%xmm4
psrld  $0x3,%xmm4
pand   %xmm0,%xmm4
movdqa %xmm3,%xmm5
psrld  $0x5,%xmm5
pand   %xmm1,%xmm5
por    %xmm4,%xmm5
psrld  $0x8,%xmm3
pand   %xmm2,%xmm3
por    %xmm5,%xmm3
movdqu %xmm3,(%rsi,%rdx,4)
add    $0x4,%rdx
add    $0x40,%rdi
cmp    %rdx,%r10
jne    11b0 <rgb32to16_C+0xb0>
mov    %r9,%rdi
mov    %r8,%rsi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    (%rdi),%ecx
add    $0x10,%rdi
mov    %ecx,%edx
shr    $0x3,%edx
and    $0x1f,%edx
mov    %ecx,%eax
shr    $0x5,%eax
and    $0x7e0,%eax
or     %edx,%eax
shr    $0x8,%ecx
and    $0xf800,%ecx
or     %eax,%ecx
mov    %ecx,(%rsi)
add    $0x4,%rsi
cmp    %r11,%rdi
jb     1220 <rgb32to16_C+0x120>
ret

LLVM IR (-O0):
define void @rgb32to16_C(i32* %0, i32* %1, i32 %2) {
%4 = alloca i32*
%5 = alloca i32*
%6 = alloca i32
%7 = alloca i32*
%8 = alloca i32*
%9 = alloca i32*
%10 = alloca i32
store i32* %0, i32** %4
store i32* %1, i32** %5
store i32 %2, i32* %6
%11 = load i32*, i32** %4
store i32* %11, i32** %7
%12 = load i32*, i32** %5
store i32* %12, i32** %9
%13 = load i32*, i32** %7
%14 = load i32, i32* %6
%15 = zext i32 %14 to i64
%16 = getelementptr inbounds i32, i32* %13, i64 %15
store i32* %16, i32** %8
br label %17
17: ; preds = %21, %3
%18 = load i32*, i32** %7
%19 = load i32*, i32** %8
%20 = icmp ult i32* %18, %19
br i1 %20, label %21, label %39
21: ; preds = %17
%22 = load i32*, i32** %7
%23 = load i32, i32* %22
store i32 %23, i32* %10
%24 = load i32*, i32** %7
%25 = getelementptr inbounds i32, i32* %24, i64 4
store i32* %25, i32** %7
%26 = load i32, i32* %10
%27 = and i32 %26, 255
%28 = ashr i32 %27, 3
%29 = load i32, i32* %10
%30 = and i32 %29, 64512
%31 = ashr i32 %30, 5
%32 = add nsw i32 %28, %31
%33 = load i32, i32* %10
%34 = and i32 %33, 16252928
%35 = ashr i32 %34, 8
%36 = add nsw i32 %32, %35
%37 = load i32*, i32** %9
%38 = getelementptr inbounds i32, i32* %37, i32 1
store i32* %38, i32** %9
store i32 %36, i32* %37
br label %17
39: ; preds = %17
ret void
}

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