<div dir="ltr">To reiterate what I said on IRC, I agree with David and would expect the verifier to reject unsized loads and stores.<br><br><div class="gmail_quote"><div dir="ltr">On Mon, May 30, 2016 at 4:05 PM Sanjoy Das via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">This came up in D20764, this IR verifies today:<br>
<br>
%X = type opaque<br>
<br>
define void @f_0(%X* %ptr) {<br>
  %t = load %X, %X* %ptr<br>
  ret void<br>
}<br>
<br>
define void @f_1(%X %val, %X* %ptr) {<br>
  store %X %val, %X* %ptr<br>
  ret void<br>
}<br>
<br>
which I found surprising -- what does it mean to load / store values<br>
of unknown sizes?  Passing it to llc fails an assertion.  Are there<br>
legitimate cases where we'd want to generate such IR?<br>
<br>
-- Sanjoy<br>
_______________________________________________<br>
LLVM Developers mailing list<br>
<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a><br>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a><br>
</blockquote></div></div>