[PATCH v3] match.pd: (A>>bool) == 0 -> (unsigned)A) <= bool [PR119420]

[PATCH v3] match.pd: (A>>bool) == 0 -> (unsigned)A) <= bool [PR119420]

Also add its counterpart:

"(A>>bool) != 0 -> (unsigned)A) > bool"

Changes from v2:
- gate the pattern with "#if GIMPLE"
- use 'single_use' in the rshift result
- add the NE variant
link: https://gcc.gnu.org/pipermail/gcc-patches/2026-April/712431.html
Bootstrap tested in x86, aarch64 and RISC-V.
Regression tested in x86 and aarch64.

	PR tree-optimization/119420

gcc/ChangeLog

	* match.pd(`(A>>bool) EQ 0 -> (unsigned)A LE bool`): New
	pattern.

gcc/testsuite/ChangeLog

	* gcc.dg/tree-ssa/pr119420.c: New test.