int _va_arg_not_empty_lassert(char *va_arg_str) {
  int i = 0;
  unsigned brackets = 0;
  while (va_arg_str[i] && (va_arg_str[i] != ',' || brackets)) {
    if (va_arg_str[i] == '{' || va_arg_str[i] == '(' || va_arg_str[i] == '[') {
      ++brackets;
    } else if (brackets && (va_arg_str[i] == '}' || va_arg_str[i] == ')' ||
                            va_arg_str[i] == ']')) {
      --brackets;
    }
    ++i;
  }
  ++i;
  while (va_arg_str[i] == ' ')
    ++i;
  if (va_arg_str[i] == '"' && va_arg_str[i + 1] == '"') {
    i += 2;
    while (va_arg_str[i] == ' ')
      ++i;
  }
  return va_arg_str[i] != 0;
}


x86 assembly (clang, -O0):
<_va_arg_not_empty_lassert>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
movl   $0x0,-0xc(%rbp)
movl   $0x0,-0x10(%rbp)
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x11(%rbp)
je     115a <_va_arg_not_empty_lassert+0x5a>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%ecx
mov    $0x1,%al
cmp    $0x2c,%ecx
mov    %al,-0x12(%rbp)
jne    1154 <_va_arg_not_empty_lassert+0x54>
cmpl   $0x0,-0x10(%rbp)
setne  %al
mov    %al,-0x12(%rbp)
mov    -0x12(%rbp),%al
mov    %al,-0x11(%rbp)
mov    -0x11(%rbp),%al
test   $0x1,%al
jne    116a <_va_arg_not_empty_lassert+0x6a>
jmp    121c <_va_arg_not_empty_lassert+0x11c>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x7b,%eax
je     11a9 <_va_arg_not_empty_lassert+0xa9>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x28,%eax
je     11a9 <_va_arg_not_empty_lassert+0xa9>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x5b,%eax
jne    11b7 <_va_arg_not_empty_lassert+0xb7>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    120e <_va_arg_not_empty_lassert+0x10e>
cmpl   $0x0,-0x10(%rbp)
je     1209 <_va_arg_not_empty_lassert+0x109>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x7d,%eax
je     1200 <_va_arg_not_empty_lassert+0x100>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x29,%eax
je     1200 <_va_arg_not_empty_lassert+0x100>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x5d,%eax
jne    1209 <_va_arg_not_empty_lassert+0x109>
mov    -0x10(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x10(%rbp)
jmp    120e <_va_arg_not_empty_lassert+0x10e>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1116 <_va_arg_not_empty_lassert+0x16>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x20,%eax
jne    1248 <_va_arg_not_empty_lassert+0x148>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1225 <_va_arg_not_empty_lassert+0x125>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x22,%eax
jne    12a8 <_va_arg_not_empty_lassert+0x1a8>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x22,%eax
jne    12a8 <_va_arg_not_empty_lassert+0x1a8>
mov    -0xc(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x20,%eax
jne    12a3 <_va_arg_not_empty_lassert+0x1a3>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1280 <_va_arg_not_empty_lassert+0x180>
jmp    12a8 <_va_arg_not_empty_lassert+0x1a8>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
setne  %al
and    $0x1,%al
movzbl %al,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<_va_arg_not_empty_lassert>:
mov    (%rdi),%dl
xor    %eax,%eax
test   %dl,%dl
je     1154 <_va_arg_not_empty_lassert+0x54>
xor    %ecx,%ecx
jmp    1120 <_va_arg_not_empty_lassert+0x20>
nopl   0x0(%rax)
add    $0x1,%ecx
movzbl 0x1(%rdi,%rax,1),%edx
add    $0x1,%rax
test   %dl,%dl
je     1154 <_va_arg_not_empty_lassert+0x54>
cmp    $0x2c,%dl
jne    1129 <_va_arg_not_empty_lassert+0x29>
test   %ecx,%ecx
je     1154 <_va_arg_not_empty_lassert+0x54>
cmp    $0x28,%dl
je     1110 <_va_arg_not_empty_lassert+0x10>
cmp    $0x7b,%dl
je     1110 <_va_arg_not_empty_lassert+0x10>
cmp    $0x5b,%dl
je     1110 <_va_arg_not_empty_lassert+0x10>
test   %ecx,%ecx
je     1150 <_va_arg_not_empty_lassert+0x50>
cmp    $0x29,%dl
je     114b <_va_arg_not_empty_lassert+0x4b>
cmp    $0x7d,%dl
je     114b <_va_arg_not_empty_lassert+0x4b>
cmp    $0x5d,%dl
jne    1113 <_va_arg_not_empty_lassert+0x13>
add    $0xffffffff,%ecx
jmp    1113 <_va_arg_not_empty_lassert+0x13>
xor    %ecx,%ecx
jmp    1113 <_va_arg_not_empty_lassert+0x13>
mov    %eax,%eax
add    $0x1,%rax
nopw   0x0(%rax,%rax,1)
movzbl (%rdi,%rax,1),%ecx
add    $0x1,%rax
cmp    $0x20,%cl
je     1160 <_va_arg_not_empty_lassert+0x60>
cmp    $0x22,%cl
jne    11a0 <_va_arg_not_empty_lassert+0xa0>
mov    %eax,%ecx
cmpb   $0x22,(%rdi,%rcx,1)
jne    11a0 <_va_arg_not_empty_lassert+0xa0>
add    $0x1,%rax
mov    %eax,%ecx
add    $0xffffffffffffffff,%rcx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
lea    0x1(%rcx),%rax
cmpb   $0x20,0x1(%rdi,%rcx,1)
mov    %rax,%rcx
je     1190 <_va_arg_not_empty_lassert+0x90>
jmp    11a4 <_va_arg_not_empty_lassert+0xa4>
add    $0xffffffffffffffff,%rax
movslq %eax,%rcx
xor    %eax,%eax
cmpb   $0x0,(%rdi,%rcx,1)
setne  %al
ret

LLVM IR (-O0):
define i32 @_va_arg_not_empty_lassert(i8* %0) {
%2 = alloca i8*
%3 = alloca i32
%4 = alloca i32
store i8* %0, i8** %2
store i32 0, i32* %3
store i32 0, i32* %4
br label %5
5: ; preds = %86, %1
%6 = load i8*, i8** %2
%7 = load i32, i32* %3
%8 = sext i32 %7 to i64
%9 = getelementptr inbounds i8, i8* %6, i64 %8
%10 = load i8, i8* %9
%11 = sext i8 %10 to i32
%12 = icmp ne i32 %11, 0
br i1 %12, label %13, label %26
13: ; preds = %5
%14 = load i8*, i8** %2
%15 = load i32, i32* %3
%16 = sext i32 %15 to i64
%17 = getelementptr inbounds i8, i8* %14, i64 %16
%18 = load i8, i8* %17
%19 = sext i8 %18 to i32
%20 = icmp ne i32 %19, 44
br i1 %20, label %24, label %21
21: ; preds = %13
%22 = load i32, i32* %4
%23 = icmp ne i32 %22, 0
br label %24
24: ; preds = %21, %13
%25 = phi i1 [ true, %13 ], [ %23, %21 ]
br label %26
26: ; preds = %24, %5
%27 = phi i1 [ false, %5 ], [ %25, %24 ]
br i1 %27, label %28, label %89
28: ; preds = %26
%29 = load i8*, i8** %2
%30 = load i32, i32* %3
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds i8, i8* %29, i64 %31
%33 = load i8, i8* %32
%34 = sext i8 %33 to i32
%35 = icmp eq i32 %34, 123
br i1 %35, label %52, label %36
36: ; preds = %28
%37 = load i8*, i8** %2
%38 = load i32, i32* %3
%39 = sext i32 %38 to i64
%40 = getelementptr inbounds i8, i8* %37, i64 %39
%41 = load i8, i8* %40
%42 = sext i8 %41 to i32
%43 = icmp eq i32 %42, 40
br i1 %43, label %52, label %44
44: ; preds = %36
%45 = load i8*, i8** %2
%46 = load i32, i32* %3
%47 = sext i32 %46 to i64
%48 = getelementptr inbounds i8, i8* %45, i64 %47
%49 = load i8, i8* %48
%50 = sext i8 %49 to i32
%51 = icmp eq i32 %50, 91
br i1 %51, label %52, label %55
52: ; preds = %44, %36, %28
%53 = load i32, i32* %4
%54 = add i32 %53, 1
store i32 %54, i32* %4
br label %86
55: ; preds = %44
%56 = load i32, i32* %4
%57 = icmp ne i32 %56, 0
br i1 %57, label %58, label %85
58: ; preds = %55
%59 = load i8*, i8** %2
%60 = load i32, i32* %3
%61 = sext i32 %60 to i64
%62 = getelementptr inbounds i8, i8* %59, i64 %61
%63 = load i8, i8* %62
%64 = sext i8 %63 to i32
%65 = icmp eq i32 %64, 125
br i1 %65, label %82, label %66
66: ; preds = %58
%67 = load i8*, i8** %2
%68 = load i32, i32* %3
%69 = sext i32 %68 to i64
%70 = getelementptr inbounds i8, i8* %67, i64 %69
%71 = load i8, i8* %70
%72 = sext i8 %71 to i32
%73 = icmp eq i32 %72, 41
br i1 %73, label %82, label %74
74: ; preds = %66
%75 = load i8*, i8** %2
%76 = load i32, i32* %3
%77 = sext i32 %76 to i64
%78 = getelementptr inbounds i8, i8* %75, i64 %77
%79 = load i8, i8* %78
%80 = sext i8 %79 to i32
%81 = icmp eq i32 %80, 93
br i1 %81, label %82, label %85
82: ; preds = %74, %66, %58
%83 = load i32, i32* %4
%84 = add i32 %83, -1
store i32 %84, i32* %4
br label %85
85: ; preds = %82, %74, %55
br label %86
86: ; preds = %85, %52
%87 = load i32, i32* %3
%88 = add nsw i32 %87, 1
store i32 %88, i32* %3
br label %5
89: ; preds = %26
%90 = load i32, i32* %3
%91 = add nsw i32 %90, 1
store i32 %91, i32* %3
br label %92
92: ; preds = %100, %89
%93 = load i8*, i8** %2
%94 = load i32, i32* %3
%95 = sext i32 %94 to i64
%96 = getelementptr inbounds i8, i8* %93, i64 %95
%97 = load i8, i8* %96
%98 = sext i8 %97 to i32
%99 = icmp eq i32 %98, 32
br i1 %99, label %100, label %103
100: ; preds = %92
%101 = load i32, i32* %3
%102 = add nsw i32 %101, 1
store i32 %102, i32* %3
br label %92
103: ; preds = %92
%104 = load i8*, i8** %2
%105 = load i32, i32* %3
%106 = sext i32 %105 to i64
%107 = getelementptr inbounds i8, i8* %104, i64 %106
%108 = load i8, i8* %107
%109 = sext i8 %108 to i32
%110 = icmp eq i32 %109, 34
br i1 %110, label %111, label %135
111: ; preds = %103
%112 = load i8*, i8** %2
%113 = load i32, i32* %3
%114 = add nsw i32 %113, 1
%115 = sext i32 %114 to i64
%116 = getelementptr inbounds i8, i8* %112, i64 %115
%117 = load i8, i8* %116
%118 = sext i8 %117 to i32
%119 = icmp eq i32 %118, 34
br i1 %119, label %120, label %135
120: ; preds = %111
%121 = load i32, i32* %3
%122 = add nsw i32 %121, 2
store i32 %122, i32* %3
br label %123
123: ; preds = %131, %120
%124 = load i8*, i8** %2
%125 = load i32, i32* %3
%126 = sext i32 %125 to i64
%127 = getelementptr inbounds i8, i8* %124, i64 %126
%128 = load i8, i8* %127
%129 = sext i8 %128 to i32
%130 = icmp eq i32 %129, 32
br i1 %130, label %131, label %134
131: ; preds = %123
%132 = load i32, i32* %3
%133 = add nsw i32 %132, 1
store i32 %133, i32* %3
br label %123
134: ; preds = %123
br label %135
135: ; preds = %134, %111, %103
%136 = load i8*, i8** %2
%137 = load i32, i32* %3
%138 = sext i32 %137 to i64
%139 = getelementptr inbounds i8, i8* %136, i64 %138
%140 = load i8, i8* %139
%141 = sext i8 %140 to i32
%142 = icmp ne i32 %141, 0
%143 = zext i1 %142 to i32
ret i32 %143
}

LLVM IR (-O2):
define i32 @_va_arg_not_empty_lassert(i8* nocapture %0) {
%2 = load i8, i8* %0
%3 = icmp eq i8 %2, 0
br i1 %3, label %28, label %4
4: ; preds = %1, %19
%5 = phi i64 [ %21, %19 ], [ 0, %1 ]
%6 = phi i8 [ %24, %19 ], [ %2, %1 ]
%7 = phi i32 [ %20, %19 ], [ 0, %1 ]
%8 = phi i32 [ %22, %19 ], [ 0, %1 ]
%9 = icmp ne i8 %6, 44
%10 = icmp ne i32 %7, 0
%11 = select i1 %9, i1 true, i1 %10
br i1 %11, label %12, label %26
12: ; preds = %4
switch i8 %6, label %15 [
i8 123, label %13
i8 40, label %13
i8 91, label %13
]
13: ; preds = %12, %12, %12
%14 = add i32 %7, 1
br label %19
15: ; preds = %12
br i1 %10, label %16, label %19
16: ; preds = %15
switch i8 %6, label %19 [
i8 125, label %17
i8 41, label %17
i8 93, label %17
]
17: ; preds = %16, %16, %16
%18 = add i32 %7, -1
br label %19
19: ; preds = %16, %15, %17, %13
%20 = phi i32 [ %14, %13 ], [ %18, %17 ], [ 0, %15 ], [ %7, %16 ]
%21 = add nuw i64 %5, 1
%22 = add nuw nsw i32 %8, 1
%23 = getelementptr inbounds i8, i8* %0, i64 %21
%24 = load i8, i8* %23
%25 = icmp eq i8 %24, 0
br i1 %25, label %28, label %4
26: ; preds = %4
%27 = trunc i64 %5 to i32
br label %28
28: ; preds = %19, %26, %1
%29 = phi i32 [ 0, %1 ], [ %27, %26 ], [ %22, %19 ]
%30 = zext i32 %29 to i64
br label %31
31: ; preds = %31, %28
%32 = phi i64 [ %33, %31 ], [ %30, %28 ]
%33 = add nuw nsw i64 %32, 1
%34 = getelementptr inbounds i8, i8* %0, i64 %33
%35 = load i8, i8* %34
switch i8 %35, label %51 [
i8 32, label %31
i8 34, label %36
]
36: ; preds = %31
%37 = add nuw i64 %32, 2
%38 = and i64 %37, 4294967295
%39 = getelementptr inbounds i8, i8* %0, i64 %38
%40 = load i8, i8* %39
%41 = icmp eq i8 %40, 34
br i1 %41, label %42, label %51
42: ; preds = %36
%43 = add nuw i64 %32, 3
%44 = and i64 %43, 4294967295
br label %45
45: ; preds = %45, %42
%46 = phi i64 [ %50, %45 ], [ %44, %42 ]
%47 = getelementptr inbounds i8, i8* %0, i64 %46
%48 = load i8, i8* %47
%49 = icmp eq i8 %48, 32
%50 = add nuw i64 %46, 1
br i1 %49, label %45, label %51
51: ; preds = %31, %45, %36
%52 = phi i64 [ %33, %36 ], [ %46, %45 ], [ %33, %31 ]
%53 = shl i64 %52, 32
%54 = ashr exact i64 %53, 32
%55 = getelementptr inbounds i8, i8* %0, i64 %54
%56 = load i8, i8* %55
%57 = icmp ne i8 %56, 0
%58 = zext i1 %57 to i32
ret i32 %58
}