[Bug middle-end/36194] New: [4.1/4.2/4.3/4.4 Regression] Truncation optimization in combine can remove necessary truncations

[Bug middle-end/36194] New: [4.1/4.2/4.3/4.4 Regression] Truncation optimization in combine can remove necessary truncations

[nemet at gcc dot gnu dot org]

On mips64-linux-gnu the following testcase aborts:

  void abort (void);

  __attribute__ ((noinline)) void
  f (int i)
  {
    if (i != 0x87654321)
      abort ();
    asm ("");
  }

  __attribute__ ((noinline)) void
  g (long long a)
  {
    f (a);
    asm ("");
  }

  main ()
  {
    g (0x1234567887654321ll);
    return 0;
  }


-- 
           Summary: [4.1/4.2/4.3/4.4 Regression] Truncation optimization in
                    combine can remove necessary truncations
           Product: gcc
           Version: 4.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: nemet at gcc dot gnu dot org
        ReportedBy: nemet at gcc dot gnu dot org
GCC target triplet: mips64-linux-gnu


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

[Bug middle-end/36194] [4.1/4.2/4.3/4.4 Regression] Truncation optimization in combine can remove necessary truncations

[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
           Keywords|                            |wrong-code
   Target Milestone|---                         |4.1.3


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

[Bug middle-end/36194] [4.1/4.2/4.3/4.4 Regression] Truncation optimization in combine can remove necessary truncations

[nemet at gcc dot gnu dot org]

------- Comment #1 from nemet at gcc dot gnu dot org  2008-05-09 20:46 -------
Patch: http://gcc.gnu.org/ml/gcc-patches/2008-05/msg00591.html


-- 


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

[Bug middle-end/36194] [4.2/4.3/4.4 Regression] Truncation optimization in combine can remove necessary truncations

[nemet at gcc dot gnu dot org]

------- Comment #2 from nemet at gcc dot gnu dot org  2008-05-13 16:38 -------
The change causing this was not present in 4.1.


-- 

nemet at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.1/4.2/4.3/4.4 Regression]|[4.2/4.3/4.4 Regression]
                   |Truncation optimization in  |Truncation optimization in
                   |combine can remove necessary|combine can remove necessary
                   |truncations                 |truncations
   Target Milestone|4.1.3                       |4.2.4


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

[Bug middle-end/36194] [4.2/4.3/4.4 Regression] Truncation optimization in combine can remove necessary truncations

[nemet at gcc dot gnu dot org]

------- Comment #3 from nemet at gcc dot gnu dot org  2008-05-15 19:28 -------
Subject: Bug 36194

Author: nemet
Date: Thu May 15 19:25:53 2008
New Revision: 135392

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=135392
Log:
        PR middle-end/36194
        * combine.c (check_conversion): Rename to check_promoted_subreg. 
        Don't call record_truncated_value from here. 
        (record_truncated_value): Turn it into a for_each_rtx callback. 
        (record_truncated_values): New function. 
        (combine_instructions): Call note_uses with 
        record_truncated_values.  Change name of check_conversion to 
        check_promoted_subreg. 

testsuite/

        * gcc.dg/pr36194.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/pr36194.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/combine.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug middle-end/36194] [4.2/4.3 Regression] Truncation optimization in combine can remove necessary truncations

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2


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

[Bug middle-end/36194] [4.2/4.3 Regression] Truncation optimization in combine can remove necessary truncations

[jsm28 at gcc dot gnu dot org]

------- Comment #4 from jsm28 at gcc dot gnu dot org  2008-05-19 20:25 -------
4.2.4 is being released, changing milestones to 4.2.5.


-- 

jsm28 at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.2.4                       |4.2.5


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

[Bug middle-end/36194] [4.2/4.3 Regression] Truncation optimization in combine can remove necessary truncations

[nemet at gcc dot gnu dot org]

------- Comment #5 from nemet at gcc dot gnu dot org  2008-05-19 23:30 -------
Subject: Bug 36194

Author: nemet
Date: Mon May 19 23:29:29 2008
New Revision: 135592

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=135592
Log:
        PR middle-end/36194
        * combine.c (check_conversion): Rename to check_promoted_subreg. 
        Don't call record_truncated_value from here. 
        (record_truncated_value): Turn it into a for_each_rtx callback. 
        (record_truncated_values): New function. 
        (combine_instructions): Call note_uses with 
        record_truncated_values.  Change name of check_conversion to 
        check_promoted_subreg. 

testsuite/

        * gcc.dg/pr36194.c: New test.

Added:
    branches/gcc-4_3-branch/gcc/testsuite/gcc.dg/pr36194.c
Modified:
    branches/gcc-4_3-branch/gcc/ChangeLog
    branches/gcc-4_3-branch/gcc/combine.c
    branches/gcc-4_3-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug middle-end/36194] [4.2 Regression] Truncation optimization in combine can remove necessary truncations

[nemet at gcc dot gnu dot org]

------- Comment #6 from nemet at gcc dot gnu dot org  2008-05-20 18:43 -------
Subject: Bug 36194

Author: nemet
Date: Tue May 20 18:42:09 2008
New Revision: 135670

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=135670
Log:
        PR middle-end/36194
        * combine.c (check_conversion): Rename to check_promoted_subreg.
        Don't call record_truncated_value from here.
        (record_truncated_value): Turn it into a for_each_rtx callback.
        (record_truncated_values): New function.
        (combine_instructions): Call note_uses with
        record_truncated_values.  Change name of check_conversion to
        check_promoted_subreg.

testsuite/

        * gcc.dg/pr36194.c: New test.

Added:
    branches/gcc-4_2-branch/gcc/testsuite/gcc.dg/pr36194.c
Modified:
    branches/gcc-4_2-branch/gcc/ChangeLog
    branches/gcc-4_2-branch/gcc/combine.c
    branches/gcc-4_2-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug middle-end/36194] [Regression] Truncation optimization in combine can remove necessary truncations

[nemet at gcc dot gnu dot org]

------- Comment #7 from nemet at gcc dot gnu dot org  2008-05-20 18:44 -------
Fixed on all branches.


-- 

nemet at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |FIXED
            Summary|[4.2 Regression] Truncation |[Regression] Truncation
                   |optimization in combine can |optimization in combine can
                   |remove necessary truncations|remove necessary truncations


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

[Bug middle-end/36194] [Regression] Truncation optimization in combine can remove necessary truncations

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.2.5                       |4.3.3


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