On 02/11/2011 10:22 PM, Christopher Nicholson-Sauls wrote:
On 02/11/11 14:26, Jim wrote:
Jim Wrote:
bearophile Wrote:
The LLVM back-end of LDC is able to inline much more, but even here a list of
inlined/not inlined functions helps. D is almost a system language, so
sometimes you need to go lower level (or you just need a program that's not too
much slow).
If forced inlining is to be supported I think it would be good idea to also let
the _caller_ decide whether to inline a function. The compiler could simply
find the function definition, perhaps parameterize it, and then insert it.
Should it not be able to inline almost any function if asked to?
Just had another idea..
A function would know statically whether it has been inlined or not. If inlined
it could choose to propagate this attribute to any of its own callees. Not sure
it would be useful though, just thinking aloud..
And at this point what once seemed a simple thing starts to show its
complexity teeth. Suddenly there are all this adjunct features to be
provided in order to make it properly useful.
Don't get me wrong, I'd actually like having all this... but I'm not
sure of the cost in compiler complexity (and likely slowdown) and
language bloat.
But, here's some notions:
== I really want foo() to be inlined, if even remotely possible! ==
pragma( inline )
int foo () { ... }
== I'll be calling foo(), and I'd like it inlined if possible ==
int bar () {
pragma( inline, foo );
// ...
auto x = foo();
}
== I'm foo(), and I'd like to know if I am being inlined ==
int foo () {
pragma( inline, true ) {
// inline code
}
pragma( inline, false ) {
// ordinary code
}
}
-- or if we ever get that 'meta' namespace some of us want --
int foo () {
static if ( meta.inlined ) {
// inline code
}
else {
// ordinary code
}
}
My chief complaint with my own notions is that 'pragma(inline' ends up
with three different forms. This just isn't typical of a pragma.
-- Chris N-S
All of this is hardly related to the simple feature I initially asked for:
string escString (string s) @tellmeifnotinlined {
s2 = s.replace("\n","\\n");
s2 = s.replace("\t","\\t");
return s2;
}
void show (X x) {
// ... use escString ...
}
==>
Warning: function 'escString' in module 'foo' (line 123) was not
inlined.
(or else it was actually inlined)
Which (I guess) is not that a big deal since the compiler needs to decide
anyway. I just wish to be informed of the result of the decision procedure,
only in case of 'no'.
Denis
--
_________________
vita es estrany
spir.wikidot.com
