[llvm-dev] [RFC] Introducing a byte type to LLVM

[comex via llvm-dev]

On Wed, Jun 23, 2021 at 8:52 AM Ralf Jung via llvm-dev
<llvm-dev at lists.llvm.org> wrote:
> However, I am a bit worried about what happens when we eventually add proper
> support for 'restrict'/'noalias': the only models I know for that one actually
> make 'ptrtoint' have side-effects on the memory state (similar to setting the
> 'exposed' flag in the C provenance TS). I can't (currently) demonstrate that
> this is *required*, but I also don't know an alternative. So if this remains the
> case, and if we say "load i64" performs a ptrtoint when needed, then that would
> mean we could not do dead load elimination any more as that would remove the
> ptrtoint side-effect.

Though, of course, dead loads could be replaced with some hypothetical
new instruction that has *only* the ptrtoint side-effect (and doesn't
produce any assembly).  And such an instruction could be subject to
further transformations.