[llvm] [clang] [InstCombine] Infer disjoint flag on Or instructions. (PR #72912)
Nikita Popov via cfe-commits
cfe-commits at lists.llvm.org
Mon Dec 4 11:17:30 PST 2023
nikic wrote:
> We don't have a `isGuaranteedNotToBeUndef` only function, so that's the only way. I would leave a fixme, since this call can be removed if we ever manage to kill undef.
I actually added this function earlier today.
> @nikic is something like this the right fix?
I'd move the calls to isGuaranteedNotToBeUndef into haveNoCommonBitsSetSpecialCases, so you can check the correct values.
https://github.com/llvm/llvm-project/pull/72912
More information about the cfe-commits
mailing list