// File: /workspace/github_c_makefile_star2_O3/buptlxb[P]xRay/disasm/instr_set/opcodes_A_M.c
// Function: mov_ESP
void __bea_callspec__ mov_ESP(PDISASM pMyDisasm)
{
    UInt64 MyAddress;
    (*pMyDisasm).Instruction.Category = GENERAL_PURPOSE_INSTRUCTION+DATA_TRANSFER;
    #ifndef BEA_LIGHT_DISASSEMBLY
       (void) strcpy ((*pMyDisasm).Instruction.Mnemonic, "mov ");
    #endif
    (*pMyDisasm).Argument1.ArgType = REGISTER_TYPE+GENERAL_REG+REG4;
    (*pMyDisasm).Argument2.ArgType = CONSTANT_TYPE+ABSOLUTE_;
    if (GV.OperandSize == 64) {
        if (!Security(9, pMyDisasm)) return;
        MyAddress = *((UInt64 *)(UIntPtr) (GV.EIP_+1));
       #ifndef BEA_LIGHT_DISASSEMBLY
          (void) CopyFormattedNumber(pMyDisasm, (char*) (*pMyDisasm).Argument2.ArgMnemonic, "%.16llX",(Int64) MyAddress);
       #endif
       GV.EIP_+=9;
       (*pMyDisasm).Instruction.Immediat = (Int64)MyAddress;
        (*pMyDisasm).Argument1.ArgSize = 64;
        (*pMyDisasm).Argument2.ArgSize = 64;
    }
    else if (GV.OperandSize == 32) {
        if (!Security(5, pMyDisasm)) return;
        MyAddress = *((UInt32*)(UIntPtr) (GV.EIP_+1));
       #ifndef BEA_LIGHT_DISASSEMBLY
          (void) CopyFormattedNumber(pMyDisasm, (char*) (*pMyDisasm).Argument2.ArgMnemonic, "%.8X",(Int64) MyAddress);
       #endif
       GV.EIP_+=5;
       (*pMyDisasm).Instruction.Immediat = (Int64)MyAddress;
        (*pMyDisasm).Argument1.ArgSize = 32;
        (*pMyDisasm).Argument2.ArgSize = 32;
    }
    else {
        if (!Security(3, pMyDisasm)) return;
        MyAddress = *((UInt16*)(UIntPtr) (GV.EIP_+1));
       #ifndef BEA_LIGHT_DISASSEMBLY
          (void) CopyFormattedNumber(pMyDisasm, (char*) (*pMyDisasm).Argument2.ArgMnemonic, "%.4X",(Int64) MyAddress);
       #endif
       GV.EIP_+=3;
       (*pMyDisasm).Instruction.Immediat = (Int64)MyAddress;
        (*pMyDisasm).Argument1.ArgSize = 16;
        (*pMyDisasm).Argument2.ArgSize = 16;
    }

    if (GV.REX.B_ == 0) {
        if (GV.OperandSize == 64) {
            #ifndef BEA_LIGHT_DISASSEMBLY
               (void) strcpy ((char*) (*pMyDisasm).Argument1.ArgMnemonic, Registers64Bits[4+0]);
            #endif
        }
        else if (GV.OperandSize == 32) {
            #ifndef BEA_LIGHT_DISASSEMBLY
               (void) strcpy ((char*) (*pMyDisasm).Argument1.ArgMnemonic, Registers32Bits[4+0]);
            #endif
        }
        else {
            #ifndef BEA_LIGHT_DISASSEMBLY
               (void) strcpy ((char*) (*pMyDisasm).Argument1.ArgMnemonic, Registers16Bits[4+0]);
            #endif
        }
    }
    else {
        if (GV.OperandSize == 64) {
            #ifndef BEA_LIGHT_DISASSEMBLY
               (void) strcpy ((char*) (*pMyDisasm).Argument1.ArgMnemonic, Registers64Bits[4+0+8]);
            #endif
        }
        else if (GV.OperandSize == 32) {
            #ifndef BEA_LIGHT_DISASSEMBLY
               (void) strcpy ((char*) (*pMyDisasm).Argument1.ArgMnemonic, Registers32Bits[4+0+8]);
            #endif
        }
        else {
            #ifndef BEA_LIGHT_DISASSEMBLY
               (void) strcpy ((char*) (*pMyDisasm).Argument1.ArgMnemonic, Registers16Bits[4+0+8]);
            #endif
        }
    }

}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movl $0x10001, 0x60(%rdi)    # imm = 0x10001
movl $0x20766f6d, 0x68(%rdi) # imm = 0x20766F6D
movb $0x0, 0x6c(%rdi)
movl $0x20020010, 0xdc(%rdi) # imm = 0x20020010
leaq 0x104(%rdi), %rsi
movl $0x88000000, 0x144(%rdi) # imm = 0x88000000
movl 0x20c(%rdi), %edx
movq 0x250(%rdi), %rcx
movq 0x1f0(%rdi), %rax
decq %rcx
cmpl $0x20, %edx
je 0x13865
cmpl $0x40, %edx
jne 0x13893
movq %rax, %rdx
addq $0x9, %rdx
cmpq %rdx, %rcx
jb 0x1389f
movq 0x1(%rax), %r14
leaq 0x1a206(%rip), %rdx     # 0x2da54
movq %rbx, %rdi
movq %r14, %rcx
callq 0x2a60b
movl $0x40, %eax
movl $0x9, %ecx
jmp 0x138d2
movq %rax, %rdx
addq $0x5, %rdx
cmpq %rdx, %rcx
jb 0x1389f
movl 0x1(%rax), %r14d
leaq 0x1a1e0(%rip), %rdx     # 0x2da5c
movq %rbx, %rdi
movq %r14, %rcx
callq 0x2a60b
movl $0x20, %eax
movl $0x5, %ecx
jmp 0x138d2
movq %rax, %rdx
addq $0x3, %rdx
cmpq %rdx, %rcx
jae 0x138b1
movl $0x1, 0x289(%rbx)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
movzwl 0x1(%rax), %r14d
leaq 0x1a1b5(%rip), %rdx     # 0x2da72
movq %rbx, %rdi
movq %r14, %rcx
callq 0x2a60b
movl $0x10, %eax
movl $0x3, %ecx
addq %rcx, 0x1f0(%rbx)
leaq 0x9c(%rbx), %rdi
movq %r14, 0x90(%rbx)
movl %eax, 0xe0(%rbx)
movl %eax, 0x148(%rbx)
cmpb $0x0, 0x287(%rbx)
movl 0x20c(%rbx), %eax
je 0x13915
cmpl $0x20, %eax
je 0x13928
cmpl $0x40, %eax
jne 0x13931
leaq 0x252bd(%rip), %rsi     # 0x38bd0
jmp 0x1394a
cmpl $0x20, %eax
je 0x1393a
cmpl $0x40, %eax
jne 0x13943
leaq 0x2528a(%rip), %rsi     # 0x38bb0
jmp 0x1394a
leaq 0x25311(%rip), %rsi     # 0x38c40
jmp 0x1394a
leaq 0x25388(%rip), %rsi     # 0x38cc0
jmp 0x1394a
leaq 0x252bf(%rip), %rsi     # 0x38c00
jmp 0x1394a
leaq 0x25336(%rip), %rsi     # 0x38c80
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x8150