#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 */
typedef scalar_t__ uint8_t;
typedef int /*<<< orphan*/ rstack;
typedef int /*<<< orphan*/ lstack;

/* Variables and functions */
int memcmp(scalar_t__ const *, scalar_t__ const *, scalar_t__ const);
int dnamecmp(const uint8_t *lhs, const uint8_t *rhs) {
  int i = 0;
  uint8_t lstack[128], rstack[128];
  uint8_t *restrict ltop = lstack + sizeof(lstack);
  uint8_t *restrict rtop = rstack + sizeof(rstack);
  int lp = 0, rp = 0;
  while (1) {
    const uint8_t left = lhs[lp], right = rhs[rp];
    if (left > 0) {
      *--ltop = lp;
      lp += left + 1;
    }
    if (right > 0) {
      *--rtop = rp;
      rp += right + 1;
    }
    if (left + right == 0)
      break;
  }
  lp = lstack + sizeof(lstack) - ltop;
  rp = rstack + sizeof(rstack) - rtop;
  for (i = 0; i < ((lp) < (rp) ? (lp) : (rp)); ++i) {
    const uint8_t *restrict left = lhs + ltop[i];
    const uint8_t *restrict right = rhs + rtop[i];
    const int diff = left[0] - right[0];
    int ret = memcmp(left + 1, right + 1,
                     ((left[0]) < (right[0]) ? (left[0]) : (right[0])));
    if (ret == 0)
      ret = diff;
    if (ret != 0)
      return ret;
  }
  return lp - rp;
}


x86 assembly (clang, -O0):
<dnamecmp>:
push   %rbp
mov    %rsp,%rbp
sub    $0x880,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
lea    -0x420(%rbp),%rax
add    $0x2000,%rax
mov    %rax,-0x828(%rbp)
lea    -0x820(%rbp),%rax
add    $0x2000,%rax
mov    %rax,-0x830(%rbp)
movl   $0x0,-0x834(%rbp)
movl   $0x0,-0x838(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x834(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x840(%rbp)
mov    -0x18(%rbp),%rax
movslq -0x838(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x848(%rbp)
cmpq   $0x0,-0x840(%rbp)
jle    11db <dnamecmp+0xcb>
movslq -0x834(%rbp),%rcx
mov    -0x828(%rbp),%rax
mov    %rax,%rdx
add    $0xfffffffffffffff8,%rdx
mov    %rdx,-0x828(%rbp)
mov    %rcx,-0x8(%rax)
mov    -0x840(%rbp),%rcx
add    $0x1,%rcx
movslq -0x834(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x834(%rbp)
cmpq   $0x0,-0x848(%rbp)
jle    1224 <dnamecmp+0x114>
movslq -0x838(%rbp),%rcx
mov    -0x830(%rbp),%rax
mov    %rax,%rdx
add    $0xfffffffffffffff8,%rdx
mov    %rdx,-0x830(%rbp)
mov    %rcx,-0x8(%rax)
mov    -0x848(%rbp),%rcx
add    $0x1,%rcx
movslq -0x838(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x838(%rbp)
mov    -0x840(%rbp),%rax
add    -0x848(%rbp),%rax
cmp    $0x0,%rax
jne    1241 <dnamecmp+0x131>
jmp    1246 <dnamecmp+0x136>
jmp    1166 <dnamecmp+0x56>
lea    -0x420(%rbp),%rax
add    $0x2000,%rax
mov    -0x828(%rbp),%rcx
sub    %rcx,%rax
sar    $0x3,%rax
mov    %eax,-0x834(%rbp)
lea    -0x820(%rbp),%rax
add    $0x2000,%rax
mov    -0x830(%rbp),%rcx
sub    %rcx,%rax
sar    $0x3,%rax
mov    %eax,-0x838(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    %eax,-0x864(%rbp)
mov    -0x834(%rbp),%eax
cmp    -0x838(%rbp),%eax
jge    12bb <dnamecmp+0x1ab>
mov    -0x834(%rbp),%eax
mov    %eax,-0x868(%rbp)
jmp    12c7 <dnamecmp+0x1b7>
mov    -0x838(%rbp),%eax
mov    %eax,-0x868(%rbp)
mov    -0x864(%rbp),%eax
mov    -0x868(%rbp),%ecx
cmp    %ecx,%eax
jge    1403 <dnamecmp+0x2f3>
mov    -0x10(%rbp),%rax
mov    -0x828(%rbp),%rcx
movslq -0x1c(%rbp),%rdx
mov    (%rcx,%rdx,8),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    %rax,-0x850(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x830(%rbp),%rcx
movslq -0x1c(%rbp),%rdx
mov    (%rcx,%rdx,8),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    %rax,-0x858(%rbp)
mov    -0x850(%rbp),%rax
mov    (%rax),%rax
mov    -0x858(%rbp),%rcx
sub    (%rcx),%rax
mov    %eax,-0x85c(%rbp)
mov    -0x850(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x878(%rbp)
mov    -0x858(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x870(%rbp)
mov    -0x850(%rbp),%rax
mov    (%rax),%rax
mov    -0x858(%rbp),%rcx
cmp    (%rcx),%rax
jge    138b <dnamecmp+0x27b>
mov    -0x850(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x880(%rbp)
jmp    139c <dnamecmp+0x28c>
mov    -0x858(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x880(%rbp)
mov    -0x870(%rbp),%rsi
mov    -0x878(%rbp),%rdi
mov    -0x880(%rbp),%rdx
call   1030 <memcmp@plt>
mov    %eax,-0x860(%rbp)
cmpl   $0x0,-0x860(%rbp)
jne    13d5 <dnamecmp+0x2c5>
mov    -0x85c(%rbp),%eax
mov    %eax,-0x860(%rbp)
cmpl   $0x0,-0x860(%rbp)
je     13f0 <dnamecmp+0x2e0>
mov    -0x860(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1412 <dnamecmp+0x302>
jmp    13f5 <dnamecmp+0x2e5>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    128f <dnamecmp+0x17f>
mov    -0x834(%rbp),%eax
sub    -0x838(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x880,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<dnamecmp>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x828,%rsp
lea    0x2420(%rsp),%r8
xor    %r10d,%r10d
lea    0x2020(%rsp),%r9
xor    %r11d,%r11d
mov    %r9,%r15
mov    %r8,%rbx
jmp    1145 <dnamecmp+0x35>
nop
add    %rbp,%rdx
je     117f <dnamecmp+0x6f>
movslq %r11d,%rax
mov    (%rdi,%rax,8),%rdx
movslq %r10d,%rcx
mov    (%rsi,%rcx,8),%rbp
test   %rdx,%rdx
jle    1168 <dnamecmp+0x58>
mov    %rax,-0x8(%rbx)
add    $0xfffffffffffffff8,%rbx
lea    (%rax,%rdx,1),%r11d
add    $0x1,%r11d
test   %rbp,%rbp
jle    1140 <dnamecmp+0x30>
mov    %rcx,-0x8(%r15)
add    $0xfffffffffffffff8,%r15
lea    (%rcx,%rbp,1),%r10d
add    $0x1,%r10d
jmp    1140 <dnamecmp+0x30>
sub    %rbx,%r8
shr    $0x3,%r8
sub    %r15,%r9
shr    $0x3,%r9
mov    %r8d,%eax
sub    %r9d,%eax
mov    %eax,0xc(%rsp)
cmovl  %r8d,%r9d
test   %r9d,%r9d
jle    120b <dnamecmp+0xfb>
mov    %r9d,%eax
mov    %rax,0x10(%rsp)
xor    %r13d,%r13d
mov    %rbx,0x18(%rsp)
mov    (%rbx,%r13,8),%rax
mov    %r15,%r14
mov    (%r15,%r13,8),%rcx
mov    (%rdi,%rax,8),%rbx
mov    (%rsi,%rcx,8),%rdx
mov    %ebx,%ebp
sub    %edx,%ebp
mov    %rdi,%r12
lea    (%rdi,%rax,8),%rdi
add    $0x8,%rdi
mov    %rsi,%r15
lea    (%rsi,%rcx,8),%rsi
add    $0x8,%rsi
cmp    %rdx,%rbx
cmovl  %rbx,%rdx
call   1030 <memcmp@plt>
test   %eax,%eax
cmovne %eax,%ebp
test   %ebp,%ebp
jne    120f <dnamecmp+0xff>
add    $0x1,%r13
cmp    %r13,0x10(%rsp)
mov    %r15,%rsi
mov    %r12,%rdi
mov    %r14,%r15
mov    0x18(%rsp),%rbx
jne    11b0 <dnamecmp+0xa0>
mov    0xc(%rsp),%ebp
mov    %ebp,%eax
add    $0x828,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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