Next: The error manager
Up: main
Previous: Non-negative numbers
  Contents
The complete list of instructions that are currently defined is:
- Do-nothing instruction:
- NO_OP
- Push instructions:
- PUSH_I
- PUSH_O
- PUSH_R
- PUSH_OFFSET_I
- PUSH_OFFSET_O
- PUSH_OFFSET_R
- PUSH_TUPLE
- PUSH_SET_I
- PUSH_SET_R
- PUSH_SET_O
- PUSH_INT_RNG
- PUSH_REAL_RNG
- PUSH_CLOSURE
- PUSH_NEW_OBJECT
- Subroutine instructions:
- APPLY
- APPLY_HOM_I
- APPLY_HOM_R
- APPLY_HOM_O
- APPLY_IP_HOM_I
- APPLY_IP_HOM_R
- APPLY_IP_HOM_O
- APPLY_COLL_I
- APPLY_COLL_R
- APPLY_COLL_O
- APPLY_COLL_HOM_I
- APPLY_COLL_HOM_R
- APPLY_COLL_HOM_O
- APPLY_IP_COLL_HOM_I
- APPLY_IP_COLL_HOM_R
- APPLY_IP_COLL_HOM_O
- CALL
- END
- RETURN_I
- RETURN_R
- RETURN_O
- NL_RETURN_I
- NL_RETURN_R
- NL_RETURN_O
- Pop instructions:
- POP_I
- POP_O
- POP_R
- Relocatable instructions:
- JUMP
- JUMP_ON_FALSE
- JUMP_ON_TRUE
- Conversion instructions:
- I_TO_O
- I_TO_R
- O_TO_I
- O_TO_R
- R_TO_I
- R_TO_O
- ARRAY_TO_MAP_I
- ARRAY_TO_MAP_R
- ARRAY_TO_MAP_O
- MAP_TO_ARRAY_O
- CHECK_ARRAY_SIZE
- RECONCILE_INDEXABLES
- ARRAY_INITIALIZE
- SHUFFLE_MAP_I
- SHUFFLE_MAP_R
- SHUFFLE_MAP_O
- Assignment instructions:
- SET_GLOBAL
- SET_OFFSET_I
- SET_OFFSET_O
- SET_OFFSET_R
- Tuple component instructions:
- GET_TUPLE_I
- GET_TUPLE_R
- GET_TUPLE_O
- SET_TUPLE_I
- SET_TUPLE_R
- SET_TUPLE_O
- Array/Map allocation instructions:
- PUSH_ARRAY_I
- PUSH_ARRAY_R
- PUSH_ARRAY_O
- PUSH_MAP_I
- PUSH_MAP_R
- PUSH_MAP_O
- MAKE_ARRAY_I
- MAKE_ARRAY_R
- MAKE_ARRAY_O
- MAKE_MAP_I
- MAKE_MAP_R
- MAKE_MAP_O
- FILL_ARRAY_IA
- FILL_ARRAY_IM
- FILL_ARRAY_OA
- FILL_ARRAY_OM
- FILL_ARRAY_RA
- FILL_ARRAY_RM
- FILL_MAP_IA
- FILL_MAP_IM
- FILL_MAP_OA
- FILL_MAP_OM
- FILL_MAP_RA
- FILL_MAP_RM
- Array/Map slot instructions:
- GET_ARRAY_I
- GET_INT_INDEXED_MAP_I
- GET_INT_INDEXED_MAP_O
- GET_INT_INDEXED_MAP_R
- GET_MAP_I
- GET_ARRAY_O
- GET_MAP_O
- GET_ARRAY_R
- GET_MAP_R
- SET_ARRAY_I
- SET_INT_INDEXED_MAP_I
- SET_INT_INDEXED_MAP_O
- SET_INT_INDEXED_MAP_R
- SET_MAP_I
- SET_ARRAY_O
- SET_MAP_O
- SET_ARRAY_R
- SET_MAP_R
- Field instructions:
- GET_FIELD_I
- GET_FIELD_O
- GET_FIELD_R
- SET_FIELD_I
- SET_FIELD_O
- SET_FIELD_R
- Built-in operations:
- Arithmetic operations:
- ADD_II
- ADD_IR
- ADD_RI
- ADD_RR
- SUB_II
- SUB_IR
- SUB_RI
- SUB_RR
- MINUS_I
- MINUS_R
- MUL_II
- MUL_IR
- MUL_RI
- MUL_RR
- DIV_II
- DIV_IR
- DIV_RI
- DIV_RR
- MODULUS
- MIN_II
- MIN_IR
- MIN_RI
- MIN_RR
- MAX_II
- MAX_IR
- MAX_RI
- MAX_RR
- ABS_I_RI
- ABS_R
- SQRT
- POWER
- Arithmetic relations:
- EQU_II
- EQU_OO
- EQU_RR
- NEQ_II
- NEQ_OO
- NEQ_RR
- GTE_II
- GTE_IR
- GTE_RI
- GTE_RR
- GRT_II
- GRT_IR
- GRT_RI
- GRT_RR
- LTE_II
- LTE_IR
- LTE_RI
- LTE_RR
- LST_II
- LST_IR
- LST_RI
- LST_RR
- Boolean operations:
- NOT
- Map and Size operations:
- MAP_SIZE
- ARRAY_SIZE
- INDEXABLE_SIZE
- GET_INDEXABLE
- Container operations:
- BELONGS_I
- BELONGS_O
- BELONGS_R
- Set operations:
- SET_COPY
- MAKE_SET_I
- MAKE_SET_O
- MAKE_SET_R
- SET_DIFF
- SET_SYM_DIFF
- INTER
- UNION
- D_SET_DIFF
- D_SET_SYM_DIFF
- D_INTER
- D_UNION
- Set relations:
- SUBSET
- Set element operations:
- SET_ADD_I
- SET_ADD_R
- SET_ADD_O
- SET_RMV_I
- SET_RMV_R
- SET_RMV_O
- FIRST_I
- FIRST_O
- FIRST_R
- LAST_I
- LAST_O
- LAST_R
- NEXT_I
- NEXT_C_I
- NEXT_O
- NEXT_C_O
- NEXT_R
- NEXT_C_R
- ORD_I
- ORD_O
- ORD_R
- PREV_I
- PREV_C_I
- PREV_O
- PREV_C_O
- PREV_R
- PREV_C_R
- Range operations:
- INT_RNG_UB
- INT_RNG_LB
- REAL_RNG_UB
- REAL_RNG_LB
- String operations:
- STRCON
- I/O operations:
- WRITE_I
- WRITE_O
- WRITE_R
- Dummy instructions:
- DUMMY_EQU
- DUMMY_NEQ
- DUMMY_AND
- DUMMY_OR
- DUMMY_STRCON
- DUMMY_WRITE
- DUMMY_SIZE
- DUMMY_SET_ADD
- DUMMY_SET_RMV
- DUMMY_BELONGS
- DUMMY_ORD
- DUMMY_FIRST
- DUMMY_LAST
- DUMMY_NEXT
- DUMMY_NEXT_C
- DUMMY_PREV
- DUMMY_PREV_C
Next: The error manager
Up: main
Previous: Non-negative numbers
  Contents
Hassan Ait Kaci
2002-05-26