nsz Git - libfirm/blob - ir/lower/lower_mode_b.c

   1 /*
   2  * Copyright (C) 1995-2007 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  * @author      Matthias Braun, Christoph Mallon
  23  * @version     $Id$
  24  */
  25 #ifdef HAVE_CONFIG_H
  26 #include "config.h"
  27 #endif
  28
  29 #include <stdlib.h>
  30
  31 #include "irnode_t.h"
  32 #include "ircons_t.h"
  33 #include "irgwalk.h"
  34 #include "irtools.h"
  35 #include "tv.h"
  36 #include "error.h"
  37 #include "lowering.h"
  38
  39 static ir_mode *lowered_mode     = NULL;
  40 static int      lower_direct_cmp = 0;
  41
  42 static ir_node *create_not(dbg_info *dbgi, ir_node *node)
  43 {
  44         ir_graph *irg    = current_ir_graph;
  45         ir_node  *block  = get_nodes_block(node);
  46         tarval   *tv_one = get_tarval_one(lowered_mode);
  47         ir_node  *one    = new_d_Const(dbgi, lowered_mode, tv_one);
  48
  49         return new_rd_Eor(dbgi, irg, block, node, one, lowered_mode);
  50 }
  51
  52 static ir_node *lower_node(ir_node *node)
  53 {
  54         ir_graph *irg   = current_ir_graph;
  55         dbg_info *dbgi  = get_irn_dbg_info(node);
  56         ir_op    *op    = get_irn_op(node);
  57         ir_node  *block = get_nodes_block(node);
  58         ir_node  *res;
  59
  60         assert(get_irn_mode(node) == mode_b);
  61
  62         res = get_irn_link(node);
  63         if(res != NULL)
  64                 return res;
  65
  66         /* TODO: be robust against phi-loops... */
  67         if(op == op_Phi) {
  68                 int       i, arity;
  69                 ir_node **in;
  70                 ir_node  *unknown, *new_phi;
  71
  72                 arity = get_irn_arity(node);
  73                 in    = alloca(arity * sizeof(in[0]));
  74                 unknown = new_Unknown(lowered_mode);
  75                 for(i = 0; i < arity; ++i) {
  76                         in[i] = unknown;
  77                 }
  78                 new_phi = new_rd_Phi(dbgi, irg, block, arity, in,
  79                                               lowered_mode);
  80                 set_irn_link(node, new_phi);
  81
  82                 for(i = 0; i < arity; ++i) {
  83                         ir_node *in     = get_irn_n(node, i);
  84                         ir_node *low_in = lower_node(in);
  85
  86                         set_irn_n(new_phi, i, low_in);
  87                 }
  88
  89                 return new_phi;
  90         }
  91
  92         if(op == op_And || op == op_Or || op == op_Eor) {
  93                 int i, arity;
  94                 ir_node *copy = exact_copy(node);
  95
  96                 arity = get_irn_arity(node);
  97                 for(i = 0; i < arity; ++i) {
  98                         ir_node *in     = get_irn_n(node, i);
  99                         ir_node *low_in = lower_node(in);
 100
 101                         set_irn_n(copy, i, low_in);
 102                 }
 103                 set_irn_mode(copy, lowered_mode);
 104
 105                 set_irn_link(node, copy);
 106                 return copy;
 107         }
 108         if(op == op_Not) {
 109                 ir_node *op     = get_Not_op(node);
 110                 ir_node *low_op = lower_node(op);
 111
 112                 res = create_not(dbgi, low_op);
 113                 set_irn_link(node, res);
 114                 return res;
 115         }
 116         if(op == op_Psi) {
 117                 ir_node *cond        = get_Psi_cond(node, 0);
 118                 ir_node *low_cond    = lower_node(cond);
 119                 ir_node *v_true      = get_Psi_val(node, 0);
 120                 ir_node *low_v_true  = lower_node(v_true);
 121                 ir_node *v_false     = get_Psi_default(node);
 122                 ir_node *low_v_false = lower_node(v_false);
 123
 124                 ir_node *and0     = new_rd_And(dbgi, irg, block, cond, low_v_true,
 125                                                lowered_mode);
 126
 127                 ir_node *not_cond = create_not(dbgi, low_cond);
 128
 129                 ir_node *and1     = new_rd_And(dbgi, irg, block, not_cond, low_v_false,
 130                                                lowered_mode);
 131
 132                 ir_node *or       = new_rd_Or(dbgi, irg, block, and0, and1,
 133                                               lowered_mode);
 134
 135                 set_irn_link(node, or);
 136                 return or;
 137         }
 138         if(op == op_Conv) {
 139                 tarval  *tv_one   = get_tarval_one(lowered_mode);
 140                 ir_node *one      = new_d_Const(dbgi, lowered_mode, tv_one);
 141                 tarval  *tv_zero  = get_tarval_null(lowered_mode);
 142                 ir_node *zero     = new_d_Const(dbgi, lowered_mode, tv_zero);
 143                 ir_mode *mode     = get_irn_mode(node);
 144                 tarval  *tv_zeroc = get_tarval_null(mode);
 145                 ir_node *zero_cmp = new_d_Const(dbgi, mode, tv_zeroc);
 146
 147                 ir_node *cmp      = new_rd_Cmp(dbgi, irg, block, node, zero_cmp);
 148                 ir_node *proj     = new_rd_Proj(dbgi, irg, block, cmp, mode_b,
 149                                                 pn_Cmp_Lg);
 150                 ir_node *vals[2]  = { one, zero };
 151                 ir_node *psi      = new_rd_Psi(dbgi, irg, block, 1, &proj, vals,
 152                                                lowered_mode);
 153
 154                 set_irn_link(node, psi);
 155                 return psi;
 156         }
 157         if(op == op_Proj) {
 158                 ir_node *pred  = get_Proj_pred(node);
 159
 160                 assert(!is_Load(pred));
 161                 if(is_Cmp(pred)) {
 162                         ir_mode *mode  = get_irn_mode(pred);
 163                         ir_node *left  = get_Cmp_left(pred);
 164                         ir_node *right = get_Cmp_right(pred);
 165
 166                         if( (mode_is_int(mode) || mode_is_character(mode)
 167                                                 || mode_is_reference(mode)) &&
 168                                 (get_mode_size_bits(mode) < get_mode_size_bits(lowered_mode)
 169                                  || classify_Const(right) == CNST_NULL)) {
 170                                 int      pnc      = get_Proj_proj(node);
 171                                 int      need_not = 0;
 172                                 ir_node *a        = NULL;
 173                                 ir_node *b        = NULL;
 174
 175                                 if(pnc == pn_Cmp_Lt) {
 176                                         /* a < b  ->  (a - b) >> 31 */
 177                                         a = left;
 178                                         b = right;
 179                                 } else if(pnc == pn_Cmp_Le) {
 180                                         /* a <= b  -> ((a - b) >> 31) ^ 1 */
 181                                         a        = right;
 182                                         b        = left;
 183                                         need_not = 1;
 184                                 } else if(pnc == pn_Cmp_Gt) {
 185                                         /* a > b   -> (b - a) >> 31 */
 186                                         a = right;
 187                                         b = left;
 188                                 } else if(pnc == pn_Cmp_Ge) {
 189                                         /* a >= b   -> ((a - b) >> 31) ^ 1 */
 190                                         a        = left;
 191                                         b        = right;
 192                                         need_not = 1;
 193                                 }
 194
 195                                 if(a != NULL) {
 196                                         tarval  *tv        = new_tarval_from_long(31, mode_Iu);
 197                                         ir_node *shift_cnt = new_d_Const(dbgi, mode_Iu, tv);
 198
 199                                         if(mode != lowered_mode) {
 200                                                 a = new_rd_Conv(dbgi, irg, block, a, lowered_mode);
 201                                                 b = new_rd_Conv(dbgi, irg, block, b, lowered_mode);
 202                                         }
 203
 204                                         res = new_rd_Sub(dbgi, irg, block, a, b, lowered_mode);
 205                                         res = new_rd_Shr(dbgi, irg, block, res, shift_cnt,
 206                                                          lowered_mode);
 207
 208                                         if(need_not) {
 209                                                 res = create_not(dbgi, res);
 210                                         }
 211                                         set_irn_link(node, res);
 212                                         return res;
 213                                 }
 214                         }
 215
 216                         {
 217                         /* synthesize the 0/1 value */
 218                         tarval  *tv_one  = get_tarval_one(lowered_mode);
 219                         ir_node *one     = new_d_Const(dbgi, lowered_mode, tv_one);
 220                         tarval  *tv_zero = get_tarval_null(lowered_mode);
 221                         ir_node *zero    = new_d_Const(dbgi, lowered_mode, tv_zero);
 222
 223                         ir_node *vals[2] = { one, zero };
 224                         ir_node *psi     = new_rd_Psi(dbgi, irg, block, 1, &node, vals,
 225                                                       lowered_mode);
 226
 227                         set_irn_link(node, psi);
 228                         return psi;
 229                         }
 230                 }
 231
 232                 panic("unexpected projb: %+F (pred: %+F)", node, pred);
 233         }
 234         if(op == op_Const) {
 235                 tarval *tv = get_Const_tarval(node);
 236                 if(tv == get_tarval_b_true()) {
 237                         tarval  *tv_one  = get_tarval_one(lowered_mode);
 238                         res              = new_d_Const(dbgi, lowered_mode, tv_one);
 239                 } else if(tv == get_tarval_b_false()) {
 240                         tarval  *tv_zero = get_tarval_null(lowered_mode);
 241                         res              = new_d_Const(dbgi, lowered_mode, tv_zero);
 242                 } else {
 243                         panic("invalid boolean const %+F", node);
 244                 }
 245                 set_irn_link(node, res);
 246                 return res;
 247         }
 248
 249         panic("didn't expect %+F to have mode_b", node);
 250 }
 251
 252 static ir_node *create_convb(ir_node *node)
 253 {
 254         ir_graph *irg   = current_ir_graph;
 255         ir_node  *block = get_nodes_block(node);
 256         ir_node  *conv  = new_rd_Conv(NULL, irg, block, node, mode_b);
 257
 258         return conv;
 259 }
 260
 261 static void lower_mode_b_walker(ir_node *node, void *env)
 262 {
 263         int i, arity;
 264         (void) env;
 265
 266         arity = get_irn_arity(node);
 267         for(i = 0; i < arity; ++i) {
 268                 ir_node *lowered_in;
 269                 ir_node *in = get_irn_n(node, i);
 270                 if(get_irn_mode(in) != mode_b)
 271                         continue;
 272
 273                 if(! lower_direct_cmp) {
 274                         if(is_Cond(node)
 275                                         || (is_Psi(node) && get_irn_mode(node) != mode_b)) {
 276                                 if(is_Proj(in)) {
 277                                         ir_node *pred = get_Proj_pred(in);
 278                                         if(is_Cmp(pred))
 279                                                 continue;
 280                                 }
 281                         }
 282                 }
 283
 284                 lowered_in = lower_node(in);
 285                 lowered_in = create_convb(lowered_in);
 286                 set_irn_n(node, i, lowered_in);
 287         }
 288 }
 289
 290 static void clear_links(ir_node *node, void *env)
 291 {
 292         (void) env;
 293         set_irn_link(node, NULL);
 294 }
 295
 296 void ir_lower_mode_b(ir_graph *irg, ir_mode *mode, int do_lower_direct_cmp)
 297 {
 298         lowered_mode     = mode;
 299         lower_direct_cmp = do_lower_direct_cmp;
 300         set_using_irn_link(irg);
 301         irg_walk_graph(irg, clear_links, NULL, NULL);
 302         irg_walk_graph(irg, lower_mode_b_walker, NULL, NULL);
 303         clear_using_irn_link(irg);
 304 }