Convert capability to pointer, setting flags derives an address from the source Capability registers and writes the result to the destination register. The instruction updates the condition flags based on the result.
| 31 | 30 | 29 | 28 | 27 | 26 | 25 | 24 | 23 | 22 | 21 | 20 | 19 | 18 | 17 | 16 | 15 | 14 | 13 | 12 | 11 | 10 | 9 | 8 | 7 | 6 | 5 | 4 | 3 | 2 | 1 | 0 |
| 1 | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 1 | 0 | Cm | 1 | 1 | 0 | 0 | 0 | 0 | Cn | Rd | ||||||||||||
integer d = UInt(Rd); integer n = UInt(Cn); integer m = UInt(Cm);
| <Xd> |
Is the 64-bit name of the destination general-purpose register, encoded in the "Rd" field. |
| <Cn|CSP> |
Is the capability name of the first source register or stack pointer, encoded in the "Cn" field. |
| <Cm> |
Is the capability name of the second source register, encoded in the "Cm" field. |
CheckCapabilitiesEnabled(); Capability operand1 = if n == 31 then CSP[] else C[n]; Capability operand2 = C[m]; bits(64) result; if CapIsTagSet(operand1) then if CCTLR[].DDCBO == '1' then result = CapGetValue(operand1) - CapGetBase(operand2); else result = CapGetValue(operand1); if result == 0 then PSTATE.<N,Z,C,V> = '0110'; else PSTATE.<N,Z,C,V> = '0010'; else result = Zeros(64); PSTATE.<N,Z,C,V> = '0000'; X[d] = result;
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.