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
+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):
[(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" "")
[(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
+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.
--- /dev/null
+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;
+}
+