enough special case, and it theoretically allows more folding because
it works even when x is unanalyzable.

llvm-svn: 106763