arch/arm64/arch_arm64

• Define a set of predicates to model aarch64 specific instructions

• and characteristics

adr_dest(EA:address, Reg:register, Dest:address)

The referenced address of an ADRP or ADR instruction

This intermediate relation is an optimization that allows performing non- recursive work before running the recursive rule adr_used.

• Uses: instruction, op_immediate, op_regdirect_contains_reg

• Used by: adrp_used, block_heuristic, block_limit, data_block_candidate, def_used_for_address, value_reg

extend_type(Type:symbol, Signed:unsigned, SrcBits:unsigned)

Table of ARM64 extend types, whether they are signed, and the size of the source, in bits.

• Used by: arch.extend_reg