disaxp.c

来自「开放源码的编译器open watcom 1.6.0版的源代码」· C语言 代码 · 共 594 行 · 第 1/2 页

        ins->flags |= DIF_AXP_C;
        break;
    case 0x1:
        ins->flags |= DIF_AXP_M;
        break;
    case 0x2:
        break;
    case 0x3:
        ins->flags |= DIF_AXP_D;
        break;
    }
    return( DHR_DONE );
}

dis_handler_return AXPIEEEOperate( dis_handle *h, void *d, dis_dec_ins *ins )
{
    AXPFPOperate( h, d, ins );
    return( SetIEEEFlags( ins ) );
}

dis_handler_return AXPIEEECompare( dis_handle *h, void *d, dis_dec_ins *ins )
{
    AXPIEEEOperate( h, d, ins );
    //NYI illegal opcodes
    return( DHR_DONE );
}

dis_handler_return AXPIEEEConvert( dis_handle *h, void *d, dis_dec_ins *ins )
{
    axp_ins     code;

    code.full = ins->opcode;
    ins->num_ops = 2;
    ins->op[0].type = DO_REG;
    ins->op[0].base = code.fp_operate.rb + DR_AXP_f0;
    ins->op[1].type = DO_REG;
    ins->op[1].base = code.fp_operate.rc + DR_AXP_f0;
    return( SetIEEEFlags( ins ) );
}

dis_handler_return AXPVAXOperate( dis_handle *h, void *d, dis_dec_ins *ins )
{
    AXPFPOperate( h, d, ins );
    if( !(ins->opcode & (1UL << (7+5))) ) ins->flags |= DIF_AXP_C;
    if(   ins->opcode & (1UL << (8+5))  ) ins->flags |= DIF_AXP_U;
    if(   ins->opcode & (1UL << (10+5)) ) ins->flags |= DIF_AXP_S;
    return( DHR_DONE );
}

dis_handler_return AXPVAXConvert( dis_handle *h, void *d, dis_dec_ins *ins )
{
    axp_ins     code;

    code.full = ins->opcode;
    ins->op[0].type = DO_REG;
    ins->op[0].base = code.fp_operate.rb + DR_AXP_f0;
    ins->op[1].type = DO_REG;
    ins->op[1].base = code.fp_operate.rc + DR_AXP_f0;
    if( !(ins->opcode & (1UL << (7+5))) ) ins->flags |= DIF_AXP_C;
    if(   ins->opcode & (1UL << (8+5))  ) ins->flags |= DIF_AXP_V;
    if(   ins->opcode & (1UL << (10+5)) ) ins->flags |= DIF_AXP_S;
    return( DHR_DONE );
}

static unsigned AXPInsHook( dis_handle *h, void *d, dis_dec_ins *ins,
        dis_format_flags flags, char *name )
{
    const char  *new;

    if( !(flags & DFF_PSEUDO) ) return( 0 );
    new = NULL;
    switch( ins->type ) {
    case DI_AXP_ADDL:
        if( ins->op[0].base == DR_AXP_r31 ) {
            ins->op[0] = ins->op[1];
            ins->op[1] = ins->op[2];
            new = "sextl";
            ins->num_ops = 2;
        } else if( ins->op[1].base == DR_AXP_r31 ) {
            ins->op[1] = ins->op[2];
            new = "sextl";
            ins->num_ops = 2;
        }
        break;
    case DI_AXP_BIS:
        if( ins->op[0].base == DR_AXP_r31 ) {
            if( ins->op[1].base != DR_AXP_r31 ) {
                new  = "mov";
                ins->num_ops = 2;
                ins->op[0] = ins->op[1];
                ins->op[1] = ins->op[2];
            } else if( ins->op[2].base == DR_AXP_r31 ) {
                new = "nop";
                ins->num_ops = 0;
            } else {
                new = "clr";
                ins->op[0] = ins->op[2];
                ins->num_ops = 1;
            }
        } else if( ins->op[0].base == ins->op[1].base ) {
            new  = "mov";
            ins->num_ops = 2;
            ins->op[1] = ins->op[2];
        }
        break;
    case DI_AXP_BR:
        if( ins->op[0].base == DR_AXP_r31 ) {
            ins->op[0] = ins->op[1];
            ins->num_ops = 1;
        }
        break;
    case DI_AXP_CPYS:
        if( ins->op[0].base == DR_AXP_f31 ) {
            if( ins->op[1].base != DR_AXP_f31 ) {
                new  = "fabs";
                ins->num_ops = 2;
                ins->op[0] = ins->op[1];
                ins->op[1] = ins->op[2];
            } else if( ins->op[2].base == DR_AXP_f31 ) {
                new = "fnop";
                ins->num_ops = 0;
            } else {
                new = "fclr";
                ins->op[0] = ins->op[2];
                ins->num_ops = 1;
            }
        } else if( ins->op[0].base == ins->op[1].base ) {
            new  = "fmov";
            ins->num_ops = 2;
            ins->op[1] = ins->op[2];
        }
        break;
    case DI_AXP_CPYSN:
        if( ins->op[0].base == ins->op[1].base ) {
            new = "fneg";
            ins->op[1] = ins->op[2];
            ins->num_ops = 2;
        }
        break;
    case DI_AXP_LDA:
        if( ins->op[1].base == DR_AXP_r31 ) {
            unsigned long       val;

            new = "mov";
            val = ins->op[1].value;
            ins->op[1] = ins->op[0];
            ins->op[0].value = val;
            ins->op[0].type = DO_IMMED;
        }
        break;
    case DI_AXP_MF_FPCR:
    case DI_AXP_MT_FPCR:
        if( ins->op[0].base == ins->op[1].base &&
            ins->op[0].base == ins->op[2].base ) {
            ins->num_ops = 1;
        }
        break;
    case DI_AXP_ORNOT:
        if( ins->op[0].base == DR_AXP_r31 ) {
            new = "not";
            ins->op[0] = ins->op[1];
            ins->op[1] = ins->op[2];
            ins->num_ops = 2;
        }
        break;
    case DI_AXP_RET:
        if( ins->op[0].base == DR_AXP_r31 ) {
            if( !( flags & DFF_ASM ) ) {
                ins->op[0] = ins->op[1];
                ins->num_ops = 1;
            }
        }
        break;
    case DI_AXP_SUBL:
        if( ins->op[0].base == DR_AXP_r31 ) {
            new = "negl";
            ins->op[0] = ins->op[1];
            ins->op[1] = ins->op[2];
            ins->num_ops = 2;
        }
        break;
    case DI_AXP_SUBQ:
        if( ins->op[0].value == 31 ) {
            new = "negq";
            ins->op[0] = ins->op[1];
            ins->op[1] = ins->op[2];
            ins->num_ops = 2;
        }
        break;
    case DI_AXP_SUBS:
        if( ins->op[0].base == DR_AXP_f31 ) {
            if( (ins->flags == DIF_NONE) ||
                (ins->flags == (DIF_AXP_S | DIF_AXP_U) ) ||
                (ins->flags == (DIF_AXP_S | DIF_AXP_U | DIF_AXP_I ) ) ) {
                new = "negs";
                ins->op[0] = ins->op[1];
                ins->op[1] = ins->op[2];
                ins->num_ops = 2;
            }
        }
        break;
    case DI_AXP_SUBT:
        if( ins->op[0].base == DR_AXP_f31 ) {
            if( (ins->flags == DIF_NONE) ||
                (ins->flags == (DIF_AXP_S | DIF_AXP_U) ) ||
                (ins->flags == (DIF_AXP_S | DIF_AXP_U | DIF_AXP_I ) ) ) {
                new = "negt";
                ins->op[0] = ins->op[1];
                ins->op[1] = ins->op[2];
                ins->num_ops = 2;
            }
        }
        break;
    default:
        break;
    }
    if( name != NULL && new != NULL ) {
        strcpy( name, new );
        return( strlen( name ) );
    }
    return( 0 );
}

static unsigned AXPFlagHook( dis_handle *h, void *d, dis_dec_ins *ins,
        dis_format_flags flags, char *name )
{
    char        *p;

    p = name;
    if( ins->flags != DIF_NONE ) {
        *p++ = '/';
        if( ins->flags & DIF_AXP_C ) *p++ = 'c';
        if( ins->flags & DIF_AXP_D ) *p++ = 'd';
        if( ins->flags & DIF_AXP_I ) *p++ = 'i';
        if( ins->flags & DIF_AXP_M ) *p++ = 'm';
        if( ins->flags & DIF_AXP_S ) *p++ = 's';
        if( ins->flags & DIF_AXP_U ) *p++ = 'u';
        if( ins->flags & DIF_AXP_V ) *p++ = 'v';
        *p = '\0';
    }
    return( p - name );
}

static unsigned AXPOpHook( dis_handle *h, void *d, dis_dec_ins *ins,
        dis_format_flags flags, unsigned op_num, char *op_buff )
{
    dis_operand *op;

    if( flags & DFF_SYMBOLIC_REG ) {
        op = &ins->op[op_num];
        if( op->base >= DR_AXP_r0 && op->base <= DR_AXP_r31 ) {
            op->base += DR_AXP_v0 - DR_AXP_r0;
        }
        if( op->index >= DR_AXP_r0 && op->index <= DR_AXP_r31 ) {
            op->index += DR_AXP_v0 - DR_AXP_r0;
        }
    }
    if( flags & DFF_ASM ) {
        op = &ins->op[op_num];
        if( op->base >= DR_AXP_f0 && op->base <= DR_AXP_zero ) {
            op->base += DR_AXP_af0 - DR_AXP_f0;
        }
        if( op->index >= DR_AXP_f0 && op->base <= DR_AXP_zero ) {
            op->index += DR_AXP_af0 - DR_AXP_f0;
        }
    }
    return( 0 );
}

static dis_handler_return AXPDecodeTableCheck( int page, dis_dec_ins *ins )
{
    return( DHR_DONE );
}

static void ByteSwap( dis_handle *h, void *d, dis_dec_ins *ins )
{
    if( h->need_bswap ) {
        SWAP_32( ins->opcode );
    }
}

static void AXPPreprocHook( dis_handle *h, void *d, dis_dec_ins *ins )
{
    ByteSwap( h, d, ins );
}

static unsigned AXPPostOpHook( dis_handle *h, void *d, dis_dec_ins *ins,
        dis_format_flags flags, unsigned op_num, char *op_buff )
{
    // Nothing to do
    return( 0 );
}

const dis_cpu_data AXPData = {
    AXPRangeTable, AXPRangeTablePos, AXPPreprocHook, AXPDecodeTableCheck, AXPInsHook, AXPFlagHook, AXPOpHook, AXPPostOpHook, &AXPMaxInsName, 4
};