Re: ANN: gcc 4.9.1bis for Darwin

[Simon Wright <simon@pushface.org>]

vincent.diemunsch@gmail.com writes:

> Thank you very much Simon.
> Your compiler release has become my main compiler.

Same for me ...

> Just a small question : is it possible to use INTEL syntax for on-line
> assembly, in mean among Ada source code ?
> If not, how can I link assembly language routines with Ada code ?

For inline assembly, you need to use GNU syntax. As a simple(?) ARM
example,

   function In_ISR return Boolean is
      IPSR : Interfaces.Unsigned_32;
      use type Interfaces.Unsigned_32;
   begin
      System.Machine_Code.Asm
        ("mrs %0, ipsr",
         Outputs => Interfaces.Unsigned_32'Asm_Output ("=r", IPSR),
         Volatile => True);
      return (IPSR and 16#ff#) /= 0;
   end In_ISR;

Looking at some of the AdaCore STM32 code, there are two other things
that might be helpful.

First, there is convention Asm:

   System_Vectors : constant System.Address;
   pragma Import (Asm, System_Vectors, "__vectors");

which is fine for data objects like this, not so sure what calling
convention might be expected from an ASM subprogram.

Second, there is pragma Machine_Attribute:

   procedure Pend_SV_Handler;
   pragma Machine_Attribute (Pend_SV_Handler, "naked");
   pragma Export (Asm, Pend_SV_Handler, "__gnat_pend_sv_trap");
   --  This assembly routine needs to save and restore registers without
   --  interference. The "naked" machine attribute communicates this to GCC.