[Regression] fail to optimize `x / y - z` into `C - z` with the given range information

Reproducer: https://godbolt.org/z/azTjb93EE

C code:
```c
unsigned src(unsigned v0, unsigned v1, unsigned v2) {
if (!((39 <= v0) && (v0 <= 46))) __builtin_unreachable();
if (!((1 <= v1) && (v1 <= 2))) __builtin_unreachable();
if (!((184 <= v2) && (v2 <= 194))) __builtin_unreachable();
unsigned i0 = v2 / v0;
unsigned i1 = i0 - v1;
return i1;
}
```

LLVM trunk -O3:
```assembly
src:
movzx eax, dl
div dil
movzx eax, al
sub eax, esi
ret
```

LLVM 20.1.0 -O3:
```assembly
src:
mov eax, 4
sub eax, esi
ret
```