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

    aSign = a >> 31;
    bSign = b >> 31;
    if ( aSign != bSign ) { ... }

  xor         a2, a1, a0
  bltz        a2, 0x1c

  srliw       a2, a0, 0x1f
  srliw       a3, a1, 0x1f
  bne         a2, a3, 0x38

これを「未定義動作バグ」と呼ぶのが適切なのかは自信がありませんが、おそらくプログラマには 「uint32_t を 31 ビット右シフトした場合、bit 0 以外は全て 0 になり、0x0 か 0x1 のどちらかに必ずなる」という暗黙の仮定があったのではないかと思われ、そうとは限らないという意味で未定義動作バグとしました。

コンパイララインタイム関数は C 言語仕様の範疇ではなく、完全にコンパイラの実装と結びついたもの（コード生成の一部と考えられる）なので、なんでもありなのでしょう。

ではなぜ compiler-rt の関数は大丈夫なのか？という疑問が生まれますが、どうもレジスタ渡しされてきた値を一度スタックに書き込んで符号付きに変換して扱っているから大丈夫なようです。

そもそも本来は __ltsf2 に渡ってくるのは float 型のようで、そのまま uint32_t で扱ってはいけないのかもしれません。

#!/bin/bash -xe

export LIBFLAGS="c:/ d:/"

/c/msys64/mingw64/bin/gcc.exe -v &> XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX.txt

最近Rustという新しいプログラミング言語が多くの分野で注目を浴びています。RustはC++のような低レベルなコンパイル型言語であり高い効率で動作する一方、強力な型システムやメモリ安全性を保証するための仕組みを備えており、バグの少ないコードを書くことができます。本記事では、TOPPERSカーネルや弊社のSOLID-OS上でRustで書かれたプログラムを動かし、カーネルAPIを使用する方法を紹介します。

• LLVM のリンカ LLD は RISC-V のデフォルトである -mrelax オプション（Linker optimization/relaxation）のサポートが完全ではないなど、様々な問題があるため、リンカのみ Binutils の GNU ld を使用します。
• LLVM の C++ ランタイム実装 libc++abi と C++ ライブラリ libc++ が newlib ではビルドできないようなので、今回は C コンパイラのみビルドします。（libc++abi の実装に使用される C++ 例外の実装 libunwind はビルド可能ですが、C の場合は不要なので今回は割愛します。）
• RISC-V 命令セットシミュレータの spike と一緒に使用する pk カーネルが clang ではビルドできないようなので、spike/pk は今回はビルドせず、以前の環境で GCC を使ってビルドしたものを使用します。（OVPsim の無償版は現在 V 拡張をサポートしていない問題があります。）