int hashpjw_HashTable(void *_s) {
  const char *s = (char *)_s, *p;
  int h = 0, g;
  for (p = s; *p != '\0'; p++) {
    h = (h << 4) + *p;
    if ((g = h & (0xf << ((sizeof(int)) * 8 - 4)))) {
      h = h ^ (g >> ((sizeof(int)) * 8 - 4));
      h = h ^ g;
    }
  }
  return h > 0 ? h : -h;
}


x86 assembly (clang, -O0):
<hashpjw_HashTable>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x10(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     1182 <hashpjw_HashTable+0x82>
mov    -0x1c(%rbp),%eax
shl    $0x4,%eax
mov    -0x18(%rbp),%rcx
movsbl (%rcx),%ecx
add    %ecx,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
and    $0xf0000000,%eax
mov    %eax,-0x20(%rbp)
cmp    $0x0,%eax
je     116c <hashpjw_HashTable+0x6c>
mov    -0x1c(%rbp),%eax
mov    -0x20(%rbp),%ecx
sar    $0x1c,%ecx
xor    %ecx,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
xor    -0x20(%rbp),%eax
mov    %eax,-0x1c(%rbp)
jmp    1171 <hashpjw_HashTable+0x71>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    111f <hashpjw_HashTable+0x1f>
cmpl   $0x0,-0x1c(%rbp)
jle    1197 <hashpjw_HashTable+0x97>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x24(%rbp)
jmp    119f <hashpjw_HashTable+0x9f>
xor    %eax,%eax
sub    -0x1c(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<hashpjw_HashTable>:
mov    (%rdi),%al
test   %al,%al
je     113a <hashpjw_HashTable+0x3a>
add    $0x1,%rdi
xor    %ecx,%ecx
nopl   0x0(%rax)
movsbl %al,%eax
shl    $0x4,%ecx
add    %eax,%ecx
mov    %ecx,%eax
and    $0xf0000000,%eax
mov    %ecx,%edx
sar    $0x1c,%edx
xor    %ecx,%edx
xor    %eax,%edx
test   %eax,%eax
cmovne %edx,%ecx
movzbl (%rdi),%eax
add    $0x1,%rdi
test   %al,%al
jne    1110 <hashpjw_HashTable+0x10>
jmp    113c <hashpjw_HashTable+0x3c>
xor    %ecx,%ecx
mov    %ecx,%eax
neg    %eax
cmovs  %ecx,%eax
ret

LLVM IR (-O0):
define i32 @hashpjw_HashTable(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 i32 0, i32* %5
%8 = load i8*, i8** %3
store i8* %8, i8** %4
br label %9
9: ; preds = %33, %1
%10 = load i8*, i8** %4
%11 = load i8, i8* %10
%12 = sext i8 %11 to i32
%13 = icmp ne i32 %12, 0
br i1 %13, label %14, label %36
14: ; preds = %9
%15 = load i32, i32* %5
%16 = shl i32 %15, 4
%17 = load i8*, i8** %4
%18 = load i8, i8* %17
%19 = sext i8 %18 to i32
%20 = add nsw i32 %16, %19
store i32 %20, i32* %5
%21 = load i32, i32* %5
%22 = and i32 %21, -268435456
store i32 %22, i32* %6
%23 = icmp ne i32 %22, 0
br i1 %23, label %24, label %32
24: ; preds = %14
%25 = load i32, i32* %5
%26 = load i32, i32* %6
%27 = ashr i32 %26, 28
%28 = xor i32 %25, %27
store i32 %28, i32* %5
%29 = load i32, i32* %5
%30 = load i32, i32* %6
%31 = xor i32 %29, %30
store i32 %31, i32* %5
br label %32
32: ; preds = %24, %14
br label %33
33: ; preds = %32
%34 = load i8*, i8** %4
%35 = getelementptr inbounds i8, i8* %34, i32 1
store i8* %35, i8** %4
br label %9
36: ; preds = %9
%37 = load i32, i32* %5
%38 = icmp sgt i32 %37, 0
br i1 %38, label %39, label %41
39: ; preds = %36
%40 = load i32, i32* %5
br label %44
41: ; preds = %36
%42 = load i32, i32* %5
%43 = sub nsw i32 0, %42
br label %44
44: ; preds = %41, %39
%45 = phi i32 [ %40, %39 ], [ %43, %41 ]
ret i32 %45
}

LLVM IR (-O2):
define i32 @hashpjw_HashTable(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* [ %17, %4 ], [ %0, %1 ]
%7 = phi i32 [ %16, %4 ], [ 0, %1 ]
%8 = sext i8 %5 to i32
%9 = shl i32 %7, 4
%10 = add nsw i32 %9, %8
%11 = and i32 %10, -268435456
%12 = icmp eq i32 %11, 0
%13 = ashr i32 %10, 28
%14 = xor i32 %13, %10
%15 = xor i32 %14, %11
%16 = select i1 %12, i32 %10, i32 %15
%17 = getelementptr inbounds i8, i8* %6, i64 1
%18 = load i8, i8* %17
%19 = icmp eq i8 %18, 0
br i1 %19, label %20, label %4
20: ; preds = %4, %1
%21 = phi i32 [ 0, %1 ], [ %16, %4 ]
%22 = tail call i32 @llvm.abs.i32(i32 %21, i1 true)
ret i32 %22
}