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_limit, 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