#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 mb_memtest(void *p, size_t s) {
  size_t result = 0;
  size_t i = 0;
  for (i = 0; i < s; i++)
    result += ((unsigned char *)p)[i];
  return result;
}


x86 assembly (clang, -O0):
<mb_memtest>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movq   $0x0,-0x18(%rbp)
movq   $0x0,-0x20(%rbp)
movq   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x10(%rbp),%rax
jae    1157 <mb_memtest+0x57>
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
add    -0x18(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    1124 <mb_memtest+0x24>
mov    -0x18(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<mb_memtest>:
test   %rsi,%rsi
je     111c <mb_memtest+0x1c>
lea    -0x1(%rsi),%rax
mov    %esi,%r8d
and    $0x7,%r8d
cmp    $0x7,%rax
jae    111f <mb_memtest+0x1f>
xor    %edx,%edx
xor    %eax,%eax
jmp    1178 <mb_memtest+0x78>
xor    %eax,%eax
ret
and    $0xfffffffffffffff8,%rsi
xor    %edx,%edx
xor    %eax,%eax
nopw   0x0(%rax,%rax,1)
movzbl (%rdi,%rdx,1),%ecx
add    %rax,%rcx
movzbl 0x1(%rdi,%rdx,1),%eax
add    %rcx,%rax
movzbl 0x2(%rdi,%rdx,1),%ecx
add    %rax,%rcx
movzbl 0x3(%rdi,%rdx,1),%eax
add    %rcx,%rax
movzbl 0x4(%rdi,%rdx,1),%ecx
add    %rax,%rcx
movzbl 0x5(%rdi,%rdx,1),%eax
add    %rcx,%rax
movzbl 0x6(%rdi,%rdx,1),%ecx
add    %rax,%rcx
movzbl 0x7(%rdi,%rdx,1),%eax
add    %rcx,%rax
add    $0x8,%rdx
cmp    %rdx,%rsi
jne    1130 <mb_memtest+0x30>
test   %r8,%r8
je     11a0 <mb_memtest+0xa0>
add    %rdx,%rdi
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movzbl (%rdi,%rdx,1),%ecx
add    %rcx,%rax
add    $0x1,%rdx
cmp    %rdx,%r8
jne    1190 <mb_memtest+0x90>
ret

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

LLVM IR (-O2):
define i64 @mb_memtest(i8* nocapture %0, i64 %1) {
%3 = icmp eq i64 %1, 0
br i1 %3, label %72, label %4
4: ; preds = %2
%5 = add i64 %1, -1
%6 = and i64 %1, 7
%7 = icmp ult i64 %5, 7
br i1 %7, label %56, label %8
8: ; preds = %4
%9 = and i64 %1, -8
br label %10
10: ; preds = %10, %8
%11 = phi i64 [ 0, %8 ], [ %53, %10 ]
%12 = phi i64 [ 0, %8 ], [ %52, %10 ]
%13 = phi i64 [ 0, %8 ], [ %54, %10 ]
%14 = getelementptr inbounds i8, i8* %0, i64 %11
%15 = load i8, i8* %14
%16 = zext i8 %15 to i64
%17 = add i64 %12, %16
%18 = or i64 %11, 1
%19 = getelementptr inbounds i8, i8* %0, i64 %18
%20 = load i8, i8* %19
%21 = zext i8 %20 to i64
%22 = add i64 %17, %21
%23 = or i64 %11, 2
%24 = getelementptr inbounds i8, i8* %0, i64 %23
%25 = load i8, i8* %24
%26 = zext i8 %25 to i64
%27 = add i64 %22, %26
%28 = or i64 %11, 3
%29 = getelementptr inbounds i8, i8* %0, i64 %28
%30 = load i8, i8* %29
%31 = zext i8 %30 to i64
%32 = add i64 %27, %31
%33 = or i64 %11, 4
%34 = getelementptr inbounds i8, i8* %0, i64 %33
%35 = load i8, i8* %34
%36 = zext i8 %35 to i64
%37 = add i64 %32, %36
%38 = or i64 %11, 5
%39 = getelementptr inbounds i8, i8* %0, i64 %38
%40 = load i8, i8* %39
%41 = zext i8 %40 to i64
%42 = add i64 %37, %41
%43 = or i64 %11, 6
%44 = getelementptr inbounds i8, i8* %0, i64 %43
%45 = load i8, i8* %44
%46 = zext i8 %45 to i64
%47 = add i64 %42, %46
%48 = or i64 %11, 7
%49 = getelementptr inbounds i8, i8* %0, i64 %48
%50 = load i8, i8* %49
%51 = zext i8 %50 to i64
%52 = add i64 %47, %51
%53 = add nuw i64 %11, 8
%54 = add i64 %13, 8
%55 = icmp eq i64 %54, %9
br i1 %55, label %56, label %10
56: ; preds = %10, %4
%57 = phi i64 [ undef, %4 ], [ %52, %10 ]
%58 = phi i64 [ 0, %4 ], [ %53, %10 ]
%59 = phi i64 [ 0, %4 ], [ %52, %10 ]
%60 = icmp eq i64 %6, 0
br i1 %60, label %72, label %61
61: ; preds = %56, %61
%62 = phi i64 [ %69, %61 ], [ %58, %56 ]
%63 = phi i64 [ %68, %61 ], [ %59, %56 ]
%64 = phi i64 [ %70, %61 ], [ 0, %56 ]
%65 = getelementptr inbounds i8, i8* %0, i64 %62
%66 = load i8, i8* %65
%67 = zext i8 %66 to i64
%68 = add i64 %63, %67
%69 = add nuw i64 %62, 1
%70 = add i64 %64, 1
%71 = icmp eq i64 %70, %6
br i1 %71, label %72, label %61
72: ; preds = %56, %61, %2
%73 = phi i64 [ 0, %2 ], [ %57, %56 ], [ %68, %61 ]
ret i64 %73
}