Re: Method Level optimizations.

Charles Fiterman <cef@geodesic.com> wrote:
] Consider the advantages of optimizing away A *= unity; Where


It's probably possible to already do this kind of optimisation:
There might be some problems in the specific case you provide, but
imagine a language with multimethods And the above code rewritten into


A = A * unity


If unity is a subtype of matrix and if you only have one
multiplication defined with unity as the second parameter, then the
method call is known statically and can be inlined and optimised away.
(since the corresponding code would be very simple like:
method * ( <matrix> A , <unity> B) = A)


In general subtying can be a good help for optimisation if the method
call isn't too expensive, which is the case if the types are
statically known, allowing the method lookup to be done at
compile-time !




Stefan
--

Return to the comp.compilers page.
Search the comp.compilers archives again.