Cm v0.14.2 リリースノート

リリース日: 2026-03-07 前バージョン: v0.14.1

✨ ハイライト

v0.14.2はTagged Union（Result/Option/enum）のペイロード抽出に関する重大バグ2件の修正、ASM過剰volatile生成の修正、Dead Function Elimination（DFE）の追加、__asm__定数展開、モノモーフィゼーション最適化を含むパッチリリースです。ベアメタル環境でのResult型エラーハンドリングを安全に使用可能にし、コンパイル・テスト性能を改善しました。

🐛 重大バグ修正: Tagged Union ペイロード

Bug#1: ペイロード型の64bitハードコード問題

mir_to_llvm.cppのconvertPlaceToAddressでTagged Union（enum/Result/Option）のペイロード型がhir::make_int()（i32）にハードコードされ、64bit型のペイロードが切り詰められる問題。

Bug#2: ペイロード部分書き込みによるundef bytes

Result::Ok(0)等のenum construct時、ペイロード値（i32）がi8[N]に部分書き込みされ、LLVM最適化がmemset+storeをconstant phiに畳み込む際にundef bytesが生成される問題。

影響: この修正によりResult<T, E>でT==E（例: Result<long, long>）が正しく動作。ベアメタル環境を含む全レイヤーでResult型エラーハンドリングが使用可能に。

🐛 その他のバグ修正

ASM含有関数の過剰volatile生成

__asm__を含む関数で全ローカル変数にvolatile属性が付与され、不要なalloca → volatile store → volatile loadチェーンが生成される問題を修正。

修正前: outb(ushort, utiny) → 13回のメモリ操作、0x43バイト
修正後: outb(ushort, utiny) → 0回のメモリ操作、0x4バイト

型キーワードのnamespace名衝突

import ../lib/string;で展開されるnamespace string { ... }がCm組み込み型stringと衝突する問題を修正。

その他

✨ 新機能

Dead Function Elimination (DFE)

MIR→LLVM変換時に未使用関数を除去する最適化パスを追加。ベアメタル環境でのバイナリサイズ削減に有効。

enum値の文字リテラルサポート

parse_enum_declでCharLiteralを受け付けるよう拡張。

export enum Ascii {
    LowerA = 'a',
    LowerB,        // 98 (オートインクリメント)
    UpperA = 'A',
    Digit0 = '0',
}

__asm__内の${CONST_NAME}定数展開

lower_asmでasm文字列中の${CONST_NAME}パターンを検出し、global_const_valuesテーブルから定数値を取得して16進数リテラルに直接置換。colonを含む${+r:var}等のオペランド記法はスキップ。

x86_64 Dockerクロスビルド対応

x86_64ターゲット向けDockerビルド環境を追加。LLVM共有ライブラリ + C++静的リンクの最適構成。

⚡ パフォーマンス改善

モノモーフィゼーション反復ループ最適化

ネストジェネリクス（Queue等）にも対応。

テストランナー並列化改善（FIFOセマフォ方式）

📁 主要な変更ファイル

📊 テスト結果

🔮 今後の予定

• v0.15.0: File I/O、パッケージ管理、JSバックエンドのポインタ/VTable対応