Вот поэтому для левой картинки в стек нужно поместить сразу все переменные, а в правой вычислять только две.
И? На результате это не должно сказываться.
Моё утверждение в том, что от перестановки местами входов XOR результат не должен изменяться (само результирующее значение должно сохраняться).
То, что стек используется по-разному -- не должно играть роли.