[llvm-dev] [cfe-dev] Demystifying the byte type
James Dutton via llvm-dev
llvm-dev at lists.llvm.org
Sat Oct 16 04:24:36 PDT 2021
The gist post, seems to imply that one needs memory to be typed.
If what you describe is correct, doesn't that imply that the opaque
pointer work is a fools errand ?
I.e. If memory needs to be typed, surely pointers to that memory also
need to be typed?
On Fri, 15 Oct 2021 at 19:41, George Mitenkov via cfe-dev
<cfe-dev at lists.llvm.org> wrote:
> Hi all,
> In May 2021, together with Nuno Lopes and Juneyoung Lee, we proposed to add a byte type in LLVM to fix load type punning issues. Initial RFC touched some subtle aspects of LLVM IR and its semantics, and sparked a lot of questions, concerns, and discussions.
> We decided to write a post that would summarise the thread and the complicated topic:
> We hope that our post clarifies initial concerns raised on the mailing list. As always, any questions, suggestions and advice are welcome!
> cfe-dev mailing list
> cfe-dev at lists.llvm.org
More information about the llvm-dev