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.
|