// File: /workspace/github_cpp_makefile_star2_O1/kdungs[P]cpp-prelude/test_prelude.cc
// Function: test_span()
auto test_span() -> void {
  using Prelude::span;
  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) = span([](int x) { return x < 5; },
                                    std::vector<int>{1, 2, 3, 4, 5, 6, 7, 8});
  assert(resultL == expectL);
  assert(resultR == expectR);
}

// Assembly:
pushq %rbx
subq $0x120, %rsp            # imm = 0x120
movaps 0x4cc3(%rip), %xmm0     # 0xa010
leaq 0xd0(%rsp), %rbx
movups %xmm0, (%rbx)
leaq 0xb8(%rsp), %rdi
leaq 0x100(%rsp), %rcx
movl $0x4, %edx
movq %rbx, %rsi
callq 0x7016
movaps 0x4cd4(%rip), %xmm0     # 0xa050
movups %xmm0, (%rbx)
leaq 0xa0(%rsp), %rdi
leaq 0xd0(%rsp), %rsi
leaq 0x100(%rsp), %rcx
movl $0x4, %edx
callq 0x7016
xorl %eax, %eax
movq %rax, 0x20(%rsp)
xorps %xmm0, %xmm0
movaps %xmm0, 0x10(%rsp)
movq %rax, 0x60(%rsp)
movaps %xmm0, 0x50(%rsp)
movups 0x57fb(%rip), %xmm0     # 0xabbc
leaq 0x100(%rsp), %rsi
movaps %xmm0, 0x10(%rsi)
movups 0x57d8(%rip), %xmm0     # 0xabac
movaps %xmm0, (%rsi)
leaq 0x68(%rsp), %rdi
leaq 0xd(%rsp), %rcx
movl $0x8, %edx
callq 0x7016
movq 0x68(%rsp), %rsi
movq 0x70(%rsp), %rax
subq %rsi, %rax
sarq $0x2, %rax
movq %rsi, %rbx
testq %rax, %rax
jle 0x5432
movq %rsi, %rbx
movq %rax, %rcx
shrq %rcx
movq %rcx, %rdx
notq %rdx
addq %rax, %rdx
leaq (%rbx,%rcx,4), %rax
addq $0x4, %rax
cmpl $0x5, -0x4(%rax)
cmovlq %rax, %rbx
cmovgeq %rcx, %rdx
movq %rdx, %rax
testq %rdx, %rdx
jg 0x5407
leaq 0x30(%rsp), %rdi
leaq 0xf(%rsp), %rcx
movq %rbx, %rdx
callq 0x860a
movq 0x70(%rsp), %rdx
leaq 0x80(%rsp), %rdi
leaq 0xe(%rsp), %rcx
movq %rbx, %rsi
callq 0x860a
movq 0x80(%rsp), %rax
movq %rax, 0xd0(%rsp)
movups 0x88(%rsp), %xmm0
movups %xmm0, 0xd8(%rsp)
xorps %xmm0, %xmm0
movaps %xmm0, 0x80(%rsp)
xorl %eax, %eax
movq %rax, 0x90(%rsp)
movq 0x30(%rsp), %rcx
movq %rcx, 0xe8(%rsp)
movups 0x38(%rsp), %xmm1
movups %xmm1, 0xf0(%rsp)
movaps %xmm0, 0x30(%rsp)
movq %rax, 0x40(%rsp)
movq 0x80(%rsp), %rdi
testq %rdi, %rdi
je 0x54d4
movq 0x90(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
leaq 0xe8(%rsp), %rbx
movq 0x30(%rsp), %rdi
testq %rdi, %rdi
je 0x54f3
movq 0x40(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
leaq 0x10(%rsp), %rdi
movq %rbx, %rsi
callq 0x8abe
leaq 0x50(%rsp), %rdi
leaq 0xd0(%rsp), %rbx
movq %rbx, %rsi
callq 0x8abe
movq 0x18(%rbx), %rdi
testq %rdi, %rdi
je 0x552e
movq 0xf8(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
movq 0xd0(%rsp), %rdi
testq %rdi, %rdi
je 0x554b
movq 0xe0(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
movq 0x68(%rsp), %rdi
testq %rdi, %rdi
je 0x5562
movq 0x78(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
movq 0x10(%rsp), %rdi
movq 0x18(%rsp), %rax
movq %rax, %rdx
subq %rdi, %rdx
movq 0xb8(%rsp), %rsi
movq 0xc0(%rsp), %rcx
subq %rsi, %rcx
cmpq %rcx, %rdx
jne 0x5650
cmpq %rdi, %rax
je 0x55a0
callq 0x2100
testl %eax, %eax
jne 0x5650
movq 0x50(%rsp), %rbx
movq 0x58(%rsp), %rax
movq %rax, %rdx
subq %rbx, %rdx
movq 0xa0(%rsp), %rsi
movq 0xa8(%rsp), %rcx
subq %rsi, %rcx
cmpq %rcx, %rdx
jne 0x566f
cmpq %rbx, %rax
je 0x55e1
movq %rbx, %rdi
callq 0x2100
testl %eax, %eax
jne 0x566f
testq %rbx, %rbx
je 0x55f6
movq 0x60(%rsp), %rsi
subq %rbx, %rsi
movq %rbx, %rdi
callq 0x20f0
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x560d
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
movq 0xa0(%rsp), %rdi
testq %rdi, %rdi
je 0x562a
movq 0xb0(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
movq 0xb8(%rsp), %rdi
testq %rdi, %rdi
je 0x5647
movq 0xc8(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
addq $0x120, %rsp            # imm = 0x120
popq %rbx
retq
leaq 0x4ee3(%rip), %rdi      # 0xa53a
leaq 0x4a11(%rip), %rsi      # 0xa06f
leaq 0x4f3b(%rip), %rcx      # 0xa5a0
movl $0x109, %edx            # imm = 0x109
callq 0x2090
leaq 0x4eeb(%rip), %rdi      # 0xa561
leaq 0x49f2(%rip), %rsi      # 0xa06f
leaq 0x4f1c(%rip), %rcx      # 0xa5a0
movl $0x10a, %edx            # imm = 0x10A
callq 0x2090
movq %rax, %rbx
movq 0x30(%rsp), %rdi
testq %rdi, %rdi
je 0x56ad
movq 0x40(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
jmp 0x56ad
movq %rax, %rbx
movq 0x68(%rsp), %rdi
testq %rdi, %rdi
je 0x56c9
movq 0x78(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
jmp 0x56c9
movq %rax, %rbx
movq 0x50(%rsp), %rdi
testq %rdi, %rdi
je 0x56e0
movq 0x60(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x56f7
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
movq 0xa0(%rsp), %rdi
testq %rdi, %rdi
je 0x5719
movq 0xb0(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
jmp 0x5719
movq %rax, %rbx
movq 0xb8(%rsp), %rdi
testq %rdi, %rdi
je 0x5736
movq 0xc8(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
movq %rbx, %rdi
callq 0x2170