This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

common VxWorks configuration bits for 64bits support

From: Olivier Hainque <hainque at adacore dot com>
To: GCC Patches <gcc-patches at gcc dot gnu dot org>
Cc: Olivier Hainque <hainque at adacore dot com>, Douglas B Rupp <rupp at adacore dot com>, Jerome Lambourg <lambourg at adacore dot com>
Date: Tue, 27 Jun 2017 10:48:30 +0200
Subject: common VxWorks configuration bits for 64bits support
Authentication-results: sourceware.org; auth=none

Hello,

Preparing the introduction of an x86_64-vxworks7 port, this adjusts
the common VxWorks support files to accommodate 64bit ABIs.

This passes lots of tests in our current gcc-6 based production
compilers for C and Ada, I checked that a toolchain+libgcc build
passes on mainline and this is passing ACATS on a gcc-7 based
development port in-house.

Olivier

2017-06-27  Jérôme Lambourg  <lambourg@adacore.com>

  	* config/vxworks.h (VXWORKS_LIBS_RTP): Alternative definition for
    	64bit configurations.
    	(PTR_DIFF_TYPE): Alternative definition for TARGET_LP64.
    	(SIZE_TYPE): Likewise.
    	* config/vxworks.c (vxworks_emutls_var_fields): Use
    	long_unsigned_type_node instead of unsigned_type_node as the offset
        field type, which is "pointer" mode in emutls.c.

Attachment: 0003-common-vxworks-configuration-bits-for-64bit-support.patch
Description: Binary data

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]