[llvm] [ConstantRange][LVI] Add initial support for `multiplyWithNoWrap` (PR #92356)

[Nikita Popov via llvm-commits]

nikic wrote:

@antoniofrighetto 0,1,2,3,4 *nuw 6,7,8,9,10,11,12,13,14 = 0,6,7,8,9,10,11,12,13,14

I don't think having accurate mul ranges is feasible without a brute force evaluation. You can drop the TODO.

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