[llvm] Re apply 130577 narrow math for and operand (PR #133896)

[Matt Arsenault via llvm-commits]

================
@@ -1561,6 +1561,87 @@ void AMDGPUCodeGenPrepareImpl::expandDivRem64(BinaryOperator &I) const {
   llvm_unreachable("not a division");
 }
 
+Type *findSmallestLegalBits(Instruction *I, int OrigBit, int MaxBitsNeeded,
----------------
arsenm wrote:

This seems to be reinventing TLI::getTypeToPromoteTo 

https://github.com/llvm/llvm-project/pull/133896