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

[Craig Topper 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;
----------------
topperc wrote:

I'd like to work on a patch for this. Do we want to use 'exact' or have a new keyword like 'disjoint'?

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