All of lore.kernel.org
 help / color / mirror / Atom feed
From: James Clarke <jrtc27@jrtc27.com>
To: sparclinux@vger.kernel.org
Subject: Re: Regression with 4.7.2 on sun4u
Date: Tue, 25 Oct 2016 00:10:55 +0000	[thread overview]
Message-ID: <6930D444-0A65-46F3-BB11-7EFA2AD76CA3@jrtc27.com> (raw)
In-Reply-To: <3fc12066-505b-5f87-cbbe-88593a736162@physik.fu-berlin.de>

> On 24 Oct 2016, at 19:11, David Miller <davem@davemloft.net> wrote:
> 
> From: James Clarke <jrtc27@jrtc27.com>
> Date: Sat, 22 Oct 2016 10:51:28 +0100
> 
>> @@ -19,12 +19,20 @@ void arch_jump_label_transform(struct jump_entry *entry,
>> 	if (type == JUMP_LABEL_JMP) {
>> 		s32 off = (s32)entry->target - (s32)entry->code;
>> 
>> +		BUG_ON(off & 3);
>> +
>> #ifdef CONFIG_SPARC64
>> -		/* ba,pt %xcc, . + (off << 2) */
>> -		val = 0x10680000 | ((u32) off >> 2);
>> +		/* WDISP19 - target is . + (immed << 2) */
>> +		BUG_ON(off > 0xfffff);
>> +		BUG_ON(off < -0x100000);
>> +		/* ba,pt %xcc, . + off */
>> +		val = 0x10680000 | (((u32) off >> 2) & 0x7ffff);
>> #else
>> -		/* ba . + (off << 2) */
>> -		val = 0x10800000 | ((u32) off >> 2);
>> +		/* WDISP22 - target is . + (immed << 2) */
>> +		BUG_ON(off > 0x7fffff);
>> +		BUG_ON(off < -0x800000);
>> +		/* ba . + off */
>> +		val = 0x10800000 | (((u32) off >> 2) & 0x3fffff);
>> #endif
> 
> Since we can determine at run time whether we need to use a non-v9
> branch or not, it makes no sense to fail when a v9 branch is out of
> range.
> 
> We can simply downgrade to a pre-v9 one.
> 
> Something like this:
> 
> diff --git a/arch/sparc/kernel/jump_label.c b/arch/sparc/kernel/jump_label.c
> index 59bbeff..689e557 100644
> --- a/arch/sparc/kernel/jump_label.c
> +++ b/arch/sparc/kernel/jump_label.c
> @@ -13,19 +13,24 @@
> void arch_jump_label_transform(struct jump_entry *entry,
> 			       enum jump_label_type type)
> {
> -	u32 val;
> 	u32 *insn = (u32 *) (unsigned long) entry->code;
> +	u32 val;
> 
> 	if (type == JUMP_LABEL_JMP) {
> 		s32 off = (s32)entry->target - (s32)entry->code;
> +		bool use_v9_branch = false;
> 
> #ifdef CONFIG_SPARC64
> -		/* ba,pt %xcc, . + (off << 2) */
> -		val = 0x10680000 | ((u32) off >> 2);
> -#else
> -		/* ba . + (off << 2) */
> -		val = 0x10800000 | ((u32) off >> 2);
> +		if (off <= 0xfffff && off >= -0x100000)
> +			use_v9_branch = true;
> #endif
> +		if (use_v9_branch) {
> +			/* ba,pt %xcc, . + (off << 2) */
> +			val = 0x10680000 | (((u32) off >> 2) & 0x7ffff);
> +		} else {
> +			/* ba . + (off << 2) */
> +			val = 0x10800000 | (((u32) off >> 2) & 0x3fffff);
> +		}
> 	} else {
> 		val = 0x01000000;
> 	}

Sure, that makes sense; updated and tested for a few hours:

From d5997fd98fc80d1ceabe11f6fcd63dfce99b8253 Mon Sep 17 00:00:00 2001
From: James Clarke <jrtc27@jrtc27.com>
Date: Mon, 24 Oct 2016 19:49:25 +0100
Subject: [PATCH v2] sparc: Handle negative offsets in
 arch_jump_label_transform

Additionally, if the offset will overflow the immediate for a ba,pt
instruction, fall back on a standard ba to get an extra 3 bits.

Signed-off-by: James Clarke <jrtc27@jrtc27.com>
---
 arch/sparc/kernel/jump_label.c | 23 +++++++++++++++++------
 1 file changed, 17 insertions(+), 6 deletions(-)

diff --git a/arch/sparc/kernel/jump_label.c b/arch/sparc/kernel/jump_label.c
index 59bbeff..07933b9 100644
--- a/arch/sparc/kernel/jump_label.c
+++ b/arch/sparc/kernel/jump_label.c
@@ -13,19 +13,30 @@
 void arch_jump_label_transform(struct jump_entry *entry,
 			       enum jump_label_type type)
 {
-	u32 val;
 	u32 *insn = (u32 *) (unsigned long) entry->code;
+	u32 val;
 
 	if (type == JUMP_LABEL_JMP) {
 		s32 off = (s32)entry->target - (s32)entry->code;
+		bool use_v9_branch = false;
+
+		BUG_ON(off & 3);
 
 #ifdef CONFIG_SPARC64
-		/* ba,pt %xcc, . + (off << 2) */
-		val = 0x10680000 | ((u32) off >> 2);
-#else
-		/* ba . + (off << 2) */
-		val = 0x10800000 | ((u32) off >> 2);
+		if (off <= 0xfffff && off >= -0x100000)
+			use_v9_branch = true;
 #endif
+		if (use_v9_branch) {
+			/* WDISP19 - target is . + immed << 2 */
+			/* ba,pt %xcc, . + off */
+			val = 0x10680000 | (((u32) off >> 2) & 0x7ffff);
+		} else {
+			/* WDISP22 - target is . + immed << 2 */
+			BUG_ON(off > 0x7fffff);
+			BUG_ON(off < -0x800000);
+			/* ba . + off */
+			val = 0x10800000 | (((u32) off >> 2) & 0x3fffff);
+		}
 	} else {
 		val = 0x01000000;
 	}
-- 
2.9.3

  parent reply	other threads:[~2016-10-25  0:10 UTC|newest]

Thread overview: 15+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2016-09-07  9:22 Regression with 4.7.2 on sun4u John Paul Adrian Glaubitz
2016-09-07 10:01 ` Anatoly Pugachev
2016-10-21  9:12 ` Anatoly Pugachev
2016-10-21 12:57 ` Anatoly Pugachev
2016-10-21 15:00 ` David Miller
2016-10-21 15:49 ` Rob Gardner
2016-10-21 16:35 ` James Clarke
2016-10-21 17:26 ` David Miller
2016-10-21 17:47 ` James Clarke
2016-10-21 21:52 ` James Clarke
2016-10-22  1:07 ` David Miller
2016-10-22  9:51 ` James Clarke
2016-10-24 18:11 ` David Miller
2016-10-25  0:10 ` James Clarke [this message]
2016-10-26  2:12 ` David Miller

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=6930D444-0A65-46F3-BB11-7EFA2AD76CA3@jrtc27.com \
    --to=jrtc27@jrtc27.com \
    --cc=sparclinux@vger.kernel.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.