// File: /workspace/github_c_makefile_star2_O3/buptlxb[P]xRay/disasm/instr_set/opcodes_N_Z.c
// Function: push_ecx
void __bea_callspec__ push_ecx(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[1+0]);
            #endif
            (*pMyDisasm).Argument2.ArgType = REGISTER_TYPE+GENERAL_REG+REGS[1];
        }
        else {
            #ifndef BEA_LIGHT_DISASSEMBLY
               (void) strcpy((char*) &(*pMyDisasm).Argument2.ArgMnemonic, Registers64Bits[1+0+8]);
            #endif
            (*pMyDisasm).Argument2.ArgType = REGISTER_TYPE+GENERAL_REG+REGS[1+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[1+0]);
            #endif
            (*pMyDisasm).Argument2.ArgType = REGISTER_TYPE+GENERAL_REG+REGS[1];
            (*pMyDisasm).Argument2.ArgSize = 32;
            (*pMyDisasm).Argument1.ArgSize = 32;
        }
        else {
            #ifndef BEA_LIGHT_DISASSEMBLY
               (void) strcpy((char*) &(*pMyDisasm).Argument2.ArgMnemonic, Registers16Bits[1+0]);
            #endif
            (*pMyDisasm).Argument2.ArgType = REGISTER_TYPE+GENERAL_REG+REGS[1];
            (*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 %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movl $0x10001, 0x60(%rdi)    # imm = 0x10001
movl $0x68737570, 0x68(%rdi) # imm = 0x68737570
movw $0x20, 0x6c(%rdi)
addq $0x104, %rdi            # imm = 0x104
cmpl $0x40, 0x25c(%rbx)
jne 0xdb7d
cmpb $0x0, 0x287(%rbx)
leaq 0x2b05e(%rip), %rax     # 0x38ba4
leaq 0x2b077(%rip), %rsi     # 0x38bc4
cmoveq %rax, %rsi
leaq 0x2b2ec(%rip), %rax     # 0x38e44
leaq 0x2b305(%rip), %r14     # 0x38e64
cmoveq %rax, %r14
callq 0x8150
movl $0x20020000, %eax       # imm = 0x20020000
addl (%r14), %eax
movl %eax, 0x144(%rbx)
movl $0x40, %eax
jmp 0xdbcc
cmpl $0x20, 0x20c(%rbx)
jne 0xdbaa
leaq 0x2b05b(%rip), %rsi     # 0x38be8
callq 0x8150
movl $0x20020000, %eax       # imm = 0x20020000
addl 0x2b2a7(%rip), %eax     # 0x38e44
movl %eax, 0x144(%rbx)
movl $0x20, %eax
jmp 0xdbcc
leaq 0x2b0b7(%rip), %rsi     # 0x38c68
callq 0x8150
movl $0x20020000, %eax       # imm = 0x20020000
addl 0x2b283(%rip), %eax     # 0x38e44
movl %eax, 0x144(%rbx)
movl $0x10, %eax
movl %eax, 0x148(%rbx)
movl %eax, 0xe0(%rbx)
incq 0x1f0(%rbx)
movl $0x40000000, 0xdc(%rbx) # imm = 0x40000000
movl $0x10, 0xec(%rbx)
movl $0x20020010, 0x98(%rbx) # imm = 0x20020010
addq $0x8, %rsp
popq %rbx
popq %r14
retq