long SPITransfer16(unsigned long ulBase, unsigned short *usDout,
                   unsigned short *usDin, unsigned long ulCount,
                   unsigned long ulFlags) {
  unsigned long ulReadReg;
  unsigned long ulWriteReg;
  unsigned long ulStatReg;
  unsigned long ulOutIncr;
  unsigned long ulInIncr;
  unsigned long ulTxDummy;
  unsigned long ulRxDummy;
  ulOutIncr = 1;
  ulInIncr = 1;
  if (ulCount % 2) {
    return -1;
  }
  ulCount = ulCount / 2;
  if (usDout == 0) {
    ulOutIncr = 0;
    ulTxDummy = 0xFFFFFFFF;
    usDout = (unsigned short *)&ulTxDummy;
  }
  if (usDin == 0) {
    ulInIncr = 0;
    usDin = (unsigned short *)&ulRxDummy;
  }
  ulReadReg = (ulBase + 0x0000013C);
  ulWriteReg = (ulBase + 0x00000138);
  ulStatReg = (ulBase + 0x00000130);
  if (ulFlags & 0x00000001) {
    (*((volatile unsigned long *)(ulBase + 0x0000012C))) |= 0x00100000;
  }
  while (ulCount) {
    while (!((*((volatile unsigned long *)(ulStatReg))) & 0x00000002)) {
    }
    (*((volatile unsigned long *)(ulWriteReg))) = *usDout;
    while (!((*((volatile unsigned long *)(ulStatReg))) & 0x00000001)) {
    }
    *usDin = (*((volatile unsigned long *)(ulReadReg)));
    usDout = usDout + ulOutIncr;
    usDin = usDin + ulInIncr;
    ulCount--;
  }
  if (ulFlags & 0x00000002) {
    (*((volatile unsigned long *)(ulBase + 0x0000012C))) &= ~0x00100000;
  }
  return 0;
}


x86 assembly (clang, -O0):
<SPITransfer16>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    %r8,-0x30(%rbp)
movq   $0x1,-0x50(%rbp)
movq   $0x1,-0x58(%rbp)
mov    -0x28(%rbp),%rax
and    $0x1,%rax
cmp    $0x0,%rax
je     1147 <SPITransfer16+0x47>
movq   $0xffffffffffffffff,-0x8(%rbp)
ff
jmp    12d3 <SPITransfer16+0x1d3>
mov    -0x28(%rbp),%rax
shr    $0x1,%rax
mov    %rax,-0x28(%rbp)
cmpq   $0x0,-0x18(%rbp)
jne    1177 <SPITransfer16+0x77>
movq   $0x0,-0x50(%rbp)
mov    $0xffffffff,%eax
mov    %rax,-0x60(%rbp)
lea    -0x60(%rbp),%rax
mov    %rax,-0x18(%rbp)
cmpq   $0x0,-0x20(%rbp)
jne    1192 <SPITransfer16+0x92>
movq   $0x0,-0x58(%rbp)
lea    -0x68(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
add    $0x13c,%rax
mov    %rax,-0x38(%rbp)
mov    -0x10(%rbp),%rax
add    $0x138,%rax
mov    %rax,-0x40(%rbp)
mov    -0x10(%rbp),%rax
add    $0x130,%rax
mov    %rax,-0x48(%rbp)
mov    -0x30(%rbp),%rax
and    $0x1,%rax
cmp    $0x0,%rax
je     11e7 <SPITransfer16+0xe7>
mov    -0x10(%rbp),%rax
mov    0x12c(%rax),%rcx
or     $0x100000,%rcx
mov    %rcx,0x12c(%rax)
jmp    11ec <SPITransfer16+0xec>
cmpq   $0x0,-0x28(%rbp)
je     12a0 <SPITransfer16+0x1a0>
jmp    11fc <SPITransfer16+0xfc>
mov    -0x48(%rbp),%rax
mov    (%rax),%rax
and    $0x2,%rax
cmp    $0x0,%rax
setne  %al
xor    $0xff,%al
test   $0x1,%al
jne    121d <SPITransfer16+0x11d>
jmp    1222 <SPITransfer16+0x122>
jmp    11fc <SPITransfer16+0xfc>
mov    -0x18(%rbp),%rax
movzwl (%rax),%eax
mov    %eax,%ecx
mov    -0x40(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x48(%rbp),%rax
mov    (%rax),%rax
and    $0x1,%rax
cmp    $0x0,%rax
setne  %al
xor    $0xff,%al
test   $0x1,%al
jne    1253 <SPITransfer16+0x153>
jmp    1258 <SPITransfer16+0x158>
jmp    1232 <SPITransfer16+0x132>
mov    -0x38(%rbp),%rax
mov    (%rax),%rax
mov    %ax,%cx
mov    -0x20(%rbp),%rax
mov    %cx,(%rax)
mov    -0x18(%rbp),%rax
mov    -0x50(%rbp),%rcx
shl    $0x1,%rcx
add    %rcx,%rax
mov    %rax,-0x18(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x58(%rbp),%rcx
shl    $0x1,%rcx
add    %rcx,%rax
mov    %rax,-0x20(%rbp)
mov    -0x28(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x28(%rbp)
jmp    11ec <SPITransfer16+0xec>
mov    -0x30(%rbp),%rax
and    $0x2,%rax
cmp    $0x0,%rax
je     12cb <SPITransfer16+0x1cb>
mov    -0x10(%rbp),%rax
mov    0x12c(%rax),%rcx
and    $0xffffffffffefffff,%rcx
mov    %rcx,0x12c(%rax)
movq   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<SPITransfer16>:
mov    $0xffffffffffffffff,%rax
test   $0x1,%cl
jne    11b8 <SPITransfer16+0xb8>
mov    $0x1,%r9d
test   %rsi,%rsi
jne    112d <SPITransfer16+0x2d>
mov    $0xffffffff,%eax
mov    %rax,-0x10(%rsp)
lea    -0x10(%rsp),%rsi
xor    %r9d,%r9d
xor    %r10d,%r10d
test   %rdx,%rdx
setne  %r11b
lea    -0x8(%rsp),%rax
cmovne %rdx,%rax
test   $0x1,%r8b
je     1151 <SPITransfer16+0x51>
orq    $0x100000,0x12c(%rdi)
cmp    $0x2,%rcx
jb     11a5 <SPITransfer16+0xa5>
mov    %r11b,%r10b
shr    %rcx
nopl   (%rax)
testq  $0x2,0x130(%rdi)
je     1160 <SPITransfer16+0x60>
movzwl (%rsi),%edx
mov    %rdx,0x138(%rdi)
nopw   0x0(%rax,%rax,1)
testq  $0x1,0x130(%rdi)
je     1180 <SPITransfer16+0x80>
mov    0x13c(%rdi),%rdx
mov    %dx,(%rax)
lea    (%rsi,%r9,2),%rsi
lea    (%rax,%r10,2),%rax
add    $0xffffffffffffffff,%rcx
jne    1160 <SPITransfer16+0x60>
test   $0x2,%r8b
je     11b6 <SPITransfer16+0xb6>
andq   $0xffffffffffefffff,0x12c(%rdi)
ff ff ef ff
xor    %eax,%eax
ret

LLVM IR (-O0):
define i64 @SPITransfer16(i64 %0, i16* %1, i16* %2, i64 %3, i64 %4) {
%6 = alloca i64
%7 = alloca i64
%8 = alloca i16*
%9 = alloca i16*
%10 = alloca i64
%11 = alloca i64
%12 = alloca i64
%13 = alloca i64
%14 = alloca i64
%15 = alloca i64
%16 = alloca i64
%17 = alloca i64
%18 = alloca i64
store i64 %0, i64* %7
store i16* %1, i16** %8
store i16* %2, i16** %9
store i64 %3, i64* %10
store i64 %4, i64* %11
store i64 1, i64* %15
store i64 1, i64* %16
%19 = load i64, i64* %10
%20 = urem i64 %19, 2
%21 = icmp ne i64 %20, 0
br i1 %21, label %22, label %23
22: ; preds = %5
store i64 -1, i64* %6
br label %103
23: ; preds = %5
%24 = load i64, i64* %10
%25 = udiv i64 %24, 2
store i64 %25, i64* %10
%26 = load i16*, i16** %8
%27 = icmp eq i16* %26, null
br i1 %27, label %28, label %30
28: ; preds = %23
store i64 0, i64* %15
store i64 4294967295, i64* %17
%29 = bitcast i64* %17 to i16*
store i16* %29, i16** %8
br label %30
30: ; preds = %28, %23
%31 = load i16*, i16** %9
%32 = icmp eq i16* %31, null
br i1 %32, label %33, label %35
33: ; preds = %30
store i64 0, i64* %16
%34 = bitcast i64* %18 to i16*
store i16* %34, i16** %9
br label %35
35: ; preds = %33, %30
%36 = load i64, i64* %7
%37 = add i64 %36, 316
store i64 %37, i64* %12
%38 = load i64, i64* %7
%39 = add i64 %38, 312
store i64 %39, i64* %13
%40 = load i64, i64* %7
%41 = add i64 %40, 304
store i64 %41, i64* %14
%42 = load i64, i64* %11
%43 = and i64 %42, 1
%44 = icmp ne i64 %43, 0
br i1 %44, label %45, label %51
45: ; preds = %35
%46 = load i64, i64* %7
%47 = add i64 %46, 300
%48 = inttoptr i64 %47 to i64*
%49 = load volatile i64, i64* %48
%50 = or i64 %49, 1048576
store volatile i64 %50, i64* %48
br label %51
51: ; preds = %45, %35
br label %52
52: ; preds = %78, %51
%53 = load i64, i64* %10
%54 = icmp ne i64 %53, 0
br i1 %54, label %55, label %92
55: ; preds = %52
br label %56
56: ; preds = %63, %55
%57 = load i64, i64* %14
%58 = inttoptr i64 %57 to i64*
%59 = load volatile i64, i64* %58
%60 = and i64 %59, 2
%61 = icmp ne i64 %60, 0
%62 = xor i1 %61, true
br i1 %62, label %63, label %64
63: ; preds = %56
br label %56
64: ; preds = %56
%65 = load i16*, i16** %8
%66 = load i16, i16* %65
%67 = zext i16 %66 to i64
%68 = load i64, i64* %13
%69 = inttoptr i64 %68 to i64*
store volatile i64 %67, i64* %69
br label %70
70: ; preds = %77, %64
%71 = load i64, i64* %14
%72 = inttoptr i64 %71 to i64*
%73 = load volatile i64, i64* %72
%74 = and i64 %73, 1
%75 = icmp ne i64 %74, 0
%76 = xor i1 %75, true
br i1 %76, label %77, label %78
77: ; preds = %70
br label %70
78: ; preds = %70
%79 = load i64, i64* %12
%80 = inttoptr i64 %79 to i64*
%81 = load volatile i64, i64* %80
%82 = trunc i64 %81 to i16
%83 = load i16*, i16** %9
store i16 %82, i16* %83
%84 = load i16*, i16** %8
%85 = load i64, i64* %15
%86 = getelementptr inbounds i16, i16* %84, i64 %85
store i16* %86, i16** %8
%87 = load i16*, i16** %9
%88 = load i64, i64* %16
%89 = getelementptr inbounds i16, i16* %87, i64 %88
store i16* %89, i16** %9
%90 = load i64, i64* %10
%91 = add i64 %90, -1
store i64 %91, i64* %10
br label %52
92: ; preds = %52
%93 = load i64, i64* %11
%94 = and i64 %93, 2
%95 = icmp ne i64 %94, 0
br i1 %95, label %96, label %102
96: ; preds = %92
%97 = load i64, i64* %7
%98 = add i64 %97, 300
%99 = inttoptr i64 %98 to i64*
%100 = load volatile i64, i64* %99
%101 = and i64 %100, -1048577
store volatile i64 %101, i64* %99
br label %102
102: ; preds = %96, %92
store i64 0, i64* %6
br label %103
103: ; preds = %102, %22
%104 = load i64, i64* %6
ret i64 %104
}

LLVM IR (-O2):
define i64 @SPITransfer16(i64 %0, i16* %1, i16* writeonly %2, i64 %3, i64 %4) {
%6 = alloca i64
%7 = alloca i64
%8 = bitcast i64* %6 to i8*
%9 = bitcast i64* %7 to i8*
%10 = and i64 %3, 1
%11 = icmp eq i64 %10, 0
br i1 %11, label %12, label %71
12: ; preds = %5
%13 = lshr i64 %3, 1
%14 = icmp eq i16* %1, null
br i1 %14, label %15, label %17
15: ; preds = %12
store i64 4294967295, i64* %6
%16 = bitcast i64* %6 to i16*
br label %17
17: ; preds = %15, %12
%18 = phi i16* [ %16, %15 ], [ %1, %12 ]
%19 = phi i64 [ 0, %15 ], [ 1, %12 ]
%20 = icmp eq i16* %2, null
%21 = bitcast i64* %7 to i16*
%22 = select i1 %20, i16* %21, i16* %2
%23 = xor i1 %20, true
%24 = zext i1 %23 to i64
%25 = add i64 %0, 316
%26 = add i64 %0, 312
%27 = add i64 %0, 304
%28 = and i64 %4, 1
%29 = icmp eq i64 %28, 0
br i1 %29, label %35, label %30
30: ; preds = %17
%31 = add i64 %0, 300
%32 = inttoptr i64 %31 to i64*
%33 = load volatile i64, i64* %32
%34 = or i64 %33, 1048576
store volatile i64 %34, i64* %32
br label %35
35: ; preds = %30, %17
%36 = icmp ult i64 %3, 2
br i1 %36, label %63, label %37
37: ; preds = %35
%38 = inttoptr i64 %27 to i64*
%39 = inttoptr i64 %26 to i64*
%40 = inttoptr i64 %25 to i64*
br label %41
41: ; preds = %37, %56
%42 = phi i16* [ %18, %37 ], [ %59, %56 ]
%43 = phi i16* [ %22, %37 ], [ %60, %56 ]
%44 = phi i64 [ %13, %37 ], [ %61, %56 ]
br label %45
45: ; preds = %41, %45
%46 = load volatile i64, i64* %38
%47 = and i64 %46, 2
%48 = icmp eq i64 %47, 0
br i1 %48, label %45, label %49
49: ; preds = %45
%50 = load i16, i16* %42
%51 = zext i16 %50 to i64
store volatile i64 %51, i64* %39
br label %52
52: ; preds = %52, %49
%53 = load volatile i64, i64* %38
%54 = and i64 %53, 1
%55 = icmp eq i64 %54, 0
br i1 %55, label %52, label %56
56: ; preds = %52
%57 = load volatile i64, i64* %40
%58 = trunc i64 %57 to i16
store i16 %58, i16* %43
%59 = getelementptr inbounds i16, i16* %42, i64 %19
%60 = getelementptr inbounds i16, i16* %43, i64 %24
%61 = add nsw i64 %44, -1
%62 = icmp eq i64 %61, 0
br i1 %62, label %63, label %41
63: ; preds = %56, %35
%64 = and i64 %4, 2
%65 = icmp eq i64 %64, 0
br i1 %65, label %71, label %66
66: ; preds = %63
%67 = add i64 %0, 300
%68 = inttoptr i64 %67 to i64*
%69 = load volatile i64, i64* %68
%70 = and i64 %69, -1048577
store volatile i64 %70, i64* %68
br label %71
71: ; preds = %63, %66, %5
%72 = phi i64 [ -1, %5 ], [ 0, %66 ], [ 0, %63 ]
ret i64 %72
}