[PATCH] D101185: [LangRef] tbaa: type names can be used as hints to optimizations

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri added a comment.

+1 from me.

In D101185#2713286 <https://reviews.llvm.org/D101185#2713286>, @penzn wrote:

> I am somewhat confused on performance vs correctness - D100717 <https://reviews.llvm.org/D100717> refers to a miscompile, would adding this behavior also clear miscompiles?

Having this will allow instcombine to produce less patterns that the miscompiling fold is folding away,
thus moving towards potentially being able to remove the miscompiling fold one day.
So no, not really, this in itself won't do anything about those miscompiles.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D101185