項の値がミラー元領域の範囲内にある場合は，ミラー先領域アドレスの項の上位16ビットを求めます。
項の値がミラー元領域の範囲内にある場合は，ミラー先領域アドレスの32ビット中，上位16ビット値を返します。
項の値がミラー元領域の範囲外である場合は，アブソリュート項（5.1.14 演算の制限を参照してください）であればHIGHWと同じ値を返します。リロケータブル項であればリンク時にエラーとなります。
項の値がミラー元領域の範囲内にある場合は，ミラー先領域アドレスの項の上位16ビットを求めます。
項の値がミラー元領域の範囲内にある場合は，ミラー先領域アドレスの32ビット中，上位16ビット値を返します。
項の値がミラー元領域の範囲外である場合は，アブソリュート項（5.1.14 演算の制限を参照してください）であればHIGHWと同じ値を返します。リロケータブル項であればリンク時にエラーとなります。