[PATCH] D101185: [LangRef] tbaa: 'any pointer' and 'vtable pointer' type names can be used

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added inline comments.


================
Comment at: llvm/docs/LangRef.rst:5807-5810
+LLVM does not assign meaning to the name of the type that is the value of the
+first operand of scalar type descriptors or struct type descriptors. But,
+``"any pointer"`` and ``"vtable pointer"`` are exceptions and they might be
+used to drive optimization passes/code generation.
----------------
I think we should make it open ended right away, and stress that it is for heuristics, not correctness.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D101185