[PATCH] D83762: [Attributor][WIP] allow multiple branches in followUsesInMBEC

[Shinji Okumura via Phabricator via llvm-commits]

okura added a comment.

Sorry for the confusion. I'm thinking about AADereferenceable.
The test above exist in dereferenceable-1.ll as @rec-branch-2.
The method I used in this patch does not currently handle that case (i.e., cannot deduce dereferenceable(4) for argument %ptr). 
I think you expect dereferenceable(4) to be propagated to Known state for argument %ptr at the time after initialize (and followUsesInMBEC) is called.
I don't and want to know how to do (for this or follow up patch).


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

https://reviews.llvm.org/D83762