#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 */
size_t verify_buffer(char *buf, size_t count, int expected_value) {
  size_t errors = 0;
  for (size_t i = 0; i < (size_t)count; i++) {
    errors += (buf[i] != (unsigned char)expected_value);
  }
  return errors;
}


x86 assembly (clang, -O0):
<verify_buffer>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
movq   $0x0,-0x20(%rbp)
movq   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%rax
cmp    -0x10(%rbp),%rax
jae    1164 <verify_buffer+0x64>
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x14(%rbp),%ecx
movzbl %cl,%ecx
cmp    %ecx,%eax
setne  %al
and    $0x1,%al
movzbl %al,%eax
cltq
add    -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    111f <verify_buffer+0x1f>
mov    -0x20(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<verify_buffer>:
test   %rsi,%rsi
je     1119 <verify_buffer+0x19>
movzbl %dl,%r9d
cmp    $0x4,%rsi
jae    111c <verify_buffer+0x1c>
xor    %r11d,%r11d
xor    %eax,%eax
jmp    1280 <verify_buffer+0x180>
xor    %eax,%eax
ret
mov    %rsi,%r11
and    $0xfffffffffffffffc,%r11
movd   %r9d,%xmm0
pshufd $0x50,%xmm0,%xmm0
lea    -0x4(%r11),%rax
mov    %rax,%r8
shr    $0x2,%r8
add    $0x1,%r8
test   %rax,%rax
je     129a <verify_buffer+0x19a>
mov    %r8,%r10
and    $0xfffffffffffffffe,%r10
pxor   %xmm1,%xmm1
xor    %eax,%eax
movdqa 0xea6(%rip),%xmm3
pxor   %xmm2,%xmm2
xchg   %ax,%ax
movzwl (%rdi,%rax,1),%ecx
movd   %ecx,%xmm4
punpcklbw %xmm4,%xmm4
punpcklwd %xmm4,%xmm4
movzwl 0x2(%rdi,%rax,1),%ecx
movd   %ecx,%xmm5
punpcklbw %xmm5,%xmm5
punpcklwd %xmm5,%xmm5
psrad  $0x18,%xmm4
psrad  $0x18,%xmm5
pcmpeqd %xmm0,%xmm4
pshufd $0xd4,%xmm4,%xmm4
pandn  %xmm3,%xmm4
paddq  %xmm1,%xmm4
pcmpeqd %xmm0,%xmm5
pshufd $0xd4,%xmm5,%xmm5
pandn  %xmm3,%xmm5
paddq  %xmm2,%xmm5
movzwl 0x4(%rdi,%rax,1),%ecx
movd   %ecx,%xmm1
punpcklbw %xmm1,%xmm1
punpcklwd %xmm1,%xmm1
movzwl 0x6(%rdi,%rax,1),%ecx
movd   %ecx,%xmm2
punpcklbw %xmm2,%xmm2
punpcklwd %xmm2,%xmm2
psrad  $0x18,%xmm1
psrad  $0x18,%xmm2
pcmpeqd %xmm0,%xmm1
pshufd $0xd4,%xmm1,%xmm1
pandn  %xmm3,%xmm1
paddq  %xmm4,%xmm1
pcmpeqd %xmm0,%xmm2
pshufd $0xd4,%xmm2,%xmm2
pandn  %xmm3,%xmm2
paddq  %xmm5,%xmm2
add    $0x8,%rax
add    $0xfffffffffffffffe,%r10
jne    1160 <verify_buffer+0x60>
test   $0x1,%r8b
je     1264 <verify_buffer+0x164>
movzwl (%rdi,%rax,1),%ecx
movd   %ecx,%xmm3
movzwl 0x2(%rdi,%rax,1),%eax
movd   %eax,%xmm4
punpcklbw %xmm3,%xmm3
punpcklwd %xmm3,%xmm3
psrad  $0x18,%xmm3
punpcklbw %xmm4,%xmm4
punpcklwd %xmm4,%xmm4
psrad  $0x18,%xmm4
pcmpeqd %xmm0,%xmm3
pshufd $0xd4,%xmm3,%xmm3
movdqa 0xdb5(%rip),%xmm5
pandn  %xmm5,%xmm3
paddq  %xmm3,%xmm1
pcmpeqd %xmm0,%xmm4
pshufd $0xd4,%xmm4,%xmm0
pandn  %xmm5,%xmm0
paddq  %xmm0,%xmm2
paddq  %xmm2,%xmm1
pshufd $0xee,%xmm1,%xmm0
paddq  %xmm1,%xmm0
movq   %xmm0,%rax
cmp    %rsi,%r11
je     1299 <verify_buffer+0x199>
nopl   0x0(%rax,%rax,1)
movsbl (%rdi,%r11,1),%ecx
xor    %edx,%edx
cmp    %ecx,%r9d
setne  %dl
add    %rdx,%rax
add    $0x1,%r11
cmp    %r11,%rsi
jne    1280 <verify_buffer+0x180>
ret
pxor   %xmm1,%xmm1
xor    %eax,%eax
pxor   %xmm2,%xmm2
test   $0x1,%r8b
jne    120f <verify_buffer+0x10f>
jmp    1264 <verify_buffer+0x164>

LLVM IR (-O0):
define i64 @verify_buffer(i8* %0, i64 %1, i32 %2) {
%4 = alloca i8*
%5 = alloca i64
%6 = alloca i32
%7 = alloca i64
%8 = alloca i64
store i8* %0, i8** %4
store i64 %1, i64* %5
store i32 %2, i32* %6
store i64 0, i64* %7
store i64 0, i64* %8
br label %9
9: ; preds = %27, %3
%10 = load i64, i64* %8
%11 = load i64, i64* %5
%12 = icmp ult i64 %10, %11
br i1 %12, label %13, label %30
13: ; preds = %9
%14 = load i8*, i8** %4
%15 = load i64, i64* %8
%16 = getelementptr inbounds i8, i8* %14, i64 %15
%17 = load i8, i8* %16
%18 = sext i8 %17 to i32
%19 = load i32, i32* %6
%20 = trunc i32 %19 to i8
%21 = zext i8 %20 to i32
%22 = icmp ne i32 %18, %21
%23 = zext i1 %22 to i32
%24 = sext i32 %23 to i64
%25 = load i64, i64* %7
%26 = add i64 %25, %24
store i64 %26, i64* %7
br label %27
27: ; preds = %13
%28 = load i64, i64* %8
%29 = add i64 %28, 1
store i64 %29, i64* %8
br label %9
30: ; preds = %9
%31 = load i64, i64* %7
ret i64 %31
}

LLVM IR (-O2):
define i64 @verify_buffer(i8* nocapture %0, i64 %1, i32 %2) {
%4 = icmp eq i64 %1, 0
br i1 %4, label %89, label %5
5: ; preds = %3
%6 = and i32 %2, 255
%7 = icmp ult i64 %1, 4
br i1 %7, label %86, label %8
8: ; preds = %5
%9 = and i64 %1, -4
%10 = insertelement <2 x i32> poison, i32 %6, i64 0
%11 = shufflevector <2 x i32> %10, <2 x i32> poison, <2 x i32> zeroinitializer
%12 = insertelement <2 x i32> poison, i32 %6, i64 0
%13 = shufflevector <2 x i32> %12, <2 x i32> poison, <2 x i32> zeroinitializer
%14 = add i64 %9, -4
%15 = lshr exact i64 %14, 2
%16 = add nuw nsw i64 %15, 1
%17 = and i64 %16, 1
%18 = icmp eq i64 %14, 0
br i1 %18, label %58, label %19
19: ; preds = %8
%20 = and i64 %16, 9223372036854775806
br label %21
21: ; preds = %21, %19
%22 = phi i64 [ 0, %19 ], [ %55, %21 ]
%23 = phi <2 x i64> [ zeroinitializer, %19 ], [ %53, %21 ]
%24 = phi <2 x i64> [ zeroinitializer, %19 ], [ %54, %21 ]
%25 = phi i64 [ 0, %19 ], [ %56, %21 ]
%26 = getelementptr inbounds i8, i8* %0, i64 %22
%27 = bitcast i8* %26 to <2 x i8>*
%28 = load <2 x i8>, <2 x i8>* %27
%29 = getelementptr inbounds i8, i8* %26, i64 2
%30 = bitcast i8* %29 to <2 x i8>*
%31 = load <2 x i8>, <2 x i8>* %30
%32 = sext <2 x i8> %28 to <2 x i32>
%33 = sext <2 x i8> %31 to <2 x i32>
%34 = icmp ne <2 x i32> %11, %32
%35 = icmp ne <2 x i32> %13, %33
%36 = zext <2 x i1> %34 to <2 x i64>
%37 = zext <2 x i1> %35 to <2 x i64>
%38 = add <2 x i64> %23, %36
%39 = add <2 x i64> %24, %37
%40 = or i64 %22, 4
%41 = getelementptr inbounds i8, i8* %0, i64 %40
%42 = bitcast i8* %41 to <2 x i8>*
%43 = load <2 x i8>, <2 x i8>* %42
%44 = getelementptr inbounds i8, i8* %41, i64 2
%45 = bitcast i8* %44 to <2 x i8>*
%46 = load <2 x i8>, <2 x i8>* %45
%47 = sext <2 x i8> %43 to <2 x i32>
%48 = sext <2 x i8> %46 to <2 x i32>
%49 = icmp ne <2 x i32> %11, %47
%50 = icmp ne <2 x i32> %13, %48
%51 = zext <2 x i1> %49 to <2 x i64>
%52 = zext <2 x i1> %50 to <2 x i64>
%53 = add <2 x i64> %38, %51
%54 = add <2 x i64> %39, %52
%55 = add nuw i64 %22, 8
%56 = add i64 %25, 2
%57 = icmp eq i64 %56, %20
br i1 %57, label %58, label %21
58: ; preds = %21, %8
%59 = phi <2 x i64> [ undef, %8 ], [ %53, %21 ]
%60 = phi <2 x i64> [ undef, %8 ], [ %54, %21 ]
%61 = phi i64 [ 0, %8 ], [ %55, %21 ]
%62 = phi <2 x i64> [ zeroinitializer, %8 ], [ %53, %21 ]
%63 = phi <2 x i64> [ zeroinitializer, %8 ], [ %54, %21 ]
%64 = icmp eq i64 %17, 0
br i1 %64, label %80, label %65
65: ; preds = %58
%66 = getelementptr inbounds i8, i8* %0, i64 %61
%67 = bitcast i8* %66 to <2 x i8>*
%68 = load <2 x i8>, <2 x i8>* %67
%69 = getelementptr inbounds i8, i8* %66, i64 2
%70 = bitcast i8* %69 to <2 x i8>*
%71 = load <2 x i8>, <2 x i8>* %70
%72 = sext <2 x i8> %68 to <2 x i32>
%73 = sext <2 x i8> %71 to <2 x i32>
%74 = icmp ne <2 x i32> %11, %72
%75 = icmp ne <2 x i32> %13, %73
%76 = zext <2 x i1> %74 to <2 x i64>
%77 = zext <2 x i1> %75 to <2 x i64>
%78 = add <2 x i64> %62, %76
%79 = add <2 x i64> %63, %77
br label %80
80: ; preds = %58, %65
%81 = phi <2 x i64> [ %59, %58 ], [ %78, %65 ]
%82 = phi <2 x i64> [ %60, %58 ], [ %79, %65 ]
%83 = add <2 x i64> %82, %81
%84 = call i64 @llvm.vector.reduce.add.v2i64(<2 x i64> %83)
%85 = icmp eq i64 %9, %1
br i1 %85, label %89, label %86
86: ; preds = %5, %80
%87 = phi i64 [ 0, %5 ], [ %9, %80 ]
%88 = phi i64 [ 0, %5 ], [ %84, %80 ]
br label %91
89: ; preds = %91, %80, %3
%90 = phi i64 [ 0, %3 ], [ %84, %80 ], [ %99, %91 ]
ret i64 %90
91: ; preds = %86, %91
%92 = phi i64 [ %100, %91 ], [ %87, %86 ]
%93 = phi i64 [ %99, %91 ], [ %88, %86 ]
%94 = getelementptr inbounds i8, i8* %0, i64 %92
%95 = load i8, i8* %94
%96 = sext i8 %95 to i32
%97 = icmp ne i32 %6, %96
%98 = zext i1 %97 to i64
%99 = add i64 %93, %98
%100 = add nuw i64 %92, 1
%101 = icmp eq i64 %100, %1
br i1 %101, label %89, label %91
}