8bd373026e
2012-02-10 Bill Schmidt <wschmidt@linux.vnet.ibm.com> Ira Rosen <irar@il.ibm.com> PR tree-optimization/50031 * targhooks.c (default_builtin_vectorization_cost): Handle vec_promote_demote. * target.h (enum vect_cost_for_stmt): Add vec_promote_demote. * tree-vect-loop.c (vect_get_single_scalar_iteraion_cost): Handle all types of reduction and pattern statements. (vect_estimate_min_profitable_iters): Likewise. * tree-vect-stmts.c (vect_model_promotion_demotion_cost): New function. (vect_get_load_cost): Use vec_perm for permutations; add dump logic for explicit realigns. (vectorizable_conversion): Call vect_model_promotion_demotion_cost. * config/spu/spu.c (spu_builtin_vectorization_cost): Handle vec_promote_demote. * config/i386/i386.c (ix86_builtin_vectorization_cost): Likewise. * config/rs6000/rs6000.c (rs6000_builtin_vectorization_cost): Update vec_perm for VSX and handle vec_promote_demote. Co-Authored-By: Ira Rosen <irar@il.ibm.com> From-SVN: r184102
191 lines
6.0 KiB
C
191 lines
6.0 KiB
C
/* Data structure definitions for a generic GCC target.
|
|
Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010,
|
|
2011, 2012
|
|
Free Software Foundation, Inc.
|
|
|
|
This program 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.
|
|
|
|
This program 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 this program; see the file COPYING3. If not see
|
|
<http://www.gnu.org/licenses/>.
|
|
|
|
In other words, you are welcome to use, share and improve this program.
|
|
You are forbidden to forbid anyone else to use, share and improve
|
|
what you give them. Help stamp out software-hoarding! */
|
|
|
|
|
|
/* This file contains a data structure that describes a GCC target.
|
|
At present it is incomplete, but in future it should grow to
|
|
contain most or all target machine and target O/S specific
|
|
information.
|
|
|
|
This structure has its initializer declared in target-def.h in the
|
|
form of large macro TARGET_INITIALIZER that expands to many smaller
|
|
macros.
|
|
|
|
The smaller macros each initialize one component of the structure,
|
|
and each has a default. Each target should have a file that
|
|
includes target.h and target-def.h, and overrides any inappropriate
|
|
defaults by undefining the relevant macro and defining a suitable
|
|
replacement. That file should then contain the definition of
|
|
"targetm" like so:
|
|
|
|
struct gcc_target targetm = TARGET_INITIALIZER;
|
|
|
|
Doing things this way allows us to bring together everything that
|
|
defines a GCC target. By supplying a default that is appropriate
|
|
to most targets, we can easily add new items without needing to
|
|
edit dozens of target configuration files. It should also allow us
|
|
to gradually reduce the amount of conditional compilation that is
|
|
scattered throughout GCC. */
|
|
|
|
#ifndef GCC_TARGET_H
|
|
#define GCC_TARGET_H
|
|
|
|
#include "insn-modes.h"
|
|
|
|
#ifdef ENABLE_CHECKING
|
|
|
|
typedef struct { void *magic; void *p; } cumulative_args_t;
|
|
|
|
#else /* !ENABLE_CHECKING */
|
|
|
|
/* When using a GCC build compiler, we could use
|
|
__attribute__((transparent_union)) to get cumulative_args_t function
|
|
arguments passed like scalars where the ABI would mandate a less
|
|
efficient way of argument passing otherwise. However, that would come
|
|
at the cost of less type-safe !ENABLE_CHECKING compilation. */
|
|
|
|
typedef union { void *p; } cumulative_args_t;
|
|
|
|
#endif /* !ENABLE_CHECKING */
|
|
|
|
/* Types used by the record_gcc_switches() target function. */
|
|
typedef enum
|
|
{
|
|
SWITCH_TYPE_PASSED, /* A switch passed on the command line. */
|
|
SWITCH_TYPE_ENABLED, /* An option that is currently enabled. */
|
|
SWITCH_TYPE_DESCRIPTIVE, /* Descriptive text, not a switch or option. */
|
|
SWITCH_TYPE_LINE_START, /* Please emit any necessary text at the start of a line. */
|
|
SWITCH_TYPE_LINE_END /* Please emit a line terminator. */
|
|
}
|
|
print_switch_type;
|
|
|
|
typedef int (* print_switch_fn_type) (print_switch_type, const char *);
|
|
|
|
/* An example implementation for ELF targets. Defined in varasm.c */
|
|
extern int elf_record_gcc_switches (print_switch_type type, const char *);
|
|
|
|
/* Some places still assume that all pointer or address modes are the
|
|
standard Pmode and ptr_mode. These optimizations become invalid if
|
|
the target actually supports multiple different modes. For now,
|
|
we disable such optimizations on such targets, using this function. */
|
|
extern bool target_default_pointer_address_modes_p (void);
|
|
|
|
struct stdarg_info;
|
|
struct spec_info_def;
|
|
struct hard_reg_set_container;
|
|
|
|
/* The struct used by the secondary_reload target hook. */
|
|
typedef struct secondary_reload_info
|
|
{
|
|
/* icode is actually an enum insn_code, but we don't want to force every
|
|
file that includes target.h to include optabs.h . */
|
|
int icode;
|
|
int extra_cost; /* Cost for using (a) scratch register(s) to be taken
|
|
into account by copy_cost. */
|
|
/* The next two members are for the use of the backward
|
|
compatibility hook. */
|
|
struct secondary_reload_info *prev_sri;
|
|
int t_icode; /* Actually an enum insn_code - see above. */
|
|
} secondary_reload_info;
|
|
|
|
/* This is defined in sched-int.h . */
|
|
struct _dep;
|
|
|
|
/* This is defined in ddg.h . */
|
|
struct ddg;
|
|
|
|
/* This is defined in cfgloop.h . */
|
|
struct loop;
|
|
|
|
/* This is defined in tree-ssa-alias.h. */
|
|
struct ao_ref_s;
|
|
|
|
/* Assembler instructions for creating various kinds of integer object. */
|
|
|
|
struct asm_int_op
|
|
{
|
|
const char *hi;
|
|
const char *si;
|
|
const char *di;
|
|
const char *ti;
|
|
};
|
|
|
|
/* Types of costs for vectorizer cost model. */
|
|
enum vect_cost_for_stmt
|
|
{
|
|
scalar_stmt,
|
|
scalar_load,
|
|
scalar_store,
|
|
vector_stmt,
|
|
vector_load,
|
|
unaligned_load,
|
|
unaligned_store,
|
|
vector_store,
|
|
vec_to_scalar,
|
|
scalar_to_vec,
|
|
cond_branch_not_taken,
|
|
cond_branch_taken,
|
|
vec_perm,
|
|
vec_promote_demote
|
|
};
|
|
|
|
/* The target structure. This holds all the backend hooks. */
|
|
#define DEFHOOKPOD(NAME, DOC, TYPE, INIT) TYPE NAME;
|
|
#define DEFHOOK(NAME, DOC, TYPE, PARAMS, INIT) TYPE (* NAME) PARAMS;
|
|
#define DEFHOOK_UNDOC DEFHOOK
|
|
#define HOOKSTRUCT(FRAGMENT) FRAGMENT
|
|
|
|
#include "target.def"
|
|
|
|
extern struct gcc_target targetm;
|
|
|
|
#ifdef GCC_TM_H
|
|
|
|
#ifndef CUMULATIVE_ARGS_MAGIC
|
|
#define CUMULATIVE_ARGS_MAGIC ((void *) &targetm.calls)
|
|
#endif
|
|
|
|
static inline CUMULATIVE_ARGS *
|
|
get_cumulative_args (cumulative_args_t arg)
|
|
{
|
|
#ifdef ENABLE_CHECKING
|
|
gcc_assert (arg.magic == CUMULATIVE_ARGS_MAGIC);
|
|
#endif /* ENABLE_CHECKING */
|
|
return (CUMULATIVE_ARGS *) arg.p;
|
|
}
|
|
|
|
static inline cumulative_args_t
|
|
pack_cumulative_args (CUMULATIVE_ARGS *arg)
|
|
{
|
|
cumulative_args_t ret;
|
|
|
|
#ifdef ENABLE_CHECKING
|
|
ret.magic = CUMULATIVE_ARGS_MAGIC;
|
|
#endif /* ENABLE_CHECKING */
|
|
ret.p = (void *) arg;
|
|
return ret;
|
|
}
|
|
#endif /* GCC_TM_H */
|
|
|
|
#endif /* GCC_TARGET_H */
|