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

re PR rtl-optimization/23585 (mem_fun* code fine with -O1, bus error with -O2)

Browse source 
PR rtl-optimization/23585
	* rtlanal.c (rtx_addr_can_trap_p_1) <PLUS>: Return 0 for an address
	that can't trap plus a constant integer, if the mode has zero size.

From-SVN: r106427
This commit is contained in:
Eric Botcazou 2005-11-03 12:31:46 +01:00 • committed by Eric Botcazou
parent ac746a73f0
commit bb11103a96
4 changed files with 72 additions and 1 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-11-03 Eric Botcazou <ebotcazou@libertysurf.fr>
PR rtl-optimization/23585
* rtlanal.c (rtx_addr_can_trap_p_1) <PLUS>: Return 0 for an address
that can't trap plus a constant integer, if the mode has zero size.
2005-11-03 Ulrich Weigand <uweigand@de.ibm.com>
PR target/24620

4
gcc/rtlanal.c
View file

@ -267,7 +267,9 @@ rtx_addr_can_trap_p_1 (rtx x, enum machine_mode mode, bool unaligned_mems)
{
HOST_WIDE_INT offset;
if (!STRICT_ALIGNMENT || !unaligned_mems)
if (!STRICT_ALIGNMENT
|| !unaligned_mems
|| GET_MODE_SIZE (mode) == 0)
return 0;
offset = INTVAL (XEXP (x, 1));

4
gcc/testsuite/ChangeLog
View file

@ -1,3 +1,7 @@
2005-11-03 Eric Botcazou <ebotcazou@libertysurf.fr>
* gcc.dg/delay-slot-1.c: New test.
2005-11-03 Ulrich Weigand <uweigand@de.ibm.com>
PR target/24620

59
gcc/testsuite/gcc.dg/delay-slot-1.c Normal file
View file

@ -0,0 +1,59 @@
/* { dg-do compile } */
/* { dg-options "-O2" } */
/* { dg-options "-O2 -mabi=64" { target mips-*-linux } } */
struct offset_v1 {
int k_uniqueness;
};
struct offset_v2 {
long v;
} __attribute__ ((__packed__));
struct reiserfs_key {
int k_objectid;
union {
struct offset_v1 k_offset_v1;
struct offset_v2 k_offset_v2;
} u;
};
struct item_head
{
struct reiserfs_key ih_key;
int ih_version;
};
static void set_offset_v2_k_type(struct offset_v2 *v2)
{
v2->v &= 1;
}
static void set_le_key_k_type (int version, struct reiserfs_key * key)
{
version ? (key->u.k_offset_v1.k_uniqueness = 1)
: set_offset_v2_k_type(&(key->u.k_offset_v2));
}
static void set_le_ih_k_type (struct item_head * ih)
{
set_le_key_k_type((__builtin_constant_p((ih)->ih_version) ? (ih)->ih_version : (ih)->ih_version), &(ih->ih_key));
}
void boo(struct item_head *ih, const char *body);
void direct2indirect(void)
{
struct item_head *p_le_ih;
struct item_head ind_ih;
unsigned int unfm_ptr;
if (__builtin_expect(32, 0)) __asm__ ("break");
set_le_ih_k_type (&ind_ih);
if (__builtin_constant_p(p_le_ih) ? 1 : 2) {
(__builtin_constant_p(__builtin_constant_p(1) == 1));
boo(&ind_ih, (char *)&unfm_ptr);
}
}