unsigned long bn_mul_add_words(unsigned long *rp, unsigned long *ap, int num,
                               unsigned long w) {
  unsigned long c1 = 0;
  if (num <= 0)
    return (c1);
  while (num & ~3) {
    do {
      register unsigned long high, low;
      asm("mulq %3" : "=a"(low), "=d"(high) : "a"(w), "m"(ap[0]) : "cc");
      asm("addq %2,%0; adcq %3,%1"
          : "+r"(c1), "+d"(high)
          : "a"(low), "g"(0)
          : "cc");
      asm("addq %2,%0; adcq %3,%1"
          : "+m"(rp[0]), "+d"(high)
          : "r"(c1), "g"(0)
          : "cc");
      c1 = high;
    } while (0);
    do {
      register unsigned long high, low;
      asm("mulq %3" : "=a"(low), "=d"(high) : "a"(w), "m"(ap[1]) : "cc");
      asm("addq %2,%0; adcq %3,%1"
          : "+r"(c1), "+d"(high)
          : "a"(low), "g"(0)
          : "cc");
      asm("addq %2,%0; adcq %3,%1"
          : "+m"(rp[1]), "+d"(high)
          : "r"(c1), "g"(0)
          : "cc");
      c1 = high;
    } while (0);
    do {
      register unsigned long high, low;
      asm("mulq %3" : "=a"(low), "=d"(high) : "a"(w), "m"(ap[2]) : "cc");
      asm("addq %2,%0; adcq %3,%1"
          : "+r"(c1), "+d"(high)
          : "a"(low), "g"(0)
          : "cc");
      asm("addq %2,%0; adcq %3,%1"
          : "+m"(rp[2]), "+d"(high)
          : "r"(c1), "g"(0)
          : "cc");
      c1 = high;
    } while (0);
    do {
      register unsigned long high, low;
      asm("mulq %3" : "=a"(low), "=d"(high) : "a"(w), "m"(ap[3]) : "cc");
      asm("addq %2,%0; adcq %3,%1"
          : "+r"(c1), "+d"(high)
          : "a"(low), "g"(0)
          : "cc");
      asm("addq %2,%0; adcq %3,%1"
          : "+m"(rp[3]), "+d"(high)
          : "r"(c1), "g"(0)
          : "cc");
      c1 = high;
    } while (0);
    ap += 4;
    rp += 4;
    num -= 4;
  }
  if (num) {
    do {
      register unsigned long high, low;
      asm("mulq %3" : "=a"(low), "=d"(high) : "a"(w), "m"(ap[0]) : "cc");
      asm("addq %2,%0; adcq %3,%1"
          : "+r"(c1), "+d"(high)
          : "a"(low), "g"(0)
          : "cc");
      asm("addq %2,%0; adcq %3,%1"
          : "+m"(rp[0]), "+d"(high)
          : "r"(c1), "g"(0)
          : "cc");
      c1 = high;
    } while (0);
    if (--num == 0)
      return c1;
    do {
      register unsigned long high, low;
      asm("mulq %3" : "=a"(low), "=d"(high) : "a"(w), "m"(ap[1]) : "cc");
      asm("addq %2,%0; adcq %3,%1"
          : "+r"(c1), "+d"(high)
          : "a"(low), "g"(0)
          : "cc");
      asm("addq %2,%0; adcq %3,%1"
          : "+m"(rp[1]), "+d"(high)
          : "r"(c1), "g"(0)
          : "cc");
      c1 = high;
    } while (0);
    if (--num == 0)
      return c1;
    do {
      register unsigned long high, low;
      asm("mulq %3" : "=a"(low), "=d"(high) : "a"(w), "m"(ap[2]) : "cc");
      asm("addq %2,%0; adcq %3,%1"
          : "+r"(c1), "+d"(high)
          : "a"(low), "g"(0)
          : "cc");
      asm("addq %2,%0; adcq %3,%1"
          : "+m"(rp[2]), "+d"(high)
          : "r"(c1), "g"(0)
          : "cc");
      c1 = high;
    } while (0);
    return c1;
  }
  return (c1);
}


x86 assembly (clang, -O0):
<bn_mul_add_words>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
mov    %rcx,-0x28(%rbp)
movq   $0x0,-0x30(%rbp)
cmpl   $0x0,-0x1c(%rbp)
jg     1136 <bn_mul_add_words+0x36>
mov    -0x30(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    1478 <bn_mul_add_words+0x378>
jmp    113b <bn_mul_add_words+0x3b>
mov    -0x1c(%rbp),%eax
and    $0xfffffffc,%eax
cmp    $0x0,%eax
je     12dc <bn_mul_add_words+0x1dc>
jmp    114f <bn_mul_add_words+0x4f>
mov    -0x28(%rbp),%rax
mov    -0x18(%rbp),%rcx
mulq   (%rcx)
mov    %rax,-0x40(%rbp)
mov    %rdx,-0x38(%rbp)
mov    -0x30(%rbp),%rcx
mov    -0x38(%rbp),%rdx
mov    -0x40(%rbp),%rax
add    %rax,%rcx
adc    $0x0,%rdx
mov    %rcx,%rax
mov    %rax,-0x30(%rbp)
mov    %rdx,-0x38(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x38(%rbp),%rdx
mov    -0x30(%rbp),%rcx
add    %rcx,(%rax)
adc    $0x0,%rdx
mov    %rdx,-0x38(%rbp)
mov    -0x38(%rbp),%rax
mov    %rax,-0x30(%rbp)
jmp    11a4 <bn_mul_add_words+0xa4>
mov    -0x28(%rbp),%rax
mov    -0x18(%rbp),%rcx
add    $0x8,%rcx
mulq   (%rcx)
mov    %rax,-0x50(%rbp)
mov    %rdx,-0x48(%rbp)
mov    -0x30(%rbp),%rcx
mov    -0x48(%rbp),%rdx
mov    -0x50(%rbp),%rax
add    %rax,%rcx
adc    $0x0,%rdx
mov    %rcx,%rax
mov    %rax,-0x30(%rbp)
mov    %rdx,-0x48(%rbp)
mov    -0x10(%rbp),%rax
add    $0x8,%rax
mov    -0x48(%rbp),%rdx
mov    -0x30(%rbp),%rcx
add    %rcx,(%rax)
adc    $0x0,%rdx
mov    %rdx,-0x48(%rbp)
mov    -0x48(%rbp),%rax
mov    %rax,-0x30(%rbp)
jmp    1201 <bn_mul_add_words+0x101>
mov    -0x28(%rbp),%rax
mov    -0x18(%rbp),%rcx
add    $0x10,%rcx
mulq   (%rcx)
mov    %rax,-0x60(%rbp)
mov    %rdx,-0x58(%rbp)
mov    -0x30(%rbp),%rcx
mov    -0x58(%rbp),%rdx
mov    -0x60(%rbp),%rax
add    %rax,%rcx
adc    $0x0,%rdx
mov    %rcx,%rax
mov    %rax,-0x30(%rbp)
mov    %rdx,-0x58(%rbp)
mov    -0x10(%rbp),%rax
add    $0x10,%rax
mov    -0x58(%rbp),%rdx
mov    -0x30(%rbp),%rcx
add    %rcx,(%rax)
adc    $0x0,%rdx
mov    %rdx,-0x58(%rbp)
mov    -0x58(%rbp),%rax
mov    %rax,-0x30(%rbp)
jmp    125e <bn_mul_add_words+0x15e>
mov    -0x28(%rbp),%rax
mov    -0x18(%rbp),%rcx
add    $0x18,%rcx
mulq   (%rcx)
mov    %rax,-0x70(%rbp)
mov    %rdx,-0x68(%rbp)
mov    -0x30(%rbp),%rcx
mov    -0x68(%rbp),%rdx
mov    -0x70(%rbp),%rax
add    %rax,%rcx
adc    $0x0,%rdx
mov    %rcx,%rax
mov    %rax,-0x30(%rbp)
mov    %rdx,-0x68(%rbp)
mov    -0x10(%rbp),%rax
add    $0x18,%rax
mov    -0x68(%rbp),%rdx
mov    -0x30(%rbp),%rcx
add    %rcx,(%rax)
adc    $0x0,%rdx
mov    %rdx,-0x68(%rbp)
mov    -0x68(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x18(%rbp),%rax
add    $0x20,%rax
mov    %rax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
add    $0x20,%rax
mov    %rax,-0x10(%rbp)
mov    -0x1c(%rbp),%eax
sub    $0x4,%eax
mov    %eax,-0x1c(%rbp)
jmp    113b <bn_mul_add_words+0x3b>
cmpl   $0x0,-0x1c(%rbp)
je     1470 <bn_mul_add_words+0x370>
jmp    12eb <bn_mul_add_words+0x1eb>
mov    -0x28(%rbp),%rax
mov    -0x18(%rbp),%rcx
mulq   (%rcx)
mov    %rax,-0x80(%rbp)
mov    %rdx,-0x78(%rbp)
mov    -0x30(%rbp),%rcx
mov    -0x78(%rbp),%rdx
mov    -0x80(%rbp),%rax
add    %rax,%rcx
adc    $0x0,%rdx
mov    %rcx,%rax
mov    %rax,-0x30(%rbp)
mov    %rdx,-0x78(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x78(%rbp),%rdx
mov    -0x30(%rbp),%rcx
add    %rcx,(%rax)
adc    $0x0,%rdx
mov    %rdx,-0x78(%rbp)
mov    -0x78(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
cmp    $0x0,%eax
jne    135a <bn_mul_add_words+0x25a>
mov    -0x30(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    1478 <bn_mul_add_words+0x378>
jmp    135f <bn_mul_add_words+0x25f>
mov    -0x28(%rbp),%rax
mov    -0x18(%rbp),%rcx
add    $0x8,%rcx
mulq   (%rcx)
mov    %rax,-0x90(%rbp)
mov    %rdx,-0x88(%rbp)
mov    -0x30(%rbp),%rcx
mov    -0x88(%rbp),%rdx
mov    -0x90(%rbp),%rax
add    %rax,%rcx
adc    $0x0,%rdx
mov    %rcx,%rax
mov    %rax,-0x30(%rbp)
mov    %rdx,-0x88(%rbp)
mov    -0x10(%rbp),%rax
add    $0x8,%rax
mov    -0x88(%rbp),%rdx
mov    -0x30(%rbp),%rcx
add    %rcx,(%rax)
adc    $0x0,%rdx
mov    %rdx,-0x88(%rbp)
mov    -0x88(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
cmp    $0x0,%eax
jne    13ee <bn_mul_add_words+0x2ee>
mov    -0x30(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    1478 <bn_mul_add_words+0x378>
jmp    13f3 <bn_mul_add_words+0x2f3>
mov    -0x28(%rbp),%rax
mov    -0x18(%rbp),%rcx
add    $0x10,%rcx
mulq   (%rcx)
mov    %rax,-0xa0(%rbp)
mov    %rdx,-0x98(%rbp)
mov    -0x30(%rbp),%rcx
mov    -0x98(%rbp),%rdx
mov    -0xa0(%rbp),%rax
add    %rax,%rcx
adc    $0x0,%rdx
mov    %rcx,%rax
mov    %rax,-0x30(%rbp)
mov    %rdx,-0x98(%rbp)
mov    -0x10(%rbp),%rax
add    $0x10,%rax
mov    -0x98(%rbp),%rdx
mov    -0x30(%rbp),%rcx
add    %rcx,(%rax)
adc    $0x0,%rdx
mov    %rdx,-0x98(%rbp)
mov    -0x98(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    1478 <bn_mul_add_words+0x378>
mov    -0x30(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<bn_mul_add_words>:
test   %edx,%edx
jle    11ef <bn_mul_add_words+0xef>
mov    %rcx,%r8
mov    %edx,%r9d
xor    %ecx,%ecx
cmp    $0x4,%edx
jb     1199 <bn_mul_add_words+0x99>
nopl   0x0(%rax)
mov    %r8,%rax
mulq   (%rsi)
add    %rax,%rcx
adc    $0x0,%rdx
add    %rcx,(%rdi)
adc    $0x0,%rdx
mov    %rdx,%rcx
mov    %r8,%rax
mulq   0x8(%rsi)
add    %rax,%rcx
adc    $0x0,%rdx
add    %rcx,0x8(%rdi)
adc    $0x0,%rdx
mov    %rdx,%rcx
mov    %r8,%rax
mulq   0x10(%rsi)
add    %rax,%rcx
adc    $0x0,%rdx
add    %rcx,0x10(%rdi)
adc    $0x0,%rdx
mov    %rdx,%rcx
mov    %r8,%rax
mulq   0x18(%rsi)
add    %rax,%rcx
adc    $0x0,%rdx
add    %rcx,0x18(%rdi)
adc    $0x0,%rdx
add    $0x20,%rsi
add    $0x20,%rdi
add    $0xfffffffc,%r9d
mov    %rdx,%rcx
cmp    $0x3,%r9d
ja     1120 <bn_mul_add_words+0x20>
test   %r9d,%r9d
je     11f1 <bn_mul_add_words+0xf1>
mov    %r8,%rax
mulq   (%rsi)
add    %rax,%rcx
adc    $0x0,%rdx
add    %rcx,(%rdi)
adc    $0x0,%rdx
mov    %rdx,%rcx
cmp    $0x1,%r9d
je     11f1 <bn_mul_add_words+0xf1>
mov    %r8,%rax
mulq   0x8(%rsi)
add    %rax,%rcx
adc    $0x0,%rdx
add    %rcx,0x8(%rdi)
adc    $0x0,%rdx
mov    %rdx,%rcx
cmp    $0x2,%r9d
je     11f1 <bn_mul_add_words+0xf1>
mov    %r8,%rax
mulq   0x10(%rsi)
add    %rax,%rcx
adc    $0x0,%rdx
add    %rcx,0x10(%rdi)
adc    $0x0,%rdx
mov    %rdx,%rax
ret
xor    %ecx,%ecx
mov    %rcx,%rax
ret

LLVM IR (-O0):
define i64 @bn_mul_add_words(i64* %0, i64* %1, i32 %2, i64 %3) {
%5 = alloca i64
%6 = alloca i64*
%7 = alloca i64*
%8 = alloca i32
%9 = alloca i64
%10 = alloca i64
%11 = alloca i64
%12 = alloca i64
%13 = alloca i64
%14 = alloca i64
%15 = alloca i64
%16 = alloca i64
%17 = alloca i64
%18 = alloca i64
%19 = alloca i64
%20 = alloca i64
%21 = alloca i64
%22 = alloca i64
%23 = alloca i64
%24 = alloca i64
store i64* %0, i64** %6
store i64* %1, i64** %7
store i32 %2, i32* %8
store i64 %3, i64* %9
store i64 0, i64* %10
%25 = load i32, i32* %8
%26 = icmp sle i32 %25, 0
br i1 %26, label %27, label %29
27: ; preds = %4
%28 = load i64, i64* %10
store i64 %28, i64* %5
br label %200
29: ; preds = %4
br label %30
30: ; preds = %114, %29
%31 = load i32, i32* %8
%32 = and i32 %31, -4
%33 = icmp ne i32 %32, 0
br i1 %33, label %34, label %121
34: ; preds = %30
br label %35
35: ; preds = %34
%36 = load i64, i64* %9
%37 = load i64*, i64** %7
%38 = getelementptr inbounds i64, i64* %37, i64 0
%39 = call { i64, i64 } asm "mulq $3", "={ax},={dx},{ax},*m,~{cc},~{dirflag},~{fpsr},~{flags}"(i64 %36, i64* elementtype(i64) %38)
%40 = extractvalue { i64, i64 } %39, 0
%41 = extractvalue { i64, i64 } %39, 1
store i64 %40, i64* %12
store i64 %41, i64* %11
%42 = load i64, i64* %10
%43 = load i64, i64* %11
%44 = load i64, i64* %12
%45 = call { i64, i64 } asm "addq $2,$0; adcq $3,$1", "=r,={dx},{ax},imr,0,1,~{cc},~{dirflag},~{fpsr},~{flags}"(i64 %44, i32 0, i64 %42, i64 %43)
%46 = extractvalue { i64, i64 } %45, 0
%47 = extractvalue { i64, i64 } %45, 1
store i64 %46, i64* %10
store i64 %47, i64* %11
%48 = load i64*, i64** %6
%49 = getelementptr inbounds i64, i64* %48, i64 0
%50 = load i64, i64* %11
%51 = load i64, i64* %10
%52 = call i64 asm "addq $2,$0; adcq $3,$1", "=*m,={dx},r,imr,*m,1,~{cc},~{dirflag},~{fpsr},~{flags}"(i64* elementtype(i64) %49, i64 %51, i32 0, i64* elementtype(i64) %49, i64 %50)
store i64 %52, i64* %11
%53 = load i64, i64* %11
store i64 %53, i64* %10
br label %54
54: ; preds = %35
br label %55
55: ; preds = %54
%56 = load i64, i64* %9
%57 = load i64*, i64** %7
%58 = getelementptr inbounds i64, i64* %57, i64 1
%59 = call { i64, i64 } asm "mulq $3", "={ax},={dx},{ax},*m,~{cc},~{dirflag},~{fpsr},~{flags}"(i64 %56, i64* elementtype(i64) %58)
%60 = extractvalue { i64, i64 } %59, 0
%61 = extractvalue { i64, i64 } %59, 1
store i64 %60, i64* %14
store i64 %61, i64* %13
%62 = load i64, i64* %10
%63 = load i64, i64* %13
%64 = load i64, i64* %14
%65 = call { i64, i64 } asm "addq $2,$0; adcq $3,$1", "=r,={dx},{ax},imr,0,1,~{cc},~{dirflag},~{fpsr},~{flags}"(i64 %64, i32 0, i64 %62, i64 %63)
%66 = extractvalue { i64, i64 } %65, 0
%67 = extractvalue { i64, i64 } %65, 1
store i64 %66, i64* %10
store i64 %67, i64* %13
%68 = load i64*, i64** %6
%69 = getelementptr inbounds i64, i64* %68, i64 1
%70 = load i64, i64* %13
%71 = load i64, i64* %10
%72 = call i64 asm "addq $2,$0; adcq $3,$1", "=*m,={dx},r,imr,*m,1,~{cc},~{dirflag},~{fpsr},~{flags}"(i64* elementtype(i64) %69, i64 %71, i32 0, i64* elementtype(i64) %69, i64 %70)
store i64 %72, i64* %13
%73 = load i64, i64* %13
store i64 %73, i64* %10
br label %74
74: ; preds = %55
br label %75
75: ; preds = %74
%76 = load i64, i64* %9
%77 = load i64*, i64** %7
%78 = getelementptr inbounds i64, i64* %77, i64 2
%79 = call { i64, i64 } asm "mulq $3", "={ax},={dx},{ax},*m,~{cc},~{dirflag},~{fpsr},~{flags}"(i64 %76, i64* elementtype(i64) %78)
%80 = extractvalue { i64, i64 } %79, 0
%81 = extractvalue { i64, i64 } %79, 1
store i64 %80, i64* %16
store i64 %81, i64* %15
%82 = load i64, i64* %10
%83 = load i64, i64* %15
%84 = load i64, i64* %16
%85 = call { i64, i64 } asm "addq $2,$0; adcq $3,$1", "=r,={dx},{ax},imr,0,1,~{cc},~{dirflag},~{fpsr},~{flags}"(i64 %84, i32 0, i64 %82, i64 %83)
%86 = extractvalue { i64, i64 } %85, 0
%87 = extractvalue { i64, i64 } %85, 1
store i64 %86, i64* %10
store i64 %87, i64* %15
%88 = load i64*, i64** %6
%89 = getelementptr inbounds i64, i64* %88, i64 2
%90 = load i64, i64* %15
%91 = load i64, i64* %10
%92 = call i64 asm "addq $2,$0; adcq $3,$1", "=*m,={dx},r,imr,*m,1,~{cc},~{dirflag},~{fpsr},~{flags}"(i64* elementtype(i64) %89, i64 %91, i32 0, i64* elementtype(i64) %89, i64 %90)
store i64 %92, i64* %15
%93 = load i64, i64* %15
store i64 %93, i64* %10
br label %94
94: ; preds = %75
br label %95
95: ; preds = %94
%96 = load i64, i64* %9
%97 = load i64*, i64** %7
%98 = getelementptr inbounds i64, i64* %97, i64 3
%99 = call { i64, i64 } asm "mulq $3", "={ax},={dx},{ax},*m,~{cc},~{dirflag},~{fpsr},~{flags}"(i64 %96, i64* elementtype(i64) %98)
%100 = extractvalue { i64, i64 } %99, 0
%101 = extractvalue { i64, i64 } %99, 1
store i64 %100, i64* %18
store i64 %101, i64* %17
%102 = load i64, i64* %10
%103 = load i64, i64* %17
%104 = load i64, i64* %18
%105 = call { i64, i64 } asm "addq $2,$0; adcq $3,$1", "=r,={dx},{ax},imr,0,1,~{cc},~{dirflag},~{fpsr},~{flags}"(i64 %104, i32 0, i64 %102, i64 %103)
%106 = extractvalue { i64, i64 } %105, 0
%107 = extractvalue { i64, i64 } %105, 1
store i64 %106, i64* %10
store i64 %107, i64* %17
%108 = load i64*, i64** %6
%109 = getelementptr inbounds i64, i64* %108, i64 3
%110 = load i64, i64* %17
%111 = load i64, i64* %10
%112 = call i64 asm "addq $2,$0; adcq $3,$1", "=*m,={dx},r,imr,*m,1,~{cc},~{dirflag},~{fpsr},~{flags}"(i64* elementtype(i64) %109, i64 %111, i32 0, i64* elementtype(i64) %109, i64 %110)
store i64 %112, i64* %17
%113 = load i64, i64* %17
store i64 %113, i64* %10
br label %114
114: ; preds = %95
%115 = load i64*, i64** %7
%116 = getelementptr inbounds i64, i64* %115, i64 4
store i64* %116, i64** %7
%117 = load i64*, i64** %6
%118 = getelementptr inbounds i64, i64* %117, i64 4
store i64* %118, i64** %6
%119 = load i32, i32* %8
%120 = sub nsw i32 %119, 4
store i32 %120, i32* %8
br label %30
121: ; preds = %30
%122 = load i32, i32* %8
%123 = icmp ne i32 %122, 0
br i1 %123, label %124, label %198
124: ; preds = %121
br label %125
125: ; preds = %124
%126 = load i64, i64* %9
%127 = load i64*, i64** %7
%128 = getelementptr inbounds i64, i64* %127, i64 0
%129 = call { i64, i64 } asm "mulq $3", "={ax},={dx},{ax},*m,~{cc},~{dirflag},~{fpsr},~{flags}"(i64 %126, i64* elementtype(i64) %128)
%130 = extractvalue { i64, i64 } %129, 0
%131 = extractvalue { i64, i64 } %129, 1
store i64 %130, i64* %20
store i64 %131, i64* %19
%132 = load i64, i64* %10
%133 = load i64, i64* %19
%134 = load i64, i64* %20
%135 = call { i64, i64 } asm "addq $2,$0; adcq $3,$1", "=r,={dx},{ax},imr,0,1,~{cc},~{dirflag},~{fpsr},~{flags}"(i64 %134, i32 0, i64 %132, i64 %133)
%136 = extractvalue { i64, i64 } %135, 0
%137 = extractvalue { i64, i64 } %135, 1
store i64 %136, i64* %10
store i64 %137, i64* %19
%138 = load i64*, i64** %6
%139 = getelementptr inbounds i64, i64* %138, i64 0
%140 = load i64, i64* %19
%141 = load i64, i64* %10
%142 = call i64 asm "addq $2,$0; adcq $3,$1", "=*m,={dx},r,imr,*m,1,~{cc},~{dirflag},~{fpsr},~{flags}"(i64* elementtype(i64) %139, i64 %141, i32 0, i64* elementtype(i64) %139, i64 %140)
store i64 %142, i64* %19
%143 = load i64, i64* %19
store i64 %143, i64* %10
br label %144
144: ; preds = %125
%145 = load i32, i32* %8
%146 = add nsw i32 %145, -1
store i32 %146, i32* %8
%147 = icmp eq i32 %146, 0
br i1 %147, label %148, label %150
148: ; preds = %144
%149 = load i64, i64* %10
store i64 %149, i64* %5
br label %200
150: ; preds = %144
br label %151
151: ; preds = %150
%152 = load i64, i64* %9
%153 = load i64*, i64** %7
%154 = getelementptr inbounds i64, i64* %153, i64 1
%155 = call { i64, i64 } asm "mulq $3", "={ax},={dx},{ax},*m,~{cc},~{dirflag},~{fpsr},~{flags}"(i64 %152, i64* elementtype(i64) %154)
%156 = extractvalue { i64, i64 } %155, 0
%157 = extractvalue { i64, i64 } %155, 1
store i64 %156, i64* %22
store i64 %157, i64* %21
%158 = load i64, i64* %10
%159 = load i64, i64* %21
%160 = load i64, i64* %22
%161 = call { i64, i64 } asm "addq $2,$0; adcq $3,$1", "=r,={dx},{ax},imr,0,1,~{cc},~{dirflag},~{fpsr},~{flags}"(i64 %160, i32 0, i64 %158, i64 %159)
%162 = extractvalue { i64, i64 } %161, 0
%163 = extractvalue { i64, i64 } %161, 1
store i64 %162, i64* %10
store i64 %163, i64* %21
%164 = load i64*, i64** %6
%165 = getelementptr inbounds i64, i64* %164, i64 1
%166 = load i64, i64* %21
%167 = load i64, i64* %10
%168 = call i64 asm "addq $2,$0; adcq $3,$1", "=*m,={dx},r,imr,*m,1,~{cc},~{dirflag},~{fpsr},~{flags}"(i64* elementtype(i64) %165, i64 %167, i32 0, i64* elementtype(i64) %165, i64 %166)
store i64 %168, i64* %21
%169 = load i64, i64* %21
store i64 %169, i64* %10
br label %170
170: ; preds = %151
%171 = load i32, i32* %8
%172 = add nsw i32 %171, -1
store i32 %172, i32* %8
%173 = icmp eq i32 %172, 0
br i1 %173, label %174, label %176
174: ; preds = %170
%175 = load i64, i64* %10
store i64 %175, i64* %5
br label %200
176: ; preds = %170
br label %177
177: ; preds = %176
%178 = load i64, i64* %9
%179 = load i64*, i64** %7
%180 = getelementptr inbounds i64, i64* %179, i64 2
%181 = call { i64, i64 } asm "mulq $3", "={ax},={dx},{ax},*m,~{cc},~{dirflag},~{fpsr},~{flags}"(i64 %178, i64* elementtype(i64) %180)
%182 = extractvalue { i64, i64 } %181, 0
%183 = extractvalue { i64, i64 } %181, 1
store i64 %182, i64* %24
store i64 %183, i64* %23
%184 = load i64, i64* %10
%185 = load i64, i64* %23
%186 = load i64, i64* %24
%187 = call { i64, i64 } asm "addq $2,$0; adcq $3,$1", "=r,={dx},{ax},imr,0,1,~{cc},~{dirflag},~{fpsr},~{flags}"(i64 %186, i32 0, i64 %184, i64 %185)
%188 = extractvalue { i64, i64 } %187, 0
%189 = extractvalue { i64, i64 } %187, 1
store i64 %188, i64* %10
store i64 %189, i64* %23
%190 = load i64*, i64** %6
%191 = getelementptr inbounds i64, i64* %190, i64 2
%192 = load i64, i64* %23
%193 = load i64, i64* %10
%194 = call i64 asm "addq $2,$0; adcq $3,$1", "=*m,={dx},r,imr,*m,1,~{cc},~{dirflag},~{fpsr},~{flags}"(i64* elementtype(i64) %191, i64 %193, i32 0, i64* elementtype(i64) %191, i64 %192)
store i64 %194, i64* %23
%195 = load i64, i64* %23
store i64 %195, i64* %10
br label %196
196: ; preds = %177
%197 = load i64, i64* %10
store i64 %197, i64* %5
br label %200
198: ; preds = %121
%199 = load i64, i64* %10
store i64 %199, i64* %5
br label %200
200: ; preds = %198, %196, %174, %148, %27
%201 = load i64, i64* %5
ret i64 %201
}

LLVM IR (-O2):
define i64 @bn_mul_add_words(i64* %0, i64* %1, i32 %2, i64 %3) {
%5 = icmp slt i32 %2, 1
br i1 %5, label %87, label %6
6: ; preds = %4
%7 = icmp ult i32 %2, 4
br i1 %7, label %53, label %8
8: ; preds = %6, %8
%9 = phi i64* [ %48, %8 ], [ %0, %6 ]
%10 = phi i64* [ %47, %8 ], [ %1, %6 ]
%11 = phi i32 [ %49, %8 ], [ %2, %6 ]
%12 = phi i64 [ %46, %8 ], [ 0, %6 ]
%13 = tail call { i64, i64 } asm "mulq $3", "={ax},={dx},{ax},*m,~{cc},~{dirflag},~{fpsr},~{flags}"(i64 %3, i64* elementtype(i64) %10)
%14 = extractvalue { i64, i64 } %13, 0
%15 = extractvalue { i64, i64 } %13, 1
%16 = tail call { i64, i64 } asm "addq $2,$0; adcq $3,$1", "=r,={dx},{ax},imr,0,1,~{cc},~{dirflag},~{fpsr},~{flags}"(i64 %14, i32 0, i64 %12, i64 %15)
%17 = extractvalue { i64, i64 } %16, 0
%18 = extractvalue { i64, i64 } %16, 1
%19 = tail call i64 asm "addq $2,$0; adcq $3,$1", "=*m,={dx},r,imr,*m,1,~{cc},~{dirflag},~{fpsr},~{flags}"(i64* elementtype(i64) %9, i64 %17, i32 0, i64* elementtype(i64) %9, i64 %18)
%20 = getelementptr inbounds i64, i64* %10, i64 1
%21 = tail call { i64, i64 } asm "mulq $3", "={ax},={dx},{ax},*m,~{cc},~{dirflag},~{fpsr},~{flags}"(i64 %3, i64* elementtype(i64) %20)
%22 = extractvalue { i64, i64 } %21, 0
%23 = extractvalue { i64, i64 } %21, 1
%24 = tail call { i64, i64 } asm "addq $2,$0; adcq $3,$1", "=r,={dx},{ax},imr,0,1,~{cc},~{dirflag},~{fpsr},~{flags}"(i64 %22, i32 0, i64 %19, i64 %23)
%25 = extractvalue { i64, i64 } %24, 0
%26 = extractvalue { i64, i64 } %24, 1
%27 = getelementptr inbounds i64, i64* %9, i64 1
%28 = tail call i64 asm "addq $2,$0; adcq $3,$1", "=*m,={dx},r,imr,*m,1,~{cc},~{dirflag},~{fpsr},~{flags}"(i64* elementtype(i64) %27, i64 %25, i32 0, i64* elementtype(i64) %27, i64 %26)
%29 = getelementptr inbounds i64, i64* %10, i64 2
%30 = tail call { i64, i64 } asm "mulq $3", "={ax},={dx},{ax},*m,~{cc},~{dirflag},~{fpsr},~{flags}"(i64 %3, i64* elementtype(i64) %29)
%31 = extractvalue { i64, i64 } %30, 0
%32 = extractvalue { i64, i64 } %30, 1
%33 = tail call { i64, i64 } asm "addq $2,$0; adcq $3,$1", "=r,={dx},{ax},imr,0,1,~{cc},~{dirflag},~{fpsr},~{flags}"(i64 %31, i32 0, i64 %28, i64 %32)
%34 = extractvalue { i64, i64 } %33, 0
%35 = extractvalue { i64, i64 } %33, 1
%36 = getelementptr inbounds i64, i64* %9, i64 2
%37 = tail call i64 asm "addq $2,$0; adcq $3,$1", "=*m,={dx},r,imr,*m,1,~{cc},~{dirflag},~{fpsr},~{flags}"(i64* elementtype(i64) %36, i64 %34, i32 0, i64* elementtype(i64) %36, i64 %35)
%38 = getelementptr inbounds i64, i64* %10, i64 3
%39 = tail call { i64, i64 } asm "mulq $3", "={ax},={dx},{ax},*m,~{cc},~{dirflag},~{fpsr},~{flags}"(i64 %3, i64* elementtype(i64) %38)
%40 = extractvalue { i64, i64 } %39, 0
%41 = extractvalue { i64, i64 } %39, 1
%42 = tail call { i64, i64 } asm "addq $2,$0; adcq $3,$1", "=r,={dx},{ax},imr,0,1,~{cc},~{dirflag},~{fpsr},~{flags}"(i64 %40, i32 0, i64 %37, i64 %41)
%43 = extractvalue { i64, i64 } %42, 0
%44 = extractvalue { i64, i64 } %42, 1
%45 = getelementptr inbounds i64, i64* %9, i64 3
%46 = tail call i64 asm "addq $2,$0; adcq $3,$1", "=*m,={dx},r,imr,*m,1,~{cc},~{dirflag},~{fpsr},~{flags}"(i64* elementtype(i64) %45, i64 %43, i32 0, i64* elementtype(i64) %45, i64 %44)
%47 = getelementptr inbounds i64, i64* %10, i64 4
%48 = getelementptr inbounds i64, i64* %9, i64 4
%49 = add nsw i32 %11, -4
%50 = icmp ult i32 %49, 4
br i1 %50, label %51, label %8
51: ; preds = %8
%52 = icmp eq i32 %49, 0
br i1 %52, label %87, label %53
53: ; preds = %6, %51
%54 = phi i64* [ %48, %51 ], [ %0, %6 ]
%55 = phi i64* [ %47, %51 ], [ %1, %6 ]
%56 = phi i32 [ %49, %51 ], [ %2, %6 ]
%57 = phi i64 [ %46, %51 ], [ 0, %6 ]
%58 = tail call { i64, i64 } asm "mulq $3", "={ax},={dx},{ax},*m,~{cc},~{dirflag},~{fpsr},~{flags}"(i64 %3, i64* elementtype(i64) %55)
%59 = extractvalue { i64, i64 } %58, 0
%60 = extractvalue { i64, i64 } %58, 1
%61 = tail call { i64, i64 } asm "addq $2,$0; adcq $3,$1", "=r,={dx},{ax},imr,0,1,~{cc},~{dirflag},~{fpsr},~{flags}"(i64 %59, i32 0, i64 %57, i64 %60)
%62 = extractvalue { i64, i64 } %61, 0
%63 = extractvalue { i64, i64 } %61, 1
%64 = tail call i64 asm "addq $2,$0; adcq $3,$1", "=*m,={dx},r,imr,*m,1,~{cc},~{dirflag},~{fpsr},~{flags}"(i64* elementtype(i64) %54, i64 %62, i32 0, i64* elementtype(i64) %54, i64 %63)
%65 = icmp eq i32 %56, 1
br i1 %65, label %87, label %66
66: ; preds = %53
%67 = getelementptr inbounds i64, i64* %55, i64 1
%68 = tail call { i64, i64 } asm "mulq $3", "={ax},={dx},{ax},*m,~{cc},~{dirflag},~{fpsr},~{flags}"(i64 %3, i64* elementtype(i64) %67)
%69 = extractvalue { i64, i64 } %68, 0
%70 = extractvalue { i64, i64 } %68, 1
%71 = tail call { i64, i64 } asm "addq $2,$0; adcq $3,$1", "=r,={dx},{ax},imr,0,1,~{cc},~{dirflag},~{fpsr},~{flags}"(i64 %69, i32 0, i64 %64, i64 %70)
%72 = extractvalue { i64, i64 } %71, 0
%73 = extractvalue { i64, i64 } %71, 1
%74 = getelementptr inbounds i64, i64* %54, i64 1
%75 = tail call i64 asm "addq $2,$0; adcq $3,$1", "=*m,={dx},r,imr,*m,1,~{cc},~{dirflag},~{fpsr},~{flags}"(i64* elementtype(i64) %74, i64 %72, i32 0, i64* elementtype(i64) %74, i64 %73)
%76 = icmp eq i32 %56, 2
br i1 %76, label %87, label %77
77: ; preds = %66
%78 = getelementptr inbounds i64, i64* %55, i64 2
%79 = tail call { i64, i64 } asm "mulq $3", "={ax},={dx},{ax},*m,~{cc},~{dirflag},~{fpsr},~{flags}"(i64 %3, i64* elementtype(i64) %78)
%80 = extractvalue { i64, i64 } %79, 0
%81 = extractvalue { i64, i64 } %79, 1
%82 = tail call { i64, i64 } asm "addq $2,$0; adcq $3,$1", "=r,={dx},{ax},imr,0,1,~{cc},~{dirflag},~{fpsr},~{flags}"(i64 %80, i32 0, i64 %75, i64 %81)
%83 = extractvalue { i64, i64 } %82, 0
%84 = extractvalue { i64, i64 } %82, 1
%85 = getelementptr inbounds i64, i64* %54, i64 2
%86 = tail call i64 asm "addq $2,$0; adcq $3,$1", "=*m,={dx},r,imr,*m,1,~{cc},~{dirflag},~{fpsr},~{flags}"(i64* elementtype(i64) %85, i64 %83, i32 0, i64* elementtype(i64) %85, i64 %84)
br label %87
87: ; preds = %51, %66, %53, %4, %77
%88 = phi i64 [ %86, %77 ], [ 0, %4 ], [ %64, %53 ], [ %75, %66 ], [ %46, %51 ]
ret i64 %88
}