nsz Git - libfirm/blob - ir/be/beschedtrace.c

   1 /*
   2  * Copyright (C) 1995-2011 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       Implements a trace scheduler as presented in Muchnik[TM].
  23  * @author      Michael Beck
  24  * @date        28.08.2006
  25  */
  26 #include "config.h"
  27
  28 #include <stdlib.h>
  29
  30 #include "iredges_t.h"
  31
  32 #include "besched.h"
  33 #include "belistsched.h"
  34 #include "benode.h"
  35 #include "belive.h"
  36 #include "bemodule.h"
  37
  38 /* we need a special mark */
  39 static char _mark;
  40 #define MARK &_mark
  41
  42 typedef struct trace_irn {
  43         sched_timestep_t delay;      /**< The delay for this node if already calculated, else 0. */
  44         sched_timestep_t etime;      /**< The earliest time of this node. */
  45         unsigned num_user;           /**< The number real users (mode datab) of this node */
  46         int      reg_diff;           /**< The difference of num(out registers) - num(in registers) */
  47         int      preorder;           /**< The pre-order position */
  48         unsigned critical_path_len;  /**< The weighted length of the longest critical path */
  49         unsigned is_root       : 1;  /**< is a root node of a block */
  50 } trace_irn_t;
  51
  52 typedef struct trace_env {
  53         trace_irn_t      *sched_info;               /**< trace scheduling information about the nodes */
  54         sched_timestep_t curr_time;                 /**< current time of the scheduler */
  55         be_lv_t          *liveness;                 /**< The liveness for the irg */
  56         DEBUG_ONLY(firm_dbg_module_t *dbg;)
  57 } trace_env_t;
  58
  59 /**
  60  * Returns a random node from a nodeset
  61  */
  62 static ir_node *get_nodeset_node(const ir_nodeset_t *nodeset)
  63 {
  64         return ir_nodeset_first(nodeset);
  65 }
  66
  67 /**
  68  * Returns non-zero if the node is a root node
  69  */
  70 static inline unsigned is_root_node(trace_env_t *env, ir_node *n)
  71 {
  72         unsigned const idx = get_irn_idx(n);
  73
  74         assert(idx < ARR_LEN(env->sched_info));
  75         return env->sched_info[idx].is_root;
  76 }
  77
  78 /**
  79  * Mark a node as root node
  80  */
  81 static inline void mark_root_node(trace_env_t *env, ir_node *n)
  82 {
  83         unsigned const idx = get_irn_idx(n);
  84
  85         assert(idx < ARR_LEN(env->sched_info));
  86         env->sched_info[idx].is_root = 1;
  87 }
  88
  89 /**
  90  * Get the current delay.
  91  */
  92 static inline sched_timestep_t get_irn_delay(trace_env_t *env, ir_node *n)
  93 {
  94         unsigned const idx = get_irn_idx(n);
  95
  96         assert(idx < ARR_LEN(env->sched_info));
  97         return env->sched_info[idx].delay;
  98 }
  99
 100 /**
 101  * Set the current delay.
 102  */
 103 static inline void set_irn_delay(trace_env_t *env, ir_node *n, sched_timestep_t delay)
 104 {
 105         unsigned const idx = get_irn_idx(n);
 106
 107         assert(idx < ARR_LEN(env->sched_info));
 108         env->sched_info[idx].delay = delay;
 109 }
 110
 111 /**
 112  * Get the current etime.
 113  */
 114 static inline sched_timestep_t get_irn_etime(trace_env_t *env, ir_node *n)
 115 {
 116         unsigned const idx = get_irn_idx(n);
 117
 118         assert(idx < ARR_LEN(env->sched_info));
 119         return env->sched_info[idx].etime;
 120 }
 121
 122 /**
 123  * Set the current etime.
 124  */
 125 static inline void set_irn_etime(trace_env_t *env, ir_node *n, sched_timestep_t etime)
 126 {
 127         unsigned const idx = get_irn_idx(n);
 128
 129         assert(idx < ARR_LEN(env->sched_info));
 130         env->sched_info[idx].etime = etime;
 131 }
 132
 133 /**
 134  * Get the number of users.
 135  */
 136 static inline unsigned get_irn_num_user(trace_env_t *env, ir_node *n)
 137 {
 138         unsigned const idx = get_irn_idx(n);
 139
 140         assert(idx < ARR_LEN(env->sched_info));
 141         return env->sched_info[idx].num_user;
 142 }
 143
 144 /**
 145  * Set the number of users.
 146  */
 147 static inline void set_irn_num_user(trace_env_t *env, ir_node *n, unsigned num_user)
 148 {
 149         unsigned const idx = get_irn_idx(n);
 150
 151         assert(idx < ARR_LEN(env->sched_info));
 152         env->sched_info[idx].num_user = num_user;
 153 }
 154
 155 /**
 156  * Get the register difference.
 157  */
 158 static inline int get_irn_reg_diff(trace_env_t *env, ir_node *n)
 159 {
 160         unsigned const idx = get_irn_idx(n);
 161
 162         assert(idx < ARR_LEN(env->sched_info));
 163         return env->sched_info[idx].reg_diff;
 164 }
 165
 166 /**
 167  * Set the register difference.
 168  */
 169 static inline void set_irn_reg_diff(trace_env_t *env, ir_node *n, int reg_diff)
 170 {
 171         unsigned const idx = get_irn_idx(n);
 172
 173         assert(idx < ARR_LEN(env->sched_info));
 174         env->sched_info[idx].reg_diff = reg_diff;
 175 }
 176
 177 /**
 178  * Get the pre-order position.
 179  */
 180 static inline int get_irn_preorder(trace_env_t *env, ir_node *n)
 181 {
 182         unsigned const idx = get_irn_idx(n);
 183
 184         assert(idx < ARR_LEN(env->sched_info));
 185         return env->sched_info[idx].preorder;
 186 }
 187
 188 /**
 189  * Set the pre-order position.
 190  */
 191 static inline void set_irn_preorder(trace_env_t *env, ir_node *n, int pos)
 192 {
 193         unsigned const idx = get_irn_idx(n);
 194
 195         assert(idx < ARR_LEN(env->sched_info));
 196         env->sched_info[idx].preorder = pos;
 197 }
 198
 199 /**
 200  * Get the pre-order position.
 201  */
 202 static inline unsigned get_irn_critical_path_len(trace_env_t *env, ir_node *n)
 203 {
 204         unsigned const idx = get_irn_idx(n);
 205
 206         assert(idx < ARR_LEN(env->sched_info));
 207         return env->sched_info[idx].critical_path_len;
 208 }
 209
 210 /**
 211  * Set the pre-order position.
 212  */
 213 static inline void set_irn_critical_path_len(trace_env_t *env, ir_node *n, unsigned len)
 214 {
 215         unsigned const idx = get_irn_idx(n);
 216
 217         assert(idx < ARR_LEN(env->sched_info));
 218         env->sched_info[idx].critical_path_len = len;
 219 }
 220
 221 /**
 222  * returns the exec-time for node n.
 223  */
 224 static sched_timestep_t exectime(trace_env_t *env, ir_node *n)
 225 {
 226         (void) env;
 227         if (be_is_Keep(n) || is_Proj(n))
 228                 return 0;
 229 #if 0
 230         if (env->selector->exectime)
 231                 return env->selector->exectime(env->selector_env, n);
 232 #endif
 233         return 1;
 234 }
 235
 236 /**
 237  * Calculates the latency for between two ops
 238  */
 239 static sched_timestep_t latency(trace_env_t *env, ir_node *pred, int pred_cycle, ir_node *curr, int curr_cycle)
 240 {
 241         (void) pred_cycle;
 242         (void) curr_cycle;
 243         /* a Keep hides a root */
 244         if (be_is_Keep(curr))
 245                 return exectime(env, pred);
 246
 247         /* Proj's are executed immediately */
 248         if (is_Proj(curr))
 249                 return 0;
 250
 251         /* predecessors Proj's must be skipped */
 252         if (is_Proj(pred))
 253                 pred = get_Proj_pred(pred);
 254
 255 #if 0
 256         if (env->selector->latency)
 257                 return env->selector->latency(env->selector_env, pred, pred_cycle, curr, curr_cycle);
 258 #endif
 259
 260         return 1;
 261 }
 262
 263 /**
 264  * Returns the number of users of a node having mode datab.
 265  */
 266 static int get_num_successors(ir_node *irn)
 267 {
 268         int sum = 0;
 269
 270         if (get_irn_mode(irn) == mode_T) {
 271                 /* for mode_T nodes: count the users of all Projs */
 272                 foreach_out_edge(irn, edge) {
 273                         ir_node *proj = get_edge_src_irn(edge);
 274                         ir_mode *mode = get_irn_mode(proj);
 275
 276                         if (mode == mode_T)
 277                                 sum += get_num_successors(proj);
 278                         else if (mode_is_datab(mode))
 279                                 sum += get_irn_n_edges(proj);
 280                 }
 281         }
 282         else {
 283                 /* do not count keep-alive edges */
 284                 foreach_out_edge(irn, edge) {
 285                         if (get_irn_opcode(get_edge_src_irn(edge)) != iro_End)
 286                                 sum++;
 287                 }
 288         }
 289
 290         return sum;
 291 }
 292
 293 /**
 294  * Returns the difference of regs_output - regs_input;
 295  */
 296 static int get_reg_difference(trace_env_t *env, ir_node *irn)
 297 {
 298         int num_out = 0;
 299         int num_in  = 0;
 300         int i;
 301         ir_node *block = get_nodes_block(irn);
 302
 303         if (be_is_Call(irn)) {
 304                 /* we want calls preferred */
 305                 return -5;
 306         }
 307
 308         if (get_irn_mode(irn) == mode_T) {
 309                 /* mode_T nodes: num out regs == num Projs with mode datab */
 310                 foreach_out_edge(irn, edge) {
 311                         ir_node *proj = get_edge_src_irn(edge);
 312                         if (mode_is_datab(get_irn_mode(proj)))
 313                                 num_out++;
 314                 }
 315         }
 316         else
 317                 num_out = 1;
 318
 319         /* num in regs: number of ins with mode datab and not ignore */
 320         for (i = get_irn_arity(irn) - 1; i >= 0; i--) {
 321                 ir_node *in = get_irn_n(irn, i);
 322
 323                 if (!mode_is_datab(get_irn_mode(in)))
 324                         continue;
 325
 326                 if (arch_irn_is_ignore(in))
 327                         continue;
 328
 329                 if (be_is_live_end(env->liveness, block, in))
 330                         continue;
 331
 332                 num_in++;
 333         }
 334
 335         return num_out - num_in;
 336 }
 337
 338 /**
 339  * descent into a dag and create a pre-order list.
 340  */
 341 static void descent(ir_node *root, ir_node *block, ir_node **list, trace_env_t *env, unsigned path_len)
 342 {
 343         int i;
 344
 345         if (! is_Phi(root)) {
 346                 path_len += exectime(env, root);
 347                 if (get_irn_critical_path_len(env, root) < path_len) {
 348                         set_irn_critical_path_len(env, root, path_len);
 349                 }
 350                 /* calculate number of users (needed for heuristic) */
 351                 set_irn_num_user(env, root, get_num_successors(root));
 352
 353                 /* calculate register difference (needed for heuristic) */
 354                 set_irn_reg_diff(env, root, get_reg_difference(env, root));
 355
 356                 /* Phi nodes always leave the block */
 357                 for (i = get_irn_arity(root) - 1; i >= 0; --i) {
 358                         ir_node *pred = get_irn_n(root, i);
 359
 360                         DBG((env->dbg, LEVEL_3, "   node %+F\n", pred));
 361
 362                         /* Blocks may happen as predecessors of End nodes */
 363                         if (is_Block(pred))
 364                                 continue;
 365
 366                         /* already seen nodes are not marked */
 367                         if (get_irn_link(pred) != MARK)
 368                                 continue;
 369
 370                         /* don't leave our block */
 371                         if (get_nodes_block(pred) != block)
 372                                 continue;
 373
 374                         set_irn_link(pred, NULL);
 375
 376                         descent(pred, block, list, env, path_len);
 377                 }
 378         }
 379         set_irn_link(root, *list);
 380         *list = root;
 381 }
 382
 383 /**
 384  * Returns non-zero if root is a root in the block block.
 385  */
 386 static int is_root(ir_node *root, ir_node *block)
 387 {
 388         foreach_out_edge(root, edge) {
 389                 ir_node *succ = get_edge_src_irn(edge);
 390
 391                 if (is_Block(succ))
 392                         continue;
 393                 /* Phi nodes are always in "another block */
 394                 if (is_Phi(succ))
 395                         continue;
 396                 if (get_nodes_block(succ) == block)
 397                         return 0;
 398         }
 399         return 1;
 400 }
 401
 402 /**
 403  * Performs initial block calculations for trace scheduling.
 404  */
 405 static void trace_preprocess_block(trace_env_t *env, ir_node *block)
 406 {
 407         ir_node *root = NULL, *preord = NULL;
 408         ir_node *curr, *irn;
 409         int cur_pos;
 410
 411         /* First step: Find the root set. */
 412         foreach_out_edge(block, edge) {
 413                 ir_node *succ = get_edge_src_irn(edge);
 414
 415                 if (is_Anchor(succ)) {
 416                         /* ignore a keep alive edge */
 417                         continue;
 418                 }
 419                 if (is_root(succ, block)) {
 420                         mark_root_node(env, succ);
 421                         set_irn_link(succ, root);
 422                         root = succ;
 423                 }
 424                 else
 425                         set_irn_link(succ, MARK);
 426         }
 427
 428         /* Second step: calculate the pre-order list. */
 429         preord = NULL;
 430         for (curr = root; curr; curr = irn) {
 431                 irn = (ir_node*)get_irn_link(curr);
 432                 DBG((env->dbg, LEVEL_2, "   DAG root %+F\n", curr));
 433                 descent(curr, block, &preord, env, 0);
 434         }
 435         root = preord;
 436
 437         /* Third step: calculate the Delay. Note that our
 438         * list is now in pre-order, starting at root
 439         */
 440         for (cur_pos = 0, curr = root; curr; curr = (ir_node*)get_irn_link(curr), cur_pos++) {
 441                 sched_timestep_t d;
 442
 443                 if (is_cfop(curr)) {
 444                         /* assure, that branches can be executed last */
 445                         d = 0;
 446                 }
 447                 else {
 448                         if (is_root_node(env, curr))
 449                                 d = exectime(env, curr);
 450                         else {
 451                                 d = 0;
 452                                 foreach_out_edge(curr, edge) {
 453                                         ir_node *n = get_edge_src_irn(edge);
 454
 455                                         if (get_nodes_block(n) == block) {
 456                                                 sched_timestep_t ld;
 457
 458                                                 ld = latency(env, curr, 1, n, 0) + get_irn_delay(env, n);
 459                                                 d = ld > d ? ld : d;
 460                                         }
 461                                 }
 462                         }
 463                 }
 464                 set_irn_delay(env, curr, d);
 465                 DB((env->dbg, LEVEL_2, "\t%+F delay %u\n", curr, d));
 466
 467                 /* set the etime of all nodes to 0 */
 468                 set_irn_etime(env, curr, 0);
 469
 470                 set_irn_preorder(env, curr, cur_pos);
 471         }
 472 }
 473
 474 /**
 475  * This functions gets called after a node finally has been made ready.
 476  */
 477 static void trace_node_ready(void *data, ir_node *irn, ir_node *pred)
 478 {
 479         trace_env_t *env = (trace_env_t*)data;
 480         sched_timestep_t etime_p, etime;
 481
 482         etime = env->curr_time;
 483         if (pred) {
 484                 etime_p = get_irn_etime(env, pred);
 485                 etime  += latency(env, pred, 1, irn, 0);
 486                 etime   = etime_p > etime ? etime_p : etime;
 487         }
 488
 489         set_irn_etime(env, irn, etime);
 490         DB((env->dbg, LEVEL_2, "\tset etime of %+F to %u\n", irn, etime));
 491 }
 492
 493 /**
 494  * Update the current time after irn has been selected.
 495  */
 496 static void trace_update_time(void *data, ir_node *irn)
 497 {
 498         trace_env_t *env = (trace_env_t*)data;
 499         if (is_Phi(irn) || get_irn_opcode(irn) == beo_Start) {
 500                 env->curr_time += get_irn_etime(env, irn);
 501         }
 502         else {
 503                 env->curr_time += exectime(env, irn);
 504         }
 505 }
 506
 507 /**
 508  * Allocates memory and initializes trace scheduling environment.
 509  * @param irg   The backend irg object
 510  * @return The environment
 511  */
 512 static trace_env_t *trace_init(ir_graph *irg)
 513 {
 514         trace_env_t *env = XMALLOCZ(trace_env_t);
 515         int         nn   = get_irg_last_idx(irg);
 516
 517         env->curr_time  = 0;
 518         env->sched_info = NEW_ARR_F(trace_irn_t, nn);
 519         env->liveness   = be_get_irg_liveness(irg);
 520         FIRM_DBG_REGISTER(env->dbg, "firm.be.sched.trace");
 521
 522         be_assure_live_chk(irg);
 523         memset(env->sched_info, 0, nn * sizeof(*(env->sched_info)));
 524
 525         return env;
 526 }
 527
 528 /**
 529  * Frees all memory allocated for trace scheduling environment.
 530  * @param env  The environment
 531  */
 532 static void trace_free(void *data)
 533 {
 534         trace_env_t *env = (trace_env_t*)data;
 535         DEL_ARR_F(env->sched_info);
 536         free(env);
 537 }
 538
 539 /**
 540  * Simple selector. Just assure that jumps are scheduled last.
 541  */
 542 static ir_node *basic_selection(ir_nodeset_t *ready_set)
 543 {
 544         ir_node *irn = NULL;
 545         ir_nodeset_iterator_t iter;
 546
 547         /* assure that branches and constants are executed last */
 548         foreach_ir_nodeset(ready_set, irn, iter) {
 549                 if (!is_cfop(irn)) {
 550                         return irn;
 551                 }
 552         }
 553
 554         /* at last: schedule branches */
 555         irn = get_nodeset_node(ready_set);
 556
 557         return irn;
 558 }
 559
 560 /**
 561 * The muchnik selector.
 562 */
 563 static ir_node *muchnik_select(void *block_env, ir_nodeset_t *ready_set)
 564 {
 565         trace_env_t *env = (trace_env_t*)block_env;
 566         ir_nodeset_t mcands, ecands;
 567         ir_nodeset_iterator_t iter;
 568         sched_timestep_t max_delay = 0;
 569         ir_node *irn;
 570
 571         /* calculate the max delay of all candidates */
 572         foreach_ir_nodeset(ready_set, irn, iter) {
 573                 sched_timestep_t d = get_irn_delay(env, irn);
 574
 575                 max_delay = d > max_delay ? d : max_delay;
 576         }
 577
 578         ir_nodeset_init_size(&mcands, 8);
 579         ir_nodeset_init_size(&ecands, 8);
 580
 581         /* build mcands and ecands */
 582         foreach_ir_nodeset(ready_set, irn, iter) {
 583                 if (get_irn_delay(env, irn) == max_delay) {
 584                         ir_nodeset_insert(&mcands, irn);
 585                         if (get_irn_etime(env, irn) <= env->curr_time)
 586                                 ir_nodeset_insert(&ecands, irn);
 587                 }
 588         }
 589
 590         /* select a node */
 591         if (ir_nodeset_size(&mcands) == 1) {
 592                 irn = get_nodeset_node(&mcands);
 593                 DB((env->dbg, LEVEL_3, "\tirn = %+F, mcand = 1, max_delay = %u\n", irn, max_delay));
 594         }
 595         else {
 596                 size_t cnt = ir_nodeset_size(&ecands);
 597                 if (cnt == 1) {
 598                         irn = get_nodeset_node(&ecands);
 599
 600                         if (is_cfop(irn)) {
 601                                 /* BEWARE: don't select a JUMP if others are still possible */
 602                                 goto force_mcands;
 603                         }
 604                         DB((env->dbg, LEVEL_3, "\tirn = %+F, ecand = 1, max_delay = %u\n", irn, max_delay));
 605                 }
 606                 else if (cnt > 1) {
 607                         DB((env->dbg, LEVEL_3, "\tecand = %zu, max_delay = %u\n", cnt, max_delay));
 608                         irn = basic_selection(&ecands);
 609                 }
 610                 else {
 611 force_mcands:
 612                         DB((env->dbg, LEVEL_3, "\tmcand = %zu\n", ir_nodeset_size(&mcands)));
 613                         irn = basic_selection(&mcands);
 614                 }
 615         }
 616
 617         return irn;
 618 }
 619
 620 static void *muchnik_init_graph(ir_graph *irg)
 621 {
 622         trace_env_t *env  = trace_init(irg);
 623         return (void *)env;
 624 }
 625
 626 static void *muchnik_init_block(void *graph_env, ir_node *bl)
 627 {
 628         trace_env_t *env = (trace_env_t*) graph_env;
 629         trace_preprocess_block(env, bl);
 630         return graph_env;
 631 }
 632
 633 static void sched_muchnik(ir_graph *irg)
 634 {
 635         static const list_sched_selector_t muchnik_selector = {
 636                 muchnik_init_graph,
 637                 muchnik_init_block,
 638                 muchnik_select,
 639                 trace_node_ready,    /* node_ready */
 640                 trace_update_time,   /* node_selected */
 641                 NULL,                /* finish_block */
 642                 trace_free           /* finish_graph */
 643         };
 644         be_list_sched_graph(irg, &muchnik_selector);
 645 }
 646
 647 /**
 648  * Execute the heuristic function.
 649  */
 650 static ir_node *heuristic_select(void *block_env, ir_nodeset_t *ns)
 651 {
 652         trace_env_t *trace_env   = (trace_env_t*)block_env;
 653         ir_node     *irn, *cand  = NULL;
 654         int         max_prio     = INT_MIN;
 655         int         cur_prio     = INT_MIN;
 656         int         reg_fact;
 657         ir_nodeset_iterator_t iter;
 658         /* Note: register pressure calculation needs an overhaul, you need correct
 659          * tracking for each register class indidually and weight by each class
 660         int         cur_pressure = ir_nodeset_size(lv); */
 661         int         cur_pressure = 1;
 662
 663         /* prefer instructions which can be scheduled early */
 664 #define PRIO_TIME        3
 665         /* prefer instructions with lots of successors */
 666 #define PRIO_NUMSUCCS    8
 667         /* prefer instructions with long critical path */
 668 #define PRIO_LEVEL      12
 669         /* prefer instructions coming early in preorder */
 670 #define PRIO_PREORD      8
 671         /* weight of current register pressure */
 672 #define PRIO_CUR_PRESS  20
 673         /* weight of register pressure difference */
 674 #define PRIO_CHG_PRESS   8
 675
 676         /* priority based selection, heuristic inspired by mueller diss */
 677         foreach_ir_nodeset(ns, irn, iter) {
 678                 /* make sure that branches are scheduled last */
 679                 if (!is_cfop(irn)) {
 680                         int rdiff = get_irn_reg_diff(trace_env, irn);
 681                         int sign  = rdiff < 0;
 682                         int chg   = (rdiff < 0 ? -rdiff : rdiff) << PRIO_CHG_PRESS;
 683
 684                         reg_fact = chg * cur_pressure;
 685                         if (reg_fact < chg)
 686                                 reg_fact = INT_MAX - 2;
 687                         reg_fact = sign ? -reg_fact : reg_fact;
 688
 689                         cur_prio = (get_irn_critical_path_len(trace_env, irn) << PRIO_LEVEL)
 690                                 //- (get_irn_delay(trace_env, irn) << PRIO_LEVEL)
 691                                 + (get_irn_num_user(trace_env, irn) << PRIO_NUMSUCCS)
 692                                 - (get_irn_etime(trace_env, irn) << PRIO_TIME)
 693                                 //- ((get_irn_reg_diff(trace_env, irn) >> PRIO_CHG_PRESS) << ((cur_pressure >> PRIO_CUR_PRESS) - 3))
 694                                 - reg_fact
 695                                 + (get_irn_preorder(trace_env, irn) << PRIO_PREORD); /* high preorder means early schedule */
 696                         if (cur_prio > max_prio) {
 697                                 cand          = irn;
 698                                 max_prio      = cur_prio;
 699                         }
 700
 701                         DBG((trace_env->dbg, LEVEL_4, "checked NODE %+F\n", irn));
 702                         DBG((trace_env->dbg, LEVEL_4, "\tpriority: %d\n", cur_prio));
 703                         DBG((trace_env->dbg, LEVEL_4, "\tpath len: %d (%d)\n", get_irn_critical_path_len(trace_env, irn), get_irn_critical_path_len(trace_env, irn) << PRIO_LEVEL));
 704                         DBG((trace_env->dbg, LEVEL_4, "\tdelay:    %d (%d)\n", get_irn_delay(trace_env, irn), get_irn_delay(trace_env, irn) << PRIO_LEVEL));
 705                         DBG((trace_env->dbg, LEVEL_4, "\t#user:    %d (%d)\n", get_irn_num_user(trace_env, irn), get_irn_num_user(trace_env, irn) << PRIO_NUMSUCCS));
 706                         DBG((trace_env->dbg, LEVEL_4, "\tetime:    %d (%d)\n", get_irn_etime(trace_env, irn), 0 - (get_irn_etime(trace_env, irn) << PRIO_TIME)));
 707                         DBG((trace_env->dbg, LEVEL_4, "\tpreorder: %d (%d)\n", get_irn_preorder(trace_env, irn), get_irn_preorder(trace_env, irn) << PRIO_PREORD));
 708                         DBG((trace_env->dbg, LEVEL_4, "\treg diff: %d (%d)\n", get_irn_reg_diff(trace_env, irn), 0 - reg_fact));
 709                         DBG((trace_env->dbg, LEVEL_4, "\tpressure: %d\n", cur_pressure));
 710                 }
 711         }
 712
 713         if (cand) {
 714                 DBG((trace_env->dbg, LEVEL_4, "heuristic selected %+F:\n", cand));
 715         }
 716         else {
 717                 cand = basic_selection(ns);
 718         }
 719
 720         return cand;
 721 }
 722
 723 static void sched_heuristic(ir_graph *irg)
 724 {
 725         static const list_sched_selector_t heuristic_selector = {
 726                 muchnik_init_graph,
 727                 muchnik_init_block,
 728                 heuristic_select,
 729                 trace_node_ready,    /* node_ready */
 730                 trace_update_time,   /* node_selected */
 731                 NULL,                /* finish_block */
 732                 trace_free           /* finish_graph */
 733         };
 734         be_list_sched_graph(irg, &heuristic_selector);
 735 }
 736
 737 BE_REGISTER_MODULE_CONSTRUCTOR(be_init_sched_trace)
 738 void be_init_sched_trace(void)
 739 {
 740         be_register_scheduler("heur", sched_heuristic);
 741         be_register_scheduler("muchnik", sched_muchnik);
 742 }