Встраивание ассемблера в С++ приемлемо?

Я хотел бы ответить на подвопрос:

Создает ли это больше проблем, чем решает, или это приемлемо для конкретных небольших задач?

Это определенно так! Используя встроенный ассемблер, вы берете у компилятора возможность оптимизировать код. Он не может выполнять подстановку частичных выражений или любую другую причудливую оптимизацию. Очень, очень сложно создать код лучше, чем тот, который компилятор выдает с -O3. И в качестве бонуса, код становится еще лучше со следующей версией компилятора (при условии, что следующая версия компилятора не сломает его ;)).

Компиляторы обычно охватывают более широкий диапазон, чем человеческий мозг когда-либо мог (или должен был, чтобы обеспечить здравомыслие), имея возможность встраивать нужную функцию в нужное место, выполнять частичную замену выражения, что делает код более эффективным. Вещи, которые вы никогда бы не сделали в ASM, потому что ваш код становится чертовски нечитаемым.

В качестве анекдотической ссылки я хотел бы эту публикацию Линуса Торвальдса , относящийся к реализации SHA1 в git, которая превосходит оптимизированный вручную SHA1 в libcrypt.

На самом деле, я думаю, что единственное разумное использование встроенного ассемблера в настоящее время - это вызов инструкций процессора, которые в противном случае недоступны (та, которую вы цитировали, доступна, например, в Linux как clock_gettime, по крайней мере, если вы только после счетчика времени с высоким разрешением ) или если вам нужно сделать что-то, где вам нужно обмануть компилятор (например, во время реализации интерфейсов сторонних функций).

О фрагменте и о том, что сказали другие. Особенно с такими функциями вы получите штраф за производительность. Во встроенном ассемблере вы должны быть очень осторожны, чтобы регистры сохранялись в том состоянии, в котором они предполагаются компилятором (push/pop, как указано выше). В то время как если вы пишете код нормально, компилятор может позаботиться и оставить именно те переменные, для которых имеет смысл в регистрах и те, которые не помещаются в стеке.

Доверьтесь своему компилятору. Это умно. Большую часть времени. Потратьте время, которое вы сэкономите, не используя встроенный ассемблер, на размышления об умных, быстрых алгоритмах и изучении соответствующих переключателей компилятора (например, для включения оптимизации SSE и т. д.).

Если рассматриваемый asm выталкивает какие-либо регистры, которые он использует, вверху, а затем выталкивает их внизу, я думаю, вы можете не беспокоиться об этом.

В вашем примере это инструкции __asm push EAX и __asm pop EAX.

Реальный ответ, я полагаю, заключается в том, что вам нужно знать достаточно о том, что делает asm, чтобы быть уверенным, что вы можете обращаться с ним как с черным ящиком. :)