I needed to apply the attached little patch rep_clz to get __adddf3
working on 32Bit x86 Linux.
__adddf3 doesn't seem to be part of the Library on any currently
supported Platforms. But if support for plattforms without FPU
should be added this probably is the correct version.
rep_clz.patch (473 Bytes)