gcc/gimple-low.c

   1 /* Tree lowering pass.  Lowers GIMPLE into unstructured form.
   2
   3    Copyright (C) 2003, 2004, 2005, 2006, 2007, 2008 Free Software Foundation, Inc.
   4
   5 This file is part of GCC.
   6
   7 GCC is free software; you can redistribute it and/or modify it under
   8 the terms of the GNU General Public License as published by the Free
   9 Software Foundation; either version 3, or (at your option) any later
  10 version.
  11
  12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
  13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
  14 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  15 for more details.
  16
  17 You should have received a copy of the GNU General Public License
  18 along with GCC; see the file COPYING3.  If not see
  19 <http://www.gnu.org/licenses/>.  */
  20
  21 #include "config.h"
  22 #include "system.h"
  23 #include "coretypes.h"
  24 #include "tm.h"
  25 #include "tree.h"
  26 #include "rtl.h"
  27 #include "varray.h"
  28 #include "tree-gimple.h"
  29 #include "tree-inline.h"
  30 #include "diagnostic.h"
  31 #include "langhooks.h"
  32 #include "langhooks-def.h"
  33 #include "tree-flow.h"
  34 #include "timevar.h"
  35 #include "except.h"
  36 #include "hashtab.h"
  37 #include "flags.h"
  38 #include "function.h"
  39 #include "expr.h"
  40 #include "toplev.h"
  41 #include "tree-pass.h"
  42
  43 struct lower_data
  44 {
  45   /* Block the current statement belongs to.  */
  46   tree block;
  47
  48   /* A TREE_LIST of label and return statements to be moved to the end
  49      of the function.  */
  50   tree return_statements;
  51
  52   /* True if the function calls __builtin_setjmp.  */
  53   bool calls_builtin_setjmp;
  54 };
  55
  56 static void lower_stmt (tree_stmt_iterator *, struct lower_data *);
  57 static void lower_bind_expr (tree_stmt_iterator *, struct lower_data *);
  58 static void lower_cond_expr (tree_stmt_iterator *, struct lower_data *);
  59 static void lower_return_expr (tree_stmt_iterator *, struct lower_data *);
  60 static void lower_builtin_setjmp (tree_stmt_iterator *);
  61
  62 /* Lower the body of current_function_decl.  */
  63
  64 static unsigned int
  65 lower_function_body (void)
  66 {
  67   struct lower_data data;
  68   tree *body_p = &DECL_SAVED_TREE (current_function_decl);
  69   tree bind = *body_p;
  70   tree_stmt_iterator i;
  71   tree t, x;
  72
  73   gcc_assert (TREE_CODE (bind) == BIND_EXPR);
  74
  75   memset (&data, 0, sizeof (data));
  76   data.block = DECL_INITIAL (current_function_decl);
  77   BLOCK_SUBBLOCKS (data.block) = NULL_TREE;
  78   BLOCK_CHAIN (data.block) = NULL_TREE;
  79   TREE_ASM_WRITTEN (data.block) = 1;
  80
  81   *body_p = alloc_stmt_list ();
  82   i = tsi_start (*body_p);
  83   tsi_link_after (&i, bind, TSI_NEW_STMT);
  84   lower_bind_expr (&i, &data);
  85
  86   i = tsi_last (*body_p);
  87
  88   /* If the function falls off the end, we need a null return statement.
  89      If we've already got one in the return_statements list, we don't
  90      need to do anything special.  Otherwise build one by hand.  */
  91   if (block_may_fallthru (*body_p)
  92       && (data.return_statements == NULL
  93           || TREE_OPERAND (TREE_VALUE (data.return_statements), 0) != NULL))
  94     {
  95       x = build1 (RETURN_EXPR, void_type_node, NULL);
  96       SET_EXPR_LOCATION (x, cfun->function_end_locus);
  97       tsi_link_after (&i, x, TSI_CONTINUE_LINKING);
  98     }
  99
 100   /* If we lowered any return statements, emit the representative
 101      at the end of the function.  */
 102   for (t = data.return_statements ; t ; t = TREE_CHAIN (t))
 103     {
 104       x = build1 (LABEL_EXPR, void_type_node, TREE_PURPOSE (t));
 105       tsi_link_after (&i, x, TSI_CONTINUE_LINKING);
 106
 107       /* Remove the line number from the representative return statement.
 108          It now fills in for many such returns.  Failure to remove this
 109          will result in incorrect results for coverage analysis.  */
 110       x = TREE_VALUE (t);
 111       SET_EXPR_LOCATION (x, UNKNOWN_LOCATION);
 112       tsi_link_after (&i, x, TSI_CONTINUE_LINKING);
 113     }
 114
 115   /* If the function calls __builtin_setjmp, we need to emit the computed
 116      goto that will serve as the unique dispatcher for all the receivers.  */
 117   if (data.calls_builtin_setjmp)
 118     {
 119       tree disp_label, disp_var, arg;
 120
 121       /* Build 'DISP_LABEL:' and insert.  */
 122       disp_label = create_artificial_label ();
 123       /* This mark will create forward edges from every call site.  */
 124       DECL_NONLOCAL (disp_label) = 1;
 125       current_function_has_nonlocal_label = 1;
 126       x = build1 (LABEL_EXPR, void_type_node, disp_label);
 127       tsi_link_after (&i, x, TSI_CONTINUE_LINKING);
 128
 129       /* Build 'DISP_VAR = __builtin_setjmp_dispatcher (DISP_LABEL);'
 130          and insert.  */
 131       disp_var = create_tmp_var (ptr_type_node, "setjmpvar");
 132       arg = build_addr (disp_label, current_function_decl);
 133       t = implicit_built_in_decls[BUILT_IN_SETJMP_DISPATCHER];
 134       t = build_call_expr (t, 1, arg);
 135       x = build_gimple_modify_stmt (disp_var, t);
 136
 137       /* Build 'goto DISP_VAR;' and insert.  */
 138       tsi_link_after (&i, x, TSI_CONTINUE_LINKING);
 139       x = build1 (GOTO_EXPR, void_type_node, disp_var);
 140       tsi_link_after (&i, x, TSI_CONTINUE_LINKING);
 141     }
 142
 143   gcc_assert (data.block == DECL_INITIAL (current_function_decl));
 144   BLOCK_SUBBLOCKS (data.block)
 145     = blocks_nreverse (BLOCK_SUBBLOCKS (data.block));
 146
 147   clear_block_marks (data.block);
 148   return 0;
 149 }
 150
 151 struct tree_opt_pass pass_lower_cf =
 152 {
 153   "lower",                              /* name */
 154   NULL,                                 /* gate */
 155   lower_function_body,                  /* execute */
 156   NULL,                                 /* sub */
 157   NULL,                                 /* next */
 158   0,                                    /* static_pass_number */
 159   0,                                    /* tv_id */
 160   PROP_gimple_any,                      /* properties_required */
 161   PROP_gimple_lcf,                      /* properties_provided */
 162   0,                                    /* properties_destroyed */
 163   0,                                    /* todo_flags_start */
 164   TODO_dump_func,                       /* todo_flags_finish */
 165   0                                     /* letter */
 166 };
 167
 168
 169 /* Lower the EXPR.  Unlike gimplification the statements are not relowered
 170    when they are changed -- if this has to be done, the lowering routine must
 171    do it explicitly.  DATA is passed through the recursion.  */
 172
 173 static void
 174 lower_stmt_body (tree expr, struct lower_data *data)
 175 {
 176   tree_stmt_iterator tsi;
 177
 178   for (tsi = tsi_start (expr); !tsi_end_p (tsi); )
 179     lower_stmt (&tsi, data);
 180 }
 181
 182
 183 /* Lower the OpenMP directive statement pointed by TSI.  DATA is
 184    passed through the recursion.  */
 185
 186 static void
 187 lower_omp_directive (tree_stmt_iterator *tsi, struct lower_data *data)
 188 {
 189   tree stmt;
 190
 191   stmt = tsi_stmt (*tsi);
 192
 193   lower_stmt_body (OMP_BODY (stmt), data);
 194   tsi_link_before (tsi, stmt, TSI_SAME_STMT);
 195   tsi_link_before (tsi, OMP_BODY (stmt), TSI_SAME_STMT);
 196   OMP_BODY (stmt) = NULL_TREE;
 197   tsi_delink (tsi);
 198 }
 199
 200
 201 /* Lower statement TSI.  DATA is passed through the recursion.  */
 202
 203 static void
 204 lower_stmt (tree_stmt_iterator *tsi, struct lower_data *data)
 205 {
 206   tree stmt = tsi_stmt (*tsi);
 207
 208   if (EXPR_HAS_LOCATION (stmt) && data)
 209     TREE_BLOCK (stmt) = data->block;
 210
 211   switch (TREE_CODE (stmt))
 212     {
 213     case BIND_EXPR:
 214       lower_bind_expr (tsi, data);
 215       return;
 216     case COND_EXPR:
 217       lower_cond_expr (tsi, data);
 218       return;
 219     case RETURN_EXPR:
 220       lower_return_expr (tsi, data);
 221       return;
 222
 223     case TRY_FINALLY_EXPR:
 224     case TRY_CATCH_EXPR:
 225       lower_stmt_body (TREE_OPERAND (stmt, 0), data);
 226       lower_stmt_body (TREE_OPERAND (stmt, 1), data);
 227       break;
 228     case CATCH_EXPR:
 229       lower_stmt_body (CATCH_BODY (stmt), data);
 230       break;
 231     case EH_FILTER_EXPR:
 232       lower_stmt_body (EH_FILTER_FAILURE (stmt), data);
 233       break;
 234
 235     case NOP_EXPR:
 236     case ASM_EXPR:
 237     case GOTO_EXPR:
 238     case LABEL_EXPR:
 239     case SWITCH_EXPR:
 240     case CHANGE_DYNAMIC_TYPE_EXPR:
 241     case OMP_FOR:
 242     case OMP_SECTIONS:
 243     case OMP_SECTIONS_SWITCH:
 244     case OMP_SECTION:
 245     case OMP_SINGLE:
 246     case OMP_MASTER:
 247     case OMP_ORDERED:
 248     case OMP_CRITICAL:
 249     case OMP_RETURN:
 250     case OMP_ATOMIC_LOAD:
 251     case OMP_ATOMIC_STORE:
 252     case OMP_CONTINUE:
 253       break;
 254
 255     case GIMPLE_MODIFY_STMT:
 256       if (TREE_CODE (GIMPLE_STMT_OPERAND (stmt, 1)) == CALL_EXPR)
 257         stmt = GIMPLE_STMT_OPERAND (stmt, 1);
 258       else
 259         break;
 260       /* FALLTHRU */
 261
 262     case CALL_EXPR:
 263       {
 264         tree decl = get_callee_fndecl (stmt);
 265         if (decl
 266             && DECL_BUILT_IN_CLASS (decl) == BUILT_IN_NORMAL
 267             && DECL_FUNCTION_CODE (decl) == BUILT_IN_SETJMP)
 268           {
 269             data->calls_builtin_setjmp = true;
 270             lower_builtin_setjmp (tsi);
 271             return;
 272           }
 273       }
 274       break;
 275
 276     case OMP_PARALLEL:
 277       lower_omp_directive (tsi, data);
 278       return;
 279
 280     default:
 281       gcc_unreachable ();
 282     }
 283
 284   tsi_next (tsi);
 285 }
 286
 287 /* Lower a bind_expr TSI.  DATA is passed through the recursion.  */
 288
 289 static void
 290 lower_bind_expr (tree_stmt_iterator *tsi, struct lower_data *data)
 291 {
 292   tree old_block = data->block;
 293   tree stmt = tsi_stmt (*tsi);
 294   tree new_block = BIND_EXPR_BLOCK (stmt);
 295
 296   if (new_block)
 297     {
 298       if (new_block == old_block)
 299         {
 300           /* The outermost block of the original function may not be the
 301              outermost statement chain of the gimplified function.  So we
 302              may see the outermost block just inside the function.  */
 303           gcc_assert (new_block == DECL_INITIAL (current_function_decl));
 304           new_block = NULL;
 305         }
 306       else
 307         {
 308           /* We do not expect to handle duplicate blocks.  */
 309           gcc_assert (!TREE_ASM_WRITTEN (new_block));
 310           TREE_ASM_WRITTEN (new_block) = 1;
 311
 312           /* Block tree may get clobbered by inlining.  Normally this would
 313              be fixed in rest_of_decl_compilation using block notes, but
 314              since we are not going to emit them, it is up to us.  */
 315           BLOCK_CHAIN (new_block) = BLOCK_SUBBLOCKS (old_block);
 316           BLOCK_SUBBLOCKS (old_block) = new_block;
 317           BLOCK_SUBBLOCKS (new_block) = NULL_TREE;
 318           BLOCK_SUPERCONTEXT (new_block) = old_block;
 319
 320           data->block = new_block;
 321         }
 322     }
 323
 324   record_vars (BIND_EXPR_VARS (stmt));
 325   lower_stmt_body (BIND_EXPR_BODY (stmt), data);
 326
 327   if (new_block)
 328     {
 329       gcc_assert (data->block == new_block);
 330
 331       BLOCK_SUBBLOCKS (new_block)
 332         = blocks_nreverse (BLOCK_SUBBLOCKS (new_block));
 333       data->block = old_block;
 334     }
 335
 336   /* The BIND_EXPR no longer carries any useful information -- kill it.  */
 337   tsi_link_before (tsi, BIND_EXPR_BODY (stmt), TSI_SAME_STMT);
 338   tsi_delink (tsi);
 339 }
 340
 341 /* Try to determine whether a TRY_CATCH expression can fall through.
 342    This is a subroutine of block_may_fallthru.  */
 343
 344 static bool
 345 try_catch_may_fallthru (const_tree stmt)
 346 {
 347   tree_stmt_iterator i;
 348
 349   /* If the TRY block can fall through, the whole TRY_CATCH can
 350      fall through.  */
 351   if (block_may_fallthru (TREE_OPERAND (stmt, 0)))
 352     return true;
 353
 354   i = tsi_start (TREE_OPERAND (stmt, 1));
 355   switch (TREE_CODE (tsi_stmt (i)))
 356     {
 357     case CATCH_EXPR:
 358       /* We expect to see a sequence of CATCH_EXPR trees, each with a
 359          catch expression and a body.  The whole TRY_CATCH may fall
 360          through iff any of the catch bodies falls through.  */
 361       for (; !tsi_end_p (i); tsi_next (&i))
 362         {
 363           if (block_may_fallthru (CATCH_BODY (tsi_stmt (i))))
 364             return true;
 365         }
 366       return false;
 367
 368     case EH_FILTER_EXPR:
 369       /* The exception filter expression only matters if there is an
 370          exception.  If the exception does not match EH_FILTER_TYPES,
 371          we will execute EH_FILTER_FAILURE, and we will fall through
 372          if that falls through.  If the exception does match
 373          EH_FILTER_TYPES, the stack unwinder will continue up the
 374          stack, so we will not fall through.  We don't know whether we
 375          will throw an exception which matches EH_FILTER_TYPES or not,
 376          so we just ignore EH_FILTER_TYPES and assume that we might
 377          throw an exception which doesn't match.  */
 378       return block_may_fallthru (EH_FILTER_FAILURE (tsi_stmt (i)));
 379
 380     default:
 381       /* This case represents statements to be executed when an
 382          exception occurs.  Those statements are implicitly followed
 383          by a RESX_EXPR to resume execution after the exception.  So
 384          in this case the TRY_CATCH never falls through.  */
 385       return false;
 386     }
 387 }
 388
 389 /* Try to determine if we can fall out of the bottom of BLOCK.  This guess
 390    need not be 100% accurate; simply be conservative and return true if we
 391    don't know.  This is used only to avoid stupidly generating extra code.
 392    If we're wrong, we'll just delete the extra code later.  */
 393
 394 bool
 395 block_may_fallthru (const_tree block)
 396 {
 397   /* This CONST_CAST is okay because expr_last returns it's argument
 398      unmodified and we assign it to a const_tree.  */
 399   const_tree stmt = expr_last (CONST_CAST_TREE(block));
 400
 401   switch (stmt ? TREE_CODE (stmt) : ERROR_MARK)
 402     {
 403     case GOTO_EXPR:
 404     case RETURN_EXPR:
 405     case RESX_EXPR:
 406       /* Easy cases.  If the last statement of the block implies
 407          control transfer, then we can't fall through.  */
 408       return false;
 409
 410     case SWITCH_EXPR:
 411       /* If SWITCH_LABELS is set, this is lowered, and represents a
 412          branch to a selected label and hence can not fall through.
 413          Otherwise SWITCH_BODY is set, and the switch can fall
 414          through.  */
 415       return SWITCH_LABELS (stmt) == NULL_TREE;
 416
 417     case COND_EXPR:
 418       if (block_may_fallthru (COND_EXPR_THEN (stmt)))
 419         return true;
 420       return block_may_fallthru (COND_EXPR_ELSE (stmt));
 421
 422     case BIND_EXPR:
 423       return block_may_fallthru (BIND_EXPR_BODY (stmt));
 424
 425     case TRY_CATCH_EXPR:
 426       return try_catch_may_fallthru (stmt);
 427
 428     case TRY_FINALLY_EXPR:
 429       /* The finally clause is always executed after the try clause,
 430          so if it does not fall through, then the try-finally will not
 431          fall through.  Otherwise, if the try clause does not fall
 432          through, then when the finally clause falls through it will
 433          resume execution wherever the try clause was going.  So the
 434          whole try-finally will only fall through if both the try
 435          clause and the finally clause fall through.  */
 436       return (block_may_fallthru (TREE_OPERAND (stmt, 0))
 437               && block_may_fallthru (TREE_OPERAND (stmt, 1)));
 438
 439     case GIMPLE_MODIFY_STMT:
 440       if (TREE_CODE (GIMPLE_STMT_OPERAND (stmt, 1)) == CALL_EXPR)
 441         stmt = GIMPLE_STMT_OPERAND (stmt, 1);
 442       else
 443         return true;
 444       /* FALLTHRU */
 445
 446     case CALL_EXPR:
 447       /* Functions that do not return do not fall through.  */
 448       return (call_expr_flags (stmt) & ECF_NORETURN) == 0;
 449
 450     case CLEANUP_POINT_EXPR:
 451       return block_may_fallthru (TREE_OPERAND (stmt, 0));
 452
 453     default:
 454       return true;
 455     }
 456 }
 457
 458 /* Lower a cond_expr TSI.  DATA is passed through the recursion.  */
 459
 460 static void
 461 lower_cond_expr (tree_stmt_iterator *tsi, struct lower_data *data)
 462 {
 463   tree stmt = tsi_stmt (*tsi);
 464   bool then_is_goto, else_is_goto;
 465   tree then_branch, else_branch;
 466   tree then_goto, else_goto;
 467
 468   then_branch = COND_EXPR_THEN (stmt);
 469   else_branch = COND_EXPR_ELSE (stmt);
 470
 471   lower_stmt_body (then_branch, data);
 472   lower_stmt_body (else_branch, data);
 473
 474   then_goto = expr_only (then_branch);
 475   then_is_goto = then_goto && simple_goto_p (then_goto);
 476
 477   else_goto = expr_only (else_branch);
 478   else_is_goto = else_goto && simple_goto_p (else_goto);
 479
 480   if (!then_is_goto || !else_is_goto)
 481     {
 482       tree then_label, else_label, end_label, t;
 483
 484       then_label = NULL_TREE;
 485       else_label = NULL_TREE;
 486       end_label = NULL_TREE;
 487
 488       /* Replace the cond_expr with explicit gotos.  */
 489       if (!then_is_goto)
 490         {
 491           t = build1 (LABEL_EXPR, void_type_node, NULL_TREE);
 492           if (TREE_SIDE_EFFECTS (then_branch))
 493             then_label = t;
 494           else
 495             end_label = t;
 496           then_goto = build_and_jump (&LABEL_EXPR_LABEL (t));
 497         }
 498
 499       if (!else_is_goto)
 500         {
 501           t = build1 (LABEL_EXPR, void_type_node, NULL_TREE);
 502           if (TREE_SIDE_EFFECTS (else_branch))
 503             else_label = t;
 504           else
 505             {
 506               /* Both THEN and ELSE can be no-ops if one or both contained an
 507                  empty BIND_EXPR that was associated with the toplevel block
 508                  of an inlined function.  In that case remove_useless_stmts
 509                  can't have cleaned things up for us; kill the whole
 510                  conditional now.  */
 511               if (end_label)
 512                 {
 513                   tsi_delink (tsi);
 514                   return;
 515                 }
 516               else
 517                 end_label = t;
 518             }
 519           else_goto = build_and_jump (&LABEL_EXPR_LABEL (t));
 520         }
 521
 522       if (then_label)
 523         {
 524           bool may_fallthru = block_may_fallthru (then_branch);
 525
 526           tsi_link_after (tsi, then_label, TSI_CONTINUE_LINKING);
 527           tsi_link_after (tsi, then_branch, TSI_CONTINUE_LINKING);
 528
 529           if (else_label && may_fallthru)
 530             {
 531               end_label = build1 (LABEL_EXPR, void_type_node, NULL_TREE);
 532               t = build_and_jump (&LABEL_EXPR_LABEL (end_label));
 533               tsi_link_after (tsi, t, TSI_CONTINUE_LINKING);
 534             }
 535         }
 536
 537       if (else_label)
 538         {
 539           tsi_link_after (tsi, else_label, TSI_CONTINUE_LINKING);
 540           tsi_link_after (tsi, else_branch, TSI_CONTINUE_LINKING);
 541         }
 542
 543       if (end_label)
 544         tsi_link_after (tsi, end_label, TSI_CONTINUE_LINKING);
 545     }
 546
 547   COND_EXPR_THEN (stmt) = then_goto;
 548   COND_EXPR_ELSE (stmt) = else_goto;
 549
 550   tsi_next (tsi);
 551 }
 552
 553 /* Lower a return_expr TSI.  DATA is passed through the recursion.  */
 554
 555 static void
 556 lower_return_expr (tree_stmt_iterator *tsi, struct lower_data *data)
 557 {
 558   tree stmt = tsi_stmt (*tsi);
 559   tree value, t, label;
 560
 561   /* Extract the value being returned.  */
 562   value = TREE_OPERAND (stmt, 0);
 563   if (value && TREE_CODE (value) == GIMPLE_MODIFY_STMT)
 564     value = GIMPLE_STMT_OPERAND (value, 1);
 565
 566   /* Match this up with an existing return statement that's been created.  */
 567   for (t = data->return_statements; t ; t = TREE_CHAIN (t))
 568     {
 569       tree tvalue = TREE_OPERAND (TREE_VALUE (t), 0);
 570       if (tvalue && TREE_CODE (tvalue) == GIMPLE_MODIFY_STMT)
 571         tvalue = GIMPLE_STMT_OPERAND (tvalue, 1);
 572
 573       if (value == tvalue)
 574         {
 575           label = TREE_PURPOSE (t);
 576           goto found;
 577         }
 578     }
 579
 580   /* Not found.  Create a new label and record the return statement.  */
 581   label = create_artificial_label ();
 582   data->return_statements = tree_cons (label, stmt, data->return_statements);
 583
 584   /* Generate a goto statement and remove the return statement.  */
 585  found:
 586   t = build1 (GOTO_EXPR, void_type_node, label);
 587   SET_EXPR_LOCUS (t, EXPR_LOCUS (stmt));
 588   tsi_link_before (tsi, t, TSI_SAME_STMT);
 589   tsi_delink (tsi);
 590 }
 591
 592 /* Lower a __builtin_setjmp TSI.
 593
 594    __builtin_setjmp is passed a pointer to an array of five words (not
 595    all will be used on all machines).  It operates similarly to the C
 596    library function of the same name, but is more efficient.
 597
 598    It is lowered into 3 other builtins, namely __builtin_setjmp_setup,
 599    __builtin_setjmp_dispatcher and __builtin_setjmp_receiver, but with
 600    __builtin_setjmp_dispatcher shared among all the instances; that's
 601    why it is only emitted at the end by lower_function_body.
 602
 603    After full lowering, the body of the function should look like:
 604
 605     {
 606       void * setjmpvar.0;
 607       int D.1844;
 608       int D.2844;
 609
 610       [...]
 611
 612       __builtin_setjmp_setup (&buf, &<D1847>);
 613       D.1844 = 0;
 614       goto <D1846>;
 615       <D1847>:;
 616       __builtin_setjmp_receiver (&<D1847>);
 617       D.1844 = 1;
 618       <D1846>:;
 619       if (D.1844 == 0) goto <D1848>; else goto <D1849>;
 620
 621       [...]
 622
 623       __builtin_setjmp_setup (&buf, &<D2847>);
 624       D.2844 = 0;
 625       goto <D2846>;
 626       <D2847>:;
 627       __builtin_setjmp_receiver (&<D2847>);
 628       D.2844 = 1;
 629       <D2846>:;
 630       if (D.2844 == 0) goto <D2848>; else goto <D2849>;
 631
 632       [...]
 633
 634       <D3850>:;
 635       return;
 636       <D3853>: [non-local];
 637       setjmpvar.0 = __builtin_setjmp_dispatcher (&<D3853>);
 638       goto setjmpvar.0;
 639     }
 640
 641    The dispatcher block will be both the unique destination of all the
 642    abnormal call edges and the unique source of all the abnormal edges
 643    to the receivers, thus keeping the complexity explosion localized.  */
 644
 645 static void
 646 lower_builtin_setjmp (tree_stmt_iterator *tsi)
 647 {
 648   tree stmt = tsi_stmt (*tsi);
 649   tree cont_label = create_artificial_label ();
 650   tree next_label = create_artificial_label ();
 651   tree dest, t, arg;
 652
 653   /* NEXT_LABEL is the label __builtin_longjmp will jump to.  Its address is
 654      passed to both __builtin_setjmp_setup and __builtin_setjmp_receiver.  */
 655   FORCED_LABEL (next_label) = 1;
 656
 657   if (TREE_CODE (stmt) == GIMPLE_MODIFY_STMT)
 658     {
 659       dest = GIMPLE_STMT_OPERAND (stmt, 0);
 660       stmt = GIMPLE_STMT_OPERAND (stmt, 1);
 661     }
 662   else
 663     dest = NULL_TREE;
 664
 665   /* Build '__builtin_setjmp_setup (BUF, NEXT_LABEL)' and insert.  */
 666   arg = build_addr (next_label, current_function_decl);
 667   t = implicit_built_in_decls[BUILT_IN_SETJMP_SETUP];
 668   t = build_call_expr (t, 2, CALL_EXPR_ARG (stmt, 0), arg);
 669   SET_EXPR_LOCUS (t, EXPR_LOCUS (stmt));
 670   tsi_link_before (tsi, t, TSI_SAME_STMT);
 671
 672   /* Build 'DEST = 0' and insert.  */
 673   if (dest)
 674     {
 675       t = build_gimple_modify_stmt (dest, fold_convert (TREE_TYPE (dest),
 676                                                         integer_zero_node));
 677       SET_EXPR_LOCUS (t, EXPR_LOCUS (stmt));
 678       tsi_link_before (tsi, t, TSI_SAME_STMT);
 679     }
 680
 681   /* Build 'goto CONT_LABEL' and insert.  */
 682   t = build1 (GOTO_EXPR, void_type_node, cont_label);
 683   tsi_link_before (tsi, t, TSI_SAME_STMT);
 684
 685   /* Build 'NEXT_LABEL:' and insert.  */
 686   t = build1 (LABEL_EXPR, void_type_node, next_label);
 687   tsi_link_before (tsi, t, TSI_SAME_STMT);
 688
 689   /* Build '__builtin_setjmp_receiver (NEXT_LABEL)' and insert.  */
 690   arg = build_addr (next_label, current_function_decl);
 691   t = implicit_built_in_decls[BUILT_IN_SETJMP_RECEIVER];
 692   t = build_call_expr (t, 1, arg);
 693   SET_EXPR_LOCUS (t, EXPR_LOCUS (stmt));
 694   tsi_link_before (tsi, t, TSI_SAME_STMT);
 695
 696   /* Build 'DEST = 1' and insert.  */
 697   if (dest)
 698     {
 699       t = build_gimple_modify_stmt (dest, fold_convert (TREE_TYPE (dest),
 700                                                         integer_one_node));
 701       SET_EXPR_LOCUS (t, EXPR_LOCUS (stmt));
 702       tsi_link_before (tsi, t, TSI_SAME_STMT);
 703     }
 704
 705   /* Build 'CONT_LABEL:' and insert.  */
 706   t = build1 (LABEL_EXPR, void_type_node, cont_label);
 707   tsi_link_before (tsi, t, TSI_SAME_STMT);
 708
 709   /* Remove the call to __builtin_setjmp.  */
 710   tsi_delink (tsi);
 711 }
 712 \f
 713
 714 /* Record the variables in VARS into function FN.  */
 715
 716 void
 717 record_vars_into (tree vars, tree fn)
 718 {
 719   if (fn != current_function_decl)
 720     push_cfun (DECL_STRUCT_FUNCTION (fn));
 721
 722   for (; vars; vars = TREE_CHAIN (vars))
 723     {
 724       tree var = vars;
 725
 726       /* BIND_EXPRs contains also function/type/constant declarations
 727          we don't need to care about.  */
 728       if (TREE_CODE (var) != VAR_DECL)
 729         continue;
 730
 731       /* Nothing to do in this case.  */
 732       if (DECL_EXTERNAL (var))
 733         continue;
 734
 735       /* Record the variable.  */
 736       cfun->unexpanded_var_list = tree_cons (NULL_TREE, var,
 737                                              cfun->unexpanded_var_list);
 738     }
 739
 740   if (fn != current_function_decl)
 741     pop_cfun ();
 742 }
 743
 744
 745 /* Record the variables in VARS into current_function_decl.  */
 746
 747 void
 748 record_vars (tree vars)
 749 {
 750   record_vars_into (vars, current_function_decl);
 751 }
 752
 753
 754 /* Mark BLOCK used if it has a used variable in it, then recurse over its
 755    subblocks.  */
 756
 757 static void
 758 mark_blocks_with_used_vars (tree block)
 759 {
 760   tree var;
 761   tree subblock;
 762
 763   if (!TREE_USED (block))
 764     {
 765       for (var = BLOCK_VARS (block);
 766            var;
 767            var = TREE_CHAIN (var))
 768         {
 769           if (TREE_USED (var))
 770             {
 771               TREE_USED (block) = true;
 772               break;
 773             }
 774         }
 775     }
 776   for (subblock = BLOCK_SUBBLOCKS (block);
 777        subblock;
 778        subblock = BLOCK_CHAIN (subblock))
 779     mark_blocks_with_used_vars (subblock);
 780 }
 781
 782 /* Mark the used attribute on blocks correctly.  */
 783
 784 static unsigned int
 785 mark_used_blocks (void)
 786 {
 787   mark_blocks_with_used_vars (DECL_INITIAL (current_function_decl));
 788   return 0;
 789 }
 790
 791
 792 struct tree_opt_pass pass_mark_used_blocks =
 793 {
 794   "blocks",                             /* name */
 795   NULL,                                 /* gate */
 796   mark_used_blocks,                     /* execute */
 797   NULL,                                 /* sub */
 798   NULL,                                 /* next */
 799   0,                                    /* static_pass_number */
 800   0,                                    /* tv_id */
 801   0,                                    /* properties_required */
 802   0,                                    /* properties_provided */
 803   0,                                    /* properties_destroyed */
 804   0,                                    /* todo_flags_start */
 805   TODO_dump_func,                       /* todo_flags_finish */
 806   0                                     /* letter */
 807 };