[Bug middle-end/52940] New: conversion from MODE_PARTIAL_INT uses sign extension for unsigned types

[Bug middle-end/52940] New: conversion from MODE_PARTIAL_INT uses sign extension for unsigned types

[bigotp at acm dot org]

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

             Bug #: 52940
           Summary: conversion from MODE_PARTIAL_INT uses sign extension
                    for unsigned types
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: bigotp@acm.org


In expr.c:convert_move, when from_mode has class MODE_PARTIAL_INT the
conversion is done with sign extension even for unsigned types.  This has been
the behavior since the code was added in 2003, but it seems like a bug.

[Bug middle-end/52940] conversion from MODE_PARTIAL_INT uses sign extension for unsigned types

[ebotcazou at gcc dot gnu.org]

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

Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
                URL|                            |http://gcc.gnu.org/ml/gcc-p
                   |                            |atches/2012-04/msg01043.htm
                   |                            |l
   Last reconfirmed|                            |2012-04-24
                 CC|                            |bernds at gcc dot gnu.org,
                   |                            |ebotcazou at gcc dot
                   |                            |gnu.org
     Ever Confirmed|0                           |1

[Bug middle-end/52940] conversion from MODE_PARTIAL_INT uses sign extension for unsigned types

[bernds at gcc dot gnu.org]

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

Bernd Schmidt <bernds at gcc dot gnu.org> changed:

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

--- Comment #1 from Bernd Schmidt <bernds at gcc dot gnu.org> 2012-04-26 13:54:03 UTC ---
Committed now.

[Bug middle-end/52940] conversion from MODE_PARTIAL_INT uses sign extension for unsigned types

[bernds at gcc dot gnu.org]

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

--- Comment #2 from Bernd Schmidt <bernds at gcc dot gnu.org> 2012-04-26 14:20:50 UTC ---
Author: bernds
Date: Thu Apr 26 14:20:39 2012
New Revision: 186877

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=186877
Log:
    PR middle-end/52940
    * machmode.h (CLASS_HAS_WIDER_MODES_P): True for MODE_PARTIAL_INT.
    * expr.c (convert_move): Honor unsignedp when extending partial int
    modes.
    * genmodes.c (complete_mode): Don't clear component field of partial
    int modes.
    (emit_mode_inner): Don't emit it however.
    (calc_wider_mode): Partial int modes widen to their component.


Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/expr.c
    trunk/gcc/genmodes.c
    trunk/gcc/machmode.h