From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 28727 invoked by alias); 28 Feb 2003 17:46:00 -0000 Mailing-List: contact gcc-prs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-prs-owner@gcc.gnu.org Received: (qmail 28704 invoked by uid 71); 28 Feb 2003 17:46:00 -0000 Resent-Date: 28 Feb 2003 17:46:00 -0000 Resent-Message-ID: <20030228174600.28703.qmail@sources.redhat.com> Resent-From: gcc-gnats@gcc.gnu.org (GNATS Filer) Resent-Cc: gcc-prs@gcc.gnu.org, gcc-bugs@gcc.gnu.org, ebotcazou@libertysurf.fr Resent-Reply-To: gcc-gnats@gcc.gnu.org, jb@as220.org Received: (qmail 26188 invoked by uid 48); 28 Feb 2003 17:40:28 -0000 Message-Id: <20030228174028.26187.qmail@sources.redhat.com> Date: Fri, 28 Feb 2003 17:46:00 -0000 From: jb@as220.org Reply-To: jb@as220.org To: gcc-gnats@gcc.gnu.org Cc: ebotcazou@libertysurf.fr X-Send-Pr-Version: gnatsweb-2.9.3 (1.1.1.1.2.31) X-GNATS-Notify: ebotcazou@libertysurf.fr Subject: optimization/9888: -m(arch|cpu) -k6(-2)? -Os causes ICE compiling gcc/reload.c X-SW-Source: 2003-02/txt/msg01487.txt.bz2 List-Id: >Number: 9888 >Category: optimization >Synopsis: -m(arch|cpu) -k6(-2)? -Os causes ICE compiling gcc/reload.c >Confidential: no >Severity: serious >Priority: medium >Responsible: unassigned >State: open >Class: sw-bug >Submitter-Id: net >Arrival-Date: Fri Feb 28 17:46:00 UTC 2003 >Closed-Date: >Last-Modified: >Originator: Jim Bray >Release: 3.2.2 >Organization: >Environment: not significant >Description: I have attached code, hopefully suitable for a testsuite item, derived from gcc/gcc/find-reloads.c. Compiling this with -m -Os causes an ICE. A loop insn is generated (compiling with say -mi586 generates a jump insn instead), the target of which is outside of the +/-127 range of the loop. >How-To-Repeat: run the attached file with -m -Os >Fix: >Release-Note: >Audit-Trail: >Unformatted: ----gnatsweb-attachment---- Content-Type: text/plain; name="find-reloads-test.c" Content-Disposition: inline; filename="find-reloads-test.c" enum reload_type { RELOAD_FOR_INPUT, RELOAD_FOR_OUTPUT, RELOAD_FOR_INSN, RELOAD_FOR_INPUT_ADDRESS, RELOAD_FOR_INPADDR_ADDRESS, RELOAD_FOR_OUTPUT_ADDRESS, RELOAD_FOR_OUTADDR_ADDRESS, RELOAD_FOR_OPERAND_ADDRESS, RELOAD_FOR_OPADDR_ADDR, RELOAD_OTHER, RELOAD_FOR_OTHER_ADDRESS }; #define FOOSIZE 3 /* *My results, varying with FOOSIZE: * 30: asm error "value of ..fff77 too large: * 3 to 29: ....ff7d... * 1 to 2: no error */ struct reload { int foo[FOOSIZE]; int opnum; enum reload_type when_needed; unsigned int optional:1; unsigned int secondary_p:1; }; struct reload rld[1]; int n_reloads=1; int find_reloads (void); int find_reloads () { int i; enum reload_type operand_type[1]; enum reload_type address_type[1]; int operand_reloadnum[1]; int goal_alternative_matches[1]; int retval = 0; for (i = 0; i < n_reloads; i++) { if (rld[i].secondary_p && rld[i].when_needed == operand_type[rld[i].opnum]) rld[i].when_needed = address_type[rld[i].opnum]; if ((rld[i].when_needed == RELOAD_FOR_INPUT_ADDRESS || rld[i].when_needed == RELOAD_FOR_OUTPUT_ADDRESS || rld[i].when_needed == RELOAD_FOR_INPADDR_ADDRESS || rld[i].when_needed == RELOAD_FOR_OUTADDR_ADDRESS) && (operand_reloadnum[rld[i].opnum] < 0 || rld[operand_reloadnum[rld[i].opnum]].optional)) { if (rld[i].when_needed == RELOAD_FOR_INPADDR_ADDRESS || rld[i].when_needed == RELOAD_FOR_OUTADDR_ADDRESS) rld[i].when_needed = RELOAD_FOR_OPADDR_ADDR; else rld[i].when_needed = RELOAD_FOR_OPERAND_ADDRESS; } if ((rld[i].when_needed == RELOAD_FOR_INPUT_ADDRESS || rld[i].when_needed == RELOAD_FOR_INPADDR_ADDRESS) && operand_reloadnum[rld[i].opnum] >= 0 && (rld[operand_reloadnum[rld[i].opnum]].when_needed == RELOAD_OTHER)) rld[i].when_needed = RELOAD_FOR_OTHER_ADDRESS; if (goal_alternative_matches[rld[i].opnum] >= 0) rld[i].opnum = goal_alternative_matches[rld[i].opnum]; } return retval; }