Received-SPF: pass (google.com: domain of linux-kernel+bounces-107584-linux.lists.archive=gmail.com@vger.kernel.org designates 147.75.199.223 as permitted sender) client-ip=147.75.199.223;
Precedence: bulk
MIME-Version: 1.0
References: <20240319104418.284519-1-ubizjak@gmail.com> <CAMzpN2iTU05j5R1L9=LhjDoQ9krOymzOWH9QHi50vq-fAaOM5w@mail.gmail.com>
In-Reply-To: <CAMzpN2iTU05j5R1L9=LhjDoQ9krOymzOWH9QHi50vq-fAaOM5w@mail.gmail.com>
From: Uros Bizjak <ubizjak@gmail.com>
Date: Tue, 19 Mar 2024 14:24:04 +0100
Message-ID: <CAFULd4Zu+XhAboEss2GfBuQPXJEgxA-dQ7JX415q_Y=9fFNFoQ@mail.gmail.com>
Subject: Re: [PATCH -tip 0/3] x86/asm: Use generic asm operand modifiers
 instead of %P in asm templates
To: Brian Gerst <brgerst@gmail.com>
Cc: x86@kernel.org, linux-kernel@vger.kernel.org, 
	Andy Lutomirski <luto@kernel.org>, Denys Vlasenko <dvlasenk@redhat.com>, "H . Peter Anvin" <hpa@zytor.com>, 
	Linus Torvalds <torvalds@linux-foundation.org>, Ingo Molnar <mingo@kernel.org>, 
	Josh Poimboeuf <jpoimboe@redhat.com>, Sean Christopherson <seanjc@google.com>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

On Tue, Mar 19, 2024 at 2:10=E2=80=AFPM Brian Gerst <brgerst@gmail.com> wro=
te:
>
> On Tue, Mar 19, 2024 at 6:44=E2=80=AFAM Uros Bizjak <ubizjak@gmail.com> w=
rote:
> >
> > The "P" asm operand modifier is a x86 target-specific modifier.
> >
> > For x86_64, when used with a symbol reference, the "P" modifier
> > emits "sym" instead of "sym(%rip)". When used with a constant, the
> > "P" modifier emits "cst" instead of "$cst". This property is used to
> > emit bare symbol references and bare constants without all
> > syntax-specific prefixes.
> >
> > The generic "c", "n" and "a" operand modifiers should be used instead.
> > The following table shows the modifiers supported by all targets and
> > their effects:
> >
> > Modifier    Description
> > -----------------------------------------------------------
> > 'c'         Require a constant operand and print the
> >             constant expression with no punctuation.
> > 'n'         Like '%c' except that the value of the constant
> >             is negated before printing.
> > 'a'         Substitute a memory reference, with the actual
> >             operand treated as the address.  This may be
> >             useful when outputting a "load address"
> >             instruction, because often the assembler syntax
> >             for such an instruction requires you to write
> >             the operand as if it were a memory reference.
> >
> > Also note that unlike GCC, clang emits %rip-relative symbol
> > reference with "P" asm operand modifier, so the patch also unifies
> > symbol handling with both compilers.
> >
> > No functional changes intended.
> >
> > Signed-off-by: Uros Bizjak <ubizjak@gmail.com>
> > Cc: Andy Lutomirski <luto@kernel.org>
> > Cc: Brian Gerst <brgerst@gmail.com>
> > Cc: Denys Vlasenko <dvlasenk@redhat.com>
> > Cc: H. Peter Anvin <hpa@zytor.com>
> > Cc: Linus Torvalds <torvalds@linux-foundation.org>
> > Cc: Ingo Molnar <mingo@kernel.org>
> > Cc: Josh Poimboeuf <jpoimboe@redhat.com>
> > Cc: Sean Christopherson <seanjc@google.com>
> >
> > Uros Bizjak (3):
> >   x86/asm: Remove %P operand modifier from altinstr asm templates
> >   x86/asm: Use %c/%n instead of %P operand modifier in asm templates
> >   x86/asm: Use %a instead of %P operand modifier in asm templates
> >
> >  arch/x86/boot/main.c                 |  4 ++--
> >  arch/x86/include/asm/alternative.h   | 22 +++++++++++-----------
> >  arch/x86/include/asm/apic.h          |  2 +-
> >  arch/x86/include/asm/atomic64_32.h   |  2 +-
> >  arch/x86/include/asm/cpufeature.h    |  4 ++--
> >  arch/x86/include/asm/irq_stack.h     |  2 +-
> >  arch/x86/include/asm/processor.h     |  6 +++---
> >  arch/x86/include/asm/special_insns.h |  4 ++--
> >  arch/x86/include/asm/uaccess.h       |  4 ++--
> >  9 files changed, 25 insertions(+), 25 deletions(-)
> >
> > --
> > 2.44.0
> >
>
> My one concern is does this work with older compilers?  Technically,
> GCC 5.1 is still supported.  I seem to recall some issues around these
> modifiers in the past, but don't remember any details.  Otherwise,
> it's a nice cleanup.

It will work. Please see [1] for a testcase.

[1] https://godbolt.org/z/eb6rcz8YW

Uros.