char *colon(char *cp) {
  int flag = 0;
  if (*cp == ':')
    return (0);
  if (*cp == '[')
    flag = 1;
  for (; *cp; ++cp) {
    if (*cp == '@' && *(cp + 1) == '[')
      flag = 1;
    if (*cp == ']' && *(cp + 1) == ':' && flag)
      return (cp + 1);
    if (*cp == ':' && !flag)
      return (cp);
    if (*cp == '/')
      return (0);
  }
  return (0);
}


x86 assembly (clang, -O0):
<colon>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x3a,%eax
jne    112c <colon+0x2c>
movq   $0x0,-0x8(%rbp)
jmp    121b <colon+0x11b>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5b,%eax
jne    1143 <colon+0x43>
movl   $0x1,-0x14(%rbp)
jmp    1148 <colon+0x48>
mov    -0x10(%rbp),%rax
cmpb   $0x0,(%rax)
je     1213 <colon+0x113>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x40,%eax
jne    117d <colon+0x7d>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x5b,%eax
jne    117d <colon+0x7d>
movl   $0x1,-0x14(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5d,%eax
jne    11b9 <colon+0xb9>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x3a,%eax
jne    11b9 <colon+0xb9>
cmpl   $0x0,-0x14(%rbp)
je     11b9 <colon+0xb9>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
jmp    121b <colon+0x11b>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x3a,%eax
jne    11e0 <colon+0xe0>
cmpl   $0x0,-0x14(%rbp)
jne    11e0 <colon+0xe0>
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    121b <colon+0x11b>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
jne    11fd <colon+0xfd>
movq   $0x0,-0x8(%rbp)
jmp    121b <colon+0x11b>
jmp    1202 <colon+0x102>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    1148 <colon+0x48>
movq   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<colon>:
mov    (%rdi),%dl
xor    %ecx,%ecx
cmp    $0x3a,%dl
je     1177 <colon+0x77>
mov    %rdi,%rax
cmp    $0x5b,%dl
jne    1116 <colon+0x16>
mov    $0x1,%ecx
add    $0x1,%rax
mov    $0x1,%esi
cmp    $0x40,%dl
jne    1142 <colon+0x42>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movzbl (%rax),%edx
cmp    $0x5b,%dl
cmove  %esi,%ecx
add    $0x1,%rax
cmp    $0x40,%dl
je     1130 <colon+0x30>
cmp    $0x5d,%dl
je     1160 <colon+0x60>
test   %dl,%dl
je     1177 <colon+0x77>
cmp    $0x3a,%dl
jne    1154 <colon+0x54>
test   %ecx,%ecx
je     117a <colon+0x7a>
cmp    $0x2f,%dl
je     1177 <colon+0x77>
movzbl (%rax),%edx
jmp    116c <colon+0x6c>
xchg   %ax,%ax
movzbl (%rax),%edx
cmp    $0x3a,%dl
jne    116c <colon+0x6c>
test   %ecx,%ecx
jne    117e <colon+0x7e>
add    $0x1,%rax
cmp    $0x40,%dl
jne    1142 <colon+0x42>
jmp    1130 <colon+0x30>
xor    %eax,%eax
ret
add    $0xffffffffffffffff,%rax
ret

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

LLVM IR (-O2):
define i8* @colon(i8* %0) {
%2 = load i8, i8* %0
switch i8 %2, label %4 [
i8 58, label %36
i8 91, label %3
]
3: ; preds = %1
br label %4
4: ; preds = %1, %3
%5 = phi i32 [ 1, %3 ], [ 0, %1 ]
br label %6
6: ; preds = %4, %30
%7 = phi i8 [ %31, %30 ], [ %2, %4 ]
%8 = phi i8* [ %33, %30 ], [ %0, %4 ]
%9 = phi i32 [ %32, %30 ], [ %5, %4 ]
switch i8 %7, label %21 [
i8 0, label %36
i8 64, label %10
i8 93, label %15
]
10: ; preds = %6
%11 = getelementptr inbounds i8, i8* %8, i64 1
%12 = load i8, i8* %11
%13 = icmp eq i8 %12, 91
%14 = select i1 %13, i32 1, i32 %9
br label %30
15: ; preds = %6
%16 = getelementptr inbounds i8, i8* %8, i64 1
%17 = load i8, i8* %16
%18 = icmp eq i8 %17, 58
%19 = icmp ne i32 %9, 0
%20 = select i1 %18, i1 %19, i1 false
br i1 %20, label %34, label %30
21: ; preds = %6
%22 = icmp ne i8 %7, 58
%23 = icmp ne i32 %9, 0
%24 = select i1 %22, i1 true, i1 %23
br i1 %24, label %25, label %36
25: ; preds = %21
%26 = icmp eq i8 %7, 47
br i1 %26, label %36, label %27
27: ; preds = %25
%28 = getelementptr inbounds i8, i8* %8, i64 1
%29 = load i8, i8* %28
br label %30
30: ; preds = %27, %10, %15
%31 = phi i8 [ %29, %27 ], [ %17, %15 ], [ %12, %10 ]
%32 = phi i32 [ %9, %27 ], [ %9, %15 ], [ %14, %10 ]
%33 = getelementptr inbounds i8, i8* %8, i64 1
br label %6
34: ; preds = %15
%35 = getelementptr inbounds i8, i8* %8, i64 1
br label %36
36: ; preds = %6, %25, %21, %34, %1
%37 = phi i8* [ null, %1 ], [ %35, %34 ], [ null, %6 ], [ null, %25 ], [ %8, %21 ]
ret i8* %37
}