int strip_nuls(buf, nbytes)
char *buf;
int nbytes;
{
  char *dst;
  if (nbytes && (dst = memchr(buf, '\0', nbytes))) {
    char *end = buf + nbytes;
    char *p, *q;
    for (p = dst; p < end; p = q) {
      while (++p < end && *p == '\0')
        ;
      if (!(q = memchr(p, '\0', end - p)))
        q = end;
      memmove(dst, p, q - p);
      dst += q - p;
    }
    *dst = '\0';
    return dst - buf;
  }
  return nbytes;
}


x86 assembly (clang, -O0):
<strip_nuls>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
cmpl   $0x0,-0x14(%rbp)
je     123e <strip_nuls+0x11e>
mov    -0x10(%rbp),%rdi
movslq -0x14(%rbp),%rdx
xor    %esi,%esi
call   1030 <memchr@plt>
mov    %rax,-0x20(%rbp)
cmp    $0x0,%rax
je     123e <strip_nuls+0x11e>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x28(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
cmp    -0x28(%rbp),%rax
jae    1224 <strip_nuls+0x104>
jmp    1180 <strip_nuls+0x60>
mov    -0x30(%rbp),%rcx
add    $0x1,%rcx
mov    %rcx,-0x30(%rbp)
xor    %eax,%eax
cmp    -0x28(%rbp),%rcx
mov    %al,-0x39(%rbp)
jae    11ab <strip_nuls+0x8b>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
sete   %al
mov    %al,-0x39(%rbp)
mov    -0x39(%rbp),%al
test   $0x1,%al
jne    11bb <strip_nuls+0x9b>
jmp    11c0 <strip_nuls+0xa0>
jmp    1180 <strip_nuls+0x60>
mov    -0x30(%rbp),%rdi
mov    -0x28(%rbp),%rdx
mov    -0x30(%rbp),%rax
sub    %rax,%rdx
xor    %esi,%esi
call   1030 <memchr@plt>
mov    %rax,-0x38(%rbp)
cmp    $0x0,%rax
jne    11ec <strip_nuls+0xcc>
mov    -0x28(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x20(%rbp),%rdi
mov    -0x30(%rbp),%rsi
mov    -0x38(%rbp),%rdx
mov    -0x30(%rbp),%rax
sub    %rax,%rdx
call   1040 <memmove@plt>
mov    -0x38(%rbp),%rax
mov    -0x30(%rbp),%rcx
sub    %rcx,%rax
add    -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x38(%rbp),%rax
mov    %rax,-0x30(%rbp)
jmp    116d <strip_nuls+0x4d>
mov    -0x20(%rbp),%rax
movb   $0x0,(%rax)
mov    -0x20(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    %rcx,%rax
mov    %eax,-0x4(%rbp)
jmp    1244 <strip_nuls+0x124>
mov    -0x14(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<strip_nuls>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
test   %esi,%esi
je     11da <strip_nuls+0xba>
mov    %esi,%ebx
mov    %rdi,%r14
movslq %esi,%r15
xor    %esi,%esi
mov    %r15,%rdx
call   1030 <memchr@plt>
test   %rax,%rax
je     11ef <strip_nuls+0xcf>
mov    %rax,%r13
add    %r14,%r15
cmp    %r15,%rax
jae    11e4 <strip_nuls+0xc4>
mov    %r13,%rax
jmp    11a9 <strip_nuls+0x89>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    %r15,%rdx
sub    %rbp,%rdx
mov    %rbx,%rdi
xor    %esi,%esi
call   1030 <memchr@plt>
mov    %rax,%r13
test   %rax,%rax
cmove  %r15,%r13
mov    %r13,%rdx
sub    %rbp,%rdx
mov    %r12,%rdi
mov    %rbx,%rsi
call   1040 <memmove@plt>
add    %r13,%r12
mov    %r12,%rax
sub    %rbp,%rax
cmp    %r15,%r13
jae    11de <strip_nuls+0xbe>
mov    %rax,%r12
add    $0x1,%r13
mov    %r13,%rax
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    %rax,%rbx
mov    %r13,%rbp
cmp    %r15,%rax
jae    1170 <strip_nuls+0x50>
lea    0x1(%rbx),%rax
lea    0x1(%rbp),%r13
cmpb   $0x0,(%rbx)
je     11c0 <strip_nuls+0xa0>
jmp    1170 <strip_nuls+0x50>
xor    %ebx,%ebx
jmp    11ef <strip_nuls+0xcf>
sub    %rbp,%r12
mov    %r12,%r13
movb   $0x0,0x0(%r13)
sub    %r14d,%r13d
mov    %r13d,%ebx
mov    %ebx,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @strip_nuls(i8* %0, i32 %1) {
%3 = alloca i32
%4 = alloca i8*
%5 = alloca i32
%6 = alloca i8*
%7 = alloca i8*
%8 = alloca i8*
%9 = alloca i8*
store i8* %0, i8** %4
store i32 %1, i32* %5
%10 = load i32, i32* %5
%11 = icmp ne i32 %10, 0
br i1 %11, label %12, label %78
12: ; preds = %2
%13 = load i8*, i8** %4
%14 = load i32, i32* %5
%15 = sext i32 %14 to i64
%16 = call i8* @memchr(i8* %13, i32 0, i64 %15)
store i8* %16, i8** %6
%17 = icmp ne i8* %16, null
br i1 %17, label %18, label %78
18: ; preds = %12
%19 = load i8*, i8** %4
%20 = load i32, i32* %5
%21 = sext i32 %20 to i64
%22 = getelementptr inbounds i8, i8* %19, i64 %21
store i8* %22, i8** %7
%23 = load i8*, i8** %6
store i8* %23, i8** %8
br label %24
24: ; preds = %68, %18
%25 = load i8*, i8** %8
%26 = load i8*, i8** %7
%27 = icmp ult i8* %25, %26
br i1 %27, label %28, label %70
28: ; preds = %24
br label %29
29: ; preds = %41, %28
%30 = load i8*, i8** %8
%31 = getelementptr inbounds i8, i8* %30, i32 1
store i8* %31, i8** %8
%32 = load i8*, i8** %7
%33 = icmp ult i8* %31, %32
br i1 %33, label %34, label %39
34: ; preds = %29
%35 = load i8*, i8** %8
%36 = load i8, i8* %35
%37 = sext i8 %36 to i32
%38 = icmp eq i32 %37, 0
br label %39
39: ; preds = %34, %29
%40 = phi i1 [ false, %29 ], [ %38, %34 ]
br i1 %40, label %41, label %42
41: ; preds = %39
br label %29
42: ; preds = %39
%43 = load i8*, i8** %8
%44 = load i8*, i8** %7
%45 = load i8*, i8** %8
%46 = ptrtoint i8* %44 to i64
%47 = ptrtoint i8* %45 to i64
%48 = sub i64 %46, %47
%49 = call i8* @memchr(i8* %43, i32 0, i64 %48)
store i8* %49, i8** %9
%50 = icmp ne i8* %49, null
br i1 %50, label %53, label %51
51: ; preds = %42
%52 = load i8*, i8** %7
store i8* %52, i8** %9
br label %53
53: ; preds = %51, %42
%54 = load i8*, i8** %6
%55 = load i8*, i8** %8
%56 = load i8*, i8** %9
%57 = load i8*, i8** %8
%58 = ptrtoint i8* %56 to i64
%59 = ptrtoint i8* %57 to i64
%60 = sub i64 %58, %59
%61 = load i8*, i8** %9
%62 = load i8*, i8** %8
%63 = ptrtoint i8* %61 to i64
%64 = ptrtoint i8* %62 to i64
%65 = sub i64 %63, %64
%66 = load i8*, i8** %6
%67 = getelementptr inbounds i8, i8* %66, i64 %65
store i8* %67, i8** %6
br label %68
68: ; preds = %53
%69 = load i8*, i8** %9
store i8* %69, i8** %8
br label %24
70: ; preds = %24
%71 = load i8*, i8** %6
store i8 0, i8* %71
%72 = load i8*, i8** %6
%73 = load i8*, i8** %4
%74 = ptrtoint i8* %72 to i64
%75 = ptrtoint i8* %73 to i64
%76 = sub i64 %74, %75
%77 = trunc i64 %76 to i32
store i32 %77, i32* %3
br label %80
78: ; preds = %12, %2
%79 = load i32, i32* %5
store i32 %79, i32* %3
br label %80
80: ; preds = %78, %70
%81 = load i32, i32* %3
ret i32 %81
}

LLVM IR (-O2):
define i32 @strip_nuls(i8* %0, i32 %1) {
%3 = icmp eq i32 %1, 0
br i1 %3, label %39, label %4
4: ; preds = %2
%5 = sext i32 %1 to i64
%6 = tail call i8* @memchr(i8* %0, i32 0, i64 %5)
%7 = icmp eq i8* %6, null
br i1 %7, label %39, label %8
8: ; preds = %4
%9 = getelementptr inbounds i8, i8* %0, i64 %5
%10 = icmp ult i8* %6, %9
br i1 %10, label %11, label %33
11: ; preds = %8
%12 = ptrtoint i8* %9 to i64
br label %13
13: ; preds = %11, %23
%14 = phi i8* [ %6, %11 ], [ %28, %23 ]
%15 = phi i8* [ %6, %11 ], [ %31, %23 ]
br label %16
16: ; preds = %13, %20
%17 = phi i8* [ %18, %20 ], [ %14, %13 ]
%18 = getelementptr inbounds i8, i8* %17, i64 1
%19 = icmp ult i8* %18, %9
br i1 %19, label %20, label %23
20: ; preds = %16
%21 = load i8, i8* %18
%22 = icmp eq i8 %21, 0
br i1 %22, label %16, label %23
23: ; preds = %16, %20
%24 = ptrtoint i8* %18 to i64
%25 = sub i64 %12, %24
%26 = tail call i8* @memchr(i8* %18, i32 0, i64 %25)
%27 = icmp eq i8* %26, null
%28 = select i1 %27, i8* %9, i8* %26
%29 = ptrtoint i8* %28 to i64
%30 = sub i64 %29, %24
tail call void @llvm.memmove.p0i8.p0i8.i64(i8* align 1 %15, i8* align 1 %18, i64 %30, i1 false)
%31 = getelementptr inbounds i8, i8* %15, i64 %30
%32 = icmp ult i8* %28, %9
br i1 %32, label %13, label %33
33: ; preds = %23, %8
%34 = phi i8* [ %6, %8 ], [ %31, %23 ]
store i8 0, i8* %34
%35 = ptrtoint i8* %34 to i64
%36 = ptrtoint i8* %0 to i64
%37 = sub i64 %35, %36
%38 = trunc i64 %37 to i32
br label %39
39: ; preds = %2, %4, %33
%40 = phi i32 [ %38, %33 ], [ %1, %4 ], [ 0, %2 ]
ret i32 %40
}