unsigned short in_chksum_udp6(unsigned short *h, unsigned short *d, int dlen) {
  unsigned int cksum;
  unsigned short answer = 0;
  cksum = h[0];
  cksum += h[1];
  cksum += h[2];
  cksum += h[3];
  cksum += h[4];
  cksum += h[5];
  cksum += h[6];
  cksum += h[7];
  cksum += h[8];
  cksum += h[9];
  cksum += h[10];
  cksum += h[11];
  cksum += h[12];
  cksum += h[13];
  cksum += h[14];
  cksum += h[15];
  cksum += h[16];
  cksum += h[17];
  cksum += d[0];
  cksum += d[1];
  cksum += d[2];
  cksum += d[3];
  dlen -= 8;
  d += 4;
  while (dlen >= 32) {
    cksum += d[0];
    cksum += d[1];
    cksum += d[2];
    cksum += d[3];
    cksum += d[4];
    cksum += d[5];
    cksum += d[6];
    cksum += d[7];
    cksum += d[8];
    cksum += d[9];
    cksum += d[10];
    cksum += d[11];
    cksum += d[12];
    cksum += d[13];
    cksum += d[14];
    cksum += d[15];
    d += 16;
    dlen -= 32;
  }
  while (dlen >= 8) {
    cksum += d[0];
    cksum += d[1];
    cksum += d[2];
    cksum += d[3];
    d += 4;
    dlen -= 8;
  }
  while (dlen > 1) {
    cksum += *d++;
    dlen -= 2;
  }
  if (dlen == 1) {
    *(unsigned char *)(&answer) = (*(unsigned char *)d);
    cksum += answer;
  }
  cksum = (cksum >> 16) + (cksum & 0x0000ffff);
  cksum += (cksum >> 16);
  return (unsigned short)(~cksum);
}


x86 assembly (clang, -O0):
<in_chksum_udp6>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
movw   $0x0,-0x1a(%rbp)
mov    -0x8(%rbp),%rax
movzwl (%rax),%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movzwl 0x2(%rax),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movzwl 0x4(%rax),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movzwl 0x6(%rax),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movzwl 0x8(%rax),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movzwl 0xa(%rax),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movzwl 0xc(%rax),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movzwl 0xe(%rax),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movzwl 0x10(%rax),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movzwl 0x12(%rax),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movzwl 0x14(%rax),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movzwl 0x16(%rax),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movzwl 0x18(%rax),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movzwl 0x1a(%rax),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movzwl 0x1c(%rax),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movzwl 0x1e(%rax),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movzwl 0x20(%rax),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movzwl 0x22(%rax),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movzwl (%rax),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movzwl 0x2(%rax),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movzwl 0x4(%rax),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movzwl 0x6(%rax),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%eax
sub    $0x8,%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x10(%rbp)
cmpl   $0x20,-0x14(%rbp)
jl     135c <in_chksum_udp6+0x25c>
mov    -0x10(%rbp),%rax
movzwl (%rax),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movzwl 0x2(%rax),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movzwl 0x4(%rax),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movzwl 0x6(%rax),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movzwl 0x8(%rax),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movzwl 0xa(%rax),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movzwl 0xc(%rax),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movzwl 0xe(%rax),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movzwl 0x10(%rax),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movzwl 0x12(%rax),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movzwl 0x14(%rax),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movzwl 0x16(%rax),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movzwl 0x18(%rax),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movzwl 0x1a(%rax),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movzwl 0x1c(%rax),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movzwl 0x1e(%rax),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
add    $0x20,%rax
mov    %rax,-0x10(%rbp)
mov    -0x14(%rbp),%eax
sub    $0x20,%eax
mov    %eax,-0x14(%rbp)
jmp    1259 <in_chksum_udp6+0x159>
jmp    1361 <in_chksum_udp6+0x261>
cmpl   $0x8,-0x14(%rbp)
jl     13bc <in_chksum_udp6+0x2bc>
mov    -0x10(%rbp),%rax
movzwl (%rax),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movzwl 0x2(%rax),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movzwl 0x4(%rax),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movzwl 0x6(%rax),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x10(%rbp)
mov    -0x14(%rbp),%eax
sub    $0x8,%eax
mov    %eax,-0x14(%rbp)
jmp    1361 <in_chksum_udp6+0x261>
jmp    13c1 <in_chksum_udp6+0x2c1>
cmpl   $0x1,-0x14(%rbp)
jle    13f1 <in_chksum_udp6+0x2f1>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x2,%rcx
mov    %rcx,-0x10(%rbp)
movzwl (%rax),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0x14(%rbp)
jmp    13c1 <in_chksum_udp6+0x2c1>
cmpl   $0x1,-0x14(%rbp)
jne    140e <in_chksum_udp6+0x30e>
mov    -0x10(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x1a(%rbp)
movzwl -0x1a(%rbp),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%eax
shr    $0x10,%eax
mov    -0x18(%rbp),%ecx
and    $0xffff,%ecx
add    %ecx,%eax
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%eax
shr    $0x10,%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%eax
xor    $0xffffffff,%eax
movzwl %ax,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<in_chksum_udp6>:
movdqu (%rdi),%xmm1
movdqu 0x10(%rdi),%xmm2
pxor   %xmm0,%xmm0
movdqa %xmm2,%xmm3
punpcklwd %xmm0,%xmm3
movdqa %xmm1,%xmm4
punpcklwd %xmm0,%xmm4
paddd  %xmm3,%xmm4
punpckhwd %xmm0,%xmm2
punpckhwd %xmm0,%xmm1
paddd  %xmm2,%xmm1
paddd  %xmm4,%xmm1
movzwl 0x20(%rdi),%ecx
movzwl 0x22(%rdi),%edi
movzwl (%rsi),%r8d
movzwl 0x2(%rsi),%r9d
movzwl 0x4(%rsi),%r10d
movzwl 0x6(%rsi),%r11d
pshufd $0xee,%xmm1,%xmm2
paddd  %xmm1,%xmm2
pshufd $0x55,%xmm2,%xmm1
paddd  %xmm2,%xmm1
movd   %xmm1,%eax
add    %ecx,%eax
add    %edi,%eax
add    %r8d,%eax
add    %r9d,%eax
add    %r10d,%eax
add    %r11d,%eax
add    $0x8,%rsi
cmp    $0x28,%edx
jl     11dd <in_chksum_udp6+0xdd>
add    $0x18,%edx
xchg   %ax,%ax
movdqu (%rsi),%xmm1
movdqu 0x10(%rsi),%xmm2
movdqa %xmm2,%xmm3
punpcklwd %xmm0,%xmm3
movdqa %xmm1,%xmm4
punpcklwd %xmm0,%xmm4
paddd  %xmm3,%xmm4
punpckhwd %xmm0,%xmm2
punpckhwd %xmm0,%xmm1
paddd  %xmm2,%xmm1
paddd  %xmm4,%xmm1
pshufd $0xee,%xmm1,%xmm2
paddd  %xmm1,%xmm2
pshufd $0x55,%xmm2,%xmm1
paddd  %xmm2,%xmm1
movd   %xmm1,%ecx
add    %ecx,%eax
add    $0x20,%rsi
add    $0xffffffe0,%edx
cmp    $0x3f,%edx
ja     1180 <in_chksum_udp6+0x80>
add    $0xffffffe0,%edx
cmp    $0x8,%edx
jge    11e5 <in_chksum_udp6+0xe5>
mov    %edx,%ecx
jmp    121e <in_chksum_udp6+0x11e>
add    $0xfffffff8,%edx
cmp    $0x8,%edx
jl     11d9 <in_chksum_udp6+0xd9>
pxor   %xmm0,%xmm0
nopl   0x0(%rax)
movq   (%rsi),%xmm1
punpcklwd %xmm0,%xmm1
pshufd $0xee,%xmm1,%xmm2
paddd  %xmm1,%xmm2
pshufd $0x55,%xmm2,%xmm1
paddd  %xmm2,%xmm1
movd   %xmm1,%ecx
add    %ecx,%eax
add    $0x8,%rsi
lea    -0x8(%rdx),%ecx
cmp    $0xf,%edx
mov    %ecx,%edx
ja     11f0 <in_chksum_udp6+0xf0>
cmp    $0x2,%ecx
jl     1333 <in_chksum_udp6+0x233>
xor    %edi,%edi
mov    %ecx,%edx
sub    $0x3,%edx
cmovb  %edi,%edx
add    $0x1,%edx
cmp    $0xe,%edx
jb     1317 <in_chksum_udp6+0x217>
shr    %edx
add    $0x1,%edx
mov    %edx,%r8d
and    $0xfffffff8,%r8d
movd   %eax,%xmm0
lea    -0x8(%r8),%rax
mov    %rax,%r9
shr    $0x3,%r9
add    $0x1,%r9
test   %rax,%rax
je     12c3 <in_chksum_udp6+0x1c3>
mov    %r9,%rax
and    $0xfffffffffffffffe,%rax
pxor   %xmm2,%xmm2
xor    %edi,%edi
pxor   %xmm1,%xmm1
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movq   (%rsi,%rdi,2),%xmm3
movq   0x8(%rsi,%rdi,2),%xmm4
punpcklwd %xmm2,%xmm3
paddd  %xmm0,%xmm3
punpcklwd %xmm2,%xmm4
paddd  %xmm1,%xmm4
movq   0x10(%rsi,%rdi,2),%xmm0
movq   0x18(%rsi,%rdi,2),%xmm1
punpcklwd %xmm2,%xmm0
paddd  %xmm3,%xmm0
punpcklwd %xmm2,%xmm1
paddd  %xmm4,%xmm1
add    $0x10,%rdi
add    $0xfffffffffffffffe,%rax
jne    1280 <in_chksum_udp6+0x180>
jmp    12c9 <in_chksum_udp6+0x1c9>
pxor   %xmm1,%xmm1
xor    %edi,%edi
lea    (%r8,%r8,1),%eax
test   $0x1,%r9b
je     12f2 <in_chksum_udp6+0x1f2>
movq   (%rsi,%rdi,2),%xmm2
movq   0x8(%rsi,%rdi,2),%xmm3
pxor   %xmm4,%xmm4
punpcklwd %xmm4,%xmm2
paddd  %xmm2,%xmm0
punpcklwd %xmm4,%xmm3
paddd  %xmm3,%xmm1
paddd  %xmm1,%xmm0
lea    (%rsi,%r8,2),%rsi
sub    %eax,%ecx
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%eax
cmp    %rdx,%r8
je     1333 <in_chksum_udp6+0x233>
mov    %ecx,%edx
nopl   0x0(%rax)
movzwl (%rsi),%ecx
add    $0x2,%rsi
add    %ecx,%eax
lea    -0x2(%rdx),%ecx
cmp    $0x3,%edx
mov    %ecx,%edx
ja     1320 <in_chksum_udp6+0x220>
cmp    $0x1,%ecx
jne    133d <in_chksum_udp6+0x23d>
movzbl (%rsi),%ecx
add    %ecx,%eax
mov    %eax,%ecx
shr    $0x10,%ecx
movzwl %ax,%edx
add    %ecx,%edx
mov    %edx,%eax
shr    $0x10,%eax
add    %edx,%eax
not    %eax
ret

LLVM IR (-O0):
define zeroext i16 @in_chksum_udp6(i16* %0, i16* %1, i32 %2) {
%4 = alloca i16*
%5 = alloca i16*
%6 = alloca i32
%7 = alloca i32
%8 = alloca i16
store i16* %0, i16** %4
store i16* %1, i16** %5
store i32 %2, i32* %6
store i16 0, i16* %8
%9 = load i16*, i16** %4
%10 = getelementptr inbounds i16, i16* %9, i64 0
%11 = load i16, i16* %10
%12 = zext i16 %11 to i32
store i32 %12, i32* %7
%13 = load i16*, i16** %4
%14 = getelementptr inbounds i16, i16* %13, i64 1
%15 = load i16, i16* %14
%16 = zext i16 %15 to i32
%17 = load i32, i32* %7
%18 = add i32 %17, %16
store i32 %18, i32* %7
%19 = load i16*, i16** %4
%20 = getelementptr inbounds i16, i16* %19, i64 2
%21 = load i16, i16* %20
%22 = zext i16 %21 to i32
%23 = load i32, i32* %7
%24 = add i32 %23, %22
store i32 %24, i32* %7
%25 = load i16*, i16** %4
%26 = getelementptr inbounds i16, i16* %25, i64 3
%27 = load i16, i16* %26
%28 = zext i16 %27 to i32
%29 = load i32, i32* %7
%30 = add i32 %29, %28
store i32 %30, i32* %7
%31 = load i16*, i16** %4
%32 = getelementptr inbounds i16, i16* %31, i64 4
%33 = load i16, i16* %32
%34 = zext i16 %33 to i32
%35 = load i32, i32* %7
%36 = add i32 %35, %34
store i32 %36, i32* %7
%37 = load i16*, i16** %4
%38 = getelementptr inbounds i16, i16* %37, i64 5
%39 = load i16, i16* %38
%40 = zext i16 %39 to i32
%41 = load i32, i32* %7
%42 = add i32 %41, %40
store i32 %42, i32* %7
%43 = load i16*, i16** %4
%44 = getelementptr inbounds i16, i16* %43, i64 6
%45 = load i16, i16* %44
%46 = zext i16 %45 to i32
%47 = load i32, i32* %7
%48 = add i32 %47, %46
store i32 %48, i32* %7
%49 = load i16*, i16** %4
%50 = getelementptr inbounds i16, i16* %49, i64 7
%51 = load i16, i16* %50
%52 = zext i16 %51 to i32
%53 = load i32, i32* %7
%54 = add i32 %53, %52
store i32 %54, i32* %7
%55 = load i16*, i16** %4
%56 = getelementptr inbounds i16, i16* %55, i64 8
%57 = load i16, i16* %56
%58 = zext i16 %57 to i32
%59 = load i32, i32* %7
%60 = add i32 %59, %58
store i32 %60, i32* %7
%61 = load i16*, i16** %4
%62 = getelementptr inbounds i16, i16* %61, i64 9
%63 = load i16, i16* %62
%64 = zext i16 %63 to i32
%65 = load i32, i32* %7
%66 = add i32 %65, %64
store i32 %66, i32* %7
%67 = load i16*, i16** %4
%68 = getelementptr inbounds i16, i16* %67, i64 10
%69 = load i16, i16* %68
%70 = zext i16 %69 to i32
%71 = load i32, i32* %7
%72 = add i32 %71, %70
store i32 %72, i32* %7
%73 = load i16*, i16** %4
%74 = getelementptr inbounds i16, i16* %73, i64 11
%75 = load i16, i16* %74
%76 = zext i16 %75 to i32
%77 = load i32, i32* %7
%78 = add i32 %77, %76
store i32 %78, i32* %7
%79 = load i16*, i16** %4
%80 = getelementptr inbounds i16, i16* %79, i64 12
%81 = load i16, i16* %80
%82 = zext i16 %81 to i32
%83 = load i32, i32* %7
%84 = add i32 %83, %82
store i32 %84, i32* %7
%85 = load i16*, i16** %4
%86 = getelementptr inbounds i16, i16* %85, i64 13
%87 = load i16, i16* %86
%88 = zext i16 %87 to i32
%89 = load i32, i32* %7
%90 = add i32 %89, %88
store i32 %90, i32* %7
%91 = load i16*, i16** %4
%92 = getelementptr inbounds i16, i16* %91, i64 14
%93 = load i16, i16* %92
%94 = zext i16 %93 to i32
%95 = load i32, i32* %7
%96 = add i32 %95, %94
store i32 %96, i32* %7
%97 = load i16*, i16** %4
%98 = getelementptr inbounds i16, i16* %97, i64 15
%99 = load i16, i16* %98
%100 = zext i16 %99 to i32
%101 = load i32, i32* %7
%102 = add i32 %101, %100
store i32 %102, i32* %7
%103 = load i16*, i16** %4
%104 = getelementptr inbounds i16, i16* %103, i64 16
%105 = load i16, i16* %104
%106 = zext i16 %105 to i32
%107 = load i32, i32* %7
%108 = add i32 %107, %106
store i32 %108, i32* %7
%109 = load i16*, i16** %4
%110 = getelementptr inbounds i16, i16* %109, i64 17
%111 = load i16, i16* %110
%112 = zext i16 %111 to i32
%113 = load i32, i32* %7
%114 = add i32 %113, %112
store i32 %114, i32* %7
%115 = load i16*, i16** %5
%116 = getelementptr inbounds i16, i16* %115, i64 0
%117 = load i16, i16* %116
%118 = zext i16 %117 to i32
%119 = load i32, i32* %7
%120 = add i32 %119, %118
store i32 %120, i32* %7
%121 = load i16*, i16** %5
%122 = getelementptr inbounds i16, i16* %121, i64 1
%123 = load i16, i16* %122
%124 = zext i16 %123 to i32
%125 = load i32, i32* %7
%126 = add i32 %125, %124
store i32 %126, i32* %7
%127 = load i16*, i16** %5
%128 = getelementptr inbounds i16, i16* %127, i64 2
%129 = load i16, i16* %128
%130 = zext i16 %129 to i32
%131 = load i32, i32* %7
%132 = add i32 %131, %130
store i32 %132, i32* %7
%133 = load i16*, i16** %5
%134 = getelementptr inbounds i16, i16* %133, i64 3
%135 = load i16, i16* %134
%136 = zext i16 %135 to i32
%137 = load i32, i32* %7
%138 = add i32 %137, %136
store i32 %138, i32* %7
%139 = load i32, i32* %6
%140 = sub nsw i32 %139, 8
store i32 %140, i32* %6
%141 = load i16*, i16** %5
%142 = getelementptr inbounds i16, i16* %141, i64 4
store i16* %142, i16** %5
br label %143
143: ; preds = %146, %3
%144 = load i32, i32* %6
%145 = icmp sge i32 %144, 32
br i1 %145, label %146, label %247
146: ; preds = %143
%147 = load i16*, i16** %5
%148 = getelementptr inbounds i16, i16* %147, i64 0
%149 = load i16, i16* %148
%150 = zext i16 %149 to i32
%151 = load i32, i32* %7
%152 = add i32 %151, %150
store i32 %152, i32* %7
%153 = load i16*, i16** %5
%154 = getelementptr inbounds i16, i16* %153, i64 1
%155 = load i16, i16* %154
%156 = zext i16 %155 to i32
%157 = load i32, i32* %7
%158 = add i32 %157, %156
store i32 %158, i32* %7
%159 = load i16*, i16** %5
%160 = getelementptr inbounds i16, i16* %159, i64 2
%161 = load i16, i16* %160
%162 = zext i16 %161 to i32
%163 = load i32, i32* %7
%164 = add i32 %163, %162
store i32 %164, i32* %7
%165 = load i16*, i16** %5
%166 = getelementptr inbounds i16, i16* %165, i64 3
%167 = load i16, i16* %166
%168 = zext i16 %167 to i32
%169 = load i32, i32* %7
%170 = add i32 %169, %168
store i32 %170, i32* %7
%171 = load i16*, i16** %5
%172 = getelementptr inbounds i16, i16* %171, i64 4
%173 = load i16, i16* %172
%174 = zext i16 %173 to i32
%175 = load i32, i32* %7
%176 = add i32 %175, %174
store i32 %176, i32* %7
%177 = load i16*, i16** %5
%178 = getelementptr inbounds i16, i16* %177, i64 5
%179 = load i16, i16* %178
%180 = zext i16 %179 to i32
%181 = load i32, i32* %7
%182 = add i32 %181, %180
store i32 %182, i32* %7
%183 = load i16*, i16** %5
%184 = getelementptr inbounds i16, i16* %183, i64 6
%185 = load i16, i16* %184
%186 = zext i16 %185 to i32
%187 = load i32, i32* %7
%188 = add i32 %187, %186
store i32 %188, i32* %7
%189 = load i16*, i16** %5
%190 = getelementptr inbounds i16, i16* %189, i64 7
%191 = load i16, i16* %190
%192 = zext i16 %191 to i32
%193 = load i32, i32* %7
%194 = add i32 %193, %192
store i32 %194, i32* %7
%195 = load i16*, i16** %5
%196 = getelementptr inbounds i16, i16* %195, i64 8
%197 = load i16, i16* %196
%198 = zext i16 %197 to i32
%199 = load i32, i32* %7
%200 = add i32 %199, %198
store i32 %200, i32* %7
%201 = load i16*, i16** %5
%202 = getelementptr inbounds i16, i16* %201, i64 9
%203 = load i16, i16* %202
%204 = zext i16 %203 to i32
%205 = load i32, i32* %7
%206 = add i32 %205, %204
store i32 %206, i32* %7
%207 = load i16*, i16** %5
%208 = getelementptr inbounds i16, i16* %207, i64 10
%209 = load i16, i16* %208
%210 = zext i16 %209 to i32
%211 = load i32, i32* %7
%212 = add i32 %211, %210
store i32 %212, i32* %7
%213 = load i16*, i16** %5
%214 = getelementptr inbounds i16, i16* %213, i64 11
%215 = load i16, i16* %214
%216 = zext i16 %215 to i32
%217 = load i32, i32* %7
%218 = add i32 %217, %216
store i32 %218, i32* %7
%219 = load i16*, i16** %5
%220 = getelementptr inbounds i16, i16* %219, i64 12
%221 = load i16, i16* %220
%222 = zext i16 %221 to i32
%223 = load i32, i32* %7
%224 = add i32 %223, %222
store i32 %224, i32* %7
%225 = load i16*, i16** %5
%226 = getelementptr inbounds i16, i16* %225, i64 13
%227 = load i16, i16* %226
%228 = zext i16 %227 to i32
%229 = load i32, i32* %7
%230 = add i32 %229, %228
store i32 %230, i32* %7
%231 = load i16*, i16** %5
%232 = getelementptr inbounds i16, i16* %231, i64 14
%233 = load i16, i16* %232
%234 = zext i16 %233 to i32
%235 = load i32, i32* %7
%236 = add i32 %235, %234
store i32 %236, i32* %7
%237 = load i16*, i16** %5
%238 = getelementptr inbounds i16, i16* %237, i64 15
%239 = load i16, i16* %238
%240 = zext i16 %239 to i32
%241 = load i32, i32* %7
%242 = add i32 %241, %240
store i32 %242, i32* %7
%243 = load i16*, i16** %5
%244 = getelementptr inbounds i16, i16* %243, i64 16
store i16* %244, i16** %5
%245 = load i32, i32* %6
%246 = sub nsw i32 %245, 32
store i32 %246, i32* %6
br label %143
247: ; preds = %143
br label %248
248: ; preds = %251, %247
%249 = load i32, i32* %6
%250 = icmp sge i32 %249, 8
br i1 %250, label %251, label %280
251: ; preds = %248
%252 = load i16*, i16** %5
%253 = getelementptr inbounds i16, i16* %252, i64 0
%254 = load i16, i16* %253
%255 = zext i16 %254 to i32
%256 = load i32, i32* %7
%257 = add i32 %256, %255
store i32 %257, i32* %7
%258 = load i16*, i16** %5
%259 = getelementptr inbounds i16, i16* %258, i64 1
%260 = load i16, i16* %259
%261 = zext i16 %260 to i32
%262 = load i32, i32* %7
%263 = add i32 %262, %261
store i32 %263, i32* %7
%264 = load i16*, i16** %5
%265 = getelementptr inbounds i16, i16* %264, i64 2
%266 = load i16, i16* %265
%267 = zext i16 %266 to i32
%268 = load i32, i32* %7
%269 = add i32 %268, %267
store i32 %269, i32* %7
%270 = load i16*, i16** %5
%271 = getelementptr inbounds i16, i16* %270, i64 3
%272 = load i16, i16* %271
%273 = zext i16 %272 to i32
%274 = load i32, i32* %7
%275 = add i32 %274, %273
store i32 %275, i32* %7
%276 = load i16*, i16** %5
%277 = getelementptr inbounds i16, i16* %276, i64 4
store i16* %277, i16** %5
%278 = load i32, i32* %6
%279 = sub nsw i32 %278, 8
store i32 %279, i32* %6
br label %248
280: ; preds = %248
br label %281
281: ; preds = %284, %280
%282 = load i32, i32* %6
%283 = icmp sgt i32 %282, 1
br i1 %283, label %284, label %293
284: ; preds = %281
%285 = load i16*, i16** %5
%286 = getelementptr inbounds i16, i16* %285, i32 1
store i16* %286, i16** %5
%287 = load i16, i16* %285
%288 = zext i16 %287 to i32
%289 = load i32, i32* %7
%290 = add i32 %289, %288
store i32 %290, i32* %7
%291 = load i32, i32* %6
%292 = sub nsw i32 %291, 2
store i32 %292, i32* %6
br label %281
293: ; preds = %281
%294 = load i32, i32* %6
%295 = icmp eq i32 %294, 1
br i1 %295, label %296, label %305
296: ; preds = %293
%297 = load i16*, i16** %5
%298 = bitcast i16* %297 to i8*
%299 = load i8, i8* %298
%300 = bitcast i16* %8 to i8*
store i8 %299, i8* %300
%301 = load i16, i16* %8
%302 = zext i16 %301 to i32
%303 = load i32, i32* %7
%304 = add i32 %303, %302
store i32 %304, i32* %7
br label %305
305: ; preds = %296, %293
%306 = load i32, i32* %7
%307 = lshr i32 %306, 16
%308 = load i32, i32* %7
%309 = and i32 %308, 65535
%310 = add i32 %307, %309
store i32 %310, i32* %7
%311 = load i32, i32* %7
%312 = lshr i32 %311, 16
%313 = load i32, i32* %7
%314 = add i32 %313, %312
store i32 %314, i32* %7
%315 = load i32, i32* %7
%316 = xor i32 %315, -1
%317 = trunc i32 %316 to i16
ret i16 %317
}

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