[llvm] [LVI][ValueTracking] Merge checking whether assumes imply nonnull (PR #203523)
Nikita Popov via llvm-commits
llvm-commits at lists.llvm.org
Fri Jun 12 08:42:17 PDT 2026
================
@@ -65,6 +65,10 @@ struct AssumeSeparateStorageInfo {
LLVM_ABI
AssumeSeparateStorageInfo getAssumeSeparateStorageInfo(OperandBundleUse);
+LLVM_ABI bool assumeBundleImpliesNonNullOn(const Value *Val,
----------------
nikic wrote:
I'd drop the `On` from the name. At least it reads weirdly to me.
https://github.com/llvm/llvm-project/pull/203523
More information about the llvm-commits
mailing list