int n_digits(const unsigned char source[], const int position,
             const int length) {
  int i;
  for (i = position; (i < length) && ((source[i] >= '0') && (source[i] <= '9'));
       i++)
    ;
  return i - position;
}


x86 assembly (clang, -O0):
<n_digits>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    -0xc(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%ecx
xor    %eax,%eax
cmp    -0x10(%rbp),%ecx
mov    %al,-0x15(%rbp)
jge    115a <n_digits+0x5a>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movzbl (%rax,%rcx,1),%ecx
xor    %eax,%eax
cmp    $0x30,%ecx
mov    %al,-0x16(%rbp)
jl     1154 <n_digits+0x54>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x39,%eax
setle  %al
mov    %al,-0x16(%rbp)
mov    -0x16(%rbp),%al
mov    %al,-0x15(%rbp)
mov    -0x15(%rbp),%al
test   $0x1,%al
jne    116a <n_digits+0x6a>
jmp    117d <n_digits+0x7d>
jmp    116f <n_digits+0x6f>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1114 <n_digits+0x14>
mov    -0x14(%rbp),%eax
sub    -0xc(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<n_digits>:
mov    %esi,%eax
cmp    %edx,%esi
jge    1128 <n_digits+0x28>
movslq %esi,%rax
add    %rax,%rdi
mov    %esi,%eax
xchg   %ax,%ax
movzbl (%rdi),%ecx
add    $0xd0,%cl
cmp    $0x9,%cl
ja     1128 <n_digits+0x28>
add    $0x1,%eax
add    $0x1,%rdi
cmp    %eax,%edx
jne    1110 <n_digits+0x10>
mov    %edx,%eax
sub    %esi,%eax
ret

LLVM IR (-O0):
define i32 @n_digits(i8* %0, i32 %1, i32 %2) {
%4 = alloca i8*
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
store i8* %0, i8** %4
store i32 %1, i32* %5
store i32 %2, i32* %6
%8 = load i32, i32* %5
store i32 %8, i32* %7
br label %9
9: ; preds = %34, %3
%10 = load i32, i32* %7
%11 = load i32, i32* %6
%12 = icmp slt i32 %10, %11
br i1 %12, label %13, label %31
13: ; preds = %9
%14 = load i8*, i8** %4
%15 = load i32, i32* %7
%16 = sext i32 %15 to i64
%17 = getelementptr inbounds i8, i8* %14, i64 %16
%18 = load i8, i8* %17
%19 = zext i8 %18 to i32
%20 = icmp sge i32 %19, 48
br i1 %20, label %21, label %29
21: ; preds = %13
%22 = load i8*, i8** %4
%23 = load i32, i32* %7
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds i8, i8* %22, i64 %24
%26 = load i8, i8* %25
%27 = zext i8 %26 to i32
%28 = icmp sle i32 %27, 57
br label %29
29: ; preds = %21, %13
%30 = phi i1 [ false, %13 ], [ %28, %21 ]
br label %31
31: ; preds = %29, %9
%32 = phi i1 [ false, %9 ], [ %30, %29 ]
br i1 %32, label %33, label %37
33: ; preds = %31
br label %34
34: ; preds = %33
%35 = load i32, i32* %7
%36 = add nsw i32 %35, 1
store i32 %36, i32* %7
br label %9
37: ; preds = %31
%38 = load i32, i32* %7
%39 = load i32, i32* %5
%40 = sub nsw i32 %38, %39
ret i32 %40
}

LLVM IR (-O2):
define i32 @n_digits(i8* nocapture %0, i32 %1, i32 %2) {
%4 = icmp slt i32 %1, %2
br i1 %4, label %5, label %19
5: ; preds = %3
%6 = sext i32 %1 to i64
br label %7
7: ; preds = %5, %13
%8 = phi i64 [ %6, %5 ], [ %14, %13 ]
%9 = getelementptr inbounds i8, i8* %0, i64 %8
%10 = load i8, i8* %9
%11 = add i8 %10, -48
%12 = icmp ult i8 %11, 10
br i1 %12, label %13, label %17
13: ; preds = %7
%14 = add nsw i64 %8, 1
%15 = trunc i64 %14 to i32
%16 = icmp eq i32 %15, %2
br i1 %16, label %19, label %7
17: ; preds = %7
%18 = trunc i64 %8 to i32
br label %19
19: ; preds = %13, %17, %3
%20 = phi i32 [ %1, %3 ], [ %18, %17 ], [ %2, %13 ]
%21 = sub nsw i32 %20, %1
ret i32 %21
}