litmus: spare one register in x86 barrier.