[erlang-bugs] inline & inline_effort

Anthony Ramine <>
Mon Sep 9 08:56:33 CEST 2013


Hi Tony,

Btw for low-level transformations, you should rather make a Core Erlang transform, it is way easier to reason about.

Regards,

Le 8 sept. 2013 à 22:55, Tony Rogvall a écrit :

> Hi!
> 
> I dont know who is working on the cerl_inline functionality but it is really intriguing !
> I have found some problems doing experiments with (undocumented) compile attributes
> inline_effort and inline_unroll. No No No do not remove them!!!! They just needs to be 
> tested and reworked a bit :-) 
> 
> I am working on a module inline parse transform that I need for speed things up a bit,
> specially on modules that I think will not change so much over time (think lists module)
> Also, hipe compile on top of this tends to do marvelous things with performance :-)
> 
> Any way here is a module that when compiled, first of all warns about some strange things
> and then generates some "interesting" code.
> 
> I guess the ones working on this will see what is the problem. And please do NOT remove
> functionality just because I found it, improve it. I need it :-)
> 
> Thanks
> 
> 
> /Tony
> 
> 
> 
> -module(example3i).
> 
> -export([run/1]).
> 
> -compile(inline).
> -compile({inline_size,   500}).    %% default=24
> -compile({inline_effort, 500}).   %% default=150
> %% -compile({inline_unroll, 1}).   %% default=1
> -compile({verbose,true}).
> 
> run(V) when is_float(V) ->
>    B = vec3f_new(4,5,6),
>    C = vec3f_new(7,8,9),
>    vec3f_multiply(V,vec3f_add(B,C)).
> 
> -define(is_vecA, is_float(A1), is_float(A2), is_float(A3)).
> -define(is_vecB, is_float(B1), is_float(B2), is_float(B3)).
> 
> vec3f_new(X,Y,Z) when is_number(X), is_number(Y), is_number(Z) ->
>    {float(X),float(Y),float(Z)}.
> 
> vec3f_add({A1,A2,A3},{B1,B2,B3}) when ?is_vecA, ?is_vecB ->
>    {A1+B1,A2+B2,A3+B3}.
> 
> vec3f_multiply({A1,A2,A3},{B1,B2,B3}) when ?is_vecA, ?is_vecB ->
>    {A1*B1,A2*B2,A3*B3};
> vec3f_multiply(A, {B1,B2,B3}) when is_float(A), ?is_vecB ->
>    {A*B1,A*B2,A*B3};
> vec3f_multiply({A1,A2,A3}, B) when is_float(B), ?is_vecA ->
>    {A1*B,A2*B,A3*B}.
> 
> 
> _______________________________________________
> erlang-bugs mailing list
> 
> http://erlang.org/mailman/listinfo/erlang-bugs



More information about the erlang-bugs mailing list