Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Define sets of opcodes per versions of OTP compiler #794

Merged
merged 1 commit into from
Oct 16, 2023
Merged

Define sets of opcodes per versions of OTP compiler #794

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
52 changes: 38 additions & 14 deletions src/libAtomVM/opcodesswitch.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -41,12 +41,10 @@
#include "stacktrace.h"
#endif

#define ENABLE_OTP21
#define ENABLE_OTP22
#define ENABLE_OTP23
#define ENABLE_OTP24
#define ENABLE_OTP25
#define ENABLE_OTP26
// These constants can be used to reduce the size of the VM for a specific
// range of compiler versions
#define MINIMUM_OTP_COMPILER_VERSION 21
#define MAXIMUM_OTP_COMPILER_VERSION 26

//#define ENABLE_TRACE

Expand Down Expand Up @@ -2086,6 +2084,7 @@ HOT_FUNC int scheduler_entry_point(GlobalContext *glb)
break;
}

#if MINIMUM_OTP_COMPILER_VERSION <= 23
case OP_ALLOCATE_HEAP_ZERO: {
uint32_t stack_need;
DECODE_LITERAL(stack_need, pc);
Expand Down Expand Up @@ -2121,6 +2120,7 @@ HOT_FUNC int scheduler_entry_point(GlobalContext *glb)
#endif
break;
}
#endif

case OP_TEST_HEAP: {
uint32_t heap_need;
Expand Down Expand Up @@ -3072,6 +3072,7 @@ HOT_FUNC int scheduler_entry_point(GlobalContext *glb)
break;
}

#if MINIMUM_OTP_COMPILER_VERSION <= 25
case OP_SET_TUPLE_ELEMENT: {
term new_element;
DECODE_COMPACT_TERM(new_element, pc);
Expand All @@ -3097,6 +3098,7 @@ HOT_FUNC int scheduler_entry_point(GlobalContext *glb)
#endif
break;
}
#endif

case OP_PUT_LIST: {

Expand Down Expand Up @@ -3126,6 +3128,7 @@ HOT_FUNC int scheduler_entry_point(GlobalContext *glb)
break;
}

#if MINIMUM_OTP_COMPILER_VERSION <= 21
case OP_PUT_TUPLE: {
uint32_t size;
DECODE_LITERAL(size, pc);
Expand Down Expand Up @@ -3163,6 +3166,7 @@ HOT_FUNC int scheduler_entry_point(GlobalContext *glb)
}
break;
}
#endif

case OP_BADMATCH: {
#ifdef IMPL_EXECUTE_LOOP
Expand Down Expand Up @@ -3572,6 +3576,7 @@ HOT_FUNC int scheduler_entry_point(GlobalContext *glb)
break;
}

#if MINIMUM_OTP_COMPILER_VERSION <= 24
case OP_BS_INIT2: {
uint32_t fail;
DECODE_LABEL(fail, pc)
Expand Down Expand Up @@ -3719,6 +3724,7 @@ HOT_FUNC int scheduler_entry_point(GlobalContext *glb)
#endif
break;
}
#endif

case OP_BS_GET_UTF8: {
uint32_t fail;
Expand Down Expand Up @@ -3795,7 +3801,8 @@ HOT_FUNC int scheduler_entry_point(GlobalContext *glb)
break;
}

case OP_BS_UTF16_SIZE: {
#if MINIMUM_OTP_COMPILER_VERSION <= 24
case OP_BS_UTF16_SIZE: {
uint32_t fail;
DECODE_LABEL(fail, pc)
term src;
Expand Down Expand Up @@ -3854,6 +3861,7 @@ HOT_FUNC int scheduler_entry_point(GlobalContext *glb)
#endif
break;
}
#endif

case OP_BS_GET_UTF16: {
uint32_t fail;
Expand Down Expand Up @@ -3930,6 +3938,7 @@ HOT_FUNC int scheduler_entry_point(GlobalContext *glb)
break;
}

#if MINIMUM_OTP_COMPILER_VERSION <= 24
case OP_BS_PUT_UTF32: {
uint32_t fail;
DECODE_LABEL(fail, pc)
Expand Down Expand Up @@ -3965,6 +3974,7 @@ HOT_FUNC int scheduler_entry_point(GlobalContext *glb)
#endif
break;
}
#endif

case OP_BS_GET_UTF32: {
uint32_t fail;
Expand Down Expand Up @@ -4056,6 +4066,7 @@ HOT_FUNC int scheduler_entry_point(GlobalContext *glb)
break;
}

#if MINIMUM_OTP_COMPILER_VERSION <= 24
case OP_BS_APPEND: {
uint32_t fail;
DECODE_LABEL(fail, pc)
Expand Down Expand Up @@ -4301,7 +4312,9 @@ HOT_FUNC int scheduler_entry_point(GlobalContext *glb)
#endif
break;
}
#endif

#if MINIMUM_OTP_COMPILER_VERSION <= 21
case OP_BS_START_MATCH2: {
uint32_t fail;
DECODE_LABEL(fail, pc)
Expand Down Expand Up @@ -4345,7 +4358,9 @@ HOT_FUNC int scheduler_entry_point(GlobalContext *glb)
#endif
break;
}
#endif

#if MAXIMUM_OTP_COMPILER_VERSION >= 22
case OP_BS_START_MATCH3: {
// MEMORY_CAN_SHRINK because bs_start_match is classified as gc in beam_ssa_codegen.erl
#ifdef IMPL_EXECUTE_LOOP
Expand Down Expand Up @@ -4477,7 +4492,9 @@ HOT_FUNC int scheduler_entry_point(GlobalContext *glb)
#endif
break;
}
#endif

#if MINIMUM_OTP_COMPILER_VERSION <= 25
case OP_BS_MATCH_STRING: {
uint32_t fail;
DECODE_LABEL(fail, pc)
Expand Down Expand Up @@ -4526,7 +4543,9 @@ HOT_FUNC int scheduler_entry_point(GlobalContext *glb)
#endif
break;
}
#endif

#if MINIMUM_OTP_COMPILER_VERSION <= 21
case OP_BS_SAVE2: {
term src;
DECODE_COMPACT_TERM(src, pc);
Expand Down Expand Up @@ -4583,6 +4602,7 @@ HOT_FUNC int scheduler_entry_point(GlobalContext *glb)
#endif
break;
}
#endif

case OP_BS_SKIP_BITS2: {
uint32_t fail;
Expand Down Expand Up @@ -4625,6 +4645,7 @@ HOT_FUNC int scheduler_entry_point(GlobalContext *glb)
break;
}

#if MINIMUM_OTP_COMPILER_VERSION <= 24
case OP_BS_TEST_UNIT: {
uint32_t fail;
DECODE_LABEL(fail, pc)
Expand Down Expand Up @@ -4678,6 +4699,7 @@ HOT_FUNC int scheduler_entry_point(GlobalContext *glb)
#endif
break;
}
#endif

case OP_BS_GET_INTEGER2: {
uint32_t fail;
Expand Down Expand Up @@ -5198,6 +5220,7 @@ HOT_FUNC int scheduler_entry_point(GlobalContext *glb)
break;
}

#if MINIMUM_OTP_COMPILER_VERSION <= 23
//TODO: stub, implement recv_mark/1
//it looks like it can be safely left unimplemented
case OP_RECV_MARK: {
Expand All @@ -5219,6 +5242,7 @@ HOT_FUNC int scheduler_entry_point(GlobalContext *glb)
USED_BY_TRACE(label);
break;
}
#endif

case OP_LINE: {
#ifdef IMPL_CODE_LOADER
Expand Down Expand Up @@ -5559,6 +5583,7 @@ HOT_FUNC int scheduler_entry_point(GlobalContext *glb)
break;
}

#if MINIMUM_OTP_COMPILER_VERSION <= 23
case OP_FCLEARERROR: {
// This can be a noop as we raise from bifs
TRACE("fclearerror/0\n");
Expand All @@ -5571,6 +5596,7 @@ HOT_FUNC int scheduler_entry_point(GlobalContext *glb)
DECODE_LABEL(fail_label, pc);
break;
}
#endif

case OP_FMOVE: {
if (IS_EXTENDED_FP_REGISTER(pc)) {
Expand Down Expand Up @@ -5809,7 +5835,6 @@ HOT_FUNC int scheduler_entry_point(GlobalContext *glb)
break;
}

#ifdef ENABLE_OTP21
case OP_GET_HD: {
term src_value;
DECODE_COMPACT_TERM(src_value, pc)
Expand Down Expand Up @@ -5851,9 +5876,8 @@ HOT_FUNC int scheduler_entry_point(GlobalContext *glb)
#endif
break;
}
#endif

#ifdef ENABLE_OTP22
#if MAXIMUM_OTP_COMPILER_VERSION >= 22
case OP_PUT_TUPLE2: {
dreg_gc_safe_t dreg;
DECODE_DEST_REGISTER_GC_SAFE(dreg, pc);
Expand Down Expand Up @@ -5892,7 +5916,7 @@ HOT_FUNC int scheduler_entry_point(GlobalContext *glb)
}
#endif

#ifdef ENABLE_OTP23
#if MAXIMUM_OTP_COMPILER_VERSION >= 23
case OP_SWAP: {
dreg_t reg_a;
DECODE_DEST_REGISTER(reg_a, pc);
Expand Down Expand Up @@ -5950,7 +5974,7 @@ HOT_FUNC int scheduler_entry_point(GlobalContext *glb)
}
#endif

#ifdef ENABLE_OTP24
#if MAXIMUM_OTP_COMPILER_VERSION >= 24
case OP_MAKE_FUN3: {
uint32_t fun_index;
DECODE_LITERAL(fun_index, pc);
Expand Down Expand Up @@ -6034,7 +6058,7 @@ HOT_FUNC int scheduler_entry_point(GlobalContext *glb)
}
#endif

#ifdef ENABLE_OTP25
#if MAXIMUM_OTP_COMPILER_VERSION >= 25
case OP_BS_CREATE_BIN: {
uint32_t fail;
DECODE_LABEL(fail, pc);
Expand Down Expand Up @@ -6352,7 +6376,7 @@ HOT_FUNC int scheduler_entry_point(GlobalContext *glb)
}
#endif

#ifdef ENABLE_OTP26
#if MAXIMUM_OTP_COMPILER_VERSION >= 26
case OP_UPDATE_RECORD: {
#ifdef IMPL_CODE_LOADER
TRACE("update_record/5\n");
Expand Down
Loading