Cmm

[mitsuji]

Haskell コンパイラ GHC が使っている 中間言語 Cmm です。
C-- という言語を元にかなり変更されているようです。
C-- 自体は現役の処理系がなかったので、こっちでやってみました。
Cから呼ぶ必要があるのでCのコードも付けています。

これもポータブルなはずですが、もし動かなかったら言ってください。
詳細を確認します。

[mitsuji]

手元の環境だと、Linux, Windows, Mac は大丈夫でした。

[mitsuji]

最新 master で rebase しました!

[taisukef]

おもしろい言語がありますね
callの替わりにjumpができて、末尾最適が記述しやすいんですね！

M1 Mac、コンパイル後、動かそうとすると、bus error と出ました

zsh: bus error  ./a.out

[mitsuji]

ですね。関数型言語用の中間表現なので末尾再帰とか表しやすくしているようです。

自分では確認できてないのですが、下記で別バージョンのghcを試していただきたいです。

$ brew install [email protected]

GHCが数値計算で依存してるGMPがCPUレジスタの使い方でAppleとちょっともめてて、問題あるコードがリリースされちゃってるみたいで、その影響で実行時に失敗するという話がありました。
https://gitlab.haskell.org/ghc/ghc/-/issues/22497#note_472557

GHC 9.6.1, 9.4.5, 9.2.6 でパッチ済みのGMPを使うようになって修正されたようなのですが、brew の ghc はデフォルトが 9.4.4 でそれより新しいものはまだ指定できないみたいです。ただ、9.2.8が使えるようなのでそれで試していただきたく。
https://formulae.brew.sh/formula/ghc

ghc 9.2.6
https://downloads.haskell.org/~ghc/9.2.6/docs/html/users_guide/9.2.6-notes.html#build-system-and-packaging

ghc 9.4.5
https://downloads.haskell.org/~ghc/9.4.5/docs/users_guide/9.4.5-notes.html#build-system-and-packaging

[taisukef]

ありがとうございます
残念ながら、9.2 でも同様に bus error でした
8.10 だと、コンパイルできず

また別の環境で試してみます

[mitsuji]

ありがとうございます。
こちらも M1/M2 Mac 探して試してみます。

[mitsuji]

Apple Silicon な Mac で試して現象の再現できました。
一旦ミニマムなコードで試して Hello, World! はいけました。
ただ下記の課題があり、解決に少し時間かかりそうです。

• C の printf が正しく動作しない。(%lf とか %d で表示する数値がまったく違う)
• 別ソースファイルの関数を呼ぶと bus error になる。

何か根本的なところが違ってそうなので、基本的なところからさらっていこうと思います。
少し時間いただきます。