[PATCH] D95288: [ValueTracking] Don't assume readonly function will return

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added a comment.

> Yeah, I agree that mustprogress, argmemonly and nosync should imply willreturn. However, FuncAttrs currently infers neither nosync nor argmemonly, so it would need those first. I think that the argmemonly check here was there to cover some common intrinsics like llvm.memcpy, but those are explicitly willreturn now.

Post release branch we should start running a light Attributor, to get things like nosync, argmemonly, ... one by one.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D95288/new/

https://reviews.llvm.org/D95288