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

[k-arrows]

Test case:
https://godbolt.org/z/aonazK5on

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

[nikic]

I haven't checked, but it's likely that #73662 will fix this.