[llvm-dev] Loads and stores of unsized types?

Chandler Carruth via llvm-dev llvm-dev at lists.llvm.org
Tue May 31 17:07:25 PDT 2016


To reiterate what I said on IRC, I agree with David and would expect the
verifier to reject unsized loads and stores.

On Mon, May 30, 2016 at 4:05 PM Sanjoy Das via llvm-dev <
llvm-dev at lists.llvm.org> wrote:

> This came up in D20764, this IR verifies today:
>
> %X = type opaque
>
> define void @f_0(%X* %ptr) {
>   %t = load %X, %X* %ptr
>   ret void
> }
>
> define void @f_1(%X %val, %X* %ptr) {
>   store %X %val, %X* %ptr
>   ret void
> }
>
> which I found surprising -- what does it mean to load / store values
> of unknown sizes?  Passing it to llc fails an assertion.  Are there
> legitimate cases where we'd want to generate such IR?
>
> -- Sanjoy
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20160601/ef67988a/attachment.html>


More information about the llvm-dev mailing list