tree 56491f6301998c4a02a9db39aad5d33385f810b6
parent 7a20aa6e6bc5f17f5d0c18bd087e657243bebb45
author Willy Tarreau <w@1wt.eu> 1277010757 +0200
committer Willy Tarreau <w@1wt.eu> 1281441596 +0200

[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.