[Bug treelang/41639] New: synchronisation primitives take unsigned as input and output values.

[Bug treelang/41639] New: synchronisation primitives take unsigned as input and output values.

[chrbr at gcc dot gnu dot org]

Current implementation of the synchronization builtins in gcc (from
http://software.intel.com/sites/products/documentation/hpc/compilerpro/en-us/cpp/lin/compiler_c/intref_cls/common/intref_itanium_synchro_prim.htm)
describe <type> as unsigned. although it is stated as "<type> is either a
32-bit or 64-bit integer"

consequently, testsuite tests such as sync-2.c:

if (__sync_sub_and_fetch(AI+13, 12) != (char)-12)
    abort ();

might fail. (unless the target/runtime dependant primitive implementation
artificially change the return type).


-- 
           Summary: synchronisation primitives take unsigned as input and
                    output values.
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Severity: trivial
          Priority: P3
         Component: treelang
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: chrbr at gcc dot gnu dot org


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

[Bug treelang/41639] synchronisation primitives take unsigned as input and output values.

[chrbr at gcc dot gnu dot org]

------- Comment #1 from chrbr at gcc dot gnu dot org  2009-10-09 07:12 -------
Created an attachment (id=18758)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=18758&action=view)
Fix synchronisation parameter/output signess

The attached patch gives the correct semantic. But should be checked on target
using them (pa/arm) for possible legacy regression.

(tested on SH with a non-linux, in house runtime, implementation)

2009-10-08  Christian Bruel  <christian.bruel@st.com>

        * builtin-types.def (BT_I[1,2,4,8,16): Set signed.


-- 


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

[Bug middle-end/41639] synchronisation primitives take unsigned as input and output values.

[steven at gcc dot gnu dot org]

------- Comment #2 from steven at gcc dot gnu dot org  2010-07-20 22:21 -------
Mis-categorized as a treelang bug (?!).

rth, you added these primitive types and the _sync_* builtins... Could you have
a look at this bug and at the patch of comment #1, please?


-- 

steven at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rth at gcc dot gnu dot org
          Component|treelang                    |middle-end


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