// File: /workspace/github_cpp_makefile_star2_O3/kdungs[P]cpp-prelude/test_prelude.cc
// Function: test_zipWith()
auto test_zipWith() -> void {
  using Prelude::zipWith;
  auto expect = std::vector<int>{1, 0, 3, 0, 5, 0};
  auto result = zipWith([](int x, bool y) { return y ? x : 0; },
                        std::vector<int>{1, 2, 3, 4, 5, 6},
                        std::list<bool>{true, false, true, false, true, false});
  assert(result == expect);
}

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xa0, %rsp
movups 0x4f34(%rip), %xmm0     # 0xab54
leaq 0x10(%rsp), %rsi
movaps %xmm0, (%rsi)
movq $0x5, 0x10(%rsi)
leaq 0x48(%rsp), %rdi
leaq 0x30(%rsp), %rcx
movl $0x6, %edx
callq 0x6c08
movups 0x4f21(%rip), %xmm0     # 0xab6c
leaq 0x80(%rsp), %rsi
movaps %xmm0, (%rsi)
movabsq $0x600000005, %rax      # imm = 0x600000005
movq %rax, 0x10(%rsi)
leaq 0x30(%rsp), %rdi
leaq 0xf(%rsp), %rcx
movl $0x6, %edx
callq 0x6c08
leaq 0x78(%rsp), %rsi
movl $0x10001, (%rsi)        # imm = 0x10001
movw $0x1, 0x4(%rsi)
leaq 0x60(%rsp), %rbx
leaq 0xe(%rsp), %rcx
movl $0x6, %edx
movq %rbx, %rdi
callq 0x7006
xorps %xmm0, %xmm0
movaps %xmm0, 0x10(%rsp)
movq $0x0, 0x20(%rsp)
movq 0x30(%rsp), %r13
movq 0x38(%rsp), %rax
movq 0x60(%rsp), %r14
cmpq %rax, %r13
setne %cl
cmpq %rbx, %r14
setne %dl
andb %cl, %dl
cmpb $0x1, %dl
jne 0x5d36
addq $0x4, %r13
leaq 0x10(%rsp), %r15
leaq 0x2c(%rsp), %r12
xorl %ecx, %ecx
cmpb $0x0, 0x10(%r14)
je 0x5cee
movl -0x4(%r13), %ecx
movl %ecx, 0x2c(%rsp)
movq 0x18(%rsp), %rsi
cmpq 0x20(%rsp), %rsi
je 0x5d0b
movl %ecx, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x18(%rsp)
jmp 0x5d1b
movq %r15, %rdi
movq %r12, %rdx
callq 0x8cfc
movq 0x38(%rsp), %rax
movq (%r14), %r14
cmpq %rbx, %r14
setne %cl
cmpq %rax, %r13
je 0x5d31
addq $0x4, %r13
testb %cl, %cl
jne 0x5ce1
movq 0x60(%rsp), %r14
cmpq %rbx, %r14
je 0x5d53
movq (%r14), %r15
movl $0x18, %esi
movq %r14, %rdi
callq 0x20f0
movq %r15, %r14
cmpq %rbx, %r15
jne 0x5d3b
movq 0x30(%rsp), %rdi
testq %rdi, %rdi
je 0x5d6a
movq 0x40(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
movq 0x10(%rsp), %r14
movq 0x18(%rsp), %rax
movq %rax, %rdx
subq %r14, %rdx
movq 0x48(%rsp), %rbx
movq 0x50(%rsp), %rcx
subq %rbx, %rcx
cmpq %rcx, %rdx
jne 0x5de0
cmpq %r14, %rax
je 0x5da0
movq %r14, %rdi
movq %rbx, %rsi
callq 0x2100
testl %eax, %eax
jne 0x5de0
testq %r14, %r14
je 0x5dba
movq 0x20(%rsp), %rsi
subq %r14, %rsi
movq %r14, %rdi
callq 0x20f0
movq 0x48(%rsp), %rbx
testq %rbx, %rbx
je 0x5dcf
movq 0x58(%rsp), %rsi
subq %rbx, %rsi
movq %rbx, %rdi
callq 0x20f0
addq $0xa0, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
leaq 0x42b9(%rip), %rdi      # 0xa0a0
leaq 0x4281(%rip), %rsi      # 0xa06f
leaq 0x47f0(%rip), %rcx      # 0xa5e5
movl $0x133, %edx            # imm = 0x133
callq 0x2090
movq %rax, %r14
jmp 0x5e42
movq %rax, %r14
jmp 0x5e59
movq %rax, %r14
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x5e23
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
movq 0x60(%rsp), %rdi
cmpq %rbx, %rdi
je 0x5e42
movq (%rdi), %r15
movl $0x18, %esi
callq 0x20f0
movq %r15, %rdi
cmpq %rbx, %r15
jne 0x5e2d
movq 0x30(%rsp), %rdi
testq %rdi, %rdi
je 0x5e59
movq 0x40(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
movq 0x48(%rsp), %rdi
testq %rdi, %rdi
je 0x5e70
movq 0x58(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
movq %r14, %rdi
callq 0x2170