// File: /workspace/github_c_makefile_star2_O1/buptlxb[P]xRay/disasm/instr_set/opcodes_N_Z.c
// Function: push_Iv
void __bea_callspec__ push_Iv(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 (!Security(5, pMyDisasm)) return;
        #ifndef BEA_LIGHT_DISASSEMBLY
           (void) CopyFormattedNumber(pMyDisasm, (char*) &(*pMyDisasm).Argument2.ArgMnemonic,"%.8X",(Int64)*((UInt32*)(UIntPtr) (GV.EIP_+1)));
        #endif
        GV.ImmediatSize = 32;
        (*pMyDisasm).Instruction.Immediat = *((UInt32*)(UIntPtr) (GV.EIP_+1));
        GV.EIP_ += 5;
        (*pMyDisasm).Argument1.ArgType = MEMORY_TYPE;
        (*pMyDisasm).Argument1.ArgSize = 64;
        (*pMyDisasm).Argument1.Memory.BaseRegister = REG4;
        (*pMyDisasm).Argument2.ArgType = CONSTANT_TYPE+ABSOLUTE_;
        (*pMyDisasm).Argument2.ArgSize = 64;
        (*pMyDisasm).Instruction.ImplicitModifiedRegs = REGISTER_TYPE+GENERAL_REG+REG4;
    }
    else if (GV.OperandSize == 32) {
        if (!Security(5, pMyDisasm)) return;
        #ifndef BEA_LIGHT_DISASSEMBLY
           (void) CopyFormattedNumber(pMyDisasm, (char*) &(*pMyDisasm).Argument2.ArgMnemonic,"%.8X",(Int64)*((UInt32*)(UIntPtr) (GV.EIP_+1)));
        #endif
        GV.ImmediatSize = 32;
        (*pMyDisasm).Instruction.Immediat = *((UInt32*)(UIntPtr) (GV.EIP_+1));
        GV.EIP_ += 5;
        (*pMyDisasm).Argument1.ArgType = MEMORY_TYPE;
        (*pMyDisasm).Argument1.ArgSize = 32;
        (*pMyDisasm).Argument1.Memory.BaseRegister = REG4;
        (*pMyDisasm).Argument2.ArgType = CONSTANT_TYPE+ABSOLUTE_;
        (*pMyDisasm).Argument2.ArgSize = 32;
        (*pMyDisasm).Instruction.ImplicitModifiedRegs = REGISTER_TYPE+GENERAL_REG+REG4;
    }
    else {
        if (!Security(3, pMyDisasm)) return;
        #ifndef BEA_LIGHT_DISASSEMBLY
           (void) CopyFormattedNumber(pMyDisasm, (char*) &(*pMyDisasm).Argument2.ArgMnemonic,"%.4X",(Int64)*((UInt16*)(UIntPtr) (GV.EIP_+1)));
        #endif
        GV.ImmediatSize = 16;
        (*pMyDisasm).Instruction.Immediat = *((UInt16*)(UIntPtr) (GV.EIP_+1));
        GV.EIP_ += 3;
        (*pMyDisasm).Argument1.ArgType = MEMORY_TYPE;
        (*pMyDisasm).Argument1.ArgSize = 16;
        (*pMyDisasm).Argument1.Memory.BaseRegister = REG4;
        (*pMyDisasm).Argument2.ArgType = CONSTANT_TYPE+ABSOLUTE_;
        (*pMyDisasm).Argument2.ArgSize = 16;
        (*pMyDisasm).Instruction.ImplicitModifiedRegs = REGISTER_TYPE+GENERAL_REG+REG4;
    }
}

// Assembly:
pushq %rbx
movq %rdi, %rbx
movl $0x10001, 0x60(%rdi)    # imm = 0x10001
movl $0x68737570, 0x68(%rdi) # imm = 0x68737570
movw $0x20, 0x6c(%rdi)
cmpl $0x40, 0x25c(%rdi)
jne 0xef41
movq 0x250(%rbx), %rax
testq %rax, %rax
je 0xeef8
movq 0x1f0(%rbx), %rcx
addq $0x5, %rcx
cmpq %rax, %rcx
jae 0xf04c
leaq 0x104(%rbx), %rsi
movq 0x1f0(%rbx), %rax
movl 0x1(%rax), %ecx
leaq 0x1eb4c(%rip), %rdx     # 0x2da5c
movq %rbx, %rdi
callq 0x2acdf
movl $0x20, 0x260(%rbx)
movq 0x1f0(%rbx), %rax
movl 0x1(%rax), %ecx
movq %rcx, 0x90(%rbx)
addq $0x5, %rax
movl $0x40, %ecx
jmp 0xf00f
cmpl $0x20, 0x20c(%rbx)
movq 0x250(%rbx), %rax
jne 0xefb0
testq %rax, %rax
je 0xef6a
movq 0x1f0(%rbx), %rcx
addq $0x5, %rcx
cmpq %rax, %rcx
jae 0xf04c
leaq 0x104(%rbx), %rsi
movq 0x1f0(%rbx), %rax
movl 0x1(%rax), %ecx
leaq 0x1eada(%rip), %rdx     # 0x2da5c
movq %rbx, %rdi
callq 0x2acdf
movl $0x20, 0x260(%rbx)
movq 0x1f0(%rbx), %rax
movl 0x1(%rax), %ecx
movq %rcx, 0x90(%rbx)
addq $0x5, %rax
movl $0x20, %ecx
jmp 0xf00f
testq %rax, %rax
je 0xefc9
movq 0x1f0(%rbx), %rcx
addq $0x3, %rcx
cmpq %rax, %rcx
jae 0xf04c
leaq 0x104(%rbx), %rsi
movq 0x1f0(%rbx), %rax
movzwl 0x1(%rax), %ecx
leaq 0x1ea90(%rip), %rdx     # 0x2da72
movq %rbx, %rdi
callq 0x2acdf
movl $0x10, 0x260(%rbx)
movq 0x1f0(%rbx), %rax
movzwl 0x1(%rax), %ecx
movq %rcx, 0x90(%rbx)
addq $0x3, %rax
movl $0x10, %ecx
movq %rax, 0x1f0(%rbx)
movl $0x40000000, 0xdc(%rbx) # imm = 0x40000000
movl %ecx, 0xe0(%rbx)
movl $0x10, 0xec(%rbx)
movl $0x88000000, 0x144(%rbx) # imm = 0x88000000
movl %ecx, 0x148(%rbx)
movl $0x20020010, %eax       # imm = 0x20020010
movl $0x98, %ecx
jmp 0xf056
movl $0x1, %eax
movl $0x289, %ecx            # imm = 0x289
movl %eax, (%rbx,%rcx)
popq %rbx
retq