FreeChainXenon/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

re PR target/20625 (ivopts produces code that generates "unaligned access exception")

Browse source 
PR target/20625
	* tree-ssa-loop-ivopts.c (generic_type_for): New function.
	(add_candidate_1): Use generic_type_for instead of unsigned_type_for.

From-SVN: r97674
This commit is contained in:
Zdenek Dvorak 2005-04-06 01:57:01 +02:00 • committed by Zdenek Dvorak
parent c33e657d34
commit d482f417e4
2 changed files with 26 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
gcc/ChangeLog
View file

@ -1,3 +1,9 @@
2005-04-06 Zdenek Dvorak <dvorakz@suse.cz>
PR target/20625
* tree-ssa-loop-ivopts.c (generic_type_for): New function.
(add_candidate_1): Use generic_type_for instead of unsigned_type_for.
2005-04-06 Zdenek Dvorak <dvorakz@suse.cz>
* tree-flow.h (number_of_iterations_cond): Declaration removed.

24
gcc/tree-ssa-loop-ivopts.c
View file

@ -1841,6 +1841,22 @@ strip_offset (tree expr, bool inside_addr, unsigned HOST_WIDE_INT *offset)
return fold_convert (orig_type, expr);
}
/* Returns variant of TYPE that can be used as base for different uses.
For integer types, we return unsigned variant of the type, which
avoids problems with overflows. For pointer types, we return void *. */
static tree
generic_type_for (tree type)
{
if (POINTER_TYPE_P (type))
return ptr_type_node;
if (TYPE_UNSIGNED (type))
return type;
return unsigned_type_for (type);
}
/* Adds a candidate BASE + STEP * i. Important field is set to IMPORTANT and
position to POS. If USE is not NULL, the candidate is set as related to
it. If both BASE and STEP are NULL, we add a pseudocandidate for the
@ -1853,14 +1869,14 @@ add_candidate_1 (struct ivopts_data *data,
{
unsigned i;
struct iv_cand *cand = NULL;
tree type;
tree type, orig_type;
if (base)
{
type = TREE_TYPE (base);
if (!TYPE_UNSIGNED (type))
orig_type = TREE_TYPE (base);
type = generic_type_for (orig_type);
if (type != orig_type)
{
type = unsigned_type_for (type);
base = fold_convert (type, base);
if (step)
step = fold_convert (type, step);