X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fia32%2Fia32_architecture.c;h=6e3e141d7a8940e19a114203217b4539282a5233;hb=554dbf627a86307df50a784e5476d929c36882e8;hp=6245d38d3858d16fa23de0e9c0f1bd7b8fe26839;hpb=9cd7c3c377e52cc5164e138cac2d50e3ee4b0ff5;p=libfirm diff --git a/ir/be/ia32/ia32_architecture.c b/ir/be/ia32/ia32_architecture.c index 6245d38d3..6e3e141d7 100644 --- a/ir/be/ia32/ia32_architecture.c +++ b/ir/be/ia32/ia32_architecture.c @@ -70,12 +70,18 @@ enum cpu_arch_features { arch_feature_3DNow = 0x00100000, /**< 3DNow! instructions */ arch_feature_3DNowE = 0x00200000, /**< Enhanced 3DNow! instructions */ arch_feature_64bit = 0x00400000, /**< x86_64 support */ + arch_feature_sse4_1 = 0x00800000, /**< SSE4.1 instructions */ + arch_feature_sse4_2 = 0x01000000, /**< SSE4.2 instructions */ + arch_feature_sse4a = 0x02000000, /**< SSE4a instructions */ arch_mmx_insn = arch_feature_mmx, /**< MMX instructions */ - arch_sse1_insn = arch_feature_sse1 | arch_mmx_insn, /**< SSE1 instructions, include MMX */ - arch_sse2_insn = arch_feature_sse2 | arch_sse1_insn, /**< SSE2 instructions, include SSE1 */ - arch_sse3_insn = arch_feature_sse3 | arch_sse2_insn, /**< SSE3 instructions, include SSE2 */ - arch_ssse3_insn = arch_feature_ssse3 | arch_sse3_insn, /**< SSSE3 instructions, include SSE3 */ + arch_sse1_insn = arch_feature_sse1 | arch_mmx_insn, /**< SSE1 instructions, include MMX */ + arch_sse2_insn = arch_feature_sse2 | arch_sse1_insn, /**< SSE2 instructions, include SSE1 */ + arch_sse3_insn = arch_feature_sse3 | arch_sse2_insn, /**< SSE3 instructions, include SSE2 */ + arch_ssse3_insn = arch_feature_ssse3 | arch_sse3_insn, /**< SSSE3 instructions, include SSE3 */ + arch_sse4_1_insn = arch_feature_sse4_1 | arch_ssse3_insn, /**< SSE4.1 instructions, include SSSE3 */ + arch_sse4_2_insn = arch_feature_sse4_2 | arch_sse4_1_insn, /**< SSE4.2 instructions, include SSE4.1 */ + arch_sse4a_insn = arch_feature_sse4a | arch_ssse3_insn, /**< SSE4a instructions, include SSSE3 */ arch_3DNow_insn = arch_feature_3DNow | arch_feature_mmx, /**< 3DNow! instructions, including MMX */ arch_3DNowE_insn = arch_feature_3DNowE | arch_3DNow_insn, /**< Enhanced 3DNow! instructions */ @@ -90,7 +96,7 @@ enum cpu_arch_features { enum cpu_support { cpu_generic = arch_generic32, - /* intel CPU's */ + /* intel CPUs */ cpu_i386 = arch_i386, cpu_i486 = arch_i486, cpu_pentium = arch_pentium, @@ -103,25 +109,28 @@ enum cpu_support { cpu_prescott = arch_nocona | arch_feature_p6_insn | arch_sse3_insn, cpu_nocona = arch_nocona | arch_feature_p6_insn | arch_64bit_insn | arch_sse3_insn, cpu_core2 = arch_core2 | arch_feature_p6_insn | arch_64bit_insn | arch_ssse3_insn, + cpu_penryn = arch_core2 | arch_feature_p6_insn | arch_64bit_insn | arch_sse4_1_insn, - /* AMD CPU's */ + /* AMD CPUs */ cpu_k6 = arch_k6 | arch_mmx_insn, cpu_k6_PLUS = arch_k6 | arch_3DNow_insn, cpu_geode = arch_geode | arch_sse1_insn | arch_3DNowE_insn, + cpu_athlon_old = arch_athlon | arch_3DNowE_insn | arch_feature_p6_insn, cpu_athlon = arch_athlon | arch_sse1_insn | arch_3DNowE_insn | arch_feature_p6_insn, cpu_athlon64 = arch_athlon | arch_sse2_insn | arch_3DNowE_insn | arch_feature_p6_insn | arch_64bit_insn, cpu_k8 = arch_k8 | arch_3DNowE_insn | arch_feature_p6_insn | arch_64bit_insn, cpu_k8_sse3 = arch_k8 | arch_3DNowE_insn | arch_feature_p6_insn | arch_64bit_insn | arch_sse3_insn, - cpu_k10 = arch_k10 | arch_3DNowE_insn | arch_feature_p6_insn | arch_64bit_insn | arch_sse3_insn, + cpu_k10 = arch_k10 | arch_3DNowE_insn | arch_feature_p6_insn | arch_64bit_insn | arch_sse4a_insn, - /* other CPU's */ + /* other CPUs */ cpu_winchip_c6 = arch_i486 | arch_feature_mmx, cpu_winchip2 = arch_i486 | arch_feature_mmx | arch_feature_3DNow, cpu_c3 = arch_i486 | arch_feature_mmx | arch_feature_3DNow, - cpu_c3_2 = arch_ppro | arch_sse1_insn, /* really no 3DNow! */ + cpu_c3_2 = arch_ppro | arch_feature_p6_insn | arch_sse1_insn, /* really no 3DNow! */ }; static int opt_size = 0; +static int emit_machcode = 0; static cpu_support arch = cpu_generic; static cpu_support opt_arch = cpu_generic; static int use_sse2 = 0; @@ -151,12 +160,13 @@ static const lc_opt_enum_int_items_t arch_items[] = { { "nocona", cpu_nocona }, { "merom", cpu_core2 }, { "core2", cpu_core2 }, + { "penryn", cpu_penryn }, { "k6", cpu_k6 }, { "k6-2", cpu_k6_PLUS }, { "k6-3", cpu_k6_PLUS }, { "geode", cpu_geode }, - { "athlon", cpu_athlon }, + { "athlon", cpu_athlon_old }, { "athlon-tbird", cpu_athlon }, { "athlon-4", cpu_athlon }, { "athlon-xp", cpu_athlon }, @@ -211,6 +221,8 @@ static const lc_opt_table_entry_t ia32_architecture_options[] = { &opt_cc, 1), LC_OPT_ENT_BIT("unsafe_floatconv", "do unsafe floating point controlword " "optimisations", &opt_unsafe_floatconv, 1), + LC_OPT_ENT_BOOL("machcode", "output machine code instead of assembler", + &emit_machcode), LC_OPT_LAST }; @@ -321,7 +333,7 @@ static const insn_const athlon_cost = { 7, /* maximum skip for alignment of loops labels */ }; -/* costs for the Opteron/K8/K10 */ +/* costs for the Opteron/K8 */ static const insn_const k8_cost = { 1, /* cost of an add instruction */ 2, /* cost of a lea instruction */ @@ -408,45 +420,20 @@ static void set_arch_costs(void) return; } switch (opt_arch & arch_mask) { - case arch_i386: - arch_costs = &i386_cost; - break; - case arch_i486: - arch_costs = &i486_cost; - break; - case arch_pentium: - arch_costs = &pentium_cost; - break; - case arch_ppro: - arch_costs = &pentiumpro_cost; - break; - case arch_netburst: - arch_costs = &netburst_cost; - break; - case arch_nocona: - arch_costs = &nocona_cost; - break; - case arch_core2: - arch_costs = &core2_cost; - break; - case arch_k6: - arch_costs = &k6_cost; - break; - case arch_geode: - arch_costs = &geode_cost; - break; - case arch_athlon: - arch_costs = &athlon_cost; - break; - case arch_k8: - arch_costs = &k8_cost; - break; - case arch_k10: - arch_costs = &k10_cost; - break; - case arch_generic32: + case arch_i386: arch_costs = &i386_cost; break; + case arch_i486: arch_costs = &i486_cost; break; + case arch_pentium: arch_costs = &pentium_cost; break; + case arch_ppro: arch_costs = &pentiumpro_cost; break; + case arch_netburst: arch_costs = &netburst_cost; break; + case arch_nocona: arch_costs = &nocona_cost; break; + case arch_core2: arch_costs = &core2_cost; break; + case arch_k6: arch_costs = &k6_cost; break; + case arch_geode: arch_costs = &geode_cost; break; + case arch_athlon: arch_costs = &athlon_cost; break; + case arch_k8: arch_costs = &k8_cost; break; + case arch_k10: arch_costs = &k10_cost; break; default: - arch_costs = &generic32_cost; + case arch_generic32: arch_costs = &generic32_cost; break; } } @@ -485,64 +472,59 @@ int ia32_evaluate_insn(insn_kind kind, tarval *tv) { void ia32_setup_cg_config(void) { - memset(&ia32_cg_config, 0, sizeof(ia32_cg_config)); + ia32_code_gen_config_t *const c = &ia32_cg_config; + memset(c, 0, sizeof(*c)); set_arch_costs(); - ia32_cg_config.optimize_size = opt_size != 0; - /* on newer intel cpus mov, pop is often faster then leave although it has a + c->optimize_size = opt_size != 0; + /* on newer intel cpus mov, pop is often faster than leave although it has a * longer opcode */ - ia32_cg_config.use_leave = FLAGS(opt_arch, arch_i386 | arch_all_amd | arch_core2) || opt_size; + c->use_leave = FLAGS(opt_arch, arch_i386 | arch_all_amd | arch_core2) || opt_size; /* P4s don't like inc/decs because they only partially write the flags - register which produces false dependencies */ - ia32_cg_config.use_incdec = !FLAGS(opt_arch, arch_netburst | arch_nocona | arch_core2 | arch_geode) || opt_size; - ia32_cg_config.use_sse2 = use_sse2 && FLAGS(arch, arch_feature_sse2); - ia32_cg_config.use_ffreep = FLAGS(opt_arch, arch_athlon_plus); - ia32_cg_config.use_ftst = !FLAGS(arch, arch_feature_p6_insn); - /* valgrind can't cope with femms yet and the usefulness of the optimization is questionable anyway */ + * register which produces false dependencies */ + c->use_incdec = !FLAGS(opt_arch, arch_netburst | arch_nocona | arch_core2 | arch_geode) || opt_size; + c->use_sse2 = use_sse2 && FLAGS(arch, arch_feature_sse2); + c->use_ffreep = FLAGS(opt_arch, arch_athlon_plus); + c->use_ftst = !FLAGS(arch, arch_feature_p6_insn); + /* valgrind can't cope with femms yet and the usefulness of the optimization + * is questionable anyway */ #if 0 - ia32_cg_config.use_femms = FLAGS(opt_arch, arch_athlon_plus) && - FLAGS(arch, arch_feature_mmx | arch_all_amd); + c->use_femms = FLAGS(opt_arch, arch_athlon_plus) && + FLAGS(arch, arch_feature_mmx | arch_all_amd); #else - ia32_cg_config.use_femms = 0; + c->use_femms = 0; #endif - ia32_cg_config.use_fucomi = FLAGS(arch, arch_feature_p6_insn); - ia32_cg_config.use_cmov = FLAGS(arch, arch_feature_p6_insn); - ia32_cg_config.use_modeD_moves = FLAGS(opt_arch, arch_athlon_plus | arch_geode | arch_ppro | - arch_netburst | arch_nocona | arch_core2 | arch_generic32); - ia32_cg_config.use_add_esp_4 = FLAGS(opt_arch, arch_geode | arch_athlon_plus | - arch_netburst | arch_nocona | arch_core2 | arch_generic32) && - !opt_size; - ia32_cg_config.use_add_esp_8 = FLAGS(opt_arch, arch_geode | arch_athlon_plus | - arch_i386 | arch_i486 | arch_ppro | arch_netburst | - arch_nocona | arch_core2 | arch_generic32) && - !opt_size; - ia32_cg_config.use_sub_esp_4 = FLAGS(opt_arch, arch_athlon_plus | arch_ppro | - arch_netburst | arch_nocona | arch_core2 | arch_generic32) && - !opt_size; - ia32_cg_config.use_sub_esp_8 = FLAGS(opt_arch, arch_athlon_plus | arch_i386 | arch_i486 | - arch_ppro | arch_netburst | arch_nocona | arch_core2 | arch_generic32) && - !opt_size; - ia32_cg_config.use_imul_mem_imm32 = !FLAGS(opt_arch, arch_k8 | arch_k10) || opt_size; - ia32_cg_config.use_pxor = FLAGS(opt_arch, arch_netburst); - ia32_cg_config.use_mov_0 = FLAGS(opt_arch, arch_k6) && !opt_size; - ia32_cg_config.use_pad_return = FLAGS(opt_arch, arch_athlon_plus | arch_core2 | arch_generic32) && !opt_size; - ia32_cg_config.use_bt = FLAGS(opt_arch, arch_core2 | arch_athlon_plus) || opt_size; - ia32_cg_config.use_fisttp = FLAGS(opt_arch & arch, arch_feature_sse3); - ia32_cg_config.optimize_cc = opt_cc; - ia32_cg_config.use_unsafe_floatconv = opt_unsafe_floatconv; - - ia32_cg_config.function_alignment = arch_costs->function_alignment; - ia32_cg_config.label_alignment = arch_costs->label_alignment; - ia32_cg_config.label_alignment_max_skip = arch_costs->label_alignment_max_skip; - - if (opt_arch & (arch_i386 | arch_i486) || opt_size) { - ia32_cg_config.label_alignment_factor = 0; - } else if (opt_arch & arch_all_amd) { - ia32_cg_config.label_alignment_factor = 3; - } else { - ia32_cg_config.label_alignment_factor = 2; - } + c->use_fucomi = FLAGS(arch, arch_feature_p6_insn); + c->use_cmov = FLAGS(arch, arch_feature_p6_insn); + c->use_modeD_moves = FLAGS(opt_arch, arch_generic32 | arch_athlon_plus | arch_netburst | arch_nocona | arch_core2 | arch_ppro | arch_geode); + c->use_add_esp_4 = FLAGS(opt_arch, arch_generic32 | arch_athlon_plus | arch_netburst | arch_nocona | arch_core2 | arch_geode) && !opt_size; + c->use_add_esp_8 = FLAGS(opt_arch, arch_generic32 | arch_athlon_plus | arch_netburst | arch_nocona | arch_core2 | arch_ppro | arch_geode | arch_i386 | arch_i486) && !opt_size; + c->use_sub_esp_4 = FLAGS(opt_arch, arch_generic32 | arch_athlon_plus | arch_netburst | arch_nocona | arch_core2 | arch_ppro) && !opt_size; + c->use_sub_esp_8 = FLAGS(opt_arch, arch_generic32 | arch_athlon_plus | arch_netburst | arch_nocona | arch_core2 | arch_ppro | arch_i386 | arch_i486) && !opt_size; + c->use_imul_mem_imm32 = !FLAGS(opt_arch, arch_k8 | arch_k10) || opt_size; + c->use_pxor = FLAGS(opt_arch, arch_netburst); + c->use_mov_0 = FLAGS(opt_arch, arch_k6) && !opt_size; + c->use_short_sex_eax = !FLAGS(opt_arch, arch_k6) && !opt_size; + c->use_pad_return = FLAGS(opt_arch, arch_athlon_plus | arch_core2 | arch_generic32) && !opt_size; + c->use_bt = FLAGS(opt_arch, arch_core2 | arch_athlon_plus) || opt_size; + c->use_fisttp = FLAGS(opt_arch & arch, arch_feature_sse3); + c->use_sse_prefetch = FLAGS(arch, (arch_feature_3DNowE | arch_feature_sse1)); + c->use_3dnow_prefetch = FLAGS(arch, arch_feature_3DNow); + c->use_popcnt = FLAGS(arch, (arch_feature_sse4_2 | arch_feature_sse4a)); + c->use_i486 = (arch & arch_mask) >= arch_i486; + c->optimize_cc = opt_cc; + c->use_unsafe_floatconv = opt_unsafe_floatconv; + c->emit_machcode = emit_machcode; + + c->function_alignment = arch_costs->function_alignment; + c->label_alignment = arch_costs->label_alignment; + c->label_alignment_max_skip = arch_costs->label_alignment_max_skip; + + c->label_alignment_factor = + FLAGS(opt_arch, arch_i386 | arch_i486) || opt_size ? 0 : + opt_arch & arch_all_amd ? 3 : + 2; } void ia32_init_architecture(void)