You can only optimise if you know that it globally isn't ever passed the same, which won't be the case at compile time, as a separate object may be linked which

You can only optimise if you know that it globally isn't ever passed the same, which won't be the case at compile time, as a separate object may be linked which does provide x==z.