public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug middle-end/21190] New: [4.1 Regression] g-spitbo.adb:274: error: unrecognizable insn
@ 2005-04-24 14:44 danglin at gcc dot gnu dot org
  2005-04-24 15:25 ` [Bug middle-end/21190] " danglin at gcc dot gnu dot org
  2005-05-07 15:05 ` danglin at gcc dot gnu dot org
  0 siblings, 2 replies; 6+ messages in thread
From: danglin at gcc dot gnu dot org @ 2005-04-24 14:44 UTC (permalink / raw)
  To: gcc-bugs

../../xgcc -B../../  -c -g -O2 -fPIC -DELF=1 -DLINUX=1      -W -Wall -gnatpg  g-
spitbo.adb -o g-spitbo.o
g-spitbo.adb: In function 'GNAT.SPITBOL.S':
g-spitbo.adb:274: error: unrecognizable insn:
(insn 140 26 27 1 g-spitbo.adb:263 (set (reg:SI 108)
        (minus:SI (plus:SI (reg:SI 168)
                (reg/f:SI 165))
            (const_int -1 [0xffffffff]))) -1 (insn_list:REG_DEP_TRUE 138 (nil))
    (nil))
+===========================GNAT BUG DETECTED==============================+
| 4.1.0 20050424 (experimental) (hppa-unknown-linux-gnu) GCC error:        |
| in extract_insn, at recog.c:2082                                         |
| Error detected at g-spitbo.adb:785:1                                     |
| Please submit a bug report; see http://gcc.gnu.org/bugs.html.            |
| Use a subject line meaningful to you and us to track the bug.            |
| Include the entire contents of this bug box in the report.               |
| Include the exact gcc or gnatmake command that you entered.              |
| Also include sources listed below in gnatchop format                     |
| (concatenated together with no headers between files).                   |
+==========================================================================+

Please include these source files with error report
Note that list may not be accurate in some cases,
so please double check that the problem can still
be reproduced with the set of files listed.



raised TYPES.UNRECOVERABLE_ERROR : comperr.adb:381
make[7]: *** [g-spitbo.o] Error 1

-- 
           Summary: [4.1 Regression] g-spitbo.adb:274: error: unrecognizable
                    insn
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: danglin at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: hppa-unknown-linux-gnu
  GCC host triplet: hppa-unknown-linux-gnu
GCC target triplet: hppa-unknown-linux-gnu


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21190


^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug middle-end/21190] [4.1 Regression] g-spitbo.adb:274: error: unrecognizable insn
  2005-04-24 14:44 [Bug middle-end/21190] New: [4.1 Regression] g-spitbo.adb:274: error: unrecognizable insn danglin at gcc dot gnu dot org
@ 2005-04-24 15:25 ` danglin at gcc dot gnu dot org
  2005-05-07 15:05 ` danglin at gcc dot gnu dot org
  1 sibling, 0 replies; 6+ messages in thread
From: danglin at gcc dot gnu dot org @ 2005-04-24 15:25 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From danglin at gcc dot gnu dot org  2005-04-24 15:25 -------
This insn is created in the loop pass:

(insn 42 40 140 1 g-spitbo.adb:263 (set (reg:SI 131)
        (plus:SI (reg:SI 129)
            (const_int 48 [0x30]))) -1 (nil)
    (nil))

(insn 140 42 43 1 g-spitbo.adb:263 (set (reg:SI 108)
        (minus:SI (plus:SI (reg:SI 168)
                (reg/f:SI 165))
            (const_int -1 [0xffffffff]))) -1 (nil)
    (nil))

(insn 43 140 44 1 g-spitbo.adb:263 (set (mem/s/j:QI (plus:SI (reg:SI 108)
                (const_int -1 [0xffffffff])) [8 buf S1 A8])
        (subreg:QI (reg:SI 131) 3)) -1 (nil)
    (nil))

(note 44 43 47 1 ("g-spitbo.adb") 264)

We had previously in gcse:

(insn 40 39 42 1 g-spitbo.adb:263 (set (reg:SI 129)
        (minus:SI (reg/v:SI 96 [ val ])
            (reg:SI 128))) 110 {*pa.md:5070} (nil)
    (nil))

(insn 42 40 43 1 g-spitbo.adb:263 (set (reg:SI 131)
        (plus:SI (reg:SI 129)
            (const_int 48 [0x30]))) 108 {addsi3} (nil)
    (nil))

(insn 43 42 44 1 g-spitbo.adb:263 (set (mem/s/j:QI (plus:SI (reg:SI 108)
                (const_int -1 [0xffffffff])) [8 buf S1 A8])
        (subreg:QI (reg:SI 131) 3)) 57 {*pa.md:3022} (nil)
    (nil))

(note 44 43 47 1 ("g-spitbo.adb") 264)


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21190


^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug middle-end/21190] [4.1 Regression] g-spitbo.adb:274: error: unrecognizable insn
  2005-04-24 14:44 [Bug middle-end/21190] New: [4.1 Regression] g-spitbo.adb:274: error: unrecognizable insn danglin at gcc dot gnu dot org
  2005-04-24 15:25 ` [Bug middle-end/21190] " danglin at gcc dot gnu dot org
@ 2005-05-07 15:05 ` danglin at gcc dot gnu dot org
  1 sibling, 0 replies; 6+ messages in thread
From: danglin at gcc dot gnu dot org @ 2005-05-07 15:05 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From danglin at gcc dot gnu dot org  2005-05-07 15:05 -------
Here's the story on this problem.  Ada bootstrap was broken on this
target by this change:

2005-04-08  Diego Novillo  <dnovillo@redhat.com>

        Merge from tree-cleanup-branch: VRP, store CCP, store
            copy-prop, incremental SSA updating of FUD chains and
            newly exposed symbols.

        * Makefile.in (tree-ssa-copy.o): Depend on tree-ssa-propagate.h.
	  ...

The resulting PR was fixed by Kazu with this change:

2005-04-15  Kazu Hirata  <kazu@cs.umass.edu>

        PR tree-optimization/20936.
        * tree-ssa-ccp.c (visit_assignment): Fix a typo.

However, this didn't fix all the problems introduced by the original
change.  With Kazu's patch, gnat1 went into an infinite loop in stage3
compiling ada.ads:

stage2/xgcc -Bstage2/ -B/home/dave/opt/gnu/gcc/gcc-4.1.0/hppa-linux/bin/ -c -g -
O2      -gnatpg -gnata -I- -I. -Iada -I../../gcc/gcc/ada ../../gcc/gcc/ada/ada.a
ds -o ada/ada.o
make[2]: *** [ada/ada.o] Interrupt

The above problem was fixed by this change:

2005-04-22  Jeff Law  <law@redhat.com>

        * tree-ssa-dom.c (block_defs_stack): Remove, no longer needed.
        (restore_currdefs_to_original_value): Likewise.
        (register_definitions_for_stmt): Likewise.
        (tree_ssa_dominator_optimize): No longer initialize CURRENT_DEF
        for each variable.  Do not allocate/free block_defs_stack either.
        Do not iterate if we just thread jumps.  Only iterate if the
        tree_cleanup_cfg does useful work (temporary).
        (dom_opt_initialize_block): No longer push a marker on
        BLOCK_DEFS_STACK.
        (dom_opt_finalize_block): Removal call to restore currdefs.
        Relax restrictions for recording edge equivalences.
        (record_equivalences_from_phis): No longer need to track
        CURRENT_DEF.
        (optimize_stmt): Similarly.
        (thread_across_edge): Simplify by removing the requirement that
        statements in the block we are threading through must be nops.
        (initialize_hash_element): Handle GOTO_EXPR.

Jeff's change exposed the current problem.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21190


^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug middle-end/21190] [4.1 Regression] g-spitbo.adb:274: error: unrecognizable insn
       [not found] <bug-21190-276@http.gcc.gnu.org/bugzilla/>
  2005-10-25 19:45 ` pinskia at gcc dot gnu dot org
  2005-10-25 19:52 ` dave at hiauly1 dot hia dot nrc dot ca
@ 2005-10-25 19:57 ` pinskia at gcc dot gnu dot org
  2 siblings, 0 replies; 6+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-10-25 19:57 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #5 from pinskia at gcc dot gnu dot org  2005-10-25 19:57 -------
Fixed so closing.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
           Keywords|                            |build, ice-on-valid-code
         Resolution|                            |FIXED
   Target Milestone|---                         |4.1.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21190


^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug middle-end/21190] [4.1 Regression] g-spitbo.adb:274: error: unrecognizable insn
       [not found] <bug-21190-276@http.gcc.gnu.org/bugzilla/>
  2005-10-25 19:45 ` pinskia at gcc dot gnu dot org
@ 2005-10-25 19:52 ` dave at hiauly1 dot hia dot nrc dot ca
  2005-10-25 19:57 ` pinskia at gcc dot gnu dot org
  2 siblings, 0 replies; 6+ messages in thread
From: dave at hiauly1 dot hia dot nrc dot ca @ 2005-10-25 19:52 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #4 from dave at hiauly1 dot hia dot nrc dot ca  2005-10-25 19:52 -------
Subject: Re:  [4.1 Regression] g-spitbo.adb:274: error: unrecognizable insn

> ------- Comment #3 from pinskia at gcc dot gnu dot org  2005-10-25 19:45 -------
> I think this working again, right?

Right, this bug should be closed.

Dave


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21190


^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug middle-end/21190] [4.1 Regression] g-spitbo.adb:274: error: unrecognizable insn
       [not found] <bug-21190-276@http.gcc.gnu.org/bugzilla/>
@ 2005-10-25 19:45 ` pinskia at gcc dot gnu dot org
  2005-10-25 19:52 ` dave at hiauly1 dot hia dot nrc dot ca
  2005-10-25 19:57 ` pinskia at gcc dot gnu dot org
  2 siblings, 0 replies; 6+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-10-25 19:45 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #3 from pinskia at gcc dot gnu dot org  2005-10-25 19:45 -------
I think this working again, right?


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21190


^ permalink raw reply	[flat|nested] 6+ messages in thread

end of thread, other threads:[~2005-10-25 19:57 UTC | newest]

Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2005-04-24 14:44 [Bug middle-end/21190] New: [4.1 Regression] g-spitbo.adb:274: error: unrecognizable insn danglin at gcc dot gnu dot org
2005-04-24 15:25 ` [Bug middle-end/21190] " danglin at gcc dot gnu dot org
2005-05-07 15:05 ` danglin at gcc dot gnu dot org
     [not found] <bug-21190-276@http.gcc.gnu.org/bugzilla/>
2005-10-25 19:45 ` pinskia at gcc dot gnu dot org
2005-10-25 19:52 ` dave at hiauly1 dot hia dot nrc dot ca
2005-10-25 19:57 ` pinskia at gcc dot gnu dot org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).