#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 */
scalar_t__ compare(int *, int *);
int /*<<< orphan*/ printf(char *, ...);
int bigdiv2(int a[], int b[], int c[], int d[]) {
  int i, j, len;
  if (compare(a, b) < 0) {
    printf("Result:0");
    printf("Arithmetic compliment:");
    for (i = a[0]; i >= 1; i--)
      printf("%d", a[i]);
    printf("\n");
    return -1;
  }
  for (i = 0; i < 1000; i++) {
    c[i] = 0;
    d[i] = 0;
  }
  len = a[0];
  d[0] = 0;
  for (i = len; i >= 1; i--) {
    for (j = d[0]; j >= 1; j--)
      d[j + 1] = d[j];
    d[1] = a[i];
    d[0]++;
    while (compare(d, b) >= 0) {
      for (j = 1; j <= d[0]; j++) {
        d[j] -= b[j];
        if (d[j] < 0) {
          d[j] += 10;
          d[j + 1]--;
        }
      }
      while (j > 0 && d[j] == 0)
        j--;
      d[0] = j;
      c[i]++;
    }
  }
  j = b[0];
  while (c[j] == 0 && j > 0)
    j--;
  c[0] = j;
  printf("Big integers div result: ");
  for (i = c[0]; i >= 1; i--)
    printf("%d", c[i]);
  printf("\tArithmetic compliment: ");
  for (i = d[0]; i >= 1; i--)
    printf("%d", d[i]);
  printf("\n");
}


x86 assembly (clang, -O0):
<bigdiv2>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1040 <compare@plt>
cmp    $0x0,%rax
jge    11bf <bigdiv2+0x9f>
lea    0xeaa(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xea5(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x1,-0x2c(%rbp)
jl     11a5 <bigdiv2+0x85>
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%esi
lea    0xe90(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x2c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2c(%rbp)
jmp    1174 <bigdiv2+0x54>
lea    0xe77(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0xffffffff,-0x4(%rbp)
jmp    1474 <bigdiv2+0x354>
movl   $0x0,-0x2c(%rbp)
cmpl   $0x3e8,-0x2c(%rbp)
jge    11ff <bigdiv2+0xdf>
mov    -0x20(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
mov    -0x28(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    11c6 <bigdiv2+0xa6>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x34(%rbp)
mov    -0x28(%rbp),%rax
movl   $0x0,(%rax)
mov    -0x34(%rbp),%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x1,-0x2c(%rbp)
jl     1385 <bigdiv2+0x265>
mov    -0x28(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x30(%rbp)
cmpl   $0x1,-0x30(%rbp)
jl     125e <bigdiv2+0x13e>
mov    -0x28(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x28(%rbp),%rax
mov    -0x30(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x30(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x30(%rbp)
jmp    122b <bigdiv2+0x10b>
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,0x4(%rax)
mov    -0x28(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    %ecx,(%rax)
mov    -0x28(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1040 <compare@plt>
cmp    $0x0,%rax
jl     1372 <bigdiv2+0x252>
movl   $0x1,-0x30(%rbp)
mov    -0x30(%rbp),%eax
mov    -0x28(%rbp),%rcx
cmp    (%rcx),%eax
jg     130f <bigdiv2+0x1ef>
mov    -0x18(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%esi
mov    -0x28(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
sub    %esi,%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x28(%rbp),%rax
movslq -0x30(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jge    12fc <bigdiv2+0x1dc>
mov    -0x28(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
add    $0xa,%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x28(%rbp),%rax
mov    -0x30(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
add    $0xffffffff,%edx
mov    %edx,(%rax,%rcx,4)
jmp    1301 <bigdiv2+0x1e1>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    1299 <bigdiv2+0x179>
jmp    1314 <bigdiv2+0x1f4>
xor    %eax,%eax
cmpl   $0x0,-0x30(%rbp)
mov    %al,-0x35(%rbp)
jle    1335 <bigdiv2+0x215>
mov    -0x28(%rbp),%rax
movslq -0x30(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
sete   %al
mov    %al,-0x35(%rbp)
mov    -0x35(%rbp),%al
test   $0x1,%al
jne    1345 <bigdiv2+0x225>
jmp    1353 <bigdiv2+0x233>
mov    -0x30(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x30(%rbp)
jmp    1314 <bigdiv2+0x1f4>
mov    -0x30(%rbp),%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x20(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
add    $0x1,%edx
mov    %edx,(%rax,%rcx,4)
jmp    127b <bigdiv2+0x15b>
jmp    1377 <bigdiv2+0x257>
mov    -0x2c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2c(%rbp)
jmp    1218 <bigdiv2+0xf8>
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x30(%rbp)
mov    -0x20(%rbp),%rcx
movslq -0x30(%rbp),%rdx
xor    %eax,%eax
cmpl   $0x0,(%rcx,%rdx,4)
mov    %al,-0x36(%rbp)
jne    13af <bigdiv2+0x28f>
cmpl   $0x0,-0x30(%rbp)
setg   %al
mov    %al,-0x36(%rbp)
mov    -0x36(%rbp),%al
test   $0x1,%al
jne    13bf <bigdiv2+0x29f>
jmp    13cd <bigdiv2+0x2ad>
mov    -0x30(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x30(%rbp)
jmp    138e <bigdiv2+0x26e>
mov    -0x30(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,(%rax)
lea    0xc48(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x20(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x1,-0x2c(%rbp)
jl     141e <bigdiv2+0x2fe>
mov    -0x20(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%esi
lea    0xc17(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x2c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2c(%rbp)
jmp    13ed <bigdiv2+0x2cd>
lea    0xc1a(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x28(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x1,-0x2c(%rbp)
jl     1466 <bigdiv2+0x346>
mov    -0x28(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%esi
lea    0xbcf(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x2c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2c(%rbp)
jmp    1435 <bigdiv2+0x315>
lea    0xbb6(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<bigdiv2>:
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %rcx,%rbx
mov    %rdx,%r14
mov    %rsi,%r12
mov    %rdi,%r15
call   1050 <compare@plt>
test   %rax,%rax
js     11e4 <bigdiv2+0xb4>
lea    0xfa0(%rbx),%rax
cmp    %r14,%rax
jbe    123e <bigdiv2+0x10e>
lea    0xfa0(%r14),%rax
cmp    %rbx,%rax
jbe    123e <bigdiv2+0x10e>
mov    $0x4,%eax
nopl   0x0(%rax,%rax,1)
movl   $0x0,-0x10(%r14,%rax,4)
movl   $0x0,-0x10(%rbx,%rax,4)
movl   $0x0,-0xc(%r14,%rax,4)
movl   $0x0,-0xc(%rbx,%rax,4)
movl   $0x0,-0x8(%r14,%rax,4)
movl   $0x0,-0x8(%rbx,%rax,4)
movl   $0x0,-0x4(%r14,%rax,4)
movl   $0x0,-0x4(%rbx,%rax,4)
movl   $0x0,(%r14,%rax,4)
movl   $0x0,(%rbx,%rax,4)
add    $0x5,%rax
cmp    $0x3ec,%rax
jne    1180 <bigdiv2+0x50>
jmp    12d8 <bigdiv2+0x1a8>
lea    0xe15(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
lea    0xe10(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    (%r15),%ebx
test   %ebx,%ebx
jle    14a9 <bigdiv2+0x379>
add    $0x1,%rbx
lea    0xe0a(%rip),%r14
cs nopw 0x0(%rax,%rax,1)
mov    -0x4(%r15,%rbx,4),%esi
mov    %r14,%rdi
xor    %eax,%eax
call   1040 <printf@plt>
add    $0xffffffffffffffff,%rbx
cmp    $0x1,%rbx
ja     1220 <bigdiv2+0xf0>
jmp    14a9 <bigdiv2+0x379>
xor    %eax,%eax
xorps  %xmm0,%xmm0
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movups %xmm0,(%r14,%rax,4)
movups %xmm0,0x10(%r14,%rax,4)
movups %xmm0,(%rbx,%rax,4)
movups %xmm0,0x10(%rbx,%rax,4)
movups %xmm0,0x20(%r14,%rax,4)
movups %xmm0,0x30(%r14,%rax,4)
movups %xmm0,0x20(%rbx,%rax,4)
movups %xmm0,0x30(%rbx,%rax,4)
movups %xmm0,0x40(%r14,%rax,4)
movups %xmm0,0x50(%r14,%rax,4)
movups %xmm0,0x40(%rbx,%rax,4)
movups %xmm0,0x50(%rbx,%rax,4)
movups %xmm0,0x60(%r14,%rax,4)
movups %xmm0,0x70(%r14,%rax,4)
movups %xmm0,0x60(%rbx,%rax,4)
movups %xmm0,0x70(%rbx,%rax,4)
movups %xmm0,0x80(%r14,%rax,4)
movups %xmm0,0x90(%r14,%rax,4)
movups %xmm0,0x80(%rbx,%rax,4)
movups %xmm0,0x90(%rbx,%rax,4)
add    $0x28,%rax
cmp    $0x3e8,%rax
jne    1250 <bigdiv2+0x120>
mov    (%r15),%r13d
movl   $0x0,(%rbx)
test   %r13d,%r13d
jle    1409 <bigdiv2+0x2d9>
xor    %eax,%eax
test   %eax,%eax
jle    1336 <bigdiv2+0x206>
mov    %eax,%eax
lea    -0x1(%rax),%rcx
mov    %rax,%rdx
and    $0x3,%rdx
je     1311 <bigdiv2+0x1e1>
nop
mov    (%rbx,%rax,4),%esi
mov    %esi,0x4(%rbx,%rax,4)
add    $0xffffffffffffffff,%rax
add    $0xffffffffffffffff,%rdx
jne    1300 <bigdiv2+0x1d0>
cmp    $0x3,%rcx
jb     1334 <bigdiv2+0x204>
add    $0x1,%rax
nopl   0x0(%rax,%rax,1)
movups -0x10(%rbx,%rax,4),%xmm0
movups %xmm0,-0xc(%rbx,%rax,4)
add    $0xfffffffffffffffc,%rax
cmp    $0x1,%rax
ja     1320 <bigdiv2+0x1f0>
mov    (%rbx),%eax
mov    (%r15,%r13,4),%ecx
mov    %ecx,0x4(%rbx)
add    $0x1,%eax
mov    %eax,(%rbx)
jmp    1357 <bigdiv2+0x227>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    %eax,(%rbx)
addl   $0x1,(%r14,%r13,4)
mov    %rbx,%rdi
mov    %r12,%rsi
call   1050 <compare@plt>
test   %rax,%rax
js     13f0 <bigdiv2+0x2c0>
mov    (%rbx),%eax
test   %eax,%eax
jle    13b0 <bigdiv2+0x280>
add    $0x1,%rax
mov    $0x1,%ecx
jmp    1389 <bigdiv2+0x259>
nopl   0x0(%rax)
add    $0x1,%rcx
cmp    %rax,%rcx
je     13b5 <bigdiv2+0x285>
mov    (%rbx,%rcx,4),%edx
sub    (%r12,%rcx,4),%edx
mov    %edx,(%rbx,%rcx,4)
jns    1380 <bigdiv2+0x250>
add    $0xa,%edx
mov    %edx,(%rbx,%rcx,4)
addl   $0xffffffff,0x4(%rbx,%rcx,4)
jmp    1380 <bigdiv2+0x250>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    $0x1,%eax
test   %eax,%eax
mov    $0x1,%ecx
cmovle %eax,%ecx
add    $0xffffffff,%ecx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    %eax,%edx
cmpl   $0x0,(%rbx,%rdx,4)
jne    1350 <bigdiv2+0x220>
lea    -0x1(%rax),%edx
cmp    $0x1,%eax
mov    %edx,%eax
jg     13d0 <bigdiv2+0x2a0>
mov    %ecx,%eax
jmp    1350 <bigdiv2+0x220>
nopl   (%rax)
cmp    $0x2,%r13
jl     1409 <bigdiv2+0x2d9>
add    $0xffffffffffffffff,%r13
mov    (%rbx),%eax
test   %eax,%eax
jg     12f0 <bigdiv2+0x1c0>
jmp    1336 <bigdiv2+0x206>
movslq (%r12),%rcx
lea    0x1(%rcx),%eax
add    $0xffffffff,%eax
cmpl   $0x0,(%r14,%rcx,4)
jne    1426 <bigdiv2+0x2f6>
lea    -0x1(%rcx),%rdx
test   %rcx,%rcx
mov    %rdx,%rcx
jg     1410 <bigdiv2+0x2e0>
mov    %eax,(%r14)
lea    0xbf3(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    (%r14),%r12d
test   %r12d,%r12d
jle    1469 <bigdiv2+0x339>
add    $0x1,%r12
lea    0xbd6(%rip),%r15
nopw   0x0(%rax,%rax,1)
mov    -0x4(%r14,%r12,4),%esi
mov    %r15,%rdi
xor    %eax,%eax
call   1040 <printf@plt>
add    $0xffffffffffffffff,%r12
cmp    $0x1,%r12
ja     1450 <bigdiv2+0x320>
lea    0xbcd(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    (%rbx),%r15d
test   %r15d,%r15d
jle    14a9 <bigdiv2+0x379>
add    $0x1,%r15
lea    0xb96(%rip),%r14
nopw   0x0(%rax,%rax,1)
mov    -0x4(%rbx,%r15,4),%esi
mov    %r14,%rdi
xor    %eax,%eax
call   1040 <printf@plt>
add    $0xffffffffffffffff,%r15
cmp    $0x1,%r15
ja     1490 <bigdiv2+0x360>
mov    $0xa,%edi
call   1030 <putchar@plt>
mov    $0xffffffff,%eax
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
@.str = [9 x i8] c"Result:0\00"
@.str.1 = [23 x i8] c"Arithmetic compliment:\00"
@.str.2 = [3 x i8] c"%d\00"
@.str.3 = [2 x i8] c"\0A\00"
@.str.4 = [26 x i8] c"Big integers div result: \00"
@.str.5 = [25 x i8] c"\09Arithmetic compliment: \00"
define i32 @bigdiv2(i32* %0, i32* %1, i32* %2, i32* %3) {
%5 = alloca i32
%6 = alloca i32*
%7 = alloca i32*
%8 = alloca i32*
%9 = alloca i32*
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
store i32* %0, i32** %6
store i32* %1, i32** %7
store i32* %2, i32** %8
store i32* %3, i32** %9
%13 = load i32*, i32** %6
%14 = load i32*, i32** %7
%15 = call i64 @compare(i32* %13, i32* %14)
%16 = icmp slt i64 %15, 0
br i1 %16, label %17, label %38
17: ; preds = %4
%18 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str, i64 0, i64 0))
%19 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str.1, i64 0, i64 0))
%20 = load i32*, i32** %6
%21 = getelementptr inbounds i32, i32* %20, i64 0
%22 = load i32, i32* %21
store i32 %22, i32* %10
br label %23
23: ; preds = %33, %17
%24 = load i32, i32* %10
%25 = icmp sge i32 %24, 1
br i1 %25, label %26, label %36
26: ; preds = %23
%27 = load i32*, i32** %6
%28 = load i32, i32* %10
%29 = sext i32 %28 to i64
%30 = getelementptr inbounds i32, i32* %27, i64 %29
%31 = load i32, i32* %30
%32 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i32 %31)
br label %33
33: ; preds = %26
%34 = load i32, i32* %10
%35 = add nsw i32 %34, -1
store i32 %35, i32* %10
br label %23
36: ; preds = %23
%37 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.3, i64 0, i64 0))
store i32 -1, i32* %5
br label %235
38: ; preds = %4
store i32 0, i32* %10
br label %39
39: ; preds = %51, %38
%40 = load i32, i32* %10
%41 = icmp slt i32 %40, 1000
br i1 %41, label %42, label %54
42: ; preds = %39
%43 = load i32*, i32** %8
%44 = load i32, i32* %10
%45 = sext i32 %44 to i64
%46 = getelementptr inbounds i32, i32* %43, i64 %45
store i32 0, i32* %46
%47 = load i32*, i32** %9
%48 = load i32, i32* %10
%49 = sext i32 %48 to i64
%50 = getelementptr inbounds i32, i32* %47, i64 %49
store i32 0, i32* %50
br label %51
51: ; preds = %42
%52 = load i32, i32* %10
%53 = add nsw i32 %52, 1
store i32 %53, i32* %10
br label %39
54: ; preds = %39
%55 = load i32*, i32** %6
%56 = getelementptr inbounds i32, i32* %55, i64 0
%57 = load i32, i32* %56
store i32 %57, i32* %12
%58 = load i32*, i32** %9
%59 = getelementptr inbounds i32, i32* %58, i64 0
store i32 0, i32* %59
%60 = load i32, i32* %12
store i32 %60, i32* %10
br label %61
61: ; preds = %172, %54
%62 = load i32, i32* %10
%63 = icmp sge i32 %62, 1
br i1 %63, label %64, label %175
64: ; preds = %61
%65 = load i32*, i32** %9
%66 = getelementptr inbounds i32, i32* %65, i64 0
%67 = load i32, i32* %66
store i32 %67, i32* %11
br label %68
68: ; preds = %82, %64
%69 = load i32, i32* %11
%70 = icmp sge i32 %69, 1
br i1 %70, label %71, label %85
71: ; preds = %68
%72 = load i32*, i32** %9
%73 = load i32, i32* %11
%74 = sext i32 %73 to i64
%75 = getelementptr inbounds i32, i32* %72, i64 %74
%76 = load i32, i32* %75
%77 = load i32*, i32** %9
%78 = load i32, i32* %11
%79 = add nsw i32 %78, 1
%80 = sext i32 %79 to i64
%81 = getelementptr inbounds i32, i32* %77, i64 %80
store i32 %76, i32* %81
br label %82
82: ; preds = %71
%83 = load i32, i32* %11
%84 = add nsw i32 %83, -1
store i32 %84, i32* %11
br label %68
85: ; preds = %68
%86 = load i32*, i32** %6
%87 = load i32, i32* %10
%88 = sext i32 %87 to i64
%89 = getelementptr inbounds i32, i32* %86, i64 %88
%90 = load i32, i32* %89
%91 = load i32*, i32** %9
%92 = getelementptr inbounds i32, i32* %91, i64 1
store i32 %90, i32* %92
%93 = load i32*, i32** %9
%94 = getelementptr inbounds i32, i32* %93, i64 0
%95 = load i32, i32* %94
%96 = add nsw i32 %95, 1
store i32 %96, i32* %94
br label %97
97: ; preds = %161, %85
%98 = load i32*, i32** %9
%99 = load i32*, i32** %7
%100 = call i64 @compare(i32* %98, i32* %99)
%101 = icmp sge i64 %100, 0
br i1 %101, label %102, label %171
102: ; preds = %97
store i32 1, i32* %11
br label %103
103: ; preds = %142, %102
%104 = load i32, i32* %11
%105 = load i32*, i32** %9
%106 = getelementptr inbounds i32, i32* %105, i64 0
%107 = load i32, i32* %106
%108 = icmp sle i32 %104, %107
br i1 %108, label %109, label %145
109: ; preds = %103
%110 = load i32*, i32** %7
%111 = load i32, i32* %11
%112 = sext i32 %111 to i64
%113 = getelementptr inbounds i32, i32* %110, i64 %112
%114 = load i32, i32* %113
%115 = load i32*, i32** %9
%116 = load i32, i32* %11
%117 = sext i32 %116 to i64
%118 = getelementptr inbounds i32, i32* %115, i64 %117
%119 = load i32, i32* %118
%120 = sub nsw i32 %119, %114
store i32 %120, i32* %118
%121 = load i32*, i32** %9
%122 = load i32, i32* %11
%123 = sext i32 %122 to i64
%124 = getelementptr inbounds i32, i32* %121, i64 %123
%125 = load i32, i32* %124
%126 = icmp slt i32 %125, 0
br i1 %126, label %127, label %141
127: ; preds = %109
%128 = load i32*, i32** %9
%129 = load i32, i32* %11
%130 = sext i32 %129 to i64
%131 = getelementptr inbounds i32, i32* %128, i64 %130
%132 = load i32, i32* %131
%133 = add nsw i32 %132, 10
store i32 %133, i32* %131
%134 = load i32*, i32** %9
%135 = load i32, i32* %11
%136 = add nsw i32 %135, 1
%137 = sext i32 %136 to i64
%138 = getelementptr inbounds i32, i32* %134, i64 %137
%139 = load i32, i32* %138
%140 = add nsw i32 %139, -1
store i32 %140, i32* %138
br label %141
141: ; preds = %127, %109
br label %142
142: ; preds = %141
%143 = load i32, i32* %11
%144 = add nsw i32 %143, 1
store i32 %144, i32* %11
br label %103
145: ; preds = %103
br label %146
146: ; preds = %158, %145
%147 = load i32, i32* %11
%148 = icmp sgt i32 %147, 0
br i1 %148, label %149, label %156
149: ; preds = %146
%150 = load i32*, i32** %9
%151 = load i32, i32* %11
%152 = sext i32 %151 to i64
%153 = getelementptr inbounds i32, i32* %150, i64 %152
%154 = load i32, i32* %153
%155 = icmp eq i32 %154, 0
br label %156
156: ; preds = %149, %146
%157 = phi i1 [ false, %146 ], [ %155, %149 ]
br i1 %157, label %158, label %161
158: ; preds = %156
%159 = load i32, i32* %11
%160 = add nsw i32 %159, -1
store i32 %160, i32* %11
br label %146
161: ; preds = %156
%162 = load i32, i32* %11
%163 = load i32*, i32** %9
%164 = getelementptr inbounds i32, i32* %163, i64 0
store i32 %162, i32* %164
%165 = load i32*, i32** %8
%166 = load i32, i32* %10
%167 = sext i32 %166 to i64
%168 = getelementptr inbounds i32, i32* %165, i64 %167
%169 = load i32, i32* %168
%170 = add nsw i32 %169, 1
store i32 %170, i32* %168
br label %97
171: ; preds = %97
br label %172
172: ; preds = %171
%173 = load i32, i32* %10
%174 = add nsw i32 %173, -1
store i32 %174, i32* %10
br label %61
175: ; preds = %61
%176 = load i32*, i32** %7
%177 = getelementptr inbounds i32, i32* %176, i64 0
%178 = load i32, i32* %177
store i32 %178, i32* %11
br label %179
179: ; preds = %191, %175
%180 = load i32*, i32** %8
%181 = load i32, i32* %11
%182 = sext i32 %181 to i64
%183 = getelementptr inbounds i32, i32* %180, i64 %182
%184 = load i32, i32* %183
%185 = icmp eq i32 %184, 0
br i1 %185, label %186, label %189
186: ; preds = %179
%187 = load i32, i32* %11
%188 = icmp sgt i32 %187, 0
br label %189
189: ; preds = %186, %179
%190 = phi i1 [ false, %179 ], [ %188, %186 ]
br i1 %190, label %191, label %194
191: ; preds = %189
%192 = load i32, i32* %11
%193 = add nsw i32 %192, -1
store i32 %193, i32* %11
br label %179
194: ; preds = %189
%195 = load i32, i32* %11
%196 = load i32*, i32** %8
%197 = getelementptr inbounds i32, i32* %196, i64 0
store i32 %195, i32* %197
%198 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([26 x i8], [26 x i8]* @.str.4, i64 0, i64 0))
%199 = load i32*, i32** %8
%200 = getelementptr inbounds i32, i32* %199, i64 0
%201 = load i32, i32* %200
store i32 %201, i32* %10
br label %202
202: ; preds = %212, %194
%203 = load i32, i32* %10
%204 = icmp sge i32 %203, 1
br i1 %204, label %205, label %215
205: ; preds = %202
%206 = load i32*, i32** %8
%207 = load i32, i32* %10
%208 = sext i32 %207 to i64
%209 = getelementptr inbounds i32, i32* %206, i64 %208
%210 = load i32, i32* %209
%211 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i32 %210)
br label %212
212: ; preds = %205
%213 = load i32, i32* %10
%214 = add nsw i32 %213, -1
store i32 %214, i32* %10
br label %202
215: ; preds = %202
%216 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.5, i64 0, i64 0))
%217 = load i32*, i32** %9
%218 = getelementptr inbounds i32, i32* %217, i64 0
%219 = load i32, i32* %218
store i32 %219, i32* %10
br label %220
220: ; preds = %230, %215
%221 = load i32, i32* %10
%222 = icmp sge i32 %221, 1
br i1 %222, label %223, label %233
223: ; preds = %220
%224 = load i32*, i32** %9
%225 = load i32, i32* %10
%226 = sext i32 %225 to i64
%227 = getelementptr inbounds i32, i32* %224, i64 %226
%228 = load i32, i32* %227
%229 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i32 %228)
br label %230
230: ; preds = %223
%231 = load i32, i32* %10
%232 = add nsw i32 %231, -1
store i32 %232, i32* %10
br label %220
233: ; preds = %220
%234 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.3, i64 0, i64 0))
br label %235
235: ; preds = %233, %36
%236 = load i32, i32* %5
ret i32 %236
}

LLVM IR (-O2):
@.str = [9 x i8] c"Result:0\00"
@.str.1 = [23 x i8] c"Arithmetic compliment:\00"
@.str.2 = [3 x i8] c"%d\00"
@.str.4 = [26 x i8] c"Big integers div result: \00"
@.str.5 = [25 x i8] c"\09Arithmetic compliment: \00"
define i32 @bigdiv2(i32* %0, i32* %1, i32* nocapture %2, i32* %3) {
%5 = tail call i64 @compare(i32* %0, i32* %1)
%6 = icmp slt i64 %5, 0
br i1 %6, label %61, label %7
7: ; preds = %4
%8 = getelementptr i32, i32* %2, i64 1000
%9 = getelementptr i32, i32* %3, i64 1000
%10 = icmp ugt i32* %9, %2
%11 = icmp ugt i32* %8, %3
%12 = and i1 %10, %11
br i1 %12, label %75, label %13
13: ; preds = %7, %13
%14 = phi i64 [ %59, %13 ], [ 0, %7 ]
%15 = getelementptr inbounds i32, i32* %2, i64 %14
%16 = bitcast i32* %15 to <4 x i32>*
store <4 x i32> zeroinitializer, <4 x i32>* %16
%17 = getelementptr inbounds i32, i32* %15, i64 4
%18 = bitcast i32* %17 to <4 x i32>*
store <4 x i32> zeroinitializer, <4 x i32>* %18
%19 = getelementptr inbounds i32, i32* %3, i64 %14
%20 = bitcast i32* %19 to <4 x i32>*
store <4 x i32> zeroinitializer, <4 x i32>* %20
%21 = getelementptr inbounds i32, i32* %19, i64 4
%22 = bitcast i32* %21 to <4 x i32>*
store <4 x i32> zeroinitializer, <4 x i32>* %22
%23 = add nuw nsw i64 %14, 8
%24 = getelementptr inbounds i32, i32* %2, i64 %23
%25 = bitcast i32* %24 to <4 x i32>*
store <4 x i32> zeroinitializer, <4 x i32>* %25
%26 = getelementptr inbounds i32, i32* %24, i64 4
%27 = bitcast i32* %26 to <4 x i32>*
store <4 x i32> zeroinitializer, <4 x i32>* %27
%28 = getelementptr inbounds i32, i32* %3, i64 %23
%29 = bitcast i32* %28 to <4 x i32>*
store <4 x i32> zeroinitializer, <4 x i32>* %29
%30 = getelementptr inbounds i32, i32* %28, i64 4
%31 = bitcast i32* %30 to <4 x i32>*
store <4 x i32> zeroinitializer, <4 x i32>* %31
%32 = add nuw nsw i64 %14, 16
%33 = getelementptr inbounds i32, i32* %2, i64 %32
%34 = bitcast i32* %33 to <4 x i32>*
store <4 x i32> zeroinitializer, <4 x i32>* %34
%35 = getelementptr inbounds i32, i32* %33, i64 4
%36 = bitcast i32* %35 to <4 x i32>*
store <4 x i32> zeroinitializer, <4 x i32>* %36
%37 = getelementptr inbounds i32, i32* %3, i64 %32
%38 = bitcast i32* %37 to <4 x i32>*
store <4 x i32> zeroinitializer, <4 x i32>* %38
%39 = getelementptr inbounds i32, i32* %37, i64 4
%40 = bitcast i32* %39 to <4 x i32>*
store <4 x i32> zeroinitializer, <4 x i32>* %40
%41 = add nuw nsw i64 %14, 24
%42 = getelementptr inbounds i32, i32* %2, i64 %41
%43 = bitcast i32* %42 to <4 x i32>*
store <4 x i32> zeroinitializer, <4 x i32>* %43
%44 = getelementptr inbounds i32, i32* %42, i64 4
%45 = bitcast i32* %44 to <4 x i32>*
store <4 x i32> zeroinitializer, <4 x i32>* %45
%46 = getelementptr inbounds i32, i32* %3, i64 %41
%47 = bitcast i32* %46 to <4 x i32>*
store <4 x i32> zeroinitializer, <4 x i32>* %47
%48 = getelementptr inbounds i32, i32* %46, i64 4
%49 = bitcast i32* %48 to <4 x i32>*
store <4 x i32> zeroinitializer, <4 x i32>* %49
%50 = add nuw nsw i64 %14, 32
%51 = getelementptr inbounds i32, i32* %2, i64 %50
%52 = bitcast i32* %51 to <4 x i32>*
store <4 x i32> zeroinitializer, <4 x i32>* %52
%53 = getelementptr inbounds i32, i32* %51, i64 4
%54 = bitcast i32* %53 to <4 x i32>*
store <4 x i32> zeroinitializer, <4 x i32>* %54
%55 = getelementptr inbounds i32, i32* %3, i64 %50
%56 = bitcast i32* %55 to <4 x i32>*
store <4 x i32> zeroinitializer, <4 x i32>* %56
%57 = getelementptr inbounds i32, i32* %55, i64 4
%58 = bitcast i32* %57 to <4 x i32>*
store <4 x i32> zeroinitializer, <4 x i32>* %58
%59 = add nuw nsw i64 %14, 40
%60 = icmp eq i64 %59, 1000
br i1 %60, label %93, label %13
61: ; preds = %4
%62 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([9 x i8], [9 x i8]* @.str, i64 0, i64 0))
%63 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([23 x i8], [23 x i8]* @.str.1, i64 0, i64 0))
%64 = load i32, i32* %0
%65 = icmp sgt i32 %64, 0
br i1 %65, label %66, label %239
66: ; preds = %61
%67 = zext i32 %64 to i64
br label %68
68: ; preds = %66, %68
%69 = phi i64 [ %67, %66 ], [ %73, %68 ]
%70 = getelementptr inbounds i32, i32* %0, i64 %69
%71 = load i32, i32* %70
%72 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i32 %71)
%73 = add nsw i64 %69, -1
%74 = icmp ugt i64 %69, 1
br i1 %74, label %68, label %239
75: ; preds = %7, %75
%76 = phi i64 [ %91, %75 ], [ 0, %7 ]
%77 = getelementptr inbounds i32, i32* %2, i64 %76
store i32 0, i32* %77
%78 = getelementptr inbounds i32, i32* %3, i64 %76
store i32 0, i32* %78
%79 = add nuw nsw i64 %76, 1
%80 = getelementptr inbounds i32, i32* %2, i64 %79
store i32 0, i32* %80
%81 = getelementptr inbounds i32, i32* %3, i64 %79
store i32 0, i32* %81
%82 = add nuw nsw i64 %76, 2
%83 = getelementptr inbounds i32, i32* %2, i64 %82
store i32 0, i32* %83
%84 = getelementptr inbounds i32, i32* %3, i64 %82
store i32 0, i32* %84
%85 = add nuw nsw i64 %76, 3
%86 = getelementptr inbounds i32, i32* %2, i64 %85
store i32 0, i32* %86
%87 = getelementptr inbounds i32, i32* %3, i64 %85
store i32 0, i32* %87
%88 = add nuw nsw i64 %76, 4
%89 = getelementptr inbounds i32, i32* %2, i64 %88
store i32 0, i32* %89
%90 = getelementptr inbounds i32, i32* %3, i64 %88
store i32 0, i32* %90
%91 = add nuw nsw i64 %76, 5
%92 = icmp eq i64 %91, 1000
br i1 %92, label %93, label %75
93: ; preds = %13, %75
%94 = load i32, i32* %0
store i32 0, i32* %3
%95 = icmp sgt i32 %94, 0
br i1 %95, label %96, label %201
96: ; preds = %93
%97 = getelementptr inbounds i32, i32* %3, i64 1
%98 = zext i32 %94 to i64
br label %99
99: ; preds = %198, %96
%100 = phi i32 [ 0, %96 ], [ %200, %198 ]
%101 = phi i64 [ %98, %96 ], [ %199, %198 ]
%102 = icmp sgt i32 %100, 0
br i1 %102, label %103, label %143
103: ; preds = %99
%104 = zext i32 %100 to i64
%105 = add nsw i64 %104, -1
%106 = and i64 %104, 3
%107 = icmp eq i64 %106, 0
br i1 %107, label %118, label %108
108: ; preds = %103, %108
%109 = phi i64 [ %115, %108 ], [ %104, %103 ]
%110 = phi i64 [ %116, %108 ], [ 0, %103 ]
%111 = getelementptr inbounds i32, i32* %3, i64 %109
%112 = load i32, i32* %111
%113 = add nuw nsw i64 %109, 1
%114 = getelementptr inbounds i32, i32* %3, i64 %113
store i32 %112, i32* %114
%115 = add nsw i64 %109, -1
%116 = add i64 %110, 1
%117 = icmp eq i64 %116, %106
br i1 %117, label %118, label %108
118: ; preds = %108, %103
%119 = phi i64 [ %104, %103 ], [ %115, %108 ]
%120 = icmp ult i64 %105, 3
br i1 %120, label %141, label %121
121: ; preds = %118, %121
%122 = phi i64 [ %139, %121 ], [ %119, %118 ]
%123 = getelementptr inbounds i32, i32* %3, i64 %122
%124 = load i32, i32* %123
%125 = add nuw nsw i64 %122, 1
%126 = getelementptr inbounds i32, i32* %3, i64 %125
store i32 %124, i32* %126
%127 = add nsw i64 %122, -1
%128 = getelementptr inbounds i32, i32* %3, i64 %127
%129 = load i32, i32* %128
%130 = getelementptr inbounds i32, i32* %3, i64 %122
store i32 %129, i32* %130
%131 = add nsw i64 %122, -2
%132 = getelementptr inbounds i32, i32* %3, i64 %131
%133 = load i32, i32* %132
%134 = getelementptr inbounds i32, i32* %3, i64 %127
store i32 %133, i32* %134
%135 = add nsw i64 %122, -3
%136 = getelementptr inbounds i32, i32* %3, i64 %135
%137 = load i32, i32* %136
%138 = getelementptr inbounds i32, i32* %3, i64 %131
store i32 %137, i32* %138
%139 = add nsw i64 %122, -4
%140 = icmp ugt i64 %135, 1
br i1 %140, label %121, label %141
141: ; preds = %121, %118
%142 = load i32, i32* %3
br label %143
143: ; preds = %141, %99
%144 = phi i32 [ %142, %141 ], [ %100, %99 ]
%145 = getelementptr inbounds i32, i32* %0, i64 %101
%146 = load i32, i32* %145
store i32 %146, i32* %97
%147 = add nsw i32 %144, 1
store i32 %147, i32* %3
%148 = tail call i64 @compare(i32* %3, i32* %1)
%149 = icmp sgt i64 %148, -1
br i1 %149, label %150, label %196
150: ; preds = %143
%151 = getelementptr inbounds i32, i32* %2, i64 %101
br label %152
152: ; preds = %150, %190
%153 = load i32, i32* %3
%154 = icmp slt i32 %153, 1
br i1 %154, label %158, label %155
155: ; preds = %152
%156 = add nuw i32 %153, 1
%157 = zext i32 %156 to i64
br label %162
158: ; preds = %178, %152
%159 = phi i32 [ 1, %152 ], [ %156, %178 ]
%160 = call i32 @llvm.smin.i32(i32 %159, i32 1)
%161 = add i32 %160, -1
br label %181
162: ; preds = %155, %178
%163 = phi i64 [ 1, %155 ], [ %179, %178 ]
%164 = getelementptr inbounds i32, i32* %1, i64 %163
%165 = load i32, i32* %164
%166 = getelementptr inbounds i32, i32* %3, i64 %163
%167 = load i32, i32* %166
%168 = sub nsw i32 %167, %165
store i32 %168, i32* %166
%169 = icmp slt i32 %168, 0
br i1 %169, label %172, label %170
170: ; preds = %162
%171 = add nuw nsw i64 %163, 1
br label %178
172: ; preds = %162
%173 = add nsw i32 %168, 10
store i32 %173, i32* %166
%174 = add nuw nsw i64 %163, 1
%175 = getelementptr inbounds i32, i32* %3, i64 %174
%176 = load i32, i32* %175
%177 = add nsw i32 %176, -1
store i32 %177, i32* %175
br label %178
178: ; preds = %170, %172
%179 = phi i64 [ %171, %170 ], [ %174, %172 ]
%180 = icmp eq i64 %179, %157
br i1 %180, label %158, label %162
181: ; preds = %158, %187
%182 = phi i32 [ %159, %158 ], [ %188, %187 ]
%183 = zext i32 %182 to i64
%184 = getelementptr inbounds i32, i32* %3, i64 %183
%185 = load i32, i32* %184
%186 = icmp eq i32 %185, 0
br i1 %186, label %187, label %190
187: ; preds = %181
%188 = add nsw i32 %182, -1
%189 = icmp sgt i32 %182, 1
br i1 %189, label %181, label %190
190: ; preds = %181, %187
%191 = phi i32 [ %161, %187 ], [ %182, %181 ]
store i32 %191, i32* %3
%192 = load i32, i32* %151
%193 = add nsw i32 %192, 1
store i32 %193, i32* %151
%194 = tail call i64 @compare(i32* %3, i32* %1)
%195 = icmp sgt i64 %194, -1
br i1 %195, label %152, label %196
196: ; preds = %190, %143
%197 = icmp sgt i64 %101, 1
br i1 %197, label %198, label %201
198: ; preds = %196
%199 = add nsw i64 %101, -1
%200 = load i32, i32* %3
br label %99
201: ; preds = %196, %93
%202 = load i32, i32* %1
%203 = sext i32 %202 to i64
br label %204
204: ; preds = %204, %201
%205 = phi i64 [ %211, %204 ], [ %203, %201 ]
%206 = getelementptr inbounds i32, i32* %2, i64 %205
%207 = load i32, i32* %206
%208 = icmp eq i32 %207, 0
%209 = icmp sgt i64 %205, 0
%210 = select i1 %208, i1 %209, i1 false
%211 = add nsw i64 %205, -1
br i1 %210, label %204, label %212
212: ; preds = %204
%213 = trunc i64 %205 to i32
store i32 %213, i32* %2
%214 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([26 x i8], [26 x i8]* @.str.4, i64 0, i64 0))
%215 = load i32, i32* %2
%216 = icmp sgt i32 %215, 0
br i1 %216, label %217, label %226
217: ; preds = %212
%218 = zext i32 %215 to i64
br label %219
219: ; preds = %217, %219
%220 = phi i64 [ %218, %217 ], [ %224, %219 ]
%221 = getelementptr inbounds i32, i32* %2, i64 %220
%222 = load i32, i32* %221
%223 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i32 %222)
%224 = add nsw i64 %220, -1
%225 = icmp ugt i64 %220, 1
br i1 %225, label %219, label %226
226: ; preds = %219, %212
%227 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([25 x i8], [25 x i8]* @.str.5, i64 0, i64 0))
%228 = load i32, i32* %3
%229 = icmp sgt i32 %228, 0
br i1 %229, label %230, label %239
230: ; preds = %226
%231 = zext i32 %228 to i64
br label %232
232: ; preds = %230, %232
%233 = phi i64 [ %231, %230 ], [ %237, %232 ]
%234 = getelementptr inbounds i32, i32* %3, i64 %233
%235 = load i32, i32* %234
%236 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i32 %235)
%237 = add nsw i64 %233, -1
%238 = icmp ugt i64 %233, 1
br i1 %238, label %232, label %239
239: ; preds = %232, %68, %226, %61
%240 = tail call i32 @putchar(i32 10)
ret i32 -1
}