hliao added a comment.

In D112041#3106936 <https://reviews.llvm.org/D112041#3106936>, @nikic wrote:

> I'd still like an answer to:
>
> In D112041#3073464 <https://reviews.llvm.org/D112041#3073464>, @nikic wrote:
>
>> Is it actually necessary to thread this through AssumptionCache, given how 
>> InferAddressSpaces is the only place that looks at these assumes?
>
> I'd prefer not to infect AC with TTI if not necessary.

We need `assume` intrinsic to preserve those predicates through optimizations 
as `infer-addrespace` may run several times. With `assume` used the same way, 
we probably just duplicate the logic in AC if we want to track them inside this 
pass. That's not a good practice though.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D112041

_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to