When merging in JDK-8341411, we wrongly dropped the following assert:

assert(C->get_alias_index(adr_type) == C->get_alias_index(_gvn.type(adr)->isa_ptr()),
    "slice of address and input slice don't match");

This was difficult to spot because 'adr' was only defined further down in the code. JDK-8357474 moved 'adr' up to the place where we also define it in mainline. Now we can simply re-add the assert at the same place as in mainline.