[llvm] [InstCombine] Fold `(x < 2^32) & (trunc(x to i32) == 0)` into `x == 0` (PR #171195)

[Yanzuo Liu via llvm-commits]

zwuis wrote:

> Addresses #170020.

You could use [this format](https://docs.github.com/en/issues/tracking-your-work-with-issues/linking-a-pull-request-to-an-issue).

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