SFX and address cloning problem

[Roland Westrelin]

> This version sounds most feasible (if it works). Do I also need to treat
> the address input of the cloned AddP the same way?

For field accesses you have:

(AddP base base offset)

i.e. address == base and you should replace base by the CheckCastPP for
both edges or, for an array access, I think you can have:

(AddP base (AddP base base offset1) offset2)

You could clone both AddP and replace the 3 bases. Or maybe it's
sufficient to clone the last one and replace the base only.

Roland.