1.2.5 予約オペランド・フォルト |
 |
VAX システムでは，一部の VAX MACRO 命令で，特定のオペランドが必要な範囲にないと予約オペランド・フォルトが発生することがあります。たとえば，INSV などのビット操作命令では，サイズ・オペランドが 32 よりも大きいと， VAX システムは実行時予約オペランド・フォルトを生成します。
OpenVMS Alpha システムと OpenVMS I64 システムでは，範囲外のオペランドがコンパイル時の定数の場合は，コンパイラがこの条件を検出してエラー・メッセージを出力します。しかし，このオペランドが実行時の変数の場合は，コンパイラは実行時の範囲チェックを生成しません。オペランドが範囲外の場合，この命令の実行によって誤った結果が生成されますが，フォルトにはなりません。
以下の手順は， VAX MACRO コードを OpenVMS Alpha または OpenVMS I64 に移植するための効率の良い方法であることが実証されています。
- 移植する各モジュールを最初から最後まで調べ，正常な移植を阻害するようなコーディング・スタイルになっていないことを確認します。このような調査が必要なのは， VAX アーキテクチャについての広範な知識を利用した，無数の創意に富んだ用法を備えた VAX MACRO コードを扱うことは，コンパイラにとって不可能なためです。このようなコードが発見されずにそのままになっていると， VAX MACRO コードを OpenVMS Alpha または OpenVMS I64 に移植するという努力が根底から覆される可能性があります。
- モジュールの各エントリ・ポイントに，適切なエントリ・ポイント指示文を追加してください。
このような指示文には次のものがあります。
- .CALL_ENTRY
- .JSB_ENTRY
- .JSB32_ENTRY
- .EXCEPTION_ENTRY (Alpha システムのみ)
.CALL_ENTRY 句を使用したい場合以外は， VAX MACRO のエントリ・ポイント .ENTRY を .CALL_ENTRY に変更する必要はありません。また，ここでレジスタ引数を追加する必要もありません。
これらの指示文を正しく配置するためのガイドラインについては， 第 2.3 節 を参照してください。
それぞれの指示文の完全な構文の説明については， 付録 B を参照してください。
- コンパイラを起動してモジュールをコンパイルします。これを実行するために推奨されるコマンド・プロシージャを 第 2.12 節 に示します。
アラインされていないスタックおよびメモリの参照，ルーチンの分岐，問題が起きる可能性がある命令，自己変更コードがあると，デフォルトでは，コンパイラがエラーを出力します。コマンド行で /FLAG=HINTS を指定すると，コンパイラは，手順 2 で挿入したエントリ・ポイント指示文の
input および output レジスタ引数に対する忠告を出力します。
- コンパイラによって報告される問題に注目します。
通常 MACRO コンパイラは， OpenVMS Alpha システムと OpenVMS I64 システムで同じメッセージを生成しますが，以下の接頭辞だけは例外です。
- OpenVMS Alpha システム上の AMAC
- OpenVMS I64 システム上の IMAC
例
AMAC-I-ARGLISHOME, argument list must be homed in caller
|
または
IMAC-I-ARGLISHOME, argument list must be homed in caller
|
Help Message ユーティリティを呼び出して，表示された各コンパイラ・メッセージに対する説明やユーザの対処を参照することができます。
Help Message ユーティリティについては，DCL ヘルプまたは OpenVMS System Messages: Companion Guide for Help Message Users を参照してください。また， 第 1.5 節 と 第 3 章 では， OpenVMS Alpha や OpenVMS I64 に直接変換できない VAX MACRO のコーディング・スタイルについて詳細に説明しています。
このパスで見つかった問題に対処することで，コンパイラは以降のパスでその他の問題を発見できるようになります。
- Macro-32 ソース・コードを編集します。コンパイラによって指摘された問題を修正し，コンパイラが見逃した問題が他にないか探します。
ただし，コンパイラが情報として出力する診断メッセージが出ないようにするためだけにコードを変更することはしないでください。情報レベルのメッセージのほとんどは，正常にコンパイルできるものの， OpenVMS Alpha や OpenVMS I64 では最適な性能が発揮できないコードを指摘するためにあります。
ソース・コード中の問題のある命令の調査を終え，問題がなくなったと確信したら，コードの修正を終了します。コマンド行修飾子 /FLAG と /WARN を使用して，診断メッセージの生成を制御できる点に注意してください。また，.ENABLE 指示文と .DISABLE 指示文を使用すると，モジュール内のコードの一部分で情報レベルのメッセージの表示をオフにすることができます。
- 手順 2 で追加したエントリ・ポイント指示文に，
input，output，preserve，および scratch 引数のうち適切なものを追加し，指定した各引数に該当するレジスタのリストを指定します。指定するレジスタの決定方法については，
第 2.6 節 を参照してください。
- OpenVMS I64 システムの場合は，リンケージ指示文 (.CALL_LINKAGE，.DEFINE_LINKAGE) を追加し， R0/R1 以外のレジスタに値を返すルーチンと， Macro-32 以外の言語で記述された，JSB 命令で呼び出されるルーチンについて，コンパイラに指示します。また，ルーチンの戻りが標準的でない場合は，間接的な CALLS/CALLG 命令のそれぞれに .USE_LINKAGE 指示文を追加します。さらに，ルーチンが Macro-32 以外の言語で記述されている場合は，それぞれの間接 JSB 命令に .USE_LINKAGE 指示文を追加します。詳細は， 付録 B を参照してください。
- Macro-32 ソース・コードに対して，コンパイラから情報メッセージ以外が出力されず， OpenVMS Alpha または OpenVMS I64 の正しいオブジェクト・コードが生成されるようになるまで，手順 3 〜 7 を繰り返します。
- モジュールが OpenVMS VAX と OpenVMS Alpha または OpenVMS I64 システムで共通な場合は (
第 1.7 節 に示すコーディング規約を参照)， VAX MACRO アセンブラとコンパイラの両方でエラーがなくなるまで移植作業は終わりではありません。
VAX MACRO モジュールの移植に関してある程度経験を積むと，ソースを調べて問題を発見し，コンパイラを実行する前にそれを修正するのは，比較的容易になります。
すでに OpenVMS Alpha で動作している VAX MACRO コードを OpenVMS I64 に移植するのは，比較的簡単な作業です。 OpenVMS VAX からの移植と違い，ほとんどの VAX MACRO コードは変更なしで再コンパイルすることができます。
OpenVMS Alpha と OpenVMS I64 の間の呼び出し規則の違いにより，コンパイラは以下の点について知る必要があります。
- JSB 命令または BSBW 命令を使用して， VAX MACRO で記述されていないコードにジャンプするような MACRO コード
- CALLS 命令または CALLG 命令を使用して， R0 や R1 以外のレジスタに値を返すルーチンを呼び出す MACRO コード
R0/R1 以外のレジスタに値を返すルーチンと， JSB/BSBW 命令で呼び出される Macro-32 以外の言語で記述されたルーチンについてコンパイラに指示するために，リンケージ指示文 (.CALL_LINKAGE，.DEFINE_LINKAGE) を追加する必要があります。また，ルーチンが標準でない戻り方をする場合には，それぞれの間接 CALLS/CALLG 命令に .USE_LINKAGE 指示文を追加する必要があります。ルーチンが Macro-32 以外の言語で記述されている場合は，それぞれの間接 JSB/BSBW 命令に .USE_LINKAGE 指示文を追加します。詳細は， 付録 B, 専用の指示文 を参照してください。
