https://github.com/dtcxzyw commented: I cannot find where we add nneg constraints for *all* the variables. But it doesn't seem to affect the final optimization result. https://github.com/llvm/llvm-project/pull/177993