Changes in uspace/lib/softfloat/generic/common.c [9d58539:88d5c1e] in mainline

File:

• uspace/lib/softfloat/generic/common.c (modified) (8 diffs)

uspace/lib/softfloat/generic/common.c

@@ -66 +66 @@
  * @return Finished double-precision float.
  */
-float64 finishFloat64(int32_t cexp, uint64_t cfrac, char sign)
+float64 finish_float64(int32_t cexp, uint64_t cfrac, char sign)
 {
         float64 result;
@@ -140 +140 @@
  * @return Finished quadruple-precision float.
  */
-float128 finishFloat128(int32_t cexp, uint64_t cfrac_hi, uint64_t cfrac_lo, 
+float128 finish_float128(int32_t cexp, uint64_t cfrac_hi, uint64_t cfrac_lo, 
     char sign, uint64_t shift_out)
 {
@@ -238 +238 @@
  * @return Number of detected leading zeroes.
  */
-int countZeroes8(uint8_t i)
+int count_zeroes8(uint8_t i)
 {
         return zeroTable[i];
@@ -249 +249 @@
  * @return Number of detected leading zeroes.
  */
-int countZeroes32(uint32_t i)
+int count_zeroes32(uint32_t i)
 {
         int j;
         for (j = 0; j < 32; j += 8) {
                 if (i & (0xFF << (24 - j))) {
-                        return (j + countZeroes8(i >> (24 - j)));
+                        return (j + count_zeroes8(i >> (24 - j)));
                 }
         }
@@ -267 +267 @@
  * @return Number of detected leading zeroes.
  */
-int countZeroes64(uint64_t i)
+int count_zeroes64(uint64_t i)
 {
         int j;
         for (j = 0; j < 64; j += 8) {
                 if (i & (0xFFll << (56 - j))) {
-                        return (j + countZeroes8(i >> (56 - j)));
+                        return (j + count_zeroes8(i >> (56 - j)));
                 }
         }
@@ -286 +286 @@
  * @param fraction Fraction with hidden bit shifted to 30th bit.
  */
-void roundFloat32(int32_t *exp, uint32_t *fraction)
+void round_float32(int32_t *exp, uint32_t *fraction)
 {
         /* rounding - if first bit after fraction is set then round up */
@@ -312 +312 @@
  * @param fraction Fraction with hidden bit shifted to 62nd bit.
  */
-void roundFloat64(int32_t *exp, uint64_t *fraction)
+void round_float64(int32_t *exp, uint64_t *fraction)
 {
         /* rounding - if first bit after fraction is set then round up */
@@ -339 +339 @@
  * @param frac_lo Low part of fraction part with hidden bit shifted to 126th bit.
  */
-void roundFloat128(int32_t *exp, uint64_t *frac_hi, uint64_t *frac_lo)
+void round_float128(int32_t *exp, uint64_t *frac_hi, uint64_t *frac_lo)
 {
         uint64_t tmp_hi, tmp_lo;