rv32ec is indeed less dense than thumb2. This is of course not the case anymore with the newer bitmanip and code size extensions, but it holds true for the old

rv32ec is indeed less dense than thumb2. This is of course not the case anymore with the newer bitmanip and code size extensions, but it holds true for the older, crude rv32ec.