Offlineasm Reference

NOTE: This document was largely AI-generated based on offlineasm/*.rb sources and offlineasm code in llint/*.asm files. Exercise healthy skepticism.

This document provides a comprehensive reference for the offlineasm assembly language used in JavaScriptCore's Low Level Interpreter (LLInt).

Introduction

Offlineasm is a portable assembly language that is translated to native assembly for different architectures (ARM64, x86-64, RISC-V, etc.). Instructions are categorized by data size suffixes:

i - 32-bit integer (word)
p - pointer-sized integer (32 or 64-bit depending on platform)
q - 64-bit integer (quad word)
f - 32-bit floating-point (float)
d - 64-bit floating-point (double)
b - 8-bit (byte)
h - 16-bit (half-word)
v - vector/SIMD

Naming Conventions

Branching instructions always begin with "b", and no non-branching instructions begin with "b".

Terminal instructions are jmp and ret.

Operand Types

GPR - General Purpose Register (e.g., t0, t1, cfr, sp, lr)
FPR - Floating Point Register (e.g., ft0, ft1)
VecReg - Vector Register (e.g., v0, v1)
Immediate - Constant value
Address - Memory address [base, offset]
BaseIndex - Indexed memory address [base, index, scale]
Label - Code label for branches/jumps

Instruction Categories

Arithmetic & Logical Operations

abs{f,d} | add{d,f,i,p,q} | and{d,f,i,p,q} | div{d,f} | lshift{i,p,q} | lrotate{i,q} | mul{d,f,i,p,q} | neg{d,f,i,p,q} | noti | or{d,f,h,i,p,q} | rrotate{i,q} | rshift{i,p,q} | sqrt{d,f} | sub{d,f,i,p,q} | urshift{i,p,q} | xor{i,p,q}

Branches (Conditional)

Comparisons (Non-branching)

Pointer Authentication (ARM64e)

Stack Operations

Instruction Reference (Alphabetically)

absf, absd

Syntax: abs{f|d} <fpr>, <fpr>

Description: Absolute value of floating-point number.

Variants:

absf - single-precision float
absd - double-precision float

Operands:

Source: Floating-point register
Destination: Floating-point register

Effect: dest = abs(source)

addd, addf, addi, addp, addq

Syntax: add{d|f|i|p|q} <src>, <dest> or add{d|f|i|p|q} <src1>, <src2>, <dest>

Description: Add two values.

Variants:

addd - double-precision floats (FPR operands)
addf - single-precision floats (FPR operands)
addi - 32-bit integers (GPR operands, immediate or GPR source)
addp - pointer-sized integers (GPR operands, immediate or GPR source)
addq - 64-bit integers (GPR operands, immediate or GPR source)

Operands:

2 operands: Source, Destination (in-place add)
3 operands: Source1, Source2, Destination

Effect: dest = src1 + src2

Example Usage:

addi 1, t0          # t0 = t0 + 1
addi t1, t0, t2     # t2 = t0 + t1

ARM64 Translation: add/fadd with appropriate size specifier

andd, andf, andi, andp, andq

Syntax: and{d|f|i|p|q} <src>, <dest> or and{d|f|i|p|q} <src1>, <src2>, <dest>

Description: Bitwise AND of values.

Variants:

andd - double-precision float bit patterns (FPR operands)
andf - single-precision float bit patterns (FPR operands)
andi - 32-bit integers (GPR operands, immediate or GPR source)
andp - pointer-sized integers (GPR operands, immediate or GPR source)
andq - 64-bit integers (GPR operands, immediate or GPR source)

Operands:

2 operands: Source, Destination (in-place AND)
3 operands: Source1, Source2, Destination

Effect: dest = src1 & src2

Example Usage:

andi 0xff, t0       # t0 = t0 & 0xff (mask low byte)

ARM64 Translation: and with appropriate size specifier

baddio

Syntax: baddio <gpr>, <gpr>, <label>

Description: Branch if add of 32-bit integers overflows.

Operands:

Source1: GPR
Source2: GPR (also destination)
Target: Label

Effect: src2 = src1 + src2; branch to label if signed overflow occurs

ARM64 Translation: adds followed by bvs

baddis

Syntax: baddis <gpr>, <gpr>, <label>

Description: Branch if add of 32-bit integers sets sign flag (result is negative).

Operands:

Source1: GPR
Source2: GPR (also destination)
Target: Label

Effect: src2 = src1 + src2; branch if result < 0

baddiz

Syntax: baddiz <gpr>, <gpr>, <label>

Description: Branch if add of 32-bit integers results in zero.

Operands:

Source1: GPR
Source2: GPR (also destination)
Target: Label

Effect: src2 = src1 + src2; branch if result == 0

baddinz

Syntax: baddinz <gpr>, <gpr>, <label>

Description: Branch if add of 32-bit integers results in non-zero.

Operands:

Source1: GPR
Source2: GPR (also destination)
Target: Label

Effect: src2 = src1 + src2; branch if result != 0

baddpo

Syntax: baddpo <gpr>, <gpr>, <label>

Description: Branch if add of pointer-sized integers overflows.

Operands:

Source1: GPR
Source2: GPR (also destination)
Target: Label

Effect: src2 = src1 + src2; branch if signed overflow occurs

baddps

Syntax: baddps <gpr>, <gpr>, <label>

Description: Branch if add of pointer-sized integers sets sign flag.

Operands:

Source1: GPR
Source2: GPR (also destination)
Target: Label

Effect: src2 = src1 + src2; branch if result < 0

baddpz

Syntax: baddpz <gpr>, <gpr>, <label>

Description: Branch if add of pointer-sized integers results in zero.

Operands:

Source1: GPR
Source2: GPR (also destination)
Target: Label

Effect: src2 = src1 + src2; branch if result == 0

baddpnz

Syntax: baddpnz <gpr>, <gpr>, <label>

Description: Branch if add of pointer-sized integers results in non-zero.

Operands:

Source1: GPR
Source2: GPR (also destination)
Target: Label

Effect: src2 = src1 + src2; branch if result != 0

baddqo

Syntax: baddqo <gpr>, <gpr>, <label>

Description: Branch if add of 64-bit integers overflows.

Operands:

Source1: GPR
Source2: GPR (also destination)
Target: Label

Effect: src2 = src1 + src2; branch if signed overflow occurs

baddqs

Syntax: baddqs <gpr>, <gpr>, <label>

Description: Branch if add of 64-bit integers sets sign flag.

Operands:

Source1: GPR
Source2: GPR (also destination)
Target: Label

Effect: src2 = src1 + src2; branch if result < 0

baddqz

Syntax: baddqz <gpr>, <gpr>, <label>

Description: Branch if add of 64-bit integers results in zero.

Operands:

Source1: GPR
Source2: GPR (also destination)
Target: Label

Effect: src2 = src1 + src2; branch if result == 0

baddqnz

Syntax: baddqnz <gpr>, <gpr>, <label>

Description: Branch if add of 64-bit integers results in non-zero.

Operands:

Source1: GPR
Source2: GPR (also destination)
Target: Label

Effect: src2 = src1 + src2; branch if result != 0

bbeq

Syntax: bbeq <gpr>, <gpr|imm>, <label>

Description: Branch if bytes are equal (unsigned 8-bit comparison).

Operands:

Source1: GPR
Source2: GPR or Immediate
Target: Label

Effect: Branch to label if src1 == src2

bbneq

Syntax: bbneq <gpr>, <gpr|imm>, <label>

Description: Branch if bytes are not equal.

Operands:

Source1: GPR
Source2: GPR or Immediate
Target: Label

Effect: Branch to label if src1 != src2

bba

Syntax: bba <gpr>, <gpr|imm>, <label>

Description: Branch if byte is above (unsigned >).

Operands:

Source1: GPR
Source2: GPR or Immediate
Target: Label

Effect: Branch to label if src1 > src2 (unsigned)

bbaeq

Syntax: bbaeq <gpr>, <gpr|imm>, <label>

Description: Branch if byte is above or equal (unsigned >=).

Operands:

Source1: GPR
Source2: GPR or Immediate
Target: Label

Effect: Branch to label if src1 >= src2 (unsigned)

bbb

Syntax: bbb <gpr>, <gpr|imm>, <label>

Description: Branch if byte is below (unsigned <).

Operands:

Source1: GPR
Source2: GPR or Immediate
Target: Label

Effect: Branch to label if src1 < src2 (unsigned)

bbbeq

Syntax: bbbeq <gpr>, <gpr|imm>, <label>

Description: Branch if byte is below or equal (unsigned <=).

Operands:

Source1: GPR
Source2: GPR or Immediate
Target: Label

Effect: Branch to label if src1 <= src2 (unsigned)

bbgt

Syntax: bbgt <gpr>, <gpr|imm>, <label>

Description: Branch if signed byte is greater than.

Operands:

Source1: GPR
Source2: GPR or Immediate
Target: Label

Effect: Branch to label if src1 > src2 (signed)

bbgteq

Syntax: bbgteq <gpr>, <gpr|imm>, <label>

Description: Branch if signed byte is greater than or equal.

Operands:

Source1: GPR
Source2: GPR or Immediate
Target: Label

Effect: Branch to label if src1 >= src2 (signed)

bblt

Syntax: bblt <gpr>, <gpr|imm>, <label>

Description: Branch if signed byte is less than.

Operands:

Source1: GPR
Source2: GPR or Immediate
Target: Label

Effect: Branch to label if src1 < src2 (signed)

bblteq

Syntax: bblteq <gpr>, <gpr|imm>, <label>

Description: Branch if signed byte is less than or equal.

Operands:

Source1: GPR
Source2: GPR or Immediate
Target: Label

Effect: Branch to label if src1 <= src2 (signed)

bdeq

Syntax: bdeq <fpr>, <fpr>, <label>

Description: Branch if double-precision floats are equal.

Operands:

Source1: FPR
Source2: FPR
Target: Label

Effect: Branch to label if src1 == src2

bdneq

Syntax: bdneq <fpr>, <fpr>, <label>

Description: Branch if double-precision floats are not equal.

Operands:

Source1: FPR
Source2: FPR
Target: Label

Effect: Branch to label if src1 != src2

bdgt

Syntax: bdgt <fpr>, <fpr>, <label>

Description: Branch if double > (ordered comparison).

Operands:

Source1: FPR
Source2: FPR
Target: Label

Effect: Branch to label if src1 > src2 and neither is NaN

bdgteq

Syntax: bdgteq <fpr>, <fpr>, <label>

Description: Branch if double >= (ordered comparison).

Operands:

Source1: FPR
Source2: FPR
Target: Label

Effect: Branch to label if src1 >= src2 and neither is NaN

bdlt

Syntax: bdlt <fpr>, <fpr>, <label>

Description: Branch if double < (ordered comparison).

Operands:

Source1: FPR
Source2: FPR
Target: Label

Effect: Branch to label if src1 < src2 and neither is NaN

bdlteq

Syntax: bdlteq <fpr>, <fpr>, <label>

Description: Branch if double <= (ordered comparison).

Operands:

Source1: FPR
Source2: FPR
Target: Label

Effect: Branch to label if src1 <= src2 and neither is NaN

bdequn

Syntax: bdequn <fpr>, <fpr>, <label>

Description: Branch if double == (unordered comparison).

Operands:

Source1: FPR
Source2: FPR
Target: Label

Effect: Branch if src1 == src2 or either is NaN

bdnequn

Syntax: bdnequn <fpr>, <fpr>, <label>

Description: Branch if double != (unordered comparison).

Operands:

Source1: FPR
Source2: FPR
Target: Label

Effect: Branch if src1 != src2 or either is NaN

bdgtun

Syntax: bdgtun <fpr>, <fpr>, <label>

Description: Branch if double > (unordered comparison).

Operands:

Source1: FPR
Source2: FPR
Target: Label

Effect: Branch if src1 > src2 or either is NaN

bdgtequn

Syntax: bdgtequn <fpr>, <fpr>, <label>

Description: Branch if double >= (unordered comparison).

Operands:

Source1: FPR
Source2: FPR
Target: Label

Effect: Branch if src1 >= src2 or either is NaN

bdltun

Syntax: bdltun <fpr>, <fpr>, <label>

Description: Branch if double < (unordered comparison).

Operands:

Source1: FPR
Source2: FPR
Target: Label

Effect: Branch if src1 < src2 or either is NaN

bdltequn

Syntax: bdltequn <fpr>, <fpr>, <label>

Description: Branch if double <= (unordered comparison).

Operands:

Source1: FPR
Source2: FPR
Target: Label

Effect: Branch if src1 <= src2 or either is NaN

bfeq

Syntax: bfeq <fpr>, <fpr>, <label>

Description: Branch if single-precision floats are equal.

Operands:

Source1: FPR
Source2: FPR
Target: Label

Effect: Branch to label if src1 == src2

bfgt

Syntax: bfgt <fpr>, <fpr>, <label>

Description: Branch if float > (ordered).

Operands:

Source1: FPR
Source2: FPR
Target: Label

Effect: Branch to label if src1 > src2 and neither is NaN

bflt

Syntax: bflt <fpr>, <fpr>, <label>

Description: Branch if float < (ordered).

Operands:

Source1: FPR
Source2: FPR
Target: Label

Effect: Branch to label if src1 < src2 and neither is NaN

bfgtun

Syntax: bfgtun <fpr>, <fpr>, <label>

Description: Branch if float > (unordered).

Operands:

Source1: FPR
Source2: FPR
Target: Label

Effect: Branch if src1 > src2 or either is NaN

bfgtequn

Syntax: bfgtequn <fpr>, <fpr>, <label>

Description: Branch if float >= (unordered).

Operands:

Source1: FPR
Source2: FPR
Target: Label

Effect: Branch if src1 >= src2 or either is NaN

bfltun

Syntax: bfltun <fpr>, <fpr>, <label>

Description: Branch if float < (unordered).

Operands:

Source1: FPR
Source2: FPR
Target: Label

Effect: Branch if src1 < src2 or either is NaN

bfltequn

Syntax: bfltequn <fpr>, <fpr>, <label>

Description: Branch if float <= (unordered).

Operands:

Source1: FPR
Source2: FPR
Target: Label

Effect: Branch if src1 <= src2 or either is NaN

bieq

Syntax: bieq <gpr>, <gpr|imm>, <label>

Description: Branch if 32-bit integers are equal.

Operands:

Source1: GPR
Source2: GPR or Immediate
Target: Label

Effect: Branch to label if src1 == src2

Example Usage:

bieq t0, 0, .isZero
bieq t0, t1, .areEqual

bineq

Syntax: bineq <gpr>, <gpr|imm>, <label>

Description: Branch if 32-bit integers are not equal.

Operands:

Source1: GPR
Source2: GPR or Immediate
Target: Label

Effect: Branch to label if src1 != src2

bia

Syntax: bia <gpr>, <gpr|imm>, <label>

Description: Branch if integer above (unsigned >).

Operands:

Source1: GPR
Source2: GPR or Immediate
Target: Label

Effect: Branch to label if src1 > src2 (unsigned 32-bit)

biaeq

Syntax: biaeq <gpr>, <gpr|imm>, <label>

Description: Branch if integer above or equal (unsigned >=).

Operands:

Source1: GPR
Source2: GPR or Immediate
Target: Label

Effect: Branch to label if src1 >= src2 (unsigned 32-bit)

bib

Syntax: bib <gpr>, <gpr|imm>, <label>

Description: Branch if integer below (unsigned <).

Operands:

Source1: GPR
Source2: GPR or Immediate
Target: Label

Effect: Branch to label if src1 < src2 (unsigned 32-bit)

bibeq

Syntax: bibeq <gpr>, <gpr|imm>, <label>

Description: Branch if integer below or equal (unsigned <=).

Operands:

Source1: GPR
Source2: GPR or Immediate
Target: Label

Effect: Branch to label if src1 <= src2 (unsigned 32-bit)

bigt

Syntax: bigt <gpr>, <gpr|imm>, <label>

Description: Branch if signed integer is greater than.

Operands:

Source1: GPR
Source2: GPR or Immediate
Target: Label

Effect: Branch to label if src1 > src2 (signed 32-bit)

bigteq

Syntax: bigteq <gpr>, <gpr|imm>, <label>

Description: Branch if signed integer is greater than or equal.

Operands:

Source1: GPR
Source2: GPR or Immediate
Target: Label

Effect: Branch to label if src1 >= src2 (signed 32-bit)

bilt

Syntax: bilt <gpr>, <gpr|imm>, <label>

Description: Branch if signed integer is less than.

Operands:

Source1: GPR
Source2: GPR or Immediate
Target: Label

Effect: Branch to label if src1 < src2 (signed 32-bit)

bilteq

Syntax: bilteq <gpr>, <gpr|imm>, <label>

Description: Branch if signed integer is less than or equal.

Operands:

Source1: GPR
Source2: GPR or Immediate
Target: Label

Effect: Branch to label if src1 <= src2 (signed 32-bit)

bmulio

Syntax: bmulio <gpr>, <gpr>, <label>

Description: Branch if multiply of 32-bit integers overflows.

Operands:

Source1: GPR
Source2: GPR (also destination)
Target: Label

Effect: src2 = src1 * src2; branch if signed overflow

bmulis

Syntax: bmulis <gpr>, <gpr>, <label>

Description: Branch if multiply of 32-bit integers sets sign flag.

Operands:

Source1: GPR
Source2: GPR (also destination)
Target: Label

Effect: src2 = src1 * src2; branch if result < 0

bmuliz

Syntax: bmuliz <gpr>, <gpr>, <label>

Description: Branch if multiply of 32-bit integers results in zero.

Operands:

Source1: GPR
Source2: GPR (also destination)
Target: Label

Effect: src2 = src1 * src2; branch if result == 0

bmulinz

Syntax: bmulinz <gpr>, <gpr>, <label>

Description: Branch if multiply of 32-bit integers results in non-zero.

Operands:

Source1: GPR
Source2: GPR (also destination)
Target: Label

Effect: src2 = src1 * src2; branch if result != 0

bo

Syntax: bo <label>

Description: Branch if overflow flag is set.

Operands:

Target: Label

Effect: Branch based on previous arithmetic operation's overflow status

borio

Syntax: borio <gpr>, <gpr>, <label>

Description: Branch if OR of 32-bit integers would overflow (always false, but modifies destination).

Operands:

Source1: GPR
Source2: GPR (also destination)
Target: Label

Effect: src2 = src1 | src2; branch if overflow (never branches, OR cannot overflow)

boris

Syntax: boris <gpr>, <gpr>, <label>

Description: Branch if OR of 32-bit integers sets sign flag.

Operands:

Source1: GPR
Source2: GPR (also destination)
Target: Label

Effect: src2 = src1 | src2; branch if result < 0

boriz

Syntax: boriz <gpr>, <gpr>, <label>

Description: Branch if OR of 32-bit integers results in zero.

Operands:

Source1: GPR
Source2: GPR (also destination)
Target: Label

Effect: src2 = src1 | src2; branch if result == 0

borinz

Syntax: borinz <gpr>, <gpr>, <label>

Description: Branch if OR of 32-bit integers results in non-zero.

Operands:

Source1: GPR
Source2: GPR (also destination)
Target: Label

Effect: src2 = src1 | src2; branch if result != 0

bpeq

Syntax: bpeq <gpr>, <gpr|imm>, <label>

Description: Branch if pointers are equal.

Operands:

Source1: GPR
Source2: GPR or Immediate
Target: Label

Effect: Branch to label if src1 == src2

bpneq

Syntax: bpneq <gpr>, <gpr|imm>, <label>

Description: Branch if pointers are not equal.

Operands:

Source1: GPR
Source2: GPR or Immediate
Target: Label

Effect: Branch to label if src1 != src2

bpa

Syntax: bpa <gpr>, <gpr|imm>, <label>

Description: Branch if pointer above (unsigned >).

Operands:

Source1: GPR
Source2: GPR or Immediate
Target: Label

Effect: Branch to label if src1 > src2 (unsigned)

bpaeq

Syntax: bpaeq <gpr>, <gpr|imm>, <label>

Description: Branch if pointer above or equal (unsigned >=).

Operands:

Source1: GPR
Source2: GPR or Immediate
Target: Label

Effect: Branch to label if src1 >= src2 (unsigned)

bpb

Syntax: bpb <gpr>, <gpr|imm>, <label>

Description: Branch if pointer below (unsigned <).

Operands:

Source1: GPR
Source2: GPR or Immediate
Target: Label

Effect: Branch to label if src1 < src2 (unsigned)

bpbeq

Syntax: bpbeq <gpr>, <gpr|imm>, <label>

Description: Branch if pointer below or equal (unsigned <=).

Operands:

Source1: GPR
Source2: GPR or Immediate
Target: Label

Effect: Branch to label if src1 <= src2 (unsigned)

bpgt

Syntax: bpgt <gpr>, <gpr|imm>, <label>

Description: Branch if signed pointer greater than.

Operands:

Source1: GPR
Source2: GPR or Immediate
Target: Label

Effect: Branch to label if src1 > src2 (signed)

bpgteq

Syntax: bpgteq <gpr>, <gpr|imm>, <label>

Description: Branch if signed pointer greater than or equal.

Operands:

Source1: GPR
Source2: GPR or Immediate
Target: Label

Effect: Branch to label if src1 >= src2 (signed)

bplt

Syntax: bplt <gpr>, <gpr|imm>, <label>

Description: Branch if signed pointer less than.

Operands:

Source1: GPR
Source2: GPR or Immediate
Target: Label

Effect: Branch to label if src1 < src2 (signed)

bplteq

Syntax: bplteq <gpr>, <gpr|imm>, <label>

Description: Branch if signed pointer less than or equal.

Operands:

Source1: GPR
Source2: GPR or Immediate
Target: Label

Effect: Branch to label if src1 <= src2 (signed)

bqeq

Syntax: bqeq <gpr>, <gpr|imm>, <label>

Description: Branch if 64-bit integers are equal.

Operands:

Source1: GPR
Source2: GPR or Immediate
Target: Label

Effect: Branch to label if src1 == src2

bqneq

Syntax: bqneq <gpr>, <gpr|imm>, <label>

Description: Branch if 64-bit integers are not equal.

Operands:

Source1: GPR
Source2: GPR or Immediate
Target: Label

Effect: Branch to label if src1 != src2

bqa

Syntax: bqa <gpr>, <gpr|imm>, <label>

Description: Branch if 64-bit integer above (unsigned >).

Operands:

Source1: GPR
Source2: GPR or Immediate
Target: Label

Effect: Branch to label if src1 > src2 (unsigned)

bqaeq

Syntax: bqaeq <gpr>, <gpr|imm>, <label>

Description: Branch if 64-bit integer above or equal (unsigned >=).

Operands:

Source1: GPR
Source2: GPR or Immediate
Target: Label

Effect: Branch to label if src1 >= src2 (unsigned)

bqb

Syntax: bqb <gpr>, <gpr|imm>, <label>

Description: Branch if 64-bit integer below (unsigned <).

Operands:

Source1: GPR
Source2: GPR or Immediate
Target: Label

Effect: Branch to label if src1 < src2 (unsigned)

bqbeq

Syntax: bqbeq <gpr>, <gpr|imm>, <label>

Description: Branch if 64-bit integer below or equal (unsigned <=).

Operands:

Source1: GPR
Source2: GPR or Immediate
Target: Label

Effect: Branch to label if src1 <= src2 (unsigned)

bqgt

Syntax: bqgt <gpr>, <gpr|imm>, <label>

Description: Branch if signed 64-bit integer greater than.

Operands:

Source1: GPR
Source2: GPR or Immediate
Target: Label

Effect: Branch to label if src1 > src2 (signed)

bqgteq

Syntax: bqgteq <gpr>, <gpr|imm>, <label>

Description: Branch if signed 64-bit integer greater than or equal.

Operands:

Source1: GPR
Source2: GPR or Immediate
Target: Label

Effect: Branch to label if src1 >= src2 (signed)

bqlt

Syntax: bqlt <gpr>, <gpr|imm>, <label>

Description: Branch if signed 64-bit integer less than.

Operands:

Source1: GPR
Source2: GPR or Immediate
Target: Label

Effect: Branch to label if src1 < src2 (signed)

bqlteq

Syntax: bqlteq <gpr>, <gpr|imm>, <label>

Description: Branch if signed 64-bit integer less than or equal.

Operands:

Source1: GPR
Source2: GPR or Immediate
Target: Label

Effect: Branch to label if src1 <= src2 (signed)

break

Syntax: break

Description: Breakpoint/trap instruction for debugging.

Effect: Causes a debug trap/breakpoint

ARM64 Translation: brk #0

bs

Syntax: bs <label>

Description: Branch if sign flag is set.

Operands:

Target: Label

Effect: Branch based on previous operation's sign flag

bsubio

Syntax: bsubio <gpr>, <gpr>, <label>

Description: Branch if subtract of 32-bit integers overflows.

Operands:

Source1: GPR (subtrahend)
Source2: GPR (minuend and destination)
Target: Label

Effect: src2 = src2 - src1; branch if signed overflow

bsubis

Syntax: bsubis <gpr>, <gpr>, <label>

Description: Branch if subtract of 32-bit integers sets sign flag.

Operands:

Source1: GPR (subtrahend)
Source2: GPR (minuend and destination)
Target: Label

Effect: src2 = src2 - src1; branch if result < 0

bsubiz

Syntax: bsubiz <gpr>, <gpr>, <label>

Description: Branch if subtract of 32-bit integers results in zero.

Operands:

Source1: GPR (subtrahend)
Source2: GPR (minuend and destination)
Target: Label

Effect: src2 = src2 - src1; branch if result == 0

bsubinz

Syntax: bsubinz <gpr>, <gpr>, <label>

Description: Branch if subtract of 32-bit integers results in non-zero.

Operands:

Source1: GPR (subtrahend)
Source2: GPR (minuend and destination)
Target: Label

Effect: src2 = src2 - src1; branch if result != 0

btbs

Syntax: btbs <gpr>, <imm>, <label>

Description: Branch and test byte if sign bit is set.

Operands:

Test value: GPR
Bit mask: Immediate
Target: Label

Effect: Branch if (src & mask) < 0 (sign bit of masked result is set)

btbz

Syntax: btbz <gpr>, <imm>, <label>

Description: Branch and test byte if zero.

Operands:

Test value: GPR
Bit mask: Immediate
Target: Label

Effect: Branch if (src & mask) == 0

btbnz

Syntax: btbnz <gpr>, <imm>, <label>

Description: Branch and test byte if not zero.

Operands:

Test value: GPR
Bit mask: Immediate
Target: Label

Effect: Branch if (src & mask) != 0

btd2i

Syntax: btd2i <fpr>, <gpr>, <label>

Description: Branch if truncate double to int fails, otherwise convert.

Operands:

Source: FPR (double)
Destination: GPR (32-bit int)
Target: Label

Effect: Convert double to 32-bit int; branch if out of range

btis

Syntax: btis <gpr>, <imm>, <label>

Description: Branch and test 32-bit integer if sign bit is set.

Operands:

Test value: GPR
Bit mask: Immediate
Target: Label

Effect: Branch if (src & mask) < 0

btiz

Syntax: btiz <gpr>, <imm>, <label>

Description: Branch and test 32-bit integer if zero.

Operands:

Test value: GPR
Bit mask: Immediate
Target: Label

Effect: Branch if (src & mask) == 0

btinz

Syntax: btinz <gpr>, <imm>, <label>

Description: Branch and test 32-bit integer if not zero.

Operands:

Test value: GPR
Bit mask: Immediate
Target: Label

Effect: Branch if (src & mask) != 0

Example Usage:

btinz t0, 0x1, .isOdd    # Branch if low bit is set

btps

Syntax: btps <gpr>, <imm>, <label>

Description: Branch and test pointer if sign bit is set.

Operands:

Test value: GPR
Bit mask: Immediate
Target: Label

Effect: Branch if (src & mask) < 0

btpz

Syntax: btpz <gpr>, <imm>, <label>

Description: Branch and test pointer if zero.

Operands:

Test value: GPR
Bit mask: Immediate
Target: Label

Effect: Branch if (src & mask) == 0

btpnz

Syntax: btpnz <gpr>, <imm>, <label>

Description: Branch and test pointer if not zero.

Operands:

Test value: GPR
Bit mask: Immediate
Target: Label

Effect: Branch if (src & mask) != 0

btqs

Syntax: btqs <gpr>, <imm>, <label>

Description: Branch and test 64-bit integer if sign bit is set.

Operands:

Test value: GPR
Bit mask: Immediate
Target: Label

Effect: Branch if (src & mask) < 0

btqz

Syntax: btqz <gpr>, <imm>, <label>

Description: Branch and test 64-bit integer if zero.

Operands:

Test value: GPR
Bit mask: Immediate
Target: Label

Effect: Branch if (src & mask) == 0

btqnz

Syntax: btqnz <gpr>, <imm>, <label>

Description: Branch and test 64-bit integer if not zero.

Operands:

Test value: GPR
Bit mask: Immediate
Target: Label

Effect: Branch if (src & mask) != 0

bz

Syntax: bz <label>

Description: Branch if zero flag is set.

Operands:

Target: Label

Effect: Branch based on previous operation's zero flag

bnz

Syntax: bnz <label>

Description: Branch if zero flag is not set.

Operands:

Target: Label

Effect: Branch based on previous operation's zero flag

call

Syntax: call <label|gpr>

Description: Call a function.

Operands:

Target: Label or GPR containing function address

Effect: Push return address, jump to target

ARM64 Translation: bl <label> or blr <register>

cbeq

Syntax: cbeq <gpr>, <gpr|imm>, <gpr>

Description: Compare bytes and set destination to 1 if equal, 0 otherwise.

Operands:

Source1: GPR
Source2: GPR or Immediate
Destination: GPR

Effect: dest = (src1 == src2) ? 1 : 0

cbneq

Syntax: cbneq <gpr>, <gpr|imm>, <gpr>

Description: Compare bytes and set destination to 1 if not equal.

Operands:

Source1: GPR
Source2: GPR or Immediate
Destination: GPR

Effect: dest = (src1 != src2) ? 1 : 0

cba

Syntax: cba <gpr>, <gpr|imm>, <gpr>

Description: Compare bytes (unsigned >) and set boolean result.

Operands:

Source1: GPR
Source2: GPR or Immediate
Destination: GPR

Effect: dest = (src1 > src2) ? 1 : 0 (unsigned)

cbaeq

Syntax: cbaeq <gpr>, <gpr|imm>, <gpr>

Description: Compare bytes (unsigned >=) and set boolean result.

Operands:

Source1: GPR
Source2: GPR or Immediate
Destination: GPR

Effect: dest = (src1 >= src2) ? 1 : 0 (unsigned)

cbb

Syntax: cbb <gpr>, <gpr|imm>, <gpr>

Description: Compare bytes (unsigned <) and set boolean result.

Operands:

Source1: GPR
Source2: GPR or Immediate
Destination: GPR

Effect: dest = (src1 < src2) ? 1 : 0 (unsigned)

cbbeq

Syntax: cbbeq <gpr>, <gpr|imm>, <gpr>

Description: Compare bytes (unsigned <=) and set boolean result.

Operands:

Source1: GPR
Source2: GPR or Immediate
Destination: GPR

Effect: dest = (src1 <= src2) ? 1 : 0 (unsigned)

cbgt

Syntax: cbgt <gpr>, <gpr|imm>, <gpr>

Description: Compare signed bytes (>) and set boolean result.

Operands:

Source1: GPR
Source2: GPR or Immediate
Destination: GPR

Effect: dest = (src1 > src2) ? 1 : 0 (signed)

cbgteq

Syntax: cbgteq <gpr>, <gpr|imm>, <gpr>

Description: Compare signed bytes (>=) and set boolean result.

Operands:

Source1: GPR
Source2: GPR or Immediate
Destination: GPR

Effect: dest = (src1 >= src2) ? 1 : 0 (signed)

cblt

Syntax: cblt <gpr>, <gpr|imm>, <gpr>

Description: Compare signed bytes (<) and set boolean result.

Operands:

Source1: GPR
Source2: GPR or Immediate
Destination: GPR

Effect: dest = (src1 < src2) ? 1 : 0 (signed)

cblteq

Syntax: cblteq <gpr>, <gpr|imm>, <gpr>

Description: Compare signed bytes (<=) and set boolean result.

Operands:

Source1: GPR
Source2: GPR or Immediate
Destination: GPR

Effect: dest = (src1 <= src2) ? 1 : 0 (signed)

cd2f

Syntax: cd2f <fpr>, <fpr>

Description: Convert double to float.

Operands:

Source: FPR (double)
Destination: FPR (float)

Effect: dest_float = (float)src_double

cdeq

Syntax: cdeq <fpr>, <fpr>, <gpr>

Description: Compare doubles and set destination to 1 if equal.

Operands:

Source1: FPR
Source2: FPR
Destination: GPR

Effect: dest = (src1 == src2) ? 1 : 0

cdlt

Syntax: cdlt <fpr>, <fpr>, <gpr>

Description: Compare doubles (<) and set boolean result.

Operands:

Source1: FPR
Source2: FPR
Destination: GPR

Effect: dest = (src1 < src2) ? 1 : 0

cdlteq

Syntax: cdlteq <fpr>, <fpr>, <gpr>

Description: Compare doubles (<=) and set boolean result.

Operands:

Source1: FPR
Source2: FPR
Destination: GPR

Effect: dest = (src1 <= src2) ? 1 : 0

cdgt

Syntax: cdgt <fpr>, <fpr>, <gpr>

Description: Compare doubles (>) and set boolean result.

Operands:

Source1: FPR
Source2: FPR
Destination: GPR

Effect: dest = (src1 > src2) ? 1 : 0

cdgteq

Syntax: cdgteq <fpr>, <fpr>, <gpr>

Description: Compare doubles (>=) and set boolean result.

Operands:

Source1: FPR
Source2: FPR
Destination: GPR

Effect: dest = (src1 >= src2) ? 1 : 0

cdneq

Syntax: cdneq <fpr>, <fpr>, <gpr>

Description: Compare doubles and set destination to 1 if not equal.

Operands:

Source1: FPR
Source2: FPR
Destination: GPR

Effect: dest = (src1 != src2) ? 1 : 0

cdnequn

Syntax: cdnequn <fpr>, <fpr>, <gpr>

Description: Compare doubles (unordered !=) and set boolean result.

Operands:

Source1: FPR
Source2: FPR
Destination: GPR

Effect: dest = (src1 != src2 || isNaN(src1) || isNaN(src2)) ? 1 : 0

ceild, ceilf

Syntax: ceil{d|f} <src>, <dest>

Description: Ceiling function (round toward +infinity).

Variants:

ceild - double-precision float
ceilf - single-precision float

Operands:

Source: FPR
Destination: FPR

Effect: dest = ceil(src)

ARM64 Translation: frintp with appropriate size specifier

cf2d

Syntax: cf2d <fpr>, <fpr>

Description: Convert float to double.

Operands:

Source: FPR (float)
Destination: FPR (double)

Effect: dest_double = (double)src_float

cfeq

Syntax: cfeq <fpr>, <fpr>, <gpr>

Description: Compare floats and set destination to 1 if equal.

Operands:

Source1: FPR
Source2: FPR
Destination: GPR

Effect: dest = (src1 == src2) ? 1 : 0

cflt

Syntax: cflt <fpr>, <fpr>, <gpr>

Description: Compare floats (<) and set boolean result.

Operands:

Source1: FPR
Source2: FPR
Destination: GPR

Effect: dest = (src1 < src2) ? 1 : 0

cflteq

Syntax: cflteq <fpr>, <fpr>, <gpr>

Description: Compare floats (<=) and set boolean result.

Operands:

Source1: FPR
Source2: FPR
Destination: GPR

Effect: dest = (src1 <= src2) ? 1 : 0

cfgt

Syntax: cfgt <fpr>, <fpr>, <gpr>

Description: Compare floats (>) and set boolean result.

Operands:

Source1: FPR
Source2: FPR
Destination: GPR

Effect: dest = (src1 > src2) ? 1 : 0

cfgteq

Syntax: cfgteq <fpr>, <fpr>, <gpr>

Description: Compare floats (>=) and set boolean result.

Operands:

Source1: FPR
Source2: FPR
Destination: GPR

Effect: dest = (src1 >= src2) ? 1 : 0

cfneq

Syntax: cfneq <fpr>, <fpr>, <gpr>

Description: Compare floats and set destination to 1 if not equal.

Operands:

Source1: FPR
Source2: FPR
Destination: GPR

Effect: dest = (src1 != src2) ? 1 : 0

cfnequn

Syntax: cfnequn <fpr>, <fpr>, <gpr>

Description: Compare floats (unordered !=) and set boolean result.

Operands:

Source1: FPR
Source2: FPR
Destination: GPR

Effect: dest = (src1 != src2 || isNaN(src1) || isNaN(src2)) ? 1 : 0

ci2d, ci2ds, ci2f, ci2fs

Syntax: ci2{d|ds|f|fs} <src>, <dest>

Description: Convert signed 32-bit integer to floating-point.

Variants:

ci2d - to double-precision
ci2ds - to double-precision with saturation
ci2f - to single-precision
ci2fs - to single-precision with saturation

Operands:

Source: GPR (32-bit int)
Destination: FPR

Effect: dest_float = (float_type)src_int

ARM64 Translation: scvtf with appropriate size specifier

cieq

Syntax: cieq <gpr>, <gpr|imm>, <gpr>

Description: Compare 32-bit integers and set destination to 1 if equal.

Operands:

Source1: GPR
Source2: GPR or Immediate
Destination: GPR

Effect: dest = (src1 == src2) ? 1 : 0

cineq

Syntax: cineq <gpr>, <gpr|imm>, <gpr>

Description: Compare 32-bit integers and set destination to 1 if not equal.

Operands:

Source1: GPR
Source2: GPR or Immediate
Destination: GPR

Effect: dest = (src1 != src2) ? 1 : 0

cia

Syntax: cia <gpr>, <gpr|imm>, <gpr>

Description: Compare integers (unsigned >) and set boolean result.

Operands:

Source1: GPR
Source2: GPR or Immediate
Destination: GPR

Effect: dest = (src1 > src2) ? 1 : 0 (unsigned)

ciaeq

Syntax: ciaeq <gpr>, <gpr|imm>, <gpr>

Description: Compare integers (unsigned >=) and set boolean result.

Operands:

Source1: GPR
Source2: GPR or Immediate
Destination: GPR

Effect: dest = (src1 >= src2) ? 1 : 0 (unsigned)

cib

Syntax: cib <gpr>, <gpr|imm>, <gpr>

Description: Compare integers (unsigned <) and set boolean result.

Operands:

Source1: GPR
Source2: GPR or Immediate
Destination: GPR

Effect: dest = (src1 < src2) ? 1 : 0 (unsigned)

cibeq

Syntax: cibeq <gpr>, <gpr|imm>, <gpr>

Description: Compare integers (unsigned <=) and set boolean result.

Operands:

Source1: GPR
Source2: GPR or Immediate
Destination: GPR

Effect: dest = (src1 <= src2) ? 1 : 0 (unsigned)

cigt

Syntax: cigt <gpr>, <gpr|imm>, <gpr>

Description: Compare signed integers (>) and set boolean result.

Operands:

Source1: GPR
Source2: GPR or Immediate
Destination: GPR

Effect: dest = (src1 > src2) ? 1 : 0 (signed)

cigteq

Syntax: cigteq <gpr>, <gpr|imm>, <gpr>

Description: Compare signed integers (>=) and set boolean result.

Operands:

Source1: GPR
Source2: GPR or Immediate
Destination: GPR

Effect: dest = (src1 >= src2) ? 1 : 0 (signed)

cilt

Syntax: cilt <gpr>, <gpr|imm>, <gpr>

Description: Compare signed integers (<) and set boolean result.

Operands:

Source1: GPR
Source2: GPR or Immediate
Destination: GPR

Effect: dest = (src1 < src2) ? 1 : 0 (signed)

cilteq

Syntax: cilteq <gpr>, <gpr|imm>, <gpr>

Description: Compare signed integers (<=) and set boolean result.

Operands:

Source1: GPR
Source2: GPR or Immediate
Destination: GPR

Effect: dest = (src1 <= src2) ? 1 : 0 (signed)

cpeq

Syntax: cpeq <gpr>, <gpr|imm>, <gpr>

Description: Compare pointers and set destination to 1 if equal.

Operands:

Source1: GPR
Source2: GPR or Immediate
Destination: GPR

Effect: dest = (src1 == src2) ? 1 : 0

cpneq

Syntax: cpneq <gpr>, <gpr|imm>, <gpr>

Description: Compare pointers and set destination to 1 if not equal.

Operands:

Source1: GPR
Source2: GPR or Immediate
Destination: GPR

Effect: dest = (src1 != src2) ? 1 : 0

cpa

Syntax: cpa <gpr>, <gpr|imm>, <gpr>

Description: Compare pointers (unsigned >) and set boolean result.

Operands:

Source1: GPR
Source2: GPR or Immediate
Destination: GPR

Effect: dest = (src1 > src2) ? 1 : 0 (unsigned)

cpaeq

Syntax: cpaeq <gpr>, <gpr|imm>, <gpr>

Description: Compare pointers (unsigned >=) and set boolean result.

Operands:

Source1: GPR
Source2: GPR or Immediate
Destination: GPR

Effect: dest = (src1 >= src2) ? 1 : 0 (unsigned)

cpb

Syntax: cpb <gpr>, <gpr|imm>, <gpr>

Description: Compare pointers (unsigned <) and set boolean result.

Operands:

Source1: GPR
Source2: GPR or Immediate
Destination: GPR

Effect: dest = (src1 < src2) ? 1 : 0 (unsigned)

cpbeq

Syntax: cpbeq <gpr>, <gpr|imm>, <gpr>

Description: Compare pointers (unsigned <=) and set boolean result.

Operands:

Source1: GPR
Source2: GPR or Immediate
Destination: GPR

Effect: dest = (src1 <= src2) ? 1 : 0 (unsigned)

cpgt

Syntax: cpgt <gpr>, <gpr|imm>, <gpr>

Description: Compare signed pointers (>) and set boolean result.

Operands:

Source1: GPR
Source2: GPR or Immediate
Destination: GPR

Effect: dest = (src1 > src2) ? 1 : 0 (signed)

cpgteq

Syntax: cpgteq <gpr>, <gpr|imm>, <gpr>

Description: Compare signed pointers (>=) and set boolean result.

Operands:

Source1: GPR
Source2: GPR or Immediate
Destination: GPR

Effect: dest = (src1 >= src2) ? 1 : 0 (signed)

cplt

Syntax: cplt <gpr>, <gpr|imm>, <gpr>

Description: Compare signed pointers (<) and set boolean result.

Operands:

Source1: GPR
Source2: GPR or Immediate
Destination: GPR

Effect: dest = (src1 < src2) ? 1 : 0 (signed)

cplteq

Syntax: cplteq <gpr>, <gpr|imm>, <gpr>

Description: Compare signed pointers (<=) and set boolean result.

Operands:

Source1: GPR
Source2: GPR or Immediate
Destination: GPR

Effect: dest = (src1 <= src2) ? 1 : 0 (signed)

cq2d, cq2ds, cq2f, cq2fs

Syntax: cq2{d|ds|f|fs} <src>, <dest>

Description: Convert signed 64-bit integer to floating-point.

Variants:

cq2d - to double-precision
cq2ds - to double-precision with saturation
cq2f - to single-precision
cq2fs - to single-precision with saturation

Operands:

Source: GPR (64-bit int)
Destination: FPR

Effect: dest_float = (float_type)src_int64

cqeq

Syntax: cqeq <gpr>, <gpr|imm>, <gpr>

Description: Compare 64-bit integers and set destination to 1 if equal.

Operands:

Source1: GPR
Source2: GPR or Immediate
Destination: GPR

Effect: dest = (src1 == src2) ? 1 : 0

cqneq

Syntax: cqneq <gpr>, <gpr|imm>, <gpr>

Description: Compare 64-bit integers and set destination to 1 if not equal.

Operands:

Source1: GPR
Source2: GPR or Immediate
Destination: GPR

Effect: dest = (src1 != src2) ? 1 : 0

cqa

Syntax: cqa <gpr>, <gpr|imm>, <gpr>

Description: Compare 64-bit integers (unsigned >) and set boolean result.

Operands:

Source1: GPR
Source2: GPR or Immediate
Destination: GPR

Effect: dest = (src1 > src2) ? 1 : 0 (unsigned)

cqaeq

Syntax: cqaeq <gpr>, <gpr|imm>, <gpr>

Description: Compare 64-bit integers (unsigned >=) and set boolean result.

Operands:

Source1: GPR
Source2: GPR or Immediate
Destination: GPR

Effect: dest = (src1 >= src2) ? 1 : 0 (unsigned)

cqb

Syntax: cqb <gpr>, <gpr|imm>, <gpr>

Description: Compare 64-bit integers (unsigned <) and set boolean result.

Operands:

Source1: GPR
Source2: GPR or Immediate
Destination: GPR

Effect: dest = (src1 < src2) ? 1 : 0 (unsigned)

cqbeq

Syntax: cqbeq <gpr>, <gpr|imm>, <gpr>

Description: Compare 64-bit integers (unsigned <=) and set boolean result.

Operands:

Source1: GPR
Source2: GPR or Immediate
Destination: GPR

Effect: dest = (src1 <= src2) ? 1 : 0 (unsigned)

cqgt

Syntax: cqgt <gpr>, <gpr|imm>, <gpr>

Description: Compare signed 64-bit integers (>) and set boolean result.

Operands:

Source1: GPR
Source2: GPR or Immediate
Destination: GPR

Effect: dest = (src1 > src2) ? 1 : 0 (signed)

cqgteq

Syntax: cqgteq <gpr>, <gpr|imm>, <gpr>

Description: Compare signed 64-bit integers (>=) and set boolean result.

Operands:

Source1: GPR
Source2: GPR or Immediate
Destination: GPR

Effect: dest = (src1 >= src2) ? 1 : 0 (signed)

cqlt

Syntax: cqlt <gpr>, <gpr|imm>, <gpr>

Description: Compare signed 64-bit integers (<) and set boolean result.

Operands:

Source1: GPR
Source2: GPR or Immediate
Destination: GPR

Effect: dest = (src1 < src2) ? 1 : 0 (signed)

cqlteq

Syntax: cqlteq <gpr>, <gpr|imm>, <gpr>

Description: Compare signed 64-bit integers (<=) and set boolean result.

Operands:

Source1: GPR
Source2: GPR or Immediate
Destination: GPR

Effect: dest = (src1 <= src2) ? 1 : 0 (signed)

divd, divf

Syntax: div{d|f} <src>, <dest> or div{d|f} <src1>, <src2>, <dest>

Description: Divide floating-point numbers.

Variants:

divd - double-precision floats
divf - single-precision floats

Operands:

2 operands: Source FPR, Destination FPR (in-place divide)
3 operands: Source1 FPR, Source2 FPR, Destination FPR

Effect: dest = src1 / src2

ARM64 Translation: fdiv with appropriate size specifier

emit

Syntax: emit <string>

Description: Emit raw assembly code.

Operands:

Code: String containing raw assembly

Effect: Emits the string directly to the output assembly

Example Usage:

emit "nop"

fd2ii

Syntax: fd2ii <fpr>, <gpr>, <gpr>

Description: Convert double to two 32-bit integers (LSB and MSB).

Operands:

Source: FPR
Dest LSB: GPR (least significant 32 bits)
Dest MSB: GPR (most significant 32 bits)

Effect: Extracts the 64-bit double bit pattern into two 32-bit registers

fd2q

Syntax: fd2q <fpr>, <gpr>

Description: Move double-precision float bit pattern to 64-bit integer register.

Operands:

Source: FPR (double)
Destination: GPR (64-bit)

Effect: dest_int64 = bitcast<int64>(src_double)

ARM64 Translation: fmov x<dest>, d<src>

fi2f

Syntax: fi2f <gpr>, <fpr>

Description: Move 32-bit integer bit pattern to float register.

Operands:

Source: GPR (32-bit int)
Destination: FPR (float)

Effect: dest_float = bitcast<float>(src_int32)

fii2d

Syntax: fii2d <gpr>, <gpr>, <fpr>

Description: Combine two 32-bit integers into a double.

Operands:

Source LSB: GPR (least significant 32 bits)
Source MSB: GPR (most significant 32 bits)
Dest: FPR

Effect: Combines two 32-bit integers into a 64-bit double bit pattern

ff2i

Syntax: ff2i <fpr>, <gpr>

Description: Move float bit pattern to 32-bit integer register.

Operands:

Source: FPR (float)
Destination: GPR (32-bit int)

Effect: dest_int32 = bitcast<int32>(src_float)

floord, floorf

Syntax: floor{d|f} <src>, <dest>

Description: Floor function (round toward -infinity).

Variants:

floord - double-precision float
floorf - single-precision float

Operands:

Source: FPR
Destination: FPR

Effect: dest = floor(src)

ARM64 Translation: frintm with appropriate size specifier

fq2d

Syntax: fq2d <gpr>, <fpr>

Description: Move 64-bit integer bit pattern to double-precision float register.

Operands:

Source: GPR (64-bit int)
Destination: FPR (double)

Effect: dest_double = bitcast<double>(src_int64)

ARM64 Translation: fmov d<dest>, x<src>

jmp

Syntax: jmp <label|gpr>

Description: Unconditional jump.

Operands:

Target: Label or GPR containing address

Effect: Jump to target address

Example Usage:

jmp .done
jmp t0

ARM64 Translation: b <label> or br <register>

leai

Syntax: leai <address>, <gpr>

Description: Load effective address (32-bit).

Operands:

Source: Address or BaseIndex
Destination: GPR

Effect: dest = address_of(src) (calculates address without loading)

Example Usage:

leai [t0, 16], t1    # t1 = t0 + 16

leap

Syntax: leap <address>, <gpr>

Description: Load effective address (pointer-sized).

Operands:

Source: Address or BaseIndex
Destination: GPR

Effect: dest = address_of(src)

Example Usage:

leap [cfr, 8], t0    # t0 = cfr + 8

ARM64 Translation: add x<dest>, x<base>, #<offset>

load2ia

Syntax: load2ia <address>, <gpr>, <gpr>

Description: Load two adjacent 32-bit integers.

Operands:

Source: Address
Dest1: GPR
Dest2: GPR

Effect: Loads two consecutive 32-bit values

loadb, loadbsi, loadbsq

Syntax: loadb <address>, <gpr> or loadbs{i|q} <address>, <gpr>

Description: Load 8-bit byte from memory.

Variants:

loadb - unsigned byte, zero-extend
loadbsi - signed byte, sign-extend to 32-bit
loadbsq - signed byte, sign-extend to 64-bit

Operands:

Source: Address
Destination: GPR

Effect: dest = load_byte(address) with appropriate extension

ARM64 Translation: ldrb/ldrsb with appropriate size specifier

loadd, loadf, loadi, loadis, loadp, loadq, loadv

Syntax: load{d|f|i|is|p|q|v} <address>, <dest>

Description: Load value from memory.

Variants:

loadd - double-precision float (FPR destination)
loadf - single-precision float (FPR destination)
loadi - 32-bit integer (GPR destination)
loadis - 32-bit integer, sign-extend to pointer/64-bit (GPR destination)
loadp - pointer-sized value (GPR destination)
loadq - 64-bit integer (GPR destination)
loadv - 128-bit vector/SIMD (vector register destination)

Operands:

Source: Address
Destination: FPR, GPR, or VecReg

Effect: dest = value[address]

Example Usage:

loadi [t0], t1               # Load from [t0]
loadi [cfr, 16], t2          # Load from [cfr + 16]
loadi [t0, t1, 4], t2        # Load from [t0 + t1*16] (scale=4 means shift by 4)

ARM64 Translation: ldr with appropriate size specifier

loadh, loadhsi, loadhsq

Syntax: loadh <address>, <gpr> or loadhs{i|q} <address>, <gpr>

Description: Load 16-bit half-word from memory.

Variants:

loadh - unsigned half-word, zero-extend
loadhsi - signed half-word, sign-extend to 32-bit
loadhsq - signed half-word, sign-extend to 64-bit

Operands:

Source: Address
Destination: GPR

Effect: dest = load_halfword(address) with appropriate extension

ARM64 Translation: ldrh/ldrsh with appropriate size specifier

lrotatei, lrotateq

Syntax: lrotate{i|q} <count>, <dest>

Description: Rotate integer left.

Variants:

lrotatei - 32-bit integers
lrotateq - 64-bit integers

Operands:

Count: Immediate or GPR (rotation amount)
Destination: GPR (value to rotate, in-place)

Effect: dest = rotate_left(dest, count)

lshifti, lshiftp, lshiftq

Syntax: lshift{i|p|q} <count>, <dest> or lshift{i|p|q} <count>, <src>, <dest>

Description: Logical shift left integer.

Variants:

lshifti - 32-bit integers
lshiftp - pointer-sized integers
lshiftq - 64-bit integers

Operands:

2 operands: Count (immediate or GPR), Destination GPR (in-place shift)
3 operands: Count (immediate or GPR), Source GPR, Destination GPR

Effect: dest = src << count

Example Usage:

lshifti 2, t0        # t0 = t0 << 2
lshifti t1, t0, t2   # t2 = t0 << t1

ARM64 Translation: lsl with appropriate size specifier

lzcnti, lzcntq

Syntax: lzcnt{i|q} <src>, <dest>

Description: Count leading zeros in integer.

Variants:

lzcnti - 32-bit integers
lzcntq - 64-bit integers

Operands:

Source: GPR
Destination: GPR

Effect: dest = count_leading_zeros(src)

ARM64 Translation: clz with appropriate size specifier

memfence

Syntax: memfence

Description: Memory fence/barrier.

Effect: Ensures memory operations before the fence complete before operations after

ARM64 Translation: dmb ish or similar

move

Syntax: move <src>, <dest>

Description: Move value between registers or load immediate.

Operands:

Source: GPR, FPR, or Immediate
Destination: GPR or FPR

Effect: dest = src

Example Usage:

move 42, t0          # t0 = 42
move t1, t0          # t0 = t1

ARM64 Translation: mov x<dest>, x<src> or mov x<dest>, #<imm>

moved

Syntax: moved <fpr>, <fpr>

Description: Move double-precision float between FP registers.

Operands:

Source: FPR
Destination: FPR

Effect: dest = src

ARM64 Translation: fmov d<dest>, d<src>

movdz

Syntax: movdz <fpr>, <fpr>

Description: Move double or set to zero if source is -0.0.

Operands:

Source: FPR
Destination: FPR

Effect: dest = (src == -0.0) ? 0.0 : src

muld, mulf, muli, mulp, mulq

Syntax: mul{d|f|i|p|q} <src>, <dest> or mul{d|f|i|p|q} <src1>, <src2>, <dest>

Description: Multiply two values.

Variants:

muld - double-precision floats (FPR operands)
mulf - single-precision floats (FPR operands)
muli - 32-bit integers (GPR operands, immediate or GPR source)
mulp - pointer-sized integers (GPR operands, immediate or GPR source)
mulq - 64-bit integers (GPR operands, immediate or GPR source)

Operands:

2 operands: Source, Destination (in-place multiply)
3 operands: Source1, Source2, Destination

Effect: dest = src1 * src2

ARM64 Translation: mul/fmul with appropriate size specifier

negd, negf, negi, negp, negq

Syntax: neg{d|f} <src>, <dest> or neg{i|p|q} <dest>

Description: Negate a value.

Variants:

negd - double-precision floats (2 operands: source FPR, dest FPR)
negf - single-precision floats (2 operands: source FPR, dest FPR)
negi - 32-bit integers (1 operand: dest GPR, in-place)
negp - pointer-sized integers (1 operand: dest GPR, in-place)
negq - 64-bit integers (1 operand: dest GPR, in-place)

Effect: dest = -src (floats) or dest = -dest (integers)

ARM64 Translation: neg/fneg with appropriate size specifier

nop

Syntax: nop

Description: No operation.

Effect: Does nothing, used for padding or alignment

ARM64 Translation: nop

noti

Syntax: noti <gpr>

Description: Bitwise NOT of 32-bit integer.

Operands:

Destination: GPR (in-place NOT)

Effect: dest = ~dest

Note: See also notq in architecture-specific instructions for 64-bit variant.

ARM64 Translation: mvn w<dest>, w<src>

ord, orf, orh, ori, orp, orq

Syntax: or{d|f|h|i|p|q} <src>, <dest> or or{i|p|q} <src1>, <src2>, <dest>

Description: Bitwise OR of values.

Variants:

ord - double-precision float bit patterns (FPR operands)
orf - single-precision float bit patterns (FPR operands)
orh - 16-bit half-words (GPR operands, immediate or GPR source)
ori - 32-bit integers (GPR operands, immediate or GPR source)
orp - pointer-sized integers (GPR operands, immediate or GPR source)
orq - 64-bit integers (GPR operands, immediate or GPR source)

Operands:

2 operands: Source, Destination (in-place OR)
3 operands: Source1, Source2, Destination (integer variants only)

Effect: dest = src1 | src2

ARM64 Translation: orr with appropriate size specifier

peek

Syntax: peek <imm>, <gpr|fpr>

Description: Read value from stack at offset.

Operands:

Offset: Immediate (in pointer-sized units from SP)
Destination: GPR or FPR

Effect: dest = stack[sp + offset * sizeof(ptr)]

Example Usage:

peek 2, t0           # Load from [sp + 16] (on 64-bit)

poke

Syntax: poke <gpr|fpr|imm>, <imm>

Description: Write value to stack at offset.

Operands:

Source: GPR, FPR, or Immediate
Offset: Immediate (in pointer-sized units from SP)

Effect: stack[sp + offset * sizeof(ptr)] = src

Example Usage:

poke t0, 2           # Store to [sp + 16]
poke 0, 1            # Store 0 to [sp + 8]

pop

Syntax: pop <gpr>

Description: Pop value from stack.

Operands:

Destination: GPR

Effect: dest = [sp]; sp = sp + sizeof(ptr)

ARM64 Translation: ldr x<dest>, [sp], #8

popv

Syntax: popv <vecreg>

Description: Pop 128-bit vector from stack.

Operands:

Destination: Vector register

Effect: dest = [sp]; sp = sp + 16

push

Syntax: push <gpr>

Description: Push value onto stack.

Operands:

Source: GPR

Effect: sp = sp - sizeof(ptr); [sp] = src

ARM64 Translation: str x<src>, [sp, #-8]!

pushv

Syntax: pushv <vecreg>

Description: Push 128-bit vector onto stack.

Operands:

Source: Vector register

Effect: sp = sp - 16; [sp] = src

removeArrayPtrTag

Syntax: removeArrayPtrTag <gpr>

Description: Remove pointer authentication code from array pointer.

Operands:

Pointer: GPR (in-place removal)

Effect: Strips PAC from pointer (ARM64e specific)

removeCodePtrTag

Syntax: removeCodePtrTag <gpr>

Description: Remove pointer authentication code from code pointer.

Operands:

Pointer: GPR (in-place removal)

Effect: Strips PAC from code pointer (ARM64e specific)

ret

Syntax: ret

Description: Return from function.

Effect: Pop return address and jump to it

ARM64 Translation: ret

roundd, roundf

Syntax: round{d|f} <src>, <dest>

Description: Round to nearest integer (ties to even).

Variants:

roundd - double-precision float
roundf - single-precision float

Operands:

Source: FPR
Destination: FPR

Effect: dest = round(src)

ARM64 Translation: frintn with appropriate size specifier

rrotatei, rrotateq

Syntax: rrotate{i|q} <count>, <dest>

Description: Rotate integer right.

Variants:

rrotatei - 32-bit integers
rrotateq - 64-bit integers

Operands:

Count: Immediate or GPR (rotation amount)
Destination: GPR (value to rotate, in-place)

Effect: dest = rotate_right(dest, count)

rshifti, rshiftp, rshiftq

Syntax: rshift{i|p|q} <count>, <dest> or rshift{i|p|q} <count>, <src>, <dest>

Description: Arithmetic (signed) shift right integer.

Variants:

rshifti - 32-bit integers
rshiftp - pointer-sized integers
rshiftq - 64-bit integers

Operands:

2 operands: Count (immediate or GPR), Destination GPR (in-place shift)
3 operands: Count (immediate or GPR), Source GPR, Destination GPR

Effect: dest = src >> count (sign-extending)

ARM64 Translation: asr with appropriate size specifier

sqrtd, sqrtf

Syntax: sqrt{d|f} <src>, <dest>

Description: Square root of floating-point number.

Variants:

sqrtd - double-precision float
sqrtf - single-precision float

Operands:

Source: FPR
Destination: FPR

Effect: dest = sqrt(src)

ARM64 Translation: fsqrt with appropriate size specifier

store2ia

Syntax: store2ia <gpr>, <gpr>, <address>

Description: Store two adjacent 32-bit integers.

Operands:

Source1: GPR
Source2: GPR
Destination: Address

Effect: Stores two consecutive 32-bit values

storeb, stored, storef, storeh, storei, storep, storeq, storev

Syntax: store{b|d|f|h|i|p|q|v} <src>, <address>

Description: Store value to memory.

Variants:

storeb - 8-bit byte (GPR or immediate source)
stored - double-precision float (FPR source)
storef - single-precision float (FPR source)
storeh - 16-bit half-word (GPR or immediate source)
storei - 32-bit integer (GPR or immediate source)
storep - pointer-sized value (GPR or immediate source)
storeq - 64-bit integer (GPR or immediate source)
storev - 128-bit vector/SIMD (vector register source)

Operands:

Source: GPR, FPR, VecReg, or Immediate
Address: Memory address

Effect: memory[address] = src

Example Usage:

storei t0, [t1]              # Store t0 to [t1]
storei 42, [cfr, 8]          # Store constant to [cfr + 8]

ARM64 Translation: str with appropriate size specifier

subd, subf, subi, subp, subq

Syntax: sub{d|f|i|p|q} <src>, <dest> or sub{d|f|i|p|q} <src1>, <src2>, <dest>

Description: Subtract two values.

Variants:

subd - double-precision floats (FPR operands)
subf - single-precision floats (FPR operands)
subi - 32-bit integers (GPR operands, immediate or GPR source)
subp - pointer-sized integers (GPR operands, immediate or GPR source)
subq - 64-bit integers (GPR operands, immediate or GPR source)

Operands:

2 operands: Source, Destination (in-place subtract)
3 operands: Source1, Source2, Destination

Effect: dest = src1 - src2 (3-operand) or dest = dest - src (2-operand)

ARM64 Translation: sub/fsub with appropriate size specifier

sxb2i, sxb2p, sxb2q

Syntax: sxb2{i|p|q} <src>, <dest>

Description: Sign-extend byte to larger integer size.

Variants:

sxb2i - byte to 32-bit integer
sxb2p - byte to pointer size
sxb2q - byte to 64-bit integer

Operands:

Source: GPR
Destination: GPR

Effect: dest = sign_extend(src & 0xff)

ARM64 Translation: sxtb with appropriate size specifier

sxh2i, sxh2q

Syntax: sxh2{i|q} <src>, <dest>

Description: Sign-extend half-word to larger integer size.

Variants:

sxh2i - half-word to 32-bit integer
sxh2q - half-word to 64-bit integer

Operands:

Source: GPR
Destination: GPR

Effect: dest = sign_extend(src & 0xffff)

ARM64 Translation: sxth with appropriate size specifier

sxi2q

Syntax: sxi2q <gpr>, <gpr>

Description: Sign-extend 32-bit integer to 64-bit.

Operands:

Source: GPR
Destination: GPR

Effect: dest = sign_extend_64(src)

ARM64 Translation: sxtw x<dest>, w<src>

tagCodePtr

Syntax: tagCodePtr <gpr>, <tag>, <gpr>

Description: Add pointer authentication code to code pointer (ARM64e).

Operands:

Source: GPR
Tag: Immediate or GPR (discriminator)
Destination: GPR

Effect: Signs code pointer with specified tag/discriminator

tagReturnAddress

Syntax: tagReturnAddress <gpr>

Description: Sign return address with pointer authentication (ARM64e).

Operands:

Return address register: GPR

Effect: Signs the return address in the specified register

tbs

Syntax: tbs <gpr>, <imm>, <gpr>

Description: Test byte and set destination to 1 if sign bit is set.

Operands:

Test value: GPR
Bit mask: Immediate
Destination: GPR

Effect: dest = ((src & mask) < 0) ? 1 : 0

tbz

Syntax: tbz <gpr>, <imm>, <gpr>

Description: Test byte and set destination to 1 if zero.

Operands:

Test value: GPR
Bit mask: Immediate
Destination: GPR

Effect: dest = ((src & mask) == 0) ? 1 : 0

tbnz

Syntax: tbnz <gpr>, <imm>, <gpr>

Description: Test byte and set destination to 1 if not zero.

Operands:

Test value: GPR
Bit mask: Immediate
Destination: GPR

Effect: dest = ((src & mask) != 0) ? 1 : 0

td2i

Syntax: td2i <fpr>, <gpr>

Description: Truncate double to signed 32-bit integer.

Operands:

Source: FPR (double)
Destination: GPR (32-bit int)

Effect: dest = (int32)src (truncates toward zero)

ARM64 Translation: fcvtzs w<dest>, d<src>

tis

Syntax: tis <gpr>, <imm>, <gpr>

Description: Test 32-bit integer and set destination to 1 if sign bit is set.

Operands:

Test value: GPR
Bit mask: Immediate
Destination: GPR

Effect: dest = ((src & mask) < 0) ? 1 : 0

tiz

Syntax: tiz <gpr>, <imm>, <gpr>

Description: Test 32-bit integer and set destination to 1 if zero.

Operands:

Test value: GPR
Bit mask: Immediate
Destination: GPR

Effect: dest = ((src & mask) == 0) ? 1 : 0

tinz

Syntax: tinz <gpr>, <imm>, <gpr>

Description: Test 32-bit integer and set destination to 1 if not zero.

Operands:

Test value: GPR
Bit mask: Immediate
Destination: GPR

Effect: dest = ((src & mask) != 0) ? 1 : 0

tps

Syntax: tps <gpr>, <imm>, <gpr>

Description: Test pointer and set destination to 1 if sign bit is set.

Operands:

Test value: GPR
Bit mask: Immediate
Destination: GPR

Effect: dest = ((src & mask) < 0) ? 1 : 0

tpz

Syntax: tpz <gpr>, <imm>, <gpr>

Description: Test pointer and set destination to 1 if zero.

Operands:

Test value: GPR
Bit mask: Immediate
Destination: GPR

Effect: dest = ((src & mask) == 0) ? 1 : 0

tpnz

Syntax: tpnz <gpr>, <imm>, <gpr>

Description: Test pointer and set destination to 1 if not zero.

Operands:

Test value: GPR
Bit mask: Immediate
Destination: GPR

Effect: dest = ((src & mask) != 0) ? 1 : 0

tqs

Syntax: tqs <gpr>, <imm>, <gpr>

Description: Test 64-bit integer and set destination to 1 if sign bit is set.

Operands:

Test value: GPR
Bit mask: Immediate
Destination: GPR

Effect: dest = ((src & mask) < 0) ? 1 : 0

tqz

Syntax: tqz <gpr>, <imm>, <gpr>

Description: Test 64-bit integer and set destination to 1 if zero.

Operands:

Test value: GPR
Bit mask: Immediate
Destination: GPR

Effect: dest = ((src & mask) == 0) ? 1 : 0

tqnz

Syntax: tqnz <gpr>, <imm>, <gpr>

Description: Test 64-bit integer and set destination to 1 if not zero.

Operands:

Test value: GPR
Bit mask: Immediate
Destination: GPR

Effect: dest = ((src & mask) != 0) ? 1 : 0

transferi, transferp, transferq

Syntax: transfer{i|p|q} <src>, <dest>

Description: Transfer/move value between GPRs (alias for move).

Variants:

transferi - 32-bit values
transferp - pointer-sized values
transferq - 64-bit values

Operands:

Source: GPR
Destination: GPR

Effect: dest = src

truncated, truncatef

Syntax: truncate{d|f} <src>, <dest>

Description: Truncate float to integer value (result stays as float type).

Variants:

truncated - double-precision
truncatef - single-precision

Operands:

Source: FPR
Destination: FPR

Effect: dest = trunc(src) (removes fractional part)

ARM64 Translation: frintz with appropriate size specifier

truncated2i, truncated2is, truncated2q, truncated2qs

Syntax: truncated2{i|is|q|qs} <src>, <dest>

Description: Truncate double to signed integer.

Variants:

truncated2i - to 32-bit integer
truncated2is - to 32-bit integer with saturation
truncated2q - to 64-bit integer
truncated2qs - to 64-bit integer with saturation

Operands:

Source: FPR (double)
Destination: GPR

Effect: dest = (int)src (truncates toward zero)

ARM64 Translation: fcvtzs with appropriate size specifier

truncatef2i, truncatef2is, truncatef2q, truncatef2qs

Syntax: truncatef2{i|is|q|qs} <src>, <dest>

Description: Truncate float to signed integer.

Variants:

truncatef2i - to 32-bit integer
truncatef2is - to 32-bit integer with saturation
truncatef2q - to 64-bit integer
truncatef2qs - to 64-bit integer with saturation

Operands:

Source: FPR (float)
Destination: GPR

Effect: dest = (int)src (truncates toward zero)

tzcnti, tzcntq

Syntax: tzcnt{i|q} <src>, <dest>

Description: Count trailing zeros in integer.

Variants:

tzcnti - 32-bit integers
tzcntq - 64-bit integers

Operands:

Source: GPR
Destination: GPR

Effect: dest = count_trailing_zeros(src)

ARM64 Translation: rbit + clz (reverse bits then count leading zeros)

untagArrayPtr

Syntax: untagArrayPtr <gpr>

Description: Remove pointer authentication and untag array pointer (ARM64e).

untagReturnAddress

Syntax: untagReturnAddress <gpr>

Description: Remove pointer authentication from return address (ARM64e).

Effect: Authenticates and strips PAC from return address

urshifti, urshiftp, urshiftq

Syntax: urshift{i|p|q} <count>, <dest> or urshift{i|p|q} <count>, <src>, <dest>

Description: Logical (unsigned) shift right integer.

Variants:

urshifti - 32-bit integers
urshiftp - pointer-sized integers
urshiftq - 64-bit integers

Operands:

2 operands: Count (immediate or GPR), Destination GPR (in-place shift)
3 operands: Count (immediate or GPR), Source GPR, Destination GPR

Effect: dest = src >> count (zero-extending)

ARM64 Translation: lsr with appropriate size specifier

xori, xorp, xorq

Syntax: xor{i|p|q} <src>, <dest> or xor{i|p|q} <src1>, <src2>, <dest>

Description: Bitwise XOR of integers.

Variants:

xori - 32-bit integers (immediate or GPR source)
xorp - pointer-sized integers (immediate or GPR source)
xorq - 64-bit integers (immediate or GPR source)

Operands:

2 operands: Source, Destination (in-place XOR)
3 operands: Source1, Source2, Destination

Effect: dest = src1 ^ src2

ARM64 Translation: eor with appropriate size specifier

zxi2q

Syntax: zxi2q <gpr>, <gpr>

Description: Zero-extend 32-bit integer to 64-bit.

Operands:

Source: GPR
Destination: GPR

Effect: dest = zero_extend_64(src)

ARM64 Translation: mov w<dest>, w<src> (implicit zero-extension on ARM64)

Architecture-Specific Instructions

ARM64-Specific Instructions

bfiq

Syntax: bfiq <gpr>, <imm>, <imm>, <gpr>

Description: Bit field insert.

Operands:

Source: GPR
Last bit: Immediate
Width: Immediate
Destination: GPR

ARM64 Translation: bfi or bfxil

fence

Syntax: fence

Description: Full memory fence.

ARM64 Translation: dmb sy

globaladdr

Syntax: globaladdr <label>, <gpr>

Description: Load global address into register.

loadlinkacqb/h/i/q

Syntax: loadlinkacq{b|h|i|q} <address>, <gpr>

Description: Load-link with acquire semantics (for atomic operations).

ARM64 Translation: ldaxrb/ldaxrh/ldaxr/ldaxr

notq

Syntax: notq <gpr>

Description: Bitwise NOT of 64-bit integer.

ARM64 Translation: mvn x<dest>, x<src>

storecondrel{b|h|i|q}

Syntax: storecondrel{b|h|i|q} <gpr>, <address>, <gpr>

Description: Store-conditional with release semantics.

ARM64 Translation: stlxrb/stlxrh/stlxr/stlxr

Register Naming Conventions

General Purpose Registers

t0-t12 - Temporary registers
cfr - C frame register (x29/fp)
csr0-csr9 - Callee-saved registers
sp - Stack pointer
lr - Link register (return address)

Floating Point Registers

ft0-ft7 - Temporary FP registers
csfr0-csfr7 - Callee-saved FP registers

Vector Registers

v0-v7 - Vector registers
v0_b, v0_h, v0_i, v0_q - Vector with element size interpretation

Notes

Operand Order: Generally follows AT&T syntax for multi-operand instructions: operation source, destination or operation src1, src2, dest for 3-operand forms.
Address Modes:
- [base] - Register indirect
- [base, offset] - Register + immediate offset
- [base, index, scale] - Register + scaled index (BaseIndex)
Immediate Values: Prefixed with # in actual assembly output, but written without prefix in offlineasm source.
Conditional Suffixes:
- eq - Equal
- neq - Not equal
- a - Above (unsigned >)
- aeq - Above or equal (unsigned >=)
- b - Below (unsigned <)
- beq - Below or equal (unsigned <=)
- gt - Greater than (signed >)
- gteq - Greater or equal (signed >=)
- lt - Less than (signed <)
- lteq - Less or equal (signed <=)
- z - Zero
- nz - Not zero
- s - Sign (negative)
- o - Overflow
Floating-Point Comparisons:
- Ordered comparisons (bdeq, bdlt, etc.) - Branch if comparison is true AND neither operand is NaN
- Unordered comparisons (bdequn, bdltun, etc.) - Branch if comparison is true OR either operand is NaN

This reference covers the main MACRO_INSTRUCTIONS used across all platforms. Architecture-specific instructions (X86_INSTRUCTIONS, ARM_INSTRUCTIONS, etc.) are used for platform-specific optimizations and are translated directly to native instructions.

ast-hugger/OfflineasmInstructionReference.md

Offlineasm Reference

Introduction

Naming Conventions

Operand Types

Instruction Categories

Arithmetic & Logical Operations

Branches (Conditional)

Comparisons (Non-branching)

Control Flow

Conversions & Type Operations

Floating-Point Operations

Memory Operations

Misc Operations

Pointer Authentication (ARM64e)

Stack Operations

Instruction Reference (Alphabetically)

absf, absd

addd, addf, addi, addp, addq

andd, andf, andi, andp, andq

baddio

baddis

baddiz

baddinz

baddpo

baddps

baddpz

baddpnz

baddqo

baddqs

baddqz

baddqnz

bbeq

bbneq

bba

bbaeq

bbb

bbbeq

bbgt

bbgteq

bblt

bblteq

bdeq

bdneq

bdgt

bdgteq

bdlt

bdlteq

bdequn

bdnequn

bdgtun

bdgtequn

bdltun

bdltequn

bfeq

bfgt

bflt

bfgtun

bfgtequn

bfltun

bfltequn

bieq

bineq

bia

biaeq

bib

bibeq

bigt

bigteq

bilt

bilteq

bmulio

bmulis

bmuliz

bmulinz

bo

borio

boris

boriz

borinz