Package: System.Machine

Package: System.Machine_Code

Description

This package provides machine code support, both for instrinsic machine operations, and also for machine code statements. See GNAT documentation for full details.

Header

package System.Machine_Code is

pragma Pure (Machine_Code);

Type Summary

`Asm_Input_Operand`
Primitive Operations:	`Asm`, `Asm`, `Asm`, `Asm`
`Asm_Input_Operand_List`
`Asm_Insn`
Primitive Operations:	`Asm`, `Asm`, `Asm`, `Asm`
`Asm_Output_Operand`
Primitive Operations:	`Asm`, `Asm`, `Asm`, `Asm`
`Asm_Output_Operand_List`

Constants and Named Numbers

No_Input_Operands : constant Asm_Input_Operand;

No_Output_Operands : constant Asm_Output_Operand;

Other Items:

type Asm_Input_Operand  is private;

type Asm_Output_Operand is private;

These types are never used directly, they are declared only so that the calls to Asm are type correct according to Ada semantic rules.

type Asm_Input_Operand_List  is
  array (Integer range <>) of Asm_Input_Operand;

type Asm_Output_Operand_List is
  array (Integer range <>) of Asm_Output_Operand;

type Asm_Insn is private;

This type is not used directly. It is declared only so that the aggregates used in code statements are type correct by Ada rules.

procedure Asm (
  Template : String;
  Outputs  : Asm_Output_Operand_List;
  Inputs   : Asm_Input_Operand_List;
  Clobber  : String  := "";
  Volatile : Boolean := False);

procedure Asm (
  Template : String;
  Outputs  : Asm_Output_Operand := No_Output_Operands;
  Inputs   : Asm_Input_Operand_List;
  Clobber  : String  := "";
  Volatile : Boolean := False);

procedure Asm (
  Template : String;
  Outputs  : Asm_Output_Operand_List;
  Inputs   : Asm_Input_Operand := No_Input_Operands;
  Clobber  : String  := "";
  Volatile : Boolean := False);

procedure Asm (
  Template : String;
  Outputs  : Asm_Output_Operand := No_Output_Operands;
  Inputs   : Asm_Input_Operand  := No_Input_Operands;
  Clobber  : String  := "";
  Volatile : Boolean := False);

function Asm (
  Template : String;
  Outputs  : Asm_Output_Operand_List;
  Inputs   : Asm_Input_Operand_List;
  Clobber  : String  := "";
  Volatile : Boolean := False)
  return     Asm_Insn;

function Asm (
  Template : String;
  Outputs  : Asm_Output_Operand := No_Output_Operands;
  Inputs   : Asm_Input_Operand_List;
  Clobber  : String  := "";
  Volatile : Boolean := False)
  return     Asm_Insn;

function Asm (
  Template : String;
  Outputs  : Asm_Output_Operand_List;
  Inputs   : Asm_Input_Operand := No_Input_Operands;
  Clobber  : String  := "";
  Volatile : Boolean := False)
  return     Asm_Insn;

function Asm (
  Template : String;
  Outputs  : Asm_Output_Operand := No_Output_Operands;
  Inputs   : Asm_Input_Operand  := No_Input_Operands;
  Clobber  : String  := "";
  Volatile : Boolean := False)
  return     Asm_Insn;

pragma Import (Intrinsic, Asm);

private

   --  Implementation-defined ...

end System.Machine_Code;