#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 */
unsigned char *BMP_getWritePointer(unsigned short, unsigned short);
int /*<<< orphan*/ memcpy(unsigned char *, unsigned char const *,
                          unsigned short);
void BMP_drawBitmapData(const unsigned char *image, unsigned short x,
                        unsigned short y, unsigned short w, unsigned short h,
                        unsigned long pitch) {
  if ((x >= (1 << (5 + 3))) || (y >= (20 * (1 << 3))))
    return;
  unsigned short adj_w, adj_h;
  const unsigned char *src;
  unsigned char *dst;
  if ((w + x) > (1 << (5 + 3)))
    adj_w = ((1 << (5 + 3)) - (w + x)) >> 1;
  else
    adj_w = w >> 1;
  if ((h + y) > (20 * (1 << 3)))
    adj_h = (20 * (1 << 3)) - (h + y);
  else
    adj_h = h;
  src = image;
  dst = BMP_getWritePointer(x, y);
  while (adj_h--) {
    memcpy(dst, src, adj_w);
    src += pitch;
    dst += (1 << (5 + 2));
  }
}


x86 assembly (clang, -O0):
<BMP_drawBitmapData>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %r8w,%ax
mov    %rdi,-0x8(%rbp)
mov    %si,-0xa(%rbp)
mov    %dx,-0xc(%rbp)
mov    %cx,-0xe(%rbp)
mov    %ax,-0x10(%rbp)
mov    %r9,-0x18(%rbp)
movzwl -0xa(%rbp),%eax
cmp    $0x100,%eax
jge    1162 <BMP_drawBitmapData+0x42>
movzwl -0xc(%rbp),%eax
cmp    $0xa0,%eax
jl     1167 <BMP_drawBitmapData+0x47>
jmp    1243 <BMP_drawBitmapData+0x123>
movzwl -0xe(%rbp),%eax
movzwl -0xa(%rbp),%ecx
add    %ecx,%eax
cmp    $0x100,%eax
jle    1199 <BMP_drawBitmapData+0x79>
movzwl -0xe(%rbp),%ecx
movzwl -0xa(%rbp),%eax
add    %eax,%ecx
mov    $0x100,%eax
sub    %ecx,%eax
sar    $0x1,%eax
mov    %ax,-0x1a(%rbp)
jmp    11a4 <BMP_drawBitmapData+0x84>
movzwl -0xe(%rbp),%eax
sar    $0x1,%eax
mov    %ax,-0x1a(%rbp)
movzwl -0x10(%rbp),%eax
movzwl -0xc(%rbp),%ecx
add    %ecx,%eax
cmp    $0xa0,%eax
jle    11d3 <BMP_drawBitmapData+0xb3>
movzwl -0x10(%rbp),%ecx
movzwl -0xc(%rbp),%eax
add    %eax,%ecx
mov    $0xa0,%eax
sub    %ecx,%eax
mov    %ax,-0x1c(%rbp)
jmp    11db <BMP_drawBitmapData+0xbb>
mov    -0x10(%rbp),%ax
mov    %ax,-0x1c(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0xa(%rbp),%ax
movzwl %ax,%edi
movzwl -0xc(%rbp),%esi
call   1040 <BMP_getWritePointer@plt>
mov    %rax,-0x30(%rbp)
mov    -0x1c(%rbp),%ax
mov    %ax,%cx
add    $0xffff,%cx
mov    %cx,-0x1c(%rbp)
cmp    $0x0,%ax
je     1243 <BMP_drawBitmapData+0x123>
mov    -0x30(%rbp),%rdi
mov    -0x28(%rbp),%rsi
mov    -0x1a(%rbp),%ax
movzwl %ax,%edx
call   1030 <memcpy@plt>
mov    -0x18(%rbp),%rax
add    -0x28(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x30(%rbp),%rax
add    $0x80,%rax
mov    %rax,-0x30(%rbp)
jmp    11f7 <BMP_drawBitmapData+0xd7>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<BMP_drawBitmapData>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
cmp    $0xff,%esi
ja     11ab <BMP_drawBitmapData+0x8b>
mov    %esi,%eax
movzwl %dx,%esi
cmp    $0x9f,%esi
ja     11ab <BMP_drawBitmapData+0x8b>
mov    %r9,%r14
mov    %rdi,%r15
movzwl %ax,%edi
movzwl %cx,%r12d
lea    (%r12,%rdi,1),%eax
mov    $0x100,%ecx
mov    $0x100,%edx
sub    %eax,%edx
shr    %edx
shr    %r12d
cmp    %eax,%ecx
cmovb  %edx,%r12d
movzwl %r8w,%ebp
lea    (%rsi,%rbp,1),%eax
mov    $0xa0,%ecx
sub    %eax,%ecx
cmp    $0xa1,%eax
cmovae %ecx,%ebp
call   1040 <BMP_getWritePointer@plt>
test   %bp,%bp
je     11ab <BMP_drawBitmapData+0x8b>
mov    %rax,%rbx
movzwl %r12w,%r12d
nopl   0x0(%rax)
mov    %rbx,%rdi
mov    %r15,%rsi
mov    %r12d,%edx
call   1030 <memcpy@plt>
add    %r14,%r15
sub    $0xffffffffffffff80,%rbx
add    $0xffff,%bp
jne    1190 <BMP_drawBitmapData+0x70>
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @BMP_drawBitmapData(i8* %0, i16 zeroext %1, i16 zeroext %2, i16 zeroext %3, i16 zeroext %4, i64 %5) {
%7 = alloca i8*
%8 = alloca i16
%9 = alloca i16
%10 = alloca i16
%11 = alloca i16
%12 = alloca i64
%13 = alloca i16
%14 = alloca i16
%15 = alloca i8*
%16 = alloca i8*
store i8* %0, i8** %7
store i16 %1, i16* %8
store i16 %2, i16* %9
store i16 %3, i16* %10
store i16 %4, i16* %11
store i64 %5, i64* %12
%17 = load i16, i16* %8
%18 = zext i16 %17 to i32
%19 = icmp sge i32 %18, 256
br i1 %19, label %24, label %20
20: ; preds = %6
%21 = load i16, i16* %9
%22 = zext i16 %21 to i32
%23 = icmp sge i32 %22, 160
br i1 %23, label %24, label %25
24: ; preds = %20, %6
br label %82
25: ; preds = %20
%26 = load i16, i16* %10
%27 = zext i16 %26 to i32
%28 = load i16, i16* %8
%29 = zext i16 %28 to i32
%30 = add nsw i32 %27, %29
%31 = icmp sgt i32 %30, 256
br i1 %31, label %32, label %41
32: ; preds = %25
%33 = load i16, i16* %10
%34 = zext i16 %33 to i32
%35 = load i16, i16* %8
%36 = zext i16 %35 to i32
%37 = add nsw i32 %34, %36
%38 = sub nsw i32 256, %37
%39 = ashr i32 %38, 1
%40 = trunc i32 %39 to i16
store i16 %40, i16* %13
br label %46
41: ; preds = %25
%42 = load i16, i16* %10
%43 = zext i16 %42 to i32
%44 = ashr i32 %43, 1
%45 = trunc i32 %44 to i16
store i16 %45, i16* %13
br label %46
46: ; preds = %41, %32
%47 = load i16, i16* %11
%48 = zext i16 %47 to i32
%49 = load i16, i16* %9
%50 = zext i16 %49 to i32
%51 = add nsw i32 %48, %50
%52 = icmp sgt i32 %51, 160
br i1 %52, label %53, label %61
53: ; preds = %46
%54 = load i16, i16* %11
%55 = zext i16 %54 to i32
%56 = load i16, i16* %9
%57 = zext i16 %56 to i32
%58 = add nsw i32 %55, %57
%59 = sub nsw i32 160, %58
%60 = trunc i32 %59 to i16
store i16 %60, i16* %14
br label %63
61: ; preds = %46
%62 = load i16, i16* %11
store i16 %62, i16* %14
br label %63
63: ; preds = %61, %53
%64 = load i8*, i8** %7
store i8* %64, i8** %15
%65 = load i16, i16* %8
%66 = load i16, i16* %9
%67 = call i8* @BMP_getWritePointer(i16 zeroext %65, i16 zeroext %66)
store i8* %67, i8** %16
br label %68
68: ; preds = %72, %63
%69 = load i16, i16* %14
%70 = add i16 %69, -1
store i16 %70, i16* %14
%71 = icmp ne i16 %69, 0
br i1 %71, label %72, label %82
72: ; preds = %68
%73 = load i8*, i8** %16
%74 = load i8*, i8** %15
%75 = load i16, i16* %13
%76 = call i32 @memcpy(i8* %73, i8* %74, i16 zeroext %75)
%77 = load i64, i64* %12
%78 = load i8*, i8** %15
%79 = getelementptr inbounds i8, i8* %78, i64 %77
store i8* %79, i8** %15
%80 = load i8*, i8** %16
%81 = getelementptr inbounds i8, i8* %80, i64 128
store i8* %81, i8** %16
br label %68
82: ; preds = %24, %68
ret void
}

LLVM IR (-O2):
define void @BMP_drawBitmapData(i8* %0, i16 zeroext %1, i16 zeroext %2, i16 zeroext %3, i16 zeroext %4, i64 %5) {
%7 = icmp ugt i16 %1, 255
%8 = icmp ugt i16 %2, 159
%9 = or i1 %7, %8
br i1 %9, label %38, label %10
10: ; preds = %6
%11 = zext i16 %2 to i32
%12 = zext i16 %1 to i32
%13 = zext i16 %3 to i32
%14 = add nuw nsw i32 %13, %12
%15 = icmp ugt i32 %14, 256
%16 = sub nsw i32 256, %14
%17 = lshr i32 %16, 1
%18 = trunc i32 %17 to i16
%19 = lshr i16 %3, 1
%20 = select i1 %15, i16 %18, i16 %19
%21 = zext i16 %4 to i32
%22 = add nuw nsw i32 %21, %11
%23 = icmp ugt i32 %22, 160
%24 = trunc i32 %22 to i16
%25 = sub i16 160, %24
%26 = select i1 %23, i16 %25, i16 %4
%27 = tail call i8* @BMP_getWritePointer(i16 zeroext %1, i16 zeroext %2)
%28 = icmp eq i16 %26, 0
br i1 %28, label %38, label %29
29: ; preds = %10, %29
%30 = phi i8* [ %36, %29 ], [ %27, %10 ]
%31 = phi i8* [ %35, %29 ], [ %0, %10 ]
%32 = phi i16 [ %33, %29 ], [ %26, %10 ]
%33 = add i16 %32, -1
%34 = tail call i32 @memcpy(i8* %30, i8* %31, i16 zeroext %20)
%35 = getelementptr inbounds i8, i8* %31, i64 %5
%36 = getelementptr inbounds i8, i8* %30, i64 128
%37 = icmp eq i16 %33, 0
br i1 %37, label %38, label %29
38: ; preds = %29, %10, %6
ret void
}