Если равенство проверяется через вычитание, то почему не аппаратно?

Да он просто не в состоянии даже

буквы в букваре

систему команд писюка изучить - чтобы увидеть, что в писюках перманентно

присутствуют как арифметическая (вычитанием) команда сравнения, так и логическая команда сравнения

.

Аналогично (два указанных вида процессорных команд сравнения) было, например, у PDP-11 и VAX, т.е. за десяток лет до появления писюков. В Союзе эти DECовские архитектуры были содраны и выпускались в виде широкой линейки СМ ЭВМ. Так что у пациента ещё и кругозор отсутствует (щас у Хретгира в очередной раз пердак полыхнёт - поэтому я другие примеры придержу, чтобы попозже, при необходимости, ещё подкинуть дровишек в топку).

Ты не поверишь...

У х86-архитектуры в её векторных целочисленных расширениях (т.е. в MMX и в целочисленные SSE/AVX) есть и отдельная команда проверки операндов на равенство, и отдельная команда проверки "на больше". При этом векторные команды логического сравнения и арифм.вычитания там тоже имеются.

И команды сравнения строк (лежащих в векторных регистрах) добавились.

Т.е. как раз и происходит усложнение/расширение числа вариантов команд сравнения одновременно-параллельно с добавлением-расширением прочих команд.

В писюках - абсолютно столько же тактов.

Доказано почти четырьмя десятками разных интел-совместимых процессоров/архитектур (начиная с Пня1 и до современных интелов/амуде), растактовки команд которых с 96го года собирает в одном из своих справочников дядька Агнер.