[InstCombine] Test for fold of and of icmps with operands in the range(0,2) (NFC)
proof https://alive2.llvm.org/ce/z/xeazCu
this is a regression found in https://github.com/llvm/llvm-project/pull/128861
This fold is done when icmp eq/ne x, 1/0 is folded to trunc nuw x iff x is in the range(0,2)