OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

In gcc: 2000-08-27 Geoff Keating <geoffk@cygnus.com>

Browse Source 
In gcc:
2000-08-27  Geoff Keating  <geoffk@cygnus.com>

	* config/rs6000/rs6000.md (movdi_internal64+5): Make SUBREG-safe
	by using gen_lowpart_common.
	(movdi_internal64+6): Likewise.

In gcc/testsuite:
2000-08-27  Geoff Keating  <geoffk@cygnus.com>

	* gcc.c-torture/compile/20000825-1.c: New test.

From-SVN: r36005
This commit is contained in:
Geoff Keating 2000-08-27 21:54:56 +00:00 committed by Geoffrey Keating
parent cb01124894
commit e53ca51f94
4 changed files with 49 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 @@
2000-08-27 Geoff Keating <geoffk@cygnus.com>
* config/rs6000/rs6000.md (movdi_internal64+5): Make SUBREG-safe
by using gen_lowpart_common.
(movdi_internal64+6): Likewise.
2000-08-26 Alexandre Oliva <aoliva@redhat.com>
* tm.texi (FINI_SECTION_ASM_OP, CRT_CALL_STATIC_FUNCTION):

12
gcc/config/rs6000/rs6000.md
View File

@ -8087,9 +8087,12 @@
[(set (match_dup 0)
(match_dup 2))
(set (match_dup 0)
(zero_extend:DI (subreg:SI (match_dup 0) 0)))]
(zero_extend:DI (match_dup 3)))]
"
{ operands[2] = GEN_INT (CONST_DOUBLE_LOW (operands[1])); }")
{
operands[2] = GEN_INT (CONST_DOUBLE_LOW (operands[1]));
operands[3] = gen_lowpart_common (SImode, operands[0]);
}")
(define_split
[(set (match_operand:DI 0 "gpc_reg_operand" "")
@ -8102,12 +8105,13 @@
[(set (match_dup 0)
(match_dup 2))
(set (match_dup 0)
(zero_extend:DI (subreg:SI (match_dup 0) 0)))]
(zero_extend:DI (match_dup 3)))]
"
{
#if HOST_BITS_PER_WIDE_INT != 32
operands[2] = GEN_INT ((INTVAL (operands[1]) << 32) >> 32);
operands[2] = GEN_INT ((INTVAL (operands[1]) << 32) >> 32);
#endif
operands[3] = gen_lowpart_common (SImode, operands[0]);
}")
;; 32-bit value in upper half of doubleword

4
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,7 @@
2000-08-27 Geoff Keating <geoffk@cygnus.com>
* gcc.c-torture/compile/20000825-1.c: New test.
2000-08-26 Alexandre Oliva <aoliva@redhat.com>
* gcc.dg/dwarf2-2.c: New test.

31
gcc/testsuite/gcc.c-torture/compile/20000825-1.c Normal file
View File

@ -0,0 +1,31 @@
typedef signed int s32;
typedef signed long s64;
typedef unsigned int u32;
typedef unsigned long u64;
extern __inline__ u32 foobar(int logmask)
{
u32 ret = ~(1 << logmask); // fails
// s32 ret = ~(1 << logmask); // ok
// u64 ret = ~(1 << logmask); // ok
// s64 ret = ~(1 << logmask); // ok
return ret;
}
// This procedure compiles fine...
u32 good(u32 var)
{
var = foobar(0);
return var;
}
// This procedure does not compile...
// Same as above, but formal parameter is a pointer
// Both good() and fails() compile ok if we choose
// a different type for "ret" in foobar().
u32 fails(u32 *var)
{
*var = foobar(0);
return *var;
}