From: Blue Swirl <blauwirbel@gmail.com>
To: linux-sparse@vger.kernel.org
Subject: [PATCH 2/2] Subject: Add a few GCC builtins
Date: Sat, 1 Aug 2009 12:28:50 +0300 [thread overview]
Message-ID: <f43fc5580908010228k6760baa7j506fd674a0510307@mail.gmail.com> (raw)
Add c{l,t}z{,l,ll}, ffsl{,l}, popcountll and floating point comparison
builtins.
Signed-off-by: Blue Swirl <blauwirbel@gmail.com>
---
lib.c | 25 ++++++++++++++++++++++---
1 files changed, 22 insertions(+), 3 deletions(-)
diff --git a/lib.c b/lib.c
index 42affcd..600939b 100644
--- a/lib.c
+++ b/lib.c
@@ -685,15 +685,26 @@ void declare_builtin_functions(void)
add_pre_buffer("extern char * __builtin_strpbrk(const char *, const
char *);\n");
add_pre_buffer("extern __SIZE_TYPE__ __builtin_strlen(const char *);\n");
+ /* And bitwise operations.. */
+ add_pre_buffer("extern int __builtin_clz(int);\n");
+ add_pre_buffer("extern int __builtin_clzl(long);\n");
+ add_pre_buffer("extern int __builtin_clzll(long long);\n");
+ add_pre_buffer("extern int __builtin_ctz(int);\n");
+ add_pre_buffer("extern int __builtin_ctzl(long);\n");
+ add_pre_buffer("extern int __builtin_ctzll(long long);\n");
+ add_pre_buffer("extern int __builtin_ffs(int);\n");
+ add_pre_buffer("extern int __builtin_ffsl(long);\n");
+ add_pre_buffer("extern int __builtin_ffsll(long long);\n");
+ add_pre_buffer("extern int __builtin_popcount(unsigned int);\n");
+ add_pre_buffer("extern int __builtin_popcountl(unsigned long);\n");
+ add_pre_buffer("extern int __builtin_popcountll(unsigned long long);\n");
+
/* And some random ones.. */
add_pre_buffer("extern void *__builtin_return_address(unsigned int);\n");
add_pre_buffer("extern void *__builtin_extract_return_addr(void *);\n");
add_pre_buffer("extern void *__builtin_frame_address(unsigned int);\n");
add_pre_buffer("extern void __builtin_trap(void);\n");
- add_pre_buffer("extern int __builtin_ffs(int);\n");
add_pre_buffer("extern void *__builtin_alloca(__SIZE_TYPE__);\n");
- add_pre_buffer("extern int __builtin_popcount(unsigned int);\n");
- add_pre_buffer("extern int __builtin_popcountl(unsigned long);\n");
add_pre_buffer("extern void __builtin_prefetch (const void *, ...);\n");
add_pre_buffer("extern long __builtin_alpha_extbl(long, long);\n");
add_pre_buffer("extern long __builtin_alpha_extwl(long, long);\n");
@@ -704,6 +715,14 @@ void declare_builtin_functions(void)
add_pre_buffer("extern long __builtin_alpha_cmpbge(long, long);\n");
add_pre_buffer("extern long __builtin_labs(long);\n");
+ /* And some floating point stuff.. */
+ add_pre_buffer("extern int __builtin_isgreater(float, float);\n");
+ add_pre_buffer("extern int __builtin_isgreaterequal(float, float);\n");
+ add_pre_buffer("extern int __builtin_isless(float, float);\n");
+ add_pre_buffer("extern int __builtin_islessequal(float, float);\n");
+ add_pre_buffer("extern int __builtin_islessgreater(float, float);\n");
+ add_pre_buffer("extern int __builtin_isunordered(float, float);\n");
+
/* And some __FORTIFY_SOURCE ones.. */
add_pre_buffer ("extern __SIZE_TYPE__ __builtin_object_size(void *, int);\n");
add_pre_buffer ("extern void * __builtin___memcpy_chk(void *, const
void *, __SIZE_TYPE__, __SIZE_TYPE__);\n");
--
1.6.2.4
next reply other threads:[~2009-08-01 9:29 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-08-01 9:28 Blue Swirl [this message]
2009-08-01 16:53 ` [PATCH 2/2] Subject: Add a few GCC builtins Christopher Li
2009-08-01 17:23 ` Blue Swirl
2009-08-04 21:35 ` 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=f43fc5580908010228k6760baa7j506fd674a0510307@mail.gmail.com \
--to=blauwirbel@gmail.com \
--cc=linux-sparse@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 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).