Я думаю, что х4 это правильно.
Однако, если этот ALU используется для вычисления адреса, alu x4 больше.
«25120» может быть индексом для 4-байтового выровненного адреса.
Если результат alu используется для адреса памяти, имеет смысл.
Но я не уверен ...