load (x|y) -> load (x+y) iff x and y have no common bits.