[Bug tree-optimization/112271] Some `(a == CST) ? a OP b : CST` is not done in match

[pinskia at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112271

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
the others:
```
int f_lshift(int a, int b)
{
  int c = b>>a;
  int d;
  if (b == 0) d = c; else d = 0;
  return d;
}
int f_div(int a, int b)
{
  a = 2; // Just needs to be non-negative
  int c = b/a;
  int d;
  if (b == 0) d = c; else d = 0;
  return d;
}
```