From @lukel97, now that #146750 have been merged, > there's a few fold to poison cases in simplifyBinaryIntrinsic can probably be removed afterwards as an NFC I can take this up.