[PATCH] Add libgcc support for cache clearing on ARM VxWorks

[Olivier Hainque <hainque at adacore dot com>]

Hello,

On top of previous changes reworking the arm-vxworks support

  https://gcc.gnu.org/ml/gcc-patches/2017-08/msg00085.html
  https://gcc.gnu.org/ml/gcc-patches/2017-08/msg00075.html
  https://gcc.gnu.org/ml/gcc-patches/2017-08/msg00078.html

This patch adds a variant implementation of _clear_cache
for arm-vxworks*, needed for proper functioning of trampolines
on targets with separate instruction/data caches.

This allows, among other things, Ada tasking programs to
run on variety of configurations which we are exercising with
at least ACATS nightly with gcc-6 based compilers.

As this is touching a common ARM implementation file (lib1funcs.S),
this presumably requires approval from an ARM port maintainer. CC
Richard for this, as he participated in recent discussions regarding
VxWorks for ARM.

OK to commit ?

Thanks much in advance for your feedback,

With Kind Regards,

Olivier

2017-08-01  Doug Rupp  <rupp@adacore.com>
            Olivier Hainque  <hainque@adacore.com>

   	libgcc/
    	* config/arm/lib1funcs.S (_clear_cache): Add variant for __vxworks.
    	* config/arm/t-vxworks: New file, add _clear_cache to LIB1ASMFUNCS.
    	* config.host (arm-wrs-vxworks, arm-wrs-vxworks7): Add arm/t-vxworks
    	to tmake_file.
    
    	gcc/
    	* config/arm/vxworks.h (CLEAR_INSN_CACHE): Define.

Attachment: 0004-Add-libgcc-support-for-insn-cache-clearing-on-ARM-Vx.patch
Description: Binary data