missed optimization for `y / x` when the divisor has [0, 1] range

Test case:
https://godbolt.org/z/aonazK5on
```cpp
unsigned int 
foo(unsigned int x, unsigned int y)
{
  if(x > 1)
    return y;
  return y / x;
}
```

motivated from the following gcc bugzilla and test:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96094
https://github.com/gcc-mirror/gcc/blob/master/gcc/testsuite/gcc.dg/tree-ssa/pr96094.c