<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On 13 February 2013 14:35, Johannes Pfau <span dir="ltr"><<a href="mailto:nospam@example.com" target="_blank">nospam@example.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Am Wed, 13 Feb 2013 14:10:26 +0000<br>
schrieb Iain Buclaw <<a href="mailto:ibuclaw@ubuntu.com">ibuclaw@ubuntu.com</a>>:<br>
<div class="im"><br>
> On 13 February 2013 13:26, Johannes Pfau <<a href="mailto:nospam@example.com">nospam@example.com</a>> wrote:<br>
><br>
</div><div><div class="h5">> > Am Tue, 12 Feb 2013 18:16:31 +0000<br>
> > schrieb Iain Buclaw <<a href="mailto:ibuclaw@ubuntu.com">ibuclaw@ubuntu.com</a>>:<br>
> ><br>
> > > TREE_ADDRESSABLE should be sufficient.  I can't think any reason<br>
> > > off the top of my head why not.<br>
> > ><br>
> ><br>
> > maybe TREE_ADDRESSABLE is too strong: It generates errors in the<br>
> > backend if the frontend produces non-lvalues:<br>
> > ---<br>
> >     auto b = Date();<br>
> >     a(b);<br>
> > ---<br>
> ><br>
> > works, but<br>
> > ---<br>
> >     a(Date());<br>
> > ---<br>
> ><br>
> > fails in gimplify.c. Do we really have to rewrite such cases so that<br>
> > non-PODs get a temporary variable? And how would this be done? It<br>
> > seems we would have to use the frontend for this, as maybeMakeTemp<br>
> > and makeTemp refuse to work for TREE_ADDRESSABLE types.<br>
> ><br>
><br>
</div></div><div class="im">> Don't set it on the variable, set it on the type.<br>
><br>
> TypeStruct::toCtype()<br>
> {<br>
>     TYPE_ADDRESSABLE(ctype) = !isPOD();<br>
> }<br>
<br>
</div>That's actually what I did. But the backend wants to create a copy of<br>
the Date type which then fails as create_tmp_var fails for<br>
TREE_ADDRESSABLE types.<br>
<br>
Complete test case:<br>
<a href="https://gist.github.com/jpf91/4944999" target="_blank">https://gist.github.com/jpf91/4944999</a><br>
<br>
-----<br>
../../objdir-4.7/x86_64-unknown-linux-gnu/libphobos/dm-test.reduced/datetime2.d:22:<br>
internal compiler error: in create_tmp_var, at gimplify.c:479 0x804509<br>
-----<br>
<br>
</blockquote></div><br><br></div><div class="gmail_extra">Ahh, that's because of this piece of codegen:<br><br>SAVE_EXPR <*test.Date.this (&((void) (__ctmp971 = _D4test4Date6__initZ);, __ctmp971), 0)><br clear="all">
</div><div class="gmail_extra"><br><br></div><div class="gmail_extra">Gimple doesn't like the dereference in SAVE_EXPR.  This should work.<br><br>tree<br>IRState::makeTemp (tree t)<br>{<br>  tree type = TREE_TYPE (t);<br>
  if (TREE_CODE (type) != ARRAY_TYPE && !TREE_ADDRESSABLE (type))<br>    return save_expr (t);<br><br>  return stabilize_reference (t);<br>}<br><br><br></div><div class="gmail_extra">So the generated code is now:<br>
<br>*SAVE_EXPR <test.Date.this (&((void) (__ctmp971 = _D4test4Date6__initZ);, __ctmp971), 0)><br><br><br></div><div class="gmail_extra"><br></div><div class="gmail_extra">Regards<br></div><div class="gmail_extra">
-- <br>Iain Buclaw<br><br>*(p < e ? p++ : p) = (c & 0x0f) + '0';
</div></div>