int duffs_device(char *from, char *to, int count) {
  {
    int n = (count + 7) / 8;
    switch (count % 8) {
    case 0:
      do {
        *to++ = *from++;
      case 7:
        *to++ = *from++;
      case 6:
        *to++ = *from++;
      case 5:
        *to++ = *from++;
      case 4:
        *to++ = *from++;
      case 3:
        *to++ = *from++;
      case 2:
        *to++ = *from++;
      case 1:
        *to++ = *from++;
      } while (--n > 0);
    }
  }
  return count;
}


x86 assembly (clang, -O0):
<duffs_device>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    -0x14(%rbp),%ecx
mov    %ecx,%eax
add    $0x7,%eax
add    $0xe,%ecx
test   %eax,%eax
cmovs  %ecx,%eax
sar    $0x3,%eax
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,%edx
add    $0x7,%edx
test   %eax,%eax
mov    %eax,%ecx
cmovs  %edx,%ecx
and    $0xfffffff8,%ecx
sub    %ecx,%eax
mov    %eax,%ecx
mov    %rcx,-0x20(%rbp)
sub    $0x7,%eax
ja     1288 <duffs_device+0x188>
mov    -0x20(%rbp),%rax
lea    0xead(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
jmp    1161 <duffs_device+0x61>
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x8(%rbp)
mov    (%rax),%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x8(%rbp)
mov    (%rax),%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x8(%rbp)
mov    (%rax),%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x8(%rbp)
mov    (%rax),%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x8(%rbp)
mov    (%rax),%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x8(%rbp)
mov    (%rax),%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x8(%rbp)
mov    (%rax),%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x8(%rbp)
mov    (%rax),%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
mov    -0x18(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x18(%rbp)
cmp    $0x0,%eax
jg     1161 <duffs_device+0x61>
jmp    1288 <duffs_device+0x188>
mov    -0x14(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<duffs_device>:
mov    %edx,%eax
lea    0x7(%rax),%edx
lea    0xe(%rax),%ecx
test   %edx,%edx
cmovns %edx,%ecx
sar    $0x3,%ecx
test   %eax,%eax
cmovns %eax,%edx
and    $0xfffffff8,%edx
mov    %eax,%r8d
sub    %edx,%r8d
cmp    $0x7,%r8d
ja     119e <duffs_device+0x9e>
lea    0xed5(%rip),%r9
movslq (%r9,%r8,4),%rdx
add    %r9,%rdx
jmp    *%rdx
mov    (%rdi),%dl
add    $0x1,%rdi
mov    %dl,(%rsi)
add    $0x1,%rsi
mov    (%rdi),%dl
add    $0x1,%rdi
mov    %dl,(%rsi)
add    $0x1,%rsi
mov    (%rdi),%dl
add    $0x1,%rdi
mov    %dl,(%rsi)
add    $0x1,%rsi
mov    (%rdi),%dl
add    $0x1,%rdi
mov    %dl,(%rsi)
add    $0x1,%rsi
mov    (%rdi),%dl
add    $0x1,%rdi
mov    %dl,(%rsi)
add    $0x1,%rsi
mov    (%rdi),%dl
add    $0x1,%rdi
mov    %dl,(%rsi)
add    $0x1,%rsi
mov    (%rdi),%dl
add    $0x1,%rdi
mov    %dl,(%rsi)
add    $0x1,%rsi
mov    (%rdi),%dl
add    $0x1,%rdi
mov    %dl,(%rsi)
add    $0x1,%rsi
lea    -0x1(%rcx),%edx
cmp    $0x1,%ecx
mov    %edx,%ecx
jg     1134 <duffs_device+0x34>
ret

LLVM IR (-O0):
define i32 @duffs_device(i8* %0, i8* %1, i32 %2) {
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i32
%7 = alloca i32
store i8* %0, i8** %4
store i8* %1, i8** %5
store i32 %2, i32* %6
%8 = load i32, i32* %6
%9 = add nsw i32 %8, 7
%10 = sdiv i32 %9, 8
store i32 %10, i32* %7
%11 = load i32, i32* %6
%12 = srem i32 %11, 8
switch i32 %12, label %67 [
i32 0, label %13
i32 7, label %20
i32 6, label %26
i32 5, label %32
i32 4, label %38
i32 3, label %44
i32 2, label %50
i32 1, label %56
]
13: ; preds = %3
br label %14
14: ; preds = %62, %13
%15 = load i8*, i8** %4
%16 = getelementptr inbounds i8, i8* %15, i32 1
store i8* %16, i8** %4
%17 = load i8, i8* %15
%18 = load i8*, i8** %5
%19 = getelementptr inbounds i8, i8* %18, i32 1
store i8* %19, i8** %5
store i8 %17, i8* %18
br label %20
20: ; preds = %3, %14
%21 = load i8*, i8** %4
%22 = getelementptr inbounds i8, i8* %21, i32 1
store i8* %22, i8** %4
%23 = load i8, i8* %21
%24 = load i8*, i8** %5
%25 = getelementptr inbounds i8, i8* %24, i32 1
store i8* %25, i8** %5
store i8 %23, i8* %24
br label %26
26: ; preds = %3, %20
%27 = load i8*, i8** %4
%28 = getelementptr inbounds i8, i8* %27, i32 1
store i8* %28, i8** %4
%29 = load i8, i8* %27
%30 = load i8*, i8** %5
%31 = getelementptr inbounds i8, i8* %30, i32 1
store i8* %31, i8** %5
store i8 %29, i8* %30
br label %32
32: ; preds = %3, %26
%33 = load i8*, i8** %4
%34 = getelementptr inbounds i8, i8* %33, i32 1
store i8* %34, i8** %4
%35 = load i8, i8* %33
%36 = load i8*, i8** %5
%37 = getelementptr inbounds i8, i8* %36, i32 1
store i8* %37, i8** %5
store i8 %35, i8* %36
br label %38
38: ; preds = %3, %32
%39 = load i8*, i8** %4
%40 = getelementptr inbounds i8, i8* %39, i32 1
store i8* %40, i8** %4
%41 = load i8, i8* %39
%42 = load i8*, i8** %5
%43 = getelementptr inbounds i8, i8* %42, i32 1
store i8* %43, i8** %5
store i8 %41, i8* %42
br label %44
44: ; preds = %3, %38
%45 = load i8*, i8** %4
%46 = getelementptr inbounds i8, i8* %45, i32 1
store i8* %46, i8** %4
%47 = load i8, i8* %45
%48 = load i8*, i8** %5
%49 = getelementptr inbounds i8, i8* %48, i32 1
store i8* %49, i8** %5
store i8 %47, i8* %48
br label %50
50: ; preds = %3, %44
%51 = load i8*, i8** %4
%52 = getelementptr inbounds i8, i8* %51, i32 1
store i8* %52, i8** %4
%53 = load i8, i8* %51
%54 = load i8*, i8** %5
%55 = getelementptr inbounds i8, i8* %54, i32 1
store i8* %55, i8** %5
store i8 %53, i8* %54
br label %56
56: ; preds = %3, %50
%57 = load i8*, i8** %4
%58 = getelementptr inbounds i8, i8* %57, i32 1
store i8* %58, i8** %4
%59 = load i8, i8* %57
%60 = load i8*, i8** %5
%61 = getelementptr inbounds i8, i8* %60, i32 1
store i8* %61, i8** %5
store i8 %59, i8* %60
br label %62
62: ; preds = %56
%63 = load i32, i32* %7
%64 = add nsw i32 %63, -1
store i32 %64, i32* %7
%65 = icmp sgt i32 %64, 0
br i1 %65, label %14, label %66
66: ; preds = %62
br label %67
67: ; preds = %66, %3
%68 = load i32, i32* %6
ret i32 %68
}

LLVM IR (-O2):
define i32 @duffs_device(i8* nocapture %0, i8* nocapture writeonly %1, i32 returned %2) {
%4 = add nsw i32 %2, 7
%5 = sdiv i32 %4, 8
%6 = srem i32 %2, 8
switch i32 %6, label %65 [
i32 0, label %7
i32 7, label %14
i32 6, label %21
i32 5, label %28
i32 4, label %35
i32 3, label %42
i32 2, label %49
i32 1, label %56
]
7: ; preds = %3, %56
%8 = phi i8* [ %62, %56 ], [ %1, %3 ]
%9 = phi i8* [ %60, %56 ], [ %0, %3 ]
%10 = phi i32 [ %63, %56 ], [ %5, %3 ]
%11 = getelementptr inbounds i8, i8* %9, i64 1
%12 = load i8, i8* %9
%13 = getelementptr inbounds i8, i8* %8, i64 1
store i8 %12, i8* %8
br label %14
14: ; preds = %3, %7
%15 = phi i8* [ %13, %7 ], [ %1, %3 ]
%16 = phi i8* [ %11, %7 ], [ %0, %3 ]
%17 = phi i32 [ %10, %7 ], [ %5, %3 ]
%18 = getelementptr inbounds i8, i8* %16, i64 1
%19 = load i8, i8* %16
%20 = getelementptr inbounds i8, i8* %15, i64 1
store i8 %19, i8* %15
br label %21
21: ; preds = %3, %14
%22 = phi i8* [ %20, %14 ], [ %1, %3 ]
%23 = phi i8* [ %18, %14 ], [ %0, %3 ]
%24 = phi i32 [ %17, %14 ], [ %5, %3 ]
%25 = getelementptr inbounds i8, i8* %23, i64 1
%26 = load i8, i8* %23
%27 = getelementptr inbounds i8, i8* %22, i64 1
store i8 %26, i8* %22
br label %28
28: ; preds = %3, %21
%29 = phi i8* [ %27, %21 ], [ %1, %3 ]
%30 = phi i8* [ %25, %21 ], [ %0, %3 ]
%31 = phi i32 [ %24, %21 ], [ %5, %3 ]
%32 = getelementptr inbounds i8, i8* %30, i64 1
%33 = load i8, i8* %30
%34 = getelementptr inbounds i8, i8* %29, i64 1
store i8 %33, i8* %29
br label %35
35: ; preds = %3, %28
%36 = phi i8* [ %34, %28 ], [ %1, %3 ]
%37 = phi i8* [ %32, %28 ], [ %0, %3 ]
%38 = phi i32 [ %31, %28 ], [ %5, %3 ]
%39 = getelementptr inbounds i8, i8* %37, i64 1
%40 = load i8, i8* %37
%41 = getelementptr inbounds i8, i8* %36, i64 1
store i8 %40, i8* %36
br label %42
42: ; preds = %3, %35
%43 = phi i8* [ %41, %35 ], [ %1, %3 ]
%44 = phi i8* [ %39, %35 ], [ %0, %3 ]
%45 = phi i32 [ %38, %35 ], [ %5, %3 ]
%46 = getelementptr inbounds i8, i8* %44, i64 1
%47 = load i8, i8* %44
%48 = getelementptr inbounds i8, i8* %43, i64 1
store i8 %47, i8* %43
br label %49
49: ; preds = %3, %42
%50 = phi i8* [ %48, %42 ], [ %1, %3 ]
%51 = phi i8* [ %46, %42 ], [ %0, %3 ]
%52 = phi i32 [ %45, %42 ], [ %5, %3 ]
%53 = getelementptr inbounds i8, i8* %51, i64 1
%54 = load i8, i8* %51
%55 = getelementptr inbounds i8, i8* %50, i64 1
store i8 %54, i8* %50
br label %56
56: ; preds = %3, %49
%57 = phi i8* [ %1, %3 ], [ %55, %49 ]
%58 = phi i8* [ %0, %3 ], [ %53, %49 ]
%59 = phi i32 [ %5, %3 ], [ %52, %49 ]
%60 = getelementptr inbounds i8, i8* %58, i64 1
%61 = load i8, i8* %58
%62 = getelementptr inbounds i8, i8* %57, i64 1
store i8 %61, i8* %57
%63 = add nsw i32 %59, -1
%64 = icmp sgt i32 %59, 1
br i1 %64, label %7, label %65
65: ; preds = %56, %3
ret i32 %2
}