// File: /workspace/github_cpp_makefile_star2_O1/kdungs[P]cpp-prelude/test_prelude.cc
// Function: test_splitAt()
auto test_splitAt() -> void {
  using Prelude::splitAt;
  auto expectL = std::vector<int>{1, 2, 3, 4};
  auto expectR = std::vector<int>{5, 6, 7, 8};
  std::vector<int> resultL, resultR;
  std::tie(resultL, resultR) =
      splitAt(4, std::vector<int>{1, 2, 3, 4, 5, 6, 7, 8});
  assert(resultL == expectL);
  assert(resultR == expectR);
  // empty first half
  expectL = std::vector<int>{};
  expectR = std::vector<int>{1, 2, 3, 4};
  std::tie(resultL, resultR) = splitAt(0, std::vector<int>{1, 2, 3, 4});
  assert(resultL == expectL);
  assert(resultR == expectR);
  // empty second half
  expectL = std::vector<int>{1, 2, 3, 4};
  expectR = std::vector<int>{};
  std::tie(resultL, resultR) = splitAt(10, std::vector<int>{1, 2, 3, 4});
  assert(resultL == expectL);
  assert(resultR == expectR);
}

// Assembly:
pushq %rbx
subq $0x100, %rsp            # imm = 0x100
movaps 0x570b(%rip), %xmm0     # 0xa010
leaq 0x50(%rsp), %rbx
movups %xmm0, (%rbx)
leaq 0x30(%rsp), %rdi
leaq 0xc0(%rsp), %rcx
movl $0x4, %edx
movq %rbx, %rsi
callq 0x7016
movaps 0x5722(%rip), %xmm0     # 0xa050
movups %xmm0, (%rbx)
leaq 0x10(%rsp), %rdi
leaq 0x50(%rsp), %rsi
leaq 0xc0(%rsp), %rcx
movl $0x4, %edx
callq 0x7016
xorl %eax, %eax
movq %rax, 0x90(%rsp)
xorps %xmm0, %xmm0
movaps %xmm0, 0x80(%rsp)
movq %rax, 0xb0(%rsp)
movaps %xmm0, 0xa0(%rsp)
movups 0x6243(%rip), %xmm0     # 0xabbc
leaq 0xc0(%rsp), %rsi
movaps %xmm0, 0x10(%rsi)
movups 0x6220(%rip), %xmm0     # 0xabac
movaps %xmm0, (%rsi)
leaq 0xe8(%rsp), %rdi
leaq 0xf(%rsp), %rcx
movl $0x8, %edx
callq 0x7016
leaq 0x50(%rsp), %rdi
leaq 0xe8(%rsp), %rdx
movl $0x4, %esi
callq 0x728c
leaq 0x68(%rsp), %rsi
leaq 0x80(%rsp), %rdi
callq 0x8abe
leaq 0xa0(%rsp), %rdi
leaq 0x50(%rsp), %rbx
movq %rbx, %rsi
callq 0x8abe
movq 0x18(%rbx), %rdi
testq %rdi, %rdi
je 0x49fa
movq 0x78(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
movq 0x50(%rsp), %rdi
testq %rdi, %rdi
je 0x4a11
movq 0x60(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
movq 0xe8(%rsp), %rdi
testq %rdi, %rdi
je 0x4a2e
movq 0xf8(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
movq 0x80(%rsp), %rdi
movq 0x88(%rsp), %rax
movq %rax, %rdx
subq %rdi, %rdx
movq 0x30(%rsp), %rbx
movq 0x38(%rsp), %rcx
subq %rbx, %rcx
cmpq %rcx, %rdx
jne 0x4eb9
cmpq %rdi, %rax
je 0x4a6f
movq %rbx, %rsi
callq 0x2100
testl %eax, %eax
jne 0x4eb9
movq 0xa0(%rsp), %rdi
movq 0xa8(%rsp), %rax
movq %rax, %rdx
subq %rdi, %rdx
movq 0x10(%rsp), %rsi
movq 0x18(%rsp), %rcx
subq %rsi, %rcx
cmpq %rcx, %rdx
jne 0x4ed8
cmpq %rdi, %rax
je 0x4aad
callq 0x2100
testl %eax, %eax
jne 0x4ed8
movq 0x40(%rsp), %rsi
xorps %xmm0, %xmm0
movaps %xmm0, 0x30(%rsp)
movq $0x0, 0x40(%rsp)
testq %rbx, %rbx
je 0x4ad3
subq %rbx, %rsi
movq %rbx, %rdi
callq 0x20f0
leaq 0xc0(%rsp), %rsi
movaps 0x552e(%rip), %xmm0     # 0xa010
movups %xmm0, (%rsi)
leaq 0x50(%rsp), %rdi
leaq 0xe8(%rsp), %rcx
movl $0x4, %edx
callq 0x7016
movq 0x10(%rsp), %rdi
movq 0x20(%rsp), %rsi
movq 0x50(%rsp), %rax
movq %rax, 0x10(%rsp)
movups 0x58(%rsp), %xmm0
movups %xmm0, 0x18(%rsp)
xorps %xmm0, %xmm0
movaps %xmm0, 0x50(%rsp)
movq $0x0, 0x60(%rsp)
testq %rdi, %rdi
je 0x4b38
subq %rdi, %rsi
callq 0x20f0
movq 0x50(%rsp), %rdi
testq %rdi, %rdi
je 0x4b4f
movq 0x60(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
leaq 0xe8(%rsp), %rsi
movaps 0x54b2(%rip), %xmm0     # 0xa010
movups %xmm0, (%rsi)
leaq 0xc0(%rsp), %rdi
leaq 0xf(%rsp), %rcx
movl $0x4, %edx
callq 0x7016
leaq 0x50(%rsp), %rdi
leaq 0xc0(%rsp), %rdx
xorl %esi, %esi
callq 0x728c
leaq 0x68(%rsp), %rsi
leaq 0x80(%rsp), %rdi
callq 0x8abe
leaq 0xa0(%rsp), %rdi
leaq 0x50(%rsp), %rbx
movq %rbx, %rsi
callq 0x8abe
movq 0x18(%rbx), %rdi
testq %rdi, %rdi
je 0x4bc9
movq 0x78(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
movq 0x50(%rsp), %rdi
testq %rdi, %rdi
je 0x4be0
movq 0x60(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
movq 0xc0(%rsp), %rdi
testq %rdi, %rdi
je 0x4bfd
movq 0xd0(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
movq 0x80(%rsp), %rdi
movq 0x88(%rsp), %rax
movq %rax, %rdx
subq %rdi, %rdx
movq 0x30(%rsp), %rsi
movq 0x38(%rsp), %rcx
subq %rsi, %rcx
cmpq %rcx, %rdx
jne 0x4ef7
cmpq %rdi, %rax
je 0x4c3b
callq 0x2100
testl %eax, %eax
jne 0x4ef7
movq 0xa0(%rsp), %rdi
movq 0xa8(%rsp), %rax
movq %rax, %rdx
subq %rdi, %rdx
movq 0x10(%rsp), %rsi
movq 0x18(%rsp), %rcx
subq %rsi, %rcx
cmpq %rcx, %rdx
jne 0x4f16
cmpq %rdi, %rax
je 0x4c79
callq 0x2100
testl %eax, %eax
jne 0x4f16
leaq 0xc0(%rsp), %rsi
movaps 0x5388(%rip), %xmm0     # 0xa010
movups %xmm0, (%rsi)
leaq 0x50(%rsp), %rdi
leaq 0xe8(%rsp), %rcx
movl $0x4, %edx
callq 0x7016
movq 0x30(%rsp), %rdi
movq 0x40(%rsp), %rsi
movq 0x50(%rsp), %rax
movq %rax, 0x30(%rsp)
movups 0x58(%rsp), %xmm0
movups %xmm0, 0x38(%rsp)
xorps %xmm0, %xmm0
movaps %xmm0, 0x50(%rsp)
movq $0x0, 0x60(%rsp)
testq %rdi, %rdi
je 0x4cde
subq %rdi, %rsi
callq 0x20f0
movq 0x50(%rsp), %rdi
testq %rdi, %rdi
je 0x4cf5
movq 0x60(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
movq 0x10(%rsp), %rdi
movq 0x20(%rsp), %rsi
xorps %xmm0, %xmm0
movaps %xmm0, 0x10(%rsp)
movq $0x0, 0x20(%rsp)
testq %rdi, %rdi
je 0x4d1d
subq %rdi, %rsi
callq 0x20f0
leaq 0xe8(%rsp), %rsi
movaps 0x52e4(%rip), %xmm0     # 0xa010
movups %xmm0, (%rsi)
leaq 0xc0(%rsp), %rdi
leaq 0xf(%rsp), %rcx
movl $0x4, %edx
callq 0x7016
leaq 0x50(%rsp), %rdi
leaq 0xc0(%rsp), %rdx
movl $0xa, %esi
callq 0x728c
leaq 0x68(%rsp), %rsi
leaq 0x80(%rsp), %rdi
callq 0x8abe
leaq 0xa0(%rsp), %rdi
leaq 0x50(%rsp), %rbx
movq %rbx, %rsi
callq 0x8abe
movq 0x18(%rbx), %rdi
testq %rdi, %rdi
je 0x4d9a
movq 0x78(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
movq 0x50(%rsp), %rdi
testq %rdi, %rdi
je 0x4db1
movq 0x60(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
movq 0xc0(%rsp), %rdi
testq %rdi, %rdi
je 0x4dce
movq 0xd0(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
movq 0x80(%rsp), %rdi
movq 0x88(%rsp), %rax
movq %rax, %rdx
subq %rdi, %rdx
movq 0x30(%rsp), %rsi
movq 0x38(%rsp), %rcx
subq %rsi, %rcx
cmpq %rcx, %rdx
jne 0x4f35
cmpq %rdi, %rax
je 0x4e0c
callq 0x2100
testl %eax, %eax
jne 0x4f35
movq 0xa0(%rsp), %rbx
movq 0xa8(%rsp), %rax
movq %rax, %rdx
subq %rbx, %rdx
movq 0x10(%rsp), %rsi
movq 0x18(%rsp), %rcx
subq %rsi, %rcx
cmpq %rcx, %rdx
jne 0x4f54
cmpq %rbx, %rax
je 0x4e4d
movq %rbx, %rdi
callq 0x2100
testl %eax, %eax
jne 0x4f54
testq %rbx, %rbx
je 0x4e65
movq 0xb0(%rsp), %rsi
subq %rbx, %rsi
movq %rbx, %rdi
callq 0x20f0
movq 0x80(%rsp), %rdi
testq %rdi, %rdi
je 0x4e82
movq 0x90(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x4e99
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
movq 0x30(%rsp), %rdi
testq %rdi, %rdi
je 0x4eb0
movq 0x40(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
addq $0x100, %rsp            # imm = 0x100
popq %rbx
retq
leaq 0x567a(%rip), %rdi      # 0xa53a
leaq 0x51a8(%rip), %rsi      # 0xa06f
leaq 0x567f(%rip), %rcx      # 0xa54d
movl $0xe2, %edx
callq 0x2090
leaq 0x5682(%rip), %rdi      # 0xa561
leaq 0x5189(%rip), %rsi      # 0xa06f
leaq 0x5660(%rip), %rcx      # 0xa54d
movl $0xe3, %edx
callq 0x2090
leaq 0x563c(%rip), %rdi      # 0xa53a
leaq 0x516a(%rip), %rsi      # 0xa06f
leaq 0x5641(%rip), %rcx      # 0xa54d
movl $0xe8, %edx
callq 0x2090
leaq 0x5644(%rip), %rdi      # 0xa561
leaq 0x514b(%rip), %rsi      # 0xa06f
leaq 0x5622(%rip), %rcx      # 0xa54d
movl $0xe9, %edx
callq 0x2090
leaq 0x55fe(%rip), %rdi      # 0xa53a
leaq 0x512c(%rip), %rsi      # 0xa06f
leaq 0x5603(%rip), %rcx      # 0xa54d
movl $0xee, %edx
callq 0x2090
leaq 0x5606(%rip), %rdi      # 0xa561
leaq 0x510d(%rip), %rsi      # 0xa06f
leaq 0x55e4(%rip), %rcx      # 0xa54d
movl $0xef, %edx
callq 0x2090
jmp 0x4f79
jmp 0x4fb9
jmp 0x4fb9
movq %rax, %rbx
movq 0xc0(%rsp), %rdi
testq %rdi, %rdi
je 0x4fbc
movq 0xd0(%rsp), %rsi
jmp 0x4faf
jmp 0x4fb9
jmp 0x4fb9
movq %rax, %rbx
movq 0xe8(%rsp), %rdi
testq %rdi, %rdi
je 0x4fbc
movq 0xf8(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
jmp 0x4fbc
movq %rax, %rbx
movq 0xa0(%rsp), %rdi
testq %rdi, %rdi
je 0x4fd9
movq 0xb0(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
movq 0x80(%rsp), %rdi
testq %rdi, %rdi
je 0x4ff6
movq 0x90(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x5012
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
jmp 0x5012
movq %rax, %rbx
movq 0x30(%rsp), %rdi
testq %rdi, %rdi
je 0x5029
movq 0x40(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
movq %rbx, %rdi
callq 0x2170