add tests for De Morgan instcombines based on PR22723