diff options
author | upstream source tree <ports@midipix.org> | 2015-03-15 20:14:05 -0400 |
---|---|---|
committer | upstream source tree <ports@midipix.org> | 2015-03-15 20:14:05 -0400 |
commit | 554fd8c5195424bdbcabf5de30fdc183aba391bd (patch) | |
tree | 976dc5ab7fddf506dadce60ae936f43f58787092 /gcc/java/java-gimplify.c | |
download | cbb-gcc-4.6.4-15d2061ac0796199866debe9ac87130894b0cdd3.tar.bz2 cbb-gcc-4.6.4-15d2061ac0796199866debe9ac87130894b0cdd3.tar.xz |
obtained gcc-4.6.4.tar.bz2 from upstream website;upstream
verified gcc-4.6.4.tar.bz2.sig;
imported gcc-4.6.4 source tree from verified upstream tarball.
downloading a git-generated archive based on the 'upstream' tag
should provide you with a source tree that is binary identical
to the one extracted from the above tarball.
if you have obtained the source via the command 'git clone',
however, do note that line-endings of files in your working
directory might differ from line-endings of the respective
files in the upstream repository.
Diffstat (limited to 'gcc/java/java-gimplify.c')
-rw-r--r-- | gcc/java/java-gimplify.c | 170 |
1 files changed, 170 insertions, 0 deletions
diff --git a/gcc/java/java-gimplify.c b/gcc/java/java-gimplify.c new file mode 100644 index 000000000..3def7223e --- /dev/null +++ b/gcc/java/java-gimplify.c @@ -0,0 +1,170 @@ +/* Java(TM) language-specific gimplification routines. + Copyright (C) 2003, 2004, 2006, 2007, 2007, 2008, 2010 + 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 "tree.h" +#include "java-tree.h" +#include "tree-dump.h" +#include "gimple.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); + } +} |