[PATCH] D104547: [langref] attempt to clarify semantics of inttoptr/ptrtoint for non-integral types

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added inline comments.


================
Comment at: llvm/docs/LangRef.rst:620
+non-integral types are analogous to ones on integral types with one
+key exception: the optimizer may not, in general, insert new occurrences of
+such casts.  If a new cast is inserted, the optimizer would need to either
----------------
reames wrote:
> mkazantsev wrote:
> > Does this also apply to such things as unrolling and unswitching? Sounds over-restrictive.
> This is a good question.  I had not intended to disallow unrolling, but I can see how the current wording reads that way.
> 
> If I tweaked the wording to say that the optimizer isn't allowed to insert new *dynamic* occurrences of the cast, would that address the concern?
I guess what we want is smth like "for any possible execution path, we cannot increase the number of executed casts".


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D104547