Feature/v0.15.1

[shadowlink0122]

概要

変更点

関連Issue

テスト

• 単体テスト追加/更新
• 既存テスト通過
• E2Eテスト確認（該当する場合）

チェックリスト

• docker compose run --rm lint 通過
• ドキュメント更新（必要な場合）
• docs/design/ との整合性確認

[Copilot]

Pull request overview

Cm v0.15.1 に向けて、SystemVerilog（SV）バックエンド向けのフロントエンド拡張（SV固有型/always/assign/幅付きリテラル/concat・replicate構文）と、それに伴うMIR/HIR伝搬・CI/ビルド設定更新を行うPRです。合わせて、旧 tests/programs/** 配下の多数のテスト資産が削除され、tests/common/** 側へ整理されているように見えます。

Changes:

• SV向け構文・型・属性のパース/AST→HIR→MIR伝搬を追加（幅付き整数リテラル、SV固有型、always/assign、属性の名前空間対応）
• 新規SVコード生成バックエンド骨組みを追加し、ターゲット/Make/CIにSVを追加
• 期待値の更新（例: bitwise NOTの期待値修正）と、旧テストプログラム群の削除

Reviewed changes

Copilot reviewed 290 out of 1132 changed files in this pull request and generated 9 comments.

Show a summary per file

File	Description
src/frontend/lexer/token.hpp	SV固有キーワードと幅付きリテラル情報（BitLiteralInfo）をトークンに追加
src/frontend/parser/parser_expr.cpp	{a,b} 連接 / {N{expr}} 複製 / {field:...} 構造体リテラルの判別とbuiltin化を追加
src/frontend/parser/parser_type.cpp	SV固有型キーワード（posedge/negedge/wire/reg/bit）を型として解釈
src/frontend/parser/parser_module.cpp	属性の名前空間対応、SVポート宣言向けにグローバル変数初期化子省略を導入
src/frontend/types/checking/call.cpp	__builtin_concat/__builtin_replicate の型推論バイパスを追加
src/frontend/ast/types.hpp	SV固有TypeKindと型生成ヘルパーを追加
src/hir/nodes.hpp	リテラルのbit_info、関数always情報、GVのassign/attributesを追加
src/mir/nodes.hpp	定数bit_info、関数always情報、GVのassign/attributesを追加
src/hir/lowering/decl.cpp	AST→HIRでalways_kind/attributes/is_assign を伝搬
src/hir/lowering/expr.cpp	AST→HIRでliteral bit_infoを伝搬、builtin関数集合を拡張
src/mir/lowering/impl.cpp	HIR→MIRでalways_kind/attributes を伝搬
src/mir/lowering/expr_basic.cpp	HIR→MIRで定数bit_infoを伝搬
src/mir/lowering/base.cpp	const GVもSV出力のため global_vars に登録する動作へ変更
src/common/target.hpp	TargetにSVを追加
src/codegen/sv/codegen.hpp	SVバックエンドのコード生成クラス/構造体を新規追加
CMakeLists.txt	ccache自動検出、Unity build有効化、SVバックエンドソース追加
Makefile	SVターゲットのビルド/テストショートカットを追加、生成物(.sv等)をclean対象へ
.github/workflows/ci.yml	ubuntu-latest/macos-15 への更新、SVテストジョブとiverilog導入を追加
tests/common/basic/bitwise_ops.expect	~0 と flags clear の期待値を修正
docs/v0.15.1/sv_cm_mapping.md	Cm⇔SVマッピング表を追加（ただし一部現状と齟齬あり）
VERSION	0.15.1へ更新
tests/programs/** (多数)	旧テストプログラム/expect/skip 等を大量に削除（整理）

Comments suppressed due to low confidence (2)

src/frontend/ast/types.hpp:72

• TypeKind::Bit を追加していますが、get_primitive_info() に Bit の分岐がありません。このままだとBit型のサイズ/アラインメントがデフォルト扱いになり、SV型マッピングやコード生成でビット幅計算が破綻する可能性があります。最低限 case TypeKind::Bit: return {1,1}; のように明示し、必要なら bit[N] のNを表現できるようType表現（幅フィールド等）も合わせて拡張してください。

inline TypeInfo get_primitive_info(TypeKind kind) {

src/frontend/ast/types.hpp:360

• TypeKind::Bit の文字列表現が type_to_string() に存在しません。デバッグ表示・エラーメッセージ・テスト期待値生成等でBit型が空/不正表現になる恐れがあるため、case TypeKind::Bit: return \"bit\";（幅があるなら bit [N-1:0] 等）を追加してください。

inline std::string type_to_string(const Type& t) {

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[Copilot]

expect_ident() がSVキーワードトークン（KwPosedge等）を識別子として受理する分岐で current().get_string() を使っていますが、同ファイル内の current_text() では『キーワードトークンはget_string()が空文字を返す』と明記されています。ここも token_kind_to_string(current().kind) を使う（または current_text() を呼ぶ）形に揃えないと、posedge 等が空文字として解釈され、名前解決やエラーメッセージ生成が壊れます。

[Copilot]

空の {} を『ブロックとして扱う』目的で pos_ を巻き戻していますが、このまま同じ {...} 判別ロジックの後続（concat/struct判別）に進むため、結果的に {} を concat として解釈しようとして parse_expr() に入り、再び {} 判別へ戻る再帰（無限再帰/スタックオーバーフロー）になり得ます。{} を検出した時点で、この分岐を抜けてブロック式の既存パースへ委譲する（例: その場でブロック式パース関数を呼んでreturn、もしくはラベル/フラグでこの新ロジックをスキップ）ように制御フローを切ってください。

[Copilot]

SVポート判定が type->name 文字列比較になっていますが、今回 ast::make_posedge() / make_negedge() は TypeKind::Posedge/Negedge を返す実装で、name が必ずしも設定されない可能性があります（=判定に失敗して = 必須エラーになる）。type->kind（Posedge/Negedge）で判定するか、Type生成時に name を必ず入れるなど、表現に依存しない判定へ変更してください。

Suggested change

	if (type && (type->name == "posedge" || type->name == "negedge")) {
	if (type && (type->kind == ast::TypeKind::Posedge ||
	type->kind == ast::TypeKind::Negedge)) {

[Copilot]

TypeKind::Bit を追加していますが、get_primitive_info() に Bit の分岐がありません。このままだとBit型のサイズ/アラインメントがデフォルト扱いになり、SV型マッピングやコード生成でビット幅計算が破綻する可能性があります。最低限 case TypeKind::Bit: return {1,1}; のように明示し、必要なら bit[N] のNを表現できるようType表現（幅フィールド等）も合わせて拡張してください。

[Copilot]

TypeKind::Bit の文字列表現が type_to_string() に存在しません。デバッグ表示・エラーメッセージ・テスト期待値生成等でBit型が空/不正表現になる恐れがあるため、case TypeKind::Bit: return \"bit\";（幅があるなら bit [N-1:0] 等）を追加してください。

Suggested change

	return "reg " + (t.element_type ? type_to_string(*t.element_type) : "?");
	return "reg " + (t.element_type ? type_to_string(*t.element_type) : "?");
	case TypeKind::Bit:
	return "bit";

[Copilot]

本文では assign / {a,b} / {N{expr}} を『未サポート』としていますが、このPRでは HirGlobalVar::is_assign の追加、__builtin_concat / __builtin_replicate のパースと型推論バイパス追加が入っており、少なくとも“フロントエンドが受け付ける/内部表現がある”段階には進んでいます。実際のSVコード生成が未対応なら『パース/IRまでは対応、SV出力は未対応』等に表現を更新し、対応済みなら表を更新してください。

Suggested change

	| `assign wire = expr;` | 連続代入 | 未サポート |
	| `assign wire = expr;` | 連続代入 | パース/IR までは対応、SV出力は未対応 |

[Copilot]

本文では assign / {a,b} / {N{expr}} を『未サポート』としていますが、このPRでは HirGlobalVar::is_assign の追加、__builtin_concat / __builtin_replicate のパースと型推論バイパス追加が入っており、少なくとも“フロントエンドが受け付ける/内部表現がある”段階には進んでいます。実際のSVコード生成が未対応なら『パース/IRまでは対応、SV出力は未対応』等に表現を更新し、対応済みなら表を更新してください。

Suggested change

	| `{a, b}` | 連接 (concatenation) | 未サポート |
	| `{N{expr}}` | 複製 (replication) | 未サポート |
	| `{a, b}` | 連接 (concatenation) | パース/IRまでは対応、SV出力は未対応 |
	| `{N{expr}}` | 複製 (replication) | パース/IRまでは対応、SV出力は未対応 |

[Copilot]

AST/HIR/MIR間の AlwaysKind を int 経由でキャストしており、列挙子の順序変更・追加で静かに不整合が発生します。明示的な変換関数（switchで各列挙子を対応付け）か、少なくとも static_assert で列挙子数や値が一致することを保証して、将来の変更で壊れないようにしてください。

Suggested change

	// always_kind を伝搬（HIR→MIR: enum値をintでキャスト）
	mir_func->always_kind = static_cast<MirFunction::AlwaysKind>(
	static_cast<int>(func.always_kind));
	// always_kind を伝搬（HIR→MIR: enum間を直接キャスト）
	mir_func->always_kind = static_cast<MirFunction::AlwaysKind>(func.always_kind);

[Copilot]

Unity build をデフォルトで強制ONにすると、プラットフォームやコンパイラ差・ODR/匿名名前空間/マクロ衝突などでビルドが不安定化しやすく、外部開発者の環境でも挙動差が出ることがあります。option(CM_UNITY_BUILD ...) のようにプロジェクトオプション化してデフォルトOFF（またはCIのみON）にする、もしくはUnity除外リストを整備して安全に段階導入するのがおすすめです。

Suggested change

	set(CMAKE_UNITY_BUILD ON)
	set(CMAKE_UNITY_BUILD_BATCH_SIZE 16)
	option(CM_UNITY_BUILD "Enable unity build (experimental; default OFF)" OFF)
	if(CM_UNITY_BUILD)
	set(CMAKE_UNITY_BUILD ON)
	set(CMAKE_UNITY_BUILD_BATCH_SIZE 16)
	endif()

[shadowlink0122]

ブランチミス