飽和減算を行います。（Saturated Subtract Immediate）
［指定形式］
immに指定できるものを次に示します。
- | 上記のものにHIGHW，LOWW，またはHIGHW1を適用したもの |
［機能］
第1オペランドに指定した絶対値式，相対値式，あるいは，HIGHW，LOWW，またはHIGHW1を適用したものの値を，第2オペランドに指定したレジスタ値から減算し，結果を第3オペランドに指定したレジスタに格納します。ただし，結果が正の最大値0x7FFFFFFFを越えた場合は0x7FFFFFFFを，負の最大値0x80000000を越えた場合は0x80000000を第3オペランドに指定したレジスタに格納し，SATフラグに1を設定します。
［詳細説明］
- | immに次のものを指定した場合，アセンブラでは，機械語命令のsatsubi命令注が1つ生成されます。 |
satsubi imm16, reg1, reg2
|
satsubi imm16, reg1, reg2
|
(b) | sdata/sbss属性セクションに定義を持つラベルの$labelを持つ相対値式 |
satsubi $label, reg1, reg2
|
satsubi $label, reg1, reg2
|
(c) | !label，または%labelを持つ相対値式 |
satsubi !label, reg1, reg2
|
satsubi !label, reg1, reg2
|
satsubi %label, reg1, reg2
|
satsubi %label, reg1, reg2
|
(d) | HIGHW，LOWW，またはHIGHW1を適用したもの |
satsubi imm16, reg1, reg2
|
satsubi imm16, reg1, reg2
|
注 | 機械語命令のsatsubi命令は，第1オペランドに-32768〜+32767（0xFFFF8000〜0x7FFF）の範囲のイミーディエトをとります。 |
- immに次のものを指定した場合，アセンブラでは命令展開が行われ，複数個の機械語命令が生成されます。
(a) | -32768〜+32767の範囲を越える絶対値式 |
reg1=reg2の場合
satsubi imm, reg1, reg2
|
movhi HIGHW(imm), r0, r1
satsub r1, r2
|
reg1≠reg2の場合
satsubi imm, reg1, reg2
|
movhi HIGHW(imm), r0, reg2
satsubr reg1, reg2
|
reg1=reg2の場合
satsubi imm, reg1, reg2
|
mov imm, r1
satsub r1, reg2
|
reg1≠reg2の場合
satsubi imm, reg1, reg2
|
mov imm, reg2
satsubr reg1, reg2
|
(b) | #label，またはlabelを持つ相対値式，およびsdata/sbss属性セクションに定義を持たないラベルの$labelを持つ相対値式 |
reg1=reg2の場合
satsubi #label, reg1, reg2
|
mov #label, r1
satsub r1, reg2
|
satsubi label, reg1, reg2
|
mov label, r1
satsub r1, reg2
|
satsubi $label, reg1, reg2
|
mov $label, r1
satsub r1, reg2
|
eg1≠reg2の場合
satsubi #label, reg1, reg2
|
mov #label, reg2
satsubr reg1, reg2
|
satsubi label, reg1, reg2
|
mov label, reg2
satsubr reg1, reg2
|
satsubi $label, reg1, reg2
|
mov $label, reg2
satsubr reg1, reg2
|
［フラグ］
|
CY
|
MSB（Most Significant Bit）へのボローが生じた場合1，そうでない場合0
|
|
OV
|
Integer-Overflowを生じた場合1，そうでない場合0
|
|
S
|
結果が負になった場合1，そうでない場合0
|
|
Z
|
結果が0になった場合1，そうでない場合0
|
|
SAT
|
OV = 1になった場合1，そうでない場合 −
|
［注意事項］
- | 第3オペランドにr0を指定すると，次のメッセージが出力され，アセンブルが中止されます。 |
|
E0550240 : RH850コア指定時には、デスティネーション・オペランドにr0を指定することはできません。
|