Post #1808951

One thing I noticed is that sometimes LLVM does not handle non-constant form of some cases. In this case, you just need to know if the always variable was positive (or zero). For GCC the question is easy answered by tree_expr_nonnegative_p for both non-constant and the constant case. So it is just easier to handle the non-constant case than even trying to just handle the constant case. This was about https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110262 .