[Bug rtl-optimization/33642] New: unrecognizable insn for -frtl-abstract-sequences

[Bug rtl-optimization/33642] New: unrecognizable insn for -frtl-abstract-sequences

[janis at gcc dot gnu dot org]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 922 bytes --]

Almost any source file compiled for any of a large number of targets
(powerpc*-*, arm-eabi, hppa-linux, mipsel-linux, s390*-linux, sh*-*, sparc*-*)
with -O2 -frtl-abstract-sequences results in the following:

bug1.c: In function ‘foo’:
bug1.c:8: error: unrecognizable insn:
(insn 28bug1.c:8: internal compiler error: Segmentation fault
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

The testcase used here:

int foo (void)
{
  return 0;
}


-- 
           Summary: unrecognizable insn for -frtl-abstract-sequences
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: rtl-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: janis at gcc dot gnu dot org


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

[Bug rtl-optimization/33642] unrecognizable insn for -frtl-abstract-sequences

[rguenth at gcc dot gnu dot org]

------- Comment #1 from rguenth at gcc dot gnu dot org  2007-10-03 21:02 -------
-frtl-abstract-sequences
    It is a size optimization method. This option is to find identical
sequences of code, which can be turned into pseudo-procedures and then replace
all occurrences with calls to the newly created subroutine. It is kind of an
opposite of -finline-functions. This optimization runs at RTL level.

I propose to kill all traces of it unless someone steps up and maintains this
piece of code and we enable it for -Os.


-- 


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

[Bug rtl-optimization/33642] unrecognizable insn for -frtl-abstract-sequences

[loki at gcc dot gnu dot org]

------- Comment #2 from loki at gcc dot gnu dot org  2008-03-03 13:51 -------
I can confirm the unrecognizable insn too (r132833).
I am going to look into it.


-- 

loki at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |loki at gcc dot gnu dot org
                   |dot org                     |
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2008-03-03 13:51:21
               date|                            |


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

[Bug rtl-optimization/33642] unrecognizable insn for -frtl-abstract-sequences

[loki at gcc dot gnu dot org]

------- Comment #3 from loki at gcc dot gnu dot org  2008-03-05 11:09 -------
Created an attachment (id=15262)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=15262&action=view)
Avoid GET_ATTR_LENGTH when RECOG_MEMOIZED fails

It seems this patch fixes the described problem on arm-eabi.
I am also going to test it on other targets.


-- 


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

[Bug rtl-optimization/33642] unrecognizable insn for -frtl-abstract-sequences

[loki at gcc dot gnu dot org]

------- Comment #4 from loki at gcc dot gnu dot org  2008-03-06 15:01 -------
Created an attachment (id=15272)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=15272&action=view)
Use own COMPUTE_RTX_LENGTH method

The previous patch wasn't a good solution for some targets.

This patch fixes the problem on i486-linux-gnu, arm-eabi, powerpc-elf.
I am still hunting for similar bugs.


-- 

loki at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  Attachment #15262|0                           |1
        is obsolete|                            |


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

[Bug rtl-optimization/33642] unrecognizable insn for -frtl-abstract-sequences

[dominiq at lps dot ens dot fr]

------- Comment #5 from dominiq at lps dot ens dot fr  2008-03-06 18:20 -------
Could the patch in comment #4 explain the following regressions?

FAIL: gcc.dg/bf-ms-layout-2.c execution test
FAIL: gcc.dg/bf-ms-layout.c execution test


-- 


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

[Bug rtl-optimization/33642] unrecognizable insn for -frtl-abstract-sequences

[dominiq at lps dot ens dot fr]

------- Comment #6 from dominiq at lps dot ens dot fr  2008-03-06 19:18 -------
With the patch from comment #4 I get onpowerpc-apple-darwin9:

[karma] f90/bug% gfc -c -frtl-abstract-sequences
/opt/gcc/_gcc_clean/gcc/testsuite/gcc.c-torture/compile/pr11832.c
/opt/gcc/_gcc_clean/gcc/testsuite/gcc.c-torture/compile/pr11832.c: In function
'foo':
/opt/gcc/_gcc_clean/gcc/testsuite/gcc.c-torture/compile/pr11832.c:30: error:
insn does not satisfy its constraints:
(jump_insn 322 95 323
/opt/gcc/_gcc_clean/gcc/testsuite/gcc.c-torture/compile/pr11832.c:16 (set (pc)
        (reg:SI 3 r3)) 519 {*indirect_jumpsi} (nil))
/opt/gcc/_gcc_clean/gcc/testsuite/gcc.c-torture/compile/pr11832.c:30: internal
compiler error: in final_scan_insn, at final.c:2552
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
[karma] f90/bug% gfc -c -frtl-abstract-sequences
/opt/gcc/_gcc_clean/gcc/testsuite/gcc.c-torture/compile/pr33009.c
/opt/gcc/_gcc_clean/gcc/testsuite/gcc.c-torture/compile/pr33009.c: In function
'foo':
/opt/gcc/_gcc_clean/gcc/testsuite/gcc.c-torture/compile/pr33009.c:36: error:
insn does not satisfy its constraints:
(jump_insn 145 87 146
/opt/gcc/_gcc_clean/gcc/testsuite/gcc.c-torture/compile/pr33009.c:32 (set (pc)
        (reg:SI 6 r6)) 519 {*indirect_jumpsi} (nil))
/opt/gcc/_gcc_clean/gcc/testsuite/gcc.c-torture/compile/pr33009.c:36: internal
compiler error: in final_scan_insn, at final.c:2552
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

in both 32 and 64 bit modes.


-- 


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

[Bug rtl-optimization/33642] unrecognizable insn for -frtl-abstract-sequences

[dje at gcc dot gnu dot org]

------- Comment #7 from dje at gcc dot gnu dot org  2008-03-08 17:14 -------
The failure was introduced between r132949 and r132965.  The two mainline
patches during that time were Richi's alias change and Kenny's dataflow change.
 Given the RTL failure, it more likely is caused by the dataflow patch.


-- 

dje at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dje at gcc dot gnu dot org


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

[Bug rtl-optimization/33642] unrecognizable insn for -frtl-abstract-sequences

[dje at gcc dot gnu dot org]

------- Comment #8 from dje at gcc dot gnu dot org  2008-03-08 21:03 -------
Sorry, the range is r132891 to r132965.  So this is likely due to Loko's patch.


-- 

dje at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|zadeck at naturalbridge dot |loki at gcc dot gnu dot org
                   |com                         |


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

[Bug rtl-optimization/33642] unrecognizable insn for -frtl-abstract-sequences

[danglin at gcc dot gnu dot org]

------- Comment #9 from danglin at gcc dot gnu dot org  2008-03-09 21:54 -------
pr11832.c and pr33009.c are also failing on hppa2.0w-hp-hpux11.11.  


-- 

danglin at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |danglin at gcc dot gnu dot
                   |                            |org


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

[Bug rtl-optimization/33642] unrecognizable insn for -frtl-abstract-sequences

[loki at gcc dot gnu dot org]

------- Comment #10 from loki at gcc dot gnu dot org  2008-03-11 09:45 -------
Created an attachment (id=15295)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=15295&action=view)
Partially fix 'unrecognizable insn' and 'constraint' problem

This patch should work on arm-eabi, i386-linux, x86_64-linux,
powerpc-apple-darwin9, mips-elf, sh-elf.

It fails on arm-eabi with -mthumb and/or -fPIC.
Currently "-fPIC" is not well tested.


-- 

loki at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  Attachment #15272|0                           |1
        is obsolete|                            |


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

[Bug rtl-optimization/33642] unrecognizable insn for -frtl-abstract-sequences

[dominiq at lps dot ens dot fr]

------- Comment #11 from dominiq at lps dot ens dot fr  2008-03-11 14:34 -------
With patch from comment #10, the failures for gcc.c-torture/compile/pr11832.c
and gcc.c-torture/compile/pr33009.c disappear on (powerpc|i686)-apple-darwin9,
32 and 64 bit modes without regression (gcc on powerpc, gcc, g++, gfortran on
i686).


-- 


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

[Bug rtl-optimization/33642] unrecognizable insn for -frtl-abstract-sequences

[joel at gcc dot gnu dot org]

------- Comment #12 from joel at gcc dot gnu dot org  2008-03-13 18:01 -------
Is this the same bug?  sparc-rtems4.9 on SVN trunk:



Executing on host: /home/joel/work-gnat/svn/b-gcc1-sparc/gcc/xgcc
-B/home/joel/work-gnat/svn/b-gcc1-sparc/gcc/
/home/joel/work-gnat/svn/gcc/gcc/testsuite/gcc.c-torture/compile/pr11832.c  
-O1  -frtl-abstract-sequences -DSTACK_SIZE=2048 -fno-show-column -S
-B/home/joel/work-gnat/svn/bsp-install/sparc-rtems4.9/sis/lib/ -specs bsp_specs
-qrtems -mcpu=cypress  -o pr11832.s    (timeout = 300)
/home/joel/work-gnat/svn/gcc/gcc/testsuite/gcc.c-torture/compile/pr11832.c: In
function 'foo':

/home/joel/work-gnat/svn/gcc/gcc/testsuite/gcc.c-torture/compile/pr11832.c:30:
internal compiler error: Segmentation fault

Please submit a full bug report,

with preprocessed source if appropriate.

See <http://gcc.gnu.org/bugs.html> for instructions.

compiler exited with status 1


-- 


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

[Bug rtl-optimization/33642] unrecognizable insn for -frtl-abstract-sequences

[loki at gcc dot gnu dot org]

------- Comment #13 from loki at gcc dot gnu dot org  2008-03-14 08:30 -------
(In reply to comment #12)
> Is this the same bug?  sparc-rtems4.9 on SVN trunk:

Not exactly, but after I fixed a small typo in the latest patch an
'unrecognizable insn' showed up.
So, this bug is still present on sparc-rtems4.9.


-- 


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

[Bug rtl-optimization/33642] unrecognizable insn for -frtl-abstract-sequences

[dje at gcc dot gnu dot org]

------- Comment #14 from dje at gcc dot gnu dot org  2008-03-30 19:31 -------
Any progress on the regressions caused by the patch?


-- 


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

[Bug rtl-optimization/33642] unrecognizable insn for -frtl-abstract-sequences

[eric dot weddington at atmel dot com]

------- Comment #15 from eric dot weddington at atmel dot com  2008-03-30 22:40 -------
FWIW, test case passes for avr-*-* target version 4.3.0 -O[0123s]
-frtl-abstract-sequences


-- 

eric dot weddington at atmel dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |eric dot weddington at atmel
                   |                            |dot com


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

[Bug rtl-optimization/33642] unrecognizable insn for -frtl-abstract-sequences

[dominiq at lps dot ens dot fr]

------- Comment #16 from dominiq at lps dot ens dot fr  2008-03-31 10:12 -------
With patch from http://gcc.gnu.org/ml/gcc-patches/2008-03/msg00824.html, the
failures for gcc.c-torture/compile/pr11832.c and
gcc.c-torture/compile/pr33009.c disappear on (powerpc|i686)-apple-darwin9, 32
and 64 bit modes without regression.

May be the patch should be commited even if it does not fix the problems on all
platforms.


-- 


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

[Bug rtl-optimization/33642] unrecognizable insn for -frtl-abstract-sequences

[janis at gcc dot gnu dot org]

------- Comment #17 from janis at gcc dot gnu dot org  2008-04-02 22:11 -------
I tried the patch referenced in comment #16 on powerpc64-linux.  It allows
tests pr11832.c and pr33009 to pass, but adding -frtl-abstract-sequences to all
tests causes several tests to timeout on compilation, and gcc.dg/pr32912-1.c
fails at execution for -m32.  I built the C tests from SPEC CPU2000 with "-O2
-frtl-abstract-sequences" using the patched compiler and ran them with the
short test input.  A couple took a very long time to compile (try, for example,
the file toke.c in test perlbmk) and four failed at execution time: vpr and
crafty for -m32, gcc and gap for -m64.


-- 


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

[Bug rtl-optimization/33642] unrecognizable insn for -frtl-abstract-sequences

[loki at gcc dot gnu dot org]

------- Comment #18 from loki at gcc dot gnu dot org  2008-04-03 08:24 -------
*** Bug 35785 has been marked as a duplicate of this bug. ***


-- 

loki at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |hjl dot tools at gmail dot
                   |                            |com


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

[Bug rtl-optimization/33642] unrecognizable insn for -frtl-abstract-sequences

[dominiq at lps dot ens dot fr]

------- Comment #19 from dominiq at lps dot ens dot fr  2008-04-03 15:04 -------
(In reply to comment #17)
> I tried the patch referenced in comment #16 on powerpc64-linux.  It
> allows tests pr11832.c and pr33009 to pass, but adding
> -frtl-abstract-sequences to all tests causes several tests to timeout on
> compilation, and gcc.dg/pr32912-1.c fails at execution for -m32.  I built
> the C tests from SPEC CPU2000 with "-O2 -frtl-abstract-sequences" using
> the patched compiler and ran them with the short test input.  A couple
> took a very long time to compile (try, for example, the file toke.c in
> test perlbmk) and four failed at execution time: vpr and crafty for -m32,
> gcc and gap for -m64.

I am not sure to understand: does it mean that the failures were 
introduced by the patch? i.e., did you do the same tests for without the 
patch? I don't know how '-frtl-abstract-sequences' is working, but I won't 
be surprised if its cost is quadratic in the size of the problem.

The gcc manual says:

...
-O3
Optimize yet more.  -O3 turns on all optimizations specified by -O2 and
also turns on the -finline-functions, -funswitch-loops,
-fpredictive-commoning, -fgcse-after-reload and -ftree-vectorize options.
...
-frtl-abstract-sequences
It is a size optimization method.  This option is to find identical
sequences of code, which can be turned into pseudo-procedures and then
replace all occurrences with calls to the newly created subroutine.  It is
kind of an opposite of -finline-functions.  This optimization runs at RTL
level.

Although I have no doubt that examples can be crafted that show a speed
increase with '-O3 -frtl-abstract-sequences', the net result of this
combination will probably a (much) longer compilation time and a poor
overall result.  It seems to me that '-frtl-abstract-sequences' is more
intended to complement the '-Os' option, so I did the following comparison
on the polyhedron benchmark (I don't have access to SPEC). Three tests 
failed to compile, two shown a less than 10% decrease in the executable 
size at the expense of more than a factor 3 in the compile time.

Core2Duo 2.16Ghz, i686-apple-darwin9, gcc version 4.4.0 20080403 (experimental)
(GCC) 
+ patches (including the patch referenced in comment #16):

================================================================================
Polyhedron Benchmark Validator
Copyright (C) Polyhedron Software Ltd - 2004 - All rights reserved

================================================================================

                     -Os                    -Os -frtl-...           -m64 -O3
...

  Benchmark   Compile  Executable       Compile  Executable       Compile 
Executable
       Name    (secs)     (bytes)        (secs)     (bytes)        (secs)    
(bytes)
  ---------   -------  -----------       -------  ---------       ------- 
----------
         ac      0.92       25748          1.82       25748          4.32      
46616
     aermod*    80.06      980996        298.68      931844        106.97    
1225304
        air      4.24       56048          8.41       56048          6.97      
73200
   capacita      1.86       35232          1.91       35232          3.78      
64520
    channel      0.85       25888          1.91           0          2.61      
42752
      doduc      8.47      117396          9.11      117396         15.18     
183600
    fatigue*     2.94       55556         18.51       51460          6.18      
76696
    gas_dyn      2.20      646272          2.91      642176          6.39     
700392
     induct      8.50      131152         29.73           0         13.41     
160672
      linpk      0.78       17508          0.66       17508          1.58      
38400
       mdbx      2.52       47760          2.64       47760          3.92      
68856
         nf      0.90       21804          0.93       21804         24.34     
153240
    protein      3.46       56228          6.49           0         11.10     
118240
     rnflow      4.07       55936          4.79       55936         11.31     
167240
   test_fpu      3.29       46996          3.89       46996         10.35     
154176
       tfft      0.62       17704          0.62       17704          1.42      
26392

  Benchmark   Ave Run  Number   Estim   Ave Run  Number   Estim   Ave Run 
Number   Estim
       Name    (secs) Repeats   Err %    (secs) Repeats   Err %    (secs)
Repeats   Err %
  ---------   ------- -------  -------   ------- -------  -----   -------
-------  ------
         ac     23.40       2  0.1197     23.45       2  0.0149     12.59      
2  0.0318
     aermod     44.30       2  0.0508     44.76       2  0.1251     29.77      
2  0.1411
        air     14.43       2  0.0139     15.06       5  1.2305      8.57      
3  0.1683
   capacita     82.95       2  0.0645     82.25       2  0.1088     55.79      
2  0.1434
    channel      7.34       5  0.1510     -1.00       2  0.1088      2.41      
5  1.6186
      doduc     61.77       2  0.0559     61.66       2  0.0592     42.85      
2  0.0198
    fatigue     18.19       2  0.0825     18.09       4  0.1745     10.65      
2  0.1502
    gas_dyn     29.75       3  0.1419     29.90       3  0.1623     10.21      
2  0.1322
     induct     94.22       2  0.0085     -1.00       3  0.1623     61.04      
2  0.0549
      linpk     28.37       2  0.0599     31.07       3  0.1955     28.23      
2  0.0797
       mdbx     17.47       2  0.0544     17.54       2  0.0171     15.14      
2  0.0429
         nf     35.04       2  0.0357     35.03       5  0.0733     32.39      
2  0.0232
    protein     57.37       2  0.0148     -1.00       5  0.0733     45.70      
2  0.0088
     rnflow     54.89       2  0.0173     54.87       2  0.0802     37.10      
2  0.0526
   test_fpu     22.33       2  0.0224     22.40       2  0.1407     12.73      
2  0.1688
       tfft      3.30       2  0.0909      3.31       2  0.0905      2.93      
5  0.0907


Geom Mean  Time =    27.63s                                              
17.86s

where '-frtl-abstract-...' stands for '-frtl-abstract-sequences' and '-m64 -O3
...'
for '-m64 -O3 -ffast-math -funroll-loops -ftree-loop-linear
-fomit-frame-pointer 
-finline-limit=600 --param min-vect-loop-bound=2'

[ibook-dhum] lin/test% gfc -Os -frtl-abstract-sequences channel.f90 
/var/folders/iU/iUj3xngxGYe3MPCc0TZUcE+++TI/-Tmp-//ccM5Aq1n.s:531:non-relocatable
subtraction expression, "L43" minus "L00000000002$pb"
/var/folders/iU/iUj3xngxGYe3MPCc0TZUcE+++TI/-Tmp-//ccM5Aq1n.s:531:symbol:
"L00000000002$pb" can't be undefined in a subtraction expression
/var/folders/iU/iUj3xngxGYe3MPCc0TZUcE+++TI/-Tmp-//ccM5Aq1n.s:509:non-relocatable
subtraction expression, "L42" minus "L00000000002$pb"
/var/folders/iU/iUj3xngxGYe3MPCc0TZUcE+++TI/-Tmp-//ccM5Aq1n.s:509:symbol:
"L00000000002$pb" can't be undefined in a subtraction expression
/var/folders/iU/iUj3xngxGYe3MPCc0TZUcE+++TI/-Tmp-//ccM5Aq1n.s:unknown:Undefined
local symbol L00000000002$pb
[ibook-dhum] lin/test% gfc -Os -frtl-abstract-sequences induct.f90
induct.f90: In function 'gen_resq_mesh':
induct.f90:3704: internal compiler error: in compensate_edge, at
reg-stack.c:2759
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
[ibook-dhum] lin/test% gfc -Os -frtl-abstract-sequences protein.f90
/var/folders/iU/iUj3xngxGYe3MPCc0TZUcE+++TI/-Tmp-//ccs13LFN.s:7048:non-relocatable
subtraction expression, "L729" minus "L00000000010$pb"
/var/folders/iU/iUj3xngxGYe3MPCc0TZUcE+++TI/-Tmp-//ccs13LFN.s:7048:symbol:
"L00000000010$pb" can't be undefined in a subtraction expression
/var/folders/iU/iUj3xngxGYe3MPCc0TZUcE+++TI/-Tmp-//ccs13LFN.s:6755:non-relocatable
subtraction expression, "L730" minus "L00000000010$pb"
/var/folders/iU/iUj3xngxGYe3MPCc0TZUcE+++TI/-Tmp-//ccs13LFN.s:6755:symbol:
"L00000000010$pb" can't be undefined in a subtraction expression
/var/folders/iU/iUj3xngxGYe3MPCc0TZUcE+++TI/-Tmp-//ccs13LFN.s:unknown:Undefined
local symbol L00000000010$pb

On a G5 1.8Ghz, powerpc-apple-darwin9, gcc version 4.4.0 20080403
(experimental) (GCC)
+ patches (including the patch referenced in comment #16), channel.f90 and 
protein.f90 compile, and induct gives an ICE:

[karma] lin/test% gfc -Os -frtl-abstract-sequences induct.f90
induct.f90: In function 'convert_lower_case':
induct.f90:719: error: unrecognizable insn:
(jump_insn 45 19 40 3 (return) -1 (nil))
induct.f90:719: internal compiler error: in extract_insn, at recog.c:1983
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Note that all the tests fail on both platforms with gfortran 4.3.0 and
'-Os -frtl-abstract-sequences':

[ibook-dhum] lin/test% gfortran -w -Os -frtl-abstract-sequences ac.f90
ac.f90: In function 'suscep':
ac.f90:761: error: unrecognizable insn:
(insn 114 0 0 (set (reg:SI 0 ax)
        (symbol_ref:SI ("*L8") [flags 0x2])) -1 (nil))
ac.f90:761: internal compiler error: in insn_default_length, at
insn-attrtab.c:1339
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
...



-- 


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

[Bug rtl-optimization/33642] unrecognizable insn for -frtl-abstract-sequences

[dominiq at lps dot ens dot fr]

------- Comment #20 from dominiq at lps dot ens dot fr  2008-04-03 15:22 -------
I have reverted the patch referenced in comment #16 and the 16 tests fail as
with gfortran 4.3.


-- 


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

[Bug rtl-optimization/33642] unrecognizable insn for -frtl-abstract-sequences

[janis at gcc dot gnu dot org]

------- Comment #21 from janis at gcc dot gnu dot org  2008-04-03 17:04 -------
Dominique, in answer to your question in comment #19, without the patch any
code for powerpc*-linux gets an ICE as reported originally.  The very long
compilation times are a concern, but wrong code in four CPU2000 tests is much
worse.  With the patch, tests vpr and crafty pass with "-m32 -Os
-frtl-abstract-sequences", but with "-m64 -Os -frtl-abstract-sequences test gcc
fails at runtime and test gap hangs at runtime.

I'm providing this information to let the developers know that the patch isn't
ready.  I can test later versions.  I don't have time, however, to minimize
runtime failures in SPEC tests to help pinpoint the problems.


-- 


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

[Bug rtl-optimization/33642] unrecognizable insn for -frtl-abstract-sequences

[aldot at gcc dot gnu dot org]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 552 bytes --]



------- Comment #22 from aldot at gcc dot gnu dot org  2008-05-09 18:36 -------
$ gcc-4.4.orig-HEAD -O0 -frtl-abstract-sequences -fPIC -S foo.i -o /dev/null
foo.i: In function ‘bazoo’:
foo.i:4: error: unrecognizable insn:
(insn 23foo.i:4: internal compiler error: Segmentation fault
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
$ cat foo.i 
void bazoo (void)
{
        __asm__ ("");
}

works without -fPIC.


-- 


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

[Bug rtl-optimization/33642] unrecognizable insn for -frtl-abstract-sequences

[rsandifo at gcc dot gnu dot org]

------- Comment #23 from rsandifo at gcc dot gnu dot org  2008-05-10 12:01 -------
Subject: Bug 33642

Author: rsandifo
Date: Sat May 10 12:00:37 2008
New Revision: 135142

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=135142
Log:
gcc/testsuite/
        PR rtl-optimization/33642
        * gcc.c-torture/compile/pr11832.c: Skip for MIPS.
        * gcc.c-torture/compile/pr33009.c: Likewise.

Modified:
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.c-torture/compile/pr11832.c
    trunk/gcc/testsuite/gcc.c-torture/compile/pr33009.c


-- 


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

[Bug rtl-optimization/33642] unrecognizable insn for -frtl-abstract-sequences

[rsandifo at gcc dot gnu dot org]

------- Comment #24 from rsandifo at gcc dot gnu dot org  2008-05-10 12:03 -------
As per the last message, I've skipped these tests for MIPS
until the PR is fixed.


-- 

rsandifo at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rsandifo at gcc dot gnu dot
                   |                            |org


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

[Bug rtl-optimization/33642] unrecognizable insn for -frtl-abstract-sequences

[aldot at gcc dot gnu dot org]

------- Comment #25 from aldot at gcc dot gnu dot org  2008-05-15 07:58 -------
(In reply to comment #10)

> It fails on arm-eabi with -mthumb and/or -fPIC.
> Currently "-fPIC" is not well tested.

I have created a separate PR36240 to track all PIC issues.


-- 


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

[Bug rtl-optimization/33642] unrecognizable insn for -frtl-abstract-sequences

[ghazi at gcc dot gnu dot org]

------- Comment #26 from ghazi at gcc dot gnu dot org  2008-05-25 17:29 -------
I also get this failure on x86 when using ilp32 && pic. See:

x86_64: http://gcc.gnu.org/ml/gcc-testresults/2008-05/msg02221.html
i686: http://gcc.gnu.org/ml/gcc-testresults/2008-05/msg01800.html


-- 

ghazi at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ghazi at gcc dot gnu dot org
   Last reconfirmed|2008-03-03 13:51:21         |2008-05-25 17:29:54
               date|                            |


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

[Bug rtl-optimization/33642] unrecognizable insn for -frtl-abstract-sequences

[hp at gcc dot gnu dot org]

------- Comment #27 from hp at gcc dot gnu dot org  2008-07-21 01:38 -------
Subject: Bug 33642

Author: hp
Date: Mon Jul 21 01:37:55 2008
New Revision: 138019

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=138019
Log:
        PR rtl-optimization/33642
        * gcc.c-torture/compile/pr11832.c: Skip for CRIS.
        * gcc.c-torture/compile/pr33009.c: Likewise.

Modified:
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.c-torture/compile/pr11832.c
    trunk/gcc/testsuite/gcc.c-torture/compile/pr33009.c


-- 


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

[Bug rtl-optimization/33642] unrecognizable insn for -frtl-abstract-sequences

[ebotcazou at gcc dot gnu dot org]

------- Comment #28 from ebotcazou at gcc dot gnu dot org  2008-09-20 19:16 -------
Subject: Bug 33642

Author: ebotcazou
Date: Sat Sep 20 19:15:19 2008
New Revision: 140516

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=140516
Log:
        PR rtl-optimization/33642
        * gcc.c-torture/compile/pr11832.c: XFAIL on SPARC.
        * gcc.c-torture/compile/pr33009.c: Likewise.

Modified:
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.c-torture/compile/pr11832.c
    trunk/gcc/testsuite/gcc.c-torture/compile/pr33009.c


-- 


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

[Bug rtl-optimization/33642] unrecognizable insn for -frtl-abstract-sequences

[kkojima at gcc dot gnu dot org]

------- Comment #29 from kkojima at gcc dot gnu dot org  2008-09-21 22:38 -------
Subject: Bug 33642

Author: kkojima
Date: Sun Sep 21 22:37:16 2008
New Revision: 140534

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=140534
Log:
        PR rtl-optimization/33642
        * gcc.c-torture/compile/pr11832.c: XFAIL on sh*-*-*.
        * gcc.c-torture/compile/pr33009.c: Likewise.


Modified:
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.c-torture/compile/pr11832.c
    trunk/gcc/testsuite/gcc.c-torture/compile/pr33009.c


-- 


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

[Bug rtl-optimization/33642] unrecognizable insn for -frtl-abstract-sequences

[dje at gcc dot gnu dot org]

------- Comment #30 from dje at gcc dot gnu dot org  2008-09-22 15:17 -------
Subject: Bug 33642

Author: dje
Date: Mon Sep 22 15:15:56 2008
New Revision: 140551

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=140551
Log:
        PR rtl-optimization/33642
        * gcc.c-torture/compile/pr11832.c: Extend XFAIL to powerpc*-*-*.
        * gcc.c-torture/compile/pr33009.c: Likewise.

Modified:
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.c-torture/compile/pr11832.c
    trunk/gcc/testsuite/gcc.c-torture/compile/pr33009.c


-- 


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

[Bug rtl-optimization/33642] unrecognizable insn for -frtl-abstract-sequences

[jakub at gcc dot gnu dot org]

------- Comment #31 from jakub at gcc dot gnu dot org  2008-10-29 23:33 -------
Any progress on this patch?  IMHO an option that doesn't work on most of the
primary and secondary arches deserves to be disabled.


-- 


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

[Bug rtl-optimization/33642] unrecognizable insn for -frtl-abstract-sequences

[uros at gcc dot gnu dot org]

------- Comment #32 from uros at gcc dot gnu dot org  2008-12-01 15:21 -------
Subject: Bug 33642

Author: uros
Date: Mon Dec  1 15:19:40 2008
New Revision: 142319

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=142319
Log:
        PR rtl-optimization/33642
        * gcc.c-torture/compile/pr11832.c: Extend XFAIL to alpha*-*-*.
        * gcc.c-torture/compile/pr33009.c: Likewise.


Modified:
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.c-torture/compile/pr11832.c
    trunk/gcc/testsuite/gcc.c-torture/compile/pr33009.c


-- 


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

[Bug rtl-optimization/33642] unrecognizable insn for -frtl-abstract-sequences

[ghazi at gcc dot gnu dot org]

------- Comment #33 from ghazi at gcc dot gnu dot org  2009-11-29 16:12 -------
The flag -frtl-abstract-sequences was removed and the relevant testcases
deleted.  Should we resolve this PR as WONTFIX ?

http://gcc.gnu.org/ml/gcc-patches/2009-03/msg01800.html


-- 

ghazi at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |WAITING


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

[Bug rtl-optimization/33642] unrecognizable insn for -frtl-abstract-sequences

[rguenth at gcc dot gnu dot org]

------- Comment #34 from rguenth at gcc dot gnu dot org  2009-11-29 16:34 -------
Wontfix.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |RESOLVED
         Resolution|                            |WONTFIX


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