From: Jiri Slaby <jslaby@suse.cz>
To: Christopher Li <sparse@chrisli.org>
Cc: Linux-Sparse <linux-sparse@vger.kernel.org>
Subject: Re: [PATCH 1/1] parser: add support for asm goto
Date: Fri, 11 Jun 2010 17:05:55 +0200 [thread overview]
Message-ID: <4C1250D3.10003@suse.cz> (raw)
In-Reply-To: <AANLkTikFMmCaTyACFgGGU84XxPUtpbfz0b3U67ZHj-jJ@mail.gmail.com>
On 06/10/2010 09:18 PM, Christopher Li wrote:
> Hi Jirl,
Hi, (the last letter in my name should be small I :))
> Can you add a validations test case for me? It would be great to see
> sparse fail on the test case then your patch makes it work.
static inline int __static_cpu_has(unsigned char bit)
{
asm goto("1: jmp %l[t_no]\n"
"2:\n"
".section .altinstructions,\"a\"\n"
"\n"
"1b\n"
"0\n" /* no replacement */
" .byte %P0\n" /* feature bit */
" .byte 2b - 1b\n" /* source len */
" .byte 0\n" /* replacement len */
" .byte 0xff + 0 - (2b-1b)\n" /* padding */
".previous\n"
: : "i" (bit) : : t_no, ble);
return 1;
t_no:
return 0;
}
> Some minor nitpick follows. If you are busy, just give me the test case,
> I can do the rest of the change for you,
If you could do it, I would appreciate that.
thanks,
--
js
suse labs
next prev parent reply other threads:[~2010-06-11 15:06 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <1276158810-21313-1-git-send-email-jslaby@suse.cz>
2010-06-10 19:18 ` [PATCH 1/1] parser: add support for asm goto Christopher Li
2010-06-11 15:05 ` Jiri Slaby [this message]
2010-06-11 20:21 ` Christopher Li
2010-06-18 0:35 ` Christopher Li
2010-06-18 8:21 ` Jiri Slaby
2010-06-18 8:23 ` Jiri Slaby
2010-06-18 8:29 ` Jiri Slaby
2010-06-18 9:40 ` Christopher Li
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=4C1250D3.10003@suse.cz \
--to=jslaby@suse.cz \
--cc=linux-sparse@vger.kernel.org \
--cc=sparse@chrisli.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 a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).