[llvm] [LVI][ValueTracking] Merge checking whether assumes imply nonnull (PR #203523)

[Nikita Popov via llvm-commits]

================
@@ -65,6 +65,10 @@ struct AssumeSeparateStorageInfo {
 LLVM_ABI
 AssumeSeparateStorageInfo getAssumeSeparateStorageInfo(OperandBundleUse);
 
+LLVM_ABI bool assumeBundleImpliesNonNullOn(const Value *Val,
+                                           const Instruction *Context,
----------------
nikic wrote:

Please pass in Function instead of Instruction. Taking a Context instruction without having the usual semantics of a context instruction is confusing.

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