#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);
void odo1(const size_t *const start, const size_t *const upper,
          size_t *const coord, const size_t *upp, size_t *cdp) {
  assert(coord <= cdp && cdp <= coord + 8);
  assert(upper <= upp && upp <= upper + 8);
  assert(upp - upper == cdp - coord);
  assert(*cdp <= *upp);
  (*cdp)++;
  if (cdp != coord && *cdp >= *upp) {
    *cdp = start[cdp - coord];
    odo1(start, upper, coord, upp - 1, cdp - 1);
  }
}


x86 assembly (clang, -O0):
<odo1>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    -0x18(%rbp),%rcx
xor    %eax,%eax
cmp    -0x28(%rbp),%rcx
mov    %al,-0x29(%rbp)
ja     1164 <odo1+0x44>
mov    -0x28(%rbp),%rax
mov    -0x18(%rbp),%rcx
add    $0x40,%rcx
cmp    %rcx,%rax
setbe  %al
mov    %al,-0x29(%rbp)
mov    -0x29(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    -0x10(%rbp),%rcx
xor    %eax,%eax
cmp    -0x20(%rbp),%rcx
mov    %al,-0x2a(%rbp)
ja     1199 <odo1+0x79>
mov    -0x20(%rbp),%rax
mov    -0x10(%rbp),%rcx
add    $0x40,%rcx
cmp    %rcx,%rax
setbe  %al
mov    %al,-0x2a(%rbp)
mov    -0x2a(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    -0x20(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    %rcx,%rax
sar    $0x3,%rax
mov    -0x28(%rbp),%rcx
mov    -0x18(%rbp),%rdx
sub    %rdx,%rcx
sar    $0x3,%rcx
cmp    %rcx,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    -0x28(%rbp),%rax
mov    (%rax),%rax
mov    -0x20(%rbp),%rcx
cmp    (%rcx),%rax
setbe  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    -0x28(%rbp),%rax
mov    (%rax),%rcx
add    $0x1,%rcx
mov    %rcx,(%rax)
mov    -0x28(%rbp),%rax
cmp    -0x18(%rbp),%rax
je     125e <odo1+0x13e>
mov    -0x28(%rbp),%rax
mov    (%rax),%rax
mov    -0x20(%rbp),%rcx
cmp    (%rcx),%rax
jb     125e <odo1+0x13e>
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%rcx
mov    -0x18(%rbp),%rdx
sub    %rdx,%rcx
sar    $0x3,%rcx
mov    (%rax,%rcx,8),%rcx
mov    -0x28(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
mov    -0x20(%rbp),%rcx
add    $0xfffffffffffffff8,%rcx
mov    -0x28(%rbp),%r8
add    $0xfffffffffffffff8,%r8
call   1030 <odo1@plt>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<odo1>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %r8,%rbx
mov    %rcx,%r14
mov    %rdx,%r15
mov    %rdi,0x8(%rsp)
lea    0x40(%rdx),%rax
mov    %rax,0x18(%rsp)
lea    0x40(%rsi),%rax
mov    %rax,0x10(%rsp)
mov    %rcx,%rbp
mov    %rsi,0x20(%rsp)
sub    %rsi,%rbp
mov    %r8,%r12
sub    %rdx,%r12
nop
cmp    %r15,%rbx
setae  %al
cmp    %rbx,0x18(%rsp)
setae  %cl
and    %al,%cl
movzbl %cl,%edi
call   1030 <assert@plt>
cmp    0x20(%rsp),%r14
setae  %al
cmp    %r14,0x10(%rsp)
setae  %cl
and    %al,%cl
movzbl %cl,%edi
call   1030 <assert@plt>
mov    %rbp,%rax
sar    $0x3,%rax
mov    %r12,%r13
sar    $0x3,%r13
xor    %edi,%edi
cmp    %r13,%rax
sete   %dil
call   1030 <assert@plt>
mov    (%rbx),%rax
xor    %edi,%edi
cmp    (%r14),%rax
setbe  %dil
call   1030 <assert@plt>
mov    (%rbx),%rax
add    $0x1,%rax
mov    %rax,(%rbx)
cmp    %r15,%rbx
je     11e4 <odo1+0xd4>
cmp    (%r14),%rax
jb     11e4 <odo1+0xd4>
mov    0x8(%rsp),%rax
mov    (%rax,%r13,8),%rax
mov    %rax,(%rbx)
add    $0xfffffffffffffff8,%r14
add    $0xfffffffffffffff8,%rbx
add    $0xfffffffffffffff8,%rbp
add    $0xfffffffffffffff8,%r12
jmp    1150 <odo1+0x40>
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define void @odo1(i64* nocapture %0, i64* %1, i64* %2, i64* %3, i64* %4) {
%6 = getelementptr inbounds i64, i64* %2, i64 8
%7 = getelementptr inbounds i64, i64* %1, i64 8
%8 = ptrtoint i64* %1 to i64
%9 = ptrtoint i64* %2 to i64
br label %10
10: ; preds = %43, %5
%11 = phi i64* [ %3, %5 ], [ %46, %43 ]
%12 = phi i64* [ %4, %5 ], [ %47, %43 ]
%13 = icmp uge i64* %12, %2
%14 = icmp uge i64* %6, %12
%15 = select i1 %13, i1 %14, i1 false
%16 = zext i1 %15 to i32
%17 = tail call i32 @assert(i32 %16)
%18 = icmp uge i64* %11, %1
%19 = icmp uge i64* %7, %11
%20 = select i1 %18, i1 %19, i1 false
%21 = zext i1 %20 to i32
%22 = tail call i32 @assert(i32 %21)
%23 = ptrtoint i64* %11 to i64
%24 = sub i64 %23, %8
%25 = ashr exact i64 %24, 3
%26 = ptrtoint i64* %12 to i64
%27 = sub i64 %26, %9
%28 = ashr exact i64 %27, 3
%29 = icmp eq i64 %25, %28
%30 = zext i1 %29 to i32
%31 = tail call i32 @assert(i32 %30)
%32 = load i64, i64* %12
%33 = load i64, i64* %11
%34 = icmp ule i64 %32, %33
%35 = zext i1 %34 to i32
%36 = tail call i32 @assert(i32 %35)
%37 = load i64, i64* %12
%38 = add i64 %37, 1
store i64 %38, i64* %12
%39 = icmp eq i64* %12, %2
br i1 %39, label %48, label %40
40: ; preds = %10
%41 = load i64, i64* %11
%42 = icmp ult i64 %38, %41
br i1 %42, label %48, label %43
43: ; preds = %40
%44 = getelementptr inbounds i64, i64* %0, i64 %28
%45 = load i64, i64* %44
store i64 %45, i64* %12
%46 = getelementptr inbounds i64, i64* %11, i64 -1
%47 = getelementptr inbounds i64, i64* %12, i64 -1
br label %10
48: ; preds = %40, %10
ret void
}