Alexander Leidinger schrieb:
Quoting Christoph Mallon <[EMAIL PROTECTED]> (from Thu, 27 Nov
2008 21:39:45 +0100):
cparser is a C compiler, which can parse C89 and C99 as well as many
GCC and some MSVC extensions. The handled GCC extensions include
__attribute__, inline assembler, computed goto and statement
expressions. The compiler driver is compatible with with GCC (-fxxx,
-Wxxx, -M, ...). It also provides many useful analyses for warnings -
for some examples see below.
How much of the GCC stuff in /usr/include/cdefs.h would work with
cparser? Info: this is the major part one has to do to make another
compiler ready to compile our kernel.
I guess, you mean /usr/include/sys/cdefs.h. Let's have a look.
#define __GNUCLIKE_ASM 3
#define __GNUCLIKE_MATH_BUILTIN_CONSTANTS
cparser supports GCC style inline assembler (except for x87 floating
point constraints, which are not implemented, yet) and also supports
builtins like __builtin_nanf.
#define __GNUCLIKE___TYPEOF 1
#define __GNUCLIKE___OFFSETOF 1
cparser supports __typeof__ and __builtin_offsetof
#define __GNUCLIKE___SECTION 1
This is missing.
#define __GNUCLIKE_ATTRIBUTE_MODE_DI 1
The __attribute__((mode($FOO)) insanity is supported.
# define __GNUCLIKE_CTOR_SECTION_HANDLING 1
__attribute__((constructor)) and destructor are supported.
#define __GNUCLIKE_BUILTIN_CONSTANT_P 1
# define __GNUCLIKE_BUILTIN_VARARGS 1
# define __GNUCLIKE_BUILTIN_STDARG 1
# define __GNUCLIKE_BUILTIN_VAALIST 1
cparser handles these GCC builtins.
#define __CC_SUPPORTS_INLINE 1
#define __CC_SUPPORTS___INLINE 1
#define __CC_SUPPORTS___INLINE__ 1
I think we support all alternative spellings with any number of
underscores for all keywords. (:
I'll skip some simple stuff now, which also works.
#define __dead2 __attribute__((__noreturn__))
#define __pure2 __attribute__((__const__))
#define __unused __attribute__((__unused__))
#define __used __attribute__((__used__))
#define __packed __attribute__((__packed__))
#define __aligned(x) __attribute__((__aligned__(x)))
#define __section(x) __attribute__((__section__(x)))
All of these are parsed and except for __section__ are handled, e.g.
__noreturn__ is used for optimization. We also have -Wmissing-noreturn,
which warns about functions, which should have this attribute.
I'm skipping more attribute stuff.
#define __weak_reference(sym,alias) \
__asm__(".weak " #alias); \
__asm__(".equ " #alias ", " #sym)
global asm statements are supported, too.
The compiler driver is compatible with GCC, but we need to support more
switches. This is a matter of time and digging through GCC documentation.
Regards
Christoph
_______________________________________________
[email protected] mailing list
http://lists.freebsd.org/mailman/listinfo/freebsd-hackers
To unsubscribe, send any mail to "[EMAIL PROTECTED]"
