| commit | f0d9eecc52fe3ec980467bf421f2f46c77209450 | [log] [tgz] |
|---|---|---|
| author | Willy Tarreau <w@1wt.eu> | Sun Jun 20 07:12:37 2010 +0200 |
| committer | Willy Tarreau <w@1wt.eu> | Tue Aug 10 13:59:56 2010 +0200 |
| tree | 56491f6301998c4a02a9db39aad5d33385f810b6 | |
| parent | 7a20aa6e6bc5f17f5d0c18bd087e657243bebb45 [diff] |
[MINOR] tools: add a fast div64_32 function We'll need to divide 64 bits by 32 bits with new frequency counters. Gcc does not know when it can safely do that, but the way we build our operations let us be sure. So let's provide an optimised version for that purpose.