最近C言語がわかるようになってきた気がする

浮動小数の定数畳み込みで精度がずれる問題てどう対処するのが正しいんだろうか。プロセッサごとに丸めモードとかがあるとして、さて、このときLLVMのような中間表現プログラムに対する定数畳み込みはどのように動くべきか?的な意味で。

現代のプロセッサの抽象としてC言語が残念な点リストみたいなのって無いかな…とりあえず思い付く点は

  • 丸めモードがfenv.hというライブラリしかない
  • 可視性に関する機能が無い
  • ローテート、fmaが無い
  • 真偽値が0 or 1とか誰得
  • スタックフレーム的な何か

あたり?