Features of compiler GCC. / Особенности компилятора GCC.

• 

  andrew_programmer

  Posts 896

  Joined: Thu May 19, 2005 4:43 pm

  Tue Oct 02, 2007 11:24 pm

  При разработке программ для KolibriOS выяснил такую особенность. Если функция написана не на C , а линкуется из объектного файла написанного на другом языке программирования, например на ассемблере,то GCC считает, что функция не очищает стек от параметров. То есть если вы передаёте функции N параметров, то после её вызова GCC убирает из стека эти N параметров. Сначала я не знал про эту особенность и мои программы часто убивались, но после её учёта всё заработало. Для функций линкующихся статически эту особенность можно учесть, а как быть с динамическими функциями ? Например функции из libGUI (я переписал библиотеку на stdcall) самостоятельно очищают содержимое стека от параметров. Как сказать GCC, что для функций динамических библиотек ненужно убирать параметры из стека ?
  
  By development of programs for KolibriOS has found out such feature. If function is written not on C, and link from an objective file written on the other programming language, for example on the assembler GCC considers, that function does not clear a stack of parameters. That is if you transfer function N of parameters after its call GCC cleans from a stack these N parameters. First I did not know about this feature and my programs were frequently killed, but after its account all has earned. For functions linking statically this feature can be taken into account and how to be with dynamic functions? For example functions from libGUI (I have copied library on stdcall) independently clear contents of a stack of parameters. How to tell GCC, what for functions of dynamic libraries is unnecessary to clean parameters from a stack?

  • Quote

  KolibriOS-перспективная ос!
  Kolibri is best operation system in the world!

#define __stdcall __attribute__((stdcall))
extern "C" int __stdcall my_func_name(int first_param, char *second_param);

#define stdcall __attribute__ ((stdcall))

typedef unsigned int 		dword;
typedef unsigned short int 	word;
typedef unsigned char		byte;

typedef struct InfoForButton
{
 byte  type;		//0
 byte  flag;		//1
 word  x;		//2
 word  y;		//4
 word  width;		//6
 word  height;		//8
 dword image;		//10 <----Here GCC make mistake (12 but not 10)
 word  imageX;		//14
 word  imageY;		//16
 word  imageSizeX;	//18
 word  imageSizeY;	//20
 dword transparentColor;//24
 dword text;		//28
 word  textX;		//32
 word  textY;		//34
 dword textcolor;	//36
 dword color1;		//40
 dword color2;
 word  mouseX;
 word  mouseY;
};

InfoButton1->type=0x91;
  InfoButton1->flag=0;
  InfoButton1->x=50;
  InfoButton1->y=10;
  InfoButton1->width=70;
  InfoButton1->height=30;
  InfoButton1->image=1;
  InfoButton1->imageX=2;
  InfoButton1->imageY=3;
  InfoButton1->imageSizeX=4;
  InfoButton1->imageSizeY=5;
  InfoButton1->transparentColor=6;
  InfoButton1->text=TextForButton1;
  InfoButton1->textX=8;
  InfoButton1->textY=9;
  InfoButton1->textcolor=0;
  InfoButton1->color1=0xaabbcc;

	movl	-44(%ebp), %eax
	movb	$-111, (%eax)
	movl	-44(%ebp), %eax
	movb	$0, 1(%eax)
	movl	-44(%ebp), %eax
	movw	$50, 2(%eax)
	movl	-44(%ebp), %eax
	movw	$10, 4(%eax)
	movl	-44(%ebp), %eax
	movw	$70, 6(%eax)
	movl	-44(%ebp), %eax
	movw	$30, 8(%eax)
	movl	-44(%ebp), %eax
	movl	$1, 12(%eax)		//<---- MISTAKE!!! 12 but not 10
	movl	-44(%ebp), %eax
	movw	$2, 16(%eax)
	movl	-44(%ebp), %eax
	movw	$3, 18(%eax)
	movl	-44(%ebp), %eax
	movw	$4, 20(%eax)
	movl	-44(%ebp), %eax
	movw	$5, 22(%eax)
	movl	-44(%ebp), %eax
	movl	$6, 24(%eax)
	movl	-44(%ebp), %eax
	movl	$0, 28(%eax)
	movl	-44(%ebp), %eax
	movw	$8, 32(%eax)
	movl	-44(%ebp), %eax
	movw	$9, 34(%eax)
	movl	-44(%ebp), %eax
	movl	$0, 36(%eax)
	movl	-44(%ebp), %eax
	movl	$11189196, 40(%eax)