/* Built-in and inline functions for gcj
- Copyright (C) 2001, 2003, 2004, 2005, 2006, 2007
+ Copyright (C) 2001, 2003, 2004, 2005, 2006, 2007, 2009
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 2, or (at your option)
+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,
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 COPYING. If not, write to
-the Free Software Foundation, 51 Franklin Street, Fifth Floor,
-Boston, MA 02110-1301, USA.
+.
+
+.
Java and all Java-based marks are trademarks or registered trademarks
of Sun Microsystems, Inc. in the United States and other countries.
static tree compareAndSwapObject_builtin (tree, tree);
static tree putVolatile_builtin (tree, tree);
static tree getVolatile_builtin (tree, tree);
-
+static tree VMSupportsCS8_builtin (tree, tree);
\f
/* Functions of this type are used to inline a given call. Such a
function should either return an expression, if the call is to be
inlined, or NULL_TREE if a real call should be emitted. Arguments
- are method return type and arguments to call. */
+ are method return type and the original CALL_EXPR containing the
+ arguments to the call. */
typedef tree builtin_creator_function (tree, tree);
/* Hold a char*, before initialization, or a tree, after
{ { "sun.misc.Unsafe" }, { "getIntVolatile" }, getVolatile_builtin, 0},
{ { "sun.misc.Unsafe" }, { "getLongVolatile" }, getVolatile_builtin, 0},
{ { "sun.misc.Unsafe" }, { "getLong" }, getVolatile_builtin, 0},
+ { { "java.util.concurrent.atomic.AtomicLong" }, { "VMSupportsCS8" },
+ VMSupportsCS8_builtin, 0},
{ { NULL }, { NULL }, NULL, END_BUILTINS }
};
/* Internal functions which implement various builtin conversions. */
static tree
-max_builtin (tree method_return_type, tree method_arguments)
+max_builtin (tree method_return_type, tree orig_call)
{
/* MAX_EXPR does not handle -0.0 in the Java style. */
if (TREE_CODE (method_return_type) == REAL_TYPE)
return NULL_TREE;
return fold_build2 (MAX_EXPR, method_return_type,
- TREE_VALUE (method_arguments),
- TREE_VALUE (TREE_CHAIN (method_arguments)));
+ CALL_EXPR_ARG (orig_call, 0),
+ CALL_EXPR_ARG (orig_call, 1));
}
static tree
-min_builtin (tree method_return_type, tree method_arguments)
+min_builtin (tree method_return_type, tree orig_call)
{
/* MIN_EXPR does not handle -0.0 in the Java style. */
if (TREE_CODE (method_return_type) == REAL_TYPE)
return NULL_TREE;
return fold_build2 (MIN_EXPR, method_return_type,
- TREE_VALUE (method_arguments),
- TREE_VALUE (TREE_CHAIN (method_arguments)));
+ CALL_EXPR_ARG (orig_call, 0),
+ CALL_EXPR_ARG (orig_call, 1));
}
static tree
-abs_builtin (tree method_return_type, tree method_arguments)
+abs_builtin (tree method_return_type, tree orig_call)
{
return fold_build1 (ABS_EXPR, method_return_type,
- TREE_VALUE (method_arguments));
+ CALL_EXPR_ARG (orig_call, 0));
}
-/* Mostly copied from ../builtins.c. */
+/* Construct a new call to FN using the arguments from ORIG_CALL. */
+
static tree
-java_build_function_call_expr (tree fn, tree arglist)
+java_build_function_call_expr (tree fn, tree orig_call)
{
- tree call_expr;
-
- call_expr = build1 (ADDR_EXPR, build_pointer_type (TREE_TYPE (fn)), fn);
- return fold_build3 (CALL_EXPR, TREE_TYPE (TREE_TYPE (fn)),
- call_expr, arglist, NULL_TREE);
+ int nargs = call_expr_nargs (orig_call);
+ switch (nargs)
+ {
+ /* Although we could handle the 0-3 argument cases using the general
+ logic in the default case, splitting them out permits folding to
+ be performed without constructing a temporary CALL_EXPR. */
+ case 0:
+ return build_call_expr (fn, 0);
+ case 1:
+ return build_call_expr (fn, 1, CALL_EXPR_ARG (orig_call, 0));
+ case 2:
+ return build_call_expr (fn, 2,
+ CALL_EXPR_ARG (orig_call, 0),
+ CALL_EXPR_ARG (orig_call, 1));
+ case 3:
+ return build_call_expr (fn, 3,
+ CALL_EXPR_ARG (orig_call, 0),
+ CALL_EXPR_ARG (orig_call, 1),
+ CALL_EXPR_ARG (orig_call, 2));
+ default:
+ {
+ tree fntype = TREE_TYPE (fn);
+ fn = build1 (ADDR_EXPR, build_pointer_type (fntype), fn);
+ return fold (build_call_array (TREE_TYPE (fntype),
+ fn, nargs, CALL_EXPR_ARGP (orig_call)));
+ }
+ }
}
static tree
-convert_real (tree method_return_type, tree method_arguments)
+convert_real (tree method_return_type, tree orig_call)
{
return build1 (VIEW_CONVERT_EXPR, method_return_type,
- TREE_VALUE (method_arguments));
+ CALL_EXPR_ARG (orig_call, 0));
}
\f
*/
-/* Macros to unmarshal arguments from a TREE_LIST into a few
+/* Macros to unmarshal arguments from a CALL_EXPR into a few
variables. We also convert the offset arg from a long to an
integer that is the same size as a pointer. */
-#define UNMARSHAL3(METHOD_ARGUMENTS) \
+#define UNMARSHAL3(METHOD_CALL) \
tree this_arg, obj_arg, offset_arg; \
do \
{ \
- tree chain = METHOD_ARGUMENTS; \
- this_arg = TREE_VALUE (chain); \
- chain = TREE_CHAIN (chain); \
- obj_arg = TREE_VALUE (chain); \
- chain = TREE_CHAIN (chain); \
+ tree orig_method_call = METHOD_CALL; \
+ this_arg = CALL_EXPR_ARG (orig_method_call, 0); \
+ obj_arg = CALL_EXPR_ARG (orig_method_call, 1); \
offset_arg = fold_convert (java_type_for_size (POINTER_SIZE, 0), \
- TREE_VALUE (chain)); \
+ CALL_EXPR_ARG (orig_method_call, 2)); \
} \
while (0)
-#define UNMARSHAL4(METHOD_ARGUMENTS) \
+#define UNMARSHAL4(METHOD_CALL) \
tree value_type, this_arg, obj_arg, offset_arg, value_arg; \
do \
{ \
- tree chain = METHOD_ARGUMENTS; \
- this_arg = TREE_VALUE (chain); \
- chain = TREE_CHAIN (chain); \
- obj_arg = TREE_VALUE (chain); \
- chain = TREE_CHAIN (chain); \
+ tree orig_method_call = METHOD_CALL; \
+ this_arg = CALL_EXPR_ARG (orig_method_call, 0); \
+ obj_arg = CALL_EXPR_ARG (orig_method_call, 1); \
offset_arg = fold_convert (java_type_for_size (POINTER_SIZE, 0), \
- TREE_VALUE (chain)); \
- chain = TREE_CHAIN (chain); \
- value_arg = TREE_VALUE (chain); \
+ CALL_EXPR_ARG (orig_method_call, 2)); \
+ value_arg = CALL_EXPR_ARG (orig_method_call, 3); \
value_type = TREE_TYPE (value_arg); \
} \
while (0)
-#define UNMARSHAL5(METHOD_ARGUMENTS) \
+#define UNMARSHAL5(METHOD_CALL) \
tree value_type, this_arg, obj_arg, offset_arg, expected_arg, value_arg; \
do \
{ \
- tree chain = METHOD_ARGUMENTS; \
- this_arg = TREE_VALUE (chain); \
- chain = TREE_CHAIN (chain); \
- obj_arg = TREE_VALUE (chain); \
- chain = TREE_CHAIN (chain); \
+ tree orig_method_call = METHOD_CALL; \
+ this_arg = CALL_EXPR_ARG (orig_method_call, 0); \
+ obj_arg = CALL_EXPR_ARG (orig_method_call, 1); \
offset_arg = fold_convert (java_type_for_size (POINTER_SIZE, 0), \
- TREE_VALUE (chain)); \
- chain = TREE_CHAIN (chain); \
- expected_arg = TREE_VALUE (chain); \
- chain = TREE_CHAIN (chain); \
- value_arg = TREE_VALUE (chain); \
+ CALL_EXPR_ARG (orig_method_call, 2)); \
+ expected_arg = CALL_EXPR_ARG (orig_method_call, 3); \
+ value_arg = CALL_EXPR_ARG (orig_method_call, 4); \
value_type = TREE_TYPE (value_arg); \
} \
while (0)
-/* Construct an arglist from a call. */
-
-static tree
-build_arglist_for_builtin (tree arg, ...)
-{
- va_list ap;
- tree nextarg;
- tree newarglist = build_tree_list (NULL_TREE, arg);
-
- va_start(ap, arg);
- while ((nextarg = va_arg(ap, tree)))
- newarglist = tree_cons (NULL_TREE, nextarg, newarglist);
-
- return nreverse (newarglist);
-}
-
/* Add an address to an offset, forming a sum. */
static tree
build_addr_sum (tree type, tree addr, tree offset)
{
tree ptr_type = build_pointer_type (type);
- return fold_build2 (PLUS_EXPR,
- ptr_type,
- fold_convert (ptr_type, addr), offset);
+ return fold_build2 (POINTER_PLUS_EXPR,
+ ptr_type,
+ fold_convert (ptr_type, addr),
+ fold_convert (sizetype, offset));
}
/* Make sure that this-arg is non-NULL. This is a security check. */
static tree
putObject_builtin (tree method_return_type ATTRIBUTE_UNUSED,
- tree method_arguments)
+ tree orig_call)
{
tree addr, stmt;
- UNMARSHAL4 (method_arguments);
+ UNMARSHAL4 (orig_call);
addr = build_addr_sum (value_type, obj_arg, offset_arg);
stmt = fold_build2 (MODIFY_EXPR, value_type,
static tree
compareAndSwapInt_builtin (tree method_return_type ATTRIBUTE_UNUSED,
- tree method_arguments)
+ tree orig_call)
{
enum machine_mode mode = TYPE_MODE (int_type_node);
- if (sync_compare_and_swap_cc[mode] != CODE_FOR_nothing
- || sync_compare_and_swap[mode] != CODE_FOR_nothing)
+ if (sync_compare_and_swap[mode] != CODE_FOR_nothing)
{
- tree newarglist, addr, stmt;
- UNMARSHAL5 (method_arguments);
+ tree addr, stmt;
+ UNMARSHAL5 (orig_call);
addr = build_addr_sum (int_type_node, obj_arg, offset_arg);
-
- newarglist
- = build_arglist_for_builtin (addr, expected_arg, value_arg, NULL_TREE);
- stmt = (build_function_call_expr
- (built_in_decls[BUILT_IN_BOOL_COMPARE_AND_SWAP_4],
- newarglist));
+ stmt = build_call_expr (built_in_decls[BUILT_IN_BOOL_COMPARE_AND_SWAP_4],
+ 3, addr, expected_arg, value_arg);
return build_check_this (stmt, this_arg);
}
static tree
compareAndSwapLong_builtin (tree method_return_type ATTRIBUTE_UNUSED,
- tree method_arguments)
+ tree orig_call)
{
enum machine_mode mode = TYPE_MODE (long_type_node);
- if (sync_compare_and_swap_cc[mode] != CODE_FOR_nothing
- || sync_compare_and_swap[mode] != CODE_FOR_nothing)
+ if (sync_compare_and_swap[mode] != CODE_FOR_nothing)
{
- tree newarglist, addr, stmt;
- UNMARSHAL5 (method_arguments);
+ tree addr, stmt;
+ UNMARSHAL5 (orig_call);
addr = build_addr_sum (long_type_node, obj_arg, offset_arg);
-
- newarglist
- = build_arglist_for_builtin (addr, expected_arg, value_arg, NULL_TREE);
- stmt = (build_function_call_expr
- (built_in_decls[BUILT_IN_BOOL_COMPARE_AND_SWAP_8],
- newarglist));
+ stmt = build_call_expr (built_in_decls[BUILT_IN_BOOL_COMPARE_AND_SWAP_8],
+ 3, addr, expected_arg, value_arg);
return build_check_this (stmt, this_arg);
}
}
static tree
compareAndSwapObject_builtin (tree method_return_type ATTRIBUTE_UNUSED,
- tree method_arguments)
+ tree orig_call)
{
enum machine_mode mode = TYPE_MODE (ptr_type_node);
- if (sync_compare_and_swap_cc[mode] != CODE_FOR_nothing
- || sync_compare_and_swap[mode] != CODE_FOR_nothing)
+ if (sync_compare_and_swap[mode] != CODE_FOR_nothing)
{
- tree newarglist, addr, stmt;
+ tree addr, stmt;
int builtin;
- UNMARSHAL5 (method_arguments);
+ UNMARSHAL5 (orig_call);
builtin = (POINTER_SIZE == 32
? BUILT_IN_BOOL_COMPARE_AND_SWAP_4
: BUILT_IN_BOOL_COMPARE_AND_SWAP_8);
addr = build_addr_sum (value_type, obj_arg, offset_arg);
-
- newarglist
- = build_arglist_for_builtin (addr, expected_arg, value_arg, NULL_TREE);
- stmt = (build_function_call_expr
- (built_in_decls[builtin],
- newarglist));
+ stmt = build_call_expr (built_in_decls[builtin],
+ 3, addr, expected_arg, value_arg);
return build_check_this (stmt, this_arg);
}
static tree
putVolatile_builtin (tree method_return_type ATTRIBUTE_UNUSED,
- tree method_arguments)
+ tree orig_call)
{
- tree newarglist, addr, stmt, modify_stmt;
- UNMARSHAL4 (method_arguments);
+ tree addr, stmt, modify_stmt;
+ UNMARSHAL4 (orig_call);
addr = build_addr_sum (value_type, obj_arg, offset_arg);
addr
= fold_convert (build_pointer_type (build_type_variant (value_type, 0, 1)),
addr);
- newarglist = NULL_TREE;
- stmt = (build_function_call_expr
- (built_in_decls[BUILT_IN_SYNCHRONIZE],
- newarglist));
+ stmt = build_call_expr (built_in_decls[BUILT_IN_SYNCHRONIZE], 0);
modify_stmt = fold_build2 (MODIFY_EXPR, value_type,
build_java_indirect_ref (value_type, addr,
flag_check_references),
static tree
getVolatile_builtin (tree method_return_type ATTRIBUTE_UNUSED,
- tree method_arguments)
+ tree orig_call)
{
- tree newarglist, addr, stmt, modify_stmt, tmp;
- UNMARSHAL3 (method_arguments);
+ tree addr, stmt, modify_stmt, tmp;
+ UNMARSHAL3 (orig_call);
addr = build_addr_sum (method_return_type, obj_arg, offset_arg);
addr
= fold_convert (build_pointer_type (build_type_variant
(method_return_type, 0, 1)), addr);
- newarglist = NULL_TREE;
- stmt = (build_function_call_expr
- (built_in_decls[BUILT_IN_SYNCHRONIZE],
- newarglist));
+ stmt = build_call_expr (built_in_decls[BUILT_IN_SYNCHRONIZE], 0);
tmp = build_decl (VAR_DECL, NULL, method_return_type);
DECL_IGNORED_P (tmp) = 1;
return stmt;
}
-
+
+static tree
+VMSupportsCS8_builtin (tree method_return_type,
+ tree orig_call ATTRIBUTE_UNUSED)
+{
+ enum machine_mode mode = TYPE_MODE (long_type_node);
+ gcc_assert (method_return_type == boolean_type_node);
+ if (sync_compare_and_swap[mode] != CODE_FOR_nothing)
+ return boolean_true_node;
+ else
+ return boolean_false_node;
+}
+
\f
#define BUILTIN_NOTHROW 1
if (optimize && TREE_CODE (call) == CALL_EXPR)
{
int i;
- tree method_arguments = TREE_OPERAND (call, 1);
tree method_class = DECL_NAME (TYPE_NAME (DECL_CONTEXT (method)));
tree method_name = DECL_NAME (method);
tree method_return_type = TREE_TYPE (TREE_TYPE (method));
if (java_builtins[i].creator != NULL)
{
tree result
- = (*java_builtins[i].creator) (method_return_type,
- method_arguments);
+ = (*java_builtins[i].creator) (method_return_type, call);
return result == NULL_TREE ? call : result;
}
fn = built_in_decls[java_builtins[i].builtin_code];
if (fn == NULL_TREE)
return call;
- return java_build_function_call_expr (fn, method_arguments);
+ return java_build_function_call_expr (fn, call);
}
}
}