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

David Majnemer via llvm-dev llvm-dev at lists.llvm.org
Mon May 30 18:40:24 PDT 2016


On Mon, May 30, 2016 at 4:04 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?
>

You can also get it to crash by throwing it at InstCombine.  I think we
should add a verifier rule to make memory operations sized.


>
> -- 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/20160530/cc278c79/attachment.html>


More information about the llvm-dev mailing list