#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
scalar_t__ isdigit(unsigned char const);
int strverscmp(const char *l0, const char *r0) {
  const unsigned char *l = (const void *)l0;
  const unsigned char *r = (const void *)r0;
  size_t i, dp, j;
  int z = 1;
  for (dp = i = 0; l[i] == r[i]; i++) {
    int c = l[i];
    if (!c)
      return 0;
    if (!isdigit(c))
      dp = i + 1, z = 1;
    else if (c != '0')
      z = 0;
  }
  if (l[dp] != '0' && r[dp] != '0') {
    for (j = i; isdigit(l[j]); j++)
      if (!isdigit(r[j]))
        return 1;
    if (isdigit(r[j]))
      return -1;
  } else if (z && dp < i && (isdigit(l[i]) || isdigit(r[i]))) {
    return (unsigned char)(l[i] - '0') - (unsigned char)(r[i] - '0');
  }
  return l[i] - r[i];
}


x86 assembly (clang, -O0):
<strverscmp>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x28(%rbp)
movl   $0x1,-0x44(%rbp)
movq   $0x0,-0x30(%rbp)
movq   $0x0,-0x38(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    -0x28(%rbp),%rcx
mov    -0x30(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
jne    11e5 <strverscmp+0xd5>
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    %eax,-0x48(%rbp)
cmpl   $0x0,-0x48(%rbp)
jne    118c <strverscmp+0x7c>
movl   $0x0,-0x4(%rbp)
jmp    1339 <strverscmp+0x229>
mov    -0x48(%rbp),%eax
movzbl %al,%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
jne    11b9 <strverscmp+0xa9>
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
movl   $0x1,-0x44(%rbp)
jmp    11cf <strverscmp+0xbf>
cmpl   $0x30,-0x48(%rbp)
je     11ca <strverscmp+0xba>
movl   $0x0,-0x44(%rbp)
jmp    11cf <strverscmp+0xbf>
jmp    11d4 <strverscmp+0xc4>
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
jmp    1147 <strverscmp+0x37>
mov    -0x20(%rbp),%rax
mov    -0x38(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
je     129b <strverscmp+0x18b>
mov    -0x28(%rbp),%rax
mov    -0x38(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
je     129b <strverscmp+0x18b>
mov    -0x30(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x40(%rbp),%rcx
movzbl (%rax,%rcx,1),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
je     126f <strverscmp+0x15f>
mov    -0x28(%rbp),%rax
mov    -0x40(%rbp),%rcx
movzbl (%rax,%rcx,1),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
jne    1259 <strverscmp+0x149>
movl   $0x1,-0x4(%rbp)
jmp    1339 <strverscmp+0x229>
jmp    125e <strverscmp+0x14e>
mov    -0x40(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
jmp    1217 <strverscmp+0x107>
mov    -0x28(%rbp),%rax
mov    -0x40(%rbp),%rcx
movzbl (%rax,%rcx,1),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
je     1296 <strverscmp+0x186>
movl   $0xffffffff,-0x4(%rbp)
jmp    1339 <strverscmp+0x229>
jmp    131c <strverscmp+0x20c>
cmpl   $0x0,-0x44(%rbp)
je     1317 <strverscmp+0x207>
mov    -0x38(%rbp),%rax
cmp    -0x30(%rbp),%rax
jae    1317 <strverscmp+0x207>
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%rcx
movzbl (%rax,%rcx,1),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
jne    12e9 <strverscmp+0x1d9>
mov    -0x28(%rbp),%rax
mov    -0x30(%rbp),%rcx
movzbl (%rax,%rcx,1),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
je     1317 <strverscmp+0x207>
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
sub    $0x30,%eax
movzbl %al,%eax
mov    -0x28(%rbp),%rcx
mov    -0x30(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
sub    $0x30,%ecx
movzbl %cl,%ecx
sub    %ecx,%eax
mov    %eax,-0x4(%rbp)
jmp    1339 <strverscmp+0x229>
jmp    131c <strverscmp+0x20c>
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    -0x28(%rbp),%rcx
mov    -0x30(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
sub    %ecx,%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<strverscmp>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rsi,%r14
mov    %rdi,%r12
mov    (%rdi),%al
xor    %ecx,%ecx
mov    %rcx,(%rsp)
cmp    (%rsi),%al
jne    118e <strverscmp+0x7e>
mov    $0x1,%r15d
mov    %eax,%ebx
mov    $0x1,%ebp
xor    %r13d,%r13d
nopl   (%rax)
test   %bl,%bl
je     11ee <strverscmp+0xde>
movzbl %bl,%edi
call   1030 <isdigit@plt>
cmp    $0x30,%bl
mov    $0x0,%ecx
cmovne %ecx,%ebp
test   %rax,%rax
cmove  %r15,%r13
mov    $0x1,%eax
cmove  %eax,%ebp
movzbl (%r12,%r15,1),%ebx
lea    0x1(%r15),%rcx
cmp    (%r14,%r15,1),%bl
mov    %rcx,%r15
je     1140 <strverscmp+0x30>
mov    (%r12,%r13,1),%al
add    $0xffffffffffffffff,%rcx
mov    %rcx,(%rsp)
cmp    $0x30,%al
jne    119c <strverscmp+0x8c>
jmp    11a3 <strverscmp+0x93>
mov    $0x1,%ebp
xor    %r13d,%r13d
mov    %eax,%ebx
cmp    $0x30,%al
je     11a3 <strverscmp+0x93>
cmpb   $0x30,(%r14,%r13,1)
jne    11f2 <strverscmp+0xe2>
test   %ebp,%ebp
je     124a <strverscmp+0x13a>
cmp    (%rsp),%r13
jae    124a <strverscmp+0x13a>
movzbl %bl,%edi
call   1030 <isdigit@plt>
test   %rax,%rax
jne    11d5 <strverscmp+0xc5>
mov    (%rsp),%rax
movzbl (%r14,%rax,1),%edi
call   1030 <isdigit@plt>
test   %rax,%rax
je     124a <strverscmp+0x13a>
mov    (%rsp),%rcx
mov    (%r12,%rcx,1),%al
add    $0xd0,%al
movzbl %al,%eax
mov    (%r14,%rcx,1),%cl
add    $0xd0,%cl
movzbl %cl,%ecx
jmp    1258 <strverscmp+0x148>
xor    %eax,%eax
jmp    125a <strverscmp+0x14a>
movzbl %bl,%edi
call   1030 <isdigit@plt>
mov    (%rsp),%rbx
test   %rax,%rax
je     1233 <strverscmp+0x123>
mov    (%rsp),%rbx
nopw   0x0(%rax,%rax,1)
movzbl (%r14,%rbx,1),%edi
call   1030 <isdigit@plt>
test   %rax,%rax
je     1269 <strverscmp+0x159>
movzbl 0x1(%r12,%rbx,1),%edi
add    $0x1,%rbx
call   1030 <isdigit@plt>
test   %rax,%rax
jne    1210 <strverscmp+0x100>
movzbl (%r14,%rbx,1),%edi
call   1030 <isdigit@plt>
mov    %rax,%rcx
mov    $0xffffffff,%eax
test   %rcx,%rcx
jne    125a <strverscmp+0x14a>
mov    (%rsp),%rcx
movzbl (%r12,%rcx,1),%eax
movzbl (%r14,%rcx,1),%ecx
sub    %ecx,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    $0x1,%eax
jmp    125a <strverscmp+0x14a>

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

LLVM IR (-O2):
define i32 @strverscmp(i8* nocapture %0, i8* nocapture %1) {
%3 = load i8, i8* %0
%4 = load i8, i8* %1
%5 = icmp eq i8 %3, %4
br i1 %5, label %6, label %28
6: ; preds = %2, %12
%7 = phi i8 [ %21, %12 ], [ %3, %2 ]
%8 = phi i32 [ %19, %12 ], [ 1, %2 ]
%9 = phi i64 [ %18, %12 ], [ 0, %2 ]
%10 = phi i64 [ %17, %12 ], [ 0, %2 ]
%11 = icmp eq i8 %7, 0
br i1 %11, label %87, label %12
12: ; preds = %6
%13 = tail call i64 @isdigit(i8 zeroext %7)
%14 = icmp eq i64 %13, 0
%15 = icmp eq i8 %7, 48
%16 = select i1 %15, i32 %8, i32 0
%17 = add i64 %10, 1
%18 = select i1 %14, i64 %17, i64 %9
%19 = select i1 %14, i32 1, i32 %16
%20 = getelementptr inbounds i8, i8* %0, i64 %17
%21 = load i8, i8* %20
%22 = getelementptr inbounds i8, i8* %1, i64 %17
%23 = load i8, i8* %22
%24 = icmp eq i8 %21, %23
br i1 %24, label %6, label %25
25: ; preds = %12
%26 = getelementptr inbounds i8, i8* %0, i64 %18
%27 = load i8, i8* %26
br label %28
28: ; preds = %25, %2
%29 = phi i8 [ %3, %2 ], [ %27, %25 ]
%30 = phi i64 [ 0, %2 ], [ %17, %25 ]
%31 = phi i64 [ 0, %2 ], [ %18, %25 ]
%32 = phi i32 [ 1, %2 ], [ %19, %25 ]
%33 = phi i8 [ %3, %2 ], [ %21, %25 ]
%34 = getelementptr inbounds i8, i8* %0, i64 %30
%35 = getelementptr inbounds i8, i8* %1, i64 %30
%36 = icmp eq i8 %29, 48
br i1 %36, label %62, label %37
37: ; preds = %28
%38 = getelementptr inbounds i8, i8* %1, i64 %31
%39 = load i8, i8* %38
%40 = icmp eq i8 %39, 48
br i1 %40, label %62, label %41
41: ; preds = %37
%42 = tail call i64 @isdigit(i8 zeroext %33)
%43 = icmp eq i64 %42, 0
br i1 %43, label %56, label %44
44: ; preds = %41, %50
%45 = phi i64 [ %51, %50 ], [ %30, %41 ]
%46 = getelementptr inbounds i8, i8* %1, i64 %45
%47 = load i8, i8* %46
%48 = tail call i64 @isdigit(i8 zeroext %47)
%49 = icmp eq i64 %48, 0
br i1 %49, label %87, label %50
50: ; preds = %44
%51 = add i64 %45, 1
%52 = getelementptr inbounds i8, i8* %0, i64 %51
%53 = load i8, i8* %52
%54 = tail call i64 @isdigit(i8 zeroext %53)
%55 = icmp eq i64 %54, 0
br i1 %55, label %56, label %44
56: ; preds = %50, %41
%57 = phi i64 [ %30, %41 ], [ %51, %50 ]
%58 = getelementptr inbounds i8, i8* %1, i64 %57
%59 = load i8, i8* %58
%60 = tail call i64 @isdigit(i8 zeroext %59)
%61 = icmp eq i64 %60, 0
br i1 %61, label %81, label %87
62: ; preds = %37, %28
%63 = icmp ne i32 %32, 0
%64 = icmp ult i64 %31, %30
%65 = select i1 %63, i1 %64, i1 false
br i1 %65, label %66, label %81
66: ; preds = %62
%67 = tail call i64 @isdigit(i8 zeroext %33)
%68 = icmp eq i64 %67, 0
br i1 %68, label %69, label %73
69: ; preds = %66
%70 = load i8, i8* %35
%71 = tail call i64 @isdigit(i8 zeroext %70)
%72 = icmp eq i64 %71, 0
br i1 %72, label %81, label %73
73: ; preds = %69, %66
%74 = load i8, i8* %34
%75 = add i8 %74, -48
%76 = zext i8 %75 to i32
%77 = load i8, i8* %35
%78 = add i8 %77, -48
%79 = zext i8 %78 to i32
%80 = sub nsw i32 %76, %79
br label %87
81: ; preds = %62, %69, %56
%82 = load i8, i8* %34
%83 = zext i8 %82 to i32
%84 = load i8, i8* %35
%85 = zext i8 %84 to i32
%86 = sub nsw i32 %83, %85
br label %87
87: ; preds = %6, %44, %56, %81, %73
%88 = phi i32 [ %86, %81 ], [ %80, %73 ], [ -1, %56 ], [ 1, %44 ], [ 0, %6 ]
ret i32 %88
}