Вы, как раз и описали все те "чудеса", что в ЯВУ (применительно и к морфологиям языка С) куда: и приятней и эффективней делается. Помимо переносимости кода- явного преимущества С, есть и фактор удобочитаемости исходника. У меня программы (с наилегчайшим вычленением из них комбинаций ЛЮБИМЫХ подпрограмм :)) с прошлого века (ещё с Hi-Tech-C for PIC) удачно перекачовывают от одного компилятора к другому (от одной платформы к другой : PIC<>MSP430<>AVR<>...:) c любой разрядностью и переферийностью.
И это привносит ТАКУЮ комфортность в "Крупных" камнях, что уходить обратно в ASM- себе и заказчикам дороже. Выстроенному бизнесу (с удалённо-разделяемой работой в проекте) дороже.
Регистровые и битовые операции в оптимизированном коде выглядят не хуже , чем в ASM (c незначительными издержками, легко устранимыми, выше-упомянутыми ASM-вставками). Со скоростями- никаких проблем. Даже наоборот- приходиться притормаживать задачи. Ей, Богу: уж регистровые иннициализации/операции потрохов в камнях не камень преткновения в ЯВУ. А Многозадачность с милисекундным Таймированием в main() давно у многих С'шников реализована. Ещё и в красках, т.с. (с различными художественными выкрутасами). Нет! К АСМ дороги назад не будет. Ему-только, теперь...велосипедная, т.с. :)