RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2025-02-25 06:51:30 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

[docs][statepoint] Expand a bit on problems with mixing references and raw pointers since it keeps coming up in discussions

Browse Source 
llvm-svn: 346513
This commit is contained in:
Philip Reames 2018-11-09 16:40:34 +00:00
parent f7abaf5af5
commit b5c052fe8f
1 changed files with 9 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
docs/Statepoints.rst
View File

@ -908,7 +908,15 @@ Problem Areas and Active Work
=============================
#. Support for languages which allow unmanaged pointers to garbage collected
objects (i.e. pass a pointer to an object to a C routine) via pinning.
objects (i.e. pass a pointer to an object to a C routine) in the abstract
machine model. At the moment, the best idea on how to approach this
involves an intrinsic or opaque function which hides the connection between
the reference value and the raw pointer. The problem is that having a
ptrtoint or inttoptr cast (which is common for such use cases) breaks the
rules used for inferring base pointers for arbitrary references when
lowering out of the abstract model to the explicit physical model. Note
that a frontend which lowers directly to the physical model doesn't have
any problems here.
#. Support for garbage collected objects allocated on the stack. Specifically,
allocas are always assumed to be in address space 0 and we need a