Начало программирования в Виндовс 9

BACK TO THE MSVC

Каждый компилятор представляет собой топкое болото, малознакомое даже самим господам аффторам этого компилятора. Какие-либо умозрительные заключения, предположения и догадки, относительно его(компилятора) внутреннего устройства, работы или поведения, недопустимы. Всё требуется знать наверняка. Компиляторов C/C++, это касается особенно.

Я уже рассказывал, как мне однажды не повезло с MSVC. Естественно, я с этим давно разобрался и сейчас обо всём доложу. Но для начала, протестируем вот такой пример.

//stupid_msvc_tcc.c (c) Oleg E Tereshkov 2020

#define STR_ME "(c) Oleg E Tereshkov 2020\n\

http://sites.google.com/site/excelmidi\n\

Welcome Universal Student IDE for all compilers\n\n"

extern int printf();

int main(void){

printf(STR_ME);printf(STR_ME);printf(STR_ME);

printf(STR_ME);printf(STR_ME);printf(STR_ME);}

Компилируем в MSVC, запускаем. Всё работает и даже без проблем. А теперь, берём Total Commander и по кнопочке F3 пытаемся заглянуть во внутренний мир исполняемого файла.

И что же мы там видим? Стринг STR_ME продублирован 21 раз. Не будем сейчас обсуждать на сколько это разумно, гуманно, правильно, нормально, оправданно или оптимально(если кто помнит, MSVC оптимизирующий компилятор :) - просто примем к сведению. Следом за MSVC, тем же коридором ползут TCC и OrangeC.

Остальные компиляторы, включая GCC, создают единственную копию STR_ME и 21 раз ссылаются на неё. И всё это по прошествии 50-ти лет победоносного, торжествующего шествия языка Си по планете с вечным анекдотом о полной переносимости кода.

Давно реализован 4-й по счёту стандарт языка, но финальную точку ставить пока рано. И что это за язык Си такой? - стандарты которого запрещают свободный доступ к произвольному чтению памяти, выделенной системой программе. Но об этом чуть далее.

В чём состоял мой промах? В том, что я пытался пользоваться STR_ME, как буфером. Естественно, что при таком раскладе, ничего не получилось. Буфером, который при каждом обращении создаётся компилятором MSVC заново и в новом месте, пользоваться не возможно.

Хоть, правилами языка Си всё это и не запрещено. Да и MSVC совершенно не протестовал против использования STR_ME в качестве ссылки-указателя. А то, что значение STR_ME, как указателя, раз от раза постоянно менялось компилятор MSVC совершенно не волновало. Видимо, #define для Microsoft написал какой-то стажёр или ученик. Возможно даже, сам Билл Гейтс в мальчишестве. Да так всё и осталось.

Чем меня прельстил cc386? - красивым ассемблерным листингом. А нельзя ли и MSVC подтянуть до такого же приемлемого уровня? Конечно можно! Вот программа.

//Test_comm.c (c) Oleg E Tereshkov 2020

extern void printf (const char *_Format,...);

int LookAtMe, AtMeToo, AtMeTwo;

int num[50];

void main(void);

void start(void){

_asm{ call main}}

void main(){

mmn:

LookAtMe=67; AtMeToo=45; AtMeTwo=29;

LookAtMe = LookAtMe+AtMeToo+AtMeTwo;

printf(" %d\n", LookAtMe);

goto mmn;}

А вот и ассемблерный листинг под неё.

;MSVC_2003_asm to better asm converter (c) Oleg E Tereshkov 2020

;http://sites.google.com/site/excelmidi

; Listing generated by Microsoft (R) Optimizing Compiler Version 13.10.3077

TITLE E:\Msvc_2003\_wrk_msvc\Test_comm.c

.386P

;####################################################################

if @Version gt 510

.model FLAT

else

_TEXT SEGMENT PARA USE32 PUBLIC 'CODE'

_TEXT ENDS

_DATA SEGMENT DWORD USE32 PUBLIC 'DATA'

_DATA ENDS

CONST SEGMENT DWORD USE32 PUBLIC 'CONST'

CONST ENDS

_BSS SEGMENT DWORD USE32 PUBLIC 'BSS'

_BSS ENDS

$$SYMBOLS SEGMENT BYTE USE32 'DEBSYM'

$$SYMBOLS ENDS

_TLS SEGMENT DWORD USE32 PUBLIC 'TLS'

_TLS ENDS

FLAT GROUP _DATA, CONST, _BSS

ASSUME CS: FLAT, DS: FLAT, SS: FLAT

endif

;####################################################################

_DATA SEGMENT

COMM _LookAtMe:DWORD

COMM _AtMeToo:DWORD

COMM _AtMeTwo:DWORD

COMM _num:DWORD:032H

;_____________________________________________________

$SG482 DB ' %d', 0aH, 00H

_DATA ENDS

;####################################################################

PUBLIC _main

PUBLIC _start

; Function compile flags: /Odt

_TEXT SEGMENT

_start PROC NEAR

; File e:\msvc_2003\_wrk_msvc\test_comm.c

;_____________________________________________________

; Line 7 void start(void){

push ebp

mov ebp, esp

;_____________________________________________________

; Line 8 _asm{ call main}}

call _main

pop ebp

ret 0

_start ENDP

_TEXT ENDS

;####################################################################

EXTRN _printf:NEAR

; Function compile flags: /Odt

_TEXT SEGMENT

_main PROC NEAR

;_____________________________________________________

; Line 10 void main(){

push ebp

mov ebp, esp

;_____________________________________________________

$mmn$481:

;_____________________________________________________

; Line 12 LookAtMe=67; AtMeToo=45; AtMeTwo=29;

mov DWORD PTR _LookAtMe, 67 ; 00000043H

mov DWORD PTR _AtMeToo, 45 ; 0000002dH

mov DWORD PTR _AtMeTwo, 29 ; 0000001dH

;_____________________________________________________

; Line 13 LookAtMe = LookAtMe+AtMeToo+AtMeTwo;

mov eax, DWORD PTR _LookAtMe

add eax, DWORD PTR _AtMeToo

add eax, DWORD PTR _AtMeTwo

mov DWORD PTR _LookAtMe, eax

;_____________________________________________________

; Line 14 printf(" %d\n", LookAtMe);

mov ecx, DWORD PTR _LookAtMe

push ecx

push OFFSET FLAT:$SG482

call _printf

add esp, 8

;_____________________________________________________

; Line 15 goto mmn;

jmp SHORT $mmn$481

_main ENDP

_TEXT ENDS

;####################################################################

END

Красота! Выглядит великолепно. Сравни с оригиналом из MSVC. Написание постмутатора заняло примерно 40 минут. И ещё денёк на постепенное окрасивливание. Зато теперь!

cc386 & OrangeC с постмутатором не справились. Хоть, к его созданию послужили толчком и предтечей. Мне эти их заскоки, равно, как и заскоки Pelle C, окончательно надоели и я от этих трёх компиляторов вполне осознанно полностью отказался, использую только для контроля и уточнения.

Ну вот. Если MSVC теперь типа-лучший, стоит ли упираться в него рогами и больше ничего не видеть и не слышать, вокруг? Конечно нет! Скачайте, установите и попробуйте, обязательно, ВСЁ. ВСЁ, что найдёте. Другие компиляторы могут оказаться интересными вам своими уникальными утилитами. И прежде всего, линкерами. Успехов. :)

(с) Терешков Олег Евгеньевич. Июнь 2020.

В качестве бонуса, asm-распечатка первой программы. Obj2asm теперь не нужен. :)

;MSVC_2003_asm to better asm converter (c) Oleg E Tereshkov 2020

;http://sites.google.com/site/excelmidi

; Listing generated by Microsoft (R) Optimizing Compiler Version 13.10.3077

TITLE E:\Msvc_2003\_wrk_msvc\stupid_msvc_tcc.c

.386P

;####################################################################

if @Version gt 510

.model FLAT

else

_TEXT SEGMENT PARA USE32 PUBLIC 'CODE'

_TEXT ENDS

_DATA SEGMENT DWORD USE32 PUBLIC 'DATA'

_DATA ENDS

CONST SEGMENT DWORD USE32 PUBLIC 'CONST'

CONST ENDS

_BSS SEGMENT DWORD USE32 PUBLIC 'BSS'

_BSS ENDS

$$SYMBOLS SEGMENT BYTE USE32 'DEBSYM'

$$SYMBOLS ENDS

_TLS SEGMENT DWORD USE32 PUBLIC 'TLS'

_TLS ENDS

FLAT GROUP _DATA, CONST, _BSS

ASSUME CS: FLAT, DS: FLAT, SS: FLAT

endif

;####################################################################

_DATA SEGMENT

;_____________________________________________________

$SG472 DB '(c) Oleg E Tereshkov 2020', 0aH, 'http://sites.google.co'