#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 */
int /*<<< orphan*/ assert(int);
int vercmp_char_value(char);
char *vercmp_digit_end(char const *);
char *vercmp_nondigit_end(char const *);
int vercmp_num_value(char const *, char const *);
__attribute__((visibility("hidden"))) int cpi_vercmp(const char *v1,
                                                     const char *v2) {
  const char *v1n;
  const char *v2n;
  if (v1 == NULL && v2 != NULL) {
    return -1;
  } else if (v1 == NULL && v2 == NULL) {
    return 0;
  } else if (v1 != NULL && v2 == NULL) {
    return 1;
  }
  assert(v1 != NULL && v2 != NULL);
  while (*v1 != '\0' || *v2 != '\0') {
    v1n = vercmp_nondigit_end(v1);
    v2n = vercmp_nondigit_end(v2);
    while (v1 < v1n || v2 < v2n) {
      char c1 = '\0';
      char c2 = '\0';
      if (v1 < v1n) {
        c1 = *v1++;
      }
      if (v2 < v2n) {
        c2 = *v2++;
      }
      int diff = vercmp_char_value(c1) - vercmp_char_value(c2);
      if (diff != 0) {
        return diff;
      }
      assert(v1 <= v1n && v2 <= v2n);
    }
    assert(v1 == v1n && v2 == v2n);
    v1n = vercmp_digit_end(v1);
    v2n = vercmp_digit_end(v2);
    {
      int i1 = vercmp_num_value(v1, v1n);
      int i2 = vercmp_num_value(v2, v2n);
      int diff = i1 - i2;
      if (diff != 0) {
        return diff;
      }
    }
    v1 = v1n;
    v2 = v2n;
  }
  return 0;
}


x86 assembly (clang, -O0):
<cpi_vercmp>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
cmpq   $0x0,-0x10(%rbp)
jne    1182 <cpi_vercmp+0x32>
cmpq   $0x0,-0x18(%rbp)
je     1182 <cpi_vercmp+0x32>
movl   $0xffffffff,-0x4(%rbp)
jmp    13cd <cpi_vercmp+0x27d>
cmpq   $0x0,-0x10(%rbp)
jne    11a4 <cpi_vercmp+0x54>
cmpq   $0x0,-0x18(%rbp)
jne    11a4 <cpi_vercmp+0x54>
movl   $0x0,-0x4(%rbp)
jmp    13cd <cpi_vercmp+0x27d>
cmpq   $0x0,-0x10(%rbp)
je     11c6 <cpi_vercmp+0x76>
cmpq   $0x0,-0x18(%rbp)
jne    11c6 <cpi_vercmp+0x76>
movl   $0x1,-0x4(%rbp)
jmp    13cd <cpi_vercmp+0x27d>
jmp    11cb <cpi_vercmp+0x7b>
jmp    11d0 <cpi_vercmp+0x80>
xor    %eax,%eax
cmpq   $0x0,-0x10(%rbp)
mov    %al,-0x3d(%rbp)
je     11eb <cpi_vercmp+0x9b>
cmpq   $0x0,-0x18(%rbp)
setne  %al
mov    %al,-0x3d(%rbp)
mov    -0x3d(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x10(%rbp),%rax
movsbl (%rax),%ecx
mov    $0x1,%al
cmp    $0x0,%ecx
mov    %al,-0x3e(%rbp)
jne    121d <cpi_vercmp+0xcd>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
setne  %al
mov    %al,-0x3e(%rbp)
mov    -0x3e(%rbp),%al
test   $0x1,%al
jne    122d <cpi_vercmp+0xdd>
jmp    13c6 <cpi_vercmp+0x276>
mov    -0x10(%rbp),%rdi
call   1050 <vercmp_nondigit_end@plt>
mov    %rax,-0x20(%rbp)
mov    -0x18(%rbp),%rdi
call   1050 <vercmp_nondigit_end@plt>
mov    %rax,-0x28(%rbp)
mov    -0x10(%rbp),%rcx
mov    $0x1,%al
cmp    -0x20(%rbp),%rcx
mov    %al,-0x3f(%rbp)
jb     1268 <cpi_vercmp+0x118>
mov    -0x18(%rbp),%rax
cmp    -0x28(%rbp),%rax
setb   %al
mov    %al,-0x3f(%rbp)
mov    -0x3f(%rbp),%al
test   $0x1,%al
jne    1278 <cpi_vercmp+0x128>
jmp    132b <cpi_vercmp+0x1db>
movb   $0x0,-0x29(%rbp)
movb   $0x0,-0x2a(%rbp)
mov    -0x10(%rbp),%rax
cmp    -0x20(%rbp),%rax
jae    12a2 <cpi_vercmp+0x152>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
mov    (%rax),%al
mov    %al,-0x29(%rbp)
mov    -0x18(%rbp),%rax
cmp    -0x28(%rbp),%rax
jae    12c4 <cpi_vercmp+0x174>
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x18(%rbp)
mov    (%rax),%al
mov    %al,-0x2a(%rbp)
movsbl -0x29(%rbp),%edi
call   1070 <vercmp_char_value@plt>
mov    %eax,-0x44(%rbp)
movsbl -0x2a(%rbp),%edi
call   1070 <vercmp_char_value@plt>
mov    %eax,%ecx
mov    -0x44(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x30(%rbp)
cmpl   $0x0,-0x30(%rbp)
je     12f8 <cpi_vercmp+0x1a8>
mov    -0x30(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    13cd <cpi_vercmp+0x27d>
mov    -0x10(%rbp),%rcx
xor    %eax,%eax
cmp    -0x20(%rbp),%rcx
mov    %al,-0x45(%rbp)
ja     1319 <cpi_vercmp+0x1c9>
mov    -0x18(%rbp),%rax
cmp    -0x28(%rbp),%rax
setbe  %al
mov    %al,-0x45(%rbp)
mov    -0x45(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
jmp    1247 <cpi_vercmp+0xf7>
mov    -0x10(%rbp),%rcx
xor    %eax,%eax
cmp    -0x20(%rbp),%rcx
mov    %al,-0x46(%rbp)
jne    134c <cpi_vercmp+0x1fc>
mov    -0x18(%rbp),%rax
cmp    -0x28(%rbp),%rax
sete   %al
mov    %al,-0x46(%rbp)
mov    -0x46(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x10(%rbp),%rdi
call   1040 <vercmp_digit_end@plt>
mov    %rax,-0x20(%rbp)
mov    -0x18(%rbp),%rdi
call   1040 <vercmp_digit_end@plt>
mov    %rax,-0x28(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x20(%rbp),%rsi
call   1060 <vercmp_num_value@plt>
mov    %eax,-0x34(%rbp)
mov    -0x18(%rbp),%rdi
mov    -0x28(%rbp),%rsi
call   1060 <vercmp_num_value@plt>
mov    %eax,-0x38(%rbp)
mov    -0x34(%rbp),%eax
sub    -0x38(%rbp),%eax
mov    %eax,-0x3c(%rbp)
cmpl   $0x0,-0x3c(%rbp)
je     13b1 <cpi_vercmp+0x261>
mov    -0x3c(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    13cd <cpi_vercmp+0x27d>
mov    -0x20(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,-0x18(%rbp)
jmp    11f8 <cpi_vercmp+0xa8>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<cpi_vercmp>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rsi,%r14
mov    %rdi,%r13
test   %rdi,%rdi
jne    1170 <cpi_vercmp+0x20>
mov    $0xffffffff,%ebp
test   %r14,%r14
jne    118b <cpi_vercmp+0x3b>
mov    %r13,%rax
or     %r14,%rax
jne    117c <cpi_vercmp+0x2c>
xor    %ebp,%ebp
jmp    118b <cpi_vercmp+0x3b>
test   %r13,%r13
je     119c <cpi_vercmp+0x4c>
mov    $0x1,%ebp
test   %r14,%r14
jne    119c <cpi_vercmp+0x4c>
mov    %ebp,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
test   %r13,%r13
setne  %al
test   %r14,%r14
setne  %cl
and    %al,%cl
movzbl %cl,%edi
call   1030 <assert@plt>
jmp    1210 <cpi_vercmp+0xc0>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
xor    %r13,%r15
xor    %r14,%r12
xor    %edi,%edi
or     %r15,%r12
sete   %dil
call   1030 <assert@plt>
mov    %r13,%rdi
call   1040 <vercmp_digit_end@plt>
mov    %rax,%r15
mov    %r14,%rdi
call   1040 <vercmp_digit_end@plt>
mov    %rax,%r12
mov    %r13,%rdi
mov    %r15,%rsi
call   1060 <vercmp_num_value@plt>
mov    %eax,%ebp
mov    %r14,%rdi
mov    %r12,%rsi
call   1060 <vercmp_num_value@plt>
mov    %r12,%r14
mov    %r15,%r13
sub    %eax,%ebp
jne    118b <cpi_vercmp+0x3b>
cmpb   $0x0,0x0(%r13)
jne    1221 <cpi_vercmp+0xd1>
cmpb   $0x0,(%r14)
je     1178 <cpi_vercmp+0x28>
mov    %r13,%rdi
call   1050 <vercmp_nondigit_end@plt>
mov    %rax,%r15
mov    %r14,%rdi
call   1050 <vercmp_nondigit_end@plt>
mov    %rax,%r12
cmp    %rax,%r14
setb   %bl
nopl   (%rax)
cmp    %r15,%r13
setb   %al
jb     1251 <cpi_vercmp+0x101>
cmp    %r12,%r14
jae    11c0 <cpi_vercmp+0x70>
test   $0x1,%al
je     1270 <cpi_vercmp+0x120>
movzbl 0x0(%r13),%eax
add    $0x1,%r13
test   $0x1,%bl
jne    1277 <cpi_vercmp+0x127>
xor    %ebx,%ebx
jmp    127f <cpi_vercmp+0x12f>
nopw   0x0(%rax,%rax,1)
xor    %eax,%eax
test   $0x1,%bl
je     1263 <cpi_vercmp+0x113>
movzbl (%r14),%ebx
add    $0x1,%r14
movsbl %al,%edi
call   1070 <vercmp_char_value@plt>
mov    %eax,%ebp
movsbl %bl,%edi
call   1070 <vercmp_char_value@plt>
sub    %eax,%ebp
jne    118b <cpi_vercmp+0x3b>
cmp    %r15,%r13
setbe  %al
cmp    %r12,%r14
setbe  %cl
setb   %bl
and    %al,%cl
movzbl %cl,%edi
call   1030 <assert@plt>
jmp    1240 <cpi_vercmp+0xf0>

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

LLVM IR (-O2):
define hidden i32 @cpi_vercmp(i8* %0, i8* %1) {
%3 = icmp eq i8* %0, null
%4 = icmp ne i8* %1, null
%5 = and i1 %3, %4
br i1 %5, label %74, label %6
6: ; preds = %2
%7 = icmp eq i8* %1, null
%8 = and i1 %3, %7
br i1 %8, label %74, label %9
9: ; preds = %6
%10 = icmp ne i8* %0, null
%11 = and i1 %10, %7
br i1 %11, label %74, label %12
12: ; preds = %9
%13 = and i1 %10, %4
%14 = zext i1 %13 to i32
%15 = tail call i32 @assert(i32 %14)
br label %16
16: ; preds = %60, %12
%17 = phi i8* [ %1, %12 ], [ %69, %60 ]
%18 = phi i8* [ %0, %12 ], [ %68, %60 ]
%19 = load i8, i8* %18
%20 = icmp eq i8 %19, 0
br i1 %20, label %21, label %24
21: ; preds = %16
%22 = load i8, i8* %17
%23 = icmp eq i8 %22, 0
br i1 %23, label %74, label %24
24: ; preds = %16, %21
%25 = tail call i8* @vercmp_nondigit_end(i8* %18)
%26 = tail call i8* @vercmp_nondigit_end(i8* %17)
%27 = icmp ult i8* %18, %25
%28 = icmp ult i8* %17, %26
%29 = select i1 %27, i1 true, i1 %28
br i1 %29, label %30, label %60
30: ; preds = %24, %51
%31 = phi i1 [ %58, %51 ], [ %28, %24 ]
%32 = phi i1 [ %57, %51 ], [ %27, %24 ]
%33 = phi i8* [ %40, %51 ], [ %18, %24 ]
%34 = phi i8* [ %46, %51 ], [ %17, %24 ]
br i1 %32, label %35, label %38
35: ; preds = %30
%36 = getelementptr inbounds i8, i8* %33, i64 1
%37 = load i8, i8* %33
br label %38
38: ; preds = %35, %30
%39 = phi i8 [ %37, %35 ], [ 0, %30 ]
%40 = phi i8* [ %36, %35 ], [ %33, %30 ]
br i1 %31, label %41, label %44
41: ; preds = %38
%42 = getelementptr inbounds i8, i8* %34, i64 1
%43 = load i8, i8* %34
br label %44
44: ; preds = %41, %38
%45 = phi i8 [ %43, %41 ], [ 0, %38 ]
%46 = phi i8* [ %42, %41 ], [ %34, %38 ]
%47 = tail call i32 @vercmp_char_value(i8 signext %39)
%48 = tail call i32 @vercmp_char_value(i8 signext %45)
%49 = sub nsw i32 %47, %48
%50 = icmp eq i32 %49, 0
br i1 %50, label %51, label %74
51: ; preds = %44
%52 = icmp ule i8* %40, %25
%53 = icmp ule i8* %46, %26
%54 = select i1 %52, i1 %53, i1 false
%55 = zext i1 %54 to i32
%56 = tail call i32 @assert(i32 %55)
%57 = icmp ult i8* %40, %25
%58 = icmp ult i8* %46, %26
%59 = select i1 %57, i1 true, i1 %58
br i1 %59, label %30, label %60
60: ; preds = %51, %24
%61 = phi i8* [ %17, %24 ], [ %46, %51 ]
%62 = phi i8* [ %18, %24 ], [ %40, %51 ]
%63 = icmp eq i8* %62, %25
%64 = icmp eq i8* %61, %26
%65 = select i1 %63, i1 %64, i1 false
%66 = zext i1 %65 to i32
%67 = tail call i32 @assert(i32 %66)
%68 = tail call i8* @vercmp_digit_end(i8* %62)
%69 = tail call i8* @vercmp_digit_end(i8* %61)
%70 = tail call i32 @vercmp_num_value(i8* %62, i8* %68)
%71 = tail call i32 @vercmp_num_value(i8* %61, i8* %69)
%72 = sub nsw i32 %70, %71
%73 = icmp eq i32 %72, 0
br i1 %73, label %16, label %74
74: ; preds = %21, %60, %44, %9, %6, %2
%75 = phi i32 [ -1, %2 ], [ 0, %6 ], [ 1, %9 ], [ %49, %44 ], [ 0, %21 ], [ %72, %60 ]
ret i32 %75
}