gambas-source-code/main/share/gb_code_temp.h

1310 lines
20 KiB
C
Raw Normal View History

/***************************************************************************
code_t.h
P-code assembler
(c) 2000-2007 Benoit Minisini <gambas@users.sourceforge.net>
This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 1, or (at your option)
any later version.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with this program; if not, write to the Free Software
Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
***************************************************************************/
//#define DEBUG
#define write_Zxxx(code, val) write_short(code | ((short)val & 0x0FFF))
#define write_Z8xx(code, val) write_short(code | ((short)val & 0x07FF))
#define write_ZZxx(code, val) write_short(code | ((short)val & 0x00FF))
#define LAST_CODE start_code()
short CODE_stack_usage;
short CODE_stack;
static bool _ignore_next_stack_usage = FALSE;
#ifdef PROJECT_EXEC
#define cur_func EVAL
#else
static FUNCTION *cur_func = NULL;
static int last_line = 0;
#endif
static void start_code(void)
{
#ifndef PROJECT_EXEC
if (JOB->debug && !JOB->nobreak)
CODE_break();
#endif
cur_func->last_code2 = cur_func->last_code;
cur_func->last_code = cur_func->ncode;
}
static void write_short(short value)
{
[DEVELOPMENT ENVIRONMENT] * BUG: Use TextEdit.RichText insted of TextEdit.Text. * BUG: END SUB can be the end of a method. The class analyze now takes   that into account. [HELP] * BUG: Fixed the generated treeview. [COMPILER] * OPT: The NOT operator used just at the beginning of a conditional expression is optimized. Consequently, an expression like 'IF NOT 2' is now equivalent to 'IF 2 = 0' and not to 'IF (NOT 2) <> 0' as before. In other words, the boolean conversion is now done before the NOT, and not after. The following instructions are concerned: IF, WHILE, UNTIL. * NEW: BYREF is new keyword that is a more readable synonymous of '@'. [GB.DB.FORM] * BUG: Correctly manage data controls inside TabStrip-like containers. * BUG: Setting the focus on a non-initialized DataControl does not raise an error anymore. [GB.GTK] * BUG: HSplitter.Layout and VSplitter.Layout now work correctly. It is a list of children widths, hidden children having a zero width. * BUG: Window arrangement is done before the Open event is raised, as in gb.qt. * BUG: Keyboard, focus and mouse events now work correctly on Window and DrawingArea controls. [GB.QT] * BUG: HSplitter.Layout and VSplitter.Layout now work correctly. It is a list of children widths, hidden children having a zero width. * BUG: Many warning fixes. * BUG: Now the Control.Visible property works like in gb.gtk, i.e. it returns if the control was not explicitely hidden. git-svn-id: svn://localhost/gambas/trunk@1060 867c0c6c-44f3-4631-809d-bfa615b0a4ec
2008-02-06 01:25:48 +01:00
//if (!(cur_func->ncode & (CODE_INSTR_INC - 1)))
if (cur_func->ncode >= cur_func->ncode_max)
{
[DEVELOPMENT ENVIRONMENT] * BUG: Use TextEdit.RichText insted of TextEdit.Text. * BUG: END SUB can be the end of a method. The class analyze now takes   that into account. [HELP] * BUG: Fixed the generated treeview. [COMPILER] * OPT: The NOT operator used just at the beginning of a conditional expression is optimized. Consequently, an expression like 'IF NOT 2' is now equivalent to 'IF 2 = 0' and not to 'IF (NOT 2) <> 0' as before. In other words, the boolean conversion is now done before the NOT, and not after. The following instructions are concerned: IF, WHILE, UNTIL. * NEW: BYREF is new keyword that is a more readable synonymous of '@'. [GB.DB.FORM] * BUG: Correctly manage data controls inside TabStrip-like containers. * BUG: Setting the focus on a non-initialized DataControl does not raise an error anymore. [GB.GTK] * BUG: HSplitter.Layout and VSplitter.Layout now work correctly. It is a list of children widths, hidden children having a zero width. * BUG: Window arrangement is done before the Open event is raised, as in gb.qt. * BUG: Keyboard, focus and mouse events now work correctly on Window and DrawingArea controls. [GB.QT] * BUG: HSplitter.Layout and VSplitter.Layout now work correctly. It is a list of children widths, hidden children having a zero width. * BUG: Many warning fixes. * BUG: Now the Control.Visible property works like in gb.gtk, i.e. it returns if the control was not explicitely hidden. git-svn-id: svn://localhost/gambas/trunk@1060 867c0c6c-44f3-4631-809d-bfa615b0a4ec
2008-02-06 01:25:48 +01:00
cur_func->ncode_max += CODE_INSTR_INC;
if (!cur_func->code)
ALLOC(&cur_func->code, sizeof(short) * CODE_INSTR_INC, "write_short");
else
[DEVELOPMENT ENVIRONMENT] * BUG: Use TextEdit.RichText insted of TextEdit.Text. * BUG: END SUB can be the end of a method. The class analyze now takes   that into account. [HELP] * BUG: Fixed the generated treeview. [COMPILER] * OPT: The NOT operator used just at the beginning of a conditional expression is optimized. Consequently, an expression like 'IF NOT 2' is now equivalent to 'IF 2 = 0' and not to 'IF (NOT 2) <> 0' as before. In other words, the boolean conversion is now done before the NOT, and not after. The following instructions are concerned: IF, WHILE, UNTIL. * NEW: BYREF is new keyword that is a more readable synonymous of '@'. [GB.DB.FORM] * BUG: Correctly manage data controls inside TabStrip-like containers. * BUG: Setting the focus on a non-initialized DataControl does not raise an error anymore. [GB.GTK] * BUG: HSplitter.Layout and VSplitter.Layout now work correctly. It is a list of children widths, hidden children having a zero width. * BUG: Window arrangement is done before the Open event is raised, as in gb.qt. * BUG: Keyboard, focus and mouse events now work correctly on Window and DrawingArea controls. [GB.QT] * BUG: HSplitter.Layout and VSplitter.Layout now work correctly. It is a list of children widths, hidden children having a zero width. * BUG: Many warning fixes. * BUG: Now the Control.Visible property works like in gb.gtk, i.e. it returns if the control was not explicitely hidden. git-svn-id: svn://localhost/gambas/trunk@1060 867c0c6c-44f3-4631-809d-bfa615b0a4ec
2008-02-06 01:25:48 +01:00
REALLOC(&cur_func->code, sizeof(short) * cur_func->ncode_max, "write_short");
}
cur_func->code[cur_func->ncode] = value;
cur_func->ncode++;
}
static void write_int(int value)
{
write_short(value & 0xFFFF);
write_short((unsigned int)value >> 16);
}
/*static void remove_last(void)
{
ARRAY_remove_last(&cur_func->code);
cur_func->last_code = ARRAY_count(cur_func->code);
}*/
static void use_stack(int use)
{
if (_ignore_next_stack_usage)
{
_ignore_next_stack_usage = FALSE;
return;
}
CODE_stack += use;
CODE_stack_usage = Max(CODE_stack_usage, CODE_stack);
#ifdef DEBUG
printf("%04ld: %d\n", cur_func->ncode, CODE_stack);
#endif
}
static void CODE_undo()
{
cur_func->ncode = cur_func->last_code;
cur_func->last_code = cur_func->last_code2;
cur_func->last_code2 = (-1);
}
int CODE_get_current_pos(void)
{
return cur_func->ncode;
}
void CODE_ignore_next_stack_usage(void)
{
_ignore_next_stack_usage = TRUE;
}
#ifdef PROJECT_EXEC
void CODE_begin_function()
{
CODE_stack = 0;
CODE_stack_usage = 0;
}
void CODE_end_function()
{
if (CODE_stack)
THROW("Internal compiler error: Bad stack usage computed!");
}
#else
void CODE_begin_function(FUNCTION *func)
{
cur_func = func;
CODE_stack = 0;
CODE_stack_usage = 0;
if (func->start == NULL)
last_line = (-1);
else
last_line = 0;
}
void CODE_end_function(FUNCTION *func)
{
if (CODE_stack)
THROW("Internal compiler error: Bad stack usage computed!");
}
#endif
static ushort *get_last_code()
{
if (cur_func->last_code < 0)
return NULL;
return &cur_func->code[cur_func->last_code];
}
static ushort *get_last_code2()
{
if (cur_func->last_code2 < 0)
return NULL;
return &cur_func->code[cur_func->last_code2];
}
[DEVELOPMENT ENVIRONMENT] * BUG: Use TextEdit.RichText insted of TextEdit.Text. * BUG: END SUB can be the end of a method. The class analyze now takes   that into account. [HELP] * BUG: Fixed the generated treeview. [COMPILER] * OPT: The NOT operator used just at the beginning of a conditional expression is optimized. Consequently, an expression like 'IF NOT 2' is now equivalent to 'IF 2 = 0' and not to 'IF (NOT 2) <> 0' as before. In other words, the boolean conversion is now done before the NOT, and not after. The following instructions are concerned: IF, WHILE, UNTIL. * NEW: BYREF is new keyword that is a more readable synonymous of '@'. [GB.DB.FORM] * BUG: Correctly manage data controls inside TabStrip-like containers. * BUG: Setting the focus on a non-initialized DataControl does not raise an error anymore. [GB.GTK] * BUG: HSplitter.Layout and VSplitter.Layout now work correctly. It is a list of children widths, hidden children having a zero width. * BUG: Window arrangement is done before the Open event is raised, as in gb.qt. * BUG: Keyboard, focus and mouse events now work correctly on Window and DrawingArea controls. [GB.QT] * BUG: HSplitter.Layout and VSplitter.Layout now work correctly. It is a list of children widths, hidden children having a zero width. * BUG: Many warning fixes. * BUG: Now the Control.Visible property works like in gb.gtk, i.e. it returns if the control was not explicitely hidden. git-svn-id: svn://localhost/gambas/trunk@1060 867c0c6c-44f3-4631-809d-bfa615b0a4ec
2008-02-06 01:25:48 +01:00
bool CODE_popify_last(void)
{
/*
#ifdef DEBUG
printf("CODE_is_last_popable ? ");
if (!last_code) printf("FALSE, last_code = NULL");
else printf("0x%04hX", *last_code);
printf("\n");
#endif
*/
unsigned short *last_code, op;
last_code = get_last_code();
if (!last_code)
return FALSE;
op = *last_code & 0xFF00;
if ((op >= C_PUSH_LOCAL) && (op <= C_PUSH_UNKNOWN))
{
*last_code += 0x0800;
use_stack(-2);
#ifdef DEBUG
printf("Popify Last\n");
#endif
return TRUE;
}
if ((op & 0xF000) == C_PUSH_DYNAMIC)
{
*last_code += 0x1000;
use_stack(-2);
#ifdef DEBUG
printf("Popify Last\n");
#endif
return TRUE;
}
/*
if (op == C_CALL)
{
*last_code = C_CALL_POP | (*last_code & 0xFF);
return TRUE;
}
*/
return FALSE;
}
#ifdef PROJECT_COMP
[DEVELOPMENT ENVIRONMENT] * BUG: Use TextEdit.RichText insted of TextEdit.Text. * BUG: END SUB can be the end of a method. The class analyze now takes   that into account. [HELP] * BUG: Fixed the generated treeview. [COMPILER] * OPT: The NOT operator used just at the beginning of a conditional expression is optimized. Consequently, an expression like 'IF NOT 2' is now equivalent to 'IF 2 = 0' and not to 'IF (NOT 2) <> 0' as before. In other words, the boolean conversion is now done before the NOT, and not after. The following instructions are concerned: IF, WHILE, UNTIL. * NEW: BYREF is new keyword that is a more readable synonymous of '@'. [GB.DB.FORM] * BUG: Correctly manage data controls inside TabStrip-like containers. * BUG: Setting the focus on a non-initialized DataControl does not raise an error anymore. [GB.GTK] * BUG: HSplitter.Layout and VSplitter.Layout now work correctly. It is a list of children widths, hidden children having a zero width. * BUG: Window arrangement is done before the Open event is raised, as in gb.qt. * BUG: Keyboard, focus and mouse events now work correctly on Window and DrawingArea controls. [GB.QT] * BUG: HSplitter.Layout and VSplitter.Layout now work correctly. It is a list of children widths, hidden children having a zero width. * BUG: Many warning fixes. * BUG: Now the Control.Visible property works like in gb.gtk, i.e. it returns if the control was not explicitely hidden. git-svn-id: svn://localhost/gambas/trunk@1060 867c0c6c-44f3-4631-809d-bfa615b0a4ec
2008-02-06 01:25:48 +01:00
bool CODE_check_statement_last(void)
{
unsigned short op;
PCODE *last_code;
last_code = get_last_code();
if (!last_code)
return FALSE;
op = *last_code & 0xFF00;
if (op == C_CALL)
return TRUE;
op >>= 8;
if (op >= CODE_FIRST_SUBR && op <= CODE_LAST_SUBR)
return TRUE;
return FALSE;
}
[DEVELOPMENT ENVIRONMENT] * BUG: Use TextEdit.RichText insted of TextEdit.Text. * BUG: END SUB can be the end of a method. The class analyze now takes   that into account. [HELP] * BUG: Fixed the generated treeview. [COMPILER] * OPT: The NOT operator used just at the beginning of a conditional expression is optimized. Consequently, an expression like 'IF NOT 2' is now equivalent to 'IF 2 = 0' and not to 'IF (NOT 2) <> 0' as before. In other words, the boolean conversion is now done before the NOT, and not after. The following instructions are concerned: IF, WHILE, UNTIL. * NEW: BYREF is new keyword that is a more readable synonymous of '@'. [GB.DB.FORM] * BUG: Correctly manage data controls inside TabStrip-like containers. * BUG: Setting the focus on a non-initialized DataControl does not raise an error anymore. [GB.GTK] * BUG: HSplitter.Layout and VSplitter.Layout now work correctly. It is a list of children widths, hidden children having a zero width. * BUG: Window arrangement is done before the Open event is raised, as in gb.qt. * BUG: Keyboard, focus and mouse events now work correctly on Window and DrawingArea controls. [GB.QT] * BUG: HSplitter.Layout and VSplitter.Layout now work correctly. It is a list of children widths, hidden children having a zero width. * BUG: Many warning fixes. * BUG: Now the Control.Visible property works like in gb.gtk, i.e. it returns if the control was not explicitely hidden. git-svn-id: svn://localhost/gambas/trunk@1060 867c0c6c-44f3-4631-809d-bfa615b0a4ec
2008-02-06 01:25:48 +01:00
bool CODE_check_pop_local_last(short *local)
{
PCODE *last_code;
last_code = get_last_code();
if (!last_code)
return FALSE;
if ((*last_code & 0xFF00) == C_POP_LOCAL)
{
*local = *last_code & 0xFF;
return TRUE;
}
return FALSE;
}
[DEVELOPMENT ENVIRONMENT] * BUG: Use TextEdit.RichText insted of TextEdit.Text. * BUG: END SUB can be the end of a method. The class analyze now takes   that into account. [HELP] * BUG: Fixed the generated treeview. [COMPILER] * OPT: The NOT operator used just at the beginning of a conditional expression is optimized. Consequently, an expression like 'IF NOT 2' is now equivalent to 'IF 2 = 0' and not to 'IF (NOT 2) <> 0' as before. In other words, the boolean conversion is now done before the NOT, and not after. The following instructions are concerned: IF, WHILE, UNTIL. * NEW: BYREF is new keyword that is a more readable synonymous of '@'. [GB.DB.FORM] * BUG: Correctly manage data controls inside TabStrip-like containers. * BUG: Setting the focus on a non-initialized DataControl does not raise an error anymore. [GB.GTK] * BUG: HSplitter.Layout and VSplitter.Layout now work correctly. It is a list of children widths, hidden children having a zero width. * BUG: Window arrangement is done before the Open event is raised, as in gb.qt. * BUG: Keyboard, focus and mouse events now work correctly on Window and DrawingArea controls. [GB.QT] * BUG: HSplitter.Layout and VSplitter.Layout now work correctly. It is a list of children widths, hidden children having a zero width. * BUG: Many warning fixes. * BUG: Now the Control.Visible property works like in gb.gtk, i.e. it returns if the control was not explicitely hidden. git-svn-id: svn://localhost/gambas/trunk@1060 867c0c6c-44f3-4631-809d-bfa615b0a4ec
2008-02-06 01:25:48 +01:00
bool CODE_check_jump_not(void)
{
ushort op;
PCODE *last_code = get_last_code();
if (!last_code)
return FALSE;
op = *last_code & 0xFF00;
if (op != C_NOT)
return FALSE;
CODE_undo();
[DEVELOPMENT ENVIRONMENT] * BUG: Use TextEdit.RichText insted of TextEdit.Text. * BUG: END SUB can be the end of a method. The class analyze now takes   that into account. [HELP] * BUG: Fixed the generated treeview. [COMPILER] * OPT: The NOT operator used just at the beginning of a conditional expression is optimized. Consequently, an expression like 'IF NOT 2' is now equivalent to 'IF 2 = 0' and not to 'IF (NOT 2) <> 0' as before. In other words, the boolean conversion is now done before the NOT, and not after. The following instructions are concerned: IF, WHILE, UNTIL. * NEW: BYREF is new keyword that is a more readable synonymous of '@'. [GB.DB.FORM] * BUG: Correctly manage data controls inside TabStrip-like containers. * BUG: Setting the focus on a non-initialized DataControl does not raise an error anymore. [GB.GTK] * BUG: HSplitter.Layout and VSplitter.Layout now work correctly. It is a list of children widths, hidden children having a zero width. * BUG: Window arrangement is done before the Open event is raised, as in gb.qt. * BUG: Keyboard, focus and mouse events now work correctly on Window and DrawingArea controls. [GB.QT] * BUG: HSplitter.Layout and VSplitter.Layout now work correctly. It is a list of children widths, hidden children having a zero width. * BUG: Many warning fixes. * BUG: Now the Control.Visible property works like in gb.gtk, i.e. it returns if the control was not explicitely hidden. git-svn-id: svn://localhost/gambas/trunk@1060 867c0c6c-44f3-4631-809d-bfa615b0a4ec
2008-02-06 01:25:48 +01:00
return TRUE;
}
#endif
bool CODE_check_varptr(void)
{
unsigned short op;
PCODE *last_code;
last_code = get_last_code();
if (!last_code)
return TRUE;
op = *last_code;
if (!((op & 0xFF00) == C_PUSH_LOCAL || (op & 0xFF00) == C_PUSH_PARAM || (op & 0xF800) == C_PUSH_STATIC || (op & 0xF800) == C_PUSH_DYNAMIC))
return TRUE;
*last_code = C_PUSH_INTEGER;
write_short((short)op);
return FALSE;
}
void CODE_push_number(int value)
{
LAST_CODE;
use_stack(1);
if (value >= -2048L && value < 2048L)
{
#ifdef DEBUG
printf("PUSH QUICK %ld\n", value);
#endif
write_Zxxx(C_PUSH_QUICK, value);
}
else if (value >= -32768L && value < 32768L)
{
#ifdef DEBUG
printf("PUSH INTEGER %ld\n", value);
#endif
write_short(C_PUSH_INTEGER);
write_short((short)value);
}
else
{
#ifdef DEBUG
printf("PUSH LONG %ld\n", value);
#endif
write_short(C_PUSH_LONG);
write_int(value);
}
}
void CODE_push_const(short value)
{
LAST_CODE;
use_stack(1);
#ifdef DEBUG
printf("PUSH CONST %d %s\n", value, TABLE_get_symbol_name(JOB->class->table, JOB->class->constant[value].index));
#endif
write_Zxxx(C_PUSH_CONST, value);
}
void CODE_push_local(short num)
{
LAST_CODE;
use_stack(1);
#ifdef DEBUG
if (num >= 0)
printf("PUSH LOCAL %d\n", num);
else
printf("PUSH PARAM %d\n", (-1) - num);
#endif
if (num >= 0)
write_ZZxx(C_PUSH_LOCAL, num);
else
write_ZZxx(C_PUSH_PARAM, num);
}
#ifdef PROJECT_COMP
void CODE_pop_local(short num)
{
LAST_CODE;
use_stack(-1);
#ifdef DEBUG
if (num >= 0)
printf("POP LOCAL #%d\n", num);
else
printf("POP PARAM #%d\n", (-1) - num);
#endif
if (num >= 0)
write_ZZxx(C_POP_LOCAL, num);
else
write_ZZxx(C_POP_PARAM, num);
}
void CODE_pop_ctrl(short num)
{
LAST_CODE;
use_stack(-1);
#ifdef DEBUG
printf("POP CTRL #%d\n", num);
#endif
write_ZZxx(C_POP_CTRL, num);
}
void CODE_pop_optional(short num)
{
LAST_CODE;
use_stack(-1);
#ifdef DEBUG
printf("POP OPTIONAL #%d\n", (-1) - num);
#endif
write_ZZxx(C_POP_OPTIONAL, num);
}
#endif /* PROJECT_COMP */
void CODE_push_array(short nparam)
{
LAST_CODE;
use_stack(1 - nparam);
write_ZZxx(C_PUSH_ARRAY, nparam);
}
void CODE_push_global(short global, boolean is_static, boolean is_function)
{
LAST_CODE;
use_stack(1);
#ifdef DEBUG
printf("PUSH %s %d\n", is_static ? "STATIC" : "DYNAMIC", global);
#endif
if (is_function)
write_Z8xx(C_PUSH_FUNCTION, global);
else if (is_static)
write_Z8xx(C_PUSH_STATIC, global);
else
write_Z8xx(C_PUSH_DYNAMIC, global);
}
#ifdef PROJECT_COMP
void CODE_pop_global(short global, boolean is_static)
{
LAST_CODE;
use_stack(-1);
#ifdef DEBUG
printf("POP %s %d\n", is_static ? "STATIC" : "DYNAMIC", global);
#endif
if (is_static)
write_Z8xx(C_POP_STATIC, global);
else
write_Z8xx(C_POP_DYNAMIC, global);
}
#endif
/*
void CODE_push_symbol(short symbol)
{
LAST_CODE;
use_stack(0);
#ifdef DEBUG
printf("PUSH SYMBOL %s\n", TABLE_get_symbol_name(JOB->class->table, symbol));
#endif
write_short(C_PUSH_SYMBOL);
write_short(symbol);
}
void CODE_pop_symbol(short symbol)
{
LAST_CODE;
use_stack(-2);
#ifdef DEBUG
printf("POP SYMBOL %s\n", TABLE_get_symbol_name(JOB->class->table, symbol));
#endif
write_short(C_POP_SYMBOL);
write_short(symbol);
}
*/
void CODE_push_unknown(short symbol)
{
LAST_CODE;
use_stack(0);
#ifdef DEBUG
printf("PUSH UNKNOWN %s\n", TABLE_get_symbol_name(JOB->class->table, symbol));
#endif
write_short(C_PUSH_UNKNOWN);
write_short(symbol);
}
#ifdef PROJECT_COMP
void CODE_pop_unknown(short symbol)
{
LAST_CODE;
use_stack(-2);
#ifdef DEBUG
printf("POP UNKNOWN %s\n", TABLE_get_symbol_name(JOB->class->table, symbol));
#endif
write_short(C_POP_UNKNOWN);
write_short(symbol);
}
#endif
void CODE_push_class(short class)
{
LAST_CODE;
use_stack(1);
#ifdef DEBUG
printf("PUSH CLASS %d\n", class);
#endif
write_Z8xx(C_PUSH_CLASS, class);
#ifdef PROJECT_COMP
JOB->class->class[class].used = TRUE;
#endif
}
#ifdef PROJECT_COMP
void CODE_jump()
{
LAST_CODE;
#ifdef DEBUG
printf("JUMP\n");
#endif
write_short(C_JUMP);
/**pos = CODE_get_current_pos();*/
write_short(0);
}
void CODE_jump_if_true()
{
/*
ushort *last_code = get_last_code();
ushort op;
if (last_code && PCODE_is(*last_code, C_NOT))
{
remove_last();
op = C_JUMP_IF_FALSE;
}
else
op = C_JUMP_IF_TRUE;
*/
use_stack(-1);
#ifdef DEBUG
printf("JUMP IF TRUE\n");
#endif
LAST_CODE;
write_short(C_JUMP_IF_TRUE);
/**pos = CODE_get_current_pos();*/
write_short(0);
}
void CODE_jump_if_false()
{
/*
ushort *last_code = get_last_code();
ushort op;
if (last_code && PCODE_is(*last_code, C_NOT))
{
remove_last();
op = C_JUMP_IF_TRUE;
}
else
op = C_JUMP_IF_FALSE;
*/
use_stack(-1);
#ifdef DEBUG
printf("JUMP IF FALSE\n");
#endif
LAST_CODE;
write_short(C_JUMP_IF_FALSE);
/**pos = CODE_get_current_pos();*/
write_short(0);
}
void CODE_jump_first(short local)
{
LAST_CODE;
use_stack(-2);
#ifdef DEBUG
printf("JUMP FIRST LOCAL %d\n", local);
#endif
write_ZZxx(C_JUMP_FIRST, local);
}
void CODE_jump_next(void)
{
LAST_CODE;
use_stack(1);
#ifdef DEBUG
printf("JUMP NEXT\n");
#endif
write_short(C_JUMP_NEXT);
/**pos = CODE_get_current_pos();*/
write_short(0);
}
void CODE_jump_length(short src, short dst)
{
if (src < 0 || src >= (cur_func->ncode - 1))
return;
/*
if (dst < 0 || dst > (ARRAY_length(cur_func->code)))
return;
*/
if (cur_func->code[src] == C_BREAK)
cur_func->code[src + 2] = dst - (src + 2) - 1;
else
cur_func->code[src + 1] = dst - (src + 1) - 1;
}
void CODE_first(short local)
{
LAST_CODE;
use_stack(-1);
#ifdef DEBUG
printf("ENUM FIRST LOCAL %d\n", local);
#endif
write_ZZxx(C_FIRST, local);
}
void CODE_next(bool drop)
{
LAST_CODE;
use_stack(drop ? 0 : 1);
#ifdef DEBUG
printf("ENUM NEXT%s\n", drop ? " DROP" : "");
#endif
write_ZZxx(C_NEXT, drop ? 1 : 0);
write_short(0);
}
#endif /* PROJECT_COMP */
void CODE_op(short op, short nparam, boolean fixed)
{
if (op == C_ADD || op == C_SUB)
{
PCODE *last_code;
short value, value2;
last_code = get_last_code();
if (last_code && ((*last_code & 0xF000) == C_PUSH_QUICK))
{
value = *last_code & 0xFFF;
if (value >= 0x800) value |= 0xF000;
if (op == C_SUB) value = (-value);
#ifdef DEBUG
printf("ADD QUICK %d\n", value);
#endif
*last_code = C_ADD_QUICK | (value & 0x0FFF);
use_stack(1 - nparam);
// Now, look if we are PUSH QUICK then ADD QUICK
last_code = get_last_code2();
if (last_code && ((*last_code & 0xF000) == C_PUSH_QUICK))
{
value2 = *last_code & 0xFFF;
if (value2 >= 0x800) value2 |= 0xF000;
value += value2;
if (value >= -2048L && value < 2048L)
{
*last_code = C_PUSH_QUICK | (value & 0x0FFF);
CODE_undo();
}
}
return;
}
}
LAST_CODE;
use_stack(1 - nparam);
#ifdef DEBUG
printf("OP %d (%d)\n", op, nparam);
#endif
if (fixed)
write_ZZxx(op, 0);
else
write_ZZxx(op, nparam);
}
void CODE_push_me(bool debug)
{
LAST_CODE;
use_stack(1);
#ifdef DEBUG
printf("PUSH ME\n");
#endif
write_ZZxx(C_PUSH_ME, debug ? 1 : 0);
}
void CODE_push_super(bool debug)
{
LAST_CODE;
use_stack(1);
#ifdef DEBUG
printf("PUSH SUPER\n");
#endif
write_ZZxx(C_PUSH_ME, debug ? 3 : 2);
}
void CODE_push_last()
{
LAST_CODE;
use_stack(1);
#ifdef DEBUG
printf("PUSH LAST\n");
#endif
write_ZZxx(C_PUSH_MISC, CPM_LAST);
}
void CODE_push_null()
{
LAST_CODE;
use_stack(1);
#ifdef DEBUG
printf("PUSH NULL\n");
#endif
write_ZZxx(C_PUSH_MISC, CPM_NULL);
}
/*
static boolean change_last_call(ushort flag)
{
ushort *last_code = get_last_code();
if (!last_code)
return FALSE;
if ((*last_code & 0xFF00) == C_CALL)
{
*last_code = *last_code | flag;
return TRUE;
}
else if ((ushort)((*last_code) & 0xFF00) >= (ushort)CODE_FIRST_SUBR)
{
*last_code = *last_code | flag;
return TRUE;
}
else if (((*last_code & 0xFF00) == C_DROP) && flag == CODE_CALL_DROP)
return FALSE;
}
*/
void CODE_dup(void)
{
LAST_CODE;
use_stack(1);
#ifdef DEBUG
printf("DUP\n");
#endif
write_short(C_DUP);
}
void CODE_return(int return_value)
{
LAST_CODE;
if (return_value)
{
use_stack(-1);
write_ZZxx(C_RETURN, return_value);
}
else
write_ZZxx(C_RETURN, 0);
#ifdef DEBUG
printf("RETURN (%d)\n", return_value ? 1 : 0);
#endif
}
#ifdef PROJECT_COMP
static bool _allow_break = FALSE;
void CODE_allow_break(void)
{
_allow_break = TRUE;
}
void CODE_break(void)
{
if (!_allow_break)
return;
/*if (last_line < 0)
{
if (CODE_get_current_pos())
return;
}
else
{
if (JOB->line == last_line)
return;
last_line = JOB->line;
}*/
#ifdef DEBUG
printf("BREAK\n");
#endif
write_short(C_BREAK);
_allow_break = FALSE;
}
void CODE_quit(void)
{
LAST_CODE;
#ifdef DEBUG
printf("QUIT\n");
#endif
write_ZZxx(C_QUIT, 0);
}
void CODE_stop(void)
{
LAST_CODE;
#ifdef DEBUG
printf("STOP\n");
#endif
write_ZZxx(C_QUIT, 1);
}
#endif /* PROJECT_COMP */
void CODE_push_char(char car)
{
LAST_CODE;
use_stack(1);
write_ZZxx(C_PUSH_CHAR, car);
#ifdef DEBUG
printf("PUSH CHAR %d\n", car);
#endif
}
/*
void CODE_push_zero(void)
{
LAST_CODE;
use_stack(1);
write_short(C_PUSH_ZERO);
#ifdef DEBUG
printf("PUSH ZERO\n");
#endif
}
*/
void CODE_push_void(void)
{
LAST_CODE;
use_stack(1);
write_ZZxx(C_PUSH_MISC, CPM_VOID);
#ifdef DEBUG
printf("PUSH VOID\n");
#endif
}
#ifdef PROJECT_COMP
/*void CODE_event(bool on)
{
LAST_CODE;
write_ZZxx(C_EVENT, on ? 1 : 0);
#ifdef DEBUG
printf("EVENT %s\n", on ? "ON" : "OFF");
#endif
}*/
void CODE_stop_event(void)
{
LAST_CODE;
write_ZZxx(C_EVENT, 0);
#ifdef DEBUG
printf("STOP EVENT\n");
#endif
}
#endif
void CODE_subr(short subr, short nparam, short optype, boolean output, boolean fixed)
{
LAST_CODE;
if (output)
use_stack(0);
else
use_stack(1 - nparam);
#ifdef DEBUG
printf("SUBR %s %d (%d)\n", output ? "OUTPUT" : "", subr, nparam);
#endif
if (optype == 0)
{
if (fixed)
nparam = 0;
/*if (output)
nparam |= CODE_CALL_OUTPUT;*/
}
else
{
nparam = optype;
}
subr += CODE_FIRST_SUBR;
write_short(((subr & 0xFF) << 8) | (nparam & 0xFF));
}
void CODE_subr_output(short subr, short nparam, int output)
{
LAST_CODE;
use_stack(output - nparam);
#ifdef DEBUG
printf("SUBR OUTPUT %d %d (%d)\n", output, subr, nparam);
#endif
subr += CODE_FIRST_SUBR;
write_short(((subr & 0xFF) << 8) | (nparam & 0xFF));
}
void CODE_call(short nparam)
{
LAST_CODE;
/* Une case de pile de moins, car la valeur de retour
est stock<EFBFBD> <EFBFBD>la place de la fonction <EFBFBD>appeler */
use_stack(-nparam);
#ifdef DEBUG
printf("CALL %s ( %d )\n", output ? "OUTPUT" : "", nparam);
#endif
write_ZZxx(C_CALL, nparam);
}
void CODE_byref(uint64_t byref)
{
LAST_CODE;
[DEVELOPMENT ENVIRONMENT] * NEW: English and french tips were updated. A new tip was added. * NEW: Files that were opened at project close are automatically reopened   when the project is loaded again. * NEW: A warning message is displayed when the GNU translation tools are not installed. * BUG: The code editor method combo-box is correctly updated now. * BUG: Some fixes in the automatic completion. * BUG: Replace points by dash in the name of packages generated by the IDE packager. * NEW: Updated russian translation * NEW: Updated french translation [DATABASE MANAGER] * NEW: Updated russian translation [EXAMPLES] * BUG: Fixed the Gravity and the GameOfLife examples so that they do not   use public form controls anymore. [INTERPRETER] * OPT: Many optimizations in the string substitution routines, the internal datatype conversions, the INPUT and LINE INPUT instructions, the error messages generation, the object and string reference counting, and the memory allocation routines. * NEW: Opening a device file in direct mode (FOR READ/WRITE) is now automatically non blocking. * OPT: Lof() now only tries its different methods (ioctl and lseek) once. * BUG: Val() now ignores thousand separators characters at the end of the number. * NEW: A new flag for enabling the stack trace generation at each error. [GB.DEBUG] * BUG: The gb.debug component interface declaration was not 64-bits aware. [GB.EVAL] * BUG: The Highlight.Purge() method now correctly deals with non-ASCII characters. [GB.FORM] * BUG: TableView.Edit() does not raise a "read-only combo-box" error anymore. [GB.FORM.DIALOG] * BUG: Dialog buttons now are never cut. [GB.GTK] * BUG: Cached drawing areas are correctly redrawn now. * BUG: Loading big images now works correctly. There is apparently a bug in the GTK+ image loader, and I found a workaround. * BUG: Message boxes correctly display the text of their buttons now. [GB.QT] * BUG: The Open, and initial Move and Resize event of embedded forms are now always raised when you call the Show method or if you set the Visible property. Before, it was raised when the embedded form was actually shown. [GB.SETTINGS] * NEW: Settings are now stored in ~/.config/gambasX, where X is the gambas version number. * BUG: Strings are correctly quoted inside the settings file now. [GB.WEB] * NEW: Application.Protocol is a new property that allows to tell the   component that the protocol is not necessarily "http". git-svn-id: svn://localhost/gambas/trunk@1153 867c0c6c-44f3-4631-809d-bfa615b0a4ec
2008-03-11 14:29:47 +01:00
int n;
#ifdef DEBUG
printf("BYREF\n");
#endif
if (byref >> 48)
n = 3;
else if (byref >> 32)
n = 2;
else if (byref >> 16)
n = 1;
else
n = 0;
write_ZZxx(C_BYREF, n);
while (n >= 0)
{
write_short(byref & 0xFFFF);
byref >>= 16;
n--;
}
}
void CODE_call_byref(short nparam, uint64_t byref)
{
LAST_CODE;
int i, n;
use_stack(-nparam);
n = 0;
for (i = 0; i < nparam; i++)
{
if (byref & (1 << i))
n++;
}
use_stack(n);
#ifdef DEBUG
printf("CALL ( %d )\n"nparam);
#endif
write_ZZxx(C_CALL, nparam);
CODE_byref(byref);
}
/*void CODE_push_return(void)
{
LAST_CODE;
use_stack(1);
write_short(C_PUSH_RETURN);
#ifdef DEBUG
printf("PUSH RETURN\n");
#endif
}*/
#ifdef PROJECT_COMP
void CODE_try(void)
{
LAST_CODE;
write_short(C_TRY);
write_short(0);
#ifdef DEBUG
printf("TRY\n");
#endif
}
void CODE_end_try(void)
{
LAST_CODE;
write_short(C_END_TRY);
#ifdef DEBUG
printf("END TRY\n");
#endif
}
void CODE_catch(void)
{
LAST_CODE;
write_short(C_CATCH);
#ifdef DEBUG
printf("CATCH\n");
#endif
}
#endif
void CODE_drop(void)
{
ushort *last_code = get_last_code();
ushort subr;
use_stack(-1);
#ifdef DEBUG
printf("DROP\n");
#endif
if (last_code)
{
switch(*last_code & 0xFF00)
{
case C_DROP:
*last_code = (*last_code & 0xFF00) + (*last_code & 0xFF) + 1;
return;
case C_CALL:
*last_code |= CODE_CALL_VOID;
return;
default:
subr = (*last_code) >> 8;
if (subr >= CODE_FIRST_SUBR && subr <= CODE_LAST_SUBR && (!(*last_code & CODE_CALL_VOID)))
{
*last_code |= CODE_CALL_VOID;
return;
}
}
}
LAST_CODE;
write_ZZxx(C_DROP, 1);
}
/*void CODE_push_special(short spec)
{
LAST_CODE;
use_stack(0);
#ifdef DEBUG
printf("PUSH SPECIAL %d\n", spec);
#endif
write_ZZxx(C_PUSH_SPECIAL, spec);
}
*/
#ifdef PROJECT_COMP
void CODE_push_event(short event)
{
LAST_CODE;
use_stack(1);
#ifdef DEBUG
printf("PUSH EVENT %d\n", event);
#endif
write_ZZxx(C_PUSH_EVENT, event);
}
void CODE_push_extern(short index)
{
LAST_CODE;
use_stack(1);
#ifdef DEBUG
printf("PUSH EXTERN %d\n", index);
#endif
write_ZZxx(C_PUSH_EXTERN, index);
}
void CODE_new(ushort nparam, boolean array, boolean event)
{
LAST_CODE;
use_stack(1 - nparam);
#ifdef DEBUG
printf("NEW %s (%d)\n", (array ? "ARRAY" : (event ? "EVENT" : "")), nparam);
#endif
if (array)
nparam |= CODE_NEW_ARRAY;
if (event)
nparam |= CODE_NEW_EVENT;
write_ZZxx(C_NEW, nparam);
}
#endif
void CODE_push_boolean(bool value)
{
LAST_CODE;
use_stack(1);
write_ZZxx(C_PUSH_MISC, value ? CPM_TRUE : CPM_FALSE);
#ifdef DEBUG
printf("PUSH %s\n", value ? "TRUE" : "FALSE");
#endif
}
#ifdef CODE_DUMP
void CODE_dump(PCODE *code, int count)
{
int i;
printf("\n");
for (i = 0; i < count;)
i += PCODE_dump(stdout, i, &code[i]);
printf("\n");
}
#endif
/* void CODE_case(short local) */
/* { */
/* LAST_CODE; */
/* */
/* use_stack(0); */
/* */
/* #ifdef DEBUG */
/* printf("CASE (%d)\n", local); */
/* #endif */
/* */
/* write_ZZxx(C_CASE, local); */
/* } */