char *getail(const char *s) {
  int m;
  if (*s == '(') {
    m = 0;
    while (*s) {
      if (*s == '(')
        ++m;
      else if (*s == ')')
        --m;
      if (m == 0)
        break;
      ++s;
    }
  } else {
    while (*s) {
      if (*s == ',' || *s == ')')
        break;
      ++s;
    }
  }
  if (*s == ',')
    return (char *)s + 1;
  else
    return (char *)s;
}


x86 assembly (clang, -O0):
<getail>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x28,%eax
jne    118d <getail+0x8d>
movl   $0x0,-0x14(%rbp)
mov    -0x10(%rbp),%rax
cmpb   $0x0,(%rax)
je     1188 <getail+0x88>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x28,%eax
jne    114a <getail+0x4a>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1168 <getail+0x68>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x29,%eax
jne    1163 <getail+0x63>
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
jmp    1168 <getail+0x68>
cmpl   $0x0,-0x14(%rbp)
jne    1177 <getail+0x77>
jmp    1188 <getail+0x88>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    111f <getail+0x1f>
jmp    11da <getail+0xda>
jmp    1192 <getail+0x92>
mov    -0x10(%rbp),%rax
cmpb   $0x0,(%rax)
je     11d5 <getail+0xd5>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2c,%eax
je     11bf <getail+0xbf>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x29,%eax
jne    11c4 <getail+0xc4>
jmp    11d5 <getail+0xd5>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    1192 <getail+0x92>
jmp    11da <getail+0xda>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2c,%eax
jne    11fb <getail+0xfb>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
jmp    1203 <getail+0x103>
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<getail>:
mov    (%rdi),%cl
cmp    $0x28,%cl
jne    1145 <getail+0x45>
xor    %eax,%eax
mov    $0x28,%cl
cmp    $0x28,%cl
je     1120 <getail+0x20>
cmp    $0x29,%cl
je     1130 <getail+0x30>
test   %cl,%cl
jne    1123 <getail+0x23>
jmp    1176 <getail+0x76>
nopl   0x0(%rax,%rax,1)
add    $0x1,%eax
test   %eax,%eax
jne    1137 <getail+0x37>
jmp    1176 <getail+0x76>
nopl   0x0(%rax)
add    $0xffffffff,%eax
test   %eax,%eax
je     1176 <getail+0x76>
mov    0x1(%rdi),%cl
add    $0x1,%rdi
cmp    $0x28,%cl
jne    1110 <getail+0x10>
jmp    1120 <getail+0x20>
movabs $0x120000000001,%rax
jmp    1168 <getail+0x68>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movzbl 0x1(%rdi),%ecx
add    $0x1,%rdi
cmp    $0x2c,%cl
ja     1160 <getail+0x60>
movzbl %cl,%edx
bt     %rdx,%rax
jae    1160 <getail+0x60>
xor    %eax,%eax
cmp    $0x2c,%cl
sete   %al
add    %rdi,%rax
ret

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

LLVM IR (-O2):
define i8* @getail(i8* %0) {
%2 = load i8, i8* %0
%3 = icmp eq i8 %2, 40
br i1 %3, label %4, label %18
4: ; preds = %1, %15
%5 = phi i8 [ %17, %15 ], [ 40, %1 ]
%6 = phi i8* [ %16, %15 ], [ %0, %1 ]
%7 = phi i32 [ %13, %15 ], [ 0, %1 ]
switch i8 %5, label %12 [
i8 0, label %24
i8 40, label %8
i8 41, label %10
]
8: ; preds = %4
%9 = add nsw i32 %7, 1
br label %12
10: ; preds = %4
%11 = add nsw i32 %7, -1
br label %12
12: ; preds = %4, %10, %8
%13 = phi i32 [ %9, %8 ], [ %11, %10 ], [ %7, %4 ]
%14 = icmp eq i32 %13, 0
br i1 %14, label %24, label %15
15: ; preds = %12
%16 = getelementptr inbounds i8, i8* %6, i64 1
%17 = load i8, i8* %16
br label %4
18: ; preds = %1, %21
%19 = phi i8 [ %23, %21 ], [ %2, %1 ]
%20 = phi i8* [ %22, %21 ], [ %0, %1 ]
switch i8 %19, label %21 [
i8 0, label %24
i8 44, label %24
i8 41, label %24
]
21: ; preds = %18
%22 = getelementptr inbounds i8, i8* %20, i64 1
%23 = load i8, i8* %22
br label %18
24: ; preds = %18, %18, %18, %4, %12
%25 = phi i8 [ %5, %12 ], [ %5, %4 ], [ %19, %18 ], [ %19, %18 ], [ %19, %18 ]
%26 = phi i8* [ %6, %12 ], [ %6, %4 ], [ %20, %18 ], [ %20, %18 ], [ %20, %18 ]
%27 = icmp eq i8 %25, 44
%28 = zext i1 %27 to i64
%29 = getelementptr i8, i8* %26, i64 %28
ret i8* %29
}