// File: /workspace/github_cpp_makefile_star2_O1/pfnet-research[P]pml/src/translate_to_mdp.cpp
// Function: create_int_case(int)
mdp_with_info_t create_int_case(int n) {
    auto const_name = "c" + std::to_string(n);
    int current = translation_data::current_location();
    return mdp_with_info_t {
        mdp::mdp_t {
            "default",
            {},
            { mdp::constant_t{const_name, n} },
            {}
        },
        current, current,
        value_info_t {
            const_name, {bound_t{n, n}}
        }
    };
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x58, %rsp
movl %esi, %ebp
movq %rdi, %rbx
movl %esi, %r14d
negl %r14d
cmovsl %esi, %r14d
movl $0x1, %r15d
cmpl $0xa, %r14d
jb 0x402c5
movl $0x4, %r15d
movl $0xd1b71759, %eax       # imm = 0xD1B71759
movl %r14d, %ecx
cmpl $0x63, %ecx
jbe 0x402bc
cmpl $0x3e7, %ecx            # imm = 0x3E7
jbe 0x402c2
cmpl $0x2710, %ecx           # imm = 0x2710
jb 0x402c5
movl %ecx, %edx
imulq %rax, %rdx
shrq $0x2d, %rdx
addl $0x4, %r15d
cmpl $0x1869f, %ecx          # imm = 0x1869F
movl %edx, %ecx
ja 0x40289
addl $-0x3, %r15d
jmp 0x402c5
addl $-0x2, %r15d
jmp 0x402c5
decl %r15d
movl %ebp, %r12d
shrl $0x1f, %r12d
leal (%r15,%r12), %esi
leaq 0x40(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x30(%rsp), %r13
movq %r13, %rdi
movl $0x2d, %edx
callq 0x9360
addq (%r13), %r12
movq %r12, %rdi
movl %r15d, %esi
movl %r14d, %edx
callq 0x117f9
leaq 0xab95(%rip), %rcx      # 0x4ae99
movl $0x1, %r8d
movq %r13, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x9330
leaq 0x20(%rsp), %r15
movq %r15, -0x10(%r15)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x4033d
movq %rdx, 0x10(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x20(%rsp)
jmp 0x40344
movups (%rcx), %xmm0
movups %xmm0, (%r15)
leaq 0x40(%rsp), %r13
movq 0x8(%rax), %rdx
movq %rdx, 0x18(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x30(%rsp), %rdi
cmpq %r13, %rdi
je 0x40378
movq 0x40(%rsp), %rsi
incq %rsi
callq 0x92e0
movl 0x22f49(%rip), %r14d    # 0x632c8
leaq 0x10(%rbx), %r12
movq %r12, (%rbx)
leaq 0xaa59(%rip), %rsi      # 0x4ade6
leaq 0xaa59(%rip), %rdx      # 0x4aded
movq %rbx, %rdi
callq 0x11866
xorps %xmm0, %xmm0
movups %xmm0, 0x20(%rbx)
movq $0x0, 0x30(%rbx)
leaq 0x30(%rsp), %rdi
movq %r13, (%rdi)
movq 0x10(%rsp), %rsi
movq 0x18(%rsp), %rdx
addq %rsi, %rdx
callq 0xad30
leaq 0x30(%rsp), %rsi
movl %ebp, 0x24(%rsi)
movl $0x0, 0x20(%rsi)
leaq 0x38(%rbx), %rdi
leaq 0xf(%rsp), %rcx
movl $0x1, %edx
callq 0x38272
xorps %xmm0, %xmm0
movups %xmm0, 0x50(%rbx)
movq $0x0, 0x60(%rbx)
movl %r14d, 0x68(%rbx)
movl %r14d, 0x6c(%rbx)
leaq 0x70(%rbx), %rdi
leaq 0x80(%rbx), %rax
movq %rax, 0x70(%rbx)
movq 0x10(%rsp), %rsi
movq 0x18(%rsp), %rdx
addq %rsi, %rdx
callq 0xad30
movl %ebp, %eax
movq %rax, %rcx
shlq $0x20, %rcx
orq %rax, %rcx
movq %rcx, 0x90(%rbx)
movb $0x1, 0x98(%rbx)
leaq 0x50(%rsp), %r14
movq %r14, %rdi
callq 0xaaca
movq -0x20(%r14), %rdi
cmpq %r13, %rdi
je 0x4045c
movq 0x40(%rsp), %rsi
incq %rsi
callq 0x92e0
movq 0x10(%rsp), %rdi
cmpq %r15, %rdi
je 0x40473
movq 0x20(%rsp), %rsi
incq %rsi
callq 0x92e0
movq %rbx, %rax
addq $0x58, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %r14
movq %rbx, %rdi
callq 0xa890
xorl %ebp, %ebp
jmp 0x4049a
movq %rax, %r14
movb $0x1, %bpl
leaq 0x30(%rsp), %rdi
callq 0x382bc
jmp 0x404ac
movq %rax, %r14
movb $0x1, %bpl
testb %bpl, %bpl
je 0x404d3
leaq 0x20(%rbx), %rdi
callq 0xa934
movq (%rbx), %rdi
cmpq %r12, %rdi
je 0x404d3
movq (%r12), %rsi
incq %rsi
callq 0x92e0
jmp 0x404d3
movq %rax, %r14
movq 0x10(%rsp), %rdi
cmpq %r15, %rdi
je 0x40503
movq 0x20(%rsp), %rsi
jmp 0x404fb
movq %rax, %r14
movq 0x30(%rsp), %rdi
leaq 0x40(%rsp), %rax
cmpq %rax, %rdi
je 0x40503
movq 0x40(%rsp), %rsi
incq %rsi
callq 0x92e0
movq %r14, %rdi
callq 0x94e0