[LLVMdev] Hooking the global symbol resolver

[Óscar Fuentes]

"Jonathan S. Shapiro" <shap at eros-os.com> writes:

> On Wed, 2008-03-26 at 23:48 +0100, Óscar Fuentes wrote:
>> "Jonathan S. Shapiro" <shap at eros-os.com> writes:
>> My front-end is very similar to yours in the feature of the multiple
>> instantiations on demand, etc.
>
> Oscar: after you have a chance to read my recent reply to Gordon, would
> you be kind enough to let me know whether you still believe the
> situations are similar. Also whether you think that what I am looking
> for is likely to be generally useful?

I had no time to read in detail your reply to Gordon (I'll go back to it
later), but the similarities are astonishing. I suspect that it is not
just a coincidence that we use a lispy syntax (defmacro anyone?). I'll
like to learn about your project, so if this is possible, would you like
to provide a pointer to some description? (by private e-mail)

>> Answuring your question, I'm not aware of any LLVM facility for what you
>> describe. And if you find one, I would advise against using it.
>
> I understand the argument for separation of concerns, but your last
> sentence concerns me. Why would you recommend against using this kind of
> mechanism if it exists?

Whatever LLVM has, it is there either for the convenience of frontend ->
backend information flux (note that I exclude the reverse direction) or
for the convenience of LLVM itself. Chris et al. are no shy about
improving the interfaces when they perceive a clear gain, so there are
some chances that whatever you find convenient for your internal stuff
today will be not there tomorrow.

-- 
Oscar