[clang] [llvm] [Loads] Check context instruction for context-sensitive derefability (PR #109277)
    Nikita Popov via llvm-commits 
    llvm-commits at lists.llvm.org
       
    Mon Nov  4 09:08:23 PST 2024
    
    
  
nikic wrote:
> Is it even possible for `isSafeToSpeculativelyExecute` to return `true` now with the default (nullptr) CtxI for loads? Can `isDereferenceableAndAlignedPointer` just short-circuit to `false` with null CtxI?
Yes, it's possible for anything where the derefability is not context-sensitive (like globals, dereferenceable arguments, allocas, etc).
https://github.com/llvm/llvm-project/pull/109277
    
    
More information about the llvm-commits
mailing list