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

Nicolai Hähnle via llvm-commits llvm-commits at lists.llvm.org
Wed Nov 15 07:33:49 PST 2023


================
@@ -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;
----------------
nhaehnle wrote:

Yeah, I don't have a concrete use for `and`. The motivation is simply to close over deMorgan's laws.

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


More information about the llvm-commits mailing list