Instruction support: add c.le.s.