From: Eduard Zingerman <eddyz87@gmail.com>
To: Dimitar Kanaliev <dimitar.kanaliev@siteground.com>, bpf@vger.kernel.org
Cc: Alexei Starovoitov <ast@kernel.org>,
Daniel Borkmann <daniel@iogearbox.net>,
John Fastabend <john.fastabend@gmail.com>,
Andrii Nakryiko <andrii@kernel.org>,
Martin KaFai Lau <martin.lau@linux.dev>,
Song Liu <song@kernel.org>, KP Singh <kpsingh@kernel.org>,
Stanislav Fomichev <sdf@fomichev.me>,
Hao Luo <haoluo@google.com>, Jiri Olsa <jolsa@kernel.org>,
Mykola Lysenko <mykolal@fb.com>,
Yonghong Song <yonghong.song@linux.dev>,
Shung-Hsi Yu <shung-hsi.yu@suse.com>
Subject: Re: [PATCH v0 1/3] bpf: Introduce tnum_scast as a tnum native sign extension helper
Date: Thu, 30 Jan 2025 13:59:34 -0800 [thread overview]
Message-ID: <b585402df5ecfbf02d9633f3783794058a48d667.camel@gmail.com> (raw)
In-Reply-To: <20250130112342.69843-2-dimitar.kanaliev@siteground.com>
On Thu, 2025-01-30 at 13:23 +0200, Dimitar Kanaliev wrote:
Hi Dimitar,
[...]
> +struct tnum tnum_scast(struct tnum a, u8 size)
> +{
> + u64 s = size * 8 - 1;
> + u64 sign_mask;
> + u64 value_mask;
> + u64 new_value, new_mask;
> + u64 sign_bit_unknown, sign_bit_value;
> + u64 mask;
> +
> + if (size >= 8) {
> + return a;
> + }
> +
> + sign_mask = 1ULL << s;
> + value_mask = (1ULL << (s + 1)) - 1;
> +
> + new_value = a.value & value_mask;
> + new_mask = a.mask & value_mask;
> +
> + sign_bit_unknown = (a.mask >> s) & 1;
> + sign_bit_value = (a.value >> s) & 1;
> +
> + mask = ~value_mask;
> + new_mask |= mask & (0 - sign_bit_unknown);
> + new_value |= mask & (0 - ((sign_bit_unknown ^ 1) & sign_bit_value));
> +
> + return TNUM(new_value, new_mask);
> +}
So, effectively what you want to achieve here:
- pick a sign bit SM from mask and set signed extended bits of mask to SM
- pick a sign bit SV from value and set signed extended bits of value to SV
right?
I think this could be done a bit simpler, e.g.:
struct tnum tnum_scast(struct tnum a, u8 size)
{
u8 s = 64 - size * 8;
u64 value, mask;
if (size >= 8)
return a;
value = ((s64)a.value << s) >> s;
mask = ((s64)a.mask << s) >> s;
return TNUM(value, mask);
}
wdyt?
next prev parent reply other threads:[~2025-01-30 21:59 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-01-30 11:23 [PATCH v0 0/3] Add tnum_scast helper Dimitar Kanaliev
2025-01-30 11:23 ` [PATCH v0 1/3] bpf: Introduce tnum_scast as a tnum native sign extension helper Dimitar Kanaliev
2025-01-30 21:59 ` Eduard Zingerman [this message]
2025-01-30 11:23 ` [PATCH v0 2/3] bpf: verifier: Simplify register sign extension with tnum_scast Dimitar Kanaliev
2025-01-30 23:24 ` Eduard Zingerman
2025-01-30 11:23 ` [PATCH v0 3/3] selftests/bpf: Extend tests with more coverage for sign extension Dimitar Kanaliev
2025-01-30 22:48 ` Eduard Zingerman
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=b585402df5ecfbf02d9633f3783794058a48d667.camel@gmail.com \
--to=eddyz87@gmail.com \
--cc=andrii@kernel.org \
--cc=ast@kernel.org \
--cc=bpf@vger.kernel.org \
--cc=daniel@iogearbox.net \
--cc=dimitar.kanaliev@siteground.com \
--cc=haoluo@google.com \
--cc=john.fastabend@gmail.com \
--cc=jolsa@kernel.org \
--cc=kpsingh@kernel.org \
--cc=martin.lau@linux.dev \
--cc=mykolal@fb.com \
--cc=sdf@fomichev.me \
--cc=shung-hsi.yu@suse.com \
--cc=song@kernel.org \
--cc=yonghong.song@linux.dev \
/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 a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox