[llvm] [IR] Remove support for lshr/ashr constant expressions (PR #71955)

[Nikita Popov via llvm-commits]

================
@@ -3948,7 +3945,6 @@ bool LLParser::parseValID(ValID &ID, PerFunctionState *PFS, Type *ExpectedTy) {
     unsigned Flags = 0;
     if (NUW)   Flags |= OverflowingBinaryOperator::NoUnsignedWrap;
     if (NSW)   Flags |= OverflowingBinaryOperator::NoSignedWrap;
-    if (Exact) Flags |= PossiblyExactOperator::IsExact;
----------------
nikic wrote:

Sounds like a good addition to me. At least for `or`, the utility is pretty clear. For `and`, I'm not sure where we could make use of this property.

https://github.com/llvm/llvm-project/pull/71955