CPUの条件実行機能に対応した型付きアセンブリ言語

概要

論文の詳細を見る
型付きアセンブリ言語(TAL)は,高級言語コンパイラのターゲット言語となりうる,型安全な低級言語である.TALの型システムは,型付けされたプログラムが,クロージャ,タプル,またはユーザによって定義された抽象データ型のような高級言語の構造を破壊しないということを保証する.オリジナルのTALは一般的な理論上のRISCアーキテクチャに対して設計されており,具体的な実装はIA-32アーキテクチャ以外は考えられていない.本論文は,組み込み機器で広く使われているARMアーキテクチャに対応するTALについて説明する.ARMの重要な特徴の1つは条件実行機構である.条件実行とは,命令が実行されるかどうかが,実行時にそれぞれの命令に付随する条件フラグとCPUのステータスレジスタの条件ビットの値を比較することによって決定される,という機構である.より詳細にいうと,本論文は,条件実行をサポートするために,4ビットの条件ビットの値を型に写像する写像型を用いて,TALを拡張する.我々の型システムでは,1つのレジスタは,条件ビットの値によって同時に異なった型を持つことができる.
2008-09-26