(Long ago...) On Wed, Aug 26, 2020 at 11:23:45AM -0700, Carl Love wrote: (Lots of context, thanks!)
> So, do we want to drop the option OPTION_MASK_TI_VECTOR_OPS at this > point and go with just TARGET_POWER10? It has no value anymore now, as far as I can see? So deleting it would be good, yes. Segher