#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 uint16_t;

/* Variables and functions */
void usb_lld_to_pmabuf(const void *src, uint16_t addr, size_t n) {
  const uint8_t *s = (const uint8_t *)src;
  uint16_t *p;
  uint16_t w;
  if (n == 0)
    return;
  if ((addr & 1)) {
    p = (uint16_t *)((0x40006000UL) + (addr - 1) * 2);
    w = *p;
    w = (w & 0xff) | (*s++) << 8;
    *p = w;
    p += 2;
    n--;
  } else
    p = (uint16_t *)((0x40006000UL) + addr * 2);
  while (n >= 2) {
    w = *s++;
    w |= (*s++) << 8;
    *p = w;
    p += 2;
    n -= 2;
  }
  if (n > 0) {
    w = *s;
    *p = w;
  }
}


x86 assembly (clang, -O0):
<usb_lld_to_pmabuf>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x20(%rbp)
cmpq   $0x0,-0x18(%rbp)
jne    1127 <usb_lld_to_pmabuf+0x27>
jmp    122e <usb_lld_to_pmabuf+0x12e>
mov    -0xc(%rbp),%eax
and    $0x1,%eax
cmp    $0x0,%eax
je     119b <usb_lld_to_pmabuf+0x9b>
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
shl    $0x1,%eax
cltq
add    $0x40006000,%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
and    $0xff,%eax
mov    -0x20(%rbp),%rcx
mov    %rcx,%rdx
add    $0x4,%rdx
mov    %rdx,-0x20(%rbp)
mov    (%rcx),%ecx
shl    $0x8,%ecx
or     %ecx,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x28(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x18(%rbp)
jmp    11ad <usb_lld_to_pmabuf+0xad>
mov    -0xc(%rbp),%eax
shl    $0x1,%eax
cltq
add    $0x40006000,%rax
mov    %rax,-0x28(%rbp)
jmp    11b2 <usb_lld_to_pmabuf+0xb2>
cmpq   $0x2,-0x18(%rbp)
jb     1211 <usb_lld_to_pmabuf+0x111>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x20(%rbp)
mov    (%rax),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x20(%rbp)
mov    (%rax),%eax
shl    $0x8,%eax
or     -0x2c(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x28(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
sub    $0x2,%rax
mov    %rax,-0x18(%rbp)
jmp    11b2 <usb_lld_to_pmabuf+0xb2>
cmpq   $0x0,-0x18(%rbp)
jbe    122e <usb_lld_to_pmabuf+0x12e>
mov    -0x20(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<usb_lld_to_pmabuf>:
test   %rdx,%rdx
je     11ea <usb_lld_to_pmabuf+0xea>
mov    %esi,%eax
add    %esi,%esi
test   $0x1,%al
jne    1125 <usb_lld_to_pmabuf+0x25>
movslq %esi,%rax
add    $0x40006000,%rax
cmp    $0x2,%rdx
jae    1157 <usb_lld_to_pmabuf+0x57>
jmp    11e0 <usb_lld_to_pmabuf+0xe0>
add    $0xfffffffe,%esi
movslq %esi,%rax
movzbl 0x40006000(%rax),%ecx
mov    (%rdi),%esi
add    $0x4,%rdi
shl    $0x8,%esi
or     %ecx,%esi
mov    %esi,0x40006000(%rax)
add    $0x40006008,%rax
add    $0xffffffffffffffff,%rdx
cmp    $0x2,%rdx
jb     11e0 <usb_lld_to_pmabuf+0xe0>
lea    -0x2(%rdx),%r8
mov    %r8d,%r9d
shr    %r9d
add    $0x1,%r9d
and    $0x3,%r9
je     118e <usb_lld_to_pmabuf+0x8e>
add    %r9,%r9
xor    %ecx,%ecx
mov    0x4(%rdi),%esi
shl    $0x8,%esi
or     (%rdi),%esi
add    $0x8,%rdi
mov    %esi,(%rax)
add    $0x8,%rax
add    $0x2,%rcx
cmp    %rcx,%r9
jne    1170 <usb_lld_to_pmabuf+0x70>
sub    %rcx,%rdx
cmp    $0x6,%r8
jb     11e0 <usb_lld_to_pmabuf+0xe0>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    0x4(%rdi),%ecx
shl    $0x8,%ecx
or     (%rdi),%ecx
mov    %ecx,(%rax)
mov    0xc(%rdi),%ecx
shl    $0x8,%ecx
or     0x8(%rdi),%ecx
mov    %ecx,0x8(%rax)
mov    0x14(%rdi),%ecx
shl    $0x8,%ecx
or     0x10(%rdi),%ecx
mov    %ecx,0x10(%rax)
mov    0x1c(%rdi),%ecx
shl    $0x8,%ecx
or     0x18(%rdi),%ecx
add    $0x20,%rdi
mov    %ecx,0x18(%rax)
add    $0x20,%rax
add    $0xfffffffffffffff8,%rdx
cmp    $0x1,%rdx
ja     11a0 <usb_lld_to_pmabuf+0xa0>
cmp    $0x1,%rdx
jne    11ea <usb_lld_to_pmabuf+0xea>
mov    (%rdi),%ecx
mov    %ecx,(%rax)
ret

LLVM IR (-O0):
define void @usb_lld_to_pmabuf(i8* %0, i32 %1, i64 %2) {
%4 = alloca i8*
%5 = alloca i32
%6 = alloca i64
%7 = alloca i32*
%8 = alloca i32*
%9 = alloca i32
store i8* %0, i8** %4
store i32 %1, i32* %5
store i64 %2, i64* %6
%10 = load i8*, i8** %4
%11 = bitcast i8* %10 to i32*
store i32* %11, i32** %7
%12 = load i64, i64* %6
%13 = icmp eq i64 %12, 0
br i1 %13, label %14, label %15
14: ; preds = %3
br label %75
15: ; preds = %3
%16 = load i32, i32* %5
%17 = and i32 %16, 1
%18 = icmp ne i32 %17, 0
br i1 %18, label %19, label %41
19: ; preds = %15
%20 = load i32, i32* %5
%21 = sub nsw i32 %20, 1
%22 = mul nsw i32 %21, 2
%23 = sext i32 %22 to i64
%24 = add i64 1073766400, %23
%25 = inttoptr i64 %24 to i32*
store i32* %25, i32** %8
%26 = load i32*, i32** %8
%27 = load i32, i32* %26
store i32 %27, i32* %9
%28 = load i32, i32* %9
%29 = and i32 %28, 255
%30 = load i32*, i32** %7
%31 = getelementptr inbounds i32, i32* %30, i32 1
store i32* %31, i32** %7
%32 = load i32, i32* %30
%33 = shl i32 %32, 8
%34 = or i32 %29, %33
store i32 %34, i32* %9
%35 = load i32, i32* %9
%36 = load i32*, i32** %8
store i32 %35, i32* %36
%37 = load i32*, i32** %8
%38 = getelementptr inbounds i32, i32* %37, i64 2
store i32* %38, i32** %8
%39 = load i64, i64* %6
%40 = add i64 %39, -1
store i64 %40, i64* %6
br label %47
41: ; preds = %15
%42 = load i32, i32* %5
%43 = mul nsw i32 %42, 2
%44 = sext i32 %43 to i64
%45 = add i64 1073766400, %44
%46 = inttoptr i64 %45 to i32*
store i32* %46, i32** %8
br label %47
47: ; preds = %41, %19
br label %48
48: ; preds = %51, %47
%49 = load i64, i64* %6
%50 = icmp uge i64 %49, 2
br i1 %50, label %51, label %67
51: ; preds = %48
%52 = load i32*, i32** %7
%53 = getelementptr inbounds i32, i32* %52, i32 1
store i32* %53, i32** %7
%54 = load i32, i32* %52
store i32 %54, i32* %9
%55 = load i32*, i32** %7
%56 = getelementptr inbounds i32, i32* %55, i32 1
store i32* %56, i32** %7
%57 = load i32, i32* %55
%58 = shl i32 %57, 8
%59 = load i32, i32* %9
%60 = or i32 %59, %58
store i32 %60, i32* %9
%61 = load i32, i32* %9
%62 = load i32*, i32** %8
store i32 %61, i32* %62
%63 = load i32*, i32** %8
%64 = getelementptr inbounds i32, i32* %63, i64 2
store i32* %64, i32** %8
%65 = load i64, i64* %6
%66 = sub i64 %65, 2
store i64 %66, i64* %6
br label %48
67: ; preds = %48
%68 = load i64, i64* %6
%69 = icmp ugt i64 %68, 0
br i1 %69, label %70, label %75
70: ; preds = %67
%71 = load i32*, i32** %7
%72 = load i32, i32* %71
store i32 %72, i32* %9
%73 = load i32, i32* %9
%74 = load i32*, i32** %8
store i32 %73, i32* %74
br label %75
75: ; preds = %14, %70, %67
ret void
}

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