Received-SPF: pass (google.com: domain of linux-kernel+bounces-19950-linux.lists.archive=gmail.com@vger.kernel.org designates 2604:1380:45e3:2400::1 as permitted sender) client-ip=2604:1380:45e3:2400::1;
Precedence: bulk
MIME-Version: 1.0
References: <b97faef60ad24922b530241c5d7c933c@AcuMS.aculab.com> <18c6df0d-45ed-450c-9eda-95160a2bbb8e@gmail.com>
In-Reply-To: <18c6df0d-45ed-450c-9eda-95160a2bbb8e@gmail.com>
From: Linus Torvalds <torvalds@linux-foundation.org>
Date: Mon, 8 Jan 2024 10:19:07 -0800
Message-ID: <CAHk-=wjvM5KiQFpbPMPXH-DcvheNcPGj+ThNEJVm+QL6n05A8A@mail.gmail.com>
Subject: Re: [PATCH next v4 0/5] minmax: Relax type checks in min() and max().
To: Jiri Slaby <jirislaby@gmail.com>
Cc: David Laight <David.Laight@aculab.com>, 
	"linux-kernel@vger.kernel.org" <linux-kernel@vger.kernel.org>, 
	Andy Shevchenko <andriy.shevchenko@linux.intel.com>, 
	Andrew Morton <akpm@linux-foundation.org>, "Matthew Wilcox (Oracle)" <willy@infradead.org>, 
	Christoph Hellwig <hch@infradead.org>, "Jason A. Donenfeld" <Jason@zx2c4.com>
Content-Type: text/plain; charset="UTF-8"

On Mon, 8 Jan 2024 at 03:46, Jiri Slaby <jirislaby@gmail.com> wrote:
>
>    CPP [M] drivers/media/pci/solo6x10/solo6x10-p2m.i
> real    0m45,002s
>
> $ git revert 867046cc7027703f60a46339ffde91a1970f2901
>    CPP [M] drivers/media/pci/solo6x10/solo6x10-p2m.i
> real    0m11,132s
>
> $ git revert 4ead534fba42fc4fd41163297528d2aa731cd121
>    CPP [M] drivers/media/pci/solo6x10/solo6x10-p2m.i
> real    0m3,711s

Ouch. Yeah, that's unfortunate. There's a lot of nested nasty macro
expansion there, but that timing is excessive.

Sparse actually complains about that file:

  drivers/media/pci/solo6x10/solo6x10-p2m.c:309:13: error: too long
token expansion
  drivers/media/pci/solo6x10/solo6x10-p2m.c:310:17: error: too long
token expansion

and while that is a sparse limitation, it's still interesting. Having
that file expand to 122M is not ok.

In this case, I suspect the right thing to do is to simply not use
min()/max() in that header at all, but do something like

  --- a/drivers/media/pci/solo6x10/solo6x10-offsets.h
  +++ b/drivers/media/pci/solo6x10/solo6x10-offsets.h
  @@ -56,2 +56,5 @@

  +#define MIN(X, Y) ((X) < (Y) ? (X) : (Y))
  +#define MAX(X, Y) ((X) > (Y) ? (X) : (Y))
  +
   #define SOLO_MP4E_EXT_ADDR(__solo) \
  @@ -59,4 +62,4 @@
   #define SOLO_MP4E_EXT_SIZE(__solo) \
  -     max((..),                               \
  -         min(((..) - \
  +     MAX((..),                               \
  +         MIN(((..) - \
                 ..), 0x00ff0000))
  @@ -67,4 +70,4 @@
   #define SOLO_JPEG_EXT_SIZE(__solo) \
  -     max(..,                         \
  -         min(..)
  +     MAX(..,                         \
  +         MIN(..)

and avoid this issue.

That said, I'm sure this thing exists to a smaller degree elsewhere. I
wonder if we could simplify our min/max type tests..

             Linus