[PATCH] D98228: [AssumeBundles] Add nonnull/align to op bundle if noundef exists
    Tyker via Phabricator via llvm-commits 
    llvm-commits at lists.llvm.org
       
    Tue Mar  9 01:43:00 PST 2021
    
    
  
Tyker added a comment.
I think the process of checking is a value is noundef needs to be more general than just calls. maybe addKnowledge would be a better place.
because nonnull and align information can also be inferred from loads/stores.
Repository:
  rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D98228/new/
https://reviews.llvm.org/D98228
    
    
More information about the llvm-commits
mailing list