int bi_div1(int a_len, unsigned long *a_data, unsigned long b_d) {
  unsigned long long num;
  int i;
  num = 0;
  for (i = a_len - 1; i >= 0; i--) {
    num = ((unsigned long long)num << 32) + a_data[i];
    a_data[i] = num / b_d;
    num = num % b_d;
  }
  for (i = a_len - 1; i >= 0; i--) {
    if (a_data[i] == 0)
      a_len--;
    else
      break;
  }
  return a_len;
}


x86 assembly (clang, -O0):
<bi_div1>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movq   $0x0,-0x20(%rbp)
mov    -0x4(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x24(%rbp)
cmpl   $0x0,-0x24(%rbp)
jl     117b <bi_div1+0x7b>
mov    -0x20(%rbp),%rax
shl    $0x20,%rax
mov    -0x10(%rbp),%rcx
movslq -0x24(%rbp),%rdx
add    (%rcx,%rdx,8),%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
xor    %ecx,%ecx
mov    %ecx,%edx
divq   -0x18(%rbp)
mov    %rax,%rdx
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x20(%rbp),%rax
xor    %ecx,%ecx
mov    %ecx,%edx
divq   -0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    -0x24(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x24(%rbp)
jmp    1120 <bi_div1+0x20>
mov    -0x4(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x24(%rbp)
cmpl   $0x0,-0x24(%rbp)
jl     11c7 <bi_div1+0xc7>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
cmpq   $0x0,(%rax,%rcx,8)
jne    11af <bi_div1+0xaf>
mov    -0x4(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x4(%rbp)
jmp    11b4 <bi_div1+0xb4>
jmp    11c7 <bi_div1+0xc7>
jmp    11b9 <bi_div1+0xb9>
mov    -0x24(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x24(%rbp)
jmp    1184 <bi_div1+0x84>
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<bi_div1>:
mov    %edi,%r8d
test   %edi,%edi
jle    1174 <bi_div1+0x74>
mov    %rdx,%r9
lea    -0x1(%r8),%eax
mov    %eax,%ecx
xor    %eax,%eax
jmp    1135 <bi_div1+0x35>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
xor    %edx,%edx
div    %r9
mov    %rax,%rdi
mov    %rdx,%rax
mov    %rdi,(%rsi,%rcx,8)
add    $0xffffffffffffffff,%rcx
jae    1154 <bi_div1+0x54>
shl    $0x20,%rax
add    (%rsi,%rcx,8),%rax
mov    %rax,%rdx
or     %r9,%rdx
shr    $0x20,%rdx
jne    1120 <bi_div1+0x20>
xor    %edx,%edx
div    %r9d
mov    %eax,%edi
mov    %edx,%eax
jmp    112b <bi_div1+0x2b>
test   %r8d,%r8d
jle    1174 <bi_div1+0x74>
nopl   0x0(%rax)
lea    -0x1(%r8),%eax
cmpq   $0x0,(%rsi,%rax,8)
jne    1174 <bi_div1+0x74>
add    $0xffffffff,%r8d
jg     1160 <bi_div1+0x60>
xor    %r8d,%r8d
mov    %r8d,%eax
ret

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

LLVM IR (-O2):
define i32 @bi_div1(i32 %0, i64* nocapture %1, i64 %2) {
%4 = add i32 %0, -1
%5 = icmp sgt i32 %0, 0
br i1 %5, label %6, label %31
6: ; preds = %3
%7 = zext i32 %4 to i64
br label %9
8: ; preds = %9
br i1 %5, label %20, label %31
9: ; preds = %6, %9
%10 = phi i64 [ %7, %6 ], [ %18, %9 ]
%11 = phi i64 [ 0, %6 ], [ %17, %9 ]
%12 = shl i64 %11, 32
%13 = getelementptr inbounds i64, i64* %1, i64 %10
%14 = load i64, i64* %13
%15 = add i64 %14, %12
%16 = udiv i64 %15, %2
store i64 %16, i64* %13
%17 = urem i64 %15, %2
%18 = add nsw i64 %10, -1
%19 = icmp eq i64 %10, 0
br i1 %19, label %8, label %9
20: ; preds = %8, %27
%21 = phi i32 [ %29, %27 ], [ %4, %8 ]
%22 = phi i32 [ %28, %27 ], [ %0, %8 ]
%23 = zext i32 %21 to i64
%24 = getelementptr inbounds i64, i64* %1, i64 %23
%25 = load i64, i64* %24
%26 = icmp eq i64 %25, 0
br i1 %26, label %27, label %31
27: ; preds = %20
%28 = add nsw i32 %22, -1
%29 = add nsw i32 %21, -1
%30 = icmp sgt i32 %21, 0
br i1 %30, label %20, label %31
31: ; preds = %27, %20, %3, %8
%32 = phi i32 [ %0, %8 ], [ %0, %3 ], [ %22, %20 ], [ 0, %27 ]
ret i32 %32
}