[Bug tree-optimization/33923] New: [4.3 Regression] ICE in reload_cse_simplify_operands (insn does not satisfy its constraints)

[Bug tree-optimization/33923] New: [4.3 Regression] ICE in reload_cse_simplify_operands (insn does not satisfy its constraints)

[tbm at cyrius dot com]

With current trunk on ia64:

(sid)tbm@coconut0:~$ /usr/lib/gcc-snapshot/bin/gcc -c -O3 brltty-braille.c
brltty-braille.c: In function 'brl_readCommand':
brltty-braille.c:72: error: insn does not satisfy its constraints:
(insn 8165 2623 3131 8 brltty-braille.c:49 (set (reg:SI 63 loc31)
        (reg:SI 326 b6 [1409])) 4 {*movsi_internal} (nil))
brltty-braille.c:72: internal compiler error: in reload_cse_simplify_operands,
at postreload.c:395
Please submit a full bug report,
with preprocessed source if appropriate.

I'll add my testcase.  I guess it would be possible to reduce it some more,
but it's really slow to compile (see PR33922) so I gave up on that.


-- 
           Summary: [4.3 Regression] ICE in reload_cse_simplify_operands
                    (insn does not satisfy its constraints)
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: tbm at cyrius dot com
GCC target triplet: ia64-linux-gnu


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

[Bug tree-optimization/33923] [4.3 Regression] ICE in reload_cse_simplify_operands (insn does not satisfy its constraints)

[tbm at cyrius dot com]

------- Comment #1 from tbm at cyrius dot com  2007-10-27 15:43 -------
/* Testcase by Martin Michlmayr <tbm@cyrius.com> */

static int pendingCommand;
static int currentModifiers;
typedef struct
{
  int (*updateKeys) (int *keyPressed);
}
ProtocolOperations;
static const ProtocolOperations *protocol;
brl_readCommand (void)
{
  unsigned long int keys;
  int command;
  int keyPressed;
  unsigned char routingKeys[200];
  int routingKeyCount;
  signed char rightVerticalSensor;
  if (pendingCommand != (-1))
    {
      return command;
    }
  if (!protocol->updateKeys (&keyPressed))
    {
      if (rightVerticalSensor >= 0)
        keys |= 1;
      if ((routingKeyCount == 0) && keys)
        {
          if (currentModifiers)
            {
            doChord:switch (keys);
            }
          else
            {
            doCharacter:
              command = 0X2200;
              if (keys & 0X01UL)
                command |= 0001;
              if (keys & 0X02UL)
                command |= 0002;
              if (keys & 0X04UL)
                command |= 0004;
              if (keys & 0X08UL)
                command |= 0010;
              if (keys & 0X10UL)
                command |= 0020;
              if (keys & 0X20UL)
                command |= 0040;
              if (currentModifiers & (0X0010 | 0X0200))
                command |= 0100;
              if (currentModifiers & 0X0040)
                command |= 0200;
              if (currentModifiers & 0X0100)
                command |= 0X020000;
              if (currentModifiers & 0X0400)
                command |= 0X080000;
              if (currentModifiers & 0X0800)
                command |= 0X040000;
            }
          unsigned char key1 = routingKeys[0];
          if (key1 == 0)
            {
            } else if (key1 == 1)
            if (keys)
              {
                currentModifiers |= 0X0010;
                goto doCharacter;
              }
        }
    }
  return command;
}


-- 


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

[Bug tree-optimization/33923] [4.3 Regression] ICE in reload_cse_simplify_operands (insn does not satisfy its constraints)

[tbm at cyrius dot com]

------- Comment #2 from tbm at cyrius dot com  2007-10-27 16:05 -------
20070811 is ok, 20070902 shows the ICE.


-- 


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

[Bug target/33923] [4.3 Regression] ICE in reload_cse_simplify_operands (insn does not satisfy its constraints)

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
          Component|tree-optimization           |target
   Target Milestone|---                         |4.3.0


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

[Bug target/33923] [4.3 Regression] ICE in reload_cse_simplify_operands (insn does not satisfy its constraints)

[ebotcazou at gcc dot gnu dot org]

------- Comment #3 from ebotcazou at gcc dot gnu dot org  2007-11-03 11:04 -------
Yep.


-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2007-11-03 11:04:36
               date|                            |


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

[Bug target/33923] [4.3 Regression] ICE in reload_cse_simplify_operands (insn does not satisfy its constraints)

[ebotcazou at gcc dot gnu dot org]

------- Comment #4 from ebotcazou at gcc dot gnu dot org  2007-11-03 11:05 -------
Investigating.


-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |ebotcazou at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2007-11-03 11:04:36         |2007-11-03 11:05:10
               date|                            |


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

[Bug target/33923] [4.3 Regression] ICE in reload_cse_simplify_operands (insn does not satisfy its constraints)

[ebotcazou at gcc dot gnu dot org]

------- Comment #5 from ebotcazou at gcc dot gnu dot org  2007-11-03 14:14 -------
It's indeed a target issue, exposed by PRE going out of control and creating
a bunch of new SSA names.  I'll post the target fix but I wonder if it's the
right thing to do.


-- 


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

[Bug target/33923] [4.3 Regression] ICE in reload_cse_simplify_operands (insn does not satisfy its constraints)

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1


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

[Bug target/33923] [4.3 Regression] ICE in reload_cse_simplify_operands (insn does not satisfy its constraints)

[steven at gcc dot gnu dot org]

------- Comment #6 from steven at gcc dot gnu dot org  2007-11-10 16:49 -------
Eric, the PRE issue you mention was fixed (xf. bug 32540).  The target issue is
still open.

The test case you posted in the patch from the Patch URL is already in the test
suite as gcc/testsuite/gcc.dg/tree-ssa/pr33922.c.


-- 


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

[Bug target/33923] [4.3 Regression] ICE in reload_cse_simplify_operands (insn does not satisfy its constraints)

[ebotcazou at gcc dot gnu dot org]

------- Comment #7 from ebotcazou at gcc dot gnu dot org  2007-11-12 15:18 -------
> Eric, the PRE issue you mention was fixed (xf. bug 32540).  The target issue is
> still open.

OK, thanks.  I guess the testcase doesn't fail anymore with the default
options.


-- 


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

[Bug target/33923] [4.3 Regression] ICE in reload_cse_simplify_operands (insn does not satisfy its constraints)

[tbm at cyrius dot com]

------- Comment #8 from tbm at cyrius dot com  2007-11-13 08:29 -------
Would be great if some IA64 people could comment on the patch.


-- 

tbm at cyrius dot com changed:

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


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

[Bug target/33923] [4.3 Regression] ICE in reload_cse_simplify_operands (insn does not satisfy its constraints)

[wilson at tuliptree dot org]

------- Comment #9 from wilson at tuliptree dot org  2007-11-14 20:32 -------
Subject: Re:  [4.3 Regression] ICE in
        reload_cse_simplify_operands (insn does not satisfy its constraints)

On Tue, 2007-11-13 at 08:29 +0000, tbm at cyrius dot com wrote:
> ------- Comment #8 from tbm at cyrius dot com  2007-11-13 08:29 -------
> Would be great if some IA64 people could comment on the patch.

I didn't see a patch attached to the bug report, and I was behind on my
gcc-patches reading again.  I just found the patch on gcc-patches
yesterday and started looking at it.  I will reply there.

Jim


-- 


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

[Bug target/33923] [4.3 Regression] ICE in reload_cse_simplify_operands (insn does not satisfy its constraints)

[ebotcazou at gcc dot gnu dot org]

------- Comment #10 from ebotcazou at gcc dot gnu dot org  2007-11-14 20:40 -------
> I didn't see a patch attached to the bug report, and I was behind on my
> gcc-patches reading again.

It is linked to in the 'Patch URL' field.

> I will reply there.

Thanks in advance.


-- 


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

[Bug target/33923] [4.3 Regression] ICE in reload_cse_simplify_operands (insn does not satisfy its constraints)

[wilson at tuliptree dot org]

------- Comment #11 from wilson at tuliptree dot org  2007-11-14 21:05 -------
Subject: Re:  [4.3 Regression] ICE in
        reload_cse_simplify_operands (insn does not satisfy its constraints)

On Wed, 2007-11-14 at 20:40 +0000, ebotcazou at gcc dot gnu dot org
wrote:
> It is linked to in the 'Patch URL' field.

Obviously, I forgot to look there.  Hopefully I will remember next time.
Also, it didn't help that no mail was sent to gcc-bugs list.  If you add
some unnecessary text to the additional comments box when changing the
Patch URL field, mail should be sent, and I will be more likely to
notice.

Jim


-- 


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

[Bug target/33923] [4.3 Regression] ICE in reload_cse_simplify_operands (insn does not satisfy its constraints)

[ebotcazou at gcc dot gnu dot org]

------- Comment #12 from ebotcazou at gcc dot gnu dot org  2007-11-14 23:21 -------
Subject: Bug 33923

Author: ebotcazou
Date: Wed Nov 14 23:21:15 2007
New Revision: 130188

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=130188
Log:
        PR target/33923
        * config/ia64/ia64.h (CANNOT_CHANGE_MODE_CLASS): Forbid mode changes
        for registers in BR_REGS class.


Added:
    trunk/gcc/testsuite/gcc.dg/pr33923.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/config/ia64/ia64.h
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug target/33923] [4.3 Regression] ICE in reload_cse_simplify_operands (insn does not satisfy its constraints)

[ebotcazou at gcc dot gnu dot org]

------- Comment #13 from ebotcazou at gcc dot gnu dot org  2007-11-14 23:24 -------
Works with -O3 --param max-partial-antic-length=0 now.


-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED


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