unify the code that determines whether it is a good idea to change the type

of a computation.  This fixes some infinite loops when dealing with TD that
has no native types.

llvm-svn: 86670