[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