public boolean abuts(JitSynthSubPieceOp right) {
		int diff = this.offset() - right.offset();
		return right.out().size() == diff && this.v() == right.v();
	}
Check if this piece abuts the given piece.

<p>
To "abut," the pieces must take the same value as input, and then this piece's offset must be
exactly the other's offset plus its size. Consider this diagram:

<pre>
[this][right]
</pre>

<p>
We want this piece to be in the more-significant position immediately before the given piece.
We thus compute {@code diff} the difference in offsets and check if that is equal to the size
of the right piece. If it is, then we have:

<pre>
[offset=x+diff,size=s][offset=x,size=diff]
</pre>

<p>
And the "whole piece" is

<pre>
[offset=x,size=s+diff]
</pre>

@param right the piece to the right, i.e., less significant
@return true if the two pieces can be expressed as one whole
Ghidra/Framework/Emulation/src/main/java/ghidra/pcode/emu/jit/op/JitSynthSubPieceOp.java