void byte_zero(void *S, unsigned int n) {
  char *s = S;
  for (;;) {
    if (!n)
      break;
    *s++ = 0;
    --n;
    if (!n)
      break;
    *s++ = 0;
    --n;
    if (!n)
      break;
    *s++ = 0;
    --n;
    if (!n)
      break;
    *s++ = 0;
    --n;
  }
}


x86 assembly (clang, -O0):
<byte_zero>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x18(%rbp)
cmpl   $0x0,-0xc(%rbp)
jne    1122 <byte_zero+0x22>
jmp    11c0 <byte_zero+0xc0>
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x18(%rbp)
movb   $0x0,(%rax)
mov    -0xc(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0xc(%rbp)
cmpl   $0x0,-0xc(%rbp)
jne    114c <byte_zero+0x4c>
jmp    11c0 <byte_zero+0xc0>
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x18(%rbp)
movb   $0x0,(%rax)
mov    -0xc(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0xc(%rbp)
cmpl   $0x0,-0xc(%rbp)
jne    1176 <byte_zero+0x76>
jmp    11c0 <byte_zero+0xc0>
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x18(%rbp)
movb   $0x0,(%rax)
mov    -0xc(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0xc(%rbp)
cmpl   $0x0,-0xc(%rbp)
jne    11a0 <byte_zero+0xa0>
jmp    11c0 <byte_zero+0xc0>
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x18(%rbp)
movb   $0x0,(%rax)
mov    -0xc(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0xc(%rbp)
jmp    1113 <byte_zero+0x13>
pop    %rbp
ret

x86 assembly (clang, -O2):
<byte_zero>:
test   %esi,%esi
je     1148 <byte_zero+0x48>
mov    %esi,%eax
lea    -0x1(%rax),%rcx
lea    -0x2(%rax),%rdx
lea    -0x3(%rax),%r8
xor    %esi,%esi
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movb   $0x0,(%rdi,%rsi,1)
cmp    %esi,%ecx
je     1148 <byte_zero+0x48>
movb   $0x0,0x1(%rdi,%rsi,1)
cmp    %esi,%edx
je     1148 <byte_zero+0x48>
movb   $0x0,0x2(%rdi,%rsi,1)
cmp    %esi,%r8d
je     1148 <byte_zero+0x48>
movb   $0x0,0x3(%rdi,%rsi,1)
add    $0x4,%rsi
cmp    %esi,%eax
jne    1120 <byte_zero+0x20>
ret

LLVM IR (-O0):
define void @byte_zero(i8* %0, i32 %1) {
%3 = alloca i8*
%4 = alloca i32
%5 = alloca i8*
store i8* %0, i8** %3
store i32 %1, i32* %4
%6 = load i8*, i8** %3
store i8* %6, i8** %5
br label %7
7: ; preds = %35, %2
%8 = load i32, i32* %4
%9 = icmp ne i32 %8, 0
br i1 %9, label %11, label %10
10: ; preds = %7
br label %40
11: ; preds = %7
%12 = load i8*, i8** %5
%13 = getelementptr inbounds i8, i8* %12, i32 1
store i8* %13, i8** %5
store i8 0, i8* %12
%14 = load i32, i32* %4
%15 = add i32 %14, -1
store i32 %15, i32* %4
%16 = load i32, i32* %4
%17 = icmp ne i32 %16, 0
br i1 %17, label %19, label %18
18: ; preds = %11
br label %40
19: ; preds = %11
%20 = load i8*, i8** %5
%21 = getelementptr inbounds i8, i8* %20, i32 1
store i8* %21, i8** %5
store i8 0, i8* %20
%22 = load i32, i32* %4
%23 = add i32 %22, -1
store i32 %23, i32* %4
%24 = load i32, i32* %4
%25 = icmp ne i32 %24, 0
br i1 %25, label %27, label %26
26: ; preds = %19
br label %40
27: ; preds = %19
%28 = load i8*, i8** %5
%29 = getelementptr inbounds i8, i8* %28, i32 1
store i8* %29, i8** %5
store i8 0, i8* %28
%30 = load i32, i32* %4
%31 = add i32 %30, -1
store i32 %31, i32* %4
%32 = load i32, i32* %4
%33 = icmp ne i32 %32, 0
br i1 %33, label %35, label %34
34: ; preds = %27
br label %40
35: ; preds = %27
%36 = load i8*, i8** %5
%37 = getelementptr inbounds i8, i8* %36, i32 1
store i8* %37, i8** %5
store i8 0, i8* %36
%38 = load i32, i32* %4
%39 = add i32 %38, -1
store i32 %39, i32* %4
br label %7
40: ; preds = %34, %26, %18, %10
ret void
}

LLVM IR (-O2):
define void @byte_zero(i8* nocapture writeonly %0, i32 %1) {
%3 = icmp eq i32 %1, 0
br i1 %3, label %19, label %4
4: ; preds = %2, %14
%5 = phi i8* [ %16, %14 ], [ %0, %2 ]
%6 = phi i32 [ %17, %14 ], [ %1, %2 ]
store i8 0, i8* %5
%7 = icmp eq i32 %6, 1
br i1 %7, label %19, label %8
8: ; preds = %4
%9 = getelementptr inbounds i8, i8* %5, i64 1
store i8 0, i8* %9
%10 = icmp eq i32 %6, 2
br i1 %10, label %19, label %11
11: ; preds = %8
%12 = getelementptr inbounds i8, i8* %5, i64 2
store i8 0, i8* %12
%13 = icmp eq i32 %6, 3
br i1 %13, label %19, label %14
14: ; preds = %11
%15 = getelementptr inbounds i8, i8* %5, i64 3
%16 = getelementptr inbounds i8, i8* %5, i64 4
store i8 0, i8* %15
%17 = add i32 %6, -4
%18 = icmp eq i32 %17, 0
br i1 %18, label %19, label %4
19: ; preds = %14, %4, %8, %11, %2
ret void
}