unsigned long nibble_sort_word(unsigned long arg) {
  int i, index;
  unsigned long rv = 0;
  unsigned char *bytes = (unsigned char *)&arg;
  int nibbles[16] = {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0};
  for (i = 7; i >= 0; i--) {
    unsigned char top = bytes[i] >> 4;
    unsigned char bot = bytes[i] & 0xF;
    ++nibbles[top];
    ++nibbles[bot];
  }
  for (i = 15, index = 60; i > 0 && index >= 0; i--) {
    while (nibbles[i]) {
      --nibbles[i];
      rv += ((unsigned long)i << index);
      index -= 4;
    }
  }
  return rv;
}


x86 assembly (clang, -O0):
<nibble_sort_word>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
mov    %rdi,-0x8(%rbp)
movq   $0x0,-0x18(%rbp)
lea    -0x8(%rbp),%rax
mov    %rax,-0x20(%rbp)
lea    -0x60(%rbp),%rdi
xor    %esi,%esi
mov    $0x40,%edx
call   1030 <memset@plt>
movl   $0x7,-0xc(%rbp)
cmpl   $0x0,-0xc(%rbp)
jl     119d <nibble_sort_word+0x8d>
mov    -0x20(%rbp),%rax
movslq -0xc(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
sar    $0x4,%eax
mov    %al,-0x61(%rbp)
mov    -0x20(%rbp),%rax
movslq -0xc(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
and    $0xf,%eax
mov    %al,-0x62(%rbp)
movzbl -0x61(%rbp),%eax
mov    -0x60(%rbp,%rax,4),%ecx
add    $0x1,%ecx
mov    %ecx,-0x60(%rbp,%rax,4)
movzbl -0x62(%rbp),%eax
mov    -0x60(%rbp,%rax,4),%ecx
add    $0x1,%ecx
mov    %ecx,-0x60(%rbp,%rax,4)
mov    -0xc(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0xc(%rbp)
jmp    1143 <nibble_sort_word+0x33>
movl   $0xf,-0xc(%rbp)
movl   $0x3c,-0x10(%rbp)
xor    %eax,%eax
cmpl   $0x0,-0xc(%rbp)
mov    %al,-0x63(%rbp)
jle    11c4 <nibble_sort_word+0xb4>
cmpl   $0x0,-0x10(%rbp)
setge  %al
mov    %al,-0x63(%rbp)
mov    -0x63(%rbp),%al
test   $0x1,%al
jne    11d4 <nibble_sort_word+0xc4>
jmp    122a <nibble_sort_word+0x11a>
jmp    11d9 <nibble_sort_word+0xc9>
movslq -0xc(%rbp),%rax
cmpl   $0x0,-0x60(%rbp,%rax,4)
je     1217 <nibble_sort_word+0x107>
movslq -0xc(%rbp),%rax
mov    -0x60(%rbp,%rax,4),%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x60(%rbp,%rax,4)
movslq -0xc(%rbp),%rax
mov    -0x10(%rbp),%ecx
shl    %cl,%rax
add    -0x18(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x10(%rbp),%eax
sub    $0x4,%eax
mov    %eax,-0x10(%rbp)
jmp    11d9 <nibble_sort_word+0xc9>
jmp    121c <nibble_sort_word+0x10c>
mov    -0xc(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0xc(%rbp)
jmp    11ab <nibble_sort_word+0x9b>
mov    -0x18(%rbp),%rax
add    $0x70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<nibble_sort_word>:
pxor   %xmm0,%xmm0
movdqa %xmm0,-0x18(%rsp)
movdqa %xmm0,-0x28(%rsp)
movdqa %xmm0,-0x38(%rsp)
movdqa %xmm0,-0x48(%rsp)
mov    %rdi,%rax
shr    $0x3c,%rax
addl   $0x1,-0x48(%rsp,%rax,4)
mov    %rdi,%rax
shr    $0x36,%rax
and    $0x3c,%eax
addl   $0x1,-0x48(%rsp,%rax,1)
mov    %rdi,%rax
shr    $0x32,%rax
and    $0x3c,%eax
addl   $0x1,-0x48(%rsp,%rax,1)
mov    %rdi,%rax
shr    $0x2e,%rax
and    $0x3c,%eax
addl   $0x1,-0x48(%rsp,%rax,1)
mov    %rdi,%rax
shr    $0x2a,%rax
and    $0x3c,%eax
addl   $0x1,-0x48(%rsp,%rax,1)
mov    %rdi,%rax
shr    $0x26,%rax
and    $0x3c,%eax
addl   $0x1,-0x48(%rsp,%rax,1)
mov    %rdi,%rax
shr    $0x22,%rax
and    $0x3c,%eax
addl   $0x1,-0x48(%rsp,%rax,1)
mov    %rdi,%rax
shr    $0x1e,%rax
and    $0x3c,%eax
addl   $0x1,-0x48(%rsp,%rax,1)
mov    %rdi,%rax
shr    $0x1a,%rax
and    $0x3c,%eax
addl   $0x1,-0x48(%rsp,%rax,1)
mov    %rdi,%rax
shr    $0x16,%rax
and    $0x3c,%eax
addl   $0x1,-0x48(%rsp,%rax,1)
mov    %rdi,%rax
shr    $0x12,%rax
and    $0x3c,%eax
addl   $0x1,-0x48(%rsp,%rax,1)
mov    %rdi,%rax
shr    $0xe,%rax
and    $0x3c,%eax
addl   $0x1,-0x48(%rsp,%rax,1)
mov    %rdi,%rax
shr    $0xa,%rax
and    $0x3c,%eax
addl   $0x1,-0x48(%rsp,%rax,1)
mov    %rdi,%rax
shr    $0x6,%rax
and    $0x3c,%eax
addl   $0x1,-0x48(%rsp,%rax,1)
mov    %edi,%eax
shr    $0x2,%rdi
and    $0x3c,%edi
addl   $0x1,-0x48(%rsp,%rdi,1)
and    $0xf,%eax
addl   $0x1,-0x48(%rsp,%rax,4)
mov    $0x3c,%r10d
mov    $0xf,%edx
xor    %eax,%eax
movdqa 0xde9(%rip),%xmm8
movdqa 0xdf0(%rip),%xmm12
movdqa 0xdf7(%rip),%xmm9
movdqa 0xdfe(%rip),%xmm10
movdqa 0xe05(%rip),%xmm11
nopl   0x0(%rax,%rax,1)
mov    -0x48(%rsp,%rdx,4),%edi
test   %edi,%edi
je     1424 <nibble_sort_word+0x324>
lea    0x0(,%rdi,4),%r8d
neg    %r8d
cmp    $0x4,%edi
jae    1270 <nibble_sort_word+0x170>
mov    %r10d,%ecx
jmp    1410 <nibble_sort_word+0x310>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    %edi,%r9d
and    $0xfffffffc,%r9d
movd   %r10d,%xmm0
pshufd $0x50,%xmm0,%xmm3
paddd  %xmm8,%xmm3
movq   %rax,%xmm6
movq   %rdx,%xmm0
pshufd $0x44,%xmm0,%xmm13
lea    -0x4(%r9),%ecx
mov    %ecx,%eax
shr    $0x2,%eax
add    $0x1,%eax
test   %ecx,%ecx
je     1441 <nibble_sort_word+0x341>
mov    %eax,%ecx
and    $0xfffffffe,%ecx
pxor   %xmm5,%xmm5
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movdqa %xmm3,%xmm7
paddd  %xmm12,%xmm7
pxor   %xmm0,%xmm0
movss  %xmm3,%xmm0
movdqa %xmm13,%xmm2
psllq  %xmm0,%xmm2
xorps  %xmm1,%xmm1
movdqa %xmm3,%xmm4
psrlq  $0x20,%xmm4
movdqa %xmm13,%xmm0
psllq  %xmm4,%xmm0
movss  %xmm7,%xmm1
movsd  %xmm2,%xmm0
movdqa %xmm13,%xmm4
psllq  %xmm1,%xmm4
paddq  %xmm6,%xmm0
psrlq  $0x20,%xmm7
movdqa %xmm13,%xmm2
psllq  %xmm7,%xmm2
movsd  %xmm4,%xmm2
paddq  %xmm5,%xmm2
movdqa %xmm3,%xmm1
paddd  %xmm9,%xmm1
movdqa %xmm3,%xmm4
paddd  %xmm10,%xmm4
pxor   %xmm5,%xmm5
movss  %xmm1,%xmm5
movdqa %xmm13,%xmm7
psllq  %xmm5,%xmm7
xorps  %xmm5,%xmm5
psrlq  $0x20,%xmm1
movdqa %xmm13,%xmm6
psllq  %xmm1,%xmm6
movss  %xmm4,%xmm5
movsd  %xmm7,%xmm6
movdqa %xmm13,%xmm1
psllq  %xmm5,%xmm1
paddq  %xmm0,%xmm6
psrlq  $0x20,%xmm4
movdqa %xmm13,%xmm5
psllq  %xmm4,%xmm5
movsd  %xmm1,%xmm5
paddq  %xmm2,%xmm5
paddd  %xmm11,%xmm3
add    $0xfffffffe,%ecx
jne    12c0 <nibble_sort_word+0x1c0>
test   $0x1,%al
je     13e0 <nibble_sort_word+0x2e0>
movdqa %xmm3,%xmm0
paddd  %xmm12,%xmm0
xorpd  %xmm1,%xmm1
movss  %xmm3,%xmm1
pxor   %xmm2,%xmm2
movss  %xmm0,%xmm2
movdqa %xmm13,%xmm4
psllq  %xmm1,%xmm4
psrlq  $0x20,%xmm3
movdqa %xmm13,%xmm1
psllq  %xmm3,%xmm1
movsd  %xmm4,%xmm1
paddq  %xmm1,%xmm6
movdqa %xmm13,%xmm1
psllq  %xmm2,%xmm1
psrlq  $0x20,%xmm0
psllq  %xmm0,%xmm13
movsd  %xmm1,%xmm13
paddq  %xmm13,%xmm5
paddq  %xmm5,%xmm6
pshufd $0xee,%xmm6,%xmm0
paddq  %xmm6,%xmm0
movq   %xmm0,%rax
cmp    %r9d,%edi
je     1421 <nibble_sort_word+0x321>
shl    $0x2,%r9d
mov    %r10d,%ecx
sub    %r9d,%ecx
and    $0x3,%edi
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    %rdx,%rsi
shl    %cl,%rsi
add    %rsi,%rax
add    $0xfffffffc,%ecx
add    $0xffffffff,%edi
jne    1410 <nibble_sort_word+0x310>
add    %r8d,%r10d
movl   $0x0,-0x48(%rsp,%rdx,4)
cmp    $0x2,%rdx
jb     144f <nibble_sort_word+0x34f>
add    $0xffffffffffffffff,%rdx
test   %r10d,%r10d
jns    1240 <nibble_sort_word+0x140>
jmp    144f <nibble_sort_word+0x34f>
pxor   %xmm5,%xmm5
test   $0x1,%al
jne    138b <nibble_sort_word+0x28b>
jmp    13e0 <nibble_sort_word+0x2e0>
ret

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

LLVM IR (-O2):
define i64 @nibble_sort_word(i64 %0) {
%2 = alloca [16 x i32]
%3 = lshr i64 %0, 8
%4 = lshr i64 %0, 16
%5 = lshr i64 %0, 24
%6 = lshr i64 %0, 32
%7 = lshr i64 %0, 40
%8 = lshr i64 %0, 48
%9 = lshr i64 %0, 56
%10 = bitcast [16 x i32]* %2 to i8*
%11 = lshr i64 %0, 60
%12 = and i64 %9, 15
%13 = getelementptr inbounds [16 x i32], [16 x i32]* %2, i64 0, i64 %11
%14 = load i32, i32* %13
%15 = add nsw i32 %14, 1
store i32 %15, i32* %13
%16 = getelementptr inbounds [16 x i32], [16 x i32]* %2, i64 0, i64 %12
%17 = load i32, i32* %16
%18 = add nsw i32 %17, 1
store i32 %18, i32* %16
%19 = lshr i64 %0, 52
%20 = and i64 %8, 15
%21 = and i64 %19, 15
%22 = getelementptr inbounds [16 x i32], [16 x i32]* %2, i64 0, i64 %21
%23 = load i32, i32* %22
%24 = add nsw i32 %23, 1
store i32 %24, i32* %22
%25 = getelementptr inbounds [16 x i32], [16 x i32]* %2, i64 0, i64 %20
%26 = load i32, i32* %25
%27 = add nsw i32 %26, 1
store i32 %27, i32* %25
%28 = lshr i64 %0, 44
%29 = and i64 %7, 15
%30 = and i64 %28, 15
%31 = getelementptr inbounds [16 x i32], [16 x i32]* %2, i64 0, i64 %30
%32 = load i32, i32* %31
%33 = add nsw i32 %32, 1
store i32 %33, i32* %31
%34 = getelementptr inbounds [16 x i32], [16 x i32]* %2, i64 0, i64 %29
%35 = load i32, i32* %34
%36 = add nsw i32 %35, 1
store i32 %36, i32* %34
%37 = lshr i64 %0, 36
%38 = and i64 %6, 15
%39 = and i64 %37, 15
%40 = getelementptr inbounds [16 x i32], [16 x i32]* %2, i64 0, i64 %39
%41 = load i32, i32* %40
%42 = add nsw i32 %41, 1
store i32 %42, i32* %40
%43 = getelementptr inbounds [16 x i32], [16 x i32]* %2, i64 0, i64 %38
%44 = load i32, i32* %43
%45 = add nsw i32 %44, 1
store i32 %45, i32* %43
%46 = lshr i64 %0, 28
%47 = and i64 %5, 15
%48 = and i64 %46, 15
%49 = getelementptr inbounds [16 x i32], [16 x i32]* %2, i64 0, i64 %48
%50 = load i32, i32* %49
%51 = add nsw i32 %50, 1
store i32 %51, i32* %49
%52 = getelementptr inbounds [16 x i32], [16 x i32]* %2, i64 0, i64 %47
%53 = load i32, i32* %52
%54 = add nsw i32 %53, 1
store i32 %54, i32* %52
%55 = lshr i64 %0, 20
%56 = and i64 %4, 15
%57 = and i64 %55, 15
%58 = getelementptr inbounds [16 x i32], [16 x i32]* %2, i64 0, i64 %57
%59 = load i32, i32* %58
%60 = add nsw i32 %59, 1
store i32 %60, i32* %58
%61 = getelementptr inbounds [16 x i32], [16 x i32]* %2, i64 0, i64 %56
%62 = load i32, i32* %61
%63 = add nsw i32 %62, 1
store i32 %63, i32* %61
%64 = lshr i64 %0, 12
%65 = and i64 %3, 15
%66 = and i64 %64, 15
%67 = getelementptr inbounds [16 x i32], [16 x i32]* %2, i64 0, i64 %66
%68 = load i32, i32* %67
%69 = add nsw i32 %68, 1
store i32 %69, i32* %67
%70 = getelementptr inbounds [16 x i32], [16 x i32]* %2, i64 0, i64 %65
%71 = load i32, i32* %70
%72 = add nsw i32 %71, 1
store i32 %72, i32* %70
%73 = lshr i64 %0, 4
%74 = and i64 %0, 15
%75 = and i64 %73, 15
%76 = getelementptr inbounds [16 x i32], [16 x i32]* %2, i64 0, i64 %75
%77 = load i32, i32* %76
%78 = add nsw i32 %77, 1
store i32 %78, i32* %76
%79 = getelementptr inbounds [16 x i32], [16 x i32]* %2, i64 0, i64 %74
%80 = load i32, i32* %79
%81 = add nsw i32 %80, 1
store i32 %81, i32* %79
br label %82
82: ; preds = %1, %173
%83 = phi i64 [ 15, %1 ], [ %176, %173 ]
%84 = phi i32 [ 60, %1 ], [ %175, %173 ]
%85 = phi i64 [ 0, %1 ], [ %174, %173 ]
%86 = getelementptr inbounds [16 x i32], [16 x i32]* %2, i64 0, i64 %83
%87 = load i32, i32* %86
%88 = icmp eq i32 %87, 0
br i1 %88, label %173, label %89
89: ; preds = %82
%90 = mul i32 %87, -4
%91 = icmp ult i32 %87, 4
br i1 %91, label %156, label %92
92: ; preds = %89
%93 = and i32 %87, -4
%94 = mul i32 %93, -4
%95 = add i32 %84, %94
%96 = and i32 %87, 3
%97 = insertelement <2 x i32> poison, i32 %84, i64 0
%98 = shufflevector <2 x i32> %97, <2 x i32> poison, <2 x i32> zeroinitializer
%99 = add <2 x i32> %98, <i32 0, i32 -4>
%100 = insertelement <2 x i64> <i64 poison, i64 0>, i64 %85, i64 0
%101 = insertelement <2 x i64> poison, i64 %83, i64 0
%102 = shufflevector <2 x i64> %101, <2 x i64> poison, <2 x i32> zeroinitializer
%103 = insertelement <2 x i64> poison, i64 %83, i64 0
%104 = shufflevector <2 x i64> %103, <2 x i64> poison, <2 x i32> zeroinitializer
%105 = add i32 %93, -4
%106 = lshr exact i32 %105, 2
%107 = add nuw nsw i32 %106, 1
%108 = and i32 %107, 1
%109 = icmp eq i32 %105, 0
br i1 %109, label %135, label %110
110: ; preds = %92
%111 = and i32 %107, 2147483646
br label %112
112: ; preds = %112, %110
%113 = phi <2 x i32> [ %99, %110 ], [ %132, %112 ]
%114 = phi <2 x i64> [ %100, %110 ], [ %130, %112 ]
%115 = phi <2 x i64> [ zeroinitializer, %110 ], [ %131, %112 ]
%116 = phi i32 [ 0, %110 ], [ %133, %112 ]
%117 = add <2 x i32> %113, <i32 -8, i32 -8>
%118 = zext <2 x i32> %113 to <2 x i64>
%119 = zext <2 x i32> %117 to <2 x i64>
%120 = shl <2 x i64> %102, %118
%121 = shl <2 x i64> %104, %119
%122 = add <2 x i64> %120, %114
%123 = add <2 x i64> %121, %115
%124 = add <2 x i32> %113, <i32 -16, i32 -16>
%125 = add <2 x i32> %113, <i32 -24, i32 -24>
%126 = zext <2 x i32> %124 to <2 x i64>
%127 = zext <2 x i32> %125 to <2 x i64>
%128 = shl <2 x i64> %102, %126
%129 = shl <2 x i64> %104, %127
%130 = add <2 x i64> %128, %122
%131 = add <2 x i64> %129, %123
%132 = add <2 x i32> %113, <i32 -32, i32 -32>
%133 = add i32 %116, 2
%134 = icmp eq i32 %133, %111
br i1 %134, label %135, label %112
135: ; preds = %112, %92
%136 = phi <2 x i64> [ undef, %92 ], [ %130, %112 ]
%137 = phi <2 x i64> [ undef, %92 ], [ %131, %112 ]
%138 = phi <2 x i32> [ %99, %92 ], [ %132, %112 ]
%139 = phi <2 x i64> [ %100, %92 ], [ %130, %112 ]
%140 = phi <2 x i64> [ zeroinitializer, %92 ], [ %131, %112 ]
%141 = icmp eq i32 %108, 0
br i1 %141, label %150, label %142
142: ; preds = %135
%143 = add <2 x i32> %138, <i32 -8, i32 -8>
%144 = zext <2 x i32> %138 to <2 x i64>
%145 = zext <2 x i32> %143 to <2 x i64>
%146 = shl <2 x i64> %102, %144
%147 = shl <2 x i64> %104, %145
%148 = add <2 x i64> %146, %139
%149 = add <2 x i64> %147, %140
br label %150
150: ; preds = %135, %142
%151 = phi <2 x i64> [ %136, %135 ], [ %148, %142 ]
%152 = phi <2 x i64> [ %137, %135 ], [ %149, %142 ]
%153 = add <2 x i64> %152, %151
%154 = call i64 @llvm.vector.reduce.add.v2i64(<2 x i64> %153)
%155 = icmp eq i32 %87, %93
br i1 %155, label %170, label %156
156: ; preds = %89, %150
%157 = phi i32 [ %84, %89 ], [ %95, %150 ]
%158 = phi i64 [ %85, %89 ], [ %154, %150 ]
%159 = phi i32 [ %87, %89 ], [ %96, %150 ]
br label %160
160: ; preds = %156, %160
%161 = phi i32 [ %168, %160 ], [ %157, %156 ]
%162 = phi i64 [ %167, %160 ], [ %158, %156 ]
%163 = phi i32 [ %164, %160 ], [ %159, %156 ]
%164 = add nsw i32 %163, -1
%165 = zext i32 %161 to i64
%166 = shl i64 %83, %165
%167 = add i64 %166, %162
%168 = add nsw i32 %161, -4
%169 = icmp eq i32 %164, 0
br i1 %169, label %170, label %160
170: ; preds = %160, %150
%171 = phi i64 [ %154, %150 ], [ %167, %160 ]
%172 = add i32 %90, %84
br label %173
173: ; preds = %170, %82
%174 = phi i64 [ %85, %82 ], [ %171, %170 ]
%175 = phi i32 [ %84, %82 ], [ %172, %170 ]
store i32 0, i32* %86
%176 = add nsw i64 %83, -1
%177 = icmp ugt i64 %83, 1
%178 = icmp sgt i32 %175, -1
%179 = select i1 %177, i1 %178, i1 false
br i1 %179, label %82, label %180
180: ; preds = %173
ret i64 %174
}