Кодни генерациялаш усуллари. - Кодни ички ёзувларининг бир хил фрагментлари (постфикс ёзувлари амаллари, туртлик ва бошкалар) машина тилининг бир хил буйрукларини ифодалайди. Масалан, код генерацияланаётганда PLUS_OP туртлик, агар процессорда барча амаллар регистр-аккумлятор устида бажарилса, хар доим куйидаги кодни генерациялайди:
- -LOAD регистр , операнд 1
- -ADD регистр, операнд 2
- -STORE регистр, натижа
к - Машина командаларининг бу кетма-кетлиги коррект, лекин оптимал эмас. Масалан,
- куйидаги гап X:=X+Y*Z олтита команда оркали амалга оширилади:
Семантик тахлил ва кодни генерация қилишга тайёргарлик. - LOAD регистр, Y (туртлик (MULT_OP,Sy,Sz,T1))
- MULТ регистр, Z
- STORE регистр, T1
- LOAD регистр, X (туртлик ( ADD_OP,Sx,T1,Sx))
- ADD регистр, T1
- STORE регистр, X
- Худди шунингдек, ушбу натижага келтирувчи куидаги дастурни куриш мумкин.
- LOAD регистр, Y
- MUL регистр, Z
- ADD регистр, X
- STORE регистр, X
Кодни генерациялаш - Ушбу усул билан генерацияланаётган код хар доим тугри хисобланади, лекин хар доим хам оптимал эмас. Шунинг учун кодни хисоблашларни аниклигига таъсир курсатмай туриб, узгартириш имконини берувчи курилмаларга эга булиш керак. Хар бир туртликка купгина холларда ягона машина командалари кетма-кетлиги мос келади, код генератори купинча хар бир туртлик буйича кисмдастурлар туплами мос келади.
Тўртлик формаси. Кодни генерациялашда «тўртлик»ни қўллаш - Постфикс ёзувдан дастур кодини куриш мумкин, лекин бундай ёзув формасини оптималлаштириш мураккаб иш. Купгина компильяторлар дасурнинг объект кодини куриш учун оптималлаш учун кулай булган ички формалардан фойдаланадилар. Генерация килинаётган коднинг энг куп таркалган ички тасвирлашни формаларидан бири бу туртликдир. Туртлик –бу туртта элементдан ташкил топган объектдир: амаллар, иккита операнд ва натижалар. Агар амал бажариш натижасида кандайдир узгарувчини киймати хисобланса, у холда бундай туртликни куриш унчалик мураккаб эмас.
- Масалан: Х:= Y+Z гап куйидаги туртлик оркали ифодаланади. (PLUS_OP, Sy, Sz, Sx), бу ифода Sy белгилар жадвали билан ячейкада аникланган
- узгарувчини Sz ячейкада аникланган узгарувчи билан (PLUS_OP) кушиб ва натижани Sx ячейкада саклашни англатади. Энди бошлангич гап мустакил бирлик сифатида ифодаланади, уни код генератори жойлашиш манзилидан катьи назар кайта ишлай олади.Шундай килиб, оптимизатор амаллар кетма-кетлигини кодни генерациялаш жараёнини
- мураккаблаштирмасдан узгартириши мумкин.
Do'stlaringiz bilan baham: |
