<html>
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<br>
<div class="moz-cite-prefix">On 01/15/2015 07:21 PM, Ramkumar
Ramachandra wrote:<br>
</div>
<blockquote
cite="mid:CALkWK0kW2G2uLr8MLmMnkFh0Qk94N4wCWO7Tj7yXap3TAF422A@mail.gmail.com"
type="cite">
<pre wrap="">Philip Reames wrote:
</pre>
<blockquote type="cite">
<blockquote type="cite">
<pre wrap="">1. Introduce aAny.
</pre>
</blockquote>
<pre wrap="">
Having a generic any type seems fine. I assume you'd create something like
an llvm_any_type in Intrinsics.td?
</pre>
</blockquote>
<pre wrap="">
That's precisely what ifavpAny is about: integer, float, array,
vector, pointer Any. aAny is meant for array-Any, <b>and I wonder why so
few people care about arrays. </b>I'll go ahead with Any and
llvm_any_type.
</pre>
</blockquote>
(The following is an utter tangent from the original question and is
my personal opinion only.)<br>
<br>
First Class Aggregates (FCAs) - which include arrays and structs -
are in a weird middle ground of being supported, but not really
optimized. Part of the problem is that no one has expressed a clear
use case for them. If we decided they were just a convenience for
the frontend, we could lower them early. However, this would give
up some potential optimization benefit, so there's been a reluctance
to do that. Instead, we're left in this awkward position where they
'work' but aren't really recommended for use. <br>
<br>
To fix this, we really need an active contributor who wants to use
them and drive things forward. That hasn't happen to date.
Unfortunately, I think we've managed to drive away a couple of folks
who might have become that person due to the slow and rambling
debates that tend to arise on FCA review threads. This will
eventually get resolved, but I don't see that happening in the
immediate future. <br>
<br>
Philip<br>
</body>
</html>