add missing regression tests for De Morgan's Law transform in InstCombine