[PATCH] D88860: [LangRef] Describe why the pointer aliasing rules are currently unsound.

Mon Oct 5 23:56:24 PDT 2020

aqjune added inline comments.

================
Comment at: llvm/docs/LangRef.rst:2578
+escaped pointer. This description leaves a lot of open questions regarding the
+interaction between pointer operations and non-pointer operations.
+
----------------
lebedev.ri wrote:
> aqjune wrote:
> > FYI: Alive2 uses this semantics, and it returns poison when a pointer-byte is read as a non-pointer type (and vice versa). The main blocker is a load type canonicalization in InstCombine, which changes load pointer to load i64.
> ... which i just purged in D88789 / rGe00f189d392dd9bf95f6a98f05f2d341d06cd65c.
Wow, this is super nice!!

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D88860