Re: Problems converting Float to Integer efficiently

["Randy Brukardt" <randy@rrsoftware.com>]

"Dr. Adrian Wrigley" <amtw@linuxchip.demon.co.uk.uk.uk> wrote in message
news:Ku4hb.8589$RU4.82535@newsfep4-glfd.server.ntli.net...
> It's a bit disappointing that the compiler does not produce code like this
for
> some "obvious" source code.  I dislike Ada's default of rounding to
nearest, and
> it seems that a series of Float=>Integer attributes might help the
compiler.

Not really, and they would be messy to define. When we discussed this in the
ARG, we concluded that compilers ought to recognize the pattern
Integer(Float'Truncation(Foo)), etc. if that will generate better code (it
usually will). In particular, the code needed to round the float as part of
the conversion to Integer should be omitted (it is already an integer
value). That actually will be in the AARM as a note to implementors (see
AI-267).

So, if you are not getting good code from this, you should complain to your
implementor. This is not a language issue, just a quality of implementation
one.

                 Randy.