PPC_OP(mulhw)

{

    T0 = ((int64_t)Ts0 * (int64_t)Ts1) >> 32;

    RETURN();

}

PPC_OP(mulhw)

{

    T0 = ((int64_t)Ts0 * (int64_t)Ts1) >> 32;

    RETURN();

}

    RETURN(); PPC_OP(mulhw)     T0 = ((int64_t)Ts0 * (int64_t)Ts1) >> 32;     RETURN();
FUNC_0(VAR_0)

{

    T0 = ((int64_t)Ts0 * (int64_t)Ts1) >> 32;

    RETURN();

}

FUNC_0(VAR_0)
{ T0 = ((int64_t)Ts0 * (int64_t)Ts1) >> 32; RETURN(); }