360 汇编/360 指令/BC
BC - 条件分支 - RX 类型指令 - 操作码 47 / 十进制 71
BC 指令在所有型号的 360、370 和 z/System 上都可用。
- BC 2,LABEL
- BH LABEL - 特殊操作码，与 BC 2,LABEL 相同
- BC 1,L1
- BO L1 - 与 BC 1,L1 相同
- BC 15,106(0,10)
- B 106(0,10) - B 操作码是无条件分支，与 BC 15 相同
- BC 3,256(7,6)
具体的语法是
- BC mask,offset(index register,base register)
如果使用了 USING 伪指令，并且目标地址标签在某个基址寄存器的值 4096 字节内，则汇编器将自动确定 offset、index register 和 base register 的值。
| RX 指令 (4 字节) | ||||||
| 字节 1 | 字节 2 | 字节 3 和 4 | ||||
| 掩码 | 目标地址 | |||||
| (8 位) 操作码 47 |
(4 位) 0..F |
(4 位) 索引 寄存器 0..F |
(4 位) 基址 寄存器 0..F |
(12 位) 偏移量 0..FFF | ||
- 第一个参数是 mask，它与条件码进行比较。
- 第二个参数是如果掩码与当前设置的条件码匹配则要转移到的位置。偏移量值将添加到基址寄存器和索引寄存器的值中以形成目标地址。大多数指令使用一个基址寄存器和一个值为零的索引寄存器，但是如果使用两个非零寄存器，则无论哪个寄存器是基址寄存器，哪个是索引寄存器，目标地址都将相同。
- mask、base_register 和 index_register 的值是 0 到 15。偏移量值是 0 到 4095。
- 如果 mask 或 base_register 为零，则指令是无操作的，不会分支。
- 如果 mask 为 15，则分支是无条件的（除非 base register 为 0，在这种情况下它不会分支）。
- 如果指定的 index_register 为 0，则不会使用 index_register 中的值。
执行改变条件码的指令后，计算机会在 PSW 的“条件码”字段中设置 CC 标志位。然后，这条指令可以根据选择的条件码是否与这条指令中的掩码匹配来进行分支。例如，假设我们正在使用算术加寄存器“AR”。那么在以下条件下，“条件码”的值将如下所示
| 条件 | 符号 | PSW 中的条件码 |
|---|---|---|
| 结果为零 | Z | 0 |
| 结果为负数 | N | 1 |
| 结果为正数 | P | 2 |
| 结果溢出 | O | 3 |
然后考虑指令“BNZ”（分支非零）。它的掩码是 7。这意味着什么？这条指令如果结果不为零则进行分支，这意味着如果条件码的值不为零则进行分支！所以它是 1、2 或 3。考虑以下表格
| Z | N | P | O |
|---|---|---|---|
| 0 | 1 | 1 | 1 |
上面的例子给了我们掩码 (0111) = 7。对于以下每个操作码，您可以构建 ZNPO 表并找到相应的掩码。
汇编器在几个可选操作码中提供掩码。这些操作码只需要目标地址。这些操作码是
| 操作码 | 掩码 | 用法 | 用途 | 等效于 | 用法 |
|---|---|---|---|---|---|
| NOP | 0 | NOP LABEL | 无操作 | BC 0,LABEL | 任何需要无操作/填充的地方 |
| BO | 1 | BO LABEL | 分支溢出/1 | BC 1,LABEL | 算术运算或算术比较后，如果发生算术溢出或结果全部为 1 |
| BH | 2 | BH LABEL | 分支 (a 高) | BC 2,LABEL | 任何比较后，如果比较中的第一个值高于第二个值 (A > B) 则分支 |
| BP | 2 | BP LABEL | 分支正数 | BC 2,LABEL | 算术运算或算术比较后，如果结果为正数则分支 |
| BL | 4 | BL LABEL | 分支 (a 低) | BC 4,LABEL | 任何比较后，如果第一个值低于第二个值 (A < B) 则分支 |
| BM | 4 | BM LABEL | 分支负数/混合 | BC 4,LABEL | 算术运算或算术比较后，如果结果为负数或为 1 和 0 则分支 |
| BNE | 7 | BNE LABEL | 分支不等于 | BC 7,LABEL | 任何比较后，如果第一个值不等于第二个值 (A <> B 或 A ~= B 或 A != B) 则分支 |
| BNZ | 7 | BNZ LABEL | 分支非零 | BC 7,LABEL | 算术运算或算术比较后，如果结果不为零则分支 |
| BE | 8 | BE LABEL | 分支 (a 等于 b) | BC 8,LABEL | 任何比较后，如果第一个值等于第二个值 (A = B 或 A == B) 则分支 |
| BZ | 8 | BZ LABEL | 分支为零 | BC 8,LABEL | 算术运算或算术比较后，如果结果为零则分支 |
| BNL | 11 | BNL LABEL | 分支 (a 不低) | BC 11,LABEL | 任何比较后，如果第一个值不低于第二个值 (A >= B) 则分支 |
| BNM | 11 | BNM LABEL | 分支非负数 | BC 11,LABEL | 算术运算或算术比较后，如果结果为零则分支 |
| BNH | 13 | BNH LABEL | 分支非高 | BC 13,LABEL | 任何比较后，如果第一个值不高于第二个值 {A<=B) 则分支 |
| BNP | 13 | BNP LABEL | 分支非正数 | BC 13,LABEL | 算术运算或算术比较后，如果结果不为正数则分支 |
| BNO | 14 | BNO LABEL | 分支非 1 | BC 14,LABEL | 算术运算或算术比较后，如果结果不全部为 1 则分支 |
| B | 15 | B LABEL | 分支 (无条件) | BC 15,LABEL | 在所有情况下都进行分支（除非索引寄存器为 0；否则视为无操作）等效于高级语言中的 GOTO |
对于左侧显示的示例机器代码，地址 LABEL 假定位于寄存器 10 的偏移量 106（06A 十六进制），而地址 X1 假定位于基址寄存器 6 和索引寄存器 7 的总和的偏移量 256（0100 十六进制）。
47F0A06A B LABEL unconditional branch - equivalent to BC 15,label
47076100 NOP X1 no-operation - BC 0,X1
47FC0006 BC 15,6(12,0) despite the mask being 15, because the base register is 0,
* this is also a no-op
4780A06A BE LABEL branch if a equal b - BC 8,label 4720A06A BH LABEL branch if a high - BC 2,label 4740A06A BL LABEL branch if a low - BC 4,label 47776100 BNE X1 branch if a not equal b - BC 7,X1 47D0A06A BNH LABEL branch if a not high - BC 13,label 4740A06A BNL LABEL branch if a not low - BC 4,label
4710A06A BO LABEL branch on overflow - BC 1,label 47276100 BP X1 branch on plus - BC 2,X1 4740A06A BM LABEL branch on minus - BC 4,label 4780A06A BZ LABEL branch on zero - BC 8,label 47D0A06A BNP LABEL branch on not plus - BC 13,label 47B0A06A BNM LABEL branch on not minus - BC 11,label 4770A06A BNZ LABEL branch on not zero - BC 7,label
47176100 BO X1 branch on ones - BC 1,X1 4740A06A BM LABEL branch on mixed - BC 4,label 4780A06A BZ LABEL branch on zeroes - BC 8,label 47E0A06A BNO LABEL branch on not ones - BC 14,label
执行算术运算或比较时，程序状态字中称为条件码的某些位会被设置或清除。在比较两个字段的情况下，左侧的值被认为是“A”值，右侧的值被认为是“B”值，比较 A 和 B 的结果测试 A 与 B 的比较方式，可能是低、高、相等或不相等。
在算术运算的情况下，会测试结果是正数、负数、零还是溢出。
在带掩码指令测试的情况下，测试结果可能是全1、全0或1和0混合。
在这样的测试之后使用条件转移指令将条件码位与掩码值进行比较。如果掩码中设置的位与条件码中设置的位匹配（或掩码中的所有位都被设置），并且目标地址的基址寄存器不为 0，则目标地址将被置入 PSW 作为当前指令的新地址，并执行转移。否则，执行将从条件转移指令之后的下一条指令继续执行。
目标地址是通过将基址寄存器和索引寄存器的内容加到偏移地址来构造的。如果索引寄存器为零，则其值不会被使用。
条件转移指令是程序中通用的转移指令。它有三种变体：不转移或无操作，根据测试进行条件转移，或无条件转移。
'不转移' - BC 0 - 或 'NOP' 通常用于创建一个不与现有指令绑定的标签。它可以由宏用于对齐，将指令或数据强制到特定边界，但如果转移到该指令，不会导致程序异常。它也可以用来提供 '空闲' 空间，以便在不重新组装程序的情况下，允许稍后对二进制文件进行修补。无论掩码值如何，如果转移的基址寄存器也为零，也会发生 NOP。
掩码中的位与条件码中的位进行比较。如果掩码中的位与条件码中的位匹配，（并且目标地址的基址寄存器不为零），则执行转移。
通过设置掩码中的所有位，例如 BC 15，或使用 B 指令，可以执行到另一个位置的转移（相当于高级语言中的 GOTO）。只要目标地址的基址寄存器不为零，转移就会始终执行。
条件转移和可选格式通常在执行比较或算术运算后使用。在下面的代码中，会提出一个问题，将答案与是或否进行比较，如果两者都不是，则会重新提出问题。'CALL' 宏用于创建标准的子程序链接。
CHECKINQ NOP 0(0)
CALL INQUIRE,(QUES,1,RESP) Call an external module called INQUIRE
CLC RESP(1),QY1 Compare one byte
BE YES "Resp" is the A value in an A:B comparison
CLC RESP(1),QY2
BE YES
CLC RESP(1),QN1
BE NO Answer was 'N'
CLC RESP(1),QN2 Is it 'n'?
BNE CHECKINQ Something else, try again
B NO Answer was 'n'
QUES DC C'Are you ready to start?' Construct a 'C' language-type
DC X'00' string, zero terminated
RESP DS C One byte response
QY1 DC C'Y' Available responses
QY2 DC C'y'
QN1 DC C'N'
QN2 DC C'n'
- 转移寄存器中包含的目标地址不能是奇数，否则会发生操作异常。
- 转移寄存器中包含的目标地址必须在有效内存范围内，否则会发生操作异常。
- 目标地址的存储密钥必须与当前进程相同（或该进程的密钥必须为 0），否则会发生内存保护违规异常。
- BALR 指令用于转移到寄存器中的地址，并将当前地址保存为返回地址，类似于高级语言中的过程或函数调用。
- BCR 指令与 BC 指令的使用方式相同，但用于转移到指定第二个参数寄存器中的地址。
- BCT 指令用于从寄存器中减 1，如果结果不为零，则转移到指定的地址。
- BCTR 指令用于从寄存器中减 1，如果结果不为零，则转移到第二个参数中指定的寄存器中的地址。
- BRC 指令用于转移到相对于当前程序计数器的地址，该地址包含在一个立即值（16 位）中。
- BRCL 指令用于转移到相对于当前程序计数器的地址，该地址包含在一个立即值（32 位）中。
| 上一条指令 BASSM |
360 汇编指令 | 下一条指令 BCR |
| 上一条操作码 46 |
下一条操作码 48 |