Appendix K14 Arm Pseudocode Definition
K14.4.4 Arithmetic operators
Addition and subtraction
There are two cases where the types of x and y can be different. A bitstring and an integer can be added together to allow the operation PC + 4. An integer can be subtracted from a bitstring to allow the operation PC - 2.
Why subtraction mean PC-2？