<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<p><br>
</p>
<div class="moz-cite-prefix">On 8/21/20 10:39 AM, Renato Golin
wrote:<br>
</div>
<blockquote type="cite" cite="mid:CAPH-gfcguvtcSCwNzc0EhdTJ8HZyxE67Qzs8vcLrW3cefwq0Mw@mail.gmail.com">
<div dir="ltr">
<div dir="ltr">On Fri, 21 Aug 2020 at 16:20, Hal Finkel <<a href="mailto:hfinkel@anl.gov" moz-do-not-send="true">hfinkel@anl.gov</a>>
wrote:<br>
</div>
<div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0px 0px 0px
0.8ex;border-left:1px solid
rgb(204,204,204);padding-left:1ex">
<div>
<p>FWIW, I think that we all agree to that. I don't see
that what's being proposed changes this general
philosophy. The general problem is: what happens when
that lowering has multiple good options, and the ABI
requires particular choices under certain circumstances?<br>
</p>
</div>
</blockquote>
<div><br>
</div>
<div>If this is decided from the front-end and needs to
survive all the way to the back-end, why not just add a
generic function attribute?<br>
</div>
</div>
</div>
</blockquote>
<p><br>
</p>
<p>But it's not a property of the functions, as I understand it,
it's a function of place where the function is referenced. In this
case, maybe we could consider it a property of the vtable itself,
and some attribute on the array/global would work?<br>
</p>
<p><br>
</p>
<blockquote type="cite" cite="mid:CAPH-gfcguvtcSCwNzc0EhdTJ8HZyxE67Qzs8vcLrW3cefwq0Mw@mail.gmail.com">
<div dir="ltr">
<div class="gmail_quote">
<div><br>
</div>
<div>Perhaps I'm interpreting this the wrong way, but adding a
special (independent) entry to the IR that hints at an ABI
correctness seems fragile to me. <br>
</div>
</div>
</div>
</blockquote>
<p><br>
</p>
<p>This is a first-class IR entity. It seems the opposite of
fragile. The interesting question is going to be: do we have a
wile bunch of other code that generally handles constant
expressions that needs to learn about this new kind of function
reference?</p>
<p> -Hal<br>
</p>
<p><br>
</p>
<blockquote type="cite" cite="mid:CAPH-gfcguvtcSCwNzc0EhdTJ8HZyxE67Qzs8vcLrW3cefwq0Mw@mail.gmail.com">
<div dir="ltr">
<div class="gmail_quote">
<div><br>
</div>
<div>--reanto</div>
<blockquote class="gmail_quote" style="margin:0px 0px 0px
0.8ex;border-left:1px solid
rgb(204,204,204);padding-left:1ex">
<div> </div>
</blockquote>
</div>
</div>
</blockquote>
<pre class="moz-signature" cols="72">--
Hal Finkel
Lead, Compiler Technology and Programming Languages
Leadership Computing Facility
Argonne National Laboratory</pre>
</body>
</html>