#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int /*<<< orphan*/ printf(char *, unsigned short, unsigned short);
void icmp_checksum(int bytes, char *icmp_message) {
  unsigned short *p = (unsigned short *)icmp_message;
  unsigned long sum = *p++;
  unsigned short delivered = *p++;
  unsigned short carry;
  unsigned short x = (bytes + 1) >> 1;
  if (bytes & 1)
    icmp_message[bytes] = 0;
  x -= 2;
  while (x--)
    sum += *p++;
  carry = sum;
  while (sum >>= 16) {
    sum += carry;
    carry = sum;
  }
  carry ^= 65535;
  if (carry ^ delivered)
    printf("[icmpCS>>%x/%x]", delivered, carry);
}


x86 assembly (clang, -O0):
<icmp_checksum>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x2,%rcx
mov    %rcx,-0x18(%rbp)
movzwl (%rax),%eax
mov    %rax,-0x20(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x2,%rcx
mov    %rcx,-0x18(%rbp)
mov    (%rax),%ax
mov    %ax,-0x22(%rbp)
mov    -0x4(%rbp),%eax
add    $0x1,%eax
sar    $0x1,%eax
mov    %ax,-0x26(%rbp)
mov    -0x4(%rbp),%eax
and    $0x1,%eax
cmp    $0x0,%eax
je     117b <icmp_checksum+0x6b>
mov    -0x10(%rbp),%rax
movslq -0x4(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
movzwl -0x26(%rbp),%eax
sub    $0x2,%eax
mov    %ax,-0x26(%rbp)
mov    -0x26(%rbp),%ax
mov    %ax,%cx
add    $0xffff,%cx
mov    %cx,-0x26(%rbp)
cmp    $0x0,%ax
je     11be <icmp_checksum+0xae>
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x2,%rcx
mov    %rcx,-0x18(%rbp)
movzwl (%rax),%eax
add    -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
jmp    1186 <icmp_checksum+0x76>
mov    -0x20(%rbp),%rax
mov    %ax,-0x24(%rbp)
mov    -0x20(%rbp),%rax
shr    $0x10,%rax
mov    %rax,-0x20(%rbp)
cmp    $0x0,%rax
je     11f5 <icmp_checksum+0xe5>
movzwl -0x24(%rbp),%eax
add    -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
mov    %ax,-0x24(%rbp)
jmp    11c6 <icmp_checksum+0xb6>
movzwl -0x24(%rbp),%eax
xor    $0xffff,%eax
mov    %ax,-0x24(%rbp)
movzwl -0x24(%rbp),%eax
movzwl -0x22(%rbp),%ecx
xor    %ecx,%eax
cmp    $0x0,%eax
je     122c <icmp_checksum+0x11c>
mov    -0x22(%rbp),%ax
lea    0xde0(%rip),%rdi
movzwl %ax,%esi
movzwl -0x24(%rbp),%edx
call   1030 <printf@plt>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<icmp_checksum>:
push   %rbx
movzwl (%rsi),%eax
movzwl 0x2(%rsi),%r8d
lea    0x1(%rdi),%edx
shr    %edx
test   $0x1,%dil
je     112b <icmp_checksum+0x1b>
movslq %edi,%rcx
movb   $0x0,(%rsi,%rcx,1)
mov    %edx,%ebx
add    $0xfffe,%bx
je     1275 <icmp_checksum+0x165>
lea    0x4(%rsi),%rcx
add    $0xfffffffd,%edx
cmp    $0x3,%dx
jb     122d <icmp_checksum+0x11d>
movzwl %dx,%r9d
add    $0x1,%r9
mov    %r9d,%r10d
and    $0xfffffffc,%r10d
movd   %eax,%xmm0
lea    -0x4(%r10),%rax
mov    %rax,%r11
shr    $0x2,%r11
add    $0x1,%r11
test   %rax,%rax
je     1293 <icmp_checksum+0x183>
mov    %r11,%rax
and    $0xfffffffffffffffe,%rax
pxor   %xmm2,%xmm2
xor    %edi,%edi
pxor   %xmm1,%xmm1
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movd   0x4(%rsi,%rdi,2),%xmm3
movd   0x8(%rsi,%rdi,2),%xmm4
punpcklwd %xmm2,%xmm3
punpckldq %xmm2,%xmm3
paddq  %xmm0,%xmm3
punpcklwd %xmm2,%xmm4
punpckldq %xmm2,%xmm4
paddq  %xmm1,%xmm4
movd   0xc(%rsi,%rdi,2),%xmm0
movd   0x10(%rsi,%rdi,2),%xmm1
punpcklwd %xmm2,%xmm0
punpckldq %xmm2,%xmm0
paddq  %xmm3,%xmm0
punpcklwd %xmm2,%xmm1
punpckldq %xmm2,%xmm1
paddq  %xmm4,%xmm1
add    $0x8,%rdi
add    $0xfffffffffffffffe,%rax
jne    1190 <icmp_checksum+0x80>
test   $0x1,%r11b
je     120f <icmp_checksum+0xff>
movd   (%rcx,%rdi,2),%xmm2
movd   0x4(%rcx,%rdi,2),%xmm3
pxor   %xmm4,%xmm4
punpcklwd %xmm4,%xmm2
punpckldq %xmm4,%xmm2
paddq  %xmm2,%xmm0
punpcklwd %xmm4,%xmm3
punpckldq %xmm4,%xmm3
paddq  %xmm3,%xmm1
paddq  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddq  %xmm0,%xmm1
movq   %xmm1,%rax
cmp    %r10,%r9
je     1250 <icmp_checksum+0x140>
sub    %r10d,%ebx
lea    (%rcx,%r10,2),%rcx
movzwl %bx,%edx
xor    %esi,%esi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movzwl (%rcx,%rsi,2),%edi
add    %rdi,%rax
add    $0x1,%rsi
cmp    %si,%dx
jne    1240 <icmp_checksum+0x130>
cmp    $0x10000,%rax
jb     1275 <icmp_checksum+0x165>
nopl   0x0(%rax,%rax,1)
mov    %rax,%rcx
shr    $0x10,%rcx
movzwl %ax,%eax
add    %rcx,%rax
cmp    $0xffff,%rax
ja     1260 <icmp_checksum+0x150>
not    %eax
cmp    %ax,%r8w
jne    127f <icmp_checksum+0x16f>
pop    %rbx
ret
movzwl %r8w,%esi
movzwl %ax,%edx
lea    0xd73(%rip),%rdi
pop    %rbx
jmp    1030 <printf@plt>
pxor   %xmm1,%xmm1
xor    %edi,%edi
test   $0x1,%r11b
jne    11e8 <icmp_checksum+0xd8>
jmp    120f <icmp_checksum+0xff>

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

LLVM IR (-O2):
@.str = [16 x i8] c"[icmpCS>>%x/%x]\00"
define void @icmp_checksum(i32 %0, i8* nocapture %1) {
%3 = bitcast i8* %1 to i16*
%4 = getelementptr inbounds i8, i8* %1, i64 2
%5 = bitcast i8* %4 to i16*
%6 = load i16, i16* %3
%7 = zext i16 %6 to i64
%8 = getelementptr inbounds i8, i8* %1, i64 4
%9 = bitcast i8* %8 to i16*
%10 = load i16, i16* %5
%11 = add nsw i32 %0, 1
%12 = lshr i32 %11, 1
%13 = and i32 %0, 1
%14 = icmp eq i32 %13, 0
br i1 %14, label %18, label %15
15: ; preds = %2
%16 = sext i32 %0 to i64
%17 = getelementptr inbounds i8, i8* %1, i64 %16
store i8 0, i8* %17
br label %18
18: ; preds = %15, %2
%19 = trunc i32 %12 to i16
%20 = add i16 %19, -2
%21 = icmp eq i16 %20, 0
br i1 %21, label %116, label %22
22: ; preds = %18
%23 = add i16 %19, -3
%24 = zext i16 %23 to i64
%25 = add nuw nsw i64 %24, 1
%26 = icmp ult i16 %23, 3
br i1 %26, label %93, label %27
27: ; preds = %22
%28 = and i64 %25, 131068
%29 = trunc i64 %28 to i16
%30 = sub i16 %20, %29
%31 = getelementptr i16, i16* %9, i64 %28
%32 = insertelement <2 x i64> <i64 poison, i64 0>, i64 %7, i64 0
%33 = add nsw i64 %28, -4
%34 = lshr exact i64 %33, 2
%35 = add nuw nsw i64 %34, 1
%36 = and i64 %35, 1
%37 = icmp eq i64 %33, 0
br i1 %37, label %69, label %38
38: ; preds = %27
%39 = and i64 %35, 9223372036854775806
br label %40
40: ; preds = %40, %38
%41 = phi i64 [ 0, %38 ], [ %66, %40 ]
%42 = phi <2 x i64> [ %32, %38 ], [ %64, %40 ]
%43 = phi <2 x i64> [ zeroinitializer, %38 ], [ %65, %40 ]
%44 = phi i64 [ 0, %38 ], [ %67, %40 ]
%45 = getelementptr i16, i16* %9, i64 %41
%46 = bitcast i16* %45 to <2 x i16>*
%47 = load <2 x i16>, <2 x i16>* %46
%48 = getelementptr i16, i16* %45, i64 2
%49 = bitcast i16* %48 to <2 x i16>*
%50 = load <2 x i16>, <2 x i16>* %49
%51 = zext <2 x i16> %47 to <2 x i64>
%52 = zext <2 x i16> %50 to <2 x i64>
%53 = add <2 x i64> %42, %51
%54 = add <2 x i64> %43, %52
%55 = or i64 %41, 4
%56 = getelementptr i16, i16* %9, i64 %55
%57 = bitcast i16* %56 to <2 x i16>*
%58 = load <2 x i16>, <2 x i16>* %57
%59 = getelementptr i16, i16* %56, i64 2
%60 = bitcast i16* %59 to <2 x i16>*
%61 = load <2 x i16>, <2 x i16>* %60
%62 = zext <2 x i16> %58 to <2 x i64>
%63 = zext <2 x i16> %61 to <2 x i64>
%64 = add <2 x i64> %53, %62
%65 = add <2 x i64> %54, %63
%66 = add nuw i64 %41, 8
%67 = add i64 %44, 2
%68 = icmp eq i64 %67, %39
br i1 %68, label %69, label %40
69: ; preds = %40, %27
%70 = phi <2 x i64> [ undef, %27 ], [ %64, %40 ]
%71 = phi <2 x i64> [ undef, %27 ], [ %65, %40 ]
%72 = phi i64 [ 0, %27 ], [ %66, %40 ]
%73 = phi <2 x i64> [ %32, %27 ], [ %64, %40 ]
%74 = phi <2 x i64> [ zeroinitializer, %27 ], [ %65, %40 ]
%75 = icmp eq i64 %36, 0
br i1 %75, label %87, label %76
76: ; preds = %69
%77 = getelementptr i16, i16* %9, i64 %72
%78 = bitcast i16* %77 to <2 x i16>*
%79 = load <2 x i16>, <2 x i16>* %78
%80 = getelementptr i16, i16* %77, i64 2
%81 = bitcast i16* %80 to <2 x i16>*
%82 = load <2 x i16>, <2 x i16>* %81
%83 = zext <2 x i16> %79 to <2 x i64>
%84 = zext <2 x i16> %82 to <2 x i64>
%85 = add <2 x i64> %73, %83
%86 = add <2 x i64> %74, %84
br label %87
87: ; preds = %69, %76
%88 = phi <2 x i64> [ %70, %69 ], [ %85, %76 ]
%89 = phi <2 x i64> [ %71, %69 ], [ %86, %76 ]
%90 = add <2 x i64> %89, %88
%91 = call i64 @llvm.vector.reduce.add.v2i64(<2 x i64> %90)
%92 = icmp eq i64 %25, %28
br i1 %92, label %97, label %93
93: ; preds = %22, %87
%94 = phi i16 [ %20, %22 ], [ %30, %87 ]
%95 = phi i16* [ %9, %22 ], [ %31, %87 ]
%96 = phi i64 [ %7, %22 ], [ %91, %87 ]
br label %100
97: ; preds = %100, %87
%98 = phi i64 [ %91, %87 ], [ %108, %100 ]
%99 = icmp ult i64 %98, 65536
br i1 %99, label %116, label %110
100: ; preds = %93, %100
%101 = phi i16 [ %104, %100 ], [ %94, %93 ]
%102 = phi i16* [ %105, %100 ], [ %95, %93 ]
%103 = phi i64 [ %108, %100 ], [ %96, %93 ]
%104 = add i16 %101, -1
%105 = getelementptr inbounds i16, i16* %102, i64 1
%106 = load i16, i16* %102
%107 = zext i16 %106 to i64
%108 = add i64 %103, %107
%109 = icmp eq i16 %104, 0
br i1 %109, label %97, label %100
110: ; preds = %97, %110
%111 = phi i64 [ %114, %110 ], [ %98, %97 ]
%112 = lshr i64 %111, 16
%113 = and i64 %111, 65535
%114 = add nuw nsw i64 %112, %113
%115 = icmp ult i64 %114, 65536
br i1 %115, label %116, label %110
116: ; preds = %110, %18, %97
%117 = phi i64 [ %98, %97 ], [ %7, %18 ], [ %114, %110 ]
%118 = trunc i64 %117 to i16
%119 = xor i16 %118, -1
%120 = icmp eq i16 %10, %119
br i1 %120, label %123, label %121
121: ; preds = %116
%122 = tail call i32 @printf(i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str, i64 0, i64 0), i16 zeroext %10, i16 zeroext %119)
br label %123
123: ; preds = %121, %116
ret void
}