[PATCH] Speed-up decimal formatting in *printf().

[Jonathan Larmour]

Sergei Organov wrote:
> The patch below boosts performance of decimal formatting of integers by
> roughly a factor of 2 on ARM7 CPU without hardware integer division. In
> fact it replaces integer modulo operation with multiply and subtract,
> that hopefully is either faster or roughly the same on all supported
> CPUs.

I agree. I've applied the patch, thanks!

Jifl
-- 
eCosCentric    http://www.eCosCentric.com/    The eCos and RedBoot experts
Company legal info, address and number:   http://www.ecoscentric.com/legal
------["The best things in life aren't things."]------      Opinions==mine