KMC 京都マイクロコンピュータ株式会社

Integer Calling Convention

The base integer calling convention provides eight argument registers, a0-a7, the first two of which are also used to return values.

Scalars that are at most XLEN bits wide are passed in a single argument register, or on the stack by value if none is available. When passed in registers or on the stack, integer scalars narrower than XLEN bits are widened according to the sign of their type up to 32 bits, then sign-extended to XLEN bits. When passed in registers or on the stack, floating-point types narrower than XLEN bits are widened to XLEN bits, with the upper bits undefined.

（以下、RV64I = XLEN は 64 を前提とした意訳）

RISC-V の整数呼び出し規約

基本的に整数呼び出し規約では a0-a7 の 8 つの関数引数レジスタを使用し、最初の 2 つ（a0、a1）は戻り値にも利用される。64 bit までのスカラ値は単一のレジスタで関数に渡される。レジスタが足りない場合はスタック上に値渡しされる。

64 bit 以下の幅の整数スカラ値がレジスタかスタックで渡されたとき、型に応じて 32 bit まで拡張され、その後 64 bit に符号拡張される。64 bit 以下の浮動小数点数型（= float）がレジスタかスタックで渡された場合の上位 32 bit は未定義。

int __ltsf2(uint32_t a, uint32_t b) {
  int aSign = a >> 31;
  int bSign = b >> 31;

  if (aSign != bSign) return -1;
  return 1;
}

__ltsf2:
	xor	a0, a1, a0
	srai	a0, a0, 63
	ori	a0, a0, 1
	ret

$ cat lt_float.c
#include <stdint.h>

static __inline uint32_t toUINT32(float x) {
  const union {
    float f;
    uint32_t i;
  } rep = {.f = x};
  return rep.i;
}

int __ltsf2(float x, float y) {
  uint32_t a = toUINT32(x);
  uint32_t b = toUINT32(y);
  int aSign = a >> 31;
  int bSign = b >> 31;

  if (aSign != bSign) return -1;
  return 1;
}

$ clang $CLANG_CFLAGS -g -O2 test_complex_main.c test_complex.c lt_float.c $PTHREAD_STUBS $QEMU_LDFLAGS $CLANG_LDFLAGS

$ /c/msys64/ucrt64/bin/qemu-system-riscv64.exe -M virt -m 2G -nographic -semihosting -bios none -kernel a.out
-2.000000 < 0 -> true

__ltsf2:
	xor	a0, a1, a0
	sraiw	a0, a0, 31
	ori	a0, a0, 1
	ret