void h8max_outsw(unsigned char a, unsigned short *p, unsigned long l) {
  unsigned short d;
  for (; l != 0; --l, p++) {
    d = (((*p) >> 8) & 0xff) | ((*p) << 8);
    *(unsigned short *)(0x800600 + (a << 1)) = d;
  }
}


x86 assembly (clang, -O0):
<h8max_outsw>:
push   %rbp
mov    %rsp,%rbp
mov    %dil,%al
mov    %al,-0x1(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
cmpq   $0x0,-0x18(%rbp)
je     116e <h8max_outsw+0x6e>
mov    -0x10(%rbp),%rax
movzwl (%rax),%eax
sar    $0x8,%eax
and    $0xff,%eax
mov    -0x10(%rbp),%rcx
movzwl (%rcx),%ecx
shl    $0x8,%ecx
or     %ecx,%eax
mov    %ax,-0x1a(%rbp)
mov    -0x1a(%rbp),%cx
movzbl -0x1(%rbp),%eax
shl    $0x1,%eax
add    $0x800600,%eax
cltq
mov    %cx,(%rax)
mov    -0x18(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x10(%rbp)
jmp    1112 <h8max_outsw+0x12>
pop    %rbp
ret

x86 assembly (clang, -O2):
<h8max_outsw>:
test   %rdx,%rdx
je     125c <h8max_outsw+0x15c>
movzbl %dil,%eax
lea    (%rax,%rax,1),%r11
add    $0x800600,%r11
cmp    $0x10,%rdx
jb     11d6 <h8max_outsw+0xd6>
lea    (%rsi,%rdx,2),%rcx
cmp    %rcx,%r11
jae    1138 <h8max_outsw+0x38>
lea    0x2(%r11),%rcx
cmp    %rsi,%rcx
ja     11d6 <h8max_outsw+0xd6>
mov    %rdx,%r8
and    $0xfffffffffffffff0,%r8
lea    -0x10(%r8),%rcx
mov    %rcx,%r9
shr    $0x4,%r9
add    $0x1,%r9
test   %rcx,%rcx
je     125d <h8max_outsw+0x15d>
mov    %r9,%rdi
and    $0xfffffffffffffffe,%rdi
xor    %r10d,%r10d
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    %r10,%rcx
add    $0x20,%r10
add    $0xfffffffffffffffe,%rdi
jne    1170 <h8max_outsw+0x70>
movdqu 0x30(%rsi,%rcx,2),%xmm0
movdqa %xmm0,%xmm1
psrlw  $0x8,%xmm1
psllw  $0x8,%xmm0
por    %xmm1,%xmm0
pextrw $0x7,%xmm0,%ecx
mov    %cx,(%r11)
test   $0x1,%r9b
je     11c6 <h8max_outsw+0xc6>
movdqu 0x10(%rsi,%r10,2),%xmm0
movdqa %xmm0,%xmm1
psrlw  $0x8,%xmm1
psllw  $0x8,%xmm0
por    %xmm1,%xmm0
pextrw $0x7,%xmm0,%ecx
mov    %cx,(%r11)
cmp    %rdx,%r8
je     125c <h8max_outsw+0x15c>
and    $0xf,%edx
lea    (%rsi,%r8,2),%rsi
lea    -0x1(%rdx),%r8
mov    %rdx,%rdi
and    $0x3,%rdi
je     120b <h8max_outsw+0x10b>
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
nop
movzwl (%rsi),%eax
rol    $0x8,%ax
mov    %ax,(%r11)
add    $0x2,%rsi
add    $0x1,%rcx
cmp    %rcx,%rdi
jne    11f0 <h8max_outsw+0xf0>
sub    %rcx,%rdx
cmp    $0x3,%r8
jb     125c <h8max_outsw+0x15c>
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movzwl (%rsi,%rcx,2),%eax
rol    $0x8,%ax
mov    %ax,(%r11)
movzwl 0x2(%rsi,%rcx,2),%eax
rol    $0x8,%ax
mov    %ax,(%r11)
movzwl 0x4(%rsi,%rcx,2),%eax
rol    $0x8,%ax
mov    %ax,(%r11)
movzwl 0x6(%rsi,%rcx,2),%eax
rol    $0x8,%ax
mov    %ax,(%r11)
add    $0x4,%rcx
cmp    %rcx,%rdx
jne    1220 <h8max_outsw+0x120>
ret
xor    %r10d,%r10d
test   $0x1,%r9b
jne    11a4 <h8max_outsw+0xa4>
jmp    11c6 <h8max_outsw+0xc6>

LLVM IR (-O0):
define void @h8max_outsw(i8 zeroext %0, i16* %1, i64 %2) {
%4 = alloca i8
%5 = alloca i16*
%6 = alloca i64
%7 = alloca i16
store i8 %0, i8* %4
store i16* %1, i16** %5
store i64 %2, i64* %6
br label %8
8: ; preds = %30, %3
%9 = load i64, i64* %6
%10 = icmp ne i64 %9, 0
br i1 %10, label %11, label %35
11: ; preds = %8
%12 = load i16*, i16** %5
%13 = load i16, i16* %12
%14 = zext i16 %13 to i32
%15 = ashr i32 %14, 8
%16 = and i32 %15, 255
%17 = load i16*, i16** %5
%18 = load i16, i16* %17
%19 = zext i16 %18 to i32
%20 = shl i32 %19, 8
%21 = or i32 %16, %20
%22 = trunc i32 %21 to i16
store i16 %22, i16* %7
%23 = load i16, i16* %7
%24 = load i8, i8* %4
%25 = zext i8 %24 to i32
%26 = shl i32 %25, 1
%27 = add nsw i32 8390144, %26
%28 = sext i32 %27 to i64
%29 = inttoptr i64 %28 to i16*
store i16 %23, i16* %29
br label %30
30: ; preds = %11
%31 = load i64, i64* %6
%32 = add i64 %31, -1
store i64 %32, i64* %6
%33 = load i16*, i16** %5
%34 = getelementptr inbounds i16, i16* %33, i32 1
store i16* %34, i16** %5
br label %8
35: ; preds = %8
ret void
}

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