#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 *);
int hash_function(char *name, int size) {
  char c;
  int i, k, res = 0, len = strlen(name);
  for (i = 0; i < len; i++) {
    c = name[i];
    k = c - '0';
    res = res + k;
  }
  return res % size;
}


x86 assembly (clang, -O0):
<hash_function>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x8(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x20(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    1174 <hash_function+0x64>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0xd(%rbp)
movsbl -0xd(%rbp),%eax
sub    $0x30,%eax
mov    %eax,-0x18(%rbp)
mov    -0x1c(%rbp),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1139 <hash_function+0x29>
mov    -0x1c(%rbp),%eax
cltd
idivl  -0xc(%rbp)
mov    %edx,%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<hash_function>:
push   %rbp
push   %rbx
push   %rax
mov    %esi,%ebp
mov    %rdi,%rbx
call   1030 <strlen@plt>
test   %eax,%eax
jle    1131 <hash_function+0x21>
mov    %eax,%ecx
cmp    $0x8,%eax
jae    1138 <hash_function+0x28>
xor    %edx,%edx
xor    %eax,%eax
jmp    1250 <hash_function+0x140>
xor    %eax,%eax
jmp    1262 <hash_function+0x152>
mov    %ecx,%edx
and    $0xfffffff8,%edx
lea    -0x8(%rdx),%rsi
mov    %rsi,%rax
shr    $0x3,%rax
add    $0x1,%rax
test   %rsi,%rsi
je     126e <hash_function+0x15e>
mov    %rax,%rdi
and    $0xfffffffffffffffe,%rdi
pxor   %xmm0,%xmm0
xor    %esi,%esi
movdqa 0xea6(%rip),%xmm2
pxor   %xmm1,%xmm1
xchg   %ax,%ax
movd   (%rbx,%rsi,1),%xmm3
punpcklbw %xmm3,%xmm3
punpcklwd %xmm3,%xmm3
movd   0x4(%rbx,%rsi,1),%xmm4
punpcklbw %xmm4,%xmm4
punpcklwd %xmm4,%xmm4
psrad  $0x18,%xmm3
paddd  %xmm0,%xmm3
psrad  $0x18,%xmm4
paddd  %xmm1,%xmm4
movd   0x8(%rbx,%rsi,1),%xmm0
punpcklbw %xmm0,%xmm0
punpcklwd %xmm0,%xmm0
psrad  $0x18,%xmm0
movd   0xc(%rbx,%rsi,1),%xmm1
punpcklbw %xmm1,%xmm1
punpcklwd %xmm1,%xmm1
psrad  $0x18,%xmm1
paddd  %xmm2,%xmm0
paddd  %xmm3,%xmm0
paddd  %xmm2,%xmm1
paddd  %xmm4,%xmm1
add    $0x10,%rsi
add    $0xfffffffffffffffe,%rdi
jne    1170 <hash_function+0x60>
movdqa 0xe1b(%rip),%xmm3
movdqa %xmm0,%xmm2
paddd  %xmm3,%xmm2
paddd  %xmm1,%xmm3
test   $0x1,%al
je     122a <hash_function+0x11a>
movd   (%rbx,%rsi,1),%xmm0
movd   0x4(%rbx,%rsi,1),%xmm1
punpcklbw %xmm0,%xmm0
punpcklwd %xmm0,%xmm0
psrad  $0x18,%xmm0
paddd  %xmm0,%xmm2
punpcklbw %xmm1,%xmm0
punpcklwd %xmm0,%xmm0
psrad  $0x18,%xmm0
paddd  %xmm0,%xmm3
movdqa %xmm2,%xmm0
movdqa %xmm3,%xmm1
paddd  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%eax
cmp    %rcx,%rdx
je     1262 <hash_function+0x152>
nopl   0x0(%rax)
movsbl (%rbx,%rdx,1),%esi
add    %esi,%eax
add    $0xffffffd0,%eax
add    $0x1,%rdx
cmp    %rdx,%rcx
jne    1250 <hash_function+0x140>
cltd
idiv   %ebp
mov    %edx,%eax
add    $0x8,%rsp
pop    %rbx
pop    %rbp
ret
movdqa 0xd8a(%rip),%xmm2
xor    %esi,%esi
movdqa %xmm2,%xmm3
test   $0x1,%al
jne    11f5 <hash_function+0xe5>
jmp    122a <hash_function+0x11a>

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

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