unsigned long int hash_string(const char *str_param) {
  unsigned long int hval, g;
  const char *str = str_param;
  hval = 0;
  while (*str != '\0') {
    hval <<= 4;
    hval += (unsigned char)*str++;
    g = hval & ((unsigned long int)0xf << (32 - 4));
    if (g != 0) {
      hval ^= g >> (32 - 8);
      hval ^= g;
    }
  }
  return hval;
}


x86 assembly (clang, -O0):
<hash_string>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x20(%rbp)
movq   $0x0,-0x10(%rbp)
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     118c <hash_string+0x8c>
mov    -0x10(%rbp),%rax
shl    $0x4,%rax
mov    %rax,-0x10(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x20(%rbp)
movzbl (%rax),%eax
add    -0x10(%rbp),%rax
mov    %rax,-0x10(%rbp)
movabs $0xf0000000,%rax
and    -0x10(%rbp),%rax
mov    %rax,-0x18(%rbp)
cmpq   $0x0,-0x18(%rbp)
je     1187 <hash_string+0x87>
mov    -0x18(%rbp),%rax
shr    $0x18,%rax
xor    -0x10(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x18(%rbp),%rax
xor    -0x10(%rbp),%rax
mov    %rax,-0x10(%rbp)
jmp    1118 <hash_string+0x18>
mov    -0x10(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<hash_string>:
mov    (%rdi),%dl
test   %dl,%dl
je     1155 <hash_string+0x55>
add    $0x1,%rdi
xor    %eax,%eax
movabs $0xffffffff0fffffff,%r8
ff ff ff
cs nopw 0x0(%rax,%rax,1)
shl    $0x4,%rax
movzbl %dl,%edx
add    %rax,%rdx
mov    %edx,%esi
and    $0xf0000000,%esi
mov    %rsi,%rcx
shr    $0x18,%rcx
mov    %rdx,%rax
and    %r8,%rax
xor    %rcx,%rax
test   %rsi,%rsi
cmove  %rdx,%rax
movzbl (%rdi),%edx
add    $0x1,%rdi
test   %dl,%dl
jne    1120 <hash_string+0x20>
ret
xor    %eax,%eax
ret

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

LLVM IR (-O2):
define i64 @hash_string(i8* nocapture %0) {
%2 = load i8, i8* %0
%3 = icmp eq i8 %2, 0
br i1 %3, label %20, label %4
4: ; preds = %1, %4
%5 = phi i8 [ %18, %4 ], [ %2, %1 ]
%6 = phi i8* [ %9, %4 ], [ %0, %1 ]
%7 = phi i64 [ %17, %4 ], [ 0, %1 ]
%8 = shl i64 %7, 4
%9 = getelementptr inbounds i8, i8* %6, i64 1
%10 = zext i8 %5 to i64
%11 = add i64 %8, %10
%12 = and i64 %11, 4026531840
%13 = icmp eq i64 %12, 0
%14 = lshr exact i64 %12, 24
%15 = and i64 %11, -4026531841
%16 = xor i64 %15, %14
%17 = select i1 %13, i64 %11, i64 %16
%18 = load i8, i8* %9
%19 = icmp eq i8 %18, 0
br i1 %19, label %20, label %4
20: ; preds = %4, %1
%21 = phi i64 [ 0, %1 ], [ %17, %4 ]
ret i64 %21
}