// File: /workspace/github_cpp_makefile_star2_O2/pfnet-research[P]pml/src/translate_to_mdp.cpp
// Function: make_concat(int, int, std::shared_ptr<mdp::expr_t> const&)
mdp::command_t make_concat(int from, int to, ptr<mdp::expr_t> const& update) {
    return mdp::command_t {
        make<mdp::binop_expr_t>(
                make<mdp::var_expr_t>("location"),
                make<mdp::int_expr_t>(from),
                mdp::binop_kind_t::Eq),
        {
            mdp::branch_t{
                make<mdp::int_expr_t>(1),
                make<mdp::binop_expr_t>(
                        make<mdp::binop_expr_t>(
                            make<mdp::var_expr_t>("location'"),
                            make<mdp::int_expr_t>(to),
                            mdp::binop_kind_t::Eq),
                        update,
                        mdp::binop_kind_t::And)
            }
        }
    };
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xc8, %rsp
movq %rcx, %r12
movq %rdi, %rbx
leaq 0x6c(%rsp), %r14
movl %esi, (%r14)
movl %edx, 0x4(%rsp)
leaq 0x5cc0(%rip), %rsi      # 0x36144
leaq 0x48(%rsp), %rdi
callq 0x2c735
leaq 0x38(%rsp), %rdi
movq %r14, %rsi
callq 0x32736
leaq 0x68(%rsp), %rcx
movl $0x8, (%rcx)
leaq 0xb0(%rsp), %rdi
leaq 0x48(%rsp), %rsi
leaq 0x38(%rsp), %rdx
callq 0x2c4a2
leaq 0xb8(%rsp), %r14
movaps -0x8(%r14), %xmm0
andq $0x0, (%r14)
andq $0x0, -0x8(%r14)
movups %xmm0, (%rbx)
leaq 0x64(%rsp), %rsi
movl $0x1, (%rsi)
leaq 0xa0(%rsp), %rdi
callq 0x2c961
leaq 0xa8(%rsp), %r15
movaps -0x8(%r15), %xmm0
movaps %xmm0, 0x70(%rsp)
xorps %xmm0, %xmm0
movaps %xmm0, -0x8(%r15)
leaq 0xbf7c(%rip), %rsi      # 0x3c48b
leaq 0x18(%rsp), %rdi
callq 0x2cd81
leaq 0x8(%rsp), %rdi
leaq 0x4(%rsp), %rsi
callq 0x32736
leaq 0x60(%rsp), %rcx
movl $0x8, (%rcx)
leaq 0x28(%rsp), %rdi
leaq 0x18(%rsp), %rsi
leaq 0x8(%rsp), %rdx
callq 0x2c4a2
leaq 0x5c(%rsp), %rcx
movl $0xa, (%rcx)
leaq 0x90(%rsp), %rdi
leaq 0x28(%rsp), %rsi
movq %r12, %rdx
callq 0x32cf9
leaq 0x10(%rbx), %rdi
leaq 0x98(%rsp), %r13
movaps -0x8(%r13), %xmm0
leaq 0x70(%rsp), %rsi
movaps %xmm0, 0x10(%rsi)
xorps %xmm0, %xmm0
movaps %xmm0, -0x8(%r13)
pushq $0x1
popq %rdx
leaq 0x3(%rsp), %rcx
callq 0x2c376
leaq 0x70(%rsp), %rdi
callq 0xa218
movq %r13, %rdi
callq 0xa248
leaq 0x30(%rsp), %rdi
callq 0xa248
leaq 0x10(%rsp), %rdi
callq 0xa248
leaq 0x20(%rsp), %rdi
callq 0xa248
movq %r15, %rdi
callq 0xa248
movq %r14, %rdi
callq 0xa248
leaq 0x40(%rsp), %rdi
callq 0xa248
leaq 0x50(%rsp), %rdi
callq 0xa248
movq %rbx, %rax
addq $0xc8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %r12
leaq 0x70(%rsp), %rdi
callq 0xa218
movq %r13, %rdi
callq 0xa248
xorl %ebp, %ebp
jmp 0x3061e
movq %rax, %r12
movb $0x1, %bpl
leaq 0x30(%rsp), %rdi
callq 0xa248
jmp 0x30630
movq %rax, %r12
movb $0x1, %bpl
leaq 0x10(%rsp), %rdi
callq 0xa248
jmp 0x30642
movq %rax, %r12
movb $0x1, %bpl
leaq 0x20(%rsp), %rdi
callq 0xa248
testb %bpl, %bpl
jne 0x30656
jmp 0x30660
movq %rax, %r12
leaq 0x78(%rsp), %rdi
callq 0xa248
movq %r15, %rdi
callq 0xa248
addq $0x8, %rbx
movq %rbx, %rdi
callq 0xa248
movq %r14, %rdi
callq 0xa248
leaq 0x40(%rsp), %rdi
callq 0xa248
leaq 0x50(%rsp), %rdi
callq 0xa248
movq %r12, %rdi
callq 0x94d0
movq %rax, %r12
jmp 0x30668
movq %rax, %r12
jmp 0x3067c
movq %rax, %r12
jmp 0x30686