// File: /workspace/github_c_makefile_star2_O0/buptlxb[P]xRay/disasm/instr_set/opcodes_N_Z.c
// Function: push_edx
void __bea_callspec__ push_edx(PDISASM pMyDisasm)
{
    (*pMyDisasm).Instruction.Category = GENERAL_PURPOSE_INSTRUCTION+DATA_TRANSFER;
    #ifndef BEA_LIGHT_DISASSEMBLY
       (void) strcpy ((*pMyDisasm).Instruction.Mnemonic, "push ");
    #endif
    if (GV.Architecture == 64) {
        if (GV.REX.B_ == 0) {
            #ifndef BEA_LIGHT_DISASSEMBLY
               (void) strcpy((char*) &(*pMyDisasm).Argument2.ArgMnemonic, Registers64Bits[2+0]);
            #endif
            (*pMyDisasm).Argument2.ArgType = REGISTER_TYPE+GENERAL_REG+REGS[2];

        }
        else {
            #ifndef BEA_LIGHT_DISASSEMBLY
               (void) strcpy((char*) &(*pMyDisasm).Argument2.ArgMnemonic, Registers64Bits[2+0+8]);
            #endif
            (*pMyDisasm).Argument2.ArgType = REGISTER_TYPE+GENERAL_REG+REGS[2+8];
        }
        (*pMyDisasm).Argument2.ArgSize = 64;
        (*pMyDisasm).Argument1.ArgSize = 64;
    }
    else {
        if (GV.OperandSize == 32) {
            #ifndef BEA_LIGHT_DISASSEMBLY
               (void) strcpy((char*) &(*pMyDisasm).Argument2.ArgMnemonic, Registers32Bits[2+0]);
            #endif
            (*pMyDisasm).Argument2.ArgType = REGISTER_TYPE+GENERAL_REG+REGS[2];
            (*pMyDisasm).Argument2.ArgSize = 32;
            (*pMyDisasm).Argument1.ArgSize = 32;
        }
        else {
            #ifndef BEA_LIGHT_DISASSEMBLY
               (void) strcpy((char*) &(*pMyDisasm).Argument2.ArgMnemonic, Registers16Bits[2+0]);
            #endif
            (*pMyDisasm).Argument2.ArgType = REGISTER_TYPE+GENERAL_REG+REGS[2];
            (*pMyDisasm).Argument2.ArgSize = 16;
            (*pMyDisasm).Argument1.ArgSize = 16;
        }
    }
    GV.EIP_++;
    (*pMyDisasm).Argument1.ArgType = MEMORY_TYPE;
    (*pMyDisasm).Argument1.Memory.BaseRegister = REG4;
    (*pMyDisasm).Instruction.ImplicitModifiedRegs = REGISTER_TYPE+GENERAL_REG+REG4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x10, %rsp
movq %rdi, -0x8(%rbp)
movq -0x8(%rbp), %rax
movl $0x10001, 0x60(%rax)    # imm = 0x10001
movq -0x8(%rbp), %rdi
addq $0x60, %rdi
addq $0x8, %rdi
leaq 0x37865(%rip), %rsi     # 0x5174f
callq 0x81c0
movq -0x8(%rbp), %rax
cmpl $0x40, 0x25c(%rax)
jne 0x19f8d
movq -0x8(%rbp), %rax
movzbl 0x287(%rax), %eax
cmpl $0x0, %eax
jne 0x19f3f
movq -0x8(%rbp), %rdi
addq $0x104, %rdi            # imm = 0x104
leaq 0x48ce6(%rip), %rsi     # 0x62c08
callq 0x81c0
movl 0x48f7b(%rip), %ecx     # 0x62ea8
addl $0x20020000, %ecx       # imm = 0x20020000
movq -0x8(%rbp), %rax
movl %ecx, 0x144(%rax)
jmp 0x19f6c
movq -0x8(%rbp), %rdi
addq $0x104, %rdi            # imm = 0x104
leaq 0x48cd7(%rip), %rsi     # 0x62c28
callq 0x81c0
movl 0x48f6c(%rip), %ecx     # 0x62ec8
addl $0x20020000, %ecx       # imm = 0x20020000
movq -0x8(%rbp), %rax
movl %ecx, 0x144(%rax)
movq -0x8(%rbp), %rax
movl $0x40, 0x148(%rax)
movq -0x8(%rbp), %rax
movl $0x40, 0xe0(%rax)
jmp 0x1a030
movq -0x8(%rbp), %rax
cmpl $0x20, 0x20c(%rax)
jne 0x19fe5
movq -0x8(%rbp), %rdi
addq $0x104, %rdi            # imm = 0x104
leaq 0x48ca4(%rip), %rsi     # 0x62c50
callq 0x81c0
movl 0x48ef1(%rip), %ecx     # 0x62ea8
addl $0x20020000, %ecx       # imm = 0x20020000
movq -0x8(%rbp), %rax
movl %ecx, 0x144(%rax)
movq -0x8(%rbp), %rax
movl $0x20, 0x148(%rax)
movq -0x8(%rbp), %rax
movl $0x20, 0xe0(%rax)
jmp 0x1a02e
movq -0x8(%rbp), %rdi
addq $0x104, %rdi            # imm = 0x104
leaq 0x48cd9(%rip), %rsi     # 0x62cd0
callq 0x81c0
movl 0x48ea6(%rip), %ecx     # 0x62ea8
addl $0x20020000, %ecx       # imm = 0x20020000
movq -0x8(%rbp), %rax
movl %ecx, 0x144(%rax)
movq -0x8(%rbp), %rax
movl $0x10, 0x148(%rax)
movq -0x8(%rbp), %rax
movl $0x10, 0xe0(%rax)
jmp 0x1a030
movq -0x8(%rbp), %rax
movq 0x1f0(%rax), %rcx
addq $0x1, %rcx
movq %rcx, 0x1f0(%rax)
movq -0x8(%rbp), %rax
movl $0x40000000, 0xdc(%rax) # imm = 0x40000000
movq -0x8(%rbp), %rax
movl $0x10, 0xec(%rax)
movq -0x8(%rbp), %rax
movl $0x20020010, 0x98(%rax) # imm = 0x20020010
addq $0x10, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)