Changed setcc to MUST WRITE