<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On 13 February 2013 15:20, Iain Buclaw <span dir="ltr"><<a href="mailto:ibuclaw@ubuntu.com" target="_blank">ibuclaw@ubuntu.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div dir="ltr"><div><div class="h5"><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" target="_blank">ibuclaw@ubuntu.com</a>>:<br>
<div><br>
> On 13 February 2013 13:26, Johannes Pfau <<a href="mailto:nospam@example.com" target="_blank">nospam@example.com</a>> wrote:<br>
><br>
</div><div><div>> > Am Tue, 12 Feb 2013 18:16:31 +0000<br>
> > schrieb Iain Buclaw <<a href="mailto:ibuclaw@ubuntu.com" target="_blank">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>> 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></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 clear="all"></div></div></blockquote></div><br></div><div class="gmail_extra">After some more playing about, David's suggestion would be the quickest. ;-)<br>
</div><div class="gmail_extra"><br>-- <br>Iain Buclaw<br><br>*(p < e ? p++ : p) = (c & 0x0f) + '0';
</div></div>