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