6715633 added an assert to make sure that the adr_type of nodes doesn't change during matching.  If the address pieces are matched separately this assert can fail because the logic in AddPNode::mach_bottom_type isn't the equivalent to AddPNode::bottom_type.  The fix is to simply capture the bottom_type when transforming the nodes.