#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 strlen(char const *);
char verify_checksum(unsigned char *ptr) {
  unsigned char *ptr_loc;
  char checksum;
  int length;
  int i;
  ptr_loc = ptr;
  checksum = 0;
  length = strlen((const char *)ptr);
  for (i = 0; i < length - 1; i++) {
    checksum = checksum ^ *ptr_loc;
    ptr_loc++;
  }
  if (checksum == '\n')
    checksum = checksum + 1;
  checksum = checksum ^ *ptr_loc;
  return checksum;
}


x86 assembly (clang, -O0):
<verify_checksum>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x10(%rbp)
movb   $0x0,-0x11(%rbp)
mov    -0x8(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    1176 <verify_checksum+0x66>
movsbl -0x11(%rbp),%eax
mov    -0x10(%rbp),%rcx
movzbl (%rcx),%ecx
xor    %ecx,%eax
mov    %al,-0x11(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    113b <verify_checksum+0x2b>
movsbl -0x11(%rbp),%eax
cmp    $0xa,%eax
jne    118d <verify_checksum+0x7d>
movsbl -0x11(%rbp),%eax
add    $0x1,%eax
mov    %al,-0x11(%rbp)
movsbl -0x11(%rbp),%eax
mov    -0x10(%rbp),%rcx
movzbl (%rcx),%ecx
xor    %ecx,%eax
mov    %al,-0x11(%rbp)
movsbl -0x11(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<verify_checksum>:
push   %r14
push   %rbx
push   %rax
mov    %rdi,%r14
call   1030 <strlen@plt>
mov    %eax,%ecx
xor    %eax,%eax
cmp    $0x2,%ecx
jl     130c <verify_checksum+0x1fc>
lea    -0x2(%rcx),%r9d
lea    0x1(%r9),%r8
mov    %r14,%rbx
mov    $0x0,%edx
cmp    $0x7,%r9d
jb     12e7 <verify_checksum+0x1d7>
movabs $0x1ffffffe0,%rax
cmp    $0x1f,%r9d
jae    115c <verify_checksum+0x4c>
xor    %edx,%edx
xor    %edi,%edi
jmp    127f <verify_checksum+0x16f>
mov    %r8,%rdi
and    %rax,%rdi
lea    -0x20(%rdi),%rbx
mov    %rbx,%rdx
shr    $0x5,%rdx
add    $0x1,%rdx
mov    %edx,%esi
and    $0x3,%esi
cmp    $0x60,%rbx
jae    1188 <verify_checksum+0x78>
pxor   %xmm0,%xmm0
xor    %ebx,%ebx
pxor   %xmm1,%xmm1
jmp    1201 <verify_checksum+0xf1>
and    $0xfffffffffffffffc,%rdx
pxor   %xmm0,%xmm0
xor    %ebx,%ebx
pxor   %xmm1,%xmm1
cs nopw 0x0(%rax,%rax,1)
movdqu (%r14,%rbx,1),%xmm2
pxor   %xmm0,%xmm2
movdqu 0x10(%r14,%rbx,1),%xmm0
pxor   %xmm1,%xmm0
movdqu 0x20(%r14,%rbx,1),%xmm1
movdqu 0x30(%r14,%rbx,1),%xmm3
movdqu 0x40(%r14,%rbx,1),%xmm4
pxor   %xmm1,%xmm4
pxor   %xmm2,%xmm4
movdqu 0x50(%r14,%rbx,1),%xmm2
pxor   %xmm3,%xmm2
pxor   %xmm0,%xmm2
movdqu 0x60(%r14,%rbx,1),%xmm0
pxor   %xmm4,%xmm0
movdqu 0x70(%r14,%rbx,1),%xmm1
pxor   %xmm2,%xmm1
sub    $0xffffffffffffff80,%rbx
add    $0xfffffffffffffffc,%rdx
jne    11a0 <verify_checksum+0x90>
test   %rsi,%rsi
je     123c <verify_checksum+0x12c>
lea    (%rbx,%r14,1),%rdx
add    $0x10,%rdx
shl    $0x5,%rsi
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movdqu -0x10(%rdx,%rbx,1),%xmm2
pxor   %xmm2,%xmm0
movdqu (%rdx,%rbx,1),%xmm2
pxor   %xmm2,%xmm1
add    $0x20,%rbx
cmp    %rbx,%rsi
jne    1220 <verify_checksum+0x110>
pxor   %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
pxor   %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
pxor   %xmm1,%xmm0
movdqa %xmm0,%xmm1
psrld  $0x10,%xmm1
pxor   %xmm0,%xmm1
movdqa %xmm1,%xmm0
psrlw  $0x8,%xmm0
pxor   %xmm1,%xmm0
movd   %xmm0,%edx
cmp    %rdi,%r8
je     12fb <verify_checksum+0x1eb>
test   $0x18,%r8b
je     12e1 <verify_checksum+0x1d1>
add    $0x1,%r9
add    $0x18,%rax
and    %r9,%rax
lea    (%r14,%rax,1),%rbx
movzbl %dl,%edx
movd   %edx,%xmm0
cs nopw 0x0(%rax,%rax,1)
nop
movq   (%r14,%rdi,1),%xmm1
pxor   %xmm1,%xmm0
add    $0x8,%rdi
cmp    %rdi,%rax
jne    12a0 <verify_checksum+0x190>
pshufd $0x55,%xmm0,%xmm1
pxor   %xmm0,%xmm1
movdqa %xmm1,%xmm0
psrld  $0x10,%xmm0
pxor   %xmm1,%xmm0
movdqa %xmm0,%xmm1
psrlw  $0x8,%xmm1
pxor   %xmm0,%xmm1
movd   %xmm1,%edx
cmp    %rax,%r9
jne    12e7 <verify_checksum+0x1d7>
jmp    12fb <verify_checksum+0x1eb>
lea    (%r14,%rdi,1),%rbx
mov    %edi,%eax
not    %eax
add    %ecx,%eax
xor    %ecx,%ecx
nopl   (%rax)
xor    (%rbx,%rcx,1),%dl
add    $0x1,%rcx
cmp    %ecx,%eax
jne    12f0 <verify_checksum+0x1e0>
add    %r8,%r14
cmp    $0xa,%dl
movzbl %dl,%ecx
mov    $0xb,%eax
cmovne %ecx,%eax
xor    (%r14),%al
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret

LLVM IR (-O0):
define signext i8 @verify_checksum(i8* %0) {
%2 = alloca i8*
%3 = alloca i8*
%4 = alloca i8
%5 = alloca i32
%6 = alloca i32
store i8* %0, i8** %2
%7 = load i8*, i8** %2
store i8* %7, i8** %3
store i8 0, i8* %4
%8 = load i8*, i8** %2
%9 = call i32 @strlen(i8* %8)
store i32 %9, i32* %5
store i32 0, i32* %6
br label %10
10: ; preds = %25, %1
%11 = load i32, i32* %6
%12 = load i32, i32* %5
%13 = sub nsw i32 %12, 1
%14 = icmp slt i32 %11, %13
br i1 %14, label %15, label %28
15: ; preds = %10
%16 = load i8, i8* %4
%17 = sext i8 %16 to i32
%18 = load i8*, i8** %3
%19 = load i8, i8* %18
%20 = zext i8 %19 to i32
%21 = xor i32 %17, %20
%22 = trunc i32 %21 to i8
store i8 %22, i8* %4
%23 = load i8*, i8** %3
%24 = getelementptr inbounds i8, i8* %23, i32 1
store i8* %24, i8** %3
br label %25
25: ; preds = %15
%26 = load i32, i32* %6
%27 = add nsw i32 %26, 1
store i32 %27, i32* %6
br label %10
28: ; preds = %10
%29 = load i8, i8* %4
%30 = sext i8 %29 to i32
%31 = icmp eq i32 %30, 10
br i1 %31, label %32, label %37
32: ; preds = %28
%33 = load i8, i8* %4
%34 = sext i8 %33 to i32
%35 = add nsw i32 %34, 1
%36 = trunc i32 %35 to i8
store i8 %36, i8* %4
br label %37
37: ; preds = %32, %28
%38 = load i8, i8* %4
%39 = sext i8 %38 to i32
%40 = load i8*, i8** %3
%41 = load i8, i8* %40
%42 = zext i8 %41 to i32
%43 = xor i32 %39, %42
%44 = trunc i32 %43 to i8
store i8 %44, i8* %4
%45 = load i8, i8* %4
ret i8 %45
}

LLVM IR (-O2):
define signext i8 @verify_checksum(i8* %0) {
%2 = tail call i32 @strlen(i8* %0)
%3 = add i32 %2, -1
%4 = icmp sgt i32 %2, 1
br i1 %4, label %5, label %141
5: ; preds = %1
%6 = add nsw i32 %2, -2
%7 = zext i32 %6 to i64
%8 = add nuw nsw i64 %7, 1
%9 = add i32 %2, -2
%10 = zext i32 %9 to i64
%11 = add nuw nsw i64 %10, 1
%12 = icmp ult i32 %9, 7
br i1 %12, label %123, label %13
13: ; preds = %5
%14 = icmp ult i32 %9, 31
br i1 %14, label %101, label %15
15: ; preds = %13
%16 = and i64 %11, 8589934560
%17 = add nsw i64 %16, -32
%18 = lshr exact i64 %17, 5
%19 = add nuw nsw i64 %18, 1
%20 = and i64 %19, 3
%21 = icmp ult i64 %17, 96
br i1 %21, label %67, label %22
22: ; preds = %15
%23 = and i64 %19, 1152921504606846972
br label %24
24: ; preds = %24, %22
%25 = phi i64 [ 0, %22 ], [ %64, %24 ]
%26 = phi <16 x i8> [ zeroinitializer, %22 ], [ %62, %24 ]
%27 = phi <16 x i8> [ zeroinitializer, %22 ], [ %63, %24 ]
%28 = phi i64 [ 0, %22 ], [ %65, %24 ]
%29 = getelementptr i8, i8* %0, i64 %25
%30 = bitcast i8* %29 to <16 x i8>*
%31 = load <16 x i8>, <16 x i8>* %30
%32 = getelementptr i8, i8* %29, i64 16
%33 = bitcast i8* %32 to <16 x i8>*
%34 = load <16 x i8>, <16 x i8>* %33
%35 = xor <16 x i8> %31, %26
%36 = xor <16 x i8> %34, %27
%37 = or i64 %25, 32
%38 = getelementptr i8, i8* %0, i64 %37
%39 = bitcast i8* %38 to <16 x i8>*
%40 = load <16 x i8>, <16 x i8>* %39
%41 = getelementptr i8, i8* %38, i64 16
%42 = bitcast i8* %41 to <16 x i8>*
%43 = load <16 x i8>, <16 x i8>* %42
%44 = xor <16 x i8> %40, %35
%45 = xor <16 x i8> %43, %36
%46 = or i64 %25, 64
%47 = getelementptr i8, i8* %0, i64 %46
%48 = bitcast i8* %47 to <16 x i8>*
%49 = load <16 x i8>, <16 x i8>* %48
%50 = getelementptr i8, i8* %47, i64 16
%51 = bitcast i8* %50 to <16 x i8>*
%52 = load <16 x i8>, <16 x i8>* %51
%53 = xor <16 x i8> %49, %44
%54 = xor <16 x i8> %52, %45
%55 = or i64 %25, 96
%56 = getelementptr i8, i8* %0, i64 %55
%57 = bitcast i8* %56 to <16 x i8>*
%58 = load <16 x i8>, <16 x i8>* %57
%59 = getelementptr i8, i8* %56, i64 16
%60 = bitcast i8* %59 to <16 x i8>*
%61 = load <16 x i8>, <16 x i8>* %60
%62 = xor <16 x i8> %58, %53
%63 = xor <16 x i8> %61, %54
%64 = add nuw i64 %25, 128
%65 = add i64 %28, 4
%66 = icmp eq i64 %65, %23
br i1 %66, label %67, label %24
67: ; preds = %24, %15
%68 = phi <16 x i8> [ undef, %15 ], [ %62, %24 ]
%69 = phi <16 x i8> [ undef, %15 ], [ %63, %24 ]
%70 = phi i64 [ 0, %15 ], [ %64, %24 ]
%71 = phi <16 x i8> [ zeroinitializer, %15 ], [ %62, %24 ]
%72 = phi <16 x i8> [ zeroinitializer, %15 ], [ %63, %24 ]
%73 = icmp eq i64 %20, 0
br i1 %73, label %90, label %74
74: ; preds = %67, %74
%75 = phi i64 [ %87, %74 ], [ %70, %67 ]
%76 = phi <16 x i8> [ %85, %74 ], [ %71, %67 ]
%77 = phi <16 x i8> [ %86, %74 ], [ %72, %67 ]
%78 = phi i64 [ %88, %74 ], [ 0, %67 ]
%79 = getelementptr i8, i8* %0, i64 %75
%80 = bitcast i8* %79 to <16 x i8>*
%81 = load <16 x i8>, <16 x i8>* %80
%82 = getelementptr i8, i8* %79, i64 16
%83 = bitcast i8* %82 to <16 x i8>*
%84 = load <16 x i8>, <16 x i8>* %83
%85 = xor <16 x i8> %81, %76
%86 = xor <16 x i8> %84, %77
%87 = add nuw i64 %75, 32
%88 = add i64 %78, 1
%89 = icmp eq i64 %88, %20
br i1 %89, label %90, label %74
90: ; preds = %74, %67
%91 = phi <16 x i8> [ %68, %67 ], [ %85, %74 ]
%92 = phi <16 x i8> [ %69, %67 ], [ %86, %74 ]
%93 = xor <16 x i8> %92, %91
%94 = call i8 @llvm.vector.reduce.xor.v16i8(<16 x i8> %93)
%95 = icmp eq i64 %11, %16
br i1 %95, label %136, label %96
96: ; preds = %90
%97 = getelementptr i8, i8* %0, i64 %16
%98 = trunc i64 %16 to i32
%99 = and i64 %11, 24
%100 = icmp eq i64 %99, 0
br i1 %100, label %123, label %101
101: ; preds = %13, %96
%102 = phi i8 [ 0, %13 ], [ %94, %96 ]
%103 = phi i64 [ 0, %13 ], [ %16, %96 ]
%104 = add i32 %2, -2
%105 = zext i32 %104 to i64
%106 = add nuw nsw i64 %105, 1
%107 = and i64 %106, 8589934584
%108 = trunc i64 %107 to i32
%109 = getelementptr i8, i8* %0, i64 %107
%110 = insertelement <8 x i8> <i8 poison, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0>, i8 %102, i64 0
br label %111
111: ; preds = %111, %101
%112 = phi i64 [ %103, %101 ], [ %118, %111 ]
%113 = phi <8 x i8> [ %110, %101 ], [ %117, %111 ]
%114 = getelementptr i8, i8* %0, i64 %112
%115 = bitcast i8* %114 to <8 x i8>*
%116 = load <8 x i8>, <8 x i8>* %115
%117 = xor <8 x i8> %116, %113
%118 = add nuw i64 %112, 8
%119 = icmp eq i64 %118, %107
br i1 %119, label %120, label %111
120: ; preds = %111
%121 = call i8 @llvm.vector.reduce.xor.v8i8(<8 x i8> %117)
%122 = icmp eq i64 %106, %107
br i1 %122, label %136, label %123
123: ; preds = %5, %96, %120
%124 = phi i32 [ 0, %5 ], [ %98, %96 ], [ %108, %120 ]
%125 = phi i8* [ %0, %5 ], [ %97, %96 ], [ %109, %120 ]
%126 = phi i8 [ 0, %5 ], [ %94, %96 ], [ %121, %120 ]
br label %127
127: ; preds = %123, %127
%128 = phi i32 [ %134, %127 ], [ %124, %123 ]
%129 = phi i8* [ %133, %127 ], [ %125, %123 ]
%130 = phi i8 [ %132, %127 ], [ %126, %123 ]
%131 = load i8, i8* %129
%132 = xor i8 %131, %130
%133 = getelementptr inbounds i8, i8* %129, i64 1
%134 = add nuw nsw i32 %128, 1
%135 = icmp eq i32 %134, %3
br i1 %135, label %136, label %127
136: ; preds = %127, %120, %90
%137 = phi i8 [ %94, %90 ], [ %121, %120 ], [ %132, %127 ]
%138 = getelementptr i8, i8* %0, i64 %8
%139 = icmp eq i8 %137, 10
%140 = select i1 %139, i8 11, i8 %137
br label %141
141: ; preds = %136, %1
%142 = phi i8* [ %0, %1 ], [ %138, %136 ]
%143 = phi i8 [ 0, %1 ], [ %140, %136 ]
%144 = load i8, i8* %142
%145 = xor i8 %144, %143
ret i8 %145
}