__builtin_riscv_pause not listed in document

[KaiYG]

I notice that __builtin_riscv_pause has been supported on GCC for a while but not listed in risc-c-api-doc.
Is it an official api and just not yet updated to the document?

[cmuellner]

The name __builtin_riscv_pause does not conform with the naming convention of RISC-V intrinsics (which need a prefix __riscv_).

In other words, there is no defined interoperable intrinsic function to emit a PAUSE instruction.

To introduce one, the following steps could be taken:

• make a proposal for the intrinsic in a PR for this repo
• create and publish patches for GCC and LLVM (if necessary) that reference the PR