<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/133630>133630</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            Investigate faster floating point parsing
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            enhancement,
            clang:frontend,
            floating-point
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          cor3ntin
      </td>
    </tr>
</table>

<pre>
    I was looking at some benchmarks and found out that we can spend a lot of time in
`IEEEFloat::convertFromDecimalString` (for the case of large arrays of floating points in source code)

Looking at that code, it seems that for at least some combination of rounding modes, semantics
and size, we could benefit from [Lemire's algorithm](https://arxiv.org/abs/2101.11408).

We already ship that algorithm in libc, so hopefully we could reuse that.

https://github.com/llvm/llvm-project/blob/main/libc/src/__support/str_to_float.h

Assuming most floating-point literals are well-formed/short (do not represent a number that doesn't fit in a double), it would almost certainly be a great improvement to try Lemire first and fallback on the existing implementation for long doubles, etc


</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJyUVDtv4zgQ_jV0M1hDpvwsVHg3MRBguyuuDEbUSOKF5AickbO-X3-glEuw113jByl-870oFPFDImrM4bs5PG1w1pFz4zjXSX3atNw9mhd4R4HA_ObTAKggHAlaSm6MmN8EMHXQ85w64FlBR1R4J3CYQCZKHSAEVuAe1EcCn0x1Ncfq5fn5-RYY1dRXU18dpztlvWWOT-R8xPCHZp8Gc6zA2HPPGXQsqEIFKmAeCDBnfEj53xekwm9in1TAJxCesyNw3JGxlzK0uv78UrHwXDd_gFcQoijrahmGCoFQPtQ6jq1PqJ5TmZaL2oITuSMpAEIRk3onproWP8T_vQAXI3gOXfGLeq_QZ45gDt9_UvSZjD0JYBg4ex2jOTwZex5VJymm2JuxN8y__H3LeSi_WzH2ZnfVbrvb7auzsZftqutPAgyZsHuAjH5aZXziFjeCb91ClGHkifo5hMcXu0yz0HLqA_B3EoPXcW63jqOxtxDu_359mzL_RU6NvbWBW2NvEX0qm8u0m-Ty-foq8zRxLo-J5lfl1yWu7bjOuorMcXVT9DPJb0uSELxSxiCAmeCdQvjWc47UFayRs5ZydAyJFTJNmYSSAkKaY0t59aFjkmTsSaEE4BMgdDy3YanFGv774gKGhYGjrOhTeEBLgDBkQgUfp8x3igVeGTQ_YI0Qep9F10uAIbTo3oDTUlb65WUppY9TWI6uDSr9CpyGDxpLgUjd6sama-ruUl9wQ83utK9ru9_X-83YVI6OfX08XSxdTs7a7rw_4fmwO1e7vj713cY3trKHqq6r6rw_7fbb2h6dqzpb4_7c1tXB7CuK6MO2ZFc6tfEiMzW7uj7W1SZgS0GWd4G1lEZMbiFtrDX2h7HWBUyDqa995qSUus-N3zMry4enTW6WirTzIGZfBS8qX4PVa6DmJd1J1A-oBD2KUv7PRYYJs_g0bOYcmv_dyUVduTIfAu-N_ScAAP__vmKsCA">