#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 int /*<<< orphan*/ subres;
typedef int /*<<< orphan*/ diversion;

/* Variables and functions */
int /*<<< orphan*/ bzero(unsigned char *, int);
int subtraction(unsigned char *a, int a_len, unsigned char *b,
                unsigned char *subres) {
  int i, j, k;
  unsigned char diversion[10];
  bzero(diversion, sizeof(diversion));
  bzero(subres, sizeof(subres));
  for (i = 0; i <= a_len; i++)
    diversion[i] = a[i];
  for (i = 0; i <= a_len; i++) {
    if (diversion[i] >= b[i])
      subres[i] = diversion[i] - b[i];
    else {
      j = i + 1;
      while (j <= a_len) {
        if (diversion[j] > 0) {
          diversion[j]--;
          subres[i] = 256 - b[i] + diversion[i];
          break;
        } else
          diversion[j] = 255;
        j++;
      }
    }
  }
  for (j = a_len; j >= 0; j--) {
    if (subres[j] > 0)
      break;
    a_len--;
  }
  return a_len;
}


x86 assembly (clang, -O0):
<subtraction>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
lea    -0x36(%rbp),%rdi
mov    $0xa,%esi
call   1030 <bzero@plt>
mov    -0x20(%rbp),%rdi
mov    $0x8,%esi
call   1030 <bzero@plt>
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0xc(%rbp),%eax
jg     1177 <subtraction+0x67>
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,1),%cl
movslq -0x24(%rbp),%rax
mov    %cl,-0x36(%rbp,%rax,1)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    114a <subtraction+0x3a>
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0xc(%rbp),%eax
jg     1265 <subtraction+0x155>
movslq -0x24(%rbp),%rax
movzbl -0x36(%rbp,%rax,1),%eax
mov    -0x18(%rbp),%rcx
movslq -0x24(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
jl     11d0 <subtraction+0xc0>
movslq -0x24(%rbp),%rax
movzbl -0x36(%rbp,%rax,1),%eax
mov    -0x18(%rbp),%rcx
movslq -0x24(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
sub    %ecx,%eax
mov    %al,%dl
mov    -0x20(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
jmp    1252 <subtraction+0x142>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0xc(%rbp),%eax
jg     124d <subtraction+0x13d>
movslq -0x28(%rbp),%rax
movzbl -0x36(%rbp,%rax,1),%eax
cmp    $0x0,%eax
jle    1236 <subtraction+0x126>
movslq -0x28(%rbp),%rax
mov    -0x36(%rbp,%rax,1),%cl
add    $0xff,%cl
mov    %cl,-0x36(%rbp,%rax,1)
mov    -0x18(%rbp),%rax
movslq -0x24(%rbp),%rcx
movzbl (%rax,%rcx,1),%ecx
mov    $0x100,%eax
sub    %ecx,%eax
movslq -0x24(%rbp),%rcx
movzbl -0x36(%rbp,%rcx,1),%ecx
add    %ecx,%eax
mov    %al,%dl
mov    -0x20(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
jmp    124d <subtraction+0x13d>
movslq -0x28(%rbp),%rax
movb   $0xff,-0x36(%rbp,%rax,1)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    11d9 <subtraction+0xc9>
jmp    1252 <subtraction+0x142>
jmp    1257 <subtraction+0x147>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    117e <subtraction+0x6e>
mov    -0xc(%rbp),%eax
mov    %eax,-0x28(%rbp)
cmpl   $0x0,-0x28(%rbp)
jl     12a6 <subtraction+0x196>
mov    -0x20(%rbp),%rax
movslq -0x28(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
jle    128f <subtraction+0x17f>
jmp    12a6 <subtraction+0x196>
mov    -0xc(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0xc(%rbp)
mov    -0x28(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x28(%rbp)
jmp    126b <subtraction+0x15b>
mov    -0xc(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<subtraction>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %rcx,%rbp
mov    %rdx,%r15
mov    %esi,%r14d
mov    %rdi,%r12
lea    0xe(%rsp),%rdi
mov    $0xa,%esi
call   1040 <bzero@plt>
mov    %rbp,%rdi
mov    $0x8,%esi
call   1040 <bzero@plt>
test   %r14d,%r14d
js     11fc <subtraction+0xdc>
mov    %r14d,%r13d
lea    0x1(%r13),%rdx
lea    0xe(%rsp),%rdi
mov    %r12,%rsi
call   1030 <memcpy@plt>
lea    0x1(%r14),%r8d
lea    0xf(%rsp),%rcx
xor    %edx,%edx
mov    %r13,%rsi
jmp    11a4 <subtraction+0x84>
add    $0xff,%bl
mov    %bl,(%rcx,%rdi,1)
mov    0xe(%rsp,%rdx,1),%bl
sub    %al,%bl
mov    %bl,0x0(%rbp,%rdx,1)
add    $0x1,%rdx
add    $0xffffffffffffffff,%rsi
add    $0x1,%rcx
cmp    %r8,%rdx
je     11d7 <subtraction+0xb7>
mov    0xe(%rsp,%rdx,1),%bl
mov    (%r15,%rdx,1),%al
cmp    %al,%bl
jae    118d <subtraction+0x6d>
cmp    %r13,%rdx
jae    1193 <subtraction+0x73>
xor    %edi,%edi
nopw   0x0(%rax,%rax,1)
movzbl (%rcx,%rdi,1),%ebx
test   %bl,%bl
jne    1183 <subtraction+0x63>
movb   $0xff,(%rcx,%rdi,1)
add    $0x1,%rdi
cmp    %rdi,%rsi
jne    11c0 <subtraction+0xa0>
jmp    1193 <subtraction+0x73>
test   %r14d,%r14d
js     11fc <subtraction+0xdc>
add    %r13,%rbp
nop
cmpb   $0x0,0x0(%rbp)
jne    11fc <subtraction+0xdc>
lea    -0x1(%r14),%eax
add    $0xffffffffffffffff,%rbp
test   %r14d,%r14d
mov    %eax,%r14d
jg     11e0 <subtraction+0xc0>
mov    $0xffffffff,%r14d
mov    %r14d,%eax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @subtraction(i8* nocapture %0, i32 %1, i8* nocapture %2, i8* nocapture %3) {
%5 = alloca [10 x i8]
%6 = getelementptr inbounds [10 x i8], [10 x i8]* %5, i64 0, i64 0
%7 = call i32 @bzero(i8* %6, i32 10)
%8 = tail call i32 @bzero(i8* %3, i32 8)
%9 = icmp slt i32 %1, 0
br i1 %9, label %56, label %10
10: ; preds = %4
%11 = getelementptr inbounds [10 x i8], [10 x i8]* %5, i64 0, i64 0
%12 = zext i32 %1 to i64
%13 = add nuw nsw i64 %12, 1
%14 = zext i32 %1 to i64
%15 = add nuw i32 %1, 1
%16 = zext i32 %15 to i64
%17 = zext i32 %1 to i64
br label %20
18: ; preds = %44
%19 = icmp sgt i32 %1, -1
br i1 %19, label %47, label %56
20: ; preds = %10, %44
%21 = phi i64 [ 0, %10 ], [ %45, %44 ]
%22 = getelementptr inbounds [10 x i8], [10 x i8]* %5, i64 0, i64 %21
%23 = load i8, i8* %22
%24 = getelementptr inbounds i8, i8* %2, i64 %21
%25 = load i8, i8* %24
%26 = icmp ult i8 %23, %25
br i1 %26, label %27, label %40
27: ; preds = %20
%28 = icmp ult i64 %21, %14
br i1 %28, label %29, label %44
29: ; preds = %27, %38
%30 = phi i64 [ %31, %38 ], [ %21, %27 ]
%31 = add nuw nsw i64 %30, 1
%32 = getelementptr inbounds [10 x i8], [10 x i8]* %5, i64 0, i64 %31
%33 = load i8, i8* %32
%34 = icmp eq i8 %33, 0
br i1 %34, label %38, label %35
35: ; preds = %29
%36 = add i8 %33, -1
store i8 %36, i8* %32
%37 = load i8, i8* %22
br label %40
38: ; preds = %29
store i8 -1, i8* %32
%39 = icmp eq i64 %31, %17
br i1 %39, label %44, label %29
40: ; preds = %20, %35
%41 = phi i8 [ %37, %35 ], [ %23, %20 ]
%42 = sub i8 %41, %25
%43 = getelementptr inbounds i8, i8* %3, i64 %21
store i8 %42, i8* %43
br label %44
44: ; preds = %38, %40, %27
%45 = add nuw nsw i64 %21, 1
%46 = icmp eq i64 %45, %16
br i1 %46, label %18, label %20
47: ; preds = %18, %53
%48 = phi i32 [ %54, %53 ], [ %1, %18 ]
%49 = zext i32 %48 to i64
%50 = getelementptr inbounds i8, i8* %3, i64 %49
%51 = load i8, i8* %50
%52 = icmp eq i8 %51, 0
br i1 %52, label %53, label %56
53: ; preds = %47
%54 = add nsw i32 %48, -1
%55 = icmp sgt i32 %48, 0
br i1 %55, label %47, label %56
56: ; preds = %53, %47, %4, %18
%57 = phi i32 [ %1, %18 ], [ %1, %4 ], [ %48, %47 ], [ -1, %53 ]
ret i32 %57
}