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