void sm64_calc_checksums(unsigned char *buf, unsigned int cksum[]) {
  unsigned int t0, t1, t2, t3, t4, t5, t6, t7, t8, t9;
  unsigned int s0, s6;
  unsigned int a0, a1, a2, a3, at;
  unsigned int lo;
  unsigned int v0, v1;
  unsigned int ra;
  s6 = 0x3f;
  a0 = 0x1000;
  a1 = s6;
  at = 0x5d588b65;
  lo = a1 * at;
  ra = 0x100000;
  v1 = 0;
  t0 = 0;
  t1 = a0;
  t5 = 32;
  v0 = lo;
  v0++;
  a3 = v0;
  t2 = v0;
  t3 = v0;
  s0 = v0;
  a2 = v0;
  t4 = v0;
  do {
    v0 = (unsigned int)(((&buf[t1])[0] << 24) + ((&buf[t1])[1] << 16) +
                        ((&buf[t1])[2] << 8) + ((&buf[t1])[3]));
    v1 = a3 + v0;
    at = (v1 < a3);
    a1 = v1;
    if (at) {
      t2++;
    }
    v1 = v0 & 0x1F;
    t7 = t5 - v1;
    t8 = v0 >> t7;
    t6 = v0 << v1;
    a0 = t6 | t8;
    at = (a2 < v0);
    a3 = a1;
    t3 ^= v0;
    s0 += a0;
    if (at) {
      t9 = a3 ^ v0;
      a2 ^= t9;
    } else {
      a2 ^= a0;
    }
    t0 += 4;
    t7 = v0 ^ s0;
    t1 += 4;
    t4 += t7;
  } while (t0 != ra);
  t6 = a3 ^ t2;
  a3 = t6 ^ t3;
  t8 = s0 ^ a2;
  s0 = t8 ^ t4;
  cksum[0] = a3;
  cksum[1] = s0;
}


x86 assembly (clang, -O0):
<sm64_calc_checksums>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0x3f,-0x40(%rbp)
movl   $0x1000,-0x44(%rbp)
mov    -0x40(%rbp),%eax
mov    %eax,-0x48(%rbp)
movl   $0x5d588b65,-0x54(%rbp)
mov    -0x48(%rbp),%eax
imul   -0x54(%rbp),%eax
mov    %eax,-0x58(%rbp)
movl   $0x100000,-0x64(%rbp)
movl   $0x0,-0x60(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x44(%rbp),%eax
mov    %eax,-0x18(%rbp)
movl   $0x20,-0x28(%rbp)
mov    -0x58(%rbp),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x5c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x5c(%rbp)
mov    -0x5c(%rbp),%eax
mov    %eax,-0x50(%rbp)
mov    -0x5c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x5c(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x5c(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x5c(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x5c(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
movzbl (%rax,%rcx,1),%eax
shl    $0x18,%eax
mov    -0x8(%rbp),%rcx
mov    -0x18(%rbp),%edx
movzbl 0x1(%rcx,%rdx,1),%ecx
shl    $0x10,%ecx
add    %ecx,%eax
mov    -0x8(%rbp),%rcx
mov    -0x18(%rbp),%edx
movzbl 0x2(%rcx,%rdx,1),%ecx
shl    $0x8,%ecx
add    %ecx,%eax
mov    -0x8(%rbp),%rcx
mov    -0x18(%rbp),%edx
movzbl 0x3(%rcx,%rdx,1),%ecx
add    %ecx,%eax
mov    %eax,-0x5c(%rbp)
mov    -0x50(%rbp),%eax
add    -0x5c(%rbp),%eax
mov    %eax,-0x60(%rbp)
mov    -0x60(%rbp),%eax
cmp    -0x50(%rbp),%eax
setb   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x54(%rbp)
mov    -0x60(%rbp),%eax
mov    %eax,-0x48(%rbp)
cmpl   $0x0,-0x54(%rbp)
je     11fa <sm64_calc_checksums+0xfa>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x5c(%rbp),%eax
and    $0x1f,%eax
mov    %eax,-0x60(%rbp)
mov    -0x28(%rbp),%eax
sub    -0x60(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x5c(%rbp),%eax
mov    -0x30(%rbp),%ecx
shr    %cl,%eax
mov    %eax,-0x34(%rbp)
mov    -0x5c(%rbp),%eax
mov    -0x60(%rbp),%ecx
shl    %cl,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
or     -0x34(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x4c(%rbp),%eax
cmp    -0x5c(%rbp),%eax
setb   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x54(%rbp)
mov    -0x48(%rbp),%eax
mov    %eax,-0x50(%rbp)
mov    -0x5c(%rbp),%eax
xor    -0x20(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x44(%rbp),%eax
add    -0x3c(%rbp),%eax
mov    %eax,-0x3c(%rbp)
cmpl   $0x0,-0x54(%rbp)
je     1275 <sm64_calc_checksums+0x175>
mov    -0x50(%rbp),%eax
xor    -0x5c(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x38(%rbp),%eax
xor    -0x4c(%rbp),%eax
mov    %eax,-0x4c(%rbp)
jmp    127e <sm64_calc_checksums+0x17e>
mov    -0x44(%rbp),%eax
xor    -0x4c(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x14(%rbp),%eax
add    $0x4,%eax
mov    %eax,-0x14(%rbp)
mov    -0x5c(%rbp),%eax
xor    -0x3c(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x18(%rbp),%eax
add    $0x4,%eax
mov    %eax,-0x18(%rbp)
mov    -0x30(%rbp),%eax
add    -0x24(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x64(%rbp),%eax
jne    1186 <sm64_calc_checksums+0x86>
mov    -0x50(%rbp),%eax
xor    -0x1c(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
xor    -0x20(%rbp),%eax
mov    %eax,-0x50(%rbp)
mov    -0x3c(%rbp),%eax
xor    -0x4c(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
xor    -0x24(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x50(%rbp),%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x3c(%rbp),%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,0x4(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<sm64_calc_checksums>:
push   %rbp
push   %r14
push   %rbx
mov    $0xf8ca4ddc,%r8d
xor    %edx,%edx
mov    $0xf8ca4ddc,%r9d
mov    $0xf8ca4ddc,%r10d
mov    $0xf8ca4ddc,%r11d
mov    $0xf8ca4ddc,%eax
mov    $0xf8ca4ddc,%r14d
nopl   0x0(%rax)
movzbl 0x1000(%rdi,%rdx,1),%ecx
shl    $0x18,%ecx
movzbl 0x1001(%rdi,%rdx,1),%ebp
shl    $0x10,%ebp
or     %ecx,%ebp
movzbl 0x1002(%rdi,%rdx,1),%ebx
shl    $0x8,%ebx
or     %ebp,%ebx
movzbl 0x1003(%rdi,%rdx,1),%ecx
or     %ecx,%ebx
add    %ebx,%r14d
adc    $0x0,%r11d
mov    %ebx,%ebp
rol    %cl,%ebp
mov    %eax,%ecx
xor    %ebx,%r9d
add    %ebp,%r10d
mov    %r14d,%eax
xor    %ebx,%eax
cmp    %ebx,%ecx
cmovae %ebp,%eax
xor    %ecx,%eax
xor    %r10d,%ebx
add    %ebx,%r8d
add    $0x4,%rdx
cmp    $0x100000,%edx
jne    1130 <sm64_calc_checksums+0x30>
xor    %r14d,%r9d
xor    %r11d,%r9d
xor    %r10d,%eax
xor    %r8d,%eax
mov    %r9d,(%rsi)
mov    %eax,0x4(%rsi)
pop    %rbx
pop    %r14
pop    %rbp
ret

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

LLVM IR (-O2):
define void @sm64_calc_checksums(i8* nocapture %0, i32* nocapture writeonly %1) {
br label %3
3: ; preds = %3, %2
%4 = phi i64 [ %43, %3 ], [ 4096, %2 ]
%5 = phi i32 [ %44, %3 ], [ -120959524, %2 ]
%6 = phi i32 [ %36, %3 ], [ -120959524, %2 ]
%7 = phi i32 [ %37, %3 ], [ -120959524, %2 ]
%8 = phi i32 [ %33, %3 ], [ -120959524, %2 ]
%9 = phi i32 [ %40, %3 ], [ -120959524, %2 ]
%10 = phi i32 [ %30, %3 ], [ -120959524, %2 ]
%11 = phi i32 [ %41, %3 ], [ 0, %2 ]
%12 = getelementptr inbounds i8, i8* %0, i64 %4
%13 = load i8, i8* %12
%14 = zext i8 %13 to i32
%15 = shl nuw i32 %14, 24
%16 = getelementptr inbounds i8, i8* %12, i64 1
%17 = load i8, i8* %16
%18 = zext i8 %17 to i32
%19 = shl nuw nsw i32 %18, 16
%20 = or i32 %19, %15
%21 = getelementptr inbounds i8, i8* %12, i64 2
%22 = load i8, i8* %21
%23 = zext i8 %22 to i32
%24 = shl nuw nsw i32 %23, 8
%25 = or i32 %20, %24
%26 = getelementptr inbounds i8, i8* %12, i64 3
%27 = load i8, i8* %26
%28 = zext i8 %27 to i32
%29 = or i32 %25, %28
%30 = add i32 %29, %10
%31 = icmp ult i32 %30, %10
%32 = zext i1 %31 to i32
%33 = add i32 %8, %32
%34 = tail call i32 @llvm.fshl.i32(i32 %29, i32 %29, i32 %28)
%35 = icmp ult i32 %9, %29
%36 = xor i32 %29, %6
%37 = add i32 %34, %7
%38 = xor i32 %30, %29
%39 = select i1 %35, i32 %38, i32 %34
%40 = xor i32 %39, %9
%41 = add nuw nsw i32 %11, 4
%42 = xor i32 %37, %29
%43 = add nuw nsw i64 %4, 4
%44 = add i32 %42, %5
%45 = icmp eq i32 %41, 1048576
br i1 %45, label %46, label %3
46: ; preds = %3
%47 = xor i32 %36, %30
%48 = xor i32 %47, %33
%49 = xor i32 %40, %37
%50 = xor i32 %49, %44
store i32 %48, i32* %1
%51 = getelementptr inbounds i32, i32* %1, i64 1
store i32 %50, i32* %51
ret void
}