https://github.com/kuhar commented: Is the behavior only different for negative inputs? IE, I'd think that for values in the range `[0, SIGNED_MAX]`, the signed and unsigned division would produce the same results? https://github.com/llvm/llvm-project/pull/124390