[llvm] [GISel][CombinerHelper] Combine and(trunc(x), trunc(y)) -> trunc(and(x, y)) (PR #89023)

[Matt Arsenault via llvm-commits]

arsenm wrote:

> Hmm, one of the issues is that we need to match the types as well (the types of x and y in trunc(x) and trunc(y) need to be the same) so that the and(x, y) is well formed. I am not sure if this is possible through TableGen.

If we need to add something to support this, we should add the support to tablegen. This is not an uncommon type of scenario 


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