unsigned char
svp64_record_cr_in_opsel(const struct svp64_record *record)
{
    static const unsigned char table[] = {
        UNUSED , /* SVP64_CRINSEL_NONE */
        UNUSED , /* SVP64_CRINSEL_CR0 */
        BI     , /* SVP64_CRINSEL_BI */
        BFA    , /* SVP64_CRINSEL_BFA */
        UNUSED , /* SVP64_CRINSEL_BA_BB */
        CRB    , /* SVP64_CRINSEL_BC */
        FXM    , /* SVP64_CRINSEL_WHOLE_REG */
        UNUSED , /* SVP64_CRINSEL_CR1 */
    };

    return table[record->cr_in];
}

unsigned char
svp64_record_cr_out_opsel(const struct svp64_record *record)
{
    static const unsigned char table[] = {
        UNUSED , /* SVP64_CROUTSEL_NONE */
        UNUSED , /* SVP64_CROUTSEL_CR0 */
        BF     , /* SVP64_CROUTSEL_BF */
        BT     , /* SVP64_CROUTSEL_BT */
        FXM    , /* SVP64_CROUTSEL_WHOLE_REG */
        UNUSED , /* SVP64_CROUTSEL_CR1 */
    };

    return table[record->cr_out];
}