Subversion Repositories openrisc_2011-10-31

/* Java(TM) language-specific gimplification routines.

   Copyright (C) 2003, 2004, 2006, 2007, 2007, 2008

   Free Software Foundation, Inc.

This file is part of GCC.

GCC is free software; you can redistribute it and/or modify

it under the terms of the GNU General Public License as published by

the Free Software Foundation; either version 3, or (at your option)

any later version.

GCC is distributed in the hope that it will be useful,

but WITHOUT ANY WARRANTY; without even the implied warranty of

MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

GNU General Public License for more details.

You should have received a copy of the GNU General Public License

along with GCC; see the file COPYING3.  If not see

<http://www.gnu.org/licenses/>.

Java and all Java-based marks are trademarks or registered trademarks

of Sun Microsystems, Inc. in the United States and other countries.

The Free Software Foundation is independent of Sun Microsystems, Inc.  */

#include "config.h"

#include "system.h"

#include "coretypes.h"

#include "tm.h"

#include "tree.h"

#include "java-tree.h"

#include "tree-dump.h"

#include "gimple.h"

#include "toplev.h"

static tree java_gimplify_block (tree);

static enum gimplify_status java_gimplify_modify_expr (tree *);

static enum gimplify_status java_gimplify_self_mod_expr (tree *, gimple_seq *,

                                                         gimple_seq *);

static void dump_java_tree (enum tree_dump_index, tree);

/* Convert a Java tree to GENERIC.  */

void

java_genericize (tree fndecl)

{

  walk_tree (&DECL_SAVED_TREE (fndecl), java_replace_references, NULL, NULL);

  dump_java_tree (TDI_original, fndecl);

}

/* Gimplify a Java tree.  */

int

java_gimplify_expr (tree *expr_p, gimple_seq *pre_p, gimple_seq *post_p)

{

  enum tree_code code = TREE_CODE (*expr_p);

  switch (code)

    {

    case BLOCK:

      *expr_p = java_gimplify_block (*expr_p);

      break;

    case MODIFY_EXPR:

      return java_gimplify_modify_expr (expr_p);

    case POSTINCREMENT_EXPR:

    case POSTDECREMENT_EXPR:

    case PREINCREMENT_EXPR:

    case PREDECREMENT_EXPR:

      return java_gimplify_self_mod_expr (expr_p, pre_p, post_p);

    /* These should already be lowered before we get here.  */

    case URSHIFT_EXPR:

    case COMPARE_EXPR:

    case COMPARE_L_EXPR:

    case COMPARE_G_EXPR:

      gcc_unreachable ();

    default:

      return GS_UNHANDLED;

    }

  return GS_OK;

}

static enum gimplify_status

java_gimplify_modify_expr (tree *modify_expr_p)

{

  tree modify_expr = *modify_expr_p;

  tree lhs = TREE_OPERAND (modify_expr, 0);

  tree rhs = TREE_OPERAND (modify_expr, 1);

  tree lhs_type = TREE_TYPE (lhs);

  if (lhs_type != TREE_TYPE (rhs))

    /* Fix up type mismatches to make legal GIMPLE.  These are

       generated in several places, in particular null pointer

       assignment and subclass assignment.  */

    TREE_OPERAND (modify_expr, 1) = convert (lhs_type, rhs);

  return GS_UNHANDLED;

}

/*  Special case handling for volatiles: we need to generate a barrier

    between the reading and the writing.  */

static enum gimplify_status

java_gimplify_self_mod_expr (tree *expr_p, gimple_seq *pre_p ATTRIBUTE_UNUSED,

                             gimple_seq *post_p ATTRIBUTE_UNUSED)

{

  tree lhs = TREE_OPERAND (*expr_p, 0);

  if (TREE_CODE (lhs) == COMPONENT_REF

      && TREE_THIS_VOLATILE (TREE_OPERAND (lhs, 1)))

    TREE_THIS_VOLATILE (lhs) = 1;

  return GS_UNHANDLED;

}

/* Gimplify BLOCK into a BIND_EXPR.  */

static tree

java_gimplify_block (tree java_block)

{

  tree decls = BLOCK_VARS (java_block);

  tree body = BLOCK_EXPR_BODY (java_block);

  gimple outer = gimple_current_bind_expr ();

  tree block;

  /* Don't bother with empty blocks.  */

  if (! body)

    return build_empty_stmt (input_location);

  if (IS_EMPTY_STMT (body))

    return body;

  /* Make a proper block.  Java blocks are unsuitable for BIND_EXPR

     because they use BLOCK_SUBBLOCKS for another purpose.  */

  block = make_node (BLOCK);

  BLOCK_VARS (block) = decls;

  /* The TREE_USED flag on a block determines whether the debug output

     routines generate info for the variables in that block.  */

  TREE_USED (block) = 1;

  if (outer != NULL)

    {

      tree b = gimple_bind_block (outer);

      BLOCK_SUBBLOCKS (b) = chainon (BLOCK_SUBBLOCKS (b), block);

    }

  BLOCK_EXPR_BODY (java_block) = NULL_TREE;

  return build3 (BIND_EXPR, TREE_TYPE (java_block), decls, body, block);

}

/* Dump a tree of some kind.  This is a convenience wrapper for the

   dump_* functions in tree-dump.c.  */

static void

dump_java_tree (enum tree_dump_index phase, tree t)

{

  FILE *stream;

  int flags;

  stream = dump_begin (phase, &flags);

  flags |= TDF_SLIM;

  if (stream)

    {

      dump_node (t, flags, stream);

      dump_end (phase, stream);

    }

}