[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
----------------
mkazantsev wrote:
> 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".
yea, word "dynamic" is the same thing, I guess.



Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D104547