#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*/ isdigit(char const);
char *skip_ws(char const *);
int strncasecmp(char const *, char const *, int);
int strtoimax(char const *, char **, int);
int strnatcmp(const char *str1, const char *str2) {
  if (str1 == NULL)
    return str2 != NULL ? -1 : 0;
  if (str2 == NULL)
    return 1;
  if (*str1 == '\0')
    return *str2 != '\0' ? -1 : 0;
  if (*str2 == '\0')
    return 1;
  str1 = skip_ws(str1);
  str2 = skip_ws(str2);
  int pos = 0;
  while (*(str1 + pos) != '\0' && *(str2 + pos) != '\0' &&
         !isdigit(*(str1 + pos)) && !isdigit(*(str2 + pos))) {
    pos++;
  }
  const int cmp = strncasecmp(str1, str2, pos);
  if (cmp != 0) {
    return cmp;
  }
  char *str1_after_digits = NULL;
  char *str2_after_digits = NULL;
  const int num1 = strtoimax(str1 + pos, &str1_after_digits, 10);
  const int num2 = strtoimax(str2 + pos, &str2_after_digits, 10);
  return num1 != num2 ? num1 - num2
                      : strnatcmp(str1_after_digits, str2_after_digits);
}


x86 assembly (clang, -O0):
<strnatcmp>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
cmpq   $0x0,-0x10(%rbp)
jne    1185 <strnatcmp+0x35>
mov    -0x18(%rbp),%rdx
xor    %eax,%eax
mov    $0xffffffff,%ecx
cmp    $0x0,%rdx
cmovne %ecx,%eax
mov    %eax,-0x4(%rbp)
jmp    1334 <strnatcmp+0x1e4>
cmpq   $0x0,-0x18(%rbp)
jne    119c <strnatcmp+0x4c>
movl   $0x1,-0x4(%rbp)
jmp    1334 <strnatcmp+0x1e4>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    11c8 <strnatcmp+0x78>
mov    -0x18(%rbp),%rax
movsbl (%rax),%edx
xor    %eax,%eax
mov    $0xffffffff,%ecx
cmp    $0x0,%edx
cmovne %ecx,%eax
mov    %eax,-0x4(%rbp)
jmp    1334 <strnatcmp+0x1e4>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    11e4 <strnatcmp+0x94>
movl   $0x1,-0x4(%rbp)
jmp    1334 <strnatcmp+0x1e4>
mov    -0x10(%rbp),%rdi
call   1070 <skip_ws@plt>
mov    %rax,-0x10(%rbp)
mov    -0x18(%rbp),%rdi
call   1070 <skip_ws@plt>
mov    %rax,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x39(%rbp)
je     1276 <strnatcmp+0x126>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x39(%rbp)
je     1276 <strnatcmp+0x126>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1040 <isdigit@plt>
mov    %eax,%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x39(%rbp)
jne    1276 <strnatcmp+0x126>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1040 <isdigit@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
mov    %al,-0x39(%rbp)
mov    -0x39(%rbp),%al
test   $0x1,%al
jne    1286 <strnatcmp+0x136>
jmp    1294 <strnatcmp+0x144>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1205 <strnatcmp+0xb5>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
mov    -0x1c(%rbp),%edx
call   1060 <strncasecmp@plt>
mov    %eax,-0x20(%rbp)
cmpl   $0x0,-0x20(%rbp)
je     12bc <strnatcmp+0x16c>
mov    -0x20(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1334 <strnatcmp+0x1e4>
movq   $0x0,-0x28(%rbp)
movq   $0x0,-0x30(%rbp)
mov    -0x10(%rbp),%rdi
movslq -0x1c(%rbp),%rax
add    %rax,%rdi
lea    -0x28(%rbp),%rsi
mov    $0xa,%edx
call   1030 <strtoimax@plt>
mov    %eax,-0x34(%rbp)
mov    -0x18(%rbp),%rdi
movslq -0x1c(%rbp),%rax
add    %rax,%rdi
lea    -0x30(%rbp),%rsi
mov    $0xa,%edx
call   1030 <strtoimax@plt>
mov    %eax,-0x38(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x38(%rbp),%eax
je     131e <strnatcmp+0x1ce>
mov    -0x34(%rbp),%eax
sub    -0x38(%rbp),%eax
mov    %eax,-0x40(%rbp)
jmp    132e <strnatcmp+0x1de>
mov    -0x28(%rbp),%rdi
mov    -0x30(%rbp),%rsi
call   1050 <strnatcmp@plt>
mov    %eax,-0x40(%rbp)
mov    -0x40(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<strnatcmp>:
push   %rbp
push   %r15
push   %r14
push   %rbx
sub    $0x18,%rsp
mov    %rsi,%rbx
test   %rdi,%rdi
je     1249 <strnatcmp+0xf9>
mov    $0x1,%ebp
test   %rbx,%rbx
je     1252 <strnatcmp+0x102>
cmpb   $0x0,(%rdi)
mov    (%rbx),%al
je     124e <strnatcmp+0xfe>
test   %al,%al
je     1252 <strnatcmp+0x102>
call   1070 <skip_ws@plt>
mov    %rax,%r14
mov    %rbx,%rdi
call   1070 <skip_ws@plt>
mov    %rax,%r15
mov    (%r14),%al
xor    %ebx,%ebx
test   %al,%al
je     11df <strnatcmp+0x8f>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
cmpb   $0x0,(%r15,%rbx,1)
je     11df <strnatcmp+0x8f>
movsbl %al,%edi
call   1040 <isdigit@plt>
test   %eax,%eax
jne    11df <strnatcmp+0x8f>
movsbl (%r15,%rbx,1),%edi
call   1040 <isdigit@plt>
test   %eax,%eax
jne    11df <strnatcmp+0x8f>
movzbl 0x1(%r14,%rbx,1),%eax
add    $0x1,%rbx
test   %al,%al
jne    11b0 <strnatcmp+0x60>
mov    %r14,%rdi
mov    %r15,%rsi
mov    %ebx,%edx
call   1060 <strncasecmp@plt>
mov    %eax,%ebp
test   %eax,%eax
jne    1252 <strnatcmp+0x102>
mov    %ebx,%ebx
add    %rbx,%r14
movq   $0x0,0x10(%rsp)
movq   $0x0,0x8(%rsp)
lea    0x10(%rsp),%rsi
mov    %r14,%rdi
mov    $0xa,%edx
call   1030 <strtoimax@plt>
mov    %eax,%ebp
add    %rbx,%r15
lea    0x8(%rsp),%rsi
mov    %r15,%rdi
mov    $0xa,%edx
call   1030 <strtoimax@plt>
sub    %eax,%ebp
jne    1252 <strnatcmp+0x102>
mov    0x10(%rsp),%rdi
mov    0x8(%rsp),%rsi
call   1050 <strnatcmp@plt>
mov    %eax,%ebp
jmp    1252 <strnatcmp+0x102>
neg    %rbx
jmp    1250 <strnatcmp+0x100>
neg    %al
sbb    %ebp,%ebp
mov    %ebp,%eax
add    $0x18,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

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

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