[IndVarSimplify] LFTR Narrows IV to an Odd Sized Integer

[veera-efficient]

Godbolt: https://c.godbolt.org/z/MejP96PP9

Discourse: https://discourse.llvm.org/t/why-does-indvarsimplify-narrow-induction-variable-to-an-odd-sized-integer/86753

linearFunctionTestReplace() narrows the induction variable in the given example to an i5. But this can be problematic if the architecture doesn't support arbitrary sized integers.