unsigned long bn_add_words(unsigned long *r, unsigned long *a, unsigned long *b,
                           int n) {
  unsigned long c, l, t;
  ;
  if (n <= 0)
    return ((unsigned long)0);
  c = 0;
  for (;;) {
    t = a[0];
    t = (t + c) & (0xffffffffL);
    c = (t < c);
    l = (t + b[0]) & (0xffffffffL);
    c += (l < t);
    r[0] = l;
    if (--n <= 0)
      break;
    t = a[1];
    t = (t + c) & (0xffffffffL);
    c = (t < c);
    l = (t + b[1]) & (0xffffffffL);
    c += (l < t);
    r[1] = l;
    if (--n <= 0)
      break;
    t = a[2];
    t = (t + c) & (0xffffffffL);
    c = (t < c);
    l = (t + b[2]) & (0xffffffffL);
    c += (l < t);
    r[2] = l;
    if (--n <= 0)
      break;
    t = a[3];
    t = (t + c) & (0xffffffffL);
    c = (t < c);
    l = (t + b[3]) & (0xffffffffL);
    c += (l < t);
    r[3] = l;
    if (--n <= 0)
      break;
    a += 4;
    b += 4;
    r += 4;
  }
  return ((unsigned long)c);
}


x86 assembly (clang, -O0):
<bn_add_words>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %ecx,-0x24(%rbp)
cmpl   $0x0,-0x24(%rbp)
jg     112a <bn_add_words+0x2a>
movq   $0x0,-0x8(%rbp)
jmp    13b4 <bn_add_words+0x2b4>
movq   $0x0,-0x30(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rax
add    -0x30(%rbp),%rax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rax
cmp    -0x30(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%eax
cltq
mov    %rax,-0x30(%rbp)
mov    -0x40(%rbp),%rax
mov    -0x20(%rbp),%rcx
add    (%rcx),%rax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rax
cmp    -0x40(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%eax
cltq
add    -0x30(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x38(%rbp),%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x24(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x24(%rbp)
cmp    $0x0,%eax
jg     11c4 <bn_add_words+0xc4>
jmp    13ac <bn_add_words+0x2ac>
mov    -0x18(%rbp),%rax
mov    0x8(%rax),%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rax
add    -0x30(%rbp),%rax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rax
cmp    -0x30(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%eax
cltq
mov    %rax,-0x30(%rbp)
mov    -0x40(%rbp),%rax
mov    -0x20(%rbp),%rcx
add    0x8(%rcx),%rax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rax
cmp    -0x40(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%eax
cltq
add    -0x30(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x38(%rbp),%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,0x8(%rax)
mov    -0x24(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x24(%rbp)
cmp    $0x0,%eax
jg     1259 <bn_add_words+0x159>
jmp    13ac <bn_add_words+0x2ac>
mov    -0x18(%rbp),%rax
mov    0x10(%rax),%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rax
add    -0x30(%rbp),%rax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rax
cmp    -0x30(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%eax
cltq
mov    %rax,-0x30(%rbp)
mov    -0x40(%rbp),%rax
mov    -0x20(%rbp),%rcx
add    0x10(%rcx),%rax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rax
cmp    -0x40(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%eax
cltq
add    -0x30(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x38(%rbp),%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,0x10(%rax)
mov    -0x24(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x24(%rbp)
cmp    $0x0,%eax
jg     12ee <bn_add_words+0x1ee>
jmp    13ac <bn_add_words+0x2ac>
mov    -0x18(%rbp),%rax
mov    0x18(%rax),%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rax
add    -0x30(%rbp),%rax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rax
cmp    -0x30(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%eax
cltq
mov    %rax,-0x30(%rbp)
mov    -0x40(%rbp),%rax
mov    -0x20(%rbp),%rcx
add    0x18(%rcx),%rax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rax
cmp    -0x40(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%eax
cltq
add    -0x30(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x38(%rbp),%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,0x18(%rax)
mov    -0x24(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x24(%rbp)
cmp    $0x0,%eax
jg     1383 <bn_add_words+0x283>
jmp    13ac <bn_add_words+0x2ac>
mov    -0x18(%rbp),%rax
add    $0x20,%rax
mov    %rax,-0x18(%rbp)
mov    -0x20(%rbp),%rax
add    $0x20,%rax
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
add    $0x20,%rax
mov    %rax,-0x10(%rbp)
jmp    1132 <bn_add_words+0x32>
mov    -0x30(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<bn_add_words>:
push   %r14
push   %rbx
test   %ecx,%ecx
jle    11f9 <bn_add_words+0xf9>
mov    (%rsi),%r8
mov    %r8d,%r9d
add    (%rdx),%r8d
xor    %eax,%eax
cmp    %r9,%r8
setb   %al
mov    %r8,(%rdi)
cmp    $0x1,%ecx
je     1200 <bn_add_words+0x100>
mov    %ecx,%r8d
lea    -0x2(%r8),%r9
add    $0xfffffffffffffffc,%r8
xor    %r10d,%r10d
cs nopw 0x0(%rax,%rax,1)
mov    0x8(%rsi,%r10,8),%rbx
add    %rax,%rbx
mov    %ebx,%r14d
add    0x8(%rdx,%r10,8),%ebx
xor    %r11d,%r11d
cmp    %r14,%rbx
setb   %r11b
cmp    %rax,%r14
adc    $0x0,%r11
mov    %rbx,0x8(%rdi,%r10,8)
cmp    %r10d,%r9d
je     11fd <bn_add_words+0xfd>
mov    0x10(%rsi,%r10,8),%rbx
add    %r11,%rbx
mov    %ebx,%r14d
add    0x10(%rdx,%r10,8),%ebx
xor    %eax,%eax
cmp    %r14,%rbx
setb   %al
cmp    %r11,%r14
adc    $0x0,%rax
mov    %rbx,0x10(%rdi,%r10,8)
sub    $0x4,%ecx
jb     1200 <bn_add_words+0x100>
mov    0x18(%rsi,%r10,8),%rbx
add    %rax,%rbx
mov    %ebx,%r14d
add    0x18(%rdx,%r10,8),%ebx
xor    %r11d,%r11d
cmp    %r14,%rbx
setb   %r11b
cmp    %rax,%r14
adc    $0x0,%r11
mov    %rbx,0x18(%rdi,%r10,8)
cmp    %r10d,%r8d
je     11fd <bn_add_words+0xfd>
mov    0x20(%rsi,%r10,8),%rbx
add    %r11,%rbx
mov    %ebx,%r14d
add    0x20(%rdx,%r10,8),%ebx
xor    %eax,%eax
cmp    %r14,%rbx
setb   %al
cmp    %r11,%r14
adc    $0x0,%rax
mov    %rbx,0x20(%rdi,%r10,8)
lea    0x4(%rcx),%ebx
add    $0x4,%r10
cmp    $0x5,%ebx
ja     1140 <bn_add_words+0x40>
jmp    1200 <bn_add_words+0x100>
xor    %eax,%eax
jmp    1200 <bn_add_words+0x100>
mov    %r11,%rax
pop    %rbx
pop    %r14
ret

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

LLVM IR (-O2):
define i64 @bn_add_words(i64* nocapture writeonly %0, i64* nocapture %1, i64* nocapture %2, i32 %3) {
%5 = icmp slt i32 %3, 1
br i1 %5, label %85, label %6
6: ; preds = %4
%7 = load i64, i64* %1
%8 = and i64 %7, 4294967295
%9 = load i64, i64* %2
%10 = add i64 %7, %9
%11 = and i64 %10, 4294967295
%12 = icmp ult i64 %11, %8
%13 = zext i1 %12 to i64
store i64 %11, i64* %0
%14 = icmp eq i32 %3, 1
br i1 %14, label %85, label %15
15: ; preds = %6, %68
%16 = phi i64 [ %83, %68 ], [ %13, %6 ]
%17 = phi i32 [ %69, %68 ], [ %3, %6 ]
%18 = phi i64* [ %71, %68 ], [ %2, %6 ]
%19 = phi i64* [ %70, %68 ], [ %1, %6 ]
%20 = phi i64* [ %72, %68 ], [ %0, %6 ]
%21 = getelementptr inbounds i64, i64* %19, i64 1
%22 = load i64, i64* %21
%23 = add i64 %22, %16
%24 = and i64 %23, 4294967295
%25 = icmp ult i64 %24, %16
%26 = zext i1 %25 to i64
%27 = getelementptr inbounds i64, i64* %18, i64 1
%28 = load i64, i64* %27
%29 = add i64 %23, %28
%30 = and i64 %29, 4294967295
%31 = icmp ult i64 %30, %24
%32 = zext i1 %31 to i64
%33 = add nuw nsw i64 %32, %26
%34 = getelementptr inbounds i64, i64* %20, i64 1
store i64 %30, i64* %34
%35 = icmp eq i32 %17, 2
br i1 %35, label %85, label %36
36: ; preds = %15
%37 = getelementptr inbounds i64, i64* %19, i64 2
%38 = load i64, i64* %37
%39 = add i64 %38, %33
%40 = and i64 %39, 4294967295
%41 = icmp ult i64 %40, %33
%42 = zext i1 %41 to i64
%43 = getelementptr inbounds i64, i64* %18, i64 2
%44 = load i64, i64* %43
%45 = add i64 %39, %44
%46 = and i64 %45, 4294967295
%47 = icmp ult i64 %46, %40
%48 = zext i1 %47 to i64
%49 = add nuw nsw i64 %48, %42
%50 = getelementptr inbounds i64, i64* %20, i64 2
store i64 %46, i64* %50
%51 = icmp ult i32 %17, 4
br i1 %51, label %85, label %52
52: ; preds = %36
%53 = getelementptr inbounds i64, i64* %19, i64 3
%54 = load i64, i64* %53
%55 = add i64 %54, %49
%56 = and i64 %55, 4294967295
%57 = icmp ult i64 %56, %49
%58 = zext i1 %57 to i64
%59 = getelementptr inbounds i64, i64* %18, i64 3
%60 = load i64, i64* %59
%61 = add i64 %55, %60
%62 = and i64 %61, 4294967295
%63 = icmp ult i64 %62, %56
%64 = zext i1 %63 to i64
%65 = add nuw nsw i64 %64, %58
%66 = getelementptr inbounds i64, i64* %20, i64 3
store i64 %62, i64* %66
%67 = icmp eq i32 %17, 4
br i1 %67, label %85, label %68
68: ; preds = %52
%69 = add nsw i32 %17, -4
%70 = getelementptr inbounds i64, i64* %19, i64 4
%71 = getelementptr inbounds i64, i64* %18, i64 4
%72 = getelementptr inbounds i64, i64* %20, i64 4
%73 = load i64, i64* %70
%74 = add i64 %73, %65
%75 = and i64 %74, 4294967295
%76 = icmp ult i64 %75, %65
%77 = zext i1 %76 to i64
%78 = load i64, i64* %71
%79 = add i64 %74, %78
%80 = and i64 %79, 4294967295
%81 = icmp ult i64 %80, %75
%82 = zext i1 %81 to i64
%83 = add nuw nsw i64 %82, %77
store i64 %80, i64* %72
%84 = icmp ult i32 %17, 6
br i1 %84, label %85, label %15
85: ; preds = %52, %36, %15, %68, %6, %4
%86 = phi i64 [ 0, %4 ], [ %13, %6 ], [ %65, %52 ], [ %49, %36 ], [ %33, %15 ], [ %83, %68 ]
ret i64 %86
}