[PATCH] D81544: [LVI] Make use of 'assume'-provided data

Thu Jun 11 04:50:19 PDT 2020

junparser added a comment.

In D81544#2084732 <https://reviews.llvm.org/D81544#2084732>, @fhahn wrote:

> In D81544#2084620 <https://reviews.llvm.org/D81544#2084620>, @junparser wrote:
>
> > since we still need discuss about the invoke of getValueInBlock, I'll split this patch into two parts.
>
>
> I think this case could also be handled naturally by IPSCCP using PredicateInfo. Currently does only use range info from conditional branches, but I don't think there's any reason for not also using info from assume predicates, other than me not having time to implement it yet. If you want to give it a try, it would need to be added here: https://github.com/llvm/llvm-project/blob/master/llvm/lib/Transforms/Scalar/SCCP.cpp#L1243

Thanks for the info. I'll check later.

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D81544