Index ⭢ Compiler ⭢ asmjit::JumpAnnotation

asmjit::JumpAnnotation Class Reference [¶]

Jump annotation used to annotate jumps.

BaseCompiler allows to emit jumps where the target is either register or memory operand. Such jumps cannot be trivially inspected, so instead of doing heuristics AsmJit allows to annotate such jumps with possible targets. Register allocator then uses the annotation to construct control-flow, which is then used by liveness analysis and other tools to prepare ground for register allocation.

Public Members

Members

BaseCompiler* _compiler

uint32_t _annotation_id

ArenaVector<uint32_t> _label_ids

Member Functions

JumpAnnotation(const JumpAnnotation& other) = delete

JumpAnnotation& operator=(const JumpAnnotation& other) = delete

Construction & Destruction

JumpAnnotation(BaseCompiler* ASMJIT_NONNULL(compiler), uint32_t annotation_id) noexcept

Accessors

BaseCompiler* compiler() const noexcept

uint32_t annotation_id() const noexcept

Span<uint32_t> label_ids() const noexcept

bool has_label(const Label& label) const noexcept

bool has_label_id(uint32_t label_id) const noexcept

Annotation Building API

Error add_label(const Label& label) noexcept

Error add_label_id(uint32_t label_id) noexcept

BaseCompiler* JumpAnnotation::compiler() constnodiscardnoexcept[¶]

Returns the compiler that owns this JumpAnnotation.

uint32_t JumpAnnotation::annotation_id() constnodiscardnoexcept[¶]

Returns the annotation id.

Span<uint32_t>JumpAnnotation::label_ids() constnodiscardnoexcept[¶]

Returns a vector of label identifiers that lists all targets of the jump.

bool JumpAnnotation::has_label(
const Label& label
) constnodiscardnoexcept[¶]

Tests whether the given label is a target of this JumpAnnotation.

bool JumpAnnotation::has_label_id(
uint32_t label_id
) constnodiscardnoexcept[¶]

Tests whether the given label_id is a target of this JumpAnnotation.

Error JumpAnnotation::add_label(
const Label& label
)noexcept[¶]

Adds the label to the list of targets of this JumpAnnotation.

Error JumpAnnotation::add_label_id(
uint32_t label_id
)noexcept[¶]

Adds the label_id to the list of targets of this JumpAnnotation.

BaseCompiler* JumpAnnotation::_compiler[¶]

Compiler that owns this JumpAnnotation.

uint32_t JumpAnnotation::_annotation_id[¶]

Annotation identifier.

ArenaVector<uint32_t>JumpAnnotation::_label_ids[¶]

Vector of label identifiers, see label_ids().