[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