以下の関数が宣言されているとします。

int add1(int);

32ビットモードの場合、この関数は、1つのパラメータをレジスタR0を使用して引き渡し、リターン値をレジスタR0を使用して呼出し元に返します。

以下のアセンブラルーチンは、この宣言に適合します。このルーチンは、パラメータの値よりも1つ大きな値を返します。

            name    return
            section .text:CODE
            add     r0, r0, #1
            bx      lr
            end

64ビットモードの場合、この関数は、1つのパラメータをレジスタX0を使用して引き渡し、リターン値をレジスタX0を使用して呼出し元に返します。宣言と互換性のある関連のアセンブラルーチンは以下のようになります。

            name    return
            section .text:CODE
            add     x0, x0, #1
            ret
            end

この例は、構造体がスタックを使用して引き渡される方法を説明しています。以下が宣言されているとします。

struct MyStruct 
{ 
  short a;
  short b;
  short c;
  short d;
  short e;
};

int MyFunction(struct MyStruct x, int y);

32ビットモードの場合、構造体メンバa、b、c、およびdの値は、レジスタR0-R3に渡されます。最後の構造体メンバeおよび整数パラメータyはスタックで渡されます。呼び出し元関数は、スタックの上位8バイトを確保し、2つのスタックパラメータの内容をその位置にコピーします。リターン値は、R0レジスタを使用して呼び出し元に返されます。

64ビットモードの場合、xの値は、X0とX1に渡され、yはX2に渡されます。リターン値はX0に渡されます。

次の関数は、structMyStruct型の構造体を返します。

struct MyStruct 
{ 
  int mA[20]; 
};

struct MyStruct MyFunction(int x);

リターン値のメモリ位置を割り当てて、それにポインタを最初の隠しパラメータとして引き渡すのは、呼び出し元の関数の役割です。32ビットモードの場合、リターン値が格納されるべき位置へのポインタは、R0内で引き渡されます。パラメータxはR1で引き渡されます。64ビットモードの場合、リターン値が格納されるべき位置へのポインタは、X8内で引き渡されます。パラメータxはX0に渡されます。

関数が構造体へのポインタを返すよう宣言されているとします。

struct MyStruct *MyFunction(int x);

この場合、リターン値はスカラであり、隠しパラメータはありません。32 ビットモードの場合、パラメータxはR0に渡され、リターン値はR0で返されます。64ビットモードの場合、パラメータxはX0に渡され、リターン値はX0で返されます。