wyil.lang

Interface Bytecode

All Known Subinterfaces:

Bytecode.Expr, Bytecode.Stmt, Bytecode.StmtExpr

All Known Implementing Classes:

Bytecode.AliasDeclaration, Bytecode.Assert, Bytecode.AssertOrAssume, Bytecode.Assign, Bytecode.Assume, Bytecode.Block, Bytecode.Break, Bytecode.Const, Bytecode.Continue, Bytecode.Convert, Bytecode.Debug, Bytecode.DoWhile, Bytecode.Fail, Bytecode.FieldLoad, Bytecode.If, Bytecode.IndirectInvoke, Bytecode.Invoke, Bytecode.Lambda, Bytecode.Loop, Bytecode.NamedBlock, Bytecode.Operator, Bytecode.Quantifier, Bytecode.Return, Bytecode.Skip, Bytecode.Switch, Bytecode.VariableAccess, Bytecode.VariableDeclaration, Bytecode.While

public interface Bytecode

Each bytecode has a binary format which identifies the opcode, operand registers, operand groups, blocks and other items used (e.g. names, constants, etc). The generic organisation of a bytecode is as follows:

 +--------+----------+----------------+--------+-------------+
 | opcode | operands | operand groups | blocks | other items |
 +--------+----------+----------------+--------+-------------+
 

The opcode is currently always 1 byte, whilst the remainder varies between instructions. The opcode itself splits into two components:

  7   6 5         0
 +-----+-----------+
 | fmt | operation |
 +-----+-----------+
 

Here, operation identifies the bytecode operation (e.g. add, invoke, etc), whilst fmt identifies the bytecode format.

Author:

David J. Pearce

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	Bytecode.AliasDeclaration An alias declaration bytecode has the following form:
static class	Bytecode.Assert An assert bytecode has the following layout:
static class	Bytecode.AssertOrAssume An abstract class representing either an assert or assume bytecode.
static class	Bytecode.Assign An assignment bytecode has the following layout:
static class	Bytecode.Assume An assume bytecode has the following layout:
static class	Bytecode.Block
static class	Bytecode.Blocks
static class	Bytecode.Break A break bytecode has the following layout:
static class	Bytecode.Case
static class	Bytecode.Const A constant bytecode has the following layout:
static class	Bytecode.Continue A continue bytecode has the following layout:
static class	Bytecode.Convert A convert bytecode has the following layout:
static class	Bytecode.Debug A debug bytecode has the following layout:
static class	Bytecode.DoWhile A Do While bytecode has the same format as the underlying loop bytecode.
static interface	Bytecode.Expr Represents the class of bytecodes which correspond to expressions in the source language.
static class	Bytecode.Extras
static class	Bytecode.Fail A panic bytecode has the following layout:
static class	Bytecode.FieldLoad A field load bytecode has the following layout:
static class	Bytecode.If An if bytecode has one of the the following layouts:
static class	Bytecode.Index Represents a bytecode location within a code forest.
static class	Bytecode.IndirectInvoke An indirect invocation bytecode has the following layout:
static class	Bytecode.Invoke An indirect invocation bytecode has the following layout:
static class	Bytecode.Lambda A lambda bytecode has the following layout:
static class	Bytecode.Loop A loop bytecode has the following layout:
static class	Bytecode.NamedBlock
static class	Bytecode.OperandGroups
static class	Bytecode.Operands
static class	Bytecode.Operator An operator bytecode has the following layout:
static class	Bytecode.OperatorKind Represents the set of valid operators (e.g.
static class	Bytecode.Quantifier A quantifier bytecode has the following layout:
static class	Bytecode.QuantifierKind
static class	Bytecode.Range
static class	Bytecode.Return A return bytecode has the following layout:
static class	Bytecode.Schema
static class	Bytecode.Skip A skip bytecode has the following layout:
static interface	Bytecode.Stmt A statement bytecode represents a bytecode that contains a sequence of zero or more bytecodes.
static interface	Bytecode.StmtExpr A "statement expression" is a rather unusual beast.
static class	Bytecode.Switch A switch bytecode has the following layout:
static class	Bytecode.Util
static class	Bytecode.VariableAccess A variable access bytecode represents a specific read of a given variable.
static class	Bytecode.VariableDeclaration A variable declaration bytecode has one of the following two layouts:
static class	Bytecode.While A While bytecode has the same format as the underlying loop bytecode.

Field Summary

Fields

Modifier and Type	Field and Description
static int	BINARY_ASSIGNABLE
static int	BINARY_OPERATOR
static int	NARY_ASSIGNABLE
static int	OPCODE_add
static int	OPCODE_aliasdecl
static int	OPCODE_all
static int	OPCODE_array
static int	OPCODE_arraygen
static int	OPCODE_arrayindex
static int	OPCODE_arraylength
static int	OPCODE_assert
static int	OPCODE_assign
static int	OPCODE_assume
static int	OPCODE_bitwiseand
static int	OPCODE_bitwiseinvert
static int	OPCODE_bitwiseor
static int	OPCODE_bitwisexor
static int	OPCODE_block
static int	OPCODE_break
static int	OPCODE_const
static int	OPCODE_continue
static int	OPCODE_convert
static int	OPCODE_debug
static int	OPCODE_dereference
static int	OPCODE_div
static int	OPCODE_dowhile
static int	OPCODE_eq
static int	OPCODE_fail
static int	OPCODE_fieldload
static int	OPCODE_ge
static int	OPCODE_gt
static int	OPCODE_if
static int	OPCODE_ifelse
static int	OPCODE_ifis
static int	OPCODE_indirectinvoke
static int	OPCODE_invoke
static int	OPCODE_is
static int	OPCODE_lambda
static int	OPCODE_le
static int	OPCODE_logicaland
static int	OPCODE_logicalnot
static int	OPCODE_logicalor
static int	OPCODE_lt
static int	OPCODE_mul
static int	OPCODE_namedblock
static int	OPCODE_ne
static int	OPCODE_neg
static int	OPCODE_newobject
static int	OPCODE_record
static int	OPCODE_rem
static int	OPCODE_return
static int	OPCODE_shl
static int	OPCODE_shr
static int	OPCODE_skip
static int	OPCODE_some
static int	OPCODE_sub
static int	OPCODE_switch
static int	OPCODE_varcopy
static int	OPCODE_vardecl
static int	OPCODE_vardeclinit
static int	OPCODE_varmove
static int	OPCODE_while
static int	UNARY_ASSIGNABLE
static int	UNARY_OPERATOR

Method Summary

Modifier and Type	Method and Description
int	getOpcode() Return the opcode value of this bytecode.
int	getOperand(int i) Return the ith top-level operand in this bytecode.
int[]	getOperandGroup(int i) Get the ith operand group in this bytecode
int[]	getOperands() Return the top-level operands in this bytecode.
int	numberOfOperandGroups() Get the number of operand groups in this bytecode
int	numberOfOperands() Get the number of operands in this bytecode

Field Detail

OPCODE_vardecl

static final int OPCODE_vardecl

See Also:

Constant Field Values

OPCODE_fail

static final int OPCODE_fail

See Also:

Constant Field Values

OPCODE_assert

static final int OPCODE_assert

See Also:

Constant Field Values

OPCODE_assume

static final int OPCODE_assume

See Also:

Constant Field Values

OPCODE_break

static final int OPCODE_break

See Also:

Constant Field Values

OPCODE_continue

static final int OPCODE_continue

See Also:

Constant Field Values

OPCODE_vardeclinit

static final int OPCODE_vardeclinit

See Also:

Constant Field Values

OPCODE_aliasdecl

static final int OPCODE_aliasdecl

See Also:

Constant Field Values

UNARY_OPERATOR

static final int UNARY_OPERATOR

See Also:

Constant Field Values

OPCODE_return

static final int OPCODE_return

See Also:

Constant Field Values

OPCODE_ifis

static final int OPCODE_ifis

See Also:

Constant Field Values

OPCODE_switch

static final int OPCODE_switch

See Also:

Constant Field Values

OPCODE_skip

static final int OPCODE_skip

See Also:

Constant Field Values

OPCODE_debug

static final int OPCODE_debug

See Also:

Constant Field Values

UNARY_ASSIGNABLE

static final int UNARY_ASSIGNABLE

See Also:

Constant Field Values

OPCODE_fieldload

static final int OPCODE_fieldload

See Also:

Constant Field Values

OPCODE_convert

static final int OPCODE_convert

See Also:

Constant Field Values

OPCODE_const

static final int OPCODE_const

See Also:

Constant Field Values

BINARY_OPERATOR

static final int BINARY_OPERATOR

See Also:

Constant Field Values

OPCODE_if

static final int OPCODE_if

See Also:

Constant Field Values

OPCODE_ifelse

static final int OPCODE_ifelse

See Also:

Constant Field Values

BINARY_ASSIGNABLE

static final int BINARY_ASSIGNABLE

See Also:

Constant Field Values

OPCODE_neg

static final int OPCODE_neg

See Also:

Constant Field Values

OPCODE_add

static final int OPCODE_add

See Also:

Constant Field Values

OPCODE_sub

static final int OPCODE_sub

See Also:

Constant Field Values

OPCODE_mul

static final int OPCODE_mul

See Also:

Constant Field Values

OPCODE_div

static final int OPCODE_div

See Also:

Constant Field Values

OPCODE_rem

static final int OPCODE_rem

See Also:

Constant Field Values

OPCODE_eq

static final int OPCODE_eq

See Also:

Constant Field Values

OPCODE_ne

static final int OPCODE_ne

See Also:

Constant Field Values

OPCODE_lt

static final int OPCODE_lt

See Also:

Constant Field Values

OPCODE_le

static final int OPCODE_le

See Also:

Constant Field Values

OPCODE_gt

static final int OPCODE_gt

See Also:

Constant Field Values

OPCODE_ge

static final int OPCODE_ge

See Also:

Constant Field Values

OPCODE_logicalnot

static final int OPCODE_logicalnot

See Also:

Constant Field Values

OPCODE_logicaland

static final int OPCODE_logicaland

See Also:

Constant Field Values

OPCODE_logicalor

static final int OPCODE_logicalor

See Also:

Constant Field Values

OPCODE_bitwiseinvert

static final int OPCODE_bitwiseinvert

See Also:

Constant Field Values

OPCODE_bitwiseor

static final int OPCODE_bitwiseor

See Also:

Constant Field Values

OPCODE_bitwisexor

static final int OPCODE_bitwisexor

See Also:

Constant Field Values

OPCODE_bitwiseand

static final int OPCODE_bitwiseand

See Also:

Constant Field Values

OPCODE_shl

static final int OPCODE_shl

See Also:

Constant Field Values

OPCODE_shr

static final int OPCODE_shr

See Also:

Constant Field Values

OPCODE_arraylength

static final int OPCODE_arraylength

See Also:

Constant Field Values

OPCODE_arrayindex

static final int OPCODE_arrayindex

See Also:

Constant Field Values

OPCODE_arraygen

static final int OPCODE_arraygen

See Also:

Constant Field Values

OPCODE_array

static final int OPCODE_array

See Also:

Constant Field Values

OPCODE_record

static final int OPCODE_record

See Also:

Constant Field Values

OPCODE_is

static final int OPCODE_is

See Also:

Constant Field Values

OPCODE_dereference

static final int OPCODE_dereference

See Also:

Constant Field Values

OPCODE_newobject

static final int OPCODE_newobject

See Also:

Constant Field Values

OPCODE_varcopy

static final int OPCODE_varcopy

See Also:

Constant Field Values

OPCODE_varmove

static final int OPCODE_varmove

See Also:

Constant Field Values

NARY_ASSIGNABLE

static final int NARY_ASSIGNABLE

See Also:

Constant Field Values

OPCODE_invoke

static final int OPCODE_invoke

See Also:

Constant Field Values

OPCODE_indirectinvoke

static final int OPCODE_indirectinvoke

See Also:

Constant Field Values

OPCODE_lambda

static final int OPCODE_lambda

See Also:

Constant Field Values

OPCODE_while

static final int OPCODE_while

See Also:

Constant Field Values

OPCODE_dowhile

static final int OPCODE_dowhile

See Also:

Constant Field Values

OPCODE_some

static final int OPCODE_some

See Also:

Constant Field Values

OPCODE_all

static final int OPCODE_all

See Also:

Constant Field Values

OPCODE_assign

static final int OPCODE_assign

See Also:

Constant Field Values

OPCODE_block

static final int OPCODE_block

See Also:

Constant Field Values

OPCODE_namedblock

static final int OPCODE_namedblock

See Also:

Constant Field Values

Method Detail

getOperands

int[] getOperands()

Return the top-level operands in this bytecode.

Returns:

numberOfOperands

int numberOfOperands()

Get the number of operands in this bytecode

Returns:

getOperand

int getOperand(int i)

Return the ith top-level operand in this bytecode.

Parameters:

i -

Returns:

numberOfOperandGroups

int numberOfOperandGroups()

Get the number of operand groups in this bytecode

Returns:

getOperandGroup

int[] getOperandGroup(int i)

Get the ith operand group in this bytecode

Parameters:

i -

Returns:

getOpcode

int getOpcode()

Return the opcode value of this bytecode.

Returns: