#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 memcmp_not_common_alignment(long int srcp1, long int srcp2, size_t len) {
  unsigned long int a0, a1, a2, a3;
  unsigned long int b0, b1, b2, b3;
  unsigned long int x;
  int shl, shr;
  shl = 8 * (srcp1 % (sizeof(unsigned long int)));
  shr = 8 * (sizeof(unsigned long int)) - shl;
  srcp1 &= -(sizeof(unsigned long int));
  switch (len % 4) {
  default:
  case 2:
    a1 = ((unsigned long int *)srcp1)[0];
    a2 = ((unsigned long int *)srcp1)[1];
    b2 = ((unsigned long int *)srcp2)[0];
    srcp1 -= 1 * (sizeof(unsigned long int));
    srcp2 -= 2 * (sizeof(unsigned long int));
    len += 2;
    goto do1;
  case 3:
    a0 = ((unsigned long int *)srcp1)[0];
    a1 = ((unsigned long int *)srcp1)[1];
    b1 = ((unsigned long int *)srcp2)[0];
    srcp2 -= 1 * (sizeof(unsigned long int));
    len += 1;
    goto do2;
  case 0:
    if (16 <= 3 * (sizeof(unsigned long int)) && len == 0)
      return 0;
    a3 = ((unsigned long int *)srcp1)[0];
    a0 = ((unsigned long int *)srcp1)[1];
    b0 = ((unsigned long int *)srcp2)[0];
    srcp1 += 1 * (sizeof(unsigned long int));
    goto do3;
  case 1:
    a2 = ((unsigned long int *)srcp1)[0];
    a3 = ((unsigned long int *)srcp1)[1];
    b3 = ((unsigned long int *)srcp2)[0];
    srcp1 += 2 * (sizeof(unsigned long int));
    srcp2 += 1 * (sizeof(unsigned long int));
    len -= 1;
    if (16 <= 3 * (sizeof(unsigned long int)) && len == 0)
      goto do0;
  }
  do {
    a0 = ((unsigned long int *)srcp1)[0];
    b0 = ((unsigned long int *)srcp2)[0];
    x = (((a2) << (shl)) | ((a3) >> (shr)));
    if (x != b3)
      return ((x) > (b3) ? 1 : -1);
  do3:
    a1 = ((unsigned long int *)srcp1)[1];
    b1 = ((unsigned long int *)srcp2)[1];
    x = (((a3) << (shl)) | ((a0) >> (shr)));
    if (x != b0)
      return ((x) > (b0) ? 1 : -1);
  do2:
    a2 = ((unsigned long int *)srcp1)[2];
    b2 = ((unsigned long int *)srcp2)[2];
    x = (((a0) << (shl)) | ((a1) >> (shr)));
    if (x != b1)
      return ((x) > (b1) ? 1 : -1);
  do1:
    a3 = ((unsigned long int *)srcp1)[3];
    b3 = ((unsigned long int *)srcp2)[3];
    x = (((a1) << (shl)) | ((a2) >> (shr)));
    if (x != b2)
      return ((x) > (b2) ? 1 : -1);
    srcp1 += 4 * (sizeof(unsigned long int));
    srcp2 += 4 * (sizeof(unsigned long int));
    len -= 4;
  } while (len != 0);
do0:
  x = (((a2) << (shl)) | ((a3) >> (shr)));
  if (x != b3)
    return ((x) > (b3) ? 1 : -1);
  return 0;
}


x86 assembly (clang, -O0):
<memcmp_not_common_alignment>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    -0x10(%rbp),%eax
and    $0x7,%eax
shl    $0x3,%eax
mov    %eax,-0x6c(%rbp)
mov    -0x6c(%rbp),%ecx
mov    $0x40,%eax
sub    %ecx,%eax
mov    %eax,-0x70(%rbp)
mov    -0x10(%rbp),%al
and    $0xf8,%al
mov    %al,-0x10(%rbp)
mov    -0x20(%rbp),%rax
and    $0x3,%eax
mov    %rax,-0x78(%rbp)
sub    $0x3,%rax
ja     115a <memcmp_not_common_alignment+0x5a>
mov    -0x78(%rbp),%rax
lea    0xeaf(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
jmp    115f <memcmp_not_common_alignment+0x5f>
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x30(%rbp)
mov    -0x10(%rbp),%rax
mov    0x8(%rax),%rax
mov    %rax,-0x38(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x58(%rbp)
mov    -0x10(%rbp),%rax
sub    $0x8,%rax
mov    %rax,-0x10(%rbp)
mov    -0x18(%rbp),%rax
sub    $0x10,%rax
mov    %rax,-0x18(%rbp)
mov    -0x20(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x20(%rbp)
jmp    13cc <memcmp_not_common_alignment+0x2cc>
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
mov    0x8(%rax),%rax
mov    %rax,-0x30(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x50(%rbp)
mov    -0x18(%rbp),%rax
sub    $0x8,%rax
mov    %rax,-0x18(%rbp)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    1363 <memcmp_not_common_alignment+0x263>
cmpq   $0x0,-0x20(%rbp)
jne    1200 <memcmp_not_common_alignment+0x100>
movl   $0x0,-0x4(%rbp)
jmp    14b7 <memcmp_not_common_alignment+0x3b7>
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x40(%rbp)
mov    -0x10(%rbp),%rax
mov    0x8(%rax),%rax
mov    %rax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x48(%rbp)
mov    -0x10(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x10(%rbp)
jmp    12fa <memcmp_not_common_alignment+0x1fa>
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x38(%rbp)
mov    -0x10(%rbp),%rax
mov    0x8(%rax),%rax
mov    %rax,-0x40(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x60(%rbp)
mov    -0x10(%rbp),%rax
add    $0x10,%rax
mov    %rax,-0x10(%rbp)
mov    -0x18(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x18(%rbp)
mov    -0x20(%rbp),%rax
sub    $0x1,%rax
mov    %rax,-0x20(%rbp)
cmpq   $0x0,-0x20(%rbp)
jne    1289 <memcmp_not_common_alignment+0x189>
jmp    1464 <memcmp_not_common_alignment+0x364>
jmp    128e <memcmp_not_common_alignment+0x18e>
jmp    1293 <memcmp_not_common_alignment+0x193>
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x48(%rbp)
mov    -0x38(%rbp),%rax
mov    -0x6c(%rbp),%ecx
shl    %cl,%rax
mov    -0x40(%rbp),%rdx
mov    -0x70(%rbp),%ecx
shr    %cl,%rdx
mov    %rdx,%rcx
or     %rcx,%rax
mov    %rax,-0x68(%rbp)
mov    -0x68(%rbp),%rax
cmp    -0x60(%rbp),%rax
je     12f5 <memcmp_not_common_alignment+0x1f5>
mov    -0x68(%rbp),%rdx
mov    -0x60(%rbp),%rsi
mov    $0xffffffff,%eax
mov    $0x1,%ecx
cmp    %rsi,%rdx
cmova  %ecx,%eax
mov    %eax,-0x4(%rbp)
jmp    14b7 <memcmp_not_common_alignment+0x3b7>
jmp    12fa <memcmp_not_common_alignment+0x1fa>
mov    -0x10(%rbp),%rax
mov    0x8(%rax),%rax
mov    %rax,-0x30(%rbp)
mov    -0x18(%rbp),%rax
mov    0x8(%rax),%rax
mov    %rax,-0x50(%rbp)
mov    -0x40(%rbp),%rax
mov    -0x6c(%rbp),%ecx
shl    %cl,%rax
mov    -0x28(%rbp),%rdx
mov    -0x70(%rbp),%ecx
shr    %cl,%rdx
mov    %rdx,%rcx
or     %rcx,%rax
mov    %rax,-0x68(%rbp)
mov    -0x68(%rbp),%rax
cmp    -0x48(%rbp),%rax
je     135e <memcmp_not_common_alignment+0x25e>
mov    -0x68(%rbp),%rdx
mov    -0x48(%rbp),%rsi
mov    $0xffffffff,%eax
mov    $0x1,%ecx
cmp    %rsi,%rdx
cmova  %ecx,%eax
mov    %eax,-0x4(%rbp)
jmp    14b7 <memcmp_not_common_alignment+0x3b7>
jmp    1363 <memcmp_not_common_alignment+0x263>
mov    -0x10(%rbp),%rax
mov    0x10(%rax),%rax
mov    %rax,-0x38(%rbp)
mov    -0x18(%rbp),%rax
mov    0x10(%rax),%rax
mov    %rax,-0x58(%rbp)
mov    -0x28(%rbp),%rax
mov    -0x6c(%rbp),%ecx
shl    %cl,%rax
mov    -0x30(%rbp),%rdx
mov    -0x70(%rbp),%ecx
shr    %cl,%rdx
mov    %rdx,%rcx
or     %rcx,%rax
mov    %rax,-0x68(%rbp)
mov    -0x68(%rbp),%rax
cmp    -0x50(%rbp),%rax
je     13c7 <memcmp_not_common_alignment+0x2c7>
mov    -0x68(%rbp),%rdx
mov    -0x50(%rbp),%rsi
mov    $0xffffffff,%eax
mov    $0x1,%ecx
cmp    %rsi,%rdx
cmova  %ecx,%eax
mov    %eax,-0x4(%rbp)
jmp    14b7 <memcmp_not_common_alignment+0x3b7>
jmp    13cc <memcmp_not_common_alignment+0x2cc>
mov    -0x10(%rbp),%rax
mov    0x18(%rax),%rax
mov    %rax,-0x40(%rbp)
mov    -0x18(%rbp),%rax
mov    0x18(%rax),%rax
mov    %rax,-0x60(%rbp)
mov    -0x30(%rbp),%rax
mov    -0x6c(%rbp),%ecx
shl    %cl,%rax
mov    -0x38(%rbp),%rdx
mov    -0x70(%rbp),%ecx
shr    %cl,%rdx
mov    %rdx,%rcx
or     %rcx,%rax
mov    %rax,-0x68(%rbp)
mov    -0x68(%rbp),%rax
cmp    -0x58(%rbp),%rax
je     1430 <memcmp_not_common_alignment+0x330>
mov    -0x68(%rbp),%rdx
mov    -0x58(%rbp),%rsi
mov    $0xffffffff,%eax
mov    $0x1,%ecx
cmp    %rsi,%rdx
cmova  %ecx,%eax
mov    %eax,-0x4(%rbp)
jmp    14b7 <memcmp_not_common_alignment+0x3b7>
mov    -0x10(%rbp),%rax
add    $0x20,%rax
mov    %rax,-0x10(%rbp)
mov    -0x18(%rbp),%rax
add    $0x20,%rax
mov    %rax,-0x18(%rbp)
mov    -0x20(%rbp),%rax
sub    $0x4,%rax
mov    %rax,-0x20(%rbp)
cmpq   $0x0,-0x20(%rbp)
jne    1293 <memcmp_not_common_alignment+0x193>
jmp    1464 <memcmp_not_common_alignment+0x364>
mov    -0x38(%rbp),%rax
mov    -0x6c(%rbp),%ecx
shl    %cl,%rax
mov    -0x40(%rbp),%rdx
mov    -0x70(%rbp),%ecx
shr    %cl,%rdx
mov    %rdx,%rcx
or     %rcx,%rax
mov    %rax,-0x68(%rbp)
mov    -0x68(%rbp),%rax
cmp    -0x60(%rbp),%rax
je     14b0 <memcmp_not_common_alignment+0x3b0>
mov    -0x68(%rbp),%rdx
mov    -0x60(%rbp),%rsi
mov    $0xffffffff,%eax
mov    $0x1,%ecx
cmp    %rsi,%rdx
cmova  %ecx,%eax
mov    %eax,-0x4(%rbp)
jmp    14b7 <memcmp_not_common_alignment+0x3b7>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<memcmp_not_common_alignment>:
push   %r15
push   %r14
push   %rbx
lea    0x0(,%rdi,8),%ecx
and    $0x38,%ecx
mov    $0x40,%r10d
sub    %ecx,%r10d
and    $0xfffffffffffffff8,%rdi
mov    %edx,%eax
and    $0x3,%eax
lea    0xed8(%rip),%rbx
movslq (%rbx,%rax,4),%rax
add    %rbx,%rax
jmp    *%rax
xor    %eax,%eax
test   %rdx,%rdx
je     1264 <memcmp_not_common_alignment+0x164>
mov    (%rdi),%r9
add    $0x8,%rdi
mov    %ecx,%r8d
mov    %r10d,%r10d
jmp    11c8 <memcmp_not_common_alignment+0xc8>
mov    (%rdi),%rax
mov    0x8(%rdi),%r9
mov    (%rsi),%r11
add    $0xffffffffffffffff,%rdx
je     11a2 <memcmp_not_common_alignment+0xa2>
add    $0x8,%rsi
add    $0x10,%rdi
mov    %ecx,%r8d
mov    %r10d,%r10d
jmp    11ad <memcmp_not_common_alignment+0xad>
mov    (%rdi),%r15
lea    0x8(%rdi),%r9
mov    %rsi,%r14
add    $0xfffffffffffffff8,%rdi
add    $0xfffffffffffffff0,%rsi
add    $0x2,%rdx
mov    %ecx,%r8d
mov    %r10d,%r10d
jmp    120f <memcmp_not_common_alignment+0x10f>
mov    (%rdi),%rax
mov    %rsi,%r11
add    $0xfffffffffffffff8,%rsi
add    $0x1,%rdx
mov    %ecx,%r8d
mov    %r10d,%r10d
jmp    11e6 <memcmp_not_common_alignment+0xe6>
mov    %ecx,%r8d
mov    %r10d,%r10d
jmp    1243 <memcmp_not_common_alignment+0x143>
mov    %r8d,%ecx
shl    %cl,%rax
mov    %r9,%rbx
mov    %r10d,%ecx
shr    %cl,%rbx
or     %rax,%rbx
cmp    %r11,%rbx
jne    1259 <memcmp_not_common_alignment+0x159>
mov    %r8d,%ecx
shl    %cl,%r9
mov    (%rdi),%rax
mov    %rax,%rbx
mov    %r10d,%ecx
shr    %cl,%rbx
lea    0x8(%rsi),%r11
or     %r9,%rbx
cmp    (%rsi),%rbx
jne    1259 <memcmp_not_common_alignment+0x159>
mov    0x8(%rdi),%r15
mov    %rdi,%r9
mov    %r8d,%ecx
shl    %cl,%rax
add    $0x10,%r9
mov    %rsi,%r14
mov    %r15,%rbx
mov    %r10d,%ecx
shr    %cl,%rbx
add    $0x10,%r14
or     %rax,%rbx
cmp    (%r11),%rbx
jne    1259 <memcmp_not_common_alignment+0x159>
mov    (%r9),%rax
mov    %r8d,%ecx
shl    %cl,%r15
mov    0x18(%rdi),%r9
mov    %rax,%rbx
mov    %r10d,%ecx
shr    %cl,%rbx
mov    0x18(%rsi),%r11
or     %r15,%rbx
cmp    (%r14),%rbx
jne    1259 <memcmp_not_common_alignment+0x159>
add    $0x20,%rdi
add    $0x20,%rsi
add    $0xfffffffffffffffc,%rdx
jne    11ad <memcmp_not_common_alignment+0xad>
mov    %r8d,%ecx
shl    %cl,%rax
mov    %r10d,%ecx
shr    %cl,%r9
or     %rax,%r9
xor    %eax,%eax
cmp    %r11,%r9
je     1264 <memcmp_not_common_alignment+0x164>
seta   %al
movzbl %al,%eax
add    %eax,%eax
add    $0xffffffff,%eax
pop    %rbx
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define i32 @memcmp_not_common_alignment(i64 %0, i64 %1, i64 %2) {
%4 = alloca i32
%5 = alloca i64
%6 = alloca i64
%7 = alloca i64
%8 = alloca i64
%9 = alloca i64
%10 = alloca i64
%11 = alloca i64
%12 = alloca i64
%13 = alloca i64
%14 = alloca i64
%15 = alloca i64
%16 = alloca i64
%17 = alloca i32
%18 = alloca i32
store i64 %0, i64* %5
store i64 %1, i64* %6
store i64 %2, i64* %7
%19 = load i64, i64* %5
%20 = urem i64 %19, 8
%21 = mul i64 8, %20
%22 = trunc i64 %21 to i32
store i32 %22, i32* %17
%23 = load i32, i32* %17
%24 = sext i32 %23 to i64
%25 = sub i64 64, %24
%26 = trunc i64 %25 to i32
store i32 %26, i32* %18
%27 = load i64, i64* %5
%28 = and i64 %27, -8
store i64 %28, i64* %5
%29 = load i64, i64* %7
%30 = urem i64 %29, 4
switch i64 %30, label %31 [
i64 2, label %32
i64 3, label %51
i64 0, label %68
i64 1, label %87
]
31: ; preds = %3
br label %32
32: ; preds = %3, %31
%33 = load i64, i64* %5
%34 = inttoptr i64 %33 to i64*
%35 = getelementptr inbounds i64, i64* %34, i64 0
%36 = load i64, i64* %35
store i64 %36, i64* %9
%37 = load i64, i64* %5
%38 = inttoptr i64 %37 to i64*
%39 = getelementptr inbounds i64, i64* %38, i64 1
%40 = load i64, i64* %39
store i64 %40, i64* %10
%41 = load i64, i64* %6
%42 = inttoptr i64 %41 to i64*
%43 = getelementptr inbounds i64, i64* %42, i64 0
%44 = load i64, i64* %43
store i64 %44, i64* %14
%45 = load i64, i64* %5
%46 = sub i64 %45, 8
store i64 %46, i64* %5
%47 = load i64, i64* %6
%48 = sub i64 %47, 16
store i64 %48, i64* %6
%49 = load i64, i64* %7
%50 = add i64 %49, 2
store i64 %50, i64* %7
br label %195
51: ; preds = %3
%52 = load i64, i64* %5
%53 = inttoptr i64 %52 to i64*
%54 = getelementptr inbounds i64, i64* %53, i64 0
%55 = load i64, i64* %54
store i64 %55, i64* %8
%56 = load i64, i64* %5
%57 = inttoptr i64 %56 to i64*
%58 = getelementptr inbounds i64, i64* %57, i64 1
%59 = load i64, i64* %58
store i64 %59, i64* %9
%60 = load i64, i64* %6
%61 = inttoptr i64 %60 to i64*
%62 = getelementptr inbounds i64, i64* %61, i64 0
%63 = load i64, i64* %62
store i64 %63, i64* %13
%64 = load i64, i64* %6
%65 = sub i64 %64, 8
store i64 %65, i64* %6
%66 = load i64, i64* %7
%67 = add i64 %66, 1
store i64 %67, i64* %7
br label %167
68: ; preds = %3
%69 = load i64, i64* %7
%70 = icmp eq i64 %69, 0
br i1 %70, label %71, label %72
71: ; preds = %68
store i32 0, i32* %4
br label %253
72: ; preds = %68
%73 = load i64, i64* %5
%74 = inttoptr i64 %73 to i64*
%75 = getelementptr inbounds i64, i64* %74, i64 0
%76 = load i64, i64* %75
store i64 %76, i64* %11
%77 = load i64, i64* %5
%78 = inttoptr i64 %77 to i64*
%79 = getelementptr inbounds i64, i64* %78, i64 1
%80 = load i64, i64* %79
store i64 %80, i64* %8
%81 = load i64, i64* %6
%82 = inttoptr i64 %81 to i64*
%83 = getelementptr inbounds i64, i64* %82, i64 0
%84 = load i64, i64* %83
store i64 %84, i64* %12
%85 = load i64, i64* %5
%86 = add i64 %85, 8
store i64 %86, i64* %5
br label %139
87: ; preds = %3
%88 = load i64, i64* %5
%89 = inttoptr i64 %88 to i64*
%90 = getelementptr inbounds i64, i64* %89, i64 0
%91 = load i64, i64* %90
store i64 %91, i64* %10
%92 = load i64, i64* %5
%93 = inttoptr i64 %92 to i64*
%94 = getelementptr inbounds i64, i64* %93, i64 1
%95 = load i64, i64* %94
store i64 %95, i64* %11
%96 = load i64, i64* %6
%97 = inttoptr i64 %96 to i64*
%98 = getelementptr inbounds i64, i64* %97, i64 0
%99 = load i64, i64* %98
store i64 %99, i64* %15
%100 = load i64, i64* %5
%101 = add i64 %100, 16
store i64 %101, i64* %5
%102 = load i64, i64* %6
%103 = add i64 %102, 8
store i64 %103, i64* %6
%104 = load i64, i64* %7
%105 = sub i64 %104, 1
store i64 %105, i64* %7
%106 = load i64, i64* %7
%107 = icmp eq i64 %106, 0
br i1 %107, label %108, label %109
108: ; preds = %87
br label %233
109: ; preds = %87
br label %110
110: ; preds = %109
br label %111
111: ; preds = %229, %110
%112 = load i64, i64* %5
%113 = inttoptr i64 %112 to i64*
%114 = getelementptr inbounds i64, i64* %113, i64 0
%115 = load i64, i64* %114
store i64 %115, i64* %8
%116 = load i64, i64* %6
%117 = inttoptr i64 %116 to i64*
%118 = getelementptr inbounds i64, i64* %117, i64 0
%119 = load i64, i64* %118
store i64 %119, i64* %12
%120 = load i64, i64* %10
%121 = load i32, i32* %17
%122 = zext i32 %121 to i64
%123 = shl i64 %120, %122
%124 = load i64, i64* %11
%125 = load i32, i32* %18
%126 = zext i32 %125 to i64
%127 = lshr i64 %124, %126
%128 = or i64 %123, %127
store i64 %128, i64* %16
%129 = load i64, i64* %16
%130 = load i64, i64* %15
%131 = icmp ne i64 %129, %130
br i1 %131, label %132, label %138
132: ; preds = %111
%133 = load i64, i64* %16
%134 = load i64, i64* %15
%135 = icmp ugt i64 %133, %134
%136 = zext i1 %135 to i64
%137 = select i1 %135, i32 1, i32 -1
store i32 %137, i32* %4
br label %253
138: ; preds = %111
br label %139
139: ; preds = %138, %72
%140 = load i64, i64* %5
%141 = inttoptr i64 %140 to i64*
%142 = getelementptr inbounds i64, i64* %141, i64 1
%143 = load i64, i64* %142
store i64 %143, i64* %9
%144 = load i64, i64* %6
%145 = inttoptr i64 %144 to i64*
%146 = getelementptr inbounds i64, i64* %145, i64 1
%147 = load i64, i64* %146
store i64 %147, i64* %13
%148 = load i64, i64* %11
%149 = load i32, i32* %17
%150 = zext i32 %149 to i64
%151 = shl i64 %148, %150
%152 = load i64, i64* %8
%153 = load i32, i32* %18
%154 = zext i32 %153 to i64
%155 = lshr i64 %152, %154
%156 = or i64 %151, %155
store i64 %156, i64* %16
%157 = load i64, i64* %16
%158 = load i64, i64* %12
%159 = icmp ne i64 %157, %158
br i1 %159, label %160, label %166
160: ; preds = %139
%161 = load i64, i64* %16
%162 = load i64, i64* %12
%163 = icmp ugt i64 %161, %162
%164 = zext i1 %163 to i64
%165 = select i1 %163, i32 1, i32 -1
store i32 %165, i32* %4
br label %253
166: ; preds = %139
br label %167
167: ; preds = %166, %51
%168 = load i64, i64* %5
%169 = inttoptr i64 %168 to i64*
%170 = getelementptr inbounds i64, i64* %169, i64 2
%171 = load i64, i64* %170
store i64 %171, i64* %10
%172 = load i64, i64* %6
%173 = inttoptr i64 %172 to i64*
%174 = getelementptr inbounds i64, i64* %173, i64 2
%175 = load i64, i64* %174
store i64 %175, i64* %14
%176 = load i64, i64* %8
%177 = load i32, i32* %17
%178 = zext i32 %177 to i64
%179 = shl i64 %176, %178
%180 = load i64, i64* %9
%181 = load i32, i32* %18
%182 = zext i32 %181 to i64
%183 = lshr i64 %180, %182
%184 = or i64 %179, %183
store i64 %184, i64* %16
%185 = load i64, i64* %16
%186 = load i64, i64* %13
%187 = icmp ne i64 %185, %186
br i1 %187, label %188, label %194
188: ; preds = %167
%189 = load i64, i64* %16
%190 = load i64, i64* %13
%191 = icmp ugt i64 %189, %190
%192 = zext i1 %191 to i64
%193 = select i1 %191, i32 1, i32 -1
store i32 %193, i32* %4
br label %253
194: ; preds = %167
br label %195
195: ; preds = %194, %32
%196 = load i64, i64* %5
%197 = inttoptr i64 %196 to i64*
%198 = getelementptr inbounds i64, i64* %197, i64 3
%199 = load i64, i64* %198
store i64 %199, i64* %11
%200 = load i64, i64* %6
%201 = inttoptr i64 %200 to i64*
%202 = getelementptr inbounds i64, i64* %201, i64 3
%203 = load i64, i64* %202
store i64 %203, i64* %15
%204 = load i64, i64* %9
%205 = load i32, i32* %17
%206 = zext i32 %205 to i64
%207 = shl i64 %204, %206
%208 = load i64, i64* %10
%209 = load i32, i32* %18
%210 = zext i32 %209 to i64
%211 = lshr i64 %208, %210
%212 = or i64 %207, %211
store i64 %212, i64* %16
%213 = load i64, i64* %16
%214 = load i64, i64* %14
%215 = icmp ne i64 %213, %214
br i1 %215, label %216, label %222
216: ; preds = %195
%217 = load i64, i64* %16
%218 = load i64, i64* %14
%219 = icmp ugt i64 %217, %218
%220 = zext i1 %219 to i64
%221 = select i1 %219, i32 1, i32 -1
store i32 %221, i32* %4
br label %253
222: ; preds = %195
%223 = load i64, i64* %5
%224 = add i64 %223, 32
store i64 %224, i64* %5
%225 = load i64, i64* %6
%226 = add i64 %225, 32
store i64 %226, i64* %6
%227 = load i64, i64* %7
%228 = sub i64 %227, 4
store i64 %228, i64* %7
br label %229
229: ; preds = %222
%230 = load i64, i64* %7
%231 = icmp ne i64 %230, 0
br i1 %231, label %111, label %232
232: ; preds = %229
br label %233
233: ; preds = %232, %108
%234 = load i64, i64* %10
%235 = load i32, i32* %17
%236 = zext i32 %235 to i64
%237 = shl i64 %234, %236
%238 = load i64, i64* %11
%239 = load i32, i32* %18
%240 = zext i32 %239 to i64
%241 = lshr i64 %238, %240
%242 = or i64 %237, %241
store i64 %242, i64* %16
%243 = load i64, i64* %16
%244 = load i64, i64* %15
%245 = icmp ne i64 %243, %244
br i1 %245, label %246, label %252
246: ; preds = %233
%247 = load i64, i64* %16
%248 = load i64, i64* %15
%249 = icmp ugt i64 %247, %248
%250 = zext i1 %249 to i64
%251 = select i1 %249, i32 1, i32 -1
store i32 %251, i32* %4
br label %253
252: ; preds = %233
store i32 0, i32* %4
br label %253
253: ; preds = %252, %246, %216, %188, %160, %132, %71
%254 = load i32, i32* %4
ret i32 %254
}

LLVM IR (-O2):
define i32 @memcmp_not_common_alignment(i64 %0, i64 %1, i64 %2) {
%4 = trunc i64 %0 to i32
%5 = shl i32 %4, 3
%6 = and i32 %5, 56
%7 = sub nuw nsw i32 64, %6
%8 = and i64 %0, -8
%9 = and i64 %2, 3
switch i64 %9, label %10 [
i64 2, label %11
i64 3, label %21
i64 0, label %30
i64 1, label %40
]
10: ; preds = %3
unreachable
11: ; preds = %3
%12 = inttoptr i64 %8 to i64*
%13 = load i64, i64* %12
%14 = getelementptr inbounds i64, i64* %12, i64 1
%15 = inttoptr i64 %1 to i64*
%16 = add i64 %8, -8
%17 = add i64 %1, -16
%18 = add i64 %2, 2
%19 = zext i32 %6 to i64
%20 = zext i32 %7 to i64
br label %116
21: ; preds = %3
%22 = inttoptr i64 %8 to i64*
%23 = load i64, i64* %22
%24 = inttoptr i64 %1 to i64*
%25 = add i64 %1, -8
%26 = add i64 %2, 1
%27 = inttoptr i64 %25 to i64*
%28 = zext i32 %6 to i64
%29 = zext i32 %7 to i64
br label %94
30: ; preds = %3
%31 = icmp eq i64 %2, 0
br i1 %31, label %158, label %32
32: ; preds = %30
%33 = inttoptr i64 %8 to i64*
%34 = load i64, i64* %33
%35 = getelementptr inbounds i64, i64* %33, i64 1
%36 = add i64 %8, 8
%37 = inttoptr i64 %36 to i64*
%38 = zext i32 %6 to i64
%39 = zext i32 %7 to i64
br label %74
40: ; preds = %3
%41 = inttoptr i64 %8 to i64*
%42 = load i64, i64* %41
%43 = getelementptr inbounds i64, i64* %41, i64 1
%44 = load i64, i64* %43
%45 = inttoptr i64 %1 to i64*
%46 = load i64, i64* %45
%47 = add i64 %2, -1
%48 = icmp eq i64 %47, 0
br i1 %48, label %49, label %52
49: ; preds = %40
%50 = zext i32 %6 to i64
%51 = zext i32 %7 to i64
br label %145
52: ; preds = %40
%53 = add i64 %1, 8
%54 = add i64 %8, 16
%55 = zext i32 %6 to i64
%56 = zext i32 %7 to i64
br label %57
57: ; preds = %52, %140
%58 = phi i64 [ %56, %52 ], [ %117, %140 ]
%59 = phi i64 [ %55, %52 ], [ %118, %140 ]
%60 = phi i64 [ %53, %52 ], [ %142, %140 ]
%61 = phi i64 [ %47, %52 ], [ %143, %140 ]
%62 = phi i64 [ %42, %52 ], [ %126, %140 ]
%63 = phi i64 [ %44, %52 ], [ %129, %140 ]
%64 = phi i64 [ %46, %52 ], [ %132, %140 ]
%65 = phi i64 [ %54, %52 ], [ %141, %140 ]
%66 = inttoptr i64 %65 to i64*
%67 = shl i64 %62, %59
%68 = lshr i64 %63, %58
%69 = or i64 %68, %67
%70 = icmp eq i64 %69, %64
br i1 %70, label %74, label %71
71: ; preds = %57
%72 = icmp ugt i64 %69, %64
%73 = select i1 %72, i32 1, i32 -1
br label %158
74: ; preds = %57, %32
%75 = phi i64 [ %58, %57 ], [ %39, %32 ]
%76 = phi i64 [ %59, %57 ], [ %38, %32 ]
%77 = phi i64* [ %66, %57 ], [ %37, %32 ]
%78 = phi i64 [ %60, %57 ], [ %1, %32 ]
%79 = phi i64 [ %61, %57 ], [ %2, %32 ]
%80 = phi i64* [ %66, %57 ], [ %35, %32 ]
%81 = phi i64 [ %63, %57 ], [ %34, %32 ]
%82 = phi i64 [ %65, %57 ], [ %36, %32 ]
%83 = inttoptr i64 %78 to i64*
%84 = load i64, i64* %83
%85 = load i64, i64* %80
%86 = getelementptr inbounds i64, i64* %83, i64 1
%87 = shl i64 %81, %76
%88 = lshr i64 %85, %75
%89 = or i64 %88, %87
%90 = icmp eq i64 %89, %84
br i1 %90, label %94, label %91
91: ; preds = %74
%92 = icmp ugt i64 %89, %84
%93 = select i1 %92, i32 1, i32 -1
br label %158
94: ; preds = %74, %21
%95 = phi i64 [ %75, %74 ], [ %29, %21 ]
%96 = phi i64 [ %76, %74 ], [ %28, %21 ]
%97 = phi i64* [ %83, %74 ], [ %27, %21 ]
%98 = phi i64 [ %78, %74 ], [ %25, %21 ]
%99 = phi i64 [ %79, %74 ], [ %26, %21 ]
%100 = phi i64 [ %85, %74 ], [ %23, %21 ]
%101 = phi i64* [ %77, %74 ], [ %22, %21 ]
%102 = phi i64* [ %86, %74 ], [ %24, %21 ]
%103 = phi i64 [ %82, %74 ], [ %8, %21 ]
%104 = load i64, i64* %102
%105 = getelementptr inbounds i64, i64* %101, i64 1
%106 = load i64, i64* %105
%107 = getelementptr inbounds i64, i64* %101, i64 2
%108 = getelementptr inbounds i64, i64* %97, i64 2
%109 = shl i64 %100, %96
%110 = lshr i64 %106, %95
%111 = or i64 %110, %109
%112 = icmp eq i64 %111, %104
br i1 %112, label %116, label %113
113: ; preds = %94
%114 = icmp ugt i64 %111, %104
%115 = select i1 %114, i32 1, i32 -1
br label %158
116: ; preds = %94, %11
%117 = phi i64 [ %95, %94 ], [ %20, %11 ]
%118 = phi i64 [ %96, %94 ], [ %19, %11 ]
%119 = phi i64 [ %98, %94 ], [ %17, %11 ]
%120 = phi i64 [ %99, %94 ], [ %18, %11 ]
%121 = phi i64 [ %106, %94 ], [ %13, %11 ]
%122 = phi i64* [ %107, %94 ], [ %14, %11 ]
%123 = phi i64* [ %108, %94 ], [ %15, %11 ]
%124 = phi i64 [ %103, %94 ], [ %16, %11 ]
%125 = load i64, i64* %123
%126 = load i64, i64* %122
%127 = inttoptr i64 %124 to i64*
%128 = getelementptr inbounds i64, i64* %127, i64 3
%129 = load i64, i64* %128
%130 = inttoptr i64 %119 to i64*
%131 = getelementptr inbounds i64, i64* %130, i64 3
%132 = load i64, i64* %131
%133 = shl i64 %121, %118
%134 = lshr i64 %126, %117
%135 = or i64 %134, %133
%136 = icmp eq i64 %135, %125
br i1 %136, label %140, label %137
137: ; preds = %116
%138 = icmp ugt i64 %135, %125
%139 = select i1 %138, i32 1, i32 -1
br label %158
140: ; preds = %116
%141 = add i64 %124, 32
%142 = add i64 %119, 32
%143 = add i64 %120, -4
%144 = icmp eq i64 %143, 0
br i1 %144, label %145, label %57
145: ; preds = %49, %140
%146 = phi i64 [ %51, %49 ], [ %117, %140 ]
%147 = phi i64 [ %50, %49 ], [ %118, %140 ]
%148 = phi i64 [ %42, %49 ], [ %126, %140 ]
%149 = phi i64 [ %44, %49 ], [ %129, %140 ]
%150 = phi i64 [ %46, %49 ], [ %132, %140 ]
%151 = shl i64 %148, %147
%152 = lshr i64 %149, %146
%153 = or i64 %152, %151
%154 = icmp eq i64 %153, %150
br i1 %154, label %158, label %155
155: ; preds = %145
%156 = icmp ugt i64 %153, %150
%157 = select i1 %156, i32 1, i32 -1
br label %158
158: ; preds = %145, %30, %155, %137, %113, %91, %71
%159 = phi i32 [ %157, %155 ], [ %73, %71 ], [ %93, %91 ], [ %115, %113 ], [ %139, %137 ], [ 0, %30 ], [ 0, %145 ]
ret i32 %159
}