int getopt_check_character(char c, const char *string) {
  unsigned int max_string_len = 128;
  while (*string != 0) {
    if (max_string_len == 0) {
      return '?';
    }
    if (*string++ == c) {
      if (*string == ':') {
        return 1;
      } else {
        return 2;
      }
    }
  }
  return 0;
}


x86 assembly (clang, -O0):
<getopt_check_character>:
push   %rbp
mov    %rsp,%rbp
mov    %dil,%al
mov    %al,-0x5(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0x80,-0x14(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     1186 <getopt_check_character+0x86>
cmpl   $0x0,-0x14(%rbp)
jne    113b <getopt_check_character+0x3b>
movl   $0x3f,-0x4(%rbp)
jmp    118d <getopt_check_character+0x8d>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movsbl (%rax),%eax
movsbl -0x5(%rbp),%ecx
cmp    %ecx,%eax
jne    1181 <getopt_check_character+0x81>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x3a,%eax
jne    1175 <getopt_check_character+0x75>
movl   $0x1,-0x4(%rbp)
jmp    118d <getopt_check_character+0x8d>
movl   $0x2,-0x4(%rbp)
jmp    118d <getopt_check_character+0x8d>
jmp    1115 <getopt_check_character+0x15>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<getopt_check_character>:
movzbl (%rsi),%eax
test   %al,%al
je     1120 <getopt_check_character+0x20>
add    $0x1,%rsi
cmp    %dil,%al
jne    1100 <getopt_check_character>
xor    %ecx,%ecx
cmpb   $0x3a,(%rsi)
sete   %cl
mov    $0x2,%eax
sub    %ecx,%eax
ret
xor    %eax,%eax
ret

LLVM IR (-O0):
define i32 @getopt_check_character(i8 signext %0, i8* %1) {
%3 = alloca i32
%4 = alloca i8
%5 = alloca i8*
%6 = alloca i32
store i8 %0, i8* %4
store i8* %1, i8** %5
store i32 128, i32* %6
br label %7
7: ; preds = %31, %2
%8 = load i8*, i8** %5
%9 = load i8, i8* %8
%10 = sext i8 %9 to i32
%11 = icmp ne i32 %10, 0
br i1 %11, label %12, label %32
12: ; preds = %7
%13 = load i32, i32* %6
%14 = icmp eq i32 %13, 0
br i1 %14, label %15, label %16
15: ; preds = %12
store i32 63, i32* %3
br label %33
16: ; preds = %12
%17 = load i8*, i8** %5
%18 = getelementptr inbounds i8, i8* %17, i32 1
store i8* %18, i8** %5
%19 = load i8, i8* %17
%20 = sext i8 %19 to i32
%21 = load i8, i8* %4
%22 = sext i8 %21 to i32
%23 = icmp eq i32 %20, %22
br i1 %23, label %24, label %31
24: ; preds = %16
%25 = load i8*, i8** %5
%26 = load i8, i8* %25
%27 = sext i8 %26 to i32
%28 = icmp eq i32 %27, 58
br i1 %28, label %29, label %30
29: ; preds = %24
store i32 1, i32* %3
br label %33
30: ; preds = %24
store i32 2, i32* %3
br label %33
31: ; preds = %16
br label %7
32: ; preds = %7
store i32 0, i32* %3
br label %33
33: ; preds = %32, %30, %29, %15
%34 = load i32, i32* %3
ret i32 %34
}

LLVM IR (-O2):
define i32 @getopt_check_character(i8 signext %0, i8* nocapture %1) {
br label %3
3: ; preds = %7, %2
%4 = phi i8* [ %1, %2 ], [ %8, %7 ]
%5 = load i8, i8* %4
%6 = icmp eq i8 %5, 0
br i1 %6, label %14, label %7
7: ; preds = %3
%8 = getelementptr inbounds i8, i8* %4, i64 1
%9 = icmp eq i8 %5, %0
br i1 %9, label %10, label %3
10: ; preds = %7
%11 = load i8, i8* %8
%12 = icmp eq i8 %11, 58
%13 = select i1 %12, i32 1, i32 2
br label %14
14: ; preds = %3, %10
%15 = phi i32 [ %13, %10 ], [ 0, %3 ]
ret i32 %15
}