void OPPROTO op_srli_T0 (void)

{

    T0 = T0 >> PARAM1;

    RETURN();

}

void OPPROTO op_srli_T0 (void)

{

    T0 = T0 >> PARAM1;

    RETURN();

}

    RETURN();     T0 = T0 >> PARAM1;     RETURN();
void VAR_0 op_srli_T0 (void)

{

    T0 = T0 >> PARAM1;

    RETURN();

}

void VAR_0 op_srli_T0 (void)
{ T0 = T0 >> PARAM1; RETURN(); }