#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 size_t int8_t;

/* Variables and functions */
void longsub(uint8_t d1[], uint8_t d2[], uint8_t len) {
  int8_t i;
  uint8_t borrow = 0;
  for (i = len - 1; i >= 0; i--) {
    if (d1[i] >= borrow) {
      d1[i] -= borrow;
      borrow = 0;
    } else {
      d1[i] -= borrow;
      borrow = 1;
    }
    borrow += d1[i] >= d2[i] ? 0 : 1;
    d1[i] -= d2[i];
  }
}


x86 assembly (clang, -O0):
<longsub>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movq   $0x0,-0x28(%rbp)
mov    -0x18(%rbp),%rax
sub    $0x1,%rax
mov    %rax,-0x20(%rbp)
cmpq   $0x0,-0x20(%rbp)
jb     11e7 <longsub+0xe7>
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
cmp    -0x28(%rbp),%rax
jl     1169 <longsub+0x69>
mov    -0x28(%rbp),%rsi
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    (%rax,%rcx,8),%rdx
sub    %rsi,%rdx
mov    %rdx,(%rax,%rcx,8)
movq   $0x0,-0x28(%rbp)
jmp    1188 <longsub+0x88>
mov    -0x28(%rbp),%rsi
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    (%rax,%rcx,8),%rdx
sub    %rsi,%rdx
mov    %rdx,(%rax,%rcx,8)
movq   $0x1,-0x28(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    (%rax,%rcx,8),%rdx
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    (%rax,%rcx,8),%rsi
mov    $0x1,%eax
xor    %ecx,%ecx
cmp    %rsi,%rdx
cmovge %ecx,%eax
cltq
add    -0x28(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    (%rax,%rcx,8),%rsi
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    (%rax,%rcx,8),%rdx
sub    %rsi,%rdx
mov    %rdx,(%rax,%rcx,8)
mov    -0x20(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x20(%rbp)
jmp    1124 <longsub+0x24>
pop    %rbp
ret

x86 assembly (clang, -O2):
<longsub>:
lea    -0x8(,%rdx,8),%rax
ff
xor    %ecx,%ecx
nopw   0x0(%rax,%rax,1)
mov    (%rdi,%rax,1),%rdx
xor    %r8d,%r8d
sub    %rcx,%rdx
setl   %r8b
mov    %rdx,(%rdi,%rax,1)
xor    %ecx,%ecx
sub    (%rsi,%rax,1),%rdx
setl   %cl
add    %r8,%rcx
mov    %rdx,(%rdi,%rax,1)
add    $0xfffffffffffffff8,%rax
jmp    1110 <longsub+0x10>

LLVM IR (-O0):
define void @longsub(i64* %0, i64* %1, i64 %2) {
%4 = alloca i64*
%5 = alloca i64*
%6 = alloca i64
%7 = alloca i64
%8 = alloca i64
store i64* %0, i64** %4
store i64* %1, i64** %5
store i64 %2, i64* %6
store i64 0, i64* %8
%9 = load i64, i64* %6
%10 = sub nsw i64 %9, 1
store i64 %10, i64* %7
br label %11
11: ; preds = %59, %3
%12 = load i64, i64* %7
%13 = icmp uge i64 %12, 0
br i1 %13, label %14, label %62
14: ; preds = %11
%15 = load i64*, i64** %4
%16 = load i64, i64* %7
%17 = getelementptr inbounds i64, i64* %15, i64 %16
%18 = load i64, i64* %17
%19 = load i64, i64* %8
%20 = icmp sge i64 %18, %19
br i1 %20, label %21, label %28
21: ; preds = %14
%22 = load i64, i64* %8
%23 = load i64*, i64** %4
%24 = load i64, i64* %7
%25 = getelementptr inbounds i64, i64* %23, i64 %24
%26 = load i64, i64* %25
%27 = sub nsw i64 %26, %22
store i64 %27, i64* %25
store i64 0, i64* %8
br label %35
28: ; preds = %14
%29 = load i64, i64* %8
%30 = load i64*, i64** %4
%31 = load i64, i64* %7
%32 = getelementptr inbounds i64, i64* %30, i64 %31
%33 = load i64, i64* %32
%34 = sub nsw i64 %33, %29
store i64 %34, i64* %32
store i64 1, i64* %8
br label %35
35: ; preds = %28, %21
%36 = load i64*, i64** %4
%37 = load i64, i64* %7
%38 = getelementptr inbounds i64, i64* %36, i64 %37
%39 = load i64, i64* %38
%40 = load i64*, i64** %5
%41 = load i64, i64* %7
%42 = getelementptr inbounds i64, i64* %40, i64 %41
%43 = load i64, i64* %42
%44 = icmp sge i64 %39, %43
%45 = zext i1 %44 to i64
%46 = select i1 %44, i32 0, i32 1
%47 = sext i32 %46 to i64
%48 = load i64, i64* %8
%49 = add nsw i64 %48, %47
store i64 %49, i64* %8
%50 = load i64*, i64** %5
%51 = load i64, i64* %7
%52 = getelementptr inbounds i64, i64* %50, i64 %51
%53 = load i64, i64* %52
%54 = load i64*, i64** %4
%55 = load i64, i64* %7
%56 = getelementptr inbounds i64, i64* %54, i64 %55
%57 = load i64, i64* %56
%58 = sub nsw i64 %57, %53
store i64 %58, i64* %56
br label %59
59: ; preds = %35
%60 = load i64, i64* %7
%61 = add i64 %60, -1
store i64 %61, i64* %7
br label %11
62: ; preds = %11
ret void
}

LLVM IR (-O2):
define void @longsub(i64* nocapture %0, i64* nocapture %1, i64 %2) {
br label %4
4: ; preds = %4, %3
%5 = phi i64 [ %2, %3 ], [ %7, %4 ]
%6 = phi i64 [ 0, %3 ], [ %17, %4 ]
%7 = add i64 %5, -1
%8 = getelementptr inbounds i64, i64* %0, i64 %7
%9 = load i64, i64* %8
%10 = icmp slt i64 %9, %6
%11 = zext i1 %10 to i64
%12 = sub nsw i64 %9, %6
store i64 %12, i64* %8
%13 = getelementptr inbounds i64, i64* %1, i64 %7
%14 = load i64, i64* %13
%15 = icmp slt i64 %12, %14
%16 = zext i1 %15 to i64
%17 = add nuw nsw i64 %16, %11
%18 = sub nsw i64 %12, %14
store i64 %18, i64* %8
br label %4
}