void int_to_SL16_pcm(unsigned total_samples, const int int_samples[],
                     unsigned char pcm_samples[]) {
  for (; total_samples; total_samples--) {
    register int i = int_samples[0];
    if (i > 0x7FFF)
      i = 0x7FFF;
    else if (i < -0x8000)
      i = -0x8000;
    if (i < 0) {
      i = (1 << 16) - (-i);
    }
    pcm_samples[1] = i >> 8;
    pcm_samples[0] = i & 0xFF;
    int_samples += 1;
    pcm_samples += 2;
  }
}


x86 assembly (clang, -O0):
<int_to_SL16_pcm>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
cmpl   $0x0,-0x4(%rbp)
je     11b2 <int_to_SL16_pcm+0xb2>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x1c(%rbp)
cmpl   $0x7fff,-0x1c(%rbp)
jle    113b <int_to_SL16_pcm+0x3b>
movl   $0x7fff,-0x1c(%rbp)
jmp    1154 <int_to_SL16_pcm+0x54>
cmpl   $0xffff8000,-0x1c(%rbp)
jge    114f <int_to_SL16_pcm+0x4f>
movl   $0xffff8000,-0x1c(%rbp)
jmp    1154 <int_to_SL16_pcm+0x54>
cmpl   $0x0,-0x1c(%rbp)
jge    116d <int_to_SL16_pcm+0x6d>
xor    %ecx,%ecx
sub    -0x1c(%rbp),%ecx
mov    $0x10000,%eax
sub    %ecx,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
sar    $0x8,%eax
mov    %al,%cl
mov    -0x18(%rbp),%rax
mov    %cl,0x1(%rax)
mov    -0x1c(%rbp),%eax
and    $0xff,%eax
mov    %al,%cl
mov    -0x18(%rbp),%rax
mov    %cl,(%rax)
mov    -0x10(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x10(%rbp)
mov    -0x18(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x18(%rbp)
mov    -0x4(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x4(%rbp)
jmp    110f <int_to_SL16_pcm+0xf>
pop    %rbp
ret

x86 assembly (clang, -O2):
<int_to_SL16_pcm>:
test   %edi,%edi
je     1295 <int_to_SL16_pcm+0x195>
lea    -0x1(%rdi),%r8d
cmp    $0x3,%r8d
jb     1134 <int_to_SL16_pcm+0x34>
lea    (%rsi,%r8,4),%rax
add    $0x4,%rax
cmp    %rdx,%rax
jbe    11d5 <int_to_SL16_pcm+0xd5>
lea    (%rdx,%r8,2),%rax
add    $0x2,%rax
cmp    %rsi,%rax
jbe    11d5 <int_to_SL16_pcm+0xd5>
mov    %rdx,%r10
mov    %rsi,%r11
test   $0x1,%dil
jne    114c <int_to_SL16_pcm+0x4c>
mov    %edi,%eax
cmp    $0x1,%edi
jne    1182 <int_to_SL16_pcm+0x82>
jmp    1295 <int_to_SL16_pcm+0x195>
mov    (%r11),%eax
cmp    $0xffff8001,%eax
mov    $0xffff8000,%edx
cmovge %eax,%edx
cmp    $0x7fff,%edx
mov    $0x7fff,%eax
cmovl  %edx,%eax
mov    %ax,(%r10)
add    $0x4,%r11
add    $0x2,%r10
lea    -0x1(%rdi),%eax
cmp    $0x1,%edi
je     1295 <int_to_SL16_pcm+0x195>
mov    %eax,%eax
xor    %edx,%edx
mov    $0xffff8000,%esi
mov    $0x7fff,%edi
mov    (%r11,%rdx,4),%ecx
cmp    $0xffff8001,%ecx
cmovl  %esi,%ecx
cmp    $0x7fff,%ecx
cmovge %edi,%ecx
mov    %cx,(%r10,%rdx,2)
mov    0x4(%r11,%rdx,4),%ecx
cmp    $0xffff8001,%ecx
cmovl  %esi,%ecx
cmp    $0x7fff,%ecx
cmovge %edi,%ecx
mov    %cx,0x2(%r10,%rdx,2)
add    $0x2,%rdx
cmp    %edx,%eax
jne    1190 <int_to_SL16_pcm+0x90>
jmp    1295 <int_to_SL16_pcm+0x195>
add    $0x1,%r8
mov    %r8,%r9
and    $0xfffffffffffffffc,%r9
lea    (%rdx,%r9,2),%r10
lea    (%rsi,%r9,4),%r11
sub    %r9d,%edi
xor    %eax,%eax
movdqa 0xe0b(%rip),%xmm0
movdqa 0xe13(%rip),%xmm1
movdqa 0xe1b(%rip),%xmm2
movdqa 0xe23(%rip),%xmm3
nopl   (%rax)
movdqu (%rsi,%rax,4),%xmm4
movdqa %xmm4,%xmm5
pcmpgtd %xmm0,%xmm5
pand   %xmm5,%xmm4
pandn  %xmm0,%xmm5
por    %xmm4,%xmm5
movdqa %xmm1,%xmm4
pcmpgtd %xmm5,%xmm4
pand   %xmm4,%xmm5
pandn  %xmm1,%xmm4
por    %xmm5,%xmm4
pxor   %xmm5,%xmm5
pcmpgtd %xmm4,%xmm5
movdqa %xmm5,%xmm6
pandn  %xmm4,%xmm6
paddd  %xmm2,%xmm4
pand   %xmm5,%xmm4
por    %xmm6,%xmm4
movdqa %xmm4,%xmm5
psrld  $0x8,%xmm5
pand   %xmm3,%xmm4
packuswb %xmm4,%xmm4
packuswb %xmm4,%xmm4
pand   %xmm3,%xmm5
packuswb %xmm5,%xmm5
packuswb %xmm5,%xmm5
punpcklbw %xmm5,%xmm4
movq   %xmm4,(%rdx,%rax,2)
add    $0x4,%rax
cmp    %rax,%r9
jne    1210 <int_to_SL16_pcm+0x110>
cmp    %r9,%r8
jne    113a <int_to_SL16_pcm+0x3a>
ret

LLVM IR (-O0):
define void @int_to_SL16_pcm(i32 %0, i32* %1, i8* %2) {
%4 = alloca i32
%5 = alloca i32*
%6 = alloca i8*
%7 = alloca i32
store i32 %0, i32* %4
store i32* %1, i32** %5
store i8* %2, i8** %6
br label %8
8: ; preds = %45, %3
%9 = load i32, i32* %4
%10 = icmp ne i32 %9, 0
br i1 %10, label %11, label %48
11: ; preds = %8
%12 = load i32*, i32** %5
%13 = getelementptr inbounds i32, i32* %12, i64 0
%14 = load i32, i32* %13
store i32 %14, i32* %7
%15 = load i32, i32* %7
%16 = icmp sgt i32 %15, 32767
br i1 %16, label %17, label %18
17: ; preds = %11
store i32 32767, i32* %7
br label %23
18: ; preds = %11
%19 = load i32, i32* %7
%20 = icmp slt i32 %19, -32768
br i1 %20, label %21, label %22
21: ; preds = %18
store i32 -32768, i32* %7
br label %22
22: ; preds = %21, %18
br label %23
23: ; preds = %22, %17
%24 = load i32, i32* %7
%25 = icmp slt i32 %24, 0
br i1 %25, label %26, label %30
26: ; preds = %23
%27 = load i32, i32* %7
%28 = sub nsw i32 0, %27
%29 = sub nsw i32 65536, %28
store i32 %29, i32* %7
br label %30
30: ; preds = %26, %23
%31 = load i32, i32* %7
%32 = ashr i32 %31, 8
%33 = trunc i32 %32 to i8
%34 = load i8*, i8** %6
%35 = getelementptr inbounds i8, i8* %34, i64 1
store i8 %33, i8* %35
%36 = load i32, i32* %7
%37 = and i32 %36, 255
%38 = trunc i32 %37 to i8
%39 = load i8*, i8** %6
%40 = getelementptr inbounds i8, i8* %39, i64 0
store i8 %38, i8* %40
%41 = load i32*, i32** %5
%42 = getelementptr inbounds i32, i32* %41, i64 1
store i32* %42, i32** %5
%43 = load i8*, i8** %6
%44 = getelementptr inbounds i8, i8* %43, i64 2
store i8* %44, i8** %6
br label %45
45: ; preds = %30
%46 = load i32, i32* %4
%47 = add i32 %46, -1
store i32 %47, i32* %4
br label %8
48: ; preds = %8
ret void
}

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