4 OPT_SHARED_FLAGS += $(call CHECKCC,-finline-limit=10000,)
5 OPT_CXXFLAGS += $(call CHECKCXX,--param large-function-insns=10000)
6 OPT_CFLAGS += $(call CHECKCC,--param large-function-insns=10000)
8 # The -Os option of gcc-4.0 sets max-inline-insns-single to 5 which prevents
9 # inlining of almost every function
10 NOOPT_SHARED_FLAGS += $(call CHECKCC,--param max-inline-insns-single=50)
11 SHARED_FLAGS += -mpreferred-stack-boundary=2 -m32
13 L4STD_INCDIR := -include $(srcdir)/kern/ux/format.h
15 CPPFLAGS += -D_GNU_SOURCE
17 SHARED_FLAGS-$(CONFIG_IA32_486) += -march=i486
18 SHARED_FLAGS-$(CONFIG_IA32_586) += -march=i586
19 SHARED_FLAGS-$(CONFIG_IA32_686) += -march=i686
20 SHARED_FLAGS-$(CONFIG_IA32_P2) += $(call CHECKCC,-march=pentium2,-march=i686)
21 SHARED_FLAGS-$(CONFIG_IA32_P3) += $(call CHECKCC,-march=pentium3,-march=i686)
22 SHARED_FLAGS-$(CONFIG_IA32_P4) += $(call CHECKCC,-march=pentium4,-march=i686)
23 SHARED_FLAGS-$(CONFIG_IA32_K6) += $(call CHECKCC,-march=k6,-march=i586)
24 SHARED_FLAGS-$(CONFIG_IA32_K7) += $(call CHECKCC,-march=athlon,-march=i686)
25 SHARED_FLAGS-$(CONFIG_IA32_K8) += $(call CHECKCC,-march=k8,-march=i686)
27 SHARED_FLAGS += $(call CHECKCC,-mno-mmx,)
28 SHARED_FLAGS += $(call CHECKCC,-mno-sse,)
29 SHARED_FLAGS += $(call CHECKCC,-mno-sse2,)
30 SHARED_FLAGS += $(call CHECKCC,-mno-sse3,)
31 SHARED_FLAGS += $(call CHECKCC,-mno-3dnow,)
35 LD_EMULATION_CHOICE := elf_i386 elf_i386_fbsd