BX

Branch Exchange sets PCC to PCC+4 and switches to C64 or A64 depending on the value of PSTATE.C64.

313029282726252423222120191817161514131211109876543210
11000010110000100111001111100000
opc<1>opc<0>

BX #4

BranchType branch_type = BranchType_DIR;

Operation

CheckCapabilitiesEnabled(); integer offset = 4; if !IsInC64() then offset = offset + 1; Capability target = CapAdd(PCC[], offset); BranchXToCapability(target, branch_type);


Internal version only: isa v32.13, AdvSIMD v29.04, pseudocode morello-2022-01_rc2, capabilities morello-2022-01_rc2 ; Build timestamp: 2022-01-11T11:23

Copyright © 2010-2022 Arm Limited or its affiliates. All rights reserved. This document is Non-Confidential.