gcc/testsuite/gnat.dg/machine_code1.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-gnatws" }
   3
   4 with System.Machine_Code; use System.Machine_Code;
   5 procedure machine_code1 is
   6    A_Float        : Float;
   7    An_Other_Float : Float := -99999.0;
   8 begin
   9    An_Other_Float := An_Other_Float - A_Float;
  10    Asm("", Inputs => (Float'Asm_Input ("m", A_Float)));
  11 end;