From 2c3d030f09219970b7dfabfb64dff9c1b18eef51 Mon Sep 17 00:00:00 2001 From: Richard Sandiford Date: Thu, 6 Sep 2007 18:06:51 +0000 Subject: [PATCH] re PR target/33256 (internal compiler error: in print_operand_reloc, at config/mips/mips.c:5579) gcc/ PR target/33256 * config/mips/mips.c (mips_classify_symbolic_expression): New function. (mips_classify_address): Use it instead of mips_symbolic_constant_p. (print_operand_reloc): Likewise. gcc/testsuite/ 200x-xx-xx David Daney Richard Sandiford PR target/33256 * gcc.target/mips/mips.exp (setup_mips_tests): Set mips_forced_le. (dg-mips-options): Skip -EB and -meb tests when $mips_forced_le. * gcc.target/mips/pr33256.c: New test. From-SVN: r128198 --- gcc/ChangeLog | 7 +++++++ gcc/config/mips/mips.c | 28 +++++++++++++++++++++++-- gcc/testsuite/ChangeLog | 8 +++++++ gcc/testsuite/gcc.target/mips/mips.exp | 12 +++++++++++ gcc/testsuite/gcc.target/mips/pr33256.c | 11 ++++++++++ 5 files changed, 64 insertions(+), 2 deletions(-) create mode 100644 gcc/testsuite/gcc.target/mips/pr33256.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 32394245cdac..e5c116b4d134 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2007-09-06 Richard Sandiford + + PR target/33256 + * config/mips/mips.c (mips_classify_symbolic_expression): New function. + (mips_classify_address): Use it instead of mips_symbolic_constant_p. + (print_operand_reloc): Likewise. + 2007-08-24 Jakub Jelinek PR middle-end/32912 diff --git a/gcc/config/mips/mips.c b/gcc/config/mips/mips.c index 3355ff6ebd7b..521afa4bf1a8 100644 --- a/gcc/config/mips/mips.c +++ b/gcc/config/mips/mips.c @@ -1252,6 +1252,20 @@ mips_split_const (rtx x, rtx *base, HOST_WIDE_INT *offset) *base = x; } +/* Classify symbolic expression X, given that it appears in context + CONTEXT. */ + +static enum mips_symbol_type +mips_classify_symbolic_expression (rtx x) +{ + HOST_WIDE_INT offset; + + mips_split_const (x, &x, &offset); + if (UNSPEC_ADDRESS_P (x)) + return UNSPEC_ADDRESS_TYPE (x); + + return mips_classify_symbol (x); +} /* Return true if SYMBOL is a SYMBOL_REF and OFFSET + SYMBOL points to the same object as SYMBOL. */ @@ -1493,8 +1507,17 @@ mips_classify_address (struct mips_address_info *info, rtx x, info->type = ADDRESS_LO_SUM; info->reg = XEXP (x, 0); info->offset = XEXP (x, 1); + /* We have to trust the creator of the LO_SUM to do something vaguely + sane. Target-independent code that creates a LO_SUM should also + create and verify the matching HIGH. Target-independent code that + adds an offset to a LO_SUM must prove that the offset will not + induce a carry. Failure to do either of these things would be + a bug, and we are not required to check for it here. The MIPS + backend itself should only create LO_SUMs for valid symbolic + constants, with the high part being either a HIGH or a copy + of _gp. */ + info->symbol_type = mips_classify_symbolic_expression (info->offset); return (mips_valid_base_register_p (info->reg, mode, strict) - && mips_symbolic_constant_p (info->offset, &info->symbol_type) && mips_symbolic_address_p (info->symbol_type, mode) && mips_lo_relocs[info->symbol_type] != 0); @@ -5575,7 +5598,8 @@ print_operand_reloc (FILE *file, rtx op, const char **relocs) rtx base; HOST_WIDE_INT offset; - if (!mips_symbolic_constant_p (op, &symbol_type) || relocs[symbol_type] == 0) + symbol_type = mips_classify_symbolic_expression (op); + if (relocs[symbol_type] == 0) fatal_insn ("PRINT_OPERAND, invalid operand for relocation", op); /* If OP uses an UNSPEC address, we want to print the inner symbol. */ diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 97e73bd22d99..616a84a65da8 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,11 @@ +2007-09-06 David Daney + Richard Sandiford + + PR target/33256 + * gcc.target/mips/mips.exp (setup_mips_tests): Set mips_forced_le. + (dg-mips-options): Skip -EB and -meb tests when $mips_forced_le. + * gcc.target/mips/pr33256.c: New test. + 2007-08-31 Paolo Carlini PR c++/32113 diff --git a/gcc/testsuite/gcc.target/mips/mips.exp b/gcc/testsuite/gcc.target/mips/mips.exp index d88a867db1bf..a00f7b6631d0 100644 --- a/gcc/testsuite/gcc.target/mips/mips.exp +++ b/gcc/testsuite/gcc.target/mips/mips.exp @@ -37,6 +37,7 @@ load_lib gcc-dg.exp # $mips_forced_isa: true if the command line uses -march=* or -mips* # $mips_forced_abi: true if the command line uses -mabi=* or -mgp* # $mips_forced_float: true if the command line uses -mhard/soft-float +# $mips_forced_le true if the command line uses -EL or -mel proc setup_mips_tests {} { global mips_isa global mips_arch @@ -47,6 +48,7 @@ proc setup_mips_tests {} { global mips_forced_isa global mips_forced_abi global mips_forced_float + global mips_forced_le global compiler_flags global tool @@ -81,6 +83,7 @@ proc setup_mips_tests {} { set mips_forced_isa [regexp -- {(-mips|-march)} $compiler_flags] set mips_forced_abi [regexp -- {(-mgp|-mabi)} $compiler_flags] set mips_forced_float [regexp -- {-m(hard|soft)-float} $compiler_flags] + set mips_forced_le [regexp -- {-(EL|mel)[[:>:]]} $compiler_flags] } # Return true if command-line option FLAG forces 32-bit code. @@ -116,6 +119,10 @@ proc is_gp32_flag {flag} { # -mhard-float # Select the given floating-point mode. Skip the test if the # multilib flags force a different selection. +# +# -EB +# Select big-endian code. Skip the test if the multilib flags +# force a little-endian target. proc dg-mips-options {args} { upvar dg-extra-tool-flags extra_tool_flags upvar dg-do-what do_what @@ -129,6 +136,7 @@ proc dg-mips-options {args} { global mips_forced_isa global mips_forced_abi global mips_forced_float + global mips_forced_le set flags [lindex $args 1] set matches 1 @@ -170,6 +178,10 @@ proc dg-mips-options {args} { if {$mips_float != $float && $mips_forced_float} { set matches 0 } + } elseif {[regexp -- {^-(EB|meb)$} $flag]} { + if {$mips_forced_le} { + set matches 0 + } } } if {$matches} { diff --git a/gcc/testsuite/gcc.target/mips/pr33256.c b/gcc/testsuite/gcc.target/mips/pr33256.c new file mode 100644 index 000000000000..d5db110fba59 --- /dev/null +++ b/gcc/testsuite/gcc.target/mips/pr33256.c @@ -0,0 +1,11 @@ +/* GCC used to report an ICE for this test because we generated a LO_SUM + for an illegitimate constant. */ +/* { dg-mips-options "-mabi=64 -mips3 -msym32 -O2 -EB -mno-abicalls" } */ +extern unsigned long a[]; +int b (int); + +int +c (void) +{ + return b (a[0]); +} -- 2.47.2