aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
authorAl Viro <viro@ftp.linux.org.uk>2006-10-01 19:49:13 +0100
committerJosh Triplett <josh@freedesktop.org>2006-10-24 05:05:10 -0700
commit70ada4fad4c4a9f59862677dc7f905482c4f4e99 (patch)
tree87a8ca5e3ef9763ddd8108d5b832b129210525d9
parent8bcd6b41a5f0d4163c8c1b8c601e5fa4baf10708 (diff)
downloadsparse-dev-70ada4fad4c4a9f59862677dc7f905482c4f4e99.tar.gz
added a bunch of gcc builtins
Signed-off-by: Al Viro <viro@zeniv.linux.org.uk> Signed-off-by: Josh Triplett <josh@freedesktop.org>
-rw-r--r--lib.c10
1 files changed, 10 insertions, 0 deletions
diff --git a/lib.c b/lib.c
index fc1ee821..81e756de 100644
--- a/lib.c
+++ b/lib.c
@@ -487,6 +487,16 @@ void declare_builtin_functions(void)
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");
+ add_pre_buffer("extern long __builtin_alpha_insbl(long, long);\n");
+ add_pre_buffer("extern long __builtin_alpha_inswl(long, long);\n");
+ add_pre_buffer("extern long __builtin_alpha_insql(long, long);\n");
+ add_pre_buffer("extern long __builtin_alpha_inslh(long, long);\n");
+ add_pre_buffer("extern long __builtin_alpha_cmpbge(long, long);\n");
}
void create_builtin_stream(void)