История изменений

Исправление wandrien, 03.07.25 15:15 (текущая версия) :

Пример генерации кода для следующей функции:

attribute(hot)
bool str_eq(char @S1; char @S2) of
	when @S1 == @S2:
		return true;

	word i = 0;
	while S1[i] == S2[i] do
		if S1[i] != #0 then /* optimized for better code layout */
			inc i;
		else
			return true;
		end
	end

	return false;
end

        align   32

@10031:                                  ; ## str_eq ##
        push    EBP
        mov     EBP,  ESP
        sub     ESP,  4
                                         ; #line include/strings_cmp.qdi:19
                                         ; #line include/strings_cmp.qdi:22
        mov     EAX,  dword [EBP+8]
        cmp     EAX,  dword [EBP+12]
        jne     @10035
                                         ; #line include/strings_cmp.qdi:23
        mov     EAX,  1
        leave
        ret     8
@10035: 
                                         ; #line include/strings_cmp.qdi:25
        xor     EAX,  EAX
        mov     dword [EBP-4], EAX
                                         ; #line include/strings_cmp.qdi:26
        align   32
@10039: 
        mov     EAX,  dword [EBP-4]
        add     EAX,  dword [EBP+8]
        mov      AL,  byte  [EAX]
        mov     EDX,  dword [EBP-4]
        add     EDX,  dword [EBP+12]
        mov      DL,  byte  [EDX]
        cmp      AL,   DL
        jne     @10040
                                         ; #line include/strings_cmp.qdi:27
        test     AL,   AL
        je      @10043
                                         ; #line include/strings_cmp.qdi:28
        inc     dword [EBP-4]
        jmp     @10039
@10043: 
                                         ; #line include/strings_cmp.qdi:30
        mov     EAX,  1
        leave
        ret     8
@10040: 
                                         ; #line include/strings_cmp.qdi:34
        xor     EAX,  EAX
        leave
        ret     8

В целом с распределением регистров крупная работа, вероятно, на ближайшее время закончена. Мелкие правки еще надо будет внести, так как остались некоторые лишние mov. Позже вернусь к этому, чтобы добавить возможность вручную указывать переменные как регистровые и начать работу по поддержке разных видов calling conventions.

Считаю, что текущий уровень производительности получаемого кода подходит для практических целей, для создания практических программ.

firkax, что думаешь по этому поводу?

Исходная версия wandrien, 03.07.25 15:14:

Пример генерации кода для следующей функции:

bool str_eq(char @S1; char @S2)
	when @S1 == @S2:
		return true;

	word i = 0;
	while S1[i] == S2[i] do
		if S1[i] != #0 then /* optimized for better code layout */
			inc i;
		else
			return true;
		end
	end

	return false;
end

        align   32

@10031:                                  ; ## str_eq ##
        push    EBP
        mov     EBP,  ESP
        sub     ESP,  4
                                         ; #line include/strings_cmp.qdi:19
                                         ; #line include/strings_cmp.qdi:22
        mov     EAX,  dword [EBP+8]
        cmp     EAX,  dword [EBP+12]
        jne     @10035
                                         ; #line include/strings_cmp.qdi:23
        mov     EAX,  1
        leave
        ret     8
@10035: 
                                         ; #line include/strings_cmp.qdi:25
        xor     EAX,  EAX
        mov     dword [EBP-4], EAX
                                         ; #line include/strings_cmp.qdi:26
        align   32
@10039: 
        mov     EAX,  dword [EBP-4]
        add     EAX,  dword [EBP+8]
        mov      AL,  byte  [EAX]
        mov     EDX,  dword [EBP-4]
        add     EDX,  dword [EBP+12]
        mov      DL,  byte  [EDX]
        cmp      AL,   DL
        jne     @10040
                                         ; #line include/strings_cmp.qdi:27
        test     AL,   AL
        je      @10043
                                         ; #line include/strings_cmp.qdi:28
        inc     dword [EBP-4]
        jmp     @10039
@10043: 
                                         ; #line include/strings_cmp.qdi:30
        mov     EAX,  1
        leave
        ret     8
@10040: 
                                         ; #line include/strings_cmp.qdi:34
        xor     EAX,  EAX
        leave
        ret     8

firkax, что думаешь по этому поводу?