#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 */
typedef int /*<<< orphan*/ uint8_t;
typedef int /*<<< orphan*/ uint16_t;

/* Variables and functions */
int /*<<< orphan*/ assert(int);
int /*<<< orphan*/ mesh_write(uintptr_t, int /*<<< orphan*/ const *, int);
void mesh_memcpy(uintptr_t dst, const void *__restrict__ src, size_t size) {
  size_t n, aligned_n, i;
  uintptr_t d;
  const uint8_t *s;
  n = size;
  d = dst;
  s = (const uint8_t *)src;
  if (!(((uintptr_t)d ^ (uintptr_t)s) & 3)) {
    if (n && (((uintptr_t)d) & 1)) {
      mesh_write(d, s, 1);
      d++;
      s++;
      n--;
    }
    if (((uintptr_t)d) & 2) {
      if (n > 1) {
        *((uint16_t *)d) = *((const uint16_t *)s);
        d += 2;
        s += 2;
        n -= 2;
      } else if (n == 1) {
        mesh_write(d, s, 1);
        d++;
        s++;
        n--;
      }
    }
    aligned_n = n & (~3);
    for (i = 0; i < aligned_n;) {
      if (aligned_n - i >= 8) {
        mesh_write(d, s, 8);
        d += 8, s += 8, n -= 8, i += 8;
      } else {
        mesh_write(d, s, 4);
        d += 4, s += 4, n -= 4, i += 8;
      }
    }
    switch (n) {
    case 2:
      mesh_write(d, s, 2);
      d += 2;
      s += 2;
      n -= 2;
      break;
    case 3:
      mesh_write(d, s, 2);
      d += 2;
      s += 2;
      n -= 2;
    case 1:
      mesh_write(d, s, 1);
      d++;
      s++;
      n--;
    }
  } else if (!(((uintptr_t)d ^ (uintptr_t)s) & 1)) {
    if (n && ((uintptr_t)d) & 1) {
      mesh_write(d, s, 1);
      d++;
      s++;
      n--;
    }
    while (n > 1) {
      mesh_write(d, s, 2);
      d += 2;
      s += 2;
      n -= 2;
    }
    if (n) {
      mesh_write(d, s, 1);
      d++;
      s++;
      n--;
    }
  } else {
    while (n) {
      mesh_write(d, s, 1);
      d++;
      s++;
      n--;
    }
  }
  assert(n == 0);
  assert((uintptr_t)dst + size == (uintptr_t)d);
  assert((uintptr_t)src + size == (uintptr_t)s);
}


x86 assembly (clang, -O0):
<mesh_memcpy>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x38(%rbp),%rax
mov    -0x40(%rbp),%rcx
xor    %rcx,%rax
and    $0x3,%rax
cmp    $0x0,%rax
jne    1400 <mesh_memcpy+0x2e0>
cmpq   $0x0,-0x20(%rbp)
je     11b8 <mesh_memcpy+0x98>
mov    -0x38(%rbp),%rax
and    $0x1,%rax
cmp    $0x0,%rax
je     11b8 <mesh_memcpy+0x98>
mov    -0x38(%rbp),%rdi
mov    -0x40(%rbp),%rsi
mov    $0x1,%edx
call   1030 <mesh_write@plt>
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
mov    -0x40(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x40(%rbp)
mov    -0x20(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x20(%rbp)
mov    -0x38(%rbp),%rax
and    $0x2,%rax
cmp    $0x0,%rax
je     1255 <mesh_memcpy+0x135>
cmpq   $0x1,-0x20(%rbp)
jbe    120a <mesh_memcpy+0xea>
mov    -0x40(%rbp),%rax
mov    (%rax),%ecx
mov    -0x38(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x38(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x38(%rbp)
mov    -0x40(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x40(%rbp)
mov    -0x20(%rbp),%rax
sub    $0x2,%rax
mov    %rax,-0x20(%rbp)
jmp    1250 <mesh_memcpy+0x130>
cmpq   $0x1,-0x20(%rbp)
jne    124b <mesh_memcpy+0x12b>
mov    -0x38(%rbp),%rdi
mov    -0x40(%rbp),%rsi
mov    $0x1,%edx
call   1030 <mesh_write@plt>
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
mov    -0x40(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x40(%rbp)
mov    -0x20(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x20(%rbp)
jmp    1250 <mesh_memcpy+0x130>
jmp    1255 <mesh_memcpy+0x135>
mov    -0x20(%rbp),%rax
and    $0xfffffffffffffffc,%rax
mov    %rax,-0x28(%rbp)
movq   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%rax
cmp    -0x28(%rbp),%rax
jae    1317 <mesh_memcpy+0x1f7>
mov    -0x28(%rbp),%rax
sub    -0x30(%rbp),%rax
cmp    $0x8,%rax
jb     12d0 <mesh_memcpy+0x1b0>
mov    -0x38(%rbp),%rdi
mov    -0x40(%rbp),%rsi
mov    $0x8,%edx
call   1030 <mesh_write@plt>
mov    -0x38(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x38(%rbp)
mov    -0x40(%rbp),%rax
add    $0x20,%rax
mov    %rax,-0x40(%rbp)
mov    -0x20(%rbp),%rax
sub    $0x8,%rax
mov    %rax,-0x20(%rbp)
mov    -0x30(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x30(%rbp)
jmp    1312 <mesh_memcpy+0x1f2>
mov    -0x38(%rbp),%rdi
mov    -0x40(%rbp),%rsi
mov    $0x4,%edx
call   1030 <mesh_write@plt>
mov    -0x38(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x38(%rbp)
mov    -0x40(%rbp),%rax
add    $0x10,%rax
mov    %rax,-0x40(%rbp)
mov    -0x20(%rbp),%rax
sub    $0x4,%rax
mov    %rax,-0x20(%rbp)
mov    -0x30(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x30(%rbp)
jmp    1269 <mesh_memcpy+0x149>
mov    -0x20(%rbp),%rax
mov    %rax,-0x48(%rbp)
sub    $0x1,%rax
je     13c5 <mesh_memcpy+0x2a5>
jmp    132e <mesh_memcpy+0x20e>
mov    -0x48(%rbp),%rax
sub    $0x2,%rax
je     1354 <mesh_memcpy+0x234>
jmp    1341 <mesh_memcpy+0x221>
mov    -0x48(%rbp),%rax
sub    $0x3,%rax
je     138f <mesh_memcpy+0x26f>
jmp    13fb <mesh_memcpy+0x2db>
mov    -0x38(%rbp),%rdi
mov    -0x40(%rbp),%rsi
mov    $0x2,%edx
call   1030 <mesh_write@plt>
mov    -0x38(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x38(%rbp)
mov    -0x40(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x40(%rbp)
mov    -0x20(%rbp),%rax
sub    $0x2,%rax
mov    %rax,-0x20(%rbp)
jmp    13fb <mesh_memcpy+0x2db>
mov    -0x38(%rbp),%rdi
mov    -0x40(%rbp),%rsi
mov    $0x2,%edx
call   1030 <mesh_write@plt>
mov    -0x38(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x38(%rbp)
mov    -0x40(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x40(%rbp)
mov    -0x20(%rbp),%rax
sub    $0x2,%rax
mov    %rax,-0x20(%rbp)
mov    -0x38(%rbp),%rdi
mov    -0x40(%rbp),%rsi
mov    $0x1,%edx
call   1030 <mesh_write@plt>
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
mov    -0x40(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x40(%rbp)
mov    -0x20(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x20(%rbp)
jmp    1552 <mesh_memcpy+0x432>
mov    -0x38(%rbp),%rax
mov    -0x40(%rbp),%rcx
xor    %rcx,%rax
and    $0x1,%rax
cmp    $0x0,%rax
jne    14fd <mesh_memcpy+0x3dd>
cmpq   $0x0,-0x20(%rbp)
je     146c <mesh_memcpy+0x34c>
mov    -0x38(%rbp),%rax
and    $0x1,%rax
cmp    $0x0,%rax
je     146c <mesh_memcpy+0x34c>
mov    -0x38(%rbp),%rdi
mov    -0x40(%rbp),%rsi
mov    $0x1,%edx
call   1030 <mesh_write@plt>
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
mov    -0x40(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x40(%rbp)
mov    -0x20(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x20(%rbp)
jmp    1471 <mesh_memcpy+0x351>
cmpq   $0x1,-0x20(%rbp)
jbe    14b7 <mesh_memcpy+0x397>
mov    -0x38(%rbp),%rdi
mov    -0x40(%rbp),%rsi
mov    $0x2,%edx
call   1030 <mesh_write@plt>
mov    -0x38(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x38(%rbp)
mov    -0x40(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x40(%rbp)
mov    -0x20(%rbp),%rax
sub    $0x2,%rax
mov    %rax,-0x20(%rbp)
jmp    1471 <mesh_memcpy+0x351>
cmpq   $0x0,-0x20(%rbp)
je     14f8 <mesh_memcpy+0x3d8>
mov    -0x38(%rbp),%rdi
mov    -0x40(%rbp),%rsi
mov    $0x1,%edx
call   1030 <mesh_write@plt>
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
mov    -0x40(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x40(%rbp)
mov    -0x20(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x20(%rbp)
jmp    154d <mesh_memcpy+0x42d>
jmp    1502 <mesh_memcpy+0x3e2>
cmpq   $0x0,-0x20(%rbp)
je     1548 <mesh_memcpy+0x428>
mov    -0x38(%rbp),%rdi
mov    -0x40(%rbp),%rsi
mov    $0x1,%edx
call   1030 <mesh_write@plt>
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
mov    -0x40(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x40(%rbp)
mov    -0x20(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x20(%rbp)
jmp    1502 <mesh_memcpy+0x3e2>
jmp    154d <mesh_memcpy+0x42d>
jmp    1552 <mesh_memcpy+0x432>
cmpq   $0x0,-0x20(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    -0x8(%rbp),%rax
add    -0x18(%rbp),%rax
cmp    -0x38(%rbp),%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    -0x10(%rbp),%rax
add    -0x18(%rbp),%rax
mov    -0x40(%rbp),%rcx
cmp    %rcx,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<mesh_memcpy>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
mov    %rdx,%r15
mov    %rsi,%r14
mov    %rdi,%r12
mov    %rsi,%rax
xor    %rdi,%rax
test   $0x3,%al
je     11c0 <mesh_memcpy+0xa0>
test   $0x1,%al
jne    12f0 <mesh_memcpy+0x1d0>
test   %r15,%r15
je     1320 <mesh_memcpy+0x200>
mov    %r15,%rbp
mov    %r12,%r13
mov    %r14,%rbx
test   $0x1,%r12b
je     117e <mesh_memcpy+0x5e>
mov    %r12,%rdi
mov    %r14,%rsi
mov    $0x1,%edx
call   1030 <mesh_write@plt>
lea    0x1(%r12),%r13
lea    0x4(%r14),%rbx
lea    -0x1(%r15),%rbp
cmp    $0x2,%rbp
jb     11b2 <mesh_memcpy+0x92>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    %r13,%rdi
mov    %rbx,%rsi
mov    $0x2,%edx
call   1030 <mesh_write@plt>
add    $0x2,%r13
add    $0x8,%rbx
add    $0xfffffffffffffffe,%rbp
cmp    $0x1,%rbp
ja     1190 <mesh_memcpy+0x70>
test   %rbp,%rbp
jne    1359 <mesh_memcpy+0x239>
jmp    1371 <mesh_memcpy+0x251>
test   %r15,%r15
je     1320 <mesh_memcpy+0x200>
mov    %r15,%rcx
mov    %r12,%r13
mov    %r14,%rbx
test   $0x1,%r12b
je     11f5 <mesh_memcpy+0xd5>
mov    %r12,%rdi
mov    %r14,%rsi
mov    $0x1,%edx
call   1030 <mesh_write@plt>
lea    0x1(%r12),%r13
lea    0x4(%r14),%rbx
lea    -0x1(%r15),%rcx
test   $0x2,%r13b
je     1217 <mesh_memcpy+0xf7>
cmp    $0x2,%rcx
jb     132a <mesh_memcpy+0x20a>
mov    (%rbx),%eax
mov    %eax,0x0(%r13)
add    $0x2,%r13
add    $0x8,%rbx
add    $0xfffffffffffffffe,%rcx
mov    %rcx,%rax
and    $0xfffffffffffffffc,%rax
mov    %rax,0x20(%rsp)
mov    %r14,0x18(%rsp)
mov    %r15,0x10(%rsp)
mov    %r12,0x8(%rsp)
je     12aa <mesh_memcpy+0x18a>
xor    %r15d,%r15d
mov    0x20(%rsp),%r14
nopl   0x0(%rax)
mov    %r13,0x30(%rsp)
xor    %ebp,%ebp
xor    %r12d,%r12d
cmp    $0x8,%r14
setb   %bpl
setae  %r12b
lea    0x4(,%r12,4),%edx
lea    0x0(,%r12,4),%rax
mov    %rax,0x28(%rsp)
mov    %r13,%rdi
mov    %rbx,%rsi
mov    %rcx,%r13
call   1030 <mesh_write@plt>
mov    %r13,%rcx
mov    0x30(%rsp),%r13
lea    0x4(%r13,%r12,4),%r13
mov    0x28(%rsp),%rax
lea    (%rbx,%rax,4),%rbx
add    $0x10,%rbx
lea    (%rcx,%rbp,4),%rcx
add    $0xfffffffffffffff8,%rcx
add    $0x8,%r15
add    $0xfffffffffffffff8,%r14
cmp    %r15,0x20(%rsp)
ja     1240 <mesh_memcpy+0x120>
cmp    $0x1,%rcx
je     134a <mesh_memcpy+0x22a>
cmp    $0x3,%rcx
je     1332 <mesh_memcpy+0x212>
cmp    $0x2,%rcx
mov    0x18(%rsp),%r14
mov    0x10(%rsp),%r15
mov    0x8(%rsp),%r12
jne    1373 <mesh_memcpy+0x253>
mov    %r13,%rdi
mov    %rbx,%rsi
mov    $0x2,%edx
call   1030 <mesh_write@plt>
add    $0x2,%r13
add    $0x8,%rbx
jmp    1371 <mesh_memcpy+0x251>
test   %r15,%r15
je     1320 <mesh_memcpy+0x200>
mov    %r14,%rbx
mov    %r12,%r13
mov    %r15,%rbp
xchg   %ax,%ax
mov    %r13,%rdi
mov    %rbx,%rsi
mov    $0x1,%edx
call   1030 <mesh_write@plt>
add    $0x1,%r13
add    $0x4,%rbx
add    $0xffffffffffffffff,%rbp
jne    1300 <mesh_memcpy+0x1e0>
jmp    1371 <mesh_memcpy+0x251>
xor    %ecx,%ecx
mov    %r12,%r13
mov    %r14,%rbx
jmp    1373 <mesh_memcpy+0x253>
cmp    $0x1,%rcx
je     1359 <mesh_memcpy+0x239>
jmp    1371 <mesh_memcpy+0x251>
mov    %r13,%rdi
mov    %rbx,%rsi
mov    $0x2,%edx
call   1030 <mesh_write@plt>
add    $0x2,%r13
add    $0x8,%rbx
mov    0x18(%rsp),%r14
mov    0x10(%rsp),%r15
mov    0x8(%rsp),%r12
mov    %r13,%rdi
mov    %rbx,%rsi
mov    $0x1,%edx
call   1030 <mesh_write@plt>
add    $0x1,%r13
add    $0x4,%rbx
xor    %ecx,%ecx
xor    %edi,%edi
test   %rcx,%rcx
sete   %dil
call   1040 <assert@plt>
add    %r15,%r12
xor    %edi,%edi
cmp    %r13,%r12
sete   %dil
call   1040 <assert@plt>
add    %r15,%r14
xor    %edi,%edi
cmp    %rbx,%r14
sete   %dil
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1040 <assert@plt>

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

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