Divison by square root not instrumented correctly

Basic info

• Commit SHA: main
• Platform: all platforms

Bug description

On behalf of @svedberg. One of the limitations of the WMC tool is that it cannot correctly count the complexity of 1 / sqrt() operations. If such operation is present in the source code the WMC tool will count a "division" operation (18 WMOPS) and a "square root" operation (10 WMOPS). However, in reality the tool should only count the "square root" operation. As a temporary solution, the WMC tool has a support for the inv_sqrt() function which shall be used instead of 1 / sqrt().