diff mbox series

[v3,1/5] math64: New DIV_U64_ROUND_CLOSEST helper

Message ID 20210717123829.5201-2-pali@kernel.org
State Superseded
Headers show
Series serial: mvebu-uart: Fixes and new support for higher baudrates | expand

Commit Message

Pali Rohár July 17, 2021, 12:38 p.m. UTC
Provide DIV_U64_ROUND_CLOSEST helper which uses div_u64 to perform
division rounded to the closest integer using unsigned 64bit
dividend and unsigned 32bit divisor.

Signed-off-by: Pali Rohár <pali@kernel.org>
Reviewed-by: Geert Uytterhoeven <geert+renesas@glider.be>
---
 include/linux/math64.h | 13 +++++++++++++
 1 file changed, 13 insertions(+)

Comments

Andy Shevchenko July 19, 2021, 12:47 p.m. UTC | #1
On Sat, Jul 17, 2021 at 3:39 PM Pali Rohár <pali@kernel.org> wrote:
>

> Provide DIV_U64_ROUND_CLOSEST helper which uses div_u64 to perform

> division rounded to the closest integer using unsigned 64bit

> dividend and unsigned 32bit divisor.


...

> +/*

> + * DIV_U64_ROUND_CLOSEST - unsigned 64bit divide with 32bit divisor rounded to nearest integer


> + * @dividend: unsigned 64bit dividend


Here you insist users to provide a u64 (or compatible) type.

> + * @divisor: unsigned 32bit divisor

> + *

> + * Divide unsigned 64bit dividend by unsigned 32bit divisor

> + * and round to closest integer.

> + *

> + * Return: dividend / divisor rounded to nearest integer

> + */

> +#define DIV_U64_ROUND_CLOSEST(dividend, divisor)       \


> +       ({ u32 _tmp = (divisor); div_u64((u64)(dividend) + _tmp / 2, _tmp); })


Here is the casting to u64. Why? (Yes, I have read v1 discussion and I
just want to continue it here).

-- 
With Best Regards,
Andy Shevchenko
Pali Rohár July 22, 2021, 9:57 p.m. UTC | #2
On Monday 19 July 2021 15:47:07 Andy Shevchenko wrote:
> On Sat, Jul 17, 2021 at 3:39 PM Pali Rohár <pali@kernel.org> wrote:

> >

> > Provide DIV_U64_ROUND_CLOSEST helper which uses div_u64 to perform

> > division rounded to the closest integer using unsigned 64bit

> > dividend and unsigned 32bit divisor.

> 

> ...

> 

> > +/*

> > + * DIV_U64_ROUND_CLOSEST - unsigned 64bit divide with 32bit divisor rounded to nearest integer

> 

> > + * @dividend: unsigned 64bit dividend

> 

> Here you insist users to provide a u64 (or compatible) type.

> 

> > + * @divisor: unsigned 32bit divisor

> > + *

> > + * Divide unsigned 64bit dividend by unsigned 32bit divisor

> > + * and round to closest integer.

> > + *

> > + * Return: dividend / divisor rounded to nearest integer

> > + */

> > +#define DIV_U64_ROUND_CLOSEST(dividend, divisor)       \

> 

> > +       ({ u32 _tmp = (divisor); div_u64((u64)(dividend) + _tmp / 2, _tmp); })

> 

> Here is the casting to u64. Why? (Yes, I have read v1 discussion and I

> just want to continue it here).


See also Willy's response: https://lore.kernel.org/lkml/20210625155008.GB16901@1wt.eu/

Macro does not enforce type as opposite to function.

There is no compile time check for correct type and neither compile time
warning if smaller typed value is passed.

And e.g. passing constant with explicit ULL suffix or casting external
constant to 64bit type is impractical.
David Laight July 24, 2021, 11:38 a.m. UTC | #3
From: Pali Rohár

> Sent: 22 July 2021 22:58

> 

> On Monday 19 July 2021 15:47:07 Andy Shevchenko wrote:

> > On Sat, Jul 17, 2021 at 3:39 PM Pali Rohár <pali@kernel.org> wrote:

> > >

> > > Provide DIV_U64_ROUND_CLOSEST helper which uses div_u64 to perform

> > > division rounded to the closest integer using unsigned 64bit

> > > dividend and unsigned 32bit divisor.

> >

> > ...

> >

> > > +/*

> > > + * DIV_U64_ROUND_CLOSEST - unsigned 64bit divide with 32bit divisor rounded to nearest integer

> >

> > > + * @dividend: unsigned 64bit dividend

> >

> > Here you insist users to provide a u64 (or compatible) type.

> >

> > > + * @divisor: unsigned 32bit divisor

> > > + *

> > > + * Divide unsigned 64bit dividend by unsigned 32bit divisor

> > > + * and round to closest integer.

> > > + *

> > > + * Return: dividend / divisor rounded to nearest integer

> > > + */

> > > +#define DIV_U64_ROUND_CLOSEST(dividend, divisor)       \

> >

> > > +       ({ u32 _tmp = (divisor); div_u64((u64)(dividend) + _tmp / 2, _tmp); })

> >

> > Here is the casting to u64. Why? (Yes, I have read v1 discussion and I

> > just want to continue it here).

> 

> See also Willy's response: https://lore.kernel.org/lkml/20210625155008.GB16901@1wt.eu/

> 

> Macro does not enforce type as opposite to function.

> 

> There is no compile time check for correct type and neither compile time

> warning if smaller typed value is passed.

> 

> And e.g. passing constant with explicit ULL suffix or casting external

> constant to 64bit type is impractical.


What is wrong with:
	({ u32 _tmp = (divisor); div_u64((dividend) + (u64)0 + _tmp / 2, _tmp); })
Or:
	({ u32 _tmp = (divisor); div_u64((dividend) + (u64)(_tmp / 2), _tmp); })
Both will ensure a 32bit 'dividend' is promoted to 64 bits before the '+'.
Both will fail if 'dividend' isn't an integer type.
On 32bit systems the compiler will also know when the high bits van be ignored.

	David

-
Registered Address Lakeside, Bramley Road, Mount Farm, Milton Keynes, MK1 1PT, UK
Registration No: 1397386 (Wales)
diff mbox series

Patch

diff --git a/include/linux/math64.h b/include/linux/math64.h
index 2928f03d6d46..a14f40de1dca 100644
--- a/include/linux/math64.h
+++ b/include/linux/math64.h
@@ -300,6 +300,19 @@  u64 mul_u64_u64_div_u64(u64 a, u64 mul, u64 div);
 #define DIV64_U64_ROUND_CLOSEST(dividend, divisor)	\
 	({ u64 _tmp = (divisor); div64_u64((dividend) + _tmp / 2, _tmp); })
 
+/*
+ * DIV_U64_ROUND_CLOSEST - unsigned 64bit divide with 32bit divisor rounded to nearest integer
+ * @dividend: unsigned 64bit dividend
+ * @divisor: unsigned 32bit divisor
+ *
+ * Divide unsigned 64bit dividend by unsigned 32bit divisor
+ * and round to closest integer.
+ *
+ * Return: dividend / divisor rounded to nearest integer
+ */
+#define DIV_U64_ROUND_CLOSEST(dividend, divisor)	\
+	({ u32 _tmp = (divisor); div_u64((u64)(dividend) + _tmp / 2, _tmp); })
+
 /*
  * DIV_S64_ROUND_CLOSEST - signed 64bit divide with 32bit divisor rounded to nearest integer
  * @dividend: signed 64bit dividend