// File: /workspace/github_cpp_makefile_star2_O1/kdungs[P]cpp-prelude/test_prelude.cc
// Function: test_break_()
auto test_break_() -> void {
  using Prelude::break_;
  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) = break_([](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 0x48c3(%rip), %xmm0     # 0xa010
leaq 0xb0(%rsp), %rbx
movups %xmm0, (%rbx)
leaq 0x60(%rsp), %rdi
leaq 0x90(%rsp), %rcx
movl $0x4, %edx
movq %rbx, %rsi
callq 0x7016
movaps 0x48d7(%rip), %xmm0     # 0xa050
movups %xmm0, (%rbx)
leaq 0x48(%rsp), %rdi
leaq 0xb0(%rsp), %rsi
leaq 0x90(%rsp), %rcx
movl $0x4, %edx
callq 0x7016
xorl %eax, %eax
movq %rax, 0x20(%rsp)
xorps %xmm0, %xmm0
movaps %xmm0, 0x10(%rsp)
movq %rax, 0x40(%rsp)
movaps %xmm0, 0x30(%rsp)
movups 0x5401(%rip), %xmm0     # 0xabbc
leaq 0x100(%rsp), %rsi
movaps %xmm0, 0x10(%rsi)
movups 0x53de(%rip), %xmm0     # 0xabac
movaps %xmm0, (%rsi)
leaq 0x78(%rsp), %rdi
leaq 0xf(%rsp), %rcx
movl $0x8, %edx
callq 0x7016
leaq 0xe0(%rsp), %rax
xorps %xmm0, %xmm0
movaps %xmm0, (%rax)
leaq 0x179e(%rip), %rcx      # 0x6f98
movq %rcx, 0x18(%rax)
leaq 0x179b(%rip), %rcx      # 0x6fa0
movq %rcx, 0x10(%rax)
leaq 0x90(%rsp), %rsi
movaps %xmm0, (%rsi)
movaps %xmm0, 0x10(%rsi)
movq %rax, (%rsi)
leaq 0x2218(%rip), %rax      # 0x7a3a
movq %rax, 0x18(%rsi)
leaq 0x2213(%rip), %rax      # 0x7a40
movq %rax, 0x10(%rsi)
leaq 0xb0(%rsp), %rdi
leaq 0x78(%rsp), %rdx
callq 0x8afd
movq 0xa0(%rsp), %rax
testq %rax, %rax
je 0x5862
leaq 0x90(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
movq 0xf0(%rsp), %rax
testq %rax, %rax
je 0x5881
leaq 0xe0(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
leaq 0xc8(%rsp), %rsi
leaq 0x10(%rsp), %rdi
callq 0x8abe
leaq 0x30(%rsp), %rdi
leaq 0xb0(%rsp), %rbx
movq %rbx, %rsi
callq 0x8abe
movq 0x18(%rbx), %rdi
testq %rdi, %rdi
je 0x58c1
movq 0xd8(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
movq 0xb0(%rsp), %rdi
testq %rdi, %rdi
je 0x58de
movq 0xc0(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
movq 0x78(%rsp), %rdi
testq %rdi, %rdi
je 0x58f8
movq 0x88(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
movq 0x10(%rsp), %rdi
movq 0x18(%rsp), %rax
movq %rax, %rdx
subq %rdi, %rdx
movq 0x60(%rsp), %rsi
movq 0x68(%rsp), %rcx
subq %rsi, %rcx
cmpq %rcx, %rdx
jne 0x59ce
cmpq %rdi, %rax
je 0x5930
callq 0x2100
testl %eax, %eax
jne 0x59ce
movq 0x30(%rsp), %rbx
movq 0x38(%rsp), %rax
movq %rax, %rdx
subq %rbx, %rdx
movq 0x48(%rsp), %rsi
movq 0x50(%rsp), %rcx
subq %rsi, %rcx
cmpq %rcx, %rdx
jne 0x59ed
cmpq %rbx, %rax
je 0x596b
movq %rbx, %rdi
callq 0x2100
testl %eax, %eax
jne 0x59ed
testq %rbx, %rbx
je 0x5980
movq 0x40(%rsp), %rsi
subq %rbx, %rsi
movq %rbx, %rdi
callq 0x20f0
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x5997
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
movq 0x48(%rsp), %rdi
testq %rdi, %rdi
je 0x59ae
movq 0x58(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
movq 0x60(%rsp), %rdi
testq %rdi, %rdi
je 0x59c5
movq 0x70(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
addq $0x120, %rsp            # imm = 0x120
popq %rbx
retq
leaq 0x4b65(%rip), %rdi      # 0xa53a
leaq 0x4693(%rip), %rsi      # 0xa06f
leaq 0x4bce(%rip), %rcx      # 0xa5b1
movl $0x114, %edx            # imm = 0x114
callq 0x2090
leaq 0x4b6d(%rip), %rdi      # 0xa561
leaq 0x4674(%rip), %rsi      # 0xa06f
leaq 0x4baf(%rip), %rcx      # 0xa5b1
movl $0x115, %edx            # imm = 0x115
callq 0x2090
jmp 0x5a6f
jmp 0x5a6f
movq %rax, %rbx
movq 0xa0(%rsp), %rax
testq %rax, %rax
je 0x5a32
leaq 0x90(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
movq 0xf0(%rsp), %rax
testq %rax, %rax
je 0x5a51
leaq 0xe0(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
movq 0x78(%rsp), %rdi
testq %rdi, %rdi
je 0x5a7a
movq 0x88(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
jmp 0x5a7a
jmp 0x5a6f
movq %rax, %rdi
callq 0x7a03
movq %rax, %rbx
movq 0x30(%rsp), %rdi
testq %rdi, %rdi
je 0x5a91
movq 0x40(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x5aa8
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
movq 0x48(%rsp), %rdi
testq %rdi, %rdi
je 0x5ac4
movq 0x58(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
jmp 0x5ac4
movq %rax, %rbx
movq 0x60(%rsp), %rdi
testq %rdi, %rdi
je 0x5adb
movq 0x70(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
movq %rbx, %rdi
callq 0x2170