nsz Git - libfirm/blob - ir/be/ia32/ia32_architecture.c

   1 /*
   2  * Copyright (C) 1995-2008 University of Karlsruhe.  All right reserved.
   3  *
   4  * This file is part of libFirm.
   5  *
   6  * This file may be distributed and/or modified under the terms of the
   7  * GNU General Public License version 2 as published by the Free Software
   8  * Foundation and appearing in the file LICENSE.GPL included in the
   9  * packaging of this file.
  10  *
  11  * Licensees holding valid libFirm Professional Edition licenses may use
  12  * this file in accordance with the libFirm Commercial License.
  13  * Agreement provided with the Software.
  14  *
  15  * This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
  16  * WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR
  17  * PURPOSE.
  18  */
  19
  20 /**
  21  * @file
  22  * @brief       ia32 architecture variants
  23  * @author      Michael Beck, Matthias Braun
  24  * @version     $Id: bearch_ia32_t.h 16363 2007-10-25 23:27:07Z beck $
  25  */
  26 #ifdef HAVE_CONFIG_H
  27 #include "config.h"
  28 #endif
  29
  30 #include "lc_opts.h"
  31 #include "lc_opts_enum.h"
  32
  33 #include "irtools.h"
  34
  35 #include "bearch_ia32_t.h"
  36 #include "ia32_architecture.h"
  37
  38 ia32_code_gen_config_t  ia32_cg_config;
  39
  40 /**
  41  * CPU architectures and features.
  42  */
  43 enum cpu_arch_features {
  44         arch_generic          = 0x00000001, /**< no specific architecture */
  45
  46         arch_i386             = 0x00000002, /**< i386 architecture */
  47         arch_i486             = 0x00000004, /**< i486 architecture */
  48         arch_pentium          = 0x00000008, /**< Pentium architecture */
  49         arch_ppro             = 0x00000010, /**< PentiumPro architecture */
  50         arch_netburst         = 0x00000020, /**< Netburst architecture */
  51         arch_nocona           = 0x00000040, /**< Nocona architecture */
  52         arch_core2            = 0x00000080, /**< Core2 architecture */
  53         arch_atom             = 0x00000100, /**< Atom architecture */
  54
  55         arch_k6               = 0x00000200, /**< k6 architecture */
  56         arch_geode            = 0x00000400, /**< Geode architecture */
  57         arch_athlon           = 0x00000800, /**< Athlon architecture */
  58         arch_k8               = 0x00001000, /**< K8/Opteron architecture */
  59         arch_k10              = 0x00002000, /**< K10/Barcelona architecture */
  60
  61         arch_mask             = 0x00003FFF,
  62
  63         arch_athlon_plus      = arch_athlon | arch_k8 | arch_k10,
  64         arch_all_amd          = arch_k6 | arch_geode | arch_athlon_plus,
  65
  66         arch_feature_mmx      = 0x00004000,                      /**< MMX instructions */
  67         arch_feature_p6_insn  = 0x00008000,                      /**< PentiumPro instructions */
  68         arch_feature_sse1     = 0x00010000 | arch_feature_mmx,   /**< SSE1 instructions, include MMX */
  69         arch_feature_sse2     = 0x00020000 | arch_feature_sse1,  /**< SSE2 instructions, include SSE1 */
  70         arch_feature_sse3     = 0x00040000 | arch_feature_sse2,  /**< SSE3 instructions, include SSE2 */
  71         arch_feature_ssse3    = 0x00080000 | arch_feature_sse3,  /**< SSSE3 instructions, include SSE3 */
  72         arch_feature_3DNow    = 0x00100000,                      /**< 3DNow! instructions */
  73         arch_feature_3DNowE   = 0x00200000 | arch_feature_3DNow, /**< Enhanced 3DNow! instructions */
  74         arch_feature_64bit    = 0x00400000 | arch_feature_sse2,  /**< x86_64 support, includes SSE2 */
  75 };
  76
  77 #define FLAGS(x, f) (((x) & (f)) != 0)
  78
  79 /**
  80  * CPU's.
  81  */
  82 enum cpu_support {
  83         cpu_generic     = arch_generic,
  84
  85         /* intel CPU's */
  86         cpu_i386        = arch_i386,
  87         cpu_i486        = arch_i486,
  88         cpu_pentium     = arch_pentium,
  89         cpu_pentium_mmx = arch_pentium | arch_feature_mmx,
  90         cpu_pentium_pro = arch_ppro | arch_feature_p6_insn,
  91         cpu_pentium_2   = arch_ppro | arch_feature_p6_insn | arch_feature_mmx,
  92         cpu_pentium_3   = arch_ppro | arch_feature_p6_insn | arch_feature_sse1,
  93         cpu_pentium_m   = arch_ppro | arch_feature_p6_insn | arch_feature_sse2,
  94         cpu_pentium_4   = arch_netburst | arch_feature_p6_insn | arch_feature_sse2,
  95         cpu_prescott    = arch_nocona | arch_feature_p6_insn | arch_feature_sse3,
  96         cpu_nocona      = arch_nocona | arch_feature_p6_insn | arch_feature_64bit | arch_feature_sse3,
  97         cpu_core2       = arch_core2 | arch_feature_p6_insn | arch_feature_64bit | arch_feature_ssse3,
  98
  99         /* AMD CPU's */
 100         cpu_k6          = arch_k6 | arch_feature_mmx,
 101         cpu_k6_PLUS     = arch_k6 | arch_feature_mmx | arch_feature_3DNow,
 102         cpu_geode       = arch_geode | arch_feature_sse1 | arch_feature_3DNowE,
 103         cpu_athlon      = arch_athlon | arch_feature_sse1 | arch_feature_3DNowE | arch_feature_p6_insn,
 104         cpu_athlon64    = arch_athlon | arch_feature_sse2 | arch_feature_3DNowE | arch_feature_p6_insn | arch_feature_64bit,
 105         cpu_k8          = arch_k8 | arch_feature_sse2 | arch_feature_3DNowE | arch_feature_p6_insn | arch_feature_64bit,
 106         cpu_k8_sse3     = arch_k8 | arch_feature_sse3 | arch_feature_3DNowE | arch_feature_p6_insn | arch_feature_64bit,
 107         cpu_k10         = arch_k10 | arch_feature_sse3 | arch_feature_3DNowE | arch_feature_p6_insn | arch_feature_64bit,
 108
 109         /* other CPU's */
 110         cpu_winchip_c6  = arch_i486 | arch_feature_mmx,
 111         cpu_winchip2    = arch_i486 | arch_feature_mmx | arch_feature_3DNow,
 112         cpu_c3          = arch_i486 | arch_feature_mmx | arch_feature_3DNow,
 113         cpu_c3_2        = arch_ppro | arch_feature_sse1,  /* really no 3DNow! */
 114 };
 115
 116 static cpu_support arch                 = cpu_generic;
 117 static cpu_support opt_arch             = cpu_core2;
 118 static int         use_sse2             = 0;
 119 static int         opt_cc               = 1;
 120 static int         opt_unsafe_floatconv = 0;
 121
 122 /* instruction set architectures. */
 123 static const lc_opt_enum_int_items_t arch_items[] = {
 124         { "i386",         cpu_i386 },
 125         { "i486",         cpu_i486 },
 126         { "i586",         cpu_pentium },
 127         { "pentium",      cpu_pentium },
 128         { "pentium-mmx",  cpu_pentium_mmx },
 129         { "i686",         cpu_pentium_pro },
 130         { "pentiumpro",   cpu_pentium_pro },
 131         { "pentium2",     cpu_pentium_2 },
 132         { "p2",           cpu_pentium_2 },
 133         { "pentium3",     cpu_pentium_3 },
 134         { "pentium3m",    cpu_pentium_3 },
 135         { "p3",           cpu_pentium_3 },
 136         { "pentium-m",    cpu_pentium_m },
 137         { "pm",           cpu_pentium_m },
 138         { "pentium4",     cpu_pentium_4 },
 139         { "pentium4m",    cpu_pentium_4 },
 140         { "p4",           cpu_pentium_4 },
 141         { "prescott",     cpu_prescott },
 142         { "nocona",       cpu_nocona },
 143         { "merom",        cpu_core2 },
 144         { "core2",        cpu_core2 },
 145
 146         { "k6",           cpu_k6 },
 147         { "k6-2",         cpu_k6_PLUS },
 148         { "k6-3",         cpu_k6_PLUS },
 149         { "geode",        cpu_geode },
 150         { "athlon",       cpu_athlon },
 151         { "athlon-tbird", cpu_athlon },
 152         { "athlon-4",     cpu_athlon },
 153         { "athlon-xp",    cpu_athlon },
 154         { "athlon-mp",    cpu_athlon },
 155         { "athlon64",     cpu_athlon64 },
 156         { "k8",           cpu_k8 },
 157         { "opteron",      cpu_k8 },
 158         { "athlon-fx",    cpu_k8 },
 159         { "k8-sse3",      cpu_k8_sse3 },
 160         { "opteron-sse3", cpu_k8_sse3 },
 161         { "k10",          cpu_k10 },
 162         { "barcelona",    cpu_k10 },
 163         { "amdfam10",     cpu_k10 },
 164
 165         { "winchip-c6",   cpu_winchip_c6, },
 166         { "winchip2",     cpu_winchip2 },
 167         { "c3",           cpu_c3 },
 168         { "c3-2",         cpu_c3_2 },
 169
 170         { "generic",      cpu_generic },
 171         { "generic32",    cpu_generic },
 172         { NULL,           0 }
 173 };
 174
 175 static lc_opt_enum_int_var_t arch_var = {
 176         (int*) &arch, arch_items
 177 };
 178
 179 static lc_opt_enum_int_var_t opt_arch_var = {
 180         (int*) &opt_arch, arch_items
 181 };
 182
 183 static const lc_opt_enum_int_items_t fp_unit_items[] = {
 184         { "x87" ,    0 },
 185         { "sse2",    1 },
 186         { NULL,      0 }
 187 };
 188
 189 static lc_opt_enum_int_var_t fp_unit_var = {
 190         &use_sse2, fp_unit_items
 191 };
 192
 193 static const lc_opt_table_entry_t ia32_architecture_options[] = {
 194         LC_OPT_ENT_ENUM_INT("arch",        "select the instruction architecture",
 195                             &arch_var),
 196         LC_OPT_ENT_ENUM_INT("opt",         "optimize for instruction architecture",
 197                             &opt_arch_var),
 198         LC_OPT_ENT_ENUM_INT("fpunit",      "select the floating point unit",
 199                             &fp_unit_var),
 200         LC_OPT_ENT_NEGBIT("nooptcc",       "do not optimize calling convention",
 201                           &opt_cc, 1),
 202         LC_OPT_ENT_BIT("unsafe_floatconv", "do unsafe floating point controlword "
 203                        "optimisations", &opt_unsafe_floatconv, 1),
 204         LC_OPT_LAST
 205 };
 206
 207 typedef struct insn_const {
 208         int      add_cost;           /**< cost of an add instruction */
 209         int      lea_cost;           /**< cost of a lea instruction */
 210         int      const_shf_cost;     /**< cost of a constant shift instruction */
 211         int      cost_mul_start;     /**< starting cost of a multiply instruction */
 212         int      cost_mul_bit;       /**< cost of multiply for every set bit */
 213         unsigned function_alignment; /**< logarithm for alignment of function labels */
 214         unsigned label_alignment;     /**< logarithm for alignment of loops labels */
 215 } insn_const;
 216
 217 /* costs for the i386 */
 218 static const insn_const i386_cost = {
 219         1,   /* cost of an add instruction */
 220         1,   /* cost of a lea instruction */
 221         3,   /* cost of a constant shift instruction */
 222         9,   /* starting cost of a multiply instruction */
 223         1,   /* cost of multiply for every set bit */
 224         2,   /* logarithm for alignment of function labels */
 225         2,   /* logarithm for alignment of loops labels */
 226 };
 227
 228 /* costs for the i486 */
 229 static const insn_const i486_cost = {
 230         1,   /* cost of an add instruction */
 231         1,   /* cost of a lea instruction */
 232         2,   /* cost of a constant shift instruction */
 233         12,  /* starting cost of a multiply instruction */
 234         1,   /* cost of multiply for every set bit */
 235         4,   /* logarithm for alignment of function labels */
 236         4,   /* logarithm for alignment of loops labels */
 237 };
 238
 239 /* costs for the Pentium */
 240 static const insn_const pentium_cost = {
 241         1,   /* cost of an add instruction */
 242         1,   /* cost of a lea instruction */
 243         1,   /* cost of a constant shift instruction */
 244         11,  /* starting cost of a multiply instruction */
 245         0,   /* cost of multiply for every set bit */
 246         4,   /* logarithm for alignment of function labels */
 247         4,   /* logarithm for alignment of loops labels */
 248 };
 249
 250 /* costs for the Pentium Pro */
 251 static const insn_const pentiumpro_cost = {
 252         1,   /* cost of an add instruction */
 253         1,   /* cost of a lea instruction */
 254         1,   /* cost of a constant shift instruction */
 255         4,   /* starting cost of a multiply instruction */
 256         0,   /* cost of multiply for every set bit */
 257         4,   /* logarithm for alignment of function labels */
 258         4,   /* logarithm for alignment of loops labels */
 259 };
 260
 261 /* costs for the K6 */
 262 static const insn_const k6_cost = {
 263         1,   /* cost of an add instruction */
 264         2,   /* cost of a lea instruction */
 265         1,   /* cost of a constant shift instruction */
 266         3,   /* starting cost of a multiply instruction */
 267         0,   /* cost of multiply for every set bit */
 268         5,   /* logarithm for alignment of function labels */
 269         5,   /* logarithm for alignment of loops labels */
 270 };
 271
 272 /* costs for the Geode */
 273 static const insn_const geode_cost = {
 274         1,   /* cost of an add instruction */
 275         1,   /* cost of a lea instruction */
 276         1,   /* cost of a constant shift instruction */
 277         7,   /* starting cost of a multiply instruction */
 278         0,   /* cost of multiply for every set bit */
 279         0,   /* logarithm for alignment of function labels */
 280         0,   /* logarithm for alignment of loops labels */
 281 };
 282
 283 /* costs for the Athlon */
 284 static const insn_const athlon_cost = {
 285         1,   /* cost of an add instruction */
 286         2,   /* cost of a lea instruction */
 287         1,   /* cost of a constant shift instruction */
 288         5,   /* starting cost of a multiply instruction */
 289         0,   /* cost of multiply for every set bit */
 290         4,   /* logarithm for alignment of function labels */
 291         4,   /* logarithm for alignment of loops labels */
 292 };
 293
 294 /* costs for the Opteron/K8/K10 */
 295 static const insn_const k8_cost = {
 296         1,   /* cost of an add instruction */
 297         2,   /* cost of a lea instruction */
 298         1,   /* cost of a constant shift instruction */
 299         3,   /* starting cost of a multiply instruction */
 300         0,   /* cost of multiply for every set bit */
 301         4,   /* logarithm for alignment of function labels */
 302         4,   /* logarithm for alignment of loops labels */
 303 };
 304
 305 /* costs for the K10 */
 306 static const insn_const k10_cost = {
 307         1,   /* cost of an add instruction */
 308         2,   /* cost of a lea instruction */
 309         1,   /* cost of a constant shift instruction */
 310         3,   /* starting cost of a multiply instruction */
 311         0,   /* cost of multiply for every set bit */
 312         5,   /* logarithm for alignment of function labels */
 313         5,   /* logarithm for alignment of loops labels */
 314 };
 315
 316 /* costs for the Pentium 4 */
 317 static const insn_const netburst_cost = {
 318         1,   /* cost of an add instruction */
 319         3,   /* cost of a lea instruction */
 320         4,   /* cost of a constant shift instruction */
 321         15,  /* starting cost of a multiply instruction */
 322         0,   /* cost of multiply for every set bit */
 323         4,   /* logarithm for alignment of function labels */
 324         4,   /* logarithm for alignment of loops labels */
 325 };
 326
 327 /* costs for the Nocona and Core */
 328 static const insn_const nocona_cost = {
 329         1,   /* cost of an add instruction */
 330         1,   /* cost of a lea instruction */
 331         1,   /* cost of a constant shift instruction */
 332         10,  /* starting cost of a multiply instruction */
 333         0,   /* cost of multiply for every set bit */
 334         4,   /* logarithm for alignment of function labels */
 335         4,   /* logarithm for alignment of loops labels */
 336 };
 337
 338 /* costs for the Core2 */
 339 static const insn_const core2_cost = {
 340         1,   /* cost of an add instruction */
 341         1,   /* cost of a lea instruction */
 342         1,   /* cost of a constant shift instruction */
 343         3,   /* starting cost of a multiply instruction */
 344         0,   /* cost of multiply for every set bit */
 345         4,   /* logarithm for alignment of function labels */
 346         4,   /* logarithm for alignment of loops labels */
 347 };
 348
 349 /* costs for the generic */
 350 static const insn_const generic_cost = {
 351         1,   /* cost of an add instruction */
 352         2,   /* cost of a lea instruction */
 353         1,   /* cost of a constant shift instruction */
 354         4,   /* starting cost of a multiply instruction */
 355         0,   /* cost of multiply for every set bit */
 356         4,   /* logarithm for alignment of function labels */
 357         4,   /* logarithm for alignment of loops labels */
 358 };
 359
 360 static const insn_const *arch_costs = &generic_cost;
 361
 362 static void set_arch_costs(void)
 363 {
 364         switch (opt_arch & arch_mask) {
 365         case arch_i386:
 366                 arch_costs = &i386_cost;
 367                 break;
 368         case arch_i486:
 369                 arch_costs = &i486_cost;
 370                 break;
 371         case arch_pentium:
 372                 arch_costs = &pentium_cost;
 373                 break;
 374         case arch_ppro:
 375                 arch_costs = &pentiumpro_cost;
 376                 break;
 377         case arch_netburst:
 378                 arch_costs = &netburst_cost;
 379                 break;
 380         case arch_nocona:
 381                 arch_costs = &nocona_cost;
 382                 break;
 383         case arch_core2:
 384                 arch_costs = &core2_cost;
 385                 break;
 386         case arch_k6:
 387                 arch_costs = &k6_cost;
 388                 break;
 389         case arch_geode:
 390                 arch_costs = &geode_cost;
 391                 break;
 392         case arch_athlon:
 393                 arch_costs = &athlon_cost;
 394                 break;
 395         case arch_k8:
 396                 arch_costs = &k8_cost;
 397                 break;
 398         case arch_k10:
 399                 arch_costs = &k10_cost;
 400                 break;
 401         case 0:
 402         default:
 403                 arch_costs = &generic_cost;
 404         }
 405 }
 406
 407 /**
 408  * Evaluate a given simple instruction.
 409  */
 410 int ia32_evaluate_insn(insn_kind kind, tarval *tv) {
 411         int cost;
 412
 413         switch (kind) {
 414         case MUL:
 415                 cost =  arch_costs->cost_mul_start;
 416                 if (arch_costs->cost_mul_bit > 0) {
 417                         char *bitstr = get_tarval_bitpattern(tv);
 418                         int i;
 419
 420                         for (i = 0; bitstr[i] != '\0'; ++i) {
 421                                 if (bitstr[i] == '1') {
 422                                         cost += arch_costs->cost_mul_bit;
 423                                 }
 424                         }
 425                         free(bitstr);
 426                 }
 427                 return cost;
 428         case LEA:
 429                 return arch_costs->lea_cost;
 430         case ADD:
 431         case SUB:
 432                 return arch_costs->add_cost;
 433         case SHIFT:
 434                 return arch_costs->const_shf_cost;
 435         case ZERO:
 436                 return arch_costs->add_cost;
 437         default:
 438                 return 1;
 439         }
 440 }
 441
 442 void ia32_setup_cg_config(void)
 443 {
 444         memset(&ia32_cg_config, 0, sizeof(ia32_cg_config));
 445
 446         set_arch_costs();
 447
 448         /* on newer intel cpus mov, pop is often faster then leave although it has a
 449          * longer opcode */
 450         ia32_cg_config.use_leave            = FLAGS(opt_arch, arch_i386 | arch_all_amd | arch_core2);
 451         /* P4s don't like inc/decs because they only partially write the flags
 452            register which produces false dependencies */
 453         ia32_cg_config.use_incdec           = !FLAGS(opt_arch, arch_netburst | arch_nocona | arch_geode);
 454         ia32_cg_config.use_sse2             = use_sse2;
 455         ia32_cg_config.use_ffreep           = FLAGS(opt_arch, arch_athlon_plus);
 456         ia32_cg_config.use_ftst             = !FLAGS(arch, arch_feature_p6_insn);
 457         ia32_cg_config.use_femms            = FLAGS(opt_arch, arch_athlon_plus) &&
 458                                               FLAGS(arch, arch_feature_mmx | arch_all_amd);
 459         ia32_cg_config.use_fucomi           = FLAGS(arch, arch_feature_p6_insn);
 460         ia32_cg_config.use_cmov             = FLAGS(arch, arch_feature_p6_insn);
 461         ia32_cg_config.use_modeD_moves      = FLAGS(opt_arch, arch_athlon_plus | arch_geode | arch_ppro |
 462                                                     arch_netburst | arch_nocona | arch_core2 | arch_generic);
 463         ia32_cg_config.use_add_esp_4        = FLAGS(opt_arch, arch_geode | arch_athlon_plus |
 464                                                     arch_netburst | arch_nocona | arch_core2 | arch_generic);
 465         ia32_cg_config.use_add_esp_8        = FLAGS(opt_arch, arch_geode | arch_athlon_plus |
 466                                                     arch_i386 | arch_i486 | arch_ppro | arch_netburst |
 467                                                     arch_nocona | arch_core2 | arch_generic);
 468         ia32_cg_config.use_sub_esp_4        = FLAGS(opt_arch, arch_athlon_plus | arch_ppro |
 469                                                     arch_netburst | arch_nocona | arch_core2 | arch_generic);
 470         ia32_cg_config.use_sub_esp_8        = FLAGS(opt_arch, arch_athlon_plus | arch_i386 | arch_i486 |
 471                                                     arch_ppro | arch_netburst | arch_nocona | arch_core2 | arch_generic);
 472         ia32_cg_config.use_imul_mem_imm32   = !FLAGS(opt_arch, arch_k8 | arch_k10);
 473         ia32_cg_config.use_mov_0            = FLAGS(opt_arch, arch_k6);
 474         ia32_cg_config.use_pad_return       = FLAGS(opt_arch, arch_athlon_plus | cpu_core2 | arch_generic);
 475         ia32_cg_config.optimize_cc          = opt_cc;
 476         ia32_cg_config.use_unsafe_floatconv = opt_unsafe_floatconv;
 477
 478         ia32_cg_config.function_alignment = arch_costs->function_alignment;
 479         ia32_cg_config.label_alignment    = arch_costs->label_alignment;
 480
 481         if (opt_arch & (arch_i386 | arch_i486)) {
 482                 ia32_cg_config.label_alignment_factor = 0;
 483         } else if (opt_arch & arch_all_amd) {
 484                 ia32_cg_config.label_alignment_factor = 3;
 485         } else {
 486                 ia32_cg_config.label_alignment_factor = 2;
 487         }
 488 }
 489
 490 void ia32_init_architecture(void)
 491 {
 492         lc_opt_entry_t *be_grp, *ia32_grp;
 493
 494         memset(&ia32_cg_config, 0, sizeof(ia32_cg_config));
 495
 496         be_grp   = lc_opt_get_grp(firm_opt_get_root(), "be");
 497         ia32_grp = lc_opt_get_grp(be_grp, "ia32");
 498
 499         lc_opt_add_table(ia32_grp, ia32_architecture_options);
 500 }