> Going by the semantics of the opcodes themselves, there's no reason why RET should be treated differently from a simple indirect jump here. RET is documented

> Going by the semantics of the opcodes themselves, there's no reason why RET should be treated differently from a simple indirect jump here. RET is documented as a subroutine return hint in the official ARM architecture reference manual. That's the only reason it has a distinct opcode from BR. BL is also documented as a subroutine call hint.