Hardcoded addresses

[gmoulk]

In templates.c of executor folder exist the following hardcoded addresses
#define TEMPLATE_ENTER 0x0fff379000000000 #define TEMPLATE_INSERT_TC 0x0fff2f9000000000 #define TEMPLATE_RETURN 0x0fff279000000000 #define TEMPLATE_JUMP_EXCEPTION 0x0fff479000000000
and the same can be seen also in the arm port in the same file
#define TEMPLATE_ENTER 0x00001111 #define TEMPLATE_INSERT_TC 0x00002222 #define TEMPLATE_RETURN 0x00003333
It is not documented where this addresses came from,as a result we cant find the equivalent addresses in a potential port

[OleksiiOleksenko]

Thanks for reporting an issue!

These are opcodes, not addresses. They are used to mark "special" locations in the template, used when the loader loads the tested program into the executor memory (see load_template).

You're right, though, this algorithm is not documented anywhere, so the issue is valid. I'll try to add documentation (I'd also appreciate the corresponding PR if you're up for it)