-static void adjust_phi_arguments(be_main_session_env_t *session, be_chordal_env_t *chordal_env, ir_node *phi) {
- int i, max;
- ir_node *arg, *phi_block, *arg_block;
- const arch_register_t *phi_reg, *arg_reg;
- const arch_register_class_t *cls;
-
- assert(is_Phi(phi) && "Can only handle phi-destruction :)");
- DBG((dbg, LEVEL_1, " for %+F\n", phi));
-
- cls = arch_get_irn_reg_class(session->main_env->arch_env, phi, arch_pos_make_out(0));
- phi_block = get_nodes_block(phi);
- phi_reg = get_reg(phi);
-
- /* process all arguments of the phi */
- for(i=0, max=get_irn_arity(phi); i<max; ++i) {
- ir_node *perm;
-
- arg = get_irn_n(phi, i);
- arg_block = get_nodes_block(arg);
- arg_reg = get_reg(arg);
- perm = get_Proj_pred(arg);
-
- DBG((dbg, LEVEL_1, " arg %+F has perm %+F\n", arg, perm));
- /* if registers don't match ...*/
- if (phi_reg != arg_reg) {
- DBG((dbg, LEVEL_1, " regs don't match %d %d\n", phi_reg, arg_reg));
-
- /* First check if there is another phi in the same block
- * having arg at the same pos in its arg-list and the same color as arg */
- if (!is_pinned(arg)) {
- DBG((dbg, LEVEL_1, " arg is not pinned\n"));
- ir_node *other_phi = phi;
- while ((other_phi = get_irn_link(other_phi)) != phi) {
- assert(is_Phi(other_phi) && get_nodes_block(phi) == get_nodes_block(other_phi) && "link fields are screwed up");
- if (get_irn_n(other_phi, i) == arg && get_reg(other_phi) == arg_reg) {
- DBG((dbg, LEVEL_1, " other phi pinned the argument\n"));
- pin_irn(arg, phi_block);
- }
- }
- }
-
- /* If arg is pinned, another phi set the color of arg and pinned it.
- * So this phi can't change the color again and a duplicate must be inserted.
- *
- * If arg interferes with phi, one can never set the same color for both
- * Hence, a duplicate must be inserted */
- if (is_pinned(arg) || nodes_interfere(chordal_env, phi, arg)) {
- ir_node *dupl, *tmp;
- assert(get_pinning_block(arg) == phi_block && "If arg is pinned it must be due to a phi in the same block");
-
- dupl = new_Copy(session->main_env->node_factory, cls, session->irg, arg_block, arg);
+static void set_regs_or_place_dupls_walker(ir_node *bl, void *data) {
+ be_chordal_env_t *chordal_env = data;
+ ir_node *phi;
+
+ /* Consider all phis of this block */
+ for(phi = get_irn_link(bl); phi; phi = get_irn_link(phi)) {
+ int i, max;
+ ir_node *arg, *phi_block, *arg_block;
+ const arch_register_t *phi_reg, *arg_reg;
+ const arch_register_class_t *cls;
+
+ assert(is_Phi(phi) && "Can only handle phi-destruction :)");
+
+ phi_block = get_nodes_block(phi);
+ phi_reg = get_reg(phi);
+ cls = arch_get_irn_reg_class(get_chordal_arch(chordal_env), phi, -1);
+
+ /* process all arguments of the phi */
+ for(i=0, max=get_irn_arity(phi); i<max; ++i) {
+ arg = get_irn_n(phi, i);
+ arg_block = get_Block_cfgpred_block(phi_block, i);
+ arg_reg = get_reg(arg);
+ assert(arg_reg && "Register must be set while placing perms");
+
+ DBG((dbg, LEVEL_1, " for %+F(%s) -- %+F(%s)\n", phi, phi_reg->name, arg, arg_reg->name));
+
+ if(nodes_interfere(chordal_env, phi, arg)) {
+ /* Insert a duplicate in arguments block,
+ * make it the new phi arg,
+ * set its register,
+ * insert it into schedule,
+ * pin it
+ */
+ ir_node *dupl = new_Copy(chordal_env->main_env->node_factory, cls, chordal_env->irg, arg_block, arg);
+ assert(get_irn_mode(phi) == get_irn_mode(dupl));