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         const ir_edge_t *edge;
 270
 271         if (get_irn_mode(irn) == mode_T) {
 272                 /* for mode_T nodes: count the users of all Projs */
 273                 foreach_out_edge(irn, edge) {
 274                         ir_node *proj = get_edge_src_irn(edge);
 275                         ir_mode *mode = get_irn_mode(proj);
 276
 277                         if (mode == mode_T)
 278                                 sum += get_num_successors(proj);
 279                         else if (mode_is_datab(mode))
 280                                 sum += get_irn_n_edges(proj);
 281                 }
 282         }
 283         else {
 284                 /* do not count keep-alive edges */
 285                 foreach_out_edge(irn, edge) {
 286                         if (get_irn_opcode(get_edge_src_irn(edge)) != iro_End)
 287                                 sum++;
 288                 }
 289         }
 290
 291         return sum;
 292 }
 293
 294 /**
 295  * Returns the difference of regs_output - regs_input;
 296  */
 297 static int get_reg_difference(trace_env_t *env, ir_node *irn)
 298 {
 299         int num_out = 0;
 300         int num_in  = 0;
 301         int i;
 302         ir_node *block = get_nodes_block(irn);
 303
 304         if (be_is_Call(irn)) {
 305                 /* we want calls preferred */
 306                 return -5;
 307         }
 308
 309         if (get_irn_mode(irn) == mode_T) {
 310                 /* mode_T nodes: num out regs == num Projs with mode datab */
 311                 const ir_edge_t *edge;
 312                 foreach_out_edge(irn, edge) {
 313                         ir_node *proj = get_edge_src_irn(edge);
 314                         if (mode_is_datab(get_irn_mode(proj)))
 315                                 num_out++;
 316                 }
 317         }
 318         else
 319                 num_out = 1;
 320
 321         /* num in regs: number of ins with mode datab and not ignore */
 322         for (i = get_irn_arity(irn) - 1; i >= 0; i--) {
 323                 ir_node *in = get_irn_n(irn, i);
 324
 325                 if (!mode_is_datab(get_irn_mode(in)))
 326                         continue;
 327
 328                 if (arch_irn_is_ignore(in))
 329                         continue;
 330
 331                 if (be_is_live_end(env->liveness, block, in))
 332                         continue;
 333
 334                 num_in++;
 335         }
 336
 337         return num_out - num_in;
 338 }
 339
 340 /**
 341  * descent into a dag and create a pre-order list.
 342  */
 343 static void descent(ir_node *root, ir_node *block, ir_node **list, trace_env_t *env, unsigned path_len)
 344 {
 345         int i;
 346
 347         if (! is_Phi(root)) {
 348                 path_len += exectime(env, root);
 349                 if (get_irn_critical_path_len(env, root) < path_len) {
 350                         set_irn_critical_path_len(env, root, path_len);
 351                 }
 352                 /* calculate number of users (needed for heuristic) */
 353                 set_irn_num_user(env, root, get_num_successors(root));
 354
 355                 /* calculate register difference (needed for heuristic) */
 356                 set_irn_reg_diff(env, root, get_reg_difference(env, root));
 357
 358                 /* Phi nodes always leave the block */
 359                 for (i = get_irn_arity(root) - 1; i >= 0; --i) {
 360                         ir_node *pred = get_irn_n(root, i);
 361
 362                         DBG((env->dbg, LEVEL_3, "   node %+F\n", pred));
 363
 364                         /* Blocks may happen as predecessors of End nodes */
 365                         if (is_Block(pred))
 366                                 continue;
 367
 368                         /* already seen nodes are not marked */
 369                         if (get_irn_link(pred) != MARK)
 370                                 continue;
 371
 372                         /* don't leave our block */
 373                         if (get_nodes_block(pred) != block)
 374                                 continue;
 375
 376                         set_irn_link(pred, NULL);
 377
 378                         descent(pred, block, list, env, path_len);
 379                 }
 380         }
 381         set_irn_link(root, *list);
 382         *list = root;
 383 }
 384
 385 /**
 386  * Returns non-zero if root is a root in the block block.
 387  */
 388 static int is_root(ir_node *root, ir_node *block)
 389 {
 390         const ir_edge_t *edge;
 391
 392         foreach_out_edge(root, edge) {
 393                 ir_node *succ = get_edge_src_irn(edge);
 394
 395                 if (is_Block(succ))
 396                         continue;
 397                 /* Phi nodes are always in "another block */
 398                 if (is_Phi(succ))
 399                         continue;
 400                 if (get_nodes_block(succ) == block)
 401                         return 0;
 402         }
 403         return 1;
 404 }
 405
 406 /**
 407  * Performs initial block calculations for trace scheduling.
 408  */
 409 static void trace_preprocess_block(trace_env_t *env, ir_node *block)
 410 {
 411         ir_node *root = NULL, *preord = NULL;
 412         ir_node *curr, *irn;
 413         int cur_pos;
 414         const ir_edge_t *edge;
 415
 416         /* First step: Find the root set. */
 417         foreach_out_edge(block, edge) {
 418                 ir_node *succ = get_edge_src_irn(edge);
 419
 420                 if (is_Anchor(succ)) {
 421                         /* ignore a keep alive edge */
 422                         continue;
 423                 }
 424                 if (is_root(succ, block)) {
 425                         mark_root_node(env, succ);
 426                         set_irn_link(succ, root);
 427                         root = succ;
 428                 }
 429                 else
 430                         set_irn_link(succ, MARK);
 431         }
 432
 433         /* Second step: calculate the pre-order list. */
 434         preord = NULL;
 435         for (curr = root; curr; curr = irn) {
 436                 irn = (ir_node*)get_irn_link(curr);
 437                 DBG((env->dbg, LEVEL_2, "   DAG root %+F\n", curr));
 438                 descent(curr, block, &preord, env, 0);
 439         }
 440         root = preord;
 441
 442         /* Third step: calculate the Delay. Note that our
 443         * list is now in pre-order, starting at root
 444         */
 445         for (cur_pos = 0, curr = root; curr; curr = (ir_node*)get_irn_link(curr), cur_pos++) {
 446                 sched_timestep_t d;
 447
 448                 if (is_cfop(curr)) {
 449                         /* assure, that branches can be executed last */
 450                         d = 0;
 451                 }
 452                 else {
 453                         if (is_root_node(env, curr))
 454                                 d = exectime(env, curr);
 455                         else {
 456                                 d = 0;
 457                                 foreach_out_edge(curr, edge) {
 458                                         ir_node *n = get_edge_src_irn(edge);
 459
 460                                         if (get_nodes_block(n) == block) {
 461                                                 sched_timestep_t ld;
 462
 463                                                 ld = latency(env, curr, 1, n, 0) + get_irn_delay(env, n);
 464                                                 d = ld > d ? ld : d;
 465                                         }
 466                                 }
 467                         }
 468                 }
 469                 set_irn_delay(env, curr, d);
 470                 DB((env->dbg, LEVEL_2, "\t%+F delay %u\n", curr, d));
 471
 472                 /* set the etime of all nodes to 0 */
 473                 set_irn_etime(env, curr, 0);
 474
 475                 set_irn_preorder(env, curr, cur_pos);
 476         }
 477 }
 478
 479 /**
 480  * This functions gets called after a node finally has been made ready.
 481  */
 482 static void trace_node_ready(void *data, ir_node *irn, ir_node *pred)
 483 {
 484         trace_env_t *env = (trace_env_t*)data;
 485         sched_timestep_t etime_p, etime;
 486
 487         etime = env->curr_time;
 488         if (pred) {
 489                 etime_p = get_irn_etime(env, pred);
 490                 etime  += latency(env, pred, 1, irn, 0);
 491                 etime   = etime_p > etime ? etime_p : etime;
 492         }
 493
 494         set_irn_etime(env, irn, etime);
 495         DB((env->dbg, LEVEL_2, "\tset etime of %+F to %u\n", irn, etime));
 496 }
 497
 498 /**
 499  * Update the current time after irn has been selected.
 500  */
 501 static void trace_update_time(void *data, ir_node *irn)
 502 {
 503         trace_env_t *env = (trace_env_t*)data;
 504         if (is_Phi(irn) || get_irn_opcode(irn) == beo_Start) {
 505                 env->curr_time += get_irn_etime(env, irn);
 506         }
 507         else {
 508                 env->curr_time += exectime(env, irn);
 509         }
 510 }
 511
 512 /**
 513  * Allocates memory and initializes trace scheduling environment.
 514  * @param irg   The backend irg object
 515  * @return The environment
 516  */
 517 static trace_env_t *trace_init(ir_graph *irg)
 518 {
 519         trace_env_t *env = XMALLOCZ(trace_env_t);
 520         int         nn   = get_irg_last_idx(irg);
 521
 522         env->curr_time  = 0;
 523         env->sched_info = NEW_ARR_F(trace_irn_t, nn);
 524         env->liveness   = be_get_irg_liveness(irg);
 525         FIRM_DBG_REGISTER(env->dbg, "firm.be.sched.trace");
 526
 527         be_assure_live_chk(irg);
 528         memset(env->sched_info, 0, nn * sizeof(*(env->sched_info)));
 529
 530         return env;
 531 }
 532
 533 /**
 534  * Frees all memory allocated for trace scheduling environment.
 535  * @param env  The environment
 536  */
 537 static void trace_free(void *data)
 538 {
 539         trace_env_t *env = (trace_env_t*)data;
 540         DEL_ARR_F(env->sched_info);
 541         free(env);
 542 }
 543
 544 /**
 545  * Simple selector. Just assure that jumps are scheduled last.
 546  */
 547 static ir_node *basic_selection(ir_nodeset_t *ready_set)
 548 {
 549         ir_node *irn = NULL;
 550         ir_nodeset_iterator_t iter;
 551
 552         /* assure that branches and constants are executed last */
 553         foreach_ir_nodeset(ready_set, irn, iter) {
 554                 if (!is_cfop(irn)) {
 555                         return irn;
 556                 }
 557         }
 558
 559         /* at last: schedule branches */
 560         irn = get_nodeset_node(ready_set);
 561
 562         return irn;
 563 }
 564
 565 /**
 566 * The muchnik selector.
 567 */
 568 static ir_node *muchnik_select(void *block_env, ir_nodeset_t *ready_set)
 569 {
 570         trace_env_t *env = (trace_env_t*)block_env;
 571         ir_nodeset_t mcands, ecands;
 572         ir_nodeset_iterator_t iter;
 573         sched_timestep_t max_delay = 0;
 574         ir_node *irn;
 575
 576         /* calculate the max delay of all candidates */
 577         foreach_ir_nodeset(ready_set, irn, iter) {
 578                 sched_timestep_t d = get_irn_delay(env, irn);
 579
 580                 max_delay = d > max_delay ? d : max_delay;
 581         }
 582
 583         ir_nodeset_init_size(&mcands, 8);
 584         ir_nodeset_init_size(&ecands, 8);
 585
 586         /* build mcands and ecands */
 587         foreach_ir_nodeset(ready_set, irn, iter) {
 588                 if (get_irn_delay(env, irn) == max_delay) {
 589                         ir_nodeset_insert(&mcands, irn);
 590                         if (get_irn_etime(env, irn) <= env->curr_time)
 591                                 ir_nodeset_insert(&ecands, irn);
 592                 }
 593         }
 594
 595         /* select a node */
 596         if (ir_nodeset_size(&mcands) == 1) {
 597                 irn = get_nodeset_node(&mcands);
 598                 DB((env->dbg, LEVEL_3, "\tirn = %+F, mcand = 1, max_delay = %u\n", irn, max_delay));
 599         }
 600         else {
 601                 size_t cnt = ir_nodeset_size(&ecands);
 602                 if (cnt == 1) {
 603                         irn = get_nodeset_node(&ecands);
 604
 605                         if (is_cfop(irn)) {
 606                                 /* BEWARE: don't select a JUMP if others are still possible */
 607                                 goto force_mcands;
 608                         }
 609                         DB((env->dbg, LEVEL_3, "\tirn = %+F, ecand = 1, max_delay = %u\n", irn, max_delay));
 610                 }
 611                 else if (cnt > 1) {
 612                         DB((env->dbg, LEVEL_3, "\tecand = %zu, max_delay = %u\n", cnt, max_delay));
 613                         irn = basic_selection(&ecands);
 614                 }
 615                 else {
 616 force_mcands:
 617                         DB((env->dbg, LEVEL_3, "\tmcand = %zu\n", ir_nodeset_size(&mcands)));
 618                         irn = basic_selection(&mcands);
 619                 }
 620         }
 621
 622         return irn;
 623 }
 624
 625 static void *muchnik_init_graph(ir_graph *irg)
 626 {
 627         trace_env_t *env  = trace_init(irg);
 628         return (void *)env;
 629 }
 630
 631 static void *muchnik_init_block(void *graph_env, ir_node *bl)
 632 {
 633         trace_env_t *env = (trace_env_t*) graph_env;
 634         trace_preprocess_block(env, bl);
 635         return graph_env;
 636 }
 637
 638 static void sched_muchnik(ir_graph *irg)
 639 {
 640         static const list_sched_selector_t muchnik_selector = {
 641                 muchnik_init_graph,
 642                 muchnik_init_block,
 643                 muchnik_select,
 644                 trace_node_ready,    /* node_ready */
 645                 trace_update_time,   /* node_selected */
 646                 NULL,                /* finish_block */
 647                 trace_free           /* finish_graph */
 648         };
 649         be_list_sched_graph(irg, &muchnik_selector);
 650 }
 651
 652 /**
 653  * Execute the heuristic function.
 654  */
 655 static ir_node *heuristic_select(void *block_env, ir_nodeset_t *ns)
 656 {
 657         trace_env_t *trace_env   = (trace_env_t*)block_env;
 658         ir_node     *irn, *cand  = NULL;
 659         int         max_prio     = INT_MIN;
 660         int         cur_prio     = INT_MIN;
 661         int         reg_fact;
 662         ir_nodeset_iterator_t iter;
 663         /* Note: register pressure calculation needs an overhaul, you need correct
 664          * tracking for each register class indidually and weight by each class
 665         int         cur_pressure = ir_nodeset_size(lv); */
 666         int         cur_pressure = 1;
 667
 668         /* prefer instructions which can be scheduled early */
 669 #define PRIO_TIME        3
 670         /* prefer instructions with lots of successors */
 671 #define PRIO_NUMSUCCS    8
 672         /* prefer instructions with long critical path */
 673 #define PRIO_LEVEL      12
 674         /* prefer instructions coming early in preorder */
 675 #define PRIO_PREORD      8
 676         /* weight of current register pressure */
 677 #define PRIO_CUR_PRESS  20
 678         /* weight of register pressure difference */
 679 #define PRIO_CHG_PRESS   8
 680
 681         /* priority based selection, heuristic inspired by mueller diss */
 682         foreach_ir_nodeset(ns, irn, iter) {
 683                 /* make sure that branches are scheduled last */
 684                 if (!is_cfop(irn)) {
 685                         int rdiff = get_irn_reg_diff(trace_env, irn);
 686                         int sign  = rdiff < 0;
 687                         int chg   = (rdiff < 0 ? -rdiff : rdiff) << PRIO_CHG_PRESS;
 688
 689                         reg_fact = chg * cur_pressure;
 690                         if (reg_fact < chg)
 691                                 reg_fact = INT_MAX - 2;
 692                         reg_fact = sign ? -reg_fact : reg_fact;
 693
 694                         cur_prio = (get_irn_critical_path_len(trace_env, irn) << PRIO_LEVEL)
 695                                 //- (get_irn_delay(trace_env, irn) << PRIO_LEVEL)
 696                                 + (get_irn_num_user(trace_env, irn) << PRIO_NUMSUCCS)
 697                                 - (get_irn_etime(trace_env, irn) << PRIO_TIME)
 698                                 //- ((get_irn_reg_diff(trace_env, irn) >> PRIO_CHG_PRESS) << ((cur_pressure >> PRIO_CUR_PRESS) - 3))
 699                                 - reg_fact
 700                                 + (get_irn_preorder(trace_env, irn) << PRIO_PREORD); /* high preorder means early schedule */
 701                         if (cur_prio > max_prio) {
 702                                 cand          = irn;
 703                                 max_prio      = cur_prio;
 704                         }
 705
 706                         DBG((trace_env->dbg, LEVEL_4, "checked NODE %+F\n", irn));
 707                         DBG((trace_env->dbg, LEVEL_4, "\tpriority: %d\n", cur_prio));
 708                         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));
 709                         DBG((trace_env->dbg, LEVEL_4, "\tdelay:    %d (%d)\n", get_irn_delay(trace_env, irn), get_irn_delay(trace_env, irn) << PRIO_LEVEL));
 710                         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));
 711                         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)));
 712                         DBG((trace_env->dbg, LEVEL_4, "\tpreorder: %d (%d)\n", get_irn_preorder(trace_env, irn), get_irn_preorder(trace_env, irn) << PRIO_PREORD));
 713                         DBG((trace_env->dbg, LEVEL_4, "\treg diff: %d (%d)\n", get_irn_reg_diff(trace_env, irn), 0 - reg_fact));
 714                         DBG((trace_env->dbg, LEVEL_4, "\tpressure: %d\n", cur_pressure));
 715                 }
 716         }
 717
 718         if (cand) {
 719                 DBG((trace_env->dbg, LEVEL_4, "heuristic selected %+F:\n", cand));
 720         }
 721         else {
 722                 cand = basic_selection(ns);
 723         }
 724
 725         return cand;
 726 }
 727
 728 static void sched_heuristic(ir_graph *irg)
 729 {
 730         static const list_sched_selector_t heuristic_selector = {
 731                 muchnik_init_graph,
 732                 muchnik_init_block,
 733                 heuristic_select,
 734                 trace_node_ready,    /* node_ready */
 735                 trace_update_time,   /* node_selected */
 736                 NULL,                /* finish_block */
 737                 trace_free           /* finish_graph */
 738         };
 739         be_list_sched_graph(irg, &heuristic_selector);
 740 }
 741
 742 BE_REGISTER_MODULE_CONSTRUCTOR(be_init_sched_trace)
 743 void be_init_sched_trace(void)
 744 {
 745         be_register_scheduler("heur", sched_heuristic);
 746         be_register_scheduler("muchnik", sched_muchnik);
 747 }