Simplification for `(A ==/!= B) &/| (((cast)A) CMP C)`

[k-arrows]

Example:
https://godbolt.org/z/Pr8T7xsMz

bool f(int a)
{
    bool t = a == 0;
    short t1 = a;
    bool t2 = t1 >= 3;
    return t & t2;
}

bool g(int b)
{
    bool t = b == 3;
    short t1 = b;
    bool t2 = t1 >= 3;
    return t | t2;
}

The example above is taken from the following:
https://github.com/gcc-mirror/gcc/blob/master/gcc/testsuite/gcc.dg/tree-ssa/cmpbit-6.c
https://github.com/gcc-mirror/gcc/blob/master/gcc/testsuite/gcc.dg/tree-ssa/cmpbit-7.c

[dtcxzyw]

Alive2: https://alive2.llvm.org/ce/z/6EVKhN

[dtcxzyw]

Should be fixed by #70335.